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/201109011757/gj-user-solver-1.0/rand152.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand152.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/rand152.cudf.user-upgrades.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-notuptodate,-removed,-changed 

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.14 1.02 0.70 4/39 23515
/proc/meminfo: memFree=770784/1048576 swapFree=0/0
[pid=23514] ppid=23513 vsize=2568 CPUtime=0
/proc/23514/stat : 23514 (gj-user-solver-) S 23513 23514 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71702532 2629632 269 1283457024 134512640 135304128 4293457984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23514/statm: 642 269 229 194 0 29 0
[pid=23515] ppid=23514 vsize=11044 CPUtime=0
/proc/23515/stat : 23515 (java) R 23514 23514 22717 34817 22717 4202496 831 0 0 0 0 0 0 0 25 0 1 0 71702532 11309056 567 1283457024 134512640 134550932 4294541488 18446744073709551615 4160431842 0 0 0 0 0 0 0 17 0 0 0 0
/proc/23515/statm: 2761 567 224 10 0 1103 0

[startup+0.115946 s]
/proc/loadavg: 1.14 1.02 0.70 4/39 23515
/proc/meminfo: memFree=770784/1048576 swapFree=0/0
[pid=23514] ppid=23513 vsize=2568 CPUtime=0
/proc/23514/stat : 23514 (gj-user-solver-) S 23513 23514 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71702532 2629632 269 1283457024 134512640 135304128 4293457984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23514/statm: 642 269 229 194 0 29 0
[pid=23515] ppid=23514 vsize=409924 CPUtime=0.11
/proc/23515/stat : 23515 (java) S 23514 23514 22717 34817 22717 4202496 3905 0 1 0 9 2 0 0 25 0 9 0 71702532 419762176 3332 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23515/statm: 102481 3332 1926 10 0 96629 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 412492

[startup+0.215962 s]
/proc/loadavg: 1.14 1.02 0.70 4/39 23515
/proc/meminfo: memFree=770784/1048576 swapFree=0/0
[pid=23514] ppid=23513 vsize=2568 CPUtime=0
/proc/23514/stat : 23514 (gj-user-solver-) S 23513 23514 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71702532 2629632 269 1283457024 134512640 135304128 4293457984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23514/statm: 642 269 229 194 0 29 0
[pid=23515] ppid=23514 vsize=409924 CPUtime=0.21
/proc/23515/stat : 23515 (java) S 23514 23514 22717 34817 22717 4202496 4139 0 1 0 18 3 0 0 25 0 9 0 71702532 419762176 3566 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23515/statm: 102481 3566 1926 10 0 96629 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412492

[startup+0.315977 s]
/proc/loadavg: 1.14 1.02 0.70 4/39 23515
/proc/meminfo: memFree=770784/1048576 swapFree=0/0
[pid=23514] ppid=23513 vsize=2568 CPUtime=0
/proc/23514/stat : 23514 (gj-user-solver-) S 23513 23514 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71702532 2629632 269 1283457024 134512640 135304128 4293457984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23514/statm: 642 269 229 194 0 29 0
[pid=23515] ppid=23514 vsize=410476 CPUtime=0.31
/proc/23515/stat : 23515 (java) S 23514 23514 22717 34817 22717 4202496 4528 0 1 0 28 3 0 0 25 0 9 0 71702532 420327424 3955 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23515/statm: 102619 3955 1951 10 0 96767 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 413044

[startup+0.706064 s]
/proc/loadavg: 1.14 1.02 0.70 4/39 23515
/proc/meminfo: memFree=770784/1048576 swapFree=0/0
[pid=23514] ppid=23513 vsize=2568 CPUtime=0
/proc/23514/stat : 23514 (gj-user-solver-) S 23513 23514 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71702532 2629632 269 1283457024 134512640 135304128 4293457984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23514/statm: 642 269 229 194 0 29 0
[pid=23515] ppid=23514 vsize=410616 CPUtime=0.7
/proc/23515/stat : 23515 (java) S 23514 23514 22717 34817 22717 4202496 12375 0 1 0 62 8 0 0 25 0 9 0 71702532 420470784 11615 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23515/statm: 102654 11615 2901 10 0 96802 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413184

