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/201109011757/gj-user-solver-1.0/7c834c0e-51b8-11e0-a49e-00163e1e087d.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//7c834c0e-51b8-11e0-a49e-00163e1e087d.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/7c834c0e-51b8-11e0-a49e-00163e1e087d.cudf.dudf-real.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-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: 1.24 1.15 1.05 4/35 32176
/proc/meminfo: memFree=504348/1048576 swapFree=0/0
[pid=32175] ppid=32174 vsize=2568 CPUtime=0
/proc/32175/stat : 32175 (gj-user-solver-) S 32174 32175 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73034484 2629632 268 1283457024 134512640 135304128 4291386896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32175/statm: 642 268 229 194 0 29 0
[pid=32176] ppid=32175 vsize=11040 CPUtime=0.01
/proc/32176/stat : 32176 (java) R 32175 32175 22717 34817 22717 4202496 640 0 0 0 0 1 0 0 25 0 1 0 73034484 11304960 377 1283457024 134512640 134550932 4294504560 18446744073709551615 4160370402 0 0 0 0 0 0 0 17 0 0 0 0
/proc/32176/statm: 2760 377 176 10 0 1102 0

[startup+0.205265 s]
/proc/loadavg: 1.24 1.15 1.05 4/35 32176
/proc/meminfo: memFree=504348/1048576 swapFree=0/0
[pid=32175] ppid=32174 vsize=2568 CPUtime=0
/proc/32175/stat : 32175 (gj-user-solver-) S 32174 32175 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73034484 2629632 268 1283457024 134512640 135304128 4291386896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32175/statm: 642 268 229 194 0 29 0
[pid=32176] ppid=32175 vsize=409920 CPUtime=0.2
/proc/32176/stat : 32176 (java) S 32175 32175 22717 34817 22717 4202496 4052 0 1 0 16 4 0 0 25 0 9 0 73034484 419758080 3481 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32176/statm: 102480 3481 1906 10 0 96628 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412488

[startup+0.3053 s]
/proc/loadavg: 1.24 1.15 1.05 4/35 32176
/proc/meminfo: memFree=504348/1048576 swapFree=0/0
[pid=32175] ppid=32174 vsize=2568 CPUtime=0
/proc/32175/stat : 32175 (gj-user-solver-) S 32174 32175 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73034484 2629632 268 1283457024 134512640 135304128 4291386896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32175/statm: 642 268 229 194 0 29 0
[pid=32176] ppid=32175 vsize=410340 CPUtime=0.3
/proc/32176/stat : 32176 (java) S 32175 32175 22717 34817 22717 4202496 4413 0 1 0 25 5 0 0 25 0 9 0 73034484 420188160 3841 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32176/statm: 102585 3841 1945 10 0 96733 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412908

[startup+0.405331 s]
/proc/loadavg: 1.24 1.15 1.05 4/35 32176
/proc/meminfo: memFree=504348/1048576 swapFree=0/0
[pid=32175] ppid=32174 vsize=2568 CPUtime=0
/proc/32175/stat : 32175 (gj-user-solver-) S 32174 32175 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73034484 2629632 268 1283457024 134512640 135304128 4291386896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32175/statm: 642 268 229 194 0 29 0
[pid=32176] ppid=32175 vsize=410476 CPUtime=0.4
/proc/32176/stat : 32176 (java) S 32175 32175 22717 34817 22717 4202496 6176 0 1 0 34 6 0 0 25 0 9 0 73034484 420327424 5603 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32176/statm: 102619 5603 1957 10 0 96767 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 413044

[startup+0.705416 s]
/proc/loadavg: 1.24 1.15 1.05 4/35 32176
/proc/meminfo: memFree=504348/1048576 swapFree=0/0
[pid=32175] ppid=32174 vsize=2568 CPUtime=0
/proc/32175/stat : 32175 (gj-user-solver-) S 32174 32175 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73034484 2629632 268 1283457024 134512640 135304128 4291386896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32175/statm: 642 268 229 194 0 29 0
[pid=32176] ppid=32175 vsize=410616 CPUtime=0.7
/proc/32176/stat : 32176 (java) S 32175 32175 22717 34817 22717 4202496 12058 0 1 0 64 6 0 0 25 0 9 0 73034484 420470784 11299 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32176/statm: 102654 11299 2901 10 0 96802 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413184

