runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201109011757/gj-user-solver-1.0/cff22854-9512-11e0-8001-00163e1e087d.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//cff22854-9512-11e0-8001-00163e1e087d.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/cff22854-9512-11e0-8001-00163e1e087d.cudf.dudf-real.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-notuptodate,-removed,-changed 

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


[startup+0 s]
/proc/loadavg: 0.85 1.01 1.01 3/35 2427
/proc/meminfo: memFree=213964/1048576 swapFree=0/0
[pid=2425] ppid=2424 vsize=2572 CPUtime=0
/proc/2425/stat : 2425 (gj-user-solver-) S 2424 2425 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73483177 2633728 270 1283457024 134512640 135304128 4289721472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2425/statm: 643 270 229 194 0 30 0
[pid=2426] ppid=2425 vsize=11356 CPUtime=0.01
/proc/2426/stat : 2426 (java) S 2425 2425 22717 34817 22717 4202496 918 0 0 0 0 1 0 0 25 0 2 0 73483177 11628544 651 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/2426/statm: 2839 651 285 10 0 1185 0
[pid=2426/tid=2427] ppid=2425 vsize=11356 CPUtime=0
/proc/2426/task/2427/stat : 2427 (java) R 2425 2425 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 2 0 73483177 11628544 651 1283457024 134512640 134550932 4294703264 18446744073709551615 4159045224 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.124444 s]
/proc/loadavg: 0.85 1.01 1.01 3/35 2427
/proc/meminfo: memFree=213964/1048576 swapFree=0/0
[pid=2425] ppid=2424 vsize=2572 CPUtime=0
/proc/2425/stat : 2425 (gj-user-solver-) S 2424 2425 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73483177 2633728 270 1283457024 134512640 135304128 4289721472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2425/statm: 643 270 229 194 0 30 0
[pid=2426] ppid=2425 vsize=409920 CPUtime=0.12
/proc/2426/stat : 2426 (java) S 2425 2425 22717 34817 22717 4202496 3871 0 1 0 10 2 0 0 25 0 9 0 73483177 419758080 3299 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2426/statm: 102480 3299 1906 10 0 96628 0
[pid=2426/tid=2427] ppid=2425 vsize=409920 CPUtime=0.11
/proc/2426/task/2427/stat : 2427 (java) R 2425 2425 22717 34817 22717 4202560 2770 0 1 0 10 1 0 0 25 0 9 0 73483177 419758080 3299 1283457024 134512640 134550932 4294703264 18446744073709551615 4151147900 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 412492

[startup+0.204464 s]
/proc/loadavg: 0.85 1.01 1.01 3/35 2427
/proc/meminfo: memFree=213964/1048576 swapFree=0/0
[pid=2425] ppid=2424 vsize=2572 CPUtime=0
/proc/2425/stat : 2425 (gj-user-solver-) S 2424 2425 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73483177 2633728 270 1283457024 134512640 135304128 4289721472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2425/statm: 643 270 229 194 0 30 0
[pid=2426] ppid=2425 vsize=410068 CPUtime=0.2
/proc/2426/stat : 2426 (java) S 2425 2425 22717 34817 22717 4202496 4405 0 1 0 18 2 0 0 25 0 9 0 73483177 419909632 3832 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2426/statm: 102517 3832 1946 10 0 96665 0
[pid=2426/tid=2427] ppid=2425 vsize=410068 CPUtime=0.18
/proc/2426/task/2427/stat : 2427 (java) R 2425 2425 22717 34817 22717 4202560 3201 0 1 0 17 1 0 0 25 0 9 0 73483177 419909632 3832 1283457024 134512640 134550932 4294703264 18446744073709551615 4114403678 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412640

[startup+0.30448 s]
/proc/loadavg: 0.85 1.01 1.01 3/35 2427
/proc/meminfo: memFree=213964/1048576 swapFree=0/0
[pid=2425] ppid=2424 vsize=2572 CPUtime=0
/proc/2425/stat : 2425 (gj-user-solver-) S 2424 2425 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73483177 2633728 270 1283457024 134512640 135304128 4289721472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2425/statm: 643 270 229 194 0 30 0
[pid=2426] ppid=2425 vsize=410376 CPUtime=0.3
/proc/2426/stat : 2426 (java) S 2425 2425 22717 34817 22717 4202496 5422 0 1 0 28 2 0 0 25 0 9 0 73483177 420225024 4848 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2426/statm: 102594 4848 1957 10 0 96742 0
[pid=2426/tid=2427] ppid=2425 vsize=410376 CPUtime=0.25
/proc/2426/task/2427/stat : 2427 (java) R 2425 2425 22717 34817 22717 4202560 3527 0 1 0 24 1 0 0 25 0 9 0 73483177 420225024 4848 1283457024 134512640 134550932 4294703264 18446744073709551615 4114822563 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412948

