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-3749238-1339170099/watcher-3749238-1339170099 -o /tmp/evaluation-result-3749238-1339170099/solver-3749238-1339170099 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3749238-1339170099.opb 1674230736 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.04 2.03 2.01 3/179 580
/proc/meminfo: memFree=30750148/32873844 swapFree=9160/9160
[pid=580] ppid=578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/580/stat : 580 (npSolver-pbo-I.) S 578 580 20658 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383134467 9367552 275 33554432000 4194304 5064252 140733314702800 140733314701712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/580/statm: 2287 275 233 213 0 72 0
[startup+0.055526 s]
/proc/loadavg: 2.04 2.03 2.01 3/179 580
/proc/meminfo: memFree=30750148/32873844 swapFree=9160/9160
[pid=580] ppid=578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/580/stat : 580 (npSolver-pbo-I.) S 578 580 20658 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383134467 9367552 275 33554432000 4194304 5064252 140733314702800 140733314701712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/580/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100288 s]
/proc/loadavg: 2.04 2.03 2.01 3/179 580
/proc/meminfo: memFree=30750148/32873844 swapFree=9160/9160
[pid=580] ppid=578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/580/stat : 580 (npSolver-pbo-I.) S 578 580 20658 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383134467 9367552 275 33554432000 4194304 5064252 140733314702800 140733314701712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/580/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300295 s]
/proc/loadavg: 2.04 2.03 2.01 3/179 580
/proc/meminfo: memFree=30750148/32873844 swapFree=9160/9160
[pid=580] ppid=578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/580/stat : 580 (npSolver-pbo-I.) S 578 580 20658 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383134467 9367552 275 33554432000 4194304 5064252 140733314702800 140733314701712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/580/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700291 s]
/proc/loadavg: 2.04 2.03 2.01 3/179 580
/proc/meminfo: memFree=30750148/32873844 swapFree=9160/9160
[pid=580] ppid=578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/580/stat : 580 (npSolver-pbo-I.) S 578 580 20658 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383134467 9367552 275 33554432000 4194304 5064252 140733314702800 140733314701712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/580/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: 2.04 2.03 2.01 3/181 582
/proc/meminfo: memFree=30606364/32873844 swapFree=9160/9160
[pid=580] ppid=578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/580/stat : 580 (npSolver-pbo-I.) S 578 580 20658 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383134467 9367552 275 33554432000 4194304 5064252 140733314702800 140733314701712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/580/statm: 2287 275 233 213 0 72 0
[pid=581] ppid=580 vsize=241076 CPUtime=1.49 cores=1,3,5,7
/proc/581/stat : 581 (npSolver-pbo) R 580 580 20658 0 -1 4202496 22441 0 0 0 142 7 0 0 20 0 1 0 383134467 246861824 44110 33554432000 4194304 6004724 140736342397792 140736342392744 4534761 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/581/statm: 60269 44110 154 442 0 59823 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 250224
[startup+3.10036 s]
/proc/loadavg: 2.04 2.03 2.01 3/181 582
/proc/meminfo: memFree=30527672/32873844 swapFree=9160/9160
[pid=580] ppid=578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/580/stat : 580 (npSolver-pbo-I.) S 578 580 20658 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383134467 9367552 275 33554432000 4194304 5064252 140733314702800 140733314701712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/580/statm: 2287 275 233 213 0 72 0
[pid=581] ppid=580 vsize=167416 CPUtime=2.68 cores=1,3,5,7
/proc/581/stat : 581 (npSolver-pbo) S 580 580 20658 0 -1 4202496 23300 0 0 0 235 33 0 0 20 0 1 0 383134467 171433984 41509 33554432000 4194304 6004724 140736342397792 140736342392256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/581/statm: 41854 41509 163 442 0 41408 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 176564
[startup+6.30043 s]
/proc/loadavg: 2.04 2.03 2.01 3/183 584
/proc/meminfo: memFree=29998276/32873844 swapFree=9160/9160
[pid=580] ppid=578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/580/stat : 580 (npSolver-pbo-I.) S 578 580 20658 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383134467 9367552 275 33554432000 4194304 5064252 140733314702800 140733314701712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/580/statm: 2287 275 233 213 0 72 0
[pid=581] ppid=580 vsize=167416 CPUtime=2.68 cores=1,3,5,7
/proc/581/stat : 581 (npSolver-pbo) S 580 580 20658 0 -1 4202496 23300 0 0 0 235 33 0 0 20 0 1 0 383134467 171433984 41509 33554432000 4194304 6004724 140736342397792 140736342392256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/581/statm: 41854 41509 163 442 0 41408 0
[pid=583] ppid=581 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/583/stat : 583 (cp2_pre.sh) S 581 580 20658 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383134737 9367552 277 33554432000 4194304 5064252 140734214977488 140734214976192 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/583/statm: 2287 277 234 213 0 72 0
[pid=584] ppid=583 vsize=561844 CPUtime=3.59 cores=1,3,5,7
/proc/584/stat : 584 (coprocessor) R 583 580 20658 0 -1 4202496 55435 0 0 0 338 21 0 0 20 0 1 0 383134737 575328256 125874 33554432000 4194304 6586260 140735618003152 140735617999480 5511711 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/584/statm: 140461 125874 164 584 0 139873 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 747556
[startup+12.7004 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 584
/proc/meminfo: memFree=29740288/32873844 swapFree=9160/9160
[pid=580] ppid=578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/580/stat : 580 (npSolver-pbo-I.) S 578 580 20658 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383134467 9367552 275 33554432000 4194304 5064252 140733314702800 140733314701712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/580/statm: 2287 275 233 213 0 72 0
[pid=581] ppid=580 vsize=167416 CPUtime=12.36 cores=1,3,5,7
/proc/581/stat : 581 (npSolver-pbo) S 580 580 20658 0 -1 4202496 23317 71203 0 0 235 33 924 44 20 0 1 0 383134467 171433984 41513 33554432000 4194304 6004724 140736342397792 140736342384072 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/581/statm: 41854 41513 167 442 0 41408 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 176564
Solver just ended. Dumping a history of the last processes samples
[startup+15.9004 s]
/proc/loadavg: 2.03 2.03 2.00 3/182 586
/proc/meminfo: memFree=30248376/32873844 swapFree=9160/9160
[pid=580] ppid=578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/580/stat : 580 (npSolver-pbo-I.) S 578 580 20658 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383134467 9367552 275 33554432000 4194304 5064252 140733314702800 140733314701712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/580/statm: 2287 275 233 213 0 72 0
[pid=581] ppid=580 vsize=167416 CPUtime=12.36 cores=1,3,5,7
/proc/581/stat : 581 (npSolver-pbo) S 580 580 20658 0 -1 4202496 23317 71203 0 0 235 33 924 44 20 0 1 0 383134467 171433984 41513 33554432000 4194304 6004724 140736342397792 140736342384072 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/581/statm: 41854 41513 167 442 0 41408 0
[pid=586] ppid=581 vsize=278052 CPUtime=3.5 cores=1,3,5,7
/proc/586/stat : 586 (glucosInc) R 581 580 20658 0 -1 4202496 47288 0 0 0 341 9 0 0 20 0 1 0 383135706 284725248 62116 33554432000 4194304 5654031 140735513976128 140735513963944 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/586/statm: 69513 62116 140 357 0 69153 0
Current children cumulated CPU time (s) 15.86
Current children cumulated vsize (KiB) 454616
[startup+17.5003 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 587
/proc/meminfo: memFree=30197028/32873844 swapFree=9160/9160
[pid=580] ppid=578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/580/stat : 580 (npSolver-pbo-I.) S 578 580 20658 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383134467 9367552 275 33554432000 4194304 5064252 140733314702800 140733314701712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/580/statm: 2287 275 233 213 0 72 0
[pid=581] ppid=580 vsize=177912 CPUtime=12.55 cores=1,3,5,7
/proc/581/stat : 581 (npSolver-pbo) S 580 580 20658 0 -1 4204032 27407 71203 0 0 251 36 924 44 20 0 1 0 383134467 182181888 44126 33554432000 4194304 6004724 140736342397792 140736342392344 5251733 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/581/statm: 44478 44126 188 442 0 44032 0
[pid=586] ppid=581 vsize=278060 CPUtime=4.88 cores=1,3,5,7
/proc/586/stat : 586 (glucosInc) S 581 580 20658 0 -1 4202496 47304 0 0 0 479 9 0 0 20 0 1 0 383135706 284733440 62132 33554432000 4194304 5654031 140735513976128 140735513974440 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/586/statm: 69515 62132 146 357 0 69155 0
Current children cumulated CPU time (s) 17.43
Current children cumulated vsize (KiB) 465120
[startup+19.1003 s]
/proc/loadavg: 2.03 2.03 2.00 2/183 587
/proc/meminfo: memFree=29869348/32873844 swapFree=9160/9160
[pid=580] ppid=578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/580/stat : 580 (npSolver-pbo-I.) S 578 580 20658 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383134467 9367552 275 33554432000 4194304 5064252 140733314702800 140733314701712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/580/statm: 2287 275 233 213 0 72 0
[pid=581] ppid=580 vsize=177912 CPUtime=12.63 cores=1,3,5,7
/proc/581/stat : 581 (npSolver-pbo) S 580 580 20658 0 -1 4204032 27408 71203 0 0 251 44 924 44 20 0 1 0 383134467 182181888 44127 33554432000 4194304 6004724 140736342397792 140736342392344 5251733 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/581/statm: 44478 44127 189 442 0 44032 0
[pid=586] ppid=581 vsize=278060 CPUtime=4.88 cores=1,3,5,7
/proc/586/stat : 586 (glucosInc) S 581 580 20658 0 -1 4202496 47304 0 0 0 479 9 0 0 20 0 1 0 383135706 284733440 62132 33554432000 4194304 5654031 140735513976128 140735513974440 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/586/statm: 69515 62132 146 357 0 69155 0
Current children cumulated CPU time (s) 17.51
Current children cumulated vsize (KiB) 465120
[startup+19.9003 s]
/proc/loadavg: 2.03 2.03 2.00 2/183 587
/proc/meminfo: memFree=29867920/32873844 swapFree=9160/9160
[pid=580] ppid=578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/580/stat : 580 (npSolver-pbo-I.) S 578 580 20658 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383134467 9367552 275 33554432000 4194304 5064252 140733314702800 140733314701712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/580/statm: 2287 275 233 213 0 72 0
[pid=581] ppid=580 vsize=177912 CPUtime=12.63 cores=1,3,5,7
/proc/581/stat : 581 (npSolver-pbo) S 580 580 20658 0 -1 4204032 27408 71203 0 0 251 44 924 44 20 0 1 0 383134467 182181888 44127 33554432000 4194304 6004724 140736342397792 140736342392344 5251733 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/581/statm: 44478 44127 189 442 0 44032 0
[pid=586] ppid=581 vsize=278060 CPUtime=4.88 cores=1,3,5,7
/proc/586/stat : 586 (glucosInc) S 581 580 20658 0 -1 4202496 47304 0 0 0 479 9 0 0 20 0 1 0 383135706 284733440 62132 33554432000 4194304 5654031 140735513976128 140735513974440 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/586/statm: 69515 62132 146 357 0 69155 0
Current children cumulated CPU time (s) 17.51
Current children cumulated vsize (KiB) 465120
[startup+20.3003 s]
/proc/loadavg: 2.03 2.03 2.00 2/183 587
/proc/meminfo: memFree=29867920/32873844 swapFree=9160/9160
[pid=580] ppid=578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/580/stat : 580 (npSolver-pbo-I.) S 578 580 20658 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383134467 9367552 275 33554432000 4194304 5064252 140733314702800 140733314701712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/580/statm: 2287 275 233 213 0 72 0
[pid=581] ppid=580 vsize=177912 CPUtime=12.63 cores=1,3,5,7
/proc/581/stat : 581 (npSolver-pbo) S 580 580 20658 0 -1 4204032 27408 71203 0 0 251 44 924 44 20 0 1 0 383134467 182181888 44127 33554432000 4194304 6004724 140736342397792 140736342392344 5251733 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/581/statm: 44478 44127 189 442 0 44032 0
[pid=586] ppid=581 vsize=278060 CPUtime=4.88 cores=1,3,5,7
/proc/586/stat : 586 (glucosInc) S 581 580 20658 0 -1 4202496 47304 0 0 0 479 9 0 0 20 0 1 0 383135706 284733440 62132 33554432000 4194304 5654031 140735513976128 140735513974440 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/586/statm: 69515 62132 146 357 0 69155 0
Current children cumulated CPU time (s) 17.51
Current children cumulated vsize (KiB) 465120
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 580 and gives
# childrusage.ru_utime.tv_sec=11
# childrusage.ru_utime.tv_usec=754213
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=896863
# CPU time returned by wait4() is 12.6511
# while last known CPU time is 17.51
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 20.3498
CPU time (s): 17.51
CPU user time (s): 16.54
CPU system time (s): 0.97
CPU usage (%): 86.0452
Max. virtual memory (cumulated for all children) (KiB): 845824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.7542
system time used= 0.896863
maximum resident set size= 656968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98986
page faults= 0
swaps= 0
block input operations= 0
block output operations= 369584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45372
involuntary context switches= 34
runsolver used 0.073988 second user time and 0.144977 second system time
The end