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

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.93 1.03 0.98 1/33 19402
/proc/meminfo: memFree=746680/1048576 swapFree=0/0
[pid=19402] ppid=19401 vsize=3024 CPUtime=0
/proc/19402/stat : 19402 (runsolver) D 19401 19402 17511 34816 17511 4202560 72 0 0 0 0 0 0 0 24 0 1 0 46091910 3096576 94 1283457024 134512640 134586868 4287025584 18446744073709551615 4294960130 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0
/proc/19402/statm: 756 94 62 19 0 55 0

[startup+0.123625 s]
/proc/loadavg: 0.93 1.03 0.98 1/33 19402
/proc/meminfo: memFree=746680/1048576 swapFree=0/0
[pid=19402] ppid=19401 vsize=2572 CPUtime=0
/proc/19402/stat : 19402 (gj-user-solver-) S 19401 19402 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46091910 2633728 269 1283457024 134512640 135304128 4289801472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19402/statm: 643 269 229 194 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+0.207629 s]
/proc/loadavg: 0.93 1.03 0.98 1/33 19402
/proc/meminfo: memFree=746680/1048576 swapFree=0/0
[pid=19402] ppid=19401 vsize=2572 CPUtime=0
/proc/19402/stat : 19402 (gj-user-solver-) S 19401 19402 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46091910 2633728 269 1283457024 134512640 135304128 4289801472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19402/statm: 643 269 229 194 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+0.307653 s]
/proc/loadavg: 0.93 1.03 0.98 1/33 19402
/proc/meminfo: memFree=746680/1048576 swapFree=0/0
[pid=19402] ppid=19401 vsize=2572 CPUtime=0
/proc/19402/stat : 19402 (gj-user-solver-) S 19401 19402 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46091910 2633728 269 1283457024 134512640 135304128 4289801472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19402/statm: 643 269 229 194 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+0.707662 s]
/proc/loadavg: 0.93 1.03 0.98 1/33 19402
/proc/meminfo: memFree=746680/1048576 swapFree=0/0
[pid=19402] ppid=19401 vsize=2572 CPUtime=0
/proc/19402/stat : 19402 (gj-user-solver-) S 19401 19402 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46091910 2633728 269 1283457024 134512640 135304128 4289801472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19402/statm: 643 269 229 194 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+1.50769 s]
/proc/loadavg: 0.93 1.03 0.98 1/43 19412
/proc/meminfo: memFree=710940/1048576 swapFree=0/0
[pid=19402] ppid=19401 vsize=2572 CPUtime=0
/proc/19402/stat : 19402 (gj-user-solver-) S 19401 19402 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46091910 2633728 269 1283457024 134512640 135304128 4289801472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19402/statm: 643 269 229 194 0 30 0
[pid=19404] ppid=19402 vsize=411680 CPUtime=0.46
/proc/19404/stat : 19404 (java) S 19402 19402 17511 34816 17511 4202496 12638 0 180 0 41 5 0 0 24 0 9 0 46091912 421560320 12057 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19404/statm: 102920 12057 2901 10 0 97068 0
[pid=19404/tid=19405] ppid=19402 vsize=411680 CPUtime=0.21
/proc/19404/task/19405/stat : 19405 (java) R 19402 19402 17511 34816 17511 4202560 4069 0 114 0 19 2 0 0 24 0 9 0 46091929 421560320 12057 1283457024 134512640 134550932 4291542544 18446744073709551615 4114726992 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19404/tid=19406] ppid=19402 vsize=411680 CPUtime=0.22
/proc/19404/task/19406/stat : 19406 (java) S 19402 19402 17511 34816 17511 4202560 7220 0 31 0 19 3 0 0 17 0 9 0 46091957 421560320 12057 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19407] ppid=19402 vsize=411680 CPUtime=0
/proc/19404/task/19407/stat : 19407 (java) S 19402 19402 17511 34816 17511 4202560 14 0 1 0 0 0 0 0 17 0 9 0 46091960 421560320 12057 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19408] ppid=19402 vsize=411680 CPUtime=0
/proc/19404/task/19408/stat : 19408 (java) S 19402 19402 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 46091960 421560320 12057 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19409] ppid=19402 vsize=411680 CPUtime=0
/proc/19404/task/19409/stat : 19409 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 24 0 9 0 46091973 421560320 12057 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19410] ppid=19402 vsize=411680 CPUtime=0.02
/proc/19404/task/19410/stat : 19410 (java) S 19402 19402 17511 34816 17511 4202560 439 0 5 0 2 0 0 0 18 0 9 0 46091973 421560320 12057 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19411] ppid=19402 vsize=411680 CPUtime=0
/proc/19404/task/19411/stat : 19411 (java) S 19402 19402 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 46091973 421560320 12057 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19412] ppid=19402 vsize=411680 CPUtime=0
/proc/19404/task/19412/stat : 19412 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 17 0 9 0 46091973 421560320 12057 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 414252

