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/rand316.sarge-etch-lenny.cudf.sarge-etch-lenny.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/icse/sarge-etch-lenny/rand316.sarge-etch-lenny.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/rand316.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.14 1.09 1.07 5/45 11779
/proc/meminfo: memFree=678496/1048576 swapFree=2078820/2097144
[pid=11778] ppid=11777 vsize=2576 CPUtime=0
/proc/11778/stat : 11778 (gj-paranoid-sol) R 11777 11778 2059 34821 2220 4202496 357 0 0 0 0 0 0 0 25 0 1 0 875320442 2637824 271 1283457024 134512640 135304128 4287460032 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/11778/statm: 644 271 231 194 0 30 0
[pid=11779] ppid=11778 vsize=2576 CPUtime=0
/proc/11779/stat : 11779 (gj-paranoid-sol) R 11778 11778 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 1 0 875320442 2637824 40 1283457024 134512640 135304128 4287460032 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/11779/statm: 644 40 0 194 0 30 0

[startup+0.125097 s]
/proc/loadavg: 1.14 1.09 1.07 5/45 11779
/proc/meminfo: memFree=678496/1048576 swapFree=2078820/2097144
[pid=11778] ppid=11777 vsize=2576 CPUtime=0
/proc/11778/stat : 11778 (gj-paranoid-sol) S 11777 11778 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875320442 2637824 272 1283457024 134512640 135304128 4287460032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11778/statm: 644 272 232 194 0 30 0
[pid=11779] ppid=11778 vsize=409676 CPUtime=0.13
/proc/11779/stat : 11779 (java) S 11778 11778 2059 34821 2220 4202496 3600 0 1 0 11 2 0 0 25 0 9 0 875320442 419508224 3064 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11779/statm: 102419 3064 1732 10 0 96599 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 412252

[startup+0.205111 s]
/proc/loadavg: 1.14 1.09 1.07 5/45 11779
/proc/meminfo: memFree=678496/1048576 swapFree=2078820/2097144
[pid=11778] ppid=11777 vsize=2576 CPUtime=0
/proc/11778/stat : 11778 (gj-paranoid-sol) S 11777 11778 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875320442 2637824 272 1283457024 134512640 135304128 4287460032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11778/statm: 644 272 232 194 0 30 0
[pid=11779] ppid=11778 vsize=409676 CPUtime=0.21
/proc/11779/stat : 11779 (java) S 11778 11778 2059 34821 2220 4202496 3832 0 1 0 19 2 0 0 25 0 9 0 875320442 419508224 3296 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11779/statm: 102419 3296 1732 10 0 96599 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412252

[startup+0.305148 s]
/proc/loadavg: 1.14 1.09 1.07 5/45 11779
/proc/meminfo: memFree=678496/1048576 swapFree=2078820/2097144
[pid=11778] ppid=11777 vsize=2576 CPUtime=0
/proc/11778/stat : 11778 (gj-paranoid-sol) S 11777 11778 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875320442 2637824 272 1283457024 134512640 135304128 4287460032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11778/statm: 644 272 232 194 0 30 0
[pid=11779] ppid=11778 vsize=410108 CPUtime=0.31
/proc/11779/stat : 11779 (java) S 11778 11778 2059 34821 2220 4202496 4355 0 1 0 29 2 0 0 25 0 9 0 875320442 419950592 3819 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11779/statm: 102527 3819 1874 10 0 96707 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 412684

[startup+0.705293 s]
/proc/loadavg: 1.14 1.09 1.07 5/45 11779
/proc/meminfo: memFree=678496/1048576 swapFree=2078820/2097144
[pid=11778] ppid=11777 vsize=2576 CPUtime=0
/proc/11778/stat : 11778 (gj-paranoid-sol) S 11777 11778 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875320442 2637824 272 1283457024 134512640 135304128 4287460032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11778/statm: 644 272 232 194 0 30 0
[pid=11779] ppid=11778 vsize=410708 CPUtime=0.71
/proc/11779/stat : 11779 (java) S 11778 11778 2059 34821 2220 4202496 12925 0 1 0 69 2 0 0 25 0 9 0 875320442 420564992 12210 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11779/statm: 102677 12210 2878 10 0 96857 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 413284

