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/rand375.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand375.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/rand375.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.12 1.04 0.97 4/39 25755
/proc/meminfo: memFree=466296/1048576 swapFree=0/0
[pid=25754] ppid=25753 vsize=2564 CPUtime=0
/proc/25754/stat : 25754 (gj-user-solver-) S 25753 25754 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72024259 2625536 268 1283457024 134512640 135304128 4292226832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25754/statm: 641 268 229 194 0 28 0
[pid=25755] ppid=25754 vsize=10876 CPUtime=0.01
/proc/25755/stat : 25755 (java) R 25754 25754 22717 34817 22717 4202496 446 0 0 0 0 1 0 0 25 0 1 0 72024260 11137024 184 1283457024 134512640 134550932 4294131776 18446744073709551615 4160292462 0 0 0 0 0 0 0 17 0 0 0 0
/proc/25755/statm: 2719 184 145 10 0 50 0

[startup+0.164302 s]
/proc/loadavg: 1.12 1.04 0.97 4/39 25755
/proc/meminfo: memFree=466296/1048576 swapFree=0/0
[pid=25754] ppid=25753 vsize=2564 CPUtime=0
/proc/25754/stat : 25754 (gj-user-solver-) S 25753 25754 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72024259 2625536 268 1283457024 134512640 135304128 4292226832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25754/statm: 641 268 229 194 0 28 0
[pid=25755] ppid=25754 vsize=409924 CPUtime=0.16
/proc/25755/stat : 25755 (java) S 25754 25754 22717 34817 22717 4202496 3994 0 1 0 12 4 0 0 25 0 9 0 72024260 419762176 3421 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25755/statm: 102481 3421 1918 10 0 96629 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 412488

[startup+0.204316 s]
/proc/loadavg: 1.12 1.04 0.97 4/39 25755
/proc/meminfo: memFree=466296/1048576 swapFree=0/0
[pid=25754] ppid=25753 vsize=2564 CPUtime=0
/proc/25754/stat : 25754 (gj-user-solver-) S 25753 25754 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72024259 2625536 268 1283457024 134512640 135304128 4292226832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25754/statm: 641 268 229 194 0 28 0
[pid=25755] ppid=25754 vsize=409924 CPUtime=0.2
/proc/25755/stat : 25755 (java) S 25754 25754 22717 34817 22717 4202496 4081 0 1 0 16 4 0 0 25 0 9 0 72024260 419762176 3508 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25755/statm: 102481 3508 1918 10 0 96629 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412488

[startup+0.304347 s]
/proc/loadavg: 1.12 1.04 0.97 4/39 25755
/proc/meminfo: memFree=466296/1048576 swapFree=0/0
[pid=25754] ppid=25753 vsize=2564 CPUtime=0
/proc/25754/stat : 25754 (gj-user-solver-) S 25753 25754 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72024259 2625536 268 1283457024 134512640 135304128 4292226832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25754/statm: 641 268 229 194 0 28 0
[pid=25755] ppid=25754 vsize=410480 CPUtime=0.3
/proc/25755/stat : 25755 (java) S 25754 25754 22717 34817 22717 4202496 4454 0 1 0 26 4 0 0 25 0 9 0 72024260 420331520 3881 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25755/statm: 102620 3881 1945 10 0 96768 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 413044

[startup+0.704491 s]
/proc/loadavg: 1.12 1.04 0.97 4/39 25755
/proc/meminfo: memFree=466296/1048576 swapFree=0/0
[pid=25754] ppid=25753 vsize=2564 CPUtime=0
/proc/25754/stat : 25754 (gj-user-solver-) S 25753 25754 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72024259 2625536 268 1283457024 134512640 135304128 4292226832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25754/statm: 641 268 229 194 0 28 0
[pid=25755] ppid=25754 vsize=410616 CPUtime=0.71
/proc/25755/stat : 25755 (java) S 25754 25754 22717 34817 22717 4202496 12215 0 1 0 62 9 0 0 25 0 9 0 72024260 420470784 11455 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25755/statm: 102654 11455 2901 10 0 96802 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 413180

