runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108311143/gj-user-solver-1.0/33bb2fbc-9512-11e0-9181-00163e1e087d.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//33bb2fbc-9512-11e0-9181-00163e1e087d.cudf /home/misc2010/tmp/201108311143/gj-user-solver-1.0/33bb2fbc-9512-11e0-9181-00163e1e087d.cudf.dudf-real.result -sum(installedsize) 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.84 0.97 0.98 2/36 24850
/proc/meminfo: memFree=844740/1048576 swapFree=0/0
[pid=24850] ppid=24849 vsize=3020 CPUtime=0
/proc/24850/stat : 24850 (runsolver) R 24849 24850 19908 34817 19908 4202560 72 0 0 0 0 0 0 0 25 0 1 0 63175044 3092480 94 1283457024 134512640 134586868 4294676656 18446744073709551615 4294960130 0 0 0 24578 0 0 0 17 0 0 0 0
/proc/24850/statm: 755 94 62 19 0 54 0

[startup+0.164814 s]
/proc/loadavg: 0.84 0.97 0.98 2/36 24850
/proc/meminfo: memFree=844740/1048576 swapFree=0/0
[pid=24850] ppid=24849 vsize=2576 CPUtime=0
/proc/24850/stat : 24850 (gj-user-solver-) S 24849 24850 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 63175044 2637824 271 1283457024 134512640 135304128 4290930160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24850/statm: 644 271 229 194 0 31 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2576

[startup+0.204356 s]
/proc/loadavg: 0.84 0.97 0.98 2/36 24850
/proc/meminfo: memFree=844740/1048576 swapFree=0/0
[pid=24850] ppid=24849 vsize=2576 CPUtime=0
/proc/24850/stat : 24850 (gj-user-solver-) S 24849 24850 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 63175044 2637824 271 1283457024 134512640 135304128 4290930160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24850/statm: 644 271 229 194 0 31 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2576

[startup+0.308554 s]
/proc/loadavg: 0.84 0.97 0.98 2/36 24850
/proc/meminfo: memFree=844740/1048576 swapFree=0/0
[pid=24850] ppid=24849 vsize=2576 CPUtime=0
/proc/24850/stat : 24850 (gj-user-solver-) S 24849 24850 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 63175044 2637824 271 1283457024 134512640 135304128 4290930160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24850/statm: 644 271 229 194 0 31 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2576

[startup+0.712749 s]
/proc/loadavg: 0.84 0.97 0.98 2/36 24850
/proc/meminfo: memFree=844740/1048576 swapFree=0/0
[pid=24850] ppid=24849 vsize=2576 CPUtime=0
/proc/24850/stat : 24850 (gj-user-solver-) S 24849 24850 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 63175044 2637824 271 1283457024 134512640 135304128 4290930160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24850/statm: 644 271 229 194 0 31 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2576

[startup+1.513 s]
/proc/loadavg: 0.84 0.97 0.98 3/46 24860
/proc/meminfo: memFree=780444/1048576 swapFree=0/0
[pid=24850] ppid=24849 vsize=2576 CPUtime=0
/proc/24850/stat : 24850 (gj-user-solver-) S 24849 24850 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 63175044 2637824 271 1283457024 134512640 135304128 4290930160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24850/statm: 644 271 229 194 0 31 0
[pid=24852] ppid=24850 vsize=410680 CPUtime=1.18
/proc/24852/stat : 24852 (java) S 24850 24850 19908 34817 19908 4202496 23769 0 66 0 115 3 0 0 25 0 9 0 63175044 420536320 23078 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24852/statm: 102670 23078 2900 10 0 96818 0
[pid=24852/tid=24853] ppid=24850 vsize=410680 CPUtime=0.6
/proc/24852/task/24853/stat : 24853 (java) R 24850 24850 19908 34817 19908 4202560 6770 0 38 0 58 2 0 0 25 0 9 0 63175045 420536320 23078 1283457024 134512640 134550932 4292249232 18446744073709551615 4114937059 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24852/tid=24854] ppid=24850 vsize=410680 CPUtime=0.54
/proc/24852/task/24854/stat : 24854 (java) S 24850 24850 19908 34817 19908 4202560 15616 0 26 0 54 0 0 0 18 0 9 0 63175046 420536320 23078 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=410680 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24850 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 19 0 9 0 63175046 420536320 23078 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=410680 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24850 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 19 0 9 0 63175046 420536320 23078 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=410680 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24850 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63175047 420536320 23078 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=410680 CPUtime=0.03
/proc/24852/task/24858/stat : 24858 (java) S 24850 24850 19908 34817 19908 4202560 444 0 2 0 3 0 0 0 15 0 9 0 63175047 420536320 23078 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=410680 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 9 0 63175047 420536320 23078 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=410680 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) R 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 9 0 63175047 420536320 23078 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 413256

