Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | ? (TO) | 1800.14 | 1800.65 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-dano3_5.opb |
MD5SUM | f6a27dde9dccc9cbc26fd12ecc1b234d |
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 | 404336 |
Total number of constraints | 3663 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 5 |
Number of constraints which are nor clauses,nor cardinality constraints | 3658 |
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.57/21.66 c starting to Solve 21.57/21.66 c #variables read: 404336 - #constraints read: 4888
ERROR: no interpretation found !
/tmp/evaluation/347983-1176555713/instance-347983-1176555713.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node18/watcher-347983-1176555713 -o ROOT/results/node18/solver-347983-1176555713 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/347983-1176555713/instance-347983-1176555713.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.92 0.98 0.99 3/83 26676 /proc/meminfo: memFree=1671744/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=2552 CPUtime=0 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 269 0 0 0 0 0 0 0 18 0 1 0 103488772 2613248 239 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 638 239 199 16 0 77 0 [startup+0.02862 s] /proc/loadavg: 0.92 0.98 0.99 3/83 26676 /proc/meminfo: memFree=1671744/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=3216 CPUtime=0.02 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 428 0 0 0 2 0 0 0 18 0 1 0 103488772 3293184 398 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8326871 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 804 398 199 16 0 243 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3216 [startup+0.101627 s] /proc/loadavg: 0.92 0.98 0.99 3/83 26676 /proc/meminfo: memFree=1671744/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=4684 CPUtime=0.09 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 817 0 0 0 9 0 0 0 18 0 1 0 103488772 4796416 787 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8326871 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 1171 788 199 16 0 610 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4684 [startup+0.301648 s] /proc/loadavg: 0.92 0.98 0.99 3/83 26676 /proc/meminfo: memFree=1671744/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=8012 CPUtime=0.29 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1647 0 0 0 29 0 0 0 19 0 1 0 103488772 8204288 1617 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8326871 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 2003 1617 199 16 0 1442 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8012 [startup+0.701685 s] /proc/loadavg: 0.92 0.98 0.99 3/83 26676 /proc/meminfo: memFree=1671744/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=14672 CPUtime=0.69 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 3290 0 0 0 68 1 0 0 23 0 1 0 103488772 15024128 3260 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8326871 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 3668 3262 199 16 0 3107 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14672 [startup+1.50177 s] /proc/loadavg: 0.92 0.98 0.99 2/84 26677 /proc/meminfo: memFree=1654904/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=26796 CPUtime=1.48 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 6338 0 0 0 146 2 0 0 25 0 1 0 103488772 27439104 6308 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 6699 6308 199 16 0 6138 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 26796 [startup+3.10192 s] /proc/loadavg: 0.93 0.98 0.99 2/78 26697 /proc/meminfo: memFree=1638888/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=50908 CPUtime=3.08 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 12349 0 0 0 303 5 0 0 25 0 1 0 103488772 52129792 12319 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8326871 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 12727 12319 199 16 0 12166 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 50908 [startup+6.30122 s] /proc/loadavg: 0.93 0.98 0.99 2/78 26697 /proc/meminfo: memFree=1612968/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=65960 CPUtime=6.28 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 16118 0 0 0 620 8 0 0 25 0 1 0 103488772 67543040 16088 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134546735 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 16490 16088 199 16 0 15929 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 65960 [startup+12.7018 s] /proc/loadavg: 0.94 0.98 0.99 2/78 26697 /proc/meminfo: memFree=1541440/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=150584 CPUtime=12.68 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 590431 0 0 0 1084 184 0 0 25 0 1 0 103488772 154198016 34492 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 37646 34501 204 16 0 37085 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 150584 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/78 26697 /proc/meminfo: memFree=1437952/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=25.48 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 1930 618 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 247816 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/78 26697 /proc/meminfo: memFree=1438016/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=51.06 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 4488 618 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 247816 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 26697 /proc/meminfo: memFree=1438080/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=102.26 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 9607 619 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 247816 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26697 /proc/meminfo: memFree=1438080/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=162.23 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 15604 619 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 247816 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26697 /proc/meminfo: memFree=1438080/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=222.22 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 21602 620 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528239 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 247816 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26697 /proc/meminfo: memFree=1438080/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=282.2 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 27600 620 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 247816 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26697 /proc/meminfo: memFree=1438080/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=342.18 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 33598 620 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528239 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 247816 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26697 /proc/meminfo: memFree=1438016/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=402.17 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 39596 621 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 247816 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26697 /proc/meminfo: memFree=1437952/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=462.15 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 45594 621 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 247816 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26697 /proc/meminfo: memFree=1438080/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=522.14 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 51592 622 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 247816 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26697 /proc/meminfo: memFree=1438016/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=582.12 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 57590 622 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134563797 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 247816 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26697 /proc/meminfo: memFree=1438016/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=642.1 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 63588 622 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528256 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 247816 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26697 /proc/meminfo: memFree=1438016/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=822.06 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 81582 624 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 247816 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26697 /proc/meminfo: memFree=1438016/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=882.04 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 87580 624 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 247816 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26697 /proc/meminfo: memFree=1437952/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=942.02 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 93577 625 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528351 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 247816 [startup+1002.3 s] /proc/loadavg: 1.10 1.02 1.00 2/78 26697 /proc/meminfo: memFree=1438016/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=1002 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 99575 625 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 247816 [startup+1062.3 s] /proc/loadavg: 1.11 1.03 1.00 2/78 26697 /proc/meminfo: memFree=1437952/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=1061.99 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 105573 626 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 247816 [startup+1122.3 s] /proc/loadavg: 1.10 1.04 1.00 2/78 26697 /proc/meminfo: memFree=1437952/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=1121.97 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 111571 626 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 247816 [startup+1182.3 s] /proc/loadavg: 1.04 1.03 1.00 2/78 26697 /proc/meminfo: memFree=1437888/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=1181.95 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 117569 626 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 247816 [startup+1242.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 26697 /proc/meminfo: memFree=1437888/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=1241.94 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 123567 627 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 247816 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 26697 /proc/meminfo: memFree=1437888/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=1301.93 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 129566 627 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 247816 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 26697 /proc/meminfo: memFree=1437824/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=1361.9 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 135563 627 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 247816 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26697 /proc/meminfo: memFree=1437760/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=1421.9 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 141562 628 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 247816 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 26697 /proc/meminfo: memFree=1437696/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=1481.88 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 147559 629 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527942 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 247816 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26697 /proc/meminfo: memFree=1437632/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=1541.86 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 153557 629 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 247816 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26697 /proc/meminfo: memFree=1437568/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=1601.84 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 159555 629 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 247816 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26697 /proc/meminfo: memFree=1437568/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=1661.83 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 165553 630 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 247816 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26697 /proc/meminfo: memFree=1437504/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=1721.81 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 171551 630 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 247816 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26697 /proc/meminfo: memFree=1437504/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=1781.8 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 177549 631 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 247816 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26697 /proc/meminfo: memFree=1437440/2055920 swapFree=4168132/4192956 [pid=26676] ppid=26674 vsize=247816 CPUtime=1800.1 /proc/26676/stat : 26676 (Pueblo) R 26674 26676 25854 0 -1 4194304 1989761 0 0 0 179379 631 0 0 25 0 1 0 103488772 253763584 58827 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528239 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 61954 58827 206 16 0 61393 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 247816 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.65 CPU time (s): 1800.14 CPU user time (s): 1793.79 CPU system time (s): 6.35003 CPU usage (%): 99.9719 Max. virtual memory (cumulated for all children) (KiB): 248840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.79 system time used= 6.35003 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1989761 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= 35892 runsolver used 2.08768 second user time and 4.14937 second system time The end
Begin job on node18 on Sat Apr 14 13:01:54 UTC 2007 IDJOB= 347983 IDBENCH= 1594 IDSOLVER= 165 FILE ID= node18/347983-1176555713 PBS_JOBID= 4556748 Free space on /tmp= 66533 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_5.opb COMMAND LINE= Pueblo /tmp/evaluation/347983-1176555713/instance-347983-1176555713.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node18/convwatcher-347983-1176555713 -o ROOT/results/node18/conversion-347983-1176555713 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/347983-1176555713/instance-347983-1176555713.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-347983-1176555713 -o ROOT/results/node18/solver-347983-1176555713 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/347983-1176555713/instance-347983-1176555713.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= f6a27dde9dccc9cbc26fd12ecc1b234d RANDOM SEED= 728530002 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node18.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.234 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.234 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: 1672152 kB Buffers: 29284 kB Cached: 259016 kB SwapCached: 10900 kB Active: 132740 kB Inactive: 197772 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1672152 kB SwapTotal: 4192956 kB SwapFree: 4168132 kB Dirty: 27384 kB Writeback: 0 kB Mapped: 41816 kB Slab: 38472 kB Committed_AS: 2721456 kB PageTables: 2004 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= 66533 MiB End job on node18 on Sat Apr 14 13:31:57 UTC 2007