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/6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/dudf-real//6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/6b0d1da0-c730-11df-a7c5-00163e3d3b7c.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.07 1.11 1.10 4/35 26566
/proc/meminfo: memFree=365088/1048576 swapFree=0/0
[pid=26565] ppid=26564 vsize=2568 CPUtime=0
/proc/26565/stat : 26565 (gj-trendy-solve) S 26564 26565 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4833222 2629632 269 1283457024 134512640 135304128 4292755408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26565/statm: 642 269 229 194 0 29 0
[pid=26566] ppid=26565 vsize=11044 CPUtime=0
/proc/26566/stat : 26566 (java) R 26565 26565 1511 34817 1511 4202496 669 0 0 0 0 0 0 0 25 0 1 0 4833222 11309056 406 1283457024 134512640 134550932 4291644896 18446744073709551615 4160325346 0 0 0 0 0 0 0 17 0 0 0 0
/proc/26566/statm: 2761 406 178 10 0 1103 0

[startup+0.165429 s]
/proc/loadavg: 1.07 1.11 1.10 4/35 26566
/proc/meminfo: memFree=365088/1048576 swapFree=0/0
[pid=26565] ppid=26564 vsize=2568 CPUtime=0
/proc/26565/stat : 26565 (gj-trendy-solve) S 26564 26565 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4833222 2629632 269 1283457024 134512640 135304128 4292755408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26565/statm: 642 269 229 194 0 29 0
[pid=26566] ppid=26565 vsize=409800 CPUtime=0.16
/proc/26566/stat : 26566 (java) S 26565 26565 1511 34817 1511 4202496 3990 0 1 0 15 1 0 0 25 0 9 0 4833222 419635200 3418 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26566/statm: 102450 3418 1922 10 0 96598 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 412368

[startup+0.205428 s]
/proc/loadavg: 1.07 1.11 1.10 4/35 26566
/proc/meminfo: memFree=365088/1048576 swapFree=0/0
[pid=26565] ppid=26564 vsize=2568 CPUtime=0
/proc/26565/stat : 26565 (gj-trendy-solve) S 26564 26565 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4833222 2629632 269 1283457024 134512640 135304128 4292755408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26565/statm: 642 269 229 194 0 29 0
[pid=26566] ppid=26565 vsize=409800 CPUtime=0.2
/proc/26566/stat : 26566 (java) S 26565 26565 1511 34817 1511 4202496 4082 0 1 0 19 1 0 0 25 0 9 0 4833222 419635200 3510 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26566/statm: 102450 3510 1922 10 0 96598 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412368

[startup+0.305448 s]
/proc/loadavg: 1.07 1.11 1.10 4/35 26566
/proc/meminfo: memFree=365088/1048576 swapFree=0/0
[pid=26565] ppid=26564 vsize=2568 CPUtime=0
/proc/26565/stat : 26565 (gj-trendy-solve) S 26564 26565 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4833222 2629632 269 1283457024 134512640 135304128 4292755408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26565/statm: 642 269 229 194 0 29 0
[pid=26566] ppid=26565 vsize=410384 CPUtime=0.3
/proc/26566/stat : 26566 (java) S 26565 26565 1511 34817 1511 4202496 4427 0 1 0 29 1 0 0 25 0 9 0 4833222 420233216 3855 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26566/statm: 102596 3855 1944 10 0 96744 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412952

[startup+0.705526 s]
/proc/loadavg: 1.07 1.11 1.10 4/35 26566
/proc/meminfo: memFree=365088/1048576 swapFree=0/0
[pid=26565] ppid=26564 vsize=2568 CPUtime=0
/proc/26565/stat : 26565 (gj-trendy-solve) S 26564 26565 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4833222 2629632 269 1283457024 134512640 135304128 4292755408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26565/statm: 642 269 229 194 0 29 0
[pid=26566] ppid=26565 vsize=410652 CPUtime=0.7
/proc/26566/stat : 26566 (java) S 26565 26565 1511 34817 1511 4202496 12161 0 1 0 64 6 0 0 25 0 9 0 4833222 420507648 11402 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26566/statm: 102663 11402 2901 10 0 96811 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413220