[startup+3.10666 s]
/proc/loadavg: 0.93 1.03 0.98 3/43 19412
/proc/meminfo: memFree=629244/1048576 swapFree=0/0
[pid=19402] ppid=19401 vsize=2572 CPUtime=0
/proc/19402/stat : 19402 (gj-user-solver-) S 19401 19402 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46091910 2633728 269 1283457024 134512640 135304128 4289801472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19402/statm: 643 269 229 194 0 30 0
[pid=19404] ppid=19402 vsize=411680 CPUtime=2.01
/proc/19404/stat : 19404 (java) S 19402 19402 17511 34816 17511 4202496 43188 0 180 0 185 16 0 0 24 0 9 0 46091912 421560320 42607 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19404/statm: 102920 42607 2901 10 0 97068 0
[pid=19404/tid=19405] ppid=19402 vsize=411680 CPUtime=0.77
/proc/19404/task/19405/stat : 19405 (java) R 19402 19402 17511 34816 17511 4202560 9302 0 114 0 74 3 0 0 25 0 9 0 46091929 421560320 42607 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19404/tid=19406] ppid=19402 vsize=411680 CPUtime=1.19
/proc/19404/task/19406/stat : 19406 (java) R 19402 19402 17511 34816 17511 4202560 32530 0 31 0 106 13 0 0 16 0 9 0 46091957 421560320 42607 1283457024 134512640 134550932 4291542544 18446744073709551615 4150939048 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=19404/tid=19407] ppid=19402 vsize=411680 CPUtime=0
/proc/19404/task/19407/stat : 19407 (java) S 19402 19402 17511 34816 17511 4202560 14 0 1 0 0 0 0 0 17 0 9 0 46091960 421560320 42607 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19408] ppid=19402 vsize=411680 CPUtime=0
/proc/19404/task/19408/stat : 19408 (java) S 19402 19402 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 46091960 421560320 42607 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19409] ppid=19402 vsize=411680 CPUtime=0
/proc/19404/task/19409/stat : 19409 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 24 0 9 0 46091973 421560320 42607 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19410] ppid=19402 vsize=411680 CPUtime=0.04
/proc/19404/task/19410/stat : 19410 (java) S 19402 19402 17511 34816 17511 4202560 446 0 5 0 4 0 0 0 15 0 9 0 46091973 421560320 42607 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19411] ppid=19402 vsize=411680 CPUtime=0
/proc/19404/task/19411/stat : 19411 (java) S 19402 19402 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 46091973 421560320 42607 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19412] ppid=19402 vsize=411680 CPUtime=0
/proc/19404/task/19412/stat : 19412 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 46091973 421560320 42607 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 414252
heavy processes:

[startup+6.30494 s]
/proc/loadavg: 1.01 1.04 0.99 2/43 19412
/proc/meminfo: memFree=439056/1048576 swapFree=0/0
[pid=19402] ppid=19401 vsize=2572 CPUtime=0
/proc/19402/stat : 19402 (gj-user-solver-) S 19401 19402 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46091910 2633728 269 1283457024 134512640 135304128 4289801472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19402/statm: 643 269 229 194 0 30 0
[pid=19404] ppid=19402 vsize=439928 CPUtime=5.07
/proc/19404/stat : 19404 (java) S 19402 19402 17511 34816 17511 4202496 77551 0 183 0 479 28 0 0 24 0 9 0 46091912 450486272 76967 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19404/statm: 109982 76967 2903 10 0 104130 0
[pid=19404/tid=19405] ppid=19402 vsize=439928 CPUtime=1.64
/proc/19404/task/19405/stat : 19405 (java) R 19402 19402 17511 34816 17511 4202560 13844 0 117 0 158 6 0 0 25 0 9 0 46091929 450486272 76967 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19404/tid=19406] ppid=19402 vsize=439928 CPUtime=3.36
/proc/19404/task/19406/stat : 19406 (java) R 19402 19402 17511 34816 17511 4202560 62331 0 31 0 314 22 0 0 16 0 9 0 46091957 450486272 76967 1283457024 134512640 134550932 4291542544 18446744073709551615 4150952660 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=19404/tid=19407] ppid=19402 vsize=439928 CPUtime=0
/proc/19404/task/19407/stat : 19407 (java) S 19402 19402 17511 34816 17511 4202560 14 0 1 0 0 0 0 0 17 0 9 0 46091960 450486272 76967 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19408] ppid=19402 vsize=439928 CPUtime=0
/proc/19404/task/19408/stat : 19408 (java) S 19402 19402 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 46091960 450486272 76967 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19409] ppid=19402 vsize=439928 CPUtime=0
/proc/19404/task/19409/stat : 19409 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 24 0 9 0 46091973 450486272 76967 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19410] ppid=19402 vsize=439928 CPUtime=0.06
/proc/19404/task/19410/stat : 19410 (java) S 19402 19402 17511 34816 17511 4202560 466 0 5 0 6 0 0 0 15 0 9 0 46091973 450486272 76967 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19411] ppid=19402 vsize=439928 CPUtime=0
/proc/19404/task/19411/stat : 19411 (java) S 19402 19402 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 46091973 450486272 76967 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19412] ppid=19402 vsize=439928 CPUtime=0
/proc/19404/task/19412/stat : 19412 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 46091973 450486272 76967 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 442500

