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/201108311143/gj-user-solver-1.0/26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf /home/misc2010/tmp/201108311143/gj-user-solver-1.0/26f3d4cc-d470-11df-9e6c-00163e3d3b7c.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: 0.99 1.00 0.99 5/38 22206
/proc/meminfo: memFree=549048/1048576 swapFree=0/0
[pid=22204] ppid=22203 vsize=2572 CPUtime=0
/proc/22204/stat : 22204 (gj-user-solver-) S 22203 22204 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 61941455 2633728 270 1283457024 134512640 135304128 4286843408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22204/statm: 643 270 229 194 0 30 0
[pid=22205] ppid=22204 vsize=11360 CPUtime=0
/proc/22205/stat : 22205 (java) R 22204 22204 19908 34817 19908 4202496 917 0 0 0 0 0 0 0 25 0 2 0 61941455 11632640 651 1283457024 134512640 134550932 4287560224 18446744073709551615 4159008360 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/22205/statm: 2840 651 285 10 0 1186 0
[pid=22205/tid=22206] ppid=22204 vsize=11360 CPUtime=0
/proc/22205/task/22206/stat : 22206 (java) R 22204 22204 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 2 0 61941456 11632640 651 1283457024 134512640 134550932 4287560224 18446744073709551615 4159008360 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.176086 s]
/proc/loadavg: 0.99 1.00 0.99 5/38 22206
/proc/meminfo: memFree=549048/1048576 swapFree=0/0
[pid=22204] ppid=22203 vsize=2572 CPUtime=0
/proc/22204/stat : 22204 (gj-user-solver-) S 22203 22204 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 61941455 2633728 270 1283457024 134512640 135304128 4286843408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22204/statm: 643 270 229 194 0 30 0
[pid=22205] ppid=22204 vsize=410336 CPUtime=0.18
/proc/22205/stat : 22205 (java) S 22204 22204 19908 34817 19908 4202496 4170 0 1 0 16 2 0 0 25 0 9 0 61941455 420184064 3601 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22205/statm: 102584 3601 1939 10 0 96732 0
[pid=22205/tid=22206] ppid=22204 vsize=410336 CPUtime=0.16
/proc/22205/task/22206/stat : 22206 (java) R 22204 22204 19908 34817 19908 4202560 2926 0 1 0 14 2 0 0 25 0 9 0 61941456 420184064 3601 1283457024 134512640 134550932 4287560224 18446744073709551615 4114345879 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 412908

[startup+0.206103 s]
/proc/loadavg: 0.99 1.00 0.99 5/38 22206
/proc/meminfo: memFree=549048/1048576 swapFree=0/0
[pid=22204] ppid=22203 vsize=2572 CPUtime=0
/proc/22204/stat : 22204 (gj-user-solver-) S 22203 22204 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 61941455 2633728 270 1283457024 134512640 135304128 4286843408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22204/statm: 643 270 229 194 0 30 0
[pid=22205] ppid=22204 vsize=410336 CPUtime=0.2
/proc/22205/stat : 22205 (java) S 22204 22204 19908 34817 19908 4202496 4333 0 1 0 18 2 0 0 25 0 9 0 61941455 420184064 3764 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22205/statm: 102584 3764 1939 10 0 96732 0
[pid=22205/tid=22206] ppid=22204 vsize=410336 CPUtime=0.18
/proc/22205/task/22206/stat : 22206 (java) R 22204 22204 19908 34817 19908 4202560 3089 0 1 0 16 2 0 0 25 0 9 0 61941456 420184064 3764 1283457024 134512640 134550932 4287560224 18446744073709551615 4114312609 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) 412908

[startup+0.306137 s]
/proc/loadavg: 0.99 1.00 0.99 5/38 22206
/proc/meminfo: memFree=549048/1048576 swapFree=0/0
[pid=22204] ppid=22203 vsize=2572 CPUtime=0
/proc/22204/stat : 22204 (gj-user-solver-) S 22203 22204 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 61941455 2633728 270 1283457024 134512640 135304128 4286843408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22204/statm: 643 270 229 194 0 30 0
[pid=22205] ppid=22204 vsize=410336 CPUtime=0.3
/proc/22205/stat : 22205 (java) S 22204 22204 19908 34817 19908 4202496 5350 0 1 0 28 2 0 0 25 0 9 0 61941455 420184064 4781 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22205/statm: 102584 4781 1946 10 0 96732 0
[pid=22205/tid=22206] ppid=22204 vsize=410336 CPUtime=0.26
/proc/22205/task/22206/stat : 22206 (java) R 22204 22204 19908 34817 19908 4202560 3508 0 1 0 24 2 0 0 25 0 9 0 61941456 420184064 4781 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 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) 412908