[startup+1.50584 s]
/proc/loadavg: 1.07 1.11 1.10 3/44 26575
/proc/meminfo: memFree=306724/1048576 swapFree=0/0
[pid=26565] ppid=26564 vsize=2568 CPUtime=0
/proc/26565/stat : 26565 (gj-trendy-solve) S 26564 26565 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4833222 2629632 269 1283457024 134512640 135304128 4292755408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26565/statm: 642 269 229 194 0 29 0
[pid=26566] ppid=26565 vsize=410784 CPUtime=1.5
/proc/26566/stat : 26566 (java) S 26565 26565 1511 34817 1511 4202496 25824 0 1 0 140 10 0 0 25 0 9 0 4833222 420642816 25065 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26566/statm: 102696 25065 2901 10 0 96844 0
[pid=26566/tid=26568] ppid=26565 vsize=410784 CPUtime=0.83
/proc/26566/task/26568/stat : 26568 (java) R 26565 26565 1511 34817 1511 4202560 6786 0 1 0 79 4 0 0 25 0 9 0 4833223 420642816 25065 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26566/tid=26569] ppid=26565 vsize=410784 CPUtime=0.62
/proc/26566/task/26569/stat : 26569 (java) R 26565 26565 1511 34817 1511 4202560 17652 0 0 0 56 6 0 0 18 0 9 0 4833224 420642816 25065 1283457024 134512640 134550932 4291644896 18446744073709551615 4151203768 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=26566/tid=26570] ppid=26565 vsize=410784 CPUtime=0
/proc/26566/task/26570/stat : 26570 (java) S 26565 26565 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4833224 420642816 25065 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26571] ppid=26565 vsize=410784 CPUtime=0
/proc/26566/task/26571/stat : 26571 (java) S 26565 26565 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4833224 420642816 25065 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26572] ppid=26565 vsize=410784 CPUtime=0
/proc/26566/task/26572/stat : 26572 (java) S 26565 26565 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4833225 420642816 25065 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26573] ppid=26565 vsize=410784 CPUtime=0.04
/proc/26566/task/26573/stat : 26573 (java) S 26565 26565 1511 34817 1511 4202560 447 0 0 0 4 0 0 0 17 0 9 0 4833225 420642816 25065 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26574] ppid=26565 vsize=410784 CPUtime=0
/proc/26566/task/26574/stat : 26574 (java) S 26565 26565 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4833225 420642816 25065 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26575] ppid=26565 vsize=410784 CPUtime=0
/proc/26566/task/26575/stat : 26575 (java) S 26565 26565 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 4833225 420642816 25065 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413352

[startup+3.10627 s]
/proc/loadavg: 1.07 1.11 1.10 2/44 26575
/proc/meminfo: memFree=232572/1048576 swapFree=0/0
[pid=26565] ppid=26564 vsize=2568 CPUtime=0
/proc/26565/stat : 26565 (gj-trendy-solve) S 26564 26565 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4833222 2629632 269 1283457024 134512640 135304128 4292755408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26565/statm: 642 269 229 194 0 29 0
[pid=26566] ppid=26565 vsize=410916 CPUtime=3.1
/proc/26566/stat : 26566 (java) S 26565 26565 1511 34817 1511 4202496 47503 0 1 0 295 15 0 0 25 0 9 0 4833222 420777984 46744 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26566/statm: 102729 46744 2901 10 0 96877 0
[pid=26566/tid=26568] ppid=26565 vsize=410916 CPUtime=1.47
/proc/26566/task/26568/stat : 26568 (java) R 26565 26565 1511 34817 1511 4202560 12910 0 1 0 142 5 0 0 25 0 9 0 4833223 420777984 46744 1283457024 134512640 134550932 4291644896 18446744073709551615 4115359741 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26566/tid=26569] ppid=26565 vsize=410916 CPUtime=1.57
/proc/26566/task/26569/stat : 26569 (java) S 26565 26565 1511 34817 1511 4202560 33204 0 0 0 148 9 0 0 16 0 9 0 4833224 420777984 46744 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26570] ppid=26565 vsize=410916 CPUtime=0
/proc/26566/task/26570/stat : 26570 (java) S 26565 26565 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4833224 420777984 46744 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26571] ppid=26565 vsize=410916 CPUtime=0
/proc/26566/task/26571/stat : 26571 (java) S 26565 26565 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4833224 420777984 46744 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26572] ppid=26565 vsize=410916 CPUtime=0
/proc/26566/task/26572/stat : 26572 (java) S 26565 26565 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4833225 420777984 46744 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26573] ppid=26565 vsize=410916 CPUtime=0.04
/proc/26566/task/26573/stat : 26573 (java) S 26565 26565 1511 34817 1511 4202560 450 0 0 0 4 0 0 0 15 0 9 0 4833225 420777984 46744 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26574] ppid=26565 vsize=410916 CPUtime=0
/proc/26566/task/26574/stat : 26574 (java) S 26565 26565 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4833225 420777984 46744 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26575] ppid=26565 vsize=410916 CPUtime=0
/proc/26566/task/26575/stat : 26575 (java) S 26565 26565 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 4833225 420777984 46744 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413484