[startup+1.50625 s]
/proc/loadavg: 1.14 1.02 0.70 2/48 23524
/proc/meminfo: memFree=713716/1048576 swapFree=0/0
[pid=23514] ppid=23513 vsize=2568 CPUtime=0
/proc/23514/stat : 23514 (gj-user-solver-) S 23513 23514 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71702532 2629632 269 1283457024 134512640 135304128 4293457984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23514/statm: 642 269 229 194 0 29 0
[pid=23515] ppid=23514 vsize=410748 CPUtime=1.5
/proc/23515/stat : 23515 (java) S 23514 23514 22717 34817 22717 4202496 27421 0 1 0 138 12 0 0 25 0 9 0 71702532 420605952 26661 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23515/statm: 102687 26661 2901 10 0 96835 0
[pid=23515/tid=23517] ppid=23514 vsize=410748 CPUtime=0.81
/proc/23515/task/23517/stat : 23517 (java) R 23514 23514 22717 34817 22717 4202560 6712 0 1 0 78 3 0 0 25 0 9 0 71702533 420605952 26661 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23515/tid=23518] ppid=23514 vsize=410748 CPUtime=0.64
/proc/23515/task/23518/stat : 23518 (java) R 23514 23514 22717 34817 22717 4202560 19321 0 0 0 56 8 0 0 18 0 9 0 71702533 420605952 26661 1283457024 134512640 134550932 4294541488 18446744073709551615 4151688484 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=23515/tid=23519] ppid=23514 vsize=410748 CPUtime=0
/proc/23515/task/23519/stat : 23519 (java) S 23514 23514 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 71702534 420605952 26661 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23520] ppid=23514 vsize=410748 CPUtime=0
/proc/23515/task/23520/stat : 23520 (java) S 23514 23514 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 71702534 420605952 26661 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23521] ppid=23514 vsize=410748 CPUtime=0
/proc/23515/task/23521/stat : 23521 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71702535 420605952 26661 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23522] ppid=23514 vsize=410748 CPUtime=0.04
/proc/23515/task/23522/stat : 23522 (java) S 23514 23514 22717 34817 22717 4202560 446 0 0 0 4 0 0 0 16 0 9 0 71702535 420605952 26661 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23523] ppid=23514 vsize=410748 CPUtime=0
/proc/23515/task/23523/stat : 23523 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71702535 420605952 26661 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23524] ppid=23514 vsize=410748 CPUtime=0
/proc/23515/task/23524/stat : 23524 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71702535 420605952 26661 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413316

