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/201108291842/gj-user-solver-1.0/d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//d0cc7514-c730-11df-a040-00163e3d3b7c.cudf /home/misc2010/tmp/201108291842/gj-user-solver-1.0/d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.dudf-real.result -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.26 1.20 1.13 4/34 29790
/proc/meminfo: memFree=758212/1048576 swapFree=0/0
[pid=29789] ppid=29788 vsize=2568 CPUtime=0
/proc/29789/stat : 29789 (gj-user-solver-) S 29788 29789 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46603806 2629632 269 1283457024 134512640 135304128 4293599344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29789/statm: 642 269 229 194 0 29 0
[pid=29790] ppid=29789 vsize=11048 CPUtime=0
/proc/29790/stat : 29790 (java) R 29789 29789 17511 34816 17511 4202496 699 0 0 0 0 0 0 0 25 0 1 0 46603806 11313152 435 1283457024 134512640 134550932 4290028656 18446744073709551615 4160300770 0 0 0 0 0 0 0 17 0 0 0 0
/proc/29790/statm: 2762 435 180 10 0 1104 0

[startup+0.215457 s]
/proc/loadavg: 1.26 1.20 1.13 4/34 29790
/proc/meminfo: memFree=758212/1048576 swapFree=0/0
[pid=29789] ppid=29788 vsize=2568 CPUtime=0
/proc/29789/stat : 29789 (gj-user-solver-) S 29788 29789 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46603806 2629632 269 1283457024 134512640 135304128 4293599344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29789/statm: 642 269 229 194 0 29 0
[pid=29790] ppid=29789 vsize=409924 CPUtime=0.21
/proc/29790/stat : 29790 (java) S 29789 29789 17511 34816 17511 4202496 4114 0 1 0 19 2 0 0 25 0 9 0 46603806 419762176 3541 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29790/statm: 102481 3541 1925 10 0 96629 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412492

[startup+0.30548 s]
/proc/loadavg: 1.26 1.20 1.13 4/34 29790
/proc/meminfo: memFree=758212/1048576 swapFree=0/0
[pid=29789] ppid=29788 vsize=2568 CPUtime=0
/proc/29789/stat : 29789 (gj-user-solver-) S 29788 29789 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46603806 2629632 269 1283457024 134512640 135304128 4293599344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29789/statm: 642 269 229 194 0 29 0
[pid=29790] ppid=29789 vsize=410344 CPUtime=0.3
/proc/29790/stat : 29790 (java) S 29789 29789 17511 34816 17511 4202496 4436 0 1 0 27 3 0 0 25 0 9 0 46603806 420192256 3863 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29790/statm: 102586 3863 1944 10 0 96734 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412912

[startup+0.405505 s]
/proc/loadavg: 1.26 1.20 1.13 4/34 29790
/proc/meminfo: memFree=758212/1048576 swapFree=0/0
[pid=29789] ppid=29788 vsize=2568 CPUtime=0
/proc/29789/stat : 29789 (gj-user-solver-) S 29788 29789 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46603806 2629632 269 1283457024 134512640 135304128 4293599344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29789/statm: 642 269 229 194 0 29 0
[pid=29790] ppid=29789 vsize=410480 CPUtime=0.4
/proc/29790/stat : 29790 (java) S 29789 29789 17511 34816 17511 4202496 6175 0 1 0 37 3 0 0 25 0 9 0 46603806 420331520 5601 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29790/statm: 102620 5601 1956 10 0 96768 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 413048

[startup+0.705594 s]
/proc/loadavg: 1.26 1.20 1.13 4/34 29790
/proc/meminfo: memFree=758212/1048576 swapFree=0/0
[pid=29789] ppid=29788 vsize=2568 CPUtime=0
/proc/29789/stat : 29789 (gj-user-solver-) S 29788 29789 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46603806 2629632 269 1283457024 134512640 135304128 4293599344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29789/statm: 642 269 229 194 0 29 0
[pid=29790] ppid=29789 vsize=410620 CPUtime=0.7
/proc/29790/stat : 29790 (java) S 29789 29789 17511 34816 17511 4202496 12400 0 1 0 62 8 0 0 25 0 9 0 46603806 420474880 11640 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29790/statm: 102655 11640 2900 10 0 96803 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413188