[startup+6.30736 s]
/proc/loadavg: 1.07 1.11 1.10 3/44 26575
/proc/meminfo: memFree=102256/1048576 swapFree=0/0
[pid=26565] ppid=26564 vsize=2568 CPUtime=0
/proc/26565/stat : 26565 (gj-trendy-solve) S 26564 26565 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4833222 2629632 269 1283457024 134512640 135304128 4292755408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26565/statm: 642 269 229 194 0 29 0
[pid=26566] ppid=26565 vsize=411252 CPUtime=6.29
/proc/26566/stat : 26566 (java) S 26565 26565 1511 34817 1511 4202496 71096 0 1 0 605 24 0 0 25 0 10 0 4833222 421122048 70243 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26566/statm: 102813 70243 2917 10 0 96958 0
[pid=26566/tid=26568] ppid=26565 vsize=411252 CPUtime=2.95
/proc/26566/task/26568/stat : 26568 (java) R 26565 26565 1511 34817 1511 4202560 14490 0 1 0 288 7 0 0 25 0 10 0 4833223 421122048 70243 1283457024 134512640 134550932 4291644896 18446744073709551615 4115814884 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26566/tid=26569] ppid=26565 vsize=411252 CPUtime=3.24
/proc/26566/task/26569/stat : 26569 (java) S 26565 26565 1511 34817 1511 4202560 55137 0 0 0 308 16 0 0 16 0 10 0 4833224 421122048 70243 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26570] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26570/stat : 26570 (java) S 26565 26565 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4833224 421122048 70243 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26571] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26571/stat : 26571 (java) S 26565 26565 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4833224 421122048 70243 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26572] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26572/stat : 26572 (java) S 26565 26565 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4833225 421122048 70243 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26573] ppid=26565 vsize=411252 CPUtime=0.08
/proc/26566/task/26573/stat : 26573 (java) S 26565 26565 1511 34817 1511 4202560 525 0 0 0 8 0 0 0 15 0 10 0 4833225 421122048 70243 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26574] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26574/stat : 26574 (java) S 26565 26565 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4833225 421122048 70243 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26575] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26575/stat : 26575 (java) S 26565 26565 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4833225 421122048 70243 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 413820

[startup+12.7094 s]
/proc/loadavg: 1.06 1.10 1.10 2/45 26576
/proc/meminfo: memFree=94684/1048576 swapFree=0/0
[pid=26565] ppid=26564 vsize=2568 CPUtime=0
/proc/26565/stat : 26565 (gj-trendy-solve) S 26564 26565 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4833222 2629632 269 1283457024 134512640 135304128 4292755408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26565/statm: 642 269 229 194 0 29 0
[pid=26566] ppid=26565 vsize=411252 CPUtime=12.68
/proc/26566/stat : 26566 (java) S 26565 26565 1511 34817 1511 4202496 71348 0 1 0 1244 24 0 0 25 0 10 0 4833222 421122048 70495 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26566/statm: 102813 70495 2918 10 0 96958 0
[pid=26566/tid=26568] ppid=26565 vsize=411252 CPUtime=8.83
/proc/26566/task/26568/stat : 26568 (java) R 26565 26565 1511 34817 1511 4202560 14596 0 1 0 876 7 0 0 25 0 10 0 4833223 421122048 70495 1283457024 134512640 134550932 4291644896 18446744073709551615 4115949789 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26566/tid=26569] ppid=26565 vsize=411252 CPUtime=3.73
/proc/26566/task/26569/stat : 26569 (java) S 26565 26565 1511 34817 1511 4202560 55249 0 0 0 357 16 0 0 15 0 10 0 4833224 421122048 70495 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26570] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26570/stat : 26570 (java) S 26565 26565 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4833224 421122048 70495 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26571] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26571/stat : 26571 (java) S 26565 26565 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4833224 421122048 70495 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26572] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26572/stat : 26572 (java) S 26565 26565 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4833225 421122048 70495 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26573] ppid=26565 vsize=411252 CPUtime=0.1
/proc/26566/task/26573/stat : 26573 (java) S 26565 26565 1511 34817 1511 4202560 559 0 0 0 10 0 0 0 15 0 10 0 4833225 421122048 70495 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26574] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26574/stat : 26574 (java) S 26565 26565 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4833225 421122048 70495 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26575] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26575/stat : 26575 (java) S 26565 26565 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4833225 421122048 70495 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26576] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26576/stat : 26576 (java) S 26565 26565 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4833810 421122048 70495 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 413820

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

