runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3754852-1339203251/watcher-3754852-1339203251 -o /tmp/evaluation-result-3754852-1339203251/solver-3754852-1339203251 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3754852-1339203251.wbo 170915649 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 2.07 2.09 3/177 29149
/proc/meminfo: memFree=30387176/32873852 swapFree=6864/6864
[pid=29149] ppid=29147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29149/stat : 29149 (npSolver-wbo.sh) S 29147 29149 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386450651 9367552 275 33554432000 4194304 5064252 140735753684720 140735753683632 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29149/statm: 2287 275 233 213 0 72 0
[startup+0.0628829 s]
/proc/loadavg: 2.07 2.07 2.09 3/177 29149
/proc/meminfo: memFree=30387176/32873852 swapFree=6864/6864
[pid=29149] ppid=29147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29149/stat : 29149 (npSolver-wbo.sh) S 29147 29149 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386450651 9367552 275 33554432000 4194304 5064252 140735753684720 140735753683632 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29149/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100261 s]
/proc/loadavg: 2.07 2.07 2.09 3/177 29149
/proc/meminfo: memFree=30387176/32873852 swapFree=6864/6864
[pid=29149] ppid=29147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29149/stat : 29149 (npSolver-wbo.sh) S 29147 29149 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386450651 9367552 275 33554432000 4194304 5064252 140735753684720 140735753683632 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29149/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300307 s]
/proc/loadavg: 2.07 2.07 2.09 3/177 29149
/proc/meminfo: memFree=30387176/32873852 swapFree=6864/6864
[pid=29149] ppid=29147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29149/stat : 29149 (npSolver-wbo.sh) S 29147 29149 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386450651 9367552 275 33554432000 4194304 5064252 140735753684720 140735753683632 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29149/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700217 s]
/proc/loadavg: 2.07 2.07 2.09 3/177 29149
/proc/meminfo: memFree=30387176/32873852 swapFree=6864/6864
[pid=29149] ppid=29147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29149/stat : 29149 (npSolver-wbo.sh) S 29147 29149 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386450651 9367552 275 33554432000 4194304 5064252 140735753684720 140735753683632 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29149/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 2.07 2.07 2.09 3/179 29151
/proc/meminfo: memFree=30284320/32873852 swapFree=6864/6864
[pid=29149] ppid=29147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29149/stat : 29149 (npSolver-wbo.sh) S 29147 29149 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386450651 9367552 275 33554432000 4194304 5064252 140735753684720 140735753683632 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29149/statm: 2287 275 233 213 0 72 0
[pid=29150] ppid=29149 vsize=149432 CPUtime=1.49 cores=0,2,4,6
/proc/29150/stat : 29150 (npSolver-wbo) R 29149 29149 22577 0 -1 4202496 22239 0 0 0 143 6 0 0 20 0 1 0 386450652 153018368 37001 33554432000 4194304 6006132 140736240211808 140736240206488 4393025 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29150/statm: 37358 37002 139 443 0 36911 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 158580
[startup+3.10027 s]
/proc/loadavg: 2.06 2.07 2.09 3/179 29151
/proc/meminfo: memFree=30179708/32873852 swapFree=6864/6864
[pid=29149] ppid=29147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29149/stat : 29149 (npSolver-wbo.sh) S 29147 29149 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386450651 9367552 275 33554432000 4194304 5064252 140735753684720 140735753683632 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29149/statm: 2287 275 233 213 0 72 0
[pid=29150] ppid=29149 vsize=460760 CPUtime=3.09 cores=0,2,4,6
/proc/29150/stat : 29150 (npSolver-wbo) R 29149 29149 22577 0 -1 4202496 40743 0 0 0 295 14 0 0 20 0 1 0 386450652 471818240 78913 33554432000 4194304 6006132 140736240211808 140736240206360 5191952 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29150/statm: 115190 78913 139 443 0 114743 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 469908
[startup+6.30025 s]
/proc/loadavg: 2.06 2.07 2.09 3/179 29151
/proc/meminfo: memFree=29836248/32873852 swapFree=6864/6864
[pid=29149] ppid=29147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29149/stat : 29149 (npSolver-wbo.sh) S 29147 29149 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386450651 9367552 275 33554432000 4194304 5064252 140735753684720 140735753683632 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29149/statm: 2287 275 233 213 0 72 0
[pid=29150] ppid=29149 vsize=686416 CPUtime=6.28 cores=0,2,4,6
/proc/29150/stat : 29150 (npSolver-wbo) R 29149 29149 22577 0 -1 4202496 73327 0 0 0 602 26 0 0 20 0 1 0 386450652 702889984 150237 33554432000 4194304 6006132 140736240211808 140736240205688 4580492 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29150/statm: 171604 150237 158 443 0 171157 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 695564
[startup+12.7003 s]
/proc/loadavg: 2.05 2.07 2.09 3/179 29151
/proc/meminfo: memFree=29403648/32873852 swapFree=6864/6864
[pid=29149] ppid=29147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29149/stat : 29149 (npSolver-wbo.sh) S 29147 29149 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386450651 9367552 275 33554432000 4194304 5064252 140735753684720 140735753683632 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29149/statm: 2287 275 233 213 0 72 0
[pid=29150] ppid=29149 vsize=1472848 CPUtime=12.68 cores=0,2,4,6
/proc/29150/stat : 29150 (npSolver-wbo) R 29149 29149 22577 0 -1 4202496 74937 0 0 0 1224 44 0 0 20 0 1 0 386450652 1508196352 254685 33554432000 4194304 6006132 140736240211808 140736240205688 4619227 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29150/statm: 368212 254685 158 443 0 367765 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1481996
[startup+25.5002 s]
/proc/loadavg: 2.04 2.06 2.09 3/179 29151
/proc/meminfo: memFree=27642620/32873852 swapFree=6864/6864
[pid=29149] ppid=29147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29149/stat : 29149 (npSolver-wbo.sh) S 29147 29149 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386450651 9367552 275 33554432000 4194304 5064252 140735753684720 140735753683632 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29149/statm: 2287 275 233 213 0 72 0
[pid=29150] ppid=29149 vsize=4618576 CPUtime=25.48 cores=0,2,4,6
/proc/29150/stat : 29150 (npSolver-wbo) R 29149 29149 22577 0 -1 4202496 80934 0 0 0 2413 135 0 0 20 0 1 0 386450652 4729421824 687289 33554432000 4194304 6006132 140736240211808 140736240207640 4623132 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29150/statm: 1154644 687289 160 443 0 1154197 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4627724
[startup+51.1003 s]
/proc/loadavg: 2.69 2.20 2.13 2/180 29152
/proc/meminfo: memFree=21933160/32873852 swapFree=6864/6864
[pid=29149] ppid=29147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29149/stat : 29149 (npSolver-wbo.sh) S 29147 29149 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386450651 9367552 275 33554432000 4194304 5064252 140735753684720 140735753683632 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29149/statm: 2287 275 233 213 0 72 0
[pid=29150] ppid=29149 vsize=4618580 CPUtime=28.82 cores=0,2,4,6
/proc/29150/stat : 29150 (npSolver-wbo) S 29149 29149 22577 0 -1 4204032 80949 0 0 0 2518 364 0 0 20 0 1 0 386450652 4729425920 687304 33554432000 4194304 6006132 140736240211808 140736240207224 5252949 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29150/statm: 1154645 687304 173 443 0 1154198 0
Current children cumulated CPU time (s) 28.82
Current children cumulated vsize (KiB) 4627728
heavy processes:
%CPU=48 pid=29152 uid=0 cmd=
[startup+102.306 s]
/proc/loadavg: 4.16 2.69 2.30 2/180 29152
/proc/meminfo: memFree=21982924/32873852 swapFree=6864/6864
[pid=29149] ppid=29147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29149/stat : 29149 (npSolver-wbo.sh) S 29147 29149 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386450651 9367552 275 33554432000 4194304 5064252 140735753684720 140735753683632 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29149/statm: 2287 275 233 213 0 72 0
[pid=29150] ppid=29149 vsize=4618580 CPUtime=28.82 cores=0,2,4,6
/proc/29150/stat : 29150 (npSolver-wbo) S 29149 29149 22577 0 -1 4204032 80949 0 0 0 2518 364 0 0 20 0 1 0 386450652 4729425920 687304 33554432000 4194304 6006132 140736240211808 140736240207224 5252949 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29150/statm: 1154645 687304 173 443 0 1154198 0
Current children cumulated CPU time (s) 28.82
Current children cumulated vsize (KiB) 4627728
heavy processes:
%CPU=16 pid=29152 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 29150 6 506 18446744073709551615
Solver just ended. Dumping a history of the last processes samples
[startup+106.2 s]
/proc/loadavg: 4.16 2.69 2.30 2/180 29152
/proc/meminfo: memFree=21979200/32873852 swapFree=6864/6864
[pid=29149] ppid=29147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29149/stat : 29149 (npSolver-wbo.sh) S 29147 29149 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386450651 9367552 275 33554432000 4194304 5064252 140735753684720 140735753683632 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29149/statm: 2287 275 233 213 0 72 0
[pid=29150] ppid=29149 vsize=4618580 CPUtime=28.82 cores=0,2,4,6
/proc/29150/stat : 29150 (npSolver-wbo) S 29149 29149 22577 0 -1 4204032 80949 0 0 0 2518 364 0 0 20 0 1 0 386450652 4729425920 687304 33554432000 4194304 6006132 140736240211808 140736240207224 5252949 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29150/statm: 1154645 687304 173 443 0 1154198 0
Current children cumulated CPU time (s) 28.82
Current children cumulated vsize (KiB) 4627728
[startup+107.8 s]
/proc/loadavg: 4.22 2.72 2.31 2/180 29152
/proc/meminfo: memFree=21978704/32873852 swapFree=6864/6864
[pid=29149] ppid=29147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29149/stat : 29149 (npSolver-wbo.sh) S 29147 29149 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386450651 9367552 275 33554432000 4194304 5064252 140735753684720 140735753683632 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29149/statm: 2287 275 233 213 0 72 0
[pid=29150] ppid=29149 vsize=4618580 CPUtime=28.82 cores=0,2,4,6
/proc/29150/stat : 29150 (npSolver-wbo) S 29149 29149 22577 0 -1 4204032 80949 0 0 0 2518 364 0 0 20 0 1 0 386450652 4729425920 687304 33554432000 4194304 6006132 140736240211808 140736240207224 5252949 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29150/statm: 1154645 687304 173 443 0 1154198 0
Current children cumulated CPU time (s) 28.82
Current children cumulated vsize (KiB) 4627728
[startup+109.4 s]
/proc/loadavg: 4.22 2.72 2.31 2/180 29152
/proc/meminfo: memFree=21976532/32873852 swapFree=6864/6864
[pid=29149] ppid=29147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29149/stat : 29149 (npSolver-wbo.sh) S 29147 29149 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386450651 9367552 275 33554432000 4194304 5064252 140735753684720 140735753683632 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29149/statm: 2287 275 233 213 0 72 0
[pid=29150] ppid=29149 vsize=4618580 CPUtime=28.82 cores=0,2,4,6
/proc/29150/stat : 29150 (npSolver-wbo) S 29149 29149 22577 0 -1 4204032 80949 0 0 0 2518 364 0 0 20 0 1 0 386450652 4729425920 687304 33554432000 4194304 6006132 140736240211808 140736240207224 5252949 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29150/statm: 1154645 687304 173 443 0 1154198 0
Current children cumulated CPU time (s) 28.82
Current children cumulated vsize (KiB) 4627728
[startup+110.2 s]
/proc/loadavg: 4.22 2.72 2.31 2/180 29152
/proc/meminfo: memFree=21976284/32873852 swapFree=6864/6864
[pid=29149] ppid=29147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29149/stat : 29149 (npSolver-wbo.sh) S 29147 29149 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386450651 9367552 275 33554432000 4194304 5064252 140735753684720 140735753683632 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29149/statm: 2287 275 233 213 0 72 0
[pid=29150] ppid=29149 vsize=4618580 CPUtime=28.82 cores=0,2,4,6
/proc/29150/stat : 29150 (npSolver-wbo) S 29149 29149 22577 0 -1 4204032 80949 0 0 0 2518 364 0 0 20 0 1 0 386450652 4729425920 687304 33554432000 4194304 6006132 140736240211808 140736240207224 5252949 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29150/statm: 1154645 687304 173 443 0 1154198 0
Current children cumulated CPU time (s) 28.82
Current children cumulated vsize (KiB) 4627728
[startup+110.6 s]
/proc/loadavg: 4.22 2.72 2.31 3/179 29153
/proc/meminfo: memFree=24977076/32873852 swapFree=6864/6864
[pid=29149] ppid=29147 vsize=9152 CPUtime=28.85 cores=0,2,4,6
/proc/29149/stat : 29149 (npSolver-wbo.sh) D 29147 29149 22577 0 -1 4202496 364 80949 0 0 0 0 2518 367 20 0 1 0 386450651 9371648 279 33554432000 4194304 5064252 140735753684720 140735753680184 229355898240 0 0 4100 65536 18446744072099295477 0 0 17 0 0 0 0 0 0
/proc/29149/statm: 2288 279 236 213 0 73 0
Current children cumulated CPU time (s) 28.85
Current children cumulated vsize (KiB) 9152
Child status: 0
Real time (s): 110.618
CPU time (s): 28.8616
CPU user time (s): 25.1892
CPU system time (s): 3.67244
CPU usage (%): 26.0912
Max. virtual memory (cumulated for all children) (KiB): 6837848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.1892
system time used= 3.67244
maximum resident set size= 4846632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81324
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1055809
involuntary context switches= 62
runsolver used 0.164974 second user time and 0.45493 second system time
The end