[startup+0.704594 s]
/proc/loadavg: 0.85 1.01 1.01 3/35 2427
/proc/meminfo: memFree=213964/1048576 swapFree=0/0
[pid=2425] ppid=2424 vsize=2572 CPUtime=0
/proc/2425/stat : 2425 (gj-user-solver-) S 2424 2425 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73483177 2633728 270 1283457024 134512640 135304128 4289721472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2425/statm: 643 270 229 194 0 30 0
[pid=2426] ppid=2425 vsize=410784 CPUtime=0.7
/proc/2426/stat : 2426 (java) S 2425 2425 22717 34817 22717 4202496 12899 0 1 0 68 2 0 0 25 0 9 0 73483177 420642816 12139 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2426/statm: 102696 12139 2901 10 0 96844 0
[pid=2426/tid=2427] ppid=2425 vsize=410784 CPUtime=0.44
/proc/2426/task/2427/stat : 2427 (java) R 2425 2425 22717 34817 22717 4202560 4215 0 1 0 43 1 0 0 25 0 9 0 73483177 420642816 12139 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413356

[startup+1.50483 s]
/proc/loadavg: 0.85 1.01 1.01 4/43 2435
/proc/meminfo: memFree=155920/1048576 swapFree=0/0
[pid=2425] ppid=2424 vsize=2572 CPUtime=0
/proc/2425/stat : 2425 (gj-user-solver-) S 2424 2425 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73483177 2633728 270 1283457024 134512640 135304128 4289721472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2425/statm: 643 270 229 194 0 30 0
[pid=2426] ppid=2425 vsize=410784 CPUtime=1.5
/proc/2426/stat : 2426 (java) S 2425 2425 22717 34817 22717 4202496 27369 0 1 0 142 8 0 0 25 0 9 0 73483177 420642816 26609 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2426/statm: 102696 26609 2901 10 0 96844 0
[pid=2426/tid=2427] ppid=2425 vsize=410784 CPUtime=0.79
/proc/2426/task/2427/stat : 2427 (java) R 2425 2425 22717 34817 22717 4202560 6791 0 1 0 76 3 0 0 25 0 9 0 73483177 420642816 26609 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2426/tid=2429] ppid=2425 vsize=410784 CPUtime=0.64
/proc/2426/task/2429/stat : 2429 (java) R 2425 2425 22717 34817 22717 4202560 19192 0 0 0 60 4 0 0 19 0 9 0 73483178 420642816 26609 1283457024 134512640 134550932 4294703264 18446744073709551615 4150948766 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=2426/tid=2430] ppid=2425 vsize=410784 CPUtime=0
/proc/2426/task/2430/stat : 2430 (java) S 2425 2425 22717 34817 22717 4202560 16 0 0 0 0 0 0 0 21 0 9 0 73483179 420642816 26609 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2431] ppid=2425 vsize=410784 CPUtime=0
/proc/2426/task/2431/stat : 2431 (java) S 2425 2425 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 21 0 9 0 73483179 420642816 26609 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2432] ppid=2425 vsize=410784 CPUtime=0
/proc/2426/task/2432/stat : 2432 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73483180 420642816 26609 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2433] ppid=2425 vsize=410784 CPUtime=0.05
/proc/2426/task/2433/stat : 2433 (java) S 2425 2425 22717 34817 22717 4202560 443 0 0 0 5 0 0 0 18 0 9 0 73483180 420642816 26609 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2434] ppid=2425 vsize=410784 CPUtime=0
/proc/2426/task/2434/stat : 2434 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73483180 420642816 26609 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2435] ppid=2425 vsize=410784 CPUtime=0
/proc/2426/task/2435/stat : 2435 (java) S 2425 2425 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 73483180 420642816 26609 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413356

