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/201108291842/gj-user-solver-1.0/rand192.cudf.dudf-random.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-random//rand192.cudf /home/misc2010/tmp/201108291842/gj-user-solver-1.0/rand192.cudf.dudf-random.result -notuptodate,-removed,-changed 

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.79 0.47 0.68 3/38 17572
/proc/meminfo: memFree=455992/1048576 swapFree=0/0
[pid=17572] ppid=17571 vsize=2560 CPUtime=0
/proc/17572/stat : 17572 (gj-user-solver-) D 17571 17572 17511 34816 17511 4202496 351 0 0 0 0 0 0 0 18 0 1 0 45948203 2621440 265 1283457024 134512640 135304128 4292190032 18446744073709551615 4294960130 0 0 4 65536 18446744071564252162 0 0 17 0 0 0 0
/proc/17572/statm: 640 265 227 194 0 27 0

[startup+0.10921 s]
/proc/loadavg: 0.79 0.47 0.68 3/38 17572
/proc/meminfo: memFree=455992/1048576 swapFree=0/0
[pid=17572] ppid=17571 vsize=2568 CPUtime=0
/proc/17572/stat : 17572 (gj-user-solver-) S 17571 17572 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 45948203 2629632 269 1283457024 134512640 135304128 4292190032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17572/statm: 642 269 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.479403 s]
/proc/loadavg: 0.79 0.47 0.68 3/38 17572
/proc/meminfo: memFree=455992/1048576 swapFree=0/0
[pid=17572] ppid=17571 vsize=2568 CPUtime=0
/proc/17572/stat : 17572 (gj-user-solver-) S 17571 17572 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 45948203 2629632 269 1283457024 134512640 135304128 4292190032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17572/statm: 642 269 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.559457 s]
/proc/loadavg: 0.79 0.47 0.68 3/38 17572
/proc/meminfo: memFree=455992/1048576 swapFree=0/0
[pid=17572] ppid=17571 vsize=2568 CPUtime=0
/proc/17572/stat : 17572 (gj-user-solver-) S 17571 17572 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 45948203 2629632 269 1283457024 134512640 135304128 4292190032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17572/statm: 642 269 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.770799 s]
/proc/loadavg: 0.79 0.47 0.68 3/38 17572
/proc/meminfo: memFree=455992/1048576 swapFree=0/0
[pid=17572] ppid=17571 vsize=2568 CPUtime=0
/proc/17572/stat : 17572 (gj-user-solver-) S 17571 17572 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 45948203 2629632 269 1283457024 134512640 135304128 4292190032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17572/statm: 642 269 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+1.50968 s]
/proc/loadavg: 0.79 0.47 0.68 3/48 17582
/proc/meminfo: memFree=380004/1048576 swapFree=0/0
[pid=17572] ppid=17571 vsize=2568 CPUtime=0
/proc/17572/stat : 17572 (gj-user-solver-) S 17571 17572 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 45948203 2629632 269 1283457024 134512640 135304128 4292190032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17572/statm: 642 269 229 194 0 29 0
[pid=17574] ppid=17572 vsize=410752 CPUtime=1.49
/proc/17574/stat : 17574 (java) S 17572 17572 17511 34816 17511 4202496 27201 0 1 0 139 10 0 0 25 0 9 0 45948204 420610048 26442 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17574/statm: 102688 26442 2901 10 0 96836 0
[pid=17574/tid=17575] ppid=17572 vsize=410752 CPUtime=0.8
/proc/17574/task/17575/stat : 17575 (java) R 17572 17572 17511 34816 17511 4202560 6757 0 1 0 76 4 0 0 25 0 9 0 45948204 420610048 26442 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17574/tid=17576] ppid=17572 vsize=410752 CPUtime=0.64
/proc/17574/task/17576/stat : 17576 (java) R 17572 17572 17511 34816 17511 4202560 19062 0 0 0 59 5 0 0 18 0 9 0 45948205 420610048 26442 1283457024 134512640 134550932 4293703712 18446744073709551615 4150553804 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=17574/tid=17577] ppid=17572 vsize=410752 CPUtime=0
/proc/17574/task/17577/stat : 17577 (java) S 17572 17572 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 45948205 420610048 26442 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17578] ppid=17572 vsize=410752 CPUtime=0
/proc/17574/task/17578/stat : 17578 (java) S 17572 17572 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 45948205 420610048 26442 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17579] ppid=17572 vsize=410752 CPUtime=0
/proc/17574/task/17579/stat : 17579 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 45948206 420610048 26442 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17580] ppid=17572 vsize=410752 CPUtime=0.03
/proc/17574/task/17580/stat : 17580 (java) S 17572 17572 17511 34816 17511 4202560 442 0 0 0 3 0 0 0 20 0 9 0 45948206 420610048 26442 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17581] ppid=17572 vsize=410752 CPUtime=0
/proc/17574/task/17581/stat : 17581 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 45948206 420610048 26442 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17582] ppid=17572 vsize=410752 CPUtime=0
/proc/17574/task/17582/stat : 17582 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 45948206 420610048 26442 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 413320

