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/rand763.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand763.cudf /home/misc2010/tmp/201108311143/gj-user-solver-1.0/rand763.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: 0.85 0.98 0.99 5/37 28651
/proc/meminfo: memFree=504836/1048576 swapFree=0/0
[pid=28649] ppid=28648 vsize=2564 CPUtime=0
/proc/28649/stat : 28649 (gj-user-solver-) S 28648 28649 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 65007809 2625536 269 1283457024 134512640 135304128 4287896384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28649/statm: 641 269 229 194 0 28 0
[pid=28650] ppid=28649 vsize=11360 CPUtime=0
/proc/28650/stat : 28650 (java) R 28649 28649 19908 34817 19908 4202496 919 0 0 0 0 0 0 0 25 0 2 0 65007809 11632640 652 1283457024 134512640 134550932 4287345184 18446744073709551615 4158930536 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28650/statm: 2840 652 285 10 0 1186 0
[pid=28650/tid=28651] ppid=28649 vsize=11360 CPUtime=0
/proc/28650/task/28651/stat : 28651 (java) R 28649 28649 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 2 0 65007810 11632640 652 1283457024 134512640 134550932 4287345184 18446744073709551615 4158930536 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.205182 s]
/proc/loadavg: 0.85 0.98 0.99 5/37 28651
/proc/meminfo: memFree=504836/1048576 swapFree=0/0
[pid=28649] ppid=28648 vsize=2564 CPUtime=0
/proc/28649/stat : 28649 (gj-user-solver-) S 28648 28649 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 65007809 2625536 269 1283457024 134512640 135304128 4287896384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28649/statm: 641 269 229 194 0 28 0
[pid=28650] ppid=28649 vsize=410068 CPUtime=0.2
/proc/28650/stat : 28650 (java) S 28649 28649 19908 34817 19908 4202496 4670 0 1 0 20 0 0 0 25 0 9 0 65007809 419909632 4100 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28650/statm: 102517 4100 1940 10 0 96665 0
[pid=28650/tid=28651] ppid=28649 vsize=410068 CPUtime=0.18
/proc/28650/task/28651/stat : 28651 (java) R 28649 28649 19908 34817 19908 4202560 3466 0 1 0 18 0 0 0 25 0 9 0 65007810 419909632 4100 1283457024 134512640 134550932 4287345184 18446744073709551615 4114271221 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412632

[startup+0.305217 s]
/proc/loadavg: 0.85 0.98 0.99 5/37 28651
/proc/meminfo: memFree=504836/1048576 swapFree=0/0
[pid=28649] ppid=28648 vsize=2564 CPUtime=0
/proc/28649/stat : 28649 (gj-user-solver-) S 28648 28649 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 65007809 2625536 269 1283457024 134512640 135304128 4287896384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28649/statm: 641 269 229 194 0 28 0
[pid=28650] ppid=28649 vsize=410068 CPUtime=0.3
/proc/28650/stat : 28650 (java) S 28649 28649 19908 34817 19908 4202496 5293 0 1 0 30 0 0 0 25 0 9 0 65007809 419909632 4722 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28650/statm: 102517 4722 1946 10 0 96665 0
[pid=28650/tid=28651] ppid=28649 vsize=410068 CPUtime=0.27
/proc/28650/task/28651/stat : 28651 (java) R 28649 28649 19908 34817 19908 4202560 3511 0 1 0 27 0 0 0 25 0 9 0 65007810 419909632 4722 1283457024 134512640 134550932 4287345184 18446744073709551615 4114288632 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412632

[startup+0.405237 s]
/proc/loadavg: 0.85 0.98 0.99 5/37 28651
/proc/meminfo: memFree=504836/1048576 swapFree=0/0
[pid=28649] ppid=28648 vsize=2564 CPUtime=0
/proc/28649/stat : 28649 (gj-user-solver-) S 28648 28649 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 65007809 2625536 269 1283457024 134512640 135304128 4287896384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28649/statm: 641 269 229 194 0 28 0
[pid=28650] ppid=28649 vsize=410620 CPUtime=0.4
/proc/28650/stat : 28650 (java) S 28649 28649 19908 34817 19908 4202496 6224 0 1 0 40 0 0 0 25 0 9 0 65007809 420474880 5653 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28650/statm: 102655 5653 1952 10 0 96803 0
[pid=28650/tid=28651] ppid=28649 vsize=410620 CPUtime=0.34
/proc/28650/task/28651/stat : 28651 (java) R 28649 28649 19908 34817 19908 4202560 3512 0 1 0 34 0 0 0 25 0 9 0 65007810 420474880 5653 1283457024 134512640 134550932 4287345184 18446744073709551615 4114732104 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) 413184