[startup+1.50557 s]
/proc/loadavg: 1.14 1.09 1.07 2/54 11788
/proc/meminfo: memFree=617964/1048576 swapFree=2078820/2097144
[pid=11778] ppid=11777 vsize=2576 CPUtime=0
/proc/11778/stat : 11778 (gj-paranoid-sol) S 11777 11778 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875320442 2637824 272 1283457024 134512640 135304128 4287460032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11778/statm: 644 272 232 194 0 30 0
[pid=11779] ppid=11778 vsize=410840 CPUtime=1.5
/proc/11779/stat : 11779 (java) S 11778 11778 2059 34821 2220 4202496 28373 0 1 0 144 6 0 0 25 0 9 0 875320442 420700160 27658 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11779/statm: 102710 27658 2879 10 0 96890 0
[pid=11779/tid=11781] ppid=11778 vsize=410840 CPUtime=0.74
/proc/11779/task/11781/stat : 11781 (java) R 11778 11778 2059 34821 2220 4202560 6753 0 1 0 74 0 0 0 25 0 9 0 875320443 420700160 27658 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11779/tid=11782] ppid=11778 vsize=410840 CPUtime=0.7
/proc/11779/task/11782/stat : 11782 (java) R 11778 11778 2059 34821 2220 4202560 20229 0 0 0 66 4 0 0 20 0 9 0 875320444 420700160 27658 1283457024 134512640 134550932 4290292944 18446744073709551615 4152551856 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=11779/tid=11783] ppid=11778 vsize=410840 CPUtime=0
/proc/11779/task/11783/stat : 11783 (java) S 11778 11778 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 20 0 9 0 875320444 420700160 27658 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11784] ppid=11778 vsize=410840 CPUtime=0
/proc/11779/task/11784/stat : 11784 (java) S 11778 11778 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 22 0 9 0 875320444 420700160 27658 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11785] ppid=11778 vsize=410840 CPUtime=0
/proc/11779/task/11785/stat : 11785 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875320445 420700160 27658 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11786] ppid=11778 vsize=410840 CPUtime=0.02
/proc/11779/task/11786/stat : 11786 (java) S 11778 11778 2059 34821 2220 4202560 456 0 0 0 2 0 0 0 16 0 9 0 875320445 420700160 27658 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11787] ppid=11778 vsize=410840 CPUtime=0
/proc/11779/task/11787/stat : 11787 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875320445 420700160 27658 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11788] ppid=11778 vsize=410840 CPUtime=0
/proc/11779/task/11788/stat : 11788 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 875320445 420700160 27658 1283457024 134512640 134550932 4290292944 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) 413416

[startup+3.10604 s]
/proc/loadavg: 1.14 1.09 1.07 3/54 11788
/proc/meminfo: memFree=540836/1048576 swapFree=2078820/2097144
[pid=11778] ppid=11777 vsize=2576 CPUtime=0
/proc/11778/stat : 11778 (gj-paranoid-sol) S 11777 11778 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875320442 2637824 272 1283457024 134512640 135304128 4287460032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11778/statm: 644 272 232 194 0 30 0
[pid=11779] ppid=11778 vsize=410840 CPUtime=3.1
/proc/11779/stat : 11779 (java) S 11778 11778 2059 34821 2220 4202496 51220 0 1 0 293 17 0 0 25 0 9 0 875320442 420700160 50491 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11779/statm: 102710 50491 2881 10 0 96890 0
[pid=11779/tid=11781] ppid=11778 vsize=410840 CPUtime=1.34
/proc/11779/task/11781/stat : 11781 (java) R 11778 11778 2059 34821 2220 4202560 14119 0 1 0 127 7 0 0 25 0 9 0 875320443 420700160 50491 1283457024 134512640 134550932 4290292944 18446744073709551615 4115325341 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11779/tid=11782] ppid=11778 vsize=410840 CPUtime=1.68
/proc/11779/task/11782/stat : 11782 (java) S 11778 11778 2059 34821 2220 4202560 35680 0 0 0 160 8 0 0 16 0 9 0 875320444 420700160 50491 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11783] ppid=11778 vsize=410840 CPUtime=0
/proc/11779/task/11783/stat : 11783 (java) S 11778 11778 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 9 0 875320444 420700160 50491 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11784] ppid=11778 vsize=410840 CPUtime=0
/proc/11779/task/11784/stat : 11784 (java) S 11778 11778 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 9 0 875320444 420700160 50491 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11785] ppid=11778 vsize=410840 CPUtime=0
/proc/11779/task/11785/stat : 11785 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875320445 420700160 50491 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11786] ppid=11778 vsize=410840 CPUtime=0.06
/proc/11779/task/11786/stat : 11786 (java) S 11778 11778 2059 34821 2220 4202560 486 0 0 0 6 0 0 0 15 0 9 0 875320445 420700160 50491 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11787] ppid=11778 vsize=410840 CPUtime=0
/proc/11779/task/11787/stat : 11787 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875320445 420700160 50491 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11788] ppid=11778 vsize=410840 CPUtime=0
/proc/11779/task/11788/stat : 11788 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 875320445 420700160 50491 1283457024 134512640 134550932 4290292944 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) 413416

