runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

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

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108300820/gj-user-solver-1.0/rand375.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand375.cudf /home/misc2010/tmp/201108300820/gj-user-solver-1.0/rand375.cudf.user-upgrades.result +sum(installedsize) 

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


[startup+0 s]
/proc/loadavg: 1.11 1.05 1.01 1/37 5699
/proc/meminfo: memFree=979480/1048576 swapFree=0/0
[pid=5699] ppid=5698 vsize=3016 CPUtime=0
/proc/5699/stat : 5699 (runsolver) D 5698 5699 2160 34817 2160 4202560 72 0 0 0 0 0 0 0 22 0 1 0 52757058 3088384 93 1283457024 134512640 134586868 4292529904 18446744073709551615 4294960130 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0
/proc/5699/statm: 754 93 62 19 0 53 0

[startup+0.16081 s]
/proc/loadavg: 1.11 1.05 1.01 1/37 5699
/proc/meminfo: memFree=979480/1048576 swapFree=0/0
[pid=5699] ppid=5698 vsize=2572 CPUtime=0
/proc/5699/stat : 5699 (gj-user-solver-) S 5698 5699 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 52757058 2633728 270 1283457024 134512640 135304128 4287326896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5699/statm: 643 270 229 194 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+0.204813 s]
/proc/loadavg: 1.11 1.05 1.01 1/37 5699
/proc/meminfo: memFree=979480/1048576 swapFree=0/0
[pid=5699] ppid=5698 vsize=2572 CPUtime=0
/proc/5699/stat : 5699 (gj-user-solver-) S 5698 5699 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 52757058 2633728 270 1283457024 134512640 135304128 4287326896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5699/statm: 643 270 229 194 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+0.304797 s]
/proc/loadavg: 1.11 1.05 1.01 1/37 5699
/proc/meminfo: memFree=979480/1048576 swapFree=0/0
[pid=5699] ppid=5698 vsize=2572 CPUtime=0
/proc/5699/stat : 5699 (gj-user-solver-) S 5698 5699 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 52757058 2633728 270 1283457024 134512640 135304128 4287326896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5699/statm: 643 270 229 194 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+0.704834 s]
/proc/loadavg: 1.11 1.05 1.01 1/37 5699
/proc/meminfo: memFree=979480/1048576 swapFree=0/0
[pid=5699] ppid=5698 vsize=2572 CPUtime=0
/proc/5699/stat : 5699 (gj-user-solver-) S 5698 5699 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 52757058 2633728 270 1283457024 134512640 135304128 4287326896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5699/statm: 643 270 229 194 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+1.52066 s]
/proc/loadavg: 1.11 1.05 1.01 5/47 5709
/proc/meminfo: memFree=951256/1048576 swapFree=0/0
[pid=5699] ppid=5698 vsize=2572 CPUtime=0
/proc/5699/stat : 5699 (gj-user-solver-) S 5698 5699 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 52757058 2633728 270 1283457024 134512640 135304128 4287326896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5699/statm: 643 270 229 194 0 30 0
[pid=5701] ppid=5699 vsize=411520 CPUtime=0.4
/proc/5701/stat : 5701 (java) S 5699 5699 2160 34817 2160 4202496 11109 0 236 0 38 2 0 0 22 0 9 0 52757059 421396480 10591 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5701/statm: 102880 10591 2900 10 0 97028 0
[pid=5701/tid=5702] ppid=5699 vsize=411520 CPUtime=0.22
/proc/5701/task/5702/stat : 5702 (java) R 5699 5699 2160 34817 2160 4202560 4018 0 150 0 22 0 0 0 20 0 9 0 52757081 421396480 10591 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5701/tid=5703] ppid=5699 vsize=411520 CPUtime=0.13
/proc/5701/task/5703/stat : 5703 (java) R 5699 5699 2160 34817 2160 4202560 5765 0 27 0 12 1 0 0 15 0 9 0 52757104 421396480 10591 1283457024 134512640 134550932 4294066304 18446744073709551615 4151433144 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=5701/tid=5704] ppid=5699 vsize=411520 CPUtime=0
/proc/5701/task/5704/stat : 5704 (java) S 5699 5699 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 9 0 52757109 421396480 10591 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5705] ppid=5699 vsize=411520 CPUtime=0
/proc/5701/task/5705/stat : 5705 (java) S 5699 5699 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 9 0 52757109 421396480 10591 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5706] ppid=5699 vsize=411520 CPUtime=0
/proc/5701/task/5706/stat : 5706 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 9 0 52757128 421396480 10591 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5707] ppid=5699 vsize=411520 CPUtime=0.05
/proc/5701/task/5707/stat : 5707 (java) S 5699 5699 2160 34817 2160 4202560 441 0 5 0 4 1 0 0 18 0 9 0 52757128 421396480 10591 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5708] ppid=5699 vsize=411520 CPUtime=0
/proc/5701/task/5708/stat : 5708 (java) S 5699 5699 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 9 0 52757128 421396480 10591 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5709] ppid=5699 vsize=411520 CPUtime=0
/proc/5701/task/5709/stat : 5709 (java) R 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 16 0 9 0 52757128 421396480 10591 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 414092

