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/201012061533/gj-paranoid-solver-0.1/rand753.sarge-etch-lenny.cudf.sarge-etch-lenny.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/icse/sarge-etch-lenny/rand753.sarge-etch-lenny.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/rand753.sarge-etch-lenny.cudf.sarge-etch-lenny.result 

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.31 1.18 1.11 5/47 19443
/proc/meminfo: memFree=680540/1048576 swapFree=2078744/2097144
[pid=19441] ppid=19440 vsize=2568 CPUtime=0
/proc/19441/stat : 19441 (gj-paranoid-sol) S 19440 19441 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 875923753 2629632 272 1283457024 134512640 135304128 4294105376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19441/statm: 642 272 232 194 0 28 0
[pid=19442] ppid=19441 vsize=11244 CPUtime=0.01
/proc/19442/stat : 19442 (java) R 19441 19441 2059 34821 2220 4202496 909 0 0 0 0 1 0 0 25 0 2 0 875923753 11513856 642 1283457024 134512640 134550932 4289901680 18446744073709551615 4159791352 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/19442/statm: 2811 642 285 10 0 1185 0
[pid=19442/tid=19443] ppid=19441 vsize=11244 CPUtime=0
/proc/19442/task/19443/stat : 19443 (java) R 19441 19441 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 2 0 875923753 11513856 642 1283457024 134512640 134550932 4289901680 18446744073709551615 4159791352 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.205176 s]
/proc/loadavg: 1.31 1.18 1.11 5/47 19443
/proc/meminfo: memFree=680540/1048576 swapFree=2078744/2097144
[pid=19441] ppid=19440 vsize=2568 CPUtime=0
/proc/19441/stat : 19441 (gj-paranoid-sol) S 19440 19441 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 875923753 2629632 272 1283457024 134512640 135304128 4294105376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19441/statm: 642 272 232 194 0 28 0
[pid=19442] ppid=19441 vsize=409996 CPUtime=0.21
/proc/19442/stat : 19442 (java) S 19441 19441 2059 34821 2220 4202496 5171 0 1 0 20 1 0 0 25 0 9 0 875923753 419835904 4634 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19442/statm: 102499 4634 1883 10 0 96679 0
[pid=19442/tid=19443] ppid=19441 vsize=409996 CPUtime=0.18
/proc/19442/task/19443/stat : 19443 (java) R 19441 19441 2059 34821 2220 4202560 3376 0 1 0 18 0 0 0 25 0 9 0 875923753 419835904 4634 1283457024 134512640 134550932 4289901680 18446744073709551615 4115251086 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412564

[startup+0.305217 s]
/proc/loadavg: 1.31 1.18 1.11 5/47 19443
/proc/meminfo: memFree=680540/1048576 swapFree=2078744/2097144
[pid=19441] ppid=19440 vsize=2568 CPUtime=0
/proc/19441/stat : 19441 (gj-paranoid-sol) S 19440 19441 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 875923753 2629632 272 1283457024 134512640 135304128 4294105376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19441/statm: 642 272 232 194 0 28 0
[pid=19442] ppid=19441 vsize=409996 CPUtime=0.31
/proc/19442/stat : 19442 (java) S 19441 19441 2059 34821 2220 4202496 5949 0 1 0 30 1 0 0 25 0 9 0 875923753 419835904 5412 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19442/statm: 102499 5412 1883 10 0 96679 0
[pid=19442/tid=19443] ppid=19441 vsize=409996 CPUtime=0.27
/proc/19442/task/19443/stat : 19443 (java) R 19441 19441 2059 34821 2220 4202560 3376 0 1 0 27 0 0 0 25 0 9 0 875923753 419835904 5412 1283457024 134512640 134550932 4289901680 18446744073709551615 4115265631 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 412564

[startup+0.408418 s]
/proc/loadavg: 1.31 1.18 1.11 5/47 19443
/proc/meminfo: memFree=680540/1048576 swapFree=2078744/2097144
[pid=19441] ppid=19440 vsize=2568 CPUtime=0
/proc/19441/stat : 19441 (gj-paranoid-sol) S 19440 19441 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 875923753 2629632 272 1283457024 134512640 135304128 4294105376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19441/statm: 642 272 232 194 0 28 0
[pid=19442] ppid=19441 vsize=410612 CPUtime=0.4
/proc/19442/stat : 19442 (java) S 19441 19441 2059 34821 2220 4202496 6801 0 1 0 38 2 0 0 25 0 9 0 875923753 420466688 6264 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19442/statm: 102653 6264 1890 10 0 96833 0
[pid=19442/tid=19443] ppid=19441 vsize=410612 CPUtime=0.33
/proc/19442/task/19443/stat : 19443 (java) R 19441 19441 2059 34821 2220 4202560 3378 0 1 0 33 0 0 0 25 0 9 0 875923753 420466688 6264 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 413180