[startup+6.30683 s]
/proc/loadavg: 1.29 1.12 1.08 2/55 11789
/proc/meminfo: memFree=472256/1048576 swapFree=2078820/2097144
[pid=11778] ppid=11777 vsize=2576 CPUtime=0
/proc/11778/stat : 11778 (gj-paranoid-sol) S 11777 11778 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875320442 2637824 272 1283457024 134512640 135304128 4287460032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11778/statm: 644 272 232 194 0 30 0
[pid=11779] ppid=11778 vsize=411296 CPUtime=6.3
/proc/11779/stat : 11779 (java) S 11778 11778 2059 34821 2220 4202496 54965 0 1 0 611 19 0 0 25 0 10 0 875320442 421167104 54228 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11779/statm: 102824 54228 2883 10 0 97004 0
[pid=11779/tid=11781] ppid=11778 vsize=411296 CPUtime=4.02
/proc/11779/task/11781/stat : 11781 (java) R 11778 11778 2059 34821 2220 4202560 14142 0 1 0 395 7 0 0 25 0 10 0 875320443 421167104 54228 1283457024 134512640 134550932 4290292944 18446744073709551615 4115412001 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11779/tid=11782] ppid=11778 vsize=411296 CPUtime=2.12
/proc/11779/task/11782/stat : 11782 (java) S 11778 11778 2059 34821 2220 4202560 39355 0 0 0 202 10 0 0 16 0 10 0 875320444 421167104 54228 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11783] ppid=11778 vsize=411296 CPUtime=0
/proc/11779/task/11783/stat : 11783 (java) S 11778 11778 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875320444 421167104 54228 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11784] ppid=11778 vsize=411296 CPUtime=0
/proc/11779/task/11784/stat : 11784 (java) S 11778 11778 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875320444 421167104 54228 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11785] ppid=11778 vsize=411296 CPUtime=0
/proc/11779/task/11785/stat : 11785 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875320445 421167104 54228 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11786] ppid=11778 vsize=411296 CPUtime=0.13
/proc/11779/task/11786/stat : 11786 (java) S 11778 11778 2059 34821 2220 4202560 528 0 0 0 13 0 0 0 15 0 10 0 875320445 421167104 54228 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11787] ppid=11778 vsize=411296 CPUtime=0
/proc/11779/task/11787/stat : 11787 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875320445 421167104 54228 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11788] ppid=11778 vsize=411296 CPUtime=0
/proc/11779/task/11788/stat : 11788 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875320445 421167104 54228 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11789] ppid=11778 vsize=411296 CPUtime=0
/proc/11779/task/11789/stat : 11789 (java) S 11778 11778 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875320764 421167104 54228 1283457024 134512640 134550932 4290292944 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) 413872