[startup+3.10497 s]
/proc/loadavg: 1.11 1.05 1.01 4/47 5709
/proc/meminfo: memFree=884248/1048576 swapFree=0/0
[pid=5699] ppid=5698 vsize=2572 CPUtime=0
/proc/5699/stat : 5699 (gj-user-solver-) S 5698 5699 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 52757058 2633728 270 1283457024 134512640 135304128 4287326896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5699/statm: 643 270 229 194 0 30 0
[pid=5701] ppid=5699 vsize=411652 CPUtime=1.83
/proc/5701/stat : 5701 (java) S 5699 5699 2160 34817 2160 4202496 35748 0 236 0 175 8 0 0 22 0 9 0 52757059 421531648 35230 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5701/statm: 102913 35230 2900 10 0 97061 0
[pid=5701/tid=5702] ppid=5699 vsize=411652 CPUtime=0.69
/proc/5701/task/5702/stat : 5702 (java) R 5699 5699 2160 34817 2160 4202560 9170 0 150 0 68 1 0 0 20 0 9 0 52757081 421531648 35230 1283457024 134512640 134550932 4294066304 18446744073709551615 4115646812 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5701/tid=5703] ppid=5699 vsize=411652 CPUtime=1.05
/proc/5701/task/5703/stat : 5703 (java) S 5699 5699 2160 34817 2160 4202560 25243 0 27 0 100 5 0 0 16 0 9 0 52757104 421531648 35230 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5704] ppid=5699 vsize=411652 CPUtime=0
/proc/5701/task/5704/stat : 5704 (java) S 5699 5699 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 9 0 52757109 421531648 35230 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5705] ppid=5699 vsize=411652 CPUtime=0
/proc/5701/task/5705/stat : 5705 (java) S 5699 5699 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 9 0 52757109 421531648 35230 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5706] ppid=5699 vsize=411652 CPUtime=0
/proc/5701/task/5706/stat : 5706 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 9 0 52757128 421531648 35230 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5707] ppid=5699 vsize=411652 CPUtime=0.07
/proc/5701/task/5707/stat : 5707 (java) S 5699 5699 2160 34817 2160 4202560 450 0 5 0 6 1 0 0 15 0 9 0 52757128 421531648 35230 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5708] ppid=5699 vsize=411652 CPUtime=0
/proc/5701/task/5708/stat : 5708 (java) S 5699 5699 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 9 0 52757128 421531648 35230 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5709] ppid=5699 vsize=411652 CPUtime=0
/proc/5701/task/5709/stat : 5709 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 9 0 52757128 421531648 35230 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 414224
heavy processes:

[startup+6.30534 s]
/proc/loadavg: 1.18 1.07 1.01 2/47 5709
/proc/meminfo: memFree=670708/1048576 swapFree=0/0
[pid=5699] ppid=5698 vsize=2572 CPUtime=0
/proc/5699/stat : 5699 (gj-user-solver-) S 5698 5699 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 52757058 2633728 270 1283457024 134512640 135304128 4287326896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5699/statm: 643 270 229 194 0 30 0
[pid=5701] ppid=5699 vsize=439900 CPUtime=4.8
/proc/5701/stat : 5701 (java) S 5699 5699 2160 34817 2160 4202496 76857 0 236 0 466 14 0 0 22 0 9 0 52757059 450457600 76339 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5701/statm: 109975 76339 2900 10 0 104123 0
[pid=5701/tid=5702] ppid=5699 vsize=439900 CPUtime=1.63
/proc/5701/task/5702/stat : 5702 (java) R 5699 5699 2160 34817 2160 4202560 13634 0 150 0 160 3 0 0 22 0 9 0 52757081 450457600 76339 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5701/tid=5703] ppid=5699 vsize=439900 CPUtime=3.09
/proc/5701/task/5703/stat : 5703 (java) R 5699 5699 2160 34817 2160 4202560 61888 0 27 0 299 10 0 0 16 0 9 0 52757104 450457600 76339 1283457024 134512640 134550932 4294066304 18446744073709551615 4153543029 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=5701/tid=5704] ppid=5699 vsize=439900 CPUtime=0
/proc/5701/task/5704/stat : 5704 (java) S 5699 5699 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 9 0 52757109 450457600 76339 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5705] ppid=5699 vsize=439900 CPUtime=0
/proc/5701/task/5705/stat : 5705 (java) S 5699 5699 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 9 0 52757109 450457600 76339 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5706] ppid=5699 vsize=439900 CPUtime=0
/proc/5701/task/5706/stat : 5706 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 9 0 52757128 450457600 76339 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5707] ppid=5699 vsize=439900 CPUtime=0.07
/proc/5701/task/5707/stat : 5707 (java) S 5699 5699 2160 34817 2160 4202560 450 0 5 0 6 1 0 0 15 0 9 0 52757128 450457600 76339 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5708] ppid=5699 vsize=439900 CPUtime=0
/proc/5701/task/5708/stat : 5708 (java) S 5699 5699 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 9 0 52757128 450457600 76339 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5709] ppid=5699 vsize=439900 CPUtime=0
/proc/5701/task/5709/stat : 5709 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 9 0 52757128 450457600 76339 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 442472
heavy processes:

[startup+12.7139 s]
/proc/loadavg: 1.25 1.08 1.02 2/48 5710
/proc/meminfo: memFree=658012/1048576 swapFree=0/0
[pid=5699] ppid=5698 vsize=2572 CPUtime=0
/proc/5699/stat : 5699 (gj-user-solver-) S 5698 5699 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 52757058 2633728 270 1283457024 134512640 135304128 4287326896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5699/statm: 643 270 229 194 0 30 0
[pid=5701] ppid=5699 vsize=412424 CPUtime=10.8
/proc/5701/stat : 5701 (java) S 5699 5699 2160 34817 2160 4202496 98936 0 243 0 1055 25 0 0 22 0 10 0 52757059 422322176 70549 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5701/statm: 103106 70549 2917 10 0 97251 0
[pid=5701/tid=5702] ppid=5699 vsize=412424 CPUtime=3.32
/proc/5701/task/5702/stat : 5702 (java) R 5699 5699 2160 34817 2160 4202560 13901 0 157 0 328 4 0 0 24 0 10 0 52757081 422322176 70549 1283457024 134512640 134550932 4294066304 18446744073709551615 4115915131 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5701/tid=5703] ppid=5699 vsize=412424 CPUtime=7.33
/proc/5701/task/5703/stat : 5703 (java) S 5699 5699 2160 34817 2160 4202560 83618 0 27 0 714 19 0 0 16 0 10 0 52757104 422322176 70549 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5704] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5704/stat : 5704 (java) S 5699 5699 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 52757109 422322176 70549 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5705] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5705/stat : 5705 (java) S 5699 5699 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 52757109 422322176 70549 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5706] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5706/stat : 5706 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 52757128 422322176 70549 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5707] ppid=5699 vsize=412424 CPUtime=0.13
/proc/5701/task/5707/stat : 5707 (java) S 5699 5699 2160 34817 2160 4202560 527 0 5 0 12 1 0 0 15 0 10 0 52757128 422322176 70549 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5708] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5708/stat : 5708 (java) S 5699 5699 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 10 0 52757128 422322176 70549 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5709] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5709/stat : 5709 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 52757128 422322176 70549 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5710] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5710/stat : 5710 (java) S 5699 5699 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 21 0 10 0 52758190 422322176 70549 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.8
Current children cumulated vsize (KiB) 414996