[startup+3.10549 s]
/proc/loadavg: 0.85 1.01 1.01 2/43 2435
/proc/meminfo: memFree=81768/1048576 swapFree=0/0
[pid=2425] ppid=2424 vsize=2572 CPUtime=0
/proc/2425/stat : 2425 (gj-user-solver-) S 2424 2425 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73483177 2633728 270 1283457024 134512640 135304128 4289721472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2425/statm: 643 270 229 194 0 30 0
[pid=2426] ppid=2425 vsize=410916 CPUtime=3.1
/proc/2426/stat : 2426 (java) S 2425 2425 22717 34817 22717 4202496 47259 0 1 0 295 15 0 0 25 0 9 0 73483177 420777984 46493 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2426/statm: 102729 46493 2902 10 0 96877 0
[pid=2426/tid=2427] ppid=2425 vsize=410916 CPUtime=1.41
/proc/2426/task/2427/stat : 2427 (java) R 2425 2425 22717 34817 22717 4202560 12636 0 1 0 134 7 0 0 25 0 9 0 73483177 420777984 46493 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2426/tid=2429] ppid=2425 vsize=410916 CPUtime=1.57
/proc/2426/task/2429/stat : 2429 (java) S 2425 2425 22717 34817 22717 4202560 33217 0 0 0 151 6 0 0 17 0 9 0 73483178 420777984 46493 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2430] ppid=2425 vsize=410916 CPUtime=0
/proc/2426/task/2430/stat : 2430 (java) S 2425 2425 22717 34817 22717 4202560 16 0 0 0 0 0 0 0 21 0 9 0 73483179 420777984 46493 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2431] ppid=2425 vsize=410916 CPUtime=0
/proc/2426/task/2431/stat : 2431 (java) S 2425 2425 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 21 0 9 0 73483179 420777984 46493 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2432] ppid=2425 vsize=410916 CPUtime=0
/proc/2426/task/2432/stat : 2432 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73483180 420777984 46493 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2433] ppid=2425 vsize=410916 CPUtime=0.09
/proc/2426/task/2433/stat : 2433 (java) S 2425 2425 22717 34817 22717 4202560 463 0 0 0 9 0 0 0 15 0 9 0 73483180 420777984 46493 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2434] ppid=2425 vsize=410916 CPUtime=0
/proc/2426/task/2434/stat : 2434 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73483180 420777984 46493 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2435] ppid=2425 vsize=410916 CPUtime=0
/proc/2426/task/2435/stat : 2435 (java) S 2425 2425 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 73483180 420777984 46493 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413488

[startup+6.30599 s]
/proc/loadavg: 0.86 1.01 1.01 2/44 2436
/proc/meminfo: memFree=5260/1048576 swapFree=0/0
[pid=2425] ppid=2424 vsize=2572 CPUtime=0
/proc/2425/stat : 2425 (gj-user-solver-) S 2424 2425 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73483177 2633728 270 1283457024 134512640 135304128 4289721472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2425/statm: 643 270 229 194 0 30 0
[pid=2426] ppid=2425 vsize=411252 CPUtime=6.29
/proc/2426/stat : 2426 (java) S 2425 2425 22717 34817 22717 4202496 63458 0 1 0 607 22 0 0 25 0 10 0 73483177 421122048 62613 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2426/statm: 102813 62613 2928 10 0 96958 0
[pid=2426/tid=2427] ppid=2425 vsize=411252 CPUtime=4.15
/proc/2426/task/2427/stat : 2427 (java) R 2425 2425 22717 34817 22717 4202560 14504 0 1 0 406 9 0 0 25 0 10 0 73483177 421122048 62613 1283457024 134512640 134550932 4294703264 18446744073709551615 4115259130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2426/tid=2429] ppid=2425 vsize=411252 CPUtime=1.96
/proc/2426/task/2429/stat : 2429 (java) S 2425 2425 22717 34817 22717 4202560 47466 0 0 0 185 11 0 0 16 0 10 0 73483178 421122048 62613 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2430] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2430/stat : 2430 (java) S 2425 2425 22717 34817 22717 4202560 16 0 0 0 0 0 0 0 18 0 10 0 73483179 421122048 62613 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2431] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2431/stat : 2431 (java) S 2425 2425 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73483179 421122048 62613 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2432] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2432/stat : 2432 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73483180 421122048 62613 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2433] ppid=2425 vsize=411252 CPUtime=0.15
/proc/2426/task/2433/stat : 2433 (java) S 2425 2425 22717 34817 22717 4202560 541 0 0 0 15 0 0 0 15 0 10 0 73483180 421122048 62613 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2434] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2434/stat : 2434 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73483180 421122048 62613 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2435] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2435/stat : 2435 (java) S 2425 2425 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73483180 421122048 62613 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2436] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2436/stat : 2436 (java) S 2425 2425 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73483569 421122048 62613 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 413824

