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-3701891-1338048681/watcher-3701891-1338048681 -o /tmp/evaluation-result-3701891-1338048681/solver-3701891-1338048681 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3701891-1338048681.opb 1700626577 HOME HOME
running on 4 cores: 1,3,5,7
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: 1.68 1.47 1.73 2/179 32670
/proc/meminfo: memFree=30094180/32873844 swapFree=7108/7108
[pid=32670] ppid=32668 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32670/stat : 32670 (npSolver-pbo-It) S 32668 32670 29021 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 270996770 9367552 274 33554432000 4194304 5064252 140735701950000 140735701948912 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32670/statm: 2287 274 233 213 0 72 0
[startup+0.0413471 s]
/proc/loadavg: 1.68 1.47 1.73 2/179 32670
/proc/meminfo: memFree=30094180/32873844 swapFree=7108/7108
[pid=32670] ppid=32668 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32670/stat : 32670 (npSolver-pbo-It) S 32668 32670 29021 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 270996770 9367552 274 33554432000 4194304 5064252 140735701950000 140735701948912 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32670/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100268 s]
/proc/loadavg: 1.68 1.47 1.73 2/179 32670
/proc/meminfo: memFree=30094180/32873844 swapFree=7108/7108
[pid=32670] ppid=32668 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32670/stat : 32670 (npSolver-pbo-It) S 32668 32670 29021 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 270996770 9367552 274 33554432000 4194304 5064252 140735701950000 140735701948912 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32670/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30024 s]
/proc/loadavg: 1.68 1.47 1.73 2/179 32670
/proc/meminfo: memFree=30094180/32873844 swapFree=7108/7108
[pid=32670] ppid=32668 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32670/stat : 32670 (npSolver-pbo-It) S 32668 32670 29021 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 270996770 9367552 274 33554432000 4194304 5064252 140735701950000 140735701948912 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32670/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700223 s]
/proc/loadavg: 1.68 1.47 1.73 2/179 32670
/proc/meminfo: memFree=30094180/32873844 swapFree=7108/7108
[pid=32670] ppid=32668 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32670/stat : 32670 (npSolver-pbo-It) S 32668 32670 29021 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 270996770 9367552 274 33554432000 4194304 5064252 140735701950000 140735701948912 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32670/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 1.68 1.47 1.73 3/180 32711
/proc/meminfo: memFree=30189008/32873844 swapFree=7108/7108
[pid=32670] ppid=32668 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32670/stat : 32670 (npSolver-pbo-It) S 32668 32670 29021 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 270996770 9367552 274 33554432000 4194304 5064252 140735701950000 140735701948912 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32670/statm: 2287 274 233 213 0 72 0
[pid=32671] ppid=32670 vsize=10300 CPUtime=1.48 cores=1,3,5,7
/proc/32671/stat : 32671 (npSolver-pbo) R 32670 32670 29021 0 -1 4202496 2182 0 0 0 148 0 0 0 20 0 1 0 270996771 10547200 2165 33554432000 4194304 5992684 140736311455968 140736311451704 5179600 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32671/statm: 2575 2165 145 440 0 2131 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 19448
[startup+3.10027 s]
/proc/loadavg: 1.68 1.47 1.73 3/180 32711
/proc/meminfo: memFree=30142344/32873844 swapFree=7108/7108
[pid=32670] ppid=32668 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32670/stat : 32670 (npSolver-pbo-It) S 32668 32670 29021 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 270996770 9367552 274 33554432000 4194304 5064252 140735701950000 140735701948912 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32670/statm: 2287 274 233 213 0 72 0
[pid=32671] ppid=32670 vsize=34876 CPUtime=3.09 cores=1,3,5,7
/proc/32671/stat : 32671 (npSolver-pbo) R 32670 32670 29021 0 -1 4202496 3006 0 0 0 308 1 0 0 20 0 1 0 270996771 35713024 4510 33554432000 4194304 5992684 140736311455968 140736311452088 4372872 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32671/statm: 8719 4510 145 440 0 8275 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44024
[startup+6.30032 s]
/proc/loadavg: 1.78 1.49 1.74 3/180 32711
/proc/meminfo: memFree=29657548/32873844 swapFree=7108/7108
[pid=32670] ppid=32668 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32670/stat : 32670 (npSolver-pbo-It) S 32668 32670 29021 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 270996770 9367552 274 33554432000 4194304 5064252 140735701950000 140735701948912 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32670/statm: 2287 274 233 213 0 72 0
[pid=32671] ppid=32670 vsize=399856 CPUtime=6.28 cores=1,3,5,7
/proc/32671/stat : 32671 (npSolver-pbo) R 32670 32670 29021 0 -1 4202496 38589 0 0 0 615 13 0 0 20 0 1 0 270996771 409452544 71152 33554432000 4194304 5992684 140736311455968 140736311446472 4228680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32671/statm: 99964 71152 160 440 0 99520 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 409004
[startup+12.7003 s]
/proc/loadavg: 1.80 1.50 1.74 3/181 32712
/proc/meminfo: memFree=28002840/32873844 swapFree=7108/7108
[pid=32670] ppid=32668 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32670/stat : 32670 (npSolver-pbo-It) S 32668 32670 29021 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 270996770 9367552 274 33554432000 4194304 5064252 140735701950000 140735701948912 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32670/statm: 2287 274 233 213 0 72 0
[pid=32671] ppid=32670 vsize=911732 CPUtime=12.69 cores=1,3,5,7
/proc/32671/stat : 32671 (npSolver-pbo) R 32670 32670 29021 0 -1 4202496 101715 0 0 0 1236 33 0 0 20 0 1 0 270996771 933613568 209267 33554432000 4194304 5992684 140736311455968 140736311447176 4227666 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32671/statm: 227933 209267 160 440 0 227489 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 920880
[startup+25.5003 s]
/proc/loadavg: 2.43 1.65 1.78 4/177 32741
/proc/meminfo: memFree=26482996/32873844 swapFree=7108/7108
[pid=32670] ppid=32668 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32670/stat : 32670 (npSolver-pbo-It) S 32668 32670 29021 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 270996770 9367552 274 33554432000 4194304 5064252 140735701950000 140735701948912 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32670/statm: 2287 274 233 213 0 72 0
[pid=32671] ppid=32670 vsize=1618528 CPUtime=18.33 cores=1,3,5,7
/proc/32671/stat : 32671 (npSolver-pbo) S 32670 32670 29021 0 -1 4204032 148360 0 0 0 1714 119 0 0 20 0 1 0 270996771 1657372672 311866 33554432000 4194304 5992684 140736311455968 140736311447032 4336000 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32671/statm: 404632 311866 165 440 0 404188 0
Current children cumulated CPU time (s) 18.33
Current children cumulated vsize (KiB) 1627676
heavy processes:
%CPU=54 pid=32713 uid=0 cmd=
[startup+51.1003 s]
/proc/loadavg: 3.03 1.86 1.85 2/181 32752
/proc/meminfo: memFree=24850640/32873844 swapFree=7108/7108
[pid=32670] ppid=32668 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32670/stat : 32670 (npSolver-pbo-It) S 32668 32670 29021 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 270996770 9367552 274 33554432000 4194304 5064252 140735701950000 140735701948912 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32670/statm: 2287 274 233 213 0 72 0
[pid=32671] ppid=32670 vsize=1618528 CPUtime=18.68 cores=1,3,5,7
/proc/32671/stat : 32671 (npSolver-pbo) S 32670 32670 29021 0 -1 4204032 148361 0 0 0 1714 154 0 0 20 0 1 0 270996771 1657372672 311867 33554432000 4194304 5992684 140736311455968 140736311447032 4336000 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32671/statm: 404632 311867 166 440 0 404188 0
Current children cumulated CPU time (s) 18.68
Current children cumulated vsize (KiB) 1627676
heavy processes:
%CPU=14 pid=32713 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 32671 11 506 18446744073709551615
Solver just ended. Dumping a history of the last processes samples
[startup+53.1003 s]
/proc/loadavg: 3.03 1.86 1.85 2/181 32752
/proc/meminfo: memFree=24683084/32873844 swapFree=7108/7108
[pid=32670] ppid=32668 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32670/stat : 32670 (npSolver-pbo-It) S 32668 32670 29021 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 270996770 9367552 274 33554432000 4194304 5064252 140735701950000 140735701948912 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32670/statm: 2287 274 233 213 0 72 0
[pid=32671] ppid=32670 vsize=1618528 CPUtime=18.68 cores=1,3,5,7
/proc/32671/stat : 32671 (npSolver-pbo) S 32670 32670 29021 0 -1 4204032 148361 0 0 0 1714 154 0 0 20 0 1 0 270996771 1657372672 311867 33554432000 4194304 5992684 140736311455968 140736311447032 4336000 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32671/statm: 404632 311867 166 440 0 404188 0
Current children cumulated CPU time (s) 18.68
Current children cumulated vsize (KiB) 1627676
[startup+59.5003 s]
/proc/loadavg: 3.18 1.91 1.86 2/181 32752
/proc/meminfo: memFree=24132896/32873844 swapFree=7108/7108
[pid=32670] ppid=32668 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32670/stat : 32670 (npSolver-pbo-It) S 32668 32670 29021 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 270996770 9367552 274 33554432000 4194304 5064252 140735701950000 140735701948912 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32670/statm: 2287 274 233 213 0 72 0
[pid=32671] ppid=32670 vsize=1618528 CPUtime=18.68 cores=1,3,5,7
/proc/32671/stat : 32671 (npSolver-pbo) S 32670 32670 29021 0 -1 4204032 148361 0 0 0 1714 154 0 0 20 0 1 0 270996771 1657372672 311867 33554432000 4194304 5992684 140736311455968 140736311447032 4336000 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32671/statm: 404632 311867 166 440 0 404188 0
Current children cumulated CPU time (s) 18.68
Current children cumulated vsize (KiB) 1627676
[startup+62.7003 s]
/proc/loadavg: 3.33 1.96 1.88 2/181 32752
/proc/meminfo: memFree=23844852/32873844 swapFree=7108/7108
[pid=32670] ppid=32668 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32670/stat : 32670 (npSolver-pbo-It) S 32668 32670 29021 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 270996770 9367552 274 33554432000 4194304 5064252 140735701950000 140735701948912 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32670/statm: 2287 274 233 213 0 72 0
[pid=32671] ppid=32670 vsize=1618528 CPUtime=18.68 cores=1,3,5,7
/proc/32671/stat : 32671 (npSolver-pbo) S 32670 32670 29021 0 -1 4204032 148361 0 0 0 1714 154 0 0 20 0 1 0 270996771 1657372672 311867 33554432000 4194304 5992684 140736311455968 140736311447032 4336000 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32671/statm: 404632 311867 166 440 0 404188 0
Current children cumulated CPU time (s) 18.68
Current children cumulated vsize (KiB) 1627676
[startup+63.5003 s]
/proc/loadavg: 3.33 1.96 1.88 2/181 32752
/proc/meminfo: memFree=23746712/32873844 swapFree=7108/7108
[pid=32670] ppid=32668 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32670/stat : 32670 (npSolver-pbo-It) S 32668 32670 29021 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 270996770 9367552 274 33554432000 4194304 5064252 140735701950000 140735701948912 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32670/statm: 2287 274 233 213 0 72 0
[pid=32671] ppid=32670 vsize=1618528 CPUtime=18.68 cores=1,3,5,7
/proc/32671/stat : 32671 (npSolver-pbo) S 32670 32670 29021 0 -1 4204032 148361 0 0 0 1714 154 0 0 20 0 1 0 270996771 1657372672 311867 33554432000 4194304 5992684 140736311455968 140736311447032 4336000 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32671/statm: 404632 311867 166 440 0 404188 0
Current children cumulated CPU time (s) 18.68
Current children cumulated vsize (KiB) 1627676
[startup+64.3003 s]
/proc/loadavg: 3.33 1.96 1.88 2/181 32752
/proc/meminfo: memFree=23746712/32873844 swapFree=7108/7108
[pid=32670] ppid=32668 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32670/stat : 32670 (npSolver-pbo-It) S 32668 32670 29021 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 270996770 9367552 274 33554432000 4194304 5064252 140735701950000 140735701948912 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32670/statm: 2287 274 233 213 0 72 0
[pid=32671] ppid=32670 vsize=1618528 CPUtime=18.68 cores=1,3,5,7
/proc/32671/stat : 32671 (npSolver-pbo) S 32670 32670 29021 0 -1 4204032 148361 0 0 0 1714 154 0 0 20 0 1 0 270996771 1657372672 311867 33554432000 4194304 5992684 140736311455968 140736311447032 4336000 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32671/statm: 404632 311867 166 440 0 404188 0
Current children cumulated CPU time (s) 18.68
Current children cumulated vsize (KiB) 1627676
[startup+64.7064 s]
/proc/loadavg: 3.46 2.01 1.90 2/181 32752
/proc/meminfo: memFree=23653596/32873844 swapFree=7108/7108
[pid=32670] ppid=32668 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32670/stat : 32670 (npSolver-pbo-It) S 32668 32670 29021 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 270996770 9367552 274 33554432000 4194304 5064252 140735701950000 140735701948912 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32670/statm: 2287 274 233 213 0 72 0
[pid=32671] ppid=32670 vsize=1618528 CPUtime=18.68 cores=1,3,5,7
/proc/32671/stat : 32671 (npSolver-pbo) S 32670 32670 29021 0 -1 4204032 148361 0 0 0 1714 154 0 0 20 0 1 0 270996771 1657372672 311867 33554432000 4194304 5992684 140736311455968 140736311447032 4336000 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32671/statm: 404632 311867 166 440 0 404188 0
Current children cumulated CPU time (s) 18.68
Current children cumulated vsize (KiB) 1627676
Child status: 0
Real time (s): 64.7982
CPU time (s): 18.7222
CPU user time (s): 17.1414
CPU system time (s): 1.58076
CPU usage (%): 28.893
Max. virtual memory (cumulated for all children) (KiB): 2029364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.1414
system time used= 1.58076
maximum resident set size= 1494988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148735
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= 372092
involuntary context switches= 23
runsolver used 0.111982 second user time and 0.288956 second system time
The end