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/rand125.cudf.s-e.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/incremental/s-e/rand125.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/rand125.cudf.s-e.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.08 1.04 0.94 5/34 2930
/proc/meminfo: memFree=721620/1048576 swapFree=0/0
[pid=2929] ppid=2928 vsize=2572 CPUtime=0
/proc/2929/stat : 2929 (gj-trendy-solve) R 2928 2929 1511 34817 1511 4202496 355 0 0 0 0 0 0 0 25 0 1 0 881984 2633728 269 1283457024 134512640 135304128 4289529072 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/2929/statm: 643 269 228 194 0 30 0
[pid=2930] ppid=2929 vsize=2572 CPUtime=0
/proc/2930/stat : 2930 (gj-trendy-solve) R 2929 2929 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 881984 2633728 41 1283457024 134512640 135304128 4289529072 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/2930/statm: 643 41 0 194 0 30 0

[startup+0.105412 s]
/proc/loadavg: 1.08 1.04 0.94 5/34 2930
/proc/meminfo: memFree=721620/1048576 swapFree=0/0
[pid=2929] ppid=2928 vsize=2572 CPUtime=0
/proc/2929/stat : 2929 (gj-trendy-solve) S 2928 2929 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 881984 2633728 270 1283457024 134512640 135304128 4289529072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2929/statm: 643 270 229 194 0 30 0
[pid=2930] ppid=2929 vsize=409928 CPUtime=0.1
/proc/2930/stat : 2930 (java) S 2929 2929 1511 34817 1511 4202496 3843 0 1 0 9 1 0 0 25 0 9 0 881984 419766272 3274 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2930/statm: 102482 3274 1909 10 0 96630 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 412500

[startup+0.205422 s]
/proc/loadavg: 1.08 1.04 0.94 5/34 2930
/proc/meminfo: memFree=721620/1048576 swapFree=0/0
[pid=2929] ppid=2928 vsize=2572 CPUtime=0
/proc/2929/stat : 2929 (gj-trendy-solve) S 2928 2929 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 881984 2633728 270 1283457024 134512640 135304128 4289529072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2929/statm: 643 270 229 194 0 30 0
[pid=2930] ppid=2929 vsize=409928 CPUtime=0.2
/proc/2930/stat : 2930 (java) S 2929 2929 1511 34817 1511 4202496 4088 0 1 0 18 2 0 0 25 0 9 0 881984 419766272 3519 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2930/statm: 102482 3519 1909 10 0 96630 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412500

[startup+0.305443 s]
/proc/loadavg: 1.08 1.04 0.94 5/34 2930
/proc/meminfo: memFree=721620/1048576 swapFree=0/0
[pid=2929] ppid=2928 vsize=2572 CPUtime=0
/proc/2929/stat : 2929 (gj-trendy-solve) S 2928 2929 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 881984 2633728 270 1283457024 134512640 135304128 4289529072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2929/statm: 643 270 229 194 0 30 0
[pid=2930] ppid=2929 vsize=410340 CPUtime=0.3
/proc/2930/stat : 2930 (java) S 2929 2929 1511 34817 1511 4202496 4437 0 1 0 28 2 0 0 25 0 9 0 881984 420188160 3868 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2930/statm: 102585 3868 1927 10 0 96733 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412912

[startup+0.705548 s]
/proc/loadavg: 1.08 1.04 0.94 5/34 2930
/proc/meminfo: memFree=721620/1048576 swapFree=0/0
[pid=2929] ppid=2928 vsize=2572 CPUtime=0
/proc/2929/stat : 2929 (gj-trendy-solve) S 2928 2929 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 881984 2633728 270 1283457024 134512640 135304128 4289529072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2929/statm: 643 270 229 194 0 30 0
[pid=2930] ppid=2929 vsize=410648 CPUtime=0.7
/proc/2930/stat : 2930 (java) S 2929 2929 1511 34817 1511 4202496 12862 0 1 0 66 4 0 0 25 0 9 0 881984 420503552 12108 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2930/statm: 102662 12108 2895 10 0 96810 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413220