[startup+3.13021 s]
/proc/loadavg: 0.89 0.50 0.69 3/48 17582
/proc/meminfo: memFree=296924/1048576 swapFree=0/0
[pid=17572] ppid=17571 vsize=2568 CPUtime=0
/proc/17572/stat : 17572 (gj-user-solver-) S 17571 17572 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 45948203 2629632 269 1283457024 134512640 135304128 4292190032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17572/statm: 642 269 229 194 0 29 0
[pid=17574] ppid=17572 vsize=410752 CPUtime=3.11
/proc/17574/stat : 17574 (java) S 17572 17572 17511 34816 17511 4202496 50013 0 1 0 294 17 0 0 25 0 9 0 45948204 420610048 49254 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17574/statm: 102688 49254 2901 10 0 96836 0
[pid=17574/tid=17575] ppid=17572 vsize=410752 CPUtime=1.43
/proc/17574/task/17575/stat : 17575 (java) R 17572 17572 17511 34816 17511 4202560 13941 0 1 0 137 6 0 0 25 0 9 0 45948204 420610048 49254 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17574/tid=17576] ppid=17572 vsize=410752 CPUtime=1.62
/proc/17574/task/17576/stat : 17576 (java) R 17572 17572 17511 34816 17511 4202560 34685 0 0 0 153 9 0 0 16 0 9 0 45948205 420610048 49254 1283457024 134512640 134550932 4293703712 18446744073709551615 4150556600 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=17574/tid=17577] ppid=17572 vsize=410752 CPUtime=0
/proc/17574/task/17577/stat : 17577 (java) S 17572 17572 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 45948205 420610048 49254 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17578] ppid=17572 vsize=410752 CPUtime=0
/proc/17574/task/17578/stat : 17578 (java) S 17572 17572 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 45948205 420610048 49254 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17579] ppid=17572 vsize=410752 CPUtime=0
/proc/17574/task/17579/stat : 17579 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 45948206 420610048 49254 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17580] ppid=17572 vsize=410752 CPUtime=0.03
/proc/17574/task/17580/stat : 17580 (java) S 17572 17572 17511 34816 17511 4202560 447 0 0 0 3 0 0 0 16 0 9 0 45948206 420610048 49254 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17581] ppid=17572 vsize=410752 CPUtime=0
/proc/17574/task/17581/stat : 17581 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 45948206 420610048 49254 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17582] ppid=17572 vsize=410752 CPUtime=0
/proc/17574/task/17582/stat : 17582 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 45948206 420610048 49254 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 413320

[startup+6.31114 s]
/proc/loadavg: 0.89 0.50 0.69 2/48 17582
/proc/meminfo: memFree=187928/1048576 swapFree=0/0
[pid=17572] ppid=17571 vsize=2568 CPUtime=0
/proc/17572/stat : 17572 (gj-user-solver-) S 17571 17572 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 45948203 2629632 269 1283457024 134512640 135304128 4292190032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17572/statm: 642 269 229 194 0 29 0
[pid=17574] ppid=17572 vsize=439000 CPUtime=6.29
/proc/17574/stat : 17574 (java) S 17572 17572 17511 34816 17511 4202496 77989 0 1 0 601 28 0 0 25 0 9 0 45948204 449536000 77224 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17574/statm: 109750 77224 2903 10 0 103898 0
[pid=17574/tid=17575] ppid=17572 vsize=439000 CPUtime=2.33
/proc/17574/task/17575/stat : 17575 (java) R 17572 17572 17511 34816 17511 4202560 13958 0 1 0 224 9 0 0 25 0 9 0 45948204 449536000 77224 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17574/tid=17576] ppid=17572 vsize=439000 CPUtime=3.87
/proc/17574/task/17576/stat : 17576 (java) R 17572 17572 17511 34816 17511 4202560 62624 0 0 0 371 16 0 0 16 0 9 0 45948205 449536000 77224 1283457024 134512640 134550932 4293703712 18446744073709551615 4152666485 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=17574/tid=17577] ppid=17572 vsize=439000 CPUtime=0
/proc/17574/task/17577/stat : 17577 (java) S 17572 17572 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 45948205 449536000 77224 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17578] ppid=17572 vsize=439000 CPUtime=0
/proc/17574/task/17578/stat : 17578 (java) S 17572 17572 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 45948205 449536000 77224 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17579] ppid=17572 vsize=439000 CPUtime=0
/proc/17574/task/17579/stat : 17579 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 45948206 449536000 77224 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17580] ppid=17572 vsize=439000 CPUtime=0.05
/proc/17574/task/17580/stat : 17580 (java) S 17572 17572 17511 34816 17511 4202560 467 0 0 0 4 1 0 0 16 0 9 0 45948206 449536000 77224 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17581] ppid=17572 vsize=439000 CPUtime=0
/proc/17574/task/17581/stat : 17581 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 45948206 449536000 77224 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17582] ppid=17572 vsize=439000 CPUtime=0
/proc/17574/task/17582/stat : 17582 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 45948206 449536000 77224 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 441568

