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/201108300820/gj-user-solver-1.0/3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//3e4f8550-0b33-11df-942d-00163e1d94dc.cudf /home/misc2010/tmp/201108300820/gj-user-solver-1.0/3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.dudf-real.result +sum(installedsize) 

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


[startup+0 s]
/proc/loadavg: 1.17 1.12 1.04 1/37 7603
/proc/meminfo: memFree=979616/1048576 swapFree=0/0
[pid=7603] ppid=7602 vsize=3020 CPUtime=0
/proc/7603/stat : 7603 (runsolver) D 7602 7603 2160 34817 2160 4202560 72 0 0 0 0 0 0 0 22 0 1 0 53710406 3092480 93 1283457024 134512640 134586868 4293020912 18446744073709551615 4294960130 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0
/proc/7603/statm: 755 93 62 19 0 54 0

[startup+0.150634 s]
/proc/loadavg: 1.17 1.12 1.04 1/37 7603
/proc/meminfo: memFree=979616/1048576 swapFree=0/0
[pid=7603] ppid=7602 vsize=2572 CPUtime=0
/proc/7603/stat : 7603 (gj-user-solver-) S 7602 7603 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 53710406 2633728 270 1283457024 134512640 135304128 4293007344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7603/statm: 643 270 229 194 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+0.206582 s]
/proc/loadavg: 1.17 1.12 1.04 1/37 7603
/proc/meminfo: memFree=979616/1048576 swapFree=0/0
[pid=7603] ppid=7602 vsize=2572 CPUtime=0
/proc/7603/stat : 7603 (gj-user-solver-) S 7602 7603 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 53710406 2633728 270 1283457024 134512640 135304128 4293007344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7603/statm: 643 270 229 194 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+0.306583 s]
/proc/loadavg: 1.17 1.12 1.04 1/37 7603
/proc/meminfo: memFree=979616/1048576 swapFree=0/0
[pid=7603] ppid=7602 vsize=2572 CPUtime=0
/proc/7603/stat : 7603 (gj-user-solver-) S 7602 7603 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 53710406 2633728 270 1283457024 134512640 135304128 4293007344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7603/statm: 643 270 229 194 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+0.706625 s]
/proc/loadavg: 1.17 1.12 1.04 1/37 7603
/proc/meminfo: memFree=979616/1048576 swapFree=0/0
[pid=7603] ppid=7602 vsize=2572 CPUtime=0
/proc/7603/stat : 7603 (gj-user-solver-) S 7602 7603 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 53710406 2633728 270 1283457024 134512640 135304128 4293007344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7603/statm: 643 270 229 194 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+1.50267 s]
/proc/loadavg: 1.17 1.12 1.04 1/47 7613
/proc/meminfo: memFree=960184/1048576 swapFree=0/0
[pid=7603] ppid=7602 vsize=2572 CPUtime=0
/proc/7603/stat : 7603 (gj-user-solver-) S 7602 7603 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 53710406 2633728 270 1283457024 134512640 135304128 4293007344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7603/statm: 643 270 229 194 0 30 0
[pid=7605] ppid=7603 vsize=411548 CPUtime=0.22
/proc/7605/stat : 7605 (java) S 7603 7603 2160 34817 2160 4202496 7998 0 223 0 21 1 0 0 22 0 9 0 53710408 421425152 7639 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7605/statm: 102887 7639 1996 10 0 97035 0
[pid=7605/tid=7606] ppid=7603 vsize=411548 CPUtime=0.14
/proc/7605/task/7606/stat : 7606 (java) S 7603 7603 2160 34817 2160 4202560 3341 0 157 0 13 1 0 0 19 0 9 0 53710430 421425152 7639 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7607] ppid=7603 vsize=411548 CPUtime=0.05
/proc/7605/task/7607/stat : 7607 (java) D 7603 7603 2160 34817 2160 4202560 3335 0 5 0 5 0 0 0 17 0 9 0 53710454 421425152 7639 1283457024 134512640 134550932 4289317840 18446744073709551615 4150547247 0 0 0 16800975 18446744071564332000 0 0 -1 0 0 0 0
[pid=7605/tid=7608] ppid=7603 vsize=411548 CPUtime=0
/proc/7605/task/7608/stat : 7608 (java) S 7603 7603 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 9 0 53710458 421425152 7639 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7609] ppid=7603 vsize=411548 CPUtime=0
/proc/7605/task/7609/stat : 7609 (java) S 7603 7603 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 23 0 9 0 53710458 421425152 7639 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7610] ppid=7603 vsize=411548 CPUtime=0
/proc/7605/task/7610/stat : 7610 (java) S 7603 7603 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 9 0 53710477 421425152 7639 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7611] ppid=7603 vsize=411548 CPUtime=0.02
/proc/7605/task/7611/stat : 7611 (java) S 7603 7603 2160 34817 2160 4202560 439 0 5 0 2 0 0 0 17 0 9 0 53710477 421425152 7639 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7612] ppid=7603 vsize=411548 CPUtime=0
/proc/7605/task/7612/stat : 7612 (java) S 7603 7603 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 9 0 53710477 421425152 7639 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7613] ppid=7603 vsize=411548 CPUtime=0
/proc/7605/task/7613/stat : 7613 (java) S 7603 7603 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 17 0 9 0 53710477 421425152 7639 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 414120

