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-squeeze-sid.cudf.sarge-etch-lenny-squeeze-sid.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/icse/sarge-etch-lenny-squeeze-sid/rand316.sarge-etch-lenny-squeeze-sid.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/rand316.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.04 1.11 1.09 5/47 11268
/proc/meminfo: memFree=621812/1048576 swapFree=2078768/2097144
[pid=11267] ppid=11266 vsize=2572 CPUtime=0
/proc/11267/stat : 11267 (gj-paranoid-sol) R 11266 11267 2059 34821 2220 4202496 357 0 0 0 0 0 0 0 25 0 1 0 875256134 2633728 270 1283457024 134512640 135304128 4289940720 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/11267/statm: 643 270 231 194 0 29 0
[pid=11268] ppid=11267 vsize=2572 CPUtime=0
/proc/11268/stat : 11268 (gj-paranoid-sol) R 11267 11267 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 1 0 875256134 2633728 39 1283457024 134512640 135304128 4289940720 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/11268/statm: 643 39 0 194 0 29 0

[startup+0.205289 s]
/proc/loadavg: 1.04 1.11 1.09 5/47 11268
/proc/meminfo: memFree=621812/1048576 swapFree=2078768/2097144
[pid=11267] ppid=11266 vsize=2572 CPUtime=0
/proc/11267/stat : 11267 (gj-paranoid-sol) S 11266 11267 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 875256134 2633728 271 1283457024 134512640 135304128 4289940720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11267/statm: 643 271 232 194 0 29 0
[pid=11268] ppid=11267 vsize=409672 CPUtime=0.2
/proc/11268/stat : 11268 (java) S 11267 11267 2059 34821 2220 4202496 3811 0 1 0 18 2 0 0 25 0 9 0 875256134 419504128 3275 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11268/statm: 102418 3275 1732 10 0 96598 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412244

[startup+0.305318 s]
/proc/loadavg: 1.04 1.11 1.09 5/47 11268
/proc/meminfo: memFree=621812/1048576 swapFree=2078768/2097144
[pid=11267] ppid=11266 vsize=2572 CPUtime=0
/proc/11267/stat : 11267 (gj-paranoid-sol) S 11266 11267 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 875256134 2633728 271 1283457024 134512640 135304128 4289940720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11267/statm: 643 271 232 194 0 29 0
[pid=11268] ppid=11267 vsize=410104 CPUtime=0.3
/proc/11268/stat : 11268 (java) S 11267 11267 2059 34821 2220 4202496 4315 0 1 0 28 2 0 0 25 0 9 0 875256134 419946496 3779 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11268/statm: 102526 3779 1871 10 0 96706 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412676

[startup+0.405375 s]
/proc/loadavg: 1.04 1.11 1.09 5/47 11268
/proc/meminfo: memFree=621812/1048576 swapFree=2078768/2097144
[pid=11267] ppid=11266 vsize=2572 CPUtime=0
/proc/11267/stat : 11267 (gj-paranoid-sol) S 11266 11267 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 875256134 2633728 271 1283457024 134512640 135304128 4289940720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11267/statm: 643 271 232 194 0 29 0
[pid=11268] ppid=11267 vsize=410104 CPUtime=0.4
/proc/11268/stat : 11268 (java) S 11267 11267 2059 34821 2220 4202496 6179 0 1 0 38 2 0 0 25 0 9 0 875256134 419946496 5642 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11268/statm: 102526 5642 1889 10 0 96706 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 412676

[startup+0.705474 s]
/proc/loadavg: 1.04 1.11 1.09 5/47 11268
/proc/meminfo: memFree=621812/1048576 swapFree=2078768/2097144
[pid=11267] ppid=11266 vsize=2572 CPUtime=0
/proc/11267/stat : 11267 (gj-paranoid-sol) S 11266 11267 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 875256134 2633728 271 1283457024 134512640 135304128 4289940720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11267/statm: 643 271 232 194 0 29 0
[pid=11268] ppid=11267 vsize=410708 CPUtime=0.7
/proc/11268/stat : 11268 (java) S 11267 11267 2059 34821 2220 4202496 12923 0 1 0 65 5 0 0 25 0 9 0 875256134 420564992 12208 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11268/statm: 102677 12208 2878 10 0 96857 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413280

