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/80e3fda2-9501-11e0-8001-00163e1e087d.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//80e3fda2-9501-11e0-8001-00163e1e087d.cudf /home/misc2010/tmp/201108311143/gj-user-solver-1.0/80e3fda2-9501-11e0-8001-00163e1e087d.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.85 0.99 0.99 4/34 31307
/proc/meminfo: memFree=638388/1048576 swapFree=0/0
[pid=31306] ppid=31305 vsize=2572 CPUtime=0
/proc/31306/stat : 31306 (gj-user-solver-) S 31305 31306 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 66468476 2633728 270 1283457024 134512640 135304128 4287347328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 643 270 229 194 0 30 0
[pid=31307] ppid=31306 vsize=11044 CPUtime=0.01
/proc/31307/stat : 31307 (java) R 31306 31306 19908 34817 19908 4202496 588 0 0 0 0 1 0 0 25 0 1 0 66468476 11309056 324 1283457024 134512640 134550932 4288254656 18446744073709551615 4160558818 0 0 0 0 0 0 0 17 0 0 0 0
/proc/31307/statm: 2761 324 170 10 0 1103 0

[startup+0.125044 s]
/proc/loadavg: 0.85 0.99 0.99 4/34 31307
/proc/meminfo: memFree=638388/1048576 swapFree=0/0
[pid=31306] ppid=31305 vsize=2572 CPUtime=0
/proc/31306/stat : 31306 (gj-user-solver-) S 31305 31306 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 66468476 2633728 270 1283457024 134512640 135304128 4287347328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 643 270 229 194 0 30 0
[pid=31307] ppid=31306 vsize=409924 CPUtime=0.12
/proc/31307/stat : 31307 (java) S 31306 31306 19908 34817 19908 4202496 3852 0 1 0 10 2 0 0 25 0 9 0 66468476 419762176 3283 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31307/statm: 102481 3283 1900 10 0 96629 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 412496

[startup+0.205065 s]
/proc/loadavg: 0.85 0.99 0.99 4/34 31307
/proc/meminfo: memFree=638388/1048576 swapFree=0/0
[pid=31306] ppid=31305 vsize=2572 CPUtime=0
/proc/31306/stat : 31306 (gj-user-solver-) S 31305 31306 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 66468476 2633728 270 1283457024 134512640 135304128 4287347328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 643 270 229 194 0 30 0
[pid=31307] ppid=31306 vsize=409924 CPUtime=0.2
/proc/31307/stat : 31307 (java) S 31306 31306 19908 34817 19908 4202496 4043 0 1 0 18 2 0 0 25 0 9 0 66468476 419762176 3473 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31307/statm: 102481 3473 1912 10 0 96629 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412496

[startup+0.305078 s]
/proc/loadavg: 0.85 0.99 0.99 4/34 31307
/proc/meminfo: memFree=638388/1048576 swapFree=0/0
[pid=31306] ppid=31305 vsize=2572 CPUtime=0
/proc/31306/stat : 31306 (gj-user-solver-) S 31305 31306 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 66468476 2633728 270 1283457024 134512640 135304128 4287347328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 643 270 229 194 0 30 0
[pid=31307] ppid=31306 vsize=410476 CPUtime=0.3
/proc/31307/stat : 31307 (java) S 31306 31306 19908 34817 19908 4202496 4406 0 1 0 28 2 0 0 25 0 9 0 66468476 420327424 3836 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31307/statm: 102619 3836 1939 10 0 96767 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 413048

[startup+0.705157 s]
/proc/loadavg: 0.85 0.99 0.99 4/34 31307
/proc/meminfo: memFree=638388/1048576 swapFree=0/0
[pid=31306] ppid=31305 vsize=2572 CPUtime=0
/proc/31306/stat : 31306 (gj-user-solver-) S 31305 31306 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 66468476 2633728 270 1283457024 134512640 135304128 4287347328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 643 270 229 194 0 30 0
[pid=31307] ppid=31306 vsize=410620 CPUtime=0.7
/proc/31307/stat : 31307 (java) S 31306 31306 19908 34817 19908 4202496 11924 0 1 0 68 2 0 0 25 0 9 0 66468476 420474880 11169 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31307/statm: 102655 11169 2900 10 0 96803 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413192