[startup+1.50568 s]
/proc/loadavg: 1.22 1.15 1.05 2/44 32185
/proc/meminfo: memFree=445304/1048576 swapFree=0/0
[pid=32175] ppid=32174 vsize=2568 CPUtime=0
/proc/32175/stat : 32175 (gj-user-solver-) S 32174 32175 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73034484 2629632 268 1283457024 134512640 135304128 4291386896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32175/statm: 642 268 229 194 0 29 0
[pid=32176] ppid=32175 vsize=410748 CPUtime=1.51
/proc/32176/stat : 32176 (java) S 32175 32175 22717 34817 22717 4202496 25878 0 1 0 142 9 0 0 25 0 9 0 73034484 420605952 25119 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32176/statm: 102687 25119 2901 10 0 96835 0
[pid=32176/tid=32178] ppid=32175 vsize=410748 CPUtime=0.85
/proc/32176/task/32178/stat : 32178 (java) R 32175 32175 22717 34817 22717 4202560 6824 0 1 0 79 6 0 0 25 0 9 0 73034485 420605952 25119 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32176/tid=32179] ppid=32175 vsize=410748 CPUtime=0.62
/proc/32176/task/32179/stat : 32179 (java) R 32175 32175 22717 34817 22717 4202560 17668 0 0 0 60 2 0 0 18 0 9 0 73034485 420605952 25119 1283457024 134512640 134550932 4294504560 18446744073709551615 4151627957 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=32176/tid=32180] ppid=32175 vsize=410748 CPUtime=0
/proc/32176/task/32180/stat : 32180 (java) S 32175 32175 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73034485 420605952 25119 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32181] ppid=32175 vsize=410748 CPUtime=0
/proc/32176/task/32181/stat : 32181 (java) S 32175 32175 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73034485 420605952 25119 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32182] ppid=32175 vsize=410748 CPUtime=0
/proc/32176/task/32182/stat : 32182 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73034487 420605952 25119 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32183] ppid=32175 vsize=410748 CPUtime=0.02
/proc/32176/task/32183/stat : 32183 (java) S 32175 32175 22717 34817 22717 4202560 446 0 0 0 2 0 0 0 17 0 9 0 73034487 420605952 25119 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32184] ppid=32175 vsize=410748 CPUtime=0
/proc/32176/task/32184/stat : 32184 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73034487 420605952 25119 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32185] ppid=32175 vsize=410748 CPUtime=0
/proc/32176/task/32185/stat : 32185 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 73034487 420605952 25119 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 413316

[startup+3.1261 s]
/proc/loadavg: 1.22 1.15 1.05 2/44 32185
/proc/meminfo: memFree=370904/1048576 swapFree=0/0
[pid=32175] ppid=32174 vsize=2568 CPUtime=0
/proc/32175/stat : 32175 (gj-user-solver-) S 32174 32175 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73034484 2629632 268 1283457024 134512640 135304128 4291386896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32175/statm: 642 268 229 194 0 29 0
[pid=32176] ppid=32175 vsize=410880 CPUtime=3.12
/proc/32176/stat : 32176 (java) S 32175 32175 22717 34817 22717 4202496 49230 0 1 0 294 18 0 0 25 0 9 0 73034484 420741120 48465 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32176/statm: 102720 48465 2903 10 0 96868 0
[pid=32176/tid=32178] ppid=32175 vsize=410880 CPUtime=1.46
/proc/32176/task/32178/stat : 32178 (java) R 32175 32175 22717 34817 22717 4202560 14299 0 1 0 138 8 0 0 25 0 9 0 73034485 420741120 48465 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32176/tid=32179] ppid=32175 vsize=410880 CPUtime=1.59
/proc/32176/task/32179/stat : 32179 (java) R 32175 32175 22717 34817 22717 4202560 33523 0 0 0 150 9 0 0 15 0 9 0 73034485 420741120 48465 1283457024 134512640 134550932 4294504560 18446744073709551615 4151627984 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=32176/tid=32180] ppid=32175 vsize=410880 CPUtime=0
/proc/32176/task/32180/stat : 32180 (java) S 32175 32175 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73034485 420741120 48465 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32181] ppid=32175 vsize=410880 CPUtime=0
/proc/32176/task/32181/stat : 32181 (java) S 32175 32175 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73034485 420741120 48465 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32182] ppid=32175 vsize=410880 CPUtime=0
/proc/32176/task/32182/stat : 32182 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73034487 420741120 48465 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32183] ppid=32175 vsize=410880 CPUtime=0.05
/proc/32176/task/32183/stat : 32183 (java) S 32175 32175 22717 34817 22717 4202560 468 0 0 0 5 0 0 0 15 0 9 0 73034487 420741120 48465 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32184] ppid=32175 vsize=410880 CPUtime=0
/proc/32176/task/32184/stat : 32184 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73034487 420741120 48465 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32185] ppid=32175 vsize=410880 CPUtime=0
/proc/32176/task/32185/stat : 32185 (java) R 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 73034487 420741120 48465 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 413448

