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/rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge-etch-lenny-squeeze-sid.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/icse/sarge-etch-lenny-squeeze-sid/rand986.sarge-etch-lenny-squeeze-sid.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/rand986.sarge-etch-lenny-squeeze-sid.cudf.sarge-etch-lenny-squeeze-sid.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.44 1.32 1.26 1/45 26266
/proc/meminfo: memFree=956464/1048576 swapFree=2078744/2097144
[pid=26266] ppid=26265 vsize=3028 CPUtime=0
/proc/26266/stat : 26266 (runsolver) D 26265 26266 2059 34821 2220 4202560 73 0 0 0 0 0 0 0 22 0 1 0 876278519 3100672 94 1283457024 134512640 134586868 4289438592 18446744073709551615 4294960130 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0
/proc/26266/statm: 757 94 62 19 0 55 0

[startup+0.132765 s]
/proc/loadavg: 1.44 1.32 1.26 1/45 26266
/proc/meminfo: memFree=956464/1048576 swapFree=2078744/2097144
[pid=26266] ppid=26265 vsize=2568 CPUtime=0
/proc/26266/stat : 26266 (gj-paranoid-sol) D 26265 26266 2059 34821 2220 4202496 345 0 11 0 0 0 0 0 22 0 1 0 876278519 2629632 269 1283457024 134512640 135304128 4289887616 18446744073709551615 4294960130 0 0 4 65536 18446744071564252162 0 0 17 0 0 0 0
/proc/26266/statm: 642 269 231 194 0 28 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.204795 s]
/proc/loadavg: 1.44 1.32 1.26 1/45 26266
/proc/meminfo: memFree=956464/1048576 swapFree=2078744/2097144
[pid=26266] ppid=26265 vsize=2572 CPUtime=0
/proc/26266/stat : 26266 (gj-paranoid-sol) S 26265 26266 2059 34821 2220 4202496 363 0 11 0 0 0 0 0 22 0 1 0 876278519 2633728 271 1283457024 134512640 135304128 4289887616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26266/statm: 643 271 232 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+0.304788 s]
/proc/loadavg: 1.44 1.32 1.26 1/45 26266
/proc/meminfo: memFree=956464/1048576 swapFree=2078744/2097144
[pid=26266] ppid=26265 vsize=2572 CPUtime=0
/proc/26266/stat : 26266 (gj-paranoid-sol) S 26265 26266 2059 34821 2220 4202496 363 0 11 0 0 0 0 0 22 0 1 0 876278519 2633728 271 1283457024 134512640 135304128 4289887616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26266/statm: 643 271 232 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+0.704792 s]
/proc/loadavg: 1.44 1.32 1.26 1/45 26266
/proc/meminfo: memFree=956464/1048576 swapFree=2078744/2097144
[pid=26266] ppid=26265 vsize=2572 CPUtime=0
/proc/26266/stat : 26266 (gj-paranoid-sol) S 26265 26266 2059 34821 2220 4202496 363 0 11 0 0 0 0 0 22 0 1 0 876278519 2633728 271 1283457024 134512640 135304128 4289887616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26266/statm: 643 271 232 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+1.50529 s]
/proc/loadavg: 1.44 1.32 1.26 1/55 26276
/proc/meminfo: memFree=936128/1048576 swapFree=2078744/2097144
[pid=26266] ppid=26265 vsize=2572 CPUtime=0
/proc/26266/stat : 26266 (gj-paranoid-sol) S 26265 26266 2059 34821 2220 4202496 363 0 11 0 0 0 0 0 22 0 1 0 876278519 2633728 271 1283457024 134512640 135304128 4289887616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26266/statm: 643 271 232 194 0 29 0
[pid=26268] ppid=26266 vsize=410740 CPUtime=0.26
/proc/26268/stat : 26268 (java) S 26266 26266 2059 34821 2220 4202496 8084 0 226 0 24 2 0 0 21 0 9 0 876278532 420597760 7735 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26268/statm: 102685 7735 2027 10 0 96865 0
[pid=26268/tid=26269] ppid=26266 vsize=410740 CPUtime=0.16
/proc/26268/task/26269/stat : 26269 (java) S 26266 26266 2059 34821 2220 4202560 3233 0 142 0 16 0 0 0 19 0 9 0 876278555 420597760 7735 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26270] ppid=26266 vsize=410740 CPUtime=0.07
/proc/26268/task/26270/stat : 26270 (java) R 26266 26266 2059 34821 2220 4202560 3534 0 16 0 6 1 0 0 16 0 9 0 876278578 420597760 7735 1283457024 134512640 134550932 4287732272 18446744073709551615 4152465840 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=26268/tid=26271] ppid=26266 vsize=410740 CPUtime=0
/proc/26268/task/26271/stat : 26271 (java) S 26266 26266 2059 34821 2220 4202560 15 0 1 0 0 0 0 0 15 0 9 0 876278583 420597760 7735 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26272] ppid=26266 vsize=410740 CPUtime=0
/proc/26268/task/26272/stat : 26272 (java) S 26266 26266 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 15 0 9 0 876278583 420597760 7735 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26273] ppid=26266 vsize=410740 CPUtime=0
/proc/26268/task/26273/stat : 26273 (java) S 26266 26266 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 9 0 876278604 420597760 7735 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26274] ppid=26266 vsize=410740 CPUtime=0.01
/proc/26268/task/26274/stat : 26274 (java) S 26266 26266 2059 34821 2220 4202560 448 0 6 0 1 0 0 0 17 0 9 0 876278604 420597760 7735 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26275] ppid=26266 vsize=410740 CPUtime=0
/proc/26268/task/26275/stat : 26275 (java) S 26266 26266 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 21 0 9 0 876278604 420597760 7735 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26276] ppid=26266 vsize=410740 CPUtime=0
/proc/26268/task/26276/stat : 26276 (java) S 26266 26266 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 16 0 9 0 876278604 420597760 7735 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 413312

