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/201108311143/gj-user-solver-1.0/rand924.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand924.cudf /home/misc2010/tmp/201108311143/gj-user-solver-1.0/rand924.cudf.user-upgrades.result -sum(installedsize) 

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: 0.85 0.97 0.99 5/35 29699
/proc/meminfo: memFree=611680/1048576 swapFree=0/0
[pid=29697] ppid=29696 vsize=2568 CPUtime=0
/proc/29697/stat : 29697 (gj-user-solver-) S 29696 29697 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 65621535 2629632 269 1283457024 134512640 135304128 4294601120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29697/statm: 642 269 229 194 0 29 0
[pid=29698] ppid=29697 vsize=11360 CPUtime=0
/proc/29698/stat : 29698 (java) R 29697 29697 19908 34817 19908 4202496 919 0 0 0 0 0 0 0 25 0 2 0 65621535 11632640 652 1283457024 134512640 134550932 4288049856 18446744073709551615 4159938152 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 2840 652 285 10 0 1186 0
[pid=29698/tid=29699] ppid=29697 vsize=11360 CPUtime=0
/proc/29698/task/29699/stat : 29699 (java) R 29697 29697 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 2 0 65621536 11632640 652 1283457024 134512640 134550932 4288049856 18446744073709551615 4159938152 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.125129 s]
/proc/loadavg: 0.85 0.97 0.99 5/35 29699
/proc/meminfo: memFree=611680/1048576 swapFree=0/0
[pid=29697] ppid=29696 vsize=2568 CPUtime=0
/proc/29697/stat : 29697 (gj-user-solver-) S 29696 29697 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 65621535 2629632 269 1283457024 134512640 135304128 4294601120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29697/statm: 642 269 229 194 0 29 0
[pid=29698] ppid=29697 vsize=410068 CPUtime=0.12
/proc/29698/stat : 29698 (java) S 29697 29697 19908 34817 19908 4202496 4106 0 1 0 10 2 0 0 25 0 9 0 65621535 419909632 3536 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 102517 3536 1940 10 0 96665 0
[pid=29698/tid=29699] ppid=29697 vsize=410068 CPUtime=0.1
/proc/29698/task/29699/stat : 29699 (java) R 29697 29697 19908 34817 19908 4202560 2903 0 1 0 9 1 0 0 25 0 9 0 65621536 419909632 3536 1283457024 134512640 134550932 4288049856 18446744073709551615 4115277028 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 412636

[startup+0.205153 s]
/proc/loadavg: 0.85 0.97 0.99 5/35 29699
/proc/meminfo: memFree=611680/1048576 swapFree=0/0
[pid=29697] ppid=29696 vsize=2568 CPUtime=0
/proc/29697/stat : 29697 (gj-user-solver-) S 29696 29697 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 65621535 2629632 269 1283457024 134512640 135304128 4294601120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29697/statm: 642 269 229 194 0 29 0
[pid=29698] ppid=29697 vsize=410068 CPUtime=0.2
/proc/29698/stat : 29698 (java) S 29697 29697 19908 34817 19908 4202496 4658 0 1 0 18 2 0 0 25 0 9 0 65621535 419909632 4088 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 102517 4088 1940 10 0 96665 0
[pid=29698/tid=29699] ppid=29697 vsize=410068 CPUtime=0.18
/proc/29698/task/29699/stat : 29699 (java) R 29697 29697 19908 34817 19908 4202560 3455 0 1 0 17 1 0 0 25 0 9 0 65621536 419909632 4088 1283457024 134512640 134550932 4288049856 18446744073709551615 4152039622 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412636

[startup+0.305166 s]
/proc/loadavg: 0.85 0.97 0.99 5/35 29699
/proc/meminfo: memFree=611680/1048576 swapFree=0/0
[pid=29697] ppid=29696 vsize=2568 CPUtime=0
/proc/29697/stat : 29697 (gj-user-solver-) S 29696 29697 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 65621535 2629632 269 1283457024 134512640 135304128 4294601120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29697/statm: 642 269 229 194 0 29 0
[pid=29698] ppid=29697 vsize=410068 CPUtime=0.3
/proc/29698/stat : 29698 (java) S 29697 29697 19908 34817 19908 4202496 5292 0 1 0 28 2 0 0 25 0 9 0 65621535 419909632 4721 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 102517 4721 1946 10 0 96665 0
[pid=29698/tid=29699] ppid=29697 vsize=410068 CPUtime=0.27
/proc/29698/task/29699/stat : 29699 (java) R 29697 29697 19908 34817 19908 4202560 3511 0 1 0 26 1 0 0 25 0 9 0 65621536 419909632 4721 1283457024 134512640 134550932 4288049856 18446744073709551615 4115709052 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412636