[startup+6.30682 s]
/proc/loadavg: 1.22 1.15 1.05 2/45 32186
/proc/meminfo: memFree=274556/1048576 swapFree=0/0
[pid=32175] ppid=32174 vsize=2568 CPUtime=0
/proc/32175/stat : 32175 (gj-user-solver-) S 32174 32175 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73034484 2629632 268 1283457024 134512640 135304128 4291386896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32175/statm: 642 268 229 194 0 29 0
[pid=32176] ppid=32175 vsize=411216 CPUtime=6.29
/proc/32176/stat : 32176 (java) S 32175 32175 22717 34817 22717 4202496 61186 0 1 0 605 24 0 0 25 0 10 0 73034484 421085184 60342 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32176/statm: 102804 60342 2927 10 0 96949 0
[pid=32176/tid=32178] ppid=32175 vsize=411216 CPUtime=4.25
/proc/32176/task/32178/stat : 32178 (java) R 32175 32175 22717 34817 22717 4202560 14552 0 1 0 416 9 0 0 25 0 10 0 73034485 421085184 60342 1283457024 134512640 134550932 4294504560 18446744073709551615 4115829026 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32176/tid=32179] ppid=32175 vsize=411216 CPUtime=1.89
/proc/32176/task/32179/stat : 32179 (java) S 32175 32175 22717 34817 22717 4202560 45143 0 0 0 175 14 0 0 16 0 10 0 73034485 421085184 60342 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32180] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32180/stat : 32180 (java) S 32175 32175 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73034485 421085184 60342 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32181] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32181/stat : 32181 (java) S 32175 32175 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73034485 421085184 60342 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32182] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32182/stat : 32182 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73034487 421085184 60342 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32183] ppid=32175 vsize=411216 CPUtime=0.13
/proc/32176/task/32183/stat : 32183 (java) S 32175 32175 22717 34817 22717 4202560 546 0 0 0 13 0 0 0 15 0 10 0 73034487 421085184 60342 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32184] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32184/stat : 32184 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73034487 421085184 60342 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32185] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32185/stat : 32185 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73034487 421085184 60342 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32186] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32186/stat : 32186 (java) S 32175 32175 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73034859 421085184 60342 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 413784

[startup+12.7083 s]
/proc/loadavg: 1.19 1.14 1.05 2/45 32186
/proc/meminfo: memFree=274928/1048576 swapFree=0/0
[pid=32175] ppid=32174 vsize=2568 CPUtime=0
/proc/32175/stat : 32175 (gj-user-solver-) S 32174 32175 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73034484 2629632 268 1283457024 134512640 135304128 4291386896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32175/statm: 642 268 229 194 0 29 0
[pid=32176] ppid=32175 vsize=411216 CPUtime=12.69
/proc/32176/stat : 32176 (java) S 32175 32175 22717 34817 22717 4202496 61204 0 1 0 1245 24 0 0 25 0 10 0 73034484 421085184 60094 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32176/statm: 102804 60094 2921 10 0 96949 0
[pid=32176/tid=32178] ppid=32175 vsize=411216 CPUtime=10.19
/proc/32176/task/32178/stat : 32178 (java) R 32175 32175 22717 34817 22717 4202560 14553 0 1 0 1010 9 0 0 25 0 10 0 73034485 421085184 60094 1283457024 134512640 134550932 4294504560 18446744073709551615 4115523003 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32176/tid=32179] ppid=32175 vsize=411216 CPUtime=2.35
/proc/32176/task/32179/stat : 32179 (java) S 32175 32175 22717 34817 22717 4202560 45155 0 0 0 221 14 0 0 16 0 10 0 73034485 421085184 60094 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32180] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32180/stat : 32180 (java) S 32175 32175 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73034485 421085184 60094 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32181] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32181/stat : 32181 (java) S 32175 32175 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73034485 421085184 60094 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32182] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32182/stat : 32182 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73034487 421085184 60094 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32183] ppid=32175 vsize=411216 CPUtime=0.13
/proc/32176/task/32183/stat : 32183 (java) S 32175 32175 22717 34817 22717 4202560 551 0 0 0 13 0 0 0 15 0 10 0 73034487 421085184 60094 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32184] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32184/stat : 32184 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73034487 421085184 60094 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32185] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32185/stat : 32185 (java) R 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73034487 421085184 60094 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32176/tid=32186] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32186/stat : 32186 (java) S 32175 32175 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73034859 421085184 60094 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 413784

