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/978532fa-c730-11df-b070-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//978532fa-c730-11df-b070-00163e3d3b7c.cudf /home/misc2010/tmp/201108291842/gj-user-solver-1.0/978532fa-c730-11df-b070-00163e3d3b7c.cudf.dudf-real.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.99 1.09 1.14 4/34 28042
/proc/meminfo: memFree=898716/1048576 swapFree=0/0
[pid=28041] ppid=28040 vsize=2568 CPUtime=0
/proc/28041/stat : 28041 (gj-user-solver-) S 28040 28041 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46523619 2629632 269 1283457024 134512640 135304128 4287494816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28041/statm: 642 269 229 194 0 29 0
[pid=28042] ppid=28041 vsize=11044 CPUtime=0.01
/proc/28042/stat : 28042 (java) R 28041 28041 17511 34816 17511 4202496 482 0 0 0 1 0 0 0 25 0 1 0 46523620 11309056 218 1283457024 134512640 134550932 4291675648 18446744073709551615 4160206562 0 0 0 0 0 0 0 17 0 0 0 0
/proc/28042/statm: 2761 218 159 10 0 1103 0

[startup+0.204513 s]
/proc/loadavg: 0.99 1.09 1.14 4/34 28042
/proc/meminfo: memFree=898716/1048576 swapFree=0/0
[pid=28041] ppid=28040 vsize=2568 CPUtime=0
/proc/28041/stat : 28041 (gj-user-solver-) S 28040 28041 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46523619 2629632 269 1283457024 134512640 135304128 4287494816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28041/statm: 642 269 229 194 0 29 0
[pid=28042] ppid=28041 vsize=410940 CPUtime=0.21
/proc/28042/stat : 28042 (java) S 28041 28041 17511 34816 17511 4202496 4067 0 1 0 20 1 0 0 25 0 9 0 46523620 420802560 3494 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28042/statm: 102735 3494 1917 10 0 96883 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 413508

[startup+0.304526 s]
/proc/loadavg: 0.99 1.09 1.14 4/34 28042
/proc/meminfo: memFree=898716/1048576 swapFree=0/0
[pid=28041] ppid=28040 vsize=2568 CPUtime=0
/proc/28041/stat : 28041 (gj-user-solver-) S 28040 28041 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46523619 2629632 269 1283457024 134512640 135304128 4287494816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28041/statm: 642 269 229 194 0 29 0
[pid=28042] ppid=28041 vsize=411364 CPUtime=0.3
/proc/28042/stat : 28042 (java) S 28041 28041 17511 34816 17511 4202496 4414 0 1 0 28 2 0 0 25 0 9 0 46523620 421236736 3841 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28042/statm: 102841 3841 1944 10 0 96989 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 413932

[startup+0.404547 s]
/proc/loadavg: 0.99 1.09 1.14 4/34 28042
/proc/meminfo: memFree=898716/1048576 swapFree=0/0
[pid=28041] ppid=28040 vsize=2568 CPUtime=0
/proc/28041/stat : 28041 (gj-user-solver-) S 28040 28041 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46523619 2629632 269 1283457024 134512640 135304128 4287494816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28041/statm: 642 269 229 194 0 29 0
[pid=28042] ppid=28041 vsize=411500 CPUtime=0.4
/proc/28042/stat : 28042 (java) S 28041 28041 17511 34816 17511 4202496 6178 0 1 0 38 2 0 0 25 0 9 0 46523620 421376000 5604 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28042/statm: 102875 5604 1956 10 0 97023 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 414068

[startup+0.704604 s]
/proc/loadavg: 0.99 1.09 1.14 4/34 28042
/proc/meminfo: memFree=898716/1048576 swapFree=0/0
[pid=28041] ppid=28040 vsize=2568 CPUtime=0
/proc/28041/stat : 28041 (gj-user-solver-) S 28040 28041 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46523619 2629632 269 1283457024 134512640 135304128 4287494816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28041/statm: 642 269 229 194 0 29 0
[pid=28042] ppid=28041 vsize=411640 CPUtime=0.7
/proc/28042/stat : 28042 (java) S 28041 28041 17511 34816 17511 4202496 12531 0 1 0 64 6 0 0 25 0 9 0 46523620 421519360 11771 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28042/statm: 102910 11771 2900 10 0 97058 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 414208