[startup+1.50576 s]
/proc/loadavg: 1.15 1.05 0.95 2/43 2939
/proc/meminfo: memFree=662452/1048576 swapFree=0/0
[pid=2929] ppid=2928 vsize=2572 CPUtime=0
/proc/2929/stat : 2929 (gj-trendy-solve) S 2928 2929 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 881984 2633728 270 1283457024 134512640 135304128 4289529072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2929/statm: 643 270 229 194 0 30 0
[pid=2930] ppid=2929 vsize=410780 CPUtime=1.5
/proc/2930/stat : 2930 (java) S 2929 2929 1511 34817 1511 4202496 27512 0 1 0 138 12 0 0 25 0 9 0 881984 420638720 26758 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2930/statm: 102695 26758 2896 10 0 96843 0
[pid=2930/tid=2932] ppid=2929 vsize=410780 CPUtime=0.78
/proc/2930/task/2932/stat : 2932 (java) R 2929 2929 1511 34817 1511 4202560 6729 0 1 0 74 4 0 0 25 0 9 0 881985 420638720 26758 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2930/tid=2933] ppid=2929 vsize=410780 CPUtime=0.67
/proc/2930/task/2933/stat : 2933 (java) R 2929 2929 1511 34817 1511 4202560 19406 0 0 0 60 7 0 0 19 0 9 0 881985 420638720 26758 1283457024 134512640 134550932 4288822128 18446744073709551615 4151178157 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=2930/tid=2934] ppid=2929 vsize=410780 CPUtime=0
/proc/2930/task/2934/stat : 2934 (java) S 2929 2929 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 881985 420638720 26758 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2935] ppid=2929 vsize=410780 CPUtime=0
/proc/2930/task/2935/stat : 2935 (java) S 2929 2929 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 881985 420638720 26758 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2936] ppid=2929 vsize=410780 CPUtime=0
/proc/2930/task/2936/stat : 2936 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 881987 420638720 26758 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2937] ppid=2929 vsize=410780 CPUtime=0.02
/proc/2930/task/2937/stat : 2937 (java) S 2929 2929 1511 34817 1511 4202560 436 0 0 0 2 0 0 0 16 0 9 0 881987 420638720 26758 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2938] ppid=2929 vsize=410780 CPUtime=0
/proc/2930/task/2938/stat : 2938 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 881987 420638720 26758 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2939] ppid=2929 vsize=410780 CPUtime=0
/proc/2930/task/2939/stat : 2939 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 881987 420638720 26758 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413352

[startup+3.10625 s]
/proc/loadavg: 1.15 1.05 0.95 2/43 2939
/proc/meminfo: memFree=597724/1048576 swapFree=0/0
[pid=2929] ppid=2928 vsize=2572 CPUtime=0
/proc/2929/stat : 2929 (gj-trendy-solve) S 2928 2929 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 881984 2633728 270 1283457024 134512640 135304128 4289529072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2929/statm: 643 270 229 194 0 30 0
[pid=2930] ppid=2929 vsize=411116 CPUtime=3.1
/proc/2930/stat : 2930 (java) S 2929 2929 1511 34817 1511 4202496 39364 0 1 0 297 13 0 0 25 0 10 0 881984 420982784 38528 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2930/statm: 102779 38528 2921 10 0 96924 0
[pid=2930/tid=2932] ppid=2929 vsize=411116 CPUtime=1.85
/proc/2930/task/2932/stat : 2932 (java) R 2929 2929 1511 34817 1511 4202560 9714 0 1 0 179 6 0 0 25 0 10 0 881985 420982784 38528 1283457024 134512640 134550932 4288822128 18446744073709551615 4115474914 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2930/tid=2933] ppid=2929 vsize=411116 CPUtime=1.15
/proc/2930/task/2933/stat : 2933 (java) S 2929 2929 1511 34817 1511 4202560 28182 0 0 0 108 7 0 0 16 0 10 0 881985 420982784 38528 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2934] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2934/stat : 2934 (java) S 2929 2929 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 881985 420982784 38528 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2935] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2935/stat : 2935 (java) S 2929 2929 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 881985 420982784 38528 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2936] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2936/stat : 2936 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881987 420982784 38528 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2937] ppid=2929 vsize=411116 CPUtime=0.09
/proc/2930/task/2937/stat : 2937 (java) S 2929 2929 1511 34817 1511 4202560 522 0 0 0 9 0 0 0 15 0 10 0 881987 420982784 38528 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2938] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2938/stat : 2938 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881987 420982784 38528 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2939] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2939/stat : 2939 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 881987 420982784 38528 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413688

