Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.21 | 1800.76 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-sample2.opb |
MD5SUM | 98cb9153c0a6885786e060f27dbb5c7a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 10.2424 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 1296 |
Total number of constraints | 46 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 3 |
Number of constraints which are nor clauses,nor cardinality constraints | 43 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 150 |
Number of terms in the objective function | 729 |
Biggest coefficient in the objective function | 23832 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 524793 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262138 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524793 |
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.00/0.01 c ...done 0.00/0.01 c #vars=1296 #constraints=68 hasObjective=yes 0.00/0.02 c res. mode=mod 0.00/0.02 c VSIDS like heuristics 0.00/0.02 c complete search running 0.05/0.09 c restart after 401 decisions 0.05/0.10 c nbDecision=500 #constraints=364 0.09/0.11 c restart after 801 decisions 0.09/0.13 c nbDecision=1000 #constraints=411 0.09/0.17 c nbDecision=1500 #constraints=489 0.09/0.18 c restart after 1601 decisions 0.39/0.43 c nbDecision=2000 #constraints=855 0.99/1.03 c nbDecision=2500 #constraints=1354 2.09/2.18 c nbDecision=3000 #constraints=1856 2.79/2.84 c restart after 3201 decisions 3.19/3.24 c nbDecision=3500 #constraints=2253 4.09/4.11 c nbDecision=4000 #constraints=2687 4.39/4.44 c nbDecision=4500 #constraints=2858 4.69/4.74 c nbDecision=5000 #constraints=3022 5.09/5.11 c nbDecision=5500 #constraints=3181 5.49/5.50 c nbDecision=6000 #constraints=3316 5.79/5.84 c restart after 6401 decisions 6.09/6.11 c nbDecision=6500 #constraints=3444 8.08/8.15 c nbDecision=7000 #constraints=3921 10.97/11.05 c nbDecision=7500 #constraints=4423 14.65/14.72 c nbDecision=8000 #constraints=4921 19.25/19.30 c nbDecision=8500 #constraints=5420 24.53/24.64 c nbDecision=9000 #constraints=5920 30.53/30.64 c nbDecision=9500 #constraints=6419 37.99/38.15 c nbDecision=10000 #constraints=6917 46.60/46.72 c nbDecision=10500 #constraints=7415 56.19/56.33 c nbDecision=11000 #constraints=7915 66.27/66.47 c nbDecision=11500 #constraints=8415 77.67/77.81 c nbDecision=12000 #constraints=8915 89.46/89.69 c nbDecision=12500 #constraints=9417 96.77/96.94 c restart after 12801 decisions 97.67/97.82 c nbDecision=13000 #constraints=9760 99.76/99.93 c nbDecision=13500 #constraints=9894 101.66/101.81 c nbDecision=14000 #constraints=10002 103.66/103.86 c nbDecision=14500 #constraints=10135 105.86/106.03 c nbDecision=15000 #constraints=10213 107.86/108.07 c nbDecision=15500 #constraints=10313 110.16/110.34 c nbDecision=16000 #constraints=10460 112.36/112.56 c nbDecision=16500 #constraints=10537 114.66/114.81 c nbDecision=17000 #constraints=10651 116.76/116.95 c nbDecision=17500 #constraints=10765 118.86/119.06 c nbDecision=18000 #constraints=10855 121.16/121.35 c nbDecision=18500 #constraints=10997 123.46/123.61 c nbDecision=19000 #constraints=11068 125.56/125.79 c nbDecision=19500 #constraints=11140 127.86/128.00 c nbDecision=20000 #constraints=11250 130.16/130.37 c nbDecision=20500 #constraints=11382 132.75/132.98 c nbDecision=21000 #constraints=11481 135.25/135.44 c nbDecision=21500 #constraints=11563 137.75/137.90 c nbDecision=22000 #constraints=11712 140.15/140.33 c nbDecision=22500 #constraints=11796 142.55/142.77 c nbDecision=23000 #constraints=11940 145.36/145.53 c nbDecision=23500 #constraints=12094 147.95/148.16 c nbDecision=24000 #constraints=12239 150.75/150.90 c nbDecision=24500 #constraints=12372 153.35/153.58 c nbDecision=25000 #constraints=12475 156.55/156.70 c nbDecision=25500 #constraints=12634 157.06/157.22 c restart after 25601 decisions 158.15/158.35 c nbDecision=26000 #constraints=12890 159.65/159.83 c nbDecision=26500 #constraints=13262 160.95/161.11 c nbDecision=27000 #constraints=13464 163.05/163.20 c nbDecision=27500 #constraints=13836 165.14/165.31 c nbDecision=28000 #constraints=14228 167.15/167.36 c nbDecision=28500 #constraints=14527 168.55/168.74 c nbDecision=29000 #constraints=14686 171.25/171.41 c nbDecision=29500 #constraints=15080 174.25/174.40 c nbDecision=30000 #constraints=15466 177.74/177.92 c nbDecision=30500 #constraints=15831 180.94/181.16 c nbDecision=31000 #constraints=16150 184.54/184.73 c nbDecision=31500 #constraints=16477 188.65/188.82 c nbDecision=32000 #constraints=16896 192.35/192.57 c nbDecision=32500 #constraints=17144 196.44/196.69 c nbDecision=33000 #constraints=17526 201.54/201.79 c nbDecision=33500 #constraints=17860 206.54/206.70 c nbDecision=34000 #constraints=18268 212.04/212.22 c nbDecision=34500 #constraints=18563 218.03/218.29 c nbDecision=35000 #constraints=18965 223.74/223.97 c nbDecision=35500 #constraints=19195 227.94/228.16 c nbDecision=36000 #constraints=19358 234.83/235.08 c nbDecision=36500 #constraints=19772 241.23/241.41 c nbDecision=37000 #constraints=20057 248.43/248.63 c nbDecision=37500 #constraints=20486 255.22/255.48 c nbDecision=38000 #constraints=20723 263.13/263.30 c nbDecision=38500 #constraints=21158 270.62/270.82 c nbDecision=39000 #constraints=21479 278.52/278.73 c nbDecision=39500 #constraints=21868 287.72/287.95 c nbDecision=40000 #constraints=22288 295.82/296.02 c nbDecision=40500 #constraints=22650 304.52/304.72 c nbDecision=41000 #constraints=23029 314.61/314.83 c nbDecision=41500 #constraints=23478 325.51/325.79 c nbDecision=42000 #constraints=23911 335.41/335.67 c nbDecision=42500 #constraints=24299 346.70/346.96 c nbDecision=43000 #constraints=24698 358.41/358.65 c nbDecision=43500 #constraints=25131 371.00/371.25 c nbDecision=44000 #constraints=25569 383.59/383.82 c nbDecision=44500 #constraints=26003 396.80/397.04 c nbDecision=45000 #constraints=26407 409.19/409.41 c nbDecision=45500 #constraints=26797 421.38/421.67 c nbDecision=46000 #constraints=27192 435.78/436.08 c nbDecision=46500 #constraints=27605 448.78/449.02 c nbDecision=47000 #constraints=27990 465.08/465.31 c nbDecision=47500 #constraints=28435 477.97/478.27 c nbDecision=48000 #constraints=28768 495.27/495.51 c nbDecision=48500 #constraints=29192 510.96/511.25 c nbDecision=49000 #constraints=29555 526.76/527.02 c nbDecision=49500 #constraints=29942 543.96/544.22 c nbDecision=50000 #constraints=30306 560.95/561.25 c nbDecision=50500 #constraints=30666 577.84/578.13 c nbDecision=51000 #constraints=31041 586.35/586.65 c restart after 51201 decisions 594.75/595.03 c nbDecision=51500 #constraints=31425 610.94/611.21 c nbDecision=52000 #constraints=31797 624.93/625.26 c nbDecision=52500 #constraints=32128 644.73/645.01 c nbDecision=53000 #constraints=32500 659.03/659.35 c nbDecision=53500 #constraints=32779 677.22/677.57 c nbDecision=54000 #constraints=33150 692.41/692.76 c nbDecision=54500 #constraints=33327 710.12/710.42 c nbDecision=55000 #constraints=33756 725.31/725.70 c nbDecision=55500 #constraints=34012 743.71/744.03 c nbDecision=56000 #constraints=34435 761.60/761.97 c nbDecision=56500 #constraints=34738 779.39/779.75 c nbDecision=57000 #constraints=35099 794.29/794.64 c nbDecision=57500 #constraints=35384 817.59/817.99 c nbDecision=58000 #constraints=35789 835.98/836.34 c nbDecision=58500 #constraints=36104 855.08/855.48 c nbDecision=59000 #constraints=36444 872.87/873.29 c nbDecision=59500 #constraints=36746 895.17/895.57 c nbDecision=60000 #constraints=37144 911.96/912.38 c nbDecision=60500 #constraints=37414 934.26/934.62 c nbDecision=61000 #constraints=37798 949.46/949.83 c nbDecision=61500 #constraints=37920 968.55/968.92 c nbDecision=62000 #constraints=38289 988.35/988.73 c nbDecision=62500 #constraints=38645 1008.04/1008.43 c nbDecision=63000 #constraints=39004 1032.33/1032.71 c nbDecision=63500 #constraints=39451 1055.23/1055.61 c nbDecision=64000 #constraints=39838 1077.02/1077.41 c nbDecision=64500 #constraints=40218 1103.62/1104.08 c nbDecision=65000 #constraints=40646 1123.61/1124.06 c nbDecision=65500 #constraints=40985 1149.02/1149.46 c nbDecision=66000 #constraints=41380 1172.80/1173.23 c nbDecision=66500 #constraints=41738 1201.89/1202.39 c nbDecision=67000 #constraints=42191 1228.69/1229.10 c nbDecision=67500 #constraints=42584 1251.89/1252.35 c nbDecision=68000 #constraints=42928 1279.28/1279.75 c nbDecision=68500 #constraints=43313 1304.56/1305.05 c nbDecision=69000 #constraints=43665 1335.06/1335.53 c nbDecision=69500 #constraints=44094 1359.16/1359.62 c nbDecision=70000 #constraints=44427 1389.15/1389.60 c nbDecision=70500 #constraints=44834 1421.43/1421.95 c nbDecision=71000 #constraints=45266 1445.43/1445.99 c nbDecision=71500 #constraints=45583 1475.63/1476.13 c nbDecision=72000 #constraints=45963 1503.02/1503.56 c nbDecision=72500 #constraints=46320 1533.42/1533.96 c nbDecision=73000 #constraints=46693 1560.91/1561.45 c nbDecision=73500 #constraints=47025 1594.50/1595.02 c nbDecision=74000 #constraints=47424 1624.69/1625.27 c nbDecision=74500 #constraints=47773 1657.19/1657.77 c nbDecision=75000 #constraints=48141 1691.97/1692.54 c nbDecision=75500 #constraints=48535 1724.66/1725.20 c nbDecision=76000 #constraints=48891 1759.66/1760.28 c nbDecision=76500 #constraints=49258 1790.35/1790.93 c nbDecision=77000 #constraints=49570 1800.06/1800.61 Received signal 15 1800.16/1800.72 1800.16/1800.72 s UNKNOWN 1800.16/1800.72 1800.16/1800.72 c user time= 1799.71 s 1800.16/1800.72 c system time= 0.473927 s 1800.16/1800.72 c wall clock time=1800.72
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node26/watcher-356993-1176850854 -o ROOT/results/node26/solver-356993-1176850854 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356993-1176850854/instance-356993-1176850854.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.92 0.98 0.99 3/77 12017 /proc/meminfo: memFree=1796032/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=1468 CPUtime=0 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 133002249 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 367 165 131 317 0 46 0 [startup+0.0570451 s] /proc/loadavg: 0.92 0.98 0.99 3/77 12017 /proc/meminfo: memFree=1796032/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=2128 CPUtime=0.05 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 338 0 0 0 5 0 0 0 18 0 1 0 133002249 2179072 320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 532 320 139 317 0 211 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2128 [startup+0.101049 s] /proc/loadavg: 0.92 0.98 0.99 3/77 12017 /proc/meminfo: memFree=1796032/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=2392 CPUtime=0.09 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 402 0 0 0 9 0 0 0 18 0 1 0 133002249 2449408 384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 598 384 139 317 0 277 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2392 [startup+0.301067 s] /proc/loadavg: 0.92 0.98 0.99 3/77 12017 /proc/meminfo: memFree=1796032/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=3444 CPUtime=0.29 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 682 0 0 0 29 0 0 0 19 0 1 0 133002249 3526656 664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 861 664 139 317 0 540 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3444 [startup+0.701104 s] /proc/loadavg: 0.92 0.98 0.99 3/77 12017 /proc/meminfo: memFree=1796032/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=5696 CPUtime=0.69 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 1230 0 0 0 69 0 0 0 22 0 1 0 133002249 5832704 1212 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 1424 1212 139 317 0 1103 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5696 [startup+1.50118 s] /proc/loadavg: 0.92 0.98 0.99 2/78 12018 /proc/meminfo: memFree=1790840/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=8252 CPUtime=1.49 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 1820 0 0 0 149 0 0 0 25 0 1 0 133002249 8450048 1802 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 2063 1802 139 317 0 1742 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8252 [startup+3.10233 s] /proc/loadavg: 0.93 0.98 0.99 2/78 12018 /proc/meminfo: memFree=1788088/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=10296 CPUtime=3.09 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 2380 0 0 0 308 1 0 0 25 0 1 0 133002249 10543104 2362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563670 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 2574 2362 139 317 0 2253 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10296 [startup+6.30162 s] /proc/loadavg: 0.93 0.98 0.99 2/78 12018 /proc/meminfo: memFree=1785024/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=12552 CPUtime=6.28 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 2941 0 0 0 627 1 0 0 25 0 1 0 133002249 12853248 2923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604377 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 3138 2923 139 317 0 2817 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 12552 [startup+12.7012 s] /proc/loadavg: 0.94 0.98 0.99 3/84 12084 /proc/meminfo: memFree=1778032/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=18532 CPUtime=12.66 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 4320 0 0 0 1262 4 0 0 25 0 1 0 133002249 18976768 4302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 4633 4302 139 317 0 4312 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 18532 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/84 12134 /proc/meminfo: memFree=1772160/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=23920 CPUtime=25.43 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 5733 0 0 0 2538 5 0 0 25 0 1 0 133002249 24494080 5715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 5980 5715 139 317 0 5659 0 Current children cumulated CPU time (s) 25.43 Current children cumulated vsize (KiB) 23920 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/84 12190 /proc/meminfo: memFree=1763840/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=32968 CPUtime=50.99 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 7856 0 0 0 5092 7 0 0 25 0 1 0 133002249 33759232 7838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 8242 7838 139 317 0 7921 0 Current children cumulated CPU time (s) 50.99 Current children cumulated vsize (KiB) 32968 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 12216 /proc/meminfo: memFree=1755264/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=41932 CPUtime=102.17 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 10282 0 0 0 10207 10 0 0 25 0 1 0 133002249 42938368 10207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 10483 10207 139 317 0 10162 0 Current children cumulated CPU time (s) 102.17 Current children cumulated vsize (KiB) 41932 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12216 /proc/meminfo: memFree=1748288/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=49308 CPUtime=162.15 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 12097 0 0 0 16202 13 0 0 25 0 1 0 133002249 50491392 12022 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 12327 12022 139 317 0 12006 0 Current children cumulated CPU time (s) 162.15 Current children cumulated vsize (KiB) 49308 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12216 /proc/meminfo: memFree=1737664/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=60004 CPUtime=222.14 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 14783 0 0 0 22198 16 0 0 25 0 1 0 133002249 61444096 14595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 15001 14595 139 317 0 14680 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 60004 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12216 /proc/meminfo: memFree=1731584/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=66788 CPUtime=282.11 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 16316 0 0 0 28194 17 0 0 25 0 1 0 133002249 68390912 16128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 16697 16128 139 317 0 16376 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 66788 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12216 /proc/meminfo: memFree=1725248/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=73152 CPUtime=342.1 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 17864 0 0 0 34191 19 0 0 25 0 1 0 133002249 74907648 17676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 18288 17676 139 317 0 17967 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 73152 [startup+402.301 s] /proc/loadavg: 1.04 1.00 1.00 2/78 12216 /proc/meminfo: memFree=1720320/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=78380 CPUtime=402.09 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 19121 0 0 0 40188 21 0 0 25 0 1 0 133002249 80261120 18933 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 19595 18933 139 317 0 19274 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 78380 [startup+462.302 s] /proc/loadavg: 1.01 1.00 1.00 2/78 12216 /proc/meminfo: memFree=1716224/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=82180 CPUtime=462.07 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 20131 0 0 0 46185 22 0 0 25 0 1 0 133002249 84152320 19943 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 20545 19943 139 317 0 20224 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 82180 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12216 /proc/meminfo: memFree=1712512/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=87500 CPUtime=522.06 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 21361 0 0 0 52182 24 0 0 25 0 1 0 133002249 89600000 20876 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 21875 20876 139 317 0 21554 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 87500 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12216 /proc/meminfo: memFree=1709312/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=90392 CPUtime=582.04 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 22148 0 0 0 58179 25 0 0 25 0 1 0 133002249 92561408 21663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 22598 21663 139 317 0 22277 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 90392 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12216 /proc/meminfo: memFree=1706816/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=92892 CPUtime=642.04 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 22813 0 0 0 64177 27 0 0 25 0 1 0 133002249 95121408 22295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 23223 22295 139 317 0 22902 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 92892 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12216 /proc/meminfo: memFree=1698176/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=101816 CPUtime=881.98 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 25220 0 0 0 88167 31 0 0 25 0 1 0 133002249 104259584 24443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 25454 24443 139 317 0 25133 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 101816 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12216 /proc/meminfo: memFree=1696384/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=103388 CPUtime=941.95 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 25671 0 0 0 94164 31 0 0 25 0 1 0 133002249 105869312 24894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 25847 24894 139 317 0 25526 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 103388 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12216 /proc/meminfo: memFree=1693504/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=107680 CPUtime=1001.94 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 26662 0 0 0 100161 33 0 0 25 0 1 0 133002249 110264320 25621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 26920 25621 139 317 0 26599 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 107680 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12216 /proc/meminfo: memFree=1690880/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=110176 CPUtime=1061.93 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 27317 0 0 0 106159 34 0 0 25 0 1 0 133002249 112820224 26276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 27544 26276 139 317 0 27223 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 110176 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12216 /proc/meminfo: memFree=1688128/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=114072 CPUtime=1121.91 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 28246 0 0 0 112156 35 0 0 25 0 1 0 133002249 116809728 26941 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 28518 26941 139 317 0 28197 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 114072 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12216 /proc/meminfo: memFree=1685696/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=116288 CPUtime=1181.9 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 28874 0 0 0 118154 36 0 0 25 0 1 0 133002249 119078912 27536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 29072 27536 139 317 0 28751 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 116288 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12216 /proc/meminfo: memFree=1683648/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=118116 CPUtime=1241.88 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 29399 0 0 0 124151 37 0 0 25 0 1 0 133002249 120950784 28061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562758 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 29529 28061 139 317 0 29208 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 118116 [startup+1302.3 s] /proc/loadavg: 1.05 1.01 1.00 2/78 12216 /proc/meminfo: memFree=1681408/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=120204 CPUtime=1301.87 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 29950 0 0 0 130149 38 0 0 25 0 1 0 133002249 123088896 28612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 30051 28612 139 317 0 29730 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 120204 [startup+1362.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 12216 /proc/meminfo: memFree=1679424/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=122036 CPUtime=1361.85 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 30476 0 0 0 136146 39 0 0 25 0 1 0 133002249 124964864 29105 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 30509 29105 139 317 0 30188 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 122036 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12216 /proc/meminfo: memFree=1677312/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=123744 CPUtime=1421.84 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 30991 0 0 0 142144 40 0 0 25 0 1 0 133002249 126713856 29620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 30936 29620 139 317 0 30615 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 123744 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12216 /proc/meminfo: memFree=1675264/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=125916 CPUtime=1481.83 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 31553 0 0 0 148141 42 0 0 25 0 1 0 133002249 128937984 30149 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 31479 30149 139 317 0 31158 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 125916 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12216 /proc/meminfo: memFree=1673152/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=131592 CPUtime=1541.81 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 32932 0 0 0 154138 43 0 0 25 0 1 0 133002249 134750208 30683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 32898 30683 139 317 0 32577 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 131592 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12216 /proc/meminfo: memFree=1671168/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=133680 CPUtime=1601.8 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 33529 0 0 0 160136 44 0 0 25 0 1 0 133002249 136888320 31181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 33420 31181 139 317 0 33099 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 133680 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12216 /proc/meminfo: memFree=1669120/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=135692 CPUtime=1661.78 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 34093 0 0 0 166133 45 0 0 25 0 1 0 133002249 138948608 31679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 33923 31679 139 317 0 33602 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 135692 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12216 /proc/meminfo: memFree=1667392/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=137400 CPUtime=1721.76 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 34574 0 0 0 172131 45 0 0 25 0 1 0 133002249 140697600 32127 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 34350 32127 139 317 0 34029 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 137400 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12216 /proc/meminfo: memFree=1665536/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=138964 CPUtime=1781.75 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 35055 0 0 0 178128 47 0 0 25 0 1 0 133002249 142299136 32575 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 34741 32575 139 317 0 34420 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 138964 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12216 /proc/meminfo: memFree=1665024/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=139488 CPUtime=1800.06 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 35178 0 0 0 179959 47 0 0 25 0 1 0 133002249 142835712 32698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 34872 32698 139 317 0 34551 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 139488 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12216 /proc/meminfo: memFree=1665024/2055920 swapFree=4170240/4192956 [pid=12017] ppid=12015 vsize=139488 CPUtime=1800.16 /proc/12017/stat : 12017 (oree) R 12015 12017 11216 0 -1 4194304 35178 0 0 0 179969 47 0 0 25 0 1 0 133002249 142835712 32698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12017/statm: 34872 32698 139 317 0 34551 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 139488 Child status: 0 Real time (s): 1800.76 CPU time (s): 1800.21 CPU user time (s): 1799.71 CPU system time (s): 0.495924 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (KiB): 139488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.71 system time used= 0.495924 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35194 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= 2351 runsolver used 2.07668 second user time and 4.49432 second system time The end
Begin job on node26 on Tue Apr 17 23:00:54 UTC 2007 IDJOB= 356993 IDBENCH= 1747 IDSOLVER= 172 FILE ID= node26/356993-1176850854 PBS_JOBID= 4590180 Free space on /tmp= 66476 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/miplib/normalized-reduced-mps-v2-20-10-sample2.opb COMMAND LINE= oree /tmp/evaluation/356993-1176850854/instance-356993-1176850854.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-356993-1176850854 -o ROOT/results/node26/solver-356993-1176850854 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356993-1176850854/instance-356993-1176850854.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 98cb9153c0a6885786e060f27dbb5c7a RANDOM SEED= 292603453 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node26.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: 1796440 kB Buffers: 34376 kB Cached: 147240 kB SwapCached: 3208 kB Active: 97784 kB Inactive: 107400 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1796440 kB SwapTotal: 4192956 kB SwapFree: 4170240 kB Dirty: 1364 kB Writeback: 0 kB Mapped: 31036 kB Slab: 39884 kB Committed_AS: 964092 kB PageTables: 1720 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= 66476 MiB End job on node26 on Tue Apr 17 23:30:57 UTC 2007