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/56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.dudf-real.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: 0.85 0.98 0.99 4/35 30675
/proc/meminfo: memFree=488824/1048576 swapFree=0/0
[pid=30674] ppid=30673 vsize=2568 CPUtime=0
/proc/30674/stat : 30674 (gj-user-solver-) S 30673 30674 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72793904 2629632 270 1283457024 134512640 135304128 4292294384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30674/statm: 642 270 229 194 0 29 0
[pid=30675] ppid=30674 vsize=11044 CPUtime=0
/proc/30675/stat : 30675 (java) R 30674 30674 22717 34817 22717 4202496 604 0 0 0 0 0 0 0 25 0 1 0 72793904 11309056 341 1283457024 134512640 134550932 4293580688 18446744073709551615 4159723234 0 0 0 0 0 0 0 17 0 0 0 0
/proc/30675/statm: 2761 341 172 10 0 1103 0

[startup+0.135162 s]
/proc/loadavg: 0.85 0.98 0.99 4/35 30675
/proc/meminfo: memFree=488824/1048576 swapFree=0/0
[pid=30674] ppid=30673 vsize=2568 CPUtime=0
/proc/30674/stat : 30674 (gj-user-solver-) S 30673 30674 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72793904 2629632 270 1283457024 134512640 135304128 4292294384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30674/statm: 642 270 229 194 0 29 0
[pid=30675] ppid=30674 vsize=409920 CPUtime=0.13
/proc/30675/stat : 30675 (java) S 30674 30674 22717 34817 22717 4202496 3899 0 1 0 13 0 0 0 25 0 9 0 72793904 419758080 3328 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30675/statm: 102480 3328 1906 10 0 96628 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 412488

[startup+0.205155 s]
/proc/loadavg: 0.85 0.98 0.99 4/35 30675
/proc/meminfo: memFree=488824/1048576 swapFree=0/0
[pid=30674] ppid=30673 vsize=2568 CPUtime=0
/proc/30674/stat : 30674 (gj-user-solver-) S 30673 30674 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72793904 2629632 270 1283457024 134512640 135304128 4292294384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30674/statm: 642 270 229 194 0 29 0
[pid=30675] ppid=30674 vsize=409920 CPUtime=0.2
/proc/30675/stat : 30675 (java) S 30674 30674 22717 34817 22717 4202496 4049 0 1 0 20 0 0 0 25 0 9 0 72793904 419758080 3478 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30675/statm: 102480 3478 1906 10 0 96628 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412488

[startup+0.30516 s]
/proc/loadavg: 0.85 0.98 0.99 4/35 30675
/proc/meminfo: memFree=488824/1048576 swapFree=0/0
[pid=30674] ppid=30673 vsize=2568 CPUtime=0
/proc/30674/stat : 30674 (gj-user-solver-) S 30673 30674 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72793904 2629632 270 1283457024 134512640 135304128 4292294384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30674/statm: 642 270 229 194 0 29 0
[pid=30675] ppid=30674 vsize=410472 CPUtime=0.3
/proc/30675/stat : 30675 (java) S 30674 30674 22717 34817 22717 4202496 4410 0 1 0 30 0 0 0 25 0 9 0 72793904 420323328 3839 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30675/statm: 102618 3839 1934 10 0 96766 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 413040

[startup+0.705318 s]
/proc/loadavg: 0.85 0.98 0.99 4/35 30675
/proc/meminfo: memFree=488824/1048576 swapFree=0/0
[pid=30674] ppid=30673 vsize=2568 CPUtime=0
/proc/30674/stat : 30674 (gj-user-solver-) S 30673 30674 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72793904 2629632 270 1283457024 134512640 135304128 4292294384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30674/statm: 642 270 229 194 0 29 0
[pid=30675] ppid=30674 vsize=410616 CPUtime=0.7
/proc/30675/stat : 30675 (java) S 30674 30674 22717 34817 22717 4202496 11797 0 1 0 66 4 0 0 25 0 9 0 72793904 420470784 11041 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30675/statm: 102654 11041 2896 10 0 96802 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413184