[startup+1.50476 s]
/proc/loadavg: 0.99 1.09 1.14 2/43 28051
/proc/meminfo: memFree=838656/1048576 swapFree=0/0
[pid=28041] ppid=28040 vsize=2568 CPUtime=0
/proc/28041/stat : 28041 (gj-user-solver-) S 28040 28041 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46523619 2629632 269 1283457024 134512640 135304128 4287494816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28041/statm: 642 269 229 194 0 29 0
[pid=28042] ppid=28041 vsize=411772 CPUtime=1.51
/proc/28042/stat : 28042 (java) S 28041 28041 17511 34816 17511 4202496 26944 0 1 0 139 12 0 0 25 0 9 0 46523620 421654528 26184 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28042/statm: 102943 26184 2901 10 0 97091 0
[pid=28042/tid=28044] ppid=28041 vsize=411772 CPUtime=0.82
/proc/28042/task/28044/stat : 28044 (java) R 28041 28041 17511 34816 17511 4202560 6821 0 1 0 78 4 0 0 25 0 9 0 46523620 421654528 26184 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28042/tid=28045] ppid=28041 vsize=411772 CPUtime=0.64
/proc/28042/task/28045/stat : 28045 (java) R 28041 28041 17511 34816 17511 4202560 18733 0 0 0 58 6 0 0 18 0 9 0 46523621 421654528 26184 1283457024 134512640 134550932 4291675648 18446744073709551615 4151464090 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=28042/tid=28046] ppid=28041 vsize=411772 CPUtime=0
/proc/28042/task/28046/stat : 28046 (java) S 28041 28041 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 46523621 421654528 26184 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28047] ppid=28041 vsize=411772 CPUtime=0
/proc/28042/task/28047/stat : 28047 (java) S 28041 28041 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 20 0 9 0 46523621 421654528 26184 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28048] ppid=28041 vsize=411772 CPUtime=0
/proc/28042/task/28048/stat : 28048 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46523622 421654528 26184 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28049] ppid=28041 vsize=411772 CPUtime=0.02
/proc/28042/task/28049/stat : 28049 (java) S 28041 28041 17511 34816 17511 4202560 447 0 0 0 1 1 0 0 18 0 9 0 46523622 421654528 26184 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28050] ppid=28041 vsize=411772 CPUtime=0
/proc/28042/task/28050/stat : 28050 (java) S 28041 28041 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 25 0 9 0 46523622 421654528 26184 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28051] ppid=28041 vsize=411772 CPUtime=0
/proc/28042/task/28051/stat : 28051 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 46523622 421654528 26184 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 414340

[startup+3.11497 s]
/proc/loadavg: 0.99 1.09 1.14 3/43 28051
/proc/meminfo: memFree=759420/1048576 swapFree=0/0
[pid=28041] ppid=28040 vsize=2568 CPUtime=0
/proc/28041/stat : 28041 (gj-user-solver-) S 28040 28041 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46523619 2629632 269 1283457024 134512640 135304128 4287494816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28041/statm: 642 269 229 194 0 29 0
[pid=28042] ppid=28041 vsize=411904 CPUtime=3.11
/proc/28042/stat : 28042 (java) S 28041 28041 17511 34816 17511 4202496 49195 0 1 0 290 21 0 0 25 0 9 0 46523620 421789696 48435 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28042/statm: 102976 48435 2901 10 0 97124 0
[pid=28042/tid=28044] ppid=28041 vsize=411904 CPUtime=1.5
/proc/28042/task/28044/stat : 28044 (java) R 28041 28041 17511 34816 17511 4202560 14310 0 1 0 140 10 0 0 25 0 9 0 46523620 421789696 48435 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28042/tid=28045] ppid=28041 vsize=411904 CPUtime=1.58
/proc/28042/task/28045/stat : 28045 (java) R 28041 28041 17511 34816 17511 4202560 33492 0 0 0 148 10 0 0 15 0 9 0 46523621 421789696 48435 1283457024 134512640 134550932 4291675648 18446744073709551615 4151084984 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=28042/tid=28046] ppid=28041 vsize=411904 CPUtime=0
/proc/28042/task/28046/stat : 28046 (java) S 28041 28041 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 46523621 421789696 48435 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28047] ppid=28041 vsize=411904 CPUtime=0
/proc/28042/task/28047/stat : 28047 (java) S 28041 28041 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 20 0 9 0 46523621 421789696 48435 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28048] ppid=28041 vsize=411904 CPUtime=0
/proc/28042/task/28048/stat : 28048 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46523622 421789696 48435 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28049] ppid=28041 vsize=411904 CPUtime=0.02
/proc/28042/task/28049/stat : 28049 (java) S 28041 28041 17511 34816 17511 4202560 450 0 0 0 1 1 0 0 15 0 9 0 46523622 421789696 48435 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28050] ppid=28041 vsize=411904 CPUtime=0
/proc/28042/task/28050/stat : 28050 (java) S 28041 28041 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 25 0 9 0 46523622 421789696 48435 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28051] ppid=28041 vsize=411904 CPUtime=0
/proc/28042/task/28051/stat : 28051 (java) R 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 46523622 421789696 48435 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 414472