[startup+1.50529 s]
/proc/loadavg: 0.85 0.99 0.99 2/43 31316
/proc/meminfo: memFree=579404/1048576 swapFree=0/0
[pid=31306] ppid=31305 vsize=2572 CPUtime=0
/proc/31306/stat : 31306 (gj-user-solver-) S 31305 31306 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 66468476 2633728 270 1283457024 134512640 135304128 4287347328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 643 270 229 194 0 30 0
[pid=31307] ppid=31306 vsize=410752 CPUtime=1.5
/proc/31307/stat : 31307 (java) S 31306 31306 19908 34817 19908 4202496 25837 0 1 0 143 7 0 0 25 0 9 0 66468476 420610048 25082 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31307/statm: 102688 25082 2900 10 0 96836 0
[pid=31307/tid=31309] ppid=31306 vsize=410752 CPUtime=0.83
/proc/31307/task/31309/stat : 31309 (java) R 31306 31306 19908 34817 19908 4202560 6807 0 1 0 81 2 0 0 25 0 9 0 66468477 420610048 25082 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31307/tid=31310] ppid=31306 vsize=410752 CPUtime=0.62
/proc/31307/task/31310/stat : 31310 (java) R 31306 31306 19908 34817 19908 4202560 17642 0 0 0 59 3 0 0 18 0 9 0 66468478 420610048 25082 1283457024 134512640 134550932 4288254656 18446744073709551615 4151816311 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=31307/tid=31311] ppid=31306 vsize=410752 CPUtime=0
/proc/31307/task/31311/stat : 31311 (java) S 31306 31306 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 66468478 420610048 25082 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31312] ppid=31306 vsize=410752 CPUtime=0
/proc/31307/task/31312/stat : 31312 (java) S 31306 31306 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 66468478 420610048 25082 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31313] ppid=31306 vsize=410752 CPUtime=0
/proc/31307/task/31313/stat : 31313 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 66468479 420610048 25082 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31314] ppid=31306 vsize=410752 CPUtime=0.02
/proc/31307/task/31314/stat : 31314 (java) S 31306 31306 19908 34817 19908 4202560 446 0 0 0 2 0 0 0 18 0 9 0 66468479 420610048 25082 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31315] ppid=31306 vsize=410752 CPUtime=0
/proc/31307/task/31315/stat : 31315 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 66468479 420610048 25082 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31316] ppid=31306 vsize=410752 CPUtime=0
/proc/31307/task/31316/stat : 31316 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 66468479 420610048 25082 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413324

[startup+3.10584 s]
/proc/loadavg: 0.94 1.00 0.99 2/43 31316
/proc/meminfo: memFree=505128/1048576 swapFree=0/0
[pid=31306] ppid=31305 vsize=2572 CPUtime=0
/proc/31306/stat : 31306 (gj-user-solver-) S 31305 31306 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 66468476 2633728 270 1283457024 134512640 135304128 4287347328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 643 270 229 194 0 30 0
[pid=31307] ppid=31306 vsize=410884 CPUtime=3.1
/proc/31307/stat : 31307 (java) S 31306 31306 19908 34817 19908 4202496 46828 0 1 0 296 14 0 0 25 0 9 0 66468476 420745216 46067 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31307/statm: 102721 46067 2901 10 0 96869 0
[pid=31307/tid=31309] ppid=31306 vsize=410884 CPUtime=1.44
/proc/31307/task/31309/stat : 31309 (java) R 31306 31306 19908 34817 19908 4202560 12119 0 1 0 140 4 0 0 25 0 9 0 66468477 420745216 46067 1283457024 134512640 134550932 4288254656 18446744073709551615 4115181378 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31307/tid=31310] ppid=31306 vsize=410884 CPUtime=1.59
/proc/31307/task/31310/stat : 31310 (java) S 31306 31306 19908 34817 19908 4202560 33316 0 0 0 151 8 0 0 16 0 9 0 66468478 420745216 46067 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31311] ppid=31306 vsize=410884 CPUtime=0
/proc/31307/task/31311/stat : 31311 (java) S 31306 31306 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 66468478 420745216 46067 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31312] ppid=31306 vsize=410884 CPUtime=0
/proc/31307/task/31312/stat : 31312 (java) S 31306 31306 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 66468478 420745216 46067 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31313] ppid=31306 vsize=410884 CPUtime=0
/proc/31307/task/31313/stat : 31313 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 66468479 420745216 46067 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31314] ppid=31306 vsize=410884 CPUtime=0.04
/proc/31307/task/31314/stat : 31314 (java) S 31306 31306 19908 34817 19908 4202560 451 0 0 0 4 0 0 0 15 0 9 0 66468479 420745216 46067 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31315] ppid=31306 vsize=410884 CPUtime=0
/proc/31307/task/31315/stat : 31315 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 66468479 420745216 46067 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31316] ppid=31306 vsize=410884 CPUtime=0
/proc/31307/task/31316/stat : 31316 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 66468479 420745216 46067 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413456