[startup+12.7078 s]
/proc/loadavg: 0.87 1.01 1.01 2/44 2436
/proc/meminfo: memFree=5260/1048576 swapFree=0/0
[pid=2425] ppid=2424 vsize=2572 CPUtime=0
/proc/2425/stat : 2425 (gj-user-solver-) S 2424 2425 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73483177 2633728 270 1283457024 134512640 135304128 4289721472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2425/statm: 643 270 229 194 0 30 0
[pid=2426] ppid=2425 vsize=411252 CPUtime=12.68
/proc/2426/stat : 2426 (java) S 2425 2425 22717 34817 22717 4202496 65364 0 1 0 1246 22 0 0 25 0 10 0 73483177 421122048 64510 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2426/statm: 102813 64510 2922 10 0 96958 0
[pid=2426/tid=2427] ppid=2425 vsize=411252 CPUtime=10.23
/proc/2426/task/2427/stat : 2427 (java) R 2425 2425 22717 34817 22717 4202560 14505 0 1 0 1014 9 0 0 25 0 10 0 73483177 421122048 64510 1283457024 134512640 134550932 4294703264 18446744073709551615 4115253015 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2426/tid=2429] ppid=2425 vsize=411252 CPUtime=2.27
/proc/2426/task/2429/stat : 2429 (java) S 2425 2425 22717 34817 22717 4202560 49368 0 0 0 216 11 0 0 15 0 10 0 73483178 421122048 64510 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2430] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2430/stat : 2430 (java) S 2425 2425 22717 34817 22717 4202560 16 0 0 0 0 0 0 0 18 0 10 0 73483179 421122048 64510 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2431] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2431/stat : 2431 (java) S 2425 2425 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73483179 421122048 64510 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2432] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2432/stat : 2432 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73483180 421122048 64510 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2433] ppid=2425 vsize=411252 CPUtime=0.15
/proc/2426/task/2433/stat : 2433 (java) S 2425 2425 22717 34817 22717 4202560 544 0 0 0 15 0 0 0 16 0 10 0 73483180 421122048 64510 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2434] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2434/stat : 2434 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73483180 421122048 64510 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2435] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2435/stat : 2435 (java) S 2425 2425 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73483180 421122048 64510 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2436] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2436/stat : 2436 (java) S 2425 2425 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73483569 421122048 64510 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 413824

[startup+25.5135 s]
/proc/loadavg: 0.90 1.01 1.01 2/44 2436
/proc/meminfo: memFree=15304/1048576 swapFree=0/0
[pid=2425] ppid=2424 vsize=2572 CPUtime=0
/proc/2425/stat : 2425 (gj-user-solver-) S 2424 2425 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73483177 2633728 270 1283457024 134512640 135304128 4289721472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2425/statm: 643 270 229 194 0 30 0
[pid=2426] ppid=2425 vsize=411252 CPUtime=25.46
/proc/2426/stat : 2426 (java) S 2425 2425 22717 34817 22717 4202496 65368 0 1 0 2523 23 0 0 25 0 10 0 73483177 421122048 61860 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2426/statm: 102813 61860 2922 10 0 96958 0
[pid=2426/tid=2427] ppid=2425 vsize=411252 CPUtime=22.61
/proc/2426/task/2427/stat : 2427 (java) R 2425 2425 22717 34817 22717 4202560 14505 0 1 0 2252 9 0 0 25 0 10 0 73483177 421122048 61860 1283457024 134512640 134550932 4294703264 18446744073709551615 4115342345 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2426/tid=2429] ppid=2425 vsize=411252 CPUtime=2.66
/proc/2426/task/2429/stat : 2429 (java) S 2425 2425 22717 34817 22717 4202560 49368 0 0 0 254 12 0 0 15 0 10 0 73483178 421122048 61860 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2430] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2430/stat : 2430 (java) S 2425 2425 22717 34817 22717 4202560 16 0 0 0 0 0 0 0 18 0 10 0 73483179 421122048 61860 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2431] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2431/stat : 2431 (java) S 2425 2425 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73483179 421122048 61860 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2432] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2432/stat : 2432 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73483180 421122048 61860 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2433] ppid=2425 vsize=411252 CPUtime=0.16
/proc/2426/task/2433/stat : 2433 (java) S 2425 2425 22717 34817 22717 4202560 548 0 0 0 16 0 0 0 15 0 10 0 73483180 421122048 61860 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2434] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2434/stat : 2434 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73483180 421122048 61860 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2435] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2435/stat : 2435 (java) S 2425 2425 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73483180 421122048 61860 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2436] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2436/stat : 2436 (java) S 2425 2425 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73483569 421122048 61860 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 413824

[startup+51.1084 s]
/proc/loadavg: 0.93 1.01 1.00 2/44 2436
/proc/meminfo: memFree=39856/1048576 swapFree=0/0
[pid=2425] ppid=2424 vsize=2572 CPUtime=0
/proc/2425/stat : 2425 (gj-user-solver-) S 2424 2425 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73483177 2633728 270 1283457024 134512640 135304128 4289721472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2425/statm: 643 270 229 194 0 30 0
[pid=2426] ppid=2425 vsize=411252 CPUtime=51.07
/proc/2426/stat : 2426 (java) S 2425 2425 22717 34817 22717 4202496 65368 0 1 0 5084 23 0 0 25 0 10 0 73483177 421122048 55720 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2426/statm: 102813 55720 2922 10 0 96958 0
[pid=2426/tid=2427] ppid=2425 vsize=411252 CPUtime=47.79
/proc/2426/task/2427/stat : 2427 (java) R 2425 2425 22717 34817 22717 4202560 14505 0 1 0 4770 9 0 0 25 0 10 0 73483177 421122048 55720 1283457024 134512640 134550932 4294703264 18446744073709551615 4115253015 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2426/tid=2429] ppid=2425 vsize=411252 CPUtime=3.08
/proc/2426/task/2429/stat : 2429 (java) S 2425 2425 22717 34817 22717 4202560 49368 0 0 0 296 12 0 0 15 0 10 0 73483178 421122048 55720 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2430] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2430/stat : 2430 (java) S 2425 2425 22717 34817 22717 4202560 16 0 0 0 0 0 0 0 18 0 10 0 73483179 421122048 55720 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2431] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2431/stat : 2431 (java) S 2425 2425 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73483179 421122048 55720 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2432] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2432/stat : 2432 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73483180 421122048 55720 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2433] ppid=2425 vsize=411252 CPUtime=0.16
/proc/2426/task/2433/stat : 2433 (java) S 2425 2425 22717 34817 22717 4202560 548 0 0 0 16 0 0 0 15 0 10 0 73483180 421122048 55720 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2434] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2434/stat : 2434 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73483180 421122048 55720 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2435] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2435/stat : 2435 (java) S 2425 2425 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73483180 421122048 55720 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2436] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2436/stat : 2436 (java) S 2425 2425 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73483569 421122048 55720 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 413824

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