[startup+1.50555 s]
/proc/loadavg: 0.85 0.98 0.99 3/44 30684
/proc/meminfo: memFree=430648/1048576 swapFree=0/0
[pid=30674] ppid=30673 vsize=2568 CPUtime=0
/proc/30674/stat : 30674 (gj-user-solver-) S 30673 30674 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72793904 2629632 270 1283457024 134512640 135304128 4292294384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30674/statm: 642 270 229 194 0 29 0
[pid=30675] ppid=30674 vsize=410748 CPUtime=1.5
/proc/30675/stat : 30675 (java) S 30674 30674 22717 34817 22717 4202496 25033 0 1 0 139 11 0 0 25 0 9 0 72793904 420605952 24277 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30675/statm: 102687 24277 2896 10 0 96835 0
[pid=30675/tid=30677] ppid=30674 vsize=410748 CPUtime=0.81
/proc/30675/task/30677/stat : 30677 (java) R 30674 30674 22717 34817 22717 4202560 6744 0 1 0 78 3 0 0 25 0 9 0 72793905 420605952 24277 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30675/tid=30678] ppid=30674 vsize=410748 CPUtime=0.63
/proc/30675/task/30678/stat : 30678 (java) R 30674 30674 22717 34817 22717 4202560 16902 0 0 0 58 5 0 0 18 0 9 0 72793906 420605952 24277 1283457024 134512640 134550932 4293580688 18446744073709551615 4152295588 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=30675/tid=30679] ppid=30674 vsize=410748 CPUtime=0
/proc/30675/task/30679/stat : 30679 (java) S 30674 30674 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72793906 420605952 24277 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30680] ppid=30674 vsize=410748 CPUtime=0
/proc/30675/task/30680/stat : 30680 (java) S 30674 30674 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72793906 420605952 24277 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30681] ppid=30674 vsize=410748 CPUtime=0
/proc/30675/task/30681/stat : 30681 (java) S 30674 30674 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72793907 420605952 24277 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30682] ppid=30674 vsize=410748 CPUtime=0.03
/proc/30675/task/30682/stat : 30682 (java) S 30674 30674 22717 34817 22717 4202560 446 0 0 0 2 1 0 0 16 0 9 0 72793907 420605952 24277 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30683] ppid=30674 vsize=410748 CPUtime=0
/proc/30675/task/30683/stat : 30683 (java) S 30674 30674 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72793907 420605952 24277 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30684] ppid=30674 vsize=410748 CPUtime=0
/proc/30675/task/30684/stat : 30684 (java) S 30674 30674 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 72793907 420605952 24277 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413316

[startup+3.10606 s]
/proc/loadavg: 0.86 0.98 0.99 2/44 30684
/proc/meminfo: memFree=358108/1048576 swapFree=0/0
[pid=30674] ppid=30673 vsize=2568 CPUtime=0
/proc/30674/stat : 30674 (gj-user-solver-) S 30673 30674 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72793904 2629632 270 1283457024 134512640 135304128 4292294384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30674/statm: 642 270 229 194 0 29 0
[pid=30675] ppid=30674 vsize=410880 CPUtime=3.09
/proc/30675/stat : 30675 (java) S 30674 30674 22717 34817 22717 4202496 46807 0 1 0 290 19 0 0 25 0 9 0 72793904 420741120 46051 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30675/statm: 102720 46051 2896 10 0 96868 0
[pid=30675/tid=30677] ppid=30674 vsize=410880 CPUtime=1.44
/proc/30675/task/30677/stat : 30677 (java) R 30674 30674 22717 34817 22717 4202560 12779 0 1 0 138 6 0 0 25 0 9 0 72793905 420741120 46051 1283457024 134512640 134550932 4293580688 18446744073709551615 4114800976 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30675/tid=30678] ppid=30674 vsize=410880 CPUtime=1.59
/proc/30675/task/30678/stat : 30678 (java) S 30674 30674 22717 34817 22717 4202560 32637 0 0 0 148 11 0 0 16 0 9 0 72793906 420741120 46051 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30679] ppid=30674 vsize=410880 CPUtime=0
/proc/30675/task/30679/stat : 30679 (java) S 30674 30674 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72793906 420741120 46051 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30680] ppid=30674 vsize=410880 CPUtime=0
/proc/30675/task/30680/stat : 30680 (java) S 30674 30674 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72793906 420741120 46051 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30681] ppid=30674 vsize=410880 CPUtime=0
/proc/30675/task/30681/stat : 30681 (java) S 30674 30674 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72793907 420741120 46051 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30682] ppid=30674 vsize=410880 CPUtime=0.03
/proc/30675/task/30682/stat : 30682 (java) S 30674 30674 22717 34817 22717 4202560 450 0 0 0 2 1 0 0 16 0 9 0 72793907 420741120 46051 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30683] ppid=30674 vsize=410880 CPUtime=0
/proc/30675/task/30683/stat : 30683 (java) S 30674 30674 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72793907 420741120 46051 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30684] ppid=30674 vsize=410880 CPUtime=0
/proc/30675/task/30684/stat : 30684 (java) S 30674 30674 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 72793907 420741120 46051 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 413448