[startup+0.705308 s]
/proc/loadavg: 0.85 0.98 0.99 5/37 28651
/proc/meminfo: memFree=504836/1048576 swapFree=0/0
[pid=28649] ppid=28648 vsize=2564 CPUtime=0
/proc/28649/stat : 28649 (gj-user-solver-) S 28648 28649 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 65007809 2625536 269 1283457024 134512640 135304128 4287896384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28649/statm: 641 269 229 194 0 28 0
[pid=28650] ppid=28649 vsize=410752 CPUtime=0.7
/proc/28650/stat : 28650 (java) S 28649 28649 19908 34817 19908 4202496 12743 0 1 0 69 1 0 0 25 0 9 0 65007809 420610048 11988 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28650/statm: 102688 11988 2900 10 0 96836 0
[pid=28650/tid=28651] ppid=28649 vsize=410752 CPUtime=0.47
/proc/28650/task/28651/stat : 28651 (java) R 28649 28649 19908 34817 19908 4202560 4168 0 1 0 47 0 0 0 25 0 9 0 65007810 420610048 11988 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413316

[startup+1.50548 s]
/proc/loadavg: 0.85 0.98 0.99 3/45 28659
/proc/meminfo: memFree=441336/1048576 swapFree=0/0
[pid=28649] ppid=28648 vsize=2564 CPUtime=0
/proc/28649/stat : 28649 (gj-user-solver-) S 28648 28649 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 65007809 2625536 269 1283457024 134512640 135304128 4287896384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28649/statm: 641 269 229 194 0 28 0
[pid=28650] ppid=28649 vsize=410752 CPUtime=1.5
/proc/28650/stat : 28650 (java) S 28649 28649 19908 34817 19908 4202496 27359 0 1 0 140 10 0 0 25 0 9 0 65007809 420610048 26604 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28650/statm: 102688 26604 2900 10 0 96836 0
[pid=28650/tid=28651] ppid=28649 vsize=410752 CPUtime=0.79
/proc/28650/task/28651/stat : 28651 (java) S 28649 28649 19908 34817 19908 4202560 6680 0 1 0 77 2 0 0 25 0 9 0 65007810 420610048 26604 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28653] ppid=28649 vsize=410752 CPUtime=0.67
/proc/28650/task/28653/stat : 28653 (java) R 28649 28649 19908 34817 19908 4202560 19290 0 0 0 59 8 0 0 19 0 9 0 65007810 420610048 26604 1283457024 134512640 134550932 4287345184 18446744073709551615 4150914472 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=28650/tid=28654] ppid=28649 vsize=410752 CPUtime=0
/proc/28650/task/28654/stat : 28654 (java) S 28649 28649 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 65007811 420610048 26604 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28655] ppid=28649 vsize=410752 CPUtime=0
/proc/28650/task/28655/stat : 28655 (java) S 28649 28649 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 65007811 420610048 26604 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28656] ppid=28649 vsize=410752 CPUtime=0
/proc/28650/task/28656/stat : 28656 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 65007812 420610048 26604 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28657] ppid=28649 vsize=410752 CPUtime=0.03
/proc/28650/task/28657/stat : 28657 (java) S 28649 28649 19908 34817 19908 4202560 446 0 0 0 3 0 0 0 20 0 9 0 65007812 420610048 26604 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28658] ppid=28649 vsize=410752 CPUtime=0
/proc/28650/task/28658/stat : 28658 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 65007812 420610048 26604 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28659] ppid=28649 vsize=410752 CPUtime=0
/proc/28650/task/28659/stat : 28659 (java) S 28649 28649 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 9 0 65007812 420610048 26604 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413316