[startup+1.50581 s]
/proc/loadavg: 1.24 1.20 1.13 2/43 29799
/proc/meminfo: memFree=699600/1048576 swapFree=0/0
[pid=29789] ppid=29788 vsize=2568 CPUtime=0
/proc/29789/stat : 29789 (gj-user-solver-) S 29788 29789 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46603806 2629632 269 1283457024 134512640 135304128 4293599344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29789/statm: 642 269 229 194 0 29 0
[pid=29790] ppid=29789 vsize=410752 CPUtime=1.5
/proc/29790/stat : 29790 (java) S 29789 29789 17511 34816 17511 4202496 26392 0 1 0 140 10 0 0 25 0 9 0 46603806 420610048 25632 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29790/statm: 102688 25632 2901 10 0 96836 0
[pid=29790/tid=29792] ppid=29789 vsize=410752 CPUtime=0.83
/proc/29790/task/29792/stat : 29792 (java) R 29789 29789 17511 34816 17511 4202560 6821 0 1 0 78 5 0 0 25 0 9 0 46603807 420610048 25632 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29790/tid=29793] ppid=29789 vsize=410752 CPUtime=0.61
/proc/29790/task/29793/stat : 29793 (java) R 29789 29789 17511 34816 17511 4202560 18184 0 0 0 57 4 0 0 18 0 9 0 46603808 420610048 25632 1283457024 134512640 134550932 4290028656 18446744073709551615 4153293696 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29790/tid=29794] ppid=29789 vsize=410752 CPUtime=0
/proc/29790/task/29794/stat : 29794 (java) S 29789 29789 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 46603808 420610048 25632 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29795] ppid=29789 vsize=410752 CPUtime=0
/proc/29790/task/29795/stat : 29795 (java) S 29789 29789 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 46603808 420610048 25632 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29796] ppid=29789 vsize=410752 CPUtime=0
/proc/29790/task/29796/stat : 29796 (java) S 29789 29789 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46603809 420610048 25632 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29797] ppid=29789 vsize=410752 CPUtime=0.04
/proc/29790/task/29797/stat : 29797 (java) S 29789 29789 17511 34816 17511 4202560 447 0 0 0 4 0 0 0 18 0 9 0 46603809 420610048 25632 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29798] ppid=29789 vsize=410752 CPUtime=0
/proc/29790/task/29798/stat : 29798 (java) S 29789 29789 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46603809 420610048 25632 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29799] ppid=29789 vsize=410752 CPUtime=0
/proc/29790/task/29799/stat : 29799 (java) S 29789 29789 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 46603809 420610048 25632 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413320

[startup+3.10608 s]
/proc/loadavg: 1.24 1.20 1.13 3/43 29799
/proc/meminfo: memFree=621480/1048576 swapFree=0/0
[pid=29789] ppid=29788 vsize=2568 CPUtime=0
/proc/29789/stat : 29789 (gj-user-solver-) S 29788 29789 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46603806 2629632 269 1283457024 134512640 135304128 4293599344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29789/statm: 642 269 229 194 0 29 0
[pid=29790] ppid=29789 vsize=410884 CPUtime=3.1
/proc/29790/stat : 29790 (java) S 29789 29789 17511 34816 17511 4202496 49027 0 1 0 290 20 0 0 25 0 9 0 46603806 420745216 48267 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29790/statm: 102721 48267 2901 10 0 96869 0
[pid=29790/tid=29792] ppid=29789 vsize=410884 CPUtime=1.5
/proc/29790/task/29792/stat : 29792 (java) R 29789 29789 17511 34816 17511 4202560 14290 0 1 0 140 10 0 0 25 0 9 0 46603807 420745216 48267 1283457024 134512640 134550932 4290028656 18446744073709551615 4115323724 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29790/tid=29793] ppid=29789 vsize=410884 CPUtime=1.53
/proc/29790/task/29793/stat : 29793 (java) S 29789 29789 17511 34816 17511 4202560 33347 0 0 0 144 9 0 0 16 0 9 0 46603808 420745216 48267 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 0 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29794] ppid=29789 vsize=410884 CPUtime=0
/proc/29790/task/29794/stat : 29794 (java) S 29789 29789 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 46603808 420745216 48267 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29795] ppid=29789 vsize=410884 CPUtime=0
/proc/29790/task/29795/stat : 29795 (java) S 29789 29789 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 46603808 420745216 48267 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29796] ppid=29789 vsize=410884 CPUtime=0
/proc/29790/task/29796/stat : 29796 (java) S 29789 29789 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46603809 420745216 48267 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29797] ppid=29789 vsize=410884 CPUtime=0.05
/proc/29790/task/29797/stat : 29797 (java) S 29789 29789 17511 34816 17511 4202560 450 0 0 0 5 0 0 0 15 0 9 0 46603809 420745216 48267 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29798] ppid=29789 vsize=410884 CPUtime=0
/proc/29790/task/29798/stat : 29798 (java) S 29789 29789 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46603809 420745216 48267 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29799] ppid=29789 vsize=410884 CPUtime=0
/proc/29790/task/29799/stat : 29799 (java) S 29789 29789 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 46603809 420745216 48267 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413452