[startup+76.7041 s]
/proc/loadavg: 0.95 1.00 1.00 2/44 2436
/proc/meminfo: memFree=39856/1048576 swapFree=0/0
[pid=2425] ppid=2424 vsize=2572 CPUtime=0
/proc/2425/stat : 2425 (gj-user-solver-) S 2424 2425 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73483177 2633728 270 1283457024 134512640 135304128 4289721472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2425/statm: 643 270 229 194 0 30 0
[pid=2426] ppid=2425 vsize=411252 CPUtime=76.63
/proc/2426/stat : 2426 (java) S 2425 2425 22717 34817 22717 4202496 65369 0 1 0 7640 23 0 0 25 0 10 0 73483177 421122048 55721 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2426/statm: 102813 55721 2922 10 0 96958 0
[pid=2426/tid=2427] ppid=2425 vsize=411252 CPUtime=72.93
/proc/2426/task/2427/stat : 2427 (java) R 2425 2425 22717 34817 22717 4202560 14505 0 1 0 7284 9 0 0 25 0 10 0 73483177 421122048 55721 1283457024 134512640 134550932 4294703264 18446744073709551615 4115232932 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2426/tid=2429] ppid=2425 vsize=411252 CPUtime=3.52
/proc/2426/task/2429/stat : 2429 (java) S 2425 2425 22717 34817 22717 4202560 49368 0 0 0 340 12 0 0 15 0 10 0 73483178 421122048 55721 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2430] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2430/stat : 2430 (java) S 2425 2425 22717 34817 22717 4202560 16 0 0 0 0 0 0 0 18 0 10 0 73483179 421122048 55721 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2431] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2431/stat : 2431 (java) S 2425 2425 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73483179 421122048 55721 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2432] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2432/stat : 2432 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73483180 421122048 55721 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2433] ppid=2425 vsize=411252 CPUtime=0.16
/proc/2426/task/2433/stat : 2433 (java) S 2425 2425 22717 34817 22717 4202560 549 0 0 0 16 0 0 0 15 0 10 0 73483180 421122048 55721 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2434] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2434/stat : 2434 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73483180 421122048 55721 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2435] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2435/stat : 2435 (java) S 2425 2425 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73483180 421122048 55721 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2436] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2436/stat : 2436 (java) S 2425 2425 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73483569 421122048 55721 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 76.63
Current children cumulated vsize (KiB) 413824

[startup+89.5079 s]
/proc/loadavg: 0.96 1.00 1.00 2/44 2436
/proc/meminfo: memFree=39856/1048576 swapFree=0/0
[pid=2425] ppid=2424 vsize=2572 CPUtime=0
/proc/2425/stat : 2425 (gj-user-solver-) S 2424 2425 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73483177 2633728 270 1283457024 134512640 135304128 4289721472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2425/statm: 643 270 229 194 0 30 0
[pid=2426] ppid=2425 vsize=411252 CPUtime=89.43
/proc/2426/stat : 2426 (java) S 2425 2425 22717 34817 22717 4202496 65372 0 1 0 8920 23 0 0 25 0 10 0 73483177 421122048 55724 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2426/statm: 102813 55724 2922 10 0 96958 0
[pid=2426/tid=2427] ppid=2425 vsize=411252 CPUtime=85.61
/proc/2426/task/2427/stat : 2427 (java) R 2425 2425 22717 34817 22717 4202560 14505 0 1 0 8552 9 0 0 25 0 10 0 73483177 421122048 55724 1283457024 134512640 134550932 4294703264 18446744073709551615 4115267159 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2426/tid=2429] ppid=2425 vsize=411252 CPUtime=3.62
/proc/2426/task/2429/stat : 2429 (java) S 2425 2425 22717 34817 22717 4202560 49368 0 0 0 350 12 0 0 16 0 10 0 73483178 421122048 55724 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2430] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2430/stat : 2430 (java) S 2425 2425 22717 34817 22717 4202560 16 0 0 0 0 0 0 0 18 0 10 0 73483179 421122048 55724 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2431] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2431/stat : 2431 (java) S 2425 2425 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73483179 421122048 55724 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2432] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2432/stat : 2432 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73483180 421122048 55724 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2433] ppid=2425 vsize=411252 CPUtime=0.17
/proc/2426/task/2433/stat : 2433 (java) S 2425 2425 22717 34817 22717 4202560 552 0 0 0 17 0 0 0 15 0 10 0 73483180 421122048 55724 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2434] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2434/stat : 2434 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73483180 421122048 55724 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2435] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2435/stat : 2435 (java) S 2425 2425 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73483180 421122048 55724 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2436] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2436/stat : 2436 (java) S 2425 2425 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73483569 421122048 55724 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 89.43
Current children cumulated vsize (KiB) 413824

