runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.dudf-real.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/dudf-real//e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.dudf-real.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.11 1.10 1.09 5/35 1714
/proc/meminfo: memFree=359508/1048576 swapFree=0/0
[pid=1712] ppid=1711 vsize=2572 CPUtime=0
/proc/1712/stat : 1712 (gj-trendy-solve) S 1711 1712 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5208424 2633728 270 1283457024 134512640 135304128 4288357280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1712/statm: 643 270 229 194 0 30 0
[pid=1713] ppid=1712 vsize=11360 CPUtime=0.01
/proc/1713/stat : 1713 (java) R 1712 1712 1511 34817 1511 4202496 918 0 0 0 0 1 0 0 25 0 2 0 5208424 11632640 651 1283457024 134512640 134550932 4294822128 18446744073709551615 4159090280 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/1713/statm: 2840 651 285 10 0 1186 0
[pid=1713/tid=1714] ppid=1712 vsize=11360 CPUtime=0
/proc/1713/task/1714/stat : 1714 (java) R 1712 1712 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 2 0 5208424 11632640 651 1283457024 134512640 134550932 4294822128 18446744073709551615 4159090280 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.185595 s]
/proc/loadavg: 1.11 1.10 1.09 5/35 1714
/proc/meminfo: memFree=359508/1048576 swapFree=0/0
[pid=1712] ppid=1711 vsize=2572 CPUtime=0
/proc/1712/stat : 1712 (gj-trendy-solve) S 1711 1712 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5208424 2633728 270 1283457024 134512640 135304128 4288357280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1712/statm: 643 270 229 194 0 30 0
[pid=1713] ppid=1712 vsize=410104 CPUtime=0.19
/proc/1713/stat : 1713 (java) S 1712 1712 1511 34817 1511 4202496 4224 0 1 0 16 3 0 0 25 0 9 0 5208424 419946496 3652 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1713/statm: 102526 3652 1934 10 0 96674 0
[pid=1713/tid=1714] ppid=1712 vsize=410104 CPUtime=0.17
/proc/1713/task/1714/stat : 1714 (java) R 1712 1712 1511 34817 1511 4202560 3028 0 1 0 15 2 0 0 25 0 9 0 5208424 419946496 3652 1283457024 134512640 134550932 4294822128 18446744073709551615 4114430276 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 412676

[startup+0.205594 s]
/proc/loadavg: 1.11 1.10 1.09 5/35 1714
/proc/meminfo: memFree=359508/1048576 swapFree=0/0
[pid=1712] ppid=1711 vsize=2572 CPUtime=0
/proc/1712/stat : 1712 (gj-trendy-solve) S 1711 1712 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5208424 2633728 270 1283457024 134512640 135304128 4288357280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1712/statm: 643 270 229 194 0 30 0
[pid=1713] ppid=1712 vsize=410104 CPUtime=0.21
/proc/1713/stat : 1713 (java) S 1712 1712 1511 34817 1511 4202496 4355 0 1 0 18 3 0 0 25 0 9 0 5208424 419946496 3783 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1713/statm: 102526 3783 1934 10 0 96674 0
[pid=1713/tid=1714] ppid=1712 vsize=410104 CPUtime=0.19
/proc/1713/task/1714/stat : 1714 (java) R 1712 1712 1511 34817 1511 4202560 3159 0 1 0 17 2 0 0 25 0 9 0 5208424 419946496 3783 1283457024 134512640 134550932 4294822128 18446744073709551615 4114449907 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412676