[startup+3.10648 s]
/proc/loadavg: 1.14 1.02 0.70 2/48 23524
/proc/meminfo: memFree=641920/1048576 swapFree=0/0
[pid=23514] ppid=23513 vsize=2568 CPUtime=0
/proc/23514/stat : 23514 (gj-user-solver-) S 23513 23514 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71702532 2629632 269 1283457024 134512640 135304128 4293457984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23514/statm: 642 269 229 194 0 29 0
[pid=23515] ppid=23514 vsize=410880 CPUtime=3.1
/proc/23515/stat : 23515 (java) S 23514 23514 22717 34817 22717 4202496 51372 0 1 0 285 25 0 0 25 0 9 0 71702532 420741120 50612 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23515/statm: 102720 50612 2901 10 0 96868 0
[pid=23515/tid=23517] ppid=23514 vsize=410880 CPUtime=1.43
/proc/23515/task/23517/stat : 23517 (java) R 23514 23514 22717 34817 22717 4202560 13865 0 1 0 137 6 0 0 25 0 9 0 71702533 420741120 50612 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23515/tid=23518] ppid=23514 vsize=410880 CPUtime=1.61
/proc/23515/task/23518/stat : 23518 (java) R 23514 23514 22717 34817 22717 4202560 36116 0 0 0 143 18 0 0 16 0 9 0 71702533 420741120 50612 1283457024 134512640 134550932 4294541488 18446744073709551615 4151608224 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=23515/tid=23519] ppid=23514 vsize=410880 CPUtime=0
/proc/23515/task/23519/stat : 23519 (java) S 23514 23514 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 71702534 420741120 50612 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23520] ppid=23514 vsize=410880 CPUtime=0
/proc/23515/task/23520/stat : 23520 (java) S 23514 23514 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 71702534 420741120 50612 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23521] ppid=23514 vsize=410880 CPUtime=0
/proc/23515/task/23521/stat : 23521 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71702535 420741120 50612 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23522] ppid=23514 vsize=410880 CPUtime=0.04
/proc/23515/task/23522/stat : 23522 (java) S 23514 23514 22717 34817 22717 4202560 449 0 0 0 4 0 0 0 15 0 9 0 71702535 420741120 50612 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23523] ppid=23514 vsize=410880 CPUtime=0
/proc/23515/task/23523/stat : 23523 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71702535 420741120 50612 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23524] ppid=23514 vsize=410880 CPUtime=0
/proc/23515/task/23524/stat : 23524 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71702535 420741120 50612 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413448

[startup+6.3072 s]
/proc/loadavg: 1.13 1.02 0.70 2/48 23524
/proc/meminfo: memFree=504900/1048576 swapFree=0/0
[pid=23514] ppid=23513 vsize=2568 CPUtime=0
/proc/23514/stat : 23514 (gj-user-solver-) S 23513 23514 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71702532 2629632 269 1283457024 134512640 135304128 4293457984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23514/statm: 642 269 229 194 0 29 0
[pid=23515] ppid=23514 vsize=439920 CPUtime=6.3
/proc/23515/stat : 23515 (java) S 23514 23514 22717 34817 22717 4202496 78237 0 1 0 593 37 0 0 25 0 9 0 71702532 450478080 77471 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23515/statm: 109980 77471 2902 10 0 104128 0
[pid=23515/tid=23517] ppid=23514 vsize=439920 CPUtime=2.31
/proc/23515/task/23517/stat : 23517 (java) R 23514 23514 22717 34817 22717 4202560 13882 0 1 0 222 9 0 0 25 0 9 0 71702533 450478080 77471 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23515/tid=23518] ppid=23514 vsize=439920 CPUtime=3.92
/proc/23515/task/23518/stat : 23518 (java) R 23514 23514 22717 34817 22717 4202560 62946 0 0 0 365 27 0 0 16 0 9 0 71702533 450478080 77471 1283457024 134512640 134550932 4294541488 18446744073709551615 4152801819 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=23515/tid=23519] ppid=23514 vsize=439920 CPUtime=0
/proc/23515/task/23519/stat : 23519 (java) S 23514 23514 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 71702534 450478080 77471 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23520] ppid=23514 vsize=439920 CPUtime=0
/proc/23515/task/23520/stat : 23520 (java) S 23514 23514 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 71702534 450478080 77471 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23521] ppid=23514 vsize=439920 CPUtime=0
/proc/23515/task/23521/stat : 23521 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71702535 450478080 77471 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23522] ppid=23514 vsize=439920 CPUtime=0.05
/proc/23515/task/23522/stat : 23522 (java) S 23514 23514 22717 34817 22717 4202560 467 0 0 0 5 0 0 0 15 0 9 0 71702535 450478080 77471 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23523] ppid=23514 vsize=439920 CPUtime=0
/proc/23515/task/23523/stat : 23523 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71702535 450478080 77471 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23524] ppid=23514 vsize=439920 CPUtime=0
/proc/23515/task/23524/stat : 23524 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71702535 450478080 77471 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 442488