[startup+95.8096 s]
/proc/loadavg: 0.97 1.00 1.00 2/44 2436
/proc/meminfo: memFree=39856/1048576 swapFree=0/0
[pid=2425] ppid=2424 vsize=2572 CPUtime=0
/proc/2425/stat : 2425 (gj-user-solver-) S 2424 2425 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73483177 2633728 270 1283457024 134512640 135304128 4289721472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2425/statm: 643 270 229 194 0 30 0
[pid=2426] ppid=2425 vsize=411252 CPUtime=95.72
/proc/2426/stat : 2426 (java) S 2425 2425 22717 34817 22717 4202496 65378 0 1 0 9548 24 0 0 25 0 10 0 73483177 421122048 55730 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2426/statm: 102813 55730 2922 10 0 96958 0
[pid=2426/tid=2427] ppid=2425 vsize=411252 CPUtime=91.84
/proc/2426/task/2427/stat : 2427 (java) R 2425 2425 22717 34817 22717 4202560 14505 0 1 0 9174 10 0 0 25 0 10 0 73483177 421122048 55730 1283457024 134512640 134550932 4294703264 18446744073709551615 4115227630 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2426/tid=2429] ppid=2425 vsize=411252 CPUtime=3.69
/proc/2426/task/2429/stat : 2429 (java) S 2425 2425 22717 34817 22717 4202560 49368 0 0 0 357 12 0 0 16 0 10 0 73483178 421122048 55730 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2430] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2430/stat : 2430 (java) S 2425 2425 22717 34817 22717 4202560 16 0 0 0 0 0 0 0 15 0 10 0 73483179 421122048 55730 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2431] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2431/stat : 2431 (java) S 2425 2425 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73483179 421122048 55730 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2432] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2432/stat : 2432 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73483180 421122048 55730 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2433] ppid=2425 vsize=411252 CPUtime=0.17
/proc/2426/task/2433/stat : 2433 (java) S 2425 2425 22717 34817 22717 4202560 558 0 0 0 17 0 0 0 15 0 10 0 73483180 421122048 55730 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2434] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2434/stat : 2434 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73483180 421122048 55730 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2435] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2435/stat : 2435 (java) S 2425 2425 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73483180 421122048 55730 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2436] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2436/stat : 2436 (java) S 2425 2425 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73483569 421122048 55730 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 95.72
Current children cumulated vsize (KiB) 413824

[startup+99.0104 s]
/proc/loadavg: 0.97 1.00 1.00 2/44 2436
/proc/meminfo: memFree=39856/1048576 swapFree=0/0
[pid=2425] ppid=2424 vsize=2572 CPUtime=0
/proc/2425/stat : 2425 (gj-user-solver-) S 2424 2425 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73483177 2633728 270 1283457024 134512640 135304128 4289721472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2425/statm: 643 270 229 194 0 30 0
[pid=2426] ppid=2425 vsize=411252 CPUtime=98.91
/proc/2426/stat : 2426 (java) S 2425 2425 22717 34817 22717 4202496 65381 0 1 0 9867 24 0 0 25 0 10 0 73483177 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2426/statm: 102813 55733 2922 10 0 96958 0
[pid=2426/tid=2427] ppid=2425 vsize=411252 CPUtime=95
/proc/2426/task/2427/stat : 2427 (java) R 2425 2425 22717 34817 22717 4202560 14505 0 1 0 9490 10 0 0 25 0 10 0 73483177 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4115342345 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2426/tid=2429] ppid=2425 vsize=411252 CPUtime=3.7
/proc/2426/task/2429/stat : 2429 (java) S 2425 2425 22717 34817 22717 4202560 49368 0 0 0 358 12 0 0 16 0 10 0 73483178 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2430] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2430/stat : 2430 (java) S 2425 2425 22717 34817 22717 4202560 16 0 0 0 0 0 0 0 15 0 10 0 73483179 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2431] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2431/stat : 2431 (java) S 2425 2425 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73483179 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2432] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2432/stat : 2432 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73483180 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2433] ppid=2425 vsize=411252 CPUtime=0.17
/proc/2426/task/2433/stat : 2433 (java) S 2425 2425 22717 34817 22717 4202560 561 0 0 0 17 0 0 0 15 0 10 0 73483180 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2434] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2434/stat : 2434 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73483180 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2435] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2435/stat : 2435 (java) S 2425 2425 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73483180 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2436] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2436/stat : 2436 (java) S 2425 2425 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73483569 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 98.91
Current children cumulated vsize (KiB) 413824