[startup+6.30672 s]
/proc/loadavg: 0.94 1.00 0.99 2/44 31317
/proc/meminfo: memFree=403688/1048576 swapFree=0/0
[pid=31306] ppid=31305 vsize=2572 CPUtime=0
/proc/31306/stat : 31306 (gj-user-solver-) S 31305 31306 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 66468476 2633728 270 1283457024 134512640 135304128 4287347328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 643 270 229 194 0 30 0
[pid=31307] ppid=31306 vsize=411220 CPUtime=6.3
/proc/31307/stat : 31307 (java) S 31306 31306 19908 34817 19908 4202496 62397 0 1 0 609 21 0 0 25 0 10 0 66468476 421089280 61557 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31307/statm: 102805 61557 2924 10 0 96950 0
[pid=31307/tid=31309] ppid=31306 vsize=411220 CPUtime=4.25
/proc/31307/task/31309/stat : 31309 (java) R 31306 31306 19908 34817 19908 4202560 14483 0 1 0 419 6 0 0 25 0 10 0 66468477 421089280 61557 1283457024 134512640 134550932 4288254656 18446744073709551615 4115937955 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31307/tid=31310] ppid=31306 vsize=411220 CPUtime=1.94
/proc/31307/task/31310/stat : 31310 (java) S 31306 31306 19908 34817 19908 4202560 46436 0 0 0 181 13 0 0 15 0 10 0 66468478 421089280 61557 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31311] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31311/stat : 31311 (java) S 31306 31306 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 66468478 421089280 61557 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31312] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31312/stat : 31312 (java) S 31306 31306 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 66468478 421089280 61557 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31313] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31313/stat : 31313 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66468479 421089280 61557 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31314] ppid=31306 vsize=411220 CPUtime=0.09
/proc/31307/task/31314/stat : 31314 (java) S 31306 31306 19908 34817 19908 4202560 531 0 0 0 9 0 0 0 15 0 10 0 66468479 421089280 61557 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31315] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31315/stat : 31315 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66468479 421089280 61557 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31316] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31316/stat : 31316 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66468479 421089280 61557 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31317] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31317/stat : 31317 (java) S 31306 31306 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66468855 421089280 61557 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413792

[startup+12.7088 s]
/proc/loadavg: 1.02 1.02 1.00 2/44 31317
/proc/meminfo: memFree=406052/1048576 swapFree=0/0
[pid=31306] ppid=31305 vsize=2572 CPUtime=0
/proc/31306/stat : 31306 (gj-user-solver-) S 31305 31306 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 66468476 2633728 270 1283457024 134512640 135304128 4287347328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 643 270 229 194 0 30 0
[pid=31307] ppid=31306 vsize=411220 CPUtime=12.69
/proc/31307/stat : 31307 (java) S 31306 31306 19908 34817 19908 4202496 62412 0 1 0 1248 21 0 0 25 0 10 0 66468476 421089280 60777 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31307/statm: 102805 60777 2919 10 0 96950 0
[pid=31307/tid=31309] ppid=31306 vsize=411220 CPUtime=10.32
/proc/31307/task/31309/stat : 31309 (java) R 31306 31306 19908 34817 19908 4202560 14483 0 1 0 1026 6 0 0 25 0 10 0 66468477 421089280 60777 1283457024 134512640 134550932 4288254656 18446744073709551615 4116022864 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31307/tid=31310] ppid=31306 vsize=411220 CPUtime=2.26
/proc/31307/task/31310/stat : 31310 (java) S 31306 31306 19908 34817 19908 4202560 46447 0 0 0 213 13 0 0 15 0 10 0 66468478 421089280 60777 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31311] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31311/stat : 31311 (java) S 31306 31306 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 66468478 421089280 60777 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31312] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31312/stat : 31312 (java) S 31306 31306 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 66468478 421089280 60777 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31313] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31313/stat : 31313 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66468479 421089280 60777 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31314] ppid=31306 vsize=411220 CPUtime=0.09
/proc/31307/task/31314/stat : 31314 (java) S 31306 31306 19908 34817 19908 4202560 535 0 0 0 9 0 0 0 15 0 10 0 66468479 421089280 60777 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31315] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31315/stat : 31315 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66468479 421089280 60777 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31316] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31316/stat : 31316 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66468479 421089280 60777 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31317] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31317/stat : 31317 (java) S 31306 31306 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66468855 421089280 60777 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 413792