[startup+6.30692 s]
/proc/loadavg: 1.15 1.05 0.95 2/44 2940
/proc/meminfo: memFree=566592/1048576 swapFree=0/0
[pid=2929] ppid=2928 vsize=2572 CPUtime=0
/proc/2929/stat : 2929 (gj-trendy-solve) S 2928 2929 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 881984 2633728 270 1283457024 134512640 135304128 4289529072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2929/statm: 643 270 229 194 0 30 0
[pid=2930] ppid=2929 vsize=411116 CPUtime=6.3
/proc/2930/stat : 2930 (java) S 2929 2929 1511 34817 1511 4202496 42346 0 1 0 617 13 0 0 25 0 10 0 881984 420982784 41510 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2930/statm: 102779 41510 2921 10 0 96924 0
[pid=2930/tid=2932] ppid=2929 vsize=411116 CPUtime=4.94
/proc/2930/task/2932/stat : 2932 (java) R 2929 2929 1511 34817 1511 4202560 9716 0 1 0 488 6 0 0 25 0 10 0 881985 420982784 41510 1283457024 134512640 134550932 4288822128 18446744073709551615 4114749965 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2930/tid=2933] ppid=2929 vsize=411116 CPUtime=1.23
/proc/2930/task/2933/stat : 2933 (java) S 2929 2929 1511 34817 1511 4202560 31151 0 0 0 116 7 0 0 16 0 10 0 881985 420982784 41510 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2934] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2934/stat : 2934 (java) S 2929 2929 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 881985 420982784 41510 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2935] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2935/stat : 2935 (java) S 2929 2929 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 881985 420982784 41510 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2936] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2936/stat : 2936 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881987 420982784 41510 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2937] ppid=2929 vsize=411116 CPUtime=0.11
/proc/2930/task/2937/stat : 2937 (java) S 2929 2929 1511 34817 1511 4202560 533 0 0 0 11 0 0 0 16 0 10 0 881987 420982784 41510 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2938] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2938/stat : 2938 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881987 420982784 41510 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2939] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2939/stat : 2939 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 881987 420982784 41510 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2940] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2940/stat : 2940 (java) S 2929 2929 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 882233 420982784 41510 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413688

[startup+12.7079 s]
/proc/loadavg: 1.13 1.05 0.95 2/44 2940
/proc/meminfo: memFree=566352/1048576 swapFree=0/0
[pid=2929] ppid=2928 vsize=2572 CPUtime=0
/proc/2929/stat : 2929 (gj-trendy-solve) S 2928 2929 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 881984 2633728 270 1283457024 134512640 135304128 4289529072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2929/statm: 643 270 229 194 0 30 0
[pid=2930] ppid=2929 vsize=411116 CPUtime=12.7
/proc/2930/stat : 2930 (java) S 2929 2929 1511 34817 1511 4202496 42362 0 1 0 1257 13 0 0 25 0 10 0 881984 420982784 41517 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2930/statm: 102779 41517 2916 10 0 96924 0
[pid=2930/tid=2932] ppid=2929 vsize=411116 CPUtime=11.14
/proc/2930/task/2932/stat : 2932 (java) R 2929 2929 1511 34817 1511 4202560 9717 0 1 0 1108 6 0 0 25 0 10 0 881985 420982784 41517 1283457024 134512640 134550932 4288822128 18446744073709551615 4115412580 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2930/tid=2933] ppid=2929 vsize=411116 CPUtime=1.43
/proc/2930/task/2933/stat : 2933 (java) S 2929 2929 1511 34817 1511 4202560 31163 0 0 0 136 7 0 0 15 0 10 0 881985 420982784 41517 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2934] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2934/stat : 2934 (java) S 2929 2929 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 881985 420982784 41517 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2935] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2935/stat : 2935 (java) S 2929 2929 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 881985 420982784 41517 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2936] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2936/stat : 2936 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881987 420982784 41517 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2937] ppid=2929 vsize=411116 CPUtime=0.11
/proc/2930/task/2937/stat : 2937 (java) S 2929 2929 1511 34817 1511 4202560 536 0 0 0 11 0 0 0 15 0 10 0 881987 420982784 41517 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2938] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2938/stat : 2938 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881987 420982784 41517 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2939] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2939/stat : 2939 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 881987 420982784 41517 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2940] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2940/stat : 2940 (java) S 2929 2929 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 882233 420982784 41517 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 413688