[startup+1.5057 s]
/proc/loadavg: 1.11 1.13 1.09 3/56 11277
/proc/meminfo: memFree=552600/1048576 swapFree=2078768/2097144
[pid=11267] ppid=11266 vsize=2572 CPUtime=0
/proc/11267/stat : 11267 (gj-paranoid-sol) S 11266 11267 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 875256134 2633728 271 1283457024 134512640 135304128 4289940720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11267/statm: 643 271 232 194 0 29 0
[pid=11268] ppid=11267 vsize=410840 CPUtime=1.5
/proc/11268/stat : 11268 (java) S 11267 11267 2059 34821 2220 4202496 28467 0 1 0 143 7 0 0 25 0 9 0 875256134 420700160 27752 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11268/statm: 102710 27752 2879 10 0 96890 0
[pid=11268/tid=11270] ppid=11267 vsize=410840 CPUtime=0.71
/proc/11268/task/11270/stat : 11270 (java) R 11267 11267 2059 34821 2220 4202560 6785 0 1 0 67 4 0 0 24 0 9 0 875256135 420700160 27752 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11268/tid=11271] ppid=11267 vsize=410840 CPUtime=0.72
/proc/11268/task/11271/stat : 11271 (java) R 11267 11267 2059 34821 2220 4202560 20292 0 0 0 70 2 0 0 20 0 9 0 875256135 420700160 27752 1283457024 134512640 134550932 4293638096 18446744073709551615 4150298283 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=11268/tid=11272] ppid=11267 vsize=410840 CPUtime=0
/proc/11268/task/11272/stat : 11272 (java) S 11267 11267 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 20 0 9 0 875256136 420700160 27752 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11273] ppid=11267 vsize=410840 CPUtime=0
/proc/11268/task/11273/stat : 11273 (java) S 11267 11267 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 22 0 9 0 875256136 420700160 27752 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11274] ppid=11267 vsize=410840 CPUtime=0
/proc/11268/task/11274/stat : 11274 (java) S 11267 11267 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875256137 420700160 27752 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11275] ppid=11267 vsize=410840 CPUtime=0.05
/proc/11268/task/11275/stat : 11275 (java) S 11267 11267 2059 34821 2220 4202560 456 0 0 0 5 0 0 0 17 0 9 0 875256137 420700160 27752 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11276] ppid=11267 vsize=410840 CPUtime=0
/proc/11268/task/11276/stat : 11276 (java) S 11267 11267 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 9 0 875256137 420700160 27752 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11277] ppid=11267 vsize=410840 CPUtime=0
/proc/11268/task/11277/stat : 11277 (java) S 11267 11267 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 875256137 420700160 27752 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413412

