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-3699267-1338127748/watcher-3699267-1338127748 -o /tmp/evaluation-result-3699267-1338127748/solver-3699267-1338127748 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699267-1338127748.opb 1423268356 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.20 2.06 2.02 3/179 23477
/proc/meminfo: memFree=27635140/32873844 swapFree=6856/6856
[pid=23477] ppid=23475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23477/stat : 23477 (npSolver-pbo-I.) S 23475 23477 22966 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278903246 9367552 275 33554432000 4194304 5064252 140734831413936 140734831412848 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23477/statm: 2287 275 233 213 0 72 0
[startup+0.067748 s]
/proc/loadavg: 2.20 2.06 2.02 3/179 23477
/proc/meminfo: memFree=27635140/32873844 swapFree=6856/6856
[pid=23477] ppid=23475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23477/stat : 23477 (npSolver-pbo-I.) S 23475 23477 22966 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278903246 9367552 275 33554432000 4194304 5064252 140734831413936 140734831412848 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23477/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10024 s]
/proc/loadavg: 2.20 2.06 2.02 3/179 23477
/proc/meminfo: memFree=27635140/32873844 swapFree=6856/6856
[pid=23477] ppid=23475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23477/stat : 23477 (npSolver-pbo-I.) S 23475 23477 22966 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278903246 9367552 275 33554432000 4194304 5064252 140734831413936 140734831412848 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23477/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30024 s]
/proc/loadavg: 2.20 2.06 2.02 3/179 23477
/proc/meminfo: memFree=27635140/32873844 swapFree=6856/6856
[pid=23477] ppid=23475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23477/stat : 23477 (npSolver-pbo-I.) S 23475 23477 22966 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278903246 9367552 275 33554432000 4194304 5064252 140734831413936 140734831412848 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23477/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700248 s]
/proc/loadavg: 2.20 2.06 2.02 3/179 23477
/proc/meminfo: memFree=27635140/32873844 swapFree=6856/6856
[pid=23477] ppid=23475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23477/stat : 23477 (npSolver-pbo-I.) S 23475 23477 22966 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278903246 9367552 275 33554432000 4194304 5064252 140734831413936 140734831412848 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23477/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.18 2.06 2.02 3/181 23479
/proc/meminfo: memFree=27554252/32873844 swapFree=6856/6856
[pid=23477] ppid=23475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23477/stat : 23477 (npSolver-pbo-I.) S 23475 23477 22966 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278903246 9367552 275 33554432000 4194304 5064252 140734831413936 140734831412848 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23477/statm: 2287 275 233 213 0 72 0
[pid=23478] ppid=23477 vsize=171840 CPUtime=1.49 cores=0,2,4,6
/proc/23478/stat : 23478 (npSolver-pbo) R 23477 23477 22966 0 -1 4202496 13589 0 0 0 143 6 0 0 20 0 1 0 278903246 175964160 28833 33554432000 4194304 5992684 140734751178224 140734751173192 4571390 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23478/statm: 42960 28833 167 440 0 42516 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 180988
[startup+3.1004 s]
/proc/loadavg: 2.18 2.06 2.02 3/183 23481
/proc/meminfo: memFree=27383072/32873844 swapFree=6856/6856
[pid=23477] ppid=23475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23477/stat : 23477 (npSolver-pbo-I.) S 23475 23477 22966 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278903246 9367552 275 33554432000 4194304 5064252 140734831413936 140734831412848 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23477/statm: 2287 275 233 213 0 72 0
[pid=23478] ppid=23477 vsize=171840 CPUtime=2.05 cores=0,2,4,6
/proc/23478/stat : 23478 (npSolver-pbo) S 23477 23477 22966 0 -1 4202496 14320 0 0 0 181 24 0 0 20 0 1 0 278903246 175964160 35496 33554432000 4194304 5992684 140734751178224 140734751172672 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23478/statm: 42960 35496 174 440 0 42516 0
[pid=23480] ppid=23478 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23480/stat : 23480 (cp2_pre.sh) S 23478 23477 22966 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 278903453 9367552 277 33554432000 4194304 5064252 140734417090384 140734417089088 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23480/statm: 2287 277 234 213 0 72 0
[pid=23481] ppid=23480 vsize=133124 CPUtime=1.02 cores=0,2,4,6
/proc/23481/stat : 23481 (coprocessor) R 23480 23477 22966 0 -1 4202496 11667 0 0 0 97 5 0 0 20 0 1 0 278903453 136318976 31941 33554432000 4194304 6586260 140736048146192 140736048142952 5732400 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/23481/statm: 33281 31941 137 584 0 32693 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 323260
[startup+6.30041 s]
/proc/loadavg: 2.33 2.09 2.03 3/183 23481
/proc/meminfo: memFree=26952676/32873844 swapFree=6856/6856
[pid=23477] ppid=23475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23477/stat : 23477 (npSolver-pbo-I.) S 23475 23477 22966 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278903246 9367552 275 33554432000 4194304 5064252 140734831413936 140734831412848 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23477/statm: 2287 275 233 213 0 72 0
[pid=23478] ppid=23477 vsize=171840 CPUtime=2.05 cores=0,2,4,6
/proc/23478/stat : 23478 (npSolver-pbo) S 23477 23477 22966 0 -1 4202496 14320 0 0 0 181 24 0 0 20 0 1 0 278903246 175964160 35496 33554432000 4194304 5992684 140734751178224 140734751172672 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23478/statm: 42960 35496 174 440 0 42516 0
[pid=23480] ppid=23478 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23480/stat : 23480 (cp2_pre.sh) S 23478 23477 22966 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 278903453 9367552 277 33554432000 4194304 5064252 140734417090384 140734417089088 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23480/statm: 2287 277 234 213 0 72 0
[pid=23481] ppid=23480 vsize=488860 CPUtime=4.22 cores=0,2,4,6
/proc/23481/stat : 23481 (coprocessor) R 23480 23477 22966 0 -1 4202496 55030 0 0 0 408 14 0 0 20 0 1 0 278903453 500592640 118739 33554432000 4194304 6586260 140736048146192 140736048142216 4754335 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/23481/statm: 122215 118739 182 584 0 121627 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 678996
[startup+12.7003 s]
/proc/loadavg: 2.30 2.09 2.03 2/183 23484
/proc/meminfo: memFree=26961012/32873844 swapFree=6856/6856
[pid=23477] ppid=23475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23477/stat : 23477 (npSolver-pbo-I.) S 23475 23477 22966 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278903246 9367552 275 33554432000 4194304 5064252 140734831413936 140734831412848 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23477/statm: 2287 275 233 213 0 72 0
[pid=23478] ppid=23477 vsize=179596 CPUtime=9.9 cores=0,2,4,6
/proc/23478/stat : 23478 (npSolver-pbo) S 23477 23477 22966 0 -1 4204032 18216 65190 0 0 196 39 721 34 20 0 1 0 278903246 183906304 37150 33554432000 4194304 5992684 140734751178224 140734751172760 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23478/statm: 44899 37150 194 440 0 44455 0
[pid=23483] ppid=23478 vsize=205436 CPUtime=0.93 cores=0,2,4,6
/proc/23483/stat : 23483 (glucosInc) S 23478 23477 22966 0 -1 4202496 37048 0 0 0 86 7 0 0 20 0 1 0 278904210 210366464 45463 33554432000 4194304 5654031 140737214193264 140737214191576 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23483/statm: 51359 45463 146 357 0 50999 0
Current children cumulated CPU time (s) 10.83
Current children cumulated vsize (KiB) 394180
Solver just ended. Dumping a history of the last processes samples
[startup+14.6003 s]
/proc/loadavg: 2.30 2.09 2.03 2/183 23484
/proc/meminfo: memFree=26960392/32873844 swapFree=6856/6856
[pid=23477] ppid=23475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23477/stat : 23477 (npSolver-pbo-I.) S 23475 23477 22966 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278903246 9367552 275 33554432000 4194304 5064252 140734831413936 140734831412848 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23477/statm: 2287 275 233 213 0 72 0
[pid=23478] ppid=23477 vsize=179596 CPUtime=9.9 cores=0,2,4,6
/proc/23478/stat : 23478 (npSolver-pbo) S 23477 23477 22966 0 -1 4204032 18216 65190 0 0 196 39 721 34 20 0 1 0 278903246 183906304 37150 33554432000 4194304 5992684 140734751178224 140734751172760 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23478/statm: 44899 37150 194 440 0 44455 0
[pid=23483] ppid=23478 vsize=205436 CPUtime=0.93 cores=0,2,4,6
/proc/23483/stat : 23483 (glucosInc) S 23478 23477 22966 0 -1 4202496 37048 0 0 0 86 7 0 0 20 0 1 0 278904210 210366464 45463 33554432000 4194304 5654031 140737214193264 140737214191576 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23483/statm: 51359 45463 146 357 0 50999 0
Current children cumulated CPU time (s) 10.83
Current children cumulated vsize (KiB) 394180
[startup+16.2065 s]
/proc/loadavg: 2.36 2.11 2.03 2/183 23484
/proc/meminfo: memFree=26961880/32873844 swapFree=6856/6856
[pid=23477] ppid=23475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23477/stat : 23477 (npSolver-pbo-I.) S 23475 23477 22966 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278903246 9367552 275 33554432000 4194304 5064252 140734831413936 140734831412848 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23477/statm: 2287 275 233 213 0 72 0
[pid=23478] ppid=23477 vsize=179596 CPUtime=9.9 cores=0,2,4,6
/proc/23478/stat : 23478 (npSolver-pbo) S 23477 23477 22966 0 -1 4204032 18216 65190 0 0 196 39 721 34 20 0 1 0 278903246 183906304 37150 33554432000 4194304 5992684 140734751178224 140734751172760 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23478/statm: 44899 37150 194 440 0 44455 0
[pid=23483] ppid=23478 vsize=205436 CPUtime=0.93 cores=0,2,4,6
/proc/23483/stat : 23483 (glucosInc) S 23478 23477 22966 0 -1 4202496 37048 0 0 0 86 7 0 0 20 0 1 0 278904210 210366464 45463 33554432000 4194304 5654031 140737214193264 140737214191576 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23483/statm: 51359 45463 146 357 0 50999 0
Current children cumulated CPU time (s) 10.83
Current children cumulated vsize (KiB) 394180
[startup+16.6003 s]
/proc/loadavg: 2.36 2.11 2.03 2/183 23484
/proc/meminfo: memFree=26961880/32873844 swapFree=6856/6856
[pid=23477] ppid=23475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23477/stat : 23477 (npSolver-pbo-I.) S 23475 23477 22966 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278903246 9367552 275 33554432000 4194304 5064252 140734831413936 140734831412848 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23477/statm: 2287 275 233 213 0 72 0
[pid=23478] ppid=23477 vsize=179596 CPUtime=9.9 cores=0,2,4,6
/proc/23478/stat : 23478 (npSolver-pbo) S 23477 23477 22966 0 -1 4204032 18216 65190 0 0 196 39 721 34 20 0 1 0 278903246 183906304 37150 33554432000 4194304 5992684 140734751178224 140734751172760 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23478/statm: 44899 37150 194 440 0 44455 0
[pid=23483] ppid=23478 vsize=205436 CPUtime=0.93 cores=0,2,4,6
/proc/23483/stat : 23483 (glucosInc) S 23478 23477 22966 0 -1 4202496 37048 0 0 0 86 7 0 0 20 0 1 0 278904210 210366464 45463 33554432000 4194304 5654031 140737214193264 140737214191576 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23483/statm: 51359 45463 146 357 0 50999 0
Current children cumulated CPU time (s) 10.83
Current children cumulated vsize (KiB) 394180
[startup+17.0003 s]
/proc/loadavg: 2.36 2.11 2.03 2/183 23484
/proc/meminfo: memFree=26961880/32873844 swapFree=6856/6856
[pid=23477] ppid=23475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23477/stat : 23477 (npSolver-pbo-I.) S 23475 23477 22966 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278903246 9367552 275 33554432000 4194304 5064252 140734831413936 140734831412848 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23477/statm: 2287 275 233 213 0 72 0
[pid=23478] ppid=23477 vsize=179596 CPUtime=9.9 cores=0,2,4,6
/proc/23478/stat : 23478 (npSolver-pbo) S 23477 23477 22966 0 -1 4204032 18216 65190 0 0 196 39 721 34 20 0 1 0 278903246 183906304 37150 33554432000 4194304 5992684 140734751178224 140734751172760 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23478/statm: 44899 37150 194 440 0 44455 0
[pid=23483] ppid=23478 vsize=205436 CPUtime=0.93 cores=0,2,4,6
/proc/23483/stat : 23483 (glucosInc) S 23478 23477 22966 0 -1 4202496 37048 0 0 0 86 7 0 0 20 0 1 0 278904210 210366464 45463 33554432000 4194304 5654031 140737214193264 140737214191576 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23483/statm: 51359 45463 146 357 0 50999 0
Current children cumulated CPU time (s) 10.83
Current children cumulated vsize (KiB) 394180
[startup+17.1003 s]
/proc/loadavg: 2.36 2.11 2.03 2/183 23484
/proc/meminfo: memFree=26961880/32873844 swapFree=6856/6856
[pid=23477] ppid=23475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23477/stat : 23477 (npSolver-pbo-I.) S 23475 23477 22966 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278903246 9367552 275 33554432000 4194304 5064252 140734831413936 140734831412848 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23477/statm: 2287 275 233 213 0 72 0
[pid=23478] ppid=23477 vsize=179596 CPUtime=9.9 cores=0,2,4,6
/proc/23478/stat : 23478 (npSolver-pbo) S 23477 23477 22966 0 -1 4204032 18216 65190 0 0 196 39 721 34 20 0 1 0 278903246 183906304 37150 33554432000 4194304 5992684 140734751178224 140734751172760 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23478/statm: 44899 37150 194 440 0 44455 0
[pid=23483] ppid=23478 vsize=205436 CPUtime=0.93 cores=0,2,4,6
/proc/23483/stat : 23483 (glucosInc) S 23478 23477 22966 0 -1 4202496 37048 0 0 0 86 7 0 0 20 0 1 0 278904210 210366464 45463 33554432000 4194304 5654031 140737214193264 140737214191576 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23483/statm: 51359 45463 146 357 0 50999 0
Current children cumulated CPU time (s) 10.83
Current children cumulated vsize (KiB) 394180
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23477 and gives
# childrusage.ru_utime.tv_sec=9
# childrusage.ru_utime.tv_usec=184603
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=741887
# CPU time returned by wait4() is 9.92649
# while last known CPU time is 10.83
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 17.1452
CPU time (s): 10.83
CPU user time (s): 10.03
CPU system time (s): 0.8
CPU usage (%): 63.1665
Max. virtual memory (cumulated for all children) (KiB): 736796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.1846
system time used= 0.741887
maximum resident set size= 548760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83781
page faults= 0
swaps= 0
block input operations= 0
block output operations= 282152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36744
involuntary context switches= 18
runsolver used 0.027995 second user time and 0.065989 second system time
The end