[startup+3.10852 s]
/proc/loadavg: 1.17 1.12 1.04 1/47 7613
/proc/meminfo: memFree=897216/1048576 swapFree=0/0
[pid=7603] ppid=7602 vsize=2572 CPUtime=0
/proc/7603/stat : 7603 (gj-user-solver-) S 7602 7603 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 53710406 2633728 270 1283457024 134512640 135304128 4293007344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7603/statm: 643 270 229 194 0 30 0
[pid=7605] ppid=7603 vsize=411680 CPUtime=1.69
/proc/7605/stat : 7605 (java) S 7603 7603 2160 34817 2160 4202496 32959 0 244 0 159 10 0 0 22 0 9 0 53710408 421560320 32451 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7605/statm: 102920 32451 2895 10 0 97068 0
[pid=7605/tid=7606] ppid=7603 vsize=411680 CPUtime=0.64
/proc/7605/task/7606/stat : 7606 (java) R 7603 7603 2160 34817 2160 4202560 9245 0 157 0 60 4 0 0 18 0 9 0 53710430 421560320 32451 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7605/tid=7607] ppid=7603 vsize=411680 CPUtime=1
/proc/7605/task/7607/stat : 7607 (java) R 7603 7603 2160 34817 2160 4202560 22385 0 26 0 95 5 0 0 16 0 9 0 53710454 421560320 32451 1283457024 134512640 134550932 4289317840 18446744073709551615 4150593464 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=7605/tid=7608] ppid=7603 vsize=411680 CPUtime=0
/proc/7605/task/7608/stat : 7608 (java) S 7603 7603 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 9 0 53710458 421560320 32451 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7609] ppid=7603 vsize=411680 CPUtime=0
/proc/7605/task/7609/stat : 7609 (java) S 7603 7603 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 9 0 53710458 421560320 32451 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7610] ppid=7603 vsize=411680 CPUtime=0
/proc/7605/task/7610/stat : 7610 (java) S 7603 7603 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 9 0 53710477 421560320 32451 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7611] ppid=7603 vsize=411680 CPUtime=0.03
/proc/7605/task/7611/stat : 7611 (java) S 7603 7603 2160 34817 2160 4202560 445 0 5 0 3 0 0 0 15 0 9 0 53710477 421560320 32451 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7612] ppid=7603 vsize=411680 CPUtime=0
/proc/7605/task/7612/stat : 7612 (java) S 7603 7603 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 9 0 53710477 421560320 32451 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7613] ppid=7603 vsize=411680 CPUtime=0
/proc/7605/task/7613/stat : 7613 (java) R 7603 7603 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 9 0 53710477 421560320 32451 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 414252
heavy processes:

[startup+6.30877 s]
/proc/loadavg: 1.15 1.11 1.04 3/47 7613
/proc/meminfo: memFree=677584/1048576 swapFree=0/0
[pid=7603] ppid=7602 vsize=2572 CPUtime=0
/proc/7603/stat : 7603 (gj-user-solver-) S 7602 7603 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 53710406 2633728 270 1283457024 134512640 135304128 4293007344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7603/statm: 643 270 229 194 0 30 0
[pid=7605] ppid=7603 vsize=412148 CPUtime=4.56
/proc/7605/stat : 7605 (java) S 7603 7603 2160 34817 2160 4202496 69376 0 250 0 442 14 0 0 22 0 10 0 53710408 422039552 68784 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7605/statm: 103037 68784 2911 10 0 97182 0
[pid=7605/tid=7606] ppid=7603 vsize=412148 CPUtime=1.73
/proc/7605/task/7606/stat : 7606 (java) R 7603 7603 2160 34817 2160 4202560 14010 0 163 0 168 5 0 0 18 0 10 0 53710430 422039552 68784 1283457024 134512640 134550932 4289317840 18446744073709551615 4114318169 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7605/tid=7607] ppid=7603 vsize=412148 CPUtime=2.73
/proc/7605/task/7607/stat : 7607 (java) S 7603 7603 2160 34817 2160 4202560 53968 0 26 0 264 9 0 0 16 0 10 0 53710454 422039552 68784 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7608] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7608/stat : 7608 (java) S 7603 7603 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 53710458 422039552 68784 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7609] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7609/stat : 7609 (java) S 7603 7603 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 53710458 422039552 68784 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7610] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7610/stat : 7610 (java) S 7603 7603 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 53710477 422039552 68784 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7611] ppid=7603 vsize=412148 CPUtime=0.09
/proc/7605/task/7611/stat : 7611 (java) S 7603 7603 2160 34817 2160 4202560 510 0 5 0 9 0 0 0 16 0 10 0 53710477 422039552 68784 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7612] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7612/stat : 7612 (java) S 7603 7603 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 10 0 53710477 422039552 68784 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7613] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7613/stat : 7613 (java) S 7603 7603 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 10 0 53710477 422039552 68784 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.56
Current children cumulated vsize (KiB) 414720
heavy processes:

[startup+12.7102 s]
/proc/loadavg: 1.14 1.11 1.04 3/48 7614
/proc/meminfo: memFree=669392/1048576 swapFree=0/0
[pid=7603] ppid=7602 vsize=2572 CPUtime=0
/proc/7603/stat : 7603 (gj-user-solver-) S 7602 7603 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 53710406 2633728 270 1283457024 134512640 135304128 4293007344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7603/statm: 643 270 229 194 0 30 0
[pid=7605] ppid=7603 vsize=412148 CPUtime=10.96
/proc/7605/stat : 7605 (java) S 7603 7603 2160 34817 2160 4202496 70506 0 250 0 1082 14 0 0 22 0 10 0 53710408 422039552 69914 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7605/statm: 103037 69914 2911 10 0 97182 0
[pid=7605/tid=7606] ppid=7603 vsize=412148 CPUtime=7.86
/proc/7605/task/7606/stat : 7606 (java) R 7603 7603 2160 34817 2160 4202560 15120 0 163 0 781 5 0 0 25 0 10 0 53710430 422039552 69914 1283457024 134512640 134550932 4289317840 18446744073709551615 4115244549 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7605/tid=7607] ppid=7603 vsize=412148 CPUtime=3
/proc/7605/task/7607/stat : 7607 (java) S 7603 7603 2160 34817 2160 4202560 53968 0 26 0 291 9 0 0 15 0 10 0 53710454 422039552 69914 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7608] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7608/stat : 7608 (java) S 7603 7603 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 53710458 422039552 69914 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7609] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7609/stat : 7609 (java) S 7603 7603 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 53710458 422039552 69914 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7610] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7610/stat : 7610 (java) S 7603 7603 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 53710477 422039552 69914 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7611] ppid=7603 vsize=412148 CPUtime=0.09
/proc/7605/task/7611/stat : 7611 (java) S 7603 7603 2160 34817 2160 4202560 530 0 5 0 9 0 0 0 15 0 10 0 53710477 422039552 69914 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7612] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7612/stat : 7612 (java) S 7603 7603 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 10 0 53710477 422039552 69914 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7613] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7613/stat : 7613 (java) R 7603 7603 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 10 0 53710477 422039552 69914 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7605/tid=7614] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7614/stat : 7614 (java) S 7603 7603 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 19 0 10 0 53711029 422039552 69914 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.96
Current children cumulated vsize (KiB) 414720

[startup+25.5127 s]
/proc/loadavg: 1.11 1.11 1.04 3/48 7614
/proc/meminfo: memFree=669392/1048576 swapFree=0/0
[pid=7603] ppid=7602 vsize=2572 CPUtime=0
/proc/7603/stat : 7603 (gj-user-solver-) S 7602 7603 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 53710406 2633728 270 1283457024 134512640 135304128 4293007344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7603/statm: 643 270 229 194 0 30 0
[pid=7605] ppid=7603 vsize=412148 CPUtime=23.75
/proc/7605/stat : 7605 (java) S 7603 7603 2160 34817 2160 4202496 70509 0 250 0 2361 14 0 0 22 0 10 0 53710408 422039552 69917 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7605/statm: 103037 69917 2913 10 0 97182 0
[pid=7605/tid=7606] ppid=7603 vsize=412148 CPUtime=20.65
/proc/7605/task/7606/stat : 7606 (java) R 7603 7603 2160 34817 2160 4202560 15120 0 163 0 2060 5 0 0 25 0 10 0 53710430 422039552 69917 1283457024 134512640 134550932 4289317840 18446744073709551615 4115066107 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7605/tid=7607] ppid=7603 vsize=412148 CPUtime=3.01
/proc/7605/task/7607/stat : 7607 (java) S 7603 7603 2160 34817 2160 4202560 53970 0 26 0 292 9 0 0 15 0 10 0 53710454 422039552 69917 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7608] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7608/stat : 7608 (java) S 7603 7603 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 53710458 422039552 69917 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7609] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7609/stat : 7609 (java) S 7603 7603 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 53710458 422039552 69917 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7610] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7610/stat : 7610 (java) S 7603 7603 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 53710477 422039552 69917 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7611] ppid=7603 vsize=412148 CPUtime=0.09
/proc/7605/task/7611/stat : 7611 (java) S 7603 7603 2160 34817 2160 4202560 531 0 5 0 9 0 0 0 16 0 10 0 53710477 422039552 69917 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7612] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7612/stat : 7612 (java) S 7603 7603 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 10 0 53710477 422039552 69917 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7613] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7613/stat : 7613 (java) S 7603 7603 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 10 0 53710477 422039552 69917 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7614] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7614/stat : 7614 (java) S 7603 7603 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 19 0 10 0 53711029 422039552 69917 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.75
Current children cumulated vsize (KiB) 414720