[startup+3.11341 s]
/proc/loadavg: 0.84 0.97 0.98 3/46 24860
/proc/meminfo: memFree=708400/1048576 swapFree=0/0
[pid=24850] ppid=24849 vsize=2576 CPUtime=0
/proc/24850/stat : 24850 (gj-user-solver-) S 24849 24850 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 63175044 2637824 271 1283457024 134512640 135304128 4290930160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24850/statm: 644 271 229 194 0 31 0
[pid=24852] ppid=24850 vsize=410812 CPUtime=2.77
/proc/24852/stat : 24852 (java) S 24850 24850 19908 34817 19908 4202496 44213 0 66 0 270 7 0 0 25 0 9 0 63175044 420671488 43522 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24852/statm: 102703 43522 2900 10 0 96851 0
[pid=24852/tid=24853] ppid=24850 vsize=410812 CPUtime=1.18
/proc/24852/task/24853/stat : 24853 (java) R 24850 24850 19908 34817 19908 4202560 9538 0 38 0 116 2 0 0 25 0 9 0 63175045 420671488 43522 1283457024 134512640 134550932 4292249232 18446744073709551615 4114937045 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24852/tid=24854] ppid=24850 vsize=410812 CPUtime=1.55
/proc/24852/task/24854/stat : 24854 (java) S 24850 24850 19908 34817 19908 4202560 33288 0 26 0 150 5 0 0 16 0 9 0 63175046 420671488 43522 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=410812 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24850 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 19 0 9 0 63175046 420671488 43522 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=410812 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24850 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 19 0 9 0 63175046 420671488 43522 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=410812 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24850 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63175047 420671488 43522 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=410812 CPUtime=0.03
/proc/24852/task/24858/stat : 24858 (java) S 24850 24850 19908 34817 19908 4202560 448 0 2 0 3 0 0 0 15 0 9 0 63175047 420671488 43522 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=410812 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 9 0 63175047 420671488 43522 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=410812 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) S 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 9 0 63175047 420671488 43522 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 413388

[startup+6.30782 s]
/proc/loadavg: 0.85 0.97 0.98 2/47 24861
/proc/meminfo: memFree=603136/1048576 swapFree=0/0
[pid=24850] ppid=24849 vsize=2576 CPUtime=0
/proc/24850/stat : 24850 (gj-user-solver-) S 24849 24850 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 63175044 2637824 271 1283457024 134512640 135304128 4290930160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24850/statm: 644 271 229 194 0 31 0
[pid=24852] ppid=24850 vsize=411148 CPUtime=5.85
/proc/24852/stat : 24852 (java) S 24850 24850 19908 34817 19908 4202496 62322 0 73 0 568 17 0 0 25 0 10 0 63175044 421015552 61553 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24852/statm: 102787 61553 2925 10 0 96932 0
[pid=24852/tid=24853] ppid=24850 vsize=411148 CPUtime=3.86
/proc/24852/task/24853/stat : 24853 (java) R 24850 24850 19908 34817 19908 4202560 14442 0 45 0 380 6 0 0 25 0 10 0 63175045 421015552 61553 1283457024 134512640 134550932 4292249232 18446744073709551615 4115308337 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24852/tid=24854] ppid=24850 vsize=411148 CPUtime=1.89
/proc/24852/task/24854/stat : 24854 (java) S 24850 24850 19908 34817 19908 4202560 46408 0 26 0 179 10 0 0 15 0 10 0 63175046 421015552 61553 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24850 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63175046 421015552 61553 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24850 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63175046 421015552 61553 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24850 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63175047 421015552 61553 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=411148 CPUtime=0.08
/proc/24852/task/24858/stat : 24858 (java) S 24850 24850 19908 34817 19908 4202560 528 0 2 0 8 0 0 0 15 0 10 0 63175047 421015552 61553 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 63175047 421015552 61553 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) S 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 63175047 421015552 61553 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24861] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24861/stat : 24861 (java) S 24850 24850 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63175437 421015552 61553 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 413724

