Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.22 | 1800.77 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-set1ch.opb |
MD5SUM | 6815697d1fd827c594e155d1d753b261 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 14010 |
Best CPU time to get the best result obtained on this benchmark | 1782.78 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 14010 |
Optimality of the best value was proved | NO |
Number of variables | 14400 |
Total number of constraints | 492 |
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 | 492 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 630 |
Number of terms in the objective function | 7200 |
Biggest coefficient in the objective function | 3483 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 530175 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262141 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 530175 |
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.09/0.12 c ...done 0.09/0.12 c #vars=14400 #constraints=733 hasObjective=yes 0.09/0.18 c res. mode=mod 0.09/0.18 c VSIDS like heuristics 0.09/0.18 c complete search running 0.19/0.24 c restart after 401 decisions 0.19/0.26 c nbDecision=500 #constraints=733 0.29/0.30 c restart after 801 decisions 0.29/0.33 c nbDecision=1000 #constraints=733 0.39/0.41 c nbDecision=1500 #constraints=733 0.39/0.42 c restart after 1601 decisions 0.39/0.48 c nbDecision=2000 #constraints=733 0.49/0.54 c nbDecision=2500 #constraints=733 0.59/0.61 c nbDecision=3000 #constraints=733 0.59/0.64 c restart after 3201 decisions 0.59/0.68 c nbDecision=3500 #constraints=733 0.69/0.76 c nbDecision=4000 #constraints=733 0.79/0.83 c nbDecision=4500 #constraints=733 0.79/0.89 c nbDecision=5000 #constraints=733 0.89/0.95 c nbDecision=5500 #constraints=733 1.00/1.01 c nbDecision=6000 #constraints=733 1.39/1.41 c restart after 6401 decisions 1.39/1.43 c nbDecision=6500 #constraints=992 1.49/1.51 c nbDecision=7000 #constraints=992 1.49/1.58 c nbDecision=7500 #constraints=992 1.59/1.65 c nbDecision=8000 #constraints=992 1.69/1.71 c nbDecision=8500 #constraints=992 1.69/1.77 c nbDecision=9000 #constraints=992 1.99/2.07 c nbDecision=9500 #constraints=1149 3.09/3.13 c nbDecision=10000 #constraints=1650 4.39/4.43 c nbDecision=10500 #constraints=2149 5.19/5.26 c nbDecision=11000 #constraints=2649 6.19/6.26 c nbDecision=11500 #constraints=3149 7.39/7.46 c nbDecision=12000 #constraints=3649 8.79/8.83 c nbDecision=12500 #constraints=4149 9.68/9.80 c restart after 12801 decisions 9.98/10.01 c nbDecision=13000 #constraints=4451 10.08/10.15 c nbDecision=13500 #constraints=4451 10.18/10.22 c nbDecision=14000 #constraints=4451 10.18/10.28 c nbDecision=14500 #constraints=4451 10.28/10.34 c nbDecision=15000 #constraints=4451 10.38/10.45 c nbDecision=15500 #constraints=4451 10.99/11.03 c nbDecision=16000 #constraints=4709 12.09/12.15 c nbDecision=16500 #constraints=5209 13.49/13.58 c nbDecision=17000 #constraints=5708 15.39/15.43 c nbDecision=17500 #constraints=6209 17.59/17.62 c nbDecision=18000 #constraints=6708 20.08/20.12 c nbDecision=18500 #constraints=7209 23.09/23.17 c nbDecision=19000 #constraints=7708 26.39/26.49 c nbDecision=19500 #constraints=8208 30.28/30.36 c nbDecision=20000 #constraints=8708 34.08/34.19 c nbDecision=20500 #constraints=9208 38.98/39.04 c nbDecision=21000 #constraints=9710 43.58/43.61 c nbDecision=21500 #constraints=10208 48.58/48.62 c nbDecision=22000 #constraints=10709 54.98/55.03 c nbDecision=22500 #constraints=11208 60.97/61.02 c nbDecision=23000 #constraints=11708 67.08/67.19 c nbDecision=23500 #constraints=12208 73.77/73.89 c nbDecision=24000 #constraints=12709 81.17/81.25 c nbDecision=24500 #constraints=13209 89.26/89.33 c nbDecision=25000 #constraints=13708 98.06/98.17 c nbDecision=25500 #constraints=14209 99.86/99.91 c restart after 25601 decisions 100.66/100.72 c nbDecision=26000 #constraints=14311 100.96/101.03 c nbDecision=26500 #constraints=14311 100.96/101.09 c nbDecision=27000 #constraints=14311 101.07/101.15 c nbDecision=27500 #constraints=14311 101.17/101.21 c nbDecision=28000 #constraints=14311 101.56/101.61 c nbDecision=28500 #constraints=14311 109.25/109.36 c nbDecision=29000 #constraints=14769 115.65/115.79 c nbDecision=29500 #constraints=15270 123.26/123.32 c nbDecision=30000 #constraints=15768 130.76/130.82 c nbDecision=30500 #constraints=16269 139.45/139.54 c nbDecision=31000 #constraints=16770 147.95/148.03 c nbDecision=31500 #constraints=17269 156.95/157.09 c nbDecision=32000 #constraints=17769 166.54/166.62 c nbDecision=32500 #constraints=18268 175.24/175.33 c nbDecision=33000 #constraints=18768 183.74/183.82 c nbDecision=33500 #constraints=19268 193.54/193.67 c nbDecision=34000 #constraints=19771 203.23/203.40 c nbDecision=34500 #constraints=20268 213.73/213.80 c nbDecision=35000 #constraints=20768 224.03/224.15 c nbDecision=35500 #constraints=21268 234.52/234.61 c nbDecision=36000 #constraints=21768 246.52/246.61 c nbDecision=36500 #constraints=22268 257.52/257.68 c nbDecision=37000 #constraints=22769 270.42/270.58 c nbDecision=37500 #constraints=23268 283.11/283.22 c nbDecision=38000 #constraints=23768 294.72/294.85 c nbDecision=38500 #constraints=24268 309.81/309.90 c nbDecision=39000 #constraints=24768 323.50/323.61 c nbDecision=39500 #constraints=25268 338.90/339.08 c nbDecision=40000 #constraints=25768 352.40/352.55 c nbDecision=40500 #constraints=26268 365.89/366.03 c nbDecision=41000 #constraints=26769 384.19/384.38 c nbDecision=41500 #constraints=27269 399.59/399.77 c nbDecision=42000 #constraints=27768 415.78/415.90 c nbDecision=42500 #constraints=28269 432.48/432.62 c nbDecision=43000 #constraints=28770 447.87/448.05 c nbDecision=43500 #constraints=29268 467.56/467.74 c nbDecision=44000 #constraints=29769 486.07/486.29 c nbDecision=44500 #constraints=30268 504.06/504.25 c nbDecision=45000 #constraints=30771 521.35/521.55 c nbDecision=45500 #constraints=31268 541.35/541.52 c nbDecision=46000 #constraints=31768 560.34/560.59 c nbDecision=46500 #constraints=32269 578.34/578.53 c nbDecision=47000 #constraints=32769 601.43/601.62 c nbDecision=47500 #constraints=33268 620.23/620.42 c nbDecision=48000 #constraints=33768 641.42/641.65 c nbDecision=48500 #constraints=34269 664.71/664.93 c nbDecision=49000 #constraints=34769 685.91/686.13 c nbDecision=49500 #constraints=35270 709.40/709.64 c nbDecision=50000 #constraints=35768 731.20/731.49 c nbDecision=50500 #constraints=36268 755.88/756.16 c nbDecision=51000 #constraints=36768 762.98/763.29 c restart after 51201 decisions 765.08/765.33 c nbDecision=51500 #constraints=36971 765.78/766.03 c nbDecision=52000 #constraints=36971 765.78/766.09 c nbDecision=52500 #constraints=36971 765.88/766.15 c nbDecision=53000 #constraints=36971 765.98/766.20 c nbDecision=53500 #constraints=36971 766.88/767.18 c nbDecision=54000 #constraints=36971 782.78/783.02 c nbDecision=54500 #constraints=37328 807.68/807.99 c nbDecision=55000 #constraints=37829 828.16/828.42 c nbDecision=55500 #constraints=38328 851.66/851.99 c nbDecision=56000 #constraints=38829 879.86/880.19 c nbDecision=56500 #constraints=39328 898.85/899.11 c nbDecision=57000 #constraints=39828 928.64/928.98 c nbDecision=57500 #constraints=40328 944.84/945.18 c nbDecision=58000 #constraints=40828 971.43/971.79 c nbDecision=58500 #constraints=41328 998.62/998.90 c nbDecision=59000 #constraints=41828 1028.31/1028.62 c nbDecision=59500 #constraints=42329 1043.01/1043.34 c nbDecision=60000 #constraints=42829 1069.91/1070.27 c nbDecision=60500 #constraints=43328 1101.19/1101.55 c nbDecision=61000 #constraints=43829 1129.29/1129.62 c nbDecision=61500 #constraints=44330 1149.78/1150.19 c nbDecision=62000 #constraints=44828 1180.27/1180.67 c nbDecision=62500 #constraints=45328 1198.47/1198.84 c nbDecision=63000 #constraints=45828 1230.85/1231.25 c nbDecision=63500 #constraints=46328 1252.25/1252.63 c nbDecision=64000 #constraints=46829 1285.14/1285.56 c nbDecision=64500 #constraints=47329 1309.65/1310.05 c nbDecision=65000 #constraints=47830 1338.63/1339.06 c nbDecision=65500 #constraints=48329 1361.12/1361.58 c nbDecision=66000 #constraints=48828 1378.42/1378.82 c nbDecision=66500 #constraints=49328 1404.71/1405.18 c nbDecision=67000 #constraints=49828 1430.61/1431.08 c nbDecision=67500 #constraints=50328 1456.60/1457.05 c nbDecision=68000 #constraints=50829 1473.40/1473.80 c nbDecision=68500 #constraints=51328 1490.09/1490.53 c nbDecision=69000 #constraints=51828 1504.49/1504.99 c nbDecision=69500 #constraints=52328 1525.18/1525.67 c nbDecision=70000 #constraints=52830 1548.17/1548.68 c nbDecision=70500 #constraints=53328 1568.87/1569.36 c nbDecision=71000 #constraints=53829 1593.96/1594.50 c nbDecision=71500 #constraints=54328 1625.65/1626.12 c nbDecision=72000 #constraints=54829 1659.45/1659.95 c nbDecision=72500 #constraints=55328 1683.83/1684.36 c nbDecision=73000 #constraints=55829 1719.23/1719.70 c nbDecision=73500 #constraints=56328 1743.92/1744.40 c nbDecision=74000 #constraints=56828 1779.11/1779.66 c nbDecision=74500 #constraints=57328 1800.02/1800.50 Received signal 15 1800.12/1800.61 1800.12/1800.61 s UNKNOWN 1800.12/1800.61 1800.12/1800.61 c user time= 1799.2 s 1800.12/1800.61 c system time= 0.931858 s 1800.12/1800.61 c wall clock time=1800.61
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node74/watcher-357024-1176852044 -o ROOT/results/node74/solver-357024-1176852044 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357024-1176852044/instance-357024-1176852044.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.95 3/66 15348 /proc/meminfo: memFree=1518104/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=1620 CPUtime=0 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 133119187 1658880 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 405 175 126 317 0 84 0 [startup+0.019775 s] /proc/loadavg: 0.99 0.97 0.95 3/66 15348 /proc/meminfo: memFree=1518104/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=1752 CPUtime=0.01 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 241 0 0 0 1 0 0 0 18 0 1 0 133119187 1794048 223 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134828752 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 438 223 131 317 0 117 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1752 [startup+0.101783 s] /proc/loadavg: 0.99 0.97 0.95 3/66 15348 /proc/meminfo: memFree=1518104/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=3472 CPUtime=0.09 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 669 0 0 0 9 0 0 0 18 0 1 0 133119187 3555328 651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 868 652 131 317 0 547 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3472 [startup+0.301806 s] /proc/loadavg: 0.99 0.97 0.95 3/66 15348 /proc/meminfo: memFree=1518104/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=5992 CPUtime=0.29 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 1297 0 0 0 29 0 0 0 19 0 1 0 133119187 6135808 1279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 1498 1279 138 317 0 1177 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5992 [startup+0.701853 s] /proc/loadavg: 0.99 0.97 0.95 3/66 15348 /proc/meminfo: memFree=1518104/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=5992 CPUtime=0.69 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 1298 0 0 0 69 0 0 0 22 0 1 0 133119187 6135808 1280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 1498 1280 138 317 0 1177 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5992 [startup+1.50195 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15349 /proc/meminfo: memFree=1513424/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=8360 CPUtime=1.49 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 1903 0 0 0 149 0 0 0 25 0 1 0 133119187 8560640 1885 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 2090 1885 139 317 0 1769 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8360 [startup+3.10113 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15349 /proc/meminfo: memFree=1509520/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=14156 CPUtime=3.09 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 3354 0 0 0 308 1 0 0 25 0 1 0 133119187 14495744 3336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593703 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 3539 3336 139 317 0 3218 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14156 [startup+6.3015 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15349 /proc/meminfo: memFree=1495440/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=28856 CPUtime=6.29 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 6897 0 0 0 625 4 0 0 25 0 1 0 133119187 29548544 6879 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 7214 6879 139 317 0 6893 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28856 [startup+12.7012 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15349 /proc/meminfo: memFree=1472720/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=50188 CPUtime=12.69 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 11959 0 0 0 1261 8 0 0 25 0 1 0 133119187 51392512 11941 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604138 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 12547 11941 139 317 0 12226 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50188 [startup+25.5017 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15349 /proc/meminfo: memFree=1448080/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=72984 CPUtime=25.49 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 17724 0 0 0 2537 12 0 0 25 0 1 0 133119187 74735616 17706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 18246 17706 139 317 0 17925 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 72984 [startup+51.1017 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15349 /proc/meminfo: memFree=1421968/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=100676 CPUtime=51.08 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 24216 0 0 0 5092 16 0 0 25 0 1 0 133119187 103092224 24140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 25169 24140 139 317 0 24848 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 100676 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15349 /proc/meminfo: memFree=1391824/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=130568 CPUtime=102.27 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 31653 0 0 0 10205 22 0 0 25 0 1 0 133119187 133701632 31577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 32642 31577 139 317 0 32321 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 130568 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15349 /proc/meminfo: memFree=1358480/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=172676 CPUtime=162.24 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 41682 0 0 0 16195 29 0 0 25 0 1 0 133119187 176820224 39941 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 43169 39941 139 317 0 42848 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 172676 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15349 /proc/meminfo: memFree=1331152/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=196996 CPUtime=222.23 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 48435 0 0 0 22188 35 0 0 25 0 1 0 133119187 201723904 46694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 49249 46694 139 317 0 48928 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 196996 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15349 /proc/meminfo: memFree=1309840/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=216852 CPUtime=282.21 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 53780 0 0 0 28183 38 0 0 25 0 1 0 133119187 222056448 52039 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 54213 52039 139 317 0 53892 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 216852 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15349 /proc/meminfo: memFree=1289744/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=240256 CPUtime=342.19 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 59597 0 0 0 34178 41 0 0 25 0 1 0 133119187 246022144 57064 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602407 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 60064 57064 139 317 0 59743 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 240256 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.95 3/67 15349 /proc/meminfo: memFree=1273552/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=254652 CPUtime=402.18 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 63613 0 0 0 40174 44 0 0 25 0 1 0 133119187 260763648 61080 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274638 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 63663 61080 139 317 0 63342 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 254652 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15349 /proc/meminfo: memFree=1256976/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=273452 CPUtime=462.17 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 68543 0 0 0 46170 47 0 0 25 0 1 0 133119187 280014848 65185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 68363 65185 139 317 0 68042 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 273452 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15349 /proc/meminfo: memFree=1243024/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=287112 CPUtime=522.15 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 72323 0 0 0 52165 50 0 0 25 0 1 0 133119187 294002688 68701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 71778 68701 139 317 0 71457 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 287112 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15349 /proc/meminfo: memFree=1229776/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=298964 CPUtime=582.13 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 75627 0 0 0 58161 52 0 0 25 0 1 0 133119187 306139136 71972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 74741 71972 139 317 0 74420 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 298964 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15349 /proc/meminfo: memFree=1216016/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=331776 CPUtime=642.12 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 83620 0 0 0 64156 56 0 0 25 0 1 0 133119187 339738624 75383 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 82944 75383 139 317 0 82623 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 331776 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15349 /proc/meminfo: memFree=1161552/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=380644 CPUtime=942.04 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 97447 0 0 0 94138 66 0 0 25 0 1 0 133119187 389779456 89112 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 95161 89112 139 317 0 94840 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 380644 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15349 /proc/meminfo: memFree=1150736/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=389868 CPUtime=1002.02 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 100001 0 0 0 100135 67 0 0 25 0 1 0 133119187 399224832 91666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 97467 91666 139 317 0 97146 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 389868 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15349 /proc/meminfo: memFree=1139856/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=399720 CPUtime=1062 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 102753 0 0 0 106131 69 0 0 25 0 1 0 133119187 409313280 94418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 99930 94418 139 317 0 99609 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 399720 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15351 /proc/meminfo: memFree=1131472/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=406980 CPUtime=1121.98 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 104807 0 0 0 112127 71 0 0 25 0 1 0 133119187 416747520 96472 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563659 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 101745 96472 139 317 0 101424 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 406980 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15351 /proc/meminfo: memFree=1120848/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=416840 CPUtime=1181.97 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 107529 0 0 0 118124 73 0 0 25 0 1 0 133119187 426844160 99194 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 104210 99194 139 317 0 103889 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 416840 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15351 /proc/meminfo: memFree=1109584/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=426584 CPUtime=1241.95 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 110262 0 0 0 124120 75 0 0 25 0 1 0 133119187 436822016 101927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 106646 101927 139 317 0 106325 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 426584 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15351 /proc/meminfo: memFree=1100816/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=434576 CPUtime=1301.95 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 112518 0 0 0 130118 77 0 0 25 0 1 0 133119187 445005824 104118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 108644 104118 139 317 0 108323 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 434576 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15351 /proc/meminfo: memFree=1091280/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=443132 CPUtime=1361.92 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 114943 0 0 0 136114 78 0 0 25 0 1 0 133119187 453767168 106510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 110783 106510 139 317 0 110462 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 443132 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15351 /proc/meminfo: memFree=1079888/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=452972 CPUtime=1421.91 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 117785 0 0 0 142111 80 0 0 25 0 1 0 133119187 463843328 109319 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 113243 109319 139 317 0 112922 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 452972 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15351 /proc/meminfo: memFree=1066640/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=475252 CPUtime=1481.89 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 123484 0 0 0 148106 83 0 0 25 0 1 0 133119187 486658048 112678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 118813 112678 139 317 0 118492 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 475252 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15351 /proc/meminfo: memFree=1052048/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=488464 CPUtime=1541.88 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 127172 0 0 0 154102 86 0 0 25 0 1 0 133119187 500187136 116267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 122116 116267 139 317 0 121795 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 488464 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15351 /proc/meminfo: memFree=1041616/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=498540 CPUtime=1601.86 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 129934 0 0 0 160098 88 0 0 25 0 1 0 133119187 510504960 118897 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 124635 118897 139 317 0 124314 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 498540 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15351 /proc/meminfo: memFree=1033680/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=505256 CPUtime=1661.84 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 131892 0 0 0 166095 89 0 0 25 0 1 0 133119187 517382144 120855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 126314 120855 139 317 0 125993 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 505256 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15351 /proc/meminfo: memFree=1025296/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=512720 CPUtime=1721.83 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 134008 0 0 0 172093 90 0 0 25 0 1 0 133119187 525025280 122971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 128180 122971 139 317 0 127859 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 512720 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15351 /proc/meminfo: memFree=1016784/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=520556 CPUtime=1781.81 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 136235 0 0 0 178090 91 0 0 25 0 1 0 133119187 533049344 125068 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 130139 125068 139 317 0 129818 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 520556 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.95 2/67 15351 /proc/meminfo: memFree=1011984/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=535316 CPUtime=1800.02 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 139681 0 0 0 179909 93 0 0 25 0 1 0 133119187 548163584 126239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 133829 126239 139 317 0 133508 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 535316 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 0.97 0.95 2/68 15352 /proc/meminfo: memFree=1011976/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=535316 CPUtime=1800.12 /proc/15348/stat : 15348 (oree) R 15346 15348 14764 0 -1 4194304 139682 0 0 0 179919 93 0 0 25 0 1 0 133119187 548163584 126240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15348/statm: 133829 126240 139 317 0 133508 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 535316 [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.95 2/68 15352 /proc/meminfo: memFree=1011976/2055920 swapFree=4183056/4192956 [pid=15348] ppid=15346 vsize=0 CPUtime=1800.21 /proc/15348/stat : 15348 (oree) D 15346 15348 14764 0 -1 4194308 139698 0 0 0 179920 101 0 0 24 0 1 0 133119187 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4096 17474 18446744072099863542 0 0 17 1 0 0 /proc/15348/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.22 CPU user time (s): 1799.21 CPU system time (s): 1.01384 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (KiB): 535316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.21 system time used= 1.01385 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 139698 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= 3295 runsolver used 2.19367 second user time and 3.9624 second system time The end
Begin job on node74 on Tue Apr 17 23:20:44 UTC 2007 IDJOB= 357024 IDBENCH= 1789 IDSOLVER= 172 FILE ID= node74/357024-1176852044 PBS_JOBID= 4590193 Free space on /tmp= 103226 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-set1ch.opb COMMAND LINE= oree /tmp/evaluation/357024-1176852044/instance-357024-1176852044.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-357024-1176852044 -o ROOT/results/node74/solver-357024-1176852044 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357024-1176852044/instance-357024-1176852044.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 6815697d1fd827c594e155d1d753b261 RANDOM SEED= 30959681 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node74.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.213 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.213 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: 1518576 kB Buffers: 36712 kB Cached: 449128 kB SwapCached: 3760 kB Active: 356264 kB Inactive: 140068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1518576 kB SwapTotal: 4192956 kB SwapFree: 4183056 kB Dirty: 1732 kB Writeback: 0 kB Mapped: 15776 kB Slab: 26884 kB Committed_AS: 1954604 kB PageTables: 1480 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= 103226 MiB End job on node74 on Tue Apr 17 23:50:53 UTC 2007