[startup+3.11131 s]
/proc/loadavg: 1.44 1.32 1.26 3/55 26276
/proc/meminfo: memFree=872692/1048576 swapFree=2078744/2097144
[pid=26266] ppid=26265 vsize=2572 CPUtime=0
/proc/26266/stat : 26266 (gj-paranoid-sol) S 26265 26266 2059 34821 2220 4202496 363 0 11 0 0 0 0 0 22 0 1 0 876278519 2633728 271 1283457024 134512640 135304128 4289887616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26266/statm: 643 271 232 194 0 29 0
[pid=26268] ppid=26266 vsize=410740 CPUtime=1.72
/proc/26268/stat : 26268 (java) S 26266 26266 2059 34821 2220 4202496 37552 0 243 0 166 6 0 0 21 0 9 0 876278532 420597760 37079 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26268/statm: 102685 37079 2879 10 0 96865 0
[pid=26268/tid=26269] ppid=26266 vsize=410740 CPUtime=0.57
/proc/26268/task/26269/stat : 26269 (java) R 26266 26266 2059 34821 2220 4202560 9505 0 142 0 57 0 0 0 18 0 9 0 876278555 420597760 37079 1283457024 134512640 134550932 4287732272 18446744073709551615 4115129462 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26268/tid=26270] ppid=26266 vsize=410740 CPUtime=1.1
/proc/26268/task/26270/stat : 26270 (java) S 26266 26266 2059 34821 2220 4202560 26720 0 33 0 105 5 0 0 16 0 9 0 876278578 420597760 37079 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26271] ppid=26266 vsize=410740 CPUtime=0
/proc/26268/task/26271/stat : 26271 (java) S 26266 26266 2059 34821 2220 4202560 15 0 1 0 0 0 0 0 15 0 9 0 876278583 420597760 37079 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26272] ppid=26266 vsize=410740 CPUtime=0
/proc/26268/task/26272/stat : 26272 (java) S 26266 26266 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 15 0 9 0 876278583 420597760 37079 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26273] ppid=26266 vsize=410740 CPUtime=0
/proc/26268/task/26273/stat : 26273 (java) S 26266 26266 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 9 0 876278604 420597760 37079 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26274] ppid=26266 vsize=410740 CPUtime=0.03
/proc/26268/task/26274/stat : 26274 (java) S 26266 26266 2059 34821 2220 4202560 458 0 6 0 3 0 0 0 15 0 9 0 876278604 420597760 37079 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26275] ppid=26266 vsize=410740 CPUtime=0
/proc/26268/task/26275/stat : 26275 (java) S 26266 26266 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 21 0 9 0 876278604 420597760 37079 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26276] ppid=26266 vsize=410740 CPUtime=0
/proc/26268/task/26276/stat : 26276 (java) R 26266 26266 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 876278604 420597760 37079 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 413312
heavy processes:

[startup+6.30661 s]
/proc/loadavg: 1.49 1.34 1.26 3/55 26276
/proc/meminfo: memFree=660356/1048576 swapFree=2078744/2097144
[pid=26266] ppid=26265 vsize=2572 CPUtime=0
/proc/26266/stat : 26266 (gj-paranoid-sol) S 26265 26266 2059 34821 2220 4202496 363 0 11 0 0 0 0 0 22 0 1 0 876278519 2633728 271 1283457024 134512640 135304128 4289887616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26266/statm: 643 271 232 194 0 29 0
[pid=26268] ppid=26266 vsize=411004 CPUtime=4.78
/proc/26268/stat : 26268 (java) S 26266 26266 2059 34821 2220 4202496 70444 0 245 0 456 22 0 0 21 0 9 0 876278532 420868096 69955 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26268/statm: 102751 69955 2880 10 0 96931 0
[pid=26268/tid=26269] ppid=26266 vsize=411004 CPUtime=1.4
/proc/26268/task/26269/stat : 26269 (java) R 26266 26266 2059 34821 2220 4202560 13971 0 144 0 136 4 0 0 19 0 9 0 876278555 420868096 69955 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26268/tid=26270] ppid=26266 vsize=411004 CPUtime=3.28
/proc/26268/task/26270/stat : 26270 (java) R 26266 26266 2059 34821 2220 4202560 55114 0 33 0 312 16 0 0 16 0 9 0 876278578 420868096 69955 1283457024 134512640 134550932 4287732272 18446744073709551615 4151198814 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=26268/tid=26271] ppid=26266 vsize=411004 CPUtime=0
/proc/26268/task/26271/stat : 26271 (java) S 26266 26266 2059 34821 2220 4202560 15 0 1 0 0 0 0 0 15 0 9 0 876278583 420868096 69955 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26272] ppid=26266 vsize=411004 CPUtime=0
/proc/26268/task/26272/stat : 26272 (java) S 26266 26266 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 15 0 9 0 876278583 420868096 69955 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26273] ppid=26266 vsize=411004 CPUtime=0
/proc/26268/task/26273/stat : 26273 (java) S 26266 26266 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 9 0 876278604 420868096 69955 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26274] ppid=26266 vsize=411004 CPUtime=0.06
/proc/26268/task/26274/stat : 26274 (java) S 26266 26266 2059 34821 2220 4202560 490 0 6 0 6 0 0 0 15 0 9 0 876278604 420868096 69955 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26275] ppid=26266 vsize=411004 CPUtime=0
/proc/26268/task/26275/stat : 26275 (java) S 26266 26266 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 21 0 9 0 876278604 420868096 69955 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26276] ppid=26266 vsize=411004 CPUtime=0
/proc/26268/task/26276/stat : 26276 (java) S 26266 26266 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 876278604 420868096 69955 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (KiB) 413576
heavy processes:

[startup+12.7035 s]
/proc/loadavg: 1.45 1.33 1.26 2/56 26277
/proc/meminfo: memFree=627616/1048576 swapFree=2078744/2097144
[pid=26266] ppid=26265 vsize=2572 CPUtime=0
/proc/26266/stat : 26266 (gj-paranoid-sol) S 26265 26266 2059 34821 2220 4202496 363 0 11 0 0 0 0 0 22 0 1 0 876278519 2633728 271 1283457024 134512640 135304128 4289887616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26266/statm: 643 271 232 194 0 29 0
[pid=26268] ppid=26266 vsize=430668 CPUtime=11.14
/proc/26268/stat : 26268 (java) S 26266 26266 2059 34821 2220 4202496 80519 0 246 0 1090 24 0 0 21 0 10 0 876278532 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26268/statm: 107667 75150 2883 10 0 101847 0
[pid=26268/tid=26269] ppid=26266 vsize=430668 CPUtime=6.16
/proc/26268/task/26269/stat : 26269 (java) R 26266 26266 2059 34821 2220 4202560 13993 0 145 0 612 4 0 0 25 0 10 0 876278555 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26268/tid=26270] ppid=26266 vsize=430668 CPUtime=4.85
/proc/26268/task/26270/stat : 26270 (java) R 26266 26266 2059 34821 2220 4202560 65126 0 33 0 466 19 0 0 16 0 10 0 876278578 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4152879063 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=26268/tid=26271] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26271/stat : 26271 (java) S 26266 26266 2059 34821 2220 4202560 15 0 1 0 0 0 0 0 15 0 10 0 876278583 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26272] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26272/stat : 26272 (java) S 26266 26266 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 15 0 10 0 876278583 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26273] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26273/stat : 26273 (java) S 26266 26266 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26274] ppid=26266 vsize=430668 CPUtime=0.11
/proc/26268/task/26274/stat : 26274 (java) S 26266 26266 2059 34821 2220 4202560 526 0 6 0 11 0 0 0 15 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26275] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26275/stat : 26275 (java) S 26266 26266 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 21 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26276] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26276/stat : 26276 (java) S 26266 26266 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26277] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26277/stat : 26277 (java) S 26266 26266 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 20 0 10 0 876279168 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.14
Current children cumulated vsize (KiB) 433240

[startup+25.5066 s]
/proc/loadavg: 1.42 1.33 1.26 2/56 26277
/proc/meminfo: memFree=627740/1048576 swapFree=2078744/2097144
[pid=26266] ppid=26265 vsize=2572 CPUtime=0
/proc/26266/stat : 26266 (gj-paranoid-sol) S 26265 26266 2059 34821 2220 4202496 363 0 11 0 0 0 0 0 22 0 1 0 876278519 2633728 271 1283457024 134512640 135304128 4289887616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26266/statm: 643 271 232 194 0 29 0
[pid=26268] ppid=26266 vsize=430668 CPUtime=23.94
/proc/26268/stat : 26268 (java) S 26266 26266 2059 34821 2220 4202496 95153 0 246 0 2364 30 0 0 21 0 10 0 876278532 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26268/statm: 107667 75150 2883 10 0 101847 0
[pid=26268/tid=26269] ppid=26266 vsize=430668 CPUtime=15.92
/proc/26268/task/26269/stat : 26269 (java) R 26266 26266 2059 34821 2220 4202560 13993 0 145 0 1588 4 0 0 25 0 10 0 876278555 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4115330234 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26268/tid=26270] ppid=26266 vsize=430668 CPUtime=7.88
/proc/26268/task/26270/stat : 26270 (java) S 26266 26266 2059 34821 2220 4202560 79760 0 33 0 764 24 0 0 16 0 10 0 876278578 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26271] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26271/stat : 26271 (java) S 26266 26266 2059 34821 2220 4202560 15 0 1 0 0 0 0 0 15 0 10 0 876278583 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26272] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26272/stat : 26272 (java) S 26266 26266 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 15 0 10 0 876278583 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26273] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26273/stat : 26273 (java) S 26266 26266 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26274] ppid=26266 vsize=430668 CPUtime=0.11
/proc/26268/task/26274/stat : 26274 (java) S 26266 26266 2059 34821 2220 4202560 526 0 6 0 11 0 0 0 15 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26275] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26275/stat : 26275 (java) S 26266 26266 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 21 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26276] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26276/stat : 26276 (java) S 26266 26266 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26277] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26277/stat : 26277 (java) S 26266 26266 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 20 0 10 0 876279168 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.94
Current children cumulated vsize (KiB) 433240

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