[startup+0.305626 s]
/proc/loadavg: 1.11 1.10 1.09 5/35 1714
/proc/meminfo: memFree=359508/1048576 swapFree=0/0
[pid=1712] ppid=1711 vsize=2572 CPUtime=0
/proc/1712/stat : 1712 (gj-trendy-solve) S 1711 1712 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5208424 2633728 270 1283457024 134512640 135304128 4288357280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1712/statm: 643 270 229 194 0 30 0
[pid=1713] ppid=1712 vsize=410388 CPUtime=0.31
/proc/1713/stat : 1713 (java) S 1712 1712 1511 34817 1511 4202496 5408 0 1 0 28 3 0 0 25 0 9 0 5208424 420237312 4834 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1713/statm: 102597 4834 1956 10 0 96745 0
[pid=1713/tid=1714] ppid=1712 vsize=410388 CPUtime=0.26
/proc/1713/task/1714/stat : 1714 (java) R 1712 1712 1511 34817 1511 4202560 3528 0 1 0 24 2 0 0 25 0 9 0 5208424 420237312 4834 1283457024 134512640 134550932 4294822128 18446744073709551615 4114888748 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 412960

[startup+0.705729 s]
/proc/loadavg: 1.11 1.10 1.09 5/35 1714
/proc/meminfo: memFree=359508/1048576 swapFree=0/0
[pid=1712] ppid=1711 vsize=2572 CPUtime=0
/proc/1712/stat : 1712 (gj-trendy-solve) S 1711 1712 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5208424 2633728 270 1283457024 134512640 135304128 4288357280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1712/statm: 643 270 229 194 0 30 0
[pid=1713] ppid=1712 vsize=410652 CPUtime=0.71
/proc/1713/stat : 1713 (java) S 1712 1712 1511 34817 1511 4202496 12896 0 1 0 66 5 0 0 25 0 9 0 5208424 420507648 12136 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1713/statm: 102663 12136 2901 10 0 96811 0
[pid=1713/tid=1714] ppid=1712 vsize=410652 CPUtime=0.47
/proc/1713/task/1714/stat : 1714 (java) R 1712 1712 1511 34817 1511 4202560 4216 0 1 0 43 4 0 0 25 0 9 0 5208424 420507648 12136 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 413224

[startup+1.50589 s]
/proc/loadavg: 1.11 1.10 1.09 3/43 1722
/proc/meminfo: memFree=301276/1048576 swapFree=0/0
[pid=1712] ppid=1711 vsize=2572 CPUtime=0
/proc/1712/stat : 1712 (gj-trendy-solve) S 1711 1712 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5208424 2633728 270 1283457024 134512640 135304128 4288357280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1712/statm: 643 270 229 194 0 30 0
[pid=1713] ppid=1712 vsize=410784 CPUtime=1.51
/proc/1713/stat : 1713 (java) S 1712 1712 1511 34817 1511 4202496 27731 0 1 0 145 6 0 0 25 0 9 0 5208424 420642816 26971 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1713/statm: 102696 26971 2901 10 0 96844 0
[pid=1713/tid=1714] ppid=1712 vsize=410784 CPUtime=0.8
/proc/1713/task/1714/stat : 1714 (java) R 1712 1712 1511 34817 1511 4202560 6824 0 1 0 76 4 0 0 25 0 9 0 5208424 420642816 26971 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1713/tid=1716] ppid=1712 vsize=410784 CPUtime=0.65
/proc/1713/task/1716/stat : 1716 (java) R 1712 1712 1511 34817 1511 4202560 19526 0 0 0 65 0 0 0 19 0 9 0 5208425 420642816 26971 1283457024 134512640 134550932 4294822128 18446744073709551615 4150993822 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=1713/tid=1717] ppid=1712 vsize=410784 CPUtime=0
/proc/1713/task/1717/stat : 1717 (java) S 1712 1712 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 5208425 420642816 26971 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1718] ppid=1712 vsize=410784 CPUtime=0
/proc/1713/task/1718/stat : 1718 (java) S 1712 1712 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 21 0 9 0 5208425 420642816 26971 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1719] ppid=1712 vsize=410784 CPUtime=0
/proc/1713/task/1719/stat : 1719 (java) S 1712 1712 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 5208427 420642816 26971 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1720] ppid=1712 vsize=410784 CPUtime=0.03
/proc/1713/task/1720/stat : 1720 (java) S 1712 1712 1511 34817 1511 4202560 439 0 0 0 3 0 0 0 20 0 9 0 5208427 420642816 26971 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1721] ppid=1712 vsize=410784 CPUtime=0
/proc/1713/task/1721/stat : 1721 (java) S 1712 1712 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 5208427 420642816 26971 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1722] ppid=1712 vsize=410784 CPUtime=0
/proc/1713/task/1722/stat : 1722 (java) S 1712 1712 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 9 0 5208427 420642816 26971 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 413356