[startup+12.7093 s]
/proc/loadavg: 1.12 1.02 0.70 2/49 23526
/proc/meminfo: memFree=499932/1048576 swapFree=0/0
[pid=23514] ppid=23513 vsize=2568 CPUtime=0
/proc/23514/stat : 23514 (gj-user-solver-) S 23513 23514 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71702532 2629632 269 1283457024 134512640 135304128 4293457984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23514/statm: 642 269 229 194 0 29 0
[pid=23515] ppid=23514 vsize=411888 CPUtime=12.69
/proc/23515/stat : 23515 (java) S 23514 23514 22717 34817 22717 4202496 99936 0 1 0 1224 45 0 0 25 0 10 0 71702532 421773312 70661 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23515/statm: 102972 70661 2919 10 0 97117 0
[pid=23515/tid=23517] ppid=23514 vsize=411888 CPUtime=4.44
/proc/23515/task/23517/stat : 23517 (java) R 23514 23514 22717 34817 22717 4202560 14134 0 1 0 435 9 0 0 25 0 10 0 71702533 421773312 70661 1283457024 134512640 134550932 4294541488 18446744073709551615 4115897159 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23515/tid=23518] ppid=23514 vsize=411888 CPUtime=8.05
/proc/23515/task/23518/stat : 23518 (java) S 23514 23514 22717 34817 22717 4202560 84304 0 0 0 770 35 0 0 16 0 10 0 71702533 421773312 70661 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23519] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23519/stat : 23519 (java) S 23514 23514 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71702534 421773312 70661 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23520] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23520/stat : 23520 (java) S 23514 23514 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71702534 421773312 70661 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23521] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23521/stat : 23521 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71702535 421773312 70661 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23522] ppid=23514 vsize=411888 CPUtime=0.19
/proc/23515/task/23522/stat : 23522 (java) S 23514 23514 22717 34817 22717 4202560 551 0 0 0 19 0 0 0 15 0 10 0 71702535 421773312 70661 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23523] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23523/stat : 23523 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71702535 421773312 70661 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23524] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23524/stat : 23524 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71702535 421773312 70661 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23526] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23526/stat : 23526 (java) S 23514 23514 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71703649 421773312 70661 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 414456

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

[startup+12.8094 s]
/proc/loadavg: 1.12 1.02 0.70 2/49 23526
/proc/meminfo: memFree=499932/1048576 swapFree=0/0
[pid=23514] ppid=23513 vsize=2568 CPUtime=0
/proc/23514/stat : 23514 (gj-user-solver-) S 23513 23514 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71702532 2629632 269 1283457024 134512640 135304128 4293457984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23514/statm: 642 269 229 194 0 29 0
[pid=23515] ppid=23514 vsize=411888 CPUtime=12.79
/proc/23515/stat : 23515 (java) S 23514 23514 22717 34817 22717 4202496 99936 0 1 0 1234 45 0 0 25 0 10 0 71702532 421773312 70661 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23515/statm: 102972 70661 2919 10 0 97117 0
[pid=23515/tid=23517] ppid=23514 vsize=411888 CPUtime=4.54
/proc/23515/task/23517/stat : 23517 (java) R 23514 23514 22717 34817 22717 4202560 14134 0 1 0 445 9 0 0 25 0 10 0 71702533 421773312 70661 1283457024 134512640 134550932 4294541488 18446744073709551615 4115897180 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23515/tid=23518] ppid=23514 vsize=411888 CPUtime=8.05
/proc/23515/task/23518/stat : 23518 (java) R 23514 23514 22717 34817 22717 4202560 84304 0 0 0 770 35 0 0 15 0 10 0 71702533 421773312 70661 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=23515/tid=23519] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23519/stat : 23519 (java) S 23514 23514 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71702534 421773312 70661 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23520] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23520/stat : 23520 (java) S 23514 23514 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71702534 421773312 70661 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23521] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23521/stat : 23521 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71702535 421773312 70661 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23522] ppid=23514 vsize=411888 CPUtime=0.19
/proc/23515/task/23522/stat : 23522 (java) S 23514 23514 22717 34817 22717 4202560 551 0 0 0 19 0 0 0 15 0 10 0 71702535 421773312 70661 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23523] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23523/stat : 23523 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71702535 421773312 70661 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23524] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23524/stat : 23524 (java) R 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71702535 421773312 70661 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23515/tid=23526] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23526/stat : 23526 (java) S 23514 23514 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71703649 421773312 70661 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 414456