[startup+6.3068 s]
/proc/loadavg: 1.24 1.20 1.13 2/43 29799
/proc/meminfo: memFree=488312/1048576 swapFree=0/0
[pid=29789] ppid=29788 vsize=2568 CPUtime=0
/proc/29789/stat : 29789 (gj-user-solver-) S 29788 29789 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46603806 2629632 269 1283457024 134512640 135304128 4293599344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29789/statm: 642 269 229 194 0 29 0
[pid=29790] ppid=29789 vsize=411352 CPUtime=6.3
/proc/29790/stat : 29790 (java) S 29789 29789 17511 34816 17511 4202496 71321 0 1 0 603 27 0 0 25 0 10 0 46603806 421224448 70467 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29790/statm: 102838 70467 2917 10 0 96983 0
[pid=29790/tid=29792] ppid=29789 vsize=411352 CPUtime=2.97
/proc/29790/task/29792/stat : 29792 (java) R 29789 29789 17511 34816 17511 4202560 14574 0 1 0 287 10 0 0 25 0 10 0 46603807 421224448 70467 1283457024 134512640 134550932 4290028656 18446744073709551615 4115808272 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29790/tid=29793] ppid=29789 vsize=411352 CPUtime=3.22
/proc/29790/task/29793/stat : 29793 (java) S 29789 29789 17511 34816 17511 4202560 55280 0 0 0 308 14 0 0 16 0 10 0 46603808 421224448 70467 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 0 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29794] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29794/stat : 29794 (java) S 29789 29789 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46603808 421224448 70467 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29795] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29795/stat : 29795 (java) S 29789 29789 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46603808 421224448 70467 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29796] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29796/stat : 29796 (java) S 29789 29789 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46603809 421224448 70467 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29797] ppid=29789 vsize=411352 CPUtime=0.09
/proc/29790/task/29797/stat : 29797 (java) S 29789 29789 17511 34816 17511 4202560 522 0 0 0 7 2 0 0 16 0 10 0 46603809 421224448 70467 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29798] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29798/stat : 29798 (java) S 29789 29789 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46603809 421224448 70467 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29799] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29799/stat : 29799 (java) S 29789 29789 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46603809 421224448 70467 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413920