[startup+1.50476 s]
/proc/loadavg: 1.12 1.04 0.97 2/48 25764
/proc/meminfo: memFree=407872/1048576 swapFree=0/0
[pid=25754] ppid=25753 vsize=2564 CPUtime=0
/proc/25754/stat : 25754 (gj-user-solver-) S 25753 25754 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72024259 2625536 268 1283457024 134512640 135304128 4292226832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25754/statm: 641 268 229 194 0 28 0
[pid=25755] ppid=25754 vsize=410748 CPUtime=1.5
/proc/25755/stat : 25755 (java) S 25754 25754 22717 34817 22717 4202496 27421 0 1 0 140 10 0 0 25 0 9 0 72024260 420605952 26661 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25755/statm: 102687 26661 2901 10 0 96835 0
[pid=25755/tid=25757] ppid=25754 vsize=410748 CPUtime=0.84
/proc/25755/task/25757/stat : 25757 (java) R 25754 25754 22717 34817 22717 4202560 6712 0 1 0 78 6 0 0 25 0 9 0 72024260 420605952 26661 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25755/tid=25758] ppid=25754 vsize=410748 CPUtime=0.62
/proc/25755/task/25758/stat : 25758 (java) R 25754 25754 22717 34817 22717 4202560 19321 0 0 0 59 3 0 0 18 0 9 0 72024261 420605952 26661 1283457024 134512640 134550932 4294131776 18446744073709551615 4151500194 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=25755/tid=25759] ppid=25754 vsize=410748 CPUtime=0
/proc/25755/task/25759/stat : 25759 (java) S 25754 25754 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72024261 420605952 26661 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25760] ppid=25754 vsize=410748 CPUtime=0
/proc/25755/task/25760/stat : 25760 (java) S 25754 25754 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72024261 420605952 26661 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25761] ppid=25754 vsize=410748 CPUtime=0
/proc/25755/task/25761/stat : 25761 (java) S 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72024262 420605952 26661 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25762] ppid=25754 vsize=410748 CPUtime=0.02
/proc/25755/task/25762/stat : 25762 (java) S 25754 25754 22717 34817 22717 4202560 446 0 0 0 2 0 0 0 16 0 9 0 72024262 420605952 26661 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25763] ppid=25754 vsize=410748 CPUtime=0
/proc/25755/task/25763/stat : 25763 (java) S 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72024262 420605952 26661 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25764] ppid=25754 vsize=410748 CPUtime=0
/proc/25755/task/25764/stat : 25764 (java) S 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72024262 420605952 26661 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413312

[startup+3.11515 s]
/proc/loadavg: 1.12 1.04 0.97 2/48 25765
/proc/meminfo: memFree=336076/1048576 swapFree=0/0
[pid=25754] ppid=25753 vsize=2564 CPUtime=0
/proc/25754/stat : 25754 (gj-user-solver-) S 25753 25754 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72024259 2625536 268 1283457024 134512640 135304128 4292226832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25754/statm: 641 268 229 194 0 28 0
[pid=25755] ppid=25754 vsize=410880 CPUtime=3.11
/proc/25755/stat : 25755 (java) S 25754 25754 22717 34817 22717 4202496 51104 0 1 0 298 13 0 0 25 0 9 0 72024260 420741120 50344 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25755/statm: 102720 50344 2901 10 0 96868 0
[pid=25755/tid=25757] ppid=25754 vsize=410880 CPUtime=1.43
/proc/25755/task/25757/stat : 25757 (java) R 25754 25754 22717 34817 22717 4202560 13865 0 1 0 135 8 0 0 25 0 9 0 72024260 420741120 50344 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25755/tid=25758] ppid=25754 vsize=410880 CPUtime=1.63
/proc/25755/task/25758/stat : 25758 (java) R 25754 25754 22717 34817 22717 4202560 35848 0 0 0 159 4 0 0 16 0 9 0 72024261 420741120 50344 1283457024 134512640 134550932 4294131776 18446744073709551615 4151121848 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=25755/tid=25759] ppid=25754 vsize=410880 CPUtime=0
/proc/25755/task/25759/stat : 25759 (java) S 25754 25754 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72024261 420741120 50344 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25760] ppid=25754 vsize=410880 CPUtime=0
/proc/25755/task/25760/stat : 25760 (java) S 25754 25754 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72024261 420741120 50344 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25761] ppid=25754 vsize=410880 CPUtime=0
/proc/25755/task/25761/stat : 25761 (java) S 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72024262 420741120 50344 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25762] ppid=25754 vsize=410880 CPUtime=0.04
/proc/25755/task/25762/stat : 25762 (java) S 25754 25754 22717 34817 22717 4202560 449 0 0 0 4 0 0 0 15 0 9 0 72024262 420741120 50344 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25763] ppid=25754 vsize=410880 CPUtime=0
/proc/25755/task/25763/stat : 25763 (java) S 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72024262 420741120 50344 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25764] ppid=25754 vsize=410880 CPUtime=0
/proc/25755/task/25764/stat : 25764 (java) S 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72024262 420741120 50344 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 413444

