Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | ? (TO) | 1800.15 | 1800.75 |
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/0.00 c Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 21.69/21.79 c starting to Solve 21.69/21.79 c #variables read: 404566 - #constraints read: 4911
ERROR: no interpretation found !
/tmp/evaluation/347957-1176550865/instance-347957-1176550865.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node6/watcher-347957-1176550865 -o ROOT/results/node6/solver-347957-1176550865 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/347957-1176550865/instance-347957-1176550865.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.98 3/77 8511 /proc/meminfo: memFree=1710072/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=2552 CPUtime=0 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 266 0 0 0 0 0 0 0 18 0 1 0 131124201 2613248 236 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 2653911 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 638 236 199 16 0 77 0 [startup+0.0861161 s] /proc/loadavg: 0.99 0.97 0.98 3/77 8511 /proc/meminfo: memFree=1710072/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=4548 CPUtime=0.07 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 755 0 0 0 7 0 0 0 18 0 1 0 131124201 4657152 725 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 2587644 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 1137 725 199 16 0 576 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4548 [startup+0.101117 s] /proc/loadavg: 0.99 0.97 0.98 3/77 8511 /proc/meminfo: memFree=1710072/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=4684 CPUtime=0.09 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 816 0 0 0 9 0 0 0 18 0 1 0 131124201 4796416 786 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 2356038 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 1171 786 199 16 0 610 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4684 [startup+0.301141 s] /proc/loadavg: 0.99 0.97 0.98 3/77 8511 /proc/meminfo: memFree=1710072/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=8012 CPUtime=0.28 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 1641 0 0 0 28 0 0 0 19 0 1 0 131124201 8204288 1611 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134545083 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 2003 1611 199 16 0 1442 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 8012 [startup+0.701189 s] /proc/loadavg: 0.99 0.97 0.98 3/77 8511 /proc/meminfo: memFree=1710072/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=14540 CPUtime=0.69 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 3282 0 0 0 67 2 0 0 22 0 1 0 131124201 14888960 3252 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 2653911 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 3635 3252 199 16 0 3074 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14540 [startup+1.50128 s] /proc/loadavg: 0.99 0.97 0.98 2/78 8512 /proc/meminfo: memFree=1693296/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=26796 CPUtime=1.49 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 6334 0 0 0 146 3 0 0 25 0 1 0 131124201 27439104 6304 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134534803 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 6699 6304 199 16 0 6138 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26796 [startup+3.10147 s] /proc/loadavg: 0.99 0.97 0.98 2/78 8512 /proc/meminfo: memFree=1676272/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=50908 CPUtime=3.09 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 12349 0 0 0 303 6 0 0 25 0 1 0 131124201 52129792 12319 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 12727 12319 199 16 0 12166 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 50908 [startup+6.30185 s] /proc/loadavg: 1.07 0.99 0.98 2/78 8512 /proc/meminfo: memFree=1650160/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=65960 CPUtime=6.29 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 16133 0 0 0 620 9 0 0 25 0 1 0 131124201 67543040 16103 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134546737 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 16490 16103 199 16 0 15929 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 65960 [startup+12.7016 s] /proc/loadavg: 1.07 0.99 0.98 2/78 8512 /proc/meminfo: memFree=1579248/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=150192 CPUtime=12.69 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 592698 0 0 0 1076 193 0 0 25 0 1 0 131124201 153796608 34430 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520971 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 37548 34430 204 16 0 36987 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 150192 [startup+25.5021 s] /proc/loadavg: 1.05 0.99 0.98 3/78 8512 /proc/meminfo: memFree=1474928/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=247900 CPUtime=25.48 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2003946 0 0 0 1921 627 0 0 25 0 1 0 131124201 253849600 58886 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 61975 58886 206 16 0 61414 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 247900 [startup+51.1011 s] /proc/loadavg: 1.03 0.99 0.98 2/78 8512 /proc/meminfo: memFree=1475184/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=247900 CPUtime=51.06 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2003946 0 0 0 4479 627 0 0 25 0 1 0 131124201 253849600 58886 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 61975 58886 206 16 0 61414 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 247900 [startup+102.306 s] /proc/loadavg: 1.01 0.99 0.98 2/78 8512 /proc/meminfo: memFree=1475248/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=247900 CPUtime=102.26 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2003946 0 0 0 9598 628 0 0 25 0 1 0 131124201 253849600 58886 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 61975 58886 206 16 0 61414 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 247900 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8512 /proc/meminfo: memFree=1475184/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=247900 CPUtime=162.23 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2003946 0 0 0 15595 628 0 0 25 0 1 0 131124201 253849600 58886 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 61975 58886 206 16 0 61414 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 247900 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8512 /proc/meminfo: memFree=1475120/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=247900 CPUtime=222.22 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2003946 0 0 0 21593 629 0 0 25 0 1 0 131124201 253849600 58886 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 61975 58886 206 16 0 61414 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 247900 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8512 /proc/meminfo: memFree=1475184/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=247900 CPUtime=282.2 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2003946 0 0 0 27591 629 0 0 25 0 1 0 131124201 253849600 58886 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 61975 58886 206 16 0 61414 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 247900 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8512 /proc/meminfo: memFree=1475184/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=247900 CPUtime=342.18 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2003946 0 0 0 33589 629 0 0 25 0 1 0 131124201 253849600 58886 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 61975 58886 206 16 0 61414 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 247900 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.98 3/78 8512 /proc/meminfo: memFree=1475120/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=247900 CPUtime=402.17 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2003946 0 0 0 39587 630 0 0 25 0 1 0 131124201 253849600 58886 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528052 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 61975 58886 206 16 0 61414 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 247900 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8512 /proc/meminfo: memFree=1475120/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=247900 CPUtime=462.15 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2003946 0 0 0 45585 630 0 0 25 0 1 0 131124201 253849600 58886 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 61975 58886 206 16 0 61414 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 247900 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8512 /proc/meminfo: memFree=1475120/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=247900 CPUtime=522.14 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2003946 0 0 0 51583 631 0 0 25 0 1 0 131124201 253849600 58886 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 61975 58886 206 16 0 61414 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 247900 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8512 /proc/meminfo: memFree=1469296/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=253792 CPUtime=582.11 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2005407 0 0 0 57578 633 0 0 25 0 1 0 131124201 259883008 60347 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 63448 60347 206 16 0 62887 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 253792 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8512 /proc/meminfo: memFree=1465008/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=258064 CPUtime=642.11 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2006458 0 0 0 63576 635 0 0 25 0 1 0 131124201 264257536 61398 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 64516 61398 206 16 0 63955 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 258064 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8512 /proc/meminfo: memFree=1456624/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=266424 CPUtime=882.04 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2008543 0 0 0 87565 639 0 0 25 0 1 0 131124201 272818176 63483 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 66606 63483 206 16 0 66045 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 266424 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8512 /proc/meminfo: memFree=1454576/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=268480 CPUtime=942.02 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2009055 0 0 0 93562 640 0 0 25 0 1 0 131124201 274923520 63995 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527962 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 67120 63995 206 16 0 66559 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 268480 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8512 /proc/meminfo: memFree=1452016/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=270956 CPUtime=1002 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2009689 0 0 0 99559 641 0 0 25 0 1 0 131124201 277458944 64629 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 67739 64629 206 16 0 67178 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 270956 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8512 /proc/meminfo: memFree=1449456/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=273524 CPUtime=1061.99 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2010339 0 0 0 105557 642 0 0 25 0 1 0 131124201 280088576 65279 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528052 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 68381 65279 206 16 0 67820 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 273524 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8512 /proc/meminfo: memFree=1446896/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=276084 CPUtime=1121.97 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2010982 0 0 0 111554 643 0 0 25 0 1 0 131124201 282710016 65922 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527978 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 69021 65922 206 16 0 68460 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 276084 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8512 /proc/meminfo: memFree=1444464/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=278668 CPUtime=1181.95 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2011576 0 0 0 117551 644 0 0 25 0 1 0 131124201 285356032 66516 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527947 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 69667 66516 206 16 0 69106 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 278668 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.98 2/84 8686 /proc/meminfo: memFree=1440832/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=281136 CPUtime=1241.85 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2012171 0 0 0 123539 646 0 0 25 0 1 0 131124201 287883264 67111 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 70284 67111 206 16 0 69723 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 281136 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8710 /proc/meminfo: memFree=1438832/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=284216 CPUtime=1301.82 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2012929 0 0 0 129535 647 0 0 25 0 1 0 131124201 291037184 67869 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 71054 67869 206 16 0 70493 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 284216 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8710 /proc/meminfo: memFree=1436016/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=286952 CPUtime=1361.81 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2013621 0 0 0 135532 649 0 0 25 0 1 0 131124201 293838848 68561 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 71738 68561 206 16 0 71177 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 286952 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8710 /proc/meminfo: memFree=1435312/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=287732 CPUtime=1421.79 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2013798 0 0 0 141530 649 0 0 25 0 1 0 131124201 294637568 68738 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527993 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 71933 68738 206 16 0 71372 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 287732 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8710 /proc/meminfo: memFree=1434544/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=288536 CPUtime=1481.77 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2013985 0 0 0 147527 650 0 0 25 0 1 0 131124201 295460864 68925 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 72134 68925 206 16 0 71573 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 288536 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8710 /proc/meminfo: memFree=1433776/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=289204 CPUtime=1541.76 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2014175 0 0 0 153525 651 0 0 25 0 1 0 131124201 296144896 69115 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 72301 69115 206 16 0 71740 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 289204 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8710 /proc/meminfo: memFree=1433072/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=289976 CPUtime=1601.74 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2014355 0 0 0 159522 652 0 0 25 0 1 0 131124201 296935424 69295 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 72494 69295 206 16 0 71933 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 289976 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8710 /proc/meminfo: memFree=1432304/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=290620 CPUtime=1661.73 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2014534 0 0 0 165520 653 0 0 25 0 1 0 131124201 297594880 69474 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 72655 69474 206 16 0 72094 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 290620 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8710 /proc/meminfo: memFree=1431792/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=291136 CPUtime=1721.71 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2014659 0 0 0 171518 653 0 0 25 0 1 0 131124201 298123264 69599 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 72784 69599 206 16 0 72223 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 291136 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8710 /proc/meminfo: memFree=1431344/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=291652 CPUtime=1781.69 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2014762 0 0 0 177516 653 0 0 25 0 1 0 131124201 298651648 69702 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 72913 69702 206 16 0 72352 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 291652 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8710 /proc/meminfo: memFree=1431216/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=291780 CPUtime=1800.1 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2014796 0 0 0 179356 654 0 0 25 0 1 0 131124201 298782720 69736 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 72945 69736 206 16 0 72384 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 291780 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8710 /proc/meminfo: memFree=1431216/2055924 swapFree=4191880/4192956 [pid=8511] ppid=8509 vsize=291780 CPUtime=1800.1 /proc/8511/stat : 8511 (Pueblo) R 8509 8511 8386 0 -1 4194304 2014796 0 0 0 179356 654 0 0 25 0 1 0 131124201 298782720 69736 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0 /proc/8511/statm: 72945 69736 206 16 0 72384 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 291780 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.75 CPU time (s): 1800.15 CPU user time (s): 1793.56 CPU system time (s): 6.585 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (KiB): 291780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.56 system time used= 6.585 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2014796 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11 involuntary context switches= 1977 runsolver used 2.16267 second user time and 4.25435 second system time The end
Begin job on node6 on Sat Apr 14 11:41:05 UTC 2007 IDJOB= 347957 IDBENCH= 1589 IDSOLVER= 165 FILE ID= node6/347957-1176550865 PBS_JOBID= 4556758 Free space on /tmp= 66531 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-dano3_4.opb COMMAND LINE= Pueblo /tmp/evaluation/347957-1176550865/instance-347957-1176550865.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node6/convwatcher-347957-1176550865 -o ROOT/results/node6/conversion-347957-1176550865 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/347957-1176550865/instance-347957-1176550865.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-347957-1176550865 -o ROOT/results/node6/solver-347957-1176550865 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/347957-1176550865/instance-347957-1176550865.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 8bcab2e61229633d937bbb81a9edbb1b RANDOM SEED= 18643761 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node6.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.232 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.232 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: 2055924 kB MemFree: 1710480 kB Buffers: 28716 kB Cached: 209352 kB SwapCached: 408 kB Active: 151216 kB Inactive: 143532 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1710480 kB SwapTotal: 4192956 kB SwapFree: 4191880 kB Dirty: 27460 kB Writeback: 0 kB Mapped: 73744 kB Slab: 36280 kB Committed_AS: 4862860 kB PageTables: 1788 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66531 MiB End job on node6 on Sat Apr 14 12:11:08 UTC 2007