[startup+3.12627 s]
/proc/loadavg: 1.11 1.10 1.09 2/43 1722
/proc/meminfo: memFree=226752/1048576 swapFree=0/0
[pid=1712] ppid=1711 vsize=2572 CPUtime=0
/proc/1712/stat : 1712 (gj-trendy-solve) S 1711 1712 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5208424 2633728 270 1283457024 134512640 135304128 4288357280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1712/statm: 643 270 229 194 0 30 0
[pid=1713] ppid=1712 vsize=410916 CPUtime=3.12
/proc/1713/stat : 1713 (java) S 1712 1712 1511 34817 1511 4202496 49193 0 1 0 300 12 0 0 25 0 9 0 5208424 420777984 48433 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1713/statm: 102729 48433 2901 10 0 96877 0
[pid=1713/tid=1714] ppid=1712 vsize=410916 CPUtime=1.46
/proc/1713/task/1714/stat : 1714 (java) R 1712 1712 1511 34817 1511 4202560 14280 0 1 0 141 5 0 0 25 0 9 0 5208424 420777984 48433 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1713/tid=1716] ppid=1712 vsize=410916 CPUtime=1.6
/proc/1713/task/1716/stat : 1716 (java) R 1712 1712 1511 34817 1511 4202560 33527 0 0 0 155 5 0 0 15 0 9 0 5208425 420777984 48433 1283457024 134512640 134550932 4294822128 18446744073709551615 4151075048 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=1713/tid=1717] ppid=1712 vsize=410916 CPUtime=0
/proc/1713/task/1717/stat : 1717 (java) S 1712 1712 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 5208425 420777984 48433 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1718] ppid=1712 vsize=410916 CPUtime=0
/proc/1713/task/1718/stat : 1718 (java) S 1712 1712 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 21 0 9 0 5208425 420777984 48433 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1719] ppid=1712 vsize=410916 CPUtime=0
/proc/1713/task/1719/stat : 1719 (java) S 1712 1712 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 5208427 420777984 48433 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1720] ppid=1712 vsize=410916 CPUtime=0.03
/proc/1713/task/1720/stat : 1720 (java) S 1712 1712 1511 34817 1511 4202560 444 0 0 0 3 0 0 0 15 0 9 0 5208427 420777984 48433 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1721] ppid=1712 vsize=410916 CPUtime=0
/proc/1713/task/1721/stat : 1721 (java) S 1712 1712 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 5208427 420777984 48433 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1722] ppid=1712 vsize=410916 CPUtime=0
/proc/1713/task/1722/stat : 1722 (java) S 1712 1712 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 9 0 5208427 420777984 48433 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 413488

