Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.55 | 1800.94 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-dano3_5.opb |
MD5SUM | 143c67a6efdf0b74421c6a96157a0df7 |
Bench Category | OPT-BIGINT (optimisation, big 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 | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 134217728000 |
Number of bits of the biggest number in a constraint | 37 |
Biggest sum of numbers in a constraint | 569083166190 |
Number of bits of the biggest sum of numbers | 40 |
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 This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 8.89/8.97 c ...done 8.89/8.97 c #vars=404336 #constraints=4888 hasObjective=yes 15.39/15.49 c res. mode=mod 15.39/15.49 c VSIDS like heuristics 15.39/15.49 c complete search running 24.29/24.36 c restart after 401 decisions 27.88/27.93 c nbDecision=500 #constraints=4891 31.98/32.10 c restart after 801 decisions 37.48/37.52 c nbDecision=1000 #constraints=4891 42.08/42.18 c nbDecision=1500 #constraints=4929 43.38/43.41 c restart after 1601 decisions 51.08/51.13 c nbDecision=2000 #constraints=4985 56.48/56.59 c nbDecision=2500 #constraints=5266 64.07/64.10 c nbDecision=3000 #constraints=5701 67.77/67.82 c restart after 3201 decisions 75.27/75.31 c nbDecision=3500 #constraints=5880 83.67/83.71 c nbDecision=4000 #constraints=6259 98.67/98.74 c nbDecision=4500 #constraints=6746 113.57/113.66 c nbDecision=5000 #constraints=7218 133.36/133.40 c nbDecision=5500 #constraints=7702 154.56/154.64 c nbDecision=6000 #constraints=8179 175.96/176.02 c restart after 6401 decisions 181.56/181.67 c nbDecision=6500 #constraints=8570 193.15/193.27 c nbDecision=7000 #constraints=8701 211.45/211.53 c nbDecision=7500 #constraints=9100 227.05/227.13 c nbDecision=8000 #constraints=9458 241.24/241.31 c nbDecision=8500 #constraints=9830 257.34/257.48 c nbDecision=9000 #constraints=10226 278.14/278.23 c nbDecision=9500 #constraints=10614 296.43/296.59 c nbDecision=10000 #constraints=10962 319.22/319.31 c nbDecision=10500 #constraints=11414 346.72/346.83 c nbDecision=11000 #constraints=11853 373.42/373.51 c nbDecision=11500 #constraints=12288 398.41/398.55 c nbDecision=12000 #constraints=12698 426.01/426.16 c nbDecision=12500 #constraints=13120 449.29/449.46 c restart after 12801 decisions 460.49/460.64 c nbDecision=13000 #constraints=13415 476.39/476.51 c nbDecision=13500 #constraints=13591 503.69/503.87 c nbDecision=14000 #constraints=14061 526.28/526.45 c nbDecision=14500 #constraints=14464 553.87/554.03 c nbDecision=15000 #constraints=14848 591.37/591.57 c nbDecision=15500 #constraints=15266 624.26/624.42 c nbDecision=16000 #constraints=15671 659.25/659.44 c nbDecision=16500 #constraints=16142 694.54/694.80 c nbDecision=17000 #constraints=16603 728.64/728.85 c nbDecision=17500 #constraints=16981 767.33/767.52 c nbDecision=18000 #constraints=17381 808.12/808.36 c nbDecision=18500 #constraints=17814 848.01/848.20 c nbDecision=19000 #constraints=18228 883.30/883.52 c nbDecision=19500 #constraints=18677 923.79/924.07 c nbDecision=20000 #constraints=19148 966.48/966.75 c nbDecision=20500 #constraints=19564 1015.37/1015.62 c nbDecision=21000 #constraints=20021 1051.56/1051.80 c nbDecision=21500 #constraints=20490 1096.36/1096.65 c nbDecision=22000 #constraints=20912 1138.25/1138.58 c nbDecision=22500 #constraints=21327 1189.44/1189.79 c nbDecision=23000 #constraints=21737 1232.03/1232.36 c nbDecision=23500 #constraints=22206 1279.62/1279.94 c nbDecision=24000 #constraints=22641 1315.01/1315.37 c nbDecision=24500 #constraints=22985 1347.40/1347.79 c nbDecision=25000 #constraints=23363 1400.49/1400.83 c nbDecision=25500 #constraints=23782 1410.90/1411.29 c restart after 25601 decisions 1437.29/1437.70 c nbDecision=26000 #constraints=23889 1488.37/1488.71 c nbDecision=26500 #constraints=24284 1547.96/1548.31 c nbDecision=27000 #constraints=24734 1620.25/1620.62 c nbDecision=27500 #constraints=25215 1692.03/1692.40 c nbDecision=28000 #constraints=25683 1764.71/1765.11 c nbDecision=28500 #constraints=26160 1800.01/1800.40 Received signal 15 1800.21/1800.66 1800.21/1800.66 s UNKNOWN 1800.21/1800.66 1800.21/1800.66 c user time= 1799.05 s 1800.21/1800.66 c system time= 1.22181 s 1800.21/1800.66 c wall clock time=1800.66
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node29/watcher-357252-1176992448 -o ROOT/results/node29/solver-357252-1176992448 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357252-1176992448/instance-357252-1176992448.opb mod 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.93 0.99 0.98 3/77 761 /proc/meminfo: memFree=991376/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=1468 CPUtime=0 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147160825 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 367 161 131 317 0 46 0 [startup+0.061177 s] /proc/loadavg: 0.93 0.99 0.98 3/77 761 /proc/meminfo: memFree=991376/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=2720 CPUtime=0.05 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 448 0 0 0 5 0 0 0 18 0 1 0 147160825 2785280 430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 680 430 131 317 0 359 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2720 [startup+0.10118 s] /proc/loadavg: 0.93 0.99 0.98 3/77 761 /proc/meminfo: memFree=991376/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=3596 CPUtime=0.09 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 648 0 0 0 9 0 0 0 18 0 1 0 147160825 3682304 630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 899 630 131 317 0 578 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3596 [startup+0.301192 s] /proc/loadavg: 0.93 0.99 0.98 3/77 761 /proc/meminfo: memFree=991376/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=8016 CPUtime=0.29 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 1634 0 0 0 28 1 0 0 19 0 1 0 147160825 8208384 1616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 2004 1616 131 317 0 1683 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8016 [startup+0.701217 s] /proc/loadavg: 0.93 0.99 0.98 3/77 761 /proc/meminfo: memFree=991376/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=17048 CPUtime=0.69 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 3613 0 0 0 67 2 0 0 22 0 1 0 147160825 17457152 3595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 4262 3595 131 317 0 3941 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17048 [startup+1.50127 s] /proc/loadavg: 0.93 0.99 0.98 2/78 762 /proc/meminfo: memFree=970440/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=34628 CPUtime=1.49 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 7494 0 0 0 144 5 0 0 25 0 1 0 147160825 35459072 7476 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 8657 7476 131 317 0 8336 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34628 [startup+3.10136 s] /proc/loadavg: 1.02 1.01 0.99 2/78 762 /proc/meminfo: memFree=950344/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=68460 CPUtime=3.09 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 15024 0 0 0 300 9 0 0 25 0 1 0 147160825 70103040 15006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 17115 15006 131 317 0 16794 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 68460 [startup+6.30157 s] /proc/loadavg: 1.02 1.01 0.99 2/78 762 /proc/meminfo: memFree=887816/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=125492 CPUtime=6.29 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 30220 0 0 0 613 16 0 0 25 0 1 0 147160825 128503808 28948 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 31373 28948 131 317 0 31052 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 125492 [startup+12.702 s] /proc/loadavg: 1.01 1.01 0.99 2/78 762 /proc/meminfo: memFree=799048/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=204388 CPUtime=12.69 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 49792 0 0 0 1244 25 0 0 25 0 1 0 147160825 209293312 48190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 51097 48190 137 317 0 50776 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 204388 [startup+25.5018 s] /proc/loadavg: 1.01 1.00 0.99 2/78 762 /proc/meminfo: memFree=772616/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=230908 CPUtime=25.49 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 56423 0 0 0 2521 28 0 0 25 0 1 0 147160825 236449792 54787 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 57727 54787 139 317 0 57406 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 230908 [startup+51.1013 s] /proc/loadavg: 1.01 1.00 0.99 2/78 762 /proc/meminfo: memFree=771784/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=231852 CPUtime=51.08 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 56720 0 0 0 5080 28 0 0 25 0 1 0 147160825 237416448 55084 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 57963 55084 170 317 0 57642 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 231852 [startup+102.306 s] /proc/loadavg: 1.06 1.01 0.99 2/78 762 /proc/meminfo: memFree=705736/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=304116 CPUtime=102.27 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 73215 0 0 0 10192 35 0 0 25 0 1 0 147160825 311414784 71579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 76029 71579 170 317 0 75708 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 304116 [startup+162.301 s] /proc/loadavg: 1.02 1.01 0.99 2/78 762 /proc/meminfo: memFree=648008/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=369924 CPUtime=162.25 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 87733 0 0 0 16183 42 0 0 25 0 1 0 147160825 378802176 86097 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 92481 86097 170 317 0 92160 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 369924 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 762 /proc/meminfo: memFree=620104/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=400296 CPUtime=222.24 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 94572 0 0 0 22179 45 0 0 25 0 1 0 147160825 409903104 92936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 100074 92936 170 317 0 99753 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 400296 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 762 /proc/meminfo: memFree=585160/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=439840 CPUtime=282.23 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 103462 0 0 0 28173 50 0 0 25 0 1 0 147160825 450396160 101759 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 109960 101759 170 317 0 109639 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 439840 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 762 /proc/meminfo: memFree=548808/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=481196 CPUtime=342.21 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 112432 0 0 0 34166 55 0 0 25 0 1 0 147160825 492744704 110729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271329 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 120299 110729 170 317 0 119978 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 481196 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 762 /proc/meminfo: memFree=519496/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=511784 CPUtime=402.2 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 119762 0 0 0 40160 60 0 0 25 0 1 0 147160825 524066816 118059 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 127946 118059 170 317 0 127625 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 511784 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 762 /proc/meminfo: memFree=497480/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=532840 CPUtime=462.19 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 125200 0 0 0 46156 63 0 0 25 0 1 0 147160825 545628160 123497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 133210 123497 170 317 0 132889 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 532840 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 762 /proc/meminfo: memFree=463752/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=574888 CPUtime=522.18 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 133673 0 0 0 52151 67 0 0 25 0 1 0 147160825 588685312 131970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 143722 131970 170 317 0 143401 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 574888 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 762 /proc/meminfo: memFree=445768/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=595728 CPUtime=582.16 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 138136 0 0 0 58147 69 0 0 25 0 1 0 147160825 610025472 136433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 148932 136433 170 317 0 148611 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 595728 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 762 /proc/meminfo: memFree=419400/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=624868 CPUtime=642.16 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 144679 0 0 0 64143 73 0 0 25 0 1 0 147160825 639864832 142976 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 156217 142976 170 317 0 155896 0 Current children cumulated CPU time (s) 642.16 Current children cumulated vsize (KiB) 624868 ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 764 /proc/meminfo: memFree=275720/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=790452 CPUtime=1002.08 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 180686 0 0 0 100118 90 0 0 25 0 1 0 147160825 809422848 178849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 197613 178849 170 317 0 197292 0 Current children cumulated CPU time (s) 1002.08 Current children cumulated vsize (KiB) 790452 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 764 /proc/meminfo: memFree=254408/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=811868 CPUtime=1062.07 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 186064 0 0 0 106114 93 0 0 25 0 1 0 147160825 831352832 184227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 202967 184227 170 317 0 202646 0 Current children cumulated CPU time (s) 1062.07 Current children cumulated vsize (KiB) 811868 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 764 /proc/meminfo: memFree=233032/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=839012 CPUtime=1122.05 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 191364 0 0 0 112109 96 0 0 25 0 1 0 147160825 859148288 189527 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 209753 189527 170 317 0 209432 0 Current children cumulated CPU time (s) 1122.05 Current children cumulated vsize (KiB) 839012 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 764 /proc/meminfo: memFree=216968/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=855840 CPUtime=1182.04 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 195401 0 0 0 118106 98 0 0 25 0 1 0 147160825 876380160 193564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 213960 193564 170 317 0 213639 0 Current children cumulated CPU time (s) 1182.04 Current children cumulated vsize (KiB) 855840 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 764 /proc/meminfo: memFree=194440/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=878180 CPUtime=1242.02 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 201000 0 0 0 124102 100 0 0 25 0 1 0 147160825 899256320 199163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 219545 199163 170 317 0 219224 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 878180 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 764 /proc/meminfo: memFree=178824/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=894228 CPUtime=1302.02 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 204842 0 0 0 130100 102 0 0 25 0 1 0 147160825 915689472 203005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 223557 203005 170 317 0 223236 0 Current children cumulated CPU time (s) 1302.02 Current children cumulated vsize (KiB) 894228 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 764 /proc/meminfo: memFree=169480/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=903324 CPUtime=1362 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 207231 0 0 0 136096 104 0 0 25 0 1 0 147160825 925003776 205394 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 225831 205394 170 317 0 225510 0 Current children cumulated CPU time (s) 1362 Current children cumulated vsize (KiB) 903324 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 764 /proc/meminfo: memFree=155400/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=916220 CPUtime=1421.99 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 210688 0 0 0 142093 106 0 0 25 0 1 0 147160825 938209280 208851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 229055 208851 170 317 0 228734 0 Current children cumulated CPU time (s) 1421.99 Current children cumulated vsize (KiB) 916220 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 764 /proc/meminfo: memFree=140744/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=950220 CPUtime=1481.97 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 217762 0 0 0 148089 108 0 0 25 0 1 0 147160825 973025280 212526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 237555 212526 170 317 0 237234 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 950220 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 764 /proc/meminfo: memFree=127176/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=963984 CPUtime=1541.96 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 221206 0 0 0 154085 111 0 0 25 0 1 0 147160825 987119616 215904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 240996 215904 170 317 0 240675 0 Current children cumulated CPU time (s) 1541.96 Current children cumulated vsize (KiB) 963984 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 3/78 764 /proc/meminfo: memFree=112712/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=977516 CPUtime=1601.95 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 224837 0 0 0 160081 114 0 0 25 0 1 0 147160825 1000976384 219535 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 244379 219535 170 317 0 244058 0 Current children cumulated CPU time (s) 1601.95 Current children cumulated vsize (KiB) 977516 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 764 /proc/meminfo: memFree=99080/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=990976 CPUtime=1661.93 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 228251 0 0 0 166078 115 0 0 25 0 1 0 147160825 1014759424 222949 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 247744 222949 170 317 0 247423 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 990976 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 764 /proc/meminfo: memFree=85512/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=1006380 CPUtime=1721.92 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 232164 0 0 0 172073 119 0 0 25 0 1 0 147160825 1030533120 226367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 251595 226367 170 317 0 251274 0 Current children cumulated CPU time (s) 1721.92 Current children cumulated vsize (KiB) 1006380 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 764 /proc/meminfo: memFree=72776/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=1018556 CPUtime=1781.91 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 235242 0 0 0 178070 121 0 0 25 0 1 0 147160825 1043001344 229445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 254639 229445 170 317 0 254318 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 1018556 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.00 1.00 0.99 2/78 764 /proc/meminfo: memFree=69320/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=1021960 CPUtime=1800.01 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 236104 0 0 0 179879 122 0 0 25 0 1 0 147160825 1046487040 230307 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 255490 230307 170 317 0 255169 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1021960 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.99 2/79 765 /proc/meminfo: memFree=69184/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=1022084 CPUtime=1800.21 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 236130 0 0 0 179899 122 0 0 25 0 1 0 147160825 1046614016 230333 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 255521 230333 170 317 0 255200 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 1022084 [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.99 2/79 765 /proc/meminfo: memFree=69184/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=939840 CPUtime=1800.41 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194304 236146 0 0 0 179918 123 0 0 25 0 1 0 147160825 962396160 215542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 234894 215480 186 317 0 234573 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (KiB) 939840 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 0.99 2/79 765 /proc/meminfo: memFree=69184/2055920 swapFree=4141972/4192956 [pid=761] ppid=759 vsize=0 CPUtime=1800.51 /proc/761/stat : 761 (oree) R 759 761 376 0 -1 4194308 236146 0 0 0 179918 133 0 0 25 0 1 0 147160825 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/761/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.94 CPU time (s): 1800.55 CPU user time (s): 1799.19 CPU system time (s): 1.36679 CPU usage (%): 99.9785 Max. virtual memory (cumulated for all children) (KiB): 1022084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.19 system time used= 1.36679 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 236146 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= 8 involuntary context switches= 1366 runsolver used 2.13468 second user time and 4.41833 second system time The end
Begin job on node29 on Thu Apr 19 14:20:51 UTC 2007 IDJOB= 357252 IDBENCH= 2314 IDSOLVER= 172 FILE ID= node29/357252-1176992448 PBS_JOBID= 4630456 Free space on /tmp= 66435 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_5.opb COMMAND LINE= oree /tmp/evaluation/357252-1176992448/instance-357252-1176992448.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-357252-1176992448 -o ROOT/results/node29/solver-357252-1176992448 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357252-1176992448/instance-357252-1176992448.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 143c67a6efdf0b74421c6a96157a0df7 RANDOM SEED= 352310663 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node29.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.224 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.224 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: 991848 kB Buffers: 49200 kB Cached: 918888 kB SwapCached: 15872 kB Active: 411412 kB Inactive: 584532 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 991848 kB SwapTotal: 4192956 kB SwapFree: 4141972 kB Dirty: 33652 kB Writeback: 0 kB Mapped: 30012 kB Slab: 53568 kB Committed_AS: 2097080 kB PageTables: 1872 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= 66435 MiB End job on node29 on Thu Apr 19 14:50:53 UTC 2007