[startup+0.705346 s]
/proc/loadavg: 1.31 1.18 1.11 5/47 19443
/proc/meminfo: memFree=680540/1048576 swapFree=2078744/2097144
[pid=19441] ppid=19440 vsize=2568 CPUtime=0
/proc/19441/stat : 19441 (gj-paranoid-sol) S 19440 19441 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 875923753 2629632 272 1283457024 134512640 135304128 4294105376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19441/statm: 642 272 232 194 0 28 0
[pid=19442] ppid=19441 vsize=410744 CPUtime=0.7
/proc/19442/stat : 19442 (java) S 19441 19441 2059 34821 2220 4202496 12925 0 1 0 66 4 0 0 25 0 9 0 875923753 420601856 12210 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19442/statm: 102686 12210 2878 10 0 96866 0
[pid=19442/tid=19443] ppid=19441 vsize=410744 CPUtime=0.42
/proc/19442/task/19443/stat : 19443 (java) R 19441 19441 2059 34821 2220 4202560 4082 0 1 0 42 0 0 0 25 0 9 0 875923753 420601856 12210 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413312

[startup+1.50555 s]
/proc/loadavg: 1.31 1.18 1.11 3/55 19451
/proc/meminfo: memFree=607616/1048576 swapFree=2078744/2097144
[pid=19441] ppid=19440 vsize=2568 CPUtime=0
/proc/19441/stat : 19441 (gj-paranoid-sol) S 19440 19441 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 875923753 2629632 272 1283457024 134512640 135304128 4294105376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19441/statm: 642 272 232 194 0 28 0
[pid=19442] ppid=19441 vsize=410744 CPUtime=1.5
/proc/19442/stat : 19442 (java) S 19441 19441 2059 34821 2220 4202496 28372 0 1 0 142 8 0 0 25 0 9 0 875923753 420601856 27657 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19442/statm: 102686 27657 2879 10 0 96866 0
[pid=19442/tid=19443] ppid=19441 vsize=410744 CPUtime=0.68
/proc/19442/task/19443/stat : 19443 (java) S 19441 19441 2059 34821 2220 4202560 6754 0 1 0 68 0 0 0 25 0 9 0 875923753 420601856 27657 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19445] ppid=19441 vsize=410744 CPUtime=0.76
/proc/19442/task/19445/stat : 19445 (java) R 19441 19441 2059 34821 2220 4202560 20226 0 0 0 69 7 0 0 20 0 9 0 875923754 420601856 27657 1283457024 134512640 134550932 4289901680 18446744073709551615 4151837308 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=19442/tid=19446] ppid=19441 vsize=410744 CPUtime=0
/proc/19442/task/19446/stat : 19446 (java) S 19441 19441 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 21 0 9 0 875923755 420601856 27657 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19447] ppid=19441 vsize=410744 CPUtime=0
/proc/19442/task/19447/stat : 19447 (java) S 19441 19441 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 24 0 9 0 875923755 420601856 27657 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19448] ppid=19441 vsize=410744 CPUtime=0
/proc/19442/task/19448/stat : 19448 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875923756 420601856 27657 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19449] ppid=19441 vsize=410744 CPUtime=0.04
/proc/19442/task/19449/stat : 19449 (java) S 19441 19441 2059 34821 2220 4202560 456 0 0 0 4 0 0 0 17 0 9 0 875923756 420601856 27657 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19450] ppid=19441 vsize=410744 CPUtime=0
/proc/19442/task/19450/stat : 19450 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875923756 420601856 27657 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19451] ppid=19441 vsize=410744 CPUtime=0
/proc/19442/task/19451/stat : 19451 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 875923756 420601856 27657 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413312