[startup+0.70524 s]
/proc/loadavg: 0.85 0.97 0.99 5/35 29699
/proc/meminfo: memFree=611680/1048576 swapFree=0/0
[pid=29697] ppid=29696 vsize=2568 CPUtime=0
/proc/29697/stat : 29697 (gj-user-solver-) S 29696 29697 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 65621535 2629632 269 1283457024 134512640 135304128 4294601120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29697/statm: 642 269 229 194 0 29 0
[pid=29698] ppid=29697 vsize=410752 CPUtime=0.7
/proc/29698/stat : 29698 (java) S 29697 29697 19908 34817 19908 4202496 12742 0 1 0 65 5 0 0 25 0 9 0 65621535 420610048 11987 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 102688 11987 2900 10 0 96836 0
[pid=29698/tid=29699] ppid=29697 vsize=410752 CPUtime=0.47
/proc/29698/task/29699/stat : 29699 (java) R 29697 29697 19908 34817 19908 4202560 4168 0 1 0 46 1 0 0 25 0 9 0 65621536 420610048 11987 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413320

[startup+1.50538 s]
/proc/loadavg: 1.02 1.00 1.00 2/43 29707
/proc/meminfo: memFree=554812/1048576 swapFree=0/0
[pid=29697] ppid=29696 vsize=2568 CPUtime=0
/proc/29697/stat : 29697 (gj-user-solver-) S 29696 29697 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 65621535 2629632 269 1283457024 134512640 135304128 4294601120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29697/statm: 642 269 229 194 0 29 0
[pid=29698] ppid=29697 vsize=410752 CPUtime=1.5
/proc/29698/stat : 29698 (java) S 29697 29697 19908 34817 19908 4202496 27358 0 1 0 137 13 0 0 25 0 9 0 65621535 420610048 26603 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 102688 26603 2900 10 0 96836 0
[pid=29698/tid=29699] ppid=29697 vsize=410752 CPUtime=0.79
/proc/29698/task/29699/stat : 29699 (java) S 29697 29697 19908 34817 19908 4202560 6680 0 1 0 76 3 0 0 25 0 9 0 65621536 420610048 26603 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29701] ppid=29697 vsize=410752 CPUtime=0.66
/proc/29698/task/29701/stat : 29701 (java) R 29697 29697 19908 34817 19908 4202560 19290 0 0 0 57 9 0 0 19 0 9 0 65621536 420610048 26603 1283457024 134512640 134550932 4288049856 18446744073709551615 4151922088 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29698/tid=29702] ppid=29697 vsize=410752 CPUtime=0
/proc/29698/task/29702/stat : 29702 (java) S 29697 29697 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 65621537 420610048 26603 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29703] ppid=29697 vsize=410752 CPUtime=0
/proc/29698/task/29703/stat : 29703 (java) S 29697 29697 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 65621537 420610048 26603 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29704] ppid=29697 vsize=410752 CPUtime=0
/proc/29698/task/29704/stat : 29704 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 65621538 420610048 26603 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29705] ppid=29697 vsize=410752 CPUtime=0.03
/proc/29698/task/29705/stat : 29705 (java) S 29697 29697 19908 34817 19908 4202560 446 0 0 0 3 0 0 0 20 0 9 0 65621538 420610048 26603 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29706] ppid=29697 vsize=410752 CPUtime=0
/proc/29698/task/29706/stat : 29706 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 65621538 420610048 26603 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29707] ppid=29697 vsize=410752 CPUtime=0
/proc/29698/task/29707/stat : 29707 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 65621538 420610048 26603 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413320

