Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | ? (TO) | 1800.67 | 1801.15 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran10x26.opb |
MD5SUM | ea0578ce3fa6d7f101be81096fa267e7 |
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 | 12.3601 |
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 | 8060 |
Total number of constraints | 296 |
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 | 296 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 780 |
Number of terms in the objective function | 8060 |
Biggest coefficient in the objective function | 1760 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 530127 |
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 | 530127 |
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 0.14 c starting to Solve 0.14 c #variables read: 8060 - #constraints read: 333
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/node84/watcher-36354-1149250795 -o ROOT/results/node84/solver-36354-1149250795 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node84/36354-1149250795/instance-36354-1149250795.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/67 13643 /proc/meminfo: memFree=1662240/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=172 CPUtime=0 /proc/13643/stat : 13643 (Pueblo) D 13641 13643 13597 0 -1 4194304 37 0 0 0 0 0 0 0 19 0 1 0 190718762 176128 23 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 8106932 0 2147483391 4096 0 18446744072099917094 0 0 17 1 0 0 /proc/13643/statm: 43 23 18 16 0 2 0 [startup+10.003 s] /proc/loadavg: 0.93 0.98 0.99 2/67 13643 /proc/meminfo: memFree=1654176/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=10312 CPUtime=9.98 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 2227 0 0 0 998 0 0 0 25 0 1 0 190718762 10559488 2199 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527821 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 2578 2199 205 16 0 2018 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 10312 [startup+20.0091 s] /proc/loadavg: 0.94 0.98 0.99 2/67 13643 /proc/meminfo: memFree=1651360/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=13176 CPUtime=19.99 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 2921 0 0 0 1999 0 0 0 25 0 1 0 190718762 13492224 2893 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 3294 2893 205 16 0 2734 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 13176 [startup+30.0141 s] /proc/loadavg: 0.95 0.98 0.99 2/67 13643 /proc/meminfo: memFree=1648608/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=15864 CPUtime=29.99 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 3606 0 0 0 2999 0 0 0 25 0 1 0 190718762 16244736 3578 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 3966 3578 205 16 0 3406 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 15864 [startup+40.0202 s] /proc/loadavg: 0.96 0.98 0.99 2/67 13643 /proc/meminfo: memFree=1645664/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=18932 CPUtime=40 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 4357 0 0 0 3999 1 0 0 25 0 1 0 190718762 19386368 4329 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 4733 4329 205 16 0 4173 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 18932 [startup+50.0263 s] /proc/loadavg: 0.96 0.98 0.99 2/67 13643 /proc/meminfo: memFree=1644384/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=20172 CPUtime=50 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 4671 0 0 0 4999 1 0 0 25 0 1 0 190718762 20656128 4643 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 5043 4643 205 16 0 4483 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 20172 [startup+60.0324 s] /proc/loadavg: 0.97 0.98 0.99 2/67 13643 /proc/meminfo: memFree=1641696/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=22776 CPUtime=60 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 5346 0 0 0 5999 1 0 0 25 0 1 0 190718762 23322624 5318 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 5694 5318 205 16 0 5134 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 22776 [startup+70.0385 s] /proc/loadavg: 0.97 0.98 0.99 2/67 13643 /proc/meminfo: memFree=1641696/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=22776 CPUtime=70 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 5346 0 0 0 6999 1 0 0 25 0 1 0 190718762 23322624 5318 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520378 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 5694 5318 205 16 0 5134 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 22776 [startup+80.0455 s] /proc/loadavg: 0.98 0.98 0.99 2/67 13643 /proc/meminfo: memFree=1641760/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=22776 CPUtime=80.01 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 5346 0 0 0 8000 1 0 0 25 0 1 0 190718762 23322624 5318 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 5694 5318 205 16 0 5134 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 22776 [startup+90.0506 s] /proc/loadavg: 0.98 0.98 0.99 2/67 13643 /proc/meminfo: memFree=1640480/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=24056 CPUtime=90.01 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 5663 0 0 0 9000 1 0 0 25 0 1 0 190718762 24633344 5635 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 6014 5635 205 16 0 5454 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 24056 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.99 2/67 13643 /proc/meminfo: memFree=1640480/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=24056 CPUtime=100.01 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 5663 0 0 0 10000 1 0 0 25 0 1 0 190718762 24633344 5635 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527947 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 6014 5635 205 16 0 5454 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 24056 [startup+110.062 s] /proc/loadavg: 0.98 0.98 0.99 2/67 13643 /proc/meminfo: memFree=1640480/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=24056 CPUtime=110.02 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 5663 0 0 0 11001 1 0 0 25 0 1 0 190718762 24633344 5635 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 6014 5635 205 16 0 5454 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 24056 [startup+120.068 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13643 /proc/meminfo: memFree=1640480/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=24056 CPUtime=120.02 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 5663 0 0 0 12001 1 0 0 25 0 1 0 190718762 24633344 5635 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 6014 5635 205 16 0 5454 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 24056 [startup+130.074 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13643 /proc/meminfo: memFree=1640480/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=24056 CPUtime=130.02 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 5663 0 0 0 13001 1 0 0 25 0 1 0 190718762 24633344 5635 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 6014 5635 205 16 0 5454 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 24056 [startup+140.08 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13643 /proc/meminfo: memFree=1640416/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=24056 CPUtime=140.03 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 5663 0 0 0 14002 1 0 0 25 0 1 0 190718762 24633344 5635 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 6014 5635 205 16 0 5454 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 24056 [startup+150.086 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13643 /proc/meminfo: memFree=1640288/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=24264 CPUtime=150.03 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 5698 0 0 0 15002 1 0 0 25 0 1 0 190718762 24846336 5670 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 6066 5670 205 16 0 5506 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 24264 [startup+160.092 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13643 /proc/meminfo: memFree=1639648/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=24900 CPUtime=160.04 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 5869 0 0 0 16002 2 0 0 25 0 1 0 190718762 25497600 5841 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 6225 5841 205 16 0 5665 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 24900 [startup+170.098 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13643 /proc/meminfo: memFree=1635552/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=29008 CPUtime=170.04 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 6883 0 0 0 17002 2 0 0 25 0 1 0 190718762 29704192 6855 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557412 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 7252 6855 205 16 0 6692 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 29008 [startup+180.104 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13643 /proc/meminfo: memFree=1635552/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=29008 CPUtime=180.04 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 6883 0 0 0 18002 2 0 0 25 0 1 0 190718762 29704192 6855 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 7252 6855 205 16 0 6692 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 29008 [startup+190.11 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13643 /proc/meminfo: memFree=1635424/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=29132 CPUtime=190.05 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 6909 0 0 0 19003 2 0 0 25 0 1 0 190718762 29831168 6881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528622 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 7283 6881 205 16 0 6723 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 29132 [startup+200.115 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13643 /proc/meminfo: memFree=1633184/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=31284 CPUtime=200.05 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 7466 0 0 0 20003 2 0 0 25 0 1 0 190718762 32034816 7438 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 7821 7438 205 16 0 7261 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 31284 [startup+210.121 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13643 /proc/meminfo: memFree=1633184/2055892 swapFree=4085292/4096564 ################ # More data... # ################ /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 11237 0 0 0 178153 4 0 0 25 0 1 0 190718762 45264896 10677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 11051 10677 205 16 0 10491 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (Kb) 44204 [startup+1783.05 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13645 /proc/meminfo: memFree=1619808/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=44204 CPUtime=1782.57 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 11237 0 0 0 178253 4 0 0 25 0 1 0 190718762 45264896 10677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 11051 10677 205 16 0 10491 0 Current children cumulated CPU time (s) 1782.57 Current children cumulated vsize (Kb) 44204 [startup+1784.05 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13645 /proc/meminfo: memFree=1619808/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=44204 CPUtime=1783.57 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 11237 0 0 0 178353 4 0 0 25 0 1 0 190718762 45264896 10677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 11051 10677 205 16 0 10491 0 Current children cumulated CPU time (s) 1783.57 Current children cumulated vsize (Kb) 44204 [startup+1785.06 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13645 /proc/meminfo: memFree=1619808/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=44204 CPUtime=1784.58 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 11237 0 0 0 178454 4 0 0 25 0 1 0 190718762 45264896 10677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 11051 10677 205 16 0 10491 0 Current children cumulated CPU time (s) 1784.58 Current children cumulated vsize (Kb) 44204 [startup+1786.06 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13645 /proc/meminfo: memFree=1619808/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=44204 CPUtime=1785.58 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 11237 0 0 0 178554 4 0 0 25 0 1 0 190718762 45264896 10677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 11051 10677 205 16 0 10491 0 Current children cumulated CPU time (s) 1785.58 Current children cumulated vsize (Kb) 44204 [startup+1787.07 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13645 /proc/meminfo: memFree=1619808/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=44204 CPUtime=1786.59 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 11237 0 0 0 178655 4 0 0 25 0 1 0 190718762 45264896 10677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134563601 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 11051 10677 205 16 0 10491 0 Current children cumulated CPU time (s) 1786.59 Current children cumulated vsize (Kb) 44204 [startup+1788.07 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13645 /proc/meminfo: memFree=1619808/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=44204 CPUtime=1787.59 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 11237 0 0 0 178755 4 0 0 25 0 1 0 190718762 45264896 10677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527841 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 11051 10677 205 16 0 10491 0 Current children cumulated CPU time (s) 1787.59 Current children cumulated vsize (Kb) 44204 [startup+1789.08 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13645 /proc/meminfo: memFree=1619808/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=44204 CPUtime=1788.6 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 11237 0 0 0 178856 4 0 0 25 0 1 0 190718762 45264896 10677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 11051 10677 205 16 0 10491 0 Current children cumulated CPU time (s) 1788.6 Current children cumulated vsize (Kb) 44204 [startup+1790.08 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13645 /proc/meminfo: memFree=1619808/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=44204 CPUtime=1789.6 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 11237 0 0 0 178956 4 0 0 25 0 1 0 190718762 45264896 10677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 11051 10677 205 16 0 10491 0 Current children cumulated CPU time (s) 1789.6 Current children cumulated vsize (Kb) 44204 [startup+1791.09 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13645 /proc/meminfo: memFree=1619808/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=44204 CPUtime=1790.61 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 11237 0 0 0 179057 4 0 0 25 0 1 0 190718762 45264896 10677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 11051 10677 205 16 0 10491 0 Current children cumulated CPU time (s) 1790.61 Current children cumulated vsize (Kb) 44204 [startup+1792.09 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13645 /proc/meminfo: memFree=1619808/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=44204 CPUtime=1791.61 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 11237 0 0 0 179157 4 0 0 25 0 1 0 190718762 45264896 10677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528256 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 11051 10677 205 16 0 10491 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (Kb) 44204 [startup+1793.09 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13645 /proc/meminfo: memFree=1619808/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=44204 CPUtime=1792.61 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 11237 0 0 0 179257 4 0 0 25 0 1 0 190718762 45264896 10677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 11051 10677 205 16 0 10491 0 Current children cumulated CPU time (s) 1792.61 Current children cumulated vsize (Kb) 44204 [startup+1794.1 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13645 /proc/meminfo: memFree=1619808/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=44204 CPUtime=1793.62 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 11237 0 0 0 179358 4 0 0 25 0 1 0 190718762 45264896 10677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 11051 10677 205 16 0 10491 0 Current children cumulated CPU time (s) 1793.62 Current children cumulated vsize (Kb) 44204 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13645 /proc/meminfo: memFree=1619808/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=44204 CPUtime=1794.62 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 11237 0 0 0 179458 4 0 0 25 0 1 0 190718762 45264896 10677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 11051 10677 205 16 0 10491 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (Kb) 44204 [startup+1796.11 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13645 /proc/meminfo: memFree=1619808/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=44204 CPUtime=1795.63 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 11237 0 0 0 179559 4 0 0 25 0 1 0 190718762 45264896 10677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527937 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 11051 10677 205 16 0 10491 0 Current children cumulated CPU time (s) 1795.63 Current children cumulated vsize (Kb) 44204 [startup+1797.11 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13645 /proc/meminfo: memFree=1619808/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=44204 CPUtime=1796.63 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 11237 0 0 0 179659 4 0 0 25 0 1 0 190718762 45264896 10677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 11051 10677 205 16 0 10491 0 Current children cumulated CPU time (s) 1796.63 Current children cumulated vsize (Kb) 44204 [startup+1798.12 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13645 /proc/meminfo: memFree=1619808/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=44204 CPUtime=1797.64 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 11237 0 0 0 179760 4 0 0 25 0 1 0 190718762 45264896 10677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 11051 10677 205 16 0 10491 0 Current children cumulated CPU time (s) 1797.64 Current children cumulated vsize (Kb) 44204 [startup+1799.12 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13645 /proc/meminfo: memFree=1619808/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=44204 CPUtime=1798.64 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 11237 0 0 0 179860 4 0 0 25 0 1 0 190718762 45264896 10677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 11051 10677 205 16 0 10491 0 Current children cumulated CPU time (s) 1798.64 Current children cumulated vsize (Kb) 44204 [startup+1800.13 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13645 /proc/meminfo: memFree=1619808/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=44204 CPUtime=1799.65 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 11237 0 0 0 179961 4 0 0 25 0 1 0 190718762 45264896 10677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 11051 10677 205 16 0 10491 0 Current children cumulated CPU time (s) 1799.65 Current children cumulated vsize (Kb) 44204 [startup+1801.13 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13645 /proc/meminfo: memFree=1619808/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=44204 CPUtime=1800.65 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 11237 0 0 0 180061 4 0 0 25 0 1 0 190718762 45264896 10677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 11051 10677 205 16 0 10491 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 44204 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.14 s] /proc/loadavg: 0.99 0.98 0.99 2/67 13645 /proc/meminfo: memFree=1619808/2055892 swapFree=4085292/4096564 [pid=13643] ppid=13641 vsize=44204 CPUtime=1800.65 /proc/13643/stat : 13643 (Pueblo) R 13641 13643 13597 0 -1 4194304 11237 0 0 0 180061 4 0 0 25 0 1 0 190718762 45264896 10677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/13643/statm: 11051 10677 205 16 0 10491 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 44204 Sending SIGTERM to -13643 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.15 CPU time (s): 1800.67 CPU user time (s): 1800.62 CPU system time (s): 0.052991 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (Kb): 46144 The end
Begin job on node84 on Fri Jun 2 12:19:55 UTC 2006 FILE ID= 36354-1149250795 PBS_JOBID= 298066 BENCH NAME= ROOT/tmp/node84/36354-1149250795/instance-36354-1149250795.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node84/36354-1149250795/instance-36354-1149250795.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node84/watcher-36354-1149250795 -o ROOT/results/node84/solver-36354-1149250795 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node84/36354-1149250795/instance-36354-1149250795.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= ea0578ce3fa6d7f101be81096fa267e7 RANDOM SEED= 450223348 /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.231 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.15 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.231 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: 1662384 kB Buffers: 26956 kB Cached: 296244 kB SwapCached: 2520 kB Active: 114924 kB Inactive: 216992 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1662384 kB SwapTotal: 4096564 kB SwapFree: 4085292 kB Dirty: 160 kB Writeback: 0 kB Mapped: 16420 kB Slab: 48232 kB Committed_AS: 297212 kB PageTables: 1272 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node84 on Fri Jun 2 12:49:56 UTC 2006