[startup+25.5062 s]
/proc/loadavg: 1.19 1.08 1.01 2/48 5710
/proc/meminfo: memFree=658012/1048576 swapFree=0/0
[pid=5699] ppid=5698 vsize=2572 CPUtime=0
/proc/5699/stat : 5699 (gj-user-solver-) S 5698 5699 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 52757058 2633728 270 1283457024 134512640 135304128 4287326896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5699/statm: 643 270 229 194 0 30 0
[pid=5701] ppid=5699 vsize=412424 CPUtime=23.58
/proc/5701/stat : 5701 (java) S 5699 5699 2160 34817 2160 4202496 98941 0 243 0 2333 25 0 0 22 0 10 0 52757059 422322176 70554 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5701/statm: 103106 70554 2920 10 0 97251 0
[pid=5701/tid=5702] ppid=5699 vsize=412424 CPUtime=16.08
/proc/5701/task/5702/stat : 5702 (java) R 5699 5699 2160 34817 2160 4202560 13902 0 157 0 1604 4 0 0 25 0 10 0 52757081 422322176 70554 1283457024 134512640 134550932 4294066304 18446744073709551615 4115915109 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5701/tid=5703] ppid=5699 vsize=412424 CPUtime=7.34
/proc/5701/task/5703/stat : 5703 (java) S 5699 5699 2160 34817 2160 4202560 83620 0 27 0 715 19 0 0 15 0 10 0 52757104 422322176 70554 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5704] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5704/stat : 5704 (java) S 5699 5699 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 52757109 422322176 70554 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5705] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5705/stat : 5705 (java) S 5699 5699 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 52757109 422322176 70554 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5706] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5706/stat : 5706 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 52757128 422322176 70554 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5707] ppid=5699 vsize=412424 CPUtime=0.13
/proc/5701/task/5707/stat : 5707 (java) S 5699 5699 2160 34817 2160 4202560 529 0 5 0 12 1 0 0 16 0 10 0 52757128 422322176 70554 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5708] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5708/stat : 5708 (java) S 5699 5699 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 10 0 52757128 422322176 70554 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5709] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5709/stat : 5709 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 52757128 422322176 70554 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5710] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5710/stat : 5710 (java) S 5699 5699 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 21 0 10 0 52758190 422322176 70554 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.58
Current children cumulated vsize (KiB) 414996

[startup+51.1116 s]
/proc/loadavg: 1.13 1.07 1.01 3/48 5710
/proc/meminfo: memFree=657232/1048576 swapFree=0/0
[pid=5699] ppid=5698 vsize=2572 CPUtime=0
/proc/5699/stat : 5699 (gj-user-solver-) S 5698 5699 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 52757058 2633728 270 1283457024 134512640 135304128 4287326896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5699/statm: 643 270 229 194 0 30 0
[pid=5701] ppid=5699 vsize=412424 CPUtime=49.17
/proc/5701/stat : 5701 (java) S 5699 5699 2160 34817 2160 4202496 98942 0 243 0 4889 28 0 0 22 0 10 0 52757059 422322176 70555 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5701/statm: 103106 70555 2920 10 0 97251 0
[pid=5701/tid=5702] ppid=5699 vsize=412424 CPUtime=41.66
/proc/5701/task/5702/stat : 5702 (java) R 5699 5699 2160 34817 2160 4202560 13902 0 157 0 4159 7 0 0 25 0 10 0 52757081 422322176 70555 1283457024 134512640 134550932 4294066304 18446744073709551615 4115915131 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5701/tid=5703] ppid=5699 vsize=412424 CPUtime=7.36
/proc/5701/task/5703/stat : 5703 (java) S 5699 5699 2160 34817 2160 4202560 83620 0 27 0 717 19 0 0 15 0 10 0 52757104 422322176 70555 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5704] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5704/stat : 5704 (java) S 5699 5699 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 52757109 422322176 70555 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5705] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5705/stat : 5705 (java) S 5699 5699 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 52757109 422322176 70555 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5706] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5706/stat : 5706 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 52757128 422322176 70555 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5707] ppid=5699 vsize=412424 CPUtime=0.13
/proc/5701/task/5707/stat : 5707 (java) S 5699 5699 2160 34817 2160 4202560 530 0 5 0 12 1 0 0 15 0 10 0 52757128 422322176 70555 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5708] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5708/stat : 5708 (java) S 5699 5699 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 10 0 52757128 422322176 70555 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5709] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5709/stat : 5709 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 52757128 422322176 70555 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5710] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5710/stat : 5710 (java) S 5699 5699 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 21 0 10 0 52758190 422322176 70555 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.17
Current children cumulated vsize (KiB) 414996

