Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1802.13 | 1802.19 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran8x32.opb |
MD5SUM | 857268f55ca3006474c2fa40f262a214 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.184971 |
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 | 7936 |
Total number of constraints | 296 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 296 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 960 |
Number of terms in the objective function | 7936 |
Biggest coefficient in the objective function | 1818 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 530569 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 530569 |
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.03/0.09 c ...done 0.03/0.09 c #vars=7936 #constraints=337 hasObjective=yes 0.09/0.19 c res. mode=mod 0.09/0.19 c VSIDS like heuristics 0.09/0.19 c complete search running 0.19/0.23 c restart after 401 decisions 0.19/0.23 c nbDecision=500 #constraints=337 0.19/0.26 c restart after 801 decisions 0.19/0.27 c nbDecision=1000 #constraints=337 0.29/0.31 c nbDecision=1500 #constraints=337 0.29/0.31 c restart after 1601 decisions 0.29/0.34 c nbDecision=2000 #constraints=337 0.29/0.38 c nbDecision=2500 #constraints=337 0.39/0.41 c nbDecision=3000 #constraints=337 0.39/0.42 c restart after 3201 decisions 0.39/0.44 c nbDecision=3500 #constraints=337 0.39/0.47 c nbDecision=4000 #constraints=337 0.49/0.50 c nbDecision=4500 #constraints=337 0.49/0.53 c nbDecision=5000 #constraints=337 0.49/0.55 c nbDecision=5500 #constraints=337 0.49/0.58 c nbDecision=6000 #constraints=338 0.99/1.08 c restart after 6401 decisions 0.99/1.10 c nbDecision=6500 #constraints=442 1.09/1.13 c nbDecision=7000 #constraints=442 1.09/1.17 c nbDecision=7500 #constraints=442 1.09/1.19 c nbDecision=8000 #constraints=442 1.19/1.22 c nbDecision=8500 #constraints=442 1.19/1.24 c nbDecision=9000 #constraints=442 1.89/1.91 c nbDecision=9500 #constraints=577 2.49/2.53 c nbDecision=10000 #constraints=661 4.30/4.31 c nbDecision=10500 #constraints=983 6.69/6.79 c nbDecision=11000 #constraints=1274 7.99/8.01 c nbDecision=11500 #constraints=1331 9.19/9.28 c nbDecision=12000 #constraints=1388 10.59/10.61 c nbDecision=12500 #constraints=1445 10.89/10.91 c restart after 12801 decisions 10.89/10.98 c nbDecision=13000 #constraints=1460 10.99/11.03 c nbDecision=13500 #constraints=1460 10.99/11.07 c nbDecision=14000 #constraints=1460 11.09/11.10 c nbDecision=14500 #constraints=1460 11.09/11.14 c nbDecision=15000 #constraints=1460 11.09/11.18 c nbDecision=15500 #constraints=1460 12.19/12.29 c nbDecision=16000 #constraints=1502 13.69/13.73 c nbDecision=16500 #constraints=1559 15.19/15.22 c nbDecision=17000 #constraints=1616 16.69/16.77 c nbDecision=17500 #constraints=1673 18.30/18.37 c nbDecision=18000 #constraints=1730 19.99/20.02 c nbDecision=18500 #constraints=1787 21.69/21.73 c nbDecision=19000 #constraints=1844 23.40/23.48 c nbDecision=19500 #constraints=1901 25.59/25.62 c nbDecision=20000 #constraints=1973 27.09/27.12 c nbDecision=20500 #constraints=2015 30.09/30.18 c nbDecision=21000 #constraints=2252 32.80/32.85 c nbDecision=21500 #constraints=2357 37.99/38.06 c nbDecision=22000 #constraints=2475 43.39/43.44 c nbDecision=22500 #constraints=2716 55.99/56.04 c nbDecision=23000 #constraints=2890 65.50/65.52 c nbDecision=23500 #constraints=3021 79.60/79.63 c nbDecision=24000 #constraints=3195 94.00/94.00 c nbDecision=24500 #constraints=3354 104.39/104.49 c nbDecision=25000 #constraints=3470 109.80/109.81 c nbDecision=25500 #constraints=3528 109.80/109.88 c restart after 25601 decisions 110.40/110.42 c nbDecision=26000 #constraints=3528 110.50/110.53 c nbDecision=26500 #constraints=3528 110.60/110.64 c nbDecision=27000 #constraints=3528 110.70/110.78 c nbDecision=27500 #constraints=3528 110.90/110.90 c nbDecision=28000 #constraints=3528 112.49/112.54 c nbDecision=28500 #constraints=3617 115.79/115.84 c nbDecision=29000 #constraints=3825 119.49/119.52 c nbDecision=29500 #constraints=3892 123.49/123.56 c nbDecision=30000 #constraints=3946 127.60/127.66 c nbDecision=30500 #constraints=4000 131.79/131.84 c nbDecision=31000 #constraints=4054 136.09/136.10 c nbDecision=31500 #constraints=4108 140.39/140.43 c nbDecision=32000 #constraints=4162 144.69/144.78 c nbDecision=32500 #constraints=4216 148.40/148.50 c nbDecision=33000 #constraints=4399 152.89/152.94 c nbDecision=33500 #constraints=4513 158.10/158.20 c nbDecision=34000 #constraints=4618 167.89/167.98 c nbDecision=34500 #constraints=4848 187.00/187.01 c nbDecision=35000 #constraints=5003 209.70/209.74 c nbDecision=35500 #constraints=5177 233.10/233.19 c nbDecision=36000 #constraints=5351 250.20/250.24 c nbDecision=36500 #constraints=5482 274.30/274.32 c nbDecision=37000 #constraints=5641 284.10/284.14 c nbDecision=37500 #constraints=5763 296.91/296.94 c nbDecision=38000 #constraints=5843 303.40/303.49 c nbDecision=38500 #constraints=6065 309.79/309.83 c nbDecision=39000 #constraints=6119 316.20/316.22 c nbDecision=39500 #constraints=6173 322.70/322.75 c nbDecision=40000 #constraints=6227 329.30/329.32 c nbDecision=40500 #constraints=6281 336.00/336.02 c nbDecision=41000 #constraints=6335 342.70/342.77 c nbDecision=41500 #constraints=6389 372.40/372.40 c nbDecision=42000 #constraints=6487 374.40/374.46 c nbDecision=42500 #constraints=6571 383.20/383.23 c nbDecision=43000 #constraints=6736 390.20/390.24 c nbDecision=43500 #constraints=6790 397.40/397.40 c nbDecision=44000 #constraints=6844 401.10/401.15 c nbDecision=44500 #constraints=6871 408.31/408.31 c nbDecision=45000 #constraints=6925 415.61/415.65 c nbDecision=45500 #constraints=6979 423.00/423.01 c nbDecision=46000 #constraints=7033 455.90/455.98 c nbDecision=46500 #constraints=7131 460.91/460.92 c nbDecision=47000 #constraints=7327 467.60/467.67 c nbDecision=47500 #constraints=7380 475.31/475.39 c nbDecision=48000 #constraints=7434 483.21/483.22 c nbDecision=48500 #constraints=7488 491.00/491.10 c nbDecision=49000 #constraints=7542 499.10/499.12 c nbDecision=49500 #constraints=7596 507.11/507.18 c nbDecision=50000 #constraints=7650 515.30/515.40 c nbDecision=50500 #constraints=7704 547.81/547.86 c nbDecision=51000 #constraints=7775 548.31/548.38 c restart after 51201 decisions 549.81/549.80 c nbDecision=51500 #constraints=7789 550.01/550.06 c nbDecision=52000 #constraints=7789 550.31/550.31 c nbDecision=52500 #constraints=7789 550.51/550.59 c nbDecision=53000 #constraints=7789 550.81/550.86 c nbDecision=53500 #constraints=7789 551.51/551.58 c nbDecision=54000 #constraints=7803 563.30/563.33 c nbDecision=54500 #constraints=8024 567.71/567.71 c nbDecision=55000 #constraints=8051 576.21/576.21 c nbDecision=55500 #constraints=8105 584.81/584.84 c nbDecision=56000 #constraints=8159 593.50/593.50 c nbDecision=56500 #constraints=8213 602.21/602.29 c nbDecision=57000 #constraints=8267 611.11/611.17 c nbDecision=57500 #constraints=8321 650.91/651.00 c nbDecision=58000 #constraints=8419 655.51/655.51 c nbDecision=58500 #constraints=8573 664.91/664.91 c nbDecision=59000 #constraints=8668 674.11/674.18 c nbDecision=59500 #constraints=8722 683.51/683.56 c nbDecision=60000 #constraints=8776 693.01/693.00 c nbDecision=60500 #constraints=8830 702.52/702.59 c nbDecision=61000 #constraints=8884 712.21/712.23 c nbDecision=61500 #constraints=8938 717.21/717.27 c nbDecision=62000 #constraints=8965 760.71/760.78 c nbDecision=62500 #constraints=9063 770.41/770.47 c nbDecision=63000 #constraints=9285 775.61/775.64 c nbDecision=63500 #constraints=9312 785.71/785.71 c nbDecision=64000 #constraints=9366 795.92/795.90 c nbDecision=64500 #constraints=9420 806.01/806.04 c nbDecision=65000 #constraints=9474 816.41/816.43 c nbDecision=65500 #constraints=9528 826.82/826.90 c nbDecision=66000 #constraints=9582 837.52/837.52 c nbDecision=66500 #constraints=9636 879.42/879.48 c nbDecision=67000 #constraints=9707 889.82/889.84 c nbDecision=67500 #constraints=9929 900.62/900.69 c nbDecision=68000 #constraints=9983 911.52/911.57 c nbDecision=68500 #constraints=10037 922.62/922.62 c nbDecision=69000 #constraints=10091 933.72/933.71 c nbDecision=69500 #constraints=10145 944.93/944.94 c nbDecision=70000 #constraints=10199 950.72/950.72 c nbDecision=70500 #constraints=10226 962.12/962.10 c nbDecision=71000 #constraints=10280 1007.22/1007.22 c nbDecision=71500 #constraints=10351 1018.22/1018.27 c nbDecision=72000 #constraints=10573 1029.82/1029.83 c nbDecision=72500 #constraints=10627 1041.42/1041.50 c nbDecision=73000 #constraints=10681 1053.12/1053.16 c nbDecision=73500 #constraints=10735 1065.02/1065.06 c nbDecision=74000 #constraints=10789 1077.02/1077.05 c nbDecision=74500 #constraints=10843 1089.13/1089.11 c nbDecision=75000 #constraints=10897 1142.93/1143.09 c nbDecision=75500 #constraints=10995 1146.74/1146.82 c nbDecision=76000 #constraints=11093 1161.22/1161.32 c nbDecision=76500 #constraints=11244 1173.52/1173.68 c nbDecision=77000 #constraints=11298 1186.02/1186.17 c nbDecision=77500 #constraints=11352 1198.62/1198.77 c nbDecision=78000 #constraints=11406 1205.22/1205.30 c nbDecision=78500 #constraints=11433 1217.83/1218.00 c nbDecision=79000 #constraints=11487 1230.62/1230.80 c nbDecision=79500 #constraints=11541 1288.03/1288.11 c nbDecision=80000 #constraints=11639 1295.52/1295.64 c nbDecision=80500 #constraints=11835 1307.23/1307.38 c nbDecision=81000 #constraints=11888 1320.22/1320.37 c nbDecision=81500 #constraints=11942 1333.43/1333.57 c nbDecision=82000 #constraints=11996 1346.82/1346.90 c nbDecision=82500 #constraints=12050 1360.22/1360.36 c nbDecision=83000 #constraints=12104 1373.73/1373.87 c nbDecision=83500 #constraints=12158 1387.42/1387.53 c nbDecision=84000 #constraints=12212 1441.63/1441.77 c nbDecision=84500 #constraints=12283 1454.63/1454.79 c nbDecision=85000 #constraints=12505 1468.43/1468.58 c nbDecision=85500 #constraints=12559 1482.43/1482.51 c nbDecision=86000 #constraints=12613 1496.43/1496.51 c nbDecision=86500 #constraints=12667 1503.64/1503.76 c nbDecision=87000 #constraints=12694 1517.83/1517.93 c nbDecision=87500 #constraints=12748 1532.03/1532.16 c nbDecision=88000 #constraints=12802 1546.23/1546.37 c nbDecision=88500 #constraints=12856 1603.64/1603.79 c nbDecision=89000 #constraints=12927 1617.34/1617.49 c nbDecision=89500 #constraints=13149 1631.63/1631.78 c nbDecision=90000 #constraints=13203 1646.33/1646.41 c nbDecision=90500 #constraints=13257 1661.03/1661.18 c nbDecision=91000 #constraints=13311 1675.94/1676.01 c nbDecision=91500 #constraints=13365 1690.83/1690.93 c nbDecision=92000 #constraints=13419 1705.83/1705.99 c nbDecision=92500 #constraints=13473 1773.24/1773.35 c nbDecision=93000 #constraints=13571 1776.23/1776.35 c nbDecision=93500 #constraints=13627 1795.73/1795.81 c nbDecision=94000 #constraints=13820 1800.04/1800.10 Received signal 15
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node16/watcher-362454-1176846161 -o ROOT/results/node16/solver-362454-1176846161 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362454-1176846161/instance-362454-1176846161.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 29008 /proc/meminfo: memFree=1866232/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=1468 CPUtime=0 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 132533768 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 367 161 126 317 0 46 0 [startup+0.0373949 s] /proc/loadavg: 1.00 1.00 1.00 3/77 29008 /proc/meminfo: memFree=1866232/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=2020 CPUtime=0.03 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 323 0 0 0 3 0 0 0 18 0 1 0 132533768 2068480 305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134590730 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 505 305 131 317 0 184 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2020 [startup+0.10138 s] /proc/loadavg: 1.00 1.00 1.00 3/77 29008 /proc/meminfo: memFree=1866232/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=3956 CPUtime=0.09 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 791 0 0 0 9 0 0 0 18 0 1 0 132533768 4050944 773 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 989 773 137 317 0 668 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3956 [startup+0.301341 s] /proc/loadavg: 1.00 1.00 1.00 3/77 29008 /proc/meminfo: memFree=1866232/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=4220 CPUtime=0.29 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 858 0 0 0 29 0 0 0 19 0 1 0 132533768 4321280 840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 1055 840 138 317 0 734 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4220 [startup+0.701257 s] /proc/loadavg: 1.00 1.00 1.00 3/77 29008 /proc/meminfo: memFree=1866232/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=5160 CPUtime=0.69 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 1105 0 0 0 69 0 0 0 23 0 1 0 132533768 5283840 1087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 1290 1087 139 317 0 969 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5160 [startup+1.50109 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29009 /proc/meminfo: memFree=1860144/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=9240 CPUtime=1.49 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 2108 0 0 0 149 0 0 0 25 0 1 0 132533768 9461760 2090 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 2310 2090 139 317 0 1989 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9240 [startup+3.10176 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29009 /proc/meminfo: memFree=1855600/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=17500 CPUtime=3.09 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 4132 0 0 0 308 1 0 0 25 0 1 0 132533768 17920000 4114 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272627 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 4375 4114 139 317 0 4054 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17500 [startup+6.3011 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29009 /proc/meminfo: memFree=1841072/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=30520 CPUtime=6.29 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 7343 0 0 0 626 3 0 0 25 0 1 0 132533768 31252480 7325 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 7630 7325 139 317 0 7309 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30520 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29009 /proc/meminfo: memFree=1828792/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=39964 CPUtime=12.69 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 9649 0 0 0 1265 4 0 0 25 0 1 0 132533768 40923136 9631 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 9991 9631 139 317 0 9670 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 39964 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29009 /proc/meminfo: memFree=1808888/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=60944 CPUtime=25.49 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 14493 0 0 0 2543 6 0 0 25 0 1 0 132533768 62406656 14475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 15236 14475 139 317 0 14915 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 60944 [startup+51.1018 s] /proc/loadavg: 1.07 1.02 1.00 2/78 29009 /proc/meminfo: memFree=1777336/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=92580 CPUtime=51.09 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 22306 0 0 0 5100 9 0 0 25 0 1 0 132533768 94801920 22288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 23145 22288 139 317 0 22824 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 92580 [startup+102.305 s] /proc/loadavg: 1.03 1.01 1.00 2/78 29009 /proc/meminfo: memFree=1741880/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=135924 CPUtime=102.29 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 31103 0 0 0 10216 13 0 0 25 0 1 0 132533768 139186176 31085 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 33981 31085 139 317 0 33660 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 135924 [startup+162.302 s] /proc/loadavg: 1.01 1.01 1.00 2/78 29009 /proc/meminfo: memFree=1707320/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=169648 CPUtime=162.3 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 39727 0 0 0 16211 19 0 0 25 0 1 0 132533768 173719552 39709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 42412 39709 139 317 0 42091 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 169648 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29009 /proc/meminfo: memFree=1686264/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=191208 CPUtime=222.3 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 44962 0 0 0 22209 21 0 0 25 0 1 0 132533768 195796992 44944 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 47802 44944 139 317 0 47481 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 191208 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29009 /proc/meminfo: memFree=1668472/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=211412 CPUtime=282.3 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 49422 0 0 0 28207 23 0 0 25 0 1 0 132533768 216485888 49404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284229 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 52853 49404 139 317 0 52532 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 211412 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29009 /proc/meminfo: memFree=1644408/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=238780 CPUtime=342.3 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 55387 0 0 0 34205 25 0 0 25 0 1 0 132533768 244510720 55369 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 59695 55369 139 317 0 59374 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 238780 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29009 /proc/meminfo: memFree=1626168/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=260020 CPUtime=402.3 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 60014 0 0 0 40203 27 0 0 25 0 1 0 132533768 266260480 59996 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 65005 59996 139 317 0 64684 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 260020 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29009 /proc/meminfo: memFree=1610360/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=277052 CPUtime=462.3 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 63907 0 0 0 46200 30 0 0 25 0 1 0 132533768 283701248 63889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 69263 63889 139 317 0 68942 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 277052 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29009 /proc/meminfo: memFree=1597048/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=290000 CPUtime=522.3 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 67255 0 0 0 52198 32 0 0 25 0 1 0 132533768 296960000 67237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 72500 67237 139 317 0 72179 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 290000 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29009 /proc/meminfo: memFree=1585208/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=301348 CPUtime=582.31 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 70205 0 0 0 58197 34 0 0 25 0 1 0 132533768 308580352 70187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 75337 70187 139 317 0 75016 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 301348 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29009 /proc/meminfo: memFree=1574904/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=310916 CPUtime=642.31 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 72801 0 0 0 64196 35 0 0 25 0 1 0 132533768 318377984 72726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 77729 72726 139 317 0 77408 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 310916 ################ # More data... # ################ /proc/meminfo: memFree=1493304/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=399500 CPUtime=1062.33 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 93191 0 0 0 106184 49 0 0 25 0 1 0 132533768 409088000 93116 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 99875 93116 139 317 0 99554 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 399500 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 29131 /proc/meminfo: memFree=1484920/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=407072 CPUtime=1122.26 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 94935 0 0 0 112175 51 0 0 25 0 1 0 132533768 416841728 94860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 101768 94860 139 317 0 101447 0 Current children cumulated CPU time (s) 1122.26 Current children cumulated vsize (KiB) 407072 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29207 /proc/meminfo: memFree=1475960/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=416632 CPUtime=1182.22 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 97471 0 0 0 118169 53 0 0 25 0 1 0 132533768 426631168 97396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 104158 97396 139 317 0 103837 0 Current children cumulated CPU time (s) 1182.22 Current children cumulated vsize (KiB) 416632 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29207 /proc/meminfo: memFree=1467576/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=425172 CPUtime=1242.22 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 99525 0 0 0 124168 54 0 0 25 0 1 0 132533768 435376128 99450 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 106293 99450 139 317 0 105972 0 Current children cumulated CPU time (s) 1242.22 Current children cumulated vsize (KiB) 425172 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29207 /proc/meminfo: memFree=1459576/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=432828 CPUtime=1302.23 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 101502 0 0 0 130167 56 0 0 25 0 1 0 132533768 443215872 101427 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 108207 101427 139 317 0 107886 0 Current children cumulated CPU time (s) 1302.23 Current children cumulated vsize (KiB) 432828 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29207 /proc/meminfo: memFree=1445176/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=453988 CPUtime=1362.23 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 105123 0 0 0 136165 58 0 0 25 0 1 0 132533768 464883712 105048 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713798 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 113497 105048 139 317 0 113176 0 Current children cumulated CPU time (s) 1362.23 Current children cumulated vsize (KiB) 453988 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29207 /proc/meminfo: memFree=1439032/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=459936 CPUtime=1422.23 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 106611 0 0 0 142164 59 0 0 25 0 1 0 132533768 470974464 106536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 114984 106536 139 317 0 114663 0 Current children cumulated CPU time (s) 1422.23 Current children cumulated vsize (KiB) 459936 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29207 /proc/meminfo: memFree=1430072/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=469092 CPUtime=1482.23 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 108863 0 0 0 148163 60 0 0 25 0 1 0 132533768 480350208 108788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 117273 108788 139 317 0 116952 0 Current children cumulated CPU time (s) 1482.23 Current children cumulated vsize (KiB) 469092 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29207 /proc/meminfo: memFree=1421816/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=476492 CPUtime=1542.24 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 110947 0 0 0 154162 62 0 0 25 0 1 0 132533768 487927808 110872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 119123 110872 139 317 0 118802 0 Current children cumulated CPU time (s) 1542.24 Current children cumulated vsize (KiB) 476492 [startup+1602.3 s] /proc/loadavg: 1.11 1.03 1.01 2/78 29207 /proc/meminfo: memFree=1418360/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=480200 CPUtime=1602.23 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 111792 0 0 0 160160 63 0 0 25 0 1 0 132533768 491724800 111717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 120050 111717 139 317 0 119729 0 Current children cumulated CPU time (s) 1602.23 Current children cumulated vsize (KiB) 480200 [startup+1662.3 s] /proc/loadavg: 1.04 1.02 1.00 2/78 29207 /proc/meminfo: memFree=1402552/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=502140 CPUtime=1662.23 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 115770 0 0 0 166158 65 0 0 25 0 1 0 132533768 514191360 115695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563614 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 125535 115695 139 317 0 125214 0 Current children cumulated CPU time (s) 1662.23 Current children cumulated vsize (KiB) 502140 [startup+1722.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 29207 /proc/meminfo: memFree=1395256/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=509976 CPUtime=1722.23 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 117598 0 0 0 172157 66 0 0 25 0 1 0 132533768 522215424 117523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 127494 117523 139 317 0 127173 0 Current children cumulated CPU time (s) 1722.23 Current children cumulated vsize (KiB) 509976 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 29207 /proc/meminfo: memFree=1389112/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=515840 CPUtime=1782.24 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 119153 0 0 0 178156 68 0 0 25 0 1 0 132533768 528220160 119078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 128960 119078 139 317 0 128639 0 Current children cumulated CPU time (s) 1782.24 Current children cumulated vsize (KiB) 515840 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 1.00 1.01 1.00 2/78 29207 /proc/meminfo: memFree=1386296/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=518072 CPUtime=1800.04 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 119821 0 0 0 179936 68 0 0 25 0 1 0 132533768 530505728 119746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 129518 119746 139 317 0 129197 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 518072 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.01 1.00 2/79 29208 /proc/meminfo: memFree=1386224/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=518204 CPUtime=1801.34 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 119846 0 0 0 180065 69 0 0 25 0 1 0 132533768 530640896 119771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 129551 119771 139 317 0 129230 0 Current children cumulated CPU time (s) 1801.34 Current children cumulated vsize (KiB) 518204 [startup+1801.81 s] /proc/loadavg: 1.00 1.01 1.00 2/79 29208 /proc/meminfo: memFree=1386160/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=518204 CPUtime=1801.74 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 119858 0 0 0 180105 69 0 0 25 0 1 0 132533768 530640896 119783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 129551 119783 139 317 0 129230 0 Current children cumulated CPU time (s) 1801.74 Current children cumulated vsize (KiB) 518204 [startup+1802 s] /proc/loadavg: 1.00 1.01 1.00 2/79 29208 /proc/meminfo: memFree=1386160/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=518204 CPUtime=1801.94 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 119858 0 0 0 180125 69 0 0 25 0 1 0 132533768 530640896 119783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 129551 119783 139 317 0 129230 0 Current children cumulated CPU time (s) 1801.94 Current children cumulated vsize (KiB) 518204 [startup+1802.1 s] /proc/loadavg: 1.00 1.01 1.00 2/79 29208 /proc/meminfo: memFree=1386160/2055920 swapFree=4134660/4192956 [pid=29008] ppid=29006 vsize=518204 CPUtime=1802.04 /proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 119858 0 0 0 180135 69 0 0 25 0 1 0 132533768 530640896 119783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29008/statm: 129551 119783 139 317 0 129230 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 518204 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.19 CPU time (s): 1802.13 CPU user time (s): 1801.36 CPU system time (s): 0.769882 CPU usage (%): 99.9969 Max. virtual memory (cumulated for all children) (KiB): 518204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1801.36 system time used= 0.769882 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 119858 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= 15260 runsolver used 2.00569 second user time and 4.57031 second system time The end
Begin job on node16 on Tue Apr 17 21:42:41 UTC 2007 IDJOB= 362454 IDBENCH= 1561 IDSOLVER= 172 FILE ID= node16/362454-1176846161 PBS_JOBID= 4590166 Free space on /tmp= 66399 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran8x32.opb COMMAND LINE= oree /tmp/evaluation/362454-1176846161/instance-362454-1176846161.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-362454-1176846161 -o ROOT/results/node16/solver-362454-1176846161 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362454-1176846161/instance-362454-1176846161.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 857268f55ca3006474c2fa40f262a214 RANDOM SEED= 82277242 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node16.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.232 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.232 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: 1866640 kB Buffers: 36392 kB Cached: 83296 kB SwapCached: 26784 kB Active: 97344 kB Inactive: 60180 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1866640 kB SwapTotal: 4192956 kB SwapFree: 4134660 kB Dirty: 1600 kB Writeback: 0 kB Mapped: 30772 kB Slab: 17340 kB Committed_AS: 6415940 kB PageTables: 1836 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= 66399 MiB End job on node16 on Tue Apr 17 22:12:44 UTC 2007