[startup+3.10618 s]
/proc/loadavg: 1.31 1.18 1.11 3/55 19451
/proc/meminfo: memFree=519700/1048576 swapFree=2078744/2097144
[pid=19441] ppid=19440 vsize=2568 CPUtime=0
/proc/19441/stat : 19441 (gj-paranoid-sol) S 19440 19441 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 875923753 2629632 272 1283457024 134512640 135304128 4294105376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19441/statm: 642 272 232 194 0 28 0
[pid=19442] ppid=19441 vsize=410876 CPUtime=3.1
/proc/19442/stat : 19442 (java) S 19441 19441 2059 34821 2220 4202496 51220 0 1 0 293 17 0 0 25 0 9 0 875923753 420737024 50491 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19442/statm: 102719 50491 2881 10 0 96899 0
[pid=19442/tid=19443] ppid=19441 vsize=410876 CPUtime=1.27
/proc/19442/task/19443/stat : 19443 (java) R 19441 19441 2059 34821 2220 4202560 14120 0 1 0 123 4 0 0 21 0 9 0 875923753 420737024 50491 1283457024 134512640 134550932 4289901680 18446744073709551615 4115720158 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19442/tid=19445] ppid=19441 vsize=410876 CPUtime=1.72
/proc/19442/task/19445/stat : 19445 (java) S 19441 19441 2059 34821 2220 4202560 35678 0 0 0 162 10 0 0 17 0 9 0 875923754 420737024 50491 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19446] ppid=19441 vsize=410876 CPUtime=0
/proc/19442/task/19446/stat : 19446 (java) S 19441 19441 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 9 0 875923755 420737024 50491 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19447] ppid=19441 vsize=410876 CPUtime=0
/proc/19442/task/19447/stat : 19447 (java) S 19441 19441 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 9 0 875923755 420737024 50491 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19448] ppid=19441 vsize=410876 CPUtime=0
/proc/19442/task/19448/stat : 19448 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875923756 420737024 50491 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19449] ppid=19441 vsize=410876 CPUtime=0.07
/proc/19442/task/19449/stat : 19449 (java) S 19441 19441 2059 34821 2220 4202560 486 0 0 0 7 0 0 0 15 0 9 0 875923756 420737024 50491 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19450] ppid=19441 vsize=410876 CPUtime=0
/proc/19442/task/19450/stat : 19450 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875923756 420737024 50491 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19451] ppid=19441 vsize=410876 CPUtime=0
/proc/19442/task/19451/stat : 19451 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 875923756 420737024 50491 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413444

[startup+6.30684 s]
/proc/loadavg: 1.36 1.19 1.12 2/56 19452
/proc/meminfo: memFree=473812/1048576 swapFree=2078744/2097144
[pid=19441] ppid=19440 vsize=2568 CPUtime=0
/proc/19441/stat : 19441 (gj-paranoid-sol) S 19440 19441 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 875923753 2629632 272 1283457024 134512640 135304128 4294105376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19441/statm: 642 272 232 194 0 28 0
[pid=19442] ppid=19441 vsize=411332 CPUtime=6.3
/proc/19442/stat : 19442 (java) S 19441 19441 2059 34821 2220 4202496 55416 0 1 0 611 19 0 0 25 0 10 0 875923753 421203968 54679 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19442/statm: 102833 54679 2883 10 0 97013 0
[pid=19442/tid=19443] ppid=19441 vsize=411332 CPUtime=3.98
/proc/19442/task/19443/stat : 19443 (java) R 19441 19441 2059 34821 2220 4202560 14143 0 1 0 392 6 0 0 25 0 10 0 875923753 421203968 54679 1283457024 134512640 134550932 4289901680 18446744073709551615 4116028088 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19442/tid=19445] ppid=19441 vsize=411332 CPUtime=2.17
/proc/19442/task/19445/stat : 19445 (java) S 19441 19441 2059 34821 2220 4202560 39812 0 0 0 206 11 0 0 15 0 10 0 875923754 421203968 54679 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19446] ppid=19441 vsize=411332 CPUtime=0
/proc/19442/task/19446/stat : 19446 (java) S 19441 19441 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875923755 421203968 54679 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19447] ppid=19441 vsize=411332 CPUtime=0
/proc/19442/task/19447/stat : 19447 (java) S 19441 19441 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 875923755 421203968 54679 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19448] ppid=19441 vsize=411332 CPUtime=0
/proc/19442/task/19448/stat : 19448 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875923756 421203968 54679 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19449] ppid=19441 vsize=411332 CPUtime=0.12
/proc/19442/task/19449/stat : 19449 (java) S 19441 19441 2059 34821 2220 4202560 520 0 0 0 12 0 0 0 16 0 10 0 875923756 421203968 54679 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19450] ppid=19441 vsize=411332 CPUtime=0
/proc/19442/task/19450/stat : 19450 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875923756 421203968 54679 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19451] ppid=19441 vsize=411332 CPUtime=0
/proc/19442/task/19451/stat : 19451 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875923756 421203968 54679 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19452] ppid=19441 vsize=411332 CPUtime=0
/proc/19442/task/19452/stat : 19452 (java) S 19441 19441 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 10 0 875924066 421203968 54679 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413900