[startup+102.303 s]
/proc/loadavg: 1.05 1.06 1.01 2/49 5714
/proc/meminfo: memFree=656552/1048576 swapFree=0/0
[pid=5699] ppid=5698 vsize=2572 CPUtime=0
/proc/5699/stat : 5699 (gj-user-solver-) S 5698 5699 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 52757058 2633728 270 1283457024 134512640 135304128 4287326896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5699/statm: 643 270 229 194 0 30 0
[pid=5701] ppid=5699 vsize=412424 CPUtime=100.31
/proc/5701/stat : 5701 (java) S 5699 5699 2160 34817 2160 4202496 98946 0 243 0 10003 28 0 0 22 0 10 0 52757059 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5701/statm: 103106 70559 2920 10 0 97251 0
[pid=5701/tid=5702] ppid=5699 vsize=412424 CPUtime=92.42
/proc/5701/task/5702/stat : 5702 (java) R 5699 5699 2160 34817 2160 4202560 13902 0 157 0 9235 7 0 0 25 0 10 0 52757081 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4115915131 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5701/tid=5703] ppid=5699 vsize=412424 CPUtime=7.73
/proc/5701/task/5703/stat : 5703 (java) S 5699 5699 2160 34817 2160 4202560 83620 0 27 0 754 19 0 0 16 0 10 0 52757104 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5704] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5704/stat : 5704 (java) S 5699 5699 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 52757109 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5705] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5705/stat : 5705 (java) S 5699 5699 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 52757109 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5706] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5706/stat : 5706 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5707] ppid=5699 vsize=412424 CPUtime=0.14
/proc/5701/task/5707/stat : 5707 (java) S 5699 5699 2160 34817 2160 4202560 534 0 5 0 13 1 0 0 15 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5708] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5708/stat : 5708 (java) S 5699 5699 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5709] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5709/stat : 5709 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5710] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5710/stat : 5710 (java) S 5699 5699 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 21 0 10 0 52758190 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.31
Current children cumulated vsize (KiB) 414996

[startup+162.306 s]
/proc/loadavg: 1.02 1.04 1.00 2/49 5720
/proc/meminfo: memFree=656428/1048576 swapFree=0/0
[pid=5699] ppid=5698 vsize=2572 CPUtime=0
/proc/5699/stat : 5699 (gj-user-solver-) S 5698 5699 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 52757058 2633728 270 1283457024 134512640 135304128 4287326896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5699/statm: 643 270 229 194 0 30 0
[pid=5701] ppid=5699 vsize=412424 CPUtime=160.29
/proc/5701/stat : 5701 (java) S 5699 5699 2160 34817 2160 4202496 98946 0 243 0 16001 28 0 0 22 0 10 0 52757059 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5701/statm: 103106 70559 2920 10 0 97251 0
[pid=5701/tid=5702] ppid=5699 vsize=412424 CPUtime=152.21
/proc/5701/task/5702/stat : 5702 (java) R 5699 5699 2160 34817 2160 4202560 13902 0 157 0 15214 7 0 0 25 0 10 0 52757081 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4115915100 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5701/tid=5703] ppid=5699 vsize=412424 CPUtime=7.91
/proc/5701/task/5703/stat : 5703 (java) S 5699 5699 2160 34817 2160 4202560 83620 0 27 0 772 19 0 0 15 0 10 0 52757104 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5704] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5704/stat : 5704 (java) S 5699 5699 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 52757109 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5705] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5705/stat : 5705 (java) S 5699 5699 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 52757109 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5706] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5706/stat : 5706 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5707] ppid=5699 vsize=412424 CPUtime=0.14
/proc/5701/task/5707/stat : 5707 (java) S 5699 5699 2160 34817 2160 4202560 534 0 5 0 13 1 0 0 15 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5708] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5708/stat : 5708 (java) S 5699 5699 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5709] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5709/stat : 5709 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5710] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5710/stat : 5710 (java) S 5699 5699 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 21 0 10 0 52758190 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 160.29
Current children cumulated vsize (KiB) 414996