[startup+6.30615 s]
/proc/loadavg: 1.19 1.05 0.98 3/48 25765
/proc/meminfo: memFree=199180/1048576 swapFree=0/0
[pid=25754] ppid=25753 vsize=2564 CPUtime=0
/proc/25754/stat : 25754 (gj-user-solver-) S 25753 25754 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72024259 2625536 268 1283457024 134512640 135304128 4292226832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25754/statm: 641 268 229 194 0 28 0
[pid=25755] ppid=25754 vsize=439920 CPUtime=6.3
/proc/25755/stat : 25755 (java) S 25754 25754 22717 34817 22717 4202496 78237 0 1 0 606 24 0 0 25 0 9 0 72024260 450478080 77471 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25755/statm: 109980 77471 2902 10 0 104128 0
[pid=25755/tid=25757] ppid=25754 vsize=439920 CPUtime=2.26
/proc/25755/task/25757/stat : 25757 (java) R 25754 25754 22717 34817 22717 4202560 13882 0 1 0 216 10 0 0 25 0 9 0 72024260 450478080 77471 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25755/tid=25758] ppid=25754 vsize=439920 CPUtime=3.94
/proc/25755/task/25758/stat : 25758 (java) R 25754 25754 22717 34817 22717 4202560 62946 0 0 0 382 12 0 0 16 0 9 0 72024261 450478080 77471 1283457024 134512640 134550932 4294131776 18446744073709551615 4152613403 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=25755/tid=25759] ppid=25754 vsize=439920 CPUtime=0
/proc/25755/task/25759/stat : 25759 (java) S 25754 25754 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72024261 450478080 77471 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25760] ppid=25754 vsize=439920 CPUtime=0
/proc/25755/task/25760/stat : 25760 (java) S 25754 25754 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72024261 450478080 77471 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25761] ppid=25754 vsize=439920 CPUtime=0
/proc/25755/task/25761/stat : 25761 (java) S 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72024262 450478080 77471 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25762] ppid=25754 vsize=439920 CPUtime=0.08
/proc/25755/task/25762/stat : 25762 (java) S 25754 25754 22717 34817 22717 4202560 467 0 0 0 8 0 0 0 15 0 9 0 72024262 450478080 77471 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25763] ppid=25754 vsize=439920 CPUtime=0
/proc/25755/task/25763/stat : 25763 (java) S 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72024262 450478080 77471 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25764] ppid=25754 vsize=439920 CPUtime=0
/proc/25755/task/25764/stat : 25764 (java) S 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72024262 450478080 77471 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 442484

[startup+12.708 s]
/proc/loadavg: 1.26 1.07 0.98 2/49 25767
/proc/meminfo: memFree=194088/1048576 swapFree=0/0
[pid=25754] ppid=25753 vsize=2564 CPUtime=0
/proc/25754/stat : 25754 (gj-user-solver-) S 25753 25754 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72024259 2625536 268 1283457024 134512640 135304128 4292226832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25754/statm: 641 268 229 194 0 28 0
[pid=25755] ppid=25754 vsize=411888 CPUtime=12.7
/proc/25755/stat : 25755 (java) S 25754 25754 22717 34817 22717 4202496 99932 0 1 0 1233 37 0 0 25 0 10 0 72024260 421773312 70657 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25755/statm: 102972 70657 2919 10 0 97117 0
[pid=25755/tid=25757] ppid=25754 vsize=411888 CPUtime=4.46
/proc/25755/task/25757/stat : 25757 (java) R 25754 25754 22717 34817 22717 4202560 14136 0 1 0 434 12 0 0 25 0 10 0 72024260 421773312 70657 1283457024 134512640 134550932 4294131776 18446744073709551615 4115708373 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25755/tid=25758] ppid=25754 vsize=411888 CPUtime=8.07
/proc/25755/task/25758/stat : 25758 (java) S 25754 25754 22717 34817 22717 4202560 84304 0 0 0 784 23 0 0 16 0 10 0 72024261 421773312 70657 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 0 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25759] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25759/stat : 25759 (java) S 25754 25754 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72024261 421773312 70657 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25760] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25760/stat : 25760 (java) S 25754 25754 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72024261 421773312 70657 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25761] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25761/stat : 25761 (java) S 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72024262 421773312 70657 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25762] ppid=25754 vsize=411888 CPUtime=0.15
/proc/25755/task/25762/stat : 25762 (java) S 25754 25754 22717 34817 22717 4202560 545 0 0 0 15 0 0 0 15 0 10 0 72024262 421773312 70657 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25763] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25763/stat : 25763 (java) S 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72024262 421773312 70657 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25764] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25764/stat : 25764 (java) S 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72024262 421773312 70657 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25766] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25766/stat : 25766 (java) S 25754 25754 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72025377 421773312 70657 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 414452

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