[startup+51.1106 s]
/proc/loadavg: 1.07 1.10 1.03 2/48 7614
/proc/meminfo: memFree=668908/1048576 swapFree=0/0
[pid=7603] ppid=7602 vsize=2572 CPUtime=0
/proc/7603/stat : 7603 (gj-user-solver-) S 7602 7603 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 53710406 2633728 270 1283457024 134512640 135304128 4293007344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7603/statm: 643 270 229 194 0 30 0
[pid=7605] ppid=7603 vsize=412148 CPUtime=49.33
/proc/7605/stat : 7605 (java) S 7603 7603 2160 34817 2160 4202496 70510 0 250 0 4919 14 0 0 22 0 10 0 53710408 422039552 69918 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7605/statm: 103037 69918 2913 10 0 97182 0
[pid=7605/tid=7606] ppid=7603 vsize=412148 CPUtime=46.2
/proc/7605/task/7606/stat : 7606 (java) R 7603 7603 2160 34817 2160 4202560 15120 0 163 0 4615 5 0 0 25 0 10 0 53710430 422039552 69918 1283457024 134512640 134550932 4289317840 18446744073709551615 4115244549 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7605/tid=7607] ppid=7603 vsize=412148 CPUtime=3.03
/proc/7605/task/7607/stat : 7607 (java) S 7603 7603 2160 34817 2160 4202560 53970 0 26 0 294 9 0 0 15 0 10 0 53710454 422039552 69918 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7608] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7608/stat : 7608 (java) S 7603 7603 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 53710458 422039552 69918 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7609] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7609/stat : 7609 (java) S 7603 7603 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 53710458 422039552 69918 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7610] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7610/stat : 7610 (java) S 7603 7603 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 53710477 422039552 69918 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7611] ppid=7603 vsize=412148 CPUtime=0.09
/proc/7605/task/7611/stat : 7611 (java) S 7603 7603 2160 34817 2160 4202560 532 0 5 0 9 0 0 0 15 0 10 0 53710477 422039552 69918 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7612] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7612/stat : 7612 (java) S 7603 7603 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 10 0 53710477 422039552 69918 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7613] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7613/stat : 7613 (java) S 7603 7603 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 10 0 53710477 422039552 69918 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7614] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7614/stat : 7614 (java) S 7603 7603 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 19 0 10 0 53711029 422039552 69918 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.33
Current children cumulated vsize (KiB) 414720

[startup+102.305 s]
/proc/loadavg: 1.03 1.08 1.03 2/47 7614
/proc/meminfo: memFree=666808/1048576 swapFree=0/0
[pid=7603] ppid=7602 vsize=2572 CPUtime=0
/proc/7603/stat : 7603 (gj-user-solver-) S 7602 7603 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 53710406 2633728 270 1283457024 134512640 135304128 4293007344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7603/statm: 643 270 229 194 0 30 0
[pid=7605] ppid=7603 vsize=412148 CPUtime=100.53
/proc/7605/stat : 7605 (java) S 7603 7603 2160 34817 2160 4202496 71040 0 250 0 10039 14 0 0 22 0 10 0 53710408 422039552 70448 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7605/statm: 103037 70448 2913 10 0 97182 0
[pid=7605/tid=7606] ppid=7603 vsize=412148 CPUtime=97.17
/proc/7605/task/7606/stat : 7606 (java) R 7603 7603 2160 34817 2160 4202560 15120 0 163 0 9712 5 0 0 25 0 10 0 53710430 422039552 70448 1283457024 134512640 134550932 4289317840 18446744073709551615 4115066076 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7605/tid=7607] ppid=7603 vsize=412148 CPUtime=3.26
/proc/7605/task/7607/stat : 7607 (java) S 7603 7603 2160 34817 2160 4202560 54497 0 26 0 317 9 0 0 15 0 10 0 53710454 422039552 70448 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7608] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7608/stat : 7608 (java) S 7603 7603 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 53710458 422039552 70448 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7609] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7609/stat : 7609 (java) S 7603 7603 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 53710458 422039552 70448 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7610] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7610/stat : 7610 (java) S 7603 7603 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 53710477 422039552 70448 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7611] ppid=7603 vsize=412148 CPUtime=0.1
/proc/7605/task/7611/stat : 7611 (java) S 7603 7603 2160 34817 2160 4202560 535 0 5 0 10 0 0 0 15 0 10 0 53710477 422039552 70448 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7612] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7612/stat : 7612 (java) S 7603 7603 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 10 0 53710477 422039552 70448 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7613] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7613/stat : 7613 (java) S 7603 7603 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 10 0 53710477 422039552 70448 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7614] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7614/stat : 7614 (java) S 7603 7603 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 19 0 10 0 53711029 422039552 70448 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.53
Current children cumulated vsize (KiB) 414720

