Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | ? (TO) | 1800.78 | 1801.24 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-swath2.opb |
MD5SUM | 136e834aa135f130ab268d7e01dc474c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 262226 |
Best CPU time to get the best result obtained on this benchmark | 19.758 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 262226 |
Optimality of the best value was proved | YES |
Number of variables | 52335 |
Total number of constraints | 5202 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 193 |
Number of constraints which are nor clauses,nor cardinality constraints | 5009 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 49934 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 559784 |
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 3.24 c starting to Solve 3.24 c #variables read: 52335 - #constraints read: 5514
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/node55/watcher-36384-1149257320 -o ROOT/results/node55/solver-36384-1149257320 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node55/36384-1149257320/instance-36384-1149257320.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 29123 /proc/meminfo: memFree=1274704/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=2408 CPUtime=0 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 232 0 0 0 0 0 0 0 18 0 1 0 191399575 2465792 204 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 7665664 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 635 209 184 16 0 76 0 [startup+10.0026 s] /proc/loadavg: 0.93 0.95 0.90 2/64 29123 /proc/meminfo: memFree=1240160/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=37792 CPUtime=9.99 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 305687 0 0 0 913 86 0 0 25 0 1 0 191399575 38699008 8796 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 9448 8796 206 16 0 8889 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 37792 [startup+20.0087 s] /proc/loadavg: 0.94 0.96 0.91 2/64 29123 /proc/meminfo: memFree=1240288/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=37792 CPUtime=19.99 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 305687 0 0 0 1913 86 0 0 25 0 1 0 191399575 38699008 8796 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 9448 8796 206 16 0 8889 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 37792 [startup+30.0147 s] /proc/loadavg: 0.95 0.96 0.91 2/64 29123 /proc/meminfo: memFree=1240352/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=37792 CPUtime=30 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 305687 0 0 0 2914 86 0 0 25 0 1 0 191399575 38699008 8796 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 9448 8796 206 16 0 8889 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 37792 [startup+40.0207 s] /proc/loadavg: 0.95 0.96 0.91 2/64 29123 /proc/meminfo: memFree=1240416/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=37792 CPUtime=40 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 305687 0 0 0 3914 86 0 0 25 0 1 0 191399575 38699008 8796 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 9448 8796 206 16 0 8889 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 37792 [startup+50.0267 s] /proc/loadavg: 0.96 0.96 0.91 2/64 29123 /proc/meminfo: memFree=1240416/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=37792 CPUtime=50 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 305687 0 0 0 4914 86 0 0 25 0 1 0 191399575 38699008 8796 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 9448 8796 206 16 0 8889 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 37792 [startup+60.0327 s] /proc/loadavg: 0.97 0.96 0.91 2/64 29123 /proc/meminfo: memFree=1240416/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=37792 CPUtime=60.01 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 305687 0 0 0 5915 86 0 0 25 0 1 0 191399575 38699008 8796 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 9448 8796 206 16 0 8889 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 37792 [startup+70.0387 s] /proc/loadavg: 0.97 0.96 0.91 2/64 29123 /proc/meminfo: memFree=1240480/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=37792 CPUtime=70.07 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 305687 0 0 0 6921 86 0 0 25 0 1 0 191399575 38699008 8796 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 9448 8796 206 16 0 8889 0 Current children cumulated CPU time (s) 70.07 Current children cumulated vsize (Kb) 37792 [startup+80.1077 s] /proc/loadavg: 0.98 0.96 0.91 2/64 29123 /proc/meminfo: memFree=1240480/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=37792 CPUtime=80.08 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 305687 0 0 0 7922 86 0 0 25 0 1 0 191399575 38699008 8796 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 9448 8796 206 16 0 8889 0 Current children cumulated CPU time (s) 80.08 Current children cumulated vsize (Kb) 37792 [startup+90.1137 s] /proc/loadavg: 0.98 0.96 0.91 2/64 29123 /proc/meminfo: memFree=1240160/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=38332 CPUtime=90.08 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 305803 0 0 0 8922 86 0 0 25 0 1 0 191399575 39251968 8910 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 9583 8910 206 16 0 9024 0 Current children cumulated CPU time (s) 90.08 Current children cumulated vsize (Kb) 38332 [startup+100.12 s] /proc/loadavg: 0.98 0.96 0.91 2/64 29123 /proc/meminfo: memFree=1239712/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=38768 CPUtime=100.08 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 305916 0 0 0 9922 86 0 0 25 0 1 0 191399575 39698432 9019 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 9692 9019 206 16 0 9133 0 Current children cumulated CPU time (s) 100.08 Current children cumulated vsize (Kb) 38768 [startup+110.126 s] /proc/loadavg: 0.98 0.96 0.91 2/64 29123 /proc/meminfo: memFree=1239264/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=39200 CPUtime=110.09 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 306028 0 0 0 10923 86 0 0 25 0 1 0 191399575 40140800 9127 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 9800 9127 206 16 0 9241 0 Current children cumulated CPU time (s) 110.09 Current children cumulated vsize (Kb) 39200 [startup+120.132 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29123 /proc/meminfo: memFree=1238944/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=39524 CPUtime=120.09 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 306112 0 0 0 11923 86 0 0 25 0 1 0 191399575 40472576 9208 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 9881 9208 206 16 0 9322 0 Current children cumulated CPU time (s) 120.09 Current children cumulated vsize (Kb) 39524 [startup+130.138 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29123 /proc/meminfo: memFree=1238496/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=39960 CPUtime=130.09 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 306225 0 0 0 12923 86 0 0 25 0 1 0 191399575 40919040 9317 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 9990 9317 206 16 0 9431 0 Current children cumulated CPU time (s) 130.09 Current children cumulated vsize (Kb) 39960 [startup+140.143 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29123 /proc/meminfo: memFree=1238048/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=40392 CPUtime=140.09 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 306337 0 0 0 13923 86 0 0 25 0 1 0 191399575 41361408 9425 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 10098 9425 206 16 0 9539 0 Current children cumulated CPU time (s) 140.09 Current children cumulated vsize (Kb) 40392 [startup+150.149 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29123 /proc/meminfo: memFree=1237664/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=40828 CPUtime=150.1 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 306450 0 0 0 14924 86 0 0 25 0 1 0 191399575 41807872 9534 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 10207 9534 206 16 0 9648 0 Current children cumulated CPU time (s) 150.1 Current children cumulated vsize (Kb) 40828 [startup+160.155 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29123 /proc/meminfo: memFree=1237216/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=41260 CPUtime=160.1 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 306562 0 0 0 15924 86 0 0 25 0 1 0 191399575 42250240 9642 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 10315 9642 206 16 0 9756 0 Current children cumulated CPU time (s) 160.1 Current children cumulated vsize (Kb) 41260 [startup+170.161 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29123 /proc/meminfo: memFree=1236768/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=41692 CPUtime=170.11 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 306674 0 0 0 16924 87 0 0 25 0 1 0 191399575 42692608 9750 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 10423 9750 206 16 0 9864 0 Current children cumulated CPU time (s) 170.11 Current children cumulated vsize (Kb) 41692 [startup+180.167 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29123 /proc/meminfo: memFree=1236320/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=42128 CPUtime=180.11 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 306787 0 0 0 17924 87 0 0 25 0 1 0 191399575 43139072 9859 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 10532 9859 206 16 0 9973 0 Current children cumulated CPU time (s) 180.11 Current children cumulated vsize (Kb) 42128 [startup+190.173 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29123 /proc/meminfo: memFree=1235872/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=42560 CPUtime=190.12 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 306899 0 0 0 18925 87 0 0 25 0 1 0 191399575 43581440 9967 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 10640 9967 206 16 0 10081 0 Current children cumulated CPU time (s) 190.12 Current children cumulated vsize (Kb) 42560 [startup+200.178 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29123 /proc/meminfo: memFree=1235424/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=42992 CPUtime=200.12 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 307011 0 0 0 19925 87 0 0 25 0 1 0 191399575 44023808 10075 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 10748 10075 206 16 0 10189 0 Current children cumulated CPU time (s) 200.12 Current children cumulated vsize (Kb) 42992 [startup+210.184 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29123 /proc/meminfo: memFree=1234976/2055920 swapFree=4181444/4192956 ################ # More data... # ################ /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 319776 0 0 0 178071 95 0 0 25 0 1 0 191399575 95203328 22591 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 23243 22591 206 16 0 22684 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (Kb) 92972 [startup+1783.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29125 /proc/meminfo: memFree=1184864/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=92972 CPUtime=1782.66 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 319778 0 0 0 178171 95 0 0 25 0 1 0 191399575 95203328 22593 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 23243 22593 206 16 0 22684 0 Current children cumulated CPU time (s) 1782.66 Current children cumulated vsize (Kb) 92972 [startup+1784.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29125 /proc/meminfo: memFree=1184864/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=92972 CPUtime=1783.67 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 319779 0 0 0 178272 95 0 0 25 0 1 0 191399575 95203328 22594 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 23243 22594 206 16 0 22684 0 Current children cumulated CPU time (s) 1783.67 Current children cumulated vsize (Kb) 92972 [startup+1785.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29125 /proc/meminfo: memFree=1184864/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=92972 CPUtime=1784.67 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 319779 0 0 0 178372 95 0 0 25 0 1 0 191399575 95203328 22594 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 23243 22594 206 16 0 22684 0 Current children cumulated CPU time (s) 1784.67 Current children cumulated vsize (Kb) 92972 [startup+1786.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29125 /proc/meminfo: memFree=1184736/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=93096 CPUtime=1785.68 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 319808 0 0 0 178473 95 0 0 25 0 1 0 191399575 95330304 22623 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 23274 22623 206 16 0 22715 0 Current children cumulated CPU time (s) 1785.68 Current children cumulated vsize (Kb) 93096 [startup+1787.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29125 /proc/meminfo: memFree=1184672/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=93220 CPUtime=1786.68 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 319836 0 0 0 178573 95 0 0 25 0 1 0 191399575 95457280 22651 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 23305 22651 206 16 0 22746 0 Current children cumulated CPU time (s) 1786.68 Current children cumulated vsize (Kb) 93220 [startup+1788.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29125 /proc/meminfo: memFree=1184608/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=93220 CPUtime=1787.69 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 319843 0 0 0 178674 95 0 0 25 0 1 0 191399575 95457280 22658 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 23305 22658 206 16 0 22746 0 Current children cumulated CPU time (s) 1787.69 Current children cumulated vsize (Kb) 93220 [startup+1789.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29125 /proc/meminfo: memFree=1184608/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=93220 CPUtime=1788.69 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 319847 0 0 0 178774 95 0 0 25 0 1 0 191399575 95457280 22662 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 23305 22662 206 16 0 22746 0 Current children cumulated CPU time (s) 1788.69 Current children cumulated vsize (Kb) 93220 [startup+1790.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29125 /proc/meminfo: memFree=1184608/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=93220 CPUtime=1789.7 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 319850 0 0 0 178875 95 0 0 25 0 1 0 191399575 95457280 22665 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 23305 22665 206 16 0 22746 0 Current children cumulated CPU time (s) 1789.7 Current children cumulated vsize (Kb) 93220 [startup+1791.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29125 /proc/meminfo: memFree=1184608/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=93220 CPUtime=1790.7 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 319852 0 0 0 178975 95 0 0 25 0 1 0 191399575 95457280 22667 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 23305 22667 206 16 0 22746 0 Current children cumulated CPU time (s) 1790.7 Current children cumulated vsize (Kb) 93220 [startup+1792.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29125 /proc/meminfo: memFree=1184544/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=93220 CPUtime=1791.71 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 319852 0 0 0 179076 95 0 0 25 0 1 0 191399575 95457280 22667 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527821 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 23305 22667 206 16 0 22746 0 Current children cumulated CPU time (s) 1791.71 Current children cumulated vsize (Kb) 93220 [startup+1793.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29125 /proc/meminfo: memFree=1184544/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=93352 CPUtime=1792.71 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 319860 0 0 0 179176 95 0 0 25 0 1 0 191399575 95592448 22675 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528586 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 23338 22675 206 16 0 22779 0 Current children cumulated CPU time (s) 1792.71 Current children cumulated vsize (Kb) 93352 [startup+1794.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29125 /proc/meminfo: memFree=1184352/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=93476 CPUtime=1793.71 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 319903 0 0 0 179276 95 0 0 25 0 1 0 191399575 95719424 22718 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 23369 22718 206 16 0 22810 0 Current children cumulated CPU time (s) 1793.71 Current children cumulated vsize (Kb) 93476 [startup+1795.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29125 /proc/meminfo: memFree=1184352/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=93476 CPUtime=1794.72 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 319910 0 0 0 179377 95 0 0 25 0 1 0 191399575 95719424 22725 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 23369 22725 206 16 0 22810 0 Current children cumulated CPU time (s) 1794.72 Current children cumulated vsize (Kb) 93476 [startup+1796.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29125 /proc/meminfo: memFree=1184288/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=93476 CPUtime=1795.72 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 319916 0 0 0 179477 95 0 0 25 0 1 0 191399575 95719424 22731 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 23369 22731 206 16 0 22810 0 Current children cumulated CPU time (s) 1795.72 Current children cumulated vsize (Kb) 93476 [startup+1797.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29125 /proc/meminfo: memFree=1184288/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=93604 CPUtime=1796.73 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 319919 0 0 0 179578 95 0 0 25 0 1 0 191399575 95850496 22734 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 23401 22734 206 16 0 22842 0 Current children cumulated CPU time (s) 1796.73 Current children cumulated vsize (Kb) 93604 [startup+1798.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29125 /proc/meminfo: memFree=1184288/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=93604 CPUtime=1797.73 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 319921 0 0 0 179678 95 0 0 25 0 1 0 191399575 95850496 22736 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 23401 22736 206 16 0 22842 0 Current children cumulated CPU time (s) 1797.73 Current children cumulated vsize (Kb) 93604 [startup+1799.21 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29125 /proc/meminfo: memFree=1184288/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=93604 CPUtime=1798.74 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 319923 0 0 0 179779 95 0 0 25 0 1 0 191399575 95850496 22738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 23401 22738 206 16 0 22842 0 Current children cumulated CPU time (s) 1798.74 Current children cumulated vsize (Kb) 93604 [startup+1800.21 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29125 /proc/meminfo: memFree=1184288/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=93604 CPUtime=1799.74 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 319923 0 0 0 179879 95 0 0 25 0 1 0 191399575 95850496 22738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 23401 22738 206 16 0 22842 0 Current children cumulated CPU time (s) 1799.74 Current children cumulated vsize (Kb) 93604 [startup+1801.21 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29125 /proc/meminfo: memFree=1184224/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=93604 CPUtime=1800.75 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 319939 0 0 0 179980 95 0 0 25 0 1 0 191399575 95850496 22754 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 23401 22754 206 16 0 22842 0 Current children cumulated CPU time (s) 1800.75 Current children cumulated vsize (Kb) 93604 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.22 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29125 /proc/meminfo: memFree=1184224/2055920 swapFree=4181444/4192956 [pid=29123] ppid=29121 vsize=93604 CPUtime=1800.75 /proc/29123/stat : 29123 (Pueblo) R 29121 29123 29077 0 -1 4194304 319939 0 0 0 179980 95 0 0 25 0 1 0 191399575 95850496 22754 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0 /proc/29123/statm: 23401 22754 206 16 0 22842 0 Current children cumulated CPU time (s) 1800.75 Current children cumulated vsize (Kb) 93604 Sending SIGTERM to -29123 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.24 CPU time (s): 1800.78 CPU user time (s): 1799.81 CPU system time (s): 0.973851 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (Kb): 93604 The end
Begin job on node55 on Fri Jun 2 14:08:40 UTC 2006 FILE ID= 36384-1149257320 PBS_JOBID= 298456 BENCH NAME= ROOT/tmp/node55/36384-1149257320/instance-36384-1149257320.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node55/36384-1149257320/instance-36384-1149257320.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-36384-1149257320 -o ROOT/results/node55/solver-36384-1149257320 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node55/36384-1149257320/instance-36384-1149257320.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 136e834aa135f130ab268d7e01dc474c RANDOM SEED= 116626292 /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.243 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.243 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: 1274912 kB Buffers: 24352 kB Cached: 683060 kB SwapCached: 3460 kB Active: 50344 kB Inactive: 666060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1274912 kB SwapTotal: 4192956 kB SwapFree: 4181444 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14944 kB Slab: 50708 kB Committed_AS: 242560 kB PageTables: 1396 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node55 on Fri Jun 2 14:38:41 UTC 2006