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-3698421-1338084671/watcher-3698421-1338084671 -o /tmp/evaluation-result-3698421-1338084671/solver-3698421-1338084671 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698421-1338084671.opb 518154228 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.01 2.01 2.00 3/178 5549
/proc/meminfo: memFree=27427148/32873844 swapFree=7620/7620
[pid=5549] ppid=5547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5549/stat : 5549 (npSolver-pbo-It) S 5547 5549 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595696 9367552 275 33554432000 4194304 5064252 140733906380480 140733906379392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5549/statm: 2287 275 233 213 0 72 0
[startup+0.066109 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 5549
/proc/meminfo: memFree=27427148/32873844 swapFree=7620/7620
[pid=5549] ppid=5547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5549/stat : 5549 (npSolver-pbo-It) S 5547 5549 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595696 9367552 275 33554432000 4194304 5064252 140733906380480 140733906379392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5549/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100269 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 5549
/proc/meminfo: memFree=27427148/32873844 swapFree=7620/7620
[pid=5549] ppid=5547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5549/stat : 5549 (npSolver-pbo-It) S 5547 5549 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595696 9367552 275 33554432000 4194304 5064252 140733906380480 140733906379392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5549/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300242 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 5549
/proc/meminfo: memFree=27427148/32873844 swapFree=7620/7620
[pid=5549] ppid=5547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5549/stat : 5549 (npSolver-pbo-It) S 5547 5549 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595696 9367552 275 33554432000 4194304 5064252 140733906380480 140733906379392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5549/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700274 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 5549
/proc/meminfo: memFree=27427148/32873844 swapFree=7620/7620
[pid=5549] ppid=5547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5549/stat : 5549 (npSolver-pbo-It) S 5547 5549 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595696 9367552 275 33554432000 4194304 5064252 140733906380480 140733906379392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5549/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50019 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 5551
/proc/meminfo: memFree=27373408/32873844 swapFree=7620/7620
[pid=5549] ppid=5547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5549/stat : 5549 (npSolver-pbo-It) S 5547 5549 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595696 9367552 275 33554432000 4194304 5064252 140733906380480 140733906379392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5549/statm: 2287 275 233 213 0 72 0
[pid=5550] ppid=5549 vsize=65996 CPUtime=1.07 cores=0,2,4,6
/proc/5550/stat : 5550 (npSolver-pbo) S 5549 5549 824 0 -1 4202496 11275 0 0 0 101 6 0 0 20 0 1 0 274595697 67579904 14760 33554432000 4194304 5992684 140734224045264 140734224039712 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0
/proc/5550/statm: 16499 14760 165 440 0 16055 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 75144
[startup+3.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 5553
/proc/meminfo: memFree=27063296/32873844 swapFree=7620/7620
[pid=5549] ppid=5547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5549/stat : 5549 (npSolver-pbo-It) S 5547 5549 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595696 9367552 275 33554432000 4194304 5064252 140733906380480 140733906379392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5549/statm: 2287 275 233 213 0 72 0
[pid=5550] ppid=5549 vsize=65996 CPUtime=1.07 cores=0,2,4,6
/proc/5550/stat : 5550 (npSolver-pbo) S 5549 5549 824 0 -1 4202496 11275 0 0 0 101 6 0 0 20 0 1 0 274595697 67579904 14760 33554432000 4194304 5992684 140734224045264 140734224039712 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0
/proc/5550/statm: 16499 14760 165 440 0 16055 0
[pid=5552] ppid=5550 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5552/stat : 5552 (cp2_pre.sh) S 5550 5549 824 0 -1 4202496 611 0 0 0 0 0 0 0 20 0 1 0 274595807 9367552 277 33554432000 4194304 5064252 140736801547104 140736801545808 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5552/statm: 2287 277 234 213 0 72 0
[pid=5553] ppid=5552 vsize=366296 CPUtime=1.97 cores=0,2,4,6
/proc/5553/stat : 5553 (coprocessor) R 5552 5549 824 0 -1 4202496 48092 0 0 0 188 9 0 0 20 0 1 0 274595807 375087104 89013 33554432000 4194304 6586260 140736568088576 140736568084504 4578062 0 0 4096 8404994 0 0 0 17 6 0 0 0 0 0
/proc/5553/statm: 91574 89013 175 584 0 90986 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 450588
[startup+6.30029 s]
/proc/loadavg: 2.01 2.00 2.00 3/182 5553
/proc/meminfo: memFree=26862656/32873844 swapFree=7620/7620
[pid=5549] ppid=5547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5549/stat : 5549 (npSolver-pbo-It) S 5547 5549 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595696 9367552 275 33554432000 4194304 5064252 140733906380480 140733906379392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5549/statm: 2287 275 233 213 0 72 0
[pid=5550] ppid=5549 vsize=65996 CPUtime=1.07 cores=0,2,4,6
/proc/5550/stat : 5550 (npSolver-pbo) S 5549 5549 824 0 -1 4202496 11275 0 0 0 101 6 0 0 20 0 1 0 274595697 67579904 14760 33554432000 4194304 5992684 140734224045264 140734224039712 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0
/proc/5550/statm: 16499 14760 165 440 0 16055 0
[pid=5552] ppid=5550 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5552/stat : 5552 (cp2_pre.sh) S 5550 5549 824 0 -1 4202496 611 0 0 0 0 0 0 0 20 0 1 0 274595807 9367552 277 33554432000 4194304 5064252 140736801547104 140736801545808 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5552/statm: 2287 277 234 213 0 72 0
[pid=5553] ppid=5552 vsize=485312 CPUtime=5.17 cores=0,2,4,6
/proc/5553/stat : 5553 (coprocessor) R 5552 5549 824 0 -1 4202496 55319 0 0 0 420 97 0 0 20 0 1 0 274595807 496959488 118441 33554432000 4194304 6586260 140736568088576 140736568084200 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/5553/statm: 121328 118441 196 584 0 120740 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 569604
Solver just ended. Dumping a history of the last processes samples
[startup+7.90042 s]
/proc/loadavg: 2.01 2.00 2.00 3/182 5553
/proc/meminfo: memFree=26840096/32873844 swapFree=7620/7620
[pid=5549] ppid=5547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5549/stat : 5549 (npSolver-pbo-It) S 5547 5549 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595696 9367552 275 33554432000 4194304 5064252 140733906380480 140733906379392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5549/statm: 2287 275 233 213 0 72 0
[pid=5550] ppid=5549 vsize=65996 CPUtime=7.76 cores=0,2,4,6
/proc/5550/stat : 5550 (npSolver-pbo) S 5549 5549 824 0 -1 4202496 11290 56226 0 0 101 6 513 156 20 0 1 0 274595697 67579904 14762 33554432000 4194304 5992684 140734224045264 140734224031528 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 2 0 0
/proc/5550/statm: 16499 14762 167 440 0 16055 0
Current children cumulated CPU time (s) 7.76
Current children cumulated vsize (KiB) 75144
[startup+9.50033 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 5555
/proc/meminfo: memFree=27186532/32873844 swapFree=7620/7620
[pid=5549] ppid=5547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5549/stat : 5549 (npSolver-pbo-It) S 5547 5549 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595696 9367552 275 33554432000 4194304 5064252 140733906380480 140733906379392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5549/statm: 2287 275 233 213 0 72 0
[pid=5550] ppid=5549 vsize=86416 CPUtime=8.16 cores=0,2,4,6
/proc/5550/stat : 5550 (npSolver-pbo) S 5549 5549 824 0 -1 4204032 13970 56226 0 0 133 14 513 156 20 0 1 0 274595697 88489984 19885 33554432000 4194304 5992684 140734224045264 140734224039800 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 2 0 0
/proc/5550/statm: 21604 19885 185 440 0 21160 0
[pid=5555] ppid=5550 vsize=146984 CPUtime=0.56 cores=0,2,4,6
/proc/5555/stat : 5555 (glucosInc) S 5550 5549 824 0 -1 4202496 27646 0 0 0 52 4 0 0 20 0 1 0 274596478 150511616 32791 33554432000 4194304 5654031 140735238099056 140735238097368 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5555/statm: 36746 32791 145 357 0 36386 0
Current children cumulated CPU time (s) 8.72
Current children cumulated vsize (KiB) 242548
[startup+9.90671 s]
/proc/loadavg: 2.01 2.00 2.00 2/182 5556
/proc/meminfo: memFree=27020124/32873844 swapFree=7620/7620
[pid=5549] ppid=5547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5549/stat : 5549 (npSolver-pbo-It) S 5547 5549 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595696 9367552 275 33554432000 4194304 5064252 140733906380480 140733906379392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5549/statm: 2287 275 233 213 0 72 0
[pid=5550] ppid=5549 vsize=86416 CPUtime=8.16 cores=0,2,4,6
/proc/5550/stat : 5550 (npSolver-pbo) S 5549 5549 824 0 -1 4204032 13970 56226 0 0 133 14 513 156 20 0 1 0 274595697 88489984 19885 33554432000 4194304 5992684 140734224045264 140734224039800 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 2 0 0
/proc/5550/statm: 21604 19885 185 440 0 21160 0
[pid=5555] ppid=5550 vsize=146984 CPUtime=0.56 cores=0,2,4,6
/proc/5555/stat : 5555 (glucosInc) S 5550 5549 824 0 -1 4202496 27646 0 0 0 52 4 0 0 20 0 1 0 274596478 150511616 32791 33554432000 4194304 5654031 140735238099056 140735238097368 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5555/statm: 36746 32791 145 357 0 36386 0
Current children cumulated CPU time (s) 8.72
Current children cumulated vsize (KiB) 242548
[startup+10.1003 s]
/proc/loadavg: 2.01 2.00 2.00 2/182 5556
/proc/meminfo: memFree=27020124/32873844 swapFree=7620/7620
[pid=5549] ppid=5547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5549/stat : 5549 (npSolver-pbo-It) S 5547 5549 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595696 9367552 275 33554432000 4194304 5064252 140733906380480 140733906379392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5549/statm: 2287 275 233 213 0 72 0
[pid=5550] ppid=5549 vsize=86416 CPUtime=8.16 cores=0,2,4,6
/proc/5550/stat : 5550 (npSolver-pbo) S 5549 5549 824 0 -1 4204032 13970 56226 0 0 133 14 513 156 20 0 1 0 274595697 88489984 19885 33554432000 4194304 5992684 140734224045264 140734224039800 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 2 0 0
/proc/5550/statm: 21604 19885 185 440 0 21160 0
[pid=5555] ppid=5550 vsize=146984 CPUtime=0.56 cores=0,2,4,6
/proc/5555/stat : 5555 (glucosInc) S 5550 5549 824 0 -1 4202496 27646 0 0 0 52 4 0 0 20 0 1 0 274596478 150511616 32791 33554432000 4194304 5654031 140735238099056 140735238097368 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5555/statm: 36746 32791 145 357 0 36386 0
Current children cumulated CPU time (s) 8.72
Current children cumulated vsize (KiB) 242548
[startup+10.2003 s]
/proc/loadavg: 2.01 2.00 2.00 2/182 5556
/proc/meminfo: memFree=27020124/32873844 swapFree=7620/7620
[pid=5549] ppid=5547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5549/stat : 5549 (npSolver-pbo-It) S 5547 5549 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274595696 9367552 275 33554432000 4194304 5064252 140733906380480 140733906379392 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5549/statm: 2287 275 233 213 0 72 0
[pid=5550] ppid=5549 vsize=86416 CPUtime=8.16 cores=0,2,4,6
/proc/5550/stat : 5550 (npSolver-pbo) S 5549 5549 824 0 -1 4204032 13970 56226 0 0 133 14 513 156 20 0 1 0 274595697 88489984 19885 33554432000 4194304 5992684 140734224045264 140734224039800 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 2 0 0
/proc/5550/statm: 21604 19885 185 440 0 21160 0
[pid=5555] ppid=5550 vsize=146984 CPUtime=0.56 cores=0,2,4,6
/proc/5555/stat : 5555 (glucosInc) S 5550 5549 824 0 -1 4202496 27646 0 0 0 52 4 0 0 20 0 1 0 274596478 150511616 32791 33554432000 4194304 5654031 140735238099056 140735238097368 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5555/statm: 36746 32791 145 357 0 36386 0
Current children cumulated CPU time (s) 8.72
Current children cumulated vsize (KiB) 242548
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5549 and gives
# childrusage.ru_utime.tv_sec=6
# childrusage.ru_utime.tv_usec=476015
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=714739
# CPU time returned by wait4() is 8.19075
# while last known CPU time is 8.72
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10.2747
CPU time (s): 8.72
CPU user time (s): 6.98
CPU system time (s): 1.74
CPU usage (%): 84.8687
Max. virtual memory (cumulated for all children) (KiB): 569608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.47602
system time used= 1.71474
maximum resident set size= 473784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70570
page faults= 0
swaps= 0
block input operations= 8
block output operations= 110944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20786
involuntary context switches= 30
runsolver used 0.022996 second user time and 0.06499 second system time
The end