[startup+25.5111 s]
/proc/loadavg: 1.16 1.14 1.05 2/45 32186
/proc/meminfo: memFree=274928/1048576 swapFree=0/0
[pid=32175] ppid=32174 vsize=2568 CPUtime=0
/proc/32175/stat : 32175 (gj-user-solver-) S 32174 32175 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73034484 2629632 268 1283457024 134512640 135304128 4291386896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32175/statm: 642 268 229 194 0 29 0
[pid=32176] ppid=32175 vsize=411216 CPUtime=25.48
/proc/32176/stat : 32176 (java) S 32175 32175 22717 34817 22717 4202496 61208 0 1 0 2523 25 0 0 25 0 10 0 73034484 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32176/statm: 102804 60098 2921 10 0 96949 0
[pid=32176/tid=32178] ppid=32175 vsize=411216 CPUtime=22.82
/proc/32176/task/32178/stat : 32178 (java) R 32175 32175 22717 34817 22717 4202560 14553 0 1 0 2272 10 0 0 25 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4115945349 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32176/tid=32179] ppid=32175 vsize=411216 CPUtime=2.5
/proc/32176/task/32179/stat : 32179 (java) S 32175 32175 22717 34817 22717 4202560 45155 0 0 0 236 14 0 0 16 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32180] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32180/stat : 32180 (java) S 32175 32175 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32181] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32181/stat : 32181 (java) S 32175 32175 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32182] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32182/stat : 32182 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32183] ppid=32175 vsize=411216 CPUtime=0.14
/proc/32176/task/32183/stat : 32183 (java) S 32175 32175 22717 34817 22717 4202560 555 0 0 0 14 0 0 0 15 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32184] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32184/stat : 32184 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32185] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32185/stat : 32185 (java) R 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32176/tid=32186] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32186/stat : 32186 (java) S 32175 32175 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73034859 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 413784

[startup+51.1065 s]
/proc/loadavg: 1.10 1.13 1.04 2/44 32186
/proc/meminfo: memFree=274936/1048576 swapFree=0/0
[pid=32175] ppid=32174 vsize=2568 CPUtime=0
/proc/32175/stat : 32175 (gj-user-solver-) S 32174 32175 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73034484 2629632 268 1283457024 134512640 135304128 4291386896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32175/statm: 642 268 229 194 0 29 0
[pid=32176] ppid=32175 vsize=411216 CPUtime=51.06
/proc/32176/stat : 32176 (java) S 32175 32175 22717 34817 22717 4202496 61208 0 1 0 5079 27 0 0 25 0 10 0 73034484 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32176/statm: 102804 60098 2921 10 0 96949 0
[pid=32176/tid=32178] ppid=32175 vsize=411216 CPUtime=48.24
/proc/32176/task/32178/stat : 32178 (java) R 32175 32175 22717 34817 22717 4202560 14553 0 1 0 4814 10 0 0 25 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4115945349 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32176/tid=32179] ppid=32175 vsize=411216 CPUtime=2.65
/proc/32176/task/32179/stat : 32179 (java) S 32175 32175 22717 34817 22717 4202560 45155 0 0 0 250 15 0 0 16 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32180] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32180/stat : 32180 (java) S 32175 32175 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32181] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32181/stat : 32181 (java) S 32175 32175 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32182] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32182/stat : 32182 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32183] ppid=32175 vsize=411216 CPUtime=0.14
/proc/32176/task/32183/stat : 32183 (java) S 32175 32175 22717 34817 22717 4202560 555 0 0 0 14 0 0 0 15 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32184] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32184/stat : 32184 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32185] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32185/stat : 32185 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32186] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32186/stat : 32186 (java) S 32175 32175 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73034859 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 413784