[startup+3.1061 s]
/proc/loadavg: 1.11 1.13 1.09 3/56 11277
/proc/meminfo: memFree=462824/1048576 swapFree=2078768/2097144
[pid=11267] ppid=11266 vsize=2572 CPUtime=0
/proc/11267/stat : 11267 (gj-paranoid-sol) S 11266 11267 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 875256134 2633728 271 1283457024 134512640 135304128 4289940720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11267/statm: 643 271 232 194 0 29 0
[pid=11268] ppid=11267 vsize=410840 CPUtime=3.09
/proc/11268/stat : 11268 (java) S 11267 11267 2059 34821 2220 4202496 53431 0 1 0 296 13 0 0 25 0 9 0 875256134 420700160 52716 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11268/statm: 102710 52716 2879 10 0 96890 0
[pid=11268/tid=11270] ppid=11267 vsize=410840 CPUtime=1.24
/proc/11268/task/11270/stat : 11270 (java) R 11267 11267 2059 34821 2220 4202560 14034 0 1 0 117 7 0 0 25 0 9 0 875256135 420700160 52716 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11268/tid=11271] ppid=11267 vsize=410840 CPUtime=1.78
/proc/11268/task/11271/stat : 11271 (java) R 11267 11267 2059 34821 2220 4202560 38004 0 0 0 173 5 0 0 16 0 9 0 875256135 420700160 52716 1283457024 134512640 134550932 4293638096 18446744073709551615 4151612136 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=11268/tid=11272] ppid=11267 vsize=410840 CPUtime=0
/proc/11268/task/11272/stat : 11272 (java) S 11267 11267 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 20 0 9 0 875256136 420700160 52716 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11273] ppid=11267 vsize=410840 CPUtime=0
/proc/11268/task/11273/stat : 11273 (java) S 11267 11267 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 22 0 9 0 875256136 420700160 52716 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11274] ppid=11267 vsize=410840 CPUtime=0
/proc/11268/task/11274/stat : 11274 (java) S 11267 11267 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875256137 420700160 52716 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11275] ppid=11267 vsize=410840 CPUtime=0.06
/proc/11268/task/11275/stat : 11275 (java) S 11267 11267 2059 34821 2220 4202560 459 0 0 0 6 0 0 0 15 0 9 0 875256137 420700160 52716 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11276] ppid=11267 vsize=410840 CPUtime=0
/proc/11268/task/11276/stat : 11276 (java) S 11267 11267 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 9 0 875256137 420700160 52716 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11277] ppid=11267 vsize=410840 CPUtime=0
/proc/11268/task/11277/stat : 11277 (java) S 11267 11267 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 875256137 420700160 52716 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 413412

[startup+6.30697 s]
/proc/loadavg: 1.11 1.13 1.09 2/57 11278
/proc/meminfo: memFree=351340/1048576 swapFree=2078768/2097144
[pid=11267] ppid=11266 vsize=2572 CPUtime=0
/proc/11267/stat : 11267 (gj-paranoid-sol) S 11266 11267 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 875256134 2633728 271 1283457024 134512640 135304128 4289940720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11267/statm: 643 271 232 194 0 29 0
[pid=11268] ppid=11267 vsize=411296 CPUtime=6.29
/proc/11268/stat : 11268 (java) S 11267 11267 2059 34821 2220 4202496 71027 0 1 0 611 18 0 0 25 0 10 0 875256134 421167104 70292 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11268/statm: 102824 70292 2884 10 0 97004 0
[pid=11268/tid=11270] ppid=11267 vsize=411296 CPUtime=2.81
/proc/11268/task/11270/stat : 11270 (java) R 11267 11267 2059 34821 2220 4202560 14143 0 1 0 274 7 0 0 25 0 10 0 875256135 421167104 70292 1283457024 134512640 134550932 4293638096 18446744073709551615 4116265616 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11268/tid=11271] ppid=11267 vsize=411296 CPUtime=3.35
/proc/11268/task/11271/stat : 11271 (java) S 11267 11267 2059 34821 2220 4202560 55423 0 0 0 326 9 0 0 15 0 10 0 875256135 421167104 70292 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 0 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11272] ppid=11267 vsize=411296 CPUtime=0
/proc/11268/task/11272/stat : 11272 (java) S 11267 11267 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875256136 421167104 70292 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11273] ppid=11267 vsize=411296 CPUtime=0
/proc/11268/task/11273/stat : 11273 (java) S 11267 11267 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 875256136 421167104 70292 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11274] ppid=11267 vsize=411296 CPUtime=0
/proc/11268/task/11274/stat : 11274 (java) S 11267 11267 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875256137 421167104 70292 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11275] ppid=11267 vsize=411296 CPUtime=0.12
/proc/11268/task/11275/stat : 11275 (java) S 11267 11267 2059 34821 2220 4202560 523 0 0 0 11 1 0 0 16 0 10 0 875256137 421167104 70292 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11276] ppid=11267 vsize=411296 CPUtime=0
/proc/11268/task/11276/stat : 11276 (java) S 11267 11267 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 875256137 421167104 70292 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11277] ppid=11267 vsize=411296 CPUtime=0
/proc/11268/task/11277/stat : 11277 (java) S 11267 11267 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 875256137 421167104 70292 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11278] ppid=11267 vsize=411296 CPUtime=0
/proc/11268/task/11278/stat : 11278 (java) S 11267 11267 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 875256672 421167104 70292 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 413868