[startup+222.309 s]
/proc/loadavg: 1.04 1.05 1.00 2/48 5721
/proc/meminfo: memFree=656444/1048576 swapFree=0/0
[pid=5699] ppid=5698 vsize=2572 CPUtime=0
/proc/5699/stat : 5699 (gj-user-solver-) S 5698 5699 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 52757058 2633728 270 1283457024 134512640 135304128 4287326896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5699/statm: 643 270 229 194 0 30 0
[pid=5701] ppid=5699 vsize=412424 CPUtime=220.25
/proc/5701/stat : 5701 (java) S 5699 5699 2160 34817 2160 4202496 98946 0 243 0 21997 28 0 0 22 0 10 0 52757059 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5701/statm: 103106 70559 2920 10 0 97251 0
[pid=5701/tid=5702] ppid=5699 vsize=412424 CPUtime=212.15
/proc/5701/task/5702/stat : 5702 (java) R 5699 5699 2160 34817 2160 4202560 13902 0 157 0 21208 7 0 0 25 0 10 0 52757081 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4115993144 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5701/tid=5703] ppid=5699 vsize=412424 CPUtime=7.94
/proc/5701/task/5703/stat : 5703 (java) S 5699 5699 2160 34817 2160 4202560 83620 0 27 0 775 19 0 0 15 0 10 0 52757104 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5704] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5704/stat : 5704 (java) S 5699 5699 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 52757109 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5705] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5705/stat : 5705 (java) S 5699 5699 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 52757109 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5706] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5706/stat : 5706 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5707] ppid=5699 vsize=412424 CPUtime=0.14
/proc/5701/task/5707/stat : 5707 (java) S 5699 5699 2160 34817 2160 4202560 534 0 5 0 13 1 0 0 15 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5708] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5708/stat : 5708 (java) S 5699 5699 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5709] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5709/stat : 5709 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5710] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5710/stat : 5710 (java) S 5699 5699 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 21 0 10 0 52758190 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 220.25
Current children cumulated vsize (KiB) 414996

[startup+282.311 s]
/proc/loadavg: 1.01 1.04 1.00 2/47 5721
/proc/meminfo: memFree=656452/1048576 swapFree=0/0
[pid=5699] ppid=5698 vsize=2572 CPUtime=0
/proc/5699/stat : 5699 (gj-user-solver-) S 5698 5699 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 52757058 2633728 270 1283457024 134512640 135304128 4287326896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5699/statm: 643 270 229 194 0 30 0
[pid=5701] ppid=5699 vsize=412424 CPUtime=280.21
/proc/5701/stat : 5701 (java) S 5699 5699 2160 34817 2160 4202496 98946 0 243 0 27991 30 0 0 22 0 10 0 52757059 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5701/statm: 103106 70559 2920 10 0 97251 0
[pid=5701/tid=5702] ppid=5699 vsize=412424 CPUtime=271.9
/proc/5701/task/5702/stat : 5702 (java) R 5699 5699 2160 34817 2160 4202560 13902 0 157 0 27181 9 0 0 25 0 10 0 52757081 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4115915100 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5701/tid=5703] ppid=5699 vsize=412424 CPUtime=8.15
/proc/5701/task/5703/stat : 5703 (java) S 5699 5699 2160 34817 2160 4202560 83620 0 27 0 796 19 0 0 15 0 10 0 52757104 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5704] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5704/stat : 5704 (java) S 5699 5699 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 52757109 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5705] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5705/stat : 5705 (java) S 5699 5699 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 52757109 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5706] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5706/stat : 5706 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5707] ppid=5699 vsize=412424 CPUtime=0.14
/proc/5701/task/5707/stat : 5707 (java) S 5699 5699 2160 34817 2160 4202560 534 0 5 0 13 1 0 0 15 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5708] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5708/stat : 5708 (java) S 5699 5699 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5709] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5709/stat : 5709 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5710] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5710/stat : 5710 (java) S 5699 5699 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 21 0 10 0 52758190 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 280.21
Current children cumulated vsize (KiB) 414996

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