[startup+3.1059 s]
/proc/loadavg: 0.85 0.98 0.99 3/45 28659
/proc/meminfo: memFree=354164/1048576 swapFree=0/0
[pid=28649] ppid=28648 vsize=2564 CPUtime=0
/proc/28649/stat : 28649 (gj-user-solver-) S 28648 28649 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 65007809 2625536 269 1283457024 134512640 135304128 4287896384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28649/statm: 641 269 229 194 0 28 0
[pid=28650] ppid=28649 vsize=410884 CPUtime=3.1
/proc/28650/stat : 28650 (java) S 28649 28649 19908 34817 19908 4202496 52271 0 1 0 294 16 0 0 25 0 9 0 65007809 420745216 51516 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28650/statm: 102721 51516 2900 10 0 96869 0
[pid=28650/tid=28651] ppid=28649 vsize=410884 CPUtime=1.39
/proc/28650/task/28651/stat : 28651 (java) R 28649 28649 19908 34817 19908 4202560 13785 0 1 0 134 5 0 0 25 0 9 0 65007810 420745216 51516 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28650/tid=28653] ppid=28649 vsize=410884 CPUtime=1.65
/proc/28650/task/28653/stat : 28653 (java) R 28649 28649 19908 34817 19908 4202560 37094 0 0 0 155 10 0 0 16 0 9 0 65007810 420745216 51516 1283457024 134512640 134550932 4287345184 18446744073709551615 4150536120 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=28650/tid=28654] ppid=28649 vsize=410884 CPUtime=0
/proc/28650/task/28654/stat : 28654 (java) S 28649 28649 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 65007811 420745216 51516 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28655] ppid=28649 vsize=410884 CPUtime=0
/proc/28650/task/28655/stat : 28655 (java) S 28649 28649 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 65007811 420745216 51516 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28656] ppid=28649 vsize=410884 CPUtime=0
/proc/28650/task/28656/stat : 28656 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 65007812 420745216 51516 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28657] ppid=28649 vsize=410884 CPUtime=0.04
/proc/28650/task/28657/stat : 28657 (java) S 28649 28649 19908 34817 19908 4202560 449 0 0 0 4 0 0 0 15 0 9 0 65007812 420745216 51516 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28658] ppid=28649 vsize=410884 CPUtime=0
/proc/28650/task/28658/stat : 28658 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 65007812 420745216 51516 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28659] ppid=28649 vsize=410884 CPUtime=0
/proc/28650/task/28659/stat : 28659 (java) S 28649 28649 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 9 0 65007812 420745216 51516 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413448

[startup+6.30693 s]
/proc/loadavg: 0.94 1.00 0.99 2/45 28660
/proc/meminfo: memFree=239216/1048576 swapFree=0/0
[pid=28649] ppid=28648 vsize=2564 CPUtime=0
/proc/28649/stat : 28649 (gj-user-solver-) S 28648 28649 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 65007809 2625536 269 1283457024 134512640 135304128 4287896384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28649/statm: 641 269 229 194 0 28 0
[pid=28650] ppid=28649 vsize=439792 CPUtime=6.3
/proc/28650/stat : 28650 (java) S 28649 28649 19908 34817 19908 4202496 78194 0 1 0 606 24 0 0 25 0 9 0 65007809 450347008 77433 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28650/statm: 109948 77433 2901 10 0 104096 0
[pid=28650/tid=28651] ppid=28649 vsize=439792 CPUtime=2.26
/proc/28650/task/28651/stat : 28651 (java) R 28649 28649 19908 34817 19908 4202560 13802 0 1 0 220 6 0 0 25 0 9 0 65007810 450347008 77433 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28650/tid=28653] ppid=28649 vsize=439792 CPUtime=3.97
/proc/28650/task/28653/stat : 28653 (java) R 28649 28649 19908 34817 19908 4202560 62982 0 0 0 380 17 0 0 16 0 9 0 65007810 450347008 77433 1283457024 134512640 134550932 4287345184 18446744073709551615 4150928008 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=28650/tid=28654] ppid=28649 vsize=439792 CPUtime=0
/proc/28650/task/28654/stat : 28654 (java) S 28649 28649 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 65007811 450347008 77433 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28655] ppid=28649 vsize=439792 CPUtime=0
/proc/28650/task/28655/stat : 28655 (java) S 28649 28649 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 65007811 450347008 77433 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28656] ppid=28649 vsize=439792 CPUtime=0
/proc/28650/task/28656/stat : 28656 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 65007812 450347008 77433 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28657] ppid=28649 vsize=439792 CPUtime=0.06
/proc/28650/task/28657/stat : 28657 (java) S 28649 28649 19908 34817 19908 4202560 467 0 0 0 6 0 0 0 15 0 9 0 65007812 450347008 77433 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28658] ppid=28649 vsize=439792 CPUtime=0
/proc/28650/task/28658/stat : 28658 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 65007812 450347008 77433 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28659] ppid=28649 vsize=439792 CPUtime=0
/proc/28650/task/28659/stat : 28659 (java) S 28649 28649 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 9 0 65007812 450347008 77433 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 442356