[startup+12.7092 s]
/proc/loadavg: 0.87 0.97 0.98 2/47 24861
/proc/meminfo: memFree=605492/1048576 swapFree=0/0
[pid=24850] ppid=24849 vsize=2576 CPUtime=0
/proc/24850/stat : 24850 (gj-user-solver-) S 24849 24850 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 63175044 2637824 271 1283457024 134512640 135304128 4290930160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24850/statm: 644 271 229 194 0 31 0
[pid=24852] ppid=24850 vsize=411148 CPUtime=12.24
/proc/24852/stat : 24852 (java) S 24850 24850 19908 34817 19908 4202496 62336 0 73 0 1205 19 0 0 25 0 10 0 63175044 421015552 60772 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24852/statm: 102787 60772 2920 10 0 96932 0
[pid=24852/tid=24853] ppid=24850 vsize=411148 CPUtime=9.95
/proc/24852/task/24853/stat : 24853 (java) R 24850 24850 19908 34817 19908 4202560 14442 0 45 0 987 8 0 0 25 0 10 0 63175045 421015552 60772 1283457024 134512640 134550932 4292249232 18446744073709551615 4115406601 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24852/tid=24854] ppid=24850 vsize=411148 CPUtime=2.2
/proc/24852/task/24854/stat : 24854 (java) S 24850 24850 19908 34817 19908 4202560 46419 0 26 0 210 10 0 0 15 0 10 0 63175046 421015552 60772 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24850 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63175046 421015552 60772 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24850 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63175046 421015552 60772 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24850 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63175047 421015552 60772 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=411148 CPUtime=0.08
/proc/24852/task/24858/stat : 24858 (java) S 24850 24850 19908 34817 19908 4202560 531 0 2 0 8 0 0 0 15 0 10 0 63175047 421015552 60772 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 63175047 421015552 60772 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) S 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 63175047 421015552 60772 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24861] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24861/stat : 24861 (java) S 24850 24850 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63175437 421015552 60772 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.24
Current children cumulated vsize (KiB) 413724

[startup+25.5129 s]
/proc/loadavg: 0.89 0.97 0.98 2/47 24861
/proc/meminfo: memFree=692788/1048576 swapFree=0/0
[pid=24850] ppid=24849 vsize=2576 CPUtime=0
/proc/24850/stat : 24850 (gj-user-solver-) S 24849 24850 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 63175044 2637824 271 1283457024 134512640 135304128 4290930160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24850/statm: 644 271 229 194 0 31 0
[pid=24852] ppid=24850 vsize=411148 CPUtime=25
/proc/24852/stat : 24852 (java) S 24850 24850 19908 34817 19908 4202496 62915 0 73 0 2479 21 0 0 25 0 10 0 63175044 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24852/statm: 102787 39004 2920 10 0 96932 0
[pid=24852/tid=24853] ppid=24850 vsize=411148 CPUtime=22.32
/proc/24852/task/24853/stat : 24853 (java) R 24850 24850 19908 34817 19908 4202560 14442 0 45 0 2224 8 0 0 25 0 10 0 63175045 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4115407045 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24852/tid=24854] ppid=24850 vsize=411148 CPUtime=2.59
/proc/24852/task/24854/stat : 24854 (java) S 24850 24850 19908 34817 19908 4202560 46997 0 26 0 247 12 0 0 15 0 10 0 63175046 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24850 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63175046 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24850 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63175046 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24850 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63175047 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=411148 CPUtime=0.08
/proc/24852/task/24858/stat : 24858 (java) S 24850 24850 19908 34817 19908 4202560 532 0 2 0 8 0 0 0 15 0 10 0 63175047 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 63175047 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) S 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 63175047 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24861] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24861/stat : 24861 (java) S 24850 24850 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63175437 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25
Current children cumulated vsize (KiB) 413724