[startup+12.7185 s]
/proc/loadavg: 1.41 1.21 1.12 2/56 19452
/proc/meminfo: memFree=461784/1048576 swapFree=2078744/2097144
[pid=19441] ppid=19440 vsize=2568 CPUtime=0
/proc/19441/stat : 19441 (gj-paranoid-sol) S 19440 19441 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 875923753 2629632 272 1283457024 134512640 135304128 4294105376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19441/statm: 642 272 232 194 0 28 0
[pid=19442] ppid=19441 vsize=411156 CPUtime=12.71
/proc/19442/stat : 19442 (java) S 19441 19441 2059 34821 2220 4202496 60803 0 1 0 1249 22 0 0 25 0 10 0 875923753 421023744 55268 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19442/statm: 102789 55268 2883 10 0 96969 0
[pid=19442/tid=19443] ppid=19441 vsize=411156 CPUtime=9.16
/proc/19442/task/19443/stat : 19443 (java) R 19441 19441 2059 34821 2220 4202560 14143 0 1 0 910 6 0 0 25 0 10 0 875923753 421023744 55268 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19442/tid=19445] ppid=19441 vsize=411156 CPUtime=3.4
/proc/19442/task/19445/stat : 19445 (java) R 19441 19441 2059 34821 2220 4202560 45198 0 0 0 326 14 0 0 15 0 10 0 875923754 421023744 55268 1283457024 134512640 134550932 4289901680 18446744073709551615 4151266198 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=19442/tid=19446] ppid=19441 vsize=411156 CPUtime=0
/proc/19442/task/19446/stat : 19446 (java) S 19441 19441 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875923755 421023744 55268 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19447] ppid=19441 vsize=411156 CPUtime=0
/proc/19442/task/19447/stat : 19447 (java) S 19441 19441 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 875923755 421023744 55268 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19448] ppid=19441 vsize=411156 CPUtime=0
/proc/19442/task/19448/stat : 19448 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875923756 421023744 55268 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19449] ppid=19441 vsize=411156 CPUtime=0.12
/proc/19442/task/19449/stat : 19449 (java) S 19441 19441 2059 34821 2220 4202560 521 0 0 0 12 0 0 0 15 0 10 0 875923756 421023744 55268 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19450] ppid=19441 vsize=411156 CPUtime=0
/proc/19442/task/19450/stat : 19450 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875923756 421023744 55268 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19451] ppid=19441 vsize=411156 CPUtime=0
/proc/19442/task/19451/stat : 19451 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875923756 421023744 55268 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19452] ppid=19441 vsize=411156 CPUtime=0
/proc/19442/task/19452/stat : 19452 (java) S 19441 19441 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 10 0 875924066 421023744 55268 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 413724

[startup+25.5116 s]
/proc/loadavg: 1.32 1.20 1.12 2/56 19452
/proc/meminfo: memFree=456452/1048576 swapFree=2078744/2097144
[pid=19441] ppid=19440 vsize=2568 CPUtime=0
/proc/19441/stat : 19441 (gj-paranoid-sol) S 19440 19441 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 875923753 2629632 272 1283457024 134512640 135304128 4294105376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19441/statm: 642 272 232 194 0 28 0
[pid=19442] ppid=19441 vsize=420792 CPUtime=25.49
/proc/19442/stat : 19442 (java) S 19441 19441 2059 34821 2220 4202496 69304 0 1 0 2524 25 0 0 25 0 10 0 875923753 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19442/statm: 105198 58971 2883 10 0 99378 0
[pid=19442/tid=19443] ppid=19441 vsize=420792 CPUtime=20.27
/proc/19442/task/19443/stat : 19443 (java) R 19441 19441 2059 34821 2220 4202560 14143 0 1 0 2021 6 0 0 25 0 10 0 875923753 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4116111006 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19442/tid=19445] ppid=19441 vsize=420792 CPUtime=5.06
/proc/19442/task/19445/stat : 19445 (java) S 19441 19441 2059 34821 2220 4202560 53699 0 0 0 490 16 0 0 15 0 10 0 875923754 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19446] ppid=19441 vsize=420792 CPUtime=0
/proc/19442/task/19446/stat : 19446 (java) S 19441 19441 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875923755 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19447] ppid=19441 vsize=420792 CPUtime=0
/proc/19442/task/19447/stat : 19447 (java) S 19441 19441 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 875923755 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19448] ppid=19441 vsize=420792 CPUtime=0
/proc/19442/task/19448/stat : 19448 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875923756 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19449] ppid=19441 vsize=420792 CPUtime=0.12
/proc/19442/task/19449/stat : 19449 (java) S 19441 19441 2059 34821 2220 4202560 521 0 0 0 12 0 0 0 15 0 10 0 875923756 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19450] ppid=19441 vsize=420792 CPUtime=0
/proc/19442/task/19450/stat : 19450 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875923756 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19451] ppid=19441 vsize=420792 CPUtime=0
/proc/19442/task/19451/stat : 19451 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875923756 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19452] ppid=19441 vsize=420792 CPUtime=0
/proc/19442/task/19452/stat : 19452 (java) S 19441 19441 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 10 0 875924066 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 423360

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