[startup+0.706792 s]
/proc/loadavg: 0.99 1.00 0.99 5/38 22206
/proc/meminfo: memFree=549048/1048576 swapFree=0/0
[pid=22204] ppid=22203 vsize=2572 CPUtime=0
/proc/22204/stat : 22204 (gj-user-solver-) S 22203 22204 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 61941455 2633728 270 1283457024 134512640 135304128 4286843408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22204/statm: 643 270 229 194 0 30 0
[pid=22205] ppid=22204 vsize=410752 CPUtime=0.7
/proc/22205/stat : 22205 (java) S 22204 22204 19908 34817 19908 4202496 12889 0 1 0 66 4 0 0 25 0 9 0 61941455 420610048 12135 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22205/statm: 102688 12135 2900 10 0 96836 0
[pid=22205/tid=22206] ppid=22204 vsize=410752 CPUtime=0.46
/proc/22205/task/22206/stat : 22206 (java) R 22204 22204 19908 34817 19908 4202560 4198 0 1 0 44 2 0 0 25 0 9 0 61941456 420610048 12135 1283457024 134512640 134550932 4287560224 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) 413324

[startup+1.50692 s]
/proc/loadavg: 0.99 1.00 0.99 3/46 22214
/proc/meminfo: memFree=490748/1048576 swapFree=0/0
[pid=22204] ppid=22203 vsize=2572 CPUtime=0
/proc/22204/stat : 22204 (gj-user-solver-) S 22203 22204 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 61941455 2633728 270 1283457024 134512640 135304128 4286843408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22204/statm: 643 270 229 194 0 30 0
[pid=22205] ppid=22204 vsize=410752 CPUtime=1.49
/proc/22205/stat : 22205 (java) S 22204 22204 19908 34817 19908 4202496 27143 0 1 0 141 8 0 0 25 0 9 0 61941455 420610048 26389 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22205/statm: 102688 26389 2900 10 0 96836 0
[pid=22205/tid=22206] ppid=22204 vsize=410752 CPUtime=0.81
/proc/22205/task/22206/stat : 22206 (java) R 22204 22204 19908 34817 19908 4202560 6822 0 1 0 77 4 0 0 25 0 9 0 61941456 420610048 26389 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22205/tid=22208] ppid=22204 vsize=410752 CPUtime=0.64
/proc/22205/task/22208/stat : 22208 (java) R 22204 22204 19908 34817 19908 4202560 18936 0 0 0 60 4 0 0 18 0 9 0 61941457 420610048 26389 1283457024 134512640 134550932 4287560224 18446744073709551615 4150613944 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=22205/tid=22209] ppid=22204 vsize=410752 CPUtime=0
/proc/22205/task/22209/stat : 22209 (java) S 22204 22204 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 61941457 420610048 26389 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22210] ppid=22204 vsize=410752 CPUtime=0
/proc/22205/task/22210/stat : 22210 (java) S 22204 22204 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 61941457 420610048 26389 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22211] ppid=22204 vsize=410752 CPUtime=0
/proc/22205/task/22211/stat : 22211 (java) S 22204 22204 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 61941458 420610048 26389 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22212] ppid=22204 vsize=410752 CPUtime=0.03
/proc/22205/task/22212/stat : 22212 (java) S 22204 22204 19908 34817 19908 4202560 445 0 0 0 3 0 0 0 18 0 9 0 61941458 420610048 26389 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22213] ppid=22204 vsize=410752 CPUtime=0
/proc/22205/task/22213/stat : 22213 (java) S 22204 22204 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 9 0 61941458 420610048 26389 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22214] ppid=22204 vsize=410752 CPUtime=0
/proc/22205/task/22214/stat : 22214 (java) S 22204 22204 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 9 0 61941458 420610048 26389 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 413324

[startup+3.10722 s]
/proc/loadavg: 0.99 1.00 0.99 2/46 22214
/proc/meminfo: memFree=415852/1048576 swapFree=0/0
[pid=22204] ppid=22203 vsize=2572 CPUtime=0
/proc/22204/stat : 22204 (gj-user-solver-) S 22203 22204 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 61941455 2633728 270 1283457024 134512640 135304128 4286843408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22204/statm: 643 270 229 194 0 30 0
[pid=22205] ppid=22204 vsize=410884 CPUtime=3.1
/proc/22205/stat : 22205 (java) S 22204 22204 19908 34817 19908 4202496 48458 0 1 0 292 18 0 0 25 0 9 0 61941455 420745216 47698 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22205/statm: 102721 47698 2902 10 0 96869 0
[pid=22205/tid=22206] ppid=22204 vsize=410884 CPUtime=1.47
/proc/22205/task/22206/stat : 22206 (java) R 22204 22204 19908 34817 19908 4202560 13549 0 1 0 139 8 0 0 25 0 9 0 61941456 420745216 47698 1283457024 134512640 134550932 4287560224 18446744073709551615 4114873013 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22205/tid=22208] ppid=22204 vsize=410884 CPUtime=1.57
/proc/22205/task/22208/stat : 22208 (java) S 22204 22204 19908 34817 19908 4202560 33511 0 0 0 147 10 0 0 16 0 9 0 61941457 420745216 47698 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22209] ppid=22204 vsize=410884 CPUtime=0
/proc/22205/task/22209/stat : 22209 (java) S 22204 22204 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 61941457 420745216 47698 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22210] ppid=22204 vsize=410884 CPUtime=0
/proc/22205/task/22210/stat : 22210 (java) S 22204 22204 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 61941457 420745216 47698 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22211] ppid=22204 vsize=410884 CPUtime=0
/proc/22205/task/22211/stat : 22211 (java) S 22204 22204 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 61941458 420745216 47698 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22212] ppid=22204 vsize=410884 CPUtime=0.04
/proc/22205/task/22212/stat : 22212 (java) S 22204 22204 19908 34817 19908 4202560 458 0 0 0 4 0 0 0 15 0 9 0 61941458 420745216 47698 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22213] ppid=22204 vsize=410884 CPUtime=0
/proc/22205/task/22213/stat : 22213 (java) S 22204 22204 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 9 0 61941458 420745216 47698 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22214] ppid=22204 vsize=410884 CPUtime=0
/proc/22205/task/22214/stat : 22214 (java) S 22204 22204 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 9 0 61941458 420745216 47698 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413456

