Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1802.17 | 1802.73 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-siena1.opb |
MD5SUM | a93dde4d8545bab3c441ec26d058498b |
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 | 2.23766 |
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 | 70755 |
Total number of constraints | 2219 |
Number of constraints which are clauses | 310 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1909 |
Minimum length of a constraint | 15 |
Maximum length of a constraint | 70755 |
Number of terms in the objective function | 70755 |
Biggest coefficient in the objective function | 9973 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 594249 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262141 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 594251 |
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... 1.29/1.38 c ...done 1.29/1.38 c #vars=70755 #constraints=4028 hasObjective=yes 2.09/2.19 c res. mode=mod 2.09/2.19 c VSIDS like heuristics 2.09/2.19 c complete search running 2.59/2.66 c restart after 401 decisions 2.69/2.76 c nbDecision=500 #constraints=4028 2.99/3.07 c restart after 801 decisions 3.19/3.27 c nbDecision=1000 #constraints=4028 3.69/3.77 c nbDecision=1500 #constraints=4028 3.79/3.86 c restart after 1601 decisions 4.19/4.25 c nbDecision=2000 #constraints=4028 4.68/4.76 c nbDecision=2500 #constraints=4028 5.19/5.26 c nbDecision=3000 #constraints=4028 5.39/5.46 c restart after 3201 decisions 5.69/5.76 c nbDecision=3500 #constraints=4028 6.19/6.27 c nbDecision=4000 #constraints=4028 6.69/6.76 c nbDecision=4500 #constraints=4028 7.19/7.24 c nbDecision=5000 #constraints=4028 7.69/7.73 c nbDecision=5500 #constraints=4028 8.17/8.25 c nbDecision=6000 #constraints=4028 8.57/8.65 c restart after 6401 decisions 8.68/8.75 c nbDecision=6500 #constraints=4028 9.17/9.26 c nbDecision=7000 #constraints=4028 9.67/9.76 c nbDecision=7500 #constraints=4028 10.17/10.26 c nbDecision=8000 #constraints=4028 10.67/10.77 c nbDecision=8500 #constraints=4028 11.15/11.29 c nbDecision=9000 #constraints=4028 11.65/11.79 c nbDecision=9500 #constraints=4028 12.15/12.29 c nbDecision=10000 #constraints=4028 12.65/12.79 c nbDecision=10500 #constraints=4028 13.16/13.28 c nbDecision=11000 #constraints=4028 13.65/13.77 c nbDecision=11500 #constraints=4028 14.15/14.27 c nbDecision=12000 #constraints=4028 14.65/14.76 c nbDecision=12500 #constraints=4028 14.95/15.05 c restart after 12801 decisions 15.15/15.26 c nbDecision=13000 #constraints=4028 15.65/15.76 c nbDecision=13500 #constraints=4028 16.15/16.27 c nbDecision=14000 #constraints=4028 16.65/16.77 c nbDecision=14500 #constraints=4028 17.15/17.28 c nbDecision=15000 #constraints=4028 17.65/17.78 c nbDecision=15500 #constraints=4028 18.15/18.28 c nbDecision=16000 #constraints=4028 18.65/18.78 c nbDecision=16500 #constraints=4028 19.15/19.27 c nbDecision=17000 #constraints=4028 19.65/19.76 c nbDecision=17500 #constraints=4028 20.14/20.25 c nbDecision=18000 #constraints=4028 20.64/20.74 c nbDecision=18500 #constraints=4028 21.14/21.22 c nbDecision=19000 #constraints=4028 21.64/21.70 c nbDecision=19500 #constraints=4028 22.04/22.19 c nbDecision=20000 #constraints=4028 22.54/22.67 c nbDecision=20500 #constraints=4028 23.03/23.17 c nbDecision=21000 #constraints=4028 23.52/23.64 c nbDecision=21500 #constraints=4028 24.03/24.12 c nbDecision=22000 #constraints=4028 24.42/24.59 c nbDecision=22500 #constraints=4028 24.92/25.07 c nbDecision=23000 #constraints=4028 25.42/25.54 c nbDecision=23500 #constraints=4028 25.91/26.01 c nbDecision=24000 #constraints=4028 26.32/26.48 c nbDecision=24500 #constraints=4028 26.81/26.94 c nbDecision=25000 #constraints=4028 27.32/27.40 c nbDecision=25500 #constraints=4028 27.32/27.50 c restart after 25601 decisions 27.81/27.91 c nbDecision=26000 #constraints=4028 28.31/28.41 c nbDecision=26500 #constraints=4028 28.81/28.91 c nbDecision=27000 #constraints=4028 29.31/29.42 c nbDecision=27500 #constraints=4028 29.81/29.92 c nbDecision=28000 #constraints=4028 30.31/30.42 c nbDecision=28500 #constraints=4028 30.81/30.92 c nbDecision=29000 #constraints=4028 31.31/31.41 c nbDecision=29500 #constraints=4028 31.81/31.91 c nbDecision=30000 #constraints=4028 32.30/32.41 c nbDecision=30500 #constraints=4028 32.80/32.90 c nbDecision=31000 #constraints=4028 33.20/33.39 c nbDecision=31500 #constraints=4028 33.70/33.88 c nbDecision=32000 #constraints=4028 34.20/34.37 c nbDecision=32500 #constraints=4028 34.70/34.86 c nbDecision=33000 #constraints=4028 35.19/35.35 c nbDecision=33500 #constraints=4028 35.69/35.83 c nbDecision=34000 #constraints=4028 36.19/36.32 c nbDecision=34500 #constraints=4028 36.59/36.80 c nbDecision=35000 #constraints=4028 37.09/37.27 c nbDecision=35500 #constraints=4028 37.59/37.75 c nbDecision=36000 #constraints=4028 38.08/38.23 c nbDecision=36500 #constraints=4028 38.58/38.70 c nbDecision=37000 #constraints=4028 38.98/39.17 c nbDecision=37500 #constraints=4028 39.49/39.63 c nbDecision=38000 #constraints=4028 39.88/40.10 c nbDecision=38500 #constraints=4028 40.38/40.55 c nbDecision=39000 #constraints=4028 40.88/41.01 c nbDecision=39500 #constraints=4028 41.28/41.47 c nbDecision=40000 #constraints=4028 41.78/41.92 c nbDecision=40500 #constraints=4028 42.18/42.38 c nbDecision=41000 #constraints=4028 42.68/42.83 c nbDecision=41500 #constraints=4028 43.08/43.28 c nbDecision=42000 #constraints=4028 43.58/43.72 c nbDecision=42500 #constraints=4028 43.98/44.17 c nbDecision=43000 #constraints=4028 44.48/44.62 c nbDecision=43500 #constraints=4028 44.88/45.06 c nbDecision=44000 #constraints=4028 45.38/45.50 c nbDecision=44500 #constraints=4028 45.78/45.94 c nbDecision=45000 #constraints=4028 46.18/46.38 c nbDecision=45500 #constraints=4028 46.68/46.81 c nbDecision=46000 #constraints=4028 47.08/47.25 c nbDecision=46500 #constraints=4028 47.47/47.68 c nbDecision=47000 #constraints=4028 47.97/48.11 c nbDecision=47500 #constraints=4028 48.37/48.54 c nbDecision=48000 #constraints=4028 48.78/48.97 c nbDecision=48500 #constraints=4028 49.28/49.40 c nbDecision=49000 #constraints=4028 49.67/49.84 c nbDecision=49500 #constraints=4028 50.07/50.27 c nbDecision=50000 #constraints=4028 50.48/50.70 c nbDecision=50500 #constraints=4028 50.97/51.12 c nbDecision=51000 #constraints=4028 51.17/51.30 c restart after 51201 decisions 51.48/51.62 c nbDecision=51500 #constraints=4028 51.97/52.12 c nbDecision=52000 #constraints=4028 52.47/52.63 c nbDecision=52500 #constraints=4028 52.97/53.13 c nbDecision=53000 #constraints=4028 53.47/53.64 c nbDecision=53500 #constraints=4028 53.97/54.14 c nbDecision=54000 #constraints=4028 54.47/54.64 c nbDecision=54500 #constraints=4028 54.97/55.13 c nbDecision=55000 #constraints=4028 55.47/55.63 c nbDecision=55500 #constraints=4028 55.97/56.12 c nbDecision=56000 #constraints=4028 56.47/56.62 c nbDecision=56500 #constraints=4028 56.97/57.11 c nbDecision=57000 #constraints=4028 57.37/57.60 c nbDecision=57500 #constraints=4028 57.87/58.08 c nbDecision=58000 #constraints=4028 58.37/58.57 c nbDecision=58500 #constraints=4028 58.87/59.05 c nbDecision=59000 #constraints=4028 59.37/59.53 c nbDecision=59500 #constraints=4028 59.87/60.01 c nbDecision=60000 #constraints=4028 60.28/60.48 c nbDecision=60500 #constraints=4028 60.77/60.96 c nbDecision=61000 #constraints=4028 61.27/61.43 c nbDecision=61500 #constraints=4028 61.77/61.90 c nbDecision=62000 #constraints=4028 62.16/62.38 c nbDecision=62500 #constraints=4028 62.66/62.85 c nbDecision=63000 #constraints=4028 63.16/63.31 c nbDecision=63500 #constraints=4028 63.56/63.78 c nbDecision=64000 #constraints=4028 64.06/64.24 c nbDecision=64500 #constraints=4028 64.46/64.69 c nbDecision=65000 #constraints=4028 64.96/65.15 c nbDecision=65500 #constraints=4028 65.46/65.61 c nbDecision=66000 #constraints=4028 65.86/66.06 c nbDecision=66500 #constraints=4028 66.36/66.51 c nbDecision=67000 #constraints=4028 66.76/66.96 c nbDecision=67500 #constraints=4028 67.26/67.41 c nbDecision=68000 #constraints=4028 67.66/67.86 c nbDecision=68500 #constraints=4028 68.16/68.30 c nbDecision=69000 #constraints=4028 68.56/68.74 c nbDecision=69500 #constraints=4028 68.96/69.19 c nbDecision=70000 #constraints=4028 69.46/69.63 c nbDecision=70500 #constraints=4028 69.86/70.08 c nbDecision=71000 #constraints=4028 70.36/70.52 c nbDecision=71500 #constraints=4028 70.76/70.96 c nbDecision=72000 #constraints=4028 71.16/71.39 c nbDecision=72500 #constraints=4028 71.66/71.83 c nbDecision=73000 #constraints=4028 72.06/72.26 c nbDecision=73500 #constraints=4028 72.46/72.70 c nbDecision=74000 #constraints=4028 72.95/73.13 c nbDecision=74500 #constraints=4028 73.35/73.56 c nbDecision=75000 #constraints=4028 73.75/73.99 c nbDecision=75500 #constraints=4028 74.25/74.42 c nbDecision=76000 #constraints=4028 74.66/74.85 c nbDecision=76500 #constraints=4028 75.05/75.27 c nbDecision=77000 #constraints=4028 75.55/75.70 c nbDecision=77500 #constraints=4028 75.95/76.12 c nbDecision=78000 #constraints=4028 76.35/76.55 c nbDecision=78500 #constraints=4028 76.76/76.97 c nbDecision=79000 #constraints=4028 77.15/77.39 c nbDecision=79500 #constraints=4028 77.65/77.81 c nbDecision=80000 #constraints=4028 78.05/78.22 c nbDecision=80500 #constraints=4028 78.45/78.64 c nbDecision=81000 #constraints=4028 78.85/79.05 c nbDecision=81500 #constraints=4028 79.25/79.45 c nbDecision=82000 #constraints=4028 79.65/79.86 c nbDecision=82500 #constraints=4028 80.06/80.27 c nbDecision=83000 #constraints=4028 80.45/80.68 c nbDecision=83500 #constraints=4028 80.85/81.08 c nbDecision=84000 #constraints=4028 81.26/81.48 c nbDecision=84500 #constraints=4028 81.65/81.87 c nbDecision=85000 #constraints=4028 82.05/82.27 c nbDecision=85500 #constraints=4028 82.45/82.66 c nbDecision=86000 #constraints=4028 82.85/83.05 c nbDecision=86500 #constraints=4028 83.25/83.45 c nbDecision=87000 #constraints=4028 83.65/83.86 c nbDecision=87500 #constraints=4028 84.05/84.26 c nbDecision=88000 #constraints=4028 84.46/84.66 c nbDecision=88500 #constraints=4028 84.85/85.06 c nbDecision=89000 #constraints=4028 85.25/85.46 c nbDecision=89500 #constraints=4028 85.65/85.86 c nbDecision=90000 #constraints=4028 86.05/86.25 c nbDecision=90500 #constraints=4028 86.45/86.65 c nbDecision=91000 #constraints=4028 86.95/87.12 c nbDecision=91500 #constraints=4040 87.35/87.52 c nbDecision=92000 #constraints=4040 87.75/87.91 c nbDecision=92500 #constraints=4040 88.15/88.31 c nbDecision=93000 #constraints=4040 88.55/88.70 c nbDecision=93500 #constraints=4040 88.95/89.10 c nbDecision=94000 #constraints=4040 183.63/183.80 c nbDecision=94500 #constraints=4169 191.32/191.57 c nbDecision=95000 #constraints=4185 206.42/206.66 c nbDecision=95500 #constraints=4206 216.01/216.25 c nbDecision=96000 #constraints=4252 227.81/228.03 c nbDecision=96500 #constraints=4274 234.51/234.79 c nbDecision=97000 #constraints=4295 261.51/261.75 c nbDecision=97500 #constraints=4341 268.60/268.87 c nbDecision=98000 #constraints=4364 280.60/280.90 c nbDecision=98500 #constraints=4391 291.40/291.67 c nbDecision=99000 #constraints=4421 291.80/292.08 c nbDecision=99500 #constraints=4421 292.20/292.48 c nbDecision=100000 #constraints=4421 299.70/299.92 c nbDecision=100500 #constraints=4435 303.09/303.33 c nbDecision=101000 #constraints=4461 322.49/322.76 c nbDecision=101500 #constraints=4497 331.29/331.55 c nbDecision=102000 #constraints=4533 336.48/336.75 c restart after 102401 decisions 336.78/337.06 c nbDecision=102500 #constraints=4538 337.28/337.57 c nbDecision=103000 #constraints=4538 337.78/338.08 c nbDecision=103500 #constraints=4538 338.28/338.58 c nbDecision=104000 #constraints=4538 338.78/339.08 c nbDecision=104500 #constraints=4538 339.28/339.58 c nbDecision=105000 #constraints=4538 339.78/340.07 c nbDecision=105500 #constraints=4538 340.28/340.58 c nbDecision=106000 #constraints=4538 340.79/341.07 c nbDecision=106500 #constraints=4538 341.38/341.60 c nbDecision=107000 #constraints=4538 341.79/342.09 c nbDecision=107500 #constraints=4538 342.28/342.57 c nbDecision=108000 #constraints=4538 342.78/343.07 c nbDecision=108500 #constraints=4538 343.28/343.56 c nbDecision=109000 #constraints=4538 343.78/344.05 c nbDecision=109500 #constraints=4538 344.28/344.53 c nbDecision=110000 #constraints=4538 344.78/345.02 c nbDecision=110500 #constraints=4538 345.28/345.50 c nbDecision=111000 #constraints=4538 345.68/345.98 c nbDecision=111500 #constraints=4538 346.18/346.45 c nbDecision=112000 #constraints=4538 346.68/346.94 c nbDecision=112500 #constraints=4538 347.18/347.41 c nbDecision=113000 #constraints=4538 347.58/347.89 c nbDecision=113500 #constraints=4538 348.08/348.37 c nbDecision=114000 #constraints=4538 348.58/348.85 c nbDecision=114500 #constraints=4538 349.08/349.31 c nbDecision=115000 #constraints=4538 349.48/349.79 c nbDecision=115500 #constraints=4538 349.98/350.25 c nbDecision=116000 #constraints=4538 350.48/350.73 c nbDecision=116500 #constraints=4538 350.98/351.22 c nbDecision=117000 #constraints=4538 351.38/351.69 c nbDecision=117500 #constraints=4538 351.88/352.14 c nbDecision=118000 #constraints=4538 352.38/352.60 c nbDecision=118500 #constraints=4538 352.78/353.06 c nbDecision=119000 #constraints=4538 353.28/353.54 c nbDecision=119500 #constraints=4538 353.78/354.00 c nbDecision=120000 #constraints=4538 354.18/354.46 c nbDecision=120500 #constraints=4538 354.68/354.90 c nbDecision=121000 #constraints=4538 355.08/355.35 c nbDecision=121500 #constraints=4538 355.58/355.81 c nbDecision=122000 #constraints=4538 355.98/356.25 c nbDecision=122500 #constraints=4538 356.38/356.69 c nbDecision=123000 #constraints=4538 356.88/357.13 c nbDecision=123500 #constraints=4538 357.28/357.57 c nbDecision=124000 #constraints=4538 357.78/358.00 c nbDecision=124500 #constraints=4538 358.18/358.44 c nbDecision=125000 #constraints=4538 358.58/358.87 c nbDecision=125500 #constraints=4538 359.08/359.30 c nbDecision=126000 #constraints=4538 359.48/359.75 c nbDecision=126500 #constraints=4538 359.88/360.18 c nbDecision=127000 #constraints=4538 360.38/360.60 c nbDecision=127500 #constraints=4538 360.78/361.02 c nbDecision=128000 #constraints=4538 361.18/361.45 c nbDecision=128500 #constraints=4538 361.58/361.88 c nbDecision=129000 #constraints=4538 362.08/362.31 c nbDecision=129500 #constraints=4538 362.48/362.73 c nbDecision=130000 #constraints=4538 362.88/363.15 c nbDecision=130500 #constraints=4538 363.38/363.61 c nbDecision=131000 #constraints=4538 363.78/364.04 c nbDecision=131500 #constraints=4538 364.18/364.45 c nbDecision=132000 #constraints=4538 364.58/364.86 c nbDecision=132500 #constraints=4538 364.98/365.27 c nbDecision=133000 #constraints=4538 365.38/365.68 c nbDecision=133500 #constraints=4538 365.78/366.09 c nbDecision=134000 #constraints=4538 366.28/366.51 c nbDecision=134500 #constraints=4538 366.68/366.91 c nbDecision=135000 #constraints=4538 367.08/367.31 c nbDecision=135500 #constraints=4538 367.48/367.71 c nbDecision=136000 #constraints=4538 367.88/368.10 c nbDecision=136500 #constraints=4538 368.28/368.51 c nbDecision=137000 #constraints=4538 368.67/368.90 c nbDecision=137500 #constraints=4538 369.07/369.30 c nbDecision=138000 #constraints=4538 369.47/369.72 c nbDecision=138500 #constraints=4538 369.87/370.15 c nbDecision=139000 #constraints=4538 370.27/370.58 c nbDecision=139500 #constraints=4538 370.77/371.00 c nbDecision=140000 #constraints=4538 371.17/371.42 c nbDecision=140500 #constraints=4538 387.68/387.98 c nbDecision=141000 #constraints=4579 404.07/404.33 c nbDecision=141500 #constraints=4621 422.37/422.65 c nbDecision=142000 #constraints=4664 432.46/432.71 c nbDecision=142500 #constraints=4674 437.96/438.23 c nbDecision=143000 #constraints=4679 456.56/456.84 c nbDecision=143500 #constraints=4725 475.16/475.44 c nbDecision=144000 #constraints=4772 494.05/494.33 c nbDecision=144500 #constraints=4817 496.95/497.23 c nbDecision=145000 #constraints=4821 502.15/502.40 c nbDecision=145500 #constraints=4826 507.74/508.08 c nbDecision=146000 #constraints=4834 515.74/516.09 c nbDecision=146500 #constraints=4885 521.54/521.80 c nbDecision=147000 #constraints=4892 547.54/547.85 c nbDecision=147500 #constraints=4937 552.94/553.23 c nbDecision=148000 #constraints=4942 575.73/576.09 c nbDecision=148500 #constraints=5001 601.43/601.74 c nbDecision=149000 #constraints=5060 604.82/605.15 c nbDecision=149500 #constraints=5064 608.22/608.52 c nbDecision=150000 #constraints=5068 631.31/631.67 c nbDecision=150500 #constraints=5124 657.01/657.32 c nbDecision=151000 #constraints=5183 682.60/682.97 c nbDecision=151500 #constraints=5242 708.30/708.62 c nbDecision=152000 #constraints=5301 733.30/733.64 c nbDecision=152500 #constraints=5359 733.89/734.25 c nbDecision=153000 #constraints=5359 757.19/757.56 c nbDecision=153500 #constraints=5415 780.38/780.74 c nbDecision=154000 #constraints=5471 803.57/803.91 c nbDecision=154500 #constraints=5527 808.48/808.89 c nbDecision=155000 #constraints=5532 812.38/812.74 c nbDecision=155500 #constraints=5536 839.77/840.12 c nbDecision=156000 #constraints=5606 864.16/864.59 c nbDecision=156500 #constraints=5639 885.65/886.05 c nbDecision=157000 #constraints=5665 933.75/934.18 c nbDecision=157500 #constraints=5736 934.44/934.83 c nbDecision=158000 #constraints=5736 934.84/935.26 c nbDecision=158500 #constraints=5736 935.24/935.69 c nbDecision=159000 #constraints=5736 935.84/936.26 c nbDecision=159500 #constraints=5745 941.74/942.18 c nbDecision=160000 #constraints=5756 945.34/945.72 c nbDecision=160500 #constraints=5761 945.84/946.27 c nbDecision=161000 #constraints=5761 979.53/979.91 c nbDecision=161500 #constraints=5853 1015.53/1015.96 c nbDecision=162000 #constraints=5916 1021.03/1021.40 c nbDecision=162500 #constraints=5923 1033.63/1034.06 c nbDecision=163000 #constraints=5956 1047.61/1048.01 c nbDecision=163500 #constraints=5982 1067.72/1068.14 c nbDecision=164000 #constraints=6028 1073.81/1074.28 c nbDecision=164500 #constraints=6039 1074.41/1074.81 c nbDecision=165000 #constraints=6039 1080.41/1080.86 c nbDecision=165500 #constraints=6051 1088.31/1088.72 c nbDecision=166000 #constraints=6065 1160.79/1161.26 c nbDecision=166500 #constraints=6177 1182.79/1183.28 c nbDecision=167000 #constraints=6234 1202.48/1202.92 c nbDecision=167500 #constraints=6342 1203.18/1203.69 c nbDecision=168000 #constraints=6342 1209.38/1209.85 c nbDecision=168500 #constraints=6353 1269.97/1270.42 c nbDecision=169000 #constraints=6420 1281.07/1281.51 c nbDecision=169500 #constraints=6447 1281.86/1282.36 c nbDecision=170000 #constraints=6447 1289.96/1290.43 c nbDecision=170500 #constraints=6459 1290.66/1291.13 c nbDecision=171000 #constraints=6459 1328.75/1329.21 c nbDecision=171500 #constraints=6538 1344.14/1344.61 c nbDecision=172000 #constraints=6601 1344.84/1345.35 c nbDecision=172500 #constraints=6601 1352.05/1352.54 c nbDecision=173000 #constraints=6610 1401.93/1402.41 c nbDecision=173500 #constraints=6702 1402.63/1403.19 c nbDecision=174000 #constraints=6702 1471.61/1472.17 c nbDecision=174500 #constraints=6809 1533.30/1533.82 c nbDecision=175000 #constraints=6943 1534.20/1534.74 c nbDecision=175500 #constraints=6943 1577.09/1577.69 c nbDecision=176000 #constraints=7081 1578.09/1578.67 c nbDecision=176500 #constraints=7081 1598.48/1599.09 c nbDecision=177000 #constraints=7113 1599.48/1600.08 c nbDecision=177500 #constraints=7113 1665.17/1665.70 c nbDecision=178000 #constraints=7253 1666.07/1666.66 c nbDecision=178500 #constraints=7253 1676.16/1676.70 c nbDecision=179000 #constraints=7267 1676.87/1677.45 c nbDecision=179500 #constraints=7267 1688.56/1689.12 c nbDecision=180000 #constraints=7286 1740.76/1741.33 c nbDecision=180500 #constraints=7365 1798.14/1798.76 c nbDecision=181000 #constraints=7528 1800.04/1800.61 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/node30/watcher-362650-1176847253 -o ROOT/results/node30/solver-362650-1176847253 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362650-1176847253/instance-362650-1176847253.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.66 0.92 0.97 3/77 14299 /proc/meminfo: memFree=1759352/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=1620 CPUtime=0 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132641040 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831195 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 405 175 126 317 0 84 0 [startup+0.0734499 s] /proc/loadavg: 0.66 0.92 0.97 3/77 14299 /proc/meminfo: memFree=1759352/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=3440 CPUtime=0.06 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 822 0 0 0 6 0 0 0 18 0 1 0 132641040 3522560 577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 860 577 126 317 0 539 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3440 [startup+0.101452 s] /proc/loadavg: 0.66 0.92 0.97 3/77 14299 /proc/meminfo: memFree=1759352/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=5756 CPUtime=0.09 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 1015 0 0 0 9 0 0 0 18 0 1 0 132641040 5894144 771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 1439 774 126 317 0 1118 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5756 [startup+0.301464 s] /proc/loadavg: 0.66 0.92 0.97 3/77 14299 /proc/meminfo: memFree=1759352/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=7368 CPUtime=0.29 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 1914 0 0 0 28 1 0 0 19 0 1 0 132641040 7544832 1412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 1842 1412 131 317 0 1521 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7368 [startup+0.701491 s] /proc/loadavg: 0.66 0.92 0.97 3/77 14299 /proc/meminfo: memFree=1759352/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=16500 CPUtime=0.69 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 4172 0 0 0 67 2 0 0 22 0 1 0 132641040 16896000 3670 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 4125 3670 131 317 0 3804 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16500 [startup+1.50154 s] /proc/loadavg: 0.66 0.92 0.97 2/78 14300 /proc/meminfo: memFree=1740336/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=36112 CPUtime=1.49 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 9342 0 0 0 145 4 0 0 25 0 1 0 132641040 36978688 8257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 9028 8257 137 317 0 8707 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36112 [startup+3.10164 s] /proc/loadavg: 0.66 0.92 0.97 2/78 14300 /proc/meminfo: memFree=1721136/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=42976 CPUtime=3.09 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 11045 0 0 0 304 5 0 0 25 0 1 0 132641040 44007424 9960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 10744 9960 138 317 0 10423 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 42976 [startup+6.30284 s] /proc/loadavg: 0.69 0.92 0.97 2/78 14300 /proc/meminfo: memFree=1719600/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=42976 CPUtime=6.29 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 11045 0 0 0 623 6 0 0 25 0 1 0 132641040 44007424 9960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 10744 9960 138 317 0 10423 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 42976 [startup+12.7012 s] /proc/loadavg: 0.71 0.92 0.97 2/84 14366 /proc/meminfo: memFree=1718312/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=42976 CPUtime=12.65 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 11046 0 0 0 1259 6 0 0 25 0 1 0 132641040 44007424 9961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 10744 9961 138 317 0 10423 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 42976 [startup+25.501 s] /proc/loadavg: 0.77 0.92 0.97 2/84 14408 /proc/meminfo: memFree=1718456/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=42976 CPUtime=25.42 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 11053 0 0 0 2536 6 0 0 25 0 1 0 132641040 44007424 9968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 10744 9968 138 317 0 10423 0 Current children cumulated CPU time (s) 25.42 Current children cumulated vsize (KiB) 42976 [startup+51.1016 s] /proc/loadavg: 0.85 0.93 0.97 2/84 14472 /proc/meminfo: memFree=1718456/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=43104 CPUtime=50.97 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 11067 0 0 0 5091 6 0 0 25 0 1 0 132641040 44138496 9982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 10776 9982 138 317 0 10455 0 Current children cumulated CPU time (s) 50.97 Current children cumulated vsize (KiB) 43104 [startup+102.306 s] /proc/loadavg: 0.93 0.94 0.97 2/78 14498 /proc/meminfo: memFree=1718512/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=44464 CPUtime=102.15 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 11369 0 0 0 10208 7 0 0 25 0 1 0 132641040 45531136 10284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 11116 10284 139 317 0 10795 0 Current children cumulated CPU time (s) 102.15 Current children cumulated vsize (KiB) 44464 [startup+162.302 s] /proc/loadavg: 0.97 0.95 0.97 2/78 14498 /proc/meminfo: memFree=1714352/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=48972 CPUtime=162.13 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 12429 0 0 0 16204 9 0 0 25 0 1 0 132641040 50147328 11344 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 12243 11344 139 317 0 11922 0 Current children cumulated CPU time (s) 162.13 Current children cumulated vsize (KiB) 48972 [startup+222.301 s] /proc/loadavg: 0.99 0.95 0.97 2/78 14498 /proc/meminfo: memFree=1703024/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=61948 CPUtime=222.12 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 15306 0 0 0 22202 10 0 0 25 0 1 0 132641040 63434752 14221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541595 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 15487 14221 139 317 0 15166 0 Current children cumulated CPU time (s) 222.12 Current children cumulated vsize (KiB) 61948 [startup+282.301 s] /proc/loadavg: 0.99 0.96 0.97 2/78 14498 /proc/meminfo: memFree=1685232/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=82376 CPUtime=282.1 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 20009 0 0 0 28198 12 0 0 25 0 1 0 132641040 84353024 18924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 20594 18924 139 317 0 20273 0 Current children cumulated CPU time (s) 282.1 Current children cumulated vsize (KiB) 82376 [startup+342.302 s] /proc/loadavg: 0.99 0.96 0.97 2/78 14498 /proc/meminfo: memFree=1667312/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=100276 CPUtime=342.08 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 24329 0 0 0 34195 13 0 0 25 0 1 0 132641040 102682624 23073 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 25069 23073 139 317 0 24748 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 100276 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 14498 /proc/meminfo: memFree=1655224/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=113312 CPUtime=402.07 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 27370 0 0 0 40192 15 0 0 25 0 1 0 132641040 116031488 26096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 28328 26096 139 317 0 28007 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 113312 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 14498 /proc/meminfo: memFree=1633720/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=136312 CPUtime=462.05 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 32840 0 0 0 46188 17 0 0 25 0 1 0 132641040 139583488 31476 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 34078 31476 139 317 0 33757 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 136312 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 14498 /proc/meminfo: memFree=1616632/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=155800 CPUtime=522.04 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 37353 0 0 0 52185 19 0 0 25 0 1 0 132641040 159539200 35842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 38950 35842 139 317 0 38629 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 155800 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 14498 /proc/meminfo: memFree=1598072/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=175820 CPUtime=582.03 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 42120 0 0 0 58181 22 0 0 25 0 1 0 132641040 180039680 40347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 43955 40347 139 317 0 43634 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 175820 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 14498 /proc/meminfo: memFree=1582968/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=192828 CPUtime=642.01 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 46011 0 0 0 64178 23 0 0 25 0 1 0 132641040 197455872 44112 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 48207 44112 139 317 0 47886 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 192828 ################ # More data... # ################ /proc/meminfo: memFree=1421496/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=373632 CPUtime=1061.91 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 92862 0 0 0 106147 44 0 0 25 0 1 0 132641040 382599168 84372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 93408 84372 139 317 0 93087 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 373632 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 14498 /proc/meminfo: memFree=1404792/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=393340 CPUtime=1121.9 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 98554 0 0 0 112143 47 0 0 25 0 1 0 132641040 402780160 88855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714658 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 98335 88855 139 317 0 98014 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 393340 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 14498 /proc/meminfo: memFree=1369848/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=430244 CPUtime=1181.89 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 109491 0 0 0 118138 51 0 0 25 0 1 0 132641040 440569856 97227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 107561 97227 139 317 0 107240 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 430244 [startup+1242.3 s] /proc/loadavg: 1.04 0.99 0.98 2/78 14498 /proc/meminfo: memFree=1326520/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=485060 CPUtime=1241.87 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 122223 0 0 0 124131 56 0 0 25 0 1 0 132641040 496701440 108063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 121265 108063 139 317 0 120944 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 485060 [startup+1302.3 s] /proc/loadavg: 1.06 1.00 0.98 2/78 14498 /proc/meminfo: memFree=1307384/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=506312 CPUtime=1301.86 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 128852 0 0 0 130128 58 0 0 25 0 1 0 132641040 518463488 112822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 126578 112822 139 317 0 126257 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 506312 [startup+1362.3 s] /proc/loadavg: 1.02 1.00 0.98 2/78 14498 /proc/meminfo: memFree=1262584/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=558588 CPUtime=1361.84 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 143805 0 0 0 136118 66 0 0 25 0 1 0 132641040 571994112 124011 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 139647 124011 139 317 0 139326 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 558588 [startup+1422.31 s] /proc/loadavg: 1.01 1.00 0.98 2/78 14498 /proc/meminfo: memFree=1245880/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=576640 CPUtime=1421.83 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 148546 0 0 0 142115 68 0 0 25 0 1 0 132641040 590479360 128211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 144160 128211 139 317 0 143839 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 576640 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14498 /proc/meminfo: memFree=1226296/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=598776 CPUtime=1481.81 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 154546 0 0 0 148111 70 0 0 25 0 1 0 132641040 613146624 133065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 149694 133065 139 317 0 149373 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 598776 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14498 /proc/meminfo: memFree=1195064/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=634116 CPUtime=1541.8 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 164230 0 0 0 154105 75 0 0 25 0 1 0 132641040 649334784 140938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 158529 140938 139 317 0 158208 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 634116 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14498 /proc/meminfo: memFree=1149112/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=691428 CPUtime=1601.79 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 179748 0 0 0 160098 81 0 0 25 0 1 0 132641040 708022272 152450 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 172857 152450 139 317 0 172536 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 691428 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14498 /proc/meminfo: memFree=1119544/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=721872 CPUtime=1661.77 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 188593 0 0 0 166093 84 0 0 25 0 1 0 132641040 739196928 159688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 180468 159688 139 317 0 180147 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 721872 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14498 /proc/meminfo: memFree=1103672/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=739048 CPUtime=1721.75 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 193829 0 0 0 172089 86 0 0 25 0 1 0 132641040 756785152 163661 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 184762 163661 139 317 0 184441 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 739048 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14498 /proc/meminfo: memFree=1058168/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=788660 CPUtime=1781.74 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 210484 0 0 0 178081 93 0 0 25 0 1 0 132641040 807587840 175028 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 197165 175028 139 317 0 196844 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 788660 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14498 /proc/meminfo: memFree=1035192/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=815068 CPUtime=1800.04 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 219740 0 0 0 179909 95 0 0 25 0 1 0 132641040 834629632 180708 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711026 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 203767 180708 139 317 0 203446 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 815068 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.00 0.98 2/78 14498 /proc/meminfo: memFree=1035192/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=818736 CPUtime=1800.83 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 220939 0 0 0 179987 96 0 0 25 0 1 0 132641040 838385664 181611 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717946 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 204684 181611 139 317 0 204363 0 Current children cumulated CPU time (s) 1800.83 Current children cumulated vsize (KiB) 818736 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 0.98 2/79 14499 /proc/meminfo: memFree=1030320/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=820268 CPUtime=1801.64 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 221553 0 0 0 180067 97 0 0 25 0 1 0 132641040 839954432 182002 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 205067 182002 139 317 0 204746 0 Current children cumulated CPU time (s) 1801.64 Current children cumulated vsize (KiB) 820268 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 0.98 2/79 14499 /proc/meminfo: memFree=1030320/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=820268 CPUtime=1802.04 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4194304 221553 0 0 0 180107 97 0 0 25 0 1 0 132641040 839954432 182002 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 205067 182002 139 317 0 204746 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 820268 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 0.98 2/79 14499 /proc/meminfo: memFree=1030320/2055920 swapFree=4157120/4192956 [pid=14299] ppid=14297 vsize=0 CPUtime=1802.14 /proc/14299/stat : 14299 (oree) R 14297 14299 14242 0 -1 4195332 221553 0 0 0 180108 106 0 0 25 0 1 0 132641040 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14299/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.14 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.73 CPU time (s): 1802.17 CPU user time (s): 1801.09 CPU system time (s): 1.08883 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (KiB): 820268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1801.09 system time used= 1.08883 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 221553 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= 36497 runsolver used 2.08168 second user time and 4.49432 second system time The end
Begin job on node30 on Tue Apr 17 22:00:54 UTC 2007 IDJOB= 362650 IDBENCH= 1604 IDSOLVER= 172 FILE ID= node30/362650-1176847253 PBS_JOBID= 4590207 Free space on /tmp= 66524 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/unibo/normalized-reduced-mps-v2-20-10-siena1.opb COMMAND LINE= oree /tmp/evaluation/362650-1176847253/instance-362650-1176847253.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-362650-1176847253 -o ROOT/results/node30/solver-362650-1176847253 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362650-1176847253/instance-362650-1176847253.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= a93dde4d8545bab3c441ec26d058498b RANDOM SEED= 836557333 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node30.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.218 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.218 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: 1759760 kB Buffers: 38760 kB Cached: 193788 kB SwapCached: 15516 kB Active: 169256 kB Inactive: 86364 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1759760 kB SwapTotal: 4192956 kB SwapFree: 4157120 kB Dirty: 5968 kB Writeback: 0 kB Mapped: 29684 kB Slab: 26072 kB Committed_AS: 2794228 kB PageTables: 1776 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= 66524 MiB End job on node30 on Tue Apr 17 22:30:57 UTC 2007