Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.14 | 1800.59 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-danoint.opb |
MD5SUM | 9a58bdfc023900d726e146c07979fe71 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 13898 |
Total number of constraints | 672 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 16 |
Number of constraints which are nor clauses,nor cardinality constraints | 656 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 1500 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524317 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 525350 |
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.19/0.25 c ...done 0.19/0.25 c #vars=13898 #constraints=817 hasObjective=yes 0.29/0.30 c res. mode=mod 0.29/0.30 c VSIDS like heuristics 0.29/0.30 c complete search running 0.49/0.58 c restart after 401 decisions 0.59/0.64 c nbDecision=500 #constraints=1217 0.79/0.86 c restart after 801 decisions 1.00/1.01 c nbDecision=1000 #constraints=1667 1.39/1.44 c nbDecision=1500 #constraints=2167 1.49/1.53 c restart after 1601 decisions 1.89/1.92 c nbDecision=2000 #constraints=2621 2.39/2.46 c nbDecision=2500 #constraints=3121 2.99/3.05 c nbDecision=3000 #constraints=3621 3.30/3.30 c restart after 3201 decisions 3.79/3.80 c nbDecision=3500 #constraints=4072 4.59/4.62 c nbDecision=4000 #constraints=4572 5.39/5.46 c nbDecision=4500 #constraints=5072 6.29/6.33 c nbDecision=5000 #constraints=5572 7.19/7.23 c nbDecision=5500 #constraints=6072 8.09/8.17 c nbDecision=6000 #constraints=6572 8.79/8.86 c restart after 6401 decisions 9.09/9.10 c nbDecision=6500 #constraints=7026 10.29/10.39 c nbDecision=7000 #constraints=7526 11.59/11.70 c nbDecision=7500 #constraints=8026 12.79/12.89 c nbDecision=8000 #constraints=8526 13.99/14.08 c nbDecision=8500 #constraints=9026 16.09/16.15 c nbDecision=9000 #constraints=9526 18.19/18.25 c nbDecision=9500 #constraints=10026 20.28/20.35 c nbDecision=10000 #constraints=10526 22.39/22.46 c nbDecision=10500 #constraints=11026 24.39/24.46 c nbDecision=11000 #constraints=11526 26.08/26.19 c nbDecision=11500 #constraints=12026 28.28/28.35 c nbDecision=12000 #constraints=12526 31.18/31.22 c nbDecision=12500 #constraints=13026 32.89/32.99 c restart after 12801 decisions 34.28/34.36 c nbDecision=13000 #constraints=13470 37.48/37.55 c nbDecision=13500 #constraints=13970 40.68/40.75 c nbDecision=14000 #constraints=14470 43.88/43.97 c nbDecision=14500 #constraints=14970 47.08/47.16 c nbDecision=15000 #constraints=15470 50.18/50.20 c nbDecision=15500 #constraints=15970 52.78/52.85 c nbDecision=16000 #constraints=16470 55.67/55.76 c nbDecision=16500 #constraints=16970 59.78/59.88 c nbDecision=17000 #constraints=17470 63.98/64.05 c nbDecision=17500 #constraints=17970 68.08/68.12 c nbDecision=18000 #constraints=18470 72.08/72.15 c nbDecision=18500 #constraints=18970 75.88/75.92 c nbDecision=19000 #constraints=19470 78.87/78.90 c nbDecision=19500 #constraints=19970 83.27/83.37 c nbDecision=20000 #constraints=20470 88.36/88.46 c nbDecision=20500 #constraints=20970 93.37/93.48 c nbDecision=21000 #constraints=21470 98.27/98.38 c nbDecision=21500 #constraints=21970 103.06/103.17 c nbDecision=22000 #constraints=22470 107.36/107.46 c nbDecision=22500 #constraints=22970 110.87/110.98 c nbDecision=23000 #constraints=23470 116.96/117.00 c nbDecision=23500 #constraints=23970 122.96/123.01 c nbDecision=24000 #constraints=24470 128.85/128.93 c nbDecision=24500 #constraints=24970 134.55/134.69 c nbDecision=25000 #constraints=25470 140.06/140.12 c nbDecision=25500 #constraints=25970 141.05/141.14 c restart after 25601 decisions 147.25/147.35 c nbDecision=26000 #constraints=26420 154.55/154.61 c nbDecision=26500 #constraints=26920 161.45/161.56 c nbDecision=27000 #constraints=27420 168.15/168.21 c nbDecision=27500 #constraints=27920 174.75/174.87 c nbDecision=28000 #constraints=28420 181.14/181.29 c nbDecision=28500 #constraints=28920 187.04/187.13 c nbDecision=29000 #constraints=29420 191.24/191.33 c nbDecision=29500 #constraints=29920 199.34/199.43 c nbDecision=30000 #constraints=30420 207.53/207.61 c nbDecision=30500 #constraints=30920 215.34/215.44 c nbDecision=31000 #constraints=31420 223.14/223.23 c nbDecision=31500 #constraints=31920 230.83/230.92 c nbDecision=32000 #constraints=32420 237.93/238.05 c nbDecision=32500 #constraints=32920 244.23/244.37 c nbDecision=33000 #constraints=33420 250.13/250.22 c nbDecision=33500 #constraints=33920 259.43/259.57 c nbDecision=34000 #constraints=34420 268.43/268.51 c nbDecision=34500 #constraints=34920 277.32/277.41 c nbDecision=35000 #constraints=35420 286.02/286.11 c nbDecision=35500 #constraints=35920 294.31/294.46 c nbDecision=36000 #constraints=36420 302.12/302.24 c nbDecision=36500 #constraints=36920 307.52/307.70 c nbDecision=37000 #constraints=37420 317.31/317.48 c nbDecision=37500 #constraints=37920 327.50/327.69 c nbDecision=38000 #constraints=38420 337.31/337.45 c nbDecision=38500 #constraints=38921 347.11/347.23 c nbDecision=39000 #constraints=39420 356.70/356.85 c nbDecision=39500 #constraints=39920 365.50/365.70 c nbDecision=40000 #constraints=40420 372.50/372.64 c nbDecision=40500 #constraints=40920 381.60/381.77 c nbDecision=41000 #constraints=41420 392.90/393.01 c nbDecision=41500 #constraints=41920 403.79/403.99 c nbDecision=42000 #constraints=42420 414.49/414.69 c nbDecision=42500 #constraints=42920 425.09/425.22 c nbDecision=43000 #constraints=43420 434.78/434.93 c nbDecision=43500 #constraints=43920 442.88/443.01 c nbDecision=44000 #constraints=44420 451.98/452.10 c nbDecision=44500 #constraints=44920 464.47/464.62 c nbDecision=45000 #constraints=45420 476.57/476.75 c nbDecision=45500 #constraints=45920 488.36/488.55 c nbDecision=46000 #constraints=46420 499.87/500.01 c nbDecision=46500 #constraints=46920 510.57/510.79 c nbDecision=47000 #constraints=47420 519.76/519.97 c nbDecision=47500 #constraints=47920 529.16/529.30 c nbDecision=48000 #constraints=48420 542.66/542.82 c nbDecision=48500 #constraints=48920 555.65/555.87 c nbDecision=49000 #constraints=49420 568.35/568.51 c nbDecision=49500 #constraints=49920 581.05/581.25 c nbDecision=50000 #constraints=50420 592.44/592.65 c nbDecision=50500 #constraints=50920 601.04/601.21 c nbDecision=51000 #constraints=51420 605.14/605.31 c restart after 51201 decisions 614.54/614.75 c nbDecision=51500 #constraints=51875 629.34/629.57 c nbDecision=52000 #constraints=52375 643.53/643.76 c nbDecision=52500 #constraints=52875 657.53/657.71 c nbDecision=53000 #constraints=53375 670.73/670.94 c nbDecision=53500 #constraints=53875 683.62/683.83 c nbDecision=54000 #constraints=54375 693.52/693.75 c nbDecision=54500 #constraints=54876 705.31/705.51 c nbDecision=55000 #constraints=55375 720.52/720.71 c nbDecision=55500 #constraints=55875 735.51/735.73 c nbDecision=56000 #constraints=56375 750.41/750.66 c nbDecision=56500 #constraints=56875 764.40/764.67 c nbDecision=57000 #constraints=57375 776.90/777.20 c nbDecision=57500 #constraints=57875 785.20/785.49 c nbDecision=58000 #constraints=58375 801.79/802.06 c nbDecision=58500 #constraints=58875 817.79/818.06 c nbDecision=59000 #constraints=59375 833.59/833.81 c nbDecision=59500 #constraints=59875 848.98/849.21 c nbDecision=60000 #constraints=60375 863.38/863.61 c nbDecision=60500 #constraints=60875 874.58/874.88 c nbDecision=61000 #constraints=61375 886.87/887.15 c nbDecision=61500 #constraints=61875 904.26/904.50 c nbDecision=62000 #constraints=62375 920.86/921.15 c nbDecision=62500 #constraints=62875 937.46/937.77 c nbDecision=63000 #constraints=63375 953.16/953.48 c nbDecision=63500 #constraints=63875 966.85/967.13 c nbDecision=64000 #constraints=64375 978.35/978.64 c nbDecision=64500 #constraints=64875 996.54/996.84 c nbDecision=65000 #constraints=65375 1014.63/1014.95 c nbDecision=65500 #constraints=65875 1032.24/1032.57 c nbDecision=66000 #constraints=66375 1048.53/1048.81 c nbDecision=66500 #constraints=66875 1063.13/1063.46 c nbDecision=67000 #constraints=67375 1074.53/1074.85 c nbDecision=67500 #constraints=67875 1093.62/1093.98 c nbDecision=68000 #constraints=68375 1112.51/1112.85 c nbDecision=68500 #constraints=68875 1130.71/1131.06 c nbDecision=69000 #constraints=69375 1148.11/1148.44 c nbDecision=69500 #constraints=69875 1163.00/1163.39 c nbDecision=70000 #constraints=70375 1175.40/1175.79 c nbDecision=70500 #constraints=70875 1195.59/1195.93 c nbDecision=71000 #constraints=71375 1215.20/1215.56 c nbDecision=71500 #constraints=71875 1233.99/1234.35 c nbDecision=72000 #constraints=72375 1251.68/1252.06 c nbDecision=72500 #constraints=72875 1266.38/1266.72 c nbDecision=73000 #constraints=73375 1281.57/1281.97 c nbDecision=73500 #constraints=73875 1301.98/1302.32 c nbDecision=74000 #constraints=74375 1322.07/1322.44 c nbDecision=74500 #constraints=74875 1341.66/1342.03 c nbDecision=75000 #constraints=75375 1359.26/1359.62 c nbDecision=75500 #constraints=75875 1371.45/1371.88 c nbDecision=76000 #constraints=76375 1392.05/1392.45 c nbDecision=76500 #constraints=76875 1413.55/1413.99 c nbDecision=77000 #constraints=77375 1434.34/1434.78 c nbDecision=77500 #constraints=77875 1453.53/1453.93 c nbDecision=78000 #constraints=78375 1469.82/1470.21 c nbDecision=78500 #constraints=78875 1485.33/1485.70 c nbDecision=79000 #constraints=79375 1507.82/1508.25 c nbDecision=79500 #constraints=79875 1529.62/1530.05 c nbDecision=80000 #constraints=80375 1550.41/1550.83 c nbDecision=80500 #constraints=80875 1568.60/1569.09 c nbDecision=81000 #constraints=81375 1581.70/1582.19 c nbDecision=81500 #constraints=81875 1604.49/1604.96 c nbDecision=82000 #constraints=82375 1627.69/1628.11 c nbDecision=82500 #constraints=82875 1649.29/1649.77 c nbDecision=83000 #constraints=83375 1668.78/1669.30 c nbDecision=83500 #constraints=83875 1682.27/1682.73 c nbDecision=84000 #constraints=84375 1705.27/1705.78 c nbDecision=84500 #constraints=84875 1728.46/1728.95 c nbDecision=85000 #constraints=85375 1750.96/1751.44 c nbDecision=85500 #constraints=85875 1771.36/1771.89 c nbDecision=86000 #constraints=86375 1786.15/1786.62 c nbDecision=86500 #constraints=86875 1800.05/1800.50 Received signal 15 1800.05/1800.54 1800.05/1800.54 s UNKNOWN 1800.05/1800.54 1800.05/1800.54 c user time= 1799.72 s 1800.05/1800.54 c system time= 0.376942 s 1800.05/1800.54 c wall clock time=1800.55
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node52/watcher-357039-1176852537 -o ROOT/results/node52/solver-357039-1176852537 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357039-1176852537/instance-357039-1176852537.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.98 0.98 3/64 29454 /proc/meminfo: memFree=1780996/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=1468 CPUtime=0 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 40098825 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 367 167 131 317 0 46 0 [startup+0.0542109 s] /proc/loadavg: 0.91 0.98 0.98 3/64 29454 /proc/meminfo: memFree=1780996/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=2524 CPUtime=0.05 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 450 0 0 0 5 0 0 0 18 0 1 0 40098825 2584576 432 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 631 432 131 317 0 310 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2524 [startup+0.101213 s] /proc/loadavg: 0.91 0.98 0.98 3/64 29454 /proc/meminfo: memFree=1780996/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=3316 CPUtime=0.09 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 655 0 0 0 9 0 0 0 18 0 1 0 40098825 3395584 637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 829 637 131 317 0 508 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3316 [startup+0.301227 s] /proc/loadavg: 0.91 0.98 0.98 3/64 29454 /proc/meminfo: memFree=1780996/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=9028 CPUtime=0.29 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 2043 0 0 0 29 0 0 0 19 0 1 0 40098825 9244672 2026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 2257 2027 137 317 0 1936 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9028 [startup+0.701253 s] /proc/loadavg: 0.91 0.98 0.98 3/64 29454 /proc/meminfo: memFree=1780996/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=9804 CPUtime=0.69 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 2257 0 0 0 69 0 0 0 22 0 1 0 40098825 10039296 2239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 2451 2239 139 317 0 2130 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9804 [startup+1.50131 s] /proc/loadavg: 0.91 0.98 0.98 2/65 29455 /proc/meminfo: memFree=1771900/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=11808 CPUtime=1.49 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 2737 0 0 0 148 1 0 0 25 0 1 0 40098825 12091392 2719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 2952 2719 139 317 0 2631 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11808 [startup+3.10141 s] /proc/loadavg: 0.92 0.98 0.98 3/65 29455 /proc/meminfo: memFree=1769788/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=14004 CPUtime=3.09 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 3248 0 0 0 308 1 0 0 25 0 1 0 40098825 14340096 3230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712478 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 3501 3230 139 317 0 3180 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14004 [startup+6.30163 s] /proc/loadavg: 0.92 0.98 0.98 2/65 29455 /proc/meminfo: memFree=1766140/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=16960 CPUtime=6.29 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 3955 0 0 0 628 1 0 0 25 0 1 0 40098825 17367040 3937 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384579 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 4240 3937 139 317 0 3919 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16960 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.98 2/65 29455 /proc/meminfo: memFree=1761996/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=20848 CPUtime=12.69 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 4979 0 0 0 1267 2 0 0 25 0 1 0 40098825 21348352 4918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 5212 4918 139 317 0 4891 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20848 [startup+25.5019 s] /proc/loadavg: 0.94 0.98 0.98 2/65 29455 /proc/meminfo: memFree=1756684/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=26120 CPUtime=25.49 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 6216 0 0 0 2546 3 0 0 25 0 1 0 40098825 26746880 6155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 6530 6155 139 317 0 6209 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 26120 [startup+51.1017 s] /proc/loadavg: 0.96 0.98 0.98 2/65 29455 /proc/meminfo: memFree=1749132/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=33756 CPUtime=51.08 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 8204 0 0 0 5103 5 0 0 25 0 1 0 40098825 34566144 8058 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 8439 8058 139 317 0 8118 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 33756 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.98 2/65 29455 /proc/meminfo: memFree=1735692/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=48776 CPUtime=102.27 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 11914 0 0 0 10219 8 0 0 25 0 1 0 40098825 49946624 11372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 12194 11372 139 317 0 11873 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 48776 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 29455 /proc/meminfo: memFree=1725132/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=59420 CPUtime=162.25 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 14865 0 0 0 16214 11 0 0 25 0 1 0 40098825 60846080 14022 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 14855 14022 139 317 0 14534 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 59420 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 29455 /proc/meminfo: memFree=1715980/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=68328 CPUtime=222.23 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 17285 0 0 0 22210 13 0 0 25 0 1 0 40098825 69967872 16277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 17082 16277 139 317 0 16761 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 68328 [startup+282.301 s] /proc/loadavg: 1.03 1.00 0.98 2/65 29455 /proc/meminfo: memFree=1707852/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=79788 CPUtime=282.22 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 20229 0 0 0 28207 15 0 0 25 0 1 0 40098825 81702912 18310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 19947 18310 139 317 0 19626 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 79788 [startup+342.301 s] /proc/loadavg: 1.01 1.00 0.98 2/65 29455 /proc/meminfo: memFree=1700620/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=86384 CPUtime=342.21 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 22119 0 0 0 34204 17 0 0 25 0 1 0 40098825 88457216 20102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 21596 20102 139 317 0 21275 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 86384 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 29455 /proc/meminfo: memFree=1693964/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=93084 CPUtime=402.19 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 23959 0 0 0 40201 18 0 0 25 0 1 0 40098825 95318016 21747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 23271 21747 139 317 0 22950 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 93084 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 29455 /proc/meminfo: memFree=1687692/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=99668 CPUtime=462.17 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 25797 0 0 0 46198 19 0 0 25 0 1 0 40098825 102060032 23324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 24917 23324 139 317 0 24596 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 99668 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 29455 /proc/meminfo: memFree=1681932/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=105716 CPUtime=522.16 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 27476 0 0 0 52196 20 0 0 25 0 1 0 40098825 108253184 24808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 26429 24808 139 317 0 26108 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 105716 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 29455 /proc/meminfo: memFree=1676876/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=111548 CPUtime=582.15 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 29096 0 0 0 58193 22 0 0 25 0 1 0 40098825 114225152 26025 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 27887 26025 139 317 0 27566 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 111548 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 29455 /proc/meminfo: memFree=1672652/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=115096 CPUtime=642.13 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 30144 0 0 0 64190 23 0 0 25 0 1 0 40098825 117858304 27073 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 28774 27073 139 317 0 28453 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 115096 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 29455 /proc/meminfo: memFree=1659212/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=127140 CPUtime=882.07 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 33671 0 0 0 88180 27 0 0 25 0 1 0 40098825 130191360 30404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 31785 30404 139 317 0 31464 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 127140 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 29455 /proc/meminfo: memFree=1656588/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=129336 CPUtime=942.06 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 34330 0 0 0 94178 28 0 0 25 0 1 0 40098825 132440064 31063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 32334 31063 139 317 0 32013 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 129336 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 29455 /proc/meminfo: memFree=1653580/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=131824 CPUtime=1002.04 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 35081 0 0 0 100176 28 0 0 25 0 1 0 40098825 134987776 31814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 32956 31814 139 317 0 32635 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 131824 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 29455 /proc/meminfo: memFree=1650828/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=142500 CPUtime=1062.03 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 37744 0 0 0 106173 30 0 0 25 0 1 0 40098825 145920000 32477 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718329 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 35625 32477 139 317 0 35304 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 142500 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 29455 /proc/meminfo: memFree=1648140/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=145080 CPUtime=1122.01 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 38520 0 0 0 112171 30 0 0 25 0 1 0 40098825 148561920 33155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 36270 33155 139 317 0 35949 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 145080 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 29455 /proc/meminfo: memFree=1645388/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=147548 CPUtime=1182 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 39222 0 0 0 118169 31 0 0 25 0 1 0 40098825 151089152 33857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 36887 33857 139 317 0 36566 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 147548 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 29455 /proc/meminfo: memFree=1642956/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=149484 CPUtime=1241.98 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 39819 0 0 0 124166 32 0 0 25 0 1 0 40098825 153071616 34454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 37371 34454 139 317 0 37050 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 149484 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 29455 /proc/meminfo: memFree=1640204/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=151928 CPUtime=1301.98 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 40538 0 0 0 130165 33 0 0 25 0 1 0 40098825 155574272 35108 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 37982 35108 139 317 0 37661 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 151928 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 29455 /proc/meminfo: memFree=1637772/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=155660 CPUtime=1361.95 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 41579 0 0 0 136162 33 0 0 25 0 1 0 40098825 159395840 35697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 38915 35697 139 317 0 38594 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 155660 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.98 2/65 29455 /proc/meminfo: memFree=1635532/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=157592 CPUtime=1421.95 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 42172 0 0 0 142161 34 0 0 25 0 1 0 40098825 161374208 36290 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 39398 36290 139 317 0 39077 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 157592 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 29455 /proc/meminfo: memFree=1632908/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=160956 CPUtime=1481.93 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 43092 0 0 0 148158 35 0 0 25 0 1 0 40098825 164818944 36952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 40239 36952 139 317 0 39918 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 160956 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 29455 /proc/meminfo: memFree=1630860/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=163144 CPUtime=1541.91 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 43716 0 0 0 154156 35 0 0 25 0 1 0 40098825 167059456 37447 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 40786 37447 139 317 0 40465 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 163144 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 29455 /proc/meminfo: memFree=1628364/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=165236 CPUtime=1601.89 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 44352 0 0 0 160154 35 0 0 25 0 1 0 40098825 169201664 38083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 41309 38083 139 317 0 40988 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 165236 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 29455 /proc/meminfo: memFree=1626316/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=167068 CPUtime=1661.88 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 44861 0 0 0 166152 36 0 0 25 0 1 0 40098825 171077632 38592 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563957 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 41767 38592 139 317 0 41446 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 167068 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 29455 /proc/meminfo: memFree=1623884/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=169464 CPUtime=1721.86 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 45513 0 0 0 172150 36 0 0 25 0 1 0 40098825 173531136 39179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604450 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 42366 39179 139 317 0 42045 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 169464 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 29455 /proc/meminfo: memFree=1621708/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=171560 CPUtime=1781.85 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 46077 0 0 0 178148 37 0 0 25 0 1 0 40098825 175677440 39743 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 42890 39743 139 317 0 42569 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 171560 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.98 2/65 29455 /proc/meminfo: memFree=1620812/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=172496 CPUtime=1800.05 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 46289 0 0 0 179968 37 0 0 25 0 1 0 40098825 176635904 39955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 43124 39955 139 317 0 42803 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 172496 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.98 2/65 29455 /proc/meminfo: memFree=1620812/2055920 swapFree=4179264/4192956 [pid=29454] ppid=29452 vsize=172496 CPUtime=1800.05 /proc/29454/stat : 29454 (oree) R 29452 29454 29111 0 -1 4194304 46289 0 0 0 179968 37 0 0 25 0 1 0 40098825 176635904 39955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29454/statm: 43124 39955 139 317 0 42803 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 172496 Child status: 0 Real time (s): 1800.59 CPU time (s): 1800.14 CPU user time (s): 1799.74 CPU system time (s): 0.402938 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 172496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.74 system time used= 0.402938 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46305 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= 2519 runsolver used 1.17382 second user time and 3.76043 second system time The end
Begin job on node52 on Tue Apr 17 23:28:58 UTC 2007 IDJOB= 357039 IDBENCH= 1812 IDSOLVER= 172 FILE ID= node52/357039-1176852537 PBS_JOBID= 4590231 Free space on /tmp= 66343 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-danoint.opb COMMAND LINE= oree /tmp/evaluation/357039-1176852537/instance-357039-1176852537.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-357039-1176852537 -o ROOT/results/node52/solver-357039-1176852537 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357039-1176852537/instance-357039-1176852537.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 9a58bdfc023900d726e146c07979fe71 RANDOM SEED= 145635622 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node52.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.236 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.236 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: 1781404 kB Buffers: 26216 kB Cached: 193920 kB SwapCached: 7936 kB Active: 92784 kB Inactive: 141024 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1781404 kB SwapTotal: 4192956 kB SwapFree: 4179264 kB Dirty: 2076 kB Writeback: 0 kB Mapped: 15512 kB Slab: 26652 kB Committed_AS: 1524484 kB PageTables: 1484 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= 66343 MiB End job on node52 on Tue Apr 17 23:59:00 UTC 2007