[startup+6.30783 s]
/proc/loadavg: 1.07 1.01 1.00 2/47 22215
/proc/meminfo: memFree=307468/1048576 swapFree=0/0
[pid=22204] ppid=22203 vsize=2572 CPUtime=0
/proc/22204/stat : 22204 (gj-user-solver-) S 22203 22204 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 61941455 2633728 270 1283457024 134512640 135304128 4286843408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22204/statm: 643 270 229 194 0 30 0
[pid=22205] ppid=22204 vsize=411220 CPUtime=6.3
/proc/22205/stat : 22205 (java) S 22204 22204 19908 34817 19908 4202496 64284 0 1 0 607 23 0 0 25 0 10 0 61941455 421089280 63445 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22205/statm: 102805 63445 2925 10 0 96950 0
[pid=22205/tid=22206] ppid=22204 vsize=411220 CPUtime=4.16
/proc/22205/task/22206/stat : 22206 (java) R 22204 22204 19908 34817 19908 4202560 14498 0 1 0 407 9 0 0 25 0 10 0 61941456 421089280 63445 1283457024 134512640 134550932 4287560224 18446744073709551615 4114367080 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22205/tid=22208] ppid=22204 vsize=411220 CPUtime=1.97
/proc/22205/task/22208/stat : 22208 (java) S 22204 22204 19908 34817 19908 4202560 48308 0 0 0 184 13 0 0 16 0 10 0 61941457 421089280 63445 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22209] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22209/stat : 22209 (java) S 22204 22204 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61941457 421089280 63445 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22210] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22210/stat : 22210 (java) S 22204 22204 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61941457 421089280 63445 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22211] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22211/stat : 22211 (java) S 22204 22204 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61941458 421089280 63445 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22212] ppid=22204 vsize=411220 CPUtime=0.13
/proc/22205/task/22212/stat : 22212 (java) S 22204 22204 19908 34817 19908 4202560 534 0 0 0 13 0 0 0 16 0 10 0 61941458 421089280 63445 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22213] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22213/stat : 22213 (java) S 22204 22204 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 61941458 421089280 63445 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22214] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22214/stat : 22214 (java) S 22204 22204 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 61941458 421089280 63445 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22215] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22215/stat : 22215 (java) S 22204 22204 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 61941859 421089280 63445 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413792

[startup+12.7096 s]
/proc/loadavg: 1.07 1.01 1.00 3/47 22215
/proc/meminfo: memFree=303624/1048576 swapFree=0/0
[pid=22204] ppid=22203 vsize=2572 CPUtime=0
/proc/22204/stat : 22204 (gj-user-solver-) S 22203 22204 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 61941455 2633728 270 1283457024 134512640 135304128 4286843408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22204/statm: 643 270 229 194 0 30 0
[pid=22205] ppid=22204 vsize=411220 CPUtime=12.69
/proc/22205/stat : 22205 (java) S 22204 22204 19908 34817 19908 4202496 65210 0 1 0 1246 23 0 0 25 0 10 0 61941455 421089280 64363 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22205/statm: 102805 64363 2920 10 0 96950 0
[pid=22205/tid=22206] ppid=22204 vsize=411220 CPUtime=10.27
/proc/22205/task/22206/stat : 22206 (java) R 22204 22204 19908 34817 19908 4202560 14498 0 1 0 1018 9 0 0 25 0 10 0 61941456 421089280 64363 1283457024 134512640 134550932 4287560224 18446744073709551615 4115253813 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22205/tid=22208] ppid=22204 vsize=411220 CPUtime=2.26
/proc/22205/task/22208/stat : 22208 (java) S 22204 22204 19908 34817 19908 4202560 49229 0 0 0 213 13 0 0 15 0 10 0 61941457 421089280 64363 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22209] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22209/stat : 22209 (java) S 22204 22204 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61941457 421089280 64363 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22210] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22210/stat : 22210 (java) S 22204 22204 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61941457 421089280 64363 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22211] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22211/stat : 22211 (java) S 22204 22204 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61941458 421089280 64363 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22212] ppid=22204 vsize=411220 CPUtime=0.13
/proc/22205/task/22212/stat : 22212 (java) S 22204 22204 19908 34817 19908 4202560 539 0 0 0 13 0 0 0 16 0 10 0 61941458 421089280 64363 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22213] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22213/stat : 22213 (java) S 22204 22204 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 61941458 421089280 64363 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22214] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22214/stat : 22214 (java) S 22204 22204 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 61941458 421089280 64363 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22215] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22215/stat : 22215 (java) S 22204 22204 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 61941859 421089280 64363 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 413792