[startup+6.30578 s]
/proc/loadavg: 0.99 1.09 1.14 2/43 28051
/proc/meminfo: memFree=627980/1048576 swapFree=0/0
[pid=28041] ppid=28040 vsize=2568 CPUtime=0
/proc/28041/stat : 28041 (gj-user-solver-) S 28040 28041 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46523619 2629632 269 1283457024 134512640 135304128 4287494816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28041/statm: 642 269 229 194 0 29 0
[pid=28042] ppid=28041 vsize=412372 CPUtime=6.29
/proc/28042/stat : 28042 (java) S 28041 28041 17511 34816 17511 4202496 71323 0 1 0 602 27 0 0 25 0 10 0 46523620 422268928 70469 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28042/statm: 103093 70469 2917 10 0 97238 0
[pid=28042/tid=28044] ppid=28041 vsize=412372 CPUtime=2.97
/proc/28042/task/28044/stat : 28044 (java) R 28041 28041 17511 34816 17511 4202560 14574 0 1 0 287 10 0 0 25 0 10 0 46523620 422268928 70469 1283457024 134512640 134550932 4291675648 18446744073709551615 4115690744 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28042/tid=28045] ppid=28041 vsize=412372 CPUtime=3.23
/proc/28042/task/28045/stat : 28045 (java) S 28041 28041 17511 34816 17511 4202560 55279 0 0 0 307 16 0 0 16 0 10 0 46523621 422268928 70469 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28046] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28046/stat : 28046 (java) S 28041 28041 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46523621 422268928 70469 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28047] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28047/stat : 28047 (java) S 28041 28041 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46523621 422268928 70469 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28048] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28048/stat : 28048 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46523622 422268928 70469 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28049] ppid=28041 vsize=412372 CPUtime=0.06
/proc/28042/task/28049/stat : 28049 (java) S 28041 28041 17511 34816 17511 4202560 523 0 0 0 5 1 0 0 15 0 10 0 46523622 422268928 70469 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28050] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28050/stat : 28050 (java) S 28041 28041 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 25 0 10 0 46523622 422268928 70469 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28051] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28051/stat : 28051 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46523622 422268928 70469 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 414940

[startup+12.7078 s]
/proc/loadavg: 0.99 1.08 1.14 2/44 28052
/proc/meminfo: memFree=627484/1048576 swapFree=0/0
[pid=28041] ppid=28040 vsize=2568 CPUtime=0
/proc/28041/stat : 28041 (gj-user-solver-) S 28040 28041 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46523619 2629632 269 1283457024 134512640 135304128 4287494816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28041/statm: 642 269 229 194 0 29 0
[pid=28042] ppid=28041 vsize=412372 CPUtime=12.69
/proc/28042/stat : 28042 (java) S 28041 28041 17511 34816 17511 4202496 71363 0 1 0 1240 29 0 0 25 0 10 0 46523620 422268928 70509 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28042/statm: 103093 70509 2918 10 0 97238 0
[pid=28042/tid=28044] ppid=28041 vsize=412372 CPUtime=8.83
/proc/28042/task/28044/stat : 28044 (java) R 28041 28041 17511 34816 17511 4202560 14581 0 1 0 872 11 0 0 25 0 10 0 46523620 422268928 70509 1283457024 134512640 134550932 4291675648 18446744073709551615 4115800217 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28042/tid=28045] ppid=28041 vsize=412372 CPUtime=3.71
/proc/28042/task/28045/stat : 28045 (java) S 28041 28041 17511 34816 17511 4202560 55279 0 0 0 355 16 0 0 16 0 10 0 46523621 422268928 70509 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28046] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28046/stat : 28046 (java) S 28041 28041 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46523621 422268928 70509 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28047] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28047/stat : 28047 (java) S 28041 28041 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46523621 422268928 70509 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28048] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28048/stat : 28048 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46523622 422268928 70509 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28049] ppid=28041 vsize=412372 CPUtime=0.12
/proc/28042/task/28049/stat : 28049 (java) S 28041 28041 17511 34816 17511 4202560 556 0 0 0 10 2 0 0 15 0 10 0 46523622 422268928 70509 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28050] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28050/stat : 28050 (java) S 28041 28041 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 25 0 10 0 46523622 422268928 70509 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28051] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28051/stat : 28051 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46523622 422268928 70509 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28052] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28052/stat : 28052 (java) S 28041 28041 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46524197 422268928 70509 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 414940