[startup+25.5122 s]
/proc/loadavg: 1.02 1.02 1.00 2/44 31317
/proc/meminfo: memFree=493348/1048576 swapFree=0/0
[pid=31306] ppid=31305 vsize=2572 CPUtime=0
/proc/31306/stat : 31306 (gj-user-solver-) S 31305 31306 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 66468476 2633728 270 1283457024 134512640 135304128 4287347328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 643 270 229 194 0 30 0
[pid=31307] ppid=31306 vsize=411220 CPUtime=25.47
/proc/31307/stat : 31307 (java) S 31306 31306 19908 34817 19908 4202496 62990 0 1 0 2523 24 0 0 25 0 10 0 66468476 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31307/statm: 102805 39008 2919 10 0 96950 0
[pid=31307/tid=31309] ppid=31306 vsize=411220 CPUtime=22.72
/proc/31307/task/31309/stat : 31309 (java) R 31306 31306 19908 34817 19908 4202560 14483 0 1 0 2266 6 0 0 25 0 10 0 66468477 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4116110084 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31307/tid=31310] ppid=31306 vsize=411220 CPUtime=2.64
/proc/31307/task/31310/stat : 31310 (java) S 31306 31306 19908 34817 19908 4202560 47025 0 0 0 248 16 0 0 15 0 10 0 66468478 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31311] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31311/stat : 31311 (java) S 31306 31306 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 66468478 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31312] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31312/stat : 31312 (java) S 31306 31306 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 66468478 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31313] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31313/stat : 31313 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66468479 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31314] ppid=31306 vsize=411220 CPUtime=0.09
/proc/31307/task/31314/stat : 31314 (java) S 31306 31306 19908 34817 19908 4202560 535 0 0 0 9 0 0 0 15 0 10 0 66468479 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31315] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31315/stat : 31315 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66468479 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31316] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31316/stat : 31316 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66468479 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31317] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31317/stat : 31317 (java) S 31306 31306 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66468855 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 413792

[startup+51.111 s]
/proc/loadavg: 1.01 1.01 1.00 2/44 31317
/proc/meminfo: memFree=493348/1048576 swapFree=0/0
[pid=31306] ppid=31305 vsize=2572 CPUtime=0
/proc/31306/stat : 31306 (gj-user-solver-) S 31305 31306 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 66468476 2633728 270 1283457024 134512640 135304128 4287347328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 643 270 229 194 0 30 0
[pid=31307] ppid=31306 vsize=411220 CPUtime=51.01
/proc/31307/stat : 31307 (java) S 31306 31306 19908 34817 19908 4202496 62990 0 1 0 5077 24 0 0 25 0 10 0 66468476 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31307/statm: 102805 39008 2919 10 0 96950 0
[pid=31307/tid=31309] ppid=31306 vsize=411220 CPUtime=47.77
/proc/31307/task/31309/stat : 31309 (java) R 31306 31306 19908 34817 19908 4202560 14483 0 1 0 4771 6 0 0 25 0 10 0 66468477 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4116051049 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31307/tid=31310] ppid=31306 vsize=411220 CPUtime=3.12
/proc/31307/task/31310/stat : 31310 (java) S 31306 31306 19908 34817 19908 4202560 47025 0 0 0 296 16 0 0 15 0 10 0 66468478 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31311] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31311/stat : 31311 (java) S 31306 31306 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 66468478 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31312] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31312/stat : 31312 (java) S 31306 31306 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 66468478 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31313] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31313/stat : 31313 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66468479 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31314] ppid=31306 vsize=411220 CPUtime=0.09
/proc/31307/task/31314/stat : 31314 (java) S 31306 31306 19908 34817 19908 4202560 535 0 0 0 9 0 0 0 15 0 10 0 66468479 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31315] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31315/stat : 31315 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66468479 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31316] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31316/stat : 31316 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66468479 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31317] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31317/stat : 31317 (java) S 31306 31306 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66468855 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 413792