[startup+25.5133 s]
/proc/loadavg: 1.05 1.01 1.00 2/47 22215
/proc/meminfo: memFree=310816/1048576 swapFree=0/0
[pid=22204] ppid=22203 vsize=2572 CPUtime=0
/proc/22204/stat : 22204 (gj-user-solver-) S 22203 22204 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 61941455 2633728 270 1283457024 134512640 135304128 4286843408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22204/statm: 643 270 229 194 0 30 0
[pid=22205] ppid=22204 vsize=411220 CPUtime=25.49
/proc/22205/stat : 22205 (java) S 22204 22204 19908 34817 19908 4202496 65323 0 1 0 2525 24 0 0 25 0 10 0 61941455 421089280 62417 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22205/statm: 102805 62417 2920 10 0 96950 0
[pid=22205/tid=22206] ppid=22204 vsize=411220 CPUtime=22.66
/proc/22205/task/22206/stat : 22206 (java) R 22204 22204 19908 34817 19908 4202560 14498 0 1 0 2257 9 0 0 25 0 10 0 61941456 421089280 62417 1283457024 134512640 134550932 4287560224 18446744073709551615 4115203632 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22205/tid=22208] ppid=22204 vsize=411220 CPUtime=2.66
/proc/22205/task/22208/stat : 22208 (java) S 22204 22204 19908 34817 19908 4202560 49341 0 0 0 252 14 0 0 16 0 10 0 61941457 421089280 62417 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22209] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22209/stat : 22209 (java) S 22204 22204 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61941457 421089280 62417 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22210] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22210/stat : 22210 (java) S 22204 22204 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61941457 421089280 62417 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22211] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22211/stat : 22211 (java) S 22204 22204 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61941458 421089280 62417 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22212] ppid=22204 vsize=411220 CPUtime=0.13
/proc/22205/task/22212/stat : 22212 (java) S 22204 22204 19908 34817 19908 4202560 540 0 0 0 13 0 0 0 15 0 10 0 61941458 421089280 62417 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22213] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22213/stat : 22213 (java) S 22204 22204 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 61941458 421089280 62417 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22214] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22214/stat : 22214 (java) S 22204 22204 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 61941458 421089280 62417 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22215] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22215/stat : 22215 (java) S 22204 22204 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 61941859 421089280 62417 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 413792

[startup+51.1095 s]
/proc/loadavg: 1.03 1.01 1.00 3/47 22215
/proc/meminfo: memFree=335244/1048576 swapFree=0/0
[pid=22204] ppid=22203 vsize=2572 CPUtime=0
/proc/22204/stat : 22204 (gj-user-solver-) S 22203 22204 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 61941455 2633728 270 1283457024 134512640 135304128 4286843408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22204/statm: 643 270 229 194 0 30 0
[pid=22205] ppid=22204 vsize=411220 CPUtime=51.04
/proc/22205/stat : 22205 (java) S 22204 22204 19908 34817 19908 4202496 65659 0 1 0 5079 25 0 0 25 0 10 0 61941455 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22205/statm: 102805 56303 2920 10 0 96950 0
[pid=22205/tid=22206] ppid=22204 vsize=411220 CPUtime=47.85
/proc/22205/task/22206/stat : 22206 (java) R 22204 22204 19908 34817 19908 4202560 14498 0 1 0 4776 9 0 0 25 0 10 0 61941456 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4115290660 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22205/tid=22208] ppid=22204 vsize=411220 CPUtime=3.02
/proc/22205/task/22208/stat : 22208 (java) S 22204 22204 19908 34817 19908 4202560 49677 0 0 0 287 15 0 0 15 0 10 0 61941457 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22209] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22209/stat : 22209 (java) S 22204 22204 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61941457 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22210] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22210/stat : 22210 (java) S 22204 22204 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61941457 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22211] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22211/stat : 22211 (java) S 22204 22204 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22212] ppid=22204 vsize=411220 CPUtime=0.13
/proc/22205/task/22212/stat : 22212 (java) S 22204 22204 19908 34817 19908 4202560 540 0 0 0 13 0 0 0 15 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22213] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22213/stat : 22213 (java) S 22204 22204 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22214] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22214/stat : 22214 (java) R 22204 22204 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22205/tid=22215] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22215/stat : 22215 (java) S 22204 22204 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 61941859 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 413792