[startup+6.3077 s]
/proc/loadavg: 1.26 1.13 1.10 2/43 1722
/proc/meminfo: memFree=95560/1048576 swapFree=0/0
[pid=1712] ppid=1711 vsize=2572 CPUtime=0
/proc/1712/stat : 1712 (gj-trendy-solve) S 1711 1712 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5208424 2633728 270 1283457024 134512640 135304128 4288357280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1712/statm: 643 270 229 194 0 30 0
[pid=1713] ppid=1712 vsize=411384 CPUtime=6.29
/proc/1713/stat : 1713 (java) S 1712 1712 1511 34817 1511 4202496 69917 0 1 0 611 18 0 0 25 0 10 0 5208424 421257216 69063 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1713/statm: 102846 69063 2917 10 0 96991 0
[pid=1713/tid=1714] ppid=1712 vsize=411384 CPUtime=2.99
/proc/1713/task/1714/stat : 1714 (java) R 1712 1712 1511 34817 1511 4202560 14543 0 1 0 293 6 0 0 25 0 10 0 5208424 421257216 69063 1283457024 134512640 134550932 4294822128 18446744073709551615 4114422037 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1713/tid=1716] ppid=1712 vsize=411384 CPUtime=3.17
/proc/1713/task/1716/stat : 1716 (java) S 1712 1712 1511 34817 1511 4202560 53910 0 0 0 306 11 0 0 16 0 10 0 5208425 421257216 69063 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1717] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1717/stat : 1717 (java) S 1712 1712 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5208425 421257216 69063 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1718] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1718/stat : 1718 (java) S 1712 1712 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5208425 421257216 69063 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1719] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1719/stat : 1719 (java) S 1712 1712 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5208427 421257216 69063 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1720] ppid=1712 vsize=411384 CPUtime=0.11
/proc/1713/task/1720/stat : 1720 (java) S 1712 1712 1511 34817 1511 4202560 518 0 0 0 11 0 0 0 15 0 10 0 5208427 421257216 69063 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1721] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1721/stat : 1721 (java) S 1712 1712 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5208427 421257216 69063 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1722] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1722/stat : 1722 (java) S 1712 1712 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 5208427 421257216 69063 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 413956

[startup+12.7093 s]
/proc/loadavg: 1.24 1.12 1.10 2/44 1723
/proc/meminfo: memFree=89608/1048576 swapFree=0/0
[pid=1712] ppid=1711 vsize=2572 CPUtime=0
/proc/1712/stat : 1712 (gj-trendy-solve) S 1711 1712 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5208424 2633728 270 1283457024 134512640 135304128 4288357280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1712/statm: 643 270 229 194 0 30 0
[pid=1713] ppid=1712 vsize=411384 CPUtime=12.69
/proc/1713/stat : 1713 (java) S 1712 1712 1511 34817 1511 4202496 71366 0 1 0 1249 20 0 0 25 0 10 0 5208424 421257216 70512 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1713/statm: 102846 70512 2918 10 0 96991 0
[pid=1713/tid=1714] ppid=1712 vsize=411384 CPUtime=8.9
/proc/1713/task/1714/stat : 1714 (java) R 1712 1712 1511 34817 1511 4202560 15957 0 1 0 882 8 0 0 25 0 10 0 5208424 421257216 70512 1283457024 134512640 134550932 4294822128 18446744073709551615 4115339424 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1713/tid=1716] ppid=1712 vsize=411384 CPUtime=3.65
/proc/1713/task/1716/stat : 1716 (java) S 1712 1712 1511 34817 1511 4202560 53910 0 0 0 354 11 0 0 16 0 10 0 5208425 421257216 70512 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1717] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1717/stat : 1717 (java) S 1712 1712 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5208425 421257216 70512 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1718] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1718/stat : 1718 (java) S 1712 1712 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5208425 421257216 70512 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1719] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1719/stat : 1719 (java) S 1712 1712 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5208427 421257216 70512 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1720] ppid=1712 vsize=411384 CPUtime=0.13
/proc/1713/task/1720/stat : 1720 (java) S 1712 1712 1511 34817 1511 4202560 553 0 0 0 13 0 0 0 15 0 10 0 5208427 421257216 70512 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1721] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1721/stat : 1721 (java) S 1712 1712 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5208427 421257216 70512 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1722] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1722/stat : 1722 (java) S 1712 1712 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 5208427 421257216 70512 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1723] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1723/stat : 1723 (java) S 1712 1712 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 5208985 421257216 70512 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 413956

Solver just ended. Dumping a history of the last processes samples