[startup+102.305 s]
/proc/loadavg: 1.00 1.01 1.00 2/44 31317
/proc/meminfo: memFree=493348/1048576 swapFree=0/0
[pid=31306] ppid=31305 vsize=2572 CPUtime=0
/proc/31306/stat : 31306 (gj-user-solver-) S 31305 31306 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 66468476 2633728 270 1283457024 134512640 135304128 4287347328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 643 270 229 194 0 30 0
[pid=31307] ppid=31306 vsize=411220 CPUtime=102.12
/proc/31307/stat : 31307 (java) S 31306 31306 19908 34817 19908 4202496 62990 0 1 0 10187 25 0 0 25 0 10 0 66468476 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31307/statm: 102805 39008 2919 10 0 96950 0
[pid=31307/tid=31309] ppid=31306 vsize=411220 CPUtime=98.09
/proc/31307/task/31309/stat : 31309 (java) R 31306 31306 19908 34817 19908 4202560 14483 0 1 0 9802 7 0 0 25 0 10 0 66468477 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4116110102 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31307/tid=31310] ppid=31306 vsize=411220 CPUtime=3.92
/proc/31307/task/31310/stat : 31310 (java) S 31306 31306 19908 34817 19908 4202560 47025 0 0 0 376 16 0 0 15 0 10 0 66468478 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31311] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31311/stat : 31311 (java) S 31306 31306 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 66468478 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31312] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31312/stat : 31312 (java) S 31306 31306 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 66468478 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31313] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31313/stat : 31313 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66468479 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31314] ppid=31306 vsize=411220 CPUtime=0.09
/proc/31307/task/31314/stat : 31314 (java) S 31306 31306 19908 34817 19908 4202560 535 0 0 0 9 0 0 0 15 0 10 0 66468479 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31315] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31315/stat : 31315 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66468479 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31316] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31316/stat : 31316 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66468479 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31317] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31317/stat : 31317 (java) S 31306 31306 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66468855 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 413792

[startup+162.313 s]
/proc/loadavg: 1.06 1.02 1.00 2/46 31319
/proc/meminfo: memFree=493324/1048576 swapFree=0/0
[pid=31306] ppid=31305 vsize=2572 CPUtime=0
/proc/31306/stat : 31306 (gj-user-solver-) S 31305 31306 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 66468476 2633728 270 1283457024 134512640 135304128 4287347328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 643 270 229 194 0 30 0
[pid=31307] ppid=31306 vsize=411220 CPUtime=162.01
/proc/31307/stat : 31307 (java) S 31306 31306 19908 34817 19908 4202496 62990 0 1 0 16175 26 0 0 25 0 10 0 66468476 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31307/statm: 102805 39008 2919 10 0 96950 0
[pid=31307/tid=31309] ppid=31306 vsize=411220 CPUtime=157.27
/proc/31307/task/31309/stat : 31309 (java) R 31306 31306 19908 34817 19908 4202560 14483 0 1 0 15719 8 0 0 25 0 10 0 66468477 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4116008196 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31307/tid=31310] ppid=31306 vsize=411220 CPUtime=4.62
/proc/31307/task/31310/stat : 31310 (java) S 31306 31306 19908 34817 19908 4202560 47025 0 0 0 446 16 0 0 15 0 10 0 66468478 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31311] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31311/stat : 31311 (java) S 31306 31306 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 66468478 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31312] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31312/stat : 31312 (java) S 31306 31306 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 66468478 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31313] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31313/stat : 31313 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66468479 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31314] ppid=31306 vsize=411220 CPUtime=0.09
/proc/31307/task/31314/stat : 31314 (java) S 31306 31306 19908 34817 19908 4202560 535 0 0 0 9 0 0 0 15 0 10 0 66468479 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31315] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31315/stat : 31315 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66468479 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31316] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31316/stat : 31316 (java) R 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66468479 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31307/tid=31317] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31317/stat : 31317 (java) S 31306 31306 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66468855 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.01
Current children cumulated vsize (KiB) 413792