[startup+12.7112 s]
/proc/loadavg: 1.09 1.06 0.99 3/43 19412
/proc/meminfo: memFree=430840/1048576 swapFree=0/0
[pid=19402] ppid=19401 vsize=2572 CPUtime=0
/proc/19402/stat : 19402 (gj-user-solver-) S 19401 19402 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46091910 2633728 269 1283457024 134512640 135304128 4289801472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19402/statm: 643 269 229 194 0 30 0
[pid=19404] ppid=19402 vsize=415232 CPUtime=11.36
/proc/19404/stat : 19404 (java) S 19402 19402 17511 34816 17511 4202496 104543 0 192 0 1090 46 0 0 24 0 10 0 46091912 425197568 71214 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19404/statm: 103808 71214 2917 10 0 97953 0
[pid=19404/tid=19405] ppid=19402 vsize=415232 CPUtime=2.85
/proc/19404/task/19405/stat : 19405 (java) R 19402 19402 17511 34816 17511 4202560 14086 0 126 0 279 6 0 0 25 0 10 0 46091929 425197568 71214 1283457024 134512640 134550932 4291542544 18446744073709551615 4114689943 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19404/tid=19406] ppid=19402 vsize=415232 CPUtime=8.42
/proc/19404/task/19406/stat : 19406 (java) S 19402 19402 17511 34816 17511 4202560 89034 0 31 0 803 39 0 0 16 0 10 0 46091957 425197568 71214 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19407] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19407/stat : 19407 (java) S 19402 19402 17511 34816 17511 4202560 14 0 1 0 0 0 0 0 15 0 10 0 46091960 425197568 71214 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19408] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19408/stat : 19408 (java) S 19402 19402 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46091960 425197568 71214 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19409] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19409/stat : 19409 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 24 0 10 0 46091973 425197568 71214 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19410] ppid=19402 vsize=415232 CPUtime=0.07
/proc/19404/task/19410/stat : 19410 (java) S 19402 19402 17511 34816 17511 4202560 509 0 5 0 7 0 0 0 15 0 10 0 46091973 425197568 71214 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19411] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19411/stat : 19411 (java) S 19402 19402 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46091973 425197568 71214 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19412] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19412/stat : 19412 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46091973 425197568 71214 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.36
Current children cumulated vsize (KiB) 417804

[startup+25.514 s]
/proc/loadavg: 1.07 1.06 0.99 2/44 19413
/proc/meminfo: memFree=430832/1048576 swapFree=0/0
[pid=19402] ppid=19401 vsize=2572 CPUtime=0
/proc/19402/stat : 19402 (gj-user-solver-) S 19401 19402 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46091910 2633728 269 1283457024 134512640 135304128 4289801472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19402/statm: 643 269 229 194 0 30 0
[pid=19404] ppid=19402 vsize=415232 CPUtime=24.15
/proc/19404/stat : 19404 (java) S 19402 19402 17511 34816 17511 4202496 104588 0 192 0 2368 47 0 0 24 0 10 0 46091912 425197568 71259 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19404/statm: 103808 71259 2921 10 0 97953 0
[pid=19404/tid=19405] ppid=19402 vsize=415232 CPUtime=15.48
/proc/19404/task/19405/stat : 19405 (java) R 19402 19402 17511 34816 17511 4202560 14089 0 126 0 1541 7 0 0 25 0 10 0 46091929 425197568 71259 1283457024 134512640 134550932 4291542544 18446744073709551615 4114286950 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19404/tid=19406] ppid=19402 vsize=415232 CPUtime=8.55
/proc/19404/task/19406/stat : 19406 (java) S 19402 19402 17511 34816 17511 4202560 89036 0 31 0 816 39 0 0 15 0 10 0 46091957 425197568 71259 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19407] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19407/stat : 19407 (java) S 19402 19402 17511 34816 17511 4202560 14 0 1 0 0 0 0 0 15 0 10 0 46091960 425197568 71259 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19408] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19408/stat : 19408 (java) S 19402 19402 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46091960 425197568 71259 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19409] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19409/stat : 19409 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 24 0 10 0 46091973 425197568 71259 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19410] ppid=19402 vsize=415232 CPUtime=0.1
/proc/19404/task/19410/stat : 19410 (java) S 19402 19402 17511 34816 17511 4202560 549 0 5 0 10 0 0 0 15 0 10 0 46091973 425197568 71259 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19411] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19411/stat : 19411 (java) S 19402 19402 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46091973 425197568 71259 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19412] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19412/stat : 19412 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46091973 425197568 71259 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19413] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19413/stat : 19413 (java) S 19402 19402 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46093165 425197568 71259 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.15
Current children cumulated vsize (KiB) 417804