[startup+16.0104 s]
/proc/loadavg: 1.11 1.02 0.70 3/49 23526
/proc/meminfo: memFree=499932/1048576 swapFree=0/0
[pid=23514] ppid=23513 vsize=2568 CPUtime=0
/proc/23514/stat : 23514 (gj-user-solver-) S 23513 23514 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71702532 2629632 269 1283457024 134512640 135304128 4293457984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23514/statm: 642 269 229 194 0 29 0
[pid=23515] ppid=23514 vsize=411888 CPUtime=15.99
/proc/23515/stat : 23515 (java) S 23514 23514 22717 34817 22717 4202496 99942 0 1 0 1554 45 0 0 25 0 10 0 71702532 421773312 70667 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23515/statm: 102972 70667 2921 10 0 97117 0
[pid=23515/tid=23517] ppid=23514 vsize=411888 CPUtime=7.65
/proc/23515/task/23517/stat : 23517 (java) R 23514 23514 22717 34817 22717 4202560 14134 0 1 0 756 9 0 0 25 0 10 0 71702533 421773312 70667 1283457024 134512640 134550932 4294541488 18446744073709551615 4115459577 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23515/tid=23518] ppid=23514 vsize=411888 CPUtime=8.12
/proc/23515/task/23518/stat : 23518 (java) S 23514 23514 22717 34817 22717 4202560 84306 0 0 0 777 35 0 0 16 0 10 0 71702533 421773312 70667 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23519] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23519/stat : 23519 (java) S 23514 23514 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71702534 421773312 70667 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23520] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23520/stat : 23520 (java) S 23514 23514 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71702534 421773312 70667 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23521] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23521/stat : 23521 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71702535 421773312 70667 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23522] ppid=23514 vsize=411888 CPUtime=0.2
/proc/23515/task/23522/stat : 23522 (java) S 23514 23514 22717 34817 22717 4202560 555 0 0 0 20 0 0 0 15 0 10 0 71702535 421773312 70667 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23523] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23523/stat : 23523 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71702535 421773312 70667 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23524] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23524/stat : 23524 (java) R 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71702535 421773312 70667 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23515/tid=23526] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23526/stat : 23526 (java) S 23514 23514 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71703649 421773312 70667 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 414456

[startup+17.611 s]
/proc/loadavg: 1.11 1.02 0.70 2/49 23526
/proc/meminfo: memFree=499932/1048576 swapFree=0/0
[pid=23514] ppid=23513 vsize=2568 CPUtime=0
/proc/23514/stat : 23514 (gj-user-solver-) S 23513 23514 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71702532 2629632 269 1283457024 134512640 135304128 4293457984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23514/statm: 642 269 229 194 0 29 0
[pid=23515] ppid=23514 vsize=411888 CPUtime=17.58
/proc/23515/stat : 23515 (java) S 23514 23514 22717 34817 22717 4202496 99946 0 1 0 1712 46 0 0 25 0 10 0 71702532 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23515/statm: 102972 70671 2921 10 0 97117 0
[pid=23515/tid=23517] ppid=23514 vsize=411888 CPUtime=9.21
/proc/23515/task/23517/stat : 23517 (java) R 23514 23514 22717 34817 22717 4202560 14134 0 1 0 911 10 0 0 25 0 10 0 71702533 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4116047241 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23515/tid=23518] ppid=23514 vsize=411888 CPUtime=8.15
/proc/23515/task/23518/stat : 23518 (java) S 23514 23514 22717 34817 22717 4202560 84306 0 0 0 780 35 0 0 16 0 10 0 71702533 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23519] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23519/stat : 23519 (java) S 23514 23514 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71702534 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23520] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23520/stat : 23520 (java) S 23514 23514 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71702534 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23521] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23521/stat : 23521 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71702535 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23522] ppid=23514 vsize=411888 CPUtime=0.21
/proc/23515/task/23522/stat : 23522 (java) S 23514 23514 22717 34817 22717 4202560 559 0 0 0 21 0 0 0 15 0 10 0 71702535 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23523] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23523/stat : 23523 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71702535 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23524] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23524/stat : 23524 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71702535 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23526] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23526/stat : 23526 (java) S 23514 23514 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71703649 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.58
Current children cumulated vsize (KiB) 414456

