Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | ? (TO) | 1800.69 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-biella1.opb |
MD5SUM | 02b8e2ce7db79ee00a9a8f2ebac90f1b |
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 | 2.48762 |
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 | 42650 |
Total number of constraints | 1202 |
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 | 1202 |
Minimum length of a constraint | 38 |
Maximum length of a constraint | 42650 |
Number of terms in the objective function | 42650 |
Biggest coefficient in the objective function | 58891 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 565237 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262142 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 565237 |
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 1.29 c starting to Solve 1.29 c #variables read: 42650 - #constraints read: 2400
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/node85/watcher-36404-1149262094 -o ROOT/results/node85/solver-36404-1149262094 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node85/36404-1149262094/instance-36404-1149262094.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/68 13658 /proc/meminfo: memFree=1457336/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=2544 CPUtime=0 /proc/13658/stat : 13658 (Pueblo) D 13656 13658 13612 0 -1 4194304 239 0 0 0 0 0 0 0 18 0 1 0 191848630 2605056 211 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072100015398 0 0 17 1 0 0 /proc/13658/statm: 636 211 185 16 0 76 0 [startup+10.0019 s] /proc/loadavg: 0.93 0.98 0.99 2/68 13658 /proc/meminfo: memFree=1433920/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=27300 CPUtime=9.99 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 106919 0 0 0 971 28 0 0 25 0 1 0 191848630 27955200 5997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 6825 5997 206 16 0 6265 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 27300 [startup+20.008 s] /proc/loadavg: 0.94 0.98 0.99 2/68 13658 /proc/meminfo: memFree=1433984/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=27300 CPUtime=20 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 106919 0 0 0 1972 28 0 0 25 0 1 0 191848630 27955200 5997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12167012 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 6825 5997 206 16 0 6265 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 27300 [startup+30.0142 s] /proc/loadavg: 0.95 0.98 0.99 2/68 13658 /proc/meminfo: memFree=1434048/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=27300 CPUtime=30 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 106919 0 0 0 2972 28 0 0 25 0 1 0 191848630 27955200 5997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 6825 5997 206 16 0 6265 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 27300 [startup+40.0204 s] /proc/loadavg: 0.96 0.98 0.99 2/68 13658 /proc/meminfo: memFree=1434048/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=27300 CPUtime=40 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 106919 0 0 0 3972 28 0 0 25 0 1 0 191848630 27955200 5997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 6825 5997 206 16 0 6265 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 27300 [startup+50.0265 s] /proc/loadavg: 0.96 0.98 0.99 2/68 13658 /proc/meminfo: memFree=1434048/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=27300 CPUtime=50.01 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 106919 0 0 0 4973 28 0 0 25 0 1 0 191848630 27955200 5997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 6825 5997 206 16 0 6265 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 27300 [startup+60.0317 s] /proc/loadavg: 0.97 0.98 0.99 2/68 13658 /proc/meminfo: memFree=1434112/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=27300 CPUtime=60.01 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 106919 0 0 0 5973 28 0 0 25 0 1 0 191848630 27955200 5997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 6825 5997 206 16 0 6265 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 27300 [startup+70.0379 s] /proc/loadavg: 0.97 0.98 0.99 2/68 13658 /proc/meminfo: memFree=1434112/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=27300 CPUtime=70.01 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 106919 0 0 0 6973 28 0 0 25 0 1 0 191848630 27955200 5997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527724 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 6825 5997 206 16 0 6265 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 27300 [startup+80.044 s] /proc/loadavg: 0.98 0.98 0.99 2/68 13658 /proc/meminfo: memFree=1434112/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=27300 CPUtime=80.02 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 106919 0 0 0 7974 28 0 0 25 0 1 0 191848630 27955200 5997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 6825 5997 206 16 0 6265 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 27300 [startup+90.0502 s] /proc/loadavg: 0.98 0.98 0.99 2/68 13658 /proc/meminfo: memFree=1434112/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=27300 CPUtime=90.02 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 106919 0 0 0 8974 28 0 0 25 0 1 0 191848630 27955200 5997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557772 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 6825 5997 206 16 0 6265 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 27300 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.99 2/68 13658 /proc/meminfo: memFree=1434112/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=27300 CPUtime=100.02 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 106919 0 0 0 9974 28 0 0 25 0 1 0 191848630 27955200 5997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 6825 5997 206 16 0 6265 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 27300 [startup+110.064 s] /proc/loadavg: 0.98 0.98 0.99 2/68 13658 /proc/meminfo: memFree=1434112/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=27300 CPUtime=110.03 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 106919 0 0 0 10975 28 0 0 25 0 1 0 191848630 27955200 5997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134554367 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 6825 5997 206 16 0 6265 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 27300 [startup+120.069 s] /proc/loadavg: 0.99 0.98 0.99 2/68 13658 /proc/meminfo: memFree=1434112/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=27300 CPUtime=120.03 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 106919 0 0 0 11975 28 0 0 25 0 1 0 191848630 27955200 5997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 6825 5997 206 16 0 6265 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 27300 [startup+130.075 s] /proc/loadavg: 0.99 0.98 0.99 2/68 13658 /proc/meminfo: memFree=1434112/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=27300 CPUtime=130.03 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 106919 0 0 0 12975 28 0 0 25 0 1 0 191848630 27955200 5997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 6825 5997 206 16 0 6265 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 27300 [startup+140.081 s] /proc/loadavg: 0.99 0.98 0.99 2/68 13658 /proc/meminfo: memFree=1434112/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=27300 CPUtime=140.04 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 106919 0 0 0 13976 28 0 0 25 0 1 0 191848630 27955200 5997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 6825 5997 206 16 0 6265 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 27300 [startup+150.087 s] /proc/loadavg: 0.99 0.98 0.99 2/68 13658 /proc/meminfo: memFree=1434112/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=27300 CPUtime=150.04 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 106919 0 0 0 14976 28 0 0 25 0 1 0 191848630 27955200 5997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 6825 5997 206 16 0 6265 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 27300 [startup+160.093 s] /proc/loadavg: 0.99 0.98 0.99 2/68 13658 /proc/meminfo: memFree=1434112/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=27300 CPUtime=160.04 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 106919 0 0 0 15976 28 0 0 25 0 1 0 191848630 27955200 5997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 6825 5997 206 16 0 6265 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 27300 [startup+170.1 s] /proc/loadavg: 0.99 0.98 0.99 2/68 13658 /proc/meminfo: memFree=1434112/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=27300 CPUtime=170.05 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 106919 0 0 0 16977 28 0 0 25 0 1 0 191848630 27955200 5997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 6825 5997 206 16 0 6265 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 27300 [startup+180.106 s] /proc/loadavg: 0.99 0.98 0.99 2/68 13658 /proc/meminfo: memFree=1434176/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=27300 CPUtime=180.05 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 106919 0 0 0 17977 28 0 0 25 0 1 0 191848630 27955200 5997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 6825 5997 206 16 0 6265 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 27300 [startup+190.112 s] /proc/loadavg: 0.99 0.98 0.99 2/68 13658 /proc/meminfo: memFree=1434176/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=27300 CPUtime=190.05 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 106919 0 0 0 18977 28 0 0 25 0 1 0 191848630 27955200 5997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 6825 5997 206 16 0 6265 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 27300 [startup+200.118 s] /proc/loadavg: 0.99 0.98 0.99 2/68 13658 /proc/meminfo: memFree=1434176/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=27300 CPUtime=200.06 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 106919 0 0 0 19978 28 0 0 25 0 1 0 191848630 27955200 5997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 6825 5997 206 16 0 6265 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 27300 [startup+210.124 s] /proc/loadavg: 0.99 0.98 0.99 2/68 13658 /proc/meminfo: memFree=1434176/2055892 swapFree=4085348/4096564 ################ # More data... # ################ /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 107387 0 0 0 178130 28 0 0 25 0 1 0 191848630 29970432 6465 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559236 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 7317 6465 206 16 0 6757 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (Kb) 29268 [startup+1783.08 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13660 /proc/meminfo: memFree=1432128/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=29268 CPUtime=1782.59 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 107387 0 0 0 178231 28 0 0 25 0 1 0 191848630 29970432 6465 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528586 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 7317 6465 206 16 0 6757 0 Current children cumulated CPU time (s) 1782.59 Current children cumulated vsize (Kb) 29268 [startup+1784.08 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13660 /proc/meminfo: memFree=1432128/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=29268 CPUtime=1783.59 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 107387 0 0 0 178331 28 0 0 25 0 1 0 191848630 29970432 6465 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 7317 6465 206 16 0 6757 0 Current children cumulated CPU time (s) 1783.59 Current children cumulated vsize (Kb) 29268 [startup+1785.09 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13660 /proc/meminfo: memFree=1432128/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=29268 CPUtime=1784.6 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 107387 0 0 0 178432 28 0 0 25 0 1 0 191848630 29970432 6465 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 7317 6465 206 16 0 6757 0 Current children cumulated CPU time (s) 1784.6 Current children cumulated vsize (Kb) 29268 [startup+1786.09 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13660 /proc/meminfo: memFree=1432128/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=29268 CPUtime=1785.6 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 107387 0 0 0 178532 28 0 0 25 0 1 0 191848630 29970432 6465 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 7317 6465 206 16 0 6757 0 Current children cumulated CPU time (s) 1785.6 Current children cumulated vsize (Kb) 29268 [startup+1787.1 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13660 /proc/meminfo: memFree=1432128/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=29268 CPUtime=1786.61 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 107387 0 0 0 178633 28 0 0 25 0 1 0 191848630 29970432 6465 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528586 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 7317 6465 206 16 0 6757 0 Current children cumulated CPU time (s) 1786.61 Current children cumulated vsize (Kb) 29268 [startup+1788.1 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13660 /proc/meminfo: memFree=1432128/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=29268 CPUtime=1787.61 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 107387 0 0 0 178733 28 0 0 25 0 1 0 191848630 29970432 6465 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 7317 6465 206 16 0 6757 0 Current children cumulated CPU time (s) 1787.61 Current children cumulated vsize (Kb) 29268 [startup+1789.11 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13660 /proc/meminfo: memFree=1432128/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=29268 CPUtime=1788.62 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 107387 0 0 0 178834 28 0 0 25 0 1 0 191848630 29970432 6465 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 7317 6465 206 16 0 6757 0 Current children cumulated CPU time (s) 1788.62 Current children cumulated vsize (Kb) 29268 [startup+1790.11 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13660 /proc/meminfo: memFree=1432128/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=29268 CPUtime=1789.62 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 107387 0 0 0 178934 28 0 0 25 0 1 0 191848630 29970432 6465 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 7317 6465 206 16 0 6757 0 Current children cumulated CPU time (s) 1789.62 Current children cumulated vsize (Kb) 29268 [startup+1791.12 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13660 /proc/meminfo: memFree=1432128/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=29268 CPUtime=1790.62 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 107387 0 0 0 179034 28 0 0 25 0 1 0 191848630 29970432 6465 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 7317 6465 206 16 0 6757 0 Current children cumulated CPU time (s) 1790.62 Current children cumulated vsize (Kb) 29268 [startup+1792.12 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13660 /proc/meminfo: memFree=1432128/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=29268 CPUtime=1791.63 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 107389 0 0 0 179135 28 0 0 25 0 1 0 191848630 29970432 6467 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 7317 6467 206 16 0 6757 0 Current children cumulated CPU time (s) 1791.63 Current children cumulated vsize (Kb) 29268 [startup+1793.13 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13660 /proc/meminfo: memFree=1432128/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=29268 CPUtime=1792.63 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 107389 0 0 0 179235 28 0 0 25 0 1 0 191848630 29970432 6467 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559236 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 7317 6467 206 16 0 6757 0 Current children cumulated CPU time (s) 1792.63 Current children cumulated vsize (Kb) 29268 [startup+1794.13 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13660 /proc/meminfo: memFree=1432128/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=29268 CPUtime=1793.64 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 107389 0 0 0 179336 28 0 0 25 0 1 0 191848630 29970432 6467 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12167012 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 7317 6467 206 16 0 6757 0 Current children cumulated CPU time (s) 1793.64 Current children cumulated vsize (Kb) 29268 [startup+1795.14 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13660 /proc/meminfo: memFree=1432128/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=29268 CPUtime=1794.64 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 107389 0 0 0 179436 28 0 0 25 0 1 0 191848630 29970432 6467 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528563 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 7317 6467 206 16 0 6757 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (Kb) 29268 [startup+1796.14 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13660 /proc/meminfo: memFree=1432128/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=29268 CPUtime=1795.65 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 107389 0 0 0 179537 28 0 0 25 0 1 0 191848630 29970432 6467 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 7317 6467 206 16 0 6757 0 Current children cumulated CPU time (s) 1795.65 Current children cumulated vsize (Kb) 29268 [startup+1797.14 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13660 /proc/meminfo: memFree=1432128/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=29268 CPUtime=1796.65 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 107389 0 0 0 179637 28 0 0 25 0 1 0 191848630 29970432 6467 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12167118 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 7317 6467 206 16 0 6757 0 Current children cumulated CPU time (s) 1796.65 Current children cumulated vsize (Kb) 29268 [startup+1798.15 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13660 /proc/meminfo: memFree=1432128/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=29268 CPUtime=1797.66 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 107389 0 0 0 179738 28 0 0 25 0 1 0 191848630 29970432 6467 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559503 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 7317 6467 206 16 0 6757 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (Kb) 29268 [startup+1799.15 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13660 /proc/meminfo: memFree=1432128/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=29268 CPUtime=1798.66 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 107389 0 0 0 179838 28 0 0 25 0 1 0 191848630 29970432 6467 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12167090 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 7317 6467 206 16 0 6757 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (Kb) 29268 [startup+1800.16 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13660 /proc/meminfo: memFree=1432128/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=29268 CPUtime=1799.67 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 107389 0 0 0 179939 28 0 0 25 0 1 0 191848630 29970432 6467 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527451 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 7317 6467 206 16 0 6757 0 Current children cumulated CPU time (s) 1799.67 Current children cumulated vsize (Kb) 29268 [startup+1801.16 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13660 /proc/meminfo: memFree=1432128/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=29268 CPUtime=1800.67 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 107389 0 0 0 180039 28 0 0 25 0 1 0 191848630 29970432 6467 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 7317 6467 206 16 0 6757 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (Kb) 29268 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13660 /proc/meminfo: memFree=1432128/2055892 swapFree=4085348/4096564 [pid=13658] ppid=13656 vsize=29268 CPUtime=1800.68 /proc/13658/stat : 13658 (Pueblo) R 13656 13658 13612 0 -1 4194304 107389 0 0 0 180040 28 0 0 25 0 1 0 191848630 29970432 6467 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134516140 0 0 4096 0 0 0 0 17 1 0 0 /proc/13658/statm: 7317 6467 206 16 0 6757 0 Current children cumulated CPU time (s) 1800.68 Current children cumulated vsize (Kb) 29268 Sending SIGTERM to -13658 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.18 CPU time (s): 1800.69 CPU user time (s): 1800.4 CPU system time (s): 0.288956 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (Kb): 29268 The end
Begin job on node85 on Fri Jun 2 15:28:14 UTC 2006 FILE ID= 36404-1149262094 PBS_JOBID= 298715 BENCH NAME= ROOT/tmp/node85/36404-1149262094/instance-36404-1149262094.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node85/36404-1149262094/instance-36404-1149262094.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node85/watcher-36404-1149262094 -o ROOT/results/node85/solver-36404-1149262094 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node85/36404-1149262094/instance-36404-1149262094.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 02b8e2ce7db79ee00a9a8f2ebac90f1b RANDOM SEED= 703755575 /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.218 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.18 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.218 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.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1457544 kB Buffers: 31836 kB Cached: 490820 kB SwapCached: 2508 kB Active: 55812 kB Inactive: 475672 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1457544 kB SwapTotal: 4096564 kB SwapFree: 4085348 kB Dirty: 168 kB Writeback: 0 kB Mapped: 16756 kB Slab: 53464 kB Committed_AS: 263108 kB PageTables: 1292 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node85 on Fri Jun 2 15:58:15 UTC 2006