[startup+12.8093 s]
/proc/loadavg: 1.24 1.12 1.10 2/44 1723
/proc/meminfo: memFree=89608/1048576 swapFree=0/0
[pid=1712] ppid=1711 vsize=2572 CPUtime=0
/proc/1712/stat : 1712 (gj-trendy-solve) S 1711 1712 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5208424 2633728 270 1283457024 134512640 135304128 4288357280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1712/statm: 643 270 229 194 0 30 0
[pid=1713] ppid=1712 vsize=411384 CPUtime=12.79
/proc/1713/stat : 1713 (java) S 1712 1712 1511 34817 1511 4202496 71366 0 1 0 1259 20 0 0 25 0 10 0 5208424 421257216 70512 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1713/statm: 102846 70512 2918 10 0 96991 0
[pid=1713/tid=1714] ppid=1712 vsize=411384 CPUtime=9
/proc/1713/task/1714/stat : 1714 (java) R 1712 1712 1511 34817 1511 4202560 15957 0 1 0 892 8 0 0 25 0 10 0 5208424 421257216 70512 1283457024 134512640 134550932 4294822128 18446744073709551615 4114909740 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1713/tid=1716] ppid=1712 vsize=411384 CPUtime=3.65
/proc/1713/task/1716/stat : 1716 (java) S 1712 1712 1511 34817 1511 4202560 53910 0 0 0 354 11 0 0 16 0 10 0 5208425 421257216 70512 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1717] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1717/stat : 1717 (java) S 1712 1712 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5208425 421257216 70512 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1718] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1718/stat : 1718 (java) S 1712 1712 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5208425 421257216 70512 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1719] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1719/stat : 1719 (java) S 1712 1712 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5208427 421257216 70512 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1720] ppid=1712 vsize=411384 CPUtime=0.13
/proc/1713/task/1720/stat : 1720 (java) S 1712 1712 1511 34817 1511 4202560 553 0 0 0 13 0 0 0 15 0 10 0 5208427 421257216 70512 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1721] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1721/stat : 1721 (java) S 1712 1712 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5208427 421257216 70512 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1722] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1722/stat : 1722 (java) S 1712 1712 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 5208427 421257216 70512 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1723] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1723/stat : 1723 (java) S 1712 1712 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 5208985 421257216 70512 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 413956

[startup+16.0104 s]
/proc/loadavg: 1.22 1.12 1.10 2/44 1723
/proc/meminfo: memFree=89608/1048576 swapFree=0/0
[pid=1712] ppid=1711 vsize=2572 CPUtime=0
/proc/1712/stat : 1712 (gj-trendy-solve) S 1711 1712 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5208424 2633728 270 1283457024 134512640 135304128 4288357280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1712/statm: 643 270 229 194 0 30 0
[pid=1713] ppid=1712 vsize=411384 CPUtime=15.99
/proc/1713/stat : 1713 (java) S 1712 1712 1511 34817 1511 4202496 71370 0 1 0 1579 20 0 0 25 0 10 0 5208424 421257216 70516 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1713/statm: 102846 70516 2920 10 0 96991 0
[pid=1713/tid=1714] ppid=1712 vsize=411384 CPUtime=12.14
/proc/1713/task/1714/stat : 1714 (java) R 1712 1712 1511 34817 1511 4202560 15957 0 1 0 1206 8 0 0 25 0 10 0 5208424 421257216 70516 1283457024 134512640 134550932 4294822128 18446744073709551615 4115395232 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1713/tid=1716] ppid=1712 vsize=411384 CPUtime=3.71
/proc/1713/task/1716/stat : 1716 (java) S 1712 1712 1511 34817 1511 4202560 53912 0 0 0 360 11 0 0 15 0 10 0 5208425 421257216 70516 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1717] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1717/stat : 1717 (java) S 1712 1712 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5208425 421257216 70516 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1718] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1718/stat : 1718 (java) S 1712 1712 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5208425 421257216 70516 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1719] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1719/stat : 1719 (java) S 1712 1712 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5208427 421257216 70516 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1720] ppid=1712 vsize=411384 CPUtime=0.13
/proc/1713/task/1720/stat : 1720 (java) S 1712 1712 1511 34817 1511 4202560 555 0 0 0 13 0 0 0 15 0 10 0 5208427 421257216 70516 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1721] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1721/stat : 1721 (java) S 1712 1712 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5208427 421257216 70516 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1722] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1722/stat : 1722 (java) S 1712 1712 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 5208427 421257216 70516 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1723] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1723/stat : 1723 (java) S 1712 1712 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 5208985 421257216 70516 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 413956

