Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | ? (TO) | 1800.61 | 1801.27 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n370c.opb |
MD5SUM | c00448b3bb1fb54d1d5ecdb2bc9f967d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 8.44072 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 155000 |
Total number of constraints | 5150 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 155000 |
Biggest coefficient in the objective function | 76 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 654121 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262143 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 654121 |
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 6.78 c starting to Solve 6.78 c #variables read: 155000 - #constraints read: 5301
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/node89/watcher-36352-1149250202 -o ROOT/results/node89/solver-36352-1149250202 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node89/36352-1149250202/instance-36352-1149250202.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/68 14707 /proc/meminfo: memFree=1652824/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=172 CPUtime=0 /proc/14707/stat : 14707 (Pueblo) D 14705 14707 14661 0 -1 4194304 37 0 0 0 0 0 0 0 19 0 1 0 190659268 176128 23 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 9405364 0 2147483391 4096 0 18446744072100015398 0 0 17 1 0 0 /proc/14707/statm: 43 23 18 16 0 2 0 [startup+10.0017 s] /proc/loadavg: 0.93 0.95 0.90 2/68 14707 /proc/meminfo: memFree=1578008/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=86656 CPUtime=9.98 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 825203 0 0 0 777 221 0 0 25 0 1 0 190659268 88735744 18867 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 21664 18867 206 16 0 21104 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 86656 [startup+20.0076 s] /proc/loadavg: 0.94 0.96 0.91 2/68 14707 /proc/meminfo: memFree=1577816/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=87376 CPUtime=19.99 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 825331 0 0 0 1778 221 0 0 25 0 1 0 190659268 89473024 18995 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 21844 18995 206 16 0 21284 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 87376 [startup+30.0134 s] /proc/loadavg: 0.95 0.96 0.91 2/68 14707 /proc/meminfo: memFree=1573464/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=91740 CPUtime=29.99 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 826429 0 0 0 2777 222 0 0 25 0 1 0 190659268 93941760 20093 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 22935 20093 206 16 0 22375 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 91740 [startup+40.0193 s] /proc/loadavg: 0.95 0.96 0.91 2/68 14707 /proc/meminfo: memFree=1568984/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=96148 CPUtime=40 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 827553 0 0 0 3777 223 0 0 25 0 1 0 190659268 98455552 21217 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527937 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 24037 21217 206 16 0 23477 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 96148 [startup+50.0252 s] /proc/loadavg: 0.96 0.96 0.91 2/68 14707 /proc/meminfo: memFree=1564696/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=100508 CPUtime=49.99 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 828621 0 0 0 4776 223 0 0 25 0 1 0 190659268 102920192 22285 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 25127 22285 206 16 0 24567 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 100508 [startup+60.031 s] /proc/loadavg: 0.97 0.96 0.91 2/68 14707 /proc/meminfo: memFree=1561176/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=104008 CPUtime=60 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 829499 0 0 0 5776 224 0 0 25 0 1 0 190659268 106504192 23163 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 26002 23163 206 16 0 25442 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 104008 [startup+70.0369 s] /proc/loadavg: 0.97 0.96 0.91 2/68 14707 /proc/meminfo: memFree=1559704/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=105412 CPUtime=70 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 829873 0 0 0 6776 224 0 0 25 0 1 0 190659268 107941888 23537 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 26353 23537 206 16 0 25793 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 105412 [startup+80.0428 s] /proc/loadavg: 0.98 0.96 0.91 2/68 14707 /proc/meminfo: memFree=1559256/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=105868 CPUtime=80 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 829982 0 0 0 7776 224 0 0 25 0 1 0 190659268 108408832 23646 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 26467 23646 206 16 0 25907 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 105868 [startup+90.0486 s] /proc/loadavg: 0.98 0.96 0.91 2/68 14707 /proc/meminfo: memFree=1558872/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=106392 CPUtime=90 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 830090 0 0 0 8776 224 0 0 25 0 1 0 190659268 108945408 23754 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 26598 23754 206 16 0 26038 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 106392 [startup+100.054 s] /proc/loadavg: 0.98 0.96 0.91 2/68 14707 /proc/meminfo: memFree=1558424/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=106720 CPUtime=100 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 830198 0 0 0 9776 224 0 0 25 0 1 0 190659268 109281280 23862 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 26680 23862 206 16 0 26120 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 106720 [startup+110.061 s] /proc/loadavg: 0.98 0.96 0.91 2/68 14707 /proc/meminfo: memFree=1558040/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=107164 CPUtime=110.01 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 830303 0 0 0 10777 224 0 0 25 0 1 0 190659268 109735936 23967 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528249 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 26791 23967 206 16 0 26231 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 107164 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=1557592/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=107588 CPUtime=120.01 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 830402 0 0 0 11777 224 0 0 25 0 1 0 190659268 110170112 24066 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528256 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 26897 24066 206 16 0 26337 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 107588 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=1557208/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=108004 CPUtime=130.01 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 830510 0 0 0 12777 224 0 0 25 0 1 0 190659268 110596096 24174 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 27001 24174 206 16 0 26441 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 108004 [startup+140.08 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=1556760/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=108424 CPUtime=140.01 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 830612 0 0 0 13777 224 0 0 25 0 1 0 190659268 111026176 24276 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 27106 24276 206 16 0 26546 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 108424 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=1556376/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=108848 CPUtime=150.02 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 830710 0 0 0 14777 225 0 0 25 0 1 0 190659268 111460352 24374 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 27212 24374 206 16 0 26652 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 108848 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=1555928/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=109264 CPUtime=160.02 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 830814 0 0 0 15777 225 0 0 25 0 1 0 190659268 111886336 24478 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 27316 24478 206 16 0 26756 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 109264 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=1554328/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=110788 CPUtime=170.02 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 831217 0 0 0 16777 225 0 0 25 0 1 0 190659268 113446912 24881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 27697 24881 206 16 0 27137 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 110788 [startup+180.103 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=1552728/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=112392 CPUtime=180.02 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 831618 0 0 0 17777 225 0 0 25 0 1 0 190659268 115089408 25282 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 28098 25282 206 16 0 27538 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 112392 [startup+190.109 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=1552344/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=112808 CPUtime=190.03 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 831713 0 0 0 18778 225 0 0 25 0 1 0 190659268 115515392 25377 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 28202 25377 206 16 0 27642 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 112808 [startup+200.115 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=1551960/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=113196 CPUtime=200.03 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 831812 0 0 0 19778 225 0 0 25 0 1 0 190659268 115912704 25476 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 28299 25476 206 16 0 27739 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 113196 [startup+210.121 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=1551576/2055892 swapFree=4085360/4096564 ################ # More data... # ################ /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1007629 0 0 0 177815 324 0 0 25 0 1 0 190659268 841641984 201293 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 205479 201293 206 16 0 204919 0 Current children cumulated CPU time (s) 1781.39 Current children cumulated vsize (Kb) 821916 [startup+1783.05 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=846488/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=822436 CPUtime=1782.39 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1007749 0 0 0 177915 324 0 0 25 0 1 0 190659268 842174464 201413 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 205609 201413 206 16 0 205049 0 Current children cumulated CPU time (s) 1782.39 Current children cumulated vsize (Kb) 822436 [startup+1784.06 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=846040/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=822852 CPUtime=1783.4 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1007867 0 0 0 178016 324 0 0 25 0 1 0 190659268 842600448 201531 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527947 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 205713 201531 206 16 0 205153 0 Current children cumulated CPU time (s) 1783.4 Current children cumulated vsize (Kb) 822852 [startup+1785.06 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=845528/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=823364 CPUtime=1784.4 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1007986 0 0 0 178116 324 0 0 25 0 1 0 190659268 843124736 201650 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527978 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 205841 201650 206 16 0 205281 0 Current children cumulated CPU time (s) 1784.4 Current children cumulated vsize (Kb) 823364 [startup+1786.07 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=845080/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=823880 CPUtime=1785.41 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1008104 0 0 0 178217 324 0 0 25 0 1 0 190659268 843653120 201768 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 205970 201768 206 16 0 205410 0 Current children cumulated CPU time (s) 1785.41 Current children cumulated vsize (Kb) 823880 [startup+1787.07 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=844568/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=824268 CPUtime=1786.41 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1008219 0 0 0 178317 324 0 0 25 0 1 0 190659268 844050432 201883 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 206067 201883 206 16 0 205507 0 Current children cumulated CPU time (s) 1786.41 Current children cumulated vsize (Kb) 824268 [startup+1788.08 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=844120/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=824780 CPUtime=1787.41 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1008341 0 0 0 178417 324 0 0 25 0 1 0 190659268 844574720 202005 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 206195 202005 206 16 0 205635 0 Current children cumulated CPU time (s) 1787.41 Current children cumulated vsize (Kb) 824780 [startup+1789.08 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=843608/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=825284 CPUtime=1788.42 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1008458 0 0 0 178518 324 0 0 25 0 1 0 190659268 845090816 202122 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 206321 202122 206 16 0 205761 0 Current children cumulated CPU time (s) 1788.42 Current children cumulated vsize (Kb) 825284 [startup+1790.09 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=843160/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=825700 CPUtime=1789.42 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1008575 0 0 0 178618 324 0 0 25 0 1 0 190659268 845516800 202239 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 206425 202239 206 16 0 205865 0 Current children cumulated CPU time (s) 1789.42 Current children cumulated vsize (Kb) 825700 [startup+1791.09 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=842776/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=826132 CPUtime=1790.43 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1008674 0 0 0 178719 324 0 0 25 0 1 0 190659268 845959168 202338 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 206533 202338 206 16 0 205973 0 Current children cumulated CPU time (s) 1790.43 Current children cumulated vsize (Kb) 826132 [startup+1792.1 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=842264/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=826648 CPUtime=1791.43 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1008798 0 0 0 178819 324 0 0 25 0 1 0 190659268 846487552 202462 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527830 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 206662 202462 206 16 0 206102 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (Kb) 826648 [startup+1793.1 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=841816/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=827060 CPUtime=1792.43 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1008917 0 0 0 178919 324 0 0 25 0 1 0 190659268 846909440 202581 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 206765 202581 206 16 0 206205 0 Current children cumulated CPU time (s) 1792.43 Current children cumulated vsize (Kb) 827060 [startup+1794.11 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=841304/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=827584 CPUtime=1793.45 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1009035 0 0 0 179020 325 0 0 25 0 1 0 190659268 847446016 202699 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 206896 202699 206 16 0 206336 0 Current children cumulated CPU time (s) 1793.45 Current children cumulated vsize (Kb) 827584 [startup+1795.11 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=840856/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=827988 CPUtime=1794.45 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1009156 0 0 0 179120 325 0 0 25 0 1 0 190659268 847859712 202820 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 206997 202820 206 16 0 206437 0 Current children cumulated CPU time (s) 1794.45 Current children cumulated vsize (Kb) 827988 [startup+1796.12 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=840344/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=828472 CPUtime=1795.45 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1009275 0 0 0 179220 325 0 0 25 0 1 0 190659268 848355328 202939 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 207118 202939 206 16 0 206558 0 Current children cumulated CPU time (s) 1795.45 Current children cumulated vsize (Kb) 828472 [startup+1797.12 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=839896/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=829012 CPUtime=1796.46 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1009392 0 0 0 179321 325 0 0 25 0 1 0 190659268 848908288 203056 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 207253 203056 206 16 0 206693 0 Current children cumulated CPU time (s) 1796.46 Current children cumulated vsize (Kb) 829012 [startup+1798.12 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=839384/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=829432 CPUtime=1797.46 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1009511 0 0 0 179421 325 0 0 25 0 1 0 190659268 849338368 203175 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 207358 203175 206 16 0 206798 0 Current children cumulated CPU time (s) 1797.46 Current children cumulated vsize (Kb) 829432 [startup+1799.13 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=838936/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=829940 CPUtime=1798.46 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1009622 0 0 0 179521 325 0 0 25 0 1 0 190659268 849858560 203286 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 207485 203286 206 16 0 206925 0 Current children cumulated CPU time (s) 1798.46 Current children cumulated vsize (Kb) 829940 [startup+1800.13 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=838488/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=830368 CPUtime=1799.47 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1009743 0 0 0 179622 325 0 0 25 0 1 0 190659268 850296832 203407 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 207592 203407 206 16 0 207032 0 Current children cumulated CPU time (s) 1799.47 Current children cumulated vsize (Kb) 830368 [startup+1801.14 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=837976/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=830884 CPUtime=1800.47 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1009865 0 0 0 179722 325 0 0 25 0 1 0 190659268 850825216 203529 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 207721 203529 206 16 0 207161 0 Current children cumulated CPU time (s) 1800.47 Current children cumulated vsize (Kb) 830884 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.14 s] /proc/loadavg: 0.99 0.97 0.91 2/68 14707 /proc/meminfo: memFree=837976/2055892 swapFree=4085360/4096564 [pid=14707] ppid=14705 vsize=830884 CPUtime=1800.48 /proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1009865 0 0 0 179723 325 0 0 25 0 1 0 190659268 850825216 203529 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0 /proc/14707/statm: 207721 203529 206 16 0 207161 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (Kb) 830884 Sending SIGTERM to -14707 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.27 CPU time (s): 1800.61 CPU user time (s): 1797.23 CPU system time (s): 3.37349 CPU usage (%): 99.9632 Max. virtual memory (cumulated for all children) (Kb): 830884 The end
Begin job on node89 on Fri Jun 2 12:10:02 UTC 2006 FILE ID= 36352-1149250202 PBS_JOBID= 298040 BENCH NAME= ROOT/tmp/node89/36352-1149250202/instance-36352-1149250202.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node89/36352-1149250202/instance-36352-1149250202.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node89/watcher-36352-1149250202 -o ROOT/results/node89/solver-36352-1149250202 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node89/36352-1149250202/instance-36352-1149250202.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= c00448b3bb1fb54d1d5ecdb2bc9f967d RANDOM SEED= 117435224 /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.265 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 : 6006.16 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.265 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 : 5999.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1653160 kB Buffers: 30312 kB Cached: 301484 kB SwapCached: 2560 kB Active: 102824 kB Inactive: 237812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1653160 kB SwapTotal: 4096564 kB SwapFree: 4085360 kB Dirty: 176 kB Writeback: 0 kB Mapped: 16532 kB Slab: 48624 kB Committed_AS: 262360 kB PageTables: 1300 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node89 on Fri Jun 2 12:40:04 UTC 2006