[startup+6.3071 s]
/proc/loadavg: 0.86 0.98 0.99 3/44 30684
/proc/meminfo: memFree=218608/1048576 swapFree=0/0
[pid=30674] ppid=30673 vsize=2568 CPUtime=0
/proc/30674/stat : 30674 (gj-user-solver-) S 30673 30674 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72793904 2629632 270 1283457024 134512640 135304128 4292294384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30674/statm: 642 270 229 194 0 29 0
[pid=30675] ppid=30674 vsize=411348 CPUtime=6.29
/proc/30675/stat : 30675 (java) S 30674 30674 22717 34817 22717 4202496 71295 0 1 0 600 29 0 0 25 0 10 0 72793904 421220352 70448 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30675/statm: 102837 70448 2913 10 0 96982 0
[pid=30675/tid=30677] ppid=30674 vsize=411348 CPUtime=2.98
/proc/30675/task/30677/stat : 30677 (java) R 30674 30674 22717 34817 22717 4202560 15292 0 1 0 291 7 0 0 25 0 10 0 72793905 421220352 70448 1283457024 134512640 134550932 4293580688 18446744073709551615 4115190966 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30675/tid=30678] ppid=30674 vsize=411348 CPUtime=3.2
/proc/30675/task/30678/stat : 30678 (java) S 30674 30674 22717 34817 22717 4202560 54534 0 0 0 301 19 0 0 16 0 10 0 72793906 421220352 70448 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30679] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30679/stat : 30679 (java) S 30674 30674 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72793906 421220352 70448 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30680] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30680/stat : 30680 (java) S 30674 30674 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72793906 421220352 70448 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30681] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30681/stat : 30681 (java) S 30674 30674 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72793907 421220352 70448 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30682] ppid=30674 vsize=411348 CPUtime=0.09
/proc/30675/task/30682/stat : 30682 (java) S 30674 30674 22717 34817 22717 4202560 524 0 0 0 8 1 0 0 15 0 10 0 72793907 421220352 70448 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30683] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30683/stat : 30683 (java) S 30674 30674 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72793907 421220352 70448 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30684] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30684/stat : 30684 (java) S 30674 30674 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 72793907 421220352 70448 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 413916

[startup+12.7088 s]
/proc/loadavg: 0.96 1.00 0.99 3/45 30685
/proc/meminfo: memFree=218112/1048576 swapFree=0/0
[pid=30674] ppid=30673 vsize=2568 CPUtime=0
/proc/30674/stat : 30674 (gj-user-solver-) S 30673 30674 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72793904 2629632 270 1283457024 134512640 135304128 4292294384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30674/statm: 642 270 229 194 0 29 0
[pid=30675] ppid=30674 vsize=411348 CPUtime=12.69
/proc/30675/stat : 30675 (java) S 30674 30674 22717 34817 22717 4202496 71339 0 1 0 1240 29 0 0 25 0 10 0 72793904 421220352 70492 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30675/statm: 102837 70492 2916 10 0 96982 0
[pid=30675/tid=30677] ppid=30674 vsize=411348 CPUtime=9.29
/proc/30675/task/30677/stat : 30677 (java) R 30674 30674 22717 34817 22717 4202560 15299 0 1 0 922 7 0 0 25 0 10 0 72793905 421220352 70492 1283457024 134512640 134550932 4293580688 18446744073709551615 4115198012 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30675/tid=30678] ppid=30674 vsize=411348 CPUtime=3.24
/proc/30675/task/30678/stat : 30678 (java) S 30674 30674 22717 34817 22717 4202560 54536 0 0 0 305 19 0 0 15 0 10 0 72793906 421220352 70492 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30679] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30679/stat : 30679 (java) S 30674 30674 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72793906 421220352 70492 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30680] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30680/stat : 30680 (java) S 30674 30674 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72793906 421220352 70492 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30681] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30681/stat : 30681 (java) S 30674 30674 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72793907 421220352 70492 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30682] ppid=30674 vsize=411348 CPUtime=0.13
/proc/30675/task/30682/stat : 30682 (java) S 30674 30674 22717 34817 22717 4202560 559 0 0 0 12 1 0 0 15 0 10 0 72793907 421220352 70492 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30683] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30683/stat : 30683 (java) S 30674 30674 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72793907 421220352 70492 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30684] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30684/stat : 30684 (java) R 30674 30674 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 72793907 421220352 70492 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30675/tid=30685] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30685/stat : 30685 (java) S 30674 30674 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72794481 421220352 70492 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 413916