[startup+12.7085 s]
/proc/loadavg: 1.26 1.12 1.08 3/55 11789
/proc/meminfo: memFree=468412/1048576 swapFree=2078820/2097144
[pid=11778] ppid=11777 vsize=2576 CPUtime=0
/proc/11778/stat : 11778 (gj-paranoid-sol) S 11777 11778 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875320442 2637824 272 1283457024 134512640 135304128 4287460032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11778/statm: 644 272 232 194 0 30 0
[pid=11779] ppid=11778 vsize=420792 CPUtime=12.69
/proc/11779/stat : 11779 (java) S 11778 11778 2059 34821 2220 4202496 60499 0 1 0 1250 19 0 0 25 0 10 0 875320442 430891008 57355 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11779/statm: 105198 57355 2883 10 0 99378 0
[pid=11779/tid=11781] ppid=11778 vsize=420792 CPUtime=9.19
/proc/11779/task/11781/stat : 11781 (java) R 11778 11778 2059 34821 2220 4202560 14142 0 1 0 912 7 0 0 25 0 10 0 875320443 430891008 57355 1283457024 134512640 134550932 4290292944 18446744073709551615 4115413332 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11779/tid=11782] ppid=11778 vsize=420792 CPUtime=3.35
/proc/11779/task/11782/stat : 11782 (java) S 11778 11778 2059 34821 2220 4202560 44888 0 0 0 325 10 0 0 16 0 10 0 875320444 430891008 57355 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11783] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11783/stat : 11783 (java) S 11778 11778 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875320444 430891008 57355 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11784] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11784/stat : 11784 (java) S 11778 11778 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875320444 430891008 57355 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11785] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11785/stat : 11785 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875320445 430891008 57355 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11786] ppid=11778 vsize=420792 CPUtime=0.13
/proc/11779/task/11786/stat : 11786 (java) S 11778 11778 2059 34821 2220 4202560 529 0 0 0 13 0 0 0 15 0 10 0 875320445 430891008 57355 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11787] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11787/stat : 11787 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875320445 430891008 57355 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11788] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11788/stat : 11788 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875320445 430891008 57355 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11789] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11789/stat : 11789 (java) S 11778 11778 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875320764 430891008 57355 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 423368

[startup+25.5117 s]
/proc/loadavg: 1.34 1.14 1.09 2/55 11789
/proc/meminfo: memFree=456632/1048576 swapFree=2078820/2097144
[pid=11778] ppid=11777 vsize=2576 CPUtime=0
/proc/11778/stat : 11778 (gj-paranoid-sol) S 11777 11778 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875320442 2637824 272 1283457024 134512640 135304128 4287460032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11778/statm: 644 272 232 194 0 30 0
[pid=11779] ppid=11778 vsize=420792 CPUtime=25.49
/proc/11779/stat : 11779 (java) S 11778 11778 2059 34821 2220 4202496 66056 0 1 0 2528 21 0 0 25 0 10 0 875320442 430891008 58098 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11779/statm: 105198 58098 2883 10 0 99378 0
[pid=11779/tid=11781] ppid=11778 vsize=420792 CPUtime=20.83
/proc/11779/task/11781/stat : 11781 (java) R 11778 11778 2059 34821 2220 4202560 14142 0 1 0 2076 7 0 0 25 0 10 0 875320443 430891008 58098 1283457024 134512640 134550932 4290292944 18446744073709551615 4115469274 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11779/tid=11782] ppid=11778 vsize=420792 CPUtime=4.5
/proc/11779/task/11782/stat : 11782 (java) S 11778 11778 2059 34821 2220 4202560 50445 0 0 0 438 12 0 0 15 0 10 0 875320444 430891008 58098 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11783] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11783/stat : 11783 (java) S 11778 11778 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875320444 430891008 58098 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11784] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11784/stat : 11784 (java) S 11778 11778 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875320444 430891008 58098 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11785] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11785/stat : 11785 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875320445 430891008 58098 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11786] ppid=11778 vsize=420792 CPUtime=0.13
/proc/11779/task/11786/stat : 11786 (java) S 11778 11778 2059 34821 2220 4202560 529 0 0 0 13 0 0 0 15 0 10 0 875320445 430891008 58098 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11787] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11787/stat : 11787 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875320445 430891008 58098 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11788] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11788/stat : 11788 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875320445 430891008 58098 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11789] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11789/stat : 11789 (java) S 11778 11778 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875320764 430891008 58098 1283457024 134512640 134550932 4290292944 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) 423368

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