[startup+17.6109 s]
/proc/loadavg: 1.22 1.12 1.10 2/44 1723
/proc/meminfo: memFree=89608/1048576 swapFree=0/0
[pid=1712] ppid=1711 vsize=2572 CPUtime=0
/proc/1712/stat : 1712 (gj-trendy-solve) S 1711 1712 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5208424 2633728 270 1283457024 134512640 135304128 4288357280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1712/statm: 643 270 229 194 0 30 0
[pid=1713] ppid=1712 vsize=411384 CPUtime=17.59
/proc/1713/stat : 1713 (java) S 1712 1712 1511 34817 1511 4202496 71371 0 1 0 1739 20 0 0 25 0 10 0 5208424 421257216 70517 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1713/statm: 102846 70517 2920 10 0 96991 0
[pid=1713/tid=1714] ppid=1712 vsize=411384 CPUtime=13.7
/proc/1713/task/1714/stat : 1714 (java) R 1712 1712 1511 34817 1511 4202560 15957 0 1 0 1362 8 0 0 25 0 10 0 5208424 421257216 70517 1283457024 134512640 134550932 4294822128 18446744073709551615 4115320388 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1713/tid=1716] ppid=1712 vsize=411384 CPUtime=3.75
/proc/1713/task/1716/stat : 1716 (java) S 1712 1712 1511 34817 1511 4202560 53912 0 0 0 364 11 0 0 15 0 10 0 5208425 421257216 70517 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1717] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1717/stat : 1717 (java) S 1712 1712 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5208425 421257216 70517 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1718] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1718/stat : 1718 (java) S 1712 1712 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5208425 421257216 70517 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1719] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1719/stat : 1719 (java) S 1712 1712 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5208427 421257216 70517 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1720] ppid=1712 vsize=411384 CPUtime=0.13
/proc/1713/task/1720/stat : 1720 (java) S 1712 1712 1511 34817 1511 4202560 556 0 0 0 13 0 0 0 15 0 10 0 5208427 421257216 70517 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1721] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1721/stat : 1721 (java) S 1712 1712 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5208427 421257216 70517 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1722] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1722/stat : 1722 (java) S 1712 1712 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 5208427 421257216 70517 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1723] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1723/stat : 1723 (java) S 1712 1712 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 5208985 421257216 70517 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.59
Current children cumulated vsize (KiB) 413956

