Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | ? (TO) | 1800.53 | 1801.14 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-CMS750_4.opb |
MD5SUM | 55e4261919fe5e3e5c6520778d47a3ef |
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 | 142226 |
Total number of constraints | 20881 |
Number of constraints which are clauses | 2438 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 18443 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 61 |
Number of terms in the objective function | 780 |
Biggest coefficient in the objective function | 261957 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524680 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261957 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524680 |
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 17.11 c starting to Solve 17.12 c #variables read: 142226 - #constraints read: 20883
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/node52/watcher-36403-1149261999 -o ROOT/results/node52/solver-36403-1149261999 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node52/36403-1149261999/instance-36403-1149261999.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.91 2/64 24126 /proc/meminfo: memFree=1333444/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=2572 CPUtime=0 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 268 0 0 0 0 0 0 0 19 0 1 0 191867712 2633728 240 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4744827 0 0 4096 0 0 0 0 17 0 0 0 /proc/24126/statm: 643 240 193 16 0 84 0 [startup+10.0019 s] /proc/loadavg: 0.93 0.97 0.91 2/64 24126 /proc/meminfo: memFree=1280644/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=66240 CPUtime=10 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 1396416 0 0 0 641 359 0 0 25 0 1 0 191867712 67829760 13490 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/24126/statm: 16560 13351 205 16 0 16001 0 Current children cumulated CPU time (s) 10 Current children cumulated vsize (Kb) 66240 [startup+20.0074 s] /proc/loadavg: 0.94 0.97 0.91 2/64 24126 /proc/meminfo: memFree=1267780/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=79344 CPUtime=20 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2919637 0 0 0 1242 758 0 0 25 0 1 0 191867712 81248256 16746 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134558602 0 0 4096 0 0 0 0 17 0 0 0 /proc/24126/statm: 19836 16746 206 16 0 19277 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 79344 [startup+30.0129 s] /proc/loadavg: 0.95 0.97 0.91 2/64 24126 /proc/meminfo: memFree=1256516/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=90956 CPUtime=30 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2922478 0 0 0 2240 760 0 0 25 0 1 0 191867712 93138944 19587 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 0 0 0 /proc/24126/statm: 22739 19587 206 16 0 22180 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 90956 [startup+40.0184 s] /proc/loadavg: 0.95 0.97 0.91 2/64 24126 /proc/meminfo: memFree=1251972/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=95408 CPUtime=39.99 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2923619 0 0 0 3239 760 0 0 25 0 1 0 191867712 97697792 20728 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134558602 0 0 4096 0 0 0 0 17 0 0 0 /proc/24126/statm: 23852 20728 206 16 0 23293 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 95408 [startup+50.0249 s] /proc/loadavg: 0.96 0.97 0.91 2/64 24126 /proc/meminfo: memFree=1249412/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=98048 CPUtime=50 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2924240 0 0 0 4239 761 0 0 25 0 1 0 191867712 100401152 21349 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559161 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 24512 21349 206 16 0 23953 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 98048 [startup+60.0314 s] /proc/loadavg: 0.97 0.97 0.91 2/64 24126 /proc/meminfo: memFree=1249412/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=98048 CPUtime=60 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2924240 0 0 0 5239 761 0 0 25 0 1 0 191867712 100401152 21349 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527486 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 24512 21349 206 16 0 23953 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 98048 [startup+70.0377 s] /proc/loadavg: 0.97 0.97 0.91 2/64 24126 /proc/meminfo: memFree=1249348/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=98048 CPUtime=70 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2924255 0 0 0 6239 761 0 0 25 0 1 0 191867712 100401152 21364 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559236 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 24512 21364 206 16 0 23953 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 98048 [startup+80.0442 s] /proc/loadavg: 0.98 0.97 0.91 2/64 24126 /proc/meminfo: memFree=1249348/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=98048 CPUtime=80 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2924259 0 0 0 7239 761 0 0 25 0 1 0 191867712 100401152 21368 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 24512 21368 206 16 0 23953 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 98048 [startup+90.0497 s] /proc/loadavg: 0.98 0.97 0.91 2/64 24126 /proc/meminfo: memFree=1249348/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=98048 CPUtime=90.01 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2924259 0 0 0 8240 761 0 0 25 0 1 0 191867712 100401152 21368 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 24512 21368 206 16 0 23953 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 98048 [startup+100.055 s] /proc/loadavg: 0.98 0.97 0.91 2/64 24126 /proc/meminfo: memFree=1246852/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=100608 CPUtime=100 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2924885 0 0 0 9239 761 0 0 25 0 1 0 191867712 103022592 21994 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 25152 21994 206 16 0 24593 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 100608 [startup+110.061 s] /proc/loadavg: 0.98 0.97 0.91 2/64 24126 /proc/meminfo: memFree=1245508/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=101912 CPUtime=110.01 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2925223 0 0 0 10240 761 0 0 25 0 1 0 191867712 104357888 22332 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 25478 22332 206 16 0 24919 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 101912 [startup+120.066 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24126 /proc/meminfo: memFree=1245508/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=101912 CPUtime=120.01 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2925223 0 0 0 11240 761 0 0 25 0 1 0 191867712 104357888 22332 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 25478 22332 206 16 0 24919 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 101912 [startup+130.072 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24126 /proc/meminfo: memFree=1245444/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=101912 CPUtime=130.01 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2925223 0 0 0 12240 761 0 0 25 0 1 0 191867712 104357888 22332 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527993 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 25478 22332 206 16 0 24919 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 101912 [startup+140.077 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24126 /proc/meminfo: memFree=1245444/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=101912 CPUtime=140.01 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2925223 0 0 0 13240 761 0 0 25 0 1 0 191867712 104357888 22332 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 25478 22332 206 16 0 24919 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 101912 [startup+150.083 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24126 /proc/meminfo: memFree=1245444/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=101912 CPUtime=150.02 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2925223 0 0 0 14240 762 0 0 25 0 1 0 191867712 104357888 22332 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527772 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 25478 22332 206 16 0 24919 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 101912 [startup+160.088 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24126 /proc/meminfo: memFree=1245444/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=101912 CPUtime=160.02 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2925223 0 0 0 15240 762 0 0 25 0 1 0 191867712 104357888 22332 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528239 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 25478 22332 206 16 0 24919 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 101912 [startup+170.094 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24126 /proc/meminfo: memFree=1245444/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=101912 CPUtime=170.03 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2925223 0 0 0 16241 762 0 0 25 0 1 0 191867712 104357888 22332 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 25478 22332 206 16 0 24919 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 101912 [startup+180.099 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24126 /proc/meminfo: memFree=1243524/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=103988 CPUtime=180.03 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2925716 0 0 0 17241 762 0 0 25 0 1 0 191867712 106483712 22825 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 25997 22825 206 16 0 25438 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 103988 [startup+190.105 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24126 /proc/meminfo: memFree=1240772/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=106852 CPUtime=190.02 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2926392 0 0 0 18240 762 0 0 25 0 1 0 191867712 109416448 23501 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 26713 23501 206 16 0 26154 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 106852 [startup+200.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24126 /proc/meminfo: memFree=1239748/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=107856 CPUtime=200.03 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2926656 0 0 0 19240 763 0 0 25 0 1 0 191867712 110444544 23765 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557413 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 26964 23765 206 16 0 26405 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 107856 [startup+210.116 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24126 /proc/meminfo: memFree=1239684/2055920 swapFree=4181360/4192956 ################ # More data... # ################ /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2929315 0 0 0 177374 767 0 0 25 0 1 0 191867712 121753600 26405 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134558602 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 29725 26405 206 16 0 29166 0 Current children cumulated CPU time (s) 1781.41 Current children cumulated vsize (Kb) 118900 [startup+1783.02 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24128 /proc/meminfo: memFree=1228740/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=118900 CPUtime=1782.42 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2929317 0 0 0 177475 767 0 0 25 0 1 0 191867712 121753600 26407 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519949 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 29725 26407 206 16 0 29166 0 Current children cumulated CPU time (s) 1782.42 Current children cumulated vsize (Kb) 118900 [startup+1784.02 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24128 /proc/meminfo: memFree=1228740/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=118900 CPUtime=1783.42 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2929317 0 0 0 177575 767 0 0 25 0 1 0 191867712 121753600 26407 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134558603 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 29725 26407 206 16 0 29166 0 Current children cumulated CPU time (s) 1783.42 Current children cumulated vsize (Kb) 118900 [startup+1785.03 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24128 /proc/meminfo: memFree=1228740/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=118900 CPUtime=1784.43 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2929317 0 0 0 177676 767 0 0 25 0 1 0 191867712 121753600 26407 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134558603 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 29725 26407 206 16 0 29166 0 Current children cumulated CPU time (s) 1784.43 Current children cumulated vsize (Kb) 118900 [startup+1786.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24128 /proc/meminfo: memFree=1228740/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=118900 CPUtime=1785.43 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2929317 0 0 0 177776 767 0 0 25 0 1 0 191867712 121753600 26407 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 29725 26407 206 16 0 29166 0 Current children cumulated CPU time (s) 1785.43 Current children cumulated vsize (Kb) 118900 [startup+1787.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24128 /proc/meminfo: memFree=1228740/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=118900 CPUtime=1786.44 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2929317 0 0 0 177877 767 0 0 25 0 1 0 191867712 121753600 26407 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134558602 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 29725 26407 206 16 0 29166 0 Current children cumulated CPU time (s) 1786.44 Current children cumulated vsize (Kb) 118900 [startup+1788.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24128 /proc/meminfo: memFree=1228740/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=118900 CPUtime=1787.44 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2929317 0 0 0 177977 767 0 0 25 0 1 0 191867712 121753600 26407 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 29725 26407 206 16 0 29166 0 Current children cumulated CPU time (s) 1787.44 Current children cumulated vsize (Kb) 118900 [startup+1789.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24128 /proc/meminfo: memFree=1228740/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=118900 CPUtime=1788.44 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2929317 0 0 0 178077 767 0 0 25 0 1 0 191867712 121753600 26407 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 29725 26407 206 16 0 29166 0 Current children cumulated CPU time (s) 1788.44 Current children cumulated vsize (Kb) 118900 [startup+1790.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24128 /proc/meminfo: memFree=1228740/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=118900 CPUtime=1789.45 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2929317 0 0 0 178178 767 0 0 25 0 1 0 191867712 121753600 26407 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 29725 26407 206 16 0 29166 0 Current children cumulated CPU time (s) 1789.45 Current children cumulated vsize (Kb) 118900 [startup+1791.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24128 /proc/meminfo: memFree=1228740/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=118900 CPUtime=1790.45 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2929317 0 0 0 178278 767 0 0 25 0 1 0 191867712 121753600 26407 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 29725 26407 206 16 0 29166 0 Current children cumulated CPU time (s) 1790.45 Current children cumulated vsize (Kb) 118900 [startup+1792.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24128 /proc/meminfo: memFree=1228740/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=118900 CPUtime=1791.46 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2929317 0 0 0 178379 767 0 0 25 0 1 0 191867712 121753600 26407 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 29725 26407 206 16 0 29166 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (Kb) 118900 [startup+1793.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24128 /proc/meminfo: memFree=1228740/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=118900 CPUtime=1792.46 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2929317 0 0 0 178479 767 0 0 25 0 1 0 191867712 121753600 26407 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520015 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 29725 26407 206 16 0 29166 0 Current children cumulated CPU time (s) 1792.46 Current children cumulated vsize (Kb) 118900 [startup+1794.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24128 /proc/meminfo: memFree=1228740/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=118900 CPUtime=1793.47 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2929317 0 0 0 178580 767 0 0 25 0 1 0 191867712 121753600 26407 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 29725 26407 206 16 0 29166 0 Current children cumulated CPU time (s) 1793.47 Current children cumulated vsize (Kb) 118900 [startup+1795.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24128 /proc/meminfo: memFree=1228740/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=118900 CPUtime=1794.47 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2929317 0 0 0 178680 767 0 0 25 0 1 0 191867712 121753600 26407 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 29725 26407 206 16 0 29166 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (Kb) 118900 [startup+1796.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24128 /proc/meminfo: memFree=1228740/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=118900 CPUtime=1795.48 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2929317 0 0 0 178781 767 0 0 25 0 1 0 191867712 121753600 26407 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520059 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 29725 26407 206 16 0 29166 0 Current children cumulated CPU time (s) 1795.48 Current children cumulated vsize (Kb) 118900 [startup+1797.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24128 /proc/meminfo: memFree=1228740/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=118900 CPUtime=1796.48 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2929317 0 0 0 178881 767 0 0 25 0 1 0 191867712 121753600 26407 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 29725 26407 206 16 0 29166 0 Current children cumulated CPU time (s) 1796.48 Current children cumulated vsize (Kb) 118900 [startup+1798.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24128 /proc/meminfo: memFree=1228740/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=118900 CPUtime=1797.49 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2929317 0 0 0 178982 767 0 0 25 0 1 0 191867712 121753600 26407 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4743000 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 29725 26407 206 16 0 29166 0 Current children cumulated CPU time (s) 1797.49 Current children cumulated vsize (Kb) 118900 [startup+1799.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24128 /proc/meminfo: memFree=1228740/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=118900 CPUtime=1798.49 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2929317 0 0 0 179082 767 0 0 25 0 1 0 191867712 121753600 26407 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134558602 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 29725 26407 206 16 0 29166 0 Current children cumulated CPU time (s) 1798.49 Current children cumulated vsize (Kb) 118900 [startup+1800.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24128 /proc/meminfo: memFree=1228740/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=118900 CPUtime=1799.5 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2929317 0 0 0 179183 767 0 0 25 0 1 0 191867712 121753600 26407 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 29725 26407 206 16 0 29166 0 Current children cumulated CPU time (s) 1799.5 Current children cumulated vsize (Kb) 118900 [startup+1801.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24128 /proc/meminfo: memFree=1228740/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=118900 CPUtime=1800.5 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2929317 0 0 0 179283 767 0 0 25 0 1 0 191867712 121753600 26407 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559559 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 29725 26407 206 16 0 29166 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (Kb) 118900 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24128 /proc/meminfo: memFree=1228740/2055920 swapFree=4181360/4192956 [pid=24126] ppid=24124 vsize=118900 CPUtime=1800.5 /proc/24126/stat : 24126 (Pueblo) R 24124 24126 24080 0 -1 4194304 2929317 0 0 0 179283 767 0 0 25 0 1 0 191867712 121753600 26407 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24126/statm: 29725 26407 206 16 0 29166 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (Kb) 118900 Sending SIGTERM to -24126 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.14 CPU time (s): 1800.53 CPU user time (s): 1792.84 CPU system time (s): 7.69383 CPU usage (%): 99.9666 Max. virtual memory (cumulated for all children) (Kb): 118900 The end
Begin job on node52 on Fri Jun 2 15:26:39 UTC 2006 FILE ID= 36403-1149261999 PBS_JOBID= 298702 BENCH NAME= ROOT/tmp/node52/36403-1149261999/instance-36403-1149261999.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node52/36403-1149261999/instance-36403-1149261999.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-36403-1149261999 -o ROOT/results/node52/solver-36403-1149261999 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node52/36403-1149261999/instance-36403-1149261999.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 55e4261919fe5e3e5c6520778d47a3ef RANDOM SEED= 18824507 /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.263 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.263 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: 1333716 kB Buffers: 27404 kB Cached: 625832 kB SwapCached: 3508 kB Active: 263756 kB Inactive: 398480 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1333716 kB SwapTotal: 4192956 kB SwapFree: 4181360 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14916 kB Slab: 45992 kB Committed_AS: 301624 kB PageTables: 1504 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node52 on Fri Jun 2 15:56:41 UTC 2006