[startup+100.611 s]
/proc/loadavg: 0.97 1.00 1.00 2/44 2436
/proc/meminfo: memFree=39856/1048576 swapFree=0/0
[pid=2425] ppid=2424 vsize=2572 CPUtime=0
/proc/2425/stat : 2425 (gj-user-solver-) S 2424 2425 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73483177 2633728 270 1283457024 134512640 135304128 4289721472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2425/statm: 643 270 229 194 0 30 0
[pid=2426] ppid=2425 vsize=411252 CPUtime=100.51
/proc/2426/stat : 2426 (java) S 2425 2425 22717 34817 22717 4202496 65381 0 1 0 10027 24 0 0 25 0 10 0 73483177 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2426/statm: 102813 55733 2922 10 0 96958 0
[pid=2426/tid=2427] ppid=2425 vsize=411252 CPUtime=96.59
/proc/2426/task/2427/stat : 2427 (java) R 2425 2425 22717 34817 22717 4202560 14505 0 1 0 9649 10 0 0 25 0 10 0 73483177 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4115325278 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2426/tid=2429] ppid=2425 vsize=411252 CPUtime=3.72
/proc/2426/task/2429/stat : 2429 (java) S 2425 2425 22717 34817 22717 4202560 49368 0 0 0 360 12 0 0 16 0 10 0 73483178 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2430] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2430/stat : 2430 (java) S 2425 2425 22717 34817 22717 4202560 16 0 0 0 0 0 0 0 15 0 10 0 73483179 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2431] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2431/stat : 2431 (java) S 2425 2425 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73483179 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2432] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2432/stat : 2432 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73483180 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2433] ppid=2425 vsize=411252 CPUtime=0.17
/proc/2426/task/2433/stat : 2433 (java) S 2425 2425 22717 34817 22717 4202560 561 0 0 0 17 0 0 0 15 0 10 0 73483180 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2434] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2434/stat : 2434 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73483180 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2435] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2435/stat : 2435 (java) S 2425 2425 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73483180 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2436] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2436/stat : 2436 (java) S 2425 2425 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73483569 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.51
Current children cumulated vsize (KiB) 413824

[startup+101.011 s]
/proc/loadavg: 0.97 1.00 1.00 2/44 2436
/proc/meminfo: memFree=39856/1048576 swapFree=0/0
[pid=2425] ppid=2424 vsize=2572 CPUtime=0
/proc/2425/stat : 2425 (gj-user-solver-) S 2424 2425 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73483177 2633728 270 1283457024 134512640 135304128 4289721472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2425/statm: 643 270 229 194 0 30 0
[pid=2426] ppid=2425 vsize=411252 CPUtime=100.91
/proc/2426/stat : 2426 (java) S 2425 2425 22717 34817 22717 4202496 65381 0 1 0 10067 24 0 0 25 0 10 0 73483177 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2426/statm: 102813 55733 2922 10 0 96958 0
[pid=2426/tid=2427] ppid=2425 vsize=411252 CPUtime=96.98
/proc/2426/task/2427/stat : 2427 (java) R 2425 2425 22717 34817 22717 4202560 14505 0 1 0 9688 10 0 0 25 0 10 0 73483177 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4115232932 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2426/tid=2429] ppid=2425 vsize=411252 CPUtime=3.73
/proc/2426/task/2429/stat : 2429 (java) S 2425 2425 22717 34817 22717 4202560 49368 0 0 0 361 12 0 0 16 0 10 0 73483178 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2430] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2430/stat : 2430 (java) S 2425 2425 22717 34817 22717 4202560 16 0 0 0 0 0 0 0 15 0 10 0 73483179 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2431] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2431/stat : 2431 (java) S 2425 2425 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73483179 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2432] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2432/stat : 2432 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73483180 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2433] ppid=2425 vsize=411252 CPUtime=0.17
/proc/2426/task/2433/stat : 2433 (java) S 2425 2425 22717 34817 22717 4202560 561 0 0 0 17 0 0 0 15 0 10 0 73483180 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2434] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2434/stat : 2434 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73483180 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2435] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2435/stat : 2435 (java) S 2425 2425 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73483180 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2436] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2436/stat : 2436 (java) S 2425 2425 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73483569 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.91
Current children cumulated vsize (KiB) 413824