[startup+31.9081 s]
/proc/loadavg: 1.46 1.34 1.27 2/56 26277
/proc/meminfo: memFree=627740/1048576 swapFree=2078744/2097144
[pid=26266] ppid=26265 vsize=2572 CPUtime=0
/proc/26266/stat : 26266 (gj-paranoid-sol) S 26265 26266 2059 34821 2220 4202496 363 0 11 0 0 0 0 0 22 0 1 0 876278519 2633728 271 1283457024 134512640 135304128 4289887616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26266/statm: 643 271 232 194 0 29 0
[pid=26268] ppid=26266 vsize=430668 CPUtime=30.33
/proc/26268/stat : 26268 (java) S 26266 26266 2059 34821 2220 4202496 100031 0 246 0 3000 33 0 0 21 0 10 0 876278532 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26268/statm: 107667 75150 2883 10 0 101847 0
[pid=26268/tid=26269] ppid=26266 vsize=430668 CPUtime=21.44
/proc/26268/task/26269/stat : 26269 (java) R 26266 26266 2059 34821 2220 4202560 13993 0 145 0 2140 4 0 0 25 0 10 0 876278555 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4115462116 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26268/tid=26270] ppid=26266 vsize=430668 CPUtime=8.75
/proc/26268/task/26270/stat : 26270 (java) S 26266 26266 2059 34821 2220 4202560 84638 0 33 0 848 27 0 0 15 0 10 0 876278578 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26271] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26271/stat : 26271 (java) S 26266 26266 2059 34821 2220 4202560 15 0 1 0 0 0 0 0 15 0 10 0 876278583 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26272] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26272/stat : 26272 (java) S 26266 26266 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 15 0 10 0 876278583 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26273] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26273/stat : 26273 (java) S 26266 26266 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26274] ppid=26266 vsize=430668 CPUtime=0.11
/proc/26268/task/26274/stat : 26274 (java) S 26266 26266 2059 34821 2220 4202560 526 0 6 0 11 0 0 0 15 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26275] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26275/stat : 26275 (java) S 26266 26266 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 21 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26276] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26276/stat : 26276 (java) S 26266 26266 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26277] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26277/stat : 26277 (java) S 26266 26266 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 20 0 10 0 876279168 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 30.33
Current children cumulated vsize (KiB) 433240

[startup+35.1088 s]
/proc/loadavg: 1.43 1.33 1.26 3/56 26277
/proc/meminfo: memFree=627740/1048576 swapFree=2078744/2097144
[pid=26266] ppid=26265 vsize=2572 CPUtime=0
/proc/26266/stat : 26266 (gj-paranoid-sol) S 26265 26266 2059 34821 2220 4202496 363 0 11 0 0 0 0 0 22 0 1 0 876278519 2633728 271 1283457024 134512640 135304128 4289887616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26266/statm: 643 271 232 194 0 29 0
[pid=26268] ppid=26266 vsize=430668 CPUtime=33.54
/proc/26268/stat : 26268 (java) S 26266 26266 2059 34821 2220 4202496 104909 0 246 0 3321 33 0 0 21 0 10 0 876278532 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26268/statm: 107667 75150 2883 10 0 101847 0
[pid=26268/tid=26269] ppid=26266 vsize=430668 CPUtime=23.76
/proc/26268/task/26269/stat : 26269 (java) R 26266 26266 2059 34821 2220 4202560 13993 0 145 0 2372 4 0 0 25 0 10 0 876278555 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4115462096 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26268/tid=26270] ppid=26266 vsize=430668 CPUtime=9.63
/proc/26268/task/26270/stat : 26270 (java) S 26266 26266 2059 34821 2220 4202560 89516 0 33 0 936 27 0 0 16 0 10 0 876278578 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26271] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26271/stat : 26271 (java) S 26266 26266 2059 34821 2220 4202560 15 0 1 0 0 0 0 0 15 0 10 0 876278583 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26272] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26272/stat : 26272 (java) S 26266 26266 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 15 0 10 0 876278583 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26273] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26273/stat : 26273 (java) S 26266 26266 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26274] ppid=26266 vsize=430668 CPUtime=0.11
/proc/26268/task/26274/stat : 26274 (java) S 26266 26266 2059 34821 2220 4202560 526 0 6 0 11 0 0 0 15 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26275] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26275/stat : 26275 (java) S 26266 26266 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 21 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26276] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26276/stat : 26276 (java) S 26266 26266 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26277] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26277/stat : 26277 (java) S 26266 26266 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 20 0 10 0 876279168 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 33.54
Current children cumulated vsize (KiB) 433240