[startup+12.708 s]
/proc/loadavg: 1.17 1.14 1.10 3/57 11278
/proc/meminfo: memFree=331624/1048576 swapFree=2078768/2097144
[pid=11267] ppid=11266 vsize=2572 CPUtime=0
/proc/11267/stat : 11267 (gj-paranoid-sol) S 11266 11267 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 875256134 2633728 271 1283457024 134512640 135304128 4289940720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11267/statm: 643 271 232 194 0 29 0
[pid=11268] ppid=11267 vsize=430696 CPUtime=12.69
/proc/11268/stat : 11268 (java) S 11267 11267 2059 34821 2220 4202496 75949 0 1 0 1250 19 0 0 25 0 10 0 875256134 441032704 75159 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11268/statm: 107674 75159 2883 10 0 101854 0
[pid=11268/tid=11270] ppid=11267 vsize=430696 CPUtime=7.65
/proc/11268/task/11270/stat : 11270 (java) R 11267 11267 2059 34821 2220 4202560 14144 0 1 0 758 7 0 0 25 0 10 0 875256135 441032704 75159 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11268/tid=11271] ppid=11267 vsize=430696 CPUtime=4.91
/proc/11268/task/11271/stat : 11271 (java) R 11267 11267 2059 34821 2220 4202560 60339 0 0 0 481 10 0 0 16 0 10 0 875256135 441032704 75159 1283457024 134512640 134550932 4293638096 18446744073709551615 4153099755 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=11268/tid=11272] ppid=11267 vsize=430696 CPUtime=0
/proc/11268/task/11272/stat : 11272 (java) S 11267 11267 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875256136 441032704 75159 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11273] ppid=11267 vsize=430696 CPUtime=0
/proc/11268/task/11273/stat : 11273 (java) S 11267 11267 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 875256136 441032704 75159 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11274] ppid=11267 vsize=430696 CPUtime=0
/proc/11268/task/11274/stat : 11274 (java) S 11267 11267 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875256137 441032704 75159 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11275] ppid=11267 vsize=430696 CPUtime=0.12
/proc/11268/task/11275/stat : 11275 (java) S 11267 11267 2059 34821 2220 4202560 528 0 0 0 11 1 0 0 15 0 10 0 875256137 441032704 75159 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11276] ppid=11267 vsize=430696 CPUtime=0
/proc/11268/task/11276/stat : 11276 (java) S 11267 11267 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 875256137 441032704 75159 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11277] ppid=11267 vsize=430696 CPUtime=0
/proc/11268/task/11277/stat : 11277 (java) S 11267 11267 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 875256137 441032704 75159 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11278] ppid=11267 vsize=430696 CPUtime=0
/proc/11268/task/11278/stat : 11278 (java) S 11267 11267 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 875256672 441032704 75159 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 433268