[startup+25.513 s]
/proc/loadavg: 0.97 1.00 0.99 2/45 30685
/proc/meminfo: memFree=218236/1048576 swapFree=0/0
[pid=30674] ppid=30673 vsize=2568 CPUtime=0
/proc/30674/stat : 30674 (gj-user-solver-) S 30673 30674 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72793904 2629632 270 1283457024 134512640 135304128 4292294384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30674/statm: 642 270 229 194 0 29 0
[pid=30675] ppid=30674 vsize=411348 CPUtime=25.47
/proc/30675/stat : 30675 (java) S 30674 30674 22717 34817 22717 4202496 71343 0 1 0 2517 30 0 0 25 0 10 0 72793904 421220352 70312 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30675/statm: 102837 70312 2916 10 0 96982 0
[pid=30675/tid=30677] ppid=30674 vsize=411348 CPUtime=21.55
/proc/30675/task/30677/stat : 30677 (java) R 30674 30674 22717 34817 22717 4202560 15299 0 1 0 2148 7 0 0 25 0 10 0 72793905 421220352 70312 1283457024 134512640 134550932 4293580688 18446744073709551615 4115341196 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30675/tid=30678] ppid=30674 vsize=411348 CPUtime=3.77
/proc/30675/task/30678/stat : 30678 (java) S 30674 30674 22717 34817 22717 4202560 54536 0 0 0 357 20 0 0 15 0 10 0 72793906 421220352 70312 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30679] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30679/stat : 30679 (java) S 30674 30674 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72793906 421220352 70312 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30680] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30680/stat : 30680 (java) S 30674 30674 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72793906 421220352 70312 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30681] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30681/stat : 30681 (java) S 30674 30674 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72793907 421220352 70312 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30682] ppid=30674 vsize=411348 CPUtime=0.13
/proc/30675/task/30682/stat : 30682 (java) S 30674 30674 22717 34817 22717 4202560 563 0 0 0 12 1 0 0 15 0 10 0 72793907 421220352 70312 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30683] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30683/stat : 30683 (java) S 30674 30674 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72793907 421220352 70312 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30684] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30684/stat : 30684 (java) S 30674 30674 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 72793907 421220352 70312 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30685] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30685/stat : 30685 (java) S 30674 30674 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72794481 421220352 70312 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 413916