[startup+12.808 s]
/proc/loadavg: 1.26 1.07 0.98 2/49 25767
/proc/meminfo: memFree=194088/1048576 swapFree=0/0
[pid=25754] ppid=25753 vsize=2564 CPUtime=0
/proc/25754/stat : 25754 (gj-user-solver-) S 25753 25754 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72024259 2625536 268 1283457024 134512640 135304128 4292226832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25754/statm: 641 268 229 194 0 28 0
[pid=25755] ppid=25754 vsize=411888 CPUtime=12.8
/proc/25755/stat : 25755 (java) S 25754 25754 22717 34817 22717 4202496 99932 0 1 0 1243 37 0 0 25 0 10 0 72024260 421773312 70657 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25755/statm: 102972 70657 2919 10 0 97117 0
[pid=25755/tid=25757] ppid=25754 vsize=411888 CPUtime=4.56
/proc/25755/task/25757/stat : 25757 (java) R 25754 25754 22717 34817 22717 4202560 14136 0 1 0 444 12 0 0 25 0 10 0 72024260 421773312 70657 1283457024 134512640 134550932 4294131776 18446744073709551615 4115701466 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25755/tid=25758] ppid=25754 vsize=411888 CPUtime=8.07
/proc/25755/task/25758/stat : 25758 (java) S 25754 25754 22717 34817 22717 4202560 84304 0 0 0 784 23 0 0 16 0 10 0 72024261 421773312 70657 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 0 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25759] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25759/stat : 25759 (java) S 25754 25754 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72024261 421773312 70657 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25760] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25760/stat : 25760 (java) S 25754 25754 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72024261 421773312 70657 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25761] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25761/stat : 25761 (java) S 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72024262 421773312 70657 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25762] ppid=25754 vsize=411888 CPUtime=0.15
/proc/25755/task/25762/stat : 25762 (java) S 25754 25754 22717 34817 22717 4202560 545 0 0 0 15 0 0 0 15 0 10 0 72024262 421773312 70657 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25763] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25763/stat : 25763 (java) S 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72024262 421773312 70657 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25764] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25764/stat : 25764 (java) S 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72024262 421773312 70657 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25766] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25766/stat : 25766 (java) S 25754 25754 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72025377 421773312 70657 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.8
Current children cumulated vsize (KiB) 414452

[startup+16.0092 s]
/proc/loadavg: 1.24 1.07 0.98 2/49 25767
/proc/meminfo: memFree=194088/1048576 swapFree=0/0
[pid=25754] ppid=25753 vsize=2564 CPUtime=0
/proc/25754/stat : 25754 (gj-user-solver-) S 25753 25754 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72024259 2625536 268 1283457024 134512640 135304128 4292226832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25754/statm: 641 268 229 194 0 28 0
[pid=25755] ppid=25754 vsize=411888 CPUtime=16
/proc/25755/stat : 25755 (java) S 25754 25754 22717 34817 22717 4202496 99941 0 1 0 1563 37 0 0 25 0 10 0 72024260 421773312 70666 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25755/statm: 102972 70666 2921 10 0 97117 0
[pid=25755/tid=25757] ppid=25754 vsize=411888 CPUtime=7.69
/proc/25755/task/25757/stat : 25757 (java) R 25754 25754 22717 34817 22717 4202560 14136 0 1 0 757 12 0 0 25 0 10 0 72024260 421773312 70666 1283457024 134512640 134550932 4294131776 18446744073709551615 4115251116 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25755/tid=25758] ppid=25754 vsize=411888 CPUtime=8.1
/proc/25755/task/25758/stat : 25758 (java) S 25754 25754 22717 34817 22717 4202560 84306 0 0 0 787 23 0 0 16 0 10 0 72024261 421773312 70666 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 0 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25759] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25759/stat : 25759 (java) S 25754 25754 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72024261 421773312 70666 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25760] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25760/stat : 25760 (java) S 25754 25754 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72024261 421773312 70666 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25761] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25761/stat : 25761 (java) S 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72024262 421773312 70666 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25762] ppid=25754 vsize=411888 CPUtime=0.18
/proc/25755/task/25762/stat : 25762 (java) S 25754 25754 22717 34817 22717 4202560 552 0 0 0 18 0 0 0 15 0 10 0 72024262 421773312 70666 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25763] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25763/stat : 25763 (java) S 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72024262 421773312 70666 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25764] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25764/stat : 25764 (java) S 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72024262 421773312 70666 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25766] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25766/stat : 25766 (java) S 25754 25754 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72025377 421773312 70666 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16
Current children cumulated vsize (KiB) 414452