[startup+162.308 s]
/proc/loadavg: 1.01 1.06 1.02 2/47 7614
/proc/meminfo: memFree=666684/1048576 swapFree=0/0
[pid=7603] ppid=7602 vsize=2572 CPUtime=0
/proc/7603/stat : 7603 (gj-user-solver-) S 7602 7603 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 53710406 2633728 270 1283457024 134512640 135304128 4293007344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7603/statm: 643 270 229 194 0 30 0
[pid=7605] ppid=7603 vsize=412148 CPUtime=160.48
/proc/7605/stat : 7605 (java) S 7603 7603 2160 34817 2160 4202496 71041 0 250 0 16034 14 0 0 22 0 10 0 53710408 422039552 70449 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7605/statm: 103037 70449 2913 10 0 97182 0
[pid=7605/tid=7606] ppid=7603 vsize=412148 CPUtime=157.07
/proc/7605/task/7606/stat : 7606 (java) R 7603 7603 2160 34817 2160 4202560 15120 0 163 0 15702 5 0 0 25 0 10 0 53710430 422039552 70449 1283457024 134512640 134550932 4289317840 18446744073709551615 4115194872 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7605/tid=7607] ppid=7603 vsize=412148 CPUtime=3.31
/proc/7605/task/7607/stat : 7607 (java) S 7603 7603 2160 34817 2160 4202560 54498 0 26 0 322 9 0 0 16 0 10 0 53710454 422039552 70449 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7608] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7608/stat : 7608 (java) S 7603 7603 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 53710458 422039552 70449 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7609] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7609/stat : 7609 (java) S 7603 7603 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 53710458 422039552 70449 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7610] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7610/stat : 7610 (java) S 7603 7603 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 53710477 422039552 70449 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7611] ppid=7603 vsize=412148 CPUtime=0.1
/proc/7605/task/7611/stat : 7611 (java) S 7603 7603 2160 34817 2160 4202560 535 0 5 0 10 0 0 0 15 0 10 0 53710477 422039552 70449 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7612] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7612/stat : 7612 (java) S 7603 7603 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 10 0 53710477 422039552 70449 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7613] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7613/stat : 7613 (java) S 7603 7603 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 10 0 53710477 422039552 70449 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7614] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7614/stat : 7614 (java) S 7603 7603 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 19 0 10 0 53711029 422039552 70449 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 160.48
Current children cumulated vsize (KiB) 414720

[startup+222.311 s]
/proc/loadavg: 1.00 1.05 1.02 2/49 7620
/proc/meminfo: memFree=666232/1048576 swapFree=0/0
[pid=7603] ppid=7602 vsize=2572 CPUtime=0
/proc/7603/stat : 7603 (gj-user-solver-) S 7602 7603 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 53710406 2633728 270 1283457024 134512640 135304128 4293007344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7603/statm: 643 270 229 194 0 30 0
[pid=7605] ppid=7603 vsize=412148 CPUtime=220.4
/proc/7605/stat : 7605 (java) S 7603 7603 2160 34817 2160 4202496 71042 0 250 0 22026 14 0 0 22 0 10 0 53710408 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7605/statm: 103037 70450 2913 10 0 97182 0
[pid=7605/tid=7606] ppid=7603 vsize=412148 CPUtime=216.8
/proc/7605/task/7606/stat : 7606 (java) R 7603 7603 2160 34817 2160 4202560 15120 0 163 0 21675 5 0 0 25 0 10 0 53710430 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4115066076 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7605/tid=7607] ppid=7603 vsize=412148 CPUtime=3.49
/proc/7605/task/7607/stat : 7607 (java) S 7603 7603 2160 34817 2160 4202560 54498 0 26 0 340 9 0 0 15 0 10 0 53710454 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7608] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7608/stat : 7608 (java) S 7603 7603 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 53710458 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7609] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7609/stat : 7609 (java) S 7603 7603 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 53710458 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7610] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7610/stat : 7610 (java) S 7603 7603 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 53710477 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7611] ppid=7603 vsize=412148 CPUtime=0.1
/proc/7605/task/7611/stat : 7611 (java) S 7603 7603 2160 34817 2160 4202560 536 0 5 0 10 0 0 0 15 0 10 0 53710477 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7612] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7612/stat : 7612 (java) S 7603 7603 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 10 0 53710477 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7613] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7613/stat : 7613 (java) R 7603 7603 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 10 0 53710477 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7605/tid=7614] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7614/stat : 7614 (java) S 7603 7603 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 19 0 10 0 53711029 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 220.4
Current children cumulated vsize (KiB) 414720