[startup+12.7132 s]
/proc/loadavg: 1.14 0.56 0.71 2/48 17584
/proc/meminfo: memFree=156432/1048576 swapFree=0/0
[pid=17572] ppid=17571 vsize=2568 CPUtime=0
/proc/17572/stat : 17572 (gj-user-solver-) S 17571 17572 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 45948203 2629632 269 1283457024 134512640 135304128 4292190032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17572/statm: 642 269 229 194 0 29 0
[pid=17574] ppid=17572 vsize=413404 CPUtime=12.68
/proc/17574/stat : 17574 (java) S 17572 17572 17511 34816 17511 4202496 104158 0 1 0 1231 37 0 0 25 0 9 0 45948204 423325696 71045 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17574/statm: 103351 71045 2917 10 0 97496 0
[pid=17574/tid=17575] ppid=17572 vsize=413404 CPUtime=3.25
/proc/17574/task/17575/stat : 17575 (java) R 17572 17572 17511 34816 17511 4202560 14191 0 1 0 316 9 0 0 25 0 9 0 45948204 423325696 71045 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17574/tid=17576] ppid=17572 vsize=413404 CPUtime=9.36
/proc/17574/task/17576/stat : 17576 (java) R 17572 17572 17511 34816 17511 4202560 88533 0 0 0 910 26 0 0 16 0 9 0 45948205 423325696 71045 1283457024 134512640 134550932 4293703712 18446744073709551615 4153056727 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=17574/tid=17577] ppid=17572 vsize=413404 CPUtime=0
/proc/17574/task/17577/stat : 17577 (java) S 17572 17572 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 45948205 423325696 71045 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17578] ppid=17572 vsize=413404 CPUtime=0
/proc/17574/task/17578/stat : 17578 (java) S 17572 17572 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 45948205 423325696 71045 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17579] ppid=17572 vsize=413404 CPUtime=0
/proc/17574/task/17579/stat : 17579 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 45948206 423325696 71045 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17580] ppid=17572 vsize=413404 CPUtime=0.06
/proc/17574/task/17580/stat : 17580 (java) S 17572 17572 17511 34816 17511 4202560 494 0 0 0 5 1 0 0 15 0 9 0 45948206 423325696 71045 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17581] ppid=17572 vsize=413404 CPUtime=0
/proc/17574/task/17581/stat : 17581 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 45948206 423325696 71045 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17582] ppid=17572 vsize=413404 CPUtime=0
/proc/17574/task/17582/stat : 17582 (java) R 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 45948206 423325696 71045 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 415972

