Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.13 | 1800.71 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-misc05.opb |
MD5SUM | 4e6161a7dc803af1e0ad1878eef0a0d1 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1076796928 |
Best CPU time to get the best result obtained on this benchmark | 239.533 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1076796928 |
Optimality of the best value was proved | YES |
Number of variables | 1940 |
Total number of constraints | 300 |
Number of constraints which are clauses | 155 |
Number of constraints which are cardinality constraints (but not clauses) | 8 |
Number of constraints which are nor clauses,nor cardinality constraints | 137 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 451 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 83751857084 |
Number of bits of the biggest sum of numbers | 37 |
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... 0.00/0.03 c ...done 0.00/0.03 c #vars=1940 #constraints=330 hasObjective=yes 0.00/0.03 c res. mode=mod 0.00/0.03 c VSIDS like heuristics 0.00/0.03 c complete search running 0.29/0.34 c restart after 401 decisions 0.29/0.38 c nbDecision=500 #constraints=530 0.49/0.56 c restart after 801 decisions 0.79/0.87 c nbDecision=1000 #constraints=800 2.49/2.52 c nbDecision=1500 #constraints=1204 2.79/2.86 c restart after 1601 decisions 3.39/3.46 c nbDecision=2000 #constraints=1466 4.30/4.32 c nbDecision=2500 #constraints=1677 5.39/5.44 c nbDecision=3000 #constraints=1916 5.89/5.97 c restart after 3201 decisions 6.69/6.71 c nbDecision=3500 #constraints=2131 8.39/8.46 c nbDecision=4000 #constraints=2403 10.19/10.25 c nbDecision=4500 #constraints=2618 11.99/12.02 c nbDecision=5000 #constraints=2823 14.29/14.39 c nbDecision=5500 #constraints=3066 16.68/16.78 c nbDecision=6000 #constraints=3291 18.98/19.01 c restart after 6401 decisions 19.28/19.39 c nbDecision=6500 #constraints=3515 21.89/21.91 c nbDecision=7000 #constraints=3739 24.48/24.53 c nbDecision=7500 #constraints=3946 27.89/27.97 c nbDecision=8000 #constraints=4170 31.68/31.72 c nbDecision=8500 #constraints=4408 34.98/35.06 c nbDecision=9000 #constraints=4627 38.08/38.12 c nbDecision=9500 #constraints=4867 40.97/41.06 c nbDecision=10000 #constraints=5057 45.18/45.27 c nbDecision=10500 #constraints=5270 49.38/49.45 c nbDecision=11000 #constraints=5494 53.17/53.25 c nbDecision=11500 #constraints=5674 58.27/58.32 c nbDecision=12000 #constraints=5882 62.27/62.30 c nbDecision=12500 #constraints=6054 64.37/64.49 c restart after 12801 decisions 66.57/66.60 c nbDecision=13000 #constraints=6233 72.77/72.89 c nbDecision=13500 #constraints=6494 77.67/77.73 c nbDecision=14000 #constraints=6696 82.67/82.79 c nbDecision=14500 #constraints=6891 88.97/89.09 c nbDecision=15000 #constraints=7124 95.36/95.47 c nbDecision=15500 #constraints=7350 101.66/101.71 c nbDecision=16000 #constraints=7574 107.76/107.86 c nbDecision=16500 #constraints=7815 113.56/113.68 c nbDecision=17000 #constraints=8096 121.06/121.10 c nbDecision=17500 #constraints=8393 126.75/126.83 c nbDecision=18000 #constraints=8634 134.05/134.18 c nbDecision=18500 #constraints=8890 139.95/140.01 c nbDecision=19000 #constraints=9088 147.14/147.24 c nbDecision=19500 #constraints=9326 154.94/155.01 c nbDecision=20000 #constraints=9562 165.64/165.72 c nbDecision=20500 #constraints=9812 173.43/173.58 c nbDecision=21000 #constraints=10015 181.53/181.61 c nbDecision=21500 #constraints=10233 190.83/191.00 c nbDecision=22000 #constraints=10442 200.33/200.42 c nbDecision=22500 #constraints=10664 211.52/211.64 c nbDecision=23000 #constraints=10903 220.22/220.39 c nbDecision=23500 #constraints=11112 231.21/231.35 c nbDecision=24000 #constraints=11335 241.62/241.78 c nbDecision=24500 #constraints=11577 249.61/249.77 c nbDecision=25000 #constraints=11789 261.10/261.24 c nbDecision=25500 #constraints=12007 262.72/262.82 c restart after 25601 decisions 270.00/270.16 c nbDecision=26000 #constraints=12182 278.60/278.79 c nbDecision=26500 #constraints=12330 287.89/288.01 c nbDecision=27000 #constraints=12504 300.49/300.62 c nbDecision=27500 #constraints=12733 317.28/317.40 c nbDecision=28000 #constraints=13027 324.89/325.04 c nbDecision=28500 #constraints=13247 334.88/335.07 c nbDecision=29000 #constraints=13467 346.39/346.58 c nbDecision=29500 #constraints=13668 356.68/356.81 c nbDecision=30000 #constraints=13833 365.58/365.70 c nbDecision=30500 #constraints=14015 375.07/375.22 c nbDecision=31000 #constraints=14164 385.06/385.26 c nbDecision=31500 #constraints=14340 394.47/394.68 c nbDecision=32000 #constraints=14518 405.56/405.78 c nbDecision=32500 #constraints=14704 418.05/418.28 c nbDecision=33000 #constraints=14936 431.25/431.41 c nbDecision=33500 #constraints=15146 442.05/442.22 c nbDecision=34000 #constraints=15310 453.74/453.99 c nbDecision=34500 #constraints=15509 466.94/467.16 c nbDecision=35000 #constraints=15703 478.73/478.98 c nbDecision=35500 #constraints=15862 489.94/490.12 c nbDecision=36000 #constraints=16114 499.63/499.81 c nbDecision=36500 #constraints=16323 509.13/509.32 c nbDecision=37000 #constraints=16481 520.82/521.06 c nbDecision=37500 #constraints=16720 534.72/534.97 c nbDecision=38000 #constraints=16922 547.31/547.59 c nbDecision=38500 #constraints=17117 557.61/557.85 c nbDecision=39000 #constraints=17305 573.11/573.40 c nbDecision=39500 #constraints=17516 586.71/586.90 c nbDecision=40000 #constraints=17690 597.20/597.44 c nbDecision=40500 #constraints=17855 609.69/609.93 c nbDecision=41000 #constraints=18080 619.40/619.63 c nbDecision=41500 #constraints=18349 634.09/634.31 c nbDecision=42000 #constraints=18564 651.78/652.04 c nbDecision=42500 #constraints=18781 664.68/664.96 c nbDecision=43000 #constraints=18958 677.67/677.94 c nbDecision=43500 #constraints=19146 692.17/692.45 c nbDecision=44000 #constraints=19354 707.17/707.41 c nbDecision=44500 #constraints=19549 724.35/724.68 c nbDecision=45000 #constraints=19737 740.45/740.80 c nbDecision=45500 #constraints=19905 765.35/765.64 c nbDecision=46000 #constraints=20165 778.54/778.86 c nbDecision=46500 #constraints=20331 790.24/790.52 c nbDecision=47000 #constraints=20498 804.93/805.28 c nbDecision=47500 #constraints=20676 819.73/820.05 c nbDecision=48000 #constraints=20863 839.43/839.78 c nbDecision=48500 #constraints=21076 855.52/855.86 c nbDecision=49000 #constraints=21239 872.41/872.75 c nbDecision=49500 #constraints=21393 894.01/894.37 c nbDecision=50000 #constraints=21606 912.40/912.74 c nbDecision=50500 #constraints=21768 929.80/930.16 c nbDecision=51000 #constraints=21925 939.10/939.44 c restart after 51201 decisions 942.29/942.66 c nbDecision=51500 #constraints=22197 947.38/947.78 c nbDecision=52000 #constraints=22599 953.09/953.42 c nbDecision=52500 #constraints=23004 959.09/959.42 c nbDecision=53000 #constraints=23413 964.69/965.02 c nbDecision=53500 #constraints=23851 971.78/972.14 c nbDecision=54000 #constraints=24292 979.68/980.06 c nbDecision=54500 #constraints=24734 991.38/991.74 c nbDecision=55000 #constraints=25140 999.07/999.41 c nbDecision=55500 #constraints=25541 1010.77/1011.17 c nbDecision=56000 #constraints=26004 1025.66/1026.07 c nbDecision=56500 #constraints=26473 1041.15/1041.56 c nbDecision=57000 #constraints=26920 1059.95/1060.37 c nbDecision=57500 #constraints=27364 1078.45/1078.87 c nbDecision=58000 #constraints=27795 1095.34/1095.72 c nbDecision=58500 #constraints=28233 1112.84/1113.28 c nbDecision=59000 #constraints=28679 1134.32/1134.72 c nbDecision=59500 #constraints=29101 1152.02/1152.42 c nbDecision=60000 #constraints=29559 1179.71/1180.17 c nbDecision=60500 #constraints=30007 1187.21/1187.63 c nbDecision=61000 #constraints=30364 1192.71/1193.11 c nbDecision=61500 #constraints=30758 1199.11/1199.50 c nbDecision=62000 #constraints=31188 1206.40/1206.84 c nbDecision=62500 #constraints=31610 1214.00/1214.43 c nbDecision=63000 #constraints=32021 1222.50/1222.98 c nbDecision=63500 #constraints=32450 1233.10/1233.51 c nbDecision=64000 #constraints=32831 1243.20/1243.62 c nbDecision=64500 #constraints=33260 1255.29/1255.70 c nbDecision=65000 #constraints=33725 1267.98/1268.44 c nbDecision=65500 #constraints=34141 1279.48/1279.94 c nbDecision=66000 #constraints=34585 1294.58/1295.02 c nbDecision=66500 #constraints=35047 1309.07/1309.59 c nbDecision=67000 #constraints=35443 1325.17/1325.64 c nbDecision=67500 #constraints=35863 1341.16/1341.61 c nbDecision=68000 #constraints=36279 1356.76/1357.28 c nbDecision=68500 #constraints=36717 1373.45/1373.90 c nbDecision=69000 #constraints=37142 1391.34/1391.89 c nbDecision=69500 #constraints=37568 1410.33/1410.82 c nbDecision=70000 #constraints=37992 1430.03/1430.55 c nbDecision=70500 #constraints=38426 1447.13/1447.67 c nbDecision=71000 #constraints=38863 1470.42/1470.98 c nbDecision=71500 #constraints=39327 1491.32/1491.82 c nbDecision=72000 #constraints=39787 1513.20/1513.70 c nbDecision=72500 #constraints=40265 1539.50/1540.07 c nbDecision=73000 #constraints=40707 1570.19/1570.74 c nbDecision=73500 #constraints=41137 1599.08/1599.64 c nbDecision=74000 #constraints=41556 1623.08/1623.65 c nbDecision=74500 #constraints=41983 1649.06/1649.66 c nbDecision=75000 #constraints=42461 1680.86/1681.49 c nbDecision=75500 #constraints=42926 1708.55/1709.11 c nbDecision=76000 #constraints=43373 1740.03/1740.60 c nbDecision=76500 #constraints=43841 1772.72/1773.38 c nbDecision=77000 #constraints=44300 1800.02/1800.60 Received signal 15 1800.02/1800.63 1800.02/1800.63 s UNKNOWN 1800.02/1800.63 1800.02/1800.63 c user time= 1799.16 s 1800.02/1800.63 c system time= 0.896863 s 1800.02/1800.63 c wall clock time=1800.63
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node39/watcher-357367-1176995947 -o ROOT/results/node39/solver-357367-1176995947 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357367-1176995947/instance-357367-1176995947.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: 1.00 1.00 0.99 3/77 2854 /proc/meminfo: memFree=1636224/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=1468 CPUtime=0 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 147506770 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 367 166 131 317 0 46 0 [startup+0.093708 s] /proc/loadavg: 1.00 1.00 0.99 3/77 2854 /proc/meminfo: memFree=1636224/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=2684 CPUtime=0.09 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 519 0 0 0 9 0 0 0 18 0 1 0 147506770 2748416 501 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 671 501 170 317 0 350 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2684 [startup+0.101709 s] /proc/loadavg: 1.00 1.00 0.99 3/77 2854 /proc/meminfo: memFree=1636224/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=2684 CPUtime=0.1 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 528 0 0 0 10 0 0 0 18 0 1 0 147506770 2748416 510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 671 510 170 317 0 350 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2684 [startup+0.301742 s] /proc/loadavg: 1.00 1.00 0.99 3/77 2854 /proc/meminfo: memFree=1636224/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=3724 CPUtime=0.29 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 790 0 0 0 29 0 0 0 19 0 1 0 147506770 3813376 772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 931 772 170 317 0 610 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3724 [startup+0.70181 s] /proc/loadavg: 1.00 1.00 0.99 3/77 2854 /proc/meminfo: memFree=1636224/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=5428 CPUtime=0.69 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 1211 0 0 0 69 0 0 0 22 0 1 0 147506770 5558272 1193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 1357 1193 170 317 0 1036 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5428 [startup+1.50195 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2855 /proc/meminfo: memFree=1631096/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=7396 CPUtime=1.49 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 1695 0 0 0 149 0 0 0 25 0 1 0 147506770 7573504 1677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 1849 1677 170 317 0 1528 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7396 [startup+3.10121 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2855 /proc/meminfo: memFree=1628088/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=11428 CPUtime=3.08 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 2693 0 0 0 308 0 0 0 25 0 1 0 147506770 11702272 2675 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 2857 2675 170 317 0 2536 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 11428 [startup+6.30175 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2855 /proc/meminfo: memFree=1621192/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=17648 CPUtime=6.29 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 4190 0 0 0 627 2 0 0 25 0 1 0 147506770 18071552 4172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 4412 4173 170 317 0 4091 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17648 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2855 /proc/meminfo: memFree=1612872/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=25044 CPUtime=12.69 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 6082 0 0 0 1266 3 0 0 25 0 1 0 147506770 25645056 6064 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 6261 6064 170 317 0 5940 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25044 [startup+25.502 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2855 /proc/meminfo: memFree=1600392/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=37804 CPUtime=25.48 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 9083 0 0 0 2544 4 0 0 25 0 1 0 147506770 38711296 9065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 9451 9065 170 317 0 9130 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 37804 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2855 /proc/meminfo: memFree=1586376/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=51916 CPUtime=51.08 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 12622 0 0 0 5102 6 0 0 25 0 1 0 147506770 53161984 12604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266204 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 12979 12604 170 317 0 12658 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 51916 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2855 /proc/meminfo: memFree=1564744/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=74596 CPUtime=102.26 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 17971 0 0 0 10216 10 0 0 25 0 1 0 147506770 76386304 17953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 18649 17953 170 317 0 18328 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 74596 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2855 /proc/meminfo: memFree=1544520/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=95468 CPUtime=162.24 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 23107 0 0 0 16210 14 0 0 25 0 1 0 147506770 97759232 23032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 23867 23032 170 317 0 23546 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 95468 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2855 /proc/meminfo: memFree=1531336/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=107520 CPUtime=222.22 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 26337 0 0 0 22206 16 0 0 25 0 1 0 147506770 110100480 26262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 26880 26262 170 317 0 26559 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 107520 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2855 /proc/meminfo: memFree=1515464/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=128252 CPUtime=282.2 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 30319 0 0 0 28202 18 0 0 25 0 1 0 147506770 131330048 30244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 32063 30244 170 317 0 31742 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 128252 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2855 /proc/meminfo: memFree=1504584/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=138288 CPUtime=342.18 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 33004 0 0 0 34197 21 0 0 25 0 1 0 147506770 141606912 32929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 34572 32929 170 317 0 34251 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 138288 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2855 /proc/meminfo: memFree=1494920/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=147328 CPUtime=402.16 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 35455 0 0 0 40193 23 0 0 25 0 1 0 147506770 150863872 35380 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 36832 35380 170 317 0 36511 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 147328 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2855 /proc/meminfo: memFree=1486088/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=155700 CPUtime=462.14 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 37640 0 0 0 46189 25 0 0 25 0 1 0 147506770 159436800 37565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 38925 37565 170 317 0 38604 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 155700 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2855 /proc/meminfo: memFree=1476296/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=165756 CPUtime=522.12 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 40219 0 0 0 52185 27 0 0 25 0 1 0 147506770 169734144 40031 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711207 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 41439 40031 170 317 0 41118 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 165756 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2855 /proc/meminfo: memFree=1466056/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=177988 CPUtime=582.1 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 42852 0 0 0 58181 29 0 0 25 0 1 0 147506770 182259712 42565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 44497 42565 170 317 0 44176 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 177988 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2855 /proc/meminfo: memFree=1456648/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=187476 CPUtime=642.09 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 45188 0 0 0 64178 31 0 0 25 0 1 0 147506770 191975424 44901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 46869 44901 170 317 0 46548 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 187476 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2855 /proc/meminfo: memFree=1430152/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=211772 CPUtime=882.01 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 51789 0 0 0 88162 39 0 0 25 0 1 0 147506770 216854528 51502 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712891 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 52943 51502 170 317 0 52622 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 211772 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2855 /proc/meminfo: memFree=1420744/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=237308 CPUtime=941.99 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 57045 0 0 0 94158 41 0 0 25 0 1 0 147506770 243003392 53986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 59327 53986 170 317 0 59006 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 237308 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2855 /proc/meminfo: memFree=1385160/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=268880 CPUtime=1001.97 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 65901 0 0 0 100150 47 0 0 25 0 1 0 147506770 275333120 62743 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 67220 62743 170 317 0 66899 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 268880 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2855 /proc/meminfo: memFree=1368008/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=285056 CPUtime=1061.95 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 70425 0 0 0 106145 50 0 0 25 0 1 0 147506770 291897344 67036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 71264 67036 170 317 0 70943 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 285056 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2855 /proc/meminfo: memFree=1353160/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=300804 CPUtime=1121.93 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 74687 0 0 0 112140 53 0 0 25 0 1 0 147506770 308023296 70737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718318 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 75201 70737 170 317 0 74880 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 300804 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2857 /proc/meminfo: memFree=1341512/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=311176 CPUtime=1181.91 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 77622 0 0 0 118136 55 0 0 25 0 1 0 147506770 318644224 73672 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604337 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 77794 73672 170 317 0 77473 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 311176 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2857 /proc/meminfo: memFree=1309640/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=340756 CPUtime=1241.9 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 85847 0 0 0 124129 61 0 0 25 0 1 0 147506770 348934144 81605 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 85189 81605 170 317 0 84868 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 340756 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2857 /proc/meminfo: memFree=1288840/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=359536 CPUtime=1301.88 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 91156 0 0 0 130123 65 0 0 25 0 1 0 147506770 368164864 86751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 89884 86751 170 317 0 89563 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 359536 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2857 /proc/meminfo: memFree=1272456/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=374064 CPUtime=1361.85 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 95323 0 0 0 136116 69 0 0 25 0 1 0 147506770 383041536 90885 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 93516 90885 170 317 0 93195 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 374064 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2857 /proc/meminfo: memFree=1257864/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=390556 CPUtime=1421.84 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 99684 0 0 0 142112 72 0 0 25 0 1 0 147506770 399929344 94431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 97639 94431 170 317 0 97318 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 390556 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2857 /proc/meminfo: memFree=1242184/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=438724 CPUtime=1481.81 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 111249 0 0 0 148104 77 0 0 25 0 1 0 147506770 449253376 98390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564037 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 109681 98390 170 317 0 109360 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 438724 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2857 /proc/meminfo: memFree=1230152/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=449744 CPUtime=1541.79 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 114417 0 0 0 154100 79 0 0 25 0 1 0 147506770 460537856 101362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604218 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 112436 101362 170 317 0 112115 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 449744 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2857 /proc/meminfo: memFree=1221256/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=457612 CPUtime=1601.77 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 116787 0 0 0 160096 81 0 0 25 0 1 0 147506770 468594688 103600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 114403 103600 170 317 0 114082 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 457612 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2857 /proc/meminfo: memFree=1210504/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=467892 CPUtime=1661.76 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 119755 0 0 0 166092 84 0 0 25 0 1 0 147506770 479121408 106275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 116973 106275 170 317 0 116652 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 467892 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2857 /proc/meminfo: memFree=1201032/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=477196 CPUtime=1721.74 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 122445 0 0 0 172087 87 0 0 25 0 1 0 147506770 488648704 108672 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 119299 108672 170 317 0 118978 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 477196 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2857 /proc/meminfo: memFree=1192648/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=486480 CPUtime=1781.72 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 124887 0 0 0 178083 89 0 0 25 0 1 0 147506770 498155520 110690 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 121620 110690 170 317 0 121299 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 486480 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2857 /proc/meminfo: memFree=1190216/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=488584 CPUtime=1800.02 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194304 125530 0 0 0 179913 89 0 0 25 0 1 0 147506770 500310016 111333 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 122146 111333 170 317 0 121825 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 488584 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 1.00 0.99 2/78 2857 /proc/meminfo: memFree=1190216/2055920 swapFree=4154924/4192956 [pid=2854] ppid=2852 vsize=0 CPUtime=1800.12 /proc/2854/stat : 2854 (oree) R 2852 2854 2092 0 -1 4194308 125546 0 0 0 179916 96 0 0 25 0 1 0 147506770 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2854/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.71 CPU time (s): 1800.13 CPU user time (s): 1799.16 CPU system time (s): 0.968852 CPU usage (%): 99.9678 Max. virtual memory (cumulated for all children) (KiB): 488584 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.16 system time used= 0.968852 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 125546 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= 2441 runsolver used 1.92971 second user time and 4.64629 second system time The end
Begin job on node39 on Thu Apr 19 15:19:07 UTC 2007 IDJOB= 357367 IDBENCH= 2484 IDSOLVER= 172 FILE ID= node39/357367-1176995947 PBS_JOBID= 4630459 Free space on /tmp= 66488 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc05.opb COMMAND LINE= oree /tmp/evaluation/357367-1176995947/instance-357367-1176995947.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-357367-1176995947 -o ROOT/results/node39/solver-357367-1176995947 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357367-1176995947/instance-357367-1176995947.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 4e6161a7dc803af1e0ad1878eef0a0d1 RANDOM SEED= 577558537 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node39.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.256 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.256 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: 1636824 kB Buffers: 43840 kB Cached: 284464 kB SwapCached: 17952 kB Active: 36256 kB Inactive: 320144 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1636824 kB SwapTotal: 4192956 kB SwapFree: 4154924 kB Dirty: 1412 kB Writeback: 0 kB Mapped: 30704 kB Slab: 47916 kB Committed_AS: 1772052 kB PageTables: 2012 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= 66488 MiB End job on node39 on Thu Apr 19 15:49:10 UTC 2007