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-3715759-1338258819/watcher-3715759-1338258819 -o /tmp/evaluation-result-3715759-1338258819/solver-3715759-1338258819 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715759-1338258819.wbo 1398255043 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: 5.06 3.90 2.74 4/181 25281
/proc/meminfo: memFree=14273112/32873844 swapFree=7120/7120
[pid=25281] ppid=25279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25281/stat : 25281 (npSolver-wbo-It) S 25279 25281 24610 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292006855 9367552 275 33554432000 4194304 5064252 140737032927488 140737032926400 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25281/statm: 2287 275 233 213 0 72 0
[startup+0.082902 s]
/proc/loadavg: 5.06 3.90 2.74 4/181 25281
/proc/meminfo: memFree=14273112/32873844 swapFree=7120/7120
[pid=25281] ppid=25279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25281/stat : 25281 (npSolver-wbo-It) S 25279 25281 24610 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292006855 9367552 275 33554432000 4194304 5064252 140737032927488 140737032926400 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25281/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100189 s]
/proc/loadavg: 5.06 3.90 2.74 4/181 25281
/proc/meminfo: memFree=14273112/32873844 swapFree=7120/7120
[pid=25281] ppid=25279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25281/stat : 25281 (npSolver-wbo-It) S 25279 25281 24610 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292006855 9367552 275 33554432000 4194304 5064252 140737032927488 140737032926400 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25281/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300162 s]
/proc/loadavg: 5.06 3.90 2.74 4/181 25281
/proc/meminfo: memFree=14273112/32873844 swapFree=7120/7120
[pid=25281] ppid=25279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25281/stat : 25281 (npSolver-wbo-It) S 25279 25281 24610 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292006855 9367552 275 33554432000 4194304 5064252 140737032927488 140737032926400 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25281/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700161 s]
/proc/loadavg: 5.06 3.90 2.74 4/181 25281
/proc/meminfo: memFree=14273112/32873844 swapFree=7120/7120
[pid=25281] ppid=25279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25281/stat : 25281 (npSolver-wbo-It) S 25279 25281 24610 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292006855 9367552 275 33554432000 4194304 5064252 140737032927488 140737032926400 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25281/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 4.81 3.87 2.73 3/184 25302
/proc/meminfo: memFree=17648204/32873844 swapFree=7120/7120
[pid=25281] ppid=25279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25281/stat : 25281 (npSolver-wbo-It) S 25279 25281 24610 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292006855 9367552 275 33554432000 4194304 5064252 140737032927488 140737032926400 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25281/statm: 2287 275 233 213 0 72 0
[pid=25282] ppid=25281 vsize=2464 CPUtime=0.04 cores=0,2,4,6
/proc/25282/stat : 25282 (npSolver-wbo) S 25281 25281 24610 0 -1 4202496 526 9056 0 1 0 0 2 2 20 0 1 0 292006855 2523136 278 33554432000 4194304 5990268 140734803011040 140734803002464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25282/statm: 616 278 180 439 0 173 0
[pid=25301] ppid=25282 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25301/stat : 25301 (satsolver.sh) S 25282 25281 24610 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 292006861 9367552 266 33554432000 4194304 5064252 140736752099008 140736752097920 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25301/statm: 2287 266 226 213 0 72 0
[pid=25302] ppid=25301 vsize=5812 CPUtime=1.43 cores=0,2,4,6
/proc/25302/stat : 25302 (glucose) R 25301 25281 24610 0 -1 4202496 1389 0 0 0 143 0 0 0 20 0 1 0 292006861 5951488 1010 33554432000 4194304 5208918 140736643728672 140736643726536 4214464 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25302/statm: 1453 1010 96 248 0 1202 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 26572
[startup+3.10035 s]
/proc/loadavg: 4.81 3.87 2.73 3/184 25302
/proc/meminfo: memFree=17647836/32873844 swapFree=7120/7120
[pid=25281] ppid=25279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25281/stat : 25281 (npSolver-wbo-It) S 25279 25281 24610 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292006855 9367552 275 33554432000 4194304 5064252 140737032927488 140737032926400 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25281/statm: 2287 275 233 213 0 72 0
[pid=25282] ppid=25281 vsize=2464 CPUtime=0.04 cores=0,2,4,6
/proc/25282/stat : 25282 (npSolver-wbo) S 25281 25281 24610 0 -1 4202496 526 9056 0 1 0 0 2 2 20 0 1 0 292006855 2523136 278 33554432000 4194304 5990268 140734803011040 140734803002464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25282/statm: 616 278 180 439 0 173 0
[pid=25301] ppid=25282 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25301/stat : 25301 (satsolver.sh) S 25282 25281 24610 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 292006861 9367552 266 33554432000 4194304 5064252 140736752099008 140736752097920 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25301/statm: 2287 266 226 213 0 72 0
[pid=25302] ppid=25301 vsize=6920 CPUtime=3.03 cores=0,2,4,6
/proc/25302/stat : 25302 (glucose) R 25301 25281 24610 0 -1 4202496 1695 0 0 0 303 0 0 0 20 0 1 0 292006861 7086080 1284 33554432000 4194304 5208918 140736643728672 140736643726536 4229776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25302/statm: 1730 1284 96 248 0 1479 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 27680
[startup+6.30035 s]
/proc/loadavg: 4.59 3.84 2.73 3/184 25309
/proc/meminfo: memFree=17653912/32873844 swapFree=7120/7120
[pid=25281] ppid=25279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25281/stat : 25281 (npSolver-wbo-It) S 25279 25281 24610 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292006855 9367552 275 33554432000 4194304 5064252 140737032927488 140737032926400 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25281/statm: 2287 275 233 213 0 72 0
[pid=25282] ppid=25281 vsize=2464 CPUtime=4.17 cores=0,2,4,6
/proc/25282/stat : 25282 (npSolver-wbo) S 25281 25281 24610 0 -1 4202496 639 13889 0 1 0 0 414 3 20 0 1 0 292006855 2523136 276 33554432000 4194304 5990268 140734803011040 140734803002464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25282/statm: 616 276 180 439 0 173 0
[pid=25308] ppid=25282 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25308/stat : 25308 (satsolver.sh) S 25282 25281 24610 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 292007282 9367552 266 33554432000 4194304 5064252 140734915631840 140734915630752 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25308/statm: 2287 266 226 213 0 72 0
[pid=25309] ppid=25308 vsize=6596 CPUtime=2.02 cores=0,2,4,6
/proc/25309/stat : 25309 (glucose) R 25308 25281 24610 0 -1 4202496 1428 0 0 0 202 0 0 0 20 0 1 0 292007283 6754304 1106 33554432000 4194304 5208918 140733417444976 140733417442920 4212874 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25309/statm: 1649 1106 96 248 0 1398 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 27356
Solver just ended. Dumping a history of the last processes samples
[startup+9.50035 s]
/proc/loadavg: 4.59 3.84 2.73 3/184 25309
/proc/meminfo: memFree=17651296/32873844 swapFree=7120/7120
[pid=25281] ppid=25279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25281/stat : 25281 (npSolver-wbo-It) S 25279 25281 24610 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292006855 9367552 275 33554432000 4194304 5064252 140737032927488 140737032926400 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25281/statm: 2287 275 233 213 0 72 0
[pid=25282] ppid=25281 vsize=2464 CPUtime=4.17 cores=0,2,4,6
/proc/25282/stat : 25282 (npSolver-wbo) S 25281 25281 24610 0 -1 4202496 639 13889 0 1 0 0 414 3 20 0 1 0 292006855 2523136 276 33554432000 4194304 5990268 140734803011040 140734803002464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25282/statm: 616 276 180 439 0 173 0
[pid=25308] ppid=25282 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25308/stat : 25308 (satsolver.sh) S 25282 25281 24610 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 292007282 9367552 266 33554432000 4194304 5064252 140734915631840 140734915630752 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25308/statm: 2287 266 226 213 0 72 0
[pid=25309] ppid=25308 vsize=8696 CPUtime=5.22 cores=0,2,4,6
/proc/25309/stat : 25309 (glucose) R 25308 25281 24610 0 -1 4202496 2103 0 0 0 522 0 0 0 20 0 1 0 292007283 8904704 1722 33554432000 4194304 5208918 140733417444976 140733417442840 4229712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25309/statm: 2174 1722 96 248 0 1923 0
Current children cumulated CPU time (s) 9.39
Current children cumulated vsize (KiB) 29456
[startup+11.1004 s]
/proc/loadavg: 4.38 3.81 2.72 3/184 25309
/proc/meminfo: memFree=17650688/32873844 swapFree=7120/7120
[pid=25281] ppid=25279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25281/stat : 25281 (npSolver-wbo-It) S 25279 25281 24610 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292006855 9367552 275 33554432000 4194304 5064252 140737032927488 140737032926400 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25281/statm: 2287 275 233 213 0 72 0
[pid=25282] ppid=25281 vsize=2464 CPUtime=4.17 cores=0,2,4,6
/proc/25282/stat : 25282 (npSolver-wbo) S 25281 25281 24610 0 -1 4202496 639 13889 0 1 0 0 414 3 20 0 1 0 292006855 2523136 276 33554432000 4194304 5990268 140734803011040 140734803002464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25282/statm: 616 276 180 439 0 173 0
[pid=25308] ppid=25282 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25308/stat : 25308 (satsolver.sh) S 25282 25281 24610 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 292007282 9367552 266 33554432000 4194304 5064252 140734915631840 140734915630752 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25308/statm: 2287 266 226 213 0 72 0
[pid=25309] ppid=25308 vsize=9544 CPUtime=6.82 cores=0,2,4,6
/proc/25309/stat : 25309 (glucose) R 25308 25281 24610 0 -1 4202496 2236 0 0 0 682 0 0 0 20 0 1 0 292007283 9773056 1844 33554432000 4194304 5208918 140733417444976 140733417442840 4205163 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25309/statm: 2386 1844 96 248 0 2135 0
Current children cumulated CPU time (s) 10.99
Current children cumulated vsize (KiB) 30304
[startup+11.5004 s]
/proc/loadavg: 4.38 3.81 2.72 3/184 25309
/proc/meminfo: memFree=17650688/32873844 swapFree=7120/7120
[pid=25281] ppid=25279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25281/stat : 25281 (npSolver-wbo-It) S 25279 25281 24610 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292006855 9367552 275 33554432000 4194304 5064252 140737032927488 140737032926400 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25281/statm: 2287 275 233 213 0 72 0
[pid=25282] ppid=25281 vsize=2464 CPUtime=4.17 cores=0,2,4,6
/proc/25282/stat : 25282 (npSolver-wbo) S 25281 25281 24610 0 -1 4202496 639 13889 0 1 0 0 414 3 20 0 1 0 292006855 2523136 276 33554432000 4194304 5990268 140734803011040 140734803002464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25282/statm: 616 276 180 439 0 173 0
[pid=25308] ppid=25282 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25308/stat : 25308 (satsolver.sh) S 25282 25281 24610 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 292007282 9367552 266 33554432000 4194304 5064252 140734915631840 140734915630752 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25308/statm: 2287 266 226 213 0 72 0
[pid=25309] ppid=25308 vsize=9544 CPUtime=7.22 cores=0,2,4,6
/proc/25309/stat : 25309 (glucose) R 25308 25281 24610 0 -1 4202496 2236 0 0 0 722 0 0 0 20 0 1 0 292007283 9773056 1844 33554432000 4194304 5208918 140733417444976 140733417442840 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25309/statm: 2386 1844 96 248 0 2135 0
Current children cumulated CPU time (s) 11.39
Current children cumulated vsize (KiB) 30304
[startup+11.7004 s]
/proc/loadavg: 4.38 3.81 2.72 3/184 25309
/proc/meminfo: memFree=17650688/32873844 swapFree=7120/7120
[pid=25281] ppid=25279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25281/stat : 25281 (npSolver-wbo-It) S 25279 25281 24610 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292006855 9367552 275 33554432000 4194304 5064252 140737032927488 140737032926400 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25281/statm: 2287 275 233 213 0 72 0
[pid=25282] ppid=25281 vsize=2464 CPUtime=11.59 cores=0,2,4,6
/proc/25282/stat : 25282 (npSolver-wbo) S 25281 25281 24610 0 -1 4202496 646 16730 0 1 0 0 1156 3 20 0 1 0 292006855 2523136 276 33554432000 4194304 5990268 140734803011040 140734803001952 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25282/statm: 616 276 180 439 0 173 0
Current children cumulated CPU time (s) 11.59
Current children cumulated vsize (KiB) 11612
Child status: 0
Real time (s): 11.71
CPU time (s): 11.6272
CPU user time (s): 11.5772
CPU system time (s): 0.049992
CPU usage (%): 99.2931
Max. virtual memory (cumulated for all children) (KiB): 30304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.5772
system time used= 0.049992
maximum resident set size= 7380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20982
page faults= 1
swaps= 0
block input operations= 232
block output operations= 736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 90
involuntary context switches= 73
runsolver used 0.025996 second user time and 0.051992 second system time
The end