[startup+18.4111 s]
/proc/loadavg: 1.22 1.12 1.10 2/44 1723
/proc/meminfo: memFree=89608/1048576 swapFree=0/0
[pid=1712] ppid=1711 vsize=2572 CPUtime=0
/proc/1712/stat : 1712 (gj-trendy-solve) S 1711 1712 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5208424 2633728 270 1283457024 134512640 135304128 4288357280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1712/statm: 643 270 229 194 0 30 0
[pid=1713] ppid=1712 vsize=411384 CPUtime=18.39
/proc/1713/stat : 1713 (java) S 1712 1712 1511 34817 1511 4202496 71371 0 1 0 1819 20 0 0 25 0 10 0 5208424 421257216 70517 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1713/statm: 102846 70517 2920 10 0 96991 0
[pid=1713/tid=1714] ppid=1712 vsize=411384 CPUtime=14.5
/proc/1713/task/1714/stat : 1714 (java) R 1712 1712 1511 34817 1511 4202560 15957 0 1 0 1442 8 0 0 25 0 10 0 5208424 421257216 70517 1283457024 134512640 134550932 4294822128 18446744073709551615 4115344380 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1713/tid=1716] ppid=1712 vsize=411384 CPUtime=3.75
/proc/1713/task/1716/stat : 1716 (java) S 1712 1712 1511 34817 1511 4202560 53912 0 0 0 364 11 0 0 16 0 10 0 5208425 421257216 70517 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1717] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1717/stat : 1717 (java) S 1712 1712 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5208425 421257216 70517 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1718] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1718/stat : 1718 (java) S 1712 1712 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5208425 421257216 70517 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1719] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1719/stat : 1719 (java) S 1712 1712 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5208427 421257216 70517 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1720] ppid=1712 vsize=411384 CPUtime=0.13
/proc/1713/task/1720/stat : 1720 (java) S 1712 1712 1511 34817 1511 4202560 556 0 0 0 13 0 0 0 15 0 10 0 5208427 421257216 70517 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1721] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1721/stat : 1721 (java) S 1712 1712 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5208427 421257216 70517 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1722] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1722/stat : 1722 (java) S 1712 1712 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 5208427 421257216 70517 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1723] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1723/stat : 1723 (java) S 1712 1712 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 5208985 421257216 70517 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.39
Current children cumulated vsize (KiB) 413956

[startup+18.8113 s]
/proc/loadavg: 1.22 1.12 1.10 2/44 1723
/proc/meminfo: memFree=89608/1048576 swapFree=0/0
[pid=1712] ppid=1711 vsize=2572 CPUtime=0
/proc/1712/stat : 1712 (gj-trendy-solve) S 1711 1712 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5208424 2633728 270 1283457024 134512640 135304128 4288357280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1712/statm: 643 270 229 194 0 30 0
[pid=1713] ppid=1712 vsize=411384 CPUtime=18.79
/proc/1713/stat : 1713 (java) S 1712 1712 1511 34817 1511 4202496 71372 0 1 0 1859 20 0 0 25 0 10 0 5208424 421257216 70518 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1713/statm: 102846 70518 2920 10 0 96991 0
[pid=1713/tid=1714] ppid=1712 vsize=411384 CPUtime=14.9
/proc/1713/task/1714/stat : 1714 (java) R 1712 1712 1511 34817 1511 4202560 15957 0 1 0 1482 8 0 0 25 0 10 0 5208424 421257216 70518 1283457024 134512640 134550932 4294822128 18446744073709551615 4115064064 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1713/tid=1716] ppid=1712 vsize=411384 CPUtime=3.75
/proc/1713/task/1716/stat : 1716 (java) S 1712 1712 1511 34817 1511 4202560 53912 0 0 0 364 11 0 0 16 0 10 0 5208425 421257216 70518 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1717] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1717/stat : 1717 (java) S 1712 1712 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5208425 421257216 70518 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1718] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1718/stat : 1718 (java) S 1712 1712 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5208425 421257216 70518 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1719] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1719/stat : 1719 (java) S 1712 1712 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5208427 421257216 70518 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1720] ppid=1712 vsize=411384 CPUtime=0.13
/proc/1713/task/1720/stat : 1720 (java) S 1712 1712 1511 34817 1511 4202560 557 0 0 0 13 0 0 0 15 0 10 0 5208427 421257216 70518 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1721] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1721/stat : 1721 (java) S 1712 1712 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5208427 421257216 70518 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1722] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1722/stat : 1722 (java) S 1712 1712 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 5208427 421257216 70518 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1723] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1723/stat : 1723 (java) S 1712 1712 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 5208985 421257216 70518 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.79
Current children cumulated vsize (KiB) 413956