[startup+25.5105 s]
/proc/loadavg: 1.11 1.05 0.95 2/44 2940
/proc/meminfo: memFree=566352/1048576 swapFree=0/0
[pid=2929] ppid=2928 vsize=2572 CPUtime=0
/proc/2929/stat : 2929 (gj-trendy-solve) S 2928 2929 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 881984 2633728 270 1283457024 134512640 135304128 4289529072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2929/statm: 643 270 229 194 0 30 0
[pid=2930] ppid=2929 vsize=411116 CPUtime=25.5
/proc/2930/stat : 2930 (java) S 2929 2929 1511 34817 1511 4202496 42363 0 1 0 2536 14 0 0 25 0 10 0 881984 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2930/statm: 102779 41518 2916 10 0 96924 0
[pid=2930/tid=2932] ppid=2929 vsize=411116 CPUtime=23.68
/proc/2930/task/2932/stat : 2932 (java) R 2929 2929 1511 34817 1511 4202560 9717 0 1 0 2362 6 0 0 25 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4114606363 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2930/tid=2933] ppid=2929 vsize=411116 CPUtime=1.68
/proc/2930/task/2933/stat : 2933 (java) S 2929 2929 1511 34817 1511 4202560 31163 0 0 0 161 7 0 0 15 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2934] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2934/stat : 2934 (java) S 2929 2929 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2935] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2935/stat : 2935 (java) S 2929 2929 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2936] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2936/stat : 2936 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2937] ppid=2929 vsize=411116 CPUtime=0.11
/proc/2930/task/2937/stat : 2937 (java) S 2929 2929 1511 34817 1511 4202560 537 0 0 0 11 0 0 0 15 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2938] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2938/stat : 2938 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2939] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2939/stat : 2939 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2940] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2940/stat : 2940 (java) S 2929 2929 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 882233 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 413688

[startup+51.1061 s]
/proc/loadavg: 1.07 1.04 0.95 2/44 2940
/proc/meminfo: memFree=566352/1048576 swapFree=0/0
[pid=2929] ppid=2928 vsize=2572 CPUtime=0
/proc/2929/stat : 2929 (gj-trendy-solve) S 2928 2929 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 881984 2633728 270 1283457024 134512640 135304128 4289529072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2929/statm: 643 270 229 194 0 30 0
[pid=2930] ppid=2929 vsize=411116 CPUtime=51.08
/proc/2930/stat : 2930 (java) S 2929 2929 1511 34817 1511 4202496 42363 0 1 0 5093 15 0 0 25 0 10 0 881984 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2930/statm: 102779 41518 2916 10 0 96924 0
[pid=2930/tid=2932] ppid=2929 vsize=411116 CPUtime=48.84
/proc/2930/task/2932/stat : 2932 (java) R 2929 2929 1511 34817 1511 4202560 9717 0 1 0 4877 7 0 0 25 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4115010464 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2930/tid=2933] ppid=2929 vsize=411116 CPUtime=2.1
/proc/2930/task/2933/stat : 2933 (java) S 2929 2929 1511 34817 1511 4202560 31163 0 0 0 203 7 0 0 15 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2934] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2934/stat : 2934 (java) S 2929 2929 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2935] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2935/stat : 2935 (java) S 2929 2929 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2936] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2936/stat : 2936 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2937] ppid=2929 vsize=411116 CPUtime=0.11
/proc/2930/task/2937/stat : 2937 (java) S 2929 2929 1511 34817 1511 4202560 537 0 0 0 11 0 0 0 15 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2938] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2938/stat : 2938 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2939] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2939/stat : 2939 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2940] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2940/stat : 2940 (java) S 2929 2929 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 882233 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 413688

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