[startup+25.5063 s]
/proc/loadavg: 1.12 0.58 0.71 2/49 17589
/proc/meminfo: memFree=181844/1048576 swapFree=0/0
[pid=17572] ppid=17571 vsize=2568 CPUtime=0
/proc/17572/stat : 17572 (gj-user-solver-) S 17571 17572 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 45948203 2629632 269 1283457024 134512640 135304128 4292190032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17572/statm: 642 269 229 194 0 29 0
[pid=17574] ppid=17572 vsize=413728 CPUtime=25.47
/proc/17574/stat : 17574 (java) S 17572 17572 17511 34816 17511 4202496 104239 0 1 0 2508 39 0 0 25 0 10 0 45948204 423657472 71122 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17574/statm: 103432 71122 2920 10 0 97577 0
[pid=17574/tid=17575] ppid=17572 vsize=413728 CPUtime=15.76
/proc/17574/task/17575/stat : 17575 (java) R 17572 17572 17511 34816 17511 4202560 14210 0 1 0 1566 10 0 0 25 0 10 0 45948204 423657472 71122 1283457024 134512640 134550932 4293703712 18446744073709551615 4114685847 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17574/tid=17576] ppid=17572 vsize=413728 CPUtime=9.56
/proc/17574/task/17576/stat : 17576 (java) S 17572 17572 17511 34816 17511 4202560 88535 0 0 0 930 26 0 0 15 0 10 0 45948205 423657472 71122 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17577] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17577/stat : 17577 (java) S 17572 17572 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 45948205 423657472 71122 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17578] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17578/stat : 17578 (java) S 17572 17572 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 45948205 423657472 71122 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17579] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17579/stat : 17579 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 45948206 423657472 71122 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17580] ppid=17572 vsize=413728 CPUtime=0.14
/proc/17574/task/17580/stat : 17580 (java) S 17572 17572 17511 34816 17511 4202560 550 0 0 0 12 2 0 0 16 0 10 0 45948206 423657472 71122 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17581] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17581/stat : 17581 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 45948206 423657472 71122 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17582] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17582/stat : 17582 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 45948206 423657472 71122 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17585] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17585/stat : 17585 (java) S 17572 17572 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 45949496 423657472 71122 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 416296

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

[startup+25.8063 s]
/proc/loadavg: 1.12 0.58 0.71 2/49 17589
/proc/meminfo: memFree=181844/1048576 swapFree=0/0
[pid=17572] ppid=17571 vsize=2568 CPUtime=0
/proc/17572/stat : 17572 (gj-user-solver-) S 17571 17572 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 45948203 2629632 269 1283457024 134512640 135304128 4292190032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17572/statm: 642 269 229 194 0 29 0
[pid=17574] ppid=17572 vsize=413728 CPUtime=25.77
/proc/17574/stat : 17574 (java) S 17572 17572 17511 34816 17511 4202496 104239 0 1 0 2538 39 0 0 25 0 10 0 45948204 423657472 71122 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17574/statm: 103432 71122 2920 10 0 97577 0
[pid=17574/tid=17575] ppid=17572 vsize=413728 CPUtime=16.06
/proc/17574/task/17575/stat : 17575 (java) R 17572 17572 17511 34816 17511 4202560 14210 0 1 0 1596 10 0 0 25 0 10 0 45948204 423657472 71122 1283457024 134512640 134550932 4293703712 18446744073709551615 4115280901 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17574/tid=17576] ppid=17572 vsize=413728 CPUtime=9.56
/proc/17574/task/17576/stat : 17576 (java) S 17572 17572 17511 34816 17511 4202560 88535 0 0 0 930 26 0 0 15 0 10 0 45948205 423657472 71122 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17577] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17577/stat : 17577 (java) S 17572 17572 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 45948205 423657472 71122 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17578] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17578/stat : 17578 (java) S 17572 17572 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 45948205 423657472 71122 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17579] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17579/stat : 17579 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 45948206 423657472 71122 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17580] ppid=17572 vsize=413728 CPUtime=0.14
/proc/17574/task/17580/stat : 17580 (java) S 17572 17572 17511 34816 17511 4202560 550 0 0 0 12 2 0 0 16 0 10 0 45948206 423657472 71122 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17581] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17581/stat : 17581 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 45948206 423657472 71122 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17582] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17582/stat : 17582 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 45948206 423657472 71122 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17585] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17585/stat : 17585 (java) S 17572 17572 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 45949496 423657472 71122 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.77
Current children cumulated vsize (KiB) 416296