[startup+282.304 s]
/proc/loadavg: 1.00 1.04 1.01 2/48 7625
/proc/meminfo: memFree=666248/1048576 swapFree=0/0
[pid=7603] ppid=7602 vsize=2572 CPUtime=0
/proc/7603/stat : 7603 (gj-user-solver-) S 7602 7603 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 53710406 2633728 270 1283457024 134512640 135304128 4293007344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7603/statm: 643 270 229 194 0 30 0
[pid=7605] ppid=7603 vsize=412148 CPUtime=280.36
/proc/7605/stat : 7605 (java) S 7603 7603 2160 34817 2160 4202496 71042 0 250 0 28022 14 0 0 22 0 10 0 53710408 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7605/statm: 103037 70450 2913 10 0 97182 0
[pid=7605/tid=7606] ppid=7603 vsize=412148 CPUtime=276.74
/proc/7605/task/7606/stat : 7606 (java) R 7603 7603 2160 34817 2160 4202560 15120 0 163 0 27669 5 0 0 25 0 10 0 53710430 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4115066076 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7605/tid=7607] ppid=7603 vsize=412148 CPUtime=3.51
/proc/7605/task/7607/stat : 7607 (java) S 7603 7603 2160 34817 2160 4202560 54498 0 26 0 342 9 0 0 15 0 10 0 53710454 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7608] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7608/stat : 7608 (java) S 7603 7603 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 53710458 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7609] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7609/stat : 7609 (java) S 7603 7603 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 53710458 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7610] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7610/stat : 7610 (java) S 7603 7603 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 53710477 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7611] ppid=7603 vsize=412148 CPUtime=0.1
/proc/7605/task/7611/stat : 7611 (java) S 7603 7603 2160 34817 2160 4202560 536 0 5 0 10 0 0 0 15 0 10 0 53710477 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7612] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7612/stat : 7612 (java) S 7603 7603 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 10 0 53710477 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7613] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7613/stat : 7613 (java) S 7603 7603 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 10 0 53710477 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7614] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7614/stat : 7614 (java) S 7603 7603 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 19 0 10 0 53711029 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 280.36
Current children cumulated vsize (KiB) 414720

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

[startup+284.705 s]
/proc/loadavg: 1.00 1.04 1.01 2/48 7625
/proc/meminfo: memFree=666248/1048576 swapFree=0/0
[pid=7603] ppid=7602 vsize=2572 CPUtime=0
/proc/7603/stat : 7603 (gj-user-solver-) S 7602 7603 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 53710406 2633728 270 1283457024 134512640 135304128 4293007344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7603/statm: 643 270 229 194 0 30 0
[pid=7605] ppid=7603 vsize=412148 CPUtime=282.76
/proc/7605/stat : 7605 (java) S 7603 7603 2160 34817 2160 4202496 71042 0 250 0 28262 14 0 0 22 0 10 0 53710408 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7605/statm: 103037 70450 2913 10 0 97182 0
[pid=7605/tid=7606] ppid=7603 vsize=412148 CPUtime=279.14
/proc/7605/task/7606/stat : 7606 (java) R 7603 7603 2160 34817 2160 4202560 15120 0 163 0 27909 5 0 0 25 0 10 0 53710430 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4115066107 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7605/tid=7607] ppid=7603 vsize=412148 CPUtime=3.51
/proc/7605/task/7607/stat : 7607 (java) S 7603 7603 2160 34817 2160 4202560 54498 0 26 0 342 9 0 0 15 0 10 0 53710454 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7608] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7608/stat : 7608 (java) S 7603 7603 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 53710458 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7609] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7609/stat : 7609 (java) S 7603 7603 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 53710458 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7610] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7610/stat : 7610 (java) S 7603 7603 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 53710477 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7611] ppid=7603 vsize=412148 CPUtime=0.1
/proc/7605/task/7611/stat : 7611 (java) S 7603 7603 2160 34817 2160 4202560 536 0 5 0 10 0 0 0 15 0 10 0 53710477 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7612] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7612/stat : 7612 (java) S 7603 7603 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 10 0 53710477 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7613] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7613/stat : 7613 (java) S 7603 7603 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 10 0 53710477 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7614] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7614/stat : 7614 (java) S 7603 7603 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 19 0 10 0 53711029 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.76
Current children cumulated vsize (KiB) 414720