[startup+51.1087 s]
/proc/loadavg: 0.93 0.97 0.98 3/47 24861
/proc/meminfo: memFree=692788/1048576 swapFree=0/0
[pid=24850] ppid=24849 vsize=2576 CPUtime=0
/proc/24850/stat : 24850 (gj-user-solver-) S 24849 24850 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 63175044 2637824 271 1283457024 134512640 135304128 4290930160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24850/statm: 644 271 229 194 0 31 0
[pid=24852] ppid=24850 vsize=411148 CPUtime=50.59
/proc/24852/stat : 24852 (java) S 24850 24850 19908 34817 19908 4202496 62915 0 73 0 5037 22 0 0 25 0 10 0 63175044 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24852/statm: 102787 39004 2920 10 0 96932 0
[pid=24852/tid=24853] ppid=24850 vsize=411148 CPUtime=47.44
/proc/24852/task/24853/stat : 24853 (java) R 24850 24850 19908 34817 19908 4202560 14442 0 45 0 4735 9 0 0 25 0 10 0 63175045 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4115439840 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24852/tid=24854] ppid=24850 vsize=411148 CPUtime=3.06
/proc/24852/task/24854/stat : 24854 (java) S 24850 24850 19908 34817 19908 4202560 46997 0 26 0 294 12 0 0 15 0 10 0 63175046 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24850 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63175046 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24850 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63175046 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24850 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63175047 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=411148 CPUtime=0.08
/proc/24852/task/24858/stat : 24858 (java) S 24850 24850 19908 34817 19908 4202560 532 0 2 0 8 0 0 0 15 0 10 0 63175047 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 63175047 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) R 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 63175047 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24852/tid=24861] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24861/stat : 24861 (java) S 24850 24850 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63175437 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 413724

[startup+102.31 s]
/proc/loadavg: 1.10 1.00 0.99 3/47 24861
/proc/meminfo: memFree=692788/1048576 swapFree=0/0
[pid=24850] ppid=24849 vsize=2576 CPUtime=0
/proc/24850/stat : 24850 (gj-user-solver-) S 24849 24850 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 63175044 2637824 271 1283457024 134512640 135304128 4290930160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24850/statm: 644 271 229 194 0 31 0
[pid=24852] ppid=24850 vsize=411148 CPUtime=101.75
/proc/24852/stat : 24852 (java) S 24850 24850 19908 34817 19908 4202496 62915 0 73 0 10151 24 0 0 25 0 10 0 63175044 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24852/statm: 102787 39004 2920 10 0 96932 0
[pid=24852/tid=24853] ppid=24850 vsize=411148 CPUtime=97.82
/proc/24852/task/24853/stat : 24853 (java) R 24850 24850 19908 34817 19908 4202560 14442 0 45 0 9771 11 0 0 25 0 10 0 63175045 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4115308388 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24852/tid=24854] ppid=24850 vsize=411148 CPUtime=3.84
/proc/24852/task/24854/stat : 24854 (java) S 24850 24850 19908 34817 19908 4202560 46997 0 26 0 372 12 0 0 15 0 10 0 63175046 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24850 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63175046 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24850 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63175046 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24850 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63175047 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=411148 CPUtime=0.08
/proc/24852/task/24858/stat : 24858 (java) S 24850 24850 19908 34817 19908 4202560 532 0 2 0 8 0 0 0 15 0 10 0 63175047 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 63175047 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) S 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 63175047 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24861] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24861/stat : 24861 (java) S 24850 24850 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63175437 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 413724