[startup+51.1087 s]
/proc/loadavg: 0.98 1.00 0.99 2/44 30685
/proc/meminfo: memFree=218244/1048576 swapFree=0/0
[pid=30674] ppid=30673 vsize=2568 CPUtime=0
/proc/30674/stat : 30674 (gj-user-solver-) S 30673 30674 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72793904 2629632 270 1283457024 134512640 135304128 4292294384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30674/statm: 642 270 229 194 0 29 0
[pid=30675] ppid=30674 vsize=411348 CPUtime=51.05
/proc/30675/stat : 30675 (java) S 30674 30674 22717 34817 22717 4202496 71344 0 1 0 5075 30 0 0 25 0 10 0 72793904 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30675/statm: 102837 70313 2916 10 0 96982 0
[pid=30675/tid=30677] ppid=30674 vsize=411348 CPUtime=46.6
/proc/30675/task/30677/stat : 30677 (java) R 30674 30674 22717 34817 22717 4202560 15299 0 1 0 4653 7 0 0 25 0 10 0 72793905 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4115190996 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30675/tid=30678] ppid=30674 vsize=411348 CPUtime=4.29
/proc/30675/task/30678/stat : 30678 (java) S 30674 30674 22717 34817 22717 4202560 54536 0 0 0 409 20 0 0 15 0 10 0 72793906 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30679] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30679/stat : 30679 (java) S 30674 30674 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72793906 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30680] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30680/stat : 30680 (java) S 30674 30674 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72793906 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30681] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30681/stat : 30681 (java) S 30674 30674 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30682] ppid=30674 vsize=411348 CPUtime=0.13
/proc/30675/task/30682/stat : 30682 (java) S 30674 30674 22717 34817 22717 4202560 564 0 0 0 12 1 0 0 15 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30683] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30683/stat : 30683 (java) S 30674 30674 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30684] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30684/stat : 30684 (java) S 30674 30674 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30685] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30685/stat : 30685 (java) S 30674 30674 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72794481 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 413916

[startup+102.313 s]
/proc/loadavg: 0.99 1.00 0.99 2/44 30685
/proc/meminfo: memFree=218244/1048576 swapFree=0/0
[pid=30674] ppid=30673 vsize=2568 CPUtime=0
/proc/30674/stat : 30674 (gj-user-solver-) S 30673 30674 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72793904 2629632 270 1283457024 134512640 135304128 4292294384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30674/statm: 642 270 229 194 0 29 0
[pid=30675] ppid=30674 vsize=411348 CPUtime=102.21
/proc/30675/stat : 30675 (java) S 30674 30674 22717 34817 22717 4202496 71344 0 1 0 10190 31 0 0 25 0 10 0 72793904 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30675/statm: 102837 70313 2916 10 0 96982 0
[pid=30675/tid=30677] ppid=30674 vsize=411348 CPUtime=96.95
/proc/30675/task/30677/stat : 30677 (java) R 30674 30674 22717 34817 22717 4202560 15299 0 1 0 9687 8 0 0 25 0 10 0 72793905 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4115353349 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30675/tid=30678] ppid=30674 vsize=411348 CPUtime=5.1
/proc/30675/task/30678/stat : 30678 (java) S 30674 30674 22717 34817 22717 4202560 54536 0 0 0 490 20 0 0 15 0 10 0 72793906 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30679] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30679/stat : 30679 (java) S 30674 30674 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72793906 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30680] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30680/stat : 30680 (java) S 30674 30674 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72793906 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30681] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30681/stat : 30681 (java) S 30674 30674 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30682] ppid=30674 vsize=411348 CPUtime=0.13
/proc/30675/task/30682/stat : 30682 (java) S 30674 30674 22717 34817 22717 4202560 564 0 0 0 12 1 0 0 15 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30683] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30683/stat : 30683 (java) S 30674 30674 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30684] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30684/stat : 30684 (java) S 30674 30674 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30685] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30685/stat : 30685 (java) S 30674 30674 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72794481 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 413916

[startup+162.309 s]
/proc/loadavg: 0.99 1.00 0.99 3/44 30685
/proc/meminfo: memFree=218244/1048576 swapFree=0/0
[pid=30674] ppid=30673 vsize=2568 CPUtime=0
/proc/30674/stat : 30674 (gj-user-solver-) S 30673 30674 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72793904 2629632 270 1283457024 134512640 135304128 4292294384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30674/statm: 642 270 229 194 0 29 0
[pid=30675] ppid=30674 vsize=411348 CPUtime=162.11
/proc/30675/stat : 30675 (java) S 30674 30674 22717 34817 22717 4202496 71344 0 1 0 16179 32 0 0 25 0 10 0 72793904 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30675/statm: 102837 70313 2916 10 0 96982 0
[pid=30675/tid=30677] ppid=30674 vsize=411348 CPUtime=156.23
/proc/30675/task/30677/stat : 30677 (java) R 30674 30674 22717 34817 22717 4202560 15299 0 1 0 15613 10 0 0 25 0 10 0 72793905 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4115353349 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30675/tid=30678] ppid=30674 vsize=411348 CPUtime=5.73
/proc/30675/task/30678/stat : 30678 (java) S 30674 30674 22717 34817 22717 4202560 54536 0 0 0 553 20 0 0 15 0 10 0 72793906 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30679] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30679/stat : 30679 (java) S 30674 30674 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72793906 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30680] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30680/stat : 30680 (java) S 30674 30674 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72793906 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30681] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30681/stat : 30681 (java) S 30674 30674 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30682] ppid=30674 vsize=411348 CPUtime=0.13
/proc/30675/task/30682/stat : 30682 (java) S 30674 30674 22717 34817 22717 4202560 564 0 0 0 12 1 0 0 15 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30683] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30683/stat : 30683 (java) S 30674 30674 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30684] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30684/stat : 30684 (java) R 30674 30674 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30675/tid=30685] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30685/stat : 30685 (java) S 30674 30674 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72794481 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 413916