[startup+102.309 s]
/proc/loadavg: 1.04 1.10 1.04 2/44 32186
/proc/meminfo: memFree=274936/1048576 swapFree=0/0
[pid=32175] ppid=32174 vsize=2568 CPUtime=0
/proc/32175/stat : 32175 (gj-user-solver-) S 32174 32175 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73034484 2629632 268 1283457024 134512640 135304128 4291386896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32175/statm: 642 268 229 194 0 29 0
[pid=32176] ppid=32175 vsize=411216 CPUtime=102.21
/proc/32176/stat : 32176 (java) S 32175 32175 22717 34817 22717 4202496 61208 0 1 0 10194 27 0 0 25 0 10 0 73034484 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32176/statm: 102804 60098 2921 10 0 96949 0
[pid=32176/tid=32178] ppid=32175 vsize=411216 CPUtime=99.16
/proc/32176/task/32178/stat : 32178 (java) R 32175 32175 22717 34817 22717 4202560 14553 0 1 0 9906 10 0 0 25 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4115945349 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32176/tid=32179] ppid=32175 vsize=411216 CPUtime=2.88
/proc/32176/task/32179/stat : 32179 (java) S 32175 32175 22717 34817 22717 4202560 45155 0 0 0 273 15 0 0 15 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32180] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32180/stat : 32180 (java) S 32175 32175 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32181] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32181/stat : 32181 (java) S 32175 32175 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32182] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32182/stat : 32182 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32183] ppid=32175 vsize=411216 CPUtime=0.14
/proc/32176/task/32183/stat : 32183 (java) S 32175 32175 22717 34817 22717 4202560 555 0 0 0 14 0 0 0 15 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32184] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32184/stat : 32184 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32185] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32185/stat : 32185 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32186] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32186/stat : 32186 (java) S 32175 32175 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73034859 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 413784

[startup+162.308 s]
/proc/loadavg: 1.01 1.08 1.03 2/44 32186
/proc/meminfo: memFree=274936/1048576 swapFree=0/0
[pid=32175] ppid=32174 vsize=2568 CPUtime=0
/proc/32175/stat : 32175 (gj-user-solver-) S 32174 32175 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73034484 2629632 268 1283457024 134512640 135304128 4291386896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32175/statm: 642 268 229 194 0 29 0
[pid=32176] ppid=32175 vsize=411216 CPUtime=162.08
/proc/32176/stat : 32176 (java) S 32175 32175 22717 34817 22717 4202496 61208 0 1 0 16181 27 0 0 25 0 10 0 73034484 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32176/statm: 102804 60098 2921 10 0 96949 0
[pid=32176/tid=32178] ppid=32175 vsize=411216 CPUtime=158.64
/proc/32176/task/32178/stat : 32178 (java) R 32175 32175 22717 34817 22717 4202560 14553 0 1 0 15854 10 0 0 25 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4115945349 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32176/tid=32179] ppid=32175 vsize=411216 CPUtime=3.27
/proc/32176/task/32179/stat : 32179 (java) S 32175 32175 22717 34817 22717 4202560 45155 0 0 0 312 15 0 0 16 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32180] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32180/stat : 32180 (java) S 32175 32175 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32181] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32181/stat : 32181 (java) S 32175 32175 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32182] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32182/stat : 32182 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32183] ppid=32175 vsize=411216 CPUtime=0.14
/proc/32176/task/32183/stat : 32183 (java) S 32175 32175 22717 34817 22717 4202560 555 0 0 0 14 0 0 0 15 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32184] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32184/stat : 32184 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32185] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32185/stat : 32185 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32186] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32186/stat : 32186 (java) S 32175 32175 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73034859 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.08
Current children cumulated vsize (KiB) 413784