[startup+25.6117 s]
/proc/loadavg: 1.34 1.14 1.09 2/55 11789
/proc/meminfo: memFree=456632/1048576 swapFree=2078820/2097144
[pid=11778] ppid=11777 vsize=2576 CPUtime=0
/proc/11778/stat : 11778 (gj-paranoid-sol) S 11777 11778 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875320442 2637824 272 1283457024 134512640 135304128 4287460032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11778/statm: 644 272 232 194 0 30 0
[pid=11779] ppid=11778 vsize=420792 CPUtime=25.59
/proc/11779/stat : 11779 (java) S 11778 11778 2059 34821 2220 4202496 66056 0 1 0 2538 21 0 0 25 0 10 0 875320442 430891008 58098 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11779/statm: 105198 58098 2883 10 0 99378 0
[pid=11779/tid=11781] ppid=11778 vsize=420792 CPUtime=20.93
/proc/11779/task/11781/stat : 11781 (java) R 11778 11778 2059 34821 2220 4202560 14142 0 1 0 2086 7 0 0 25 0 10 0 875320443 430891008 58098 1283457024 134512640 134550932 4290292944 18446744073709551615 4115546533 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11779/tid=11782] ppid=11778 vsize=420792 CPUtime=4.5
/proc/11779/task/11782/stat : 11782 (java) S 11778 11778 2059 34821 2220 4202560 50445 0 0 0 438 12 0 0 15 0 10 0 875320444 430891008 58098 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11783] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11783/stat : 11783 (java) S 11778 11778 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875320444 430891008 58098 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11784] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11784/stat : 11784 (java) S 11778 11778 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875320444 430891008 58098 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11785] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11785/stat : 11785 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875320445 430891008 58098 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11786] ppid=11778 vsize=420792 CPUtime=0.13
/proc/11779/task/11786/stat : 11786 (java) S 11778 11778 2059 34821 2220 4202560 529 0 0 0 13 0 0 0 15 0 10 0 875320445 430891008 58098 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11787] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11787/stat : 11787 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875320445 430891008 58098 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11788] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11788/stat : 11788 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875320445 430891008 58098 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11789] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11789/stat : 11789 (java) S 11778 11778 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875320764 430891008 58098 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 423368

[startup+28.8126 s]
/proc/loadavg: 1.39 1.16 1.10 2/55 11789
/proc/meminfo: memFree=455020/1048576 swapFree=2078820/2097144
[pid=11778] ppid=11777 vsize=2576 CPUtime=0
/proc/11778/stat : 11778 (gj-paranoid-sol) S 11777 11778 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875320442 2637824 272 1283457024 134512640 135304128 4287460032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11778/statm: 644 272 232 194 0 30 0
[pid=11779] ppid=11778 vsize=420792 CPUtime=28.79
/proc/11779/stat : 11779 (java) S 11778 11778 2059 34821 2220 4202496 68873 0 1 0 2858 21 0 0 25 0 10 0 875320442 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11779/statm: 105198 58508 2883 10 0 99378 0
[pid=11779/tid=11781] ppid=11778 vsize=420792 CPUtime=23.55
/proc/11779/task/11781/stat : 11781 (java) R 11778 11778 2059 34821 2220 4202560 14142 0 1 0 2348 7 0 0 25 0 10 0 875320443 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4115493360 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11779/tid=11782] ppid=11778 vsize=420792 CPUtime=5.08
/proc/11779/task/11782/stat : 11782 (java) S 11778 11778 2059 34821 2220 4202560 53262 0 0 0 496 12 0 0 15 0 10 0 875320444 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11783] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11783/stat : 11783 (java) S 11778 11778 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875320444 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11784] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11784/stat : 11784 (java) S 11778 11778 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875320444 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11785] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11785/stat : 11785 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875320445 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11786] ppid=11778 vsize=420792 CPUtime=0.13
/proc/11779/task/11786/stat : 11786 (java) S 11778 11778 2059 34821 2220 4202560 529 0 0 0 13 0 0 0 15 0 10 0 875320445 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11787] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11787/stat : 11787 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875320445 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11788] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11788/stat : 11788 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875320445 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11789] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11789/stat : 11789 (java) S 11778 11778 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875320764 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.79
Current children cumulated vsize (KiB) 423368