[startup+222.305 s]
/proc/loadavg: 1.03 1.01 1.00 2/44 30685
/proc/meminfo: memFree=218244/1048576 swapFree=0/0
[pid=30674] ppid=30673 vsize=2568 CPUtime=0
/proc/30674/stat : 30674 (gj-user-solver-) S 30673 30674 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72793904 2629632 270 1283457024 134512640 135304128 4292294384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30674/statm: 642 270 229 194 0 29 0
[pid=30675] ppid=30674 vsize=411348 CPUtime=222.06
/proc/30675/stat : 30675 (java) S 30674 30674 22717 34817 22717 4202496 71344 0 1 0 22174 32 0 0 25 0 10 0 72793904 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30675/statm: 102837 70313 2916 10 0 96982 0
[pid=30675/tid=30677] ppid=30674 vsize=411348 CPUtime=215.58
/proc/30675/task/30677/stat : 30677 (java) R 30674 30674 22717 34817 22717 4202560 15299 0 1 0 21548 10 0 0 25 0 10 0 72793905 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4115325237 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30675/tid=30678] ppid=30674 vsize=411348 CPUtime=6.33
/proc/30675/task/30678/stat : 30678 (java) S 30674 30674 22717 34817 22717 4202560 54536 0 0 0 613 20 0 0 15 0 10 0 72793906 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30679] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30679/stat : 30679 (java) S 30674 30674 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72793906 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30680] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30680/stat : 30680 (java) S 30674 30674 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72793906 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30681] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30681/stat : 30681 (java) S 30674 30674 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30682] ppid=30674 vsize=411348 CPUtime=0.13
/proc/30675/task/30682/stat : 30682 (java) S 30674 30674 22717 34817 22717 4202560 564 0 0 0 12 1 0 0 15 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30683] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30683/stat : 30683 (java) S 30674 30674 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30684] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30684/stat : 30684 (java) S 30674 30674 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30685] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30685/stat : 30685 (java) S 30674 30674 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72794481 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.06
Current children cumulated vsize (KiB) 413916

[startup+282.311 s]
/proc/loadavg: 1.01 1.01 1.00 2/45 30688
/proc/meminfo: memFree=215704/1048576 swapFree=0/0
[pid=30674] ppid=30673 vsize=2568 CPUtime=0
/proc/30674/stat : 30674 (gj-user-solver-) S 30673 30674 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72793904 2629632 270 1283457024 134512640 135304128 4292294384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30674/statm: 642 270 229 194 0 29 0
[pid=30675] ppid=30674 vsize=411348 CPUtime=281.94
/proc/30675/stat : 30675 (java) S 30674 30674 22717 34817 22717 4202496 71344 0 1 0 28160 34 0 0 25 0 10 0 72793904 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30675/statm: 102837 70313 2916 10 0 96982 0
[pid=30675/tid=30677] ppid=30674 vsize=411348 CPUtime=274.77
/proc/30675/task/30677/stat : 30677 (java) R 30674 30674 22717 34817 22717 4202560 15299 0 1 0 27466 11 0 0 25 0 10 0 72793905 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4115340604 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30675/tid=30678] ppid=30674 vsize=411348 CPUtime=7.01
/proc/30675/task/30678/stat : 30678 (java) S 30674 30674 22717 34817 22717 4202560 54536 0 0 0 681 20 0 0 15 0 10 0 72793906 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30679] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30679/stat : 30679 (java) S 30674 30674 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72793906 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30680] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30680/stat : 30680 (java) S 30674 30674 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72793906 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30681] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30681/stat : 30681 (java) S 30674 30674 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30682] ppid=30674 vsize=411348 CPUtime=0.13
/proc/30675/task/30682/stat : 30682 (java) S 30674 30674 22717 34817 22717 4202560 564 0 0 0 12 1 0 0 15 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30683] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30683/stat : 30683 (java) S 30674 30674 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30684] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30684/stat : 30684 (java) S 30674 30674 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30685] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30685/stat : 30685 (java) S 30674 30674 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72794481 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 281.94
Current children cumulated vsize (KiB) 413916

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