[startup+162.307 s]
/proc/loadavg: 1.04 1.00 0.99 2/47 24861
/proc/meminfo: memFree=692788/1048576 swapFree=0/0
[pid=24850] ppid=24849 vsize=2576 CPUtime=0
/proc/24850/stat : 24850 (gj-user-solver-) S 24849 24850 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 63175044 2637824 271 1283457024 134512640 135304128 4290930160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24850/statm: 644 271 229 194 0 31 0
[pid=24852] ppid=24850 vsize=411148 CPUtime=161.71
/proc/24852/stat : 24852 (java) S 24850 24850 19908 34817 19908 4202496 62915 0 73 0 16145 26 0 0 25 0 10 0 63175044 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24852/statm: 102787 39004 2920 10 0 96932 0
[pid=24852/tid=24853] ppid=24850 vsize=411148 CPUtime=157.04
/proc/24852/task/24853/stat : 24853 (java) R 24850 24850 19908 34817 19908 4202560 14442 0 45 0 15692 12 0 0 25 0 10 0 63175045 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4115321764 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24852/tid=24854] ppid=24850 vsize=411148 CPUtime=4.56
/proc/24852/task/24854/stat : 24854 (java) S 24850 24850 19908 34817 19908 4202560 46997 0 26 0 444 12 0 0 15 0 10 0 63175046 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24850 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63175046 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24850 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63175046 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24850 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63175047 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=411148 CPUtime=0.08
/proc/24852/task/24858/stat : 24858 (java) S 24850 24850 19908 34817 19908 4202560 532 0 2 0 8 0 0 0 15 0 10 0 63175047 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 63175047 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) S 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 63175047 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24861] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24861/stat : 24861 (java) S 24850 24850 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63175437 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 161.71
Current children cumulated vsize (KiB) 413724

[startup+222.313 s]
/proc/loadavg: 1.01 1.00 0.99 2/49 24865
/proc/meminfo: memFree=692764/1048576 swapFree=0/0
[pid=24850] ppid=24849 vsize=2576 CPUtime=0
/proc/24850/stat : 24850 (gj-user-solver-) S 24849 24850 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 63175044 2637824 271 1283457024 134512640 135304128 4290930160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24850/statm: 644 271 229 194 0 31 0
[pid=24852] ppid=24850 vsize=411148 CPUtime=221.66
/proc/24852/stat : 24852 (java) S 24850 24850 19908 34817 19908 4202496 62915 0 73 0 22138 28 0 0 25 0 10 0 63175044 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24852/statm: 102787 39004 2920 10 0 96932 0
[pid=24852/tid=24853] ppid=24850 vsize=411148 CPUtime=216.22
/proc/24852/task/24853/stat : 24853 (java) R 24850 24850 19908 34817 19908 4202560 14442 0 45 0 21608 14 0 0 25 0 10 0 63175045 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4115432190 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24852/tid=24854] ppid=24850 vsize=411148 CPUtime=5.33
/proc/24852/task/24854/stat : 24854 (java) S 24850 24850 19908 34817 19908 4202560 46997 0 26 0 521 12 0 0 15 0 10 0 63175046 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24850 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63175046 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24850 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63175046 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24850 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63175047 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=411148 CPUtime=0.08
/proc/24852/task/24858/stat : 24858 (java) S 24850 24850 19908 34817 19908 4202560 532 0 2 0 8 0 0 0 15 0 10 0 63175047 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 63175047 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) S 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 63175047 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24861] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24861/stat : 24861 (java) S 24850 24850 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63175437 421015552 39004 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 221.66
Current children cumulated vsize (KiB) 413724

[startup+282.306 s]
/proc/loadavg: 1.00 1.00 0.99 2/49 24871
/proc/meminfo: memFree=692392/1048576 swapFree=0/0
[pid=24850] ppid=24849 vsize=2576 CPUtime=0
/proc/24850/stat : 24850 (gj-user-solver-) S 24849 24850 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 63175044 2637824 271 1283457024 134512640 135304128 4290930160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24850/statm: 644 271 229 194 0 31 0
[pid=24852] ppid=24850 vsize=411148 CPUtime=281.61
/proc/24852/stat : 24852 (java) S 24850 24850 19908 34817 19908 4202496 63011 0 73 0 28132 29 0 0 25 0 10 0 63175044 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24852/statm: 102787 39100 2920 10 0 96932 0
[pid=24852/tid=24853] ppid=24850 vsize=411148 CPUtime=275.54
/proc/24852/task/24853/stat : 24853 (java) R 24850 24850 19908 34817 19908 4202560 14442 0 45 0 27540 14 0 0 25 0 10 0 63175045 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4115406601 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24852/tid=24854] ppid=24850 vsize=411148 CPUtime=5.97
/proc/24852/task/24854/stat : 24854 (java) S 24850 24850 19908 34817 19908 4202560 47093 0 26 0 583 14 0 0 15 0 10 0 63175046 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24850 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63175046 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24850 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63175046 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24850 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63175047 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=411148 CPUtime=0.08
/proc/24852/task/24858/stat : 24858 (java) S 24850 24850 19908 34817 19908 4202560 532 0 2 0 8 0 0 0 15 0 10 0 63175047 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 63175047 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) S 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 63175047 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24861] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24861/stat : 24861 (java) S 24850 24850 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63175437 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 281.61
Current children cumulated vsize (KiB) 413724

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