[startup+30.413 s]
/proc/loadavg: 1.39 1.16 1.10 2/55 11789
/proc/meminfo: memFree=454896/1048576 swapFree=2078820/2097144
[pid=11778] ppid=11777 vsize=2576 CPUtime=0
/proc/11778/stat : 11778 (gj-paranoid-sol) S 11777 11778 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875320442 2637824 272 1283457024 134512640 135304128 4287460032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11778/statm: 644 272 232 194 0 30 0
[pid=11779] ppid=11778 vsize=420792 CPUtime=30.39
/proc/11779/stat : 11779 (java) S 11778 11778 2059 34821 2220 4202496 68873 0 1 0 3018 21 0 0 25 0 10 0 875320442 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11779/statm: 105198 58508 2883 10 0 99378 0
[pid=11779/tid=11781] ppid=11778 vsize=420792 CPUtime=25.15
/proc/11779/task/11781/stat : 11781 (java) R 11778 11778 2059 34821 2220 4202560 14142 0 1 0 2508 7 0 0 25 0 10 0 875320443 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4115411989 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11779/tid=11782] ppid=11778 vsize=420792 CPUtime=5.08
/proc/11779/task/11782/stat : 11782 (java) S 11778 11778 2059 34821 2220 4202560 53262 0 0 0 496 12 0 0 15 0 10 0 875320444 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11783] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11783/stat : 11783 (java) S 11778 11778 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875320444 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11784] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11784/stat : 11784 (java) S 11778 11778 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875320444 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11785] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11785/stat : 11785 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875320445 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11786] ppid=11778 vsize=420792 CPUtime=0.13
/proc/11779/task/11786/stat : 11786 (java) S 11778 11778 2059 34821 2220 4202560 529 0 0 0 13 0 0 0 15 0 10 0 875320445 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11787] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11787/stat : 11787 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875320445 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11788] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11788/stat : 11788 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875320445 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11789] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11789/stat : 11789 (java) S 11778 11778 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875320764 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 30.39
Current children cumulated vsize (KiB) 423368

[startup+32.0335 s]
/proc/loadavg: 1.39 1.16 1.10 2/55 11789
/proc/meminfo: memFree=454896/1048576 swapFree=2078820/2097144
[pid=11778] ppid=11777 vsize=2576 CPUtime=0
/proc/11778/stat : 11778 (gj-paranoid-sol) S 11777 11778 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875320442 2637824 272 1283457024 134512640 135304128 4287460032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11778/statm: 644 272 232 194 0 30 0
[pid=11779] ppid=11778 vsize=411156 CPUtime=32.01
/proc/11779/stat : 11779 (java) S 11778 11778 2059 34821 2220 4202496 68873 0 1 0 3180 21 0 0 25 0 10 0 875320442 421023744 56100 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11779/statm: 102789 56100 2883 10 0 96969 0
[pid=11779/tid=11781] ppid=11778 vsize=411156 CPUtime=26.67
/proc/11779/task/11781/stat : 11781 (java) R 11778 11778 2059 34821 2220 4202560 14142 0 1 0 2660 7 0 0 25 0 10 0 875320443 421023744 56100 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11779/tid=11782] ppid=11778 vsize=411156 CPUtime=5.18
/proc/11779/task/11782/stat : 11782 (java) R 11778 11778 2059 34821 2220 4202560 53262 0 0 0 506 12 0 0 15 0 10 0 875320444 421023744 56100 1283457024 134512640 134550932 4290292944 18446744073709551615 4151271915 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=11779/tid=11783] ppid=11778 vsize=411156 CPUtime=0
/proc/11779/task/11783/stat : 11783 (java) S 11778 11778 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875320444 421023744 56100 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11784] ppid=11778 vsize=411156 CPUtime=0
/proc/11779/task/11784/stat : 11784 (java) S 11778 11778 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875320444 421023744 56100 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11785] ppid=11778 vsize=411156 CPUtime=0
/proc/11779/task/11785/stat : 11785 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875320445 421023744 56100 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11786] ppid=11778 vsize=411156 CPUtime=0.13
/proc/11779/task/11786/stat : 11786 (java) S 11778 11778 2059 34821 2220 4202560 529 0 0 0 13 0 0 0 15 0 10 0 875320445 421023744 56100 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11787] ppid=11778 vsize=411156 CPUtime=0
/proc/11779/task/11787/stat : 11787 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875320445 421023744 56100 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11788] ppid=11778 vsize=411156 CPUtime=0
/proc/11779/task/11788/stat : 11788 (java) R 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875320445 421023744 56100 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11779/tid=11789] ppid=11778 vsize=411156 CPUtime=0
/proc/11779/task/11789/stat : 11789 (java) S 11778 11778 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875320764 421023744 56100 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.01
Current children cumulated vsize (KiB) 413732