[startup+25.512 s]
/proc/loadavg: 1.14 1.13 1.09 2/56 11278
/proc/meminfo: memFree=331384/1048576 swapFree=2078768/2097144
[pid=11267] ppid=11266 vsize=2572 CPUtime=0
/proc/11267/stat : 11267 (gj-paranoid-sol) S 11266 11267 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 875256134 2633728 271 1283457024 134512640 135304128 4289940720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11267/statm: 643 271 232 194 0 29 0
[pid=11268] ppid=11267 vsize=430696 CPUtime=25.5
/proc/11268/stat : 11268 (java) S 11267 11267 2059 34821 2220 4202496 76058 0 1 0 2531 19 0 0 25 0 10 0 875256134 441032704 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11268/statm: 107674 75160 2883 10 0 101854 0
[pid=11268/tid=11270] ppid=11267 vsize=430696 CPUtime=18.37
/proc/11268/task/11270/stat : 11270 (java) R 11267 11267 2059 34821 2220 4202560 14144 0 1 0 1830 7 0 0 25 0 10 0 875256135 441032704 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4116266533 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11268/tid=11271] ppid=11267 vsize=430696 CPUtime=6.99
/proc/11268/task/11271/stat : 11271 (java) S 11267 11267 2059 34821 2220 4202560 60447 0 0 0 689 10 0 0 16 0 10 0 875256135 441032704 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 0 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11272] ppid=11267 vsize=430696 CPUtime=0
/proc/11268/task/11272/stat : 11272 (java) S 11267 11267 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875256136 441032704 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11273] ppid=11267 vsize=430696 CPUtime=0
/proc/11268/task/11273/stat : 11273 (java) S 11267 11267 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 875256136 441032704 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11274] ppid=11267 vsize=430696 CPUtime=0
/proc/11268/task/11274/stat : 11274 (java) S 11267 11267 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875256137 441032704 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11275] ppid=11267 vsize=430696 CPUtime=0.12
/proc/11268/task/11275/stat : 11275 (java) S 11267 11267 2059 34821 2220 4202560 529 0 0 0 11 1 0 0 15 0 10 0 875256137 441032704 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11276] ppid=11267 vsize=430696 CPUtime=0
/proc/11268/task/11276/stat : 11276 (java) S 11267 11267 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 875256137 441032704 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11277] ppid=11267 vsize=430696 CPUtime=0
/proc/11268/task/11277/stat : 11277 (java) S 11267 11267 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 875256137 441032704 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11278] ppid=11267 vsize=430696 CPUtime=0
/proc/11268/task/11278/stat : 11278 (java) S 11267 11267 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 875256672 441032704 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 433268

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

[startup+25.7121 s]
/proc/loadavg: 1.14 1.13 1.09 2/56 11278
/proc/meminfo: memFree=331384/1048576 swapFree=2078768/2097144
[pid=11267] ppid=11266 vsize=2572 CPUtime=0
/proc/11267/stat : 11267 (gj-paranoid-sol) S 11266 11267 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 875256134 2633728 271 1283457024 134512640 135304128 4289940720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11267/statm: 643 271 232 194 0 29 0
[pid=11268] ppid=11267 vsize=430696 CPUtime=25.7
/proc/11268/stat : 11268 (java) S 11267 11267 2059 34821 2220 4202496 76058 0 1 0 2551 19 0 0 25 0 10 0 875256134 441032704 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11268/statm: 107674 75160 2883 10 0 101854 0
[pid=11268/tid=11270] ppid=11267 vsize=430696 CPUtime=18.57
/proc/11268/task/11270/stat : 11270 (java) R 11267 11267 2059 34821 2220 4202560 14144 0 1 0 1850 7 0 0 25 0 10 0 875256135 441032704 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4116132611 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11268/tid=11271] ppid=11267 vsize=430696 CPUtime=6.99
/proc/11268/task/11271/stat : 11271 (java) S 11267 11267 2059 34821 2220 4202560 60447 0 0 0 689 10 0 0 16 0 10 0 875256135 441032704 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 0 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11272] ppid=11267 vsize=430696 CPUtime=0
/proc/11268/task/11272/stat : 11272 (java) S 11267 11267 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875256136 441032704 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11273] ppid=11267 vsize=430696 CPUtime=0
/proc/11268/task/11273/stat : 11273 (java) S 11267 11267 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 875256136 441032704 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11274] ppid=11267 vsize=430696 CPUtime=0
/proc/11268/task/11274/stat : 11274 (java) S 11267 11267 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875256137 441032704 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11275] ppid=11267 vsize=430696 CPUtime=0.12
/proc/11268/task/11275/stat : 11275 (java) S 11267 11267 2059 34821 2220 4202560 529 0 0 0 11 1 0 0 15 0 10 0 875256137 441032704 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11276] ppid=11267 vsize=430696 CPUtime=0
/proc/11268/task/11276/stat : 11276 (java) S 11267 11267 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 875256137 441032704 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11277] ppid=11267 vsize=430696 CPUtime=0
/proc/11268/task/11277/stat : 11277 (java) S 11267 11267 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 875256137 441032704 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11278] ppid=11267 vsize=430696 CPUtime=0
/proc/11268/task/11278/stat : 11278 (java) S 11267 11267 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 875256672 441032704 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.7
Current children cumulated vsize (KiB) 433268