[startup+283.211 s]
/proc/loadavg: 1.01 1.04 1.00 2/47 5721
/proc/meminfo: memFree=656452/1048576 swapFree=0/0
[pid=5699] ppid=5698 vsize=2572 CPUtime=0
/proc/5699/stat : 5699 (gj-user-solver-) S 5698 5699 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 52757058 2633728 270 1283457024 134512640 135304128 4287326896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5699/statm: 643 270 229 194 0 30 0
[pid=5701] ppid=5699 vsize=412424 CPUtime=281.11
/proc/5701/stat : 5701 (java) S 5699 5699 2160 34817 2160 4202496 98946 0 243 0 28081 30 0 0 22 0 10 0 52757059 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5701/statm: 103106 70559 2920 10 0 97251 0
[pid=5701/tid=5702] ppid=5699 vsize=412424 CPUtime=272.8
/proc/5701/task/5702/stat : 5702 (java) R 5699 5699 2160 34817 2160 4202560 13902 0 157 0 27271 9 0 0 25 0 10 0 52757081 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4115915100 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5701/tid=5703] ppid=5699 vsize=412424 CPUtime=8.15
/proc/5701/task/5703/stat : 5703 (java) S 5699 5699 2160 34817 2160 4202560 83620 0 27 0 796 19 0 0 15 0 10 0 52757104 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5704] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5704/stat : 5704 (java) S 5699 5699 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 52757109 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5705] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5705/stat : 5705 (java) S 5699 5699 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 52757109 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5706] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5706/stat : 5706 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5707] ppid=5699 vsize=412424 CPUtime=0.14
/proc/5701/task/5707/stat : 5707 (java) S 5699 5699 2160 34817 2160 4202560 534 0 5 0 13 1 0 0 15 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5708] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5708/stat : 5708 (java) S 5699 5699 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5709] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5709/stat : 5709 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5710] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5710/stat : 5710 (java) S 5699 5699 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 21 0 10 0 52758190 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 281.11
Current children cumulated vsize (KiB) 414996

[startup+284.811 s]
/proc/loadavg: 1.01 1.04 1.00 2/47 5721
/proc/meminfo: memFree=656452/1048576 swapFree=0/0
[pid=5699] ppid=5698 vsize=2572 CPUtime=0
/proc/5699/stat : 5699 (gj-user-solver-) S 5698 5699 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 52757058 2633728 270 1283457024 134512640 135304128 4287326896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5699/statm: 643 270 229 194 0 30 0
[pid=5701] ppid=5699 vsize=412424 CPUtime=282.71
/proc/5701/stat : 5701 (java) S 5699 5699 2160 34817 2160 4202496 98946 0 243 0 28241 30 0 0 22 0 10 0 52757059 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5701/statm: 103106 70559 2920 10 0 97251 0
[pid=5701/tid=5702] ppid=5699 vsize=412424 CPUtime=274.4
/proc/5701/task/5702/stat : 5702 (java) R 5699 5699 2160 34817 2160 4202560 13902 0 157 0 27431 9 0 0 25 0 10 0 52757081 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4115915109 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5701/tid=5703] ppid=5699 vsize=412424 CPUtime=8.15
/proc/5701/task/5703/stat : 5703 (java) S 5699 5699 2160 34817 2160 4202560 83620 0 27 0 796 19 0 0 15 0 10 0 52757104 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5704] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5704/stat : 5704 (java) S 5699 5699 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 52757109 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5705] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5705/stat : 5705 (java) S 5699 5699 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 52757109 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5706] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5706/stat : 5706 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5707] ppid=5699 vsize=412424 CPUtime=0.14
/proc/5701/task/5707/stat : 5707 (java) S 5699 5699 2160 34817 2160 4202560 534 0 5 0 13 1 0 0 15 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5708] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5708/stat : 5708 (java) S 5699 5699 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5709] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5709/stat : 5709 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5710] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5710/stat : 5710 (java) S 5699 5699 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 21 0 10 0 52758190 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.71
Current children cumulated vsize (KiB) 414996