[startup+102.311 s]
/proc/loadavg: 1.06 1.02 1.00 2/46 22217
/proc/meminfo: memFree=338128/1048576 swapFree=0/0
[pid=22204] ppid=22203 vsize=2572 CPUtime=0
/proc/22204/stat : 22204 (gj-user-solver-) S 22203 22204 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 61941455 2633728 270 1283457024 134512640 135304128 4286843408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22204/statm: 643 270 229 194 0 30 0
[pid=22205] ppid=22204 vsize=411220 CPUtime=102.18
/proc/22205/stat : 22205 (java) S 22204 22204 19908 34817 19908 4202496 65659 0 1 0 10193 25 0 0 25 0 10 0 61941455 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22205/statm: 102805 56303 2920 10 0 96950 0
[pid=22205/tid=22206] ppid=22204 vsize=411220 CPUtime=98.24
/proc/22205/task/22206/stat : 22206 (java) R 22204 22204 19908 34817 19908 4202560 14498 0 1 0 9815 9 0 0 25 0 10 0 61941456 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4115252905 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22205/tid=22208] ppid=22204 vsize=411220 CPUtime=3.77
/proc/22205/task/22208/stat : 22208 (java) S 22204 22204 19908 34817 19908 4202560 49677 0 0 0 362 15 0 0 15 0 10 0 61941457 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22209] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22209/stat : 22209 (java) S 22204 22204 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61941457 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22210] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22210/stat : 22210 (java) S 22204 22204 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61941457 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22211] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22211/stat : 22211 (java) S 22204 22204 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22212] ppid=22204 vsize=411220 CPUtime=0.13
/proc/22205/task/22212/stat : 22212 (java) S 22204 22204 19908 34817 19908 4202560 540 0 0 0 13 0 0 0 15 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22213] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22213/stat : 22213 (java) S 22204 22204 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22214] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22214/stat : 22214 (java) S 22204 22204 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22215] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22215/stat : 22215 (java) S 22204 22204 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 61941859 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 413792

[startup+162.305 s]
/proc/loadavg: 1.06 1.03 1.00 2/46 22223
/proc/meminfo: memFree=338128/1048576 swapFree=0/0
[pid=22204] ppid=22203 vsize=2572 CPUtime=0
/proc/22204/stat : 22204 (gj-user-solver-) S 22203 22204 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 61941455 2633728 270 1283457024 134512640 135304128 4286843408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22204/statm: 643 270 229 194 0 30 0
[pid=22205] ppid=22204 vsize=411220 CPUtime=162.14
/proc/22205/stat : 22205 (java) S 22204 22204 19908 34817 19908 4202496 65659 0 1 0 16188 26 0 0 25 0 10 0 61941455 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22205/statm: 102805 56303 2920 10 0 96950 0
[pid=22205/tid=22206] ppid=22204 vsize=411220 CPUtime=157.46
/proc/22205/task/22206/stat : 22206 (java) R 22204 22204 19908 34817 19908 4202560 14498 0 1 0 15736 10 0 0 25 0 10 0 61941456 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4115204408 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22205/tid=22208] ppid=22204 vsize=411220 CPUtime=4.51
/proc/22205/task/22208/stat : 22208 (java) S 22204 22204 19908 34817 19908 4202560 49677 0 0 0 436 15 0 0 15 0 10 0 61941457 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22209] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22209/stat : 22209 (java) S 22204 22204 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61941457 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22210] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22210/stat : 22210 (java) S 22204 22204 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61941457 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22211] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22211/stat : 22211 (java) S 22204 22204 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22212] ppid=22204 vsize=411220 CPUtime=0.13
/proc/22205/task/22212/stat : 22212 (java) S 22204 22204 19908 34817 19908 4202560 540 0 0 0 13 0 0 0 15 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22213] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22213/stat : 22213 (java) S 22204 22204 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22214] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22214/stat : 22214 (java) S 22204 22204 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22215] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22215/stat : 22215 (java) S 22204 22204 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 61941859 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 413792