[startup+32.8137 s]
/proc/loadavg: 1.39 1.16 1.10 2/55 11789
/proc/meminfo: memFree=454896/1048576 swapFree=2078820/2097144
[pid=11778] ppid=11777 vsize=2576 CPUtime=0
/proc/11778/stat : 11778 (gj-paranoid-sol) S 11777 11778 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875320442 2637824 272 1283457024 134512640 135304128 4287460032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11778/statm: 644 272 232 194 0 30 0
[pid=11779] ppid=11778 vsize=420792 CPUtime=32.79
/proc/11779/stat : 11779 (java) S 11778 11778 2059 34821 2220 4202496 71281 0 1 0 3258 21 0 0 25 0 10 0 875320442 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11779/statm: 105198 58508 2883 10 0 99378 0
[pid=11779/tid=11781] ppid=11778 vsize=420792 CPUtime=26.97
/proc/11779/task/11781/stat : 11781 (java) R 11778 11778 2059 34821 2220 4202560 14142 0 1 0 2690 7 0 0 25 0 10 0 875320443 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4115474077 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11779/tid=11782] ppid=11778 vsize=420792 CPUtime=5.66
/proc/11779/task/11782/stat : 11782 (java) S 11778 11778 2059 34821 2220 4202560 55670 0 0 0 554 12 0 0 16 0 10 0 875320444 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11783] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11783/stat : 11783 (java) S 11778 11778 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875320444 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11784] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11784/stat : 11784 (java) S 11778 11778 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875320444 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11785] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11785/stat : 11785 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875320445 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11786] ppid=11778 vsize=420792 CPUtime=0.13
/proc/11779/task/11786/stat : 11786 (java) S 11778 11778 2059 34821 2220 4202560 529 0 0 0 13 0 0 0 15 0 10 0 875320445 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11787] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11787/stat : 11787 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875320445 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11788] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11788/stat : 11788 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875320445 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11789] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11789/stat : 11789 (java) S 11778 11778 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875320764 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.79
Current children cumulated vsize (KiB) 423368