[startup+29.0072 s]
/proc/loadavg: 1.11 0.58 0.71 2/46 17592
/proc/meminfo: memFree=183528/1048576 swapFree=0/0
[pid=17572] ppid=17571 vsize=2568 CPUtime=0
/proc/17572/stat : 17572 (gj-user-solver-) S 17571 17572 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 45948203 2629632 269 1283457024 134512640 135304128 4292190032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17572/statm: 642 269 229 194 0 29 0
[pid=17574] ppid=17572 vsize=413728 CPUtime=28.94
/proc/17574/stat : 17574 (java) S 17572 17572 17511 34816 17511 4202496 104240 0 1 0 2854 40 0 0 25 0 10 0 45948204 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17574/statm: 103432 71123 2920 10 0 97577 0
[pid=17574/tid=17575] ppid=17572 vsize=413728 CPUtime=19.19
/proc/17574/task/17575/stat : 17575 (java) R 17572 17572 17511 34816 17511 4202560 14210 0 1 0 1908 11 0 0 25 0 10 0 45948204 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4115276169 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17574/tid=17576] ppid=17572 vsize=413728 CPUtime=9.6
/proc/17574/task/17576/stat : 17576 (java) S 17572 17572 17511 34816 17511 4202560 88535 0 0 0 934 26 0 0 15 0 10 0 45948205 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17577] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17577/stat : 17577 (java) S 17572 17572 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 45948205 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17578] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17578/stat : 17578 (java) S 17572 17572 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 45948205 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17579] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17579/stat : 17579 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 45948206 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17580] ppid=17572 vsize=413728 CPUtime=0.14
/proc/17574/task/17580/stat : 17580 (java) S 17572 17572 17511 34816 17511 4202560 551 0 0 0 12 2 0 0 15 0 10 0 45948206 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17581] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17581/stat : 17581 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 45948206 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17582] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17582/stat : 17582 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 45948206 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17585] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17585/stat : 17585 (java) S 17572 17572 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 45949496 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.94
Current children cumulated vsize (KiB) 416296

[startup+32.208 s]
/proc/loadavg: 1.10 0.59 0.71 2/46 17593
/proc/meminfo: memFree=183660/1048576 swapFree=0/0
[pid=17572] ppid=17571 vsize=2568 CPUtime=0
/proc/17572/stat : 17572 (gj-user-solver-) S 17571 17572 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 45948203 2629632 269 1283457024 134512640 135304128 4292190032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17572/statm: 642 269 229 194 0 29 0
[pid=17574] ppid=17572 vsize=413728 CPUtime=32.14
/proc/17574/stat : 17574 (java) S 17572 17572 17511 34816 17511 4202496 104240 0 1 0 3174 40 0 0 25 0 10 0 45948204 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17574/statm: 103432 71123 2920 10 0 97577 0
[pid=17574/tid=17575] ppid=17572 vsize=413728 CPUtime=22.37
/proc/17574/task/17575/stat : 17575 (java) R 17572 17572 17511 34816 17511 4202560 14210 0 1 0 2226 11 0 0 25 0 10 0 45948204 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4115276169 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17574/tid=17576] ppid=17572 vsize=413728 CPUtime=9.62
/proc/17574/task/17576/stat : 17576 (java) S 17572 17572 17511 34816 17511 4202560 88535 0 0 0 936 26 0 0 15 0 10 0 45948205 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17577] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17577/stat : 17577 (java) S 17572 17572 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 45948205 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17578] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17578/stat : 17578 (java) S 17572 17572 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 45948205 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17579] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17579/stat : 17579 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 45948206 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17580] ppid=17572 vsize=413728 CPUtime=0.14
/proc/17574/task/17580/stat : 17580 (java) S 17572 17572 17511 34816 17511 4202560 551 0 0 0 12 2 0 0 15 0 10 0 45948206 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17581] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17581/stat : 17581 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 45948206 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17582] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17582/stat : 17582 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 45948206 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17585] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17585/stat : 17585 (java) S 17572 17572 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 45949496 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.14
Current children cumulated vsize (KiB) 416296

[startup+33.8084 s]
/proc/loadavg: 1.10 0.59 0.71 2/46 17593
/proc/meminfo: memFree=183660/1048576 swapFree=0/0
[pid=17572] ppid=17571 vsize=2568 CPUtime=0
/proc/17572/stat : 17572 (gj-user-solver-) S 17571 17572 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 45948203 2629632 269 1283457024 134512640 135304128 4292190032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17572/statm: 642 269 229 194 0 29 0
[pid=17574] ppid=17572 vsize=413728 CPUtime=33.75
/proc/17574/stat : 17574 (java) S 17572 17572 17511 34816 17511 4202496 104240 0 1 0 3335 40 0 0 25 0 10 0 45948204 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17574/statm: 103432 71123 2920 10 0 97577 0
[pid=17574/tid=17575] ppid=17572 vsize=413728 CPUtime=23.97
/proc/17574/task/17575/stat : 17575 (java) R 17572 17572 17511 34816 17511 4202560 14210 0 1 0 2386 11 0 0 25 0 10 0 45948204 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4115276156 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17574/tid=17576] ppid=17572 vsize=413728 CPUtime=9.62
/proc/17574/task/17576/stat : 17576 (java) S 17572 17572 17511 34816 17511 4202560 88535 0 0 0 936 26 0 0 15 0 10 0 45948205 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17577] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17577/stat : 17577 (java) S 17572 17572 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 45948205 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17578] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17578/stat : 17578 (java) S 17572 17572 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 45948205 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17579] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17579/stat : 17579 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 45948206 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17580] ppid=17572 vsize=413728 CPUtime=0.14
/proc/17574/task/17580/stat : 17580 (java) S 17572 17572 17511 34816 17511 4202560 551 0 0 0 12 2 0 0 15 0 10 0 45948206 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17581] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17581/stat : 17581 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 45948206 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17582] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17582/stat : 17582 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 45948206 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17585] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17585/stat : 17585 (java) S 17572 17572 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 45949496 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 33.75
Current children cumulated vsize (KiB) 416296