[startup+285.505 s]
/proc/loadavg: 1.00 1.04 1.01 2/48 7625
/proc/meminfo: memFree=666248/1048576 swapFree=0/0
[pid=7603] ppid=7602 vsize=2572 CPUtime=0
/proc/7603/stat : 7603 (gj-user-solver-) S 7602 7603 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 53710406 2633728 270 1283457024 134512640 135304128 4293007344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7603/statm: 643 270 229 194 0 30 0
[pid=7605] ppid=7603 vsize=412148 CPUtime=283.56
/proc/7605/stat : 7605 (java) S 7603 7603 2160 34817 2160 4202496 71042 0 250 0 28342 14 0 0 22 0 10 0 53710408 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7605/statm: 103037 70450 2913 10 0 97182 0
[pid=7605/tid=7606] ppid=7603 vsize=412148 CPUtime=279.94
/proc/7605/task/7606/stat : 7606 (java) R 7603 7603 2160 34817 2160 4202560 15120 0 163 0 27989 5 0 0 25 0 10 0 53710430 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4115066107 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7605/tid=7607] ppid=7603 vsize=412148 CPUtime=3.51
/proc/7605/task/7607/stat : 7607 (java) S 7603 7603 2160 34817 2160 4202560 54498 0 26 0 342 9 0 0 15 0 10 0 53710454 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7608] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7608/stat : 7608 (java) S 7603 7603 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 53710458 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7609] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7609/stat : 7609 (java) S 7603 7603 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 53710458 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7610] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7610/stat : 7610 (java) S 7603 7603 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 53710477 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7611] ppid=7603 vsize=412148 CPUtime=0.1
/proc/7605/task/7611/stat : 7611 (java) S 7603 7603 2160 34817 2160 4202560 536 0 5 0 10 0 0 0 15 0 10 0 53710477 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7612] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7612/stat : 7612 (java) S 7603 7603 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 10 0 53710477 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7613] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7613/stat : 7613 (java) S 7603 7603 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 10 0 53710477 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7614] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7614/stat : 7614 (java) S 7603 7603 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 19 0 10 0 53711029 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.56
Current children cumulated vsize (KiB) 414720

[startup+285.905 s]
/proc/loadavg: 1.00 1.04 1.01 2/48 7625
/proc/meminfo: memFree=666248/1048576 swapFree=0/0
[pid=7603] ppid=7602 vsize=2572 CPUtime=0
/proc/7603/stat : 7603 (gj-user-solver-) S 7602 7603 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 53710406 2633728 270 1283457024 134512640 135304128 4293007344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7603/statm: 643 270 229 194 0 30 0
[pid=7605] ppid=7603 vsize=412148 CPUtime=283.96
/proc/7605/stat : 7605 (java) S 7603 7603 2160 34817 2160 4202496 71042 0 250 0 28382 14 0 0 22 0 10 0 53710408 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7605/statm: 103037 70450 2913 10 0 97182 0
[pid=7605/tid=7606] ppid=7603 vsize=412148 CPUtime=280.34
/proc/7605/task/7606/stat : 7606 (java) R 7603 7603 2160 34817 2160 4202560 15120 0 163 0 28029 5 0 0 25 0 10 0 53710430 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4115066085 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7605/tid=7607] ppid=7603 vsize=412148 CPUtime=3.51
/proc/7605/task/7607/stat : 7607 (java) S 7603 7603 2160 34817 2160 4202560 54498 0 26 0 342 9 0 0 15 0 10 0 53710454 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7608] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7608/stat : 7608 (java) S 7603 7603 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 53710458 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7609] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7609/stat : 7609 (java) S 7603 7603 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 53710458 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7610] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7610/stat : 7610 (java) S 7603 7603 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 53710477 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7611] ppid=7603 vsize=412148 CPUtime=0.1
/proc/7605/task/7611/stat : 7611 (java) S 7603 7603 2160 34817 2160 4202560 536 0 5 0 10 0 0 0 15 0 10 0 53710477 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7612] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7612/stat : 7612 (java) S 7603 7603 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 10 0 53710477 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7613] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7613/stat : 7613 (java) S 7603 7603 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 10 0 53710477 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7614] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7614/stat : 7614 (java) S 7603 7603 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 19 0 10 0 53711029 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.96
Current children cumulated vsize (KiB) 414720