[startup+3.10558 s]
/proc/loadavg: 1.02 1.00 1.00 3/43 29707
/proc/meminfo: memFree=481156/1048576 swapFree=0/0
[pid=29697] ppid=29696 vsize=2568 CPUtime=0
/proc/29697/stat : 29697 (gj-user-solver-) S 29696 29697 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 65621535 2629632 269 1283457024 134512640 135304128 4294601120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29697/statm: 642 269 229 194 0 29 0
[pid=29698] ppid=29697 vsize=410884 CPUtime=3.1
/proc/29698/stat : 29698 (java) S 29697 29697 19908 34817 19908 4202496 52458 0 1 0 288 22 0 0 25 0 9 0 65621535 420745216 51703 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 102721 51703 2900 10 0 96869 0
[pid=29698/tid=29699] ppid=29697 vsize=410884 CPUtime=1.4
/proc/29698/task/29699/stat : 29699 (java) R 29697 29697 19908 34817 19908 4202560 13785 0 1 0 133 7 0 0 25 0 9 0 65621536 420745216 51703 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29698/tid=29701] ppid=29697 vsize=410884 CPUtime=1.64
/proc/29698/task/29701/stat : 29701 (java) R 29697 29697 19908 34817 19908 4202560 37282 0 0 0 150 14 0 0 16 0 9 0 65621536 420745216 51703 1283457024 134512640 134550932 4288049856 18446744073709551615 4151841696 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29698/tid=29702] ppid=29697 vsize=410884 CPUtime=0
/proc/29698/task/29702/stat : 29702 (java) S 29697 29697 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 65621537 420745216 51703 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29703] ppid=29697 vsize=410884 CPUtime=0
/proc/29698/task/29703/stat : 29703 (java) S 29697 29697 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 65621537 420745216 51703 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29704] ppid=29697 vsize=410884 CPUtime=0
/proc/29698/task/29704/stat : 29704 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 65621538 420745216 51703 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29705] ppid=29697 vsize=410884 CPUtime=0.04
/proc/29698/task/29705/stat : 29705 (java) S 29697 29697 19908 34817 19908 4202560 449 0 0 0 4 0 0 0 15 0 9 0 65621538 420745216 51703 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29706] ppid=29697 vsize=410884 CPUtime=0
/proc/29698/task/29706/stat : 29706 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 65621538 420745216 51703 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29707] ppid=29697 vsize=410884 CPUtime=0
/proc/29698/task/29707/stat : 29707 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 65621538 420745216 51703 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413452

[startup+6.30704 s]
/proc/loadavg: 1.02 1.00 1.00 2/43 29707
/proc/meminfo: memFree=346128/1048576 swapFree=0/0
[pid=29697] ppid=29696 vsize=2568 CPUtime=0
/proc/29697/stat : 29697 (gj-user-solver-) S 29696 29697 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 65621535 2629632 269 1283457024 134512640 135304128 4294601120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29697/statm: 642 269 229 194 0 29 0
[pid=29698] ppid=29697 vsize=439792 CPUtime=6.3
/proc/29698/stat : 29698 (java) S 29697 29697 19908 34817 19908 4202496 78192 0 1 0 601 29 0 0 25 0 9 0 65621535 450347008 77431 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 109948 77431 2901 10 0 104096 0
[pid=29698/tid=29699] ppid=29697 vsize=439792 CPUtime=2.25
/proc/29698/task/29699/stat : 29699 (java) R 29697 29697 19908 34817 19908 4202560 13802 0 1 0 218 7 0 0 25 0 9 0 65621536 450347008 77431 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29698/tid=29701] ppid=29697 vsize=439792 CPUtime=3.98
/proc/29698/task/29701/stat : 29701 (java) R 29697 29697 19908 34817 19908 4202560 62981 0 0 0 377 21 0 0 16 0 9 0 65621536 450347008 77431 1283457024 134512640 134550932 4288049856 18446744073709551615 4151935588 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29698/tid=29702] ppid=29697 vsize=439792 CPUtime=0
/proc/29698/task/29702/stat : 29702 (java) S 29697 29697 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 65621537 450347008 77431 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29703] ppid=29697 vsize=439792 CPUtime=0
/proc/29698/task/29703/stat : 29703 (java) S 29697 29697 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 65621537 450347008 77431 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29704] ppid=29697 vsize=439792 CPUtime=0
/proc/29698/task/29704/stat : 29704 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 65621538 450347008 77431 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29705] ppid=29697 vsize=439792 CPUtime=0.06
/proc/29698/task/29705/stat : 29705 (java) S 29697 29697 19908 34817 19908 4202560 467 0 0 0 6 0 0 0 15 0 9 0 65621538 450347008 77431 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29706] ppid=29697 vsize=439792 CPUtime=0
/proc/29698/task/29706/stat : 29706 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 65621538 450347008 77431 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29707] ppid=29697 vsize=439792 CPUtime=0
/proc/29698/task/29707/stat : 29707 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 65621538 450347008 77431 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 442360

