Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.18 | 1800.79 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos7.opb |
MD5SUM | a93c44578e8ffcb65ad1c65e578ef076 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 45 |
Best CPU time to get the best result obtained on this benchmark | 1782.76 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 45 |
Optimality of the best value was proved | NO |
Number of variables | 33010 |
Total number of constraints | 2154 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 142 |
Number of constraints which are nor clauses,nor cardinality constraints | 2012 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 441 |
Number of terms in the objective function | 4506 |
Biggest coefficient in the objective function | 7151 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 527624 |
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 | 527624 |
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.29/0.30 c ...done 0.29/0.30 c #vars=33010 #constraints=2625 hasObjective=yes 0.39/0.40 c res. mode=mod 0.39/0.40 c VSIDS like heuristics 0.39/0.40 c complete search running 0.49/0.60 c restart after 401 decisions 0.59/0.64 c nbDecision=500 #constraints=2625 0.69/0.75 c restart after 801 decisions 0.79/0.83 c nbDecision=1000 #constraints=2625 0.99/1.01 c nbDecision=1500 #constraints=2625 0.99/1.04 c restart after 1601 decisions 1.19/1.20 c nbDecision=2000 #constraints=2625 1.29/1.37 c nbDecision=2500 #constraints=2625 1.49/1.52 c nbDecision=3000 #constraints=2625 1.49/1.57 c restart after 3201 decisions 1.69/1.70 c nbDecision=3500 #constraints=2625 1.79/1.87 c nbDecision=4000 #constraints=2625 1.99/2.03 c nbDecision=4500 #constraints=2625 2.09/2.16 c nbDecision=5000 #constraints=2625 2.29/2.35 c nbDecision=5500 #constraints=2626 2.49/2.52 c nbDecision=6000 #constraints=2626 2.59/2.65 c restart after 6401 decisions 2.59/2.69 c nbDecision=6500 #constraints=2626 2.79/2.88 c nbDecision=7000 #constraints=2626 2.99/3.04 c nbDecision=7500 #constraints=2626 3.09/3.18 c nbDecision=8000 #constraints=2626 3.29/3.35 c nbDecision=8500 #constraints=2627 3.49/3.52 c nbDecision=9000 #constraints=2627 3.59/3.68 c nbDecision=9500 #constraints=2627 3.79/3.83 c nbDecision=10000 #constraints=2627 3.89/3.99 c nbDecision=10500 #constraints=2640 4.09/4.17 c nbDecision=11000 #constraints=2640 4.29/4.33 c nbDecision=11500 #constraints=2640 4.39/4.47 c nbDecision=12000 #constraints=2640 4.59/4.65 c nbDecision=12500 #constraints=2656 4.69/4.76 c restart after 12801 decisions 4.79/4.83 c nbDecision=13000 #constraints=2656 4.99/5.01 c nbDecision=13500 #constraints=2656 5.09/5.17 c nbDecision=14000 #constraints=2656 5.29/5.31 c nbDecision=14500 #constraints=2656 5.39/5.49 c nbDecision=15000 #constraints=2696 5.59/5.67 c nbDecision=15500 #constraints=2696 5.79/5.83 c nbDecision=16000 #constraints=2696 5.89/5.97 c nbDecision=16500 #constraints=2696 6.09/6.14 c nbDecision=17000 #constraints=2712 6.29/6.32 c nbDecision=17500 #constraints=2712 6.39/6.48 c nbDecision=18000 #constraints=2712 6.59/6.62 c nbDecision=18500 #constraints=2712 6.69/6.79 c nbDecision=19000 #constraints=2755 6.89/6.97 c nbDecision=19500 #constraints=2755 7.09/7.13 c nbDecision=20000 #constraints=2755 7.19/7.27 c nbDecision=20500 #constraints=2755 7.39/7.43 c nbDecision=21000 #constraints=2766 7.59/7.61 c nbDecision=21500 #constraints=2766 7.69/7.77 c nbDecision=22000 #constraints=2766 7.88/7.91 c nbDecision=22500 #constraints=2766 7.98/8.06 c nbDecision=23000 #constraints=2818 8.18/8.26 c nbDecision=23500 #constraints=2820 8.38/8.42 c nbDecision=24000 #constraints=2820 8.48/8.57 c nbDecision=24500 #constraints=2820 8.69/8.70 c nbDecision=25000 #constraints=2828 8.79/8.89 c nbDecision=25500 #constraints=2836 8.88/8.93 c restart after 25601 decisions 8.98/9.08 c nbDecision=26000 #constraints=2836 9.18/9.25 c nbDecision=26500 #constraints=2836 9.38/9.40 c nbDecision=27000 #constraints=2836 9.48/9.53 c nbDecision=27500 #constraints=2836 9.58/9.70 c nbDecision=28000 #constraints=2956 9.79/9.90 c nbDecision=28500 #constraints=2977 9.98/10.07 c nbDecision=29000 #constraints=2977 10.18/10.22 c nbDecision=29500 #constraints=2977 10.28/10.34 c nbDecision=30000 #constraints=2977 10.48/10.54 c nbDecision=30500 #constraints=2988 10.68/10.71 c nbDecision=31000 #constraints=2988 10.78/10.86 c nbDecision=31500 #constraints=2988 10.89/10.98 c nbDecision=32000 #constraints=2988 11.08/11.19 c nbDecision=32500 #constraints=3072 11.28/11.36 c nbDecision=33000 #constraints=3072 11.48/11.52 c nbDecision=33500 #constraints=3072 11.58/11.66 c nbDecision=34000 #constraints=3072 11.78/11.82 c nbDecision=34500 #constraints=3083 11.88/12.00 c nbDecision=35000 #constraints=3083 12.09/12.16 c nbDecision=35500 #constraints=3083 12.28/12.30 c nbDecision=36000 #constraints=3083 12.38/12.44 c nbDecision=36500 #constraints=3112 12.58/12.64 c nbDecision=37000 #constraints=3133 12.78/12.81 c nbDecision=37500 #constraints=3133 12.88/12.96 c nbDecision=38000 #constraints=3133 12.98/13.09 c nbDecision=38500 #constraints=3133 13.19/13.28 c nbDecision=39000 #constraints=3198 13.38/13.46 c nbDecision=39500 #constraints=3198 13.58/13.62 c nbDecision=40000 #constraints=3198 13.68/13.76 c nbDecision=40500 #constraints=3198 13.88/13.92 c nbDecision=41000 #constraints=3281 14.08/14.13 c nbDecision=41500 #constraints=3298 14.19/14.29 c nbDecision=42000 #constraints=3298 14.38/14.44 c nbDecision=42500 #constraints=3298 14.48/14.57 c nbDecision=43000 #constraints=3298 14.68/14.79 c nbDecision=43500 #constraints=3463 14.88/14.97 c nbDecision=44000 #constraints=3463 15.08/15.14 c nbDecision=44500 #constraints=3463 15.18/15.28 c nbDecision=45000 #constraints=3463 15.39/15.44 c nbDecision=45500 #constraints=3514 15.48/15.60 c nbDecision=46000 #constraints=3546 15.68/15.75 c nbDecision=46500 #constraints=3591 15.88/15.95 c nbDecision=47000 #constraints=3617 16.08/16.12 c nbDecision=47500 #constraints=3617 16.18/16.27 c nbDecision=48000 #constraints=3617 16.28/16.40 c nbDecision=48500 #constraints=3617 16.48/16.59 c nbDecision=49000 #constraints=3678 16.68/16.77 c nbDecision=49500 #constraints=3678 16.88/16.93 c nbDecision=50000 #constraints=3678 16.98/17.07 c nbDecision=50500 #constraints=3678 17.18/17.23 c nbDecision=51000 #constraints=3719 17.28/17.32 c restart after 51201 decisions 17.38/17.43 c nbDecision=51500 #constraints=3720 17.58/17.61 c nbDecision=52000 #constraints=3720 17.68/17.76 c nbDecision=52500 #constraints=3720 17.88/17.90 c nbDecision=53000 #constraints=3720 18.08/18.11 c nbDecision=53500 #constraints=3813 18.18/18.29 c nbDecision=54000 #constraints=3813 18.38/18.45 c nbDecision=54500 #constraints=3813 18.48/18.60 c nbDecision=55000 #constraints=3813 18.68/18.76 c nbDecision=55500 #constraints=3859 18.88/18.98 c nbDecision=56000 #constraints=3941 19.08/19.15 c nbDecision=56500 #constraints=3941 19.28/19.30 c nbDecision=57000 #constraints=3941 19.38/19.44 c nbDecision=57500 #constraints=3941 19.58/19.65 c nbDecision=58000 #constraints=4077 19.78/19.84 c nbDecision=58500 #constraints=4077 19.98/20.01 c nbDecision=59000 #constraints=4077 20.08/20.15 c nbDecision=59500 #constraints=4077 20.18/20.30 c nbDecision=60000 #constraints=4087 20.49/20.51 c nbDecision=60500 #constraints=4270 20.69/20.70 c nbDecision=61000 #constraints=4403 20.89/20.92 c nbDecision=61500 #constraints=4495 21.08/21.10 c nbDecision=62000 #constraints=4495 21.18/21.27 c nbDecision=62500 #constraints=4495 21.38/21.41 c nbDecision=63000 #constraints=4495 21.48/21.57 c nbDecision=63500 #constraints=4528 21.68/21.78 c nbDecision=64000 #constraints=4570 21.89/21.95 c nbDecision=64500 #constraints=4570 22.08/22.10 c nbDecision=65000 #constraints=4570 22.18/22.23 c nbDecision=65500 #constraints=4570 22.38/22.46 c nbDecision=66000 #constraints=4695 22.58/22.65 c nbDecision=66500 #constraints=4695 22.78/22.81 c nbDecision=67000 #constraints=4695 22.88/22.96 c nbDecision=67500 #constraints=4695 23.09/23.12 c nbDecision=68000 #constraints=4716 23.18/23.28 c nbDecision=68500 #constraints=4784 23.38/23.46 c nbDecision=69000 #constraints=4864 23.58/23.66 c nbDecision=69500 #constraints=4965 23.78/23.85 c nbDecision=70000 #constraints=5073 23.98/24.04 c nbDecision=70500 #constraints=5156 24.18/24.25 c nbDecision=71000 #constraints=5271 24.38/24.48 c nbDecision=71500 #constraints=5390 24.58/24.68 c nbDecision=72000 #constraints=5425 24.78/24.86 c nbDecision=72500 #constraints=5425 24.98/25.02 c nbDecision=73000 #constraints=5425 25.08/25.16 c nbDecision=73500 #constraints=5425 25.38/25.43 c nbDecision=74000 #constraints=5527 25.68/25.75 c nbDecision=74500 #constraints=5667 25.88/25.94 c nbDecision=75000 #constraints=5765 26.18/26.21 c nbDecision=75500 #constraints=5939 26.78/26.87 c nbDecision=76000 #constraints=6250 26.98/27.08 c nbDecision=76500 #constraints=6365 27.18/27.29 c nbDecision=77000 #constraints=6477 27.48/27.57 c nbDecision=77500 #constraints=6583 27.78/27.88 c nbDecision=78000 #constraints=6747 27.98/28.08 c nbDecision=78500 #constraints=6826 28.28/28.36 c nbDecision=79000 #constraints=6935 28.58/28.64 c nbDecision=79500 #constraints=7040 28.78/28.86 c nbDecision=80000 #constraints=7141 29.08/29.12 c nbDecision=80500 #constraints=7235 29.28/29.38 c nbDecision=81000 #constraints=7337 29.78/29.89 c nbDecision=81500 #constraints=7507 30.08/30.15 c nbDecision=82000 #constraints=7598 30.38/30.44 c nbDecision=82500 #constraints=7693 30.58/30.69 c nbDecision=83000 #constraints=7775 30.88/30.92 c nbDecision=83500 #constraints=7851 31.18/31.23 c nbDecision=84000 #constraints=7954 31.38/31.49 c nbDecision=84500 #constraints=8033 31.68/31.71 c nbDecision=85000 #constraints=8088 31.98/32.03 c nbDecision=85500 #constraints=8205 32.18/32.29 c nbDecision=86000 #constraints=8294 32.48/32.54 c nbDecision=86500 #constraints=8365 32.77/32.83 c nbDecision=87000 #constraints=8434 33.07/33.18 c nbDecision=87500 #constraints=8525 33.57/33.68 c nbDecision=88000 #constraints=8652 33.87/33.95 c nbDecision=88500 #constraints=8737 34.28/34.35 c nbDecision=89000 #constraints=8843 34.68/34.72 c nbDecision=89500 #constraints=8945 34.98/35.00 c nbDecision=90000 #constraints=9021 35.28/35.37 c nbDecision=90500 #constraints=9121 35.58/35.68 c nbDecision=91000 #constraints=9191 36.08/36.12 c nbDecision=91500 #constraints=9307 36.28/36.37 c nbDecision=92000 #constraints=9365 36.68/36.71 c nbDecision=92500 #constraints=9485 37.28/37.32 c nbDecision=93000 #constraints=9574 37.78/37.81 c nbDecision=93500 #constraints=9667 38.58/38.68 c nbDecision=94000 #constraints=9822 39.18/39.22 c nbDecision=94500 #constraints=9906 39.77/39.82 c nbDecision=95000 #constraints=10013 40.27/40.30 c nbDecision=95500 #constraints=10070 40.87/40.91 c nbDecision=96000 #constraints=10177 42.87/42.95 c nbDecision=96500 #constraints=10431 44.78/44.87 c nbDecision=97000 #constraints=10669 47.87/47.90 c nbDecision=97500 #constraints=11060 51.48/51.53 c nbDecision=98000 #constraints=11511 55.47/55.54 c nbDecision=98500 #constraints=11943 59.87/59.91 c nbDecision=99000 #constraints=12365 64.47/64.53 c nbDecision=99500 #constraints=12804 69.37/69.47 c nbDecision=100000 #constraints=13230 72.36/72.50 c nbDecision=100500 #constraints=13521 76.26/76.39 c nbDecision=101000 #constraints=13718 77.26/77.36 c nbDecision=101500 #constraints=13784 77.86/77.96 c nbDecision=102000 #constraints=13842 79.57/79.66 c restart after 102401 decisions 79.87/79.91 c nbDecision=102500 #constraints=13947 79.97/80.09 c nbDecision=103000 #constraints=13947 80.17/80.26 c nbDecision=103500 #constraints=13947 80.37/80.40 c nbDecision=104000 #constraints=13947 80.77/80.85 c nbDecision=104500 #constraints=13958 81.96/82.07 c nbDecision=105000 #constraints=14064 84.46/84.55 c nbDecision=105500 #constraints=14259 86.66/86.77 c nbDecision=106000 #constraints=14399 87.26/87.38 c nbDecision=106500 #constraints=14459 88.86/88.95 c nbDecision=107000 #constraints=14556 90.36/90.47 c nbDecision=107500 #constraints=14687 91.26/91.36 c nbDecision=108000 #constraints=14771 95.45/95.59 c nbDecision=108500 #constraints=14966 101.56/101.62 c nbDecision=109000 #constraints=15229 103.46/103.50 c nbDecision=109500 #constraints=15330 104.66/104.78 c nbDecision=110000 #constraints=15412 106.85/106.95 c nbDecision=110500 #constraints=15774 109.86/109.93 c nbDecision=111000 #constraints=16243 113.15/113.29 c nbDecision=111500 #constraints=16719 116.75/116.89 c nbDecision=112000 #constraints=17182 120.65/120.79 c nbDecision=112500 #constraints=17648 125.06/125.13 c nbDecision=113000 #constraints=18116 129.85/129.91 c nbDecision=113500 #constraints=18586 131.65/131.78 c nbDecision=114000 #constraints=18725 132.85/132.94 c nbDecision=114500 #constraints=18776 135.35/135.41 c nbDecision=115000 #constraints=18878 144.94/145.01 c nbDecision=115500 #constraints=19340 152.85/152.96 c nbDecision=116000 #constraints=19673 158.24/158.34 c nbDecision=116500 #constraints=19929 161.74/161.81 c nbDecision=117000 #constraints=20051 163.54/163.60 c nbDecision=117500 #constraints=20118 168.94/169.09 c nbDecision=118000 #constraints=20364 174.74/174.86 c nbDecision=118500 #constraints=20593 181.74/181.84 c nbDecision=119000 #constraints=20925 191.04/191.19 c nbDecision=119500 #constraints=21364 193.54/193.69 c nbDecision=120000 #constraints=21498 199.23/199.35 c nbDecision=120500 #constraints=21709 203.03/203.16 c nbDecision=121000 #constraints=21883 208.93/209.02 c nbDecision=121500 #constraints=22228 216.33/216.46 c nbDecision=122000 #constraints=22666 224.13/224.27 c nbDecision=122500 #constraints=23103 232.22/232.36 c nbDecision=123000 #constraints=23537 240.72/240.87 c nbDecision=123500 #constraints=23974 251.12/251.24 c nbDecision=124000 #constraints=24431 261.31/261.49 c nbDecision=124500 #constraints=24867 272.41/272.51 c nbDecision=125000 #constraints=25304 283.50/283.62 c nbDecision=125500 #constraints=25743 295.40/295.53 c nbDecision=126000 #constraints=26184 307.39/307.52 c nbDecision=126500 #constraints=26616 312.00/312.10 c nbDecision=127000 #constraints=26765 322.70/322.88 c nbDecision=127500 #constraints=27101 333.59/333.77 c nbDecision=128000 #constraints=27461 345.07/345.28 c nbDecision=128500 #constraints=27849 357.25/357.48 c nbDecision=129000 #constraints=28234 369.41/369.62 c nbDecision=129500 #constraints=28601 381.30/381.58 c nbDecision=130000 #constraints=28976 395.28/395.58 c nbDecision=130500 #constraints=29367 410.08/410.36 c nbDecision=131000 #constraints=29747 424.38/424.63 c nbDecision=131500 #constraints=30114 438.87/439.14 c nbDecision=132000 #constraints=30494 452.97/453.24 c nbDecision=132500 #constraints=30844 467.16/467.45 c nbDecision=133000 #constraints=31205 481.56/481.87 c nbDecision=133500 #constraints=31554 496.96/497.27 c nbDecision=134000 #constraints=31926 511.95/512.29 c nbDecision=134500 #constraints=32274 528.25/528.51 c nbDecision=135000 #constraints=32659 544.34/544.62 c nbDecision=135500 #constraints=33018 561.03/561.32 c nbDecision=136000 #constraints=33383 577.33/577.63 c nbDecision=136500 #constraints=33735 593.82/594.12 c nbDecision=137000 #constraints=34094 610.42/610.76 c nbDecision=137500 #constraints=34444 627.12/627.43 c nbDecision=138000 #constraints=34802 643.61/643.93 c nbDecision=138500 #constraints=35169 650.81/651.15 c nbDecision=139000 #constraints=35339 674.20/674.57 c nbDecision=139500 #constraints=35747 688.60/688.95 c nbDecision=140000 #constraints=36038 706.90/707.29 c nbDecision=140500 #constraints=36475 718.79/719.12 c nbDecision=141000 #constraints=36728 729.48/729.85 c nbDecision=141500 #constraints=36912 749.88/750.20 c nbDecision=142000 #constraints=37341 764.97/765.35 c nbDecision=142500 #constraints=37693 782.67/783.01 c nbDecision=143000 #constraints=38134 800.57/800.97 c nbDecision=143500 #constraints=38566 819.26/819.65 c nbDecision=144000 #constraints=38993 841.36/841.73 c nbDecision=144500 #constraints=39414 860.35/860.76 c nbDecision=145000 #constraints=39788 872.55/872.95 c nbDecision=145500 #constraints=40014 896.94/897.34 c nbDecision=146000 #constraints=40401 922.63/923.02 c nbDecision=146500 #constraints=40825 932.44/932.81 c nbDecision=147000 #constraints=41046 950.92/951.40 c nbDecision=147500 #constraints=41497 970.21/970.67 c nbDecision=148000 #constraints=41933 989.31/989.77 c nbDecision=148500 #constraints=42384 1002.31/1002.73 c nbDecision=149000 #constraints=42632 1008.91/1009.34 c nbDecision=149500 #constraints=42733 1023.80/1024.24 c nbDecision=150000 #constraints=42939 1028.20/1028.61 c nbDecision=150500 #constraints=43023 1032.20/1032.64 c nbDecision=151000 #constraints=43091 1049.20/1049.68 c nbDecision=151500 #constraints=43277 1084.19/1084.69 c nbDecision=152000 #constraints=43677 1105.98/1106.43 c nbDecision=152500 #constraints=43936 1130.87/1131.33 c nbDecision=153000 #constraints=44214 1145.07/1145.51 c nbDecision=153500 #constraints=44424 1177.46/1177.93 c nbDecision=154000 #constraints=44755 1215.25/1215.73 c nbDecision=154500 #constraints=45143 1252.84/1253.37 c nbDecision=155000 #constraints=45525 1292.93/1293.41 c nbDecision=155500 #constraints=45931 1313.93/1314.43 c nbDecision=156000 #constraints=46136 1327.92/1328.40 c nbDecision=156500 #constraints=46311 1333.92/1334.49 c nbDecision=157000 #constraints=46401 1342.52/1343.04 c nbDecision=157500 #constraints=46494 1348.11/1348.66 c nbDecision=158000 #constraints=46578 1351.21/1351.72 c nbDecision=158500 #constraints=46624 1356.61/1357.19 c nbDecision=159000 #constraints=46692 1359.40/1359.90 c nbDecision=159500 #constraints=46725 1363.70/1364.27 c nbDecision=160000 #constraints=46773 1372.11/1372.65 c nbDecision=160500 #constraints=46880 1380.41/1380.96 c nbDecision=161000 #constraints=46996 1387.90/1388.47 c nbDecision=161500 #constraints=47123 1404.20/1404.79 c nbDecision=162000 #constraints=47432 1425.49/1426.08 c nbDecision=162500 #constraints=47842 1434.19/1434.71 c nbDecision=163000 #constraints=48005 1456.18/1456.79 c nbDecision=163500 #constraints=48358 1475.28/1475.84 c nbDecision=164000 #constraints=48661 1481.08/1481.60 c nbDecision=164500 #constraints=48770 1494.17/1494.77 c nbDecision=165000 #constraints=49018 1501.47/1502.02 c nbDecision=165500 #constraints=49134 1517.76/1518.30 c nbDecision=166000 #constraints=49470 1542.66/1543.22 c nbDecision=166500 #constraints=49892 1549.85/1550.49 c nbDecision=167000 #constraints=50007 1555.55/1556.12 c nbDecision=167500 #constraints=50080 1558.85/1559.41 c nbDecision=168000 #constraints=50150 1564.86/1565.47 c nbDecision=168500 #constraints=50242 1568.45/1569.02 c nbDecision=169000 #constraints=50308 1573.75/1574.39 c nbDecision=169500 #constraints=50403 1586.85/1587.44 c nbDecision=170000 #constraints=50602 1615.04/1615.61 c nbDecision=170500 #constraints=51055 1628.24/1628.85 c nbDecision=171000 #constraints=51287 1634.93/1635.59 c nbDecision=171500 #constraints=51381 1644.53/1645.16 c nbDecision=172000 #constraints=51505 1671.43/1672.06 c nbDecision=172500 #constraints=51908 1681.92/1682.58 c nbDecision=173000 #constraints=52071 1700.81/1701.48 c nbDecision=173500 #constraints=52315 1721.00/1721.62 c nbDecision=174000 #constraints=52615 1732.30/1732.96 c nbDecision=174500 #constraints=52795 1742.71/1743.33 c nbDecision=175000 #constraints=52974 1762.70/1763.39 c nbDecision=175500 #constraints=53257 1771.19/1771.88 c nbDecision=176000 #constraints=53368 1778.39/1779.02 c nbDecision=176500 #constraints=53474 1800.10/1800.70 Received signal 15 1800.10/1800.72 1800.10/1800.72 s UNKNOWN 1800.10/1800.72 1800.10/1800.72 c user time= 1799.48 s 1800.10/1800.72 c system time= 0.642902 s 1800.10/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/node17/watcher-356876-1176846922 -o ROOT/results/node17/solver-356876-1176846922 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356876-1176846922/instance-356876-1176846922.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.78 0.95 0.98 3/77 17549 /proc/meminfo: memFree=1722752/2055920 swapFree=4123132/4192956 [pid=17549] ppid=17547 vsize=1620 CPUtime=0 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 132609721 1658880 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 405 174 126 317 0 84 0 [startup+0.0398599 s] /proc/loadavg: 0.78 0.95 0.98 3/77 17549 /proc/meminfo: memFree=1722752/2055920 swapFree=4123132/4192956 [pid=17549] ppid=17547 vsize=2280 CPUtime=0.03 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 358 0 0 0 3 0 0 0 18 0 1 0 132609721 2334720 340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 570 340 131 317 0 249 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2280 [startup+0.101862 s] /proc/loadavg: 0.78 0.95 0.98 3/77 17549 /proc/meminfo: memFree=1722752/2055920 swapFree=4123132/4192956 [pid=17549] ppid=17547 vsize=3336 CPUtime=0.09 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 637 0 0 0 9 0 0 0 18 0 1 0 132609721 3416064 619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 834 619 131 317 0 513 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3336 [startup+0.301882 s] /proc/loadavg: 0.78 0.95 0.98 3/77 17549 /proc/meminfo: memFree=1722752/2055920 swapFree=4123132/4192956 [pid=17549] ppid=17547 vsize=7296 CPUtime=0.29 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 1605 0 0 0 29 0 0 0 20 0 1 0 132609721 7471104 1587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 1824 1587 131 317 0 1503 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7296 [startup+0.701923 s] /proc/loadavg: 0.78 0.95 0.98 3/77 17549 /proc/meminfo: memFree=1722752/2055920 swapFree=4123132/4192956 [pid=17549] ppid=17547 vsize=11620 CPUtime=0.69 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 2710 0 0 0 68 1 0 0 24 0 1 0 132609721 11898880 2692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 2905 2692 138 317 0 2584 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11620 [startup+1.50201 s] /proc/loadavg: 0.78 0.95 0.98 2/78 17550 /proc/meminfo: memFree=1712440/2055920 swapFree=4123132/4192956 [pid=17549] ppid=17547 vsize=11620 CPUtime=1.49 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 2717 0 0 0 148 1 0 0 25 0 1 0 132609721 11898880 2699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 2905 2699 138 317 0 2584 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11620 [startup+3.10118 s] /proc/loadavg: 0.80 0.95 0.98 2/78 17550 /proc/meminfo: memFree=1712312/2055920 swapFree=4123132/4192956 [pid=17549] ppid=17547 vsize=11892 CPUtime=3.09 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 2745 0 0 0 308 1 0 0 25 0 1 0 132609721 12177408 2727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 2973 2727 139 317 0 2652 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11892 [startup+6.30251 s] /proc/loadavg: 0.80 0.95 0.98 2/78 17550 /proc/meminfo: memFree=1712120/2055920 swapFree=4123132/4192956 [pid=17549] ppid=17547 vsize=11892 CPUtime=6.29 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 2746 0 0 0 628 1 0 0 25 0 1 0 132609721 12177408 2728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 2973 2728 139 317 0 2652 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11892 [startup+12.7012 s] /proc/loadavg: 0.83 0.95 0.98 2/78 17550 /proc/meminfo: memFree=1711736/2055920 swapFree=4123132/4192956 [pid=17549] ppid=17547 vsize=12156 CPUtime=12.68 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 2834 0 0 0 1267 1 0 0 25 0 1 0 132609721 12447744 2816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 3039 2816 139 317 0 2718 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 12156 [startup+25.5015 s] /proc/loadavg: 0.85 0.95 0.98 2/78 17550 /proc/meminfo: memFree=1708088/2055920 swapFree=4123132/4192956 [pid=17549] ppid=17547 vsize=15984 CPUtime=25.48 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 3824 0 0 0 2546 2 0 0 25 0 1 0 132609721 16367616 3770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 3996 3770 170 317 0 3675 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15984 [startup+51.1012 s] /proc/loadavg: 0.90 0.96 0.98 2/78 17550 /proc/meminfo: memFree=1688056/2055920 swapFree=4123132/4192956 [pid=17549] ppid=17547 vsize=36708 CPUtime=51.07 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 8996 0 0 0 5101 6 0 0 25 0 1 0 132609721 37588992 8871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 9177 8871 170 317 0 8856 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 36708 [startup+102.306 s] /proc/loadavg: 0.96 0.96 0.98 2/78 17550 /proc/meminfo: memFree=1663224/2055920 swapFree=4123132/4192956 [pid=17549] ppid=17547 vsize=61868 CPUtime=102.26 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 15065 0 0 0 10215 11 0 0 25 0 1 0 132609721 63352832 14940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 15467 14940 170 317 0 15146 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 61868 [startup+162.302 s] /proc/loadavg: 0.98 0.97 0.98 2/78 17550 /proc/meminfo: memFree=1634168/2055920 swapFree=4123132/4192956 [pid=17549] ppid=17547 vsize=91628 CPUtime=162.24 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 22311 0 0 0 16209 15 0 0 25 0 1 0 132609721 93827072 22186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 22907 22186 170 317 0 22586 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 91628 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17550 /proc/meminfo: memFree=1617528/2055920 swapFree=4123132/4192956 [pid=17549] ppid=17547 vsize=109456 CPUtime=222.23 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 26605 0 0 0 22203 20 0 0 25 0 1 0 132609721 112082944 26339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 27364 26339 170 317 0 27043 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 109456 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17550 /proc/meminfo: memFree=1602552/2055920 swapFree=4123136/4192956 [pid=17549] ppid=17547 vsize=124724 CPUtime=282.2 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 30367 0 0 0 28198 22 0 0 25 0 1 0 132609721 127717376 30101 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 31181 30101 170 317 0 30860 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 124724 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/84 17616 /proc/meminfo: memFree=1587776/2055920 swapFree=4123136/4192956 [pid=17549] ppid=17547 vsize=139200 CPUtime=342.18 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 33824 0 0 0 34192 26 0 0 25 0 1 0 132609721 142540800 33426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 34800 33426 170 317 0 34479 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 139200 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17748 /proc/meminfo: memFree=1578160/2055920 swapFree=4123136/4192956 [pid=17549] ppid=17547 vsize=149328 CPUtime=402.08 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 36535 0 0 0 40179 29 0 0 25 0 1 0 132609721 152911872 36137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 37332 36137 170 317 0 37011 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 149328 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17748 /proc/meminfo: memFree=1568952/2055920 swapFree=4123136/4192956 [pid=17549] ppid=17547 vsize=159720 CPUtime=462.06 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 39024 0 0 0 46175 31 0 0 25 0 1 0 132609721 163553280 38428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 39930 38428 170 317 0 39609 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 159720 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17748 /proc/meminfo: memFree=1559672/2055920 swapFree=4123136/4192956 [pid=17549] ppid=17547 vsize=169548 CPUtime=522.04 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 41607 0 0 0 52171 33 0 0 25 0 1 0 132609721 173617152 40780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562651 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 42387 40780 170 317 0 42066 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 169548 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17748 /proc/meminfo: memFree=1549560/2055920 swapFree=4123136/4192956 [pid=17549] ppid=17547 vsize=181972 CPUtime=582.03 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 44154 0 0 0 58167 36 0 0 25 0 1 0 132609721 186339328 43294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 45493 43294 170 317 0 45172 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 181972 [startup+642.301 s] /proc/loadavg: 1.04 0.99 0.99 2/78 17748 /proc/meminfo: memFree=1540152/2055920 swapFree=4123136/4192956 [pid=17549] ppid=17547 vsize=191520 CPUtime=642.01 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 46470 0 0 0 64164 37 0 0 25 0 1 0 132609721 196116480 45610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 47880 45610 170 317 0 47559 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 191520 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.15 1.06 1.01 2/78 17748 /proc/meminfo: memFree=1509944/2055920 swapFree=4123136/4192956 [pid=17549] ppid=17547 vsize=219604 CPUtime=881.94 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 54009 0 0 0 88150 44 0 0 25 0 1 0 132609721 224874496 53116 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 54901 53116 170 317 0 54580 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 219604 [startup+942.302 s] /proc/loadavg: 1.06 1.05 1.00 2/78 17748 /proc/meminfo: memFree=1502456/2055920 swapFree=4123136/4192956 [pid=17549] ppid=17547 vsize=228328 CPUtime=941.92 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 56212 0 0 0 94147 45 0 0 25 0 1 0 132609721 233807872 54938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 57082 54938 170 317 0 56761 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 228328 [startup+1002.3 s] /proc/loadavg: 1.02 1.04 1.00 2/78 17748 /proc/meminfo: memFree=1496888/2055920 swapFree=4123136/4192956 [pid=17549] ppid=17547 vsize=235616 CPUtime=1001.91 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 58030 0 0 0 100144 47 0 0 25 0 1 0 132609721 241270784 56397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 58904 56397 170 317 0 58583 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 235616 [startup+1062.3 s] /proc/loadavg: 1.00 1.03 1.00 2/78 17748 /proc/meminfo: memFree=1492856/2055920 swapFree=4123136/4192956 [pid=17549] ppid=17547 vsize=239560 CPUtime=1061.89 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 59060 0 0 0 106141 48 0 0 25 0 1 0 132609721 245309440 57362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 59890 57362 170 317 0 59569 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 239560 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 17748 /proc/meminfo: memFree=1488760/2055920 swapFree=4123136/4192956 [pid=17549] ppid=17547 vsize=243512 CPUtime=1121.88 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 60106 0 0 0 112139 49 0 0 25 0 1 0 132609721 249356288 58408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 60878 58408 170 317 0 60557 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 243512 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 17748 /proc/meminfo: memFree=1484856/2055920 swapFree=4123136/4192956 [pid=17549] ppid=17547 vsize=247188 CPUtime=1181.86 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 61140 0 0 0 118136 50 0 0 25 0 1 0 132609721 253120512 59376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 61797 59376 170 317 0 61476 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 247188 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 17748 /proc/meminfo: memFree=1480760/2055920 swapFree=4123136/4192956 [pid=17549] ppid=17547 vsize=250876 CPUtime=1241.84 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 62153 0 0 0 124133 51 0 0 25 0 1 0 132609721 256897024 60389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 62719 60389 170 317 0 62398 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 250876 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17748 /proc/meminfo: memFree=1476344/2055920 swapFree=4123136/4192956 [pid=17549] ppid=17547 vsize=254684 CPUtime=1301.83 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 63229 0 0 0 130130 53 0 0 25 0 1 0 132609721 260796416 61465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 63671 61465 170 317 0 63350 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 254684 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17748 /proc/meminfo: memFree=1473464/2055920 swapFree=4123136/4192956 [pid=17549] ppid=17547 vsize=257372 CPUtime=1361.8 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 63934 0 0 0 136127 53 0 0 25 0 1 0 132609721 263548928 62170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 64343 62170 170 317 0 64022 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 257372 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17748 /proc/meminfo: memFree=1468024/2055920 swapFree=4123136/4192956 [pid=17549] ppid=17547 vsize=267112 CPUtime=1421.8 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 66198 0 0 0 142125 55 0 0 25 0 1 0 132609721 273522688 63516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 66778 63516 170 317 0 66457 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 267112 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17748 /proc/meminfo: memFree=1460984/2055920 swapFree=4123136/4192956 [pid=17549] ppid=17547 vsize=275148 CPUtime=1481.77 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 68022 0 0 0 148121 56 0 0 25 0 1 0 132609721 281751552 65275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 68787 65275 170 317 0 68466 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 275148 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17748 /proc/meminfo: memFree=1454904/2055920 swapFree=4123136/4192956 [pid=17549] ppid=17547 vsize=283520 CPUtime=1541.76 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 70147 0 0 0 154118 58 0 0 25 0 1 0 132609721 290324480 66781 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 70880 66781 170 317 0 70559 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 283520 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17748 /proc/meminfo: memFree=1450424/2055920 swapFree=4123136/4192956 [pid=17549] ppid=17547 vsize=287552 CPUtime=1601.74 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 71266 0 0 0 160115 59 0 0 25 0 1 0 132609721 294453248 67900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 71888 67900 170 317 0 71567 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 287552 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17748 /proc/meminfo: memFree=1445112/2055920 swapFree=4123136/4192956 [pid=17549] ppid=17547 vsize=292408 CPUtime=1661.72 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 72580 0 0 0 166112 60 0 0 25 0 1 0 132609721 299425792 69214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 73102 69214 170 317 0 72781 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 292408 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17748 /proc/meminfo: memFree=1439864/2055920 swapFree=4123136/4192956 [pid=17549] ppid=17547 vsize=297036 CPUtime=1721.7 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 73890 0 0 0 172108 62 0 0 25 0 1 0 132609721 304164864 70524 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 74259 70524 170 317 0 73938 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 297036 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17748 /proc/meminfo: memFree=1435384/2055920 swapFree=4123136/4192956 [pid=17549] ppid=17547 vsize=301248 CPUtime=1781.69 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 75012 0 0 0 178106 63 0 0 25 0 1 0 132609721 308477952 71646 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 75312 71646 170 317 0 74991 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 301248 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17748 /proc/meminfo: memFree=1433144/2055920 swapFree=4123136/4192956 [pid=17549] ppid=17547 vsize=303480 CPUtime=1800.1 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 75578 0 0 0 179946 64 0 0 25 0 1 0 132609721 310763520 72179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 75870 72179 170 317 0 75549 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 303480 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 17748 /proc/meminfo: memFree=1433144/2055920 swapFree=4123136/4192956 [pid=17549] ppid=17547 vsize=303480 CPUtime=1800.1 /proc/17549/stat : 17549 (oree) R 17547 17549 17492 0 -1 4194304 75578 0 0 0 179946 64 0 0 25 0 1 0 132609721 310763520 72179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17549/statm: 75870 72179 170 317 0 75549 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 303480 Child status: 0 Real time (s): 1800.79 CPU time (s): 1800.18 CPU user time (s): 1799.49 CPU system time (s): 0.694894 CPU usage (%): 99.9663 Max. virtual memory (cumulated for all children) (KiB): 303480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.49 system time used= 0.694894 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75594 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= 23079 runsolver used 2.16067 second user time and 4.36634 second system time The end
Begin job on node17 on Tue Apr 17 21:55:22 UTC 2007 IDJOB= 356876 IDBENCH= 1582 IDSOLVER= 172 FILE ID= node17/356876-1176846922 PBS_JOBID= 4590198 Free space on /tmp= 66468 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/milp/normalized-reduced-mps-v2-20-10-neos7.opb COMMAND LINE= oree /tmp/evaluation/356876-1176846922/instance-356876-1176846922.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-356876-1176846922 -o ROOT/results/node17/solver-356876-1176846922 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356876-1176846922/instance-356876-1176846922.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= a93c44578e8ffcb65ad1c65e578ef076 RANDOM SEED= 286345833 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node17.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.240 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.240 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: 1723224 kB Buffers: 34768 kB Cached: 188656 kB SwapCached: 32528 kB Active: 95916 kB Inactive: 169460 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1723224 kB SwapTotal: 4192956 kB SwapFree: 4123132 kB Dirty: 2652 kB Writeback: 0 kB Mapped: 34316 kB Slab: 52848 kB Committed_AS: 7032756 kB PageTables: 1796 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= 66468 MiB End job on node17 on Tue Apr 17 22:25:25 UTC 2007