[startup+25.5041 s]
/proc/loadavg: 0.99 1.08 1.14 2/44 28052
/proc/meminfo: memFree=627360/1048576 swapFree=0/0
[pid=28041] ppid=28040 vsize=2568 CPUtime=0
/proc/28041/stat : 28041 (gj-user-solver-) S 28040 28041 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46523619 2629632 269 1283457024 134512640 135304128 4287494816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28041/statm: 642 269 229 194 0 29 0
[pid=28042] ppid=28041 vsize=412372 CPUtime=25.47
/proc/28042/stat : 28042 (java) S 28041 28041 17511 34816 17511 4202496 71372 0 1 0 2518 29 0 0 25 0 10 0 46523620 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28042/statm: 103093 70518 2920 10 0 97238 0
[pid=28042/tid=28044] ppid=28041 vsize=412372 CPUtime=21.25
/proc/28042/task/28044/stat : 28044 (java) R 28041 28041 17511 34816 17511 4202560 14581 0 1 0 2114 11 0 0 25 0 10 0 46523620 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4115681140 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28042/tid=28045] ppid=28041 vsize=412372 CPUtime=4.07
/proc/28042/task/28045/stat : 28045 (java) S 28041 28041 17511 34816 17511 4202560 55281 0 0 0 391 16 0 0 15 0 10 0 46523621 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28046] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28046/stat : 28046 (java) S 28041 28041 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46523621 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28047] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28047/stat : 28047 (java) S 28041 28041 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46523621 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28048] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28048/stat : 28048 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46523622 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28049] ppid=28041 vsize=412372 CPUtime=0.13
/proc/28042/task/28049/stat : 28049 (java) S 28041 28041 17511 34816 17511 4202560 563 0 0 0 11 2 0 0 15 0 10 0 46523622 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28050] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28050/stat : 28050 (java) S 28041 28041 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 25 0 10 0 46523622 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28051] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28051/stat : 28051 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46523622 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28052] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28052/stat : 28052 (java) S 28041 28041 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46524197 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 414940

[startup+51.1147 s]
/proc/loadavg: 0.99 1.07 1.13 2/44 28052
/proc/meminfo: memFree=627360/1048576 swapFree=0/0
[pid=28041] ppid=28040 vsize=2568 CPUtime=0
/proc/28041/stat : 28041 (gj-user-solver-) S 28040 28041 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46523619 2629632 269 1283457024 134512640 135304128 4287494816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28041/statm: 642 269 229 194 0 29 0
[pid=28042] ppid=28041 vsize=412372 CPUtime=51.04
/proc/28042/stat : 28042 (java) S 28041 28041 17511 34816 17511 4202496 71372 0 1 0 5075 29 0 0 25 0 10 0 46523620 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28042/statm: 103093 70518 2920 10 0 97238 0
[pid=28042/tid=28044] ppid=28041 vsize=412372 CPUtime=46.76
/proc/28042/task/28044/stat : 28044 (java) R 28041 28041 17511 34816 17511 4202560 14581 0 1 0 4665 11 0 0 25 0 10 0 46523620 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4115726368 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28042/tid=28045] ppid=28041 vsize=412372 CPUtime=4.13
/proc/28042/task/28045/stat : 28045 (java) S 28041 28041 17511 34816 17511 4202560 55281 0 0 0 397 16 0 0 15 0 10 0 46523621 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28046] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28046/stat : 28046 (java) S 28041 28041 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46523621 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28047] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28047/stat : 28047 (java) S 28041 28041 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46523621 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28048] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28048/stat : 28048 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46523622 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28049] ppid=28041 vsize=412372 CPUtime=0.13
/proc/28042/task/28049/stat : 28049 (java) S 28041 28041 17511 34816 17511 4202560 563 0 0 0 11 2 0 0 15 0 10 0 46523622 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28050] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28050/stat : 28050 (java) S 28041 28041 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 25 0 10 0 46523622 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28051] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28051/stat : 28051 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46523622 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28052] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28052/stat : 28052 (java) S 28041 28041 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46524197 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 414940

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

