Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.81 | 1801.47 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-air05.opb |
MD5SUM | 7a59cd2d9b82be306fe717119e5558d0 |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 31955 |
Best CPU time to get the best result obtained on this benchmark | 1694.67 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 31955 |
Optimality of the best value was proved | NO |
Number of variables | 7195 |
Total number of constraints | 426 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 426 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 404 |
Number of terms in the objective function | 7195 |
Biggest coefficient in the objective function | 2679 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 3908448 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 2679 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 3908448 |
Number of bits of the biggest sum of numbers | 22 |
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.19/0.20 c ...done 0.19/0.20 c #vars=7195 #constraints=853 hasObjective=yes 0.39/0.42 c res. mode=mod 0.39/0.42 c VSIDS like heuristics 0.39/0.42 c complete search running 0.39/0.45 c restart after 401 decisions 0.39/0.46 c nbDecision=500 #constraints=853 0.39/0.48 c restart after 801 decisions 0.39/0.49 c nbDecision=1000 #constraints=853 0.49/0.53 c nbDecision=1500 #constraints=853 0.49/0.53 c restart after 1601 decisions 0.49/0.56 c nbDecision=2000 #constraints=853 0.49/0.59 c nbDecision=2500 #constraints=853 0.59/0.63 c nbDecision=3000 #constraints=853 0.59/0.64 c restart after 3201 decisions 0.59/0.66 c nbDecision=3500 #constraints=853 0.59/0.69 c nbDecision=4000 #constraints=853 0.69/0.73 c nbDecision=4500 #constraints=853 0.69/0.76 c nbDecision=5000 #constraints=853 0.69/0.78 c nbDecision=5500 #constraints=853 0.79/0.81 c nbDecision=6000 #constraints=853 0.79/0.84 c restart after 6401 decisions 0.79/0.85 c nbDecision=6500 #constraints=853 0.79/0.89 c nbDecision=7000 #constraints=853 0.89/0.92 c nbDecision=7500 #constraints=853 0.89/0.95 c nbDecision=8000 #constraints=853 0.89/0.98 c nbDecision=8500 #constraints=853 1.00/1.01 c nbDecision=9000 #constraints=853 1.00/1.03 c nbDecision=9500 #constraints=853 1.00/1.06 c nbDecision=10000 #constraints=853 1.00/1.08 c nbDecision=10500 #constraints=853 1.10/1.10 c nbDecision=11000 #constraints=853 1.10/1.13 c nbDecision=11500 #constraints=853 1.19/1.20 c nbDecision=12000 #constraints=877 1.59/1.68 c nbDecision=12500 #constraints=955 1.99/2.02 c restart after 12801 decisions 1.99/2.08 c nbDecision=13000 #constraints=992 2.09/2.11 c nbDecision=13500 #constraints=992 2.09/2.15 c nbDecision=14000 #constraints=992 2.09/2.18 c nbDecision=14500 #constraints=992 2.19/2.21 c nbDecision=15000 #constraints=992 2.19/2.24 c nbDecision=15500 #constraints=992 2.19/2.27 c nbDecision=16000 #constraints=992 2.19/2.30 c nbDecision=16500 #constraints=992 2.29/2.32 c nbDecision=17000 #constraints=992 2.29/2.35 c nbDecision=17500 #constraints=992 2.29/2.37 c nbDecision=18000 #constraints=992 2.59/2.65 c nbDecision=18500 #constraints=1025 2.89/2.95 c nbDecision=19000 #constraints=1076 3.29/3.33 c nbDecision=19500 #constraints=1117 3.69/3.79 c nbDecision=20000 #constraints=1172 4.19/4.27 c nbDecision=20500 #constraints=1264 4.69/4.71 c nbDecision=21000 #constraints=1303 4.89/4.95 c nbDecision=21500 #constraints=1319 9.48/9.58 c nbDecision=22000 #constraints=1554 12.39/12.47 c nbDecision=22500 #constraints=1672 12.59/12.60 c nbDecision=23000 #constraints=1700 12.69/12.78 c nbDecision=23500 #constraints=1726 13.09/13.16 c nbDecision=24000 #constraints=1780 13.38/13.40 c nbDecision=24500 #constraints=1824 13.68/13.72 c nbDecision=25000 #constraints=1865 14.49/14.54 c nbDecision=25500 #constraints=1955 15.18/15.21 c restart after 25601 decisions 15.48/15.50 c nbDecision=26000 #constraints=2002 15.48/15.56 c nbDecision=26500 #constraints=2002 15.58/15.61 c nbDecision=27000 #constraints=2002 15.58/15.66 c nbDecision=27500 #constraints=2002 15.68/15.71 c nbDecision=28000 #constraints=2002 15.68/15.78 c nbDecision=28500 #constraints=2002 15.78/15.83 c nbDecision=29000 #constraints=2002 15.78/15.88 c nbDecision=29500 #constraints=2002 15.88/15.92 c nbDecision=30000 #constraints=2002 15.88/15.97 c nbDecision=30500 #constraints=2002 16.09/16.19 c nbDecision=31000 #constraints=2017 17.08/17.17 c nbDecision=31500 #constraints=2112 17.49/17.56 c nbDecision=32000 #constraints=2172 18.18/18.21 c nbDecision=32500 #constraints=2231 18.99/19.05 c nbDecision=33000 #constraints=2295 20.28/20.38 c nbDecision=33500 #constraints=2402 21.68/21.77 c nbDecision=34000 #constraints=2498 22.68/22.71 c nbDecision=34500 #constraints=2549 23.48/23.60 c nbDecision=35000 #constraints=2601 24.48/24.53 c nbDecision=35500 #constraints=2669 27.08/27.13 c nbDecision=36000 #constraints=2783 31.98/32.07 c nbDecision=36500 #constraints=2936 34.48/34.59 c nbDecision=37000 #constraints=3034 47.38/47.41 c nbDecision=37500 #constraints=3359 54.37/54.46 c nbDecision=38000 #constraints=3460 69.47/69.53 c nbDecision=38500 #constraints=3666 79.46/79.58 c nbDecision=39000 #constraints=3811 86.16/86.21 c nbDecision=39500 #constraints=3912 90.35/90.48 c nbDecision=40000 #constraints=3949 92.26/92.38 c nbDecision=40500 #constraints=4039 94.75/94.81 c nbDecision=41000 #constraints=4168 98.96/99.08 c nbDecision=41500 #constraints=4307 101.05/101.20 c nbDecision=42000 #constraints=4408 103.15/103.23 c nbDecision=42500 #constraints=4493 104.85/105.00 c nbDecision=43000 #constraints=4576 107.75/107.80 c nbDecision=43500 #constraints=4666 112.25/112.34 c nbDecision=44000 #constraints=4776 114.25/114.35 c nbDecision=44500 #constraints=4847 116.75/116.85 c nbDecision=45000 #constraints=4923 118.95/119.06 c nbDecision=45500 #constraints=4996 120.64/120.77 c nbDecision=46000 #constraints=5058 122.34/122.44 c nbDecision=46500 #constraints=5108 128.34/128.48 c nbDecision=47000 #constraints=5250 131.54/131.65 c nbDecision=47500 #constraints=5337 138.94/139.01 c nbDecision=48000 #constraints=5514 142.84/142.91 c nbDecision=48500 #constraints=5617 150.74/150.88 c nbDecision=49000 #constraints=5770 157.64/157.70 c nbDecision=49500 #constraints=5906 161.23/161.35 c nbDecision=50000 #constraints=5958 164.13/164.26 c nbDecision=50500 #constraints=6067 169.13/169.21 c nbDecision=51000 #constraints=6161 170.13/170.27 c restart after 51201 decisions 174.74/174.83 c nbDecision=51500 #constraints=6194 175.13/175.28 c nbDecision=52000 #constraints=6194 175.53/175.61 c nbDecision=52500 #constraints=6194 176.03/176.11 c nbDecision=53000 #constraints=6194 176.33/176.46 c nbDecision=53500 #constraints=6194 177.03/177.13 c nbDecision=54000 #constraints=6194 177.43/177.57 c nbDecision=54500 #constraints=6194 177.83/177.96 c nbDecision=55000 #constraints=6194 178.23/178.38 c nbDecision=55500 #constraints=6194 179.03/179.16 c nbDecision=56000 #constraints=6194 180.03/180.10 c nbDecision=56500 #constraints=6209 182.32/182.42 c nbDecision=57000 #constraints=6267 184.62/184.76 c nbDecision=57500 #constraints=6319 186.32/186.41 c nbDecision=58000 #constraints=6365 189.32/189.41 c nbDecision=58500 #constraints=6445 193.62/193.79 c nbDecision=59000 #constraints=6576 196.42/196.59 c nbDecision=59500 #constraints=6659 199.92/200.02 c nbDecision=60000 #constraints=6763 203.91/204.02 c nbDecision=60500 #constraints=6876 209.01/209.17 c nbDecision=61000 #constraints=7008 213.71/213.89 c nbDecision=61500 #constraints=7110 222.20/222.36 c nbDecision=62000 #constraints=7246 227.30/227.46 c nbDecision=62500 #constraints=7324 235.30/235.43 c nbDecision=63000 #constraints=7439 242.10/242.24 c nbDecision=63500 #constraints=7517 248.10/248.20 c nbDecision=64000 #constraints=7590 253.90/254.08 c nbDecision=64500 #constraints=7663 269.29/269.50 c nbDecision=65000 #constraints=7825 274.59/274.78 c nbDecision=65500 #constraints=7887 287.09/287.28 c nbDecision=66000 #constraints=8032 306.48/306.63 c nbDecision=66500 #constraints=8209 341.66/341.80 c nbDecision=67000 #constraints=8527 355.36/355.51 c nbDecision=67500 #constraints=8643 363.46/363.69 c nbDecision=68000 #constraints=8753 383.35/383.52 c nbDecision=68500 #constraints=8968 387.45/387.63 c nbDecision=69000 #constraints=9038 394.94/395.15 c nbDecision=69500 #constraints=9172 402.94/403.12 c nbDecision=70000 #constraints=9268 408.64/408.86 c nbDecision=70500 #constraints=9360 447.33/447.54 c nbDecision=71000 #constraints=9636 489.02/489.22 c nbDecision=71500 #constraints=9942 502.61/502.83 c nbDecision=72000 #constraints=10055 558.88/559.16 c nbDecision=72500 #constraints=10386 592.47/592.76 c nbDecision=73000 #constraints=10588 619.86/620.11 c nbDecision=73500 #constraints=10805 686.94/687.23 c nbDecision=74000 #constraints=11159 757.12/757.46 c nbDecision=74500 #constraints=11474 812.19/812.51 c nbDecision=75000 #constraints=11728 879.77/880.10 c nbDecision=75500 #constraints=12029 992.53/992.99 c nbDecision=76000 #constraints=12450 1129.18/1129.70 c nbDecision=76500 #constraints=12878 1257.03/1257.58 c nbDecision=77000 #constraints=13256 1416.68/1417.21 c nbDecision=77500 #constraints=13707 1464.76/1465.38 c nbDecision=78000 #constraints=13861 1476.45/1477.09 c nbDecision=78500 #constraints=13908 1495.54/1496.10 c nbDecision=79000 #constraints=13962 1528.73/1529.31 c nbDecision=79500 #constraints=14071 1552.22/1552.87 c nbDecision=80000 #constraints=14163 1570.92/1571.51 c nbDecision=80500 #constraints=14225 1595.60/1596.23 c nbDecision=81000 #constraints=14356 1631.49/1632.13 c nbDecision=81500 #constraints=14489 1699.77/1700.48 c nbDecision=82000 #constraints=14687 1739.15/1739.89 c nbDecision=82500 #constraints=14837 1770.64/1771.40 c nbDecision=83000 #constraints=14907 1793.03/1793.73 c nbDecision=83500 #constraints=14970 1800.04/1800.71 Received signal 15 1800.53/1801.21 1800.53/1801.21 s UNKNOWN 1800.53/1801.21 1800.53/1801.21 c user time= 1799.01 s 1800.53/1801.21 c system time= 1.55376 s 1800.53/1801.21 c wall clock time=1801.22
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node37/watcher-356853-1176845414 -o ROOT/results/node37/solver-356853-1176845414 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356853-1176845414/instance-356853-1176845414.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.93 0.97 0.99 3/78 19009 /proc/meminfo: memFree=1643720/2055920 swapFree=4126792/4192956 [pid=19009] ppid=19007 vsize=1468 CPUtime=0 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 132453884 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 367 161 126 317 0 46 0 [startup+0.0810299 s] /proc/loadavg: 0.93 0.97 0.99 3/78 19009 /proc/meminfo: memFree=1643720/2055920 swapFree=4126792/4192956 [pid=19009] ppid=19007 vsize=3204 CPUtime=0.07 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 593 0 0 0 7 0 0 0 18 0 1 0 132453884 3280896 575 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 801 575 131 317 0 480 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3204 [startup+0.101023 s] /proc/loadavg: 0.93 0.97 0.99 3/78 19009 /proc/meminfo: memFree=1643720/2055920 swapFree=4126792/4192956 [pid=19009] ppid=19007 vsize=3600 CPUtime=0.09 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 722 0 0 0 9 0 0 0 18 0 1 0 132453884 3686400 704 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 900 704 131 317 0 579 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3600 [startup+0.301061 s] /proc/loadavg: 0.93 0.97 0.99 3/78 19009 /proc/meminfo: memFree=1643720/2055920 swapFree=4126792/4192956 [pid=19009] ppid=19007 vsize=7476 CPUtime=0.28 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 1698 0 0 0 28 0 0 0 19 0 1 0 132453884 7655424 1680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 1869 1680 137 317 0 1548 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 7476 [startup+0.701136 s] /proc/loadavg: 0.93 0.97 0.99 3/78 19009 /proc/meminfo: memFree=1643720/2055920 swapFree=4126792/4192956 [pid=19009] ppid=19007 vsize=8136 CPUtime=0.69 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 1856 0 0 0 68 1 0 0 22 0 1 0 132453884 8331264 1838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 2034 1838 138 317 0 1713 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8136 [startup+1.50129 s] /proc/loadavg: 0.93 0.97 0.99 2/79 19010 /proc/meminfo: memFree=1636800/2055920 swapFree=4126792/4192956 [pid=19009] ppid=19007 vsize=10524 CPUtime=1.49 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 2411 0 0 0 148 1 0 0 25 0 1 0 132453884 10776576 2393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746912 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 2631 2393 139 317 0 2310 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10524 [startup+3.10159 s] /proc/loadavg: 0.93 0.97 0.99 2/79 19010 /proc/meminfo: memFree=1631104/2055920 swapFree=4126792/4192956 [pid=19009] ppid=19007 vsize=18136 CPUtime=3.09 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 4285 0 0 0 308 1 0 0 25 0 1 0 132453884 18571264 4267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272633 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 4534 4267 139 317 0 4213 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18136 [startup+6.30119 s] /proc/loadavg: 0.93 0.97 0.99 2/79 19010 /proc/meminfo: memFree=1616448/2055920 swapFree=4126792/4192956 [pid=19009] ppid=19007 vsize=31768 CPUtime=6.29 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 7458 0 0 0 626 3 0 0 25 0 1 0 132453884 32530432 7440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 7942 7440 139 317 0 7621 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31768 [startup+12.7024 s] /proc/loadavg: 0.94 0.97 0.99 2/79 19010 /proc/meminfo: memFree=1599248/2055920 swapFree=4126792/4192956 [pid=19009] ppid=19007 vsize=49680 CPUtime=12.69 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 11525 0 0 0 1265 4 0 0 25 0 1 0 132453884 50872320 11507 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 12420 11507 139 317 0 12099 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49680 [startup+25.5018 s] /proc/loadavg: 0.95 0.97 0.99 2/79 19010 /proc/meminfo: memFree=1539152/2055920 swapFree=4126792/4192956 [pid=19009] ppid=19007 vsize=114528 CPUtime=25.48 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 26461 0 0 0 2539 9 0 0 25 0 1 0 132453884 117276672 26443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 28632 26443 139 317 0 28311 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 114528 [startup+51.1016 s] /proc/loadavg: 0.97 0.97 0.99 2/79 19010 /proc/meminfo: memFree=1474512/2055920 swapFree=4126856/4192956 [pid=19009] ppid=19007 vsize=185936 CPUtime=51.07 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 42423 0 0 0 5093 14 0 0 25 0 1 0 132453884 190398464 42405 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 46484 42405 139 317 0 46163 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 185936 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/79 19010 /proc/meminfo: memFree=1408912/2055920 swapFree=4126856/4192956 [pid=19009] ppid=19007 vsize=257836 CPUtime=102.26 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 58724 0 0 0 10205 21 0 0 25 0 1 0 132453884 264024064 58706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 64459 58706 139 317 0 64138 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 257836 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19010 /proc/meminfo: memFree=1281680/2055920 swapFree=4126856/4192956 [pid=19009] ppid=19007 vsize=401576 CPUtime=162.23 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 90750 0 0 0 16188 35 0 0 25 0 1 0 132453884 411213824 90730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 100394 90730 139 317 0 100073 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 401576 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19010 /proc/meminfo: memFree=1181200/2055920 swapFree=4126920/4192956 [pid=19009] ppid=19007 vsize=519412 CPUtime=222.2 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 115642 0 0 0 22175 45 0 0 25 0 1 0 132453884 531877888 115525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 129853 115525 139 317 0 129532 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 519412 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19010 /proc/meminfo: memFree=1124304/2055920 swapFree=4126920/4192956 [pid=19009] ppid=19007 vsize=583864 CPUtime=282.18 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 130441 0 0 0 28166 52 0 0 25 0 1 0 132453884 597876736 129898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 145966 129898 139 317 0 145645 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 583864 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19010 /proc/meminfo: memFree=1043856/2055920 swapFree=4126984/4192956 [pid=19009] ppid=19007 vsize=676204 CPUtime=342.16 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 151482 0 0 0 34156 60 0 0 25 0 1 0 132453884 692432896 149685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 169051 149685 139 317 0 168730 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 676204 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19010 /proc/meminfo: memFree=970192/2055920 swapFree=4126984/4192956 [pid=19009] ppid=19007 vsize=764480 CPUtime=402.14 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 170377 0 0 0 40146 68 0 0 25 0 1 0 132453884 782827520 168436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 191120 168436 139 317 0 190799 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 764480 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19010 /proc/meminfo: memFree=906448/2055920 swapFree=4126984/4192956 [pid=19009] ppid=19007 vsize=836132 CPUtime=462.12 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 186960 0 0 0 46138 74 0 0 25 0 1 0 132453884 856199168 183980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 209033 183980 139 317 0 208712 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 836132 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19012 /proc/meminfo: memFree=840592/2055920 swapFree=4127048/4192956 [pid=19009] ppid=19007 vsize=915160 CPUtime=522.1 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 204138 0 0 0 52127 83 0 0 25 0 1 0 132453884 937123840 200598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 228790 200598 139 317 0 228469 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 915160 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19012 /proc/meminfo: memFree=787344/2055920 swapFree=4127048/4192956 [pid=19009] ppid=19007 vsize=979132 CPUtime=582.07 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 218981 0 0 0 58120 87 0 0 25 0 1 0 132453884 1002631168 213775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 244783 213775 139 317 0 244462 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 979132 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19012 /proc/meminfo: memFree=735120/2055920 swapFree=4127112/4192956 [pid=19009] ppid=19007 vsize=1037968 CPUtime=642.06 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 232168 0 0 0 64114 92 0 0 25 0 1 0 132453884 1062879232 226687 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 259492 226687 139 317 0 259171 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 1037968 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19012 /proc/meminfo: memFree=512144/2055920 swapFree=4127240/4192956 [pid=19009] ppid=19007 vsize=1309280 CPUtime=941.95 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 291813 0 0 0 94079 116 0 0 25 0 1 0 132453884 1340702720 282463 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 327320 282463 139 317 0 326999 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 1309280 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19012 /proc/meminfo: memFree=477968/2055920 swapFree=4127240/4192956 [pid=19009] ppid=19007 vsize=1350692 CPUtime=1001.93 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 301502 0 0 0 100074 119 0 0 25 0 1 0 132453884 1383108608 290879 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 337673 290879 139 317 0 337352 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 1350692 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19012 /proc/meminfo: memFree=444624/2055920 swapFree=4127304/4192956 [pid=19009] ppid=19007 vsize=1391288 CPUtime=1061.9 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 310809 0 0 0 106068 122 0 0 25 0 1 0 132453884 1424678912 299542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 347822 299542 139 317 0 347501 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 1391288 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19012 /proc/meminfo: memFree=411344/2055920 swapFree=4127304/4192956 [pid=19009] ppid=19007 vsize=1430840 CPUtime=1121.88 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 319459 0 0 0 112062 126 0 0 25 0 1 0 132453884 1465180160 307558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 357710 307558 139 317 0 357389 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 1430840 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19012 /proc/meminfo: memFree=384912/2055920 swapFree=4127304/4192956 [pid=19009] ppid=19007 vsize=1468968 CPUtime=1181.86 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 327241 0 0 0 118057 129 0 0 25 0 1 0 132453884 1504223232 314135 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 367242 314135 139 317 0 366921 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 1468968 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19012 /proc/meminfo: memFree=349840/2055920 swapFree=4127368/4192956 [pid=19009] ppid=19007 vsize=1511352 CPUtime=1241.84 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 336900 0 0 0 124051 133 0 0 25 0 1 0 132453884 1547624448 322863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 377838 322863 139 317 0 377517 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 1511352 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19012 /proc/meminfo: memFree=318736/2055920 swapFree=4127368/4192956 [pid=19009] ppid=19007 vsize=1548824 CPUtime=1301.82 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 345674 0 0 0 130046 136 0 0 25 0 1 0 132453884 1585995776 330531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 387206 330531 139 317 0 386885 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 1548824 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19012 /proc/meminfo: memFree=288272/2055920 swapFree=4127432/4192956 [pid=19009] ppid=19007 vsize=1585620 CPUtime=1361.79 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 353901 0 0 0 136040 139 0 0 25 0 1 0 132453884 1623674880 338213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 396405 338213 139 317 0 396084 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 1585620 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19012 /proc/meminfo: memFree=259472/2055920 swapFree=4127432/4192956 [pid=19009] ppid=19007 vsize=1618112 CPUtime=1421.77 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 361283 0 0 0 142035 142 0 0 25 0 1 0 132453884 1656946688 345330 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 404528 345330 139 317 0 404207 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 1618112 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19012 /proc/meminfo: memFree=235216/2055920 swapFree=4127432/4192956 [pid=19009] ppid=19007 vsize=1647072 CPUtime=1481.75 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 367831 0 0 0 148031 144 0 0 25 0 1 0 132453884 1686601728 351373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 411768 351373 139 317 0 411447 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 1647072 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19012 /proc/meminfo: memFree=221456/2055920 swapFree=4127496/4192956 [pid=19009] ppid=19007 vsize=1662524 CPUtime=1541.72 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 371287 0 0 0 154027 145 0 0 25 0 1 0 132453884 1702424576 354829 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 415631 354829 139 317 0 415310 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 1662524 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19012 /proc/meminfo: memFree=200400/2055920 swapFree=4127496/4192956 [pid=19009] ppid=19007 vsize=1686100 CPUtime=1601.71 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 376581 0 0 0 160023 148 0 0 25 0 1 0 132453884 1726566400 360123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 421525 360123 139 317 0 421204 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 1686100 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19012 /proc/meminfo: memFree=182928/2055920 swapFree=4127560/4192956 [pid=19009] ppid=19007 vsize=1704356 CPUtime=1661.68 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 380884 0 0 0 166019 149 0 0 25 0 1 0 132453884 1745260544 364424 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 426089 364424 139 317 0 425768 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 1704356 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19012 /proc/meminfo: memFree=165584/2055920 swapFree=4127560/4192956 [pid=19009] ppid=19007 vsize=1725404 CPUtime=1721.66 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 385344 0 0 0 172015 151 0 0 25 0 1 0 132453884 1766813696 368884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604115 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 431351 368884 139 317 0 431030 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 1725404 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19012 /proc/meminfo: memFree=150032/2055920 swapFree=4127560/4192956 [pid=19009] ppid=19007 vsize=1741668 CPUtime=1781.64 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 389118 0 0 0 178010 154 0 0 25 0 1 0 132453884 1783468032 372655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 435417 372655 139 317 0 435096 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 1741668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19012 /proc/meminfo: memFree=143760/2055920 swapFree=4127624/4192956 [pid=19009] ppid=19007 vsize=1748600 CPUtime=1800.04 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 390647 0 0 0 179849 155 0 0 25 0 1 0 132453884 1790566400 374184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 437150 374184 139 317 0 436829 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1748600 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19012 /proc/meminfo: memFree=143760/2055920 swapFree=4127624/4192956 [pid=19009] ppid=19007 vsize=1748600 CPUtime=1800.33 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194304 390649 0 0 0 179878 155 0 0 25 0 1 0 132453884 1790566400 374186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 437150 374186 139 317 0 436829 0 Current children cumulated CPU time (s) 1800.33 Current children cumulated vsize (KiB) 1748600 [startup+1801.4 s] /proc/loadavg: 0.99 0.97 0.99 2/79 19012 /proc/meminfo: memFree=143760/2055920 swapFree=4127624/4192956 [pid=19009] ppid=19007 vsize=0 CPUtime=1800.73 /proc/19009/stat : 19009 (oree) R 19007 19009 18010 0 -1 4194308 390665 0 0 0 179901 172 0 0 25 0 1 0 132453884 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19009/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.73 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.47 CPU time (s): 1800.81 CPU user time (s): 1799.01 CPU system time (s): 1.79873 CPU usage (%): 99.9633 Max. virtual memory (cumulated for all children) (KiB): 1748600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.01 system time used= 1.79873 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 390665 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= 2237 runsolver used 1.9627 second user time and 4.6093 second system time The end
Begin job on node37 on Tue Apr 17 21:30:14 UTC 2007 IDJOB= 356853 IDBENCH= 1521 IDSOLVER= 172 FILE ID= node37/356853-1176845414 PBS_JOBID= 4590152 Free space on /tmp= 66462 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air05.opb COMMAND LINE= oree /tmp/evaluation/356853-1176845414/instance-356853-1176845414.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-356853-1176845414 -o ROOT/results/node37/solver-356853-1176845414 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356853-1176845414/instance-356853-1176845414.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 7a59cd2d9b82be306fe717119e5558d0 RANDOM SEED= 36096201 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node37.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.281 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.281 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: 1644064 kB Buffers: 37212 kB Cached: 289816 kB SwapCached: 3112 kB Active: 190188 kB Inactive: 162776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1644064 kB SwapTotal: 4192956 kB SwapFree: 4126792 kB Dirty: 1972 kB Writeback: 0 kB Mapped: 33200 kB Slab: 44180 kB Committed_AS: 1103300 kB PageTables: 2000 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= 66462 MiB End job on node37 on Tue Apr 17 22:00:17 UTC 2007