[startup+34.6086 s]
/proc/loadavg: 1.10 0.59 0.71 2/46 17593
/proc/meminfo: memFree=183660/1048576 swapFree=0/0
[pid=17572] ppid=17571 vsize=2568 CPUtime=0
/proc/17572/stat : 17572 (gj-user-solver-) S 17571 17572 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 45948203 2629632 269 1283457024 134512640 135304128 4292190032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17572/statm: 642 269 229 194 0 29 0
[pid=17574] ppid=17572 vsize=413728 CPUtime=34.54
/proc/17574/stat : 17574 (java) S 17572 17572 17511 34816 17511 4202496 104240 0 1 0 3414 40 0 0 25 0 10 0 45948204 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17574/statm: 103432 71123 2920 10 0 97577 0
[pid=17574/tid=17575] ppid=17572 vsize=413728 CPUtime=24.75
/proc/17574/task/17575/stat : 17575 (java) R 17572 17572 17511 34816 17511 4202560 14210 0 1 0 2464 11 0 0 25 0 10 0 45948204 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4115276169 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17574/tid=17576] ppid=17572 vsize=413728 CPUtime=9.64
/proc/17574/task/17576/stat : 17576 (java) S 17572 17572 17511 34816 17511 4202560 88535 0 0 0 938 26 0 0 16 0 10 0 45948205 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17577] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17577/stat : 17577 (java) S 17572 17572 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 45948205 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17578] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17578/stat : 17578 (java) S 17572 17572 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 45948205 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17579] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17579/stat : 17579 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 45948206 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17580] ppid=17572 vsize=413728 CPUtime=0.14
/proc/17574/task/17580/stat : 17580 (java) S 17572 17572 17511 34816 17511 4202560 551 0 0 0 12 2 0 0 15 0 10 0 45948206 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17581] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17581/stat : 17581 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 45948206 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17582] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17582/stat : 17582 (java) S 17572 17572 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 45948206 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=17574/tid=17585] ppid=17572 vsize=413728 CPUtime=0
/proc/17574/task/17585/stat : 17585 (java) S 17572 17572 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 45949496 423657472 71123 1283457024 134512640 134550932 4293703712 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 34.54
Current children cumulated vsize (KiB) 416296

[startup+35.0116 s]
/proc/loadavg: 1.10 0.59 0.71 2/46 17593
/proc/meminfo: memFree=183660/1048576 swapFree=0/0
[pid=17572] ppid=17571 vsize=2568 CPUtime=0
/proc/17572/stat : 17572 (gj-user-solver-) S 17571 17572 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 45948203 2629632 269 1283457024 134512640 135304128 4292190032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17572/statm: 642 269 229 194 0 29 0
[pid=17574] ppid=17572 vsize=0 CPUtime=34.92
/proc/17574/stat : 17574 (java) Z 17572 17572 17511 34816 17511 4202508 104253 0 1 0 3450 42 0 0 18 0 2 0 45948204 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17574/statm: 0 0 0 0 0 0 0
[pid=17574/tid=17581] ppid=17572 vsize=0 CPUtime=0.02
/proc/17574/task/17581/stat : 17581 (java) R 17572 17572 17511 34816 17511 4203588 1 0 0 0 0 2 0 0 18 0 2 0 45948206 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 34.92
Current children cumulated vsize (KiB) 2568

Child status: 0
Real time (s): 35.0904
CPU time (s): 34.9382
CPU user time (s): 34.5062
CPU system time (s): 0.432027
CPU usage (%): 99.5663
Max. virtual memory (cumulated for all children) (KiB): 441844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.5062
system time used= 0.432027
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104635
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= 1494
involuntary context switches= 1920

runsolver used 0 second user time and 0 second system time

The end