[startup+51.2062 s]
/proc/loadavg: 1.07 1.04 0.95 2/44 2940
/proc/meminfo: memFree=566352/1048576 swapFree=0/0
[pid=2929] ppid=2928 vsize=2572 CPUtime=0
/proc/2929/stat : 2929 (gj-trendy-solve) S 2928 2929 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 881984 2633728 270 1283457024 134512640 135304128 4289529072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2929/statm: 643 270 229 194 0 30 0
[pid=2930] ppid=2929 vsize=411116 CPUtime=51.18
/proc/2930/stat : 2930 (java) S 2929 2929 1511 34817 1511 4202496 42363 0 1 0 5103 15 0 0 25 0 10 0 881984 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2930/statm: 102779 41518 2916 10 0 96924 0
[pid=2930/tid=2932] ppid=2929 vsize=411116 CPUtime=48.94
/proc/2930/task/2932/stat : 2932 (java) R 2929 2929 1511 34817 1511 4202560 9717 0 1 0 4887 7 0 0 25 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4115544149 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2930/tid=2933] ppid=2929 vsize=411116 CPUtime=2.1
/proc/2930/task/2933/stat : 2933 (java) S 2929 2929 1511 34817 1511 4202560 31163 0 0 0 203 7 0 0 15 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2934] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2934/stat : 2934 (java) S 2929 2929 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2935] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2935/stat : 2935 (java) S 2929 2929 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2936] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2936/stat : 2936 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2937] ppid=2929 vsize=411116 CPUtime=0.11
/proc/2930/task/2937/stat : 2937 (java) S 2929 2929 1511 34817 1511 4202560 537 0 0 0 11 0 0 0 15 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2938] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2938/stat : 2938 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2939] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2939/stat : 2939 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2940] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2940/stat : 2940 (java) S 2929 2929 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 882233 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 413688

[startup+57.6078 s]
/proc/loadavg: 1.06 1.04 0.95 2/44 2940
/proc/meminfo: memFree=566352/1048576 swapFree=0/0
[pid=2929] ppid=2928 vsize=2572 CPUtime=0
/proc/2929/stat : 2929 (gj-trendy-solve) S 2928 2929 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 881984 2633728 270 1283457024 134512640 135304128 4289529072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2929/statm: 643 270 229 194 0 30 0
[pid=2930] ppid=2929 vsize=411116 CPUtime=57.57
/proc/2930/stat : 2930 (java) S 2929 2929 1511 34817 1511 4202496 42363 0 1 0 5742 15 0 0 25 0 10 0 881984 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2930/statm: 102779 41518 2916 10 0 96924 0
[pid=2930/tid=2932] ppid=2929 vsize=411116 CPUtime=55.19
/proc/2930/task/2932/stat : 2932 (java) R 2929 2929 1511 34817 1511 4202560 9717 0 1 0 5512 7 0 0 25 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4115010455 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2930/tid=2933] ppid=2929 vsize=411116 CPUtime=2.24
/proc/2930/task/2933/stat : 2933 (java) S 2929 2929 1511 34817 1511 4202560 31163 0 0 0 217 7 0 0 15 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2934] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2934/stat : 2934 (java) S 2929 2929 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2935] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2935/stat : 2935 (java) S 2929 2929 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2936] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2936/stat : 2936 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2937] ppid=2929 vsize=411116 CPUtime=0.11
/proc/2930/task/2937/stat : 2937 (java) S 2929 2929 1511 34817 1511 4202560 537 0 0 0 11 0 0 0 15 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2938] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2938/stat : 2938 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2939] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2939/stat : 2939 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2940] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2940/stat : 2940 (java) S 2929 2929 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 882233 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 57.57
Current children cumulated vsize (KiB) 413688

[startup+64.0092 s]
/proc/loadavg: 1.05 1.04 0.95 2/46 2942
/proc/meminfo: memFree=566204/1048576 swapFree=0/0
[pid=2929] ppid=2928 vsize=2572 CPUtime=0
/proc/2929/stat : 2929 (gj-trendy-solve) S 2928 2929 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 881984 2633728 270 1283457024 134512640 135304128 4289529072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2929/statm: 643 270 229 194 0 30 0
[pid=2930] ppid=2929 vsize=411116 CPUtime=63.97
/proc/2930/stat : 2930 (java) S 2929 2929 1511 34817 1511 4202496 42363 0 1 0 6382 15 0 0 25 0 10 0 881984 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2930/statm: 102779 41518 2916 10 0 96924 0
[pid=2930/tid=2932] ppid=2929 vsize=411116 CPUtime=61.58
/proc/2930/task/2932/stat : 2932 (java) R 2929 2929 1511 34817 1511 4202560 9717 0 1 0 6151 7 0 0 25 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4115361560 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2930/tid=2933] ppid=2929 vsize=411116 CPUtime=2.24
/proc/2930/task/2933/stat : 2933 (java) S 2929 2929 1511 34817 1511 4202560 31163 0 0 0 217 7 0 0 15 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2934] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2934/stat : 2934 (java) S 2929 2929 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2935] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2935/stat : 2935 (java) S 2929 2929 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2936] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2936/stat : 2936 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2937] ppid=2929 vsize=411116 CPUtime=0.11
/proc/2930/task/2937/stat : 2937 (java) S 2929 2929 1511 34817 1511 4202560 537 0 0 0 11 0 0 0 15 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2938] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2938/stat : 2938 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2939] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2939/stat : 2939 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2940] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2940/stat : 2940 (java) S 2929 2929 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 882233 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 63.97
Current children cumulated vsize (KiB) 413688