[startup+51.1098 s]
/proc/loadavg: 1.05 1.05 0.99 2/44 19413
/proc/meminfo: memFree=430832/1048576 swapFree=0/0
[pid=19402] ppid=19401 vsize=2572 CPUtime=0
/proc/19402/stat : 19402 (gj-user-solver-) S 19401 19402 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46091910 2633728 269 1283457024 134512640 135304128 4289801472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19402/statm: 643 269 229 194 0 30 0
[pid=19404] ppid=19402 vsize=415232 CPUtime=49.74
/proc/19404/stat : 19404 (java) S 19402 19402 17511 34816 17511 4202496 104592 0 192 0 4927 47 0 0 24 0 10 0 46091912 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19404/statm: 103808 71263 2921 10 0 97953 0
[pid=19404/tid=19405] ppid=19402 vsize=415232 CPUtime=40.68
/proc/19404/task/19405/stat : 19405 (java) R 19402 19402 17511 34816 17511 4202560 14090 0 126 0 4061 7 0 0 25 0 10 0 46091929 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4115273720 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19404/tid=19406] ppid=19402 vsize=415232 CPUtime=8.94
/proc/19404/task/19406/stat : 19406 (java) S 19402 19402 17511 34816 17511 4202560 89036 0 31 0 855 39 0 0 15 0 10 0 46091957 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19407] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19407/stat : 19407 (java) S 19402 19402 17511 34816 17511 4202560 14 0 1 0 0 0 0 0 15 0 10 0 46091960 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19408] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19408/stat : 19408 (java) S 19402 19402 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46091960 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19409] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19409/stat : 19409 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 24 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19410] ppid=19402 vsize=415232 CPUtime=0.1
/proc/19404/task/19410/stat : 19410 (java) S 19402 19402 17511 34816 17511 4202560 552 0 5 0 10 0 0 0 15 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19411] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19411/stat : 19411 (java) S 19402 19402 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19412] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19412/stat : 19412 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19413] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19413/stat : 19413 (java) S 19402 19402 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46093165 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.74
Current children cumulated vsize (KiB) 417804

[startup+102.312 s]
/proc/loadavg: 1.02 1.04 0.99 2/44 19413
/proc/meminfo: memFree=430708/1048576 swapFree=0/0
[pid=19402] ppid=19401 vsize=2572 CPUtime=0
/proc/19402/stat : 19402 (gj-user-solver-) S 19401 19402 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46091910 2633728 269 1283457024 134512640 135304128 4289801472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19402/statm: 643 269 229 194 0 30 0
[pid=19404] ppid=19402 vsize=415232 CPUtime=100.91
/proc/19404/stat : 19404 (java) S 19402 19402 17511 34816 17511 4202496 104592 0 192 0 10044 47 0 0 24 0 10 0 46091912 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19404/statm: 103808 71263 2921 10 0 97953 0
[pid=19404/tid=19405] ppid=19402 vsize=415232 CPUtime=91.74
/proc/19404/task/19405/stat : 19405 (java) R 19402 19402 17511 34816 17511 4202560 14090 0 126 0 9167 7 0 0 25 0 10 0 46091929 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4115269001 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19404/tid=19406] ppid=19402 vsize=415232 CPUtime=9.05
/proc/19404/task/19406/stat : 19406 (java) S 19402 19402 17511 34816 17511 4202560 89036 0 31 0 866 39 0 0 16 0 10 0 46091957 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19407] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19407/stat : 19407 (java) S 19402 19402 17511 34816 17511 4202560 14 0 1 0 0 0 0 0 15 0 10 0 46091960 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19408] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19408/stat : 19408 (java) S 19402 19402 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46091960 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19409] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19409/stat : 19409 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 24 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19410] ppid=19402 vsize=415232 CPUtime=0.1
/proc/19404/task/19410/stat : 19410 (java) S 19402 19402 17511 34816 17511 4202560 552 0 5 0 10 0 0 0 15 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19411] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19411/stat : 19411 (java) S 19402 19402 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19412] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19412/stat : 19412 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19413] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19413/stat : 19413 (java) S 19402 19402 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46093165 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.91
Current children cumulated vsize (KiB) 417804

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