[startup+18.4112 s]
/proc/loadavg: 1.11 1.02 0.70 2/49 23526
/proc/meminfo: memFree=499932/1048576 swapFree=0/0
[pid=23514] ppid=23513 vsize=2568 CPUtime=0
/proc/23514/stat : 23514 (gj-user-solver-) S 23513 23514 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71702532 2629632 269 1283457024 134512640 135304128 4293457984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23514/statm: 642 269 229 194 0 29 0
[pid=23515] ppid=23514 vsize=411888 CPUtime=18.38
/proc/23515/stat : 23515 (java) S 23514 23514 22717 34817 22717 4202496 99946 0 1 0 1792 46 0 0 25 0 10 0 71702532 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23515/statm: 102972 70671 2921 10 0 97117 0
[pid=23515/tid=23517] ppid=23514 vsize=411888 CPUtime=9.98
/proc/23515/task/23517/stat : 23517 (java) R 23514 23514 22717 34817 22717 4202560 14134 0 1 0 988 10 0 0 25 0 10 0 71702533 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4116047228 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23515/tid=23518] ppid=23514 vsize=411888 CPUtime=8.17
/proc/23515/task/23518/stat : 23518 (java) S 23514 23514 22717 34817 22717 4202560 84306 0 0 0 782 35 0 0 16 0 10 0 71702533 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23519] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23519/stat : 23519 (java) S 23514 23514 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71702534 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23520] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23520/stat : 23520 (java) S 23514 23514 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71702534 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23521] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23521/stat : 23521 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71702535 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23522] ppid=23514 vsize=411888 CPUtime=0.21
/proc/23515/task/23522/stat : 23522 (java) S 23514 23514 22717 34817 22717 4202560 559 0 0 0 21 0 0 0 15 0 10 0 71702535 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23523] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23523/stat : 23523 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71702535 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23524] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23524/stat : 23524 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71702535 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23526] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23526/stat : 23526 (java) S 23514 23514 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71703649 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.38
Current children cumulated vsize (KiB) 414456