[startup+12.7086 s]
/proc/loadavg: 1.20 1.19 1.13 2/44 29800
/proc/meminfo: memFree=487932/1048576 swapFree=0/0
[pid=29789] ppid=29788 vsize=2568 CPUtime=0
/proc/29789/stat : 29789 (gj-user-solver-) S 29788 29789 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46603806 2629632 269 1283457024 134512640 135304128 4293599344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29789/statm: 642 269 229 194 0 29 0
[pid=29790] ppid=29789 vsize=411352 CPUtime=12.69
/proc/29790/stat : 29790 (java) S 29789 29789 17511 34816 17511 4202496 71359 0 1 0 1242 27 0 0 25 0 10 0 46603806 421224448 70505 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29790/statm: 102838 70505 2918 10 0 96983 0
[pid=29790/tid=29792] ppid=29789 vsize=411352 CPUtime=8.85
/proc/29790/task/29792/stat : 29792 (java) R 29789 29789 17511 34816 17511 4202560 14581 0 1 0 875 10 0 0 25 0 10 0 46603807 421224448 70505 1283457024 134512640 134550932 4290028656 18446744073709551615 4115775265 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29790/tid=29793] ppid=29789 vsize=411352 CPUtime=3.72
/proc/29790/task/29793/stat : 29793 (java) S 29789 29789 17511 34816 17511 4202560 55280 0 0 0 358 14 0 0 16 0 10 0 46603808 421224448 70505 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 0 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29794] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29794/stat : 29794 (java) S 29789 29789 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46603808 421224448 70505 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29795] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29795/stat : 29795 (java) S 29789 29789 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46603808 421224448 70505 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29796] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29796/stat : 29796 (java) S 29789 29789 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46603809 421224448 70505 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29797] ppid=29789 vsize=411352 CPUtime=0.11
/proc/29790/task/29797/stat : 29797 (java) S 29789 29789 17511 34816 17511 4202560 553 0 0 0 9 2 0 0 15 0 10 0 46603809 421224448 70505 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29798] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29798/stat : 29798 (java) S 29789 29789 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46603809 421224448 70505 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29799] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29799/stat : 29799 (java) S 29789 29789 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46603809 421224448 70505 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29800] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29800/stat : 29800 (java) S 29789 29789 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46604386 421224448 70505 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 413920

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

[startup+12.9086 s]
/proc/loadavg: 1.20 1.19 1.13 2/44 29800
/proc/meminfo: memFree=487932/1048576 swapFree=0/0
[pid=29789] ppid=29788 vsize=2568 CPUtime=0
/proc/29789/stat : 29789 (gj-user-solver-) S 29788 29789 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46603806 2629632 269 1283457024 134512640 135304128 4293599344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29789/statm: 642 269 229 194 0 29 0
[pid=29790] ppid=29789 vsize=411352 CPUtime=12.89
/proc/29790/stat : 29790 (java) S 29789 29789 17511 34816 17511 4202496 71359 0 1 0 1262 27 0 0 25 0 10 0 46603806 421224448 70505 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29790/statm: 102838 70505 2918 10 0 96983 0
[pid=29790/tid=29792] ppid=29789 vsize=411352 CPUtime=9.05
/proc/29790/task/29792/stat : 29792 (java) R 29789 29789 17511 34816 17511 4202560 14581 0 1 0 895 10 0 0 25 0 10 0 46603807 421224448 70505 1283457024 134512640 134550932 4290028656 18446744073709551615 4115559202 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29790/tid=29793] ppid=29789 vsize=411352 CPUtime=3.72
/proc/29790/task/29793/stat : 29793 (java) S 29789 29789 17511 34816 17511 4202560 55280 0 0 0 358 14 0 0 16 0 10 0 46603808 421224448 70505 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 0 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29794] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29794/stat : 29794 (java) S 29789 29789 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46603808 421224448 70505 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29795] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29795/stat : 29795 (java) S 29789 29789 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46603808 421224448 70505 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29796] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29796/stat : 29796 (java) S 29789 29789 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46603809 421224448 70505 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29797] ppid=29789 vsize=411352 CPUtime=0.11
/proc/29790/task/29797/stat : 29797 (java) S 29789 29789 17511 34816 17511 4202560 553 0 0 0 9 2 0 0 15 0 10 0 46603809 421224448 70505 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29798] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29798/stat : 29798 (java) S 29789 29789 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46603809 421224448 70505 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29799] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29799/stat : 29799 (java) S 29789 29789 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46603809 421224448 70505 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29800] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29800/stat : 29800 (java) S 29789 29789 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46604386 421224448 70505 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.89
Current children cumulated vsize (KiB) 413920