[startup+222.311 s]
/proc/loadavg: 1.02 1.02 1.00 2/45 22226
/proc/meminfo: memFree=338144/1048576 swapFree=0/0
[pid=22204] ppid=22203 vsize=2572 CPUtime=0
/proc/22204/stat : 22204 (gj-user-solver-) S 22203 22204 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 61941455 2633728 270 1283457024 134512640 135304128 4286843408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22204/statm: 643 270 229 194 0 30 0
[pid=22205] ppid=22204 vsize=411220 CPUtime=222.09
/proc/22205/stat : 22205 (java) S 22204 22204 19908 34817 19908 4202496 65659 0 1 0 22183 26 0 0 25 0 10 0 61941455 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22205/statm: 102805 56303 2920 10 0 96950 0
[pid=22205/tid=22206] ppid=22204 vsize=411220 CPUtime=216.82
/proc/22205/task/22206/stat : 22206 (java) R 22204 22204 19908 34817 19908 4202560 14498 0 1 0 21672 10 0 0 25 0 10 0 61941456 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4115172762 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22205/tid=22208] ppid=22204 vsize=411220 CPUtime=5.11
/proc/22205/task/22208/stat : 22208 (java) S 22204 22204 19908 34817 19908 4202560 49677 0 0 0 496 15 0 0 16 0 10 0 61941457 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22209] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22209/stat : 22209 (java) S 22204 22204 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61941457 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22210] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22210/stat : 22210 (java) S 22204 22204 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61941457 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22211] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22211/stat : 22211 (java) S 22204 22204 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22212] ppid=22204 vsize=411220 CPUtime=0.13
/proc/22205/task/22212/stat : 22212 (java) S 22204 22204 19908 34817 19908 4202560 540 0 0 0 13 0 0 0 15 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22213] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22213/stat : 22213 (java) S 22204 22204 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22214] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22214/stat : 22214 (java) S 22204 22204 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22215] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22215/stat : 22215 (java) S 22204 22204 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 61941859 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 413792

[startup+282.315 s]
/proc/loadavg: 1.01 1.02 1.00 2/44 22226
/proc/meminfo: memFree=338152/1048576 swapFree=0/0
[pid=22204] ppid=22203 vsize=2572 CPUtime=0
/proc/22204/stat : 22204 (gj-user-solver-) S 22203 22204 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 61941455 2633728 270 1283457024 134512640 135304128 4286843408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22204/statm: 643 270 229 194 0 30 0
[pid=22205] ppid=22204 vsize=411220 CPUtime=282.04
/proc/22205/stat : 22205 (java) S 22204 22204 19908 34817 19908 4202496 65659 0 1 0 28177 27 0 0 25 0 10 0 61941455 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22205/statm: 102805 56303 2920 10 0 96950 0
[pid=22205/tid=22206] ppid=22204 vsize=411220 CPUtime=276.38
/proc/22205/task/22206/stat : 22206 (java) R 22204 22204 19908 34817 19908 4202560 14498 0 1 0 27626 12 0 0 25 0 10 0 61941456 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4115179428 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22205/tid=22208] ppid=22204 vsize=411220 CPUtime=5.5
/proc/22205/task/22208/stat : 22208 (java) S 22204 22204 19908 34817 19908 4202560 49677 0 0 0 535 15 0 0 15 0 10 0 61941457 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22209] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22209/stat : 22209 (java) S 22204 22204 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61941457 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22210] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22210/stat : 22210 (java) S 22204 22204 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61941457 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22211] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22211/stat : 22211 (java) S 22204 22204 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22212] ppid=22204 vsize=411220 CPUtime=0.13
/proc/22205/task/22212/stat : 22212 (java) S 22204 22204 19908 34817 19908 4202560 540 0 0 0 13 0 0 0 15 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22213] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22213/stat : 22213 (java) S 22204 22204 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22214] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22214/stat : 22214 (java) S 22204 22204 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22215] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22215/stat : 22215 (java) S 22204 22204 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 61941859 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.04
Current children cumulated vsize (KiB) 413792

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

[startup+283.116 s]
/proc/loadavg: 1.01 1.02 1.00 2/44 22226
/proc/meminfo: memFree=338152/1048576 swapFree=0/0
[pid=22204] ppid=22203 vsize=2572 CPUtime=0
/proc/22204/stat : 22204 (gj-user-solver-) S 22203 22204 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 61941455 2633728 270 1283457024 134512640 135304128 4286843408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22204/statm: 643 270 229 194 0 30 0
[pid=22205] ppid=22204 vsize=411220 CPUtime=282.84
/proc/22205/stat : 22205 (java) S 22204 22204 19908 34817 19908 4202496 65659 0 1 0 28257 27 0 0 25 0 10 0 61941455 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22205/statm: 102805 56303 2920 10 0 96950 0
[pid=22205/tid=22206] ppid=22204 vsize=411220 CPUtime=277.18
/proc/22205/task/22206/stat : 22206 (java) R 22204 22204 19908 34817 19908 4202560 14498 0 1 0 27706 12 0 0 25 0 10 0 61941456 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4115252905 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22205/tid=22208] ppid=22204 vsize=411220 CPUtime=5.5
/proc/22205/task/22208/stat : 22208 (java) S 22204 22204 19908 34817 19908 4202560 49677 0 0 0 535 15 0 0 15 0 10 0 61941457 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22209] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22209/stat : 22209 (java) S 22204 22204 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61941457 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22210] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22210/stat : 22210 (java) S 22204 22204 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61941457 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22211] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22211/stat : 22211 (java) S 22204 22204 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22212] ppid=22204 vsize=411220 CPUtime=0.13
/proc/22205/task/22212/stat : 22212 (java) S 22204 22204 19908 34817 19908 4202560 540 0 0 0 13 0 0 0 15 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22213] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22213/stat : 22213 (java) S 22204 22204 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22214] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22214/stat : 22214 (java) S 22204 22204 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22215] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22215/stat : 22215 (java) S 22204 22204 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 61941859 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.84
Current children cumulated vsize (KiB) 413792