[startup+222.305 s]
/proc/loadavg: 1.02 1.01 1.00 2/46 31325
/proc/meminfo: memFree=493324/1048576 swapFree=0/0
[pid=31306] ppid=31305 vsize=2572 CPUtime=0
/proc/31306/stat : 31306 (gj-user-solver-) S 31305 31306 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 66468476 2633728 270 1283457024 134512640 135304128 4287347328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 643 270 229 194 0 30 0
[pid=31307] ppid=31306 vsize=411220 CPUtime=221.86
/proc/31307/stat : 31307 (java) S 31306 31306 19908 34817 19908 4202496 62990 0 1 0 22159 27 0 0 25 0 10 0 66468476 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31307/statm: 102805 39008 2919 10 0 96950 0
[pid=31307/tid=31309] ppid=31306 vsize=411220 CPUtime=216.33
/proc/31307/task/31309/stat : 31309 (java) R 31306 31306 19908 34817 19908 4202560 14483 0 1 0 21624 9 0 0 25 0 10 0 66468477 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4115997166 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31307/tid=31310] ppid=31306 vsize=411220 CPUtime=5.41
/proc/31307/task/31310/stat : 31310 (java) S 31306 31306 19908 34817 19908 4202560 47025 0 0 0 525 16 0 0 15 0 10 0 66468478 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31311] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31311/stat : 31311 (java) S 31306 31306 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 66468478 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31312] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31312/stat : 31312 (java) S 31306 31306 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 66468478 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31313] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31313/stat : 31313 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66468479 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31314] ppid=31306 vsize=411220 CPUtime=0.09
/proc/31307/task/31314/stat : 31314 (java) S 31306 31306 19908 34817 19908 4202560 535 0 0 0 9 0 0 0 15 0 10 0 66468479 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31315] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31315/stat : 31315 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66468479 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31316] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31316/stat : 31316 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66468479 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31317] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31317/stat : 31317 (java) S 31306 31306 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66468855 421089280 39008 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 221.86
Current children cumulated vsize (KiB) 413792

[startup+282.312 s]
/proc/loadavg: 1.00 1.01 1.00 2/45 31328
/proc/meminfo: memFree=493092/1048576 swapFree=0/0
[pid=31306] ppid=31305 vsize=2572 CPUtime=0
/proc/31306/stat : 31306 (gj-user-solver-) S 31305 31306 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 66468476 2633728 270 1283457024 134512640 135304128 4287347328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 643 270 229 194 0 30 0
[pid=31307] ppid=31306 vsize=411220 CPUtime=281.75
/proc/31307/stat : 31307 (java) S 31306 31306 19908 34817 19908 4202496 63086 0 1 0 28148 27 0 0 25 0 10 0 66468476 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31307/statm: 102805 39104 2919 10 0 96950 0
[pid=31307/tid=31309] ppid=31306 vsize=411220 CPUtime=275.54
/proc/31307/task/31309/stat : 31309 (java) R 31306 31306 19908 34817 19908 4202560 14483 0 1 0 27545 9 0 0 25 0 10 0 66468477 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4116111104 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31307/tid=31310] ppid=31306 vsize=411220 CPUtime=6.1
/proc/31307/task/31310/stat : 31310 (java) S 31306 31306 19908 34817 19908 4202560 47121 0 0 0 594 16 0 0 16 0 10 0 66468478 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31311] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31311/stat : 31311 (java) S 31306 31306 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 66468478 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31312] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31312/stat : 31312 (java) S 31306 31306 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 66468478 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31313] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31313/stat : 31313 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66468479 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31314] ppid=31306 vsize=411220 CPUtime=0.09
/proc/31307/task/31314/stat : 31314 (java) S 31306 31306 19908 34817 19908 4202560 535 0 0 0 9 0 0 0 15 0 10 0 66468479 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31315] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31315/stat : 31315 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66468479 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31316] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31316/stat : 31316 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66468479 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31317] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31317/stat : 31317 (java) S 31306 31306 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66468855 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 281.75
Current children cumulated vsize (KiB) 413792

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