[startup+51.2147 s]
/proc/loadavg: 0.99 1.07 1.13 2/44 28052
/proc/meminfo: memFree=627360/1048576 swapFree=0/0
[pid=28041] ppid=28040 vsize=2568 CPUtime=0
/proc/28041/stat : 28041 (gj-user-solver-) S 28040 28041 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46523619 2629632 269 1283457024 134512640 135304128 4287494816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28041/statm: 642 269 229 194 0 29 0
[pid=28042] ppid=28041 vsize=412372 CPUtime=51.14
/proc/28042/stat : 28042 (java) S 28041 28041 17511 34816 17511 4202496 71372 0 1 0 5085 29 0 0 25 0 10 0 46523620 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28042/statm: 103093 70518 2920 10 0 97238 0
[pid=28042/tid=28044] ppid=28041 vsize=412372 CPUtime=46.86
/proc/28042/task/28044/stat : 28044 (java) R 28041 28041 17511 34816 17511 4202560 14581 0 1 0 4675 11 0 0 25 0 10 0 46523620 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4115839113 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28042/tid=28045] ppid=28041 vsize=412372 CPUtime=4.13
/proc/28042/task/28045/stat : 28045 (java) S 28041 28041 17511 34816 17511 4202560 55281 0 0 0 397 16 0 0 15 0 10 0 46523621 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28046] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28046/stat : 28046 (java) S 28041 28041 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46523621 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28047] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28047/stat : 28047 (java) S 28041 28041 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46523621 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28048] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28048/stat : 28048 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46523622 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28049] ppid=28041 vsize=412372 CPUtime=0.13
/proc/28042/task/28049/stat : 28049 (java) S 28041 28041 17511 34816 17511 4202560 563 0 0 0 11 2 0 0 15 0 10 0 46523622 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28050] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28050/stat : 28050 (java) S 28041 28041 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 25 0 10 0 46523622 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28051] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28051/stat : 28051 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46523622 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28052] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28052/stat : 28052 (java) S 28041 28041 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46524197 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 414940

[startup+64.0078 s]
/proc/loadavg: 0.99 1.07 1.13 2/44 28052
/proc/meminfo: memFree=627360/1048576 swapFree=0/0
[pid=28041] ppid=28040 vsize=2568 CPUtime=0
/proc/28041/stat : 28041 (gj-user-solver-) S 28040 28041 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46523619 2629632 269 1283457024 134512640 135304128 4287494816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28041/statm: 642 269 229 194 0 29 0
[pid=28042] ppid=28041 vsize=412372 CPUtime=63.92
/proc/28042/stat : 28042 (java) S 28041 28041 17511 34816 17511 4202496 71372 0 1 0 6362 30 0 0 25 0 10 0 46523620 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28042/statm: 103093 70518 2920 10 0 97238 0
[pid=28042/tid=28044] ppid=28041 vsize=412372 CPUtime=59.6
/proc/28042/task/28044/stat : 28044 (java) R 28041 28041 17511 34816 17511 4202560 14581 0 1 0 5948 12 0 0 25 0 10 0 46523620 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4115839113 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28042/tid=28045] ppid=28041 vsize=412372 CPUtime=4.15
/proc/28042/task/28045/stat : 28045 (java) S 28041 28041 17511 34816 17511 4202560 55281 0 0 0 399 16 0 0 15 0 10 0 46523621 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28046] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28046/stat : 28046 (java) S 28041 28041 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46523621 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28047] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28047/stat : 28047 (java) S 28041 28041 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46523621 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28048] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28048/stat : 28048 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46523622 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28049] ppid=28041 vsize=412372 CPUtime=0.15
/proc/28042/task/28049/stat : 28049 (java) S 28041 28041 17511 34816 17511 4202560 563 0 0 0 13 2 0 0 15 0 10 0 46523622 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28050] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28050/stat : 28050 (java) S 28041 28041 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 25 0 10 0 46523622 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28051] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28051/stat : 28051 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46523622 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28052] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28052/stat : 28052 (java) S 28041 28041 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46524197 422268928 70518 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 63.92
Current children cumulated vsize (KiB) 414940

[startup+70.4096 s]
/proc/loadavg: 0.99 1.07 1.13 3/44 28052
/proc/meminfo: memFree=627360/1048576 swapFree=0/0
[pid=28041] ppid=28040 vsize=2568 CPUtime=0
/proc/28041/stat : 28041 (gj-user-solver-) S 28040 28041 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46523619 2629632 269 1283457024 134512640 135304128 4287494816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28041/statm: 642 269 229 194 0 29 0
[pid=28042] ppid=28041 vsize=412372 CPUtime=70.32
/proc/28042/stat : 28042 (java) S 28041 28041 17511 34816 17511 4202496 71373 0 1 0 7001 31 0 0 25 0 10 0 46523620 422268928 70519 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28042/statm: 103093 70519 2920 10 0 97238 0
[pid=28042/tid=28044] ppid=28041 vsize=412372 CPUtime=65.66
/proc/28042/task/28044/stat : 28044 (java) R 28041 28041 17511 34816 17511 4202560 14581 0 1 0 6553 13 0 0 25 0 10 0 46523620 422268928 70519 1283457024 134512640 134550932 4291675648 18446744073709551615 4115697764 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28042/tid=28045] ppid=28041 vsize=412372 CPUtime=4.49
/proc/28042/task/28045/stat : 28045 (java) S 28041 28041 17511 34816 17511 4202560 55281 0 0 0 433 16 0 0 15 0 10 0 46523621 422268928 70519 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28046] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28046/stat : 28046 (java) S 28041 28041 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46523621 422268928 70519 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28047] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28047/stat : 28047 (java) S 28041 28041 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46523621 422268928 70519 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28048] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28048/stat : 28048 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46523622 422268928 70519 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28049] ppid=28041 vsize=412372 CPUtime=0.15
/proc/28042/task/28049/stat : 28049 (java) S 28041 28041 17511 34816 17511 4202560 564 0 0 0 13 2 0 0 15 0 10 0 46523622 422268928 70519 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28050] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28050/stat : 28050 (java) S 28041 28041 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 25 0 10 0 46523622 422268928 70519 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28051] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28051/stat : 28051 (java) R 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46523622 422268928 70519 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28042/tid=28052] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28052/stat : 28052 (java) S 28041 28041 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46524197 422268928 70519 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 70.32
Current children cumulated vsize (KiB) 414940