[startup+283.916 s]
/proc/loadavg: 1.01 1.02 1.00 2/44 22226
/proc/meminfo: memFree=338152/1048576 swapFree=0/0
[pid=22204] ppid=22203 vsize=2572 CPUtime=0
/proc/22204/stat : 22204 (gj-user-solver-) S 22203 22204 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 61941455 2633728 270 1283457024 134512640 135304128 4286843408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22204/statm: 643 270 229 194 0 30 0
[pid=22205] ppid=22204 vsize=411220 CPUtime=283.64
/proc/22205/stat : 22205 (java) S 22204 22204 19908 34817 19908 4202496 65659 0 1 0 28337 27 0 0 25 0 10 0 61941455 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22205/statm: 102805 56303 2920 10 0 96950 0
[pid=22205/tid=22206] ppid=22204 vsize=411220 CPUtime=277.98
/proc/22205/task/22206/stat : 22206 (java) R 22204 22204 19908 34817 19908 4202560 14498 0 1 0 27786 12 0 0 25 0 10 0 61941456 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4115179428 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22205/tid=22208] ppid=22204 vsize=411220 CPUtime=5.5
/proc/22205/task/22208/stat : 22208 (java) S 22204 22204 19908 34817 19908 4202560 49677 0 0 0 535 15 0 0 15 0 10 0 61941457 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22209] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22209/stat : 22209 (java) S 22204 22204 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61941457 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22210] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22210/stat : 22210 (java) S 22204 22204 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61941457 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22211] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22211/stat : 22211 (java) S 22204 22204 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22212] ppid=22204 vsize=411220 CPUtime=0.13
/proc/22205/task/22212/stat : 22212 (java) S 22204 22204 19908 34817 19908 4202560 540 0 0 0 13 0 0 0 15 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22213] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22213/stat : 22213 (java) S 22204 22204 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22214] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22214/stat : 22214 (java) S 22204 22204 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22215] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22215/stat : 22215 (java) S 22204 22204 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 61941859 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.64
Current children cumulated vsize (KiB) 413792

[startup+284.706 s]
/proc/loadavg: 1.01 1.02 1.00 2/44 22226
/proc/meminfo: memFree=338152/1048576 swapFree=0/0
[pid=22204] ppid=22203 vsize=2572 CPUtime=0
/proc/22204/stat : 22204 (gj-user-solver-) S 22203 22204 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 61941455 2633728 270 1283457024 134512640 135304128 4286843408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22204/statm: 643 270 229 194 0 30 0
[pid=22205] ppid=22204 vsize=411220 CPUtime=284.43
/proc/22205/stat : 22205 (java) S 22204 22204 19908 34817 19908 4202496 65659 0 1 0 28416 27 0 0 25 0 10 0 61941455 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22205/statm: 102805 56303 2920 10 0 96950 0
[pid=22205/tid=22206] ppid=22204 vsize=411220 CPUtime=278.77
/proc/22205/task/22206/stat : 22206 (java) R 22204 22204 19908 34817 19908 4202560 14498 0 1 0 27865 12 0 0 25 0 10 0 61941456 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4115253813 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22205/tid=22208] ppid=22204 vsize=411220 CPUtime=5.5
/proc/22205/task/22208/stat : 22208 (java) S 22204 22204 19908 34817 19908 4202560 49677 0 0 0 535 15 0 0 15 0 10 0 61941457 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22209] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22209/stat : 22209 (java) S 22204 22204 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61941457 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22210] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22210/stat : 22210 (java) S 22204 22204 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61941457 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22211] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22211/stat : 22211 (java) S 22204 22204 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22212] ppid=22204 vsize=411220 CPUtime=0.13
/proc/22205/task/22212/stat : 22212 (java) S 22204 22204 19908 34817 19908 4202560 540 0 0 0 13 0 0 0 15 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22213] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22213/stat : 22213 (java) S 22204 22204 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22214] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22214/stat : 22214 (java) S 22204 22204 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 61941458 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22215] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22215/stat : 22215 (java) S 22204 22204 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 61941859 421089280 56303 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.43
Current children cumulated vsize (KiB) 413792