[startup+12.8094 s]
/proc/loadavg: 1.06 1.10 1.10 2/45 26576
/proc/meminfo: memFree=94684/1048576 swapFree=0/0
[pid=26565] ppid=26564 vsize=2568 CPUtime=0
/proc/26565/stat : 26565 (gj-trendy-solve) S 26564 26565 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4833222 2629632 269 1283457024 134512640 135304128 4292755408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26565/statm: 642 269 229 194 0 29 0
[pid=26566] ppid=26565 vsize=411252 CPUtime=12.78
/proc/26566/stat : 26566 (java) S 26565 26565 1511 34817 1511 4202496 71348 0 1 0 1254 24 0 0 25 0 10 0 4833222 421122048 70495 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26566/statm: 102813 70495 2918 10 0 96958 0
[pid=26566/tid=26568] ppid=26565 vsize=411252 CPUtime=8.93
/proc/26566/task/26568/stat : 26568 (java) R 26565 26565 1511 34817 1511 4202560 14596 0 1 0 886 7 0 0 25 0 10 0 4833223 421122048 70495 1283457024 134512640 134550932 4291644896 18446744073709551615 4115814884 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26566/tid=26569] ppid=26565 vsize=411252 CPUtime=3.73
/proc/26566/task/26569/stat : 26569 (java) S 26565 26565 1511 34817 1511 4202560 55249 0 0 0 357 16 0 0 15 0 10 0 4833224 421122048 70495 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26570] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26570/stat : 26570 (java) S 26565 26565 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4833224 421122048 70495 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26571] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26571/stat : 26571 (java) S 26565 26565 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4833224 421122048 70495 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26572] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26572/stat : 26572 (java) S 26565 26565 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4833225 421122048 70495 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26573] ppid=26565 vsize=411252 CPUtime=0.1
/proc/26566/task/26573/stat : 26573 (java) S 26565 26565 1511 34817 1511 4202560 559 0 0 0 10 0 0 0 15 0 10 0 4833225 421122048 70495 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26574] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26574/stat : 26574 (java) S 26565 26565 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4833225 421122048 70495 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26575] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26575/stat : 26575 (java) S 26565 26565 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4833225 421122048 70495 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26576] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26576/stat : 26576 (java) S 26565 26565 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4833810 421122048 70495 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.78
Current children cumulated vsize (KiB) 413820