[startup+73.6103 s]
/proc/loadavg: 0.99 1.07 1.13 2/44 28052
/proc/meminfo: memFree=627360/1048576 swapFree=0/0
[pid=28041] ppid=28040 vsize=2568 CPUtime=0
/proc/28041/stat : 28041 (gj-user-solver-) S 28040 28041 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46523619 2629632 269 1283457024 134512640 135304128 4287494816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28041/statm: 642 269 229 194 0 29 0
[pid=28042] ppid=28041 vsize=412372 CPUtime=73.52
/proc/28042/stat : 28042 (java) S 28041 28041 17511 34816 17511 4202496 71374 0 1 0 7321 31 0 0 25 0 10 0 46523620 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28042/statm: 103093 70520 2920 10 0 97238 0
[pid=28042/tid=28044] ppid=28041 vsize=412372 CPUtime=68.86
/proc/28042/task/28044/stat : 28044 (java) R 28041 28041 17511 34816 17511 4202560 14582 0 1 0 6873 13 0 0 25 0 10 0 46523620 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4150500859 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28042/tid=28045] ppid=28041 vsize=412372 CPUtime=4.49
/proc/28042/task/28045/stat : 28045 (java) S 28041 28041 17511 34816 17511 4202560 55281 0 0 0 433 16 0 0 15 0 10 0 46523621 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28046] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28046/stat : 28046 (java) S 28041 28041 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46523621 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28047] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28047/stat : 28047 (java) S 28041 28041 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46523621 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28048] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28048/stat : 28048 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46523622 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28049] ppid=28041 vsize=412372 CPUtime=0.15
/proc/28042/task/28049/stat : 28049 (java) S 28041 28041 17511 34816 17511 4202560 564 0 0 0 13 2 0 0 15 0 10 0 46523622 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28050] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28050/stat : 28050 (java) S 28041 28041 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 25 0 10 0 46523622 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28051] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28051/stat : 28051 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46523622 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28052] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28052/stat : 28052 (java) S 28041 28041 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46524197 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 73.52
Current children cumulated vsize (KiB) 414940

[startup+76.8111 s]
/proc/loadavg: 0.99 1.07 1.13 2/44 28052
/proc/meminfo: memFree=627236/1048576 swapFree=0/0
[pid=28041] ppid=28040 vsize=2568 CPUtime=0
/proc/28041/stat : 28041 (gj-user-solver-) S 28040 28041 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46523619 2629632 269 1283457024 134512640 135304128 4287494816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28041/statm: 642 269 229 194 0 29 0
[pid=28042] ppid=28041 vsize=412372 CPUtime=76.72
/proc/28042/stat : 28042 (java) S 28041 28041 17511 34816 17511 4202496 71374 0 1 0 7641 31 0 0 25 0 10 0 46523620 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28042/statm: 103093 70520 2920 10 0 97238 0
[pid=28042/tid=28044] ppid=28041 vsize=412372 CPUtime=72.04
/proc/28042/task/28044/stat : 28044 (java) R 28041 28041 17511 34816 17511 4202560 14582 0 1 0 7191 13 0 0 25 0 10 0 46523620 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4115621605 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28042/tid=28045] ppid=28041 vsize=412372 CPUtime=4.51
/proc/28042/task/28045/stat : 28045 (java) S 28041 28041 17511 34816 17511 4202560 55281 0 0 0 435 16 0 0 15 0 10 0 46523621 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28046] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28046/stat : 28046 (java) S 28041 28041 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46523621 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28047] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28047/stat : 28047 (java) S 28041 28041 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46523621 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28048] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28048/stat : 28048 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46523622 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28049] ppid=28041 vsize=412372 CPUtime=0.15
/proc/28042/task/28049/stat : 28049 (java) S 28041 28041 17511 34816 17511 4202560 564 0 0 0 13 2 0 0 15 0 10 0 46523622 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28050] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28050/stat : 28050 (java) S 28041 28041 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 25 0 10 0 46523622 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28051] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28051/stat : 28051 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46523622 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28052] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28052/stat : 28052 (java) S 28041 28041 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46524197 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 76.72
Current children cumulated vsize (KiB) 414940