[startup+19.1104 s]
/proc/loadavg: 1.22 1.07 0.98 3/49 25767
/proc/meminfo: memFree=194088/1048576 swapFree=0/0
[pid=25754] ppid=25753 vsize=2564 CPUtime=0
/proc/25754/stat : 25754 (gj-user-solver-) S 25753 25754 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72024259 2625536 268 1283457024 134512640 135304128 4292226832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25754/statm: 641 268 229 194 0 28 0
[pid=25755] ppid=25754 vsize=411888 CPUtime=19.1
/proc/25755/stat : 25755 (java) S 25754 25754 22717 34817 22717 4202496 99946 0 1 0 1873 37 0 0 25 0 10 0 72024260 421773312 70671 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25755/statm: 102972 70671 2921 10 0 97117 0
[pid=25755/tid=25757] ppid=25754 vsize=411888 CPUtime=10.7
/proc/25755/task/25757/stat : 25757 (java) R 25754 25754 22717 34817 22717 4202560 14136 0 1 0 1058 12 0 0 25 0 10 0 72024260 421773312 70671 1283457024 134512640 134550932 4294131776 18446744073709551615 4115865349 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25755/tid=25758] ppid=25754 vsize=411888 CPUtime=8.19
/proc/25755/task/25758/stat : 25758 (java) S 25754 25754 22717 34817 22717 4202560 84306 0 0 0 796 23 0 0 16 0 10 0 72024261 421773312 70671 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 0 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25759] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25759/stat : 25759 (java) S 25754 25754 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72024261 421773312 70671 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25760] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25760/stat : 25760 (java) S 25754 25754 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72024261 421773312 70671 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25761] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25761/stat : 25761 (java) S 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72024262 421773312 70671 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25762] ppid=25754 vsize=411888 CPUtime=0.18
/proc/25755/task/25762/stat : 25762 (java) S 25754 25754 22717 34817 22717 4202560 557 0 0 0 18 0 0 0 15 0 10 0 72024262 421773312 70671 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25763] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25763/stat : 25763 (java) S 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72024262 421773312 70671 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25764] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25764/stat : 25764 (java) S 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72024262 421773312 70671 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25766] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25766/stat : 25766 (java) S 25754 25754 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72025377 421773312 70671 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.1
Current children cumulated vsize (KiB) 414452

[startup+19.9107 s]
/proc/loadavg: 1.22 1.07 0.98 2/49 25767
/proc/meminfo: memFree=194088/1048576 swapFree=0/0
[pid=25754] ppid=25753 vsize=2564 CPUtime=0
/proc/25754/stat : 25754 (gj-user-solver-) S 25753 25754 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72024259 2625536 268 1283457024 134512640 135304128 4292226832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25754/statm: 641 268 229 194 0 28 0
[pid=25755] ppid=25754 vsize=411888 CPUtime=19.9
/proc/25755/stat : 25755 (java) S 25754 25754 22717 34817 22717 4202496 99946 0 1 0 1953 37 0 0 25 0 10 0 72024260 421773312 70671 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25755/statm: 102972 70671 2921 10 0 97117 0
[pid=25755/tid=25757] ppid=25754 vsize=411888 CPUtime=11.5
/proc/25755/task/25757/stat : 25757 (java) R 25754 25754 22717 34817 22717 4202560 14136 0 1 0 1138 12 0 0 25 0 10 0 72024260 421773312 70671 1283457024 134512640 134550932 4294131776 18446744073709551615 4115865336 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25755/tid=25758] ppid=25754 vsize=411888 CPUtime=8.19
/proc/25755/task/25758/stat : 25758 (java) S 25754 25754 22717 34817 22717 4202560 84306 0 0 0 796 23 0 0 16 0 10 0 72024261 421773312 70671 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 0 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25759] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25759/stat : 25759 (java) S 25754 25754 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72024261 421773312 70671 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25760] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25760/stat : 25760 (java) S 25754 25754 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72024261 421773312 70671 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25761] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25761/stat : 25761 (java) S 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72024262 421773312 70671 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25762] ppid=25754 vsize=411888 CPUtime=0.18
/proc/25755/task/25762/stat : 25762 (java) S 25754 25754 22717 34817 22717 4202560 557 0 0 0 18 0 0 0 15 0 10 0 72024262 421773312 70671 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25763] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25763/stat : 25763 (java) S 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72024262 421773312 70671 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25764] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25764/stat : 25764 (java) S 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72024262 421773312 70671 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25766] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25766/stat : 25766 (java) S 25754 25754 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72025377 421773312 70671 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.9
Current children cumulated vsize (KiB) 414452