[startup+16.0105 s]
/proc/loadavg: 1.06 1.10 1.10 2/45 26576
/proc/meminfo: memFree=94684/1048576 swapFree=0/0
[pid=26565] ppid=26564 vsize=2568 CPUtime=0
/proc/26565/stat : 26565 (gj-trendy-solve) S 26564 26565 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4833222 2629632 269 1283457024 134512640 135304128 4292755408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26565/statm: 642 269 229 194 0 29 0
[pid=26566] ppid=26565 vsize=411252 CPUtime=15.97
/proc/26566/stat : 26566 (java) S 26565 26565 1511 34817 1511 4202496 71354 0 1 0 1573 24 0 0 25 0 10 0 4833222 421122048 70501 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26566/statm: 102813 70501 2920 10 0 96958 0
[pid=26566/tid=26568] ppid=26565 vsize=411252 CPUtime=12.02
/proc/26566/task/26568/stat : 26568 (java) R 26565 26565 1511 34817 1511 4202560 14596 0 1 0 1195 7 0 0 25 0 10 0 4833223 421122048 70501 1283457024 134512640 134550932 4291644896 18446744073709551615 4115951113 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26566/tid=26569] ppid=26565 vsize=411252 CPUtime=3.83
/proc/26566/task/26569/stat : 26569 (java) S 26565 26565 1511 34817 1511 4202560 55251 0 0 0 367 16 0 0 16 0 10 0 4833224 421122048 70501 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26570] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26570/stat : 26570 (java) S 26565 26565 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4833224 421122048 70501 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26571] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26571/stat : 26571 (java) S 26565 26565 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4833224 421122048 70501 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26572] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26572/stat : 26572 (java) S 26565 26565 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4833225 421122048 70501 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26573] ppid=26565 vsize=411252 CPUtime=0.1
/proc/26566/task/26573/stat : 26573 (java) S 26565 26565 1511 34817 1511 4202560 563 0 0 0 10 0 0 0 15 0 10 0 4833225 421122048 70501 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26574] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26574/stat : 26574 (java) S 26565 26565 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4833225 421122048 70501 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26575] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26575/stat : 26575 (java) S 26565 26565 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4833225 421122048 70501 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26576] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26576/stat : 26576 (java) S 26565 26565 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4833810 421122048 70501 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.97
Current children cumulated vsize (KiB) 413820

[startup+17.6111 s]
/proc/loadavg: 1.05 1.10 1.09 2/45 26576
/proc/meminfo: memFree=94684/1048576 swapFree=0/0
[pid=26565] ppid=26564 vsize=2568 CPUtime=0
/proc/26565/stat : 26565 (gj-trendy-solve) S 26564 26565 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4833222 2629632 269 1283457024 134512640 135304128 4292755408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26565/statm: 642 269 229 194 0 29 0
[pid=26566] ppid=26565 vsize=411252 CPUtime=17.58
/proc/26566/stat : 26566 (java) S 26565 26565 1511 34817 1511 4202496 71356 0 1 0 1732 26 0 0 25 0 10 0 4833222 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26566/statm: 102813 70503 2920 10 0 96958 0
[pid=26566/tid=26568] ppid=26565 vsize=411252 CPUtime=13.62
/proc/26566/task/26568/stat : 26568 (java) R 26565 26565 1511 34817 1511 4202560 14596 0 1 0 1354 8 0 0 25 0 10 0 4833223 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4115903477 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26566/tid=26569] ppid=26565 vsize=411252 CPUtime=3.83
/proc/26566/task/26569/stat : 26569 (java) S 26565 26565 1511 34817 1511 4202560 55251 0 0 0 367 16 0 0 15 0 10 0 4833224 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26570] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26570/stat : 26570 (java) S 26565 26565 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4833224 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26571] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26571/stat : 26571 (java) S 26565 26565 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4833224 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26572] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26572/stat : 26572 (java) S 26565 26565 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4833225 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26573] ppid=26565 vsize=411252 CPUtime=0.1
/proc/26566/task/26573/stat : 26573 (java) S 26565 26565 1511 34817 1511 4202560 565 0 0 0 10 0 0 0 15 0 10 0 4833225 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26574] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26574/stat : 26574 (java) S 26565 26565 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4833225 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26575] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26575/stat : 26575 (java) S 26565 26565 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4833225 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26576] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26576/stat : 26576 (java) S 26565 26565 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4833810 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.58
Current children cumulated vsize (KiB) 413820