[startup+127.908 s]
/proc/loadavg: 1.01 1.04 0.99 2/46 19415
/proc/meminfo: memFree=430500/1048576 swapFree=0/0
[pid=19402] ppid=19401 vsize=2572 CPUtime=0
/proc/19402/stat : 19402 (gj-user-solver-) S 19401 19402 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46091910 2633728 269 1283457024 134512640 135304128 4289801472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19402/statm: 643 269 229 194 0 30 0
[pid=19404] ppid=19402 vsize=415232 CPUtime=126.48
/proc/19404/stat : 19404 (java) S 19402 19402 17511 34816 17511 4202496 104592 0 192 0 12601 47 0 0 24 0 10 0 46091912 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19404/statm: 103808 71263 2921 10 0 97953 0
[pid=19404/tid=19405] ppid=19402 vsize=415232 CPUtime=117.26
/proc/19404/task/19405/stat : 19405 (java) R 19402 19402 17511 34816 17511 4202560 14090 0 126 0 11719 7 0 0 25 0 10 0 46091929 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4115273733 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19404/tid=19406] ppid=19402 vsize=415232 CPUtime=9.11
/proc/19404/task/19406/stat : 19406 (java) S 19402 19402 17511 34816 17511 4202560 89036 0 31 0 872 39 0 0 16 0 10 0 46091957 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19407] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19407/stat : 19407 (java) S 19402 19402 17511 34816 17511 4202560 14 0 1 0 0 0 0 0 15 0 10 0 46091960 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19408] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19408/stat : 19408 (java) S 19402 19402 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46091960 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19409] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19409/stat : 19409 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 24 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19410] ppid=19402 vsize=415232 CPUtime=0.1
/proc/19404/task/19410/stat : 19410 (java) S 19402 19402 17511 34816 17511 4202560 552 0 5 0 10 0 0 0 15 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19411] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19411/stat : 19411 (java) S 19402 19402 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19412] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19412/stat : 19412 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19413] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19413/stat : 19413 (java) S 19402 19402 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46093165 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 126.48
Current children cumulated vsize (KiB) 417804

[startup+140.71 s]
/proc/loadavg: 1.01 1.03 0.99 2/46 19416
/proc/meminfo: memFree=430500/1048576 swapFree=0/0
[pid=19402] ppid=19401 vsize=2572 CPUtime=0
/proc/19402/stat : 19402 (gj-user-solver-) S 19401 19402 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46091910 2633728 269 1283457024 134512640 135304128 4289801472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19402/statm: 643 269 229 194 0 30 0
[pid=19404] ppid=19402 vsize=415232 CPUtime=139.29
/proc/19404/stat : 19404 (java) S 19402 19402 17511 34816 17511 4202496 104592 0 192 0 13882 47 0 0 24 0 10 0 46091912 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19404/statm: 103808 71263 2921 10 0 97953 0
[pid=19404/tid=19405] ppid=19402 vsize=415232 CPUtime=130.03
/proc/19404/task/19405/stat : 19405 (java) R 19402 19402 17511 34816 17511 4202560 14090 0 126 0 12996 7 0 0 25 0 10 0 46091929 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4115269001 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19404/tid=19406] ppid=19402 vsize=415232 CPUtime=9.14
/proc/19404/task/19406/stat : 19406 (java) S 19402 19402 17511 34816 17511 4202560 89036 0 31 0 875 39 0 0 15 0 10 0 46091957 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19407] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19407/stat : 19407 (java) S 19402 19402 17511 34816 17511 4202560 14 0 1 0 0 0 0 0 15 0 10 0 46091960 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19408] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19408/stat : 19408 (java) S 19402 19402 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46091960 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19409] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19409/stat : 19409 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 24 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19410] ppid=19402 vsize=415232 CPUtime=0.1
/proc/19404/task/19410/stat : 19410 (java) S 19402 19402 17511 34816 17511 4202560 552 0 5 0 10 0 0 0 15 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19411] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19411/stat : 19411 (java) S 19402 19402 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19412] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19412/stat : 19412 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19413] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19413/stat : 19413 (java) S 19402 19402 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46093165 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 139.29
Current children cumulated vsize (KiB) 417804