[startup+12.7091 s]
/proc/loadavg: 1.09 1.02 1.00 3/44 29708
/proc/meminfo: memFree=341408/1048576 swapFree=0/0
[pid=29697] ppid=29696 vsize=2568 CPUtime=0
/proc/29697/stat : 29697 (gj-user-solver-) S 29696 29697 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 65621535 2629632 269 1283457024 134512640 135304128 4294601120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29697/statm: 642 269 229 194 0 29 0
[pid=29698] ppid=29697 vsize=411548 CPUtime=12.7
/proc/29698/stat : 29698 (java) S 29697 29697 19908 34817 19908 4202496 92790 0 1 0 1232 38 0 0 25 0 10 0 65621535 421425152 70541 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 102887 70541 2917 10 0 97032 0
[pid=29698/tid=29699] ppid=29697 vsize=411548 CPUtime=5.73
/proc/29698/task/29699/stat : 29699 (java) R 29697 29697 19908 34817 19908 4202560 14052 0 1 0 566 7 0 0 25 0 10 0 65621536 421425152 70541 1283457024 134512640 134550932 4288049856 18446744073709551615 4116151401 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29698/tid=29701] ppid=29697 vsize=411548 CPUtime=6.85
/proc/29698/task/29701/stat : 29701 (java) S 29697 29697 19908 34817 19908 4202560 77261 0 0 0 655 30 0 0 15 0 10 0 65621536 421425152 70541 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29702] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29702/stat : 29702 (java) S 29697 29697 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65621537 421425152 70541 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29703] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29703/stat : 29703 (java) S 29697 29697 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65621537 421425152 70541 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29704] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29704/stat : 29704 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65621538 421425152 70541 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29705] ppid=29697 vsize=411548 CPUtime=0.11
/proc/29698/task/29705/stat : 29705 (java) S 29697 29697 19908 34817 19908 4202560 530 0 0 0 11 0 0 0 16 0 10 0 65621538 421425152 70541 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29706] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29706/stat : 29706 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65621538 421425152 70541 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29707] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29707/stat : 29707 (java) R 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 65621538 421425152 70541 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29698/tid=29708] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29708/stat : 29708 (java) S 29697 29697 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 65622472 421425152 70541 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 414116

[startup+25.5027 s]
/proc/loadavg: 1.07 1.02 1.00 2/44 29708
/proc/meminfo: memFree=430192/1048576 swapFree=0/0
[pid=29697] ppid=29696 vsize=2568 CPUtime=0
/proc/29697/stat : 29697 (gj-user-solver-) S 29696 29697 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 65621535 2629632 269 1283457024 134512640 135304128 4294601120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29697/statm: 642 269 229 194 0 29 0
[pid=29698] ppid=29697 vsize=411548 CPUtime=25.46
/proc/29698/stat : 29698 (java) S 29697 29697 19908 34817 19908 4202496 92795 0 1 0 2506 40 0 0 25 0 10 0 65621535 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 102887 48269 2917 10 0 97032 0
[pid=29698/tid=29699] ppid=29697 vsize=411548 CPUtime=18.03
/proc/29698/task/29699/stat : 29699 (java) R 29697 29697 19908 34817 19908 4202560 14052 0 1 0 1795 8 0 0 25 0 10 0 65621536 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4116098794 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29698/tid=29701] ppid=29697 vsize=411548 CPUtime=7.32
/proc/29698/task/29701/stat : 29701 (java) S 29697 29697 19908 34817 19908 4202560 77261 0 0 0 700 32 0 0 15 0 10 0 65621536 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29702] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29702/stat : 29702 (java) S 29697 29697 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65621537 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29703] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29703/stat : 29703 (java) S 29697 29697 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65621537 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29704] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29704/stat : 29704 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29705] ppid=29697 vsize=411548 CPUtime=0.11
/proc/29698/task/29705/stat : 29705 (java) S 29697 29697 19908 34817 19908 4202560 535 0 0 0 11 0 0 0 15 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29706] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29706/stat : 29706 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29707] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29707/stat : 29707 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29708] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29708/stat : 29708 (java) S 29697 29697 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 65622472 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 414116