[startup+19.3102 s]
/proc/loadavg: 1.19 1.19 1.13 2/44 29800
/proc/meminfo: memFree=487808/1048576 swapFree=0/0
[pid=29789] ppid=29788 vsize=2568 CPUtime=0
/proc/29789/stat : 29789 (gj-user-solver-) S 29788 29789 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46603806 2629632 269 1283457024 134512640 135304128 4293599344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29789/statm: 642 269 229 194 0 29 0
[pid=29790] ppid=29789 vsize=411352 CPUtime=19.29
/proc/29790/stat : 29790 (java) S 29789 29789 17511 34816 17511 4202496 71369 0 1 0 1902 27 0 0 25 0 10 0 46603806 421224448 70515 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29790/statm: 102838 70515 2920 10 0 96983 0
[pid=29790/tid=29792] ppid=29789 vsize=411352 CPUtime=15.4
/proc/29790/task/29792/stat : 29792 (java) R 29789 29789 17511 34816 17511 4202560 14581 0 1 0 1530 10 0 0 25 0 10 0 46603807 421224448 70515 1283457024 134512640 134550932 4290028656 18446744073709551615 4115799041 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29790/tid=29793] ppid=29789 vsize=411352 CPUtime=3.74
/proc/29790/task/29793/stat : 29793 (java) S 29789 29789 17511 34816 17511 4202560 55282 0 0 0 360 14 0 0 15 0 10 0 46603808 421224448 70515 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 0 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29794] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29794/stat : 29794 (java) S 29789 29789 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46603808 421224448 70515 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29795] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29795/stat : 29795 (java) S 29789 29789 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46603808 421224448 70515 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29796] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29796/stat : 29796 (java) S 29789 29789 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46603809 421224448 70515 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29797] ppid=29789 vsize=411352 CPUtime=0.13
/proc/29790/task/29797/stat : 29797 (java) S 29789 29789 17511 34816 17511 4202560 561 0 0 0 11 2 0 0 16 0 10 0 46603809 421224448 70515 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29798] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29798/stat : 29798 (java) S 29789 29789 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46603809 421224448 70515 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29799] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29799/stat : 29799 (java) S 29789 29789 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46603809 421224448 70515 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29800] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29800/stat : 29800 (java) S 29789 29789 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46604386 421224448 70515 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.29
Current children cumulated vsize (KiB) 413920

[startup+22.5109 s]
/proc/loadavg: 1.17 1.18 1.12 2/44 29800
/proc/meminfo: memFree=487808/1048576 swapFree=0/0
[pid=29789] ppid=29788 vsize=2568 CPUtime=0
/proc/29789/stat : 29789 (gj-user-solver-) S 29788 29789 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46603806 2629632 269 1283457024 134512640 135304128 4293599344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29789/statm: 642 269 229 194 0 29 0
[pid=29790] ppid=29789 vsize=411352 CPUtime=22.49
/proc/29790/stat : 29790 (java) S 29789 29789 17511 34816 17511 4202496 71370 0 1 0 2222 27 0 0 25 0 10 0 46603806 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29790/statm: 102838 70516 2920 10 0 96983 0
[pid=29790/tid=29792] ppid=29789 vsize=411352 CPUtime=18.6
/proc/29790/task/29792/stat : 29792 (java) R 29789 29789 17511 34816 17511 4202560 14581 0 1 0 1850 10 0 0 25 0 10 0 46603807 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4115934853 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29790/tid=29793] ppid=29789 vsize=411352 CPUtime=3.74
/proc/29790/task/29793/stat : 29793 (java) S 29789 29789 17511 34816 17511 4202560 55282 0 0 0 360 14 0 0 15 0 10 0 46603808 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 0 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29794] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29794/stat : 29794 (java) S 29789 29789 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46603808 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29795] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29795/stat : 29795 (java) S 29789 29789 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46603808 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29796] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29796/stat : 29796 (java) S 29789 29789 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46603809 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29797] ppid=29789 vsize=411352 CPUtime=0.13
/proc/29790/task/29797/stat : 29797 (java) S 29789 29789 17511 34816 17511 4202560 562 0 0 0 11 2 0 0 15 0 10 0 46603809 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29798] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29798/stat : 29798 (java) S 29789 29789 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46603809 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29799] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29799/stat : 29799 (java) S 29789 29789 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46603809 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29800] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29800/stat : 29800 (java) S 29789 29789 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46604386 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.49
Current children cumulated vsize (KiB) 413920