[startup+20.711 s]
/proc/loadavg: 1.22 1.07 0.98 2/49 25767
/proc/meminfo: memFree=194088/1048576 swapFree=0/0
[pid=25754] ppid=25753 vsize=2564 CPUtime=0
/proc/25754/stat : 25754 (gj-user-solver-) S 25753 25754 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72024259 2625536 268 1283457024 134512640 135304128 4292226832 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25754/statm: 641 268 229 194 0 28 0
[pid=25755] ppid=25754 vsize=411888 CPUtime=20.7
/proc/25755/stat : 25755 (java) S 25754 25754 22717 34817 22717 4202496 99947 0 1 0 2033 37 0 0 25 0 10 0 72024260 421773312 70672 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25755/statm: 102972 70672 2921 10 0 97117 0
[pid=25755/tid=25757] ppid=25754 vsize=411888 CPUtime=12.28
/proc/25755/task/25757/stat : 25757 (java) R 25754 25754 22717 34817 22717 4202560 14136 0 1 0 1216 12 0 0 25 0 10 0 72024260 421773312 70672 1283457024 134512640 134550932 4294131776 18446744073709551615 4115865353 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25755/tid=25758] ppid=25754 vsize=411888 CPUtime=8.21
/proc/25755/task/25758/stat : 25758 (java) S 25754 25754 22717 34817 22717 4202560 84306 0 0 0 798 23 0 0 16 0 10 0 72024261 421773312 70672 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 0 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25759] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25759/stat : 25759 (java) S 25754 25754 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72024261 421773312 70672 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25760] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25760/stat : 25760 (java) S 25754 25754 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72024261 421773312 70672 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25761] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25761/stat : 25761 (java) S 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72024262 421773312 70672 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25762] ppid=25754 vsize=411888 CPUtime=0.18
/proc/25755/task/25762/stat : 25762 (java) S 25754 25754 22717 34817 22717 4202560 558 0 0 0 18 0 0 0 15 0 10 0 72024262 421773312 70672 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25763] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25763/stat : 25763 (java) S 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72024262 421773312 70672 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=25755/tid=25764] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25764/stat : 25764 (java) R 25754 25754 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72024262 421773312 70672 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25755/tid=25766] ppid=25754 vsize=411888 CPUtime=0
/proc/25755/task/25766/stat : 25766 (java) S 25754 25754 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72025377 421773312 70672 1283457024 134512640 134550932 4294131776 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.7
Current children cumulated vsize (KiB) 414452

[startup+20.907 s]
/proc/loadavg: 1.22 1.07 0.98 2/49 25767
/proc/meminfo: memFree=194088/1048576 swapFree=0/0
[pid=25754] ppid=25753 vsize=2564 CPUtime=0
/proc/25754/stat : 25754 (gj-user-solver-) R 25753 25754 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72024259 2625536 268 1283457024 134512640 135304128 4292226832 18446744073709551615 4294960130 0 65536 4 65538 0 0 0 17 0 0 0 0
/proc/25754/statm: 641 268 229 194 0 28 0
[pid=25755] ppid=25754 vsize=0 CPUtime=20.84
/proc/25755/stat : 25755 (java) Z 25754 25754 22717 34817 22717 4202508 99953 0 1 0 2046 38 0 0 18 0 1 0 72024260 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744071564254338 0 0 17 0 0 0 0
/proc/25755/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 20.84
Current children cumulated vsize (KiB) 2564

Child status: 0
Real time (s): 20.9075
CPU time (s): 20.8533
CPU user time (s): 20.4653
CPU system time (s): 0.388024
CPU usage (%): 99.7407
Max. virtual memory (cumulated for all children) (KiB): 442508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.4653
system time used= 0.388024
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= 1258
involuntary context switches= 1641

runsolver used 0 second user time and 0 second system time

The end