[startup+19.0113 s]
/proc/loadavg: 1.22 1.12 1.10 2/44 1723
/proc/meminfo: memFree=89608/1048576 swapFree=0/0
[pid=1712] ppid=1711 vsize=2572 CPUtime=0
/proc/1712/stat : 1712 (gj-trendy-solve) S 1711 1712 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5208424 2633728 270 1283457024 134512640 135304128 4288357280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1712/statm: 643 270 229 194 0 30 0
[pid=1713] ppid=1712 vsize=411384 CPUtime=18.99
/proc/1713/stat : 1713 (java) S 1712 1712 1511 34817 1511 4202496 71372 0 1 0 1879 20 0 0 25 0 10 0 5208424 421257216 70518 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1713/statm: 102846 70518 2920 10 0 96991 0
[pid=1713/tid=1714] ppid=1712 vsize=411384 CPUtime=15.1
/proc/1713/task/1714/stat : 1714 (java) R 1712 1712 1511 34817 1511 4202560 15957 0 1 0 1502 8 0 0 25 0 10 0 5208424 421257216 70518 1283457024 134512640 134550932 4294822128 18446744073709551615 4115344708 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1713/tid=1716] ppid=1712 vsize=411384 CPUtime=3.75
/proc/1713/task/1716/stat : 1716 (java) S 1712 1712 1511 34817 1511 4202560 53912 0 0 0 364 11 0 0 16 0 10 0 5208425 421257216 70518 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1717] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1717/stat : 1717 (java) S 1712 1712 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5208425 421257216 70518 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1718] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1718/stat : 1718 (java) S 1712 1712 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5208425 421257216 70518 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1719] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1719/stat : 1719 (java) S 1712 1712 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5208427 421257216 70518 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1720] ppid=1712 vsize=411384 CPUtime=0.13
/proc/1713/task/1720/stat : 1720 (java) S 1712 1712 1511 34817 1511 4202560 557 0 0 0 13 0 0 0 15 0 10 0 5208427 421257216 70518 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1721] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1721/stat : 1721 (java) S 1712 1712 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5208427 421257216 70518 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1722] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1722/stat : 1722 (java) S 1712 1712 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 5208427 421257216 70518 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=1713/tid=1723] ppid=1712 vsize=411384 CPUtime=0
/proc/1713/task/1723/stat : 1723 (java) S 1712 1712 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 5208985 421257216 70518 1283457024 134512640 134550932 4294822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.99
Current children cumulated vsize (KiB) 413956

[startup+19.1149 s]
/proc/loadavg: 1.22 1.12 1.10 2/44 1723
/proc/meminfo: memFree=89608/1048576 swapFree=0/0
[pid=1712] ppid=1711 vsize=2572 CPUtime=0
/proc/1712/stat : 1712 (gj-trendy-solve) S 1711 1712 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5208424 2633728 270 1283457024 134512640 135304128 4288357280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1712/statm: 643 270 229 194 0 30 0
[pid=1713] ppid=1712 vsize=0 CPUtime=19.07
/proc/1713/stat : 1713 (java) Z 1712 1712 1511 34817 1511 4202508 71385 0 1 0 1885 22 0 0 18 0 2 0 5208424 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1713/statm: 0 0 0 0 0 0 0
[pid=1713/tid=1721] ppid=1712 vsize=0 CPUtime=0.02
/proc/1713/task/1721/stat : 1721 (java) R 1712 1712 1511 34817 1511 4203588 1 0 0 0 0 2 0 0 18 0 2 0 5208427 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.07
Current children cumulated vsize (KiB) 2572

Child status: 0
Real time (s): 19.1178
CPU time (s): 19.0812
CPU user time (s): 18.8572
CPU system time (s): 0.224014
CPU usage (%): 99.8083
Max. virtual memory (cumulated for all children) (KiB): 413956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.8572
system time used= 0.224014
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71769
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1123
involuntary context switches= 1399

runsolver used 0 second user time and 0 second system time

The end