[startup+153.514 s]
/proc/loadavg: 1.01 1.03 0.99 2/46 19417
/proc/meminfo: memFree=430376/1048576 swapFree=0/0
[pid=19402] ppid=19401 vsize=2572 CPUtime=0
/proc/19402/stat : 19402 (gj-user-solver-) S 19401 19402 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46091910 2633728 269 1283457024 134512640 135304128 4289801472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19402/statm: 643 269 229 194 0 30 0
[pid=19404] ppid=19402 vsize=415232 CPUtime=152.05
/proc/19404/stat : 19404 (java) S 19402 19402 17511 34816 17511 4202496 104592 0 192 0 15158 47 0 0 24 0 10 0 46091912 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19404/statm: 103808 71263 2921 10 0 97953 0
[pid=19404/tid=19405] ppid=19402 vsize=415232 CPUtime=142.75
/proc/19404/task/19405/stat : 19405 (java) R 19402 19402 17511 34816 17511 4202560 14090 0 126 0 14268 7 0 0 25 0 10 0 46091929 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4115320324 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19404/tid=19406] ppid=19402 vsize=415232 CPUtime=9.18
/proc/19404/task/19406/stat : 19406 (java) S 19402 19402 17511 34816 17511 4202560 89036 0 31 0 879 39 0 0 15 0 10 0 46091957 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19407] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19407/stat : 19407 (java) S 19402 19402 17511 34816 17511 4202560 14 0 1 0 0 0 0 0 15 0 10 0 46091960 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19408] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19408/stat : 19408 (java) S 19402 19402 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46091960 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19409] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19409/stat : 19409 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 24 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19410] ppid=19402 vsize=415232 CPUtime=0.1
/proc/19404/task/19410/stat : 19410 (java) S 19402 19402 17511 34816 17511 4202560 552 0 5 0 10 0 0 0 15 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19411] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19411/stat : 19411 (java) S 19402 19402 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19412] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19412/stat : 19412 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19413] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19413/stat : 19413 (java) S 19402 19402 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46093165 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 152.05
Current children cumulated vsize (KiB) 417804

[startup+156.714 s]
/proc/loadavg: 1.01 1.03 0.99 2/46 19418
/proc/meminfo: memFree=430376/1048576 swapFree=0/0
[pid=19402] ppid=19401 vsize=2572 CPUtime=0
/proc/19402/stat : 19402 (gj-user-solver-) S 19401 19402 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46091910 2633728 269 1283457024 134512640 135304128 4289801472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19402/statm: 643 269 229 194 0 30 0
[pid=19404] ppid=19402 vsize=415232 CPUtime=155.25
/proc/19404/stat : 19404 (java) S 19402 19402 17511 34816 17511 4202496 104592 0 192 0 15478 47 0 0 24 0 10 0 46091912 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19404/statm: 103808 71263 2921 10 0 97953 0
[pid=19404/tid=19405] ppid=19402 vsize=415232 CPUtime=145.94
/proc/19404/task/19405/stat : 19405 (java) R 19402 19402 17511 34816 17511 4202560 14090 0 126 0 14587 7 0 0 25 0 10 0 46091929 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4114766943 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19404/tid=19406] ppid=19402 vsize=415232 CPUtime=9.19
/proc/19404/task/19406/stat : 19406 (java) S 19402 19402 17511 34816 17511 4202560 89036 0 31 0 880 39 0 0 15 0 10 0 46091957 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19407] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19407/stat : 19407 (java) S 19402 19402 17511 34816 17511 4202560 14 0 1 0 0 0 0 0 15 0 10 0 46091960 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19408] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19408/stat : 19408 (java) S 19402 19402 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46091960 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19409] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19409/stat : 19409 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 24 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19410] ppid=19402 vsize=415232 CPUtime=0.1
/proc/19404/task/19410/stat : 19410 (java) S 19402 19402 17511 34816 17511 4202560 552 0 5 0 10 0 0 0 15 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19411] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19411/stat : 19411 (java) S 19402 19402 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19412] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19412/stat : 19412 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19413] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19413/stat : 19413 (java) S 19402 19402 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46093165 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 155.25
Current children cumulated vsize (KiB) 417804

[startup+159.915 s]
/proc/loadavg: 1.01 1.03 0.99 2/46 19418
/proc/meminfo: memFree=430376/1048576 swapFree=0/0
[pid=19402] ppid=19401 vsize=2572 CPUtime=0
/proc/19402/stat : 19402 (gj-user-solver-) S 19401 19402 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46091910 2633728 269 1283457024 134512640 135304128 4289801472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19402/statm: 643 269 229 194 0 30 0
[pid=19404] ppid=19402 vsize=415232 CPUtime=158.45
/proc/19404/stat : 19404 (java) S 19402 19402 17511 34816 17511 4202496 104592 0 192 0 15798 47 0 0 24 0 10 0 46091912 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19404/statm: 103808 71263 2921 10 0 97953 0
[pid=19404/tid=19405] ppid=19402 vsize=415232 CPUtime=149.13
/proc/19404/task/19405/stat : 19405 (java) R 19402 19402 17511 34816 17511 4202560 14090 0 126 0 14906 7 0 0 25 0 10 0 46091929 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4115273733 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19404/tid=19406] ppid=19402 vsize=415232 CPUtime=9.2
/proc/19404/task/19406/stat : 19406 (java) S 19402 19402 17511 34816 17511 4202560 89036 0 31 0 881 39 0 0 15 0 10 0 46091957 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19407] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19407/stat : 19407 (java) S 19402 19402 17511 34816 17511 4202560 14 0 1 0 0 0 0 0 15 0 10 0 46091960 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19408] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19408/stat : 19408 (java) S 19402 19402 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46091960 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19409] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19409/stat : 19409 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 24 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19410] ppid=19402 vsize=415232 CPUtime=0.1
/proc/19404/task/19410/stat : 19410 (java) S 19402 19402 17511 34816 17511 4202560 552 0 5 0 10 0 0 0 15 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19411] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19411/stat : 19411 (java) S 19402 19402 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19412] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19412/stat : 19412 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19413] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19413/stat : 19413 (java) S 19402 19402 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46093165 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 158.45
Current children cumulated vsize (KiB) 417804

