Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.05 | 1800.54 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_9.opb |
MD5SUM | 824c01e4395cf59ee9d4081be7b21301 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 44 |
Best CPU time to get the best result obtained on this benchmark | 176.991 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 44 |
Optimality of the best value was proved | YES |
Number of variables | 603 |
Total number of constraints | 1088 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1088 |
Minimum length of a constraint | 14 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 128 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 669 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.06 c ...done 0.00/0.06 c #vars=603 #constraints=1089 hasObjective=yes 0.00/0.07 c res. mode=mod 0.00/0.07 c VSIDS like heuristics 0.00/0.07 c complete search running 0.08/0.08 c restart after 401 decisions 0.08/0.09 c nbDecision=500 #constraints=1090 0.08/0.10 c restart after 801 decisions 0.09/0.10 c nbDecision=1000 #constraints=1090 0.09/0.11 c nbDecision=1500 #constraints=1096 0.09/0.12 c restart after 1601 decisions 0.09/0.13 c nbDecision=2000 #constraints=1097 0.09/0.14 c nbDecision=2500 #constraints=1107 0.09/0.16 c nbDecision=3000 #constraints=1121 0.09/0.17 c restart after 3201 decisions 0.09/0.18 c nbDecision=3500 #constraints=1125 0.09/0.19 c nbDecision=4000 #constraints=1134 0.19/0.21 c nbDecision=4500 #constraints=1148 0.19/0.23 c nbDecision=5000 #constraints=1160 0.19/0.25 c nbDecision=5500 #constraints=1177 0.19/0.28 c nbDecision=6000 #constraints=1197 0.29/0.31 c restart after 6401 decisions 0.29/0.31 c nbDecision=6500 #constraints=1216 0.29/0.33 c nbDecision=7000 #constraints=1222 0.29/0.35 c nbDecision=7500 #constraints=1239 0.29/0.38 c nbDecision=8000 #constraints=1256 0.39/0.41 c nbDecision=8500 #constraints=1285 0.39/0.43 c nbDecision=9000 #constraints=1305 0.39/0.47 c nbDecision=9500 #constraints=1331 0.39/0.49 c nbDecision=10000 #constraints=1354 0.49/0.52 c nbDecision=10500 #constraints=1374 0.49/0.55 c nbDecision=11000 #constraints=1390 0.49/0.58 c nbDecision=11500 #constraints=1407 0.49/0.60 c nbDecision=12000 #constraints=1418 0.59/0.62 c nbDecision=12500 #constraints=1434 0.59/0.63 c restart after 12801 decisions 0.59/0.64 c nbDecision=13000 #constraints=1442 0.59/0.66 c nbDecision=13500 #constraints=1454 0.59/0.69 c nbDecision=14000 #constraints=1472 0.69/0.72 c nbDecision=14500 #constraints=1492 0.69/0.75 c nbDecision=15000 #constraints=1511 0.69/0.79 c nbDecision=15500 #constraints=1529 0.79/0.81 c nbDecision=16000 #constraints=1546 0.79/0.85 c nbDecision=16500 #constraints=1568 0.79/0.88 c nbDecision=17000 #constraints=1584 0.89/0.93 c nbDecision=17500 #constraints=1614 0.89/0.97 c nbDecision=18000 #constraints=1636 1.00/1.01 c nbDecision=18500 #constraints=1662 1.00/1.05 c nbDecision=19000 #constraints=1683 1.10/1.10 c nbDecision=19500 #constraints=1713 1.10/1.14 c nbDecision=20000 #constraints=1738 1.10/1.17 c nbDecision=20500 #constraints=1758 1.19/1.21 c nbDecision=21000 #constraints=1776 1.19/1.24 c nbDecision=21500 #constraints=1792 1.19/1.27 c nbDecision=22000 #constraints=1811 1.29/1.31 c nbDecision=22500 #constraints=1832 1.29/1.35 c nbDecision=23000 #constraints=1856 1.29/1.39 c nbDecision=23500 #constraints=1876 1.39/1.42 c nbDecision=24000 #constraints=1890 1.39/1.45 c nbDecision=24500 #constraints=1905 1.39/1.48 c nbDecision=25000 #constraints=1919 1.49/1.53 c nbDecision=25500 #constraints=1945 1.49/1.54 c restart after 25601 decisions 1.49/1.57 c nbDecision=26000 #constraints=1953 1.59/1.61 c nbDecision=26500 #constraints=1970 1.59/1.66 c nbDecision=27000 #constraints=1995 1.59/1.69 c nbDecision=27500 #constraints=2013 1.69/1.74 c nbDecision=28000 #constraints=2038 1.69/1.78 c nbDecision=28500 #constraints=2054 1.79/1.82 c nbDecision=29000 #constraints=2078 1.79/1.87 c nbDecision=29500 #constraints=2097 1.89/1.92 c nbDecision=30000 #constraints=2118 1.89/1.97 c nbDecision=30500 #constraints=2137 1.99/2.01 c nbDecision=31000 #constraints=2155 1.99/2.06 c nbDecision=31500 #constraints=2176 2.09/2.13 c nbDecision=32000 #constraints=2204 2.09/2.20 c nbDecision=32500 #constraints=2235 2.19/2.25 c nbDecision=33000 #constraints=2257 2.29/2.31 c nbDecision=33500 #constraints=2280 2.29/2.38 c nbDecision=34000 #constraints=2306 2.39/2.43 c nbDecision=34500 #constraints=2329 2.39/2.50 c nbDecision=35000 #constraints=2357 2.49/2.55 c nbDecision=35500 #constraints=2378 2.59/2.61 c nbDecision=36000 #constraints=2399 2.59/2.67 c nbDecision=36500 #constraints=2421 2.69/2.76 c nbDecision=37000 #constraints=2449 2.79/2.81 c nbDecision=37500 #constraints=2469 2.79/2.87 c nbDecision=38000 #constraints=2491 2.89/2.95 c nbDecision=38500 #constraints=2518 2.99/3.01 c nbDecision=39000 #constraints=2539 2.99/3.08 c nbDecision=39500 #constraints=2561 3.09/3.15 c nbDecision=40000 #constraints=2584 3.19/3.23 c nbDecision=40500 #constraints=2611 3.19/3.29 c nbDecision=41000 #constraints=2628 3.39/3.40 c nbDecision=41500 #constraints=2667 3.49/3.54 c nbDecision=42000 #constraints=2716 3.59/3.68 c nbDecision=42500 #constraints=2759 3.79/3.84 c nbDecision=43000 #constraints=2811 3.98/4.03 c nbDecision=43500 #constraints=2860 4.19/4.20 c nbDecision=44000 #constraints=2908 4.30/4.35 c nbDecision=44500 #constraints=2947 4.59/4.60 c nbDecision=45000 #constraints=3009 4.79/4.88 c nbDecision=45500 #constraints=3083 4.89/4.96 c nbDecision=46000 #constraints=3105 4.99/5.02 c nbDecision=46500 #constraints=3122 4.99/5.09 c nbDecision=47000 #constraints=3137 5.09/5.16 c nbDecision=47500 #constraints=3155 5.19/5.25 c nbDecision=48000 #constraints=3181 5.29/5.34 c nbDecision=48500 #constraints=3208 5.40/5.45 c nbDecision=49000 #constraints=3242 5.50/5.53 c nbDecision=49500 #constraints=3261 5.59/5.61 c nbDecision=50000 #constraints=3279 5.59/5.69 c nbDecision=50500 #constraints=3301 5.69/5.79 c nbDecision=51000 #constraints=3330 5.79/5.83 c restart after 51201 decisions 5.79/5.88 c nbDecision=51500 #constraints=3342 5.89/5.97 c nbDecision=52000 #constraints=3358 6.09/6.15 c nbDecision=52500 #constraints=3413 6.19/6.28 c nbDecision=53000 #constraints=3449 6.29/6.39 c nbDecision=53500 #constraints=3477 6.39/6.50 c nbDecision=54000 #constraints=3510 6.49/6.60 c nbDecision=54500 #constraints=3531 6.69/6.71 c nbDecision=55000 #constraints=3563 6.79/6.82 c nbDecision=55500 #constraints=3592 6.89/6.97 c nbDecision=56000 #constraints=3629 6.99/7.05 c nbDecision=56500 #constraints=3652 7.09/7.14 c nbDecision=57000 #constraints=3673 7.19/7.23 c nbDecision=57500 #constraints=3697 7.29/7.33 c nbDecision=58000 #constraints=3717 7.39/7.43 c nbDecision=58500 #constraints=3748 7.49/7.56 c nbDecision=59000 #constraints=3781 7.59/7.67 c nbDecision=59500 #constraints=3805 7.69/7.77 c nbDecision=60000 #constraints=3830 7.79/7.89 c nbDecision=60500 #constraints=3855 7.99/8.00 c nbDecision=61000 #constraints=3882 8.08/8.12 c nbDecision=61500 #constraints=3910 8.18/8.28 c nbDecision=62000 #constraints=3951 8.38/8.42 c nbDecision=62500 #constraints=3985 8.48/8.56 c nbDecision=63000 #constraints=4024 8.58/8.68 c nbDecision=63500 #constraints=4052 8.79/8.84 c nbDecision=64000 #constraints=4097 8.88/8.94 c nbDecision=64500 #constraints=4119 8.98/9.05 c nbDecision=65000 #constraints=4141 9.08/9.16 c nbDecision=65500 #constraints=4169 9.28/9.31 c nbDecision=66000 #constraints=4201 9.38/9.41 c nbDecision=66500 #constraints=4225 9.48/9.57 c nbDecision=67000 #constraints=4265 9.58/9.69 c nbDecision=67500 #constraints=4292 9.79/9.83 c nbDecision=68000 #constraints=4318 9.89/9.95 c nbDecision=68500 #constraints=4347 9.98/10.06 c nbDecision=69000 #constraints=4367 10.18/10.24 c nbDecision=69500 #constraints=4400 10.28/10.39 c nbDecision=70000 #constraints=4433 10.48/10.54 c nbDecision=70500 #constraints=4465 10.58/10.68 c nbDecision=71000 #constraints=4494 10.68/10.78 c nbDecision=71500 #constraints=4521 10.88/10.92 c nbDecision=72000 #constraints=4556 10.98/11.03 c nbDecision=72500 #constraints=4584 11.08/11.16 c nbDecision=73000 #constraints=4615 11.18/11.29 c nbDecision=73500 #constraints=4647 11.28/11.38 c nbDecision=74000 #constraints=4669 11.48/11.57 c nbDecision=74500 #constraints=4711 11.58/11.68 c nbDecision=75000 #constraints=4733 11.79/11.83 c nbDecision=75500 #constraints=4765 11.89/11.97 c nbDecision=76000 #constraints=4794 11.99/12.09 c nbDecision=76500 #constraints=4818 12.19/12.25 c nbDecision=77000 #constraints=4848 12.39/12.41 c nbDecision=77500 #constraints=4881 12.59/12.62 c nbDecision=78000 #constraints=4929 12.69/12.76 c nbDecision=78500 #constraints=4963 12.79/12.89 c nbDecision=79000 #constraints=4990 12.89/12.99 c nbDecision=79500 #constraints=5010 13.09/13.15 c nbDecision=80000 #constraints=5043 13.29/13.37 c nbDecision=80500 #constraints=5090 13.49/13.50 c nbDecision=81000 #constraints=5117 13.59/13.67 c nbDecision=81500 #constraints=5158 13.69/13.75 c nbDecision=82000 #constraints=5176 13.89/13.91 c nbDecision=82500 #constraints=5189 13.99/14.07 c nbDecision=83000 #constraints=5202 14.19/14.28 c nbDecision=83500 #constraints=5222 14.39/14.47 c nbDecision=84000 #constraints=5246 14.59/14.68 c nbDecision=84500 #constraints=5272 14.89/14.97 c nbDecision=85000 #constraints=5295 15.19/15.28 c nbDecision=85500 #constraints=5321 15.49/15.56 c nbDecision=86000 #constraints=5341 15.79/15.80 c nbDecision=86500 #constraints=5360 15.99/16.09 c nbDecision=87000 #constraints=5385 16.29/16.36 c nbDecision=87500 #constraints=5406 16.59/16.60 c nbDecision=88000 #constraints=5428 16.78/16.85 c nbDecision=88500 #constraints=5448 16.98/17.02 c nbDecision=89000 #constraints=5462 17.28/17.35 c nbDecision=89500 #constraints=5490 17.68/17.78 c nbDecision=90000 #constraints=5517 18.08/18.14 c nbDecision=90500 #constraints=5545 18.78/18.84 c nbDecision=91000 #constraints=5591 19.38/19.40 c nbDecision=91500 #constraints=5633 20.08/20.13 c nbDecision=92000 #constraints=5688 20.58/20.68 c nbDecision=92500 #constraints=5729 20.98/21.01 c nbDecision=93000 #constraints=5753 21.28/21.37 c nbDecision=93500 #constraints=5779 21.58/21.68 c nbDecision=94000 #constraints=5808 21.89/22.00 c nbDecision=94500 #constraints=5845 22.38/22.44 c nbDecision=95000 #constraints=5881 22.78/22.80 c nbDecision=95500 #constraints=5906 22.88/22.99 c nbDecision=96000 #constraints=5921 23.18/23.25 c nbDecision=96500 #constraints=5939 23.58/23.65 c nbDecision=97000 #constraints=5960 24.08/24.18 c nbDecision=97500 #constraints=5983 24.58/24.66 c nbDecision=98000 #constraints=6006 25.28/25.34 c nbDecision=98500 #constraints=6039 25.68/25.77 c nbDecision=99000 #constraints=6061 26.48/26.56 c nbDecision=99500 #constraints=6101 26.98/27.01 c nbDecision=100000 #constraints=6118 27.48/27.55 c nbDecision=100500 #constraints=6138 28.08/28.19 c nbDecision=101000 #constraints=6162 28.78/28.84 c nbDecision=101500 #constraints=6185 29.58/29.68 c nbDecision=102000 #constraints=6218 30.28/30.39 c restart after 102401 decisions 30.38/30.50 c nbDecision=102500 #constraints=6239 30.88/30.97 c nbDecision=103000 #constraints=6252 31.58/31.60 c nbDecision=103500 #constraints=6272 32.08/32.11 c nbDecision=104000 #constraints=6286 32.88/32.92 c nbDecision=104500 #constraints=6313 33.67/33.72 c nbDecision=105000 #constraints=6340 34.47/34.52 c nbDecision=105500 #constraints=6370 34.98/35.07 c nbDecision=106000 #constraints=6396 35.68/35.77 c nbDecision=106500 #constraints=6424 36.29/36.35 c nbDecision=107000 #constraints=6448 36.78/36.81 c nbDecision=107500 #constraints=6465 37.48/37.55 c nbDecision=108000 #constraints=6491 38.18/38.22 c nbDecision=108500 #constraints=6516 38.88/38.91 c nbDecision=109000 #constraints=6544 39.58/39.64 c nbDecision=109500 #constraints=6570 40.38/40.45 c nbDecision=110000 #constraints=6600 40.98/41.09 c nbDecision=110500 #constraints=6622 41.48/41.58 c nbDecision=111000 #constraints=6639 42.18/42.24 c nbDecision=111500 #constraints=6663 42.78/42.81 c nbDecision=112000 #constraints=6696 43.38/43.40 c nbDecision=112500 #constraints=6718 44.18/44.20 c nbDecision=113000 #constraints=6745 44.87/44.98 c nbDecision=113500 #constraints=6768 45.68/45.71 c nbDecision=114000 #constraints=6796 46.57/46.61 c nbDecision=114500 #constraints=6832 47.67/47.71 c nbDecision=115000 #constraints=6868 48.57/48.62 c nbDecision=115500 #constraints=6900 49.27/49.38 c nbDecision=116000 #constraints=6927 50.27/50.30 c nbDecision=116500 #constraints=6957 50.77/50.80 c nbDecision=117000 #constraints=6971 51.37/51.46 c nbDecision=117500 #constraints=6995 52.17/52.29 c nbDecision=118000 #constraints=7023 52.77/52.85 c nbDecision=118500 #constraints=7043 53.47/53.54 c nbDecision=119000 #constraints=7067 54.37/54.48 c nbDecision=119500 #constraints=7102 55.17/55.22 c nbDecision=120000 #constraints=7128 55.87/55.97 c nbDecision=120500 #constraints=7150 56.57/56.65 c nbDecision=121000 #constraints=7177 57.27/57.36 c nbDecision=121500 #constraints=7208 57.97/58.09 c nbDecision=122000 #constraints=7241 58.68/58.70 c nbDecision=122500 #constraints=7262 59.38/59.47 c nbDecision=123000 #constraints=7288 60.18/60.26 c nbDecision=123500 #constraints=7316 60.78/60.82 c nbDecision=124000 #constraints=7335 61.38/61.49 c nbDecision=124500 #constraints=7356 61.98/62.00 c nbDecision=125000 #constraints=7372 62.48/62.52 c nbDecision=125500 #constraints=7389 62.98/63.09 c nbDecision=126000 #constraints=7408 64.07/64.16 c nbDecision=126500 #constraints=7436 64.67/64.72 c nbDecision=127000 #constraints=7453 65.37/65.41 c nbDecision=127500 #constraints=7473 65.88/65.93 c nbDecision=128000 #constraints=7487 66.77/66.81 c nbDecision=128500 #constraints=7513 67.47/67.53 c nbDecision=129000 #constraints=7537 68.08/68.12 c nbDecision=129500 #constraints=7555 69.07/69.13 c nbDecision=130000 #constraints=7581 69.57/69.62 c nbDecision=130500 #constraints=7597 70.28/70.37 c nbDecision=131000 #constraints=7618 70.97/71.07 c nbDecision=131500 #constraints=7641 71.87/71.90 c nbDecision=132000 #constraints=7666 72.77/72.84 c nbDecision=132500 #constraints=7698 73.67/73.71 c nbDecision=133000 #constraints=7726 74.17/74.27 c nbDecision=133500 #constraints=7746 74.77/74.88 c nbDecision=134000 #constraints=7766 75.47/75.50 c nbDecision=134500 #constraints=7787 76.07/76.13 c nbDecision=135000 #constraints=7808 76.67/76.72 c nbDecision=135500 #constraints=7822 77.37/77.46 c nbDecision=136000 #constraints=7846 77.97/78.07 c nbDecision=136500 #constraints=7862 78.77/78.81 c nbDecision=137000 #constraints=7885 79.36/79.44 c nbDecision=137500 #constraints=7902 80.27/80.37 c nbDecision=138000 #constraints=7935 80.86/80.98 c nbDecision=138500 #constraints=7955 81.66/81.73 c nbDecision=139000 #constraints=7981 82.37/82.48 c nbDecision=139500 #constraints=8001 83.17/83.24 c nbDecision=140000 #constraints=8023 83.87/83.97 c nbDecision=140500 #constraints=8044 85.17/85.27 c nbDecision=141000 #constraints=8080 85.87/85.99 c nbDecision=141500 #constraints=8099 86.97/87.04 c nbDecision=142000 #constraints=8127 87.97/88.02 c nbDecision=142500 #constraints=8154 89.27/89.39 c nbDecision=143000 #constraints=8192 90.07/90.14 c nbDecision=143500 #constraints=8212 91.27/91.39 c nbDecision=144000 #constraints=8246 92.37/92.44 c nbDecision=144500 #constraints=8274 93.37/93.48 c nbDecision=145000 #constraints=8302 94.17/94.24 c nbDecision=145500 #constraints=8327 95.36/95.44 c nbDecision=146000 #constraints=8365 96.56/96.68 c nbDecision=146500 #constraints=8398 97.96/98.03 c nbDecision=147000 #constraints=8436 98.97/99.08 c nbDecision=147500 #constraints=8467 100.07/100.11 c nbDecision=148000 #constraints=8499 101.36/101.43 c nbDecision=148500 #constraints=8540 102.36/102.42 c nbDecision=149000 #constraints=8568 103.46/103.50 c nbDecision=149500 #constraints=8600 104.56/104.69 c nbDecision=150000 #constraints=8632 105.76/105.84 c nbDecision=150500 #constraints=8663 106.46/106.59 c nbDecision=151000 #constraints=8691 107.36/107.40 c nbDecision=151500 #constraints=8716 108.16/108.21 c nbDecision=152000 #constraints=8742 109.26/109.38 c nbDecision=152500 #constraints=8778 110.36/110.42 c nbDecision=153000 #constraints=8807 111.16/111.20 c nbDecision=153500 #constraints=8828 111.96/112.02 c nbDecision=154000 #constraints=8850 112.66/112.75 c nbDecision=154500 #constraints=8871 113.36/113.42 c nbDecision=155000 #constraints=8891 114.16/114.27 c nbDecision=155500 #constraints=8916 115.06/115.16 c nbDecision=156000 #constraints=8939 115.66/115.77 c nbDecision=156500 #constraints=8962 116.36/116.46 c nbDecision=157000 #constraints=8987 117.26/117.39 c nbDecision=157500 #constraints=9015 118.06/118.19 c nbDecision=158000 #constraints=9037 119.06/119.16 c nbDecision=158500 #constraints=9070 119.86/119.98 c nbDecision=159000 #constraints=9103 120.86/120.96 c nbDecision=159500 #constraints=9141 121.76/121.89 c nbDecision=160000 #constraints=9175 122.86/122.97 c nbDecision=160500 #constraints=9216 123.86/123.98 c nbDecision=161000 #constraints=9248 125.06/125.12 c nbDecision=161500 #constraints=9278 125.96/126.05 c nbDecision=162000 #constraints=9303 126.76/126.87 c nbDecision=162500 #constraints=9323 127.76/127.81 c nbDecision=163000 #constraints=9347 129.06/129.18 c nbDecision=163500 #constraints=9383 130.56/130.61 c nbDecision=164000 #constraints=9422 131.56/131.65 c nbDecision=164500 #constraints=9450 132.65/132.73 c nbDecision=165000 #constraints=9479 133.45/133.55 c nbDecision=165500 #constraints=9502 134.16/134.25 c nbDecision=166000 #constraints=9528 134.95/135.08 c nbDecision=166500 #constraints=9559 135.85/135.90 c nbDecision=167000 #constraints=9583 136.45/136.57 c nbDecision=167500 #constraints=9610 137.46/137.53 c nbDecision=168000 #constraints=9645 138.45/138.50 c nbDecision=168500 #constraints=9673 139.25/139.37 c nbDecision=169000 #constraints=9704 140.25/140.32 c nbDecision=169500 #constraints=9733 141.05/141.18 c nbDecision=170000 #constraints=9761 141.95/142.06 c nbDecision=170500 #constraints=9787 142.65/142.78 c nbDecision=171000 #constraints=9807 143.85/143.90 c nbDecision=171500 #constraints=9836 144.85/144.97 c nbDecision=172000 #constraints=9864 146.35/146.43 c nbDecision=172500 #constraints=9897 147.35/147.45 c nbDecision=173000 #constraints=9926 148.25/148.39 c nbDecision=173500 #constraints=9950 149.35/149.45 c nbDecision=174000 #constraints=9974 150.35/150.41 c nbDecision=174500 #constraints=9997 151.66/151.73 c nbDecision=175000 #constraints=10027 152.65/152.73 c nbDecision=175500 #constraints=10050 153.55/153.67 c nbDecision=176000 #constraints=10072 154.65/154.70 c nbDecision=176500 #constraints=10100 155.55/155.66 c nbDecision=177000 #constraints=10120 156.55/156.64 c nbDecision=177500 #constraints=10144 157.55/157.70 c nbDecision=178000 #constraints=10173 158.25/158.39 c nbDecision=178500 #constraints=10192 159.45/159.57 c nbDecision=179000 #constraints=10222 160.45/160.55 c nbDecision=179500 #constraints=10247 161.55/161.67 c nbDecision=180000 #constraints=10276 163.15/163.23 c nbDecision=180500 #constraints=10313 164.35/164.41 c nbDecision=181000 #constraints=10341 165.65/165.75 c nbDecision=181500 #constraints=10372 167.15/167.21 c nbDecision=182000 #constraints=10406 168.84/168.93 c nbDecision=182500 #constraints=10449 169.64/169.78 c nbDecision=183000 #constraints=10469 170.54/170.65 c nbDecision=183500 #constraints=10490 171.55/171.63 c nbDecision=184000 #constraints=10516 172.34/172.44 c nbDecision=184500 #constraints=10537 173.24/173.37 c nbDecision=185000 #constraints=10561 174.75/174.89 c nbDecision=185500 #constraints=10595 176.34/176.50 c nbDecision=186000 #constraints=10631 178.74/178.83 c nbDecision=186500 #constraints=10683 180.64/180.72 c nbDecision=187000 #constraints=10731 182.84/182.97 c nbDecision=187500 #constraints=10785 184.64/184.74 c nbDecision=188000 #constraints=10826 186.45/186.51 c nbDecision=188500 #constraints=10871 187.95/188.03 c nbDecision=189000 #constraints=10907 191.04/191.10 c nbDecision=189500 #constraints=10989 192.14/192.25 c nbDecision=190000 #constraints=11015 193.64/193.74 c nbDecision=190500 #constraints=11047 194.84/194.92 c nbDecision=191000 #constraints=11079 195.94/196.04 c nbDecision=191500 #constraints=11103 197.04/197.11 c nbDecision=192000 #constraints=11127 198.84/198.96 c nbDecision=192500 #constraints=11170 200.74/200.87 c nbDecision=193000 #constraints=11210 201.84/201.97 c nbDecision=193500 #constraints=11237 202.94/203.01 c nbDecision=194000 #constraints=11263 204.14/204.21 c nbDecision=194500 #constraints=11295 205.04/205.14 c nbDecision=195000 #constraints=11319 206.44/206.55 c nbDecision=195500 #constraints=11356 207.64/207.80 c nbDecision=196000 #constraints=11387 208.84/208.99 c nbDecision=196500 #constraints=11415 210.04/210.18 c nbDecision=197000 #constraints=11443 211.63/211.70 c nbDecision=197500 #constraints=11480 213.24/213.37 c nbDecision=198000 #constraints=11520 214.53/214.70 c nbDecision=198500 #constraints=11555 216.03/216.13 c nbDecision=199000 #constraints=11590 217.43/217.54 c nbDecision=199500 #constraints=11626 219.13/219.22 c nbDecision=200000 #constraints=11665 220.33/220.43 c nbDecision=200500 #constraints=11693 221.43/221.56 c nbDecision=201000 #constraints=11720 222.83/222.97 c nbDecision=201500 #constraints=11752 224.13/224.23 c nbDecision=202000 #constraints=11780 225.53/225.67 c nbDecision=202500 #constraints=11817 226.84/226.99 c nbDecision=203000 #constraints=11848 228.64/228.73 c nbDecision=203500 #constraints=11889 230.33/230.48 c nbDecision=204000 #constraints=11930 231.83/231.92 c nbDecision=204500 #constraints=11961 232.83/232.99 c restart after 204801 decisions 233.23/233.33 c nbDecision=205000 #constraints=11986 234.33/234.47 c nbDecision=205500 #constraints=12008 236.03/236.13 c nbDecision=206000 #constraints=12047 237.83/237.94 c nbDecision=206500 #constraints=12088 240.43/240.56 c nbDecision=207000 #constraints=12148 242.13/242.23 c nbDecision=207500 #constraints=12189 242.93/243.03 c nbDecision=208000 #constraints=12217 243.53/243.64 c nbDecision=208500 #constraints=12246 244.03/244.16 c nbDecision=209000 #constraints=12262 245.33/245.42 c nbDecision=209500 #constraints=12292 246.63/246.75 c nbDecision=210000 #constraints=12319 247.73/247.88 c nbDecision=210500 #constraints=12341 249.33/249.48 c nbDecision=211000 #constraints=12369 250.83/250.94 c nbDecision=211500 #constraints=12395 251.93/252.09 c nbDecision=212000 #constraints=12416 253.12/253.22 c nbDecision=212500 #constraints=12435 254.52/254.68 c nbDecision=213000 #constraints=12464 255.72/255.81 c nbDecision=213500 #constraints=12493 256.82/256.97 c nbDecision=214000 #constraints=12518 258.62/258.78 c nbDecision=214500 #constraints=12556 260.02/260.15 c nbDecision=215000 #constraints=12585 261.42/261.56 c nbDecision=215500 #constraints=12616 263.42/263.55 c nbDecision=216000 #constraints=12657 266.02/266.15 c nbDecision=216500 #constraints=12710 269.12/269.26 c nbDecision=217000 #constraints=12774 271.72/271.86 c nbDecision=217500 #constraints=12827 274.42/274.52 c nbDecision=218000 #constraints=12877 275.02/275.19 c nbDecision=218500 #constraints=12897 275.72/275.84 c nbDecision=219000 #constraints=12914 277.62/277.77 c nbDecision=219500 #constraints=12953 279.72/279.88 c nbDecision=220000 #constraints=12997 282.62/282.76 c nbDecision=220500 #constraints=13051 286.02/286.12 c nbDecision=221000 #constraints=13125 288.62/288.75 c nbDecision=221500 #constraints=13178 291.01/291.19 c nbDecision=222000 #constraints=13233 294.21/294.37 c nbDecision=222500 #constraints=13301 296.41/296.55 c nbDecision=223000 #constraints=13347 298.61/298.76 c nbDecision=223500 #constraints=13392 301.52/301.67 c nbDecision=224000 #constraints=13455 304.52/304.68 c nbDecision=224500 #constraints=13519 307.21/307.33 c nbDecision=225000 #constraints=13579 309.51/309.60 c nbDecision=225500 #constraints=13632 311.51/311.69 c nbDecision=226000 #constraints=13680 312.81/312.95 c nbDecision=226500 #constraints=13706 313.71/313.89 c nbDecision=227000 #constraints=13728 314.81/314.94 c nbDecision=227500 #constraints=13749 315.81/315.94 c nbDecision=228000 #constraints=13769 316.71/316.85 c nbDecision=228500 #constraints=13788 317.51/317.67 c nbDecision=229000 #constraints=13805 319.21/319.32 c nbDecision=229500 #constraints=13845 320.41/320.54 c nbDecision=230000 #constraints=13870 321.61/321.71 c nbDecision=230500 #constraints=13897 322.71/322.86 c nbDecision=231000 #constraints=13921 323.61/323.76 c nbDecision=231500 #constraints=13939 324.81/324.94 c nbDecision=232000 #constraints=13964 326.20/326.36 c nbDecision=232500 #constraints=13993 327.50/327.64 c nbDecision=233000 #constraints=14022 328.60/328.74 c nbDecision=233500 #constraints=14048 329.60/329.79 c nbDecision=234000 #constraints=14071 330.60/330.73 c nbDecision=234500 #constraints=14090 331.80/331.95 c nbDecision=235000 #constraints=14121 333.11/333.29 c nbDecision=235500 #constraints=14152 334.60/334.77 c nbDecision=236000 #constraints=14187 335.70/335.89 c nbDecision=236500 #constraints=14217 337.10/337.27 c nbDecision=237000 #constraints=14252 338.40/338.55 c nbDecision=237500 #constraints=14283 339.70/339.81 c nbDecision=238000 #constraints=14313 341.01/341.14 c nbDecision=238500 #constraints=14341 342.21/342.34 c nbDecision=239000 #constraints=14366 343.51/343.61 c nbDecision=239500 #constraints=14394 344.91/345.00 c nbDecision=240000 #constraints=14425 346.11/346.24 c nbDecision=240500 #constraints=14451 347.41/347.56 c nbDecision=241000 #constraints=14481 348.70/348.82 c nbDecision=241500 #constraints=14508 350.10/350.29 c nbDecision=242000 #constraints=14538 351.50/351.61 c nbDecision=242500 #constraints=14567 353.01/353.17 c nbDecision=243000 #constraints=14603 354.70/354.82 c nbDecision=243500 #constraints=14638 356.21/356.35 c nbDecision=244000 #constraints=14669 357.50/357.67 c nbDecision=244500 #constraints=14696 358.80/358.96 c nbDecision=245000 #constraints=14725 360.40/360.51 c nbDecision=245500 #constraints=14758 361.80/361.99 c nbDecision=246000 #constraints=14790 363.40/363.52 c nbDecision=246500 #constraints=14823 364.90/365.04 c nbDecision=247000 #constraints=14861 366.10/366.20 c nbDecision=247500 #constraints=14889 367.00/367.11 c nbDecision=248000 #constraints=14915 367.90/368.06 c nbDecision=248500 #constraints=14941 369.50/369.60 c nbDecision=249000 #constraints=14977 370.79/370.98 c nbDecision=249500 #constraints=15008 372.29/372.42 c nbDecision=250000 #constraints=15042 373.69/373.87 c nbDecision=250500 #constraints=15073 375.19/375.31 c nbDecision=251000 #constraints=15105 376.89/377.08 c nbDecision=251500 #constraints=15144 378.59/378.70 c nbDecision=252000 #constraints=15179 380.19/380.33 c nbDecision=252500 #constraints=15212 381.49/381.65 c nbDecision=253000 #constraints=15239 383.20/383.33 c nbDecision=253500 #constraints=15275 384.70/384.86 c nbDecision=254000 #constraints=15305 386.10/386.26 c nbDecision=254500 #constraints=15334 387.60/387.79 c nbDecision=255000 #constraints=15366 389.30/389.49 c nbDecision=255500 #constraints=15402 390.79/390.94 c nbDecision=256000 #constraints=15431 392.50/392.62 c nbDecision=256500 #constraints=15463 393.79/393.97 c nbDecision=257000 #constraints=15496 394.89/395.05 c nbDecision=257500 #constraints=15519 395.99/396.18 c nbDecision=258000 #constraints=15543 397.19/397.35 c nbDecision=258500 #constraints=15568 398.49/398.61 c nbDecision=259000 #constraints=15593 399.99/400.17 c nbDecision=259500 #constraints=15625 401.49/401.66 c nbDecision=260000 #constraints=15654 403.69/403.89 c nbDecision=260500 #constraints=15689 405.09/405.22 c nbDecision=261000 #constraints=15719 406.59/406.70 c nbDecision=261500 #constraints=15749 407.89/408.02 c nbDecision=262000 #constraints=15777 409.88/410.04 c nbDecision=262500 #constraints=15811 411.08/411.29 c nbDecision=263000 #constraints=15830 412.29/412.47 c nbDecision=263500 #constraints=15855 413.58/413.77 c nbDecision=264000 #constraints=15882 414.98/415.20 c nbDecision=264500 #constraints=15909 416.48/416.68 c nbDecision=265000 #constraints=15938 417.89/418.05 c nbDecision=265500 #constraints=15966 419.18/419.32 c nbDecision=266000 #constraints=15992 420.78/420.91 c nbDecision=266500 #constraints=16027 422.18/422.40 c nbDecision=267000 #constraints=16056 423.49/423.70 c nbDecision=267500 #constraints=16083 424.99/425.18 c nbDecision=268000 #constraints=16112 426.49/426.64 c nbDecision=268500 #constraints=16144 427.99/428.15 c nbDecision=269000 #constraints=16177 429.39/429.54 c nbDecision=269500 #constraints=16208 430.79/430.91 c nbDecision=270000 #constraints=16237 432.09/432.29 c nbDecision=270500 #constraints=16267 433.48/433.63 c nbDecision=271000 #constraints=16296 434.98/435.15 c nbDecision=271500 #constraints=16327 436.78/436.96 c nbDecision=272000 #constraints=16364 438.48/438.63 c nbDecision=272500 #constraints=16400 440.08/440.20 c nbDecision=273000 #constraints=16430 441.68/441.85 c nbDecision=273500 #constraints=16465 443.28/443.42 c nbDecision=274000 #constraints=16499 444.88/445.04 c nbDecision=274500 #constraints=16533 446.58/446.72 c nbDecision=275000 #constraints=16567 448.48/448.64 c nbDecision=275500 #constraints=16609 450.18/450.36 c nbDecision=276000 #constraints=16643 451.98/452.13 c nbDecision=276500 #constraints=16678 453.88/454.04 c nbDecision=277000 #constraints=16718 455.47/455.60 c nbDecision=277500 #constraints=16748 456.97/457.16 c nbDecision=278000 #constraints=16777 458.48/458.61 c nbDecision=278500 #constraints=16807 459.97/460.14 c nbDecision=279000 #constraints=16838 461.37/461.59 c nbDecision=279500 #constraints=16866 463.07/463.26 c nbDecision=280000 #constraints=16897 464.67/464.84 c nbDecision=280500 #constraints=16929 466.17/466.33 c nbDecision=281000 #constraints=16958 467.67/467.83 c nbDecision=281500 #constraints=16986 469.17/469.32 c nbDecision=282000 #constraints=17012 470.67/470.81 c nbDecision=282500 #constraints=17038 471.97/472.14 c nbDecision=283000 #constraints=17062 473.57/473.78 c nbDecision=283500 #constraints=17092 475.27/475.44 c nbDecision=284000 #constraints=17122 476.97/477.15 c nbDecision=284500 #constraints=17155 478.66/478.80 c nbDecision=285000 #constraints=17188 480.26/480.42 c nbDecision=285500 #constraints=17212 481.46/481.70 c nbDecision=286000 #constraints=17231 482.78/483.00 c nbDecision=286500 #constraints=17255 484.37/484.54 c nbDecision=287000 #constraints=17289 485.87/486.00 c nbDecision=287500 #constraints=17319 487.47/487.67 c nbDecision=288000 #constraints=17355 488.27/488.42 c nbDecision=288500 #constraints=17371 488.87/489.09 c nbDecision=289000 #constraints=17390 490.37/490.53 c nbDecision=289500 #constraints=17423 491.97/492.19 c nbDecision=290000 #constraints=17444 493.47/493.67 c nbDecision=290500 #constraints=17483 494.66/494.87 c nbDecision=291000 #constraints=17502 496.16/496.37 c nbDecision=291500 #constraints=17532 498.76/498.99 c nbDecision=292000 #constraints=17585 500.16/500.33 c nbDecision=292500 #constraints=17611 501.76/501.98 c nbDecision=293000 #constraints=17650 502.97/503.17 c nbDecision=293500 #constraints=17671 504.16/504.39 c nbDecision=294000 #constraints=17693 505.56/505.71 c nbDecision=294500 #constraints=17714 506.97/507.17 c nbDecision=295000 #constraints=17744 508.56/508.76 c nbDecision=295500 #constraints=17771 510.66/510.82 c nbDecision=296000 #constraints=17808 512.16/512.31 c nbDecision=296500 #constraints=17839 513.96/514.16 c nbDecision=297000 #constraints=17873 515.76/515.93 c nbDecision=297500 #constraints=17907 517.36/517.58 c nbDecision=298000 #constraints=17939 519.36/519.50 c nbDecision=298500 #constraints=17975 520.46/520.66 c nbDecision=299000 #constraints=17998 521.56/521.80 c nbDecision=299500 #constraints=18018 523.16/523.36 c nbDecision=300000 #constraints=18049 525.15/525.39 c nbDecision=300500 #constraints=18083 526.85/527.07 c nbDecision=301000 #constraints=18117 528.15/528.39 c nbDecision=301500 #constraints=18145 529.75/529.91 c nbDecision=302000 #constraints=18181 531.25/531.43 c nbDecision=302500 #constraints=18207 533.05/533.21 c nbDecision=303000 #constraints=18237 534.65/534.82 c nbDecision=303500 #constraints=18266 535.96/536.14 c nbDecision=304000 #constraints=18294 537.76/537.93 c nbDecision=304500 #constraints=18321 538.76/538.99 c nbDecision=305000 #constraints=18343 540.25/540.40 c nbDecision=305500 #constraints=18375 541.95/542.19 c nbDecision=306000 #constraints=18412 543.65/543.84 c nbDecision=306500 #constraints=18444 545.95/546.15 c nbDecision=307000 #constraints=18492 547.85/548.04 c nbDecision=307500 #constraints=18528 549.35/549.54 c nbDecision=308000 #constraints=18566 550.45/550.61 c nbDecision=308500 #constraints=18587 551.85/552.03 c nbDecision=309000 #constraints=18618 553.34/553.55 c nbDecision=309500 #constraints=18648 555.14/555.37 c nbDecision=310000 #constraints=18683 556.65/556.82 c nbDecision=310500 #constraints=18713 558.45/558.67 c nbDecision=311000 #constraints=18740 560.15/560.30 c nbDecision=311500 #constraints=18770 562.05/562.20 c nbDecision=312000 #constraints=18806 563.95/564.18 c nbDecision=312500 #constraints=18847 565.85/566.05 c nbDecision=313000 #constraints=18878 567.85/568.03 c nbDecision=313500 #constraints=18917 570.14/570.32 c nbDecision=314000 #constraints=18958 573.04/573.26 c nbDecision=314500 #constraints=19008 574.64/574.87 c nbDecision=315000 #constraints=19032 576.34/576.52 c nbDecision=315500 #constraints=19057 577.94/578.18 c nbDecision=316000 #constraints=19080 579.74/580.00 c nbDecision=316500 #constraints=19108 581.74/581.98 c nbDecision=317000 #constraints=19145 583.54/583.77 c nbDecision=317500 #constraints=19176 584.84/585.05 c nbDecision=318000 #constraints=19202 586.93/587.10 c nbDecision=318500 #constraints=19242 589.44/589.64 c nbDecision=319000 #constraints=19289 590.54/590.78 c nbDecision=319500 #constraints=19309 592.03/592.24 c nbDecision=320000 #constraints=19338 593.53/593.73 c nbDecision=320500 #constraints=19377 595.03/595.21 c nbDecision=321000 #constraints=19417 596.13/596.35 c nbDecision=321500 #constraints=19444 598.03/598.23 c nbDecision=322000 #constraints=19494 599.43/599.69 c nbDecision=322500 #constraints=19535 600.93/601.15 c nbDecision=323000 #constraints=19576 602.53/602.74 c nbDecision=323500 #constraints=19612 603.84/604.02 c nbDecision=324000 #constraints=19644 605.24/605.47 c nbDecision=324500 #constraints=19683 606.54/606.79 c nbDecision=325000 #constraints=19718 607.73/607.95 c nbDecision=325500 #constraints=19739 609.73/609.92 c nbDecision=326000 #constraints=19777 612.54/612.70 c nbDecision=326500 #constraints=19830 614.23/614.48 c nbDecision=327000 #constraints=19860 616.13/616.38 c nbDecision=327500 #constraints=19896 617.63/617.86 c nbDecision=328000 #constraints=19919 619.63/619.82 c nbDecision=328500 #constraints=19952 621.13/621.32 c nbDecision=329000 #constraints=19977 622.83/623.07 c nbDecision=329500 #constraints=20006 624.83/625.01 c nbDecision=330000 #constraints=20038 626.43/626.64 c nbDecision=330500 #constraints=20064 628.33/628.59 c nbDecision=331000 #constraints=20099 630.13/630.35 c nbDecision=331500 #constraints=20128 632.23/632.43 c nbDecision=332000 #constraints=20166 634.43/634.61 c nbDecision=332500 #constraints=20205 636.63/636.81 c nbDecision=333000 #constraints=20244 638.62/638.85 c nbDecision=333500 #constraints=20276 640.12/640.33 c nbDecision=334000 #constraints=20301 641.92/642.12 c nbDecision=334500 #constraints=20330 643.42/643.64 c nbDecision=335000 #constraints=20354 645.22/645.40 c nbDecision=335500 #constraints=20384 646.62/646.86 c nbDecision=336000 #constraints=20411 648.01/648.25 c nbDecision=336500 #constraints=20431 649.71/649.90 c nbDecision=337000 #constraints=20459 651.11/651.34 c nbDecision=337500 #constraints=20483 652.41/652.62 c nbDecision=338000 #constraints=20502 653.71/653.95 c nbDecision=338500 #constraints=20523 655.21/655.46 c nbDecision=339000 #constraints=20559 657.21/657.45 c nbDecision=339500 #constraints=20595 659.92/660.16 c nbDecision=340000 #constraints=20645 662.22/662.48 c nbDecision=340500 #constraints=20693 664.12/664.39 c nbDecision=341000 #constraints=20723 666.52/666.74 c nbDecision=341500 #constraints=20756 668.82/669.02 c nbDecision=342000 #constraints=20792 670.42/670.67 c nbDecision=342500 #constraints=20813 672.31/672.58 c nbDecision=343000 #constraints=20849 674.41/674.63 c nbDecision=343500 #constraints=20882 677.81/678.07 c nbDecision=344000 #constraints=20935 680.71/680.96 c nbDecision=344500 #constraints=20967 682.61/682.89 c nbDecision=345000 #constraints=20997 684.21/684.49 c nbDecision=345500 #constraints=21027 686.00/686.27 c nbDecision=346000 #constraints=21062 686.80/687.01 c nbDecision=346500 #constraints=21080 688.50/688.79 c nbDecision=347000 #constraints=21106 690.00/690.20 c nbDecision=347500 #constraints=21131 691.30/691.57 c nbDecision=348000 #constraints=21159 693.20/693.40 c nbDecision=348500 #constraints=21195 694.90/695.10 c nbDecision=349000 #constraints=21224 697.20/697.47 c nbDecision=349500 #constraints=21269 699.20/699.41 c nbDecision=350000 #constraints=21299 701.41/701.68 c nbDecision=350500 #constraints=21339 703.60/703.85 c nbDecision=351000 #constraints=21379 705.20/705.48 c nbDecision=351500 #constraints=21410 707.20/707.46 c nbDecision=352000 #constraints=21442 709.40/709.62 c nbDecision=352500 #constraints=21482 711.51/711.75 c nbDecision=353000 #constraints=21520 713.50/713.74 c nbDecision=353500 #constraints=21550 715.20/715.46 c nbDecision=354000 #constraints=21574 717.50/717.71 c nbDecision=354500 #constraints=21611 719.30/719.51 c nbDecision=355000 #constraints=21648 721.30/721.58 c nbDecision=355500 #constraints=21684 723.89/724.16 c nbDecision=356000 #constraints=21726 726.69/727.00 c nbDecision=356500 #constraints=21774 729.00/729.21 c nbDecision=357000 #constraints=21809 730.99/731.20 c nbDecision=357500 #constraints=21836 733.09/733.33 c nbDecision=358000 #constraints=21872 735.79/736.01 c nbDecision=358500 #constraints=21922 738.00/738.24 c nbDecision=359000 #constraints=21959 740.20/740.41 c nbDecision=359500 #constraints=21999 742.39/742.62 c nbDecision=360000 #constraints=22037 744.19/744.47 c nbDecision=360500 #constraints=22067 746.49/746.70 c nbDecision=361000 #constraints=22104 748.89/749.19 c nbDecision=361500 #constraints=22145 750.89/751.19 c nbDecision=362000 #constraints=22181 752.29/752.59 c nbDecision=362500 #constraints=22208 754.89/755.10 c nbDecision=363000 #constraints=22243 756.49/756.75 c nbDecision=363500 #constraints=22269 757.88/758.11 c nbDecision=364000 #constraints=22287 759.38/759.69 c nbDecision=364500 #constraints=22309 760.99/761.21 c nbDecision=365000 #constraints=22339 762.48/762.79 c nbDecision=365500 #constraints=22364 764.29/764.55 c nbDecision=366000 #constraints=22392 765.58/765.82 c nbDecision=366500 #constraints=22415 767.38/767.67 c nbDecision=367000 #constraints=22444 768.78/769.00 c nbDecision=367500 #constraints=22465 770.38/770.67 c nbDecision=368000 #constraints=22491 772.08/772.32 c nbDecision=368500 #constraints=22512 773.69/773.95 c nbDecision=369000 #constraints=22543 775.39/775.64 c nbDecision=369500 #constraints=22572 776.88/777.13 c nbDecision=370000 #constraints=22597 779.38/779.69 c nbDecision=370500 #constraints=22663 781.28/781.53 c nbDecision=371000 #constraints=22692 782.99/783.28 c nbDecision=371500 #constraints=22723 784.98/785.24 c nbDecision=372000 #constraints=22749 786.48/786.76 c nbDecision=372500 #constraints=22771 787.98/788.26 c nbDecision=373000 #constraints=22794 789.58/789.88 c nbDecision=373500 #constraints=22814 791.28/791.52 c nbDecision=374000 #constraints=22843 792.78/793.06 c nbDecision=374500 #constraints=22872 794.28/794.57 c nbDecision=375000 #constraints=22898 795.57/795.89 c nbDecision=375500 #constraints=22923 797.28/797.59 c nbDecision=376000 #constraints=22958 798.87/799.11 c nbDecision=376500 #constraints=22985 800.67/800.96 c nbDecision=377000 #constraints=23015 802.58/802.86 c nbDecision=377500 #constraints=23046 804.48/804.74 c nbDecision=378000 #constraints=23082 806.38/806.65 c nbDecision=378500 #constraints=23114 808.58/808.85 c nbDecision=379000 #constraints=23157 810.48/810.79 c nbDecision=379500 #constraints=23192 812.47/812.73 c nbDecision=380000 #constraints=23220 815.07/815.35 c nbDecision=380500 #constraints=23259 817.67/817.93 c nbDecision=381000 #constraints=23306 819.87/820.15 c nbDecision=381500 #constraints=23346 822.27/822.58 c nbDecision=382000 #constraints=23388 824.78/825.04 c nbDecision=382500 #constraints=23431 827.27/827.55 c nbDecision=383000 #constraints=23474 829.27/829.54 c nbDecision=383500 #constraints=23511 831.97/832.25 c nbDecision=384000 #constraints=23557 835.57/835.87 c nbDecision=384500 #constraints=23609 839.47/839.73 c nbDecision=385000 #constraints=23665 843.27/843.54 c nbDecision=385500 #constraints=23721 846.37/846.68 c nbDecision=386000 #constraints=23773 849.46/849.78 c nbDecision=386500 #constraints=23826 852.46/852.79 c nbDecision=387000 #constraints=23880 856.57/856.90 c nbDecision=387500 #constraints=23944 860.96/861.30 c nbDecision=388000 #constraints=24007 863.86/864.19 c nbDecision=388500 #constraints=24049 866.06/866.39 c nbDecision=389000 #constraints=24078 867.56/867.89 c nbDecision=389500 #constraints=24105 868.96/869.24 c nbDecision=390000 #constraints=24127 870.96/871.20 c nbDecision=390500 #constraints=24160 873.55/873.80 c nbDecision=391000 #constraints=24216 875.95/876.30 c nbDecision=391500 #constraints=24257 879.15/879.44 c nbDecision=392000 #constraints=24300 882.55/882.81 c nbDecision=392500 #constraints=24348 884.95/885.28 c nbDecision=393000 #constraints=24378 886.65/886.94 c nbDecision=393500 #constraints=24406 888.35/888.63 c nbDecision=394000 #constraints=24438 890.85/891.12 c nbDecision=394500 #constraints=24477 892.65/892.95 c nbDecision=395000 #constraints=24505 895.15/895.41 c nbDecision=395500 #constraints=24541 897.46/897.74 c nbDecision=396000 #constraints=24575 899.15/899.42 c nbDecision=396500 #constraints=24595 900.75/901.06 c nbDecision=397000 #constraints=24619 902.86/903.17 c nbDecision=397500 #constraints=24658 905.35/905.64 c nbDecision=398000 #constraints=24701 907.05/907.33 c nbDecision=398500 #constraints=24728 909.05/909.31 c nbDecision=399000 #constraints=24760 910.95/911.27 c nbDecision=399500 #constraints=24799 912.95/913.27 c nbDecision=400000 #constraints=24830 914.95/915.21 c nbDecision=400500 #constraints=24856 916.84/917.15 c nbDecision=401000 #constraints=24886 918.74/919.08 c nbDecision=401500 #constraints=24926 920.35/920.61 c nbDecision=402000 #constraints=24950 923.04/923.36 c nbDecision=402500 #constraints=24995 926.34/926.62 c nbDecision=403000 #constraints=25048 929.44/929.78 c nbDecision=403500 #constraints=25099 932.54/932.83 c nbDecision=404000 #constraints=25153 934.65/934.94 c nbDecision=404500 #constraints=25184 937.34/937.63 c nbDecision=405000 #constraints=25222 939.24/939.58 c nbDecision=405500 #constraints=25246 940.54/940.86 c nbDecision=406000 #constraints=25260 942.54/942.88 c nbDecision=406500 #constraints=25295 945.14/945.49 c nbDecision=407000 #constraints=25350 947.44/947.77 c nbDecision=407500 #constraints=25387 950.04/950.33 c nbDecision=408000 #constraints=25423 952.64/952.91 c nbDecision=408500 #constraints=25459 954.83/955.18 c nbDecision=409000 #constraints=25497 957.13/957.44 c nbDecision=409500 #constraints=25537 957.63/957.90 c restart after 409601 decisions 959.03/959.34 c nbDecision=410000 #constraints=25546 960.83/961.13 c nbDecision=410500 #constraints=25572 963.03/963.38 c nbDecision=411000 #constraints=25606 964.73/965.01 c nbDecision=411500 #constraints=25625 967.63/967.98 c nbDecision=412000 #constraints=25667 969.33/969.64 c nbDecision=412500 #constraints=25690 971.83/972.11 c nbDecision=413000 #constraints=25726 974.93/975.22 c nbDecision=413500 #constraints=25773 977.23/977.55 c nbDecision=414000 #constraints=25805 979.13/979.40 c nbDecision=414500 #constraints=25825 981.02/981.35 c nbDecision=415000 #constraints=25851 983.03/983.31 c nbDecision=415500 #constraints=25887 985.52/985.82 c nbDecision=416000 #constraints=25924 988.32/988.66 c nbDecision=416500 #constraints=25963 990.52/990.81 c nbDecision=417000 #constraints=25992 992.32/992.69 c nbDecision=417500 #constraints=26018 995.12/995.47 c nbDecision=418000 #constraints=26058 996.92/997.28 c nbDecision=418500 #constraints=26080 998.62/998.90 c nbDecision=419000 #constraints=26099 1000.73/1001.05 c nbDecision=419500 #constraints=26133 1003.02/1003.34 c nbDecision=420000 #constraints=26173 1005.03/1005.32 c nbDecision=420500 #constraints=26203 1009.53/1009.81 c nbDecision=421000 #constraints=26265 1012.62/1012.96 c nbDecision=421500 #constraints=26307 1015.32/1015.69 c nbDecision=422000 #constraints=26341 1019.82/1020.19 c nbDecision=422500 #constraints=26390 1021.82/1022.12 c nbDecision=423000 #constraints=26410 1023.82/1024.10 c nbDecision=423500 #constraints=26431 1025.42/1025.76 c nbDecision=424000 #constraints=26452 1028.12/1028.40 c nbDecision=424500 #constraints=26486 1030.81/1031.10 c nbDecision=425000 #constraints=26531 1033.21/1033.52 c nbDecision=425500 #constraints=26574 1035.51/1035.88 c nbDecision=426000 #constraints=26612 1037.71/1038.02 c nbDecision=426500 #constraints=26645 1039.81/1040.12 c nbDecision=427000 #constraints=26672 1042.41/1042.71 c nbDecision=427500 #constraints=26709 1044.81/1045.13 c nbDecision=428000 #constraints=26743 1046.51/1046.85 c nbDecision=428500 #constraints=26769 1050.21/1050.50 c nbDecision=429000 #constraints=26817 1052.80/1053.16 c nbDecision=429500 #constraints=26857 1055.00/1055.33 c nbDecision=430000 #constraints=26889 1058.01/1058.32 c nbDecision=430500 #constraints=26938 1060.61/1060.94 c nbDecision=431000 #constraints=26978 1063.31/1063.65 c nbDecision=431500 #constraints=27015 1066.50/1066.83 c nbDecision=432000 #constraints=27057 1068.91/1069.21 c nbDecision=432500 #constraints=27089 1070.70/1071.02 c nbDecision=433000 #constraints=27110 1072.90/1073.22 c nbDecision=433500 #constraints=27137 1075.00/1075.34 c nbDecision=434000 #constraints=27166 1076.90/1077.30 c nbDecision=434500 #constraints=27187 1079.91/1080.22 c nbDecision=435000 #constraints=27231 1082.60/1082.93 c nbDecision=435500 #constraints=27265 1084.50/1084.85 c nbDecision=436000 #constraints=27289 1086.80/1087.19 c nbDecision=436500 #constraints=27316 1089.50/1089.81 c nbDecision=437000 #constraints=27351 1092.00/1092.36 c nbDecision=437500 #constraints=27383 1094.29/1094.64 c nbDecision=438000 #constraints=27416 1097.29/1097.70 c nbDecision=438500 #constraints=27465 1099.60/1099.90 c nbDecision=439000 #constraints=27499 1101.69/1102.09 c nbDecision=439500 #constraints=27526 1103.69/1104.01 c nbDecision=440000 #constraints=27551 1105.89/1106.23 c nbDecision=440500 #constraints=27584 1108.69/1109.08 c nbDecision=441000 #constraints=27619 1110.99/1111.38 c nbDecision=441500 #constraints=27655 1113.99/1114.31 c nbDecision=442000 #constraints=27692 1117.69/1118.06 c nbDecision=442500 #constraints=27740 1120.09/1120.41 c nbDecision=443000 #constraints=27773 1123.19/1123.55 c nbDecision=443500 #constraints=27815 1125.69/1126.04 c nbDecision=444000 #constraints=27856 1128.39/1128.72 c nbDecision=444500 #constraints=27894 1130.69/1131.02 c nbDecision=445000 #constraints=27927 1133.89/1134.27 c nbDecision=445500 #constraints=27970 1137.29/1137.61 c nbDecision=446000 #constraints=28023 1139.99/1140.39 c nbDecision=446500 #constraints=28064 1144.28/1144.66 c nbDecision=447000 #constraints=28122 1146.28/1146.64 c nbDecision=447500 #constraints=28147 1148.68/1149.08 c nbDecision=448000 #constraints=28184 1150.98/1151.39 c nbDecision=448500 #constraints=28212 1154.48/1154.85 c nbDecision=449000 #constraints=28249 1156.48/1156.86 c nbDecision=449500 #constraints=28276 1158.58/1158.98 c nbDecision=450000 #constraints=28305 1161.08/1161.42 c nbDecision=450500 #constraints=28334 1163.48/1163.82 c nbDecision=451000 #constraints=28364 1166.07/1166.47 c nbDecision=451500 #constraints=28392 1169.17/1169.55 c nbDecision=452000 #constraints=28427 1171.77/1172.13 c nbDecision=452500 #constraints=28460 1174.88/1175.20 c nbDecision=453000 #constraints=28496 1177.78/1178.15 c nbDecision=453500 #constraints=28527 1181.47/1181.86 c nbDecision=454000 #constraints=28586 1184.57/1184.96 c nbDecision=454500 #constraints=28626 1187.58/1187.99 c nbDecision=455000 #constraints=28662 1189.97/1190.30 c nbDecision=455500 #constraints=28700 1193.87/1194.25 c nbDecision=456000 #constraints=28758 1197.37/1197.74 c nbDecision=456500 #constraints=28798 1200.57/1200.97 c nbDecision=457000 #constraints=28841 1202.67/1203.00 c nbDecision=457500 #constraints=28870 1205.06/1205.46 c nbDecision=458000 #constraints=28903 1208.16/1208.52 c nbDecision=458500 #constraints=28945 1211.87/1212.22 c nbDecision=459000 #constraints=28997 1214.36/1214.79 c nbDecision=459500 #constraints=29037 1218.06/1218.41 c nbDecision=460000 #constraints=29088 1221.56/1221.90 c nbDecision=460500 #constraints=29136 1224.37/1224.75 c nbDecision=461000 #constraints=29177 1226.96/1227.35 c nbDecision=461500 #constraints=29213 1229.47/1229.86 c nbDecision=462000 #constraints=29243 1232.26/1232.62 c nbDecision=462500 #constraints=29280 1234.97/1235.31 c nbDecision=463000 #constraints=29315 1237.66/1238.05 c nbDecision=463500 #constraints=29352 1242.46/1242.86 c nbDecision=464000 #constraints=29408 1244.66/1245.08 c nbDecision=464500 #constraints=29442 1246.65/1247.04 c nbDecision=465000 #constraints=29476 1250.55/1250.91 c nbDecision=465500 #constraints=29527 1254.55/1254.95 c nbDecision=466000 #constraints=29580 1257.35/1257.70 c nbDecision=466500 #constraints=29615 1260.45/1260.85 c nbDecision=467000 #constraints=29655 1263.35/1263.79 c nbDecision=467500 #constraints=29693 1266.35/1266.75 c nbDecision=468000 #constraints=29735 1268.85/1269.29 c nbDecision=468500 #constraints=29779 1272.44/1272.83 c nbDecision=469000 #constraints=29830 1275.44/1275.89 c nbDecision=469500 #constraints=29867 1277.54/1277.95 c nbDecision=470000 #constraints=29896 1279.34/1279.79 c nbDecision=470500 #constraints=29925 1282.74/1283.13 c nbDecision=471000 #constraints=29967 1285.95/1286.36 c nbDecision=471500 #constraints=30008 1288.65/1289.02 c nbDecision=472000 #constraints=30046 1291.54/1291.95 c nbDecision=472500 #constraints=30088 1294.04/1294.42 c nbDecision=473000 #constraints=30120 1297.04/1297.48 c nbDecision=473500 #constraints=30158 1301.24/1301.68 c nbDecision=474000 #constraints=30215 1304.74/1305.18 c nbDecision=474500 #constraints=30253 1308.04/1308.49 c nbDecision=475000 #constraints=30295 1312.63/1313.06 c nbDecision=475500 #constraints=30347 1316.34/1316.77 c nbDecision=476000 #constraints=30383 1318.54/1318.96 c nbDecision=476500 #constraints=30413 1322.03/1322.43 c nbDecision=477000 #constraints=30450 1324.53/1324.97 c nbDecision=477500 #constraints=30483 1326.33/1326.77 c nbDecision=478000 #constraints=30511 1328.24/1328.66 c nbDecision=478500 #constraints=30539 1330.84/1331.29 c nbDecision=479000 #constraints=30575 1333.44/1333.89 c nbDecision=479500 #constraints=30602 1336.23/1336.62 c nbDecision=480000 #constraints=30637 1338.53/1338.92 c nbDecision=480500 #constraints=30672 1341.03/1341.40 c nbDecision=481000 #constraints=30702 1344.33/1344.78 c nbDecision=481500 #constraints=30735 1346.83/1347.23 c nbDecision=482000 #constraints=30758 1350.33/1350.79 c nbDecision=482500 #constraints=30793 1353.53/1353.97 c nbDecision=483000 #constraints=30825 1357.32/1357.75 c nbDecision=483500 #constraints=30865 1360.62/1361.08 c nbDecision=484000 #constraints=30902 1363.72/1364.13 c nbDecision=484500 #constraints=30935 1366.72/1367.18 c nbDecision=485000 #constraints=30962 1369.52/1369.95 c nbDecision=485500 #constraints=30989 1372.62/1373.08 c nbDecision=486000 #constraints=31019 1375.62/1376.10 c nbDecision=486500 #constraints=31046 1379.61/1380.01 c nbDecision=487000 #constraints=31090 1382.23/1382.64 c nbDecision=487500 #constraints=31118 1384.32/1384.70 c nbDecision=488000 #constraints=31139 1386.62/1387.06 c nbDecision=488500 #constraints=31166 1389.02/1389.44 c nbDecision=489000 #constraints=31193 1391.22/1391.68 c nbDecision=489500 #constraints=31218 1394.22/1394.60 c nbDecision=490000 #constraints=31249 1397.32/1397.79 c nbDecision=490500 #constraints=31282 1400.22/1400.60 c nbDecision=491000 #constraints=31313 1403.51/1403.93 c nbDecision=491500 #constraints=31350 1406.61/1407.08 c nbDecision=492000 #constraints=31383 1409.61/1410.09 c nbDecision=492500 #constraints=31409 1413.81/1414.26 c nbDecision=493000 #constraints=31450 1419.11/1419.58 c nbDecision=493500 #constraints=31502 1422.61/1423.04 c nbDecision=494000 #constraints=31534 1425.40/1425.85 c nbDecision=494500 #constraints=31563 1429.20/1429.62 c nbDecision=495000 #constraints=31598 1433.00/1433.40 c nbDecision=495500 #constraints=31632 1435.40/1435.82 c nbDecision=496000 #constraints=31658 1438.40/1438.89 c nbDecision=496500 #constraints=31689 1441.30/1441.75 c nbDecision=497000 #constraints=31718 1445.10/1445.54 c nbDecision=497500 #constraints=31758 1448.70/1449.11 c nbDecision=498000 #constraints=31793 1451.60/1452.03 c nbDecision=498500 #constraints=31824 1454.30/1454.78 c nbDecision=499000 #constraints=31853 1457.19/1457.62 c nbDecision=499500 #constraints=31882 1460.80/1461.20 c nbDecision=500000 #constraints=31918 1463.61/1464.04 c nbDecision=500500 #constraints=31950 1466.20/1466.69 c nbDecision=501000 #constraints=31984 1469.00/1469.50 c nbDecision=501500 #constraints=32016 1472.00/1472.47 c nbDecision=502000 #constraints=32047 1476.09/1476.56 c nbDecision=502500 #constraints=32095 1480.10/1480.51 c nbDecision=503000 #constraints=32131 1483.19/1483.69 c nbDecision=503500 #constraints=32161 1486.29/1486.75 c nbDecision=504000 #constraints=32190 1488.89/1489.36 c nbDecision=504500 #constraints=32215 1492.59/1493.07 c nbDecision=505000 #constraints=32260 1495.29/1495.71 c nbDecision=505500 #constraints=32289 1498.18/1498.64 c nbDecision=506000 #constraints=32324 1501.68/1502.12 c nbDecision=506500 #constraints=32359 1505.18/1505.65 c nbDecision=507000 #constraints=32393 1507.88/1508.32 c nbDecision=507500 #constraints=32417 1511.18/1511.61 c nbDecision=508000 #constraints=32446 1513.89/1514.37 c nbDecision=508500 #constraints=32475 1516.09/1516.59 c nbDecision=509000 #constraints=32499 1518.69/1519.19 c nbDecision=509500 #constraints=32530 1521.48/1521.96 c nbDecision=510000 #constraints=32561 1524.48/1524.97 c nbDecision=510500 #constraints=32598 1527.78/1528.29 c nbDecision=511000 #constraints=32636 1530.98/1531.46 c nbDecision=511500 #constraints=32673 1535.18/1535.64 c nbDecision=512000 #constraints=32709 1538.98/1539.43 c nbDecision=512500 #constraints=32745 1542.78/1543.25 c nbDecision=513000 #constraints=32781 1546.18/1546.60 c nbDecision=513500 #constraints=32818 1549.97/1550.45 c nbDecision=514000 #constraints=32856 1553.27/1553.73 c nbDecision=514500 #constraints=32894 1556.07/1556.51 c nbDecision=515000 #constraints=32924 1561.78/1562.28 c nbDecision=515500 #constraints=32973 1564.27/1564.73 c nbDecision=516000 #constraints=33007 1566.87/1567.32 c nbDecision=516500 #constraints=33036 1570.47/1570.91 c nbDecision=517000 #constraints=33080 1573.47/1573.91 c nbDecision=517500 #constraints=33123 1576.87/1577.38 c nbDecision=518000 #constraints=33158 1579.47/1579.93 c nbDecision=518500 #constraints=33186 1582.76/1583.25 c nbDecision=519000 #constraints=33219 1586.16/1586.69 c nbDecision=519500 #constraints=33249 1589.07/1589.51 c nbDecision=520000 #constraints=33282 1592.06/1592.56 c nbDecision=520500 #constraints=33315 1595.36/1595.88 c nbDecision=521000 #constraints=33349 1598.46/1598.98 c nbDecision=521500 #constraints=33380 1600.97/1601.40 c nbDecision=522000 #constraints=33407 1603.17/1603.62 c nbDecision=522500 #constraints=33434 1605.37/1605.87 c nbDecision=523000 #constraints=33461 1608.47/1608.96 c nbDecision=523500 #constraints=33490 1611.66/1612.12 c nbDecision=524000 #constraints=33520 1614.56/1615.05 c nbDecision=524500 #constraints=33550 1618.06/1618.50 c nbDecision=525000 #constraints=33581 1620.96/1621.43 c nbDecision=525500 #constraints=33608 1624.46/1624.97 c nbDecision=526000 #constraints=33642 1627.16/1627.69 c nbDecision=526500 #constraints=33672 1630.66/1631.19 c nbDecision=527000 #constraints=33715 1633.35/1633.88 c nbDecision=527500 #constraints=33742 1636.26/1636.70 c nbDecision=528000 #constraints=33770 1639.25/1639.70 c nbDecision=528500 #constraints=33805 1643.26/1643.75 c nbDecision=529000 #constraints=33845 1645.85/1646.30 c nbDecision=529500 #constraints=33875 1649.95/1650.40 c nbDecision=530000 #constraints=33915 1653.05/1653.52 c nbDecision=530500 #constraints=33947 1655.85/1656.31 c nbDecision=531000 #constraints=33977 1659.15/1659.69 c nbDecision=531500 #constraints=34026 1661.55/1662.06 c nbDecision=532000 #constraints=34064 1664.44/1664.96 c nbDecision=532500 #constraints=34101 1667.74/1668.24 c nbDecision=533000 #constraints=34144 1671.04/1671.54 c nbDecision=533500 #constraints=34183 1673.54/1674.08 c nbDecision=534000 #constraints=34211 1676.74/1677.23 c nbDecision=534500 #constraints=34242 1679.94/1680.48 c nbDecision=535000 #constraints=34272 1682.74/1683.25 c nbDecision=535500 #constraints=34301 1684.94/1685.42 c nbDecision=536000 #constraints=34323 1687.34/1687.84 c nbDecision=536500 #constraints=34357 1690.04/1690.54 c nbDecision=537000 #constraints=34396 1692.53/1693.05 c nbDecision=537500 #constraints=34433 1695.44/1695.92 c nbDecision=538000 #constraints=34481 1698.24/1698.77 c nbDecision=538500 #constraints=34529 1701.54/1702.09 c nbDecision=539000 #constraints=34560 1704.44/1704.92 c nbDecision=539500 #constraints=34591 1707.84/1708.35 c nbDecision=540000 #constraints=34636 1710.83/1711.36 c nbDecision=540500 #constraints=34671 1713.73/1714.26 c nbDecision=541000 #constraints=34701 1716.93/1717.45 c nbDecision=541500 #constraints=34742 1720.03/1720.58 c nbDecision=542000 #constraints=34793 1723.23/1723.71 c nbDecision=542500 #constraints=34835 1726.73/1727.25 c nbDecision=543000 #constraints=34886 1729.83/1730.31 c nbDecision=543500 #constraints=34927 1733.13/1733.66 c nbDecision=544000 #constraints=34969 1736.82/1737.37 c nbDecision=544500 #constraints=35023 1740.52/1741.09 c nbDecision=545000 #constraints=35076 1743.92/1744.43 c nbDecision=545500 #constraints=35114 1747.82/1748.32 c nbDecision=546000 #constraints=35161 1750.52/1751.08 c nbDecision=546500 #constraints=35198 1753.02/1753.59 c nbDecision=547000 #constraints=35232 1756.33/1756.89 c nbDecision=547500 #constraints=35273 1759.82/1760.31 c nbDecision=548000 #constraints=35314 1763.72/1764.30 c nbDecision=548500 #constraints=35364 1766.92/1767.49 c nbDecision=549000 #constraints=35400 1769.62/1770.10 c nbDecision=549500 #constraints=35423 1772.72/1773.23 c nbDecision=550000 #constraints=35453 1774.92/1775.44 c nbDecision=550500 #constraints=35478 1777.61/1778.17 c nbDecision=551000 #constraints=35503 1781.11/1781.64 c nbDecision=551500 #constraints=35540 1784.71/1785.26 c nbDecision=552000 #constraints=35577 1787.61/1788.13 c nbDecision=552500 #constraints=35603 1791.21/1791.75 c nbDecision=553000 #constraints=35642 1795.51/1796.03 c nbDecision=553500 #constraints=35679 1798.60/1799.16 c nbDecision=554000 #constraints=35712 1800.01/1800.50 Received signal 15 1800.01/1800.51 1800.01/1800.51 s UNKNOWN 1800.01/1800.51 1800.01/1800.51 c user time= 1799.59 s 1800.01/1800.51 c system time= 0.438933 s 1800.01/1800.51 c wall clock time=1800.51
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-357443-1176999046 -o ROOT/results/node4/solver-357443-1176999046 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357443-1176999046/instance-357443-1176999046.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 10496 /proc/meminfo: memFree=1707032/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=1468 CPUtime=0 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 175942316 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 367 163 131 317 0 46 0 [startup+0.086927 s] /proc/loadavg: 0.92 0.98 0.99 3/77 10496 /proc/meminfo: memFree=1707032/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=2924 CPUtime=0.08 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 557 0 0 0 8 0 0 0 18 0 1 0 175942316 2994176 539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711504 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 731 539 138 317 0 410 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2924 [startup+0.101928 s] /proc/loadavg: 0.92 0.98 0.99 3/77 10496 /proc/meminfo: memFree=1707032/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=3080 CPUtime=0.09 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 575 0 0 0 9 0 0 0 18 0 1 0 175942316 3153920 557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 770 557 139 317 0 449 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3080 [startup+0.301947 s] /proc/loadavg: 0.92 0.98 0.99 3/77 10496 /proc/meminfo: memFree=1707032/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=3220 CPUtime=0.29 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 645 0 0 0 29 0 0 0 19 0 1 0 175942316 3297280 627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 805 627 170 317 0 484 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3220 [startup+0.701985 s] /proc/loadavg: 0.92 0.98 0.99 3/77 10496 /proc/meminfo: memFree=1707032/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=3752 CPUtime=0.69 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 784 0 0 0 69 0 0 0 23 0 1 0 175942316 3842048 766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718327 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 938 766 170 317 0 617 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3752 [startup+1.50106 s] /proc/loadavg: 0.92 0.98 0.99 2/78 10497 /proc/meminfo: memFree=1704208/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=4664 CPUtime=1.49 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 1023 0 0 0 149 0 0 0 25 0 1 0 175942316 4775936 1005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593504 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 1166 1005 170 317 0 845 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4664 [startup+3.10221 s] /proc/loadavg: 0.92 0.98 0.99 2/78 10497 /proc/meminfo: memFree=1702864/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=6156 CPUtime=3.09 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 1377 0 0 0 309 0 0 0 25 0 1 0 175942316 6303744 1359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 1539 1359 170 317 0 1218 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6156 [startup+6.30152 s] /proc/loadavg: 0.93 0.98 0.99 2/78 10497 /proc/meminfo: memFree=1700368/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=8312 CPUtime=6.29 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 1890 0 0 0 628 1 0 0 25 0 1 0 175942316 8511488 1872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 2078 1872 170 317 0 1757 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8312 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/78 10497 /proc/meminfo: memFree=1696848/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=11604 CPUtime=12.69 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 2715 0 0 0 1267 2 0 0 25 0 1 0 175942316 11882496 2697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 2901 2697 170 317 0 2580 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11604 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/78 10497 /proc/meminfo: memFree=1693968/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=14500 CPUtime=25.48 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 3358 0 0 0 2546 2 0 0 25 0 1 0 175942316 14848000 3340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715618 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 3625 3340 170 317 0 3304 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14500 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/78 10497 /proc/meminfo: memFree=1691152/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=17364 CPUtime=51.07 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 4071 0 0 0 5104 3 0 0 25 0 1 0 175942316 17780736 4053 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 4341 4053 170 317 0 4020 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 17364 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 10497 /proc/meminfo: memFree=1686160/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=22632 CPUtime=102.26 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 5369 0 0 0 10221 5 0 0 25 0 1 0 175942316 23175168 5294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 5658 5294 170 317 0 5337 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 22632 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10497 /proc/meminfo: memFree=1681040/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=28412 CPUtime=162.25 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 6655 0 0 0 16218 7 0 0 25 0 1 0 175942316 29093888 6580 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 7103 6580 170 317 0 6782 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 28412 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10497 /proc/meminfo: memFree=1677264/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=32304 CPUtime=222.23 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 7586 0 0 0 22215 8 0 0 25 0 1 0 175942316 33079296 7511 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 8076 7511 170 317 0 7755 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 32304 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10497 /proc/meminfo: memFree=1673872/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=35776 CPUtime=282.22 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 8430 0 0 0 28212 10 0 0 25 0 1 0 175942316 36634624 8355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 8944 8355 170 317 0 8623 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 35776 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10497 /proc/meminfo: memFree=1670416/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=39412 CPUtime=342.21 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 9283 0 0 0 34209 12 0 0 25 0 1 0 175942316 40357888 9208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 9853 9208 170 317 0 9532 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 39412 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10497 /proc/meminfo: memFree=1667152/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=42392 CPUtime=402.19 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 10093 0 0 0 40206 13 0 0 25 0 1 0 175942316 43409408 10018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 10598 10018 170 317 0 10277 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 42392 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10497 /proc/meminfo: memFree=1664144/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=45852 CPUtime=462.17 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 10978 0 0 0 46203 14 0 0 25 0 1 0 175942316 46952448 10790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 11463 10790 170 317 0 11142 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 45852 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10497 /proc/meminfo: memFree=1661136/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=50104 CPUtime=522.16 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 12096 0 0 0 52200 16 0 0 25 0 1 0 175942316 51306496 11545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 12526 11545 170 317 0 12205 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 50104 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10497 /proc/meminfo: memFree=1657168/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=54164 CPUtime=582.14 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 13142 0 0 0 58196 18 0 0 25 0 1 0 175942316 55463936 12492 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 13541 12492 170 317 0 13220 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 54164 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10497 /proc/meminfo: memFree=1653776/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=57832 CPUtime=642.12 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 14106 0 0 0 64193 19 0 0 25 0 1 0 175942316 59219968 13357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 14458 13357 170 317 0 14137 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 57832 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10497 /proc/meminfo: memFree=1639696/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=72860 CPUtime=882.05 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 17981 0 0 0 88180 25 0 0 25 0 1 0 175942316 74608640 16836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 18215 16836 170 317 0 17894 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 72860 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10497 /proc/meminfo: memFree=1636560/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=76392 CPUtime=942.04 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 18916 0 0 0 94177 27 0 0 25 0 1 0 175942316 78225408 17639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 19098 17639 170 317 0 18777 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 76392 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10497 /proc/meminfo: memFree=1633424/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=79064 CPUtime=1002.02 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 19683 0 0 0 100174 28 0 0 25 0 1 0 175942316 80961536 18406 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 19766 18406 170 317 0 19445 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 79064 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10497 /proc/meminfo: memFree=1630224/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=82256 CPUtime=1062.01 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 20525 0 0 0 106172 29 0 0 25 0 1 0 175942316 84230144 19215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 20564 19215 170 317 0 20243 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 82256 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10497 /proc/meminfo: memFree=1627216/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=85024 CPUtime=1121.99 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 21301 0 0 0 112168 31 0 0 25 0 1 0 175942316 87064576 19958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 21256 19958 170 317 0 20935 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 85024 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10497 /proc/meminfo: memFree=1624336/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=87648 CPUtime=1181.97 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 22039 0 0 0 118165 32 0 0 25 0 1 0 175942316 89751552 20696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 21912 20696 170 317 0 21591 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 87648 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10499 /proc/meminfo: memFree=1621264/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=90536 CPUtime=1241.96 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 22840 0 0 0 124163 33 0 0 25 0 1 0 175942316 92708864 21431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 22634 21431 170 317 0 22313 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 90536 [startup+1302.3 s] /proc/loadavg: 1.03 1.00 1.00 2/78 10499 /proc/meminfo: memFree=1618256/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=93168 CPUtime=1301.94 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 23597 0 0 0 130160 34 0 0 25 0 1 0 175942316 95404032 22188 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 23292 22188 170 317 0 22971 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 93168 [startup+1362.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 10499 /proc/meminfo: memFree=1615888/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=95636 CPUtime=1361.92 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 24255 0 0 0 136157 35 0 0 25 0 1 0 175942316 97931264 22780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 23909 22780 170 317 0 23588 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 95636 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10499 /proc/meminfo: memFree=1613648/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=97904 CPUtime=1421.91 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 24839 0 0 0 142155 36 0 0 25 0 1 0 175942316 100253696 23331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 24476 23331 170 317 0 24155 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 97904 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10499 /proc/meminfo: memFree=1611600/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=99816 CPUtime=1481.89 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 25383 0 0 0 148152 37 0 0 25 0 1 0 175942316 102211584 23875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 24954 23875 170 317 0 24633 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 99816 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10499 /proc/meminfo: memFree=1609552/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=101784 CPUtime=1541.88 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 25901 0 0 0 154150 38 0 0 25 0 1 0 175942316 104226816 24360 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 25446 24360 170 317 0 25125 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 101784 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10499 /proc/meminfo: memFree=1607120/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=105556 CPUtime=1601.87 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 26953 0 0 0 160147 40 0 0 25 0 1 0 175942316 108089344 24988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 26389 24988 170 317 0 26068 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 105556 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10499 /proc/meminfo: memFree=1604752/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=110092 CPUtime=1661.85 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 28116 0 0 0 166144 41 0 0 25 0 1 0 175942316 112734208 25533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 27523 25533 170 317 0 27202 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 110092 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10499 /proc/meminfo: memFree=1602448/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=113352 CPUtime=1721.83 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 29005 0 0 0 172141 42 0 0 25 0 1 0 175942316 116072448 26161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 28338 26161 170 317 0 28017 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 113352 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10499 /proc/meminfo: memFree=1599824/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=116740 CPUtime=1781.81 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 29911 0 0 0 178138 43 0 0 25 0 1 0 175942316 119541760 26806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 29185 26806 170 317 0 28864 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 116740 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10499 /proc/meminfo: memFree=1599248/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=117128 CPUtime=1800.01 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 30054 0 0 0 179958 43 0 0 25 0 1 0 175942316 119939072 26949 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 29282 26949 170 317 0 28961 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 117128 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10499 /proc/meminfo: memFree=1599248/2055920 swapFree=4153812/4192956 [pid=10496] ppid=10494 vsize=117128 CPUtime=1800.01 /proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 30054 0 0 0 179958 43 0 0 25 0 1 0 175942316 119939072 26949 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10496/statm: 29282 26949 170 317 0 28961 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 117128 Child status: 0 Real time (s): 1800.54 CPU time (s): 1800.05 CPU user time (s): 1799.6 CPU system time (s): 0.45793 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 117128 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.6 system time used= 0.45793 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30070 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= 38479 runsolver used 2.23666 second user time and 4.34534 second system time The end
Begin job on node4 on Thu Apr 19 16:10:46 UTC 2007 IDJOB= 357443 IDBENCH= 2641 IDSOLVER= 172 FILE ID= node4/357443-1176999046 PBS_JOBID= 4630445 Free space on /tmp= 66473 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_9.opb COMMAND LINE= oree /tmp/evaluation/357443-1176999046/instance-357443-1176999046.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-357443-1176999046 -o ROOT/results/node4/solver-357443-1176999046 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357443-1176999046/instance-357443-1176999046.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 824c01e4395cf59ee9d4081be7b21301 RANDOM SEED= 504407095 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node4.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 : 5931.00 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: 1707440 kB Buffers: 37248 kB Cached: 227824 kB SwapCached: 2236 kB Active: 78804 kB Inactive: 210620 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1707440 kB SwapTotal: 4192956 kB SwapFree: 4153812 kB Dirty: 1520 kB Writeback: 0 kB Mapped: 31892 kB Slab: 44504 kB Committed_AS: 5291732 kB PageTables: 1824 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= 66473 MiB End job on node4 on Thu Apr 19 16:40:48 UTC 2007