[startup+32.1139 s]
/proc/loadavg: 1.12 1.13 1.09 2/56 11278
/proc/meminfo: memFree=331508/1048576 swapFree=2078768/2097144
[pid=11267] ppid=11266 vsize=2572 CPUtime=0
/proc/11267/stat : 11267 (gj-paranoid-sol) S 11266 11267 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 875256134 2633728 271 1283457024 134512640 135304128 4289940720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11267/statm: 643 271 232 194 0 29 0
[pid=11268] ppid=11267 vsize=430676 CPUtime=32.1
/proc/11268/stat : 11268 (java) S 11267 11267 2059 34821 2220 4202496 80935 0 1 0 3190 20 0 0 25 0 10 0 875256134 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11268/statm: 107669 75160 2883 10 0 101849 0
[pid=11268/tid=11270] ppid=11267 vsize=430676 CPUtime=24.06
/proc/11268/task/11270/stat : 11270 (java) R 11267 11267 2059 34821 2220 4202560 14144 0 1 0 2399 7 0 0 25 0 10 0 875256135 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4116255917 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11268/tid=11271] ppid=11267 vsize=430676 CPUtime=7.9
/proc/11268/task/11271/stat : 11271 (java) S 11267 11267 2059 34821 2220 4202560 65324 0 0 0 779 11 0 0 15 0 10 0 875256135 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 0 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11272] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11272/stat : 11272 (java) S 11267 11267 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875256136 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11273] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11273/stat : 11273 (java) S 11267 11267 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 875256136 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11274] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11274/stat : 11274 (java) S 11267 11267 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875256137 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11275] ppid=11267 vsize=430676 CPUtime=0.12
/proc/11268/task/11275/stat : 11275 (java) S 11267 11267 2059 34821 2220 4202560 529 0 0 0 11 1 0 0 15 0 10 0 875256137 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11276] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11276/stat : 11276 (java) S 11267 11267 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 875256137 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11277] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11277/stat : 11277 (java) R 11267 11267 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 875256137 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11268/tid=11278] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11278/stat : 11278 (java) S 11267 11267 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 875256672 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.1
Current children cumulated vsize (KiB) 433248

[startup+33.7043 s]
/proc/loadavg: 1.12 1.13 1.09 2/56 11278
/proc/meminfo: memFree=331508/1048576 swapFree=2078768/2097144
[pid=11267] ppid=11266 vsize=2572 CPUtime=0
/proc/11267/stat : 11267 (gj-paranoid-sol) S 11266 11267 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 875256134 2633728 271 1283457024 134512640 135304128 4289940720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11267/statm: 643 271 232 194 0 29 0
[pid=11268] ppid=11267 vsize=430676 CPUtime=33.69
/proc/11268/stat : 11268 (java) S 11267 11267 2059 34821 2220 4202496 80935 0 1 0 3349 20 0 0 25 0 10 0 875256134 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11268/statm: 107669 75160 2883 10 0 101849 0
[pid=11268/tid=11270] ppid=11267 vsize=430676 CPUtime=25.65
/proc/11268/task/11270/stat : 11270 (java) R 11267 11267 2059 34821 2220 4202560 14144 0 1 0 2558 7 0 0 25 0 10 0 875256135 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4116255900 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11268/tid=11271] ppid=11267 vsize=430676 CPUtime=7.9
/proc/11268/task/11271/stat : 11271 (java) S 11267 11267 2059 34821 2220 4202560 65324 0 0 0 779 11 0 0 15 0 10 0 875256135 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 0 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11272] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11272/stat : 11272 (java) S 11267 11267 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875256136 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11273] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11273/stat : 11273 (java) S 11267 11267 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 875256136 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11274] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11274/stat : 11274 (java) S 11267 11267 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875256137 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11275] ppid=11267 vsize=430676 CPUtime=0.12
/proc/11268/task/11275/stat : 11275 (java) S 11267 11267 2059 34821 2220 4202560 529 0 0 0 11 1 0 0 15 0 10 0 875256137 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11276] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11276/stat : 11276 (java) S 11267 11267 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 875256137 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11277] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11277/stat : 11277 (java) S 11267 11267 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 875256137 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11278] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11278/stat : 11278 (java) S 11267 11267 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 875256672 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 33.69
Current children cumulated vsize (KiB) 433248