[startup+160.715 s]
/proc/loadavg: 1.00 1.03 0.99 2/46 19418
/proc/meminfo: memFree=430376/1048576 swapFree=0/0
[pid=19402] ppid=19401 vsize=2572 CPUtime=0
/proc/19402/stat : 19402 (gj-user-solver-) S 19401 19402 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46091910 2633728 269 1283457024 134512640 135304128 4289801472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19402/statm: 643 269 229 194 0 30 0
[pid=19404] ppid=19402 vsize=415232 CPUtime=159.25
/proc/19404/stat : 19404 (java) S 19402 19402 17511 34816 17511 4202496 104592 0 192 0 15878 47 0 0 24 0 10 0 46091912 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19404/statm: 103808 71263 2921 10 0 97953 0
[pid=19404/tid=19405] ppid=19402 vsize=415232 CPUtime=149.93
/proc/19404/task/19405/stat : 19405 (java) R 19402 19402 17511 34816 17511 4202560 14090 0 126 0 14986 7 0 0 25 0 10 0 46091929 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4115273733 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19404/tid=19406] ppid=19402 vsize=415232 CPUtime=9.2
/proc/19404/task/19406/stat : 19406 (java) S 19402 19402 17511 34816 17511 4202560 89036 0 31 0 881 39 0 0 15 0 10 0 46091957 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19407] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19407/stat : 19407 (java) S 19402 19402 17511 34816 17511 4202560 14 0 1 0 0 0 0 0 15 0 10 0 46091960 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19408] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19408/stat : 19408 (java) S 19402 19402 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46091960 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19409] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19409/stat : 19409 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 24 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19410] ppid=19402 vsize=415232 CPUtime=0.1
/proc/19404/task/19410/stat : 19410 (java) S 19402 19402 17511 34816 17511 4202560 552 0 5 0 10 0 0 0 15 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19411] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19411/stat : 19411 (java) S 19402 19402 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19412] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19412/stat : 19412 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19413] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19413/stat : 19413 (java) S 19402 19402 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46093165 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 159.25
Current children cumulated vsize (KiB) 417804

[startup+161.116 s]
/proc/loadavg: 1.00 1.03 0.99 2/46 19418
/proc/meminfo: memFree=430376/1048576 swapFree=0/0
[pid=19402] ppid=19401 vsize=2572 CPUtime=0
/proc/19402/stat : 19402 (gj-user-solver-) S 19401 19402 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46091910 2633728 269 1283457024 134512640 135304128 4289801472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19402/statm: 643 269 229 194 0 30 0
[pid=19404] ppid=19402 vsize=415232 CPUtime=159.65
/proc/19404/stat : 19404 (java) S 19402 19402 17511 34816 17511 4202496 104592 0 192 0 15918 47 0 0 24 0 10 0 46091912 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19404/statm: 103808 71263 2921 10 0 97953 0
[pid=19404/tid=19405] ppid=19402 vsize=415232 CPUtime=150.33
/proc/19404/task/19405/stat : 19405 (java) R 19402 19402 17511 34816 17511 4202560 14090 0 126 0 15026 7 0 0 25 0 10 0 46091929 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4115273733 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19404/tid=19406] ppid=19402 vsize=415232 CPUtime=9.2
/proc/19404/task/19406/stat : 19406 (java) S 19402 19402 17511 34816 17511 4202560 89036 0 31 0 881 39 0 0 15 0 10 0 46091957 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19407] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19407/stat : 19407 (java) S 19402 19402 17511 34816 17511 4202560 14 0 1 0 0 0 0 0 15 0 10 0 46091960 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19408] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19408/stat : 19408 (java) S 19402 19402 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46091960 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19409] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19409/stat : 19409 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 24 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19410] ppid=19402 vsize=415232 CPUtime=0.1
/proc/19404/task/19410/stat : 19410 (java) S 19402 19402 17511 34816 17511 4202560 552 0 5 0 10 0 0 0 15 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19411] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19411/stat : 19411 (java) S 19402 19402 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19412] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19412/stat : 19412 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19413] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19413/stat : 19413 (java) S 19402 19402 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46093165 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 159.65
Current children cumulated vsize (KiB) 417804