[startup+35.9089 s]
/proc/loadavg: 1.43 1.33 1.26 3/56 26277
/proc/meminfo: memFree=627740/1048576 swapFree=2078744/2097144
[pid=26266] ppid=26265 vsize=2572 CPUtime=0
/proc/26266/stat : 26266 (gj-paranoid-sol) S 26265 26266 2059 34821 2220 4202496 363 0 11 0 0 0 0 0 22 0 1 0 876278519 2633728 271 1283457024 134512640 135304128 4289887616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26266/statm: 643 271 232 194 0 29 0
[pid=26268] ppid=26266 vsize=430668 CPUtime=34.34
/proc/26268/stat : 26268 (java) S 26266 26266 2059 34821 2220 4202496 104909 0 246 0 3401 33 0 0 21 0 10 0 876278532 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26268/statm: 107667 75150 2883 10 0 101847 0
[pid=26268/tid=26269] ppid=26266 vsize=430668 CPUtime=24.56
/proc/26268/task/26269/stat : 26269 (java) R 26266 26266 2059 34821 2220 4202560 13993 0 145 0 2452 4 0 0 25 0 10 0 876278555 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4115470177 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26268/tid=26270] ppid=26266 vsize=430668 CPUtime=9.63
/proc/26268/task/26270/stat : 26270 (java) S 26266 26266 2059 34821 2220 4202560 89516 0 33 0 936 27 0 0 16 0 10 0 876278578 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26271] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26271/stat : 26271 (java) S 26266 26266 2059 34821 2220 4202560 15 0 1 0 0 0 0 0 15 0 10 0 876278583 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26272] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26272/stat : 26272 (java) S 26266 26266 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 15 0 10 0 876278583 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26273] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26273/stat : 26273 (java) S 26266 26266 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26274] ppid=26266 vsize=430668 CPUtime=0.11
/proc/26268/task/26274/stat : 26274 (java) S 26266 26266 2059 34821 2220 4202560 526 0 6 0 11 0 0 0 15 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26275] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26275/stat : 26275 (java) S 26266 26266 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 21 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26276] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26276/stat : 26276 (java) S 26266 26266 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26277] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26277/stat : 26277 (java) S 26266 26266 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 20 0 10 0 876279168 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 34.34
Current children cumulated vsize (KiB) 433240

