Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.18 | 1800.69 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-liu.opb |
MD5SUM | d5cbc530e20e0da41254bd2567f4c2ba |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 34564 |
Best CPU time to get the best result obtained on this benchmark | 1802.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 34564 |
Optimality of the best value was proved | NO |
Number of variables | 3097 |
Total number of constraints | 2178 |
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 | 2178 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 63 |
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 | 524328 |
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.29/0.36 c ...done 0.29/0.36 c #vars=3097 #constraints=2179 hasObjective=yes 0.39/0.40 c res. mode=mod 0.39/0.40 c VSIDS like heuristics 0.39/0.40 c complete search running 0.39/0.46 c restart after 401 decisions 0.39/0.49 c nbDecision=500 #constraints=2193 0.49/0.56 c restart after 801 decisions 0.59/0.61 c nbDecision=1000 #constraints=2237 0.69/0.75 c nbDecision=1500 #constraints=2318 0.69/0.77 c restart after 1601 decisions 0.79/0.86 c nbDecision=2000 #constraints=2342 0.89/0.96 c nbDecision=2500 #constraints=2398 1.00/1.05 c nbDecision=3000 #constraints=2450 1.00/1.09 c restart after 3201 decisions 1.10/1.16 c nbDecision=3500 #constraints=2473 1.19/1.28 c nbDecision=4000 #constraints=2541 1.39/1.43 c nbDecision=4500 #constraints=2627 1.49/1.54 c nbDecision=5000 #constraints=2682 1.59/1.65 c nbDecision=5500 #constraints=2727 1.69/1.78 c nbDecision=6000 #constraints=2781 1.79/1.87 c restart after 6401 decisions 1.89/1.90 c nbDecision=6500 #constraints=2804 1.99/2.02 c nbDecision=7000 #constraints=2828 2.09/2.14 c nbDecision=7500 #constraints=2871 2.29/2.30 c nbDecision=8000 #constraints=2942 2.39/2.42 c nbDecision=8500 #constraints=2985 2.49/2.56 c nbDecision=9000 #constraints=3034 2.69/2.74 c nbDecision=9500 #constraints=3118 2.79/2.85 c nbDecision=10000 #constraints=3147 2.89/2.98 c nbDecision=10500 #constraints=3180 3.09/3.11 c nbDecision=11000 #constraints=3228 3.19/3.21 c nbDecision=11500 #constraints=3244 3.29/3.36 c nbDecision=12000 #constraints=3295 3.39/3.48 c nbDecision=12500 #constraints=3319 3.49/3.56 c restart after 12801 decisions 3.59/3.63 c nbDecision=13000 #constraints=3341 3.89/3.98 c nbDecision=13500 #constraints=3601 4.39/4.49 c nbDecision=14000 #constraints=3892 5.29/5.33 c nbDecision=14500 #constraints=4277 5.99/6.05 c nbDecision=15000 #constraints=4537 7.29/7.33 c nbDecision=15500 #constraints=4929 8.79/8.89 c nbDecision=16000 #constraints=5321 10.09/10.15 c nbDecision=16500 #constraints=5569 12.29/12.39 c nbDecision=17000 #constraints=5990 14.19/14.26 c nbDecision=17500 #constraints=6268 16.68/16.70 c nbDecision=18000 #constraints=6599 19.88/19.94 c nbDecision=18500 #constraints=6995 23.28/23.37 c nbDecision=19000 #constraints=7358 26.19/26.25 c nbDecision=19500 #constraints=7613 29.88/29.98 c nbDecision=20000 #constraints=7972 33.67/33.73 c nbDecision=20500 #constraints=8269 37.98/38.02 c nbDecision=21000 #constraints=8586 43.48/43.50 c nbDecision=21500 #constraints=8972 48.97/49.07 c nbDecision=22000 #constraints=9338 53.97/54.02 c nbDecision=22500 #constraints=9630 61.57/61.67 c nbDecision=23000 #constraints=10125 70.28/70.30 c nbDecision=23500 #constraints=10616 75.17/75.29 c nbDecision=24000 #constraints=10839 82.27/82.32 c nbDecision=24500 #constraints=11183 90.56/90.64 c nbDecision=25000 #constraints=11591 97.96/98.00 c nbDecision=25500 #constraints=11882 99.96/100.05 c restart after 25601 decisions 101.06/101.14 c nbDecision=26000 #constraints=12007 102.36/102.44 c nbDecision=26500 #constraints=12076 103.16/103.28 c nbDecision=27000 #constraints=12115 104.06/104.18 c nbDecision=27500 #constraints=12158 104.86/104.97 c nbDecision=28000 #constraints=12212 105.76/105.83 c nbDecision=28500 #constraints=12255 106.26/106.34 c nbDecision=29000 #constraints=12301 106.96/107.07 c nbDecision=29500 #constraints=12341 107.66/107.77 c nbDecision=30000 #constraints=12372 108.36/108.49 c nbDecision=30500 #constraints=12419 109.16/109.26 c nbDecision=31000 #constraints=12449 109.66/109.77 c nbDecision=31500 #constraints=12473 110.36/110.44 c nbDecision=32000 #constraints=12505 110.97/111.05 c nbDecision=32500 #constraints=12529 111.56/111.62 c nbDecision=33000 #constraints=12551 112.06/112.19 c nbDecision=33500 #constraints=12573 112.76/112.89 c nbDecision=34000 #constraints=12591 113.56/113.68 c nbDecision=34500 #constraints=12638 114.36/114.46 c nbDecision=35000 #constraints=12671 115.06/115.14 c nbDecision=35500 #constraints=12715 115.56/115.68 c nbDecision=36000 #constraints=12739 116.26/116.34 c nbDecision=36500 #constraints=12776 116.86/116.93 c nbDecision=37000 #constraints=12812 117.46/117.50 c nbDecision=37500 #constraints=12844 117.96/118.06 c nbDecision=38000 #constraints=12870 118.46/118.52 c nbDecision=38500 #constraints=12895 119.06/119.11 c nbDecision=39000 #constraints=12916 119.66/119.74 c nbDecision=39500 #constraints=12938 120.36/120.49 c nbDecision=40000 #constraints=12989 120.86/120.98 c nbDecision=40500 #constraints=13016 121.45/121.54 c nbDecision=41000 #constraints=13051 122.06/122.19 c nbDecision=41500 #constraints=13083 122.75/122.81 c nbDecision=42000 #constraints=13109 123.45/123.52 c nbDecision=42500 #constraints=13138 124.16/124.28 c nbDecision=43000 #constraints=13166 124.95/125.00 c nbDecision=43500 #constraints=13185 125.55/125.66 c nbDecision=44000 #constraints=13205 126.35/126.49 c nbDecision=44500 #constraints=13254 127.25/127.30 c nbDecision=45000 #constraints=13286 127.75/127.89 c nbDecision=45500 #constraints=13312 128.55/128.65 c nbDecision=46000 #constraints=13343 129.15/129.23 c nbDecision=46500 #constraints=13366 129.85/129.91 c nbDecision=47000 #constraints=13391 130.35/130.46 c nbDecision=47500 #constraints=13408 131.06/131.10 c nbDecision=48000 #constraints=13439 131.66/131.79 c nbDecision=48500 #constraints=13472 132.35/132.48 c nbDecision=49000 #constraints=13498 132.85/132.98 c nbDecision=49500 #constraints=13524 133.45/133.57 c nbDecision=50000 #constraints=13551 134.06/134.16 c nbDecision=50500 #constraints=13568 134.65/134.74 c nbDecision=51000 #constraints=13597 134.85/134.96 c restart after 51201 decisions 135.35/135.46 c nbDecision=51500 #constraints=13607 137.95/138.03 c nbDecision=52000 #constraints=13974 141.45/141.50 c nbDecision=52500 #constraints=14407 145.06/145.17 c nbDecision=53000 #constraints=14839 149.75/149.88 c nbDecision=53500 #constraints=15283 155.64/155.75 c nbDecision=54000 #constraints=15733 160.14/160.23 c nbDecision=54500 #constraints=16153 165.24/165.39 c nbDecision=55000 #constraints=16583 170.94/171.03 c nbDecision=55500 #constraints=17022 177.84/177.96 c nbDecision=56000 #constraints=17457 186.84/186.97 c nbDecision=56500 #constraints=17788 196.34/196.49 c nbDecision=57000 #constraints=18188 204.93/205.01 c nbDecision=57500 #constraints=18517 213.43/213.50 c nbDecision=58000 #constraints=18840 223.62/223.78 c nbDecision=58500 #constraints=19215 230.73/230.81 c nbDecision=59000 #constraints=19436 240.83/240.91 c nbDecision=59500 #constraints=19800 253.52/253.69 c nbDecision=60000 #constraints=20236 263.12/263.26 c nbDecision=60500 #constraints=20546 273.61/273.79 c nbDecision=61000 #constraints=20863 285.81/285.92 c nbDecision=61500 #constraints=21217 294.71/294.89 c nbDecision=62000 #constraints=21480 309.80/309.94 c nbDecision=62500 #constraints=21904 322.79/322.98 c nbDecision=63000 #constraints=22254 331.30/331.43 c nbDecision=63500 #constraints=22467 345.60/345.71 c nbDecision=64000 #constraints=22879 359.09/359.20 c nbDecision=64500 #constraints=23207 371.59/371.77 c nbDecision=65000 #constraints=23508 387.38/387.53 c nbDecision=65500 #constraints=23902 398.18/398.38 c nbDecision=66000 #constraints=24148 413.57/413.73 c nbDecision=66500 #constraints=24515 429.47/429.64 c nbDecision=67000 #constraints=24885 444.06/444.23 c nbDecision=67500 #constraints=25194 459.06/459.29 c nbDecision=68000 #constraints=25526 474.86/475.05 c nbDecision=68500 #constraints=25865 490.05/490.26 c nbDecision=69000 #constraints=26178 510.95/511.17 c nbDecision=69500 #constraints=26598 527.75/527.99 c nbDecision=70000 #constraints=26926 544.24/544.45 c nbDecision=70500 #constraints=27235 562.83/563.06 c nbDecision=71000 #constraints=27606 578.53/578.79 c nbDecision=71500 #constraints=27896 593.02/593.20 c nbDecision=72000 #constraints=28164 610.32/610.54 c nbDecision=72500 #constraints=28489 624.12/624.39 c nbDecision=73000 #constraints=28732 649.00/649.21 c nbDecision=73500 #constraints=29192 664.11/664.37 c nbDecision=74000 #constraints=29436 680.50/680.73 c nbDecision=74500 #constraints=29729 703.70/703.96 c nbDecision=75000 #constraints=30147 722.79/723.00 c nbDecision=75500 #constraints=30453 742.08/742.31 c nbDecision=76000 #constraints=30757 763.87/764.16 c nbDecision=76500 #constraints=31108 776.97/777.24 c nbDecision=77000 #constraints=31312 805.76/806.06 c nbDecision=77500 #constraints=31775 822.36/822.62 c nbDecision=78000 #constraints=32004 840.55/840.81 c nbDecision=78500 #constraints=32295 860.44/860.73 c nbDecision=79000 #constraints=32573 876.64/876.97 c nbDecision=79500 #constraints=32818 897.63/898.00 c nbDecision=80000 #constraints=33132 913.94/914.27 c nbDecision=80500 #constraints=33369 946.03/946.35 c nbDecision=81000 #constraints=33850 964.22/964.53 c nbDecision=81500 #constraints=34086 990.32/990.66 c nbDecision=82000 #constraints=34446 1017.70/1018.07 c nbDecision=82500 #constraints=34838 1037.70/1038.04 c nbDecision=83000 #constraints=35090 1060.59/1060.91 c nbDecision=83500 #constraints=35427 1079.68/1080.09 c nbDecision=84000 #constraints=35672 1104.28/1104.65 c nbDecision=84500 #constraints=36003 1126.47/1126.87 c nbDecision=85000 #constraints=36290 1145.87/1146.29 c nbDecision=85500 #constraints=36541 1183.06/1183.45 c nbDecision=86000 #constraints=37026 1206.95/1207.32 c nbDecision=86500 #constraints=37320 1230.15/1230.52 c nbDecision=87000 #constraints=37589 1259.94/1260.36 c nbDecision=87500 #constraints=37971 1281.73/1282.10 c nbDecision=88000 #constraints=38217 1311.02/1311.44 c nbDecision=88500 #constraints=38592 1340.22/1340.60 c nbDecision=89000 #constraints=38935 1368.11/1368.52 c nbDecision=89500 #constraints=39246 1401.90/1402.40 c nbDecision=90000 #constraints=39641 1429.89/1430.38 c nbDecision=90500 #constraints=39951 1450.28/1450.76 c nbDecision=91000 #constraints=40178 1485.17/1485.65 c nbDecision=91500 #constraints=40578 1511.27/1511.78 c nbDecision=92000 #constraints=40880 1541.66/1542.14 c nbDecision=92500 #constraints=41205 1569.26/1569.80 c nbDecision=93000 #constraints=41491 1590.84/1591.36 c nbDecision=93500 #constraints=41731 1628.13/1628.64 c nbDecision=94000 #constraints=42131 1654.53/1655.08 c nbDecision=94500 #constraints=42403 1688.41/1688.96 c nbDecision=95000 #constraints=42774 1724.01/1724.53 c nbDecision=95500 #constraints=43157 1749.50/1750.09 c nbDecision=96000 #constraints=43415 1783.49/1784.03 c nbDecision=96500 #constraints=43752 1800.09/1800.60 Received signal 15 1800.09/1800.65 1800.09/1800.65 s UNKNOWN 1800.09/1800.65 1800.09/1800.65 c user time= 1799.69 s 1800.09/1800.65 c system time= 0.464929 s 1800.09/1800.65 c wall clock time=1800.66
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node45/watcher-357025-1176852073 -o ROOT/results/node45/solver-357025-1176852073 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357025-1176852073/instance-357025-1176852073.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.01 1.01 0.98 3/77 17984 /proc/meminfo: memFree=1629000/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=1468 CPUtime=0 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 177 0 0 0 0 0 0 0 18 0 1 0 40052899 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 367 160 131 317 0 46 0 [startup+0.091753 s] /proc/loadavg: 1.01 1.01 0.98 3/77 17984 /proc/meminfo: memFree=1629000/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=2656 CPUtime=0.08 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 489 0 0 0 8 0 0 0 18 0 1 0 40052899 2719744 471 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 664 471 131 317 0 343 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2656 [startup+0.101753 s] /proc/loadavg: 1.01 1.01 0.98 3/77 17984 /proc/meminfo: memFree=1629000/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=2788 CPUtime=0.09 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 524 0 0 0 9 0 0 0 18 0 1 0 40052899 2854912 506 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 697 506 131 317 0 376 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2788 [startup+0.301773 s] /proc/loadavg: 1.01 1.01 0.98 3/77 17984 /proc/meminfo: memFree=1629000/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=5560 CPUtime=0.29 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 1214 0 0 0 29 0 0 0 19 0 1 0 40052899 5693440 1196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134981054 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 1390 1196 131 317 0 1069 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5560 [startup+0.701813 s] /proc/loadavg: 1.01 1.01 0.98 3/77 17984 /proc/meminfo: memFree=1629000/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=8864 CPUtime=0.69 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 2034 0 0 0 68 1 0 0 23 0 1 0 40052899 9076736 2016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 2216 2016 139 317 0 1895 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8864 [startup+1.50189 s] /proc/loadavg: 1.01 1.01 0.98 2/78 17985 /proc/meminfo: memFree=1620992/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=10308 CPUtime=1.49 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 2392 0 0 0 148 1 0 0 25 0 1 0 40052899 10555392 2374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 2577 2374 139 317 0 2256 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10308 [startup+3.10106 s] /proc/loadavg: 1.01 1.01 0.98 2/78 17985 /proc/meminfo: memFree=1619072/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=12548 CPUtime=3.09 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 2947 0 0 0 308 1 0 0 25 0 1 0 40052899 12849152 2929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 3137 2929 139 317 0 2816 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12548 [startup+6.30138 s] /proc/loadavg: 1.01 1.01 0.98 2/78 17985 /proc/meminfo: memFree=1614144/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=17012 CPUtime=6.29 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 4026 0 0 0 627 2 0 0 25 0 1 0 40052899 17420288 4008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 4253 4008 139 317 0 3932 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17012 [startup+12.701 s] /proc/loadavg: 1.01 1.01 0.98 2/78 17985 /proc/meminfo: memFree=1609408/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=21272 CPUtime=12.69 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 5036 0 0 0 1265 4 0 0 25 0 1 0 40052899 21782528 5018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562669 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 5318 5018 139 317 0 4997 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21272 [startup+25.5013 s] /proc/loadavg: 1.01 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1604608/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=26500 CPUtime=25.49 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 6191 0 0 0 2544 5 0 0 25 0 1 0 40052899 27136000 6173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 6625 6173 139 317 0 6304 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 26500 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1599360/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=31556 CPUtime=51.07 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 7567 0 0 0 5101 6 0 0 25 0 1 0 40052899 32313344 7491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 7889 7491 139 317 0 7568 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 31556 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1591232/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=41160 CPUtime=102.26 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 9554 0 0 0 10219 7 0 0 25 0 1 0 40052899 42147840 9478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 10290 9478 139 317 0 9969 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 41160 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1579648/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=52844 CPUtime=162.24 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 12492 0 0 0 16214 10 0 0 25 0 1 0 40052899 54112256 12416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 13211 12416 139 317 0 12890 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 52844 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1568704/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=64384 CPUtime=222.22 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 15278 0 0 0 22209 13 0 0 25 0 1 0 40052899 65929216 15088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 16096 15088 139 317 0 15775 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 64384 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1561024/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=72400 CPUtime=282.21 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 17218 0 0 0 28206 15 0 0 25 0 1 0 40052899 74137600 17028 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604173 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 18100 17028 139 317 0 17779 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 72400 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1554240/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=78752 CPUtime=342.2 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 18880 0 0 0 34202 18 0 0 25 0 1 0 40052899 80642048 18690 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 19688 18690 139 317 0 19367 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 78752 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1548288/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=85820 CPUtime=402.18 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 20391 0 0 0 40199 19 0 0 25 0 1 0 40052899 87879680 20201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 21455 20201 139 317 0 21134 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 85820 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1543040/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=90388 CPUtime=462.16 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 21678 0 0 0 46196 20 0 0 25 0 1 0 40052899 92557312 21488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 22597 21488 139 317 0 22276 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 90388 [startup+522.302 s] /proc/loadavg: 1.07 1.02 0.98 2/78 17985 /proc/meminfo: memFree=1538176/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=97816 CPUtime=522.14 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 23204 0 0 0 52192 22 0 0 25 0 1 0 40052899 100163584 22717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 24454 22717 139 317 0 24133 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 97816 [startup+582.302 s] /proc/loadavg: 1.02 1.01 0.98 2/78 17985 /proc/meminfo: memFree=1533696/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=102136 CPUtime=582.13 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 24320 0 0 0 58189 24 0 0 25 0 1 0 40052899 104587264 23833 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 25534 23833 139 317 0 25213 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 102136 [startup+642.302 s] /proc/loadavg: 1.01 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1529280/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=106040 CPUtime=642.11 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 25404 0 0 0 64186 25 0 0 25 0 1 0 40052899 108584960 24917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718305 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 26510 24917 139 317 0 26189 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 106040 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1517952/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=117068 CPUtime=822.06 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 28405 0 0 0 82176 30 0 0 25 0 1 0 40052899 119877632 27786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 29267 27786 139 317 0 28946 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 117068 [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1514240/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=123396 CPUtime=882.04 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 29903 0 0 0 88173 31 0 0 25 0 1 0 40052899 126357504 28657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 30849 28657 139 317 0 30528 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 123396 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1510656/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=127428 CPUtime=942.03 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 31041 0 0 0 94170 33 0 0 25 0 1 0 40052899 130486272 29569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 31857 29569 139 317 0 31536 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 127428 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1507456/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=130812 CPUtime=1002.01 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 32001 0 0 0 100167 34 0 0 25 0 1 0 40052899 133951488 30364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 32703 30364 139 317 0 32382 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 130812 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1504192/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=133816 CPUtime=1061.99 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 32856 0 0 0 106164 35 0 0 25 0 1 0 40052899 137027584 31186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 33454 31186 139 317 0 33133 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 133816 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1501120/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=136572 CPUtime=1121.97 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 33622 0 0 0 112161 36 0 0 25 0 1 0 40052899 139849728 31952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 34143 31952 139 317 0 33822 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 136572 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1498048/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=139304 CPUtime=1181.96 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 34389 0 0 0 118159 37 0 0 25 0 1 0 40052899 142647296 32719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710932 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 34826 32719 139 317 0 34505 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 139304 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1495168/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=142036 CPUtime=1241.95 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 35162 0 0 0 124157 38 0 0 25 0 1 0 40052899 145444864 33426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 35509 33426 139 317 0 35188 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 142036 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1492160/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=145540 CPUtime=1301.93 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 36165 0 0 0 130155 38 0 0 25 0 1 0 40052899 149032960 34165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 36385 34165 139 317 0 36064 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 145540 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1489472/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=148012 CPUtime=1361.91 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 36847 0 0 0 136152 39 0 0 25 0 1 0 40052899 151564288 34847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 37003 34847 139 317 0 36682 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 148012 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1486656/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=150436 CPUtime=1421.9 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 37546 0 0 0 142150 40 0 0 25 0 1 0 40052899 154046464 35546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 37609 35546 139 317 0 37288 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 150436 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1484032/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=152656 CPUtime=1481.87 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 38200 0 0 0 148147 40 0 0 25 0 1 0 40052899 156319744 36200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 38164 36200 139 317 0 37843 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 152656 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1481408/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=155124 CPUtime=1541.85 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 38883 0 0 0 154144 41 0 0 25 0 1 0 40052899 158846976 36850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710967 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 38781 36850 139 317 0 38460 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 155124 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1479040/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=157212 CPUtime=1601.84 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 39498 0 0 0 160141 43 0 0 25 0 1 0 40052899 160985088 37465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 39303 37465 139 317 0 38982 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 157212 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1476288/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=162740 CPUtime=1661.82 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 40928 0 0 0 166138 44 0 0 25 0 1 0 40052899 166645760 38115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 40685 38115 139 317 0 40364 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 162740 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1473856/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=165460 CPUtime=1721.81 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 41699 0 0 0 172136 45 0 0 25 0 1 0 40052899 169431040 38755 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 41365 38755 139 317 0 41044 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 165460 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1471488/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=167672 CPUtime=1781.79 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 42319 0 0 0 178133 46 0 0 25 0 1 0 40052899 171696128 39342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 41918 39342 139 317 0 41597 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 167672 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.98 2/78 17985 /proc/meminfo: memFree=1470720/2055920 swapFree=4141448/4192956 [pid=17984] ppid=17982 vsize=168456 CPUtime=1800.09 /proc/17984/stat : 17984 (oree) R 17982 17984 17641 0 -1 4194304 42501 0 0 0 179963 46 0 0 25 0 1 0 40052899 172498944 39524 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17984/statm: 42114 39524 139 317 0 41793 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 168456 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.69 CPU time (s): 1800.18 CPU user time (s): 1799.69 CPU system time (s): 0.491925 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 168456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.69 system time used= 0.491925 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42518 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= 27062 runsolver used 2.11368 second user time and 4.44632 second system time The end
Begin job on node45 on Tue Apr 17 23:21:13 UTC 2007 IDJOB= 357025 IDBENCH= 1790 IDSOLVER= 172 FILE ID= node45/357025-1176852073 PBS_JOBID= 4590227 Free space on /tmp= 66482 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-liu.opb COMMAND LINE= oree /tmp/evaluation/357025-1176852073/instance-357025-1176852073.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-357025-1176852073 -o ROOT/results/node45/solver-357025-1176852073 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357025-1176852073/instance-357025-1176852073.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= d5cbc530e20e0da41254bd2567f4c2ba RANDOM SEED= 897759177 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node45.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.218 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.218 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: 1629472 kB Buffers: 38184 kB Cached: 302964 kB SwapCached: 32920 kB Active: 245772 kB Inactive: 137376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1629472 kB SwapTotal: 4192956 kB SwapFree: 4141448 kB Dirty: 2664 kB Writeback: 0 kB Mapped: 31736 kB Slab: 28908 kB Committed_AS: 1105364 kB PageTables: 1732 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= 66482 MiB End job on node45 on Tue Apr 17 23:51:23 UTC 2007