[startup+285.611 s]
/proc/loadavg: 1.01 1.04 1.00 2/47 5721
/proc/meminfo: memFree=656452/1048576 swapFree=0/0
[pid=5699] ppid=5698 vsize=2572 CPUtime=0
/proc/5699/stat : 5699 (gj-user-solver-) S 5698 5699 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 52757058 2633728 270 1283457024 134512640 135304128 4287326896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5699/statm: 643 270 229 194 0 30 0
[pid=5701] ppid=5699 vsize=412424 CPUtime=283.51
/proc/5701/stat : 5701 (java) S 5699 5699 2160 34817 2160 4202496 98946 0 243 0 28321 30 0 0 22 0 10 0 52757059 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5701/statm: 103106 70559 2920 10 0 97251 0
[pid=5701/tid=5702] ppid=5699 vsize=412424 CPUtime=275.2
/proc/5701/task/5702/stat : 5702 (java) R 5699 5699 2160 34817 2160 4202560 13902 0 157 0 27511 9 0 0 25 0 10 0 52757081 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4115915131 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5701/tid=5703] ppid=5699 vsize=412424 CPUtime=8.15
/proc/5701/task/5703/stat : 5703 (java) S 5699 5699 2160 34817 2160 4202560 83620 0 27 0 796 19 0 0 15 0 10 0 52757104 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5704] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5704/stat : 5704 (java) S 5699 5699 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 52757109 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5705] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5705/stat : 5705 (java) S 5699 5699 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 52757109 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5706] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5706/stat : 5706 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5707] ppid=5699 vsize=412424 CPUtime=0.14
/proc/5701/task/5707/stat : 5707 (java) S 5699 5699 2160 34817 2160 4202560 534 0 5 0 13 1 0 0 15 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5708] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5708/stat : 5708 (java) S 5699 5699 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5709] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5709/stat : 5709 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 52757128 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5710] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5710/stat : 5710 (java) S 5699 5699 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 21 0 10 0 52758190 422322176 70559 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.51
Current children cumulated vsize (KiB) 414996

[startup+286.011 s]
/proc/loadavg: 1.01 1.04 1.00 2/46 5721
/proc/meminfo: memFree=656460/1048576 swapFree=0/0
[pid=5699] ppid=5698 vsize=2572 CPUtime=0
/proc/5699/stat : 5699 (gj-user-solver-) S 5698 5699 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 23 0 1 0 52757058 2633728 270 1283457024 134512640 135304128 4287326896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5699/statm: 643 270 229 194 0 30 0
[pid=5701] ppid=5699 vsize=412424 CPUtime=283.91
/proc/5701/stat : 5701 (java) S 5699 5699 2160 34817 2160 4202496 98947 0 243 0 28361 30 0 0 22 0 9 0 52757059 422322176 70560 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5701/statm: 103106 70560 2921 10 0 97251 0
[pid=5701/tid=5702] ppid=5699 vsize=412424 CPUtime=275.6
/proc/5701/task/5702/stat : 5702 (java) R 5699 5699 2160 34817 2160 4202560 13902 0 157 0 27551 9 0 0 25 0 9 0 52757081 422322176 70560 1283457024 134512640 134550932 4294066304 18446744073709551615 4116089733 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5701/tid=5703] ppid=5699 vsize=412424 CPUtime=8.15
/proc/5701/task/5703/stat : 5703 (java) S 5699 5699 2160 34817 2160 4202560 83620 0 27 0 796 19 0 0 15 0 9 0 52757104 422322176 70560 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5704] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5704/stat : 5704 (java) S 5699 5699 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 9 0 52757109 422322176 70560 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5705] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5705/stat : 5705 (java) S 5699 5699 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 9 0 52757109 422322176 70560 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5706] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5706/stat : 5706 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 9 0 52757128 422322176 70560 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5707] ppid=5699 vsize=412424 CPUtime=0.14
/proc/5701/task/5707/stat : 5707 (java) S 5699 5699 2160 34817 2160 4202560 534 0 5 0 13 1 0 0 15 0 9 0 52757128 422322176 70560 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5708] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5708/stat : 5708 (java) S 5699 5699 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 23 0 9 0 52757128 422322176 70560 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=5701/tid=5709] ppid=5699 vsize=412424 CPUtime=0
/proc/5701/task/5709/stat : 5709 (java) S 5699 5699 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 9 0 52757128 422322176 70560 1283457024 134512640 134550932 4294066304 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.91
Current children cumulated vsize (KiB) 414996

Child status: 0
Real time (s): 286.077
CPU time (s): 283.974
CPU user time (s): 283.654
CPU system time (s): 0.32002
CPU usage (%): 99.265
Max. virtual memory (cumulated for all children) (KiB): 442472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 283.654
system time used= 0.32002
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99345
page faults= 243
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6368
involuntary context switches= 8854

runsolver used 0 second user time and 0.012 second system time

The end