[startup+51.1091 s]
/proc/loadavg: 1.05 1.01 1.00 3/44 29708
/proc/meminfo: memFree=430192/1048576 swapFree=0/0
[pid=29697] ppid=29696 vsize=2568 CPUtime=0
/proc/29697/stat : 29697 (gj-user-solver-) S 29696 29697 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 65621535 2629632 269 1283457024 134512640 135304128 4294601120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29697/statm: 642 269 229 194 0 29 0
[pid=29698] ppid=29697 vsize=411548 CPUtime=51.04
/proc/29698/stat : 29698 (java) S 29697 29697 19908 34817 19908 4202496 92795 0 1 0 5064 40 0 0 25 0 10 0 65621535 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 102887 48269 2917 10 0 97032 0
[pid=29698/tid=29699] ppid=29697 vsize=411548 CPUtime=43.01
/proc/29698/task/29699/stat : 29699 (java) R 29697 29697 19908 34817 19908 4202560 14052 0 1 0 4293 8 0 0 25 0 10 0 65621536 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4116096147 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29698/tid=29701] ppid=29697 vsize=411548 CPUtime=7.92
/proc/29698/task/29701/stat : 29701 (java) S 29697 29697 19908 34817 19908 4202560 77261 0 0 0 760 32 0 0 15 0 10 0 65621536 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29702] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29702/stat : 29702 (java) S 29697 29697 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65621537 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29703] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29703/stat : 29703 (java) S 29697 29697 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65621537 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29704] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29704/stat : 29704 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29705] ppid=29697 vsize=411548 CPUtime=0.11
/proc/29698/task/29705/stat : 29705 (java) S 29697 29697 19908 34817 19908 4202560 535 0 0 0 11 0 0 0 15 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29706] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29706/stat : 29706 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29707] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29707/stat : 29707 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29708] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29708/stat : 29708 (java) S 29697 29697 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 65622472 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 414116

[startup+102.312 s]
/proc/loadavg: 1.02 1.01 1.00 2/44 29708
/proc/meminfo: memFree=430192/1048576 swapFree=0/0
[pid=29697] ppid=29696 vsize=2568 CPUtime=0
/proc/29697/stat : 29697 (gj-user-solver-) S 29696 29697 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 65621535 2629632 269 1283457024 134512640 135304128 4294601120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29697/statm: 642 269 229 194 0 29 0
[pid=29698] ppid=29697 vsize=411548 CPUtime=102.19
/proc/29698/stat : 29698 (java) S 29697 29697 19908 34817 19908 4202496 92795 0 1 0 10179 40 0 0 25 0 10 0 65621535 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 102887 48269 2917 10 0 97032 0
[pid=29698/tid=29699] ppid=29697 vsize=411548 CPUtime=93.27
/proc/29698/task/29699/stat : 29699 (java) R 29697 29697 19908 34817 19908 4202560 14052 0 1 0 9319 8 0 0 25 0 10 0 65621536 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4116087915 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29698/tid=29701] ppid=29697 vsize=411548 CPUtime=8.81
/proc/29698/task/29701/stat : 29701 (java) S 29697 29697 19908 34817 19908 4202560 77261 0 0 0 849 32 0 0 15 0 10 0 65621536 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29702] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29702/stat : 29702 (java) S 29697 29697 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65621537 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29703] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29703/stat : 29703 (java) S 29697 29697 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65621537 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29704] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29704/stat : 29704 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29705] ppid=29697 vsize=411548 CPUtime=0.11
/proc/29698/task/29705/stat : 29705 (java) S 29697 29697 19908 34817 19908 4202560 535 0 0 0 11 0 0 0 15 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29706] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29706/stat : 29706 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29707] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29707/stat : 29707 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29708] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29708/stat : 29708 (java) S 29697 29697 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 65622472 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 414116

[startup+162.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 29708
/proc/meminfo: memFree=430192/1048576 swapFree=0/0
[pid=29697] ppid=29696 vsize=2568 CPUtime=0
/proc/29697/stat : 29697 (gj-user-solver-) S 29696 29697 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 65621535 2629632 269 1283457024 134512640 135304128 4294601120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29697/statm: 642 269 229 194 0 29 0
[pid=29698] ppid=29697 vsize=411548 CPUtime=162.07
/proc/29698/stat : 29698 (java) S 29697 29697 19908 34817 19908 4202496 92795 0 1 0 16167 40 0 0 25 0 10 0 65621535 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 102887 48269 2917 10 0 97032 0
[pid=29698/tid=29699] ppid=29697 vsize=411548 CPUtime=152.51
/proc/29698/task/29699/stat : 29699 (java) R 29697 29697 19908 34817 19908 4202560 14052 0 1 0 15243 8 0 0 25 0 10 0 65621536 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4116185276 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29698/tid=29701] ppid=29697 vsize=411548 CPUtime=9.44
/proc/29698/task/29701/stat : 29701 (java) S 29697 29697 19908 34817 19908 4202560 77261 0 0 0 912 32 0 0 15 0 10 0 65621536 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29702] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29702/stat : 29702 (java) S 29697 29697 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65621537 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29703] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29703/stat : 29703 (java) S 29697 29697 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65621537 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29704] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29704/stat : 29704 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29705] ppid=29697 vsize=411548 CPUtime=0.11
/proc/29698/task/29705/stat : 29705 (java) S 29697 29697 19908 34817 19908 4202560 535 0 0 0 11 0 0 0 15 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29706] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29706/stat : 29706 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29707] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29707/stat : 29707 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29708] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29708/stat : 29708 (java) S 29697 29697 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 65622472 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.07
Current children cumulated vsize (KiB) 414116