[startup+161.506 s]
/proc/loadavg: 1.00 1.03 0.99 2/46 19418
/proc/meminfo: memFree=430376/1048576 swapFree=0/0
[pid=19402] ppid=19401 vsize=2572 CPUtime=0
/proc/19402/stat : 19402 (gj-user-solver-) S 19401 19402 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46091910 2633728 269 1283457024 134512640 135304128 4289801472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19402/statm: 643 269 229 194 0 30 0
[pid=19404] ppid=19402 vsize=415232 CPUtime=160.03
/proc/19404/stat : 19404 (java) S 19402 19402 17511 34816 17511 4202496 104592 0 192 0 15956 47 0 0 24 0 10 0 46091912 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19404/statm: 103808 71263 2921 10 0 97953 0
[pid=19404/tid=19405] ppid=19402 vsize=415232 CPUtime=150.72
/proc/19404/task/19405/stat : 19405 (java) R 19402 19402 17511 34816 17511 4202560 14090 0 126 0 15065 7 0 0 25 0 10 0 46091929 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4115273733 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19404/tid=19406] ppid=19402 vsize=415232 CPUtime=9.2
/proc/19404/task/19406/stat : 19406 (java) S 19402 19402 17511 34816 17511 4202560 89036 0 31 0 881 39 0 0 15 0 10 0 46091957 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19407] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19407/stat : 19407 (java) S 19402 19402 17511 34816 17511 4202560 14 0 1 0 0 0 0 0 15 0 10 0 46091960 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19408] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19408/stat : 19408 (java) S 19402 19402 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46091960 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19409] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19409/stat : 19409 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 24 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19410] ppid=19402 vsize=415232 CPUtime=0.1
/proc/19404/task/19410/stat : 19410 (java) S 19402 19402 17511 34816 17511 4202560 552 0 5 0 10 0 0 0 15 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19411] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19411/stat : 19411 (java) S 19402 19402 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19412] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19412/stat : 19412 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19413] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19413/stat : 19413 (java) S 19402 19402 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46093165 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (KiB) 417804

[startup+161.606 s]
/proc/loadavg: 1.00 1.03 0.99 2/46 19418
/proc/meminfo: memFree=430376/1048576 swapFree=0/0
[pid=19402] ppid=19401 vsize=2572 CPUtime=0
/proc/19402/stat : 19402 (gj-user-solver-) S 19401 19402 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46091910 2633728 269 1283457024 134512640 135304128 4289801472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19402/statm: 643 269 229 194 0 30 0
[pid=19404] ppid=19402 vsize=415232 CPUtime=160.13
/proc/19404/stat : 19404 (java) S 19402 19402 17511 34816 17511 4202496 104592 0 192 0 15966 47 0 0 24 0 10 0 46091912 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19404/statm: 103808 71263 2921 10 0 97953 0
[pid=19404/tid=19405] ppid=19402 vsize=415232 CPUtime=150.82
/proc/19404/task/19405/stat : 19405 (java) R 19402 19402 17511 34816 17511 4202560 14090 0 126 0 15075 7 0 0 25 0 10 0 46091929 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4115273733 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19404/tid=19406] ppid=19402 vsize=415232 CPUtime=9.2
/proc/19404/task/19406/stat : 19406 (java) S 19402 19402 17511 34816 17511 4202560 89036 0 31 0 881 39 0 0 15 0 10 0 46091957 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 0 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19407] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19407/stat : 19407 (java) S 19402 19402 17511 34816 17511 4202560 14 0 1 0 0 0 0 0 15 0 10 0 46091960 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19408] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19408/stat : 19408 (java) S 19402 19402 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46091960 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19409] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19409/stat : 19409 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 24 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19410] ppid=19402 vsize=415232 CPUtime=0.1
/proc/19404/task/19410/stat : 19410 (java) S 19402 19402 17511 34816 17511 4202560 552 0 5 0 10 0 0 0 15 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19411] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19411/stat : 19411 (java) S 19402 19402 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19412] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19412/stat : 19412 (java) S 19402 19402 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46091973 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=19404/tid=19413] ppid=19402 vsize=415232 CPUtime=0
/proc/19404/task/19413/stat : 19413 (java) S 19402 19402 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46093165 425197568 71263 1283457024 134512640 134550932 4291542544 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 160.13
Current children cumulated vsize (KiB) 417804

Child status: 0
Real time (s): 161.669
CPU time (s): 160.182
CPU user time (s): 159.69
CPU system time (s): 0.49203
CPU usage (%): 99.0805
Max. virtual memory (cumulated for all children) (KiB): 442520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159.69
system time used= 0.49203
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104986
page faults= 192
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4386
involuntary context switches= 5830

runsolver used 0 second user time and 0 second system time

The end