[startup+283.112 s]
/proc/loadavg: 1.00 1.01 1.00 2/45 31328
/proc/meminfo: memFree=493092/1048576 swapFree=0/0
[pid=31306] ppid=31305 vsize=2572 CPUtime=0
/proc/31306/stat : 31306 (gj-user-solver-) S 31305 31306 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 66468476 2633728 270 1283457024 134512640 135304128 4287347328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 643 270 229 194 0 30 0
[pid=31307] ppid=31306 vsize=411220 CPUtime=282.55
/proc/31307/stat : 31307 (java) S 31306 31306 19908 34817 19908 4202496 63086 0 1 0 28228 27 0 0 25 0 10 0 66468476 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31307/statm: 102805 39104 2919 10 0 96950 0
[pid=31307/tid=31309] ppid=31306 vsize=411220 CPUtime=276.34
/proc/31307/task/31309/stat : 31309 (java) R 31306 31306 19908 34817 19908 4202560 14483 0 1 0 27625 9 0 0 25 0 10 0 66468477 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4116008443 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31307/tid=31310] ppid=31306 vsize=411220 CPUtime=6.1
/proc/31307/task/31310/stat : 31310 (java) S 31306 31306 19908 34817 19908 4202560 47121 0 0 0 594 16 0 0 16 0 10 0 66468478 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31311] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31311/stat : 31311 (java) S 31306 31306 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 66468478 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31312] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31312/stat : 31312 (java) S 31306 31306 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 66468478 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31313] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31313/stat : 31313 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66468479 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31314] ppid=31306 vsize=411220 CPUtime=0.09
/proc/31307/task/31314/stat : 31314 (java) S 31306 31306 19908 34817 19908 4202560 535 0 0 0 9 0 0 0 15 0 10 0 66468479 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31315] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31315/stat : 31315 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66468479 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31316] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31316/stat : 31316 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66468479 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31317] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31317/stat : 31317 (java) S 31306 31306 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66468855 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.55
Current children cumulated vsize (KiB) 413792

[startup+284.712 s]
/proc/loadavg: 1.00 1.01 1.00 3/45 31328
/proc/meminfo: memFree=493092/1048576 swapFree=0/0
[pid=31306] ppid=31305 vsize=2572 CPUtime=0
/proc/31306/stat : 31306 (gj-user-solver-) S 31305 31306 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 66468476 2633728 270 1283457024 134512640 135304128 4287347328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 643 270 229 194 0 30 0
[pid=31307] ppid=31306 vsize=411220 CPUtime=284.15
/proc/31307/stat : 31307 (java) S 31306 31306 19908 34817 19908 4202496 63086 0 1 0 28388 27 0 0 25 0 10 0 66468476 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31307/statm: 102805 39104 2919 10 0 96950 0
[pid=31307/tid=31309] ppid=31306 vsize=411220 CPUtime=277.94
/proc/31307/task/31309/stat : 31309 (java) R 31306 31306 19908 34817 19908 4202560 14483 0 1 0 27785 9 0 0 25 0 10 0 66468477 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4116008443 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31307/tid=31310] ppid=31306 vsize=411220 CPUtime=6.1
/proc/31307/task/31310/stat : 31310 (java) S 31306 31306 19908 34817 19908 4202560 47121 0 0 0 594 16 0 0 15 0 10 0 66468478 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31311] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31311/stat : 31311 (java) S 31306 31306 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 66468478 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31312] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31312/stat : 31312 (java) S 31306 31306 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 66468478 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31313] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31313/stat : 31313 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66468479 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31314] ppid=31306 vsize=411220 CPUtime=0.09
/proc/31307/task/31314/stat : 31314 (java) S 31306 31306 19908 34817 19908 4202560 535 0 0 0 9 0 0 0 15 0 10 0 66468479 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31315] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31315/stat : 31315 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66468479 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31316] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31316/stat : 31316 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66468479 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31317] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31317/stat : 31317 (java) S 31306 31306 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66468855 421089280 39104 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.15
Current children cumulated vsize (KiB) 413792