[startup+222.313 s]
/proc/loadavg: 1.00 1.06 1.03 2/44 32186
/proc/meminfo: memFree=274936/1048576 swapFree=0/0
[pid=32175] ppid=32174 vsize=2568 CPUtime=0
/proc/32175/stat : 32175 (gj-user-solver-) S 32174 32175 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73034484 2629632 268 1283457024 134512640 135304128 4291386896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32175/statm: 642 268 229 194 0 29 0
[pid=32176] ppid=32175 vsize=411216 CPUtime=222.05
/proc/32176/stat : 32176 (java) S 32175 32175 22717 34817 22717 4202496 61208 0 1 0 22177 28 0 0 25 0 10 0 73034484 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32176/statm: 102804 60098 2921 10 0 96949 0
[pid=32176/tid=32178] ppid=32175 vsize=411216 CPUtime=218.37
/proc/32176/task/32178/stat : 32178 (java) R 32175 32175 22717 34817 22717 4202560 14553 0 1 0 21826 11 0 0 25 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4115945349 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32176/tid=32179] ppid=32175 vsize=411216 CPUtime=3.52
/proc/32176/task/32179/stat : 32179 (java) S 32175 32175 22717 34817 22717 4202560 45155 0 0 0 337 15 0 0 16 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32180] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32180/stat : 32180 (java) S 32175 32175 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32181] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32181/stat : 32181 (java) S 32175 32175 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32182] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32182/stat : 32182 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32183] ppid=32175 vsize=411216 CPUtime=0.14
/proc/32176/task/32183/stat : 32183 (java) S 32175 32175 22717 34817 22717 4202560 555 0 0 0 14 0 0 0 15 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32184] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32184/stat : 32184 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32185] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32185/stat : 32185 (java) R 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32176/tid=32186] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32186/stat : 32186 (java) S 32175 32175 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73034859 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.05
Current children cumulated vsize (KiB) 413784

[startup+282.31 s]
/proc/loadavg: 1.00 1.05 1.02 2/44 32186
/proc/meminfo: memFree=274936/1048576 swapFree=0/0
[pid=32175] ppid=32174 vsize=2568 CPUtime=0
/proc/32175/stat : 32175 (gj-user-solver-) S 32174 32175 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73034484 2629632 268 1283457024 134512640 135304128 4291386896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32175/statm: 642 268 229 194 0 29 0
[pid=32176] ppid=32175 vsize=411216 CPUtime=281.89
/proc/32176/stat : 32176 (java) S 32175 32175 22717 34817 22717 4202496 61208 0 1 0 28159 30 0 0 25 0 10 0 73034484 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32176/statm: 102804 60098 2921 10 0 96949 0
[pid=32176/tid=32178] ppid=32175 vsize=411216 CPUtime=277.98
/proc/32176/task/32178/stat : 32178 (java) R 32175 32175 22717 34817 22717 4202560 14553 0 1 0 27786 12 0 0 25 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4115933129 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32176/tid=32179] ppid=32175 vsize=411216 CPUtime=3.74
/proc/32176/task/32179/stat : 32179 (java) S 32175 32175 22717 34817 22717 4202560 45155 0 0 0 358 16 0 0 15 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32180] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32180/stat : 32180 (java) S 32175 32175 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32181] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32181/stat : 32181 (java) S 32175 32175 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32182] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32182/stat : 32182 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32183] ppid=32175 vsize=411216 CPUtime=0.14
/proc/32176/task/32183/stat : 32183 (java) S 32175 32175 22717 34817 22717 4202560 555 0 0 0 14 0 0 0 15 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32184] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32184/stat : 32184 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32185] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32185/stat : 32185 (java) R 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32176/tid=32186] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32186/stat : 32186 (java) S 32175 32175 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73034859 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 281.89
Current children cumulated vsize (KiB) 413784

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