[startup+18.4114 s]
/proc/loadavg: 1.05 1.10 1.09 2/45 26576
/proc/meminfo: memFree=94684/1048576 swapFree=0/0
[pid=26565] ppid=26564 vsize=2568 CPUtime=0
/proc/26565/stat : 26565 (gj-trendy-solve) S 26564 26565 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4833222 2629632 269 1283457024 134512640 135304128 4292755408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26565/statm: 642 269 229 194 0 29 0
[pid=26566] ppid=26565 vsize=411252 CPUtime=18.38
/proc/26566/stat : 26566 (java) S 26565 26565 1511 34817 1511 4202496 71356 0 1 0 1812 26 0 0 25 0 10 0 4833222 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26566/statm: 102813 70503 2920 10 0 96958 0
[pid=26566/tid=26568] ppid=26565 vsize=411252 CPUtime=14.38
/proc/26566/task/26568/stat : 26568 (java) R 26565 26565 1511 34817 1511 4202560 14596 0 1 0 1430 8 0 0 25 0 10 0 4833223 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4115746506 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26566/tid=26569] ppid=26565 vsize=411252 CPUtime=3.87
/proc/26566/task/26569/stat : 26569 (java) S 26565 26565 1511 34817 1511 4202560 55251 0 0 0 371 16 0 0 16 0 10 0 4833224 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26570] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26570/stat : 26570 (java) S 26565 26565 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4833224 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26571] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26571/stat : 26571 (java) S 26565 26565 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4833224 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26572] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26572/stat : 26572 (java) S 26565 26565 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4833225 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26573] ppid=26565 vsize=411252 CPUtime=0.1
/proc/26566/task/26573/stat : 26573 (java) S 26565 26565 1511 34817 1511 4202560 565 0 0 0 10 0 0 0 15 0 10 0 4833225 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26574] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26574/stat : 26574 (java) S 26565 26565 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4833225 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26575] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26575/stat : 26575 (java) S 26565 26565 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4833225 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26576] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26576/stat : 26576 (java) S 26565 26565 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4833810 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.38
Current children cumulated vsize (KiB) 413820

[startup+19.2116 s]
/proc/loadavg: 1.05 1.10 1.09 2/45 26576
/proc/meminfo: memFree=94684/1048576 swapFree=0/0
[pid=26565] ppid=26564 vsize=2568 CPUtime=0
/proc/26565/stat : 26565 (gj-trendy-solve) S 26564 26565 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4833222 2629632 269 1283457024 134512640 135304128 4292755408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26565/statm: 642 269 229 194 0 29 0
[pid=26566] ppid=26565 vsize=411252 CPUtime=19.18
/proc/26566/stat : 26566 (java) S 26565 26565 1511 34817 1511 4202496 71356 0 1 0 1892 26 0 0 25 0 10 0 4833222 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26566/statm: 102813 70503 2920 10 0 96958 0
[pid=26566/tid=26568] ppid=26565 vsize=411252 CPUtime=15.18
/proc/26566/task/26568/stat : 26568 (java) R 26565 26565 1511 34817 1511 4202560 14596 0 1 0 1510 8 0 0 25 0 10 0 4833223 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4115840748 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26566/tid=26569] ppid=26565 vsize=411252 CPUtime=3.87
/proc/26566/task/26569/stat : 26569 (java) S 26565 26565 1511 34817 1511 4202560 55251 0 0 0 371 16 0 0 15 0 10 0 4833224 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26570] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26570/stat : 26570 (java) S 26565 26565 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4833224 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26571] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26571/stat : 26571 (java) S 26565 26565 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4833224 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26572] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26572/stat : 26572 (java) S 26565 26565 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4833225 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26573] ppid=26565 vsize=411252 CPUtime=0.1
/proc/26566/task/26573/stat : 26573 (java) S 26565 26565 1511 34817 1511 4202560 565 0 0 0 10 0 0 0 15 0 10 0 4833225 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26574] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26574/stat : 26574 (java) S 26565 26565 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4833225 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26575] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26575/stat : 26575 (java) S 26565 26565 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4833225 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26576] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26576/stat : 26576 (java) S 26565 26565 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4833810 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.18
Current children cumulated vsize (KiB) 413820