[startup+12.7087 s]
/proc/loadavg: 1.02 1.01 1.00 2/46 28661
/proc/meminfo: memFree=234380/1048576 swapFree=0/0
[pid=28649] ppid=28648 vsize=2564 CPUtime=0
/proc/28649/stat : 28649 (gj-user-solver-) S 28648 28649 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 65007809 2625536 269 1283457024 134512640 135304128 4287896384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28649/statm: 641 269 229 194 0 28 0
[pid=28650] ppid=28649 vsize=411580 CPUtime=12.7
/proc/28650/stat : 28650 (java) S 28649 28649 19908 34817 19908 4202496 92684 0 1 0 1241 29 0 0 25 0 10 0 65007809 421457920 70550 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28650/statm: 102895 70550 2917 10 0 97040 0
[pid=28650/tid=28651] ppid=28649 vsize=411580 CPUtime=5.7
/proc/28650/task/28651/stat : 28651 (java) R 28649 28649 19908 34817 19908 4202560 14053 0 1 0 564 6 0 0 25 0 10 0 65007810 421457920 70550 1283457024 134512640 134550932 4287345184 18446744073709551615 4115224504 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28650/tid=28653] ppid=28649 vsize=411580 CPUtime=6.86
/proc/28650/task/28653/stat : 28653 (java) S 28649 28649 19908 34817 19908 4202560 77154 0 0 0 664 22 0 0 16 0 10 0 65007810 421457920 70550 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28654] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28654/stat : 28654 (java) S 28649 28649 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65007811 421457920 70550 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28655] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28655/stat : 28655 (java) S 28649 28649 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65007811 421457920 70550 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28656] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28656/stat : 28656 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65007812 421457920 70550 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28657] ppid=28649 vsize=411580 CPUtime=0.13
/proc/28650/task/28657/stat : 28657 (java) S 28649 28649 19908 34817 19908 4202560 530 0 0 0 13 0 0 0 16 0 10 0 65007812 421457920 70550 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28658] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28658/stat : 28658 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65007812 421457920 70550 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28659] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28659/stat : 28659 (java) S 28649 28649 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 65007812 421457920 70550 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28661] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28661/stat : 28661 (java) S 28649 28649 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 65008745 421457920 70550 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 414144

[startup+25.5114 s]
/proc/loadavg: 1.02 1.01 1.00 3/45 28662
/proc/meminfo: memFree=318716/1048576 swapFree=0/0
[pid=28649] ppid=28648 vsize=2564 CPUtime=0
/proc/28649/stat : 28649 (gj-user-solver-) S 28648 28649 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 65007809 2625536 269 1283457024 134512640 135304128 4287896384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28649/statm: 641 269 229 194 0 28 0
[pid=28650] ppid=28649 vsize=411580 CPUtime=25.48
/proc/28650/stat : 28650 (java) S 28649 28649 19908 34817 19908 4202496 92688 0 1 0 2518 30 0 0 25 0 10 0 65007809 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28650/statm: 102895 49434 2917 10 0 97040 0
[pid=28650/tid=28651] ppid=28649 vsize=411580 CPUtime=17.86
/proc/28650/task/28651/stat : 28651 (java) R 28649 28649 19908 34817 19908 4202560 14053 0 1 0 1780 6 0 0 25 0 10 0 65007810 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4115189880 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28650/tid=28653] ppid=28649 vsize=411580 CPUtime=7.47
/proc/28650/task/28653/stat : 28653 (java) S 28649 28649 19908 34817 19908 4202560 77154 0 0 0 724 23 0 0 16 0 10 0 65007810 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28654] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28654/stat : 28654 (java) S 28649 28649 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65007811 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28655] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28655/stat : 28655 (java) S 28649 28649 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65007811 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28656] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28656/stat : 28656 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65007812 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28657] ppid=28649 vsize=411580 CPUtime=0.14
/proc/28650/task/28657/stat : 28657 (java) S 28649 28649 19908 34817 19908 4202560 534 0 0 0 14 0 0 0 15 0 10 0 65007812 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28658] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28658/stat : 28658 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65007812 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28659] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28659/stat : 28659 (java) S 28649 28649 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 65007812 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28661] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28661/stat : 28661 (java) S 28649 28649 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 65008745 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 414144