[startup+283.211 s]
/proc/loadavg: 1.01 1.01 1.00 2/45 30688
/proc/meminfo: memFree=215704/1048576 swapFree=0/0
[pid=30674] ppid=30673 vsize=2568 CPUtime=0
/proc/30674/stat : 30674 (gj-user-solver-) S 30673 30674 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72793904 2629632 270 1283457024 134512640 135304128 4292294384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30674/statm: 642 270 229 194 0 29 0
[pid=30675] ppid=30674 vsize=411348 CPUtime=282.84
/proc/30675/stat : 30675 (java) S 30674 30674 22717 34817 22717 4202496 71344 0 1 0 28250 34 0 0 25 0 10 0 72793904 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30675/statm: 102837 70313 2916 10 0 96982 0
[pid=30675/tid=30677] ppid=30674 vsize=411348 CPUtime=275.67
/proc/30675/task/30677/stat : 30677 (java) R 30674 30674 22717 34817 22717 4202560 15299 0 1 0 27556 11 0 0 25 0 10 0 72793905 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4115353336 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30675/tid=30678] ppid=30674 vsize=411348 CPUtime=7.01
/proc/30675/task/30678/stat : 30678 (java) S 30674 30674 22717 34817 22717 4202560 54536 0 0 0 681 20 0 0 15 0 10 0 72793906 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30679] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30679/stat : 30679 (java) S 30674 30674 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72793906 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30680] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30680/stat : 30680 (java) S 30674 30674 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72793906 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30681] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30681/stat : 30681 (java) S 30674 30674 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30682] ppid=30674 vsize=411348 CPUtime=0.13
/proc/30675/task/30682/stat : 30682 (java) S 30674 30674 22717 34817 22717 4202560 564 0 0 0 12 1 0 0 15 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30683] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30683/stat : 30683 (java) S 30674 30674 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30684] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30684/stat : 30684 (java) S 30674 30674 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30685] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30685/stat : 30685 (java) S 30674 30674 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72794481 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.84
Current children cumulated vsize (KiB) 413916

[startup+284.004 s]
/proc/loadavg: 1.01 1.01 1.00 2/45 30688
/proc/meminfo: memFree=215704/1048576 swapFree=0/0
[pid=30674] ppid=30673 vsize=2568 CPUtime=0
/proc/30674/stat : 30674 (gj-user-solver-) S 30673 30674 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72793904 2629632 270 1283457024 134512640 135304128 4292294384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30674/statm: 642 270 229 194 0 29 0
[pid=30675] ppid=30674 vsize=411348 CPUtime=283.63
/proc/30675/stat : 30675 (java) S 30674 30674 22717 34817 22717 4202496 71344 0 1 0 28329 34 0 0 25 0 10 0 72793904 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30675/statm: 102837 70313 2916 10 0 96982 0
[pid=30675/tid=30677] ppid=30674 vsize=411348 CPUtime=276.47
/proc/30675/task/30677/stat : 30677 (java) R 30674 30674 22717 34817 22717 4202560 15299 0 1 0 27636 11 0 0 25 0 10 0 72793905 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4115340617 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30675/tid=30678] ppid=30674 vsize=411348 CPUtime=7.01
/proc/30675/task/30678/stat : 30678 (java) S 30674 30674 22717 34817 22717 4202560 54536 0 0 0 681 20 0 0 15 0 10 0 72793906 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30679] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30679/stat : 30679 (java) S 30674 30674 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72793906 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30680] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30680/stat : 30680 (java) S 30674 30674 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72793906 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30681] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30681/stat : 30681 (java) S 30674 30674 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30682] ppid=30674 vsize=411348 CPUtime=0.13
/proc/30675/task/30682/stat : 30682 (java) S 30674 30674 22717 34817 22717 4202560 564 0 0 0 12 1 0 0 15 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30683] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30683/stat : 30683 (java) S 30674 30674 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30684] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30684/stat : 30684 (java) S 30674 30674 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30685] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30685/stat : 30685 (java) S 30674 30674 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72794481 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.63
Current children cumulated vsize (KiB) 413916