[startup+23.3111 s]
/proc/loadavg: 1.17 1.18 1.12 2/44 29800
/proc/meminfo: memFree=487808/1048576 swapFree=0/0
[pid=29789] ppid=29788 vsize=2568 CPUtime=0
/proc/29789/stat : 29789 (gj-user-solver-) S 29788 29789 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46603806 2629632 269 1283457024 134512640 135304128 4293599344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29789/statm: 642 269 229 194 0 29 0
[pid=29790] ppid=29789 vsize=411352 CPUtime=23.29
/proc/29790/stat : 29790 (java) S 29789 29789 17511 34816 17511 4202496 71370 0 1 0 2302 27 0 0 25 0 10 0 46603806 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29790/statm: 102838 70516 2920 10 0 96983 0
[pid=29790/tid=29792] ppid=29789 vsize=411352 CPUtime=19.4
/proc/29790/task/29792/stat : 29792 (java) R 29789 29789 17511 34816 17511 4202560 14581 0 1 0 1930 10 0 0 25 0 10 0 46603807 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4115981513 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29790/tid=29793] ppid=29789 vsize=411352 CPUtime=3.74
/proc/29790/task/29793/stat : 29793 (java) S 29789 29789 17511 34816 17511 4202560 55282 0 0 0 360 14 0 0 15 0 10 0 46603808 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 0 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29794] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29794/stat : 29794 (java) S 29789 29789 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46603808 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29795] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29795/stat : 29795 (java) S 29789 29789 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46603808 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29796] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29796/stat : 29796 (java) S 29789 29789 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46603809 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29797] ppid=29789 vsize=411352 CPUtime=0.13
/proc/29790/task/29797/stat : 29797 (java) S 29789 29789 17511 34816 17511 4202560 562 0 0 0 11 2 0 0 15 0 10 0 46603809 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29798] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29798/stat : 29798 (java) S 29789 29789 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46603809 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29799] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29799/stat : 29799 (java) S 29789 29789 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46603809 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29800] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29800/stat : 29800 (java) S 29789 29789 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46604386 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.29
Current children cumulated vsize (KiB) 413920

[startup+23.7112 s]
/proc/loadavg: 1.17 1.18 1.12 2/44 29800
/proc/meminfo: memFree=487808/1048576 swapFree=0/0
[pid=29789] ppid=29788 vsize=2568 CPUtime=0
/proc/29789/stat : 29789 (gj-user-solver-) S 29788 29789 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46603806 2629632 269 1283457024 134512640 135304128 4293599344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29789/statm: 642 269 229 194 0 29 0
[pid=29790] ppid=29789 vsize=411352 CPUtime=23.69
/proc/29790/stat : 29790 (java) S 29789 29789 17511 34816 17511 4202496 71370 0 1 0 2342 27 0 0 25 0 10 0 46603806 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29790/statm: 102838 70516 2920 10 0 96983 0
[pid=29790/tid=29792] ppid=29789 vsize=411352 CPUtime=19.77
/proc/29790/task/29792/stat : 29792 (java) R 29789 29789 17511 34816 17511 4202560 14581 0 1 0 1967 10 0 0 25 0 10 0 46603807 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4114905381 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29790/tid=29793] ppid=29789 vsize=411352 CPUtime=3.77
/proc/29790/task/29793/stat : 29793 (java) S 29789 29789 17511 34816 17511 4202560 55282 0 0 0 363 14 0 0 16 0 10 0 46603808 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 0 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29794] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29794/stat : 29794 (java) S 29789 29789 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46603808 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29795] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29795/stat : 29795 (java) S 29789 29789 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46603808 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29796] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29796/stat : 29796 (java) S 29789 29789 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46603809 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29797] ppid=29789 vsize=411352 CPUtime=0.13
/proc/29790/task/29797/stat : 29797 (java) S 29789 29789 17511 34816 17511 4202560 562 0 0 0 11 2 0 0 15 0 10 0 46603809 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29798] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29798/stat : 29798 (java) S 29789 29789 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46603809 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29799] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29799/stat : 29799 (java) S 29789 29789 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46603809 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29800] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29800/stat : 29800 (java) S 29789 29789 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46604386 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.69
Current children cumulated vsize (KiB) 413920