[startup+222.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/46 29711
/proc/meminfo: memFree=430168/1048576 swapFree=0/0
[pid=29697] ppid=29696 vsize=2568 CPUtime=0
/proc/29697/stat : 29697 (gj-user-solver-) S 29696 29697 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 65621535 2629632 269 1283457024 134512640 135304128 4294601120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29697/statm: 642 269 229 194 0 29 0
[pid=29698] ppid=29697 vsize=411548 CPUtime=222.01
/proc/29698/stat : 29698 (java) S 29697 29697 19908 34817 19908 4202496 92795 0 1 0 22160 41 0 0 25 0 10 0 65621535 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 102887 48269 2917 10 0 97032 0
[pid=29698/tid=29699] ppid=29697 vsize=411548 CPUtime=211.62
/proc/29698/task/29699/stat : 29699 (java) R 29697 29697 19908 34817 19908 4202560 14052 0 1 0 21154 8 0 0 25 0 10 0 65621536 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4116208242 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29698/tid=29701] ppid=29697 vsize=411548 CPUtime=10.27
/proc/29698/task/29701/stat : 29701 (java) S 29697 29697 19908 34817 19908 4202560 77261 0 0 0 995 32 0 0 15 0 10 0 65621536 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29702] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29702/stat : 29702 (java) S 29697 29697 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65621537 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29703] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29703/stat : 29703 (java) S 29697 29697 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65621537 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29704] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29704/stat : 29704 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29705] ppid=29697 vsize=411548 CPUtime=0.11
/proc/29698/task/29705/stat : 29705 (java) S 29697 29697 19908 34817 19908 4202560 535 0 0 0 11 0 0 0 15 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29706] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29706/stat : 29706 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29707] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29707/stat : 29707 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29708] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29708/stat : 29708 (java) S 29697 29697 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 65622472 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.01
Current children cumulated vsize (KiB) 414116

[startup+282.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/46 29717
/proc/meminfo: memFree=430168/1048576 swapFree=0/0
[pid=29697] ppid=29696 vsize=2568 CPUtime=0
/proc/29697/stat : 29697 (gj-user-solver-) S 29696 29697 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 65621535 2629632 269 1283457024 134512640 135304128 4294601120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29697/statm: 642 269 229 194 0 29 0
[pid=29698] ppid=29697 vsize=411548 CPUtime=281.96
/proc/29698/stat : 29698 (java) S 29697 29697 19908 34817 19908 4202496 92795 0 1 0 28152 44 0 0 25 0 10 0 65621535 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 102887 48269 2917 10 0 97032 0
[pid=29698/tid=29699] ppid=29697 vsize=411548 CPUtime=271.06
/proc/29698/task/29699/stat : 29699 (java) R 29697 29697 19908 34817 19908 4202560 14052 0 1 0 27096 10 0 0 25 0 10 0 65621536 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4116096176 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29698/tid=29701] ppid=29697 vsize=411548 CPUtime=10.77
/proc/29698/task/29701/stat : 29701 (java) S 29697 29697 19908 34817 19908 4202560 77261 0 0 0 1044 33 0 0 15 0 10 0 65621536 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29702] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29702/stat : 29702 (java) S 29697 29697 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65621537 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29703] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29703/stat : 29703 (java) S 29697 29697 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65621537 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29704] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29704/stat : 29704 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29705] ppid=29697 vsize=411548 CPUtime=0.11
/proc/29698/task/29705/stat : 29705 (java) S 29697 29697 19908 34817 19908 4202560 535 0 0 0 11 0 0 0 15 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29706] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29706/stat : 29706 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29707] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29707/stat : 29707 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29708] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29708/stat : 29708 (java) S 29697 29697 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 65622472 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 281.96
Current children cumulated vsize (KiB) 414116

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