[startup+283.106 s]
/proc/loadavg: 1.00 1.00 0.99 2/49 24871
/proc/meminfo: memFree=692392/1048576 swapFree=0/0
[pid=24850] ppid=24849 vsize=2576 CPUtime=0
/proc/24850/stat : 24850 (gj-user-solver-) S 24849 24850 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 63175044 2637824 271 1283457024 134512640 135304128 4290930160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24850/statm: 644 271 229 194 0 31 0
[pid=24852] ppid=24850 vsize=411148 CPUtime=282.41
/proc/24852/stat : 24852 (java) S 24850 24850 19908 34817 19908 4202496 63011 0 73 0 28212 29 0 0 25 0 10 0 63175044 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24852/statm: 102787 39100 2920 10 0 96932 0
[pid=24852/tid=24853] ppid=24850 vsize=411148 CPUtime=276.34
/proc/24852/task/24853/stat : 24853 (java) R 24850 24850 19908 34817 19908 4202560 14442 0 45 0 27620 14 0 0 25 0 10 0 63175045 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4115243237 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24852/tid=24854] ppid=24850 vsize=411148 CPUtime=5.97
/proc/24852/task/24854/stat : 24854 (java) S 24850 24850 19908 34817 19908 4202560 47093 0 26 0 583 14 0 0 15 0 10 0 63175046 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24850 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63175046 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24850 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63175046 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24850 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63175047 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=411148 CPUtime=0.08
/proc/24852/task/24858/stat : 24858 (java) S 24850 24850 19908 34817 19908 4202560 532 0 2 0 8 0 0 0 15 0 10 0 63175047 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 63175047 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) S 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 63175047 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24861] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24861/stat : 24861 (java) S 24850 24850 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63175437 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.41
Current children cumulated vsize (KiB) 413724

[startup+284.706 s]
/proc/loadavg: 1.00 1.00 0.99 2/49 24871
/proc/meminfo: memFree=692392/1048576 swapFree=0/0
[pid=24850] ppid=24849 vsize=2576 CPUtime=0
/proc/24850/stat : 24850 (gj-user-solver-) S 24849 24850 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 63175044 2637824 271 1283457024 134512640 135304128 4290930160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24850/statm: 644 271 229 194 0 31 0
[pid=24852] ppid=24850 vsize=411148 CPUtime=284.01
/proc/24852/stat : 24852 (java) S 24850 24850 19908 34817 19908 4202496 63011 0 73 0 28372 29 0 0 25 0 10 0 63175044 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24852/statm: 102787 39100 2920 10 0 96932 0
[pid=24852/tid=24853] ppid=24850 vsize=411148 CPUtime=277.94
/proc/24852/task/24853/stat : 24853 (java) R 24850 24850 19908 34817 19908 4202560 14442 0 45 0 27780 14 0 0 25 0 10 0 63175045 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4115374069 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24852/tid=24854] ppid=24850 vsize=411148 CPUtime=5.97
/proc/24852/task/24854/stat : 24854 (java) S 24850 24850 19908 34817 19908 4202560 47093 0 26 0 583 14 0 0 15 0 10 0 63175046 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24850 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63175046 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24850 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63175046 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24850 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63175047 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=411148 CPUtime=0.08
/proc/24852/task/24858/stat : 24858 (java) S 24850 24850 19908 34817 19908 4202560 532 0 2 0 8 0 0 0 15 0 10 0 63175047 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 63175047 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) S 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 63175047 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24861] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24861/stat : 24861 (java) S 24850 24850 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63175437 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.01
Current children cumulated vsize (KiB) 413724