[startup+18.8113 s]
/proc/loadavg: 1.11 1.02 0.70 2/49 23527
/proc/meminfo: memFree=499932/1048576 swapFree=0/0
[pid=23514] ppid=23513 vsize=2568 CPUtime=0
/proc/23514/stat : 23514 (gj-user-solver-) S 23513 23514 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71702532 2629632 269 1283457024 134512640 135304128 4293457984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23514/statm: 642 269 229 194 0 29 0
[pid=23515] ppid=23514 vsize=411888 CPUtime=18.78
/proc/23515/stat : 23515 (java) S 23514 23514 22717 34817 22717 4202496 99946 0 1 0 1832 46 0 0 25 0 10 0 71702532 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23515/statm: 102972 70671 2921 10 0 97117 0
[pid=23515/tid=23517] ppid=23514 vsize=411888 CPUtime=10.38
/proc/23515/task/23517/stat : 23517 (java) R 23514 23514 22717 34817 22717 4202560 14134 0 1 0 1028 10 0 0 25 0 10 0 71702533 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4115913559 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23515/tid=23518] ppid=23514 vsize=411888 CPUtime=8.17
/proc/23515/task/23518/stat : 23518 (java) S 23514 23514 22717 34817 22717 4202560 84306 0 0 0 782 35 0 0 16 0 10 0 71702533 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23519] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23519/stat : 23519 (java) S 23514 23514 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71702534 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23520] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23520/stat : 23520 (java) S 23514 23514 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71702534 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23521] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23521/stat : 23521 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71702535 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23522] ppid=23514 vsize=411888 CPUtime=0.21
/proc/23515/task/23522/stat : 23522 (java) S 23514 23514 22717 34817 22717 4202560 559 0 0 0 21 0 0 0 15 0 10 0 71702535 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23523] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23523/stat : 23523 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71702535 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23524] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23524/stat : 23524 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71702535 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23526] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23526/stat : 23526 (java) S 23514 23514 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71703649 421773312 70671 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.78
Current children cumulated vsize (KiB) 414456

[startup+19.2114 s]
/proc/loadavg: 1.11 1.02 0.70 2/49 23527
/proc/meminfo: memFree=499932/1048576 swapFree=0/0
[pid=23514] ppid=23513 vsize=2568 CPUtime=0
/proc/23514/stat : 23514 (gj-user-solver-) S 23513 23514 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71702532 2629632 269 1283457024 134512640 135304128 4293457984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23514/statm: 642 269 229 194 0 29 0
[pid=23515] ppid=23514 vsize=411888 CPUtime=19.18
/proc/23515/stat : 23515 (java) S 23514 23514 22717 34817 22717 4202496 99947 0 1 0 1872 46 0 0 25 0 10 0 71702532 421773312 70672 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23515/statm: 102972 70672 2921 10 0 97117 0
[pid=23515/tid=23517] ppid=23514 vsize=411888 CPUtime=10.77
/proc/23515/task/23517/stat : 23517 (java) R 23514 23514 22717 34817 22717 4202560 14134 0 1 0 1067 10 0 0 25 0 10 0 71702533 421773312 70672 1283457024 134512640 134550932 4294541488 18446744073709551615 4115904420 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23515/tid=23518] ppid=23514 vsize=411888 CPUtime=8.18
/proc/23515/task/23518/stat : 23518 (java) S 23514 23514 22717 34817 22717 4202560 84306 0 0 0 783 35 0 0 16 0 10 0 71702533 421773312 70672 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23519] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23519/stat : 23519 (java) S 23514 23514 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71702534 421773312 70672 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23520] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23520/stat : 23520 (java) S 23514 23514 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71702534 421773312 70672 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23521] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23521/stat : 23521 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71702535 421773312 70672 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23522] ppid=23514 vsize=411888 CPUtime=0.21
/proc/23515/task/23522/stat : 23522 (java) S 23514 23514 22717 34817 22717 4202560 560 0 0 0 21 0 0 0 15 0 10 0 71702535 421773312 70672 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23523] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23523/stat : 23523 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71702535 421773312 70672 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23524] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23524/stat : 23524 (java) S 23514 23514 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71702535 421773312 70672 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=23515/tid=23526] ppid=23514 vsize=411888 CPUtime=0
/proc/23515/task/23526/stat : 23526 (java) S 23514 23514 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71703649 421773312 70672 1283457024 134512640 134550932 4294541488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.18
Current children cumulated vsize (KiB) 414456

Child status: 0
Real time (s): 19.2764
CPU time (s): 19.2372
CPU user time (s): 18.7452
CPU system time (s): 0.49203
CPU usage (%): 99.7965
Max. virtual memory (cumulated for all children) (KiB): 442512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.7452
system time used= 0.49203
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100335
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= 1219
involuntary context switches= 1544

runsolver used 0 second user time and 0 second system time

The end