Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | ? (TO) | 1800.66 | 1801.19 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-gesa2-o.opb |
MD5SUM | 2ee0b4368a56ab3fadfc3737456bcd30 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1259 |
Best CPU time to get the best result obtained on this benchmark | 1800.64 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 799 |
Optimality of the best value was proved | NO |
Number of variables | 16224 |
Total number of constraints | 1488 |
Number of constraints which are clauses | 192 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1296 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 309 |
Number of terms in the objective function | 10368 |
Biggest coefficient in the objective function | 1219 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 532440 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 532440 |
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.31 c starting to Solve 0.31 c #variables read: 16224 - #constraints read: 1609
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/node23/watcher-36594-1149361397 -o ROOT/results/node23/solver-36594-1149361397 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node23/36594-1149361397/instance-36594-1149361397.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.99 0.99 3/64 27557 /proc/meminfo: memFree=1845152/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=172 CPUtime=0 /proc/27557/stat : 27557 (Pueblo) D 27555 27557 27511 0 -1 4194304 38 0 0 0 0 0 0 0 19 0 1 0 201803364 176128 23 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 2495268 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/27557/statm: 43 23 18 16 0 2 0 [startup+10.0029 s] /proc/loadavg: 0.93 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1831280/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=16268 CPUtime=9.99 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 3694 0 0 0 998 1 0 0 25 0 1 0 201803364 16658432 3665 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 4067 3665 206 16 0 3508 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 16268 [startup+20.009 s] /proc/loadavg: 0.94 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1830448/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=17164 CPUtime=19.99 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 3931 0 0 0 1998 1 0 0 25 0 1 0 201803364 17575936 3902 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528267 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 4291 3902 206 16 0 3732 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 17164 [startup+30.0152 s] /proc/loadavg: 0.95 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1830448/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=17164 CPUtime=29.99 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 3931 0 0 0 2998 1 0 0 25 0 1 0 201803364 17575936 3902 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528249 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 4291 3902 206 16 0 3732 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 17164 [startup+40.0213 s] /proc/loadavg: 0.96 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1828720/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=18960 CPUtime=40 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 4373 0 0 0 3998 2 0 0 25 0 1 0 201803364 19415040 4344 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 4740 4344 206 16 0 4181 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 18960 [startup+50.0274 s] /proc/loadavg: 0.96 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1828400/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=19216 CPUtime=50 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 4448 0 0 0 4998 2 0 0 25 0 1 0 201803364 19677184 4419 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519884 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 4804 4419 206 16 0 4245 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 19216 [startup+60.0336 s] /proc/loadavg: 0.97 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1828016/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=19600 CPUtime=60.01 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 4546 0 0 0 5999 2 0 0 25 0 1 0 201803364 20070400 4517 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 4900 4517 206 16 0 4341 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 19600 [startup+70.0407 s] /proc/loadavg: 0.97 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1826800/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=20756 CPUtime=70.01 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 4844 0 0 0 6999 2 0 0 25 0 1 0 201803364 21254144 4815 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527821 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 5189 4815 206 16 0 4630 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 20756 [startup+80.0469 s] /proc/loadavg: 0.98 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1826672/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=21028 CPUtime=80.01 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 4887 0 0 0 7999 2 0 0 25 0 1 0 201803364 21532672 4858 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 5257 4858 206 16 0 4698 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 21028 [startup+90.053 s] /proc/loadavg: 0.98 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1826288/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=21412 CPUtime=90.01 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 4988 0 0 0 8999 2 0 0 25 0 1 0 201803364 21925888 4959 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528055 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 5353 4959 206 16 0 4794 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 21412 [startup+100.059 s] /proc/loadavg: 0.98 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1824688/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=22952 CPUtime=100.01 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 5392 0 0 0 9999 2 0 0 25 0 1 0 201803364 23502848 5363 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 5738 5363 206 16 0 5179 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 22952 [startup+110.065 s] /proc/loadavg: 0.98 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1823792/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=23812 CPUtime=110.02 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 5604 0 0 0 11000 2 0 0 25 0 1 0 201803364 24383488 5575 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 5953 5575 206 16 0 5394 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 23812 [startup+120.071 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1823792/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=23812 CPUtime=120.02 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 5604 0 0 0 12000 2 0 0 25 0 1 0 201803364 24383488 5575 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528052 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 5953 5575 206 16 0 5394 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 23812 [startup+130.077 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1823152/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=24584 CPUtime=130.03 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 5769 0 0 0 13000 3 0 0 25 0 1 0 201803364 25174016 5740 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527989 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 6146 5740 206 16 0 5587 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 24584 [startup+140.083 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1823152/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=24536 CPUtime=140.03 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 5769 0 0 0 14000 3 0 0 25 0 1 0 201803364 25124864 5740 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527724 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 6134 5740 206 16 0 5575 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 24536 [startup+150.089 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1822448/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=25176 CPUtime=150.03 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 5939 0 0 0 15000 3 0 0 25 0 1 0 201803364 25780224 5910 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 6294 5910 206 16 0 5735 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 25176 [startup+160.095 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1820144/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=27512 CPUtime=160.04 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 6512 0 0 0 16001 3 0 0 25 0 1 0 201803364 28172288 6483 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 6878 6483 206 16 0 6319 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 27512 [startup+170.101 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1820144/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=27512 CPUtime=170.04 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 6513 0 0 0 17001 3 0 0 25 0 1 0 201803364 28172288 6484 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 6878 6484 206 16 0 6319 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 27512 [startup+180.107 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1820144/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=27512 CPUtime=180.04 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 6513 0 0 0 18001 3 0 0 25 0 1 0 201803364 28172288 6484 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 6878 6484 206 16 0 6319 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 27512 [startup+190.112 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1820144/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=27512 CPUtime=190.04 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 6513 0 0 0 19001 3 0 0 25 0 1 0 201803364 28172288 6484 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 2926082 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 6878 6484 206 16 0 6319 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 27512 [startup+200.119 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1819568/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=28024 CPUtime=200.05 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 6654 0 0 0 20002 3 0 0 25 0 1 0 201803364 28696576 6625 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134553209 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 7006 6625 206 16 0 6447 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 28024 [startup+210.125 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1819568/2055920 swapFree=4180884/4192956 ################ # More data... # ################ /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 14282 0 0 0 178144 11 0 0 25 0 1 0 201803364 60960768 14193 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527944 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 14883 14193 206 16 0 14324 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 59532 [startup+1783.09 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1788976/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=59532 CPUtime=1782.55 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 14282 0 0 0 178244 11 0 0 25 0 1 0 201803364 60960768 14193 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527989 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 14883 14193 206 16 0 14324 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (Kb) 59532 [startup+1784.09 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1788976/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=59532 CPUtime=1783.56 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 14282 0 0 0 178345 11 0 0 25 0 1 0 201803364 60960768 14193 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527993 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 14883 14193 206 16 0 14324 0 Current children cumulated CPU time (s) 1783.56 Current children cumulated vsize (Kb) 59532 [startup+1785.1 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1788976/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=59532 CPUtime=1784.56 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 14282 0 0 0 178445 11 0 0 25 0 1 0 201803364 60960768 14193 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528066 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 14883 14193 206 16 0 14324 0 Current children cumulated CPU time (s) 1784.56 Current children cumulated vsize (Kb) 59532 [startup+1786.1 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1788976/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=59532 CPUtime=1785.57 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 14282 0 0 0 178546 11 0 0 25 0 1 0 201803364 60960768 14193 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 14883 14193 206 16 0 14324 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (Kb) 59532 [startup+1787.11 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1788976/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=59532 CPUtime=1786.57 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 14282 0 0 0 178646 11 0 0 25 0 1 0 201803364 60960768 14193 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 14883 14193 206 16 0 14324 0 Current children cumulated CPU time (s) 1786.57 Current children cumulated vsize (Kb) 59532 [startup+1788.11 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1788976/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=59532 CPUtime=1787.58 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 14282 0 0 0 178747 11 0 0 25 0 1 0 201803364 60960768 14193 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 14883 14193 206 16 0 14324 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 59532 [startup+1789.12 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1788976/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=59532 CPUtime=1788.58 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 14282 0 0 0 178847 11 0 0 25 0 1 0 201803364 60960768 14193 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 14883 14193 206 16 0 14324 0 Current children cumulated CPU time (s) 1788.58 Current children cumulated vsize (Kb) 59532 [startup+1790.12 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1788976/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=59532 CPUtime=1789.59 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 14282 0 0 0 178948 11 0 0 25 0 1 0 201803364 60960768 14193 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 14883 14193 206 16 0 14324 0 Current children cumulated CPU time (s) 1789.59 Current children cumulated vsize (Kb) 59532 [startup+1791.12 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1788976/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=59532 CPUtime=1790.59 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 14282 0 0 0 179048 11 0 0 25 0 1 0 201803364 60960768 14193 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 14883 14193 206 16 0 14324 0 Current children cumulated CPU time (s) 1790.59 Current children cumulated vsize (Kb) 59532 [startup+1792.13 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1788976/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=59532 CPUtime=1791.6 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 14282 0 0 0 179149 11 0 0 25 0 1 0 201803364 60960768 14193 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527452 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 14883 14193 206 16 0 14324 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (Kb) 59532 [startup+1793.14 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1788976/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=59532 CPUtime=1792.6 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 14282 0 0 0 179249 11 0 0 25 0 1 0 201803364 60960768 14193 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528311 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 14883 14193 206 16 0 14324 0 Current children cumulated CPU time (s) 1792.6 Current children cumulated vsize (Kb) 59532 [startup+1794.14 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1788976/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=59532 CPUtime=1793.61 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 14282 0 0 0 179350 11 0 0 25 0 1 0 201803364 60960768 14193 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134554642 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 14883 14193 206 16 0 14324 0 Current children cumulated CPU time (s) 1793.61 Current children cumulated vsize (Kb) 59532 [startup+1795.15 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1788976/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=59532 CPUtime=1794.61 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 14282 0 0 0 179450 11 0 0 25 0 1 0 201803364 60960768 14193 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 14883 14193 206 16 0 14324 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (Kb) 59532 [startup+1796.15 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1788976/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=59532 CPUtime=1795.62 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 14282 0 0 0 179551 11 0 0 25 0 1 0 201803364 60960768 14193 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 14883 14193 206 16 0 14324 0 Current children cumulated CPU time (s) 1795.62 Current children cumulated vsize (Kb) 59532 [startup+1797.16 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1788976/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=59532 CPUtime=1796.62 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 14282 0 0 0 179651 11 0 0 25 0 1 0 201803364 60960768 14193 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 14883 14193 206 16 0 14324 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (Kb) 59532 [startup+1798.16 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1788976/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=59532 CPUtime=1797.62 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 14282 0 0 0 179751 11 0 0 25 0 1 0 201803364 60960768 14193 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528055 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 14883 14193 206 16 0 14324 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (Kb) 59532 [startup+1799.16 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1788144/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=60300 CPUtime=1798.63 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 14491 0 0 0 179852 11 0 0 25 0 1 0 201803364 61747200 14402 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 15075 14402 206 16 0 14516 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (Kb) 60300 [startup+1800.17 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1788144/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=60300 CPUtime=1799.63 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 14491 0 0 0 179952 11 0 0 25 0 1 0 201803364 61747200 14402 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559540 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 15075 14402 206 16 0 14516 0 Current children cumulated CPU time (s) 1799.63 Current children cumulated vsize (Kb) 60300 [startup+1801.17 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1788016/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=60436 CPUtime=1800.64 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 14515 0 0 0 180053 11 0 0 25 0 1 0 201803364 61886464 14426 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 15109 14426 206 16 0 14550 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 60436 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 0.99 0.99 0.99 2/64 27557 /proc/meminfo: memFree=1788016/2055920 swapFree=4180884/4192956 [pid=27557] ppid=27555 vsize=60436 CPUtime=1800.64 /proc/27557/stat : 27557 (Pueblo) R 27555 27557 27511 0 -1 4194304 14515 0 0 0 180053 11 0 0 25 0 1 0 201803364 61886464 14426 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528700 0 0 4096 0 0 0 0 17 1 0 0 /proc/27557/statm: 15109 14426 206 16 0 14550 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 60436 Sending SIGTERM to -27557 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.19 CPU time (s): 1800.66 CPU user time (s): 1800.54 CPU system time (s): 0.122981 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (Kb): 60436 The end
Begin job on node23 on Sat Jun 3 19:03:17 UTC 2006 FILE ID= 36594-1149361397 PBS_JOBID= 311529 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-gesa2-o.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node23/36594-1149361397/instance-36594-1149361397.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-36594-1149361397 -o ROOT/results/node23/solver-36594-1149361397 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node23/36594-1149361397/instance-36594-1149361397.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 2ee0b4368a56ab3fadfc3737456bcd30 RANDOM SEED= 384611476 /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.213 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 : 5931.00 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.213 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: 1845360 kB Buffers: 13528 kB Cached: 139936 kB SwapCached: 3412 kB Active: 24952 kB Inactive: 136836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1845360 kB SwapTotal: 4192956 kB SwapFree: 4180884 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14696 kB Slab: 34796 kB Committed_AS: 377224 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node23 on Sat Jun 3 19:33:18 UTC 2006