[startup+33.2138 s]
/proc/loadavg: 1.36 1.15 1.10 2/55 11789
/proc/meminfo: memFree=454896/1048576 swapFree=2078820/2097144
[pid=11778] ppid=11777 vsize=2576 CPUtime=0
/proc/11778/stat : 11778 (gj-paranoid-sol) S 11777 11778 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875320442 2637824 272 1283457024 134512640 135304128 4287460032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11778/statm: 644 272 232 194 0 30 0
[pid=11779] ppid=11778 vsize=420792 CPUtime=33.19
/proc/11779/stat : 11779 (java) S 11778 11778 2059 34821 2220 4202496 71281 0 1 0 3298 21 0 0 25 0 10 0 875320442 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11779/statm: 105198 58508 2883 10 0 99378 0
[pid=11779/tid=11781] ppid=11778 vsize=420792 CPUtime=27.37
/proc/11779/task/11781/stat : 11781 (java) R 11778 11778 2059 34821 2220 4202560 14142 0 1 0 2730 7 0 0 25 0 10 0 875320443 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4115460420 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11779/tid=11782] ppid=11778 vsize=420792 CPUtime=5.66
/proc/11779/task/11782/stat : 11782 (java) S 11778 11778 2059 34821 2220 4202560 55670 0 0 0 554 12 0 0 16 0 10 0 875320444 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11783] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11783/stat : 11783 (java) S 11778 11778 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875320444 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11784] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11784/stat : 11784 (java) S 11778 11778 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875320444 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11785] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11785/stat : 11785 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875320445 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11786] ppid=11778 vsize=420792 CPUtime=0.13
/proc/11779/task/11786/stat : 11786 (java) S 11778 11778 2059 34821 2220 4202560 529 0 0 0 13 0 0 0 15 0 10 0 875320445 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11787] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11787/stat : 11787 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875320445 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11788] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11788/stat : 11788 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875320445 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11789] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11789/stat : 11789 (java) S 11778 11778 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875320764 430891008 58508 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 33.19
Current children cumulated vsize (KiB) 423368

[startup+33.3038 s]
/proc/loadavg: 1.36 1.15 1.10 2/55 11789
/proc/meminfo: memFree=454896/1048576 swapFree=2078820/2097144
[pid=11778] ppid=11777 vsize=2576 CPUtime=0
/proc/11778/stat : 11778 (gj-paranoid-sol) S 11777 11778 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875320442 2637824 272 1283457024 134512640 135304128 4287460032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11778/statm: 644 272 232 194 0 30 0
[pid=11779] ppid=11778 vsize=420792 CPUtime=33.28
/proc/11779/stat : 11779 (java) S 11778 11778 2059 34821 2220 4202496 71284 0 1 0 3307 21 0 0 25 0 9 0 875320442 430891008 58511 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11779/statm: 105198 58511 2883 10 0 99378 0
[pid=11779/tid=11781] ppid=11778 vsize=420792 CPUtime=27.46
/proc/11779/task/11781/stat : 11781 (java) R 11778 11778 2059 34821 2220 4202560 14144 0 1 0 2739 7 0 0 25 0 9 0 875320443 430891008 58511 1283457024 134512640 134550932 4290292944 18446744073709551615 4115326492 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11779/tid=11782] ppid=11778 vsize=420792 CPUtime=5.66
/proc/11779/task/11782/stat : 11782 (java) S 11778 11778 2059 34821 2220 4202560 55670 0 0 0 554 12 0 0 16 0 9 0 875320444 430891008 58511 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11783] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11783/stat : 11783 (java) S 11778 11778 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 9 0 875320444 430891008 58511 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11784] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11784/stat : 11784 (java) S 11778 11778 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 9 0 875320444 430891008 58511 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11785] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11785/stat : 11785 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875320445 430891008 58511 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11786] ppid=11778 vsize=420792 CPUtime=0.13
/proc/11779/task/11786/stat : 11786 (java) S 11778 11778 2059 34821 2220 4202560 530 0 0 0 13 0 0 0 15 0 9 0 875320445 430891008 58511 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11787] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11787/stat : 11787 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875320445 430891008 58511 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
[pid=11779/tid=11788] ppid=11778 vsize=420792 CPUtime=0
/proc/11779/task/11788/stat : 11788 (java) S 11778 11778 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 875320445 430891008 58511 1283457024 134512640 134550932 4290292944 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 33.28
Current children cumulated vsize (KiB) 423368

Child status: 0
Real time (s): 33.3388
CPU time (s): 33.3141
CPU user time (s): 33.0821
CPU system time (s): 0.232014
CPU usage (%): 99.9258
Max. virtual memory (cumulated for all children) (KiB): 423376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.0821
system time used= 0.232014
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71677
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= 1272
involuntary context switches= 1611

runsolver used 0 second user time and 0 second system time

The end