[startup+25.7116 s]
/proc/loadavg: 1.32 1.20 1.12 2/56 19452
/proc/meminfo: memFree=456452/1048576 swapFree=2078744/2097144
[pid=19441] ppid=19440 vsize=2568 CPUtime=0
/proc/19441/stat : 19441 (gj-paranoid-sol) S 19440 19441 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 875923753 2629632 272 1283457024 134512640 135304128 4294105376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19441/statm: 642 272 232 194 0 28 0
[pid=19442] ppid=19441 vsize=420792 CPUtime=25.69
/proc/19442/stat : 19442 (java) S 19441 19441 2059 34821 2220 4202496 69304 0 1 0 2544 25 0 0 25 0 10 0 875923753 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19442/statm: 105198 58971 2883 10 0 99378 0
[pid=19442/tid=19443] ppid=19441 vsize=420792 CPUtime=20.47
/proc/19442/task/19443/stat : 19443 (java) R 19441 19441 2059 34821 2220 4202560 14143 0 1 0 2041 6 0 0 25 0 10 0 875923753 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4116056138 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19442/tid=19445] ppid=19441 vsize=420792 CPUtime=5.06
/proc/19442/task/19445/stat : 19445 (java) S 19441 19441 2059 34821 2220 4202560 53699 0 0 0 490 16 0 0 15 0 10 0 875923754 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19446] ppid=19441 vsize=420792 CPUtime=0
/proc/19442/task/19446/stat : 19446 (java) S 19441 19441 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875923755 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19447] ppid=19441 vsize=420792 CPUtime=0
/proc/19442/task/19447/stat : 19447 (java) S 19441 19441 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 875923755 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19448] ppid=19441 vsize=420792 CPUtime=0
/proc/19442/task/19448/stat : 19448 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875923756 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19449] ppid=19441 vsize=420792 CPUtime=0.12
/proc/19442/task/19449/stat : 19449 (java) S 19441 19441 2059 34821 2220 4202560 521 0 0 0 12 0 0 0 15 0 10 0 875923756 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19450] ppid=19441 vsize=420792 CPUtime=0
/proc/19442/task/19450/stat : 19450 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875923756 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19451] ppid=19441 vsize=420792 CPUtime=0
/proc/19442/task/19451/stat : 19451 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875923756 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19452] ppid=19441 vsize=420792 CPUtime=0
/proc/19442/task/19452/stat : 19452 (java) S 19441 19441 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 10 0 875924066 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.69
Current children cumulated vsize (KiB) 423360

[startup+28.9126 s]
/proc/loadavg: 1.32 1.20 1.12 3/56 19452
/proc/meminfo: memFree=456700/1048576 swapFree=2078744/2097144
[pid=19441] ppid=19440 vsize=2568 CPUtime=0
/proc/19441/stat : 19441 (gj-paranoid-sol) S 19440 19441 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 875923753 2629632 272 1283457024 134512640 135304128 4294105376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19441/statm: 642 272 232 194 0 28 0
[pid=19442] ppid=19441 vsize=420792 CPUtime=28.88
/proc/19442/stat : 19442 (java) S 19441 19441 2059 34821 2220 4202496 71701 0 1 0 2862 26 0 0 25 0 10 0 875923753 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19442/statm: 105198 58971 2883 10 0 99378 0
[pid=19442/tid=19443] ppid=19441 vsize=420792 CPUtime=23.1
/proc/19442/task/19443/stat : 19443 (java) R 19441 19441 2059 34821 2220 4202560 14143 0 1 0 2304 6 0 0 25 0 10 0 875923753 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4116099305 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19442/tid=19445] ppid=19441 vsize=420792 CPUtime=5.64
/proc/19442/task/19445/stat : 19445 (java) S 19441 19441 2059 34821 2220 4202560 56096 0 0 0 546 18 0 0 15 0 10 0 875923754 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19446] ppid=19441 vsize=420792 CPUtime=0
/proc/19442/task/19446/stat : 19446 (java) S 19441 19441 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875923755 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19447] ppid=19441 vsize=420792 CPUtime=0
/proc/19442/task/19447/stat : 19447 (java) S 19441 19441 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 875923755 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19448] ppid=19441 vsize=420792 CPUtime=0
/proc/19442/task/19448/stat : 19448 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875923756 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19449] ppid=19441 vsize=420792 CPUtime=0.12
/proc/19442/task/19449/stat : 19449 (java) S 19441 19441 2059 34821 2220 4202560 521 0 0 0 12 0 0 0 15 0 10 0 875923756 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19450] ppid=19441 vsize=420792 CPUtime=0
/proc/19442/task/19450/stat : 19450 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875923756 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19451] ppid=19441 vsize=420792 CPUtime=0
/proc/19442/task/19451/stat : 19451 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875923756 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19452] ppid=19441 vsize=420792 CPUtime=0
/proc/19442/task/19452/stat : 19452 (java) S 19441 19441 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 10 0 875924066 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.88
Current children cumulated vsize (KiB) 423360