[startup+285.106 s]
/proc/loadavg: 1.00 1.02 1.00 2/44 22226
/proc/meminfo: memFree=338152/1048576 swapFree=0/0
[pid=22204] ppid=22203 vsize=2572 CPUtime=0
/proc/22204/stat : 22204 (gj-user-solver-) S 22203 22204 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 61941455 2633728 270 1283457024 134512640 135304128 4286843408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22204/statm: 643 270 229 194 0 30 0
[pid=22205] ppid=22204 vsize=411220 CPUtime=284.83
/proc/22205/stat : 22205 (java) S 22204 22204 19908 34817 19908 4202496 65660 0 1 0 28456 27 0 0 25 0 9 0 61941455 421089280 56304 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22205/statm: 102805 56304 2921 10 0 96950 0
[pid=22205/tid=22206] ppid=22204 vsize=411220 CPUtime=279.17
/proc/22205/task/22206/stat : 22206 (java) R 22204 22204 19908 34817 19908 4202560 14498 0 1 0 27905 12 0 0 25 0 9 0 61941456 421089280 56304 1283457024 134512640 134550932 4287560224 18446744073709551615 4115335429 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22205/tid=22208] ppid=22204 vsize=411220 CPUtime=5.5
/proc/22205/task/22208/stat : 22208 (java) S 22204 22204 19908 34817 19908 4202560 49677 0 0 0 535 15 0 0 15 0 9 0 61941457 421089280 56304 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22209] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22209/stat : 22209 (java) S 22204 22204 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 61941457 421089280 56304 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22210] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22210/stat : 22210 (java) S 22204 22204 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 61941457 421089280 56304 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22211] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22211/stat : 22211 (java) S 22204 22204 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 61941458 421089280 56304 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22212] ppid=22204 vsize=411220 CPUtime=0.13
/proc/22205/task/22212/stat : 22212 (java) S 22204 22204 19908 34817 19908 4202560 540 0 0 0 13 0 0 0 15 0 9 0 61941458 421089280 56304 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22213] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22213/stat : 22213 (java) S 22204 22204 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 9 0 61941458 421089280 56304 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22214] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22214/stat : 22214 (java) S 22204 22204 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 9 0 61941458 421089280 56304 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.83
Current children cumulated vsize (KiB) 413792

[startup+285.206 s]
/proc/loadavg: 1.00 1.02 1.00 2/44 22226
/proc/meminfo: memFree=338152/1048576 swapFree=0/0
[pid=22204] ppid=22203 vsize=2572 CPUtime=0
/proc/22204/stat : 22204 (gj-user-solver-) S 22203 22204 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 61941455 2633728 270 1283457024 134512640 135304128 4286843408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22204/statm: 643 270 229 194 0 30 0
[pid=22205] ppid=22204 vsize=411220 CPUtime=284.9
/proc/22205/stat : 22205 (java) S 22204 22204 19908 34817 19908 4202496 65660 0 1 0 28463 27 0 0 25 0 9 0 61941455 421089280 56304 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22205/statm: 102805 56304 2921 10 0 96950 0
[pid=22205/tid=22206] ppid=22204 vsize=411220 CPUtime=279.24
/proc/22205/task/22206/stat : 22206 (java) S 22204 22204 19908 34817 19908 4202560 14498 0 1 0 27912 12 0 0 25 0 9 0 61941456 421089280 56304 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22208] ppid=22204 vsize=411220 CPUtime=5.5
/proc/22205/task/22208/stat : 22208 (java) S 22204 22204 19908 34817 19908 4202560 49677 0 0 0 535 15 0 0 15 0 9 0 61941457 421089280 56304 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22209] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22209/stat : 22209 (java) S 22204 22204 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 61941457 421089280 56304 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22210] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22210/stat : 22210 (java) S 22204 22204 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 61941457 421089280 56304 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22211] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22211/stat : 22211 (java) S 22204 22204 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 61941458 421089280 56304 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22212] ppid=22204 vsize=411220 CPUtime=0.13
/proc/22205/task/22212/stat : 22212 (java) S 22204 22204 19908 34817 19908 4202560 540 0 0 0 13 0 0 0 15 0 9 0 61941458 421089280 56304 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22213] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22213/stat : 22213 (java) S 22204 22204 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 9 0 61941458 421089280 56304 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=22205/tid=22214] ppid=22204 vsize=411220 CPUtime=0
/proc/22205/task/22214/stat : 22214 (java) S 22204 22204 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 9 0 61941458 421089280 56304 1283457024 134512640 134550932 4287560224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.9
Current children cumulated vsize (KiB) 413792

Child status: 0
Real time (s): 285.236
CPU time (s): 284.914
CPU user time (s): 284.634
CPU system time (s): 0.280017
CPU usage (%): 99.8872
Max. virtual memory (cumulated for all children) (KiB): 413792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.634
system time used= 0.280017
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66048
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= 5797
involuntary context switches= 8659

runsolver used 0 second user time and 0 second system time

The end