[startup+101.411 s]
/proc/loadavg: 0.97 1.00 1.00 2/44 2436
/proc/meminfo: memFree=39856/1048576 swapFree=0/0
[pid=2425] ppid=2424 vsize=2572 CPUtime=0
/proc/2425/stat : 2425 (gj-user-solver-) S 2424 2425 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73483177 2633728 270 1283457024 134512640 135304128 4289721472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2425/statm: 643 270 229 194 0 30 0
[pid=2426] ppid=2425 vsize=411252 CPUtime=101.31
/proc/2426/stat : 2426 (java) S 2425 2425 22717 34817 22717 4202496 65381 0 1 0 10107 24 0 0 25 0 10 0 73483177 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2426/statm: 102813 55733 2922 10 0 96958 0
[pid=2426/tid=2427] ppid=2425 vsize=411252 CPUtime=97.38
/proc/2426/task/2427/stat : 2427 (java) R 2425 2425 22717 34817 22717 4202560 14505 0 1 0 9728 10 0 0 25 0 10 0 73483177 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4115232710 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2426/tid=2429] ppid=2425 vsize=411252 CPUtime=3.73
/proc/2426/task/2429/stat : 2429 (java) S 2425 2425 22717 34817 22717 4202560 49368 0 0 0 361 12 0 0 16 0 10 0 73483178 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2430] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2430/stat : 2430 (java) S 2425 2425 22717 34817 22717 4202560 16 0 0 0 0 0 0 0 15 0 10 0 73483179 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2431] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2431/stat : 2431 (java) S 2425 2425 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73483179 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2432] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2432/stat : 2432 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73483180 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2433] ppid=2425 vsize=411252 CPUtime=0.17
/proc/2426/task/2433/stat : 2433 (java) S 2425 2425 22717 34817 22717 4202560 561 0 0 0 17 0 0 0 15 0 10 0 73483180 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2434] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2434/stat : 2434 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73483180 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2435] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2435/stat : 2435 (java) S 2425 2425 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73483180 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2436] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2436/stat : 2436 (java) S 2425 2425 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73483569 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 413824

[startup+101.511 s]
/proc/loadavg: 0.97 1.00 1.00 2/44 2436
/proc/meminfo: memFree=39856/1048576 swapFree=0/0
[pid=2425] ppid=2424 vsize=2572 CPUtime=0
/proc/2425/stat : 2425 (gj-user-solver-) S 2424 2425 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73483177 2633728 270 1283457024 134512640 135304128 4289721472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2425/statm: 643 270 229 194 0 30 0
[pid=2426] ppid=2425 vsize=411252 CPUtime=101.41
/proc/2426/stat : 2426 (java) S 2425 2425 22717 34817 22717 4202496 65381 0 1 0 10117 24 0 0 25 0 10 0 73483177 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2426/statm: 102813 55733 2922 10 0 96958 0
[pid=2426/tid=2427] ppid=2425 vsize=411252 CPUtime=97.48
/proc/2426/task/2427/stat : 2427 (java) R 2425 2425 22717 34817 22717 4202560 14505 0 1 0 9738 10 0 0 25 0 10 0 73483177 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4115248720 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2426/tid=2429] ppid=2425 vsize=411252 CPUtime=3.73
/proc/2426/task/2429/stat : 2429 (java) S 2425 2425 22717 34817 22717 4202560 49368 0 0 0 361 12 0 0 16 0 10 0 73483178 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2430] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2430/stat : 2430 (java) S 2425 2425 22717 34817 22717 4202560 16 0 0 0 0 0 0 0 15 0 10 0 73483179 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2431] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2431/stat : 2431 (java) S 2425 2425 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73483179 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2432] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2432/stat : 2432 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73483180 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2433] ppid=2425 vsize=411252 CPUtime=0.17
/proc/2426/task/2433/stat : 2433 (java) S 2425 2425 22717 34817 22717 4202560 561 0 0 0 17 0 0 0 15 0 10 0 73483180 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2434] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2434/stat : 2434 (java) S 2425 2425 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73483180 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2435] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2435/stat : 2435 (java) S 2425 2425 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73483180 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=2426/tid=2436] ppid=2425 vsize=411252 CPUtime=0
/proc/2426/task/2436/stat : 2436 (java) S 2425 2425 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73483569 421122048 55733 1283457024 134512640 134550932 4294703264 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.41
Current children cumulated vsize (KiB) 413824

Child status: 0
Real time (s): 101.591
CPU time (s): 101.486
CPU user time (s): 101.23
CPU system time (s): 0.256016
CPU usage (%): 99.8966
Max. virtual memory (cumulated for all children) (KiB): 413824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 101.23
system time used= 0.256016
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65772
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= 2890
involuntary context switches= 4263

runsolver used 0 second user time and 0 second system time

The end