[startup+67.2099 s]
/proc/loadavg: 1.05 1.04 0.95 2/46 2942
/proc/meminfo: memFree=566080/1048576 swapFree=0/0
[pid=2929] ppid=2928 vsize=2572 CPUtime=0
/proc/2929/stat : 2929 (gj-trendy-solve) S 2928 2929 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 881984 2633728 270 1283457024 134512640 135304128 4289529072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2929/statm: 643 270 229 194 0 30 0
[pid=2930] ppid=2929 vsize=411116 CPUtime=67.17
/proc/2930/stat : 2930 (java) S 2929 2929 1511 34817 1511 4202496 42363 0 1 0 6702 15 0 0 25 0 10 0 881984 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2930/statm: 102779 41518 2916 10 0 96924 0
[pid=2930/tid=2932] ppid=2929 vsize=411116 CPUtime=64.65
/proc/2930/task/2932/stat : 2932 (java) R 2929 2929 1511 34817 1511 4202560 9717 0 1 0 6458 7 0 0 25 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4115543077 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2930/tid=2933] ppid=2929 vsize=411116 CPUtime=2.37
/proc/2930/task/2933/stat : 2933 (java) S 2929 2929 1511 34817 1511 4202560 31163 0 0 0 230 7 0 0 15 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2934] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2934/stat : 2934 (java) S 2929 2929 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2935] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2935/stat : 2935 (java) S 2929 2929 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2936] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2936/stat : 2936 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2937] ppid=2929 vsize=411116 CPUtime=0.11
/proc/2930/task/2937/stat : 2937 (java) S 2929 2929 1511 34817 1511 4202560 537 0 0 0 11 0 0 0 15 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2938] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2938/stat : 2938 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2939] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2939/stat : 2939 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2940] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2940/stat : 2940 (java) S 2929 2929 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 882233 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 67.17
Current children cumulated vsize (KiB) 413688

[startup+68.0101 s]
/proc/loadavg: 1.05 1.04 0.95 2/46 2942
/proc/meminfo: memFree=566080/1048576 swapFree=0/0
[pid=2929] ppid=2928 vsize=2572 CPUtime=0
/proc/2929/stat : 2929 (gj-trendy-solve) S 2928 2929 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 881984 2633728 270 1283457024 134512640 135304128 4289529072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2929/statm: 643 270 229 194 0 30 0
[pid=2930] ppid=2929 vsize=411116 CPUtime=67.97
/proc/2930/stat : 2930 (java) S 2929 2929 1511 34817 1511 4202496 42363 0 1 0 6782 15 0 0 25 0 10 0 881984 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2930/statm: 102779 41518 2916 10 0 96924 0
[pid=2930/tid=2932] ppid=2929 vsize=411116 CPUtime=65.45
/proc/2930/task/2932/stat : 2932 (java) R 2929 2929 1511 34817 1511 4202560 9717 0 1 0 6538 7 0 0 25 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4115412587 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2930/tid=2933] ppid=2929 vsize=411116 CPUtime=2.37
/proc/2930/task/2933/stat : 2933 (java) S 2929 2929 1511 34817 1511 4202560 31163 0 0 0 230 7 0 0 15 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2934] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2934/stat : 2934 (java) S 2929 2929 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2935] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2935/stat : 2935 (java) S 2929 2929 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2936] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2936/stat : 2936 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2937] ppid=2929 vsize=411116 CPUtime=0.11
/proc/2930/task/2937/stat : 2937 (java) S 2929 2929 1511 34817 1511 4202560 537 0 0 0 11 0 0 0 15 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2938] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2938/stat : 2938 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2939] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2939/stat : 2939 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2940] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2940/stat : 2940 (java) S 2929 2929 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 882233 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 67.97
Current children cumulated vsize (KiB) 413688