[startup+77.6113 s]
/proc/loadavg: 0.99 1.07 1.13 2/44 28052
/proc/meminfo: memFree=627236/1048576 swapFree=0/0
[pid=28041] ppid=28040 vsize=2568 CPUtime=0
/proc/28041/stat : 28041 (gj-user-solver-) S 28040 28041 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46523619 2629632 269 1283457024 134512640 135304128 4287494816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28041/statm: 642 269 229 194 0 29 0
[pid=28042] ppid=28041 vsize=412372 CPUtime=77.52
/proc/28042/stat : 28042 (java) S 28041 28041 17511 34816 17511 4202496 71374 0 1 0 7721 31 0 0 25 0 10 0 46523620 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28042/statm: 103093 70520 2920 10 0 97238 0
[pid=28042/tid=28044] ppid=28041 vsize=412372 CPUtime=72.84
/proc/28042/task/28044/stat : 28044 (java) R 28041 28041 17511 34816 17511 4202560 14582 0 1 0 7271 13 0 0 25 0 10 0 46523620 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4115839117 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28042/tid=28045] ppid=28041 vsize=412372 CPUtime=4.51
/proc/28042/task/28045/stat : 28045 (java) S 28041 28041 17511 34816 17511 4202560 55281 0 0 0 435 16 0 0 15 0 10 0 46523621 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28046] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28046/stat : 28046 (java) S 28041 28041 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46523621 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28047] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28047/stat : 28047 (java) S 28041 28041 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46523621 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28048] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28048/stat : 28048 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46523622 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28049] ppid=28041 vsize=412372 CPUtime=0.15
/proc/28042/task/28049/stat : 28049 (java) S 28041 28041 17511 34816 17511 4202560 564 0 0 0 13 2 0 0 15 0 10 0 46523622 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28050] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28050/stat : 28050 (java) S 28041 28041 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 25 0 10 0 46523622 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28051] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28051/stat : 28051 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46523622 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28052] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28052/stat : 28052 (java) S 28041 28041 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46524197 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 77.52
Current children cumulated vsize (KiB) 414940

[startup+78.4115 s]
/proc/loadavg: 0.99 1.06 1.13 2/44 28052
/proc/meminfo: memFree=627236/1048576 swapFree=0/0
[pid=28041] ppid=28040 vsize=2568 CPUtime=0
/proc/28041/stat : 28041 (gj-user-solver-) S 28040 28041 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46523619 2629632 269 1283457024 134512640 135304128 4287494816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28041/statm: 642 269 229 194 0 29 0
[pid=28042] ppid=28041 vsize=412372 CPUtime=78.32
/proc/28042/stat : 28042 (java) S 28041 28041 17511 34816 17511 4202496 71374 0 1 0 7801 31 0 0 25 0 10 0 46523620 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28042/statm: 103093 70520 2920 10 0 97238 0
[pid=28042/tid=28044] ppid=28041 vsize=412372 CPUtime=73.63
/proc/28042/task/28044/stat : 28044 (java) R 28041 28041 17511 34816 17511 4202560 14582 0 1 0 7350 13 0 0 25 0 10 0 46523620 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4115839113 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28042/tid=28045] ppid=28041 vsize=412372 CPUtime=4.52
/proc/28042/task/28045/stat : 28045 (java) S 28041 28041 17511 34816 17511 4202560 55281 0 0 0 436 16 0 0 16 0 10 0 46523621 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28046] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28046/stat : 28046 (java) S 28041 28041 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46523621 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28047] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28047/stat : 28047 (java) S 28041 28041 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46523621 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28048] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28048/stat : 28048 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46523622 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28049] ppid=28041 vsize=412372 CPUtime=0.15
/proc/28042/task/28049/stat : 28049 (java) S 28041 28041 17511 34816 17511 4202560 564 0 0 0 13 2 0 0 15 0 10 0 46523622 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28050] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28050/stat : 28050 (java) S 28041 28041 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 25 0 10 0 46523622 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28051] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28051/stat : 28051 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46523622 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28052] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28052/stat : 28052 (java) S 28041 28041 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46524197 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 78.32
Current children cumulated vsize (KiB) 414940

