Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.65 | 1801.22 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-degen2.opb |
MD5SUM | 64532e211df845746fb0c67de55e4b15 |
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 | 16020 |
Total number of constraints | 444 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 444 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 2550 |
Number of terms in the objective function | 14100 |
Biggest coefficient in the objective function | 2553894928384 |
Number of bits for the biggest coefficient in the objective function | 42 |
Sum of the numbers in the objective function | 401268056673330 |
Number of bits of the sum of numbers in the objective function | 49 |
Biggest number in a constraint | 2553894928384 |
Number of bits of the biggest number in a constraint | 42 |
Biggest sum of numbers in a constraint | 401268056673330 |
Number of bits of the biggest sum of numbers | 49 |
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.39/0.42 c ...done 0.39/0.42 c #vars=16020 #constraints=666 hasObjective=yes 0.69/0.73 c res. mode=mod 0.69/0.73 c VSIDS like heuristics 0.69/0.73 c complete search running 0.79/0.86 c restart after 401 decisions 0.79/0.87 c nbDecision=500 #constraints=666 0.89/0.92 c restart after 801 decisions 0.89/0.95 c nbDecision=1000 #constraints=666 0.99/1.01 c nbDecision=1500 #constraints=666 0.99/1.10 c restart after 1601 decisions 1.09/1.15 c nbDecision=2000 #constraints=676 1.19/1.21 c nbDecision=2500 #constraints=676 10.29/10.30 c nbDecision=3000 #constraints=847 10.79/10.85 c restart after 3201 decisions 10.89/10.92 c nbDecision=3500 #constraints=857 10.89/10.99 c nbDecision=4000 #constraints=857 11.09/11.11 c nbDecision=4500 #constraints=858 13.79/13.89 c nbDecision=5000 #constraints=908 24.68/24.78 c nbDecision=5500 #constraints=1099 30.58/30.69 c nbDecision=6000 #constraints=1202 41.18/41.24 c restart after 6401 decisions 41.28/41.34 c nbDecision=6500 #constraints=1379 41.38/41.46 c nbDecision=7000 #constraints=1379 41.48/41.55 c nbDecision=7500 #constraints=1379 47.48/47.56 c nbDecision=8000 #constraints=1489 54.37/54.41 c nbDecision=8500 #constraints=1600 61.68/61.72 c nbDecision=9000 #constraints=1717 68.97/69.08 c nbDecision=9500 #constraints=1825 81.07/81.11 c nbDecision=10000 #constraints=1988 85.17/85.23 c nbDecision=10500 #constraints=2054 92.16/92.22 c nbDecision=11000 #constraints=2158 102.73/102.87 c nbDecision=11500 #constraints=2319 108.81/108.90 c nbDecision=12000 #constraints=2400 118.79/118.98 c nbDecision=12500 #constraints=2521 125.18/125.30 c restart after 12801 decisions 125.58/125.76 c nbDecision=13000 #constraints=2594 125.88/126.07 c nbDecision=13500 #constraints=2594 126.08/126.27 c nbDecision=14000 #constraints=2594 132.88/133.07 c nbDecision=14500 #constraints=2675 138.67/138.82 c nbDecision=15000 #constraints=2745 146.96/147.13 c nbDecision=15500 #constraints=2856 157.66/157.80 c nbDecision=16000 #constraints=2966 171.16/171.34 c nbDecision=16500 #constraints=3106 180.05/180.24 c nbDecision=17000 #constraints=3204 188.05/188.24 c nbDecision=17500 #constraints=3300 202.15/202.33 c nbDecision=18000 #constraints=3444 209.54/209.77 c nbDecision=18500 #constraints=3520 215.45/215.66 c nbDecision=19000 #constraints=3590 221.24/221.41 c nbDecision=19500 #constraints=3652 226.74/226.91 c nbDecision=20000 #constraints=3714 229.75/229.98 c nbDecision=20500 #constraints=3759 241.84/242.07 c nbDecision=21000 #constraints=3898 248.13/248.37 c nbDecision=21500 #constraints=3973 262.93/263.11 c nbDecision=22000 #constraints=4119 267.52/267.77 c nbDecision=22500 #constraints=4186 272.23/272.46 c nbDecision=23000 #constraints=4257 278.53/278.74 c nbDecision=23500 #constraints=4326 284.33/284.56 c nbDecision=24000 #constraints=4391 297.82/298.06 c nbDecision=24500 #constraints=4521 340.01/340.21 c nbDecision=25000 #constraints=4861 361.70/361.95 c nbDecision=25500 #constraints=5044 362.70/362.99 c restart after 25601 decisions 364.70/364.96 c nbDecision=26000 #constraints=5057 365.40/365.61 c nbDecision=26500 #constraints=5057 367.70/367.95 c nbDecision=27000 #constraints=5083 373.81/374.02 c nbDecision=27500 #constraints=5154 381.60/381.84 c nbDecision=28000 #constraints=5232 388.80/389.05 c nbDecision=28500 #constraints=5300 395.99/396.28 c nbDecision=29000 #constraints=5366 422.79/423.03 c nbDecision=29500 #constraints=5577 425.69/425.91 c nbDecision=30000 #constraints=5617 430.28/430.57 c nbDecision=30500 #constraints=5686 434.89/435.18 c nbDecision=31000 #constraints=5743 437.18/437.44 c nbDecision=31500 #constraints=5773 439.98/440.21 c nbDecision=32000 #constraints=5807 442.88/443.14 c nbDecision=32500 #constraints=5846 447.98/448.20 c nbDecision=33000 #constraints=5899 450.98/451.20 c nbDecision=33500 #constraints=5935 456.18/456.42 c nbDecision=34000 #constraints=5984 464.37/464.66 c nbDecision=34500 #constraints=6056 470.88/471.11 c nbDecision=35000 #constraints=6107 474.57/474.82 c nbDecision=35500 #constraints=6143 485.07/485.39 c nbDecision=36000 #constraints=6225 500.37/500.60 c nbDecision=36500 #constraints=6341 519.26/519.50 c nbDecision=37000 #constraints=6473 532.06/532.34 c nbDecision=37500 #constraints=6566 539.15/539.42 c nbDecision=38000 #constraints=6622 546.95/547.28 c nbDecision=38500 #constraints=6708 552.75/553.09 c nbDecision=39000 #constraints=6775 557.75/558.00 c nbDecision=39500 #constraints=6828 565.25/565.51 c nbDecision=40000 #constraints=6887 572.45/572.78 c nbDecision=40500 #constraints=6940 576.54/576.84 c nbDecision=41000 #constraints=6989 585.54/585.84 c nbDecision=41500 #constraints=7082 595.14/595.44 c nbDecision=42000 #constraints=7151 605.94/606.23 c nbDecision=42500 #constraints=7238 624.03/624.34 c nbDecision=43000 #constraints=7368 639.13/639.44 c nbDecision=43500 #constraints=7481 646.13/646.43 c nbDecision=44000 #constraints=7564 650.32/650.63 c nbDecision=44500 #constraints=7620 655.03/655.35 c nbDecision=45000 #constraints=7678 661.02/661.38 c nbDecision=45500 #constraints=7738 668.02/668.39 c nbDecision=46000 #constraints=7814 673.52/673.84 c nbDecision=46500 #constraints=7866 681.22/681.51 c nbDecision=47000 #constraints=7941 688.11/688.40 c nbDecision=47500 #constraints=8011 692.91/693.28 c nbDecision=48000 #constraints=8053 698.12/698.46 c nbDecision=48500 #constraints=8095 702.51/702.84 c nbDecision=49000 #constraints=8130 720.21/720.55 c nbDecision=49500 #constraints=8235 740.60/740.98 c nbDecision=50000 #constraints=8353 744.90/745.29 c nbDecision=50500 #constraints=8402 751.30/751.60 c nbDecision=51000 #constraints=8480 753.39/753.75 c restart after 51201 decisions 756.89/757.27 c nbDecision=51500 #constraints=8503 757.99/758.39 c nbDecision=52000 #constraints=8503 758.99/759.33 c nbDecision=52500 #constraints=8503 764.80/765.15 c nbDecision=53000 #constraints=8552 768.10/768.41 c nbDecision=53500 #constraints=8579 775.49/775.84 c nbDecision=54000 #constraints=8650 779.99/780.35 c nbDecision=54500 #constraints=8694 784.18/784.51 c nbDecision=55000 #constraints=8729 790.09/790.50 c nbDecision=55500 #constraints=8789 796.39/796.78 c nbDecision=56000 #constraints=8843 804.59/804.94 c nbDecision=56500 #constraints=8919 809.09/809.44 c nbDecision=57000 #constraints=8950 813.59/813.91 c nbDecision=57500 #constraints=8982 822.18/822.52 c nbDecision=58000 #constraints=9038 846.47/846.85 c nbDecision=58500 #constraints=9170 881.56/881.98 c nbDecision=59000 #constraints=9348 888.47/888.83 c nbDecision=59500 #constraints=9397 897.56/897.99 c nbDecision=60000 #constraints=9467 910.35/910.79 c nbDecision=60500 #constraints=9545 933.35/933.72 c nbDecision=61000 #constraints=9670 999.33/999.79 c nbDecision=61500 #constraints=9978 1066.21/1066.61 c nbDecision=62000 #constraints=10289 1072.32/1072.78 c nbDecision=62500 #constraints=10336 1077.62/1078.07 c nbDecision=63000 #constraints=10392 1084.11/1084.55 c nbDecision=63500 #constraints=10454 1089.91/1090.31 c nbDecision=64000 #constraints=10493 1098.50/1098.92 c nbDecision=64500 #constraints=10557 1105.71/1106.14 c nbDecision=65000 #constraints=10604 1111.90/1112.37 c nbDecision=65500 #constraints=10644 1152.29/1152.74 c nbDecision=66000 #constraints=10834 1162.89/1163.38 c nbDecision=66500 #constraints=10895 1173.69/1174.15 c nbDecision=67000 #constraints=10979 1181.38/1181.81 c nbDecision=67500 #constraints=11053 1190.89/1191.31 c nbDecision=68000 #constraints=11134 1195.88/1196.30 c nbDecision=68500 #constraints=11168 1202.67/1203.16 c nbDecision=69000 #constraints=11214 1210.48/1210.93 c nbDecision=69500 #constraints=11273 1216.98/1217.47 c nbDecision=70000 #constraints=11327 1226.17/1226.64 c nbDecision=70500 #constraints=11382 1231.87/1232.33 c nbDecision=71000 #constraints=11421 1282.06/1282.60 c nbDecision=71500 #constraints=11677 1291.55/1292.02 c nbDecision=72000 #constraints=11730 1298.35/1298.87 c nbDecision=72500 #constraints=11777 1302.85/1303.32 c nbDecision=73000 #constraints=11815 1311.35/1311.87 c nbDecision=73500 #constraints=11877 1325.34/1325.82 c nbDecision=74000 #constraints=11961 1338.44/1338.95 c nbDecision=74500 #constraints=12040 1388.23/1388.74 c nbDecision=75000 #constraints=12250 1396.43/1396.96 c nbDecision=75500 #constraints=12308 1410.72/1411.29 c nbDecision=76000 #constraints=12392 1417.62/1418.17 c nbDecision=76500 #constraints=12447 1426.62/1427.15 c nbDecision=77000 #constraints=12515 1435.31/1435.88 c nbDecision=77500 #constraints=12583 1449.51/1450.06 c nbDecision=78000 #constraints=12670 1485.40/1486.00 c nbDecision=78500 #constraints=12853 1510.80/1511.30 c nbDecision=79000 #constraints=12982 1524.29/1524.86 c nbDecision=79500 #constraints=13061 1534.59/1535.13 c nbDecision=80000 #constraints=13144 1544.58/1545.16 c nbDecision=80500 #constraints=13223 1552.18/1552.77 c nbDecision=81000 #constraints=13287 1562.78/1563.30 c nbDecision=81500 #constraints=13339 1571.87/1572.47 c nbDecision=82000 #constraints=13407 1581.58/1582.12 c nbDecision=82500 #constraints=13470 1591.77/1592.33 c nbDecision=83000 #constraints=13520 1639.46/1640.08 c nbDecision=83500 #constraints=13698 1679.85/1680.40 c nbDecision=84000 #constraints=13866 1735.03/1735.66 c nbDecision=84500 #constraints=14118 1743.83/1744.49 c nbDecision=85000 #constraints=14175 1752.02/1752.69 c nbDecision=85500 #constraints=14239 1759.43/1760.00 c nbDecision=86000 #constraints=14301 1767.82/1768.42 c nbDecision=86500 #constraints=14353 1777.72/1778.36 c nbDecision=87000 #constraints=14434 1784.92/1785.54 c nbDecision=87500 #constraints=14503 1792.32/1792.94 c nbDecision=88000 #constraints=14546 1798.31/1798.94 c nbDecision=88500 #constraints=14574 1800.02/1800.61 Received signal 15 1800.51/1801.10 1800.51/1801.10 s UNKNOWN 1800.51/1801.10 1800.51/1801.10 c user time= 1799.67 s 1800.51/1801.10 c system time= 0.856869 s 1800.51/1801.10 c wall clock time=1801.1
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node11/watcher-357331-1176994771 -o ROOT/results/node11/solver-357331-1176994771 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357331-1176994771/instance-357331-1176994771.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.85 0.97 0.99 3/77 13630 /proc/meminfo: memFree=1318280/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=1468 CPUtime=0 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 140526057 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 367 161 127 317 0 46 0 [startup+0.066797 s] /proc/loadavg: 0.85 0.97 0.99 3/77 13630 /proc/meminfo: memFree=1318280/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=2204 CPUtime=0.06 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 387 0 0 0 6 0 0 0 18 0 1 0 140526057 2256896 336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 551 336 131 317 0 230 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2204 [startup+0.1018 s] /proc/loadavg: 0.85 0.97 0.99 3/77 13630 /proc/meminfo: memFree=1318280/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=3000 CPUtime=0.09 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 561 0 0 0 9 0 0 0 18 0 1 0 140526057 3072000 510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 750 510 131 317 0 429 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3000 [startup+0.301824 s] /proc/loadavg: 0.85 0.97 0.99 3/77 13630 /proc/meminfo: memFree=1318280/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=6228 CPUtime=0.29 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 1343 0 0 0 29 0 0 0 19 0 1 0 140526057 6377472 1292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 1557 1292 131 317 0 1236 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6228 [startup+0.701872 s] /proc/loadavg: 0.85 0.97 0.99 3/77 13630 /proc/meminfo: memFree=1318280/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=11176 CPUtime=0.69 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 2574 0 0 0 69 0 0 0 23 0 1 0 140526057 11444224 2523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 2794 2523 137 317 0 2473 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11176 [startup+1.50197 s] /proc/loadavg: 0.86 0.97 0.99 2/78 13631 /proc/meminfo: memFree=1308416/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=11968 CPUtime=1.49 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 2760 0 0 0 149 0 0 0 25 0 1 0 140526057 12255232 2709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 2992 2709 139 317 0 2671 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11968 [startup+3.10116 s] /proc/loadavg: 0.86 0.97 0.99 2/78 13631 /proc/meminfo: memFree=1307392/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=13100 CPUtime=3.09 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 3021 0 0 0 308 1 0 0 25 0 1 0 140526057 13414400 2970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 3275 2970 139 317 0 2954 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13100 [startup+6.30253 s] /proc/loadavg: 0.86 0.97 0.99 2/78 13631 /proc/meminfo: memFree=1305224/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=15080 CPUtime=6.29 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 3500 0 0 0 628 1 0 0 25 0 1 0 140526057 15441920 3449 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 3770 3449 139 317 0 3449 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15080 [startup+12.7013 s] /proc/loadavg: 0.88 0.97 0.99 2/78 13631 /proc/meminfo: memFree=1301392/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=19004 CPUtime=12.69 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 4425 0 0 0 1268 1 0 0 25 0 1 0 140526057 19460096 4374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 4751 4374 139 317 0 4430 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19004 [startup+25.5018 s] /proc/loadavg: 0.90 0.97 0.99 2/78 13631 /proc/meminfo: memFree=1293840/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=26900 CPUtime=25.48 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 6280 0 0 0 2546 2 0 0 25 0 1 0 140526057 27545600 6229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 6725 6229 139 317 0 6404 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26900 [startup+51.1018 s] /proc/loadavg: 0.93 0.97 0.99 2/78 13631 /proc/meminfo: memFree=1276496/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=45920 CPUtime=51.08 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 10705 0 0 0 5104 4 0 0 25 0 1 0 140526057 47022080 10654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 11480 10654 170 317 0 11159 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 45920 [startup+102.306 s] /proc/loadavg: 0.97 0.97 0.99 2/84 13713 /proc/meminfo: memFree=1242904/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=80300 CPUtime=102.23 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 18639 0 0 0 10216 7 0 0 25 0 1 0 140526057 82227200 18588 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 20075 18588 170 317 0 19754 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 80300 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13829 /proc/meminfo: memFree=1208912/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=122524 CPUtime=162.16 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 27483 0 0 0 16204 12 0 0 25 0 1 0 140526057 125464576 27432 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 30631 27432 170 317 0 30310 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 122524 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13829 /proc/meminfo: memFree=1175568/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=158284 CPUtime=222.14 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 35740 0 0 0 22198 16 0 0 25 0 1 0 140526057 162082816 35689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 39571 35689 170 317 0 39250 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 158284 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13829 /proc/meminfo: memFree=1148240/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=187520 CPUtime=282.12 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 42613 0 0 0 28193 19 0 0 25 0 1 0 140526057 192020480 42562 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710849 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 46880 42562 170 317 0 46559 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 187520 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13829 /proc/meminfo: memFree=1112976/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=235828 CPUtime=342.11 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 51336 0 0 0 34188 23 0 0 25 0 1 0 140526057 241487872 51285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 58957 51285 170 317 0 58636 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 235828 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13829 /proc/meminfo: memFree=1087568/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=265572 CPUtime=402.09 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 57742 0 0 0 40183 26 0 0 25 0 1 0 140526057 271945728 57691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 66393 57691 170 317 0 66072 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 265572 [startup+462.301 s] /proc/loadavg: 1.03 0.99 0.99 2/78 13829 /proc/meminfo: memFree=1058384/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=298844 CPUtime=462.07 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 64967 0 0 0 46177 30 0 0 25 0 1 0 140526057 306016256 64916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 74711 64916 170 317 0 74390 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 298844 [startup+522.302 s] /proc/loadavg: 1.01 0.99 0.99 2/78 13829 /proc/meminfo: memFree=1036688/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=322744 CPUtime=522.06 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 70431 0 0 0 52173 33 0 0 25 0 1 0 140526057 330489856 70380 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 80686 70380 170 317 0 80365 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 322744 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 13829 /proc/meminfo: memFree=1012880/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=349068 CPUtime=582.04 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 76364 0 0 0 58169 35 0 0 25 0 1 0 140526057 357445632 76313 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 87267 76313 170 317 0 86946 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 349068 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 13829 /proc/meminfo: memFree=982352/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=389540 CPUtime=642.03 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 83898 0 0 0 64164 39 0 0 25 0 1 0 140526057 398888960 83847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710756 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 97385 83847 170 317 0 97064 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 389540 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 13829 /proc/meminfo: memFree=865424/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=534632 CPUtime=941.95 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 113200 0 0 0 94143 52 0 0 25 0 1 0 140526057 547463168 113091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278987 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 133658 113091 170 317 0 133337 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 534632 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 13829 /proc/meminfo: memFree=851280/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=549564 CPUtime=1001.93 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 116706 0 0 0 100138 55 0 0 25 0 1 0 140526057 562753536 116597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 137391 116597 170 317 0 137070 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 549564 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 13829 /proc/meminfo: memFree=838160/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=564584 CPUtime=1061.91 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 120016 0 0 0 106135 56 0 0 25 0 1 0 140526057 578134016 119907 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 141146 119907 170 317 0 140825 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 564584 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 13829 /proc/meminfo: memFree=819536/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=584800 CPUtime=1121.9 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 124626 0 0 0 112132 58 0 0 25 0 1 0 140526057 598835200 124517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 146200 124517 170 317 0 145879 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 584800 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 13829 /proc/meminfo: memFree=802896/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=603380 CPUtime=1181.88 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 128900 0 0 0 118127 61 0 0 25 0 1 0 140526057 617861120 128791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712494 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 150845 128791 170 317 0 150524 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 603380 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 13829 /proc/meminfo: memFree=783248/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=624416 CPUtime=1241.87 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 133667 0 0 0 124123 64 0 0 25 0 1 0 140526057 639401984 133558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 156104 133558 170 317 0 155783 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 624416 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 13829 /proc/meminfo: memFree=756560/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=666360 CPUtime=1301.86 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 140315 0 0 0 130118 68 0 0 25 0 1 0 140526057 682352640 140206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 166590 140206 170 317 0 166269 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 666360 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 13829 /proc/meminfo: memFree=741520/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=683296 CPUtime=1361.84 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 144077 0 0 0 136114 70 0 0 25 0 1 0 140526057 699695104 143968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 170824 143968 170 317 0 170503 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 683296 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/78 13829 /proc/meminfo: memFree=719312/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=713144 CPUtime=1421.82 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 149619 0 0 0 142110 72 0 0 25 0 1 0 140526057 730259456 149510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 178286 149510 170 317 0 177965 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 713144 [startup+1482.3 s] /proc/loadavg: 1.05 1.00 1.00 2/78 13829 /proc/meminfo: memFree=703568/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=732000 CPUtime=1481.8 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 153579 0 0 0 148107 73 0 0 25 0 1 0 140526057 749568000 153470 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 183000 153470 170 317 0 182679 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 732000 [startup+1542.3 s] /proc/loadavg: 1.02 1.00 1.00 2/78 13829 /proc/meminfo: memFree=686288/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=750204 CPUtime=1541.79 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 157889 0 0 0 154103 76 0 0 25 0 1 0 140526057 768208896 157780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 187551 157780 170 317 0 187230 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 750204 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13829 /proc/meminfo: memFree=670096/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=767492 CPUtime=1601.77 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 161908 0 0 0 160099 78 0 0 25 0 1 0 140526057 785911808 161799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 191873 161799 170 317 0 191552 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 767492 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13829 /proc/meminfo: memFree=660048/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=778616 CPUtime=1661.75 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 164394 0 0 0 166095 80 0 0 25 0 1 0 140526057 797302784 164285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 194654 164285 170 317 0 194333 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 778616 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13829 /proc/meminfo: memFree=649488/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=789116 CPUtime=1721.74 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 167044 0 0 0 172092 82 0 0 25 0 1 0 140526057 808054784 166935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 197279 166935 170 317 0 196958 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 789116 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13829 /proc/meminfo: memFree=631376/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=808820 CPUtime=1781.72 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 171571 0 0 0 178088 84 0 0 25 0 1 0 140526057 828231680 171462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 202205 171462 170 317 0 201884 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 808820 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13829 /proc/meminfo: memFree=625424/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=814292 CPUtime=1800.02 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 173038 0 0 0 179917 85 0 0 25 0 1 0 140526057 833835008 172929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 203573 172929 170 317 0 203252 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 814292 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13829 /proc/meminfo: memFree=625424/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=814428 CPUtime=1800.41 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 173045 0 0 0 179956 85 0 0 25 0 1 0 140526057 833974272 172936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 203607 172936 170 317 0 203286 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (KiB) 814428 [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13829 /proc/meminfo: memFree=625424/2055920 swapFree=4139248/4192956 [pid=13630] ppid=13628 vsize=0 CPUtime=1800.62 /proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194308 173072 0 0 0 179967 95 0 0 25 0 1 0 140526057 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13630/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.22 CPU time (s): 1800.65 CPU user time (s): 1799.67 CPU system time (s): 0.970852 CPU usage (%): 99.9679 Max. virtual memory (cumulated for all children) (KiB): 814428 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.67 system time used= 0.970852 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 173072 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= 37172 runsolver used 2.09768 second user time and 4.33934 second system time The end
Begin job on node11 on Thu Apr 19 14:59:31 UTC 2007 IDJOB= 357331 IDBENCH= 2420 IDSOLVER= 172 FILE ID= node11/357331-1176994771 PBS_JOBID= 4630472 Free space on /tmp= 66255 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-degen2.opb COMMAND LINE= oree /tmp/evaluation/357331-1176994771/instance-357331-1176994771.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-357331-1176994771 -o ROOT/results/node11/solver-357331-1176994771 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357331-1176994771/instance-357331-1176994771.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 64532e211df845746fb0c67de55e4b15 RANDOM SEED= 562909922 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node11.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.235 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.235 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: 1318688 kB Buffers: 45296 kB Cached: 592508 kB SwapCached: 22272 kB Active: 162464 kB Inactive: 509768 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1318688 kB SwapTotal: 4192956 kB SwapFree: 4139248 kB Dirty: 3280 kB Writeback: 0 kB Mapped: 30072 kB Slab: 50456 kB Committed_AS: 6176936 kB PageTables: 1848 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= 66255 MiB End job on node11 on Thu Apr 19 15:29:34 UTC 2007