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-3748201-1339132568/watcher-3748201-1339132568 -o /tmp/evaluation-result-3748201-1339132568/solver-3748201-1339132568 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748201-1339132568.opb 628287790 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: 2.00 2.00 2.00 3/179 3008
/proc/meminfo: memFree=31716996/32873844 swapFree=6904/6904
[pid=3008] ppid=3006 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3008/stat : 3008 (npSolver-pbo-I.) S 3006 3008 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379381255 9367552 275 33554432000 4194304 5064252 140734238689248 140734238688160 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3008/statm: 2287 275 233 213 0 72 0
[startup+0.0883001 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3008
/proc/meminfo: memFree=31716996/32873844 swapFree=6904/6904
[pid=3008] ppid=3006 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3008/stat : 3008 (npSolver-pbo-I.) S 3006 3008 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379381255 9367552 275 33554432000 4194304 5064252 140734238689248 140734238688160 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3008/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100239 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3008
/proc/meminfo: memFree=31716996/32873844 swapFree=6904/6904
[pid=3008] ppid=3006 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3008/stat : 3008 (npSolver-pbo-I.) S 3006 3008 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379381255 9367552 275 33554432000 4194304 5064252 140734238689248 140734238688160 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3008/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300302 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3008
/proc/meminfo: memFree=31716996/32873844 swapFree=6904/6904
[pid=3008] ppid=3006 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3008/stat : 3008 (npSolver-pbo-I.) S 3006 3008 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379381255 9367552 275 33554432000 4194304 5064252 140734238689248 140734238688160 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3008/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700277 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3008
/proc/meminfo: memFree=31716996/32873844 swapFree=6904/6904
[pid=3008] ppid=3006 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3008/stat : 3008 (npSolver-pbo-I.) S 3006 3008 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379381255 9367552 275 33554432000 4194304 5064252 140734238689248 140734238688160 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3008/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 3014
/proc/meminfo: memFree=31709436/32873844 swapFree=6904/6904
[pid=3008] ppid=3006 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3008/stat : 3008 (npSolver-pbo-I.) S 3006 3008 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379381255 9367552 275 33554432000 4194304 5064252 140734238689248 140734238688160 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3008/statm: 2287 275 233 213 0 72 0
[pid=3009] ppid=3008 vsize=3392 CPUtime=0.12 cores=1,3,5,7
/proc/3009/stat : 3009 (npSolver-pbo) S 3008 3008 30741 0 -1 4202496 2106 3452 0 0 1 1 8 2 20 0 1 0 379381255 3473408 470 33554432000 4194304 6004724 140735557617008 140735557603288 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3009/statm: 848 470 167 442 0 402 0
[pid=3014] ppid=3009 vsize=7832 CPUtime=1.35 cores=1,3,5,7
/proc/3014/stat : 3014 (glucosInc) R 3009 3008 30741 0 -1 4202496 1836 0 0 0 135 0 0 0 20 0 1 0 379381269 8019968 1458 33554432000 4194304 5654031 140733629442000 140733629439784 4208648 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3014/statm: 1958 1458 139 357 0 1598 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 20372
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 3014
/proc/meminfo: memFree=31708444/32873844 swapFree=6904/6904
[pid=3008] ppid=3006 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3008/stat : 3008 (npSolver-pbo-I.) S 3006 3008 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379381255 9367552 275 33554432000 4194304 5064252 140734238689248 140734238688160 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3008/statm: 2287 275 233 213 0 72 0
[pid=3009] ppid=3008 vsize=3392 CPUtime=0.12 cores=1,3,5,7
/proc/3009/stat : 3009 (npSolver-pbo) S 3008 3008 30741 0 -1 4202496 2106 3452 0 0 1 1 8 2 20 0 1 0 379381255 3473408 470 33554432000 4194304 6004724 140735557617008 140735557603288 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3009/statm: 848 470 167 442 0 402 0
[pid=3014] ppid=3009 vsize=9480 CPUtime=2.95 cores=1,3,5,7
/proc/3014/stat : 3014 (glucosInc) R 3009 3008 30741 0 -1 4202496 2301 0 0 0 295 0 0 0 20 0 1 0 379381269 9707520 1890 33554432000 4194304 5654031 140733629442000 140733629429816 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3014/statm: 2370 1890 139 357 0 2010 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 22020
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 3014
/proc/meminfo: memFree=31704616/32873844 swapFree=6904/6904
[pid=3008] ppid=3006 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3008/stat : 3008 (npSolver-pbo-I.) S 3006 3008 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379381255 9367552 275 33554432000 4194304 5064252 140734238689248 140734238688160 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3008/statm: 2287 275 233 213 0 72 0
[pid=3009] ppid=3008 vsize=3392 CPUtime=0.12 cores=1,3,5,7
/proc/3009/stat : 3009 (npSolver-pbo) S 3008 3008 30741 0 -1 4202496 2106 3452 0 0 1 1 8 2 20 0 1 0 379381255 3473408 470 33554432000 4194304 6004724 140735557617008 140735557603288 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3009/statm: 848 470 167 442 0 402 0
[pid=3014] ppid=3009 vsize=13848 CPUtime=6.15 cores=1,3,5,7
/proc/3014/stat : 3014 (glucosInc) R 3009 3008 30741 0 -1 4202496 3044 0 0 0 615 0 0 0 20 0 1 0 379381269 14180352 2582 33554432000 4194304 5654031 140733629442000 140733629429816 4232994 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3014/statm: 3462 2582 139 357 0 3102 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 26388
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 3014
/proc/meminfo: memFree=31696196/32873844 swapFree=6904/6904
[pid=3008] ppid=3006 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3008/stat : 3008 (npSolver-pbo-I.) S 3006 3008 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379381255 9367552 275 33554432000 4194304 5064252 140734238689248 140734238688160 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3008/statm: 2287 275 233 213 0 72 0
[pid=3009] ppid=3008 vsize=3392 CPUtime=0.12 cores=1,3,5,7
/proc/3009/stat : 3009 (npSolver-pbo) S 3008 3008 30741 0 -1 4202496 2106 3452 0 0 1 1 8 2 20 0 1 0 379381255 3473408 470 33554432000 4194304 6004724 140735557617008 140735557603288 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3009/statm: 848 470 167 442 0 402 0
[pid=3014] ppid=3009 vsize=15520 CPUtime=12.54 cores=1,3,5,7
/proc/3014/stat : 3014 (glucosInc) R 3009 3008 30741 0 -1 4202496 3816 0 0 0 1254 0 0 0 20 0 1 0 379381269 15892480 3298 33554432000 4194304 5654031 140733629442000 140733629429816 4232242 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3014/statm: 3880 3298 139 357 0 3520 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 28060
Solver just ended. Dumping a history of the last processes samples
[startup+19.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 3014
/proc/meminfo: memFree=31693404/32873844 swapFree=6904/6904
[pid=3008] ppid=3006 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3008/stat : 3008 (npSolver-pbo-I.) S 3006 3008 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379381255 9367552 275 33554432000 4194304 5064252 140734238689248 140734238688160 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3008/statm: 2287 275 233 213 0 72 0
[pid=3009] ppid=3008 vsize=3392 CPUtime=0.12 cores=1,3,5,7
/proc/3009/stat : 3009 (npSolver-pbo) S 3008 3008 30741 0 -1 4202496 2106 3452 0 0 1 1 8 2 20 0 1 0 379381255 3473408 470 33554432000 4194304 6004724 140735557617008 140735557603288 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3009/statm: 848 470 167 442 0 402 0
[pid=3014] ppid=3009 vsize=18648 CPUtime=18.94 cores=1,3,5,7
/proc/3014/stat : 3014 (glucosInc) R 3009 3008 30741 0 -1 4202496 4029 0 0 0 1894 0 0 0 20 0 1 0 379381269 19095552 3500 33554432000 4194304 5654031 140733629442000 140733629429816 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3014/statm: 4662 3500 139 357 0 4302 0
Current children cumulated CPU time (s) 19.06
Current children cumulated vsize (KiB) 31188
[startup+22.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 3014
/proc/meminfo: memFree=31689808/32873844 swapFree=6904/6904
[pid=3008] ppid=3006 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3008/stat : 3008 (npSolver-pbo-I.) S 3006 3008 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379381255 9367552 275 33554432000 4194304 5064252 140734238689248 140734238688160 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3008/statm: 2287 275 233 213 0 72 0
[pid=3009] ppid=3008 vsize=3392 CPUtime=0.12 cores=1,3,5,7
/proc/3009/stat : 3009 (npSolver-pbo) S 3008 3008 30741 0 -1 4202496 2106 3452 0 0 1 1 8 2 20 0 1 0 379381255 3473408 470 33554432000 4194304 6004724 140735557617008 140735557603288 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3009/statm: 848 470 167 442 0 402 0
[pid=3014] ppid=3009 vsize=21588 CPUtime=22.14 cores=1,3,5,7
/proc/3014/stat : 3014 (glucosInc) R 3009 3008 30741 0 -1 4202496 4376 0 0 0 2214 0 0 0 20 0 1 0 379381269 22106112 4355 33554432000 4194304 5654031 140733629442000 140733629429816 4232681 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3014/statm: 5397 4355 139 357 0 5037 0
Current children cumulated CPU time (s) 22.26
Current children cumulated vsize (KiB) 34128
[startup+23.1073 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 3014
/proc/meminfo: memFree=31689808/32873844 swapFree=6904/6904
[pid=3008] ppid=3006 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3008/stat : 3008 (npSolver-pbo-I.) S 3006 3008 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379381255 9367552 275 33554432000 4194304 5064252 140734238689248 140734238688160 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3008/statm: 2287 275 233 213 0 72 0
[pid=3009] ppid=3008 vsize=3392 CPUtime=0.12 cores=1,3,5,7
/proc/3009/stat : 3009 (npSolver-pbo) S 3008 3008 30741 0 -1 4202496 2106 3452 0 0 1 1 8 2 20 0 1 0 379381255 3473408 470 33554432000 4194304 6004724 140735557617008 140735557603288 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3009/statm: 848 470 167 442 0 402 0
[pid=3014] ppid=3009 vsize=21588 CPUtime=22.95 cores=1,3,5,7
/proc/3014/stat : 3014 (glucosInc) R 3009 3008 30741 0 -1 4202496 4376 0 0 0 2295 0 0 0 20 0 1 0 379381269 22106112 4355 33554432000 4194304 5654031 140733629442000 140733629429816 4232639 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3014/statm: 5397 4355 139 357 0 5037 0
Current children cumulated CPU time (s) 23.07
Current children cumulated vsize (KiB) 34128
[startup+23.9003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 3014
/proc/meminfo: memFree=31689808/32873844 swapFree=6904/6904
[pid=3008] ppid=3006 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3008/stat : 3008 (npSolver-pbo-I.) S 3006 3008 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379381255 9367552 275 33554432000 4194304 5064252 140734238689248 140734238688160 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3008/statm: 2287 275 233 213 0 72 0
[pid=3009] ppid=3008 vsize=3392 CPUtime=0.12 cores=1,3,5,7
/proc/3009/stat : 3009 (npSolver-pbo) S 3008 3008 30741 0 -1 4202496 2106 3452 0 0 1 1 8 2 20 0 1 0 379381255 3473408 470 33554432000 4194304 6004724 140735557617008 140735557603288 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3009/statm: 848 470 167 442 0 402 0
[pid=3014] ppid=3009 vsize=21588 CPUtime=23.74 cores=1,3,5,7
/proc/3014/stat : 3014 (glucosInc) R 3009 3008 30741 0 -1 4202496 4376 0 0 0 2374 0 0 0 20 0 1 0 379381269 22106112 4355 33554432000 4194304 5654031 140733629442000 140733629429816 4233226 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3014/statm: 5397 4355 139 357 0 5037 0
Current children cumulated CPU time (s) 23.86
Current children cumulated vsize (KiB) 34128
[startup+24.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 3014
/proc/meminfo: memFree=31687140/32873844 swapFree=6904/6904
[pid=3008] ppid=3006 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3008/stat : 3008 (npSolver-pbo-I.) S 3006 3008 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379381255 9367552 275 33554432000 4194304 5064252 140734238689248 140734238688160 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3008/statm: 2287 275 233 213 0 72 0
[pid=3009] ppid=3008 vsize=3392 CPUtime=0.12 cores=1,3,5,7
/proc/3009/stat : 3009 (npSolver-pbo) S 3008 3008 30741 0 -1 4202496 2106 3452 0 0 1 1 8 2 20 0 1 0 379381255 3473408 470 33554432000 4194304 6004724 140735557617008 140735557603288 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3009/statm: 848 470 167 442 0 402 0
[pid=3014] ppid=3009 vsize=21588 CPUtime=24.14 cores=1,3,5,7
/proc/3014/stat : 3014 (glucosInc) R 3009 3008 30741 0 -1 4202496 4376 0 0 0 2414 0 0 0 20 0 1 0 379381269 22106112 4355 33554432000 4194304 5654031 140733629442000 140733629429816 4243467 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3014/statm: 5397 4355 139 357 0 5037 0
Current children cumulated CPU time (s) 24.26
Current children cumulated vsize (KiB) 34128
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3008 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=103984
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=35994
# CPU time returned by wait4() is 0.139978
# while last known CPU time is 24.26
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 24.3111
CPU time (s): 24.26
CPU user time (s): 24.23
CPU system time (s): 0.03
CPU usage (%): 99.7897
Max. virtual memory (cumulated for all children) (KiB): 35136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.103984
system time used= 0.035994
maximum resident set size= 30252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5973
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 9
runsolver used 0.170974 second user time and 0.164974 second system time
The end