[startup+30.513 s]
/proc/loadavg: 1.32 1.20 1.12 2/56 19452
/proc/meminfo: memFree=456700/1048576 swapFree=2078744/2097144
[pid=19441] ppid=19440 vsize=2568 CPUtime=0
/proc/19441/stat : 19441 (gj-paranoid-sol) S 19440 19441 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 875923753 2629632 272 1283457024 134512640 135304128 4294105376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19441/statm: 642 272 232 194 0 28 0
[pid=19442] ppid=19441 vsize=420792 CPUtime=30.48
/proc/19442/stat : 19442 (java) S 19441 19441 2059 34821 2220 4202496 71701 0 1 0 3022 26 0 0 25 0 10 0 875923753 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19442/statm: 105198 58971 2883 10 0 99378 0
[pid=19442/tid=19443] ppid=19441 vsize=420792 CPUtime=24.7
/proc/19442/task/19443/stat : 19443 (java) R 19441 19441 2059 34821 2220 4202560 14143 0 1 0 2464 6 0 0 25 0 10 0 875923753 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4115977451 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19442/tid=19445] ppid=19441 vsize=420792 CPUtime=5.64
/proc/19442/task/19445/stat : 19445 (java) S 19441 19441 2059 34821 2220 4202560 56096 0 0 0 546 18 0 0 15 0 10 0 875923754 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19446] ppid=19441 vsize=420792 CPUtime=0
/proc/19442/task/19446/stat : 19446 (java) S 19441 19441 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875923755 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19447] ppid=19441 vsize=420792 CPUtime=0
/proc/19442/task/19447/stat : 19447 (java) S 19441 19441 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 875923755 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19448] ppid=19441 vsize=420792 CPUtime=0
/proc/19442/task/19448/stat : 19448 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875923756 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19449] ppid=19441 vsize=420792 CPUtime=0.12
/proc/19442/task/19449/stat : 19449 (java) S 19441 19441 2059 34821 2220 4202560 521 0 0 0 12 0 0 0 15 0 10 0 875923756 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19450] ppid=19441 vsize=420792 CPUtime=0
/proc/19442/task/19450/stat : 19450 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875923756 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19451] ppid=19441 vsize=420792 CPUtime=0
/proc/19442/task/19451/stat : 19451 (java) R 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875923756 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19442/tid=19452] ppid=19441 vsize=420792 CPUtime=0
/proc/19442/task/19452/stat : 19452 (java) S 19441 19441 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 10 0 875924066 430891008 58971 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 30.48
Current children cumulated vsize (KiB) 423360

[startup+32.1335 s]
/proc/loadavg: 1.29 1.19 1.12 2/56 19452
/proc/meminfo: memFree=456700/1048576 swapFree=2078744/2097144
[pid=19441] ppid=19440 vsize=2568 CPUtime=0
/proc/19441/stat : 19441 (gj-paranoid-sol) S 19440 19441 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 875923753 2629632 272 1283457024 134512640 135304128 4294105376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19441/statm: 642 272 232 194 0 28 0
[pid=19442] ppid=19441 vsize=411156 CPUtime=32.1
/proc/19442/stat : 19442 (java) S 19441 19441 2059 34821 2220 4202496 71706 0 1 0 3184 26 0 0 25 0 10 0 875923753 421023744 56579 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19442/statm: 102789 56579 2883 10 0 96969 0
[pid=19442/tid=19443] ppid=19441 vsize=411156 CPUtime=26.23
/proc/19442/task/19443/stat : 19443 (java) R 19441 19441 2059 34821 2220 4202560 14143 0 1 0 2617 6 0 0 25 0 10 0 875923753 421023744 56579 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19442/tid=19445] ppid=19441 vsize=411156 CPUtime=5.73
/proc/19442/task/19445/stat : 19445 (java) R 19441 19441 2059 34821 2220 4202560 56096 0 0 0 555 18 0 0 15 0 10 0 875923754 421023744 56579 1283457024 134512640 134550932 4289901680 18446744073709551615 4150147035 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=19442/tid=19446] ppid=19441 vsize=411156 CPUtime=0
/proc/19442/task/19446/stat : 19446 (java) S 19441 19441 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875923755 421023744 56579 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19447] ppid=19441 vsize=411156 CPUtime=0
/proc/19442/task/19447/stat : 19447 (java) S 19441 19441 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 875923755 421023744 56579 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19448] ppid=19441 vsize=411156 CPUtime=0
/proc/19442/task/19448/stat : 19448 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875923756 421023744 56579 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19449] ppid=19441 vsize=411156 CPUtime=0.12
/proc/19442/task/19449/stat : 19449 (java) S 19441 19441 2059 34821 2220 4202560 526 0 0 0 12 0 0 0 15 0 10 0 875923756 421023744 56579 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19450] ppid=19441 vsize=411156 CPUtime=0
/proc/19442/task/19450/stat : 19450 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875923756 421023744 56579 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19451] ppid=19441 vsize=411156 CPUtime=0
/proc/19442/task/19451/stat : 19451 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875923756 421023744 56579 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19452] ppid=19441 vsize=411156 CPUtime=0
/proc/19442/task/19452/stat : 19452 (java) S 19441 19441 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 10 0 875924066 421023744 56579 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.1
Current children cumulated vsize (KiB) 413724