[startup+284.804 s]
/proc/loadavg: 1.01 1.01 1.00 2/45 30688
/proc/meminfo: memFree=215704/1048576 swapFree=0/0
[pid=30674] ppid=30673 vsize=2568 CPUtime=0
/proc/30674/stat : 30674 (gj-user-solver-) S 30673 30674 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72793904 2629632 270 1283457024 134512640 135304128 4292294384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30674/statm: 642 270 229 194 0 29 0
[pid=30675] ppid=30674 vsize=411348 CPUtime=284.44
/proc/30675/stat : 30675 (java) S 30674 30674 22717 34817 22717 4202496 71344 0 1 0 28410 34 0 0 25 0 10 0 72793904 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30675/statm: 102837 70313 2916 10 0 96982 0
[pid=30675/tid=30677] ppid=30674 vsize=411348 CPUtime=277.27
/proc/30675/task/30677/stat : 30677 (java) R 30674 30674 22717 34817 22717 4202560 15299 0 1 0 27716 11 0 0 25 0 10 0 72793905 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4115325237 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30675/tid=30678] ppid=30674 vsize=411348 CPUtime=7.01
/proc/30675/task/30678/stat : 30678 (java) S 30674 30674 22717 34817 22717 4202560 54536 0 0 0 681 20 0 0 15 0 10 0 72793906 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30679] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30679/stat : 30679 (java) S 30674 30674 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72793906 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30680] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30680/stat : 30680 (java) S 30674 30674 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72793906 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30681] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30681/stat : 30681 (java) S 30674 30674 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30682] ppid=30674 vsize=411348 CPUtime=0.13
/proc/30675/task/30682/stat : 30682 (java) S 30674 30674 22717 34817 22717 4202560 564 0 0 0 12 1 0 0 15 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30683] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30683/stat : 30683 (java) S 30674 30674 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30684] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30684/stat : 30684 (java) S 30674 30674 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 72793907 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=30675/tid=30685] ppid=30674 vsize=411348 CPUtime=0
/proc/30675/task/30685/stat : 30685 (java) S 30674 30674 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72794481 421220352 70313 1283457024 134512640 134550932 4293580688 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.44
Current children cumulated vsize (KiB) 413916

[startup+285.209 s]
/proc/loadavg: 1.01 1.01 1.00 2/45 30688
/proc/meminfo: memFree=215704/1048576 swapFree=0/0
[pid=30674] ppid=30673 vsize=2568 CPUtime=0
/proc/30674/stat : 30674 (gj-user-solver-) S 30673 30674 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72793904 2629632 270 1283457024 134512640 135304128 4292294384 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30674/statm: 642 270 229 194 0 29 0
[pid=30675] ppid=30674 vsize=0 CPUtime=284.78
/proc/30675/stat : 30675 (java) Z 30674 30674 22717 34817 22717 4202508 71349 0 1 0 28444 34 0 0 18 0 2 0 72793904 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30675/statm: 0 0 0 0 0 0 0
[pid=30675/tid=30683] ppid=30674 vsize=0 CPUtime=0
/proc/30675/task/30683/stat : 30683 (java) R 30674 30674 22717 34817 22717 4203588 1 0 0 0 0 0 0 0 18 0 2 0 72793907 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.78
Current children cumulated vsize (KiB) 2568

Child status: 0
Real time (s): 285.217
CPU time (s): 284.786
CPU user time (s): 284.442
CPU system time (s): 0.344021
CPU usage (%): 99.8487
Max. virtual memory (cumulated for all children) (KiB): 413916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.442
system time used= 0.344021
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71734
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= 6077
involuntary context switches= 9018

runsolver used 0 second user time and 0.012 second system time

The end