Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | ? (TO) | 1800.58 | 1801.17 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-standata.opb |
MD5SUM | c8622f62aab23c6f6a5a29143b44f7fa |
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 | 30004 |
Total number of constraints | 455 |
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 | 455 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 22350 |
Number of terms in the objective function | 210 |
Biggest coefficient in the objective function | 86232 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 524437 |
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 | 542229 |
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.48 c starting to Solve 0.48 c #variables read: 30004 - #constraints read: 616
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/node2/watcher-36473-1149331929 -o ROOT/results/node2/solver-36473-1149331929 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node2/36473-1149331929/instance-36473-1149331929.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.94 2/64 30697 /proc/meminfo: memFree=1452768/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=1136 CPUtime=0 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 60 0 0 0 0 0 0 0 18 0 1 0 198854552 1163264 44 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 10523072 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 581 48 37 16 0 10 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.97 0.94 2/64 30697 /proc/meminfo: memFree=1438048/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=17232 CPUtime=9.99 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 3912 0 0 0 997 2 0 0 25 0 1 0 198854552 17645568 3883 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 4308 3883 206 16 0 3749 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 17232 [startup+20.0082 s] /proc/loadavg: 0.94 0.97 0.94 2/64 30697 /proc/meminfo: memFree=1437344/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=18000 CPUtime=19.99 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 4106 0 0 0 1997 2 0 0 25 0 1 0 198854552 18432000 4077 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 4500 4077 206 16 0 3941 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 18000 [startup+30.0142 s] /proc/loadavg: 0.95 0.97 0.94 2/64 30697 /proc/meminfo: memFree=1436768/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=18644 CPUtime=29.99 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 4258 0 0 0 2997 2 0 0 25 0 1 0 198854552 19091456 4229 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 4661 4229 206 16 0 4102 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 18644 [startup+40.0202 s] /proc/loadavg: 0.95 0.97 0.94 2/64 30697 /proc/meminfo: memFree=1435168/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=20304 CPUtime=40 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 4669 0 0 0 3997 3 0 0 25 0 1 0 198854552 20791296 4640 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 5076 4640 206 16 0 4517 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 20304 [startup+50.0263 s] /proc/loadavg: 0.96 0.97 0.94 2/64 30697 /proc/meminfo: memFree=1433952/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=21448 CPUtime=50 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 4962 0 0 0 4997 3 0 0 25 0 1 0 198854552 21962752 4933 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 5362 4933 206 16 0 4803 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 21448 [startup+60.0323 s] /proc/loadavg: 0.97 0.97 0.94 2/64 30697 /proc/meminfo: memFree=1432864/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=22736 CPUtime=60 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 5261 0 0 0 5997 3 0 0 25 0 1 0 198854552 23281664 5232 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527947 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 5684 5232 206 16 0 5125 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 22736 [startup+70.0384 s] /proc/loadavg: 0.97 0.97 0.94 2/64 30697 /proc/meminfo: memFree=1431520/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=23984 CPUtime=70 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 5591 0 0 0 6997 3 0 0 25 0 1 0 198854552 24559616 5562 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 5996 5562 206 16 0 5437 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 23984 [startup+80.0444 s] /proc/loadavg: 0.98 0.97 0.94 2/64 30697 /proc/meminfo: memFree=1428960/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=26592 CPUtime=80.01 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 6228 0 0 0 7998 3 0 0 25 0 1 0 198854552 27230208 6199 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 6648 6199 206 16 0 6089 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 26592 [startup+90.0505 s] /proc/loadavg: 0.98 0.97 0.94 2/64 30697 /proc/meminfo: memFree=1428320/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=27248 CPUtime=90.02 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 6388 0 0 0 8998 4 0 0 25 0 1 0 198854552 27901952 6359 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 6812 6359 206 16 0 6253 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 27248 [startup+100.057 s] /proc/loadavg: 0.98 0.97 0.94 2/64 30697 /proc/meminfo: memFree=1428320/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=27248 CPUtime=100.02 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 6388 0 0 0 9998 4 0 0 25 0 1 0 198854552 27901952 6359 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 6812 6359 206 16 0 6253 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 27248 [startup+110.063 s] /proc/loadavg: 0.98 0.97 0.94 2/64 30697 /proc/meminfo: memFree=1428320/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=27248 CPUtime=110.03 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 6388 0 0 0 10999 4 0 0 25 0 1 0 198854552 27901952 6359 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 6812 6359 206 16 0 6253 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 27248 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30697 /proc/meminfo: memFree=1427680/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=27888 CPUtime=120.03 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 6553 0 0 0 11999 4 0 0 25 0 1 0 198854552 28557312 6524 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 6972 6524 206 16 0 6413 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 27888 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30697 /proc/meminfo: memFree=1426976/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=28528 CPUtime=130.03 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 6727 0 0 0 12999 4 0 0 25 0 1 0 198854552 29212672 6698 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528055 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 7132 6698 206 16 0 6573 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 28528 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30697 /proc/meminfo: memFree=1425888/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=29680 CPUtime=140.03 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 6993 0 0 0 13999 4 0 0 25 0 1 0 198854552 30392320 6964 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 7420 6964 206 16 0 6861 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 29680 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30697 /proc/meminfo: memFree=1424672/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=30816 CPUtime=150.03 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 7300 0 0 0 14999 4 0 0 25 0 1 0 198854552 31555584 7271 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 7704 7271 206 16 0 7145 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 30816 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30697 /proc/meminfo: memFree=1424608/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=30816 CPUtime=160.03 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 7300 0 0 0 15999 4 0 0 25 0 1 0 198854552 31555584 7271 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528351 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 7704 7271 206 16 0 7145 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 30816 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30697 /proc/meminfo: memFree=1424672/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=30816 CPUtime=170.04 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 7300 0 0 0 17000 4 0 0 25 0 1 0 198854552 31555584 7271 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 7704 7271 206 16 0 7145 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 30816 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30697 /proc/meminfo: memFree=1424672/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=30816 CPUtime=180.04 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 7300 0 0 0 18000 4 0 0 25 0 1 0 198854552 31555584 7271 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 7704 7271 206 16 0 7145 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 30816 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30697 /proc/meminfo: memFree=1424672/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=30816 CPUtime=190.04 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 7300 0 0 0 19000 4 0 0 25 0 1 0 198854552 31555584 7271 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 7704 7271 206 16 0 7145 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 30816 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30697 /proc/meminfo: memFree=1424672/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=30816 CPUtime=200.04 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 7300 0 0 0 20000 4 0 0 25 0 1 0 198854552 31555584 7271 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 7704 7271 206 16 0 7145 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 30816 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30697 /proc/meminfo: memFree=1424672/2055920 swapFree=4181512/4192956 ################ # More data... # ################ /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 10862 0 0 0 178136 11 0 0 25 0 1 0 198854552 46256128 10833 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 11293 10833 206 16 0 10734 0 Current children cumulated CPU time (s) 1781.47 Current children cumulated vsize (Kb) 45172 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30892 /proc/meminfo: memFree=1410088/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=45172 CPUtime=1782.47 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 10862 0 0 0 178236 11 0 0 25 0 1 0 198854552 46256128 10833 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519884 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 11293 10833 206 16 0 10734 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (Kb) 45172 [startup+1784.07 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30892 /proc/meminfo: memFree=1409832/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=45528 CPUtime=1783.48 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 10937 0 0 0 178337 11 0 0 25 0 1 0 198854552 46620672 10908 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 11382 10908 206 16 0 10823 0 Current children cumulated CPU time (s) 1783.48 Current children cumulated vsize (Kb) 45528 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30892 /proc/meminfo: memFree=1409256/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=46100 CPUtime=1784.48 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11080 0 0 0 178437 11 0 0 25 0 1 0 198854552 47206400 11051 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 11525 11051 206 16 0 10966 0 Current children cumulated CPU time (s) 1784.48 Current children cumulated vsize (Kb) 46100 [startup+1786.08 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30892 /proc/meminfo: memFree=1409256/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=46100 CPUtime=1785.48 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11080 0 0 0 178537 11 0 0 25 0 1 0 198854552 47206400 11051 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 11525 11051 206 16 0 10966 0 Current children cumulated CPU time (s) 1785.48 Current children cumulated vsize (Kb) 46100 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30892 /proc/meminfo: memFree=1409256/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=46100 CPUtime=1786.49 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11080 0 0 0 178638 11 0 0 25 0 1 0 198854552 47206400 11051 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519884 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 11525 11051 206 16 0 10966 0 Current children cumulated CPU time (s) 1786.49 Current children cumulated vsize (Kb) 46100 [startup+1788.09 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30892 /proc/meminfo: memFree=1409192/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=46100 CPUtime=1787.49 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11086 0 0 0 178738 11 0 0 25 0 1 0 198854552 47206400 11057 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 11525 11057 206 16 0 10966 0 Current children cumulated CPU time (s) 1787.49 Current children cumulated vsize (Kb) 46100 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30892 /proc/meminfo: memFree=1409192/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=46100 CPUtime=1788.5 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11086 0 0 0 178839 11 0 0 25 0 1 0 198854552 47206400 11057 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520076 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 11525 11057 206 16 0 10966 0 Current children cumulated CPU time (s) 1788.5 Current children cumulated vsize (Kb) 46100 [startup+1790.1 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30892 /proc/meminfo: memFree=1409192/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=46100 CPUtime=1789.5 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11086 0 0 0 178939 11 0 0 25 0 1 0 198854552 47206400 11057 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 11525 11057 206 16 0 10966 0 Current children cumulated CPU time (s) 1789.5 Current children cumulated vsize (Kb) 46100 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30892 /proc/meminfo: memFree=1409192/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=46100 CPUtime=1790.51 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11086 0 0 0 179040 11 0 0 25 0 1 0 198854552 47206400 11057 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 11525 11057 206 16 0 10966 0 Current children cumulated CPU time (s) 1790.51 Current children cumulated vsize (Kb) 46100 [startup+1792.11 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30892 /proc/meminfo: memFree=1408936/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=46444 CPUtime=1791.51 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11161 0 0 0 179140 11 0 0 25 0 1 0 198854552 47558656 11132 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 11611 11132 206 16 0 11052 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (Kb) 46444 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30892 /proc/meminfo: memFree=1408424/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=46896 CPUtime=1792.51 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11290 0 0 0 179240 11 0 0 25 0 1 0 198854552 48021504 11261 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 11724 11261 206 16 0 11165 0 Current children cumulated CPU time (s) 1792.51 Current children cumulated vsize (Kb) 46896 [startup+1794.12 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30892 /proc/meminfo: memFree=1407336/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=47936 CPUtime=1793.53 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11556 0 0 0 179341 12 0 0 25 0 1 0 198854552 49086464 11527 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 11984 11527 206 16 0 11425 0 Current children cumulated CPU time (s) 1793.53 Current children cumulated vsize (Kb) 47936 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30892 /proc/meminfo: memFree=1407208/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=48156 CPUtime=1794.53 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11595 0 0 0 179441 12 0 0 25 0 1 0 198854552 49311744 11566 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 12039 11566 206 16 0 11480 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (Kb) 48156 [startup+1796.13 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30892 /proc/meminfo: memFree=1406760/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=48564 CPUtime=1795.54 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11696 0 0 0 179542 12 0 0 25 0 1 0 198854552 49729536 11667 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 12141 11667 206 16 0 11582 0 Current children cumulated CPU time (s) 1795.54 Current children cumulated vsize (Kb) 48564 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30892 /proc/meminfo: memFree=1406440/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=48872 CPUtime=1796.54 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11779 0 0 0 179642 12 0 0 25 0 1 0 198854552 50044928 11750 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 12218 11750 206 16 0 11659 0 Current children cumulated CPU time (s) 1796.54 Current children cumulated vsize (Kb) 48872 [startup+1798.14 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30892 /proc/meminfo: memFree=1405992/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=49356 CPUtime=1797.54 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11887 0 0 0 179742 12 0 0 25 0 1 0 198854552 50540544 11858 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 12339 11858 206 16 0 11780 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (Kb) 49356 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30892 /proc/meminfo: memFree=1405160/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=50088 CPUtime=1798.55 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 12097 0 0 0 179843 12 0 0 25 0 1 0 198854552 51290112 12068 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528055 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 12522 12068 206 16 0 11963 0 Current children cumulated CPU time (s) 1798.55 Current children cumulated vsize (Kb) 50088 [startup+1800.15 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30892 /proc/meminfo: memFree=1404712/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=50620 CPUtime=1799.55 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 12211 0 0 0 179943 12 0 0 25 0 1 0 198854552 51834880 12182 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 12655 12182 206 16 0 12096 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (Kb) 50620 [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30892 /proc/meminfo: memFree=1404200/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=51172 CPUtime=1800.56 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 12337 0 0 0 180044 12 0 0 25 0 1 0 198854552 52400128 12308 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 12793 12308 206 16 0 12234 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (Kb) 51172 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.94 2/64 30892 /proc/meminfo: memFree=1404200/2055920 swapFree=4181512/4192956 [pid=30697] ppid=30695 vsize=51144 CPUtime=1800.56 /proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 12338 0 0 0 180044 12 0 0 25 0 1 0 198854552 52371456 12309 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/30697/statm: 12786 12309 206 16 0 12227 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (Kb) 51144 Sending SIGTERM to -30697 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.17 CPU time (s): 1800.58 CPU user time (s): 1800.45 CPU system time (s): 0.134979 CPU usage (%): 99.9671 Max. virtual memory (cumulated for all children) (Kb): 51172 The end
Begin job on node2 on Sat Jun 3 10:52:09 UTC 2006 FILE ID= 36473-1149331929 PBS_JOBID= 309944 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-standata.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node2/36473-1149331929/instance-36473-1149331929.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-36473-1149331929 -o ROOT/results/node2/solver-36473-1149331929 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node2/36473-1149331929/instance-36473-1149331929.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= c8622f62aab23c6f6a5a29143b44f7fa RANDOM SEED= 277393575 /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.240 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.240 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: 1452976 kB Buffers: 28720 kB Cached: 503388 kB SwapCached: 3392 kB Active: 82164 kB Inactive: 458888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1452976 kB SwapTotal: 4192956 kB SwapFree: 4181512 kB Dirty: 208 kB Writeback: 0 kB Mapped: 14936 kB Slab: 47812 kB Committed_AS: 294468 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node2 on Sat Jun 3 11:22:11 UTC 2006