[startup+32.9037 s]
/proc/loadavg: 1.29 1.19 1.12 2/56 19452
/proc/meminfo: memFree=456700/1048576 swapFree=2078744/2097144
[pid=19441] ppid=19440 vsize=2568 CPUtime=0
/proc/19441/stat : 19441 (gj-paranoid-sol) S 19440 19441 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 875923753 2629632 272 1283457024 134512640 135304128 4294105376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19441/statm: 642 272 232 194 0 28 0
[pid=19442] ppid=19441 vsize=420924 CPUtime=32.88
/proc/19442/stat : 19442 (java) S 19441 19441 2059 34821 2220 4202496 74403 0 1 0 3261 27 0 0 25 0 10 0 875923753 431026176 59276 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19442/statm: 105231 59276 2883 10 0 99411 0
[pid=19442/tid=19443] ppid=19441 vsize=420924 CPUtime=26.52
/proc/19442/task/19443/stat : 19443 (java) R 19441 19441 2059 34821 2220 4202560 14143 0 1 0 2646 6 0 0 25 0 10 0 875923753 431026176 59276 1283457024 134512640 134550932 4289901680 18446744073709551615 4116099740 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19442/tid=19445] ppid=19441 vsize=420924 CPUtime=6.2
/proc/19442/task/19445/stat : 19445 (java) S 19441 19441 2059 34821 2220 4202560 58793 0 0 0 602 18 0 0 16 0 10 0 875923754 431026176 59276 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19446] ppid=19441 vsize=420924 CPUtime=0
/proc/19442/task/19446/stat : 19446 (java) S 19441 19441 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875923755 431026176 59276 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19447] ppid=19441 vsize=420924 CPUtime=0
/proc/19442/task/19447/stat : 19447 (java) S 19441 19441 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 875923755 431026176 59276 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19448] ppid=19441 vsize=420924 CPUtime=0
/proc/19442/task/19448/stat : 19448 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875923756 431026176 59276 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19449] ppid=19441 vsize=420924 CPUtime=0.12
/proc/19442/task/19449/stat : 19449 (java) S 19441 19441 2059 34821 2220 4202560 526 0 0 0 12 0 0 0 15 0 10 0 875923756 431026176 59276 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19450] ppid=19441 vsize=420924 CPUtime=0
/proc/19442/task/19450/stat : 19450 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875923756 431026176 59276 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19451] ppid=19441 vsize=420924 CPUtime=0
/proc/19442/task/19451/stat : 19451 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875923756 431026176 59276 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19452] ppid=19441 vsize=420924 CPUtime=0
/proc/19442/task/19452/stat : 19452 (java) S 19441 19441 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 10 0 875924066 431026176 59276 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.88
Current children cumulated vsize (KiB) 423492

