Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | ? (TO) | 1800.69 | 1801.31 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-dano3_4.opb |
MD5SUM | 8bcab2e61229633d937bbb81a9edbb1b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 404566 |
Total number of constraints | 3686 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 4 |
Number of constraints which are nor clauses,nor cardinality constraints | 3682 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 15900 |
Number of terms in the objective function | 30 |
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 | 524317 |
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 | 535830 |
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 20.23 c starting to Solve 20.23 c #variables read: 404566 - #constraints read: 4911
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/node92/watcher-36387-1149258156 -o ROOT/results/node92/solver-36387-1149258156 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node92/36387-1149258156/instance-36387-1149258156.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.93 0.97 0.96 2/67 23777 /proc/meminfo: memFree=1319296/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=2576 CPUtime=0 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 265 0 0 0 0 0 0 0 18 0 1 0 191454502 2637824 237 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 10019255 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 644 237 197 16 0 84 0 [startup+10.0027 s] /proc/loadavg: 0.94 0.97 0.96 2/67 23777 /proc/meminfo: memFree=1200328/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=133568 CPUtime=9.99 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 339351 0 0 0 898 101 0 0 25 0 1 0 191454502 136773632 30169 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 33392 30177 203 16 0 32832 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 133568 [startup+20.009 s] /proc/loadavg: 0.95 0.97 0.96 2/67 23777 /proc/meminfo: memFree=1086344/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=247420 CPUtime=19.99 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 1973588 0 0 0 1430 569 0 0 25 0 1 0 191454502 253358080 58626 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 61855 58635 204 16 0 61295 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 247420 [startup+30.0153 s] /proc/loadavg: 0.95 0.97 0.96 2/67 23777 /proc/meminfo: memFree=1084232/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=247924 CPUtime=30 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2003951 0 0 0 2422 578 0 0 25 0 1 0 191454502 253874176 58893 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 61981 58893 206 16 0 61421 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 247924 [startup+40.0216 s] /proc/loadavg: 0.96 0.97 0.96 2/67 23777 /proc/meminfo: memFree=1084296/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=247924 CPUtime=40 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2003951 0 0 0 3422 578 0 0 25 0 1 0 191454502 253874176 58893 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 61981 58893 206 16 0 61421 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 247924 [startup+50.0279 s] /proc/loadavg: 0.97 0.97 0.96 2/67 23777 /proc/meminfo: memFree=1084296/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=247924 CPUtime=50 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2003951 0 0 0 4422 578 0 0 25 0 1 0 191454502 253874176 58893 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528256 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 61981 58893 206 16 0 61421 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 247924 [startup+60.0342 s] /proc/loadavg: 0.97 0.97 0.96 2/67 23777 /proc/meminfo: memFree=1084296/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=247924 CPUtime=60.01 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2003951 0 0 0 5423 578 0 0 25 0 1 0 191454502 253874176 58893 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 61981 58893 206 16 0 61421 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 247924 [startup+70.0405 s] /proc/loadavg: 0.97 0.97 0.96 2/67 23777 /proc/meminfo: memFree=1084296/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=247924 CPUtime=70.01 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2003951 0 0 0 6423 578 0 0 25 0 1 0 191454502 253874176 58893 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 61981 58893 206 16 0 61421 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 247924 [startup+80.0468 s] /proc/loadavg: 0.98 0.97 0.96 2/67 23777 /proc/meminfo: memFree=1084360/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=247924 CPUtime=80.01 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2003951 0 0 0 7423 578 0 0 25 0 1 0 191454502 253874176 58893 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527765 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 61981 58893 206 16 0 61421 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 247924 [startup+90.053 s] /proc/loadavg: 0.98 0.97 0.96 2/67 23777 /proc/meminfo: memFree=1084360/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=247924 CPUtime=90.02 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2003951 0 0 0 8424 578 0 0 25 0 1 0 191454502 253874176 58893 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 61981 58893 206 16 0 61421 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 247924 [startup+100.059 s] /proc/loadavg: 0.98 0.97 0.96 2/67 23777 /proc/meminfo: memFree=1084360/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=247924 CPUtime=100.02 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2003951 0 0 0 9424 578 0 0 25 0 1 0 191454502 253874176 58893 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 61981 58893 206 16 0 61421 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 247924 [startup+110.066 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23777 /proc/meminfo: memFree=1084360/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=247924 CPUtime=110.02 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2003951 0 0 0 10424 578 0 0 25 0 1 0 191454502 253874176 58893 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 61981 58893 206 16 0 61421 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 247924 [startup+120.072 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23777 /proc/meminfo: memFree=1084360/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=247924 CPUtime=120.03 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2003951 0 0 0 11425 578 0 0 25 0 1 0 191454502 253874176 58893 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 61981 58893 206 16 0 61421 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 247924 [startup+130.078 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23777 /proc/meminfo: memFree=1084360/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=247924 CPUtime=130.03 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2003951 0 0 0 12425 578 0 0 25 0 1 0 191454502 253874176 58893 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 61981 58893 206 16 0 61421 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 247924 [startup+140.084 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23777 /proc/meminfo: memFree=1084360/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=247924 CPUtime=140.03 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2003951 0 0 0 13425 578 0 0 25 0 1 0 191454502 253874176 58893 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 61981 58893 206 16 0 61421 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 247924 [startup+150.09 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23777 /proc/meminfo: memFree=1084360/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=247924 CPUtime=150.03 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2003951 0 0 0 14425 578 0 0 25 0 1 0 191454502 253874176 58893 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 61981 58893 206 16 0 61421 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 247924 [startup+160.096 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23777 /proc/meminfo: memFree=1084360/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=247924 CPUtime=160.04 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2003951 0 0 0 15426 578 0 0 25 0 1 0 191454502 253874176 58893 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 61981 58893 206 16 0 61421 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 247924 [startup+170.102 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23777 /proc/meminfo: memFree=1084360/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=247924 CPUtime=170.04 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2003951 0 0 0 16426 578 0 0 25 0 1 0 191454502 253874176 58893 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 61981 58893 206 16 0 61421 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 247924 [startup+180.109 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23777 /proc/meminfo: memFree=1084360/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=247924 CPUtime=180.04 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2003951 0 0 0 17426 578 0 0 25 0 1 0 191454502 253874176 58893 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 61981 58893 206 16 0 61421 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 247924 [startup+190.115 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23777 /proc/meminfo: memFree=1084360/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=247924 CPUtime=190.05 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2003951 0 0 0 18427 578 0 0 25 0 1 0 191454502 253874176 58893 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 61981 58893 206 16 0 61421 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 247924 [startup+200.12 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23777 /proc/meminfo: memFree=1084360/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=247924 CPUtime=200.05 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2003951 0 0 0 19427 578 0 0 25 0 1 0 191454502 253874176 58893 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 61981 58893 206 16 0 61421 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 247924 [startup+210.127 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23777 /proc/meminfo: memFree=1084360/2055892 swapFree=4084900/4096564 ################ # More data... # ################ /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2015029 0 0 0 177563 592 0 0 25 0 1 0 191454502 299732992 69971 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 73177 69971 206 16 0 72617 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 292708 [startup+1783.11 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23779 /proc/meminfo: memFree=1039880/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=292708 CPUtime=1782.55 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2015031 0 0 0 177663 592 0 0 25 0 1 0 191454502 299732992 69973 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 73177 69973 206 16 0 72617 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (Kb) 292708 [startup+1784.11 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23779 /proc/meminfo: memFree=1039880/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=292708 CPUtime=1783.55 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2015035 0 0 0 177763 592 0 0 25 0 1 0 191454502 299732992 69977 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 73177 69977 206 16 0 72617 0 Current children cumulated CPU time (s) 1783.55 Current children cumulated vsize (Kb) 292708 [startup+1785.12 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23779 /proc/meminfo: memFree=1039880/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=292708 CPUtime=1784.56 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2015035 0 0 0 177864 592 0 0 25 0 1 0 191454502 299732992 69977 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527742 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 73177 69977 206 16 0 72617 0 Current children cumulated CPU time (s) 1784.56 Current children cumulated vsize (Kb) 292708 [startup+1786.12 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23779 /proc/meminfo: memFree=1039880/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=292708 CPUtime=1785.56 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2015038 0 0 0 177964 592 0 0 25 0 1 0 191454502 299732992 69980 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528239 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 73177 69980 206 16 0 72617 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (Kb) 292708 [startup+1787.13 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23779 /proc/meminfo: memFree=1039880/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=292708 CPUtime=1786.57 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2015040 0 0 0 178065 592 0 0 25 0 1 0 191454502 299732992 69982 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 73177 69982 206 16 0 72617 0 Current children cumulated CPU time (s) 1786.57 Current children cumulated vsize (Kb) 292708 [startup+1788.13 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23779 /proc/meminfo: memFree=1039816/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=292708 CPUtime=1787.57 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2015041 0 0 0 178165 592 0 0 25 0 1 0 191454502 299732992 69983 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 73177 69983 206 16 0 72617 0 Current children cumulated CPU time (s) 1787.57 Current children cumulated vsize (Kb) 292708 [startup+1789.14 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23779 /proc/meminfo: memFree=1039816/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=292708 CPUtime=1788.58 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2015043 0 0 0 178266 592 0 0 25 0 1 0 191454502 299732992 69985 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 73177 69985 206 16 0 72617 0 Current children cumulated CPU time (s) 1788.58 Current children cumulated vsize (Kb) 292708 [startup+1790.14 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23779 /proc/meminfo: memFree=1039816/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=292708 CPUtime=1789.58 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2015045 0 0 0 178366 592 0 0 25 0 1 0 191454502 299732992 69987 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 73177 69987 206 16 0 72617 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 292708 [startup+1791.15 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23779 /proc/meminfo: memFree=1039816/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=292708 CPUtime=1790.59 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2015046 0 0 0 178467 592 0 0 25 0 1 0 191454502 299732992 69988 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 73177 69988 206 16 0 72617 0 Current children cumulated CPU time (s) 1790.59 Current children cumulated vsize (Kb) 292708 [startup+1792.15 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23779 /proc/meminfo: memFree=1039816/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=292708 CPUtime=1791.59 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2015048 0 0 0 178567 592 0 0 25 0 1 0 191454502 299732992 69990 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 73177 69990 206 16 0 72617 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (Kb) 292708 [startup+1793.15 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23779 /proc/meminfo: memFree=1039816/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=292708 CPUtime=1792.59 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2015052 0 0 0 178667 592 0 0 25 0 1 0 191454502 299732992 69994 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 73177 69994 206 16 0 72617 0 Current children cumulated CPU time (s) 1792.59 Current children cumulated vsize (Kb) 292708 [startup+1794.16 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23779 /proc/meminfo: memFree=1039816/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=292708 CPUtime=1793.6 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2015055 0 0 0 178768 592 0 0 25 0 1 0 191454502 299732992 69997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527841 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 73177 69997 206 16 0 72617 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 292708 [startup+1795.16 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23779 /proc/meminfo: memFree=1039752/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=292708 CPUtime=1794.6 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2015057 0 0 0 178868 592 0 0 25 0 1 0 191454502 299732992 69999 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 73177 69999 206 16 0 72617 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (Kb) 292708 [startup+1796.17 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23779 /proc/meminfo: memFree=1039752/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=292836 CPUtime=1795.61 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2015058 0 0 0 178969 592 0 0 25 0 1 0 191454502 299864064 70000 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528256 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 73209 70000 206 16 0 72649 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 292836 [startup+1797.17 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23779 /proc/meminfo: memFree=1039752/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=292836 CPUtime=1796.61 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2015062 0 0 0 179069 592 0 0 25 0 1 0 191454502 299864064 70004 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 73209 70004 206 16 0 72649 0 Current children cumulated CPU time (s) 1796.61 Current children cumulated vsize (Kb) 292836 [startup+1798.18 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23779 /proc/meminfo: memFree=1039752/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=292836 CPUtime=1797.62 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2015064 0 0 0 179170 592 0 0 25 0 1 0 191454502 299864064 70006 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 73209 70006 206 16 0 72649 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (Kb) 292836 [startup+1799.19 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23779 /proc/meminfo: memFree=1039752/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=292836 CPUtime=1798.62 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2015067 0 0 0 179270 592 0 0 25 0 1 0 191454502 299864064 70009 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 73209 70009 206 16 0 72649 0 Current children cumulated CPU time (s) 1798.62 Current children cumulated vsize (Kb) 292836 [startup+1800.19 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23779 /proc/meminfo: memFree=1039752/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=292836 CPUtime=1799.63 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2015070 0 0 0 179371 592 0 0 25 0 1 0 191454502 299864064 70012 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 73209 70012 206 16 0 72649 0 Current children cumulated CPU time (s) 1799.63 Current children cumulated vsize (Kb) 292836 [startup+1801.19 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23779 /proc/meminfo: memFree=1039752/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=292836 CPUtime=1800.63 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2015072 0 0 0 179471 592 0 0 25 0 1 0 191454502 299864064 70014 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 73209 70014 206 16 0 72649 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 292836 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 0.99 0.97 0.96 2/67 23779 /proc/meminfo: memFree=1039752/2055892 swapFree=4084900/4096564 [pid=23777] ppid=23775 vsize=292836 CPUtime=1800.63 /proc/23777/stat : 23777 (Pueblo) R 23775 23777 23731 0 -1 4194304 2015072 0 0 0 179471 592 0 0 25 0 1 0 191454502 299864064 70014 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527953 0 0 4096 0 0 0 0 17 1 0 0 /proc/23777/statm: 73209 70014 206 16 0 72649 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 292836 Sending SIGTERM to -23777 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.31 CPU time (s): 1800.69 CPU user time (s): 1794.72 CPU system time (s): 5.96809 CPU usage (%): 99.9653 Max. virtual memory (cumulated for all children) (Kb): 292836 The end
Begin job on node92 on Fri Jun 2 14:22:36 UTC 2006 FILE ID= 36387-1149258156 PBS_JOBID= 298494 BENCH NAME= ROOT/tmp/node92/36387-1149258156/instance-36387-1149258156.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node92/36387-1149258156/instance-36387-1149258156.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node92/watcher-36387-1149258156 -o ROOT/results/node92/solver-36387-1149258156 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node92/36387-1149258156/instance-36387-1149258156.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 8bcab2e61229633d937bbb81a9edbb1b RANDOM SEED= 812530042 /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.214 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.19 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.214 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.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1319568 kB Buffers: 37744 kB Cached: 622640 kB SwapCached: 2956 kB Active: 74848 kB Inactive: 594324 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1319568 kB SwapTotal: 4096564 kB SwapFree: 4084900 kB Dirty: 160 kB Writeback: 0 kB Mapped: 15196 kB Slab: 53992 kB Committed_AS: 264100 kB PageTables: 1256 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node92 on Fri Jun 2 14:52:38 UTC 2006