[startup+78.8116 s]
/proc/loadavg: 0.99 1.06 1.13 2/44 28052
/proc/meminfo: memFree=627236/1048576 swapFree=0/0
[pid=28041] ppid=28040 vsize=2568 CPUtime=0
/proc/28041/stat : 28041 (gj-user-solver-) S 28040 28041 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46523619 2629632 269 1283457024 134512640 135304128 4287494816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28041/statm: 642 269 229 194 0 29 0
[pid=28042] ppid=28041 vsize=412372 CPUtime=78.72
/proc/28042/stat : 28042 (java) S 28041 28041 17511 34816 17511 4202496 71374 0 1 0 7841 31 0 0 25 0 10 0 46523620 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28042/statm: 103093 70520 2920 10 0 97238 0
[pid=28042/tid=28044] ppid=28041 vsize=412372 CPUtime=74.03
/proc/28042/task/28044/stat : 28044 (java) R 28041 28041 17511 34816 17511 4202560 14582 0 1 0 7390 13 0 0 25 0 10 0 46523620 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4115839100 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28042/tid=28045] ppid=28041 vsize=412372 CPUtime=4.52
/proc/28042/task/28045/stat : 28045 (java) S 28041 28041 17511 34816 17511 4202560 55281 0 0 0 436 16 0 0 16 0 10 0 46523621 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28046] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28046/stat : 28046 (java) S 28041 28041 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46523621 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28047] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28047/stat : 28047 (java) S 28041 28041 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46523621 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28048] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28048/stat : 28048 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46523622 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28049] ppid=28041 vsize=412372 CPUtime=0.15
/proc/28042/task/28049/stat : 28049 (java) S 28041 28041 17511 34816 17511 4202560 564 0 0 0 13 2 0 0 15 0 10 0 46523622 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28050] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28050/stat : 28050 (java) S 28041 28041 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 25 0 10 0 46523622 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28051] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28051/stat : 28051 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46523622 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28052] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28052/stat : 28052 (java) S 28041 28041 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46524197 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 78.72
Current children cumulated vsize (KiB) 414940

[startup+78.9116 s]
/proc/loadavg: 0.99 1.06 1.13 2/44 28052
/proc/meminfo: memFree=627236/1048576 swapFree=0/0
[pid=28041] ppid=28040 vsize=2568 CPUtime=0
/proc/28041/stat : 28041 (gj-user-solver-) S 28040 28041 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46523619 2629632 269 1283457024 134512640 135304128 4287494816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28041/statm: 642 269 229 194 0 29 0
[pid=28042] ppid=28041 vsize=412372 CPUtime=78.82
/proc/28042/stat : 28042 (java) S 28041 28041 17511 34816 17511 4202496 71374 0 1 0 7851 31 0 0 25 0 10 0 46523620 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28042/statm: 103093 70520 2920 10 0 97238 0
[pid=28042/tid=28044] ppid=28041 vsize=412372 CPUtime=74.13
/proc/28042/task/28044/stat : 28044 (java) R 28041 28041 17511 34816 17511 4202560 14582 0 1 0 7400 13 0 0 25 0 10 0 46523620 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4115843845 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28042/tid=28045] ppid=28041 vsize=412372 CPUtime=4.52
/proc/28042/task/28045/stat : 28045 (java) S 28041 28041 17511 34816 17511 4202560 55281 0 0 0 436 16 0 0 16 0 10 0 46523621 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28046] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28046/stat : 28046 (java) S 28041 28041 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46523621 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28047] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28047/stat : 28047 (java) S 28041 28041 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46523621 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28048] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28048/stat : 28048 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46523622 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28049] ppid=28041 vsize=412372 CPUtime=0.15
/proc/28042/task/28049/stat : 28049 (java) S 28041 28041 17511 34816 17511 4202560 564 0 0 0 13 2 0 0 15 0 10 0 46523622 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28050] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28050/stat : 28050 (java) S 28041 28041 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 25 0 10 0 46523622 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28051] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28051/stat : 28051 (java) S 28041 28041 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46523622 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=28042/tid=28052] ppid=28041 vsize=412372 CPUtime=0
/proc/28042/task/28052/stat : 28052 (java) S 28041 28041 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46524197 422268928 70520 1283457024 134512640 134550932 4291675648 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 78.82
Current children cumulated vsize (KiB) 414940

Child status: 0
Real time (s): 78.958
CPU time (s): 78.8649
CPU user time (s): 78.5329
CPU system time (s): 0.33202
CPU usage (%): 99.8821
Max. virtual memory (cumulated for all children) (KiB): 414940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 78.5329
system time used= 0.33202
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71771
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= 2282
involuntary context switches= 3092

runsolver used 0 second user time and 0 second system time

The end