[startup+33.1038 s]
/proc/loadavg: 1.29 1.19 1.12 2/56 19452
/proc/meminfo: memFree=455460/1048576 swapFree=2078744/2097144
[pid=19441] ppid=19440 vsize=2568 CPUtime=0
/proc/19441/stat : 19441 (gj-paranoid-sol) S 19440 19441 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 875923753 2629632 272 1283457024 134512640 135304128 4294105376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19441/statm: 642 272 232 194 0 28 0
[pid=19442] ppid=19441 vsize=420924 CPUtime=33.08
/proc/19442/stat : 19442 (java) S 19441 19441 2059 34821 2220 4202496 74403 0 1 0 3281 27 0 0 25 0 10 0 875923753 431026176 59276 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19442/statm: 105231 59276 2883 10 0 99411 0
[pid=19442/tid=19443] ppid=19441 vsize=420924 CPUtime=26.72
/proc/19442/task/19443/stat : 19443 (java) R 19441 19441 2059 34821 2220 4202560 14143 0 1 0 2666 6 0 0 25 0 10 0 875923753 431026176 59276 1283457024 134512640 134550932 4289901680 18446744073709551615 4116056138 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19442/tid=19445] ppid=19441 vsize=420924 CPUtime=6.2
/proc/19442/task/19445/stat : 19445 (java) S 19441 19441 2059 34821 2220 4202560 58793 0 0 0 602 18 0 0 16 0 10 0 875923754 431026176 59276 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19446] ppid=19441 vsize=420924 CPUtime=0
/proc/19442/task/19446/stat : 19446 (java) S 19441 19441 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875923755 431026176 59276 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19447] ppid=19441 vsize=420924 CPUtime=0
/proc/19442/task/19447/stat : 19447 (java) S 19441 19441 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 875923755 431026176 59276 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19448] ppid=19441 vsize=420924 CPUtime=0
/proc/19442/task/19448/stat : 19448 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875923756 431026176 59276 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19449] ppid=19441 vsize=420924 CPUtime=0.12
/proc/19442/task/19449/stat : 19449 (java) S 19441 19441 2059 34821 2220 4202560 526 0 0 0 12 0 0 0 15 0 10 0 875923756 431026176 59276 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19450] ppid=19441 vsize=420924 CPUtime=0
/proc/19442/task/19450/stat : 19450 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875923756 431026176 59276 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19451] ppid=19441 vsize=420924 CPUtime=0
/proc/19442/task/19451/stat : 19451 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875923756 431026176 59276 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19452] ppid=19441 vsize=420924 CPUtime=0
/proc/19442/task/19452/stat : 19452 (java) S 19441 19441 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 10 0 875924066 431026176 59276 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 33.08
Current children cumulated vsize (KiB) 423492

[startup+33.2072 s]
/proc/loadavg: 1.29 1.19 1.12 2/56 19452
/proc/meminfo: memFree=455460/1048576 swapFree=2078744/2097144
[pid=19441] ppid=19440 vsize=2568 CPUtime=0
/proc/19441/stat : 19441 (gj-paranoid-sol) S 19440 19441 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 18 0 1 0 875923753 2629632 272 1283457024 134512640 135304128 4294105376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19441/statm: 642 272 232 194 0 28 0
[pid=19442] ppid=19441 vsize=420924 CPUtime=33.15
/proc/19442/stat : 19442 (java) S 19441 19441 2059 34821 2220 4202496 74410 0 1 0 3288 27 0 0 25 0 9 0 875923753 431026176 59282 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19442/statm: 105231 59282 2883 10 0 99411 0
[pid=19442/tid=19443] ppid=19441 vsize=420924 CPUtime=26.79
/proc/19442/task/19443/stat : 19443 (java) S 19441 19441 2059 34821 2220 4202560 14147 0 1 0 2673 6 0 0 25 0 9 0 875923753 431026176 59282 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19445] ppid=19441 vsize=420924 CPUtime=6.2
/proc/19442/task/19445/stat : 19445 (java) S 19441 19441 2059 34821 2220 4202560 58793 0 0 0 602 18 0 0 16 0 9 0 875923754 431026176 59282 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19446] ppid=19441 vsize=420924 CPUtime=0
/proc/19442/task/19446/stat : 19446 (java) S 19441 19441 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 9 0 875923755 431026176 59282 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19447] ppid=19441 vsize=420924 CPUtime=0
/proc/19442/task/19447/stat : 19447 (java) S 19441 19441 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 9 0 875923755 431026176 59282 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19448] ppid=19441 vsize=420924 CPUtime=0
/proc/19442/task/19448/stat : 19448 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875923756 431026176 59282 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19449] ppid=19441 vsize=420924 CPUtime=0.12
/proc/19442/task/19449/stat : 19449 (java) S 19441 19441 2059 34821 2220 4202560 529 0 0 0 12 0 0 0 15 0 9 0 875923756 431026176 59282 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19450] ppid=19441 vsize=420924 CPUtime=0
/proc/19442/task/19450/stat : 19450 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875923756 431026176 59282 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=19442/tid=19451] ppid=19441 vsize=420924 CPUtime=0
/proc/19442/task/19451/stat : 19451 (java) S 19441 19441 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 875923756 431026176 59282 1283457024 134512640 134550932 4289901680 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 33.15
Current children cumulated vsize (KiB) 423492

Child status: 0
Real time (s): 33.2392
CPU time (s): 33.1661
CPU user time (s): 32.8821
CPU system time (s): 0.284017
CPU usage (%): 99.78
Max. virtual memory (cumulated for all children) (KiB): 423492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.8821
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= 74800
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1258
involuntary context switches= 1616

runsolver used 0 second user time and 0.008 second system time

The end