[startup+286.105 s]
/proc/loadavg: 1.00 1.04 1.01 2/48 7625
/proc/meminfo: memFree=666248/1048576 swapFree=0/0
[pid=7603] ppid=7602 vsize=2572 CPUtime=0
/proc/7603/stat : 7603 (gj-user-solver-) S 7602 7603 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 53710406 2633728 270 1283457024 134512640 135304128 4293007344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7603/statm: 643 270 229 194 0 30 0
[pid=7605] ppid=7603 vsize=412148 CPUtime=284.16
/proc/7605/stat : 7605 (java) S 7603 7603 2160 34817 2160 4202496 71042 0 250 0 28402 14 0 0 22 0 10 0 53710408 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7605/statm: 103037 70450 2913 10 0 97182 0
[pid=7605/tid=7606] ppid=7603 vsize=412148 CPUtime=280.54
/proc/7605/task/7606/stat : 7606 (java) R 7603 7603 2160 34817 2160 4202560 15120 0 163 0 28049 5 0 0 25 0 10 0 53710430 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4115066076 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7605/tid=7607] ppid=7603 vsize=412148 CPUtime=3.51
/proc/7605/task/7607/stat : 7607 (java) S 7603 7603 2160 34817 2160 4202560 54498 0 26 0 342 9 0 0 15 0 10 0 53710454 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7608] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7608/stat : 7608 (java) S 7603 7603 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 53710458 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7609] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7609/stat : 7609 (java) S 7603 7603 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 53710458 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7610] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7610/stat : 7610 (java) S 7603 7603 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 53710477 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7611] ppid=7603 vsize=412148 CPUtime=0.1
/proc/7605/task/7611/stat : 7611 (java) S 7603 7603 2160 34817 2160 4202560 536 0 5 0 10 0 0 0 15 0 10 0 53710477 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7612] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7612/stat : 7612 (java) S 7603 7603 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 10 0 53710477 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7613] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7613/stat : 7613 (java) S 7603 7603 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 10 0 53710477 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7614] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7614/stat : 7614 (java) S 7603 7603 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 19 0 10 0 53711029 422039552 70450 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.16
Current children cumulated vsize (KiB) 414720

[startup+286.205 s]
/proc/loadavg: 1.00 1.04 1.01 2/48 7625
/proc/meminfo: memFree=666248/1048576 swapFree=0/0
[pid=7603] ppid=7602 vsize=2572 CPUtime=0
/proc/7603/stat : 7603 (gj-user-solver-) S 7602 7603 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 53710406 2633728 270 1283457024 134512640 135304128 4293007344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7603/statm: 643 270 229 194 0 30 0
[pid=7605] ppid=7603 vsize=412148 CPUtime=284.26
/proc/7605/stat : 7605 (java) S 7603 7603 2160 34817 2160 4202496 71043 0 250 0 28412 14 0 0 22 0 9 0 53710408 422039552 70451 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7605/statm: 103037 70451 2914 10 0 97182 0
[pid=7605/tid=7606] ppid=7603 vsize=412148 CPUtime=280.64
/proc/7605/task/7606/stat : 7606 (java) R 7603 7603 2160 34817 2160 4202560 15120 0 163 0 28059 5 0 0 25 0 9 0 53710430 422039552 70451 1283457024 134512640 134550932 4289317840 18446744073709551615 4115244549 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7605/tid=7607] ppid=7603 vsize=412148 CPUtime=3.51
/proc/7605/task/7607/stat : 7607 (java) S 7603 7603 2160 34817 2160 4202560 54498 0 26 0 342 9 0 0 15 0 9 0 53710454 422039552 70451 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 0 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7608] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7608/stat : 7608 (java) S 7603 7603 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 9 0 53710458 422039552 70451 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7609] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7609/stat : 7609 (java) S 7603 7603 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 9 0 53710458 422039552 70451 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7610] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7610/stat : 7610 (java) S 7603 7603 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 9 0 53710477 422039552 70451 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7611] ppid=7603 vsize=412148 CPUtime=0.1
/proc/7605/task/7611/stat : 7611 (java) S 7603 7603 2160 34817 2160 4202560 536 0 5 0 10 0 0 0 15 0 9 0 53710477 422039552 70451 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7612] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7612/stat : 7612 (java) S 7603 7603 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 9 0 53710477 422039552 70451 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
[pid=7605/tid=7613] ppid=7603 vsize=412148 CPUtime=0
/proc/7605/task/7613/stat : 7613 (java) S 7603 7603 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 9 0 53710477 422039552 70451 1283457024 134512640 134550932 4289317840 18446744073709551615 4294960130 0 4 0 16800975 18446612133313346368 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.26
Current children cumulated vsize (KiB) 414720

Child status: 0
Real time (s): 286.297
CPU time (s): 284.346
CPU user time (s): 284.182
CPU system time (s): 0.16401
CPU usage (%): 99.3183
Max. virtual memory (cumulated for all children) (KiB): 414720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.182
system time used= 0.16401
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71441
page faults= 250
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6355
involuntary context switches= 9006

runsolver used 0 second user time and 0 second system time

The end