[startup+68.8103 s]
/proc/loadavg: 1.05 1.04 0.95 2/46 2942
/proc/meminfo: memFree=566080/1048576 swapFree=0/0
[pid=2929] ppid=2928 vsize=2572 CPUtime=0
/proc/2929/stat : 2929 (gj-trendy-solve) S 2928 2929 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 881984 2633728 270 1283457024 134512640 135304128 4289529072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2929/statm: 643 270 229 194 0 30 0
[pid=2930] ppid=2929 vsize=411116 CPUtime=68.77
/proc/2930/stat : 2930 (java) S 2929 2929 1511 34817 1511 4202496 42363 0 1 0 6862 15 0 0 25 0 10 0 881984 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2930/statm: 102779 41518 2916 10 0 96924 0
[pid=2930/tid=2932] ppid=2929 vsize=411116 CPUtime=66.25
/proc/2930/task/2932/stat : 2932 (java) R 2929 2929 1511 34817 1511 4202560 9717 0 1 0 6618 7 0 0 25 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4115406203 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2930/tid=2933] ppid=2929 vsize=411116 CPUtime=2.37
/proc/2930/task/2933/stat : 2933 (java) S 2929 2929 1511 34817 1511 4202560 31163 0 0 0 230 7 0 0 15 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2934] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2934/stat : 2934 (java) S 2929 2929 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2935] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2935/stat : 2935 (java) S 2929 2929 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2936] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2936/stat : 2936 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2937] ppid=2929 vsize=411116 CPUtime=0.11
/proc/2930/task/2937/stat : 2937 (java) S 2929 2929 1511 34817 1511 4202560 537 0 0 0 11 0 0 0 15 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2938] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2938/stat : 2938 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2939] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2939/stat : 2939 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2940] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2940/stat : 2940 (java) S 2929 2929 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 882233 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 68.77
Current children cumulated vsize (KiB) 413688

[startup+69.0103 s]
/proc/loadavg: 1.05 1.04 0.95 2/46 2942
/proc/meminfo: memFree=566080/1048576 swapFree=0/0
[pid=2929] ppid=2928 vsize=2572 CPUtime=0
/proc/2929/stat : 2929 (gj-trendy-solve) S 2928 2929 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 881984 2633728 270 1283457024 134512640 135304128 4289529072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2929/statm: 643 270 229 194 0 30 0
[pid=2930] ppid=2929 vsize=411116 CPUtime=68.97
/proc/2930/stat : 2930 (java) S 2929 2929 1511 34817 1511 4202496 42363 0 1 0 6882 15 0 0 25 0 10 0 881984 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2930/statm: 102779 41518 2916 10 0 96924 0
[pid=2930/tid=2932] ppid=2929 vsize=411116 CPUtime=66.45
/proc/2930/task/2932/stat : 2932 (java) R 2929 2929 1511 34817 1511 4202560 9717 0 1 0 6638 7 0 0 25 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4115546245 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2930/tid=2933] ppid=2929 vsize=411116 CPUtime=2.37
/proc/2930/task/2933/stat : 2933 (java) S 2929 2929 1511 34817 1511 4202560 31163 0 0 0 230 7 0 0 15 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2934] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2934/stat : 2934 (java) S 2929 2929 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2935] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2935/stat : 2935 (java) S 2929 2929 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 881985 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2936] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2936/stat : 2936 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2937] ppid=2929 vsize=411116 CPUtime=0.11
/proc/2930/task/2937/stat : 2937 (java) S 2929 2929 1511 34817 1511 4202560 537 0 0 0 11 0 0 0 15 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2938] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2938/stat : 2938 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2939] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2939/stat : 2939 (java) S 2929 2929 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 881987 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=2930/tid=2940] ppid=2929 vsize=411116 CPUtime=0
/proc/2930/task/2940/stat : 2940 (java) S 2929 2929 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 882233 420982784 41518 1283457024 134512640 134550932 4288822128 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 68.97
Current children cumulated vsize (KiB) 413688

Child status: 0
Real time (s): 69.0441
CPU time (s): 69.0003
CPU user time (s): 68.8363
CPU system time (s): 0.16401
CPU usage (%): 99.9365
Max. virtual memory (cumulated for all children) (KiB): 413688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 68.8363
system time used= 0.16401
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42753
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= 2006
involuntary context switches= 2786

runsolver used 0 second user time and 0 second system time

The end