[startup+283.205 s]
/proc/loadavg: 1.00 1.00 1.00 2/46 29717
/proc/meminfo: memFree=430168/1048576 swapFree=0/0
[pid=29697] ppid=29696 vsize=2568 CPUtime=0
/proc/29697/stat : 29697 (gj-user-solver-) S 29696 29697 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 65621535 2629632 269 1283457024 134512640 135304128 4294601120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29697/statm: 642 269 229 194 0 29 0
[pid=29698] ppid=29697 vsize=411548 CPUtime=282.86
/proc/29698/stat : 29698 (java) S 29697 29697 19908 34817 19908 4202496 92795 0 1 0 28242 44 0 0 25 0 10 0 65621535 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 102887 48269 2917 10 0 97032 0
[pid=29698/tid=29699] ppid=29697 vsize=411548 CPUtime=271.96
/proc/29698/task/29699/stat : 29699 (java) R 29697 29697 19908 34817 19908 4202560 14052 0 1 0 27186 10 0 0 25 0 10 0 65621536 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4116080884 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29698/tid=29701] ppid=29697 vsize=411548 CPUtime=10.77
/proc/29698/task/29701/stat : 29701 (java) S 29697 29697 19908 34817 19908 4202560 77261 0 0 0 1044 33 0 0 15 0 10 0 65621536 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29702] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29702/stat : 29702 (java) S 29697 29697 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65621537 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29703] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29703/stat : 29703 (java) S 29697 29697 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65621537 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29704] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29704/stat : 29704 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29705] ppid=29697 vsize=411548 CPUtime=0.11
/proc/29698/task/29705/stat : 29705 (java) S 29697 29697 19908 34817 19908 4202560 535 0 0 0 11 0 0 0 15 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29706] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29706/stat : 29706 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29707] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29707/stat : 29707 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29708] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29708/stat : 29708 (java) S 29697 29697 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 65622472 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.86
Current children cumulated vsize (KiB) 414116

[startup+284.006 s]
/proc/loadavg: 1.00 1.00 1.00 2/46 29717
/proc/meminfo: memFree=430168/1048576 swapFree=0/0
[pid=29697] ppid=29696 vsize=2568 CPUtime=0
/proc/29697/stat : 29697 (gj-user-solver-) S 29696 29697 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 65621535 2629632 269 1283457024 134512640 135304128 4294601120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29697/statm: 642 269 229 194 0 29 0
[pid=29698] ppid=29697 vsize=411548 CPUtime=283.66
/proc/29698/stat : 29698 (java) S 29697 29697 19908 34817 19908 4202496 92795 0 1 0 28322 44 0 0 25 0 10 0 65621535 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 102887 48269 2917 10 0 97032 0
[pid=29698/tid=29699] ppid=29697 vsize=411548 CPUtime=272.76
/proc/29698/task/29699/stat : 29699 (java) R 29697 29697 19908 34817 19908 4202560 14052 0 1 0 27266 10 0 0 25 0 10 0 65621536 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4116185233 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29698/tid=29701] ppid=29697 vsize=411548 CPUtime=10.77
/proc/29698/task/29701/stat : 29701 (java) S 29697 29697 19908 34817 19908 4202560 77261 0 0 0 1044 33 0 0 15 0 10 0 65621536 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29702] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29702/stat : 29702 (java) S 29697 29697 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65621537 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29703] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29703/stat : 29703 (java) S 29697 29697 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65621537 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29704] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29704/stat : 29704 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29705] ppid=29697 vsize=411548 CPUtime=0.11
/proc/29698/task/29705/stat : 29705 (java) S 29697 29697 19908 34817 19908 4202560 535 0 0 0 11 0 0 0 15 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29706] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29706/stat : 29706 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29707] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29707/stat : 29707 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29708] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29708/stat : 29708 (java) S 29697 29697 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 65622472 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.66
Current children cumulated vsize (KiB) 414116