[startup+23.9113 s]
/proc/loadavg: 1.17 1.18 1.12 2/44 29800
/proc/meminfo: memFree=487808/1048576 swapFree=0/0
[pid=29789] ppid=29788 vsize=2568 CPUtime=0
/proc/29789/stat : 29789 (gj-user-solver-) S 29788 29789 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46603806 2629632 269 1283457024 134512640 135304128 4293599344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29789/statm: 642 269 229 194 0 29 0
[pid=29790] ppid=29789 vsize=411352 CPUtime=23.89
/proc/29790/stat : 29790 (java) S 29789 29789 17511 34816 17511 4202496 71370 0 1 0 2362 27 0 0 25 0 10 0 46603806 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29790/statm: 102838 70516 2920 10 0 96983 0
[pid=29790/tid=29792] ppid=29789 vsize=411352 CPUtime=19.97
/proc/29790/task/29792/stat : 29792 (java) R 29789 29789 17511 34816 17511 4202560 14581 0 1 0 1987 10 0 0 25 0 10 0 46603807 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4115785701 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29790/tid=29793] ppid=29789 vsize=411352 CPUtime=3.77
/proc/29790/task/29793/stat : 29793 (java) S 29789 29789 17511 34816 17511 4202560 55282 0 0 0 363 14 0 0 16 0 10 0 46603808 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 0 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29794] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29794/stat : 29794 (java) S 29789 29789 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46603808 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29795] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29795/stat : 29795 (java) S 29789 29789 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46603808 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29796] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29796/stat : 29796 (java) S 29789 29789 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46603809 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29797] ppid=29789 vsize=411352 CPUtime=0.13
/proc/29790/task/29797/stat : 29797 (java) S 29789 29789 17511 34816 17511 4202560 562 0 0 0 11 2 0 0 15 0 10 0 46603809 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29798] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29798/stat : 29798 (java) S 29789 29789 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46603809 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29799] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29799/stat : 29799 (java) S 29789 29789 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46603809 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29800] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29800/stat : 29800 (java) S 29789 29789 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46604386 421224448 70516 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.89
Current children cumulated vsize (KiB) 413920

[startup+24.0119 s]
/proc/loadavg: 1.17 1.18 1.12 2/44 29800
/proc/meminfo: memFree=487808/1048576 swapFree=0/0
[pid=29789] ppid=29788 vsize=2568 CPUtime=0
/proc/29789/stat : 29789 (gj-user-solver-) S 29788 29789 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46603806 2629632 269 1283457024 134512640 135304128 4293599344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29789/statm: 642 269 229 194 0 29 0
[pid=29790] ppid=29789 vsize=411352 CPUtime=23.99
/proc/29790/stat : 29790 (java) S 29789 29789 17511 34816 17511 4202496 71377 0 1 0 2372 27 0 0 25 0 9 0 46603806 421224448 70523 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29790/statm: 102838 70523 2921 10 0 96983 0
[pid=29790/tid=29792] ppid=29789 vsize=411352 CPUtime=20.06
/proc/29790/task/29792/stat : 29792 (java) R 29789 29789 17511 34816 17511 4202560 14581 0 1 0 1996 10 0 0 25 0 9 0 46603807 421224448 70523 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29790/tid=29793] ppid=29789 vsize=411352 CPUtime=3.77
/proc/29790/task/29793/stat : 29793 (java) S 29789 29789 17511 34816 17511 4202560 55282 0 0 0 363 14 0 0 16 0 9 0 46603808 421224448 70523 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 0 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29794] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29794/stat : 29794 (java) S 29789 29789 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 46603808 421224448 70523 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29795] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29795/stat : 29795 (java) S 29789 29789 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 46603808 421224448 70523 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29796] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29796/stat : 29796 (java) S 29789 29789 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46603809 421224448 70523 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29797] ppid=29789 vsize=411352 CPUtime=0.14
/proc/29790/task/29797/stat : 29797 (java) S 29789 29789 17511 34816 17511 4202560 568 0 0 0 12 2 0 0 15 0 9 0 46603809 421224448 70523 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29798] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29798/stat : 29798 (java) S 29789 29789 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46603809 421224448 70523 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=29790/tid=29799] ppid=29789 vsize=411352 CPUtime=0
/proc/29790/task/29799/stat : 29799 (java) S 29789 29789 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 46603809 421224448 70523 1283457024 134512640 134550932 4290028656 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.99
Current children cumulated vsize (KiB) 413920

Child status: 0
Real time (s): 24.0638
CPU time (s): 24.0055
CPU user time (s): 23.7215
CPU system time (s): 0.284017
CPU usage (%): 99.7578
Max. virtual memory (cumulated for all children) (KiB): 413920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.7215
system time used= 0.284017
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71765
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= 1212
involuntary context switches= 1476

runsolver used 0 second user time and 0 second system time

The end