Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | ? (TO) | 1800.75 | 1801.2 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-rd-rplusc-21.opb |
MD5SUM | 3de80c0560622133ffefa60f8e73d039 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 3616 |
Total number of constraints | 125707 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 44 |
Number of constraints which are nor clauses,nor cardinality constraints | 125663 |
Minimum length of a constraint | 5 |
Maximum length of a constraint | 189 |
Number of terms in the objective function | 48 |
Biggest coefficient in the objective function | 260554 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524316 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524424 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 34.95 c starting to Solve 34.95 c #variables read: 3616 - #constraints read: 125845
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-36611-1149265227 -o ROOT/results/node14/solver-36611-1149265227 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node14/36611-1149265227/instance-36611-1149265227.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.97 0.93 2/64 24441 /proc/meminfo: memFree=1189736/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=172 CPUtime=0 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 38 0 0 0 0 0 0 0 18 0 1 0 192185796 176128 23 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 6927140 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 229 26 19 16 0 8 0 [startup+10.0015 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24441 /proc/meminfo: memFree=1134384/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=57988 CPUtime=9.98 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 14141 0 0 0 991 7 0 0 25 0 1 0 192185796 59379712 14112 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 7392983 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 14497 14112 199 16 0 13938 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 57988 [startup+20.0074 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24441 /proc/meminfo: memFree=1080760/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=111672 CPUtime=19.99 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 27564 0 0 0 1982 17 0 0 25 0 1 0 192185796 114352128 27535 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 7386896 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 27918 27535 199 16 0 27359 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 111672 [startup+30.0133 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24441 /proc/meminfo: memFree=1012536/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=179932 CPUtime=29.99 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 44606 0 0 0 2974 25 0 0 25 0 1 0 192185796 184250368 44577 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 7362171 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 44983 44578 203 16 0 44424 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 179932 [startup+40.0193 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24441 /proc/meminfo: memFree=838840/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=353584 CPUtime=39.99 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 87911 0 0 0 3958 41 0 0 25 0 1 0 192185796 362070016 87882 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 88396 87882 206 16 0 87837 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 353584 [startup+50.0262 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24441 /proc/meminfo: memFree=815608/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=395056 CPUtime=50 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 96107 0 0 0 4956 44 0 0 25 0 1 0 192185796 404537344 93622 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527769 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 98764 93622 206 16 0 98205 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 395056 [startup+60.0322 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24441 /proc/meminfo: memFree=803896/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=398128 CPUtime=60 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 101908 0 0 0 5954 46 0 0 25 0 1 0 192185796 407683072 96613 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 99532 96613 206 16 0 98973 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 398128 [startup+70.0381 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24441 /proc/meminfo: memFree=798008/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=402736 CPUtime=70.01 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 103867 0 0 0 6953 48 0 0 25 0 1 0 192185796 412401664 98073 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527205 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 100684 98073 206 16 0 100125 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 402736 [startup+80.0441 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24441 /proc/meminfo: memFree=794744/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=403248 CPUtime=80 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 105349 0 0 0 7952 48 0 0 25 0 1 0 192185796 412925952 98854 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527572 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 100812 98854 206 16 0 100253 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 403248 [startup+90.05 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24441 /proc/meminfo: memFree=795640/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=404272 CPUtime=90.01 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 106125 0 0 0 8953 48 0 0 25 0 1 0 192185796 413974528 98638 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527989 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 101068 98638 206 16 0 100509 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 404272 [startup+100.056 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24441 /proc/meminfo: memFree=788600/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=408880 CPUtime=100.02 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 115517 0 0 0 9948 54 0 0 25 0 1 0 192185796 418693120 100396 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 102220 100396 206 16 0 101661 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 408880 [startup+110.062 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24441 /proc/meminfo: memFree=793592/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=402736 CPUtime=110.02 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 120100 0 0 0 10945 57 0 0 25 0 1 0 192185796 412401664 99148 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 100684 99148 206 16 0 100125 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 402736 [startup+120.068 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24441 /proc/meminfo: memFree=799928/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=395568 CPUtime=120.02 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 122013 0 0 0 11943 59 0 0 25 0 1 0 192185796 405061632 97546 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 98892 97546 206 16 0 98333 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 395568 [startup+130.073 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24441 /proc/meminfo: memFree=798712/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=398640 CPUtime=130.02 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 123505 0 0 0 12942 60 0 0 25 0 1 0 192185796 408207360 97901 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 99660 97901 206 16 0 99101 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 398640 [startup+140.079 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24441 /proc/meminfo: memFree=793528/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=405296 CPUtime=140.03 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 127538 0 0 0 13940 63 0 0 25 0 1 0 192185796 415023104 99200 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 101324 99200 206 16 0 100765 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 405296 [startup+150.085 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24441 /proc/meminfo: memFree=793464/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=407344 CPUtime=150.03 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 130360 0 0 0 14938 65 0 0 25 0 1 0 192185796 417120256 99201 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 101836 99201 206 16 0 101277 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 407344 [startup+160.091 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24441 /proc/meminfo: memFree=794296/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=403760 CPUtime=160.03 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 133349 0 0 0 15936 67 0 0 25 0 1 0 192185796 413450240 99008 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 100940 99008 206 16 0 100381 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 403760 [startup+170.097 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24441 /proc/meminfo: memFree=798520/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=398128 CPUtime=170.03 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 134638 0 0 0 16936 67 0 0 25 0 1 0 192185796 407683072 97955 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 99532 97955 206 16 0 98973 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 398128 [startup+180.104 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24441 /proc/meminfo: memFree=796920/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=402224 CPUtime=180.04 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 136072 0 0 0 17936 68 0 0 25 0 1 0 192185796 411877376 98358 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 100556 98358 206 16 0 99997 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 402224 [startup+190.109 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24441 /proc/meminfo: memFree=812536/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=382768 CPUtime=190.04 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138005 0 0 0 18934 70 0 0 25 0 1 0 192185796 391954432 94399 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527769 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 95692 94399 206 16 0 95133 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 382768 [startup+200.114 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24441 /proc/meminfo: memFree=814968/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=380208 CPUtime=200.04 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138033 0 0 0 19934 70 0 0 25 0 1 0 192185796 389332992 93805 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 95052 93805 206 16 0 94493 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 380208 [startup+210.12 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24441 /proc/meminfo: memFree=826360/2055920 swapFree=4181448/4192956 ################ # More data... # ################ /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138598 0 0 0 178085 73 0 0 25 0 1 0 192185796 366788608 88932 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557517 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 89548 88932 206 16 0 88989 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (Kb) 358192 [startup+1783.05 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24443 /proc/meminfo: memFree=834424/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=358192 CPUtime=1782.59 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138598 0 0 0 178186 73 0 0 25 0 1 0 192185796 366788608 88932 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 89548 88932 206 16 0 88989 0 Current children cumulated CPU time (s) 1782.59 Current children cumulated vsize (Kb) 358192 [startup+1784.06 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24443 /proc/meminfo: memFree=834424/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=358192 CPUtime=1783.59 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138598 0 0 0 178286 73 0 0 25 0 1 0 192185796 366788608 88932 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 89548 88932 206 16 0 88989 0 Current children cumulated CPU time (s) 1783.59 Current children cumulated vsize (Kb) 358192 [startup+1785.06 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24443 /proc/meminfo: memFree=834424/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=358192 CPUtime=1784.6 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138598 0 0 0 178387 73 0 0 25 0 1 0 192185796 366788608 88932 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 89548 88932 206 16 0 88989 0 Current children cumulated CPU time (s) 1784.6 Current children cumulated vsize (Kb) 358192 [startup+1786.07 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24443 /proc/meminfo: memFree=834424/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=358192 CPUtime=1785.6 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138598 0 0 0 178487 73 0 0 25 0 1 0 192185796 366788608 88932 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 89548 88932 206 16 0 88989 0 Current children cumulated CPU time (s) 1785.6 Current children cumulated vsize (Kb) 358192 [startup+1787.07 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24443 /proc/meminfo: memFree=834424/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=358192 CPUtime=1786.61 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138598 0 0 0 178588 73 0 0 25 0 1 0 192185796 366788608 88932 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 89548 88932 206 16 0 88989 0 Current children cumulated CPU time (s) 1786.61 Current children cumulated vsize (Kb) 358192 [startup+1788.08 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24443 /proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=358192 CPUtime=1787.61 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138598 0 0 0 178688 73 0 0 25 0 1 0 192185796 366788608 88932 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 89548 88932 206 16 0 88989 0 Current children cumulated CPU time (s) 1787.61 Current children cumulated vsize (Kb) 358192 [startup+1789.08 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24443 /proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=358192 CPUtime=1788.62 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138602 0 0 0 178789 73 0 0 25 0 1 0 192185796 366788608 88936 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 89548 88936 206 16 0 88989 0 Current children cumulated CPU time (s) 1788.62 Current children cumulated vsize (Kb) 358192 [startup+1790.09 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24443 /proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=358192 CPUtime=1789.62 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138603 0 0 0 178889 73 0 0 25 0 1 0 192185796 366788608 88937 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528547 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 89548 88937 206 16 0 88989 0 Current children cumulated CPU time (s) 1789.62 Current children cumulated vsize (Kb) 358192 [startup+1791.09 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24443 /proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=358192 CPUtime=1790.63 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138603 0 0 0 178990 73 0 0 25 0 1 0 192185796 366788608 88937 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 89548 88937 206 16 0 88989 0 Current children cumulated CPU time (s) 1790.63 Current children cumulated vsize (Kb) 358192 [startup+1792.1 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24443 /proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=358192 CPUtime=1791.63 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138603 0 0 0 179090 73 0 0 25 0 1 0 192185796 366788608 88937 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 89548 88937 206 16 0 88989 0 Current children cumulated CPU time (s) 1791.63 Current children cumulated vsize (Kb) 358192 [startup+1793.1 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24443 /proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=358192 CPUtime=1792.64 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138603 0 0 0 179191 73 0 0 25 0 1 0 192185796 366788608 88937 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 89548 88937 206 16 0 88989 0 Current children cumulated CPU time (s) 1792.64 Current children cumulated vsize (Kb) 358192 [startup+1794.11 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24443 /proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=358192 CPUtime=1793.64 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138603 0 0 0 179291 73 0 0 25 0 1 0 192185796 366788608 88937 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 89548 88937 206 16 0 88989 0 Current children cumulated CPU time (s) 1793.64 Current children cumulated vsize (Kb) 358192 [startup+1795.11 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24443 /proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=358192 CPUtime=1794.65 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138604 0 0 0 179392 73 0 0 25 0 1 0 192185796 366788608 88938 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 89548 88938 206 16 0 88989 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (Kb) 358192 [startup+1796.12 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24443 /proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=358192 CPUtime=1795.65 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138604 0 0 0 179492 73 0 0 25 0 1 0 192185796 366788608 88938 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559575 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 89548 88938 206 16 0 88989 0 Current children cumulated CPU time (s) 1795.65 Current children cumulated vsize (Kb) 358192 [startup+1797.12 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24443 /proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=358192 CPUtime=1796.66 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138604 0 0 0 179593 73 0 0 25 0 1 0 192185796 366788608 88938 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 89548 88938 206 16 0 88989 0 Current children cumulated CPU time (s) 1796.66 Current children cumulated vsize (Kb) 358192 [startup+1798.13 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24443 /proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=358192 CPUtime=1797.66 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138605 0 0 0 179693 73 0 0 25 0 1 0 192185796 366788608 88939 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 89548 88939 206 16 0 88989 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (Kb) 358192 [startup+1799.13 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24443 /proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=358192 CPUtime=1798.66 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138605 0 0 0 179793 73 0 0 25 0 1 0 192185796 366788608 88939 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 89548 88939 206 16 0 88989 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (Kb) 358192 [startup+1800.13 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24443 /proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=358192 CPUtime=1799.67 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138607 0 0 0 179894 73 0 0 25 0 1 0 192185796 366788608 88941 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 89548 88941 206 16 0 88989 0 Current children cumulated CPU time (s) 1799.67 Current children cumulated vsize (Kb) 358192 [startup+1801.14 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24443 /proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=358192 CPUtime=1800.67 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138607 0 0 0 179994 73 0 0 25 0 1 0 192185796 366788608 88941 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 89548 88941 206 16 0 88989 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (Kb) 358192 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.14 s] /proc/loadavg: 1.00 0.97 0.93 2/64 24443 /proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956 [pid=24441] ppid=24439 vsize=358192 CPUtime=1800.68 /proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138607 0 0 0 179995 73 0 0 25 0 1 0 192185796 366788608 88941 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24441/statm: 89548 88941 206 16 0 88989 0 Current children cumulated CPU time (s) 1800.68 Current children cumulated vsize (Kb) 358192 Sending SIGTERM to -24441 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.2 CPU time (s): 1800.75 CPU user time (s): 1799.95 CPU system time (s): 0.794879 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (Kb): 408880 The end
Begin job on node14 on Fri Jun 2 16:20:29 UTC 2006 FILE ID= 36611-1149265227 PBS_JOBID= 301404 BENCH NAME= ROOT/tmp/node14/36611-1149265227/instance-36611-1149265227.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node14/36611-1149265227/instance-36611-1149265227.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-36611-1149265227 -o ROOT/results/node14/solver-36611-1149265227 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node14/36611-1149265227/instance-36611-1149265227.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 3de80c0560622133ffefa60f8e73d039 RANDOM SEED= 695799880 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.241 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.241 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1189944 kB Buffers: 31456 kB Cached: 761708 kB SwapCached: 3320 kB Active: 342300 kB Inactive: 459740 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1189944 kB SwapTotal: 4192956 kB SwapFree: 4181448 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14740 kB Slab: 49860 kB Committed_AS: 278312 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node14 on Fri Jun 2 16:50:32 UTC 2006