[startup+19.6118 s]
/proc/loadavg: 1.05 1.10 1.09 2/45 26576
/proc/meminfo: memFree=94684/1048576 swapFree=0/0
[pid=26565] ppid=26564 vsize=2568 CPUtime=0
/proc/26565/stat : 26565 (gj-trendy-solve) S 26564 26565 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4833222 2629632 269 1283457024 134512640 135304128 4292755408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26565/statm: 642 269 229 194 0 29 0
[pid=26566] ppid=26565 vsize=411252 CPUtime=19.58
/proc/26566/stat : 26566 (java) S 26565 26565 1511 34817 1511 4202496 71356 0 1 0 1932 26 0 0 25 0 10 0 4833222 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26566/statm: 102813 70503 2920 10 0 96958 0
[pid=26566/tid=26568] ppid=26565 vsize=411252 CPUtime=15.58
/proc/26566/task/26568/stat : 26568 (java) R 26565 26565 1511 34817 1511 4202560 14596 0 1 0 1550 8 0 0 25 0 10 0 4833223 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4114929986 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26566/tid=26569] ppid=26565 vsize=411252 CPUtime=3.87
/proc/26566/task/26569/stat : 26569 (java) S 26565 26565 1511 34817 1511 4202560 55251 0 0 0 371 16 0 0 15 0 10 0 4833224 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26570] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26570/stat : 26570 (java) S 26565 26565 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4833224 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26571] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26571/stat : 26571 (java) S 26565 26565 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4833224 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26572] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26572/stat : 26572 (java) S 26565 26565 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4833225 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26573] ppid=26565 vsize=411252 CPUtime=0.1
/proc/26566/task/26573/stat : 26573 (java) S 26565 26565 1511 34817 1511 4202560 565 0 0 0 10 0 0 0 15 0 10 0 4833225 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26574] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26574/stat : 26574 (java) S 26565 26565 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4833225 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26575] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26575/stat : 26575 (java) S 26565 26565 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4833225 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26576] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26576/stat : 26576 (java) S 26565 26565 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4833810 421122048 70503 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.58
Current children cumulated vsize (KiB) 413820

[startup+19.7118 s]
/proc/loadavg: 1.05 1.10 1.09 2/45 26576
/proc/meminfo: memFree=94684/1048576 swapFree=0/0
[pid=26565] ppid=26564 vsize=2568 CPUtime=0
/proc/26565/stat : 26565 (gj-trendy-solve) S 26564 26565 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4833222 2629632 269 1283457024 134512640 135304128 4292755408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26565/statm: 642 269 229 194 0 29 0
[pid=26566] ppid=26565 vsize=411252 CPUtime=19.68
/proc/26566/stat : 26566 (java) S 26565 26565 1511 34817 1511 4202496 71364 0 1 0 1942 26 0 0 25 0 9 0 4833222 421122048 70511 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26566/statm: 102813 70511 2921 10 0 96958 0
[pid=26566/tid=26568] ppid=26565 vsize=411252 CPUtime=15.67
/proc/26566/task/26568/stat : 26568 (java) R 26565 26565 1511 34817 1511 4202560 14596 0 1 0 1559 8 0 0 25 0 9 0 4833223 421122048 70511 1283457024 134512640 134550932 4291644896 18446744073709551615 4115340562 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26566/tid=26569] ppid=26565 vsize=411252 CPUtime=3.87
/proc/26566/task/26569/stat : 26569 (java) S 26565 26565 1511 34817 1511 4202560 55251 0 0 0 371 16 0 0 15 0 9 0 4833224 421122048 70511 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26570] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26570/stat : 26570 (java) S 26565 26565 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 4833224 421122048 70511 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26571] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26571/stat : 26571 (java) S 26565 26565 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 4833224 421122048 70511 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26572] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26572/stat : 26572 (java) S 26565 26565 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4833225 421122048 70511 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26573] ppid=26565 vsize=411252 CPUtime=0.11
/proc/26566/task/26573/stat : 26573 (java) S 26565 26565 1511 34817 1511 4202560 572 0 0 0 11 0 0 0 16 0 9 0 4833225 421122048 70511 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26574] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26574/stat : 26574 (java) S 26565 26565 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4833225 421122048 70511 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=26566/tid=26575] ppid=26565 vsize=411252 CPUtime=0
/proc/26566/task/26575/stat : 26575 (java) S 26565 26565 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 4833225 421122048 70511 1283457024 134512640 134550932 4291644896 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.68
Current children cumulated vsize (KiB) 413820

Child status: 0
Real time (s): 19.7746
CPU time (s): 19.6892
CPU user time (s): 19.4212
CPU system time (s): 0.268016
CPU usage (%): 99.5685
Max. virtual memory (cumulated for all children) (KiB): 413820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.4212
system time used= 0.268016
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71750
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= 1148
involuntary context switches= 1432

runsolver used 0 second user time and 0 second system time

The end