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-3698103-1338072285/watcher-3698103-1338072285 -o /tmp/evaluation-result-3698103-1338072285/solver-3698103-1338072285 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698103-1338072285.opb 707103634 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: 3.87 2.67 2.24 3/181 6448
/proc/meminfo: memFree=27670944/32873844 swapFree=7124/7124
[pid=6448] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6448/stat : 6448 (npSolver-pbo-It) S 6446 6448 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273353875 9367552 275 33554432000 4194304 5064252 140734780193440 140734780192352 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6448/statm: 2287 275 233 213 0 72 0
[startup+0.0176039 s]
/proc/loadavg: 3.87 2.67 2.24 3/181 6448
/proc/meminfo: memFree=27670944/32873844 swapFree=7124/7124
[pid=6448] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6448/stat : 6448 (npSolver-pbo-It) S 6446 6448 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273353875 9367552 275 33554432000 4194304 5064252 140734780193440 140734780192352 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6448/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10023 s]
/proc/loadavg: 3.87 2.67 2.24 3/181 6448
/proc/meminfo: memFree=27670944/32873844 swapFree=7124/7124
[pid=6448] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6448/stat : 6448 (npSolver-pbo-It) S 6446 6448 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273353875 9367552 275 33554432000 4194304 5064252 140734780193440 140734780192352 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6448/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300211 s]
/proc/loadavg: 3.87 2.67 2.24 3/181 6448
/proc/meminfo: memFree=27670944/32873844 swapFree=7124/7124
[pid=6448] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6448/stat : 6448 (npSolver-pbo-It) S 6446 6448 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273353875 9367552 275 33554432000 4194304 5064252 140734780193440 140734780192352 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6448/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700241 s]
/proc/loadavg: 3.87 2.67 2.24 3/181 6448
/proc/meminfo: memFree=27670944/32873844 swapFree=7124/7124
[pid=6448] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6448/stat : 6448 (npSolver-pbo-It) S 6446 6448 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273353875 9367552 275 33554432000 4194304 5064252 140734780193440 140734780192352 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6448/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 3.87 2.67 2.24 3/183 6450
/proc/meminfo: memFree=27645684/32873844 swapFree=7124/7124
[pid=6448] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6448/stat : 6448 (npSolver-pbo-It) S 6446 6448 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273353875 9367552 275 33554432000 4194304 5064252 140734780193440 140734780192352 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6448/statm: 2287 275 233 213 0 72 0
[pid=6449] ppid=6448 vsize=68308 CPUtime=1.49 cores=0,2,4,6
/proc/6449/stat : 6449 (npSolver-pbo) R 6448 6448 4265 0 -1 4202496 12123 0 0 0 147 2 0 0 20 0 1 0 273353875 69947392 15422 33554432000 4194304 5992684 140734951955856 140734951952648 5044375 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6449/statm: 17077 15422 156 440 0 16633 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 77456
[startup+3.10029 s]
/proc/loadavg: 3.87 2.67 2.24 3/183 6450
/proc/meminfo: memFree=27554920/32873844 swapFree=7124/7124
[pid=6448] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6448/stat : 6448 (npSolver-pbo-It) S 6446 6448 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273353875 9367552 275 33554432000 4194304 5064252 140734780193440 140734780192352 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6448/statm: 2287 275 233 213 0 72 0
[pid=6449] ppid=6448 vsize=240640 CPUtime=3.09 cores=0,2,4,6
/proc/6449/stat : 6449 (npSolver-pbo) R 6448 6448 4265 0 -1 4202496 31648 0 0 0 301 8 0 0 20 0 1 0 273353875 246415360 51762 33554432000 4194304 5992684 140734951955856 140734951947832 4227904 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6449/statm: 60160 51762 156 440 0 59716 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 249788
[startup+6.30031 s]
/proc/loadavg: 3.72 2.66 2.24 3/183 6450
/proc/meminfo: memFree=27253700/32873844 swapFree=7124/7124
[pid=6448] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6448/stat : 6448 (npSolver-pbo-It) S 6446 6448 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273353875 9367552 275 33554432000 4194304 5064252 140734780193440 140734780192352 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6448/statm: 2287 275 233 213 0 72 0
[pid=6449] ppid=6448 vsize=516344 CPUtime=6.28 cores=0,2,4,6
/proc/6449/stat : 6449 (npSolver-pbo) R 6448 6448 4265 0 -1 4202496 68434 0 0 0 612 16 0 0 20 0 1 0 273353875 528736256 125276 33554432000 4194304 5992684 140734951955856 140734951949144 5044353 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6449/statm: 129086 125276 156 440 0 128642 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 525492
[startup+12.7003 s]
/proc/loadavg: 3.58 2.65 2.23 3/183 6450
/proc/meminfo: memFree=26647372/32873844 swapFree=7124/7124
[pid=6448] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6448/stat : 6448 (npSolver-pbo-It) S 6446 6448 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273353875 9367552 275 33554432000 4194304 5064252 140734780193440 140734780192352 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6448/statm: 2287 275 233 213 0 72 0
[pid=6449] ppid=6448 vsize=1579620 CPUtime=12.68 cores=0,2,4,6
/proc/6449/stat : 6449 (npSolver-pbo) R 6448 6448 4265 0 -1 4202496 139296 0 0 0 1228 40 0 0 20 0 1 0 273353875 1617530880 267294 33554432000 4194304 5992684 140734951955856 140734951947768 4957503 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6449/statm: 394905 267294 156 440 0 394461 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1588768
[startup+25.5003 s]
/proc/loadavg: 3.23 2.61 2.23 3/183 6450
/proc/meminfo: memFree=25465344/32873844 swapFree=7124/7124
[pid=6448] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6448/stat : 6448 (npSolver-pbo-It) S 6446 6448 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273353875 9367552 275 33554432000 4194304 5064252 140734780193440 140734780192352 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6448/statm: 2287 275 233 213 0 72 0
[pid=6449] ppid=6448 vsize=3182688 CPUtime=25.46 cores=0,2,4,6
/proc/6449/stat : 6449 (npSolver-pbo) R 6448 6448 4265 0 -1 4202496 279190 0 0 0 2467 79 0 0 20 0 1 0 273353875 3259072512 557421 33554432000 4194304 5992684 140734951955856 140734951949016 4228648 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6449/statm: 795672 557421 156 440 0 795228 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 3191836
[startup+51.1003 s]
/proc/loadavg: 2.81 2.56 2.22 3/183 6450
/proc/meminfo: memFree=23184824/32873844 swapFree=7124/7124
[pid=6448] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6448/stat : 6448 (npSolver-pbo-It) S 6446 6448 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273353875 9367552 275 33554432000 4194304 5064252 140734780193440 140734780192352 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6448/statm: 2287 275 233 213 0 72 0
[pid=6449] ppid=6448 vsize=6358896 CPUtime=51.05 cores=0,2,4,6
/proc/6449/stat : 6449 (npSolver-pbo) R 6448 6448 4265 0 -1 4202496 551087 0 0 0 4943 162 0 0 20 0 1 0 273353875 6511509504 1132850 33554432000 4194304 5992684 140734951955856 140734951947960 5044320 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6449/statm: 1589724 1132850 156 440 0 1589280 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 6368044
[startup+102.307 s]
/proc/loadavg: 2.35 2.47 2.21 3/182 6450
/proc/meminfo: memFree=19072260/32873844 swapFree=7124/7124
[pid=6448] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6448/stat : 6448 (npSolver-pbo-It) S 6446 6448 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273353875 9367552 275 33554432000 4194304 5064252 140734780193440 140734780192352 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6448/statm: 2287 275 233 213 0 72 0
[pid=6449] ppid=6448 vsize=8625664 CPUtime=102.23 cores=0,2,4,6
/proc/6449/stat : 6449 (npSolver-pbo) R 6448 6448 4265 0 -1 4202496 1510467 0 0 0 9919 304 0 0 20 0 1 0 273353875 8832679936 2145672 33554432000 4194304 5992684 140734951955856 140734951951176 5044337 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6449/statm: 2156416 2145672 203 440 0 2155972 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 8634812
[startup+162.3 s]
/proc/loadavg: 2.13 2.38 2.19 3/182 6451
/proc/meminfo: memFree=16535484/32873844 swapFree=7124/7124
[pid=6448] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6448/stat : 6448 (npSolver-pbo-It) S 6446 6448 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273353875 9367552 275 33554432000 4194304 5064252 140734780193440 140734780192352 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6448/statm: 2287 275 233 213 0 72 0
[pid=6449] ppid=6448 vsize=11181568 CPUtime=162.17 cores=0,2,4,6
/proc/6449/stat : 6449 (npSolver-pbo) R 6448 6448 4265 0 -1 4202496 3825003 0 0 0 15627 590 0 0 20 0 1 0 273353875 11449925632 2782962 33554432000 4194304 5992684 140734951955856 140734951948328 5044353 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6449/statm: 2795392 2782962 203 440 0 2794948 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 11190716
[startup+222.3 s]
/proc/loadavg: 2.04 2.31 2.18 3/182 6451
/proc/meminfo: memFree=14057044/32873844 swapFree=7124/7124
[pid=6448] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6448/stat : 6448 (npSolver-pbo-It) S 6446 6448 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273353875 9367552 275 33554432000 4194304 5064252 140734780193440 140734780192352 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6448/statm: 2287 275 233 213 0 72 0
[pid=6449] ppid=6448 vsize=13606400 CPUtime=222.12 cores=0,2,4,6
/proc/6449/stat : 6449 (npSolver-pbo) R 6448 6448 4265 0 -1 4202496 6108783 0 0 0 21320 892 0 0 20 0 1 0 273353875 13932953600 3398402 33554432000 4194304 5992684 140734951955856 140734951948072 5044393 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6449/statm: 3401600 3398403 203 440 0 3401156 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 13615548
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+277.1 s]
/proc/loadavg: 2.07 2.27 2.17 3/182 6451
/proc/meminfo: memFree=11799516/32873844 swapFree=7124/7124
[pid=6448] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6448/stat : 6448 (npSolver-pbo-It) S 6446 6448 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273353875 9367552 275 33554432000 4194304 5064252 140734780193440 140734780192352 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6448/statm: 2287 275 233 213 0 72 0
[pid=6449] ppid=6448 vsize=15900160 CPUtime=276.89 cores=0,2,4,6
/proc/6449/stat : 6449 (npSolver-pbo) R 6448 6448 4265 0 -1 4202496 8195015 0 0 0 26529 1160 0 0 20 0 1 0 273353875 16281763840 3958513 33554432000 4194304 5992684 140734951955856 140734951951176 5044393 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6449/statm: 3975040 3958513 203 440 0 3974596 0
Current children cumulated CPU time (s) 276.89
Current children cumulated vsize (KiB) 15909308
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+277.1 s]
/proc/loadavg: 2.07 2.27 2.17 3/182 6451
/proc/meminfo: memFree=11799516/32873844 swapFree=7124/7124
[pid=6448] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6448/stat : 6448 (npSolver-pbo-It) S 6446 6448 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273353875 9367552 275 33554432000 4194304 5064252 140734780193440 140734780192352 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6448/statm: 2287 275 233 213 0 72 0
[pid=6449] ppid=6448 vsize=15900160 CPUtime=276.89 cores=0,2,4,6
/proc/6449/stat : 6449 (npSolver-pbo) R 6448 6448 4265 0 -1 4202496 8195015 0 0 0 26529 1160 0 0 20 0 1 0 273353875 16281763840 3958513 33554432000 4194304 5992684 140734951955856 140734951951176 5044393 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6449/statm: 3975040 3958513 203 440 0 3974596 0
Current children cumulated CPU time (s) 276.89
Current children cumulated vsize (KiB) 15909308
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6448 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 276.89
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 277.117
CPU time (s): 276.89
CPU user time (s): 265.29
CPU system time (s): 11.6
CPU usage (%): 99.9179
Max. virtual memory (cumulated for all children) (KiB): 15909308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
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= 4
involuntary context switches= 1
runsolver used 0.595909 second user time and 1.41179 second system time
The end