[startup+285.113 s]
/proc/loadavg: 1.00 1.01 1.00 2/45 31328
/proc/meminfo: memFree=493092/1048576 swapFree=0/0
[pid=31306] ppid=31305 vsize=2572 CPUtime=0
/proc/31306/stat : 31306 (gj-user-solver-) S 31305 31306 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 66468476 2633728 270 1283457024 134512640 135304128 4287347328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 643 270 229 194 0 30 0
[pid=31307] ppid=31306 vsize=411220 CPUtime=284.55
/proc/31307/stat : 31307 (java) S 31306 31306 19908 34817 19908 4202496 63087 0 1 0 28428 27 0 0 25 0 9 0 66468476 421089280 39105 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31307/statm: 102805 39105 2920 10 0 96950 0
[pid=31307/tid=31309] ppid=31306 vsize=411220 CPUtime=278.34
/proc/31307/task/31309/stat : 31309 (java) R 31306 31306 19908 34817 19908 4202560 14483 0 1 0 27825 9 0 0 25 0 9 0 66468477 421089280 39105 1283457024 134512640 134550932 4288254656 18446744073709551615 4150853128 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31307/tid=31310] ppid=31306 vsize=411220 CPUtime=6.1
/proc/31307/task/31310/stat : 31310 (java) S 31306 31306 19908 34817 19908 4202560 47121 0 0 0 594 16 0 0 15 0 9 0 66468478 421089280 39105 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31311] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31311/stat : 31311 (java) S 31306 31306 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 66468478 421089280 39105 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31312] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31312/stat : 31312 (java) S 31306 31306 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 66468478 421089280 39105 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31313] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31313/stat : 31313 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 66468479 421089280 39105 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31314] ppid=31306 vsize=411220 CPUtime=0.09
/proc/31307/task/31314/stat : 31314 (java) S 31306 31306 19908 34817 19908 4202560 535 0 0 0 9 0 0 0 15 0 9 0 66468479 421089280 39105 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31315] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31315/stat : 31315 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 66468479 421089280 39105 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31316] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31316/stat : 31316 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 66468479 421089280 39105 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.55
Current children cumulated vsize (KiB) 413792

[startup+285.313 s]
/proc/loadavg: 1.00 1.01 1.00 2/45 31328
/proc/meminfo: memFree=493092/1048576 swapFree=0/0
[pid=31306] ppid=31305 vsize=2572 CPUtime=0
/proc/31306/stat : 31306 (gj-user-solver-) S 31305 31306 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 66468476 2633728 270 1283457024 134512640 135304128 4287347328 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 643 270 229 194 0 30 0
[pid=31307] ppid=31306 vsize=411220 CPUtime=284.75
/proc/31307/stat : 31307 (java) S 31306 31306 19908 34817 19908 4202496 63087 0 1 0 28448 27 0 0 25 0 9 0 66468476 421089280 39105 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31307/statm: 102805 39105 2920 10 0 96950 0
[pid=31307/tid=31309] ppid=31306 vsize=411220 CPUtime=278.53
/proc/31307/task/31309/stat : 31309 (java) R 31306 31306 19908 34817 19908 4202560 14483 0 1 0 27844 9 0 0 25 0 9 0 66468477 421089280 39105 1283457024 134512640 134550932 4288254656 18446744073709551615 4116136709 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31307/tid=31310] ppid=31306 vsize=411220 CPUtime=6.1
/proc/31307/task/31310/stat : 31310 (java) S 31306 31306 19908 34817 19908 4202560 47121 0 0 0 594 16 0 0 15 0 9 0 66468478 421089280 39105 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31311] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31311/stat : 31311 (java) S 31306 31306 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 66468478 421089280 39105 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31312] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31312/stat : 31312 (java) S 31306 31306 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 66468478 421089280 39105 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31313] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31313/stat : 31313 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 66468479 421089280 39105 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31314] ppid=31306 vsize=411220 CPUtime=0.1
/proc/31307/task/31314/stat : 31314 (java) S 31306 31306 19908 34817 19908 4202560 535 0 0 0 10 0 0 0 15 0 9 0 66468479 421089280 39105 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31315] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31315/stat : 31315 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 66468479 421089280 39105 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31307/tid=31316] ppid=31306 vsize=411220 CPUtime=0
/proc/31307/task/31316/stat : 31316 (java) S 31306 31306 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 66468479 421089280 39105 1283457024 134512640 134550932 4288254656 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.75
Current children cumulated vsize (KiB) 413792

Child status: 0
Real time (s): 285.367
CPU time (s): 284.814
CPU user time (s): 284.53
CPU system time (s): 0.284017
CPU usage (%): 99.8062
Max. virtual memory (cumulated for all children) (KiB): 413792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.53
system time used= 0.284017
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63475
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= 5941
involuntary context switches= 8710

runsolver used 0.012 second user time and 0 second system time

The end