[startup+284.71 s]
/proc/loadavg: 1.00 1.05 1.02 2/44 32186
/proc/meminfo: memFree=274936/1048576 swapFree=0/0
[pid=32175] ppid=32174 vsize=2568 CPUtime=0
/proc/32175/stat : 32175 (gj-user-solver-) S 32174 32175 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73034484 2629632 268 1283457024 134512640 135304128 4291386896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32175/statm: 642 268 229 194 0 29 0
[pid=32176] ppid=32175 vsize=411216 CPUtime=284.29
/proc/32176/stat : 32176 (java) S 32175 32175 22717 34817 22717 4202496 61208 0 1 0 28399 30 0 0 25 0 10 0 73034484 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32176/statm: 102804 60098 2921 10 0 96949 0
[pid=32176/tid=32178] ppid=32175 vsize=411216 CPUtime=280.36
/proc/32176/task/32178/stat : 32178 (java) R 32175 32175 22717 34817 22717 4202560 14553 0 1 0 28024 12 0 0 25 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4115945336 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32176/tid=32179] ppid=32175 vsize=411216 CPUtime=3.76
/proc/32176/task/32179/stat : 32179 (java) S 32175 32175 22717 34817 22717 4202560 45155 0 0 0 360 16 0 0 16 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32180] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32180/stat : 32180 (java) S 32175 32175 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32181] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32181/stat : 32181 (java) S 32175 32175 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73034485 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32182] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32182/stat : 32182 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32183] ppid=32175 vsize=411216 CPUtime=0.14
/proc/32176/task/32183/stat : 32183 (java) S 32175 32175 22717 34817 22717 4202560 555 0 0 0 14 0 0 0 15 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32184] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32184/stat : 32184 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32185] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32185/stat : 32185 (java) R 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73034487 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32176/tid=32186] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32186/stat : 32186 (java) S 32175 32175 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73034859 421085184 60098 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.29
Current children cumulated vsize (KiB) 413784

[startup+285.511 s]
/proc/loadavg: 1.00 1.05 1.02 2/44 32186
/proc/meminfo: memFree=274936/1048576 swapFree=0/0
[pid=32175] ppid=32174 vsize=2568 CPUtime=0
/proc/32175/stat : 32175 (gj-user-solver-) S 32174 32175 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73034484 2629632 268 1283457024 134512640 135304128 4291386896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32175/statm: 642 268 229 194 0 29 0
[pid=32176] ppid=32175 vsize=411216 CPUtime=285.09
/proc/32176/stat : 32176 (java) S 32175 32175 22717 34817 22717 4202496 61209 0 1 0 28479 30 0 0 25 0 9 0 73034484 421085184 60099 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32176/statm: 102804 60099 2922 10 0 96949 0
[pid=32176/tid=32178] ppid=32175 vsize=411216 CPUtime=281.16
/proc/32176/task/32178/stat : 32178 (java) R 32175 32175 22717 34817 22717 4202560 14553 0 1 0 28104 12 0 0 25 0 9 0 73034485 421085184 60099 1283457024 134512640 134550932 4294504560 18446744073709551615 4115933133 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32176/tid=32179] ppid=32175 vsize=411216 CPUtime=3.76
/proc/32176/task/32179/stat : 32179 (java) S 32175 32175 22717 34817 22717 4202560 45155 0 0 0 360 16 0 0 15 0 9 0 73034485 421085184 60099 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32180] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32180/stat : 32180 (java) S 32175 32175 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 73034485 421085184 60099 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32181] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32181/stat : 32181 (java) S 32175 32175 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73034485 421085184 60099 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32182] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32182/stat : 32182 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73034487 421085184 60099 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32183] ppid=32175 vsize=411216 CPUtime=0.14
/proc/32176/task/32183/stat : 32183 (java) S 32175 32175 22717 34817 22717 4202560 555 0 0 0 14 0 0 0 15 0 9 0 73034487 421085184 60099 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32184] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32184/stat : 32184 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73034487 421085184 60099 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32185] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32185/stat : 32185 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 73034487 421085184 60099 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.09
Current children cumulated vsize (KiB) 413784