[startup+284.806 s]
/proc/loadavg: 1.00 1.00 1.00 2/46 29717
/proc/meminfo: memFree=430168/1048576 swapFree=0/0
[pid=29697] ppid=29696 vsize=2568 CPUtime=0
/proc/29697/stat : 29697 (gj-user-solver-) S 29696 29697 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 65621535 2629632 269 1283457024 134512640 135304128 4294601120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29697/statm: 642 269 229 194 0 29 0
[pid=29698] ppid=29697 vsize=411548 CPUtime=284.46
/proc/29698/stat : 29698 (java) S 29697 29697 19908 34817 19908 4202496 92795 0 1 0 28402 44 0 0 25 0 10 0 65621535 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 102887 48269 2917 10 0 97032 0
[pid=29698/tid=29699] ppid=29697 vsize=411548 CPUtime=273.56
/proc/29698/task/29699/stat : 29699 (java) R 29697 29697 19908 34817 19908 4202560 14052 0 1 0 27346 10 0 0 25 0 10 0 65621536 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4116086262 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29698/tid=29701] ppid=29697 vsize=411548 CPUtime=10.77
/proc/29698/task/29701/stat : 29701 (java) S 29697 29697 19908 34817 19908 4202560 77261 0 0 0 1044 33 0 0 15 0 10 0 65621536 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29702] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29702/stat : 29702 (java) S 29697 29697 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65621537 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29703] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29703/stat : 29703 (java) S 29697 29697 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65621537 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29704] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29704/stat : 29704 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29705] ppid=29697 vsize=411548 CPUtime=0.11
/proc/29698/task/29705/stat : 29705 (java) S 29697 29697 19908 34817 19908 4202560 535 0 0 0 11 0 0 0 15 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29706] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29706/stat : 29706 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29707] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29707/stat : 29707 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 65621538 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29708] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29708/stat : 29708 (java) S 29697 29697 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 65622472 421425152 48269 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.46
Current children cumulated vsize (KiB) 414116

[startup+285.206 s]
/proc/loadavg: 1.00 1.00 1.00 2/46 29718
/proc/meminfo: memFree=430168/1048576 swapFree=0/0
[pid=29697] ppid=29696 vsize=2568 CPUtime=0
/proc/29697/stat : 29697 (gj-user-solver-) S 29696 29697 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 65621535 2629632 269 1283457024 134512640 135304128 4294601120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29697/statm: 642 269 229 194 0 29 0
[pid=29698] ppid=29697 vsize=411548 CPUtime=284.86
/proc/29698/stat : 29698 (java) S 29697 29697 19908 34817 19908 4202496 92796 0 1 0 28442 44 0 0 25 0 9 0 65621535 421425152 48270 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29698/statm: 102887 48270 2918 10 0 97032 0
[pid=29698/tid=29699] ppid=29697 vsize=411548 CPUtime=273.96
/proc/29698/task/29699/stat : 29699 (java) R 29697 29697 19908 34817 19908 4202560 14052 0 1 0 27386 10 0 0 25 0 9 0 65621536 421425152 48270 1283457024 134512640 134550932 4288049856 18446744073709551615 4116236472 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29698/tid=29701] ppid=29697 vsize=411548 CPUtime=10.77
/proc/29698/task/29701/stat : 29701 (java) S 29697 29697 19908 34817 19908 4202560 77261 0 0 0 1044 33 0 0 15 0 9 0 65621536 421425152 48270 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29702] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29702/stat : 29702 (java) S 29697 29697 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 65621537 421425152 48270 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29703] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29703/stat : 29703 (java) S 29697 29697 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 65621537 421425152 48270 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29704] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29704/stat : 29704 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 65621538 421425152 48270 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29705] ppid=29697 vsize=411548 CPUtime=0.11
/proc/29698/task/29705/stat : 29705 (java) S 29697 29697 19908 34817 19908 4202560 535 0 0 0 11 0 0 0 15 0 9 0 65621538 421425152 48270 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29706] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29706/stat : 29706 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 65621538 421425152 48270 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=29698/tid=29707] ppid=29697 vsize=411548 CPUtime=0
/proc/29698/task/29707/stat : 29707 (java) S 29697 29697 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 65621538 421425152 48270 1283457024 134512640 134550932 4288049856 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.86
Current children cumulated vsize (KiB) 414116

Child status: 0
Real time (s): 285.293
CPU time (s): 284.918
CPU user time (s): 284.47
CPU system time (s): 0.448028
CPU usage (%): 99.8685
Max. virtual memory (cumulated for all children) (KiB): 442360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.47
system time used= 0.448028
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93184
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= 5875
involuntary context switches= 8613

runsolver used 0 second user time and 0.008 second system time

The end