[startup+34.5046 s]
/proc/loadavg: 1.12 1.13 1.09 2/56 11278
/proc/meminfo: memFree=331508/1048576 swapFree=2078768/2097144
[pid=11267] ppid=11266 vsize=2572 CPUtime=0
/proc/11267/stat : 11267 (gj-paranoid-sol) S 11266 11267 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 875256134 2633728 271 1283457024 134512640 135304128 4289940720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11267/statm: 643 271 232 194 0 29 0
[pid=11268] ppid=11267 vsize=430676 CPUtime=34.49
/proc/11268/stat : 11268 (java) S 11267 11267 2059 34821 2220 4202496 80935 0 1 0 3429 20 0 0 25 0 10 0 875256134 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11268/statm: 107669 75160 2883 10 0 101849 0
[pid=11268/tid=11270] ppid=11267 vsize=430676 CPUtime=26.45
/proc/11268/task/11270/stat : 11270 (java) R 11267 11267 2059 34821 2220 4202560 14144 0 1 0 2638 7 0 0 25 0 10 0 875256135 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4116266533 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11268/tid=11271] ppid=11267 vsize=430676 CPUtime=7.9
/proc/11268/task/11271/stat : 11271 (java) S 11267 11267 2059 34821 2220 4202560 65324 0 0 0 779 11 0 0 15 0 10 0 875256135 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 0 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11272] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11272/stat : 11272 (java) S 11267 11267 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875256136 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11273] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11273/stat : 11273 (java) S 11267 11267 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 875256136 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11274] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11274/stat : 11274 (java) S 11267 11267 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875256137 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11275] ppid=11267 vsize=430676 CPUtime=0.12
/proc/11268/task/11275/stat : 11275 (java) S 11267 11267 2059 34821 2220 4202560 529 0 0 0 11 1 0 0 15 0 10 0 875256137 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11276] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11276/stat : 11276 (java) S 11267 11267 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 875256137 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11277] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11277/stat : 11277 (java) S 11267 11267 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 875256137 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11278] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11278/stat : 11278 (java) S 11267 11267 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 875256672 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 34.49
Current children cumulated vsize (KiB) 433248

