Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.36 | 1801.14 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-sc205.opb |
MD5SUM | 085f6c29f952ff5e0e711950d59893d5 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 6090 |
Total number of constraints | 204 |
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 | 204 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 120 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524317 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524370 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c 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.01/0.04 c ...done 0.01/0.04 c #vars=6090 #constraints=296 hasObjective=yes 0.01/0.05 c res. mode=mod 0.01/0.05 c VSIDS like heuristics 0.01/0.05 c complete search running 0.19/0.25 c restart after 401 decisions 0.19/0.29 c nbDecision=500 #constraints=587 0.49/0.50 c restart after 801 decisions 0.69/0.70 c nbDecision=1000 #constraints=913 1.39/1.48 c nbDecision=1500 #constraints=1407 1.59/1.67 c restart after 1601 decisions 2.09/2.18 c nbDecision=2000 #constraints=1863 3.19/3.20 c nbDecision=2500 #constraints=2361 4.69/4.75 c nbDecision=3000 #constraints=2862 5.49/5.57 c restart after 3201 decisions 7.09/7.10 c nbDecision=3500 #constraints=3325 9.99/10.01 c nbDecision=4000 #constraints=3825 12.89/12.94 c nbDecision=4500 #constraints=4323 16.88/16.90 c nbDecision=5000 #constraints=4818 22.09/22.14 c nbDecision=5500 #constraints=5310 27.88/27.96 c nbDecision=6000 #constraints=5807 31.68/31.79 c restart after 6401 decisions 33.57/33.69 c nbDecision=6500 #constraints=6277 42.57/42.67 c nbDecision=7000 #constraints=6773 53.67/53.78 c nbDecision=7500 #constraints=7273 64.97/65.05 c nbDecision=8000 #constraints=7768 73.76/73.87 c nbDecision=8500 #constraints=8263 87.17/87.27 c nbDecision=9000 #constraints=8757 101.46/101.53 c nbDecision=9500 #constraints=9252 114.66/114.74 c nbDecision=10000 #constraints=9750 131.15/131.27 c nbDecision=10500 #constraints=10249 155.15/155.23 c nbDecision=11000 #constraints=10738 176.14/176.25 c nbDecision=11500 #constraints=11230 202.42/202.58 c nbDecision=12000 #constraints=11722 224.72/224.90 c nbDecision=12500 #constraints=12213 240.11/240.21 c restart after 12801 decisions 241.61/241.79 c nbDecision=13000 #constraints=12529 242.22/242.36 c nbDecision=13500 #constraints=12975 243.12/243.24 c nbDecision=14000 #constraints=13468 244.42/244.51 c nbDecision=14500 #constraints=13966 246.01/246.15 c nbDecision=15000 #constraints=14463 248.11/248.24 c nbDecision=15500 #constraints=14963 251.02/251.17 c nbDecision=16000 #constraints=15460 254.41/254.58 c nbDecision=16500 #constraints=15955 258.51/258.60 c nbDecision=17000 #constraints=16452 263.41/263.52 c nbDecision=17500 #constraints=16943 269.01/269.10 c nbDecision=18000 #constraints=17433 274.70/274.87 c nbDecision=18500 #constraints=17930 280.51/280.61 c nbDecision=19000 #constraints=18419 286.70/286.85 c nbDecision=19500 #constraints=18910 296.69/296.87 c nbDecision=20000 #constraints=19400 305.80/305.94 c nbDecision=20500 #constraints=19893 316.70/316.85 c nbDecision=21000 #constraints=20391 326.99/327.15 c nbDecision=21500 #constraints=20887 339.08/339.25 c nbDecision=22000 #constraints=21385 350.89/351.02 c nbDecision=22500 #constraints=21879 362.88/363.01 c nbDecision=23000 #constraints=22372 372.87/373.04 c nbDecision=23500 #constraints=22875 385.07/385.20 c nbDecision=24000 #constraints=23371 403.66/403.88 c nbDecision=24500 #constraints=23864 419.97/420.15 c nbDecision=25000 #constraints=24361 438.55/438.79 c nbDecision=25500 #constraints=24860 442.06/442.24 c restart after 25601 decisions 447.65/447.86 c nbDecision=26000 #constraints=25309 453.56/453.71 c nbDecision=26500 #constraints=25797 458.05/458.21 c nbDecision=27000 #constraints=26295 465.44/465.65 c nbDecision=27500 #constraints=26781 470.75/470.97 c nbDecision=28000 #constraints=27277 478.04/478.26 c nbDecision=28500 #constraints=27771 485.74/485.91 c nbDecision=29000 #constraints=28273 491.24/491.43 c nbDecision=29500 #constraints=28766 499.73/499.99 c nbDecision=30000 #constraints=29257 507.14/507.34 c nbDecision=30500 #constraints=29754 516.93/517.11 c nbDecision=31000 #constraints=30254 524.43/524.70 c nbDecision=31500 #constraints=30746 533.13/533.38 c nbDecision=32000 #constraints=31248 541.12/541.38 c nbDecision=32500 #constraints=31740 548.42/548.63 c nbDecision=33000 #constraints=32240 554.72/554.94 c nbDecision=33500 #constraints=32739 565.12/565.34 c nbDecision=34000 #constraints=33234 577.41/577.65 c nbDecision=34500 #constraints=33728 589.21/589.46 c nbDecision=35000 #constraints=34228 599.41/599.66 c nbDecision=35500 #constraints=34727 610.90/611.15 c nbDecision=36000 #constraints=35225 620.70/620.98 c nbDecision=36500 #constraints=35723 632.20/632.42 c nbDecision=37000 #constraints=36223 642.10/642.31 c nbDecision=37500 #constraints=36724 648.89/649.12 c nbDecision=38000 #constraints=37223 656.49/656.70 c nbDecision=38500 #constraints=37722 678.78/679.02 c nbDecision=39000 #constraints=38221 698.48/698.74 c nbDecision=39500 #constraints=38721 712.08/712.36 c nbDecision=40000 #constraints=39217 726.77/727.08 c nbDecision=40500 #constraints=39714 737.46/737.73 c nbDecision=41000 #constraints=40214 746.67/746.97 c nbDecision=41500 #constraints=40715 765.86/766.10 c nbDecision=42000 #constraints=41214 784.75/785.09 c nbDecision=42500 #constraints=41713 797.25/797.50 c nbDecision=43000 #constraints=42214 807.85/808.10 c nbDecision=43500 #constraints=42709 831.04/831.34 c nbDecision=44000 #constraints=43206 847.84/848.10 c nbDecision=44500 #constraints=43706 857.93/858.30 c nbDecision=45000 #constraints=44207 881.22/881.50 c nbDecision=45500 #constraints=44705 896.51/896.84 c nbDecision=46000 #constraints=45205 916.51/916.88 c nbDecision=46500 #constraints=45702 930.98/931.30 c nbDecision=47000 #constraints=46203 944.56/944.94 c nbDecision=47500 #constraints=46704 958.12/958.55 c nbDecision=48000 #constraints=47204 971.62/972.07 c nbDecision=48500 #constraints=47704 984.20/984.66 c nbDecision=49000 #constraints=48202 994.29/994.71 c nbDecision=49500 #constraints=48702 1004.19/1004.62 c nbDecision=50000 #constraints=49204 1010.59/1011.10 c nbDecision=50500 #constraints=49703 1031.19/1031.62 c nbDecision=51000 #constraints=50197 1052.18/1052.65 c restart after 51201 decisions 1061.17/1061.69 c nbDecision=51500 #constraints=50655 1071.07/1071.60 c nbDecision=52000 #constraints=51154 1078.87/1079.38 c nbDecision=52500 #constraints=51654 1086.86/1087.34 c nbDecision=53000 #constraints=52154 1091.77/1092.21 c nbDecision=53500 #constraints=52595 1110.26/1110.78 c nbDecision=54000 #constraints=53068 1129.46/1129.91 c nbDecision=54500 #constraints=53562 1149.35/1149.90 c nbDecision=55000 #constraints=54063 1168.04/1168.56 c nbDecision=55500 #constraints=54560 1188.13/1188.65 c nbDecision=56000 #constraints=55060 1206.43/1206.91 c nbDecision=56500 #constraints=55558 1222.03/1222.59 c nbDecision=57000 #constraints=56053 1235.72/1236.22 c nbDecision=57500 #constraints=56551 1253.22/1253.73 c nbDecision=58000 #constraints=57047 1274.71/1275.20 c nbDecision=58500 #constraints=57543 1297.80/1298.33 c nbDecision=59000 #constraints=58041 1320.39/1320.94 c nbDecision=59500 #constraints=58541 1339.39/1339.98 c nbDecision=60000 #constraints=59041 1357.29/1357.83 c nbDecision=60500 #constraints=59535 1378.78/1379.38 c nbDecision=61000 #constraints=60035 1395.77/1396.32 c nbDecision=61500 #constraints=60537 1414.67/1415.27 c nbDecision=62000 #constraints=61032 1434.26/1434.88 c nbDecision=62500 #constraints=61530 1452.25/1452.88 c nbDecision=63000 #constraints=62026 1468.85/1469.42 c nbDecision=63500 #constraints=62524 1485.55/1486.13 c nbDecision=64000 #constraints=63021 1498.85/1499.44 c nbDecision=64500 #constraints=63518 1512.84/1513.42 c nbDecision=65000 #constraints=64014 1540.23/1540.82 c nbDecision=65500 #constraints=64512 1561.92/1562.55 c nbDecision=66000 #constraints=65010 1584.82/1585.45 c nbDecision=66500 #constraints=65508 1606.01/1606.69 c nbDecision=67000 #constraints=66006 1625.70/1626.37 c nbDecision=67500 #constraints=66507 1639.10/1639.76 c nbDecision=68000 #constraints=67003 1663.49/1664.12 c nbDecision=68500 #constraints=67494 1692.08/1692.76 c nbDecision=69000 #constraints=67992 1714.97/1715.66 c nbDecision=69500 #constraints=68490 1732.47/1733.12 c nbDecision=70000 #constraints=68986 1751.06/1751.73 c nbDecision=70500 #constraints=69489 1775.66/1776.38 c nbDecision=71000 #constraints=69984 1794.65/1795.30 c nbDecision=71500 #constraints=70485 1800.06/1800.70 Received signal 15 1800.25/1800.95 1800.25/1800.95 s UNKNOWN 1800.25/1800.95 1800.25/1800.95 c user time= 1799.76 s 1800.25/1800.95 c system time= 0.551916 s 1800.25/1800.95 c wall clock time=1800.95
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node54/watcher-362972-1176849937 -o ROOT/results/node54/solver-362972-1176849937 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362972-1176849937/instance-362972-1176849937.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.99 0.97 0.98 3/66 11187 /proc/meminfo: memFree=1785280/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=1468 CPUtime=0 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 132368191 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 367 161 131 317 0 46 0 [startup+0.0212489 s] /proc/loadavg: 0.99 0.97 0.98 3/66 11187 /proc/meminfo: memFree=1785280/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=1864 CPUtime=0.01 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 264 0 0 0 1 0 0 0 18 0 1 0 132368191 1908736 246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 466 246 131 317 0 145 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1864 [startup+0.102259 s] /proc/loadavg: 0.99 0.97 0.98 3/66 11187 /proc/meminfo: memFree=1785280/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=3164 CPUtime=0.09 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 615 0 0 0 9 0 0 0 18 0 1 0 132368191 3239936 597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 791 597 139 317 0 470 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3164 [startup+0.302284 s] /proc/loadavg: 0.99 0.97 0.98 3/66 11187 /proc/meminfo: memFree=1785280/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=3564 CPUtime=0.29 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 734 0 0 0 29 0 0 0 19 0 1 0 132368191 3649536 716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 891 716 170 317 0 570 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3564 [startup+0.702336 s] /proc/loadavg: 0.99 0.97 0.98 3/66 11187 /proc/meminfo: memFree=1785280/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=4220 CPUtime=0.69 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 906 0 0 0 69 0 0 0 23 0 1 0 132368191 4321280 888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270583 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 1055 888 170 317 0 734 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4220 [startup+1.50144 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11188 /proc/meminfo: memFree=1781880/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=5460 CPUtime=1.49 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 1208 0 0 0 149 0 0 0 25 0 1 0 132368191 5591040 1190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 1365 1190 170 317 0 1044 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5460 [startup+3.10164 s] /proc/loadavg: 0.99 0.97 0.98 3/67 11188 /proc/meminfo: memFree=1779832/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=8576 CPUtime=3.09 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 1972 0 0 0 309 0 0 0 25 0 1 0 132368191 8781824 1954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 2144 1954 170 317 0 1823 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8576 [startup+6.30105 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11188 /proc/meminfo: memFree=1775032/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=12116 CPUtime=6.29 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 2816 0 0 0 628 1 0 0 25 0 1 0 132368191 12406784 2798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 3029 2798 170 317 0 2708 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12116 [startup+12.7019 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11188 /proc/meminfo: memFree=1770680/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=16500 CPUtime=12.69 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 3868 0 0 0 1267 2 0 0 25 0 1 0 132368191 16896000 3850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 4125 3850 170 317 0 3804 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16500 [startup+25.5015 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11188 /proc/meminfo: memFree=1765048/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=22236 CPUtime=25.48 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 5175 0 0 0 2545 3 0 0 25 0 1 0 132368191 22769664 5157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 5559 5157 170 317 0 5238 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22236 [startup+51.1017 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11188 /proc/meminfo: memFree=1759160/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=28112 CPUtime=51.08 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 6658 0 0 0 5103 5 0 0 25 0 1 0 132368191 28786688 6640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 7028 6640 170 317 0 6707 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 28112 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11188 /proc/meminfo: memFree=1750456/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=37324 CPUtime=102.26 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 8846 0 0 0 10220 6 0 0 25 0 1 0 132368191 38219776 8771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 9331 8771 170 317 0 9010 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 37324 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11188 /proc/meminfo: memFree=1744248/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=44608 CPUtime=162.24 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 10405 0 0 0 16216 8 0 0 25 0 1 0 132368191 45678592 10330 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 11152 10330 170 317 0 10831 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 44608 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11188 /proc/meminfo: memFree=1739448/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=49008 CPUtime=222.22 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 11578 0 0 0 22213 9 0 0 25 0 1 0 132368191 50184192 11503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562700 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 12252 11503 170 317 0 11931 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 49008 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11188 /proc/meminfo: memFree=1716920/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=72048 CPUtime=282.21 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 17337 0 0 0 28207 14 0 0 25 0 1 0 132368191 73777152 17149 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 18012 17149 170 317 0 17691 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 72048 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11188 /proc/meminfo: memFree=1705592/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=84392 CPUtime=342.18 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 20122 0 0 0 34203 15 0 0 25 0 1 0 132368191 86417408 19934 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 21098 19934 170 317 0 20777 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 84392 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11188 /proc/meminfo: memFree=1697656/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=93092 CPUtime=402.16 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 22395 0 0 0 40199 17 0 0 25 0 1 0 132368191 95326208 21910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 23273 21910 170 317 0 22952 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 93092 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11188 /proc/meminfo: memFree=1690232/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=100672 CPUtime=462.15 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 24427 0 0 0 46196 19 0 0 25 0 1 0 132368191 103088128 23744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 25168 23744 170 317 0 24847 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 100672 [startup+522.303 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11188 /proc/meminfo: memFree=1681272/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=111472 CPUtime=522.13 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 27143 0 0 0 52191 22 0 0 25 0 1 0 132368191 114147328 25998 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 27868 25998 170 317 0 27547 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 111472 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11188 /proc/meminfo: memFree=1673656/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=120208 CPUtime=582.11 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 29495 0 0 0 58187 24 0 0 25 0 1 0 132368191 123092992 27860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 30052 27860 170 317 0 29731 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 120208 [startup+642.303 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11188 /proc/meminfo: memFree=1667192/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=126728 CPUtime=642.1 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 31258 0 0 0 64184 26 0 0 25 0 1 0 132368191 129769472 29458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 31682 29458 170 317 0 31361 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 126728 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/73 11296 /proc/meminfo: memFree=1643400/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=150564 CPUtime=941.96 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 37780 0 0 0 94162 34 0 0 25 0 1 0 132368191 154177536 35070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 37641 35070 170 317 0 37320 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 150564 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11386 /proc/meminfo: memFree=1638904/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=156812 CPUtime=1001.89 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 39550 0 0 0 100153 36 0 0 25 0 1 0 132368191 160575488 36450 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 39203 36450 170 317 0 38882 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 156812 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11386 /proc/meminfo: memFree=1635064/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=160520 CPUtime=1061.87 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 40593 0 0 0 106150 37 0 0 25 0 1 0 132368191 164372480 37428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 40130 37428 170 317 0 39809 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 160520 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11386 /proc/meminfo: memFree=1627384/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=168460 CPUtime=1121.86 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 42597 0 0 0 112146 40 0 0 25 0 1 0 132368191 172503040 39301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 42115 39301 170 317 0 41794 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 168460 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11386 /proc/meminfo: memFree=1622712/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=173352 CPUtime=1181.84 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 43800 0 0 0 118143 41 0 0 25 0 1 0 132368191 177512448 40504 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 43338 40504 170 317 0 43017 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 173352 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11386 /proc/meminfo: memFree=1616568/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=181496 CPUtime=1241.82 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 45741 0 0 0 124139 43 0 0 25 0 1 0 132368191 185851904 42016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 45374 42016 170 317 0 45053 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 181496 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11386 /proc/meminfo: memFree=1612472/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=185488 CPUtime=1301.8 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 46796 0 0 0 130137 43 0 0 25 0 1 0 132368191 189939712 43038 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 46372 43038 170 317 0 46051 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 185488 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11386 /proc/meminfo: memFree=1607864/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=189812 CPUtime=1361.79 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 47962 0 0 0 136134 45 0 0 25 0 1 0 132368191 194367488 44204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 47453 44204 170 317 0 47132 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 189812 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11388 /proc/meminfo: memFree=1602872/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=195108 CPUtime=1421.77 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 49232 0 0 0 142131 46 0 0 25 0 1 0 132368191 199790592 45441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 48777 45441 170 317 0 48456 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 195108 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11388 /proc/meminfo: memFree=1597880/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=199596 CPUtime=1481.75 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 50494 0 0 0 148128 47 0 0 25 0 1 0 132368191 204386304 46703 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554600 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 49899 46703 170 317 0 49578 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 199596 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11388 /proc/meminfo: memFree=1592952/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=204068 CPUtime=1541.73 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 51741 0 0 0 154125 48 0 0 25 0 1 0 132368191 208965632 47917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 51017 47917 170 317 0 50696 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 204068 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11388 /proc/meminfo: memFree=1586744/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=212600 CPUtime=1601.71 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 53982 0 0 0 160121 50 0 0 25 0 1 0 132368191 217702400 49411 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 53150 49411 170 317 0 52829 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 212600 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11388 /proc/meminfo: memFree=1583992/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=215400 CPUtime=1661.69 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 54857 0 0 0 166118 51 0 0 25 0 1 0 132368191 220569600 50154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 53850 50154 170 317 0 53529 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 215400 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11388 /proc/meminfo: memFree=1580536/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=218932 CPUtime=1721.67 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 55788 0 0 0 172115 52 0 0 25 0 1 0 132368191 224186368 51019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 54733 51019 170 317 0 54412 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 218932 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11388 /proc/meminfo: memFree=1576120/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=225048 CPUtime=1781.66 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 57287 0 0 0 178112 54 0 0 25 0 1 0 132368191 230449152 52122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 56262 52122 170 317 0 55941 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 225048 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11388 /proc/meminfo: memFree=1574392/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=226612 CPUtime=1800.06 /proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 57717 0 0 0 179951 55 0 0 25 0 1 0 132368191 232050688 52552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11187/statm: 56653 52552 170 317 0 56332 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 226612 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: 0.99 0.97 0.98 2/67 11388 /proc/meminfo: memFree=1574392/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=0 CPUtime=1800.34 /proc/11187/stat : 11187 (oree) D 11185 11187 10844 0 -1 4194308 57736 0 0 0 179976 58 0 0 25 0 1 0 132368191 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100133566 0 0 17 1 0 0 /proc/11187/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.34 Current children cumulated vsize (KiB) 0 [startup+1801.1 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11388 /proc/meminfo: memFree=1574392/2055920 swapFree=4181256/4192956 [pid=11187] ppid=11185 vsize=0 CPUtime=1800.34 /proc/11187/stat : 11187 (oree) D 11185 11187 10844 0 -1 4194308 57736 0 0 0 179976 58 0 0 23 0 1 0 132368191 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100133566 0 0 17 0 0 0 /proc/11187/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.34 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.14 CPU time (s): 1800.36 CPU user time (s): 1799.77 CPU system time (s): 0.58891 CPU usage (%): 99.9564 Max. virtual memory (cumulated for all children) (KiB): 226612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.77 system time used= 0.58891 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57736 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= 4483 runsolver used 1.77173 second user time and 4.80127 second system time The end
Begin job on node54 on Tue Apr 17 22:45:37 UTC 2007 IDJOB= 362972 IDBENCH= 1701 IDSOLVER= 172 FILE ID= node54/362972-1176849937 PBS_JOBID= 4590190 Free space on /tmp= 66340 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc205.opb COMMAND LINE= oree /tmp/evaluation/362972-1176849937/instance-362972-1176849937.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-362972-1176849937 -o ROOT/results/node54/solver-362972-1176849937 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362972-1176849937/instance-362972-1176849937.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 085f6c29f952ff5e0e711950d59893d5 RANDOM SEED= 836077273 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node54.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1785688 kB Buffers: 19676 kB Cached: 200580 kB SwapCached: 5028 kB Active: 48520 kB Inactive: 182624 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1785688 kB SwapTotal: 4192956 kB SwapFree: 4181256 kB Dirty: 1468 kB Writeback: 0 kB Mapped: 15648 kB Slab: 25064 kB Committed_AS: 2018852 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66340 MiB End job on node54 on Tue Apr 17 23:15:40 UTC 2007