[startup+285.911 s]
/proc/loadavg: 1.00 1.05 1.02 3/43 32186
/proc/meminfo: memFree=274944/1048576 swapFree=0/0
[pid=32175] ppid=32174 vsize=2568 CPUtime=0
/proc/32175/stat : 32175 (gj-user-solver-) S 32174 32175 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73034484 2629632 268 1283457024 134512640 135304128 4291386896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32175/statm: 642 268 229 194 0 29 0
[pid=32176] ppid=32175 vsize=411216 CPUtime=285.49
/proc/32176/stat : 32176 (java) S 32175 32175 22717 34817 22717 4202496 61209 0 1 0 28519 30 0 0 25 0 9 0 73034484 421085184 60099 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32176/statm: 102804 60099 2922 10 0 96949 0
[pid=32176/tid=32178] ppid=32175 vsize=411216 CPUtime=281.56
/proc/32176/task/32178/stat : 32178 (java) R 32175 32175 22717 34817 22717 4202560 14553 0 1 0 28144 12 0 0 25 0 9 0 73034485 421085184 60099 1283457024 134512640 134550932 4294504560 18446744073709551615 4115945349 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32176/tid=32179] ppid=32175 vsize=411216 CPUtime=3.76
/proc/32176/task/32179/stat : 32179 (java) S 32175 32175 22717 34817 22717 4202560 45155 0 0 0 360 16 0 0 15 0 9 0 73034485 421085184 60099 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32180] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32180/stat : 32180 (java) S 32175 32175 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 73034485 421085184 60099 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32181] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32181/stat : 32181 (java) S 32175 32175 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73034485 421085184 60099 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32182] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32182/stat : 32182 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73034487 421085184 60099 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32183] ppid=32175 vsize=411216 CPUtime=0.14
/proc/32176/task/32183/stat : 32183 (java) S 32175 32175 22717 34817 22717 4202560 555 0 0 0 14 0 0 0 15 0 9 0 73034487 421085184 60099 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32184] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32184/stat : 32184 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73034487 421085184 60099 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32185] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32185/stat : 32185 (java) R 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 73034487 421085184 60099 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.49
Current children cumulated vsize (KiB) 413784

[startup+286.307 s]
/proc/loadavg: 1.00 1.05 1.02 3/43 32186
/proc/meminfo: memFree=274944/1048576 swapFree=0/0
[pid=32175] ppid=32174 vsize=2568 CPUtime=0
/proc/32175/stat : 32175 (gj-user-solver-) S 32174 32175 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73034484 2629632 268 1283457024 134512640 135304128 4291386896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32175/statm: 642 268 229 194 0 29 0
[pid=32176] ppid=32175 vsize=411216 CPUtime=285.88
/proc/32176/stat : 32176 (java) S 32175 32175 22717 34817 22717 4202496 61210 0 1 0 28558 30 0 0 25 0 9 0 73034484 421085184 60100 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32176/statm: 102804 60100 2922 10 0 96949 0
[pid=32176/tid=32178] ppid=32175 vsize=411216 CPUtime=281.94
/proc/32176/task/32178/stat : 32178 (java) S 32175 32175 22717 34817 22717 4202560 14554 0 1 0 28182 12 0 0 25 0 9 0 73034485 421085184 60100 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32179] ppid=32175 vsize=411216 CPUtime=3.77
/proc/32176/task/32179/stat : 32179 (java) S 32175 32175 22717 34817 22717 4202560 45155 0 0 0 361 16 0 0 16 0 9 0 73034485 421085184 60100 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32180] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32180/stat : 32180 (java) S 32175 32175 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 73034485 421085184 60100 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32181] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32181/stat : 32181 (java) S 32175 32175 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73034485 421085184 60100 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32182] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32182/stat : 32182 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73034487 421085184 60100 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32183] ppid=32175 vsize=411216 CPUtime=0.14
/proc/32176/task/32183/stat : 32183 (java) S 32175 32175 22717 34817 22717 4202560 555 0 0 0 14 0 0 0 15 0 9 0 73034487 421085184 60100 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32184] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32184/stat : 32184 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73034487 421085184 60100 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=32176/tid=32185] ppid=32175 vsize=411216 CPUtime=0
/proc/32176/task/32185/stat : 32185 (java) S 32175 32175 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 73034487 421085184 60100 1283457024 134512640 134550932 4294504560 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.88
Current children cumulated vsize (KiB) 413784

Child status: 0
Real time (s): 286.347
CPU time (s): 285.898
CPU user time (s): 285.582
CPU system time (s): 0.316019
CPU usage (%): 99.8431
Max. virtual memory (cumulated for all children) (KiB): 413784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 285.582
system time used= 0.316019
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61595
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= 6905
involuntary context switches= 10044

runsolver used 0 second user time and 0 second system time

The end