Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.13 | 1800.58 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-degen3.opb |
MD5SUM | 869a8e6f75acef89713c9145ce005816 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 54540 |
Total number of constraints | 1503 |
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 | 1503 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 6090 |
Number of terms in the objective function | 47190 |
Biggest coefficient in the objective function | 1547 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 563727 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 131073 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 563727 |
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... 1.89/1.90 c ...done 1.89/1.90 c #vars=54540 #constraints=2221 hasObjective=yes 2.89/2.99 c res. mode=mod 2.89/2.99 c VSIDS like heuristics 2.89/2.99 c complete search running 8.19/8.22 c restart after 401 decisions 8.29/8.31 c nbDecision=500 #constraints=2349 13.79/13.83 c restart after 801 decisions 14.29/14.32 c nbDecision=1000 #constraints=2500 21.48/21.59 c nbDecision=1500 #constraints=2736 22.28/22.34 c restart after 1601 decisions 27.09/27.11 c nbDecision=2000 #constraints=2869 32.58/32.68 c nbDecision=2500 #constraints=3054 36.78/36.86 c nbDecision=3000 #constraints=3183 38.48/38.55 c restart after 3201 decisions 40.69/40.78 c nbDecision=3500 #constraints=3272 46.09/46.12 c nbDecision=4000 #constraints=3415 50.48/50.53 c nbDecision=4500 #constraints=3536 53.88/53.97 c nbDecision=5000 #constraints=3606 57.09/57.12 c nbDecision=5500 #constraints=3680 60.78/60.82 c nbDecision=6000 #constraints=3762 65.67/65.70 c restart after 6401 decisions 65.77/65.82 c nbDecision=6500 #constraints=3980 70.97/71.07 c nbDecision=7000 #constraints=4080 75.77/75.82 c nbDecision=7500 #constraints=4184 80.57/80.68 c nbDecision=8000 #constraints=4289 86.67/86.74 c nbDecision=8500 #constraints=4500 92.67/92.70 c nbDecision=9000 #constraints=4734 97.87/97.94 c nbDecision=9500 #constraints=4913 102.77/102.81 c nbDecision=10000 #constraints=5034 108.77/108.89 c nbDecision=10500 #constraints=5209 114.86/114.96 c nbDecision=11000 #constraints=5411 121.16/121.25 c nbDecision=11500 #constraints=5545 126.86/126.90 c nbDecision=12000 #constraints=5721 132.56/132.70 c nbDecision=12500 #constraints=5790 135.46/135.59 c restart after 12801 decisions 135.76/135.89 c nbDecision=13000 #constraints=5866 142.16/142.29 c nbDecision=13500 #constraints=6004 148.16/148.22 c nbDecision=14000 #constraints=6094 153.25/153.38 c nbDecision=14500 #constraints=6191 158.85/158.91 c nbDecision=15000 #constraints=6294 164.25/164.37 c nbDecision=15500 #constraints=6397 170.46/170.55 c nbDecision=16000 #constraints=6530 175.65/175.76 c nbDecision=16500 #constraints=6601 182.14/182.20 c nbDecision=17000 #constraints=6750 188.44/188.54 c nbDecision=17500 #constraints=6886 194.25/194.38 c nbDecision=18000 #constraints=7000 200.35/200.42 c nbDecision=18500 #constraints=7096 207.44/207.59 c nbDecision=19000 #constraints=7239 213.94/214.10 c nbDecision=19500 #constraints=7343 219.74/219.82 c nbDecision=20000 #constraints=7461 225.73/225.80 c nbDecision=20500 #constraints=7553 232.53/232.66 c nbDecision=21000 #constraints=7659 238.93/239.04 c nbDecision=21500 #constraints=7795 245.53/245.67 c nbDecision=22000 #constraints=7912 252.03/252.19 c nbDecision=22500 #constraints=8064 259.53/259.64 c nbDecision=23000 #constraints=8211 267.23/267.31 c nbDecision=23500 #constraints=8342 274.52/274.67 c nbDecision=24000 #constraints=8472 281.72/281.87 c nbDecision=24500 #constraints=8662 289.52/289.66 c nbDecision=25000 #constraints=8787 295.52/295.63 c nbDecision=25500 #constraints=8922 297.01/297.12 c restart after 25601 decisions 301.61/301.75 c nbDecision=26000 #constraints=9054 308.91/309.06 c nbDecision=26500 #constraints=9106 315.62/315.79 c nbDecision=27000 #constraints=9169 322.91/323.07 c nbDecision=27500 #constraints=9254 330.71/330.89 c nbDecision=28000 #constraints=9340 339.51/339.65 c nbDecision=28500 #constraints=9478 348.00/348.12 c nbDecision=29000 #constraints=9575 354.10/354.23 c nbDecision=29500 #constraints=9661 362.20/362.34 c nbDecision=30000 #constraints=9722 370.20/370.39 c nbDecision=30500 #constraints=9827 378.80/378.96 c nbDecision=31000 #constraints=9881 387.10/387.25 c nbDecision=31500 #constraints=9958 395.49/395.65 c nbDecision=32000 #constraints=10057 403.69/403.85 c nbDecision=32500 #constraints=10211 409.89/410.04 c nbDecision=33000 #constraints=10303 418.19/418.34 c nbDecision=33500 #constraints=10409 427.49/427.64 c nbDecision=34000 #constraints=10493 436.28/436.44 c nbDecision=34500 #constraints=10700 443.48/443.62 c nbDecision=35000 #constraints=10882 452.08/452.20 c nbDecision=35500 #constraints=11101 461.48/461.61 c nbDecision=36000 #constraints=11282 471.27/471.40 c nbDecision=36500 #constraints=11385 481.07/481.20 c nbDecision=37000 #constraints=11585 491.27/491.42 c nbDecision=37500 #constraints=11689 501.67/501.88 c nbDecision=38000 #constraints=11879 512.17/512.38 c nbDecision=38500 #constraints=12015 523.66/523.83 c nbDecision=39000 #constraints=12090 533.66/533.82 c nbDecision=39500 #constraints=12267 543.76/543.90 c nbDecision=40000 #constraints=12448 554.65/554.83 c nbDecision=40500 #constraints=12651 565.05/565.28 c nbDecision=41000 #constraints=12724 574.65/574.84 c nbDecision=41500 #constraints=12831 585.85/586.06 c nbDecision=42000 #constraints=13037 596.04/596.22 c nbDecision=42500 #constraints=13300 606.64/606.90 c nbDecision=43000 #constraints=13574 616.94/617.18 c nbDecision=43500 #constraints=13786 629.54/629.74 c nbDecision=44000 #constraints=13905 641.63/641.86 c nbDecision=44500 #constraints=14040 653.23/653.46 c nbDecision=45000 #constraints=14228 663.73/663.90 c nbDecision=45500 #constraints=14529 676.42/676.63 c nbDecision=46000 #constraints=14611 691.12/691.34 c nbDecision=46500 #constraints=14730 704.22/704.45 c nbDecision=47000 #constraints=14866 715.01/715.25 c nbDecision=47500 #constraints=15140 726.71/726.94 c nbDecision=48000 #constraints=15482 740.51/740.76 c nbDecision=48500 #constraints=15605 752.80/753.05 c nbDecision=49000 #constraints=15757 763.50/763.79 c nbDecision=49500 #constraints=15972 776.80/777.07 c nbDecision=50000 #constraints=16227 789.29/789.52 c nbDecision=50500 #constraints=16480 803.19/803.40 c nbDecision=51000 #constraints=16589 809.09/809.37 c restart after 51201 decisions 812.99/813.20 c nbDecision=51500 #constraints=16718 829.98/830.27 c nbDecision=52000 #constraints=16794 845.88/846.19 c nbDecision=52500 #constraints=16887 861.78/862.09 c nbDecision=53000 #constraints=16980 878.07/878.31 c nbDecision=53500 #constraints=17039 894.47/894.70 c nbDecision=54000 #constraints=17101 908.66/908.96 c nbDecision=54500 #constraints=17228 924.96/925.24 c nbDecision=55000 #constraints=17319 943.85/944.15 c nbDecision=55500 #constraints=17390 961.25/961.54 c nbDecision=56000 #constraints=17455 979.94/980.24 c nbDecision=56500 #constraints=17540 997.94/998.22 c nbDecision=57000 #constraints=17617 1011.44/1011.71 c nbDecision=57500 #constraints=17737 1027.63/1027.96 c nbDecision=58000 #constraints=17803 1041.83/1042.15 c nbDecision=58500 #constraints=17881 1055.33/1055.69 c nbDecision=59000 #constraints=18048 1069.22/1069.55 c nbDecision=59500 #constraints=18168 1083.22/1083.53 c nbDecision=60000 #constraints=18384 1096.52/1096.85 c nbDecision=60500 #constraints=18544 1112.21/1112.52 c nbDecision=61000 #constraints=18698 1130.71/1131.01 c nbDecision=61500 #constraints=18762 1146.11/1146.48 c nbDecision=62000 #constraints=18969 1164.80/1165.13 c nbDecision=62500 #constraints=19142 1184.89/1185.29 c nbDecision=63000 #constraints=19223 1199.39/1199.76 c nbDecision=63500 #constraints=19378 1214.89/1215.27 c nbDecision=64000 #constraints=19483 1228.48/1228.85 c nbDecision=64500 #constraints=19622 1242.78/1243.10 c nbDecision=65000 #constraints=19799 1259.28/1259.66 c nbDecision=65500 #constraints=19969 1274.48/1274.90 c nbDecision=66000 #constraints=20083 1289.07/1289.42 c nbDecision=66500 #constraints=20323 1304.27/1304.69 c nbDecision=67000 #constraints=20513 1320.96/1321.32 c nbDecision=67500 #constraints=20634 1338.27/1338.63 c nbDecision=68000 #constraints=20824 1355.45/1355.90 c nbDecision=68500 #constraints=20958 1377.85/1378.25 c nbDecision=69000 #constraints=21062 1391.75/1392.12 c nbDecision=69500 #constraints=21261 1407.74/1408.10 c nbDecision=70000 #constraints=21400 1427.53/1427.92 c nbDecision=70500 #constraints=21554 1443.13/1443.58 c nbDecision=71000 #constraints=21762 1459.83/1460.20 c nbDecision=71500 #constraints=21854 1476.42/1476.82 c nbDecision=72000 #constraints=22013 1493.22/1493.61 c nbDecision=72500 #constraints=22095 1515.32/1515.77 c nbDecision=73000 #constraints=22165 1530.11/1530.51 c nbDecision=73500 #constraints=22381 1545.81/1546.25 c nbDecision=74000 #constraints=22623 1563.00/1563.41 c nbDecision=74500 #constraints=22788 1584.60/1585.09 c nbDecision=75000 #constraints=22874 1602.49/1602.96 c nbDecision=75500 #constraints=22982 1618.69/1619.20 c nbDecision=76000 #constraints=23138 1639.38/1639.85 c nbDecision=76500 #constraints=23249 1659.07/1659.56 c nbDecision=77000 #constraints=23307 1677.78/1678.23 c nbDecision=77500 #constraints=23566 1697.17/1697.61 c nbDecision=78000 #constraints=23767 1711.07/1711.53 c nbDecision=78500 #constraints=24086 1734.26/1734.75 c nbDecision=79000 #constraints=24172 1754.06/1754.56 c nbDecision=79500 #constraints=24290 1773.15/1773.63 c nbDecision=80000 #constraints=24516 1789.55/1790.08 c nbDecision=80500 #constraints=24839 1800.04/1800.50 Received signal 15 1800.04/1800.50 1800.04/1800.50 s UNKNOWN 1800.04/1800.50 1800.04/1800.50 c user time= 1799.45 s 1800.04/1800.50 c system time= 0.608907 s 1800.04/1800.50 c wall clock time=1800.51
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node18/watcher-356924-1176848541 -o ROOT/results/node18/solver-356924-1176848541 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356924-1176848541/instance-356924-1176848541.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.91 0.95 0.96 3/77 30174 /proc/meminfo: memFree=1823384/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=1620 CPUtime=0 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 188 0 0 0 0 0 0 0 18 0 1 0 132771560 1658880 170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 405 172 126 317 0 84 0 [startup+0.00749211 s] /proc/loadavg: 0.91 0.95 0.96 3/77 30174 /proc/meminfo: memFree=1823384/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=1620 CPUtime=0 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 199 0 0 0 0 0 0 0 18 0 1 0 132771560 1658880 181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 405 181 126 317 0 84 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1620 [startup+0.1015 s] /proc/loadavg: 0.91 0.95 0.96 3/77 30174 /proc/meminfo: memFree=1823384/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=3440 CPUtime=0.09 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 829 0 0 0 9 0 0 0 18 0 1 0 132771560 3522560 584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 860 584 128 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301519 s] /proc/loadavg: 0.91 0.95 0.96 3/77 30174 /proc/meminfo: memFree=1823384/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=7852 CPUtime=0.29 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 1835 0 0 0 29 0 0 0 19 0 1 0 132771560 8040448 1590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 1963 1590 131 317 0 1642 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7852 [startup+0.701558 s] /proc/loadavg: 0.91 0.95 0.96 3/77 30174 /proc/meminfo: memFree=1823384/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=15644 CPUtime=0.69 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 3572 0 0 0 68 1 0 0 23 0 1 0 132771560 16019456 3327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 3911 3327 131 317 0 3590 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15644 [startup+1.50164 s] /proc/loadavg: 0.91 0.95 0.96 2/78 30175 /proc/meminfo: memFree=1805264/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=30392 CPUtime=1.49 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 6930 0 0 0 145 4 0 0 25 0 1 0 132771560 31121408 6685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 7598 6685 131 317 0 7277 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30392 [startup+3.10179 s] /proc/loadavg: 0.91 0.95 0.96 2/78 30175 /proc/meminfo: memFree=1783376/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=53288 CPUtime=3.09 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 12520 0 0 0 303 6 0 0 25 0 1 0 132771560 54566912 12275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 13322 12275 137 317 0 13001 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 53288 [startup+6.3011 s] /proc/loadavg: 1.00 0.97 0.96 2/78 30175 /proc/meminfo: memFree=1773392/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=54692 CPUtime=6.29 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 12839 0 0 0 622 7 0 0 25 0 1 0 132771560 56004608 12594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 13673 12594 139 317 0 13352 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 54692 [startup+12.7027 s] /proc/loadavg: 1.00 0.97 0.96 2/78 30175 /proc/meminfo: memFree=1770512/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=57724 CPUtime=12.69 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 13598 0 0 0 1262 7 0 0 25 0 1 0 132771560 59109376 13353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 14431 13353 139 317 0 14110 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 57724 [startup+25.502 s] /proc/loadavg: 1.00 0.97 0.96 2/78 30175 /proc/meminfo: memFree=1764688/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=63276 CPUtime=25.49 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 15006 0 0 0 2541 8 0 0 25 0 1 0 132771560 64794624 14761 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 15819 14761 139 317 0 15498 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 63276 [startup+51.1014 s] /proc/loadavg: 1.00 0.97 0.96 2/78 30175 /proc/meminfo: memFree=1755216/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=72980 CPUtime=51.08 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 17409 0 0 0 5099 9 0 0 25 0 1 0 132771560 74731520 17164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 18245 17164 139 317 0 17924 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 72980 [startup+102.305 s] /proc/loadavg: 1.05 0.99 0.97 2/78 30175 /proc/meminfo: memFree=1734928/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=93668 CPUtime=102.27 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 22441 0 0 0 10215 12 0 0 25 0 1 0 132771560 95916032 22196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 23417 22196 139 317 0 23096 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 93668 [startup+162.301 s] /proc/loadavg: 1.02 0.99 0.97 2/78 30175 /proc/meminfo: memFree=1717392/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=112108 CPUtime=162.25 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 26828 0 0 0 16210 15 0 0 25 0 1 0 132771560 114798592 26583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 28027 26583 139 317 0 27706 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 112108 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 30175 /proc/meminfo: memFree=1706448/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=122520 CPUtime=222.23 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 29553 0 0 0 22206 17 0 0 25 0 1 0 132771560 125460480 29308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716193 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 30630 29308 139 317 0 30309 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 122520 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 30175 /proc/meminfo: memFree=1693264/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=136224 CPUtime=282.22 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 32884 0 0 0 28202 20 0 0 25 0 1 0 132771560 139493376 32581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 34056 32581 139 317 0 33735 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 136224 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 30175 /proc/meminfo: memFree=1683600/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=145368 CPUtime=342.21 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 35282 0 0 0 34199 22 0 0 25 0 1 0 132771560 148856832 34979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 36342 34979 139 317 0 36021 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 145368 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 30175 /proc/meminfo: memFree=1671504/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=160104 CPUtime=402.19 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 38313 0 0 0 40195 24 0 0 25 0 1 0 132771560 163946496 38010 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 40026 38010 139 317 0 39705 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 160104 [startup+462.301 s] /proc/loadavg: 1.08 1.00 0.97 2/78 30175 /proc/meminfo: memFree=1656336/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=175980 CPUtime=462.18 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 42123 0 0 0 46191 27 0 0 25 0 1 0 132771560 180203520 41820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 43995 41820 139 317 0 43674 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 175980 [startup+522.302 s] /proc/loadavg: 1.03 1.00 0.97 2/78 30175 /proc/meminfo: memFree=1646800/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=184552 CPUtime=522.16 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 44478 0 0 0 52188 28 0 0 25 0 1 0 132771560 188981248 44175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 46138 44175 139 317 0 45817 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 184552 [startup+582.302 s] /proc/loadavg: 1.01 1.00 0.97 2/78 30175 /proc/meminfo: memFree=1636880/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=193340 CPUtime=582.14 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 46936 0 0 0 58184 30 0 0 25 0 1 0 132771560 197980160 46633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 48335 46633 139 317 0 48014 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 193340 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30175 /proc/meminfo: memFree=1625424/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=204136 CPUtime=642.13 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 49798 0 0 0 64180 33 0 0 25 0 1 0 132771560 209035264 49495 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 51034 49495 139 317 0 50713 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 204136 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30175 /proc/meminfo: memFree=1587280/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=247240 CPUtime=882.07 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 59443 0 0 0 88165 42 0 0 25 0 1 0 132771560 253173760 59026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 61810 59026 139 317 0 61489 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 247240 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30177 /proc/meminfo: memFree=1584272/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=250120 CPUtime=942.05 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 60164 0 0 0 94162 43 0 0 25 0 1 0 132771560 256122880 59747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 62530 59747 139 317 0 62209 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 250120 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30177 /proc/meminfo: memFree=1581712/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=252612 CPUtime=1002.04 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 60809 0 0 0 100160 44 0 0 25 0 1 0 132771560 258674688 60392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 63153 60392 139 317 0 62832 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 252612 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.97 3/78 30177 /proc/meminfo: memFree=1573968/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=262936 CPUtime=1062.03 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 62737 0 0 0 106158 45 0 0 25 0 1 0 132771560 269246464 62320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 65734 62320 139 317 0 65413 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 262936 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 3/78 30177 /proc/meminfo: memFree=1567312/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=269088 CPUtime=1122.01 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 64402 0 0 0 112155 46 0 0 25 0 1 0 132771560 275546112 63985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 67272 63985 139 317 0 66951 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 269088 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30177 /proc/meminfo: memFree=1562768/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=273304 CPUtime=1181.99 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 65535 0 0 0 118152 47 0 0 25 0 1 0 132771560 279863296 65118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 68326 65118 139 317 0 68005 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 273304 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30177 /proc/meminfo: memFree=1557136/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=278812 CPUtime=1241.98 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 66934 0 0 0 124150 48 0 0 25 0 1 0 132771560 285503488 66517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 69703 66517 139 317 0 69382 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 278812 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30177 /proc/meminfo: memFree=1550160/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=285172 CPUtime=1301.97 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 68664 0 0 0 130147 50 0 0 25 0 1 0 132771560 292016128 68247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 71293 68247 139 317 0 70972 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 285172 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30177 /proc/meminfo: memFree=1545296/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=289468 CPUtime=1361.95 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 69869 0 0 0 136144 51 0 0 25 0 1 0 132771560 296415232 69452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 72367 69452 139 317 0 72046 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 289468 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30177 /proc/meminfo: memFree=1540048/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=294204 CPUtime=1421.94 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 71187 0 0 0 142142 52 0 0 25 0 1 0 132771560 301264896 70770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 73551 70770 139 317 0 73230 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 294204 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30177 /proc/meminfo: memFree=1535056/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=298696 CPUtime=1481.92 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 72422 0 0 0 148138 54 0 0 25 0 1 0 132771560 305864704 72005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 74674 72005 139 317 0 74353 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 298696 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30177 /proc/meminfo: memFree=1530704/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=302764 CPUtime=1541.9 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 73522 0 0 0 154136 54 0 0 25 0 1 0 132771560 310030336 73105 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 75691 73105 139 317 0 75370 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 302764 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30177 /proc/meminfo: memFree=1525904/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=306976 CPUtime=1601.89 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 74697 0 0 0 160134 55 0 0 25 0 1 0 132771560 314343424 74280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712500 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 76744 74280 139 317 0 76423 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 306976 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30177 /proc/meminfo: memFree=1522000/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=310392 CPUtime=1661.87 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 75664 0 0 0 166131 56 0 0 25 0 1 0 132771560 317841408 75247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 77598 75247 139 317 0 77277 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 310392 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30177 /proc/meminfo: memFree=1514896/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=316972 CPUtime=1721.86 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 77440 0 0 0 172128 58 0 0 25 0 1 0 132771560 324579328 77023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 79243 77023 139 317 0 78922 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 316972 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30177 /proc/meminfo: memFree=1509200/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=322156 CPUtime=1781.85 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 78843 0 0 0 178125 60 0 0 25 0 1 0 132771560 329887744 78426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 80539 78426 139 317 0 80218 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 322156 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30177 /proc/meminfo: memFree=1507600/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=323744 CPUtime=1800.04 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 79246 0 0 0 179944 60 0 0 25 0 1 0 132771560 331513856 78829 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 80936 78829 139 317 0 80615 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 323744 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30177 /proc/meminfo: memFree=1507600/2055920 swapFree=4142712/4192956 [pid=30174] ppid=30172 vsize=323744 CPUtime=1800.04 /proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 79246 0 0 0 179944 60 0 0 25 0 1 0 132771560 331513856 78829 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30174/statm: 80936 78829 139 317 0 80615 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 323744 Child status: 0 Real time (s): 1800.58 CPU time (s): 1800.13 CPU user time (s): 1799.47 CPU system time (s): 0.661899 CPU usage (%): 99.9749 Max. virtual memory (cumulated for all children) (KiB): 323744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.47 system time used= 0.661899 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79262 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= 5107 runsolver used 2.13567 second user time and 4.32534 second system time The end
Begin job on node18 on Tue Apr 17 22:22:22 UTC 2007 IDJOB= 356924 IDBENCH= 1645 IDSOLVER= 172 FILE ID= node18/356924-1176848541 PBS_JOBID= 4590187 Free space on /tmp= 66502 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-degen3.opb COMMAND LINE= oree /tmp/evaluation/356924-1176848541/instance-356924-1176848541.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-356924-1176848541 -o ROOT/results/node18/solver-356924-1176848541 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356924-1176848541/instance-356924-1176848541.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 869a8e6f75acef89713c9145ce005816 RANDOM SEED= 900860394 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node18.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1823728 kB Buffers: 28300 kB Cached: 143872 kB SwapCached: 18432 kB Active: 97664 kB Inactive: 101896 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1823728 kB SwapTotal: 4192956 kB SwapFree: 4142712 kB Dirty: 9312 kB Writeback: 0 kB Mapped: 30100 kB Slab: 18144 kB Committed_AS: 4325624 kB PageTables: 1780 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= 66502 MiB End job on node18 on Tue Apr 17 22:52:24 UTC 2007