[startup+36.309 s]
/proc/loadavg: 1.43 1.33 1.26 2/56 26277
/proc/meminfo: memFree=627740/1048576 swapFree=2078744/2097144
[pid=26266] ppid=26265 vsize=2572 CPUtime=0
/proc/26266/stat : 26266 (gj-paranoid-sol) S 26265 26266 2059 34821 2220 4202496 363 0 11 0 0 0 0 0 22 0 1 0 876278519 2633728 271 1283457024 134512640 135304128 4289887616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26266/statm: 643 271 232 194 0 29 0
[pid=26268] ppid=26266 vsize=430668 CPUtime=34.74
/proc/26268/stat : 26268 (java) S 26266 26266 2059 34821 2220 4202496 104909 0 246 0 3441 33 0 0 21 0 10 0 876278532 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26268/statm: 107667 75150 2883 10 0 101847 0
[pid=26268/tid=26269] ppid=26266 vsize=430668 CPUtime=24.96
/proc/26268/task/26269/stat : 26269 (java) R 26266 26266 2059 34821 2220 4202560 13993 0 145 0 2492 4 0 0 25 0 10 0 876278555 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4115452837 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26268/tid=26270] ppid=26266 vsize=430668 CPUtime=9.63
/proc/26268/task/26270/stat : 26270 (java) S 26266 26266 2059 34821 2220 4202560 89516 0 33 0 936 27 0 0 15 0 10 0 876278578 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26271] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26271/stat : 26271 (java) S 26266 26266 2059 34821 2220 4202560 15 0 1 0 0 0 0 0 15 0 10 0 876278583 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26272] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26272/stat : 26272 (java) S 26266 26266 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 15 0 10 0 876278583 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26273] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26273/stat : 26273 (java) S 26266 26266 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26274] ppid=26266 vsize=430668 CPUtime=0.11
/proc/26268/task/26274/stat : 26274 (java) S 26266 26266 2059 34821 2220 4202560 526 0 6 0 11 0 0 0 15 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26275] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26275/stat : 26275 (java) S 26266 26266 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 21 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26276] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26276/stat : 26276 (java) S 26266 26266 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26277] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26277/stat : 26277 (java) S 26266 26266 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 20 0 10 0 876279168 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 34.74
Current children cumulated vsize (KiB) 433240

[startup+36.5091 s]
/proc/loadavg: 1.43 1.33 1.26 2/56 26277
/proc/meminfo: memFree=627740/1048576 swapFree=2078744/2097144
[pid=26266] ppid=26265 vsize=2572 CPUtime=0
/proc/26266/stat : 26266 (gj-paranoid-sol) S 26265 26266 2059 34821 2220 4202496 363 0 11 0 0 0 0 0 22 0 1 0 876278519 2633728 271 1283457024 134512640 135304128 4289887616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26266/statm: 643 271 232 194 0 29 0
[pid=26268] ppid=26266 vsize=430668 CPUtime=34.94
/proc/26268/stat : 26268 (java) S 26266 26266 2059 34821 2220 4202496 104909 0 246 0 3461 33 0 0 21 0 10 0 876278532 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26268/statm: 107667 75150 2883 10 0 101847 0
[pid=26268/tid=26269] ppid=26266 vsize=430668 CPUtime=25.16
/proc/26268/task/26269/stat : 26269 (java) R 26266 26266 2059 34821 2220 4202560 13993 0 145 0 2512 4 0 0 25 0 10 0 876278555 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4115462116 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26268/tid=26270] ppid=26266 vsize=430668 CPUtime=9.63
/proc/26268/task/26270/stat : 26270 (java) S 26266 26266 2059 34821 2220 4202560 89516 0 33 0 936 27 0 0 15 0 10 0 876278578 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26271] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26271/stat : 26271 (java) S 26266 26266 2059 34821 2220 4202560 15 0 1 0 0 0 0 0 15 0 10 0 876278583 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26272] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26272/stat : 26272 (java) S 26266 26266 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 15 0 10 0 876278583 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26273] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26273/stat : 26273 (java) S 26266 26266 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26274] ppid=26266 vsize=430668 CPUtime=0.11
/proc/26268/task/26274/stat : 26274 (java) S 26266 26266 2059 34821 2220 4202560 526 0 6 0 11 0 0 0 15 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26275] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26275/stat : 26275 (java) S 26266 26266 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 21 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26276] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26276/stat : 26276 (java) S 26266 26266 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876278604 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=26268/tid=26277] ppid=26266 vsize=430668 CPUtime=0
/proc/26268/task/26277/stat : 26277 (java) R 26266 26266 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876279168 441004032 75150 1283457024 134512640 134550932 4287732272 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 34.94
Current children cumulated vsize (KiB) 433240

Child status: 0
Real time (s): 36.6014
CPU time (s): 34.9782
CPU user time (s): 34.6302
CPU system time (s): 0.348021
CPU usage (%): 95.5652
Max. virtual memory (cumulated for all children) (KiB): 433304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.6302
system time used= 0.348021
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105293
page faults= 257
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1743
involuntary context switches= 1767

runsolver used 0 second user time and 0 second system time

The end