[startup+285.107 s]
/proc/loadavg: 1.00 1.00 0.99 2/49 24871
/proc/meminfo: memFree=692392/1048576 swapFree=0/0
[pid=24850] ppid=24849 vsize=2576 CPUtime=0
/proc/24850/stat : 24850 (gj-user-solver-) S 24849 24850 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 63175044 2637824 271 1283457024 134512640 135304128 4290930160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24850/statm: 644 271 229 194 0 31 0
[pid=24852] ppid=24850 vsize=411148 CPUtime=284.41
/proc/24852/stat : 24852 (java) S 24850 24850 19908 34817 19908 4202496 63011 0 73 0 28412 29 0 0 25 0 10 0 63175044 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24852/statm: 102787 39100 2920 10 0 96932 0
[pid=24852/tid=24853] ppid=24850 vsize=411148 CPUtime=278.34
/proc/24852/task/24853/stat : 24853 (java) R 24850 24850 19908 34817 19908 4202560 14442 0 45 0 27820 14 0 0 25 0 10 0 63175045 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4115321636 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24852/tid=24854] ppid=24850 vsize=411148 CPUtime=5.97
/proc/24852/task/24854/stat : 24854 (java) S 24850 24850 19908 34817 19908 4202560 47093 0 26 0 583 14 0 0 15 0 10 0 63175046 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24850 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63175046 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24850 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63175046 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24850 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63175047 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=411148 CPUtime=0.08
/proc/24852/task/24858/stat : 24858 (java) S 24850 24850 19908 34817 19908 4202560 532 0 2 0 8 0 0 0 15 0 10 0 63175047 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 63175047 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) S 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 63175047 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24861] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24861/stat : 24861 (java) S 24850 24850 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63175437 421015552 39100 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.41
Current children cumulated vsize (KiB) 413724

[startup+285.507 s]
/proc/loadavg: 1.00 1.00 0.99 2/49 24871
/proc/meminfo: memFree=692392/1048576 swapFree=0/0
[pid=24850] ppid=24849 vsize=2576 CPUtime=0
/proc/24850/stat : 24850 (gj-user-solver-) S 24849 24850 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 63175044 2637824 271 1283457024 134512640 135304128 4290930160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24850/statm: 644 271 229 194 0 31 0
[pid=24852] ppid=24850 vsize=411148 CPUtime=284.8
/proc/24852/stat : 24852 (java) S 24850 24850 19908 34817 19908 4202496 63012 0 73 0 28451 29 0 0 25 0 9 0 63175044 421015552 39101 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24852/statm: 102787 39101 2921 10 0 96932 0
[pid=24852/tid=24853] ppid=24850 vsize=411148 CPUtime=278.74
/proc/24852/task/24853/stat : 24853 (java) R 24850 24850 19908 34817 19908 4202560 14442 0 45 0 27860 14 0 0 25 0 9 0 63175045 421015552 39101 1283457024 134512640 134550932 4292249232 18446744073709551615 4115458821 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24852/tid=24854] ppid=24850 vsize=411148 CPUtime=5.97
/proc/24852/task/24854/stat : 24854 (java) S 24850 24850 19908 34817 19908 4202560 47093 0 26 0 583 14 0 0 15 0 9 0 63175046 421015552 39101 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 0 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24850 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 63175046 421015552 39101 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24850 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 63175046 421015552 39101 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24850 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63175047 421015552 39101 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=411148 CPUtime=0.08
/proc/24852/task/24858/stat : 24858 (java) S 24850 24850 19908 34817 19908 4202560 532 0 2 0 8 0 0 0 15 0 9 0 63175047 421015552 39101 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 9 0 63175047 421015552 39101 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=411148 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) S 24850 24850 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 9 0 63175047 421015552 39101 1283457024 134512640 134550932 4292249232 18446744073709551615 4294960130 0 4 0 16800975 18446612133002275648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.8
Current children cumulated vsize (KiB) 413724

Child status: 0
Real time (s): 285.582
CPU time (s): 284.83
CPU user time (s): 284.53
CPU system time (s): 0.300018
CPU usage (%): 99.7365
Max. virtual memory (cumulated for all children) (KiB): 413724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.53
system time used= 0.300018
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63401
page faults= 73
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6120
involuntary context switches= 8812

runsolver used 0 second user time and 0.004 second system time

The end