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-3697692-1338121665/watcher-3697692-1338121665 -o /tmp/evaluation-result-3697692-1338121665/solver-3697692-1338121665 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697692-1338121665.opb 1755560890 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: 0.92 0.98 1.22 2/176 24725
/proc/meminfo: memFree=29266480/32873844 swapFree=6856/6856
[pid=24725] ppid=24721 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24725/stat : 24725 (npSolver-pbo-It) S 24721 24725 24682 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278291401 9367552 275 33554432000 4194304 5064252 140733318756160 140733318755072 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24725/statm: 2287 275 233 213 0 72 0
[startup+0.0203049 s]
/proc/loadavg: 0.92 0.98 1.22 2/176 24725
/proc/meminfo: memFree=29266480/32873844 swapFree=6856/6856
[pid=24725] ppid=24721 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24725/stat : 24725 (npSolver-pbo-It) S 24721 24725 24682 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278291401 9367552 275 33554432000 4194304 5064252 140733318756160 140733318755072 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24725/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100258 s]
/proc/loadavg: 0.92 0.98 1.22 2/176 24725
/proc/meminfo: memFree=29266480/32873844 swapFree=6856/6856
[pid=24725] ppid=24721 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24725/stat : 24725 (npSolver-pbo-It) S 24721 24725 24682 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278291401 9367552 275 33554432000 4194304 5064252 140733318756160 140733318755072 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24725/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300227 s]
/proc/loadavg: 0.92 0.98 1.22 2/176 24725
/proc/meminfo: memFree=29266480/32873844 swapFree=6856/6856
[pid=24725] ppid=24721 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24725/stat : 24725 (npSolver-pbo-It) S 24721 24725 24682 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278291401 9367552 275 33554432000 4194304 5064252 140733318756160 140733318755072 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24725/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700255 s]
/proc/loadavg: 0.92 0.98 1.22 2/176 24725
/proc/meminfo: memFree=29266480/32873844 swapFree=6856/6856
[pid=24725] ppid=24721 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24725/stat : 24725 (npSolver-pbo-It) S 24721 24725 24682 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278291401 9367552 275 33554432000 4194304 5064252 140733318756160 140733318755072 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24725/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 0.92 0.98 1.22 4/180 24729
/proc/meminfo: memFree=29105516/32873844 swapFree=6856/6856
[pid=24725] ppid=24721 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24725/stat : 24725 (npSolver-pbo-It) S 24721 24725 24682 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278291401 9367552 275 33554432000 4194304 5064252 140733318756160 140733318755072 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24725/statm: 2287 275 233 213 0 72 0
[pid=24727] ppid=24725 vsize=170884 CPUtime=1.49 cores=0,2,4,6
/proc/24727/stat : 24727 (npSolver-pbo) R 24725 24725 24682 0 -1 4202496 13362 0 0 0 144 5 0 0 20 0 1 0 278291402 174985216 28614 33554432000 4194304 5992684 140733244030704 140733244026024 4523474 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24727/statm: 42721 28614 167 440 0 42277 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 180032
[startup+3.10038 s]
/proc/loadavg: 0.92 0.98 1.22 3/181 24730
/proc/meminfo: memFree=28690768/32873844 swapFree=6856/6856
[pid=24725] ppid=24721 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24725/stat : 24725 (npSolver-pbo-It) S 24721 24725 24682 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278291401 9367552 275 33554432000 4194304 5064252 140733318756160 140733318755072 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24725/statm: 2287 275 233 213 0 72 0
[pid=24727] ppid=24725 vsize=170884 CPUtime=2.08 cores=0,2,4,6
/proc/24727/stat : 24727 (npSolver-pbo) S 24725 24725 24682 0 -1 4202496 14098 0 0 0 182 26 0 0 20 0 1 0 278291402 174985216 35277 33554432000 4194304 5992684 140733244030704 140733244025152 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24727/statm: 42721 35277 174 440 0 42277 0
[pid=24730] ppid=24727 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24730/stat : 24730 (cp2_pre.sh) S 24727 24725 24682 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 278291611 9367552 276 33554432000 4194304 5064252 140735156617728 140735156616432 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24730/statm: 2287 276 234 213 0 72 0
[pid=24731] ppid=24730 vsize=110920 CPUtime=0.99 cores=0,2,4,6
/proc/24731/stat : 24731 (coprocessor) R 24730 24725 24682 0 -1 4202496 11384 0 0 0 95 4 0 0 20 0 1 0 278291611 113582080 26038 33554432000 4194304 6586260 140735613753216 140735613749976 5732400 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/24731/statm: 27730 26038 137 584 0 27142 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 300100
[startup+6.30039 s]
/proc/loadavg: 1.01 1.00 1.22 4/184 24733
/proc/meminfo: memFree=27904652/32873844 swapFree=6856/6856
[pid=24725] ppid=24721 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24725/stat : 24725 (npSolver-pbo-It) S 24721 24725 24682 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278291401 9367552 275 33554432000 4194304 5064252 140733318756160 140733318755072 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24725/statm: 2287 275 233 213 0 72 0
[pid=24727] ppid=24725 vsize=170884 CPUtime=2.08 cores=0,2,4,6
/proc/24727/stat : 24727 (npSolver-pbo) S 24725 24725 24682 0 -1 4202496 14098 0 0 0 182 26 0 0 20 0 1 0 278291402 174985216 35277 33554432000 4194304 5992684 140733244030704 140733244025152 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24727/statm: 42721 35277 174 440 0 42277 0
[pid=24730] ppid=24727 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24730/stat : 24730 (cp2_pre.sh) S 24727 24725 24682 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 278291611 9367552 276 33554432000 4194304 5064252 140735156617728 140735156616432 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24730/statm: 2287 276 234 213 0 72 0
[pid=24731] ppid=24730 vsize=489688 CPUtime=4.19 cores=0,2,4,6
/proc/24731/stat : 24731 (coprocessor) R 24730 24725 24682 0 -1 4202496 54108 0 0 0 405 14 0 0 20 0 1 0 278291611 501440512 119351 33554432000 4194304 6586260 140735613753216 140735613749368 4750533 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/24731/statm: 122422 119351 182 584 0 121834 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 678868
[startup+12.7003 s]
/proc/loadavg: 1.09 1.02 1.22 3/183 24738
/proc/meminfo: memFree=28235612/32873844 swapFree=6856/6856
[pid=24725] ppid=24721 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24725/stat : 24725 (npSolver-pbo-It) S 24721 24725 24682 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278291401 9367552 275 33554432000 4194304 5064252 140733318756160 140733318755072 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24725/statm: 2287 275 233 213 0 72 0
[pid=24727] ppid=24725 vsize=178644 CPUtime=10.16 cores=0,2,4,6
/proc/24727/stat : 24727 (npSolver-pbo) S 24725 24725 24682 0 -1 4204032 17819 63242 0 0 197 36 751 32 20 0 1 0 278291402 182931456 37270 33554432000 4194304 5992684 140733244030704 140733244025240 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24727/statm: 44661 37270 194 440 0 44217 0
[pid=24735] ppid=24727 vsize=205460 CPUtime=0.89 cores=0,2,4,6
/proc/24735/stat : 24735 (glucosInc) S 24727 24725 24682 0 -1 4202496 37378 0 0 0 83 6 0 0 20 0 1 0 278292396 210391040 45679 33554432000 4194304 5654031 140733536672240 140733536670552 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24735/statm: 51365 45679 146 357 0 51005 0
Current children cumulated CPU time (s) 11.05
Current children cumulated vsize (KiB) 393252
Solver just ended. Dumping a history of the last processes samples
[startup+13.1003 s]
/proc/loadavg: 1.09 1.02 1.22 3/183 24738
/proc/meminfo: memFree=28235612/32873844 swapFree=6856/6856
[pid=24725] ppid=24721 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24725/stat : 24725 (npSolver-pbo-It) S 24721 24725 24682 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278291401 9367552 275 33554432000 4194304 5064252 140733318756160 140733318755072 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24725/statm: 2287 275 233 213 0 72 0
[pid=24727] ppid=24725 vsize=178644 CPUtime=10.16 cores=0,2,4,6
/proc/24727/stat : 24727 (npSolver-pbo) S 24725 24725 24682 0 -1 4204032 17819 63242 0 0 197 36 751 32 20 0 1 0 278291402 182931456 37270 33554432000 4194304 5992684 140733244030704 140733244025240 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24727/statm: 44661 37270 194 440 0 44217 0
[pid=24735] ppid=24727 vsize=205460 CPUtime=0.89 cores=0,2,4,6
/proc/24735/stat : 24735 (glucosInc) S 24727 24725 24682 0 -1 4202496 37378 0 0 0 83 6 0 0 20 0 1 0 278292396 210391040 45679 33554432000 4194304 5654031 140733536672240 140733536670552 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24735/statm: 51365 45679 146 357 0 51005 0
Current children cumulated CPU time (s) 11.05
Current children cumulated vsize (KiB) 393252
[startup+13.3003 s]
/proc/loadavg: 1.09 1.02 1.22 3/183 24738
/proc/meminfo: memFree=28235612/32873844 swapFree=6856/6856
[pid=24725] ppid=24721 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24725/stat : 24725 (npSolver-pbo-It) S 24721 24725 24682 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278291401 9367552 275 33554432000 4194304 5064252 140733318756160 140733318755072 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24725/statm: 2287 275 233 213 0 72 0
[pid=24727] ppid=24725 vsize=178644 CPUtime=10.16 cores=0,2,4,6
/proc/24727/stat : 24727 (npSolver-pbo) S 24725 24725 24682 0 -1 4204032 17819 63242 0 0 197 36 751 32 20 0 1 0 278291402 182931456 37270 33554432000 4194304 5992684 140733244030704 140733244025240 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24727/statm: 44661 37270 194 440 0 44217 0
[pid=24735] ppid=24727 vsize=205460 CPUtime=0.89 cores=0,2,4,6
/proc/24735/stat : 24735 (glucosInc) S 24727 24725 24682 0 -1 4202496 37378 0 0 0 83 6 0 0 20 0 1 0 278292396 210391040 45679 33554432000 4194304 5654031 140733536672240 140733536670552 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24735/statm: 51365 45679 146 357 0 51005 0
Current children cumulated CPU time (s) 11.05
Current children cumulated vsize (KiB) 393252
[startup+13.4004 s]
/proc/loadavg: 1.09 1.02 1.22 3/183 24738
/proc/meminfo: memFree=28235612/32873844 swapFree=6856/6856
[pid=24725] ppid=24721 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24725/stat : 24725 (npSolver-pbo-It) S 24721 24725 24682 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278291401 9367552 275 33554432000 4194304 5064252 140733318756160 140733318755072 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24725/statm: 2287 275 233 213 0 72 0
[pid=24727] ppid=24725 vsize=178644 CPUtime=10.16 cores=0,2,4,6
/proc/24727/stat : 24727 (npSolver-pbo) S 24725 24725 24682 0 -1 4204032 17819 63242 0 0 197 36 751 32 20 0 1 0 278291402 182931456 37270 33554432000 4194304 5992684 140733244030704 140733244025240 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24727/statm: 44661 37270 194 440 0 44217 0
[pid=24735] ppid=24727 vsize=205460 CPUtime=0.89 cores=0,2,4,6
/proc/24735/stat : 24735 (glucosInc) S 24727 24725 24682 0 -1 4202496 37378 0 0 0 83 6 0 0 20 0 1 0 278292396 210391040 45679 33554432000 4194304 5654031 140733536672240 140733536670552 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24735/statm: 51365 45679 146 357 0 51005 0
Current children cumulated CPU time (s) 11.05
Current children cumulated vsize (KiB) 393252
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24725 and gives
# childrusage.ru_utime.tv_sec=9
# childrusage.ru_utime.tv_usec=488557
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=690894
# CPU time returned by wait4() is 10.1795
# while last known CPU time is 11.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 13.4908
CPU time (s): 11.05
CPU user time (s): 10.31
CPU system time (s): 0.74
CPU usage (%): 81.9077
Max. virtual memory (cumulated for all children) (KiB): 736416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.48856
system time used= 0.690894
maximum resident set size= 551196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81435
page faults= 0
swaps= 0
block input operations= 0
block output operations= 281200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45258
involuntary context switches= 23
runsolver used 0.011998 second user time and 0.104984 second system time
The end