[startup+35.3049 s]
/proc/loadavg: 1.12 1.13 1.09 3/56 11278
/proc/meminfo: memFree=331508/1048576 swapFree=2078768/2097144
[pid=11267] ppid=11266 vsize=2572 CPUtime=0
/proc/11267/stat : 11267 (gj-paranoid-sol) S 11266 11267 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 875256134 2633728 271 1283457024 134512640 135304128 4289940720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11267/statm: 643 271 232 194 0 29 0
[pid=11268] ppid=11267 vsize=430676 CPUtime=35.29
/proc/11268/stat : 11268 (java) S 11267 11267 2059 34821 2220 4202496 85812 0 1 0 3508 21 0 0 25 0 10 0 875256134 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11268/statm: 107669 75160 2883 10 0 101849 0
[pid=11268/tid=11270] ppid=11267 vsize=430676 CPUtime=26.59
/proc/11268/task/11270/stat : 11270 (java) R 11267 11267 2059 34821 2220 4202560 14144 0 1 0 2652 7 0 0 25 0 10 0 875256135 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11268/tid=11271] ppid=11267 vsize=430676 CPUtime=8.56
/proc/11268/task/11271/stat : 11271 (java) R 11267 11267 2059 34821 2220 4202560 70201 0 0 0 844 12 0 0 16 0 10 0 875256135 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4152001566 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=11268/tid=11272] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11272/stat : 11272 (java) S 11267 11267 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875256136 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11273] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11273/stat : 11273 (java) S 11267 11267 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 875256136 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11274] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11274/stat : 11274 (java) S 11267 11267 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875256137 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11275] ppid=11267 vsize=430676 CPUtime=0.12
/proc/11268/task/11275/stat : 11275 (java) S 11267 11267 2059 34821 2220 4202560 529 0 0 0 11 1 0 0 15 0 10 0 875256137 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11276] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11276/stat : 11276 (java) S 11267 11267 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 875256137 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11277] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11277/stat : 11277 (java) S 11267 11267 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 875256137 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11278] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11278/stat : 11278 (java) S 11267 11267 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 875256672 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 35.29
Current children cumulated vsize (KiB) 433248

[startup+35.5049 s]
/proc/loadavg: 1.12 1.13 1.09 3/56 11278
/proc/meminfo: memFree=331508/1048576 swapFree=2078768/2097144
[pid=11267] ppid=11266 vsize=2572 CPUtime=0
/proc/11267/stat : 11267 (gj-paranoid-sol) S 11266 11267 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 875256134 2633728 271 1283457024 134512640 135304128 4289940720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11267/statm: 643 271 232 194 0 29 0
[pid=11268] ppid=11267 vsize=430676 CPUtime=35.49
/proc/11268/stat : 11268 (java) S 11267 11267 2059 34821 2220 4202496 85812 0 1 0 3528 21 0 0 25 0 10 0 875256134 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11268/statm: 107669 75160 2883 10 0 101849 0
[pid=11268/tid=11270] ppid=11267 vsize=430676 CPUtime=26.59
/proc/11268/task/11270/stat : 11270 (java) R 11267 11267 2059 34821 2220 4202560 14144 0 1 0 2652 7 0 0 25 0 10 0 875256135 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11268/tid=11271] ppid=11267 vsize=430676 CPUtime=8.76
/proc/11268/task/11271/stat : 11271 (java) R 11267 11267 2059 34821 2220 4202560 70201 0 0 0 864 12 0 0 16 0 10 0 875256135 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4153099974 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=11268/tid=11272] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11272/stat : 11272 (java) S 11267 11267 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875256136 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11273] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11273/stat : 11273 (java) S 11267 11267 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 875256136 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11274] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11274/stat : 11274 (java) S 11267 11267 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875256137 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11275] ppid=11267 vsize=430676 CPUtime=0.12
/proc/11268/task/11275/stat : 11275 (java) S 11267 11267 2059 34821 2220 4202560 529 0 0 0 11 1 0 0 15 0 10 0 875256137 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11276] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11276/stat : 11276 (java) S 11267 11267 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 875256137 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11277] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11277/stat : 11277 (java) S 11267 11267 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 875256137 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=11268/tid=11278] ppid=11267 vsize=430676 CPUtime=0
/proc/11268/task/11278/stat : 11278 (java) R 11267 11267 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 18 0 10 0 875256672 441012224 75160 1283457024 134512640 134550932 4293638096 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 35.49
Current children cumulated vsize (KiB) 433248

Child status: 0
Real time (s): 35.6036
CPU time (s): 35.5742
CPU user time (s): 35.3462
CPU system time (s): 0.228014
CPU usage (%): 99.9175
Max. virtual memory (cumulated for all children) (KiB): 433272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.3462
system time used= 0.228014
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86207
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= 1326
involuntary context switches= 1697

runsolver used 0 second user time and 0 second system time

The end