[startup+51.1068 s]
/proc/loadavg: 1.01 1.01 1.00 2/45 28662
/proc/meminfo: memFree=318716/1048576 swapFree=0/0
[pid=28649] ppid=28648 vsize=2564 CPUtime=0
/proc/28649/stat : 28649 (gj-user-solver-) S 28648 28649 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 65007809 2625536 269 1283457024 134512640 135304128 4287896384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28649/statm: 641 269 229 194 0 28 0
[pid=28650] ppid=28649 vsize=411580 CPUtime=51.06
/proc/28650/stat : 28650 (java) S 28649 28649 19908 34817 19908 4202496 92688 0 1 0 5076 30 0 0 25 0 10 0 65007809 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28650/statm: 102895 49434 2917 10 0 97040 0
[pid=28650/tid=28651] ppid=28649 vsize=411580 CPUtime=42.83
/proc/28650/task/28651/stat : 28651 (java) R 28649 28649 19908 34817 19908 4202560 14053 0 1 0 4277 6 0 0 25 0 10 0 65007810 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4115088267 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28650/tid=28653] ppid=28649 vsize=411580 CPUtime=8.07
/proc/28650/task/28653/stat : 28653 (java) S 28649 28649 19908 34817 19908 4202560 77154 0 0 0 784 23 0 0 15 0 10 0 65007810 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28654] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28654/stat : 28654 (java) S 28649 28649 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65007811 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28655] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28655/stat : 28655 (java) S 28649 28649 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65007811 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28656] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28656/stat : 28656 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65007812 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28657] ppid=28649 vsize=411580 CPUtime=0.14
/proc/28650/task/28657/stat : 28657 (java) S 28649 28649 19908 34817 19908 4202560 534 0 0 0 14 0 0 0 15 0 10 0 65007812 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28658] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28658/stat : 28658 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65007812 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28659] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28659/stat : 28659 (java) S 28649 28649 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 65007812 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28661] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28661/stat : 28661 (java) S 28649 28649 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 65008745 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 414144

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 3/44 28662
/proc/meminfo: memFree=318724/1048576 swapFree=0/0
[pid=28649] ppid=28648 vsize=2564 CPUtime=0
/proc/28649/stat : 28649 (gj-user-solver-) S 28648 28649 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 65007809 2625536 269 1283457024 134512640 135304128 4287896384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28649/statm: 641 269 229 194 0 28 0
[pid=28650] ppid=28649 vsize=411580 CPUtime=102.22
/proc/28650/stat : 28650 (java) S 28649 28649 19908 34817 19908 4202496 92688 0 1 0 10192 30 0 0 25 0 10 0 65007809 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28650/statm: 102895 49434 2917 10 0 97040 0
[pid=28650/tid=28651] ppid=28649 vsize=411580 CPUtime=93.18
/proc/28650/task/28651/stat : 28651 (java) R 28649 28649 19908 34817 19908 4202560 14053 0 1 0 9312 6 0 0 25 0 10 0 65007810 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4115102656 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28650/tid=28653] ppid=28649 vsize=411580 CPUtime=8.88
/proc/28650/task/28653/stat : 28653 (java) S 28649 28649 19908 34817 19908 4202560 77154 0 0 0 865 23 0 0 15 0 10 0 65007810 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28654] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28654/stat : 28654 (java) S 28649 28649 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65007811 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28655] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28655/stat : 28655 (java) S 28649 28649 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65007811 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28656] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28656/stat : 28656 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65007812 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28657] ppid=28649 vsize=411580 CPUtime=0.14
/proc/28650/task/28657/stat : 28657 (java) S 28649 28649 19908 34817 19908 4202560 534 0 0 0 14 0 0 0 15 0 10 0 65007812 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28658] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28658/stat : 28658 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65007812 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28659] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28659/stat : 28659 (java) S 28649 28649 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 65007812 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28661] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28661/stat : 28661 (java) S 28649 28649 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 65008745 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 414144

[startup+162.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 28662
/proc/meminfo: memFree=318724/1048576 swapFree=0/0
[pid=28649] ppid=28648 vsize=2564 CPUtime=0
/proc/28649/stat : 28649 (gj-user-solver-) S 28648 28649 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 65007809 2625536 269 1283457024 134512640 135304128 4287896384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28649/statm: 641 269 229 194 0 28 0
[pid=28650] ppid=28649 vsize=411580 CPUtime=162.16
/proc/28650/stat : 28650 (java) S 28649 28649 19908 34817 19908 4202496 92688 0 1 0 16185 31 0 0 25 0 10 0 65007809 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28650/statm: 102895 49434 2917 10 0 97040 0
[pid=28650/tid=28651] ppid=28649 vsize=411580 CPUtime=152.29
/proc/28650/task/28651/stat : 28651 (java) R 28649 28649 19908 34817 19908 4202560 14053 0 1 0 15222 7 0 0 25 0 10 0 65007810 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4115203301 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28650/tid=28653] ppid=28649 vsize=411580 CPUtime=9.71
/proc/28650/task/28653/stat : 28653 (java) S 28649 28649 19908 34817 19908 4202560 77154 0 0 0 948 23 0 0 15 0 10 0 65007810 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28654] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28654/stat : 28654 (java) S 28649 28649 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65007811 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28655] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28655/stat : 28655 (java) S 28649 28649 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65007811 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28656] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28656/stat : 28656 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65007812 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28657] ppid=28649 vsize=411580 CPUtime=0.14
/proc/28650/task/28657/stat : 28657 (java) S 28649 28649 19908 34817 19908 4202560 534 0 0 0 14 0 0 0 15 0 10 0 65007812 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28658] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28658/stat : 28658 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65007812 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28659] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28659/stat : 28659 (java) R 28649 28649 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 65007812 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28650/tid=28661] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28661/stat : 28661 (java) S 28649 28649 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 65008745 421457920 49434 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 414144

[startup+222.304 s]
/proc/loadavg: 1.13 1.03 1.01 2/44 28662
/proc/meminfo: memFree=318724/1048576 swapFree=0/0
[pid=28649] ppid=28648 vsize=2564 CPUtime=0
/proc/28649/stat : 28649 (gj-user-solver-) S 28648 28649 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 65007809 2625536 269 1283457024 134512640 135304128 4287896384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28649/statm: 641 269 229 194 0 28 0
[pid=28650] ppid=28649 vsize=411580 CPUtime=222.1
/proc/28650/stat : 28650 (java) S 28649 28649 19908 34817 19908 4202496 92690 0 1 0 22179 31 0 0 25 0 10 0 65007809 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28650/statm: 102895 49436 2919 10 0 97040 0
[pid=28650/tid=28651] ppid=28649 vsize=411580 CPUtime=211.52
/proc/28650/task/28651/stat : 28651 (java) R 28649 28649 19908 34817 19908 4202560 14053 0 1 0 21145 7 0 0 25 0 10 0 65007810 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4115144241 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28650/tid=28653] ppid=28649 vsize=411580 CPUtime=10.42
/proc/28650/task/28653/stat : 28653 (java) S 28649 28649 19908 34817 19908 4202560 77156 0 0 0 1019 23 0 0 15 0 10 0 65007810 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28654] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28654/stat : 28654 (java) S 28649 28649 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65007811 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28655] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28655/stat : 28655 (java) S 28649 28649 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65007811 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28656] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28656/stat : 28656 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65007812 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28657] ppid=28649 vsize=411580 CPUtime=0.14
/proc/28650/task/28657/stat : 28657 (java) S 28649 28649 19908 34817 19908 4202560 534 0 0 0 14 0 0 0 15 0 10 0 65007812 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28658] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28658/stat : 28658 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65007812 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28659] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28659/stat : 28659 (java) S 28649 28649 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 65007812 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28661] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28661/stat : 28661 (java) S 28649 28649 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 65008745 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 414144

[startup+282.308 s]
/proc/loadavg: 1.11 1.04 1.01 2/44 28662
/proc/meminfo: memFree=318724/1048576 swapFree=0/0
[pid=28649] ppid=28648 vsize=2564 CPUtime=0
/proc/28649/stat : 28649 (gj-user-solver-) S 28648 28649 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 65007809 2625536 269 1283457024 134512640 135304128 4287896384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28649/statm: 641 269 229 194 0 28 0
[pid=28650] ppid=28649 vsize=411580 CPUtime=282.04
/proc/28650/stat : 28650 (java) S 28649 28649 19908 34817 19908 4202496 92690 0 1 0 28171 33 0 0 25 0 10 0 65007809 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28650/statm: 102895 49436 2919 10 0 97040 0
[pid=28650/tid=28651] ppid=28649 vsize=411580 CPUtime=270.88
/proc/28650/task/28651/stat : 28651 (java) R 28649 28649 19908 34817 19908 4202560 14053 0 1 0 27079 9 0 0 25 0 10 0 65007810 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4115144301 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28650/tid=28653] ppid=28649 vsize=411580 CPUtime=11.01
/proc/28650/task/28653/stat : 28653 (java) S 28649 28649 19908 34817 19908 4202560 77156 0 0 0 1078 23 0 0 16 0 10 0 65007810 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28654] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28654/stat : 28654 (java) S 28649 28649 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65007811 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28655] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28655/stat : 28655 (java) S 28649 28649 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65007811 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28656] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28656/stat : 28656 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65007812 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28657] ppid=28649 vsize=411580 CPUtime=0.14
/proc/28650/task/28657/stat : 28657 (java) S 28649 28649 19908 34817 19908 4202560 534 0 0 0 14 0 0 0 15 0 10 0 65007812 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28658] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28658/stat : 28658 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65007812 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28659] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28659/stat : 28659 (java) S 28649 28649 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 65007812 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28661] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28661/stat : 28661 (java) S 28649 28649 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 65008745 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.04
Current children cumulated vsize (KiB) 414144

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

[startup+283.308 s]
/proc/loadavg: 1.10 1.04 1.01 2/44 28662
/proc/meminfo: memFree=318724/1048576 swapFree=0/0
[pid=28649] ppid=28648 vsize=2564 CPUtime=0
/proc/28649/stat : 28649 (gj-user-solver-) S 28648 28649 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 65007809 2625536 269 1283457024 134512640 135304128 4287896384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28649/statm: 641 269 229 194 0 28 0
[pid=28650] ppid=28649 vsize=411580 CPUtime=283.05
/proc/28650/stat : 28650 (java) S 28649 28649 19908 34817 19908 4202496 92690 0 1 0 28272 33 0 0 25 0 10 0 65007809 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28650/statm: 102895 49436 2919 10 0 97040 0
[pid=28650/tid=28651] ppid=28649 vsize=411580 CPUtime=271.88
/proc/28650/task/28651/stat : 28651 (java) R 28649 28649 19908 34817 19908 4202560 14053 0 1 0 27179 9 0 0 25 0 10 0 65007810 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4115203268 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28650/tid=28653] ppid=28649 vsize=411580 CPUtime=11.01
/proc/28650/task/28653/stat : 28653 (java) S 28649 28649 19908 34817 19908 4202560 77156 0 0 0 1078 23 0 0 15 0 10 0 65007810 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28654] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28654/stat : 28654 (java) S 28649 28649 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65007811 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28655] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28655/stat : 28655 (java) S 28649 28649 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65007811 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28656] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28656/stat : 28656 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65007812 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28657] ppid=28649 vsize=411580 CPUtime=0.14
/proc/28650/task/28657/stat : 28657 (java) S 28649 28649 19908 34817 19908 4202560 534 0 0 0 14 0 0 0 15 0 10 0 65007812 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28658] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28658/stat : 28658 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65007812 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28659] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28659/stat : 28659 (java) R 28649 28649 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 65007812 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28650/tid=28661] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28661/stat : 28661 (java) S 28649 28649 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 65008745 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.05
Current children cumulated vsize (KiB) 414144

[startup+284.108 s]
/proc/loadavg: 1.10 1.04 1.01 3/44 28662
/proc/meminfo: memFree=318724/1048576 swapFree=0/0
[pid=28649] ppid=28648 vsize=2564 CPUtime=0
/proc/28649/stat : 28649 (gj-user-solver-) S 28648 28649 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 65007809 2625536 269 1283457024 134512640 135304128 4287896384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28649/statm: 641 269 229 194 0 28 0
[pid=28650] ppid=28649 vsize=411580 CPUtime=283.85
/proc/28650/stat : 28650 (java) S 28649 28649 19908 34817 19908 4202496 92690 0 1 0 28352 33 0 0 25 0 10 0 65007809 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28650/statm: 102895 49436 2919 10 0 97040 0
[pid=28650/tid=28651] ppid=28649 vsize=411580 CPUtime=272.68
/proc/28650/task/28651/stat : 28651 (java) R 28649 28649 19908 34817 19908 4202560 14053 0 1 0 27259 9 0 0 25 0 10 0 65007810 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4115203232 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28650/tid=28653] ppid=28649 vsize=411580 CPUtime=11.01
/proc/28650/task/28653/stat : 28653 (java) S 28649 28649 19908 34817 19908 4202560 77156 0 0 0 1078 23 0 0 15 0 10 0 65007810 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28654] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28654/stat : 28654 (java) S 28649 28649 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65007811 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28655] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28655/stat : 28655 (java) S 28649 28649 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65007811 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28656] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28656/stat : 28656 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65007812 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28657] ppid=28649 vsize=411580 CPUtime=0.14
/proc/28650/task/28657/stat : 28657 (java) S 28649 28649 19908 34817 19908 4202560 534 0 0 0 14 0 0 0 15 0 10 0 65007812 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28658] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28658/stat : 28658 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65007812 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28659] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28659/stat : 28659 (java) S 28649 28649 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 65007812 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28661] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28661/stat : 28661 (java) S 28649 28649 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 65008745 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.85
Current children cumulated vsize (KiB) 414144

[startup+284.909 s]
/proc/loadavg: 1.10 1.04 1.01 3/44 28662
/proc/meminfo: memFree=318724/1048576 swapFree=0/0
[pid=28649] ppid=28648 vsize=2564 CPUtime=0
/proc/28649/stat : 28649 (gj-user-solver-) S 28648 28649 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 65007809 2625536 269 1283457024 134512640 135304128 4287896384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28649/statm: 641 269 229 194 0 28 0
[pid=28650] ppid=28649 vsize=411580 CPUtime=284.65
/proc/28650/stat : 28650 (java) S 28649 28649 19908 34817 19908 4202496 92690 0 1 0 28432 33 0 0 25 0 10 0 65007809 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28650/statm: 102895 49436 2919 10 0 97040 0
[pid=28650/tid=28651] ppid=28649 vsize=411580 CPUtime=273.48
/proc/28650/task/28651/stat : 28651 (java) R 28649 28649 19908 34817 19908 4202560 14053 0 1 0 27339 9 0 0 25 0 10 0 65007810 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4115189893 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28650/tid=28653] ppid=28649 vsize=411580 CPUtime=11.01
/proc/28650/task/28653/stat : 28653 (java) S 28649 28649 19908 34817 19908 4202560 77156 0 0 0 1078 23 0 0 15 0 10 0 65007810 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28654] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28654/stat : 28654 (java) S 28649 28649 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65007811 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28655] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28655/stat : 28655 (java) S 28649 28649 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65007811 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28656] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28656/stat : 28656 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65007812 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28657] ppid=28649 vsize=411580 CPUtime=0.14
/proc/28650/task/28657/stat : 28657 (java) S 28649 28649 19908 34817 19908 4202560 534 0 0 0 14 0 0 0 15 0 10 0 65007812 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28658] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28658/stat : 28658 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65007812 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28659] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28659/stat : 28659 (java) S 28649 28649 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 65007812 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28661] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28661/stat : 28661 (java) S 28649 28649 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 65008745 421457920 49436 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.65
Current children cumulated vsize (KiB) 414144

[startup+285.309 s]
/proc/loadavg: 1.10 1.04 1.01 2/44 28662
/proc/meminfo: memFree=318724/1048576 swapFree=0/0
[pid=28649] ppid=28648 vsize=2564 CPUtime=0
/proc/28649/stat : 28649 (gj-user-solver-) S 28648 28649 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 65007809 2625536 269 1283457024 134512640 135304128 4287896384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28649/statm: 641 269 229 194 0 28 0
[pid=28650] ppid=28649 vsize=411580 CPUtime=285.05
/proc/28650/stat : 28650 (java) S 28649 28649 19908 34817 19908 4202496 92691 0 1 0 28472 33 0 0 25 0 9 0 65007809 421457920 49437 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28650/statm: 102895 49437 2920 10 0 97040 0
[pid=28650/tid=28651] ppid=28649 vsize=411580 CPUtime=273.88
/proc/28650/task/28651/stat : 28651 (java) R 28649 28649 19908 34817 19908 4202560 14053 0 1 0 27379 9 0 0 25 0 9 0 65007810 421457920 49437 1283457024 134512640 134550932 4287345184 18446744073709551615 4115233530 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28650/tid=28653] ppid=28649 vsize=411580 CPUtime=11.01
/proc/28650/task/28653/stat : 28653 (java) S 28649 28649 19908 34817 19908 4202560 77156 0 0 0 1078 23 0 0 15 0 9 0 65007810 421457920 49437 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28654] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28654/stat : 28654 (java) S 28649 28649 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 65007811 421457920 49437 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28655] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28655/stat : 28655 (java) S 28649 28649 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 65007811 421457920 49437 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28656] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28656/stat : 28656 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 65007812 421457920 49437 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28657] ppid=28649 vsize=411580 CPUtime=0.14
/proc/28650/task/28657/stat : 28657 (java) S 28649 28649 19908 34817 19908 4202560 534 0 0 0 14 0 0 0 15 0 9 0 65007812 421457920 49437 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28658] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28658/stat : 28658 (java) S 28649 28649 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 65007812 421457920 49437 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=28650/tid=28659] ppid=28649 vsize=411580 CPUtime=0
/proc/28650/task/28659/stat : 28659 (java) S 28649 28649 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 9 0 65007812 421457920 49437 1283457024 134512640 134550932 4287345184 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.05
Current children cumulated vsize (KiB) 414144

Child status: 0
Real time (s): 285.356
CPU time (s): 285.062
CPU user time (s): 284.722
CPU system time (s): 0.340021
CPU usage (%): 99.8969
Max. virtual memory (cumulated for all children) (KiB): 442356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.722
system time used= 0.340021
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93078
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= 5908
involuntary context switches= 8531

runsolver used 0.008 second user time and 0 second system time

The end