Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1802.12 | 1802.85 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-grow15.opb |
MD5SUM | b4d90975042873aa16a95872bfad2ca2 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 17130 |
Total number of constraints | 900 |
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 | 900 |
Minimum length of a constraint | 22 |
Maximum length of a constraint | 491 |
Number of terms in the objective function | 1335 |
Biggest coefficient in the objective function | 3758096384 |
Number of bits for the biggest coefficient in the objective function | 32 |
Sum of the numbers in the objective function | 154618822482 |
Number of bits of the sum of numbers in the objective function | 38 |
Biggest number in a constraint | 878188741787648 |
Number of bits of the biggest number in a constraint | 50 |
Biggest sum of numbers in a constraint | 4550739094651140 |
Number of bits of the biggest sum of numbers | 53 |
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.49/0.50 c ...done 0.49/0.50 c #vars=17130 #constraints=1201 hasObjective=yes 0.49/0.57 c res. mode=mod 0.49/0.57 c VSIDS like heuristics 0.49/0.57 c complete search running 0.79/0.85 c restart after 401 decisions 0.89/0.93 c nbDecision=500 #constraints=1209 1.10/1.13 c restart after 801 decisions 1.19/1.27 c nbDecision=1000 #constraints=1209 1.59/1.65 c nbDecision=1500 #constraints=1275 1.69/1.72 c restart after 1601 decisions 1.99/2.00 c nbDecision=2000 #constraints=1278 2.29/2.36 c nbDecision=2500 #constraints=1306 2.69/2.71 c nbDecision=3000 #constraints=1339 2.79/2.85 c restart after 3201 decisions 2.99/3.06 c nbDecision=3500 #constraints=1346 3.39/3.41 c nbDecision=4000 #constraints=1370 3.69/3.76 c nbDecision=4500 #constraints=1417 4.09/4.14 c nbDecision=5000 #constraints=1492 4.49/4.51 c nbDecision=5500 #constraints=1521 4.79/4.86 c nbDecision=6000 #constraints=1560 5.09/5.15 c restart after 6401 decisions 5.19/5.23 c nbDecision=6500 #constraints=1579 5.49/5.59 c nbDecision=7000 #constraints=1596 5.89/5.94 c nbDecision=7500 #constraints=1621 6.28/6.31 c nbDecision=8000 #constraints=1677 6.59/6.65 c nbDecision=8500 #constraints=1690 6.99/7.01 c nbDecision=9000 #constraints=1739 7.29/7.37 c nbDecision=9500 #constraints=1787 7.70/7.74 c nbDecision=10000 #constraints=1833 7.99/8.09 c nbDecision=10500 #constraints=1867 8.39/8.49 c nbDecision=11000 #constraints=1934 8.89/8.92 c nbDecision=11500 #constraints=2020 9.19/9.29 c nbDecision=12000 #constraints=2065 9.69/9.70 c nbDecision=12500 #constraints=2136 9.90/9.92 c restart after 12801 decisions 9.99/10.07 c nbDecision=13000 #constraints=2155 10.39/10.43 c nbDecision=13500 #constraints=2172 10.69/10.77 c nbDecision=14000 #constraints=2183 11.09/11.17 c nbDecision=14500 #constraints=2250 11.59/11.65 c nbDecision=15000 #constraints=2343 11.89/12.00 c nbDecision=15500 #constraints=2354 12.29/12.37 c nbDecision=16000 #constraints=2395 12.69/12.74 c nbDecision=16500 #constraints=2427 13.09/13.14 c nbDecision=17000 #constraints=2472 13.49/13.55 c nbDecision=17500 #constraints=2522 13.89/13.93 c nbDecision=18000 #constraints=2558 14.29/14.34 c nbDecision=18500 #constraints=2593 14.68/14.76 c nbDecision=19000 #constraints=2661 15.18/15.21 c nbDecision=19500 #constraints=2714 15.58/15.61 c nbDecision=20000 #constraints=2761 15.98/16.01 c nbDecision=20500 #constraints=2807 16.39/16.48 c nbDecision=21000 #constraints=2879 16.78/16.87 c nbDecision=21500 #constraints=2904 17.18/17.27 c nbDecision=22000 #constraints=2932 17.68/17.70 c nbDecision=22500 #constraints=2974 18.18/18.20 c nbDecision=23000 #constraints=3040 19.19/19.25 c nbDecision=23500 #constraints=3287 20.68/20.71 c nbDecision=24000 #constraints=3569 22.08/22.18 c nbDecision=24500 #constraints=3801 22.68/22.78 c nbDecision=25000 #constraints=3853 24.08/24.16 c nbDecision=25500 #constraints=4036 24.49/24.53 c restart after 25601 decisions 24.79/24.85 c nbDecision=26000 #constraints=4086 25.19/25.27 c nbDecision=26500 #constraints=4116 25.59/25.68 c nbDecision=27000 #constraints=4144 26.19/26.28 c nbDecision=27500 #constraints=4232 26.68/26.70 c nbDecision=28000 #constraints=4267 27.08/27.12 c nbDecision=28500 #constraints=4297 27.88/27.98 c nbDecision=29000 #constraints=4395 28.28/28.37 c nbDecision=29500 #constraints=4408 28.88/29.00 c nbDecision=30000 #constraints=4507 29.38/29.41 c nbDecision=30500 #constraints=4538 29.78/29.83 c nbDecision=31000 #constraints=4560 30.28/30.32 c nbDecision=31500 #constraints=4611 30.79/30.83 c nbDecision=32000 #constraints=4646 31.18/31.25 c nbDecision=32500 #constraints=4668 31.68/31.77 c nbDecision=33000 #constraints=4707 32.28/32.33 c nbDecision=33500 #constraints=4748 32.78/32.86 c nbDecision=34000 #constraints=4798 33.28/33.37 c nbDecision=34500 #constraints=4841 33.88/33.99 c nbDecision=35000 #constraints=4884 34.48/34.55 c nbDecision=35500 #constraints=4923 34.98/35.09 c nbDecision=36000 #constraints=4956 35.48/35.55 c nbDecision=36500 #constraints=4967 36.08/36.13 c nbDecision=37000 #constraints=4999 36.68/36.74 c nbDecision=37500 #constraints=5048 37.38/37.44 c nbDecision=38000 #constraints=5120 37.98/38.00 c nbDecision=38500 #constraints=5165 38.58/38.64 c nbDecision=39000 #constraints=5204 39.18/39.24 c nbDecision=39500 #constraints=5251 39.78/39.87 c nbDecision=40000 #constraints=5288 40.38/40.46 c nbDecision=40500 #constraints=5333 40.98/41.01 c nbDecision=41000 #constraints=5373 41.48/41.58 c nbDecision=41500 #constraints=5409 42.08/42.10 c nbDecision=42000 #constraints=5424 42.48/42.58 c nbDecision=42500 #constraints=5439 43.18/43.24 c nbDecision=43000 #constraints=5484 43.68/43.74 c nbDecision=43500 #constraints=5513 44.37/44.41 c nbDecision=44000 #constraints=5570 44.98/45.08 c nbDecision=44500 #constraints=5617 45.67/45.80 c nbDecision=45000 #constraints=5712 46.78/46.88 c nbDecision=45500 #constraints=5904 47.67/47.72 c nbDecision=46000 #constraints=6014 48.77/48.81 c nbDecision=46500 #constraints=6190 49.27/49.33 c nbDecision=47000 #constraints=6216 49.87/49.92 c nbDecision=47500 #constraints=6260 50.67/50.75 c nbDecision=48000 #constraints=6336 51.38/51.48 c nbDecision=48500 #constraints=6394 51.98/52.08 c nbDecision=49000 #constraints=6423 52.78/52.81 c nbDecision=49500 #constraints=6465 53.68/53.77 c nbDecision=50000 #constraints=6514 54.47/54.53 c nbDecision=50500 #constraints=6563 55.27/55.39 c nbDecision=51000 #constraints=6625 55.67/55.74 c restart after 51201 decisions 56.08/56.11 c nbDecision=51500 #constraints=6643 56.47/56.54 c nbDecision=52000 #constraints=6661 57.08/57.14 c nbDecision=52500 #constraints=6697 57.97/58.00 c nbDecision=53000 #constraints=6786 58.67/58.72 c nbDecision=53500 #constraints=6849 59.37/59.44 c nbDecision=54000 #constraints=6886 60.07/60.16 c nbDecision=54500 #constraints=6941 60.67/60.75 c nbDecision=55000 #constraints=6973 61.27/61.33 c nbDecision=55500 #constraints=6991 61.77/61.88 c nbDecision=56000 #constraints=7018 62.37/62.47 c nbDecision=56500 #constraints=7032 62.97/63.01 c nbDecision=57000 #constraints=7044 63.57/63.66 c nbDecision=57500 #constraints=7101 64.17/64.21 c nbDecision=58000 #constraints=7111 64.67/64.78 c nbDecision=58500 #constraints=7129 65.37/65.40 c nbDecision=59000 #constraints=7141 66.17/66.23 c nbDecision=59500 #constraints=7205 66.87/66.99 c nbDecision=60000 #constraints=7248 67.67/67.74 c nbDecision=60500 #constraints=7288 68.47/68.52 c nbDecision=61000 #constraints=7329 69.07/69.14 c nbDecision=61500 #constraints=7359 69.67/69.78 c nbDecision=62000 #constraints=7399 70.37/70.42 c nbDecision=62500 #constraints=7417 71.07/71.19 c nbDecision=63000 #constraints=7462 71.87/71.99 c nbDecision=63500 #constraints=7513 72.86/72.96 c nbDecision=64000 #constraints=7594 73.67/73.73 c nbDecision=64500 #constraints=7643 74.46/74.52 c nbDecision=65000 #constraints=7674 75.26/75.36 c nbDecision=65500 #constraints=7721 76.06/76.12 c nbDecision=66000 #constraints=7771 76.87/76.96 c nbDecision=66500 #constraints=7801 77.56/77.68 c nbDecision=67000 #constraints=7833 78.36/78.49 c nbDecision=67500 #constraints=7868 79.16/79.23 c nbDecision=68000 #constraints=7903 79.96/80.09 c nbDecision=68500 #constraints=7950 81.07/81.14 c nbDecision=69000 #constraints=8043 81.87/81.90 c nbDecision=69500 #constraints=8070 82.57/82.62 c nbDecision=70000 #constraints=8097 83.37/83.43 c nbDecision=70500 #constraints=8127 84.37/84.42 c nbDecision=71000 #constraints=8180 85.07/85.13 c nbDecision=71500 #constraints=8196 85.96/86.01 c nbDecision=72000 #constraints=8228 87.06/87.14 c nbDecision=72500 #constraints=8360 87.96/88.03 c nbDecision=73000 #constraints=8404 88.76/88.85 c nbDecision=73500 #constraints=8448 89.66/89.71 c nbDecision=74000 #constraints=8470 90.36/90.42 c nbDecision=74500 #constraints=8484 91.16/91.26 c nbDecision=75000 #constraints=8521 92.26/92.35 c nbDecision=75500 #constraints=8579 93.16/93.23 c nbDecision=76000 #constraints=8610 94.06/94.15 c nbDecision=76500 #constraints=8642 95.06/95.10 c nbDecision=77000 #constraints=8672 95.86/95.96 c nbDecision=77500 #constraints=8710 96.76/96.88 c nbDecision=78000 #constraints=8746 97.45/97.56 c nbDecision=78500 #constraints=8766 98.25/98.39 c nbDecision=79000 #constraints=8788 99.05/99.15 c nbDecision=79500 #constraints=8818 99.96/100.04 c nbDecision=80000 #constraints=8850 100.86/100.92 c nbDecision=80500 #constraints=8882 101.66/101.76 c nbDecision=81000 #constraints=8911 102.56/102.64 c nbDecision=81500 #constraints=8957 103.26/103.36 c nbDecision=82000 #constraints=8991 104.16/104.23 c nbDecision=82500 #constraints=9020 105.05/105.16 c nbDecision=83000 #constraints=9055 105.85/105.94 c nbDecision=83500 #constraints=9072 106.66/106.70 c nbDecision=84000 #constraints=9088 107.25/107.38 c nbDecision=84500 #constraints=9100 108.15/108.23 c nbDecision=85000 #constraints=9118 109.06/109.15 c nbDecision=85500 #constraints=9151 109.96/110.01 c nbDecision=86000 #constraints=9176 110.76/110.82 c nbDecision=86500 #constraints=9194 111.56/111.61 c nbDecision=87000 #constraints=9225 112.45/112.58 c nbDecision=87500 #constraints=9262 113.35/113.49 c nbDecision=88000 #constraints=9292 114.36/114.41 c nbDecision=88500 #constraints=9323 115.25/115.34 c nbDecision=89000 #constraints=9366 116.15/116.22 c nbDecision=89500 #constraints=9390 116.95/117.09 c nbDecision=90000 #constraints=9415 117.85/117.91 c nbDecision=90500 #constraints=9432 118.65/118.78 c nbDecision=91000 #constraints=9463 119.65/119.72 c nbDecision=91500 #constraints=9511 120.45/120.53 c nbDecision=92000 #constraints=9521 121.35/121.40 c nbDecision=92500 #constraints=9533 122.25/122.40 c nbDecision=93000 #constraints=9582 123.15/123.20 c nbDecision=93500 #constraints=9603 123.85/123.99 c nbDecision=94000 #constraints=9619 124.55/124.68 c nbDecision=94500 #constraints=9636 125.25/125.39 c nbDecision=95000 #constraints=9652 126.14/126.20 c nbDecision=95500 #constraints=9675 126.84/126.92 c nbDecision=96000 #constraints=9695 127.55/127.66 c nbDecision=96500 #constraints=9717 128.34/128.50 c nbDecision=97000 #constraints=9743 129.14/129.22 c nbDecision=97500 #constraints=9762 129.85/129.92 c nbDecision=98000 #constraints=9781 130.75/130.90 c nbDecision=98500 #constraints=9802 131.85/131.99 c nbDecision=99000 #constraints=9831 133.15/133.27 c nbDecision=99500 #constraints=9907 134.65/134.70 c nbDecision=100000 #constraints=10006 135.74/135.88 c nbDecision=100500 #constraints=10077 137.35/137.49 c nbDecision=101000 #constraints=10160 138.84/138.97 c nbDecision=101500 #constraints=10243 139.84/139.95 c nbDecision=102000 #constraints=10260 140.44/140.59 c restart after 102401 decisions 140.94/141.01 c nbDecision=102500 #constraints=10275 141.44/141.51 c nbDecision=103000 #constraints=10297 142.04/142.11 c nbDecision=103500 #constraints=10314 143.04/143.13 c nbDecision=104000 #constraints=10335 143.84/143.98 c nbDecision=104500 #constraints=10399 144.74/144.81 c nbDecision=105000 #constraints=10426 145.94/146.08 c nbDecision=105500 #constraints=10471 147.14/147.23 c nbDecision=106000 #constraints=10520 148.04/148.18 c nbDecision=106500 #constraints=10547 149.55/149.61 c nbDecision=107000 #constraints=10621 150.54/150.64 c nbDecision=107500 #constraints=10673 152.33/152.41 c nbDecision=108000 #constraints=10796 154.03/154.17 c nbDecision=108500 #constraints=10900 155.05/155.17 c nbDecision=109000 #constraints=10940 156.54/156.61 c nbDecision=109500 #constraints=10987 157.44/157.54 c nbDecision=110000 #constraints=10997 158.54/158.68 c nbDecision=110500 #constraints=11034 159.54/159.69 c nbDecision=111000 #constraints=11070 160.74/160.85 c nbDecision=111500 #constraints=11089 162.24/162.38 c nbDecision=112000 #constraints=11138 163.44/163.52 c nbDecision=112500 #constraints=11165 164.64/164.71 c nbDecision=113000 #constraints=11219 165.54/165.64 c nbDecision=113500 #constraints=11237 166.63/166.76 c nbDecision=114000 #constraints=11257 167.93/168.03 c nbDecision=114500 #constraints=11297 169.03/169.19 c nbDecision=115000 #constraints=11335 170.03/170.12 c nbDecision=115500 #constraints=11357 171.03/171.15 c nbDecision=116000 #constraints=11364 172.73/172.86 c nbDecision=116500 #constraints=11414 173.63/173.74 c nbDecision=117000 #constraints=11417 174.63/174.74 c nbDecision=117500 #constraints=11439 176.33/176.48 c nbDecision=118000 #constraints=11510 177.33/177.46 c nbDecision=118500 #constraints=11524 178.23/178.37 c nbDecision=119000 #constraints=11535 179.13/179.27 c nbDecision=119500 #constraints=11544 179.93/180.09 c nbDecision=120000 #constraints=11564 181.43/181.52 c nbDecision=120500 #constraints=11602 182.43/182.54 c nbDecision=121000 #constraints=11624 183.63/183.77 c nbDecision=121500 #constraints=11668 184.63/184.72 c nbDecision=122000 #constraints=11692 185.62/185.71 c nbDecision=122500 #constraints=11701 186.62/186.76 c nbDecision=123000 #constraints=11726 187.82/187.93 c nbDecision=123500 #constraints=11765 188.83/188.97 c nbDecision=124000 #constraints=11801 190.03/190.17 c nbDecision=124500 #constraints=11817 191.63/191.71 c nbDecision=125000 #constraints=11901 193.33/193.49 c nbDecision=125500 #constraints=11985 195.83/195.91 c nbDecision=126000 #constraints=12111 196.93/197.06 c nbDecision=126500 #constraints=12147 197.83/197.98 c nbDecision=127000 #constraints=12159 198.73/198.88 c nbDecision=127500 #constraints=12183 199.63/199.74 c nbDecision=128000 #constraints=12199 200.83/200.94 c nbDecision=128500 #constraints=12232 201.82/201.97 c nbDecision=129000 #constraints=12250 202.72/202.81 c nbDecision=129500 #constraints=12258 203.92/204.03 c nbDecision=130000 #constraints=12285 205.12/205.25 c nbDecision=130500 #constraints=12329 207.90/208.09 c nbDecision=131000 #constraints=12499 210.39/210.55 c nbDecision=131500 #constraints=12596 211.59/211.78 c nbDecision=132000 #constraints=12631 213.88/214.08 c nbDecision=132500 #constraints=12722 214.88/215.08 c nbDecision=133000 #constraints=12738 215.77/215.97 c nbDecision=133500 #constraints=12753 217.17/217.35 c nbDecision=134000 #constraints=12785 218.47/218.65 c nbDecision=134500 #constraints=12806 219.47/219.61 c nbDecision=135000 #constraints=12822 220.77/220.95 c nbDecision=135500 #constraints=12860 221.85/222.07 c nbDecision=136000 #constraints=12881 223.35/223.56 c nbDecision=136500 #constraints=12917 224.65/224.88 c nbDecision=137000 #constraints=12957 225.85/226.02 c nbDecision=137500 #constraints=12982 228.84/229.01 c nbDecision=138000 #constraints=13119 229.75/229.99 c nbDecision=138500 #constraints=13131 231.13/231.34 c nbDecision=139000 #constraints=13154 232.73/232.92 c nbDecision=139500 #constraints=13185 234.63/234.81 c nbDecision=140000 #constraints=13243 236.03/236.27 c nbDecision=140500 #constraints=13259 239.32/239.51 c nbDecision=141000 #constraints=13416 240.12/240.39 c nbDecision=141500 #constraints=13562 241.61/241.88 c nbDecision=142000 #constraints=13637 243.21/243.41 c nbDecision=142500 #constraints=13655 245.12/245.37 c nbDecision=143000 #constraints=13693 246.41/246.62 c nbDecision=143500 #constraints=13707 247.91/248.15 c nbDecision=144000 #constraints=13726 249.31/249.52 c nbDecision=144500 #constraints=13750 250.70/250.93 c nbDecision=145000 #constraints=13771 251.90/252.15 c nbDecision=145500 #constraints=13794 253.00/253.23 c nbDecision=146000 #constraints=13816 254.90/255.14 c nbDecision=146500 #constraints=13852 256.20/256.46 c nbDecision=147000 #constraints=13882 258.90/259.13 c nbDecision=147500 #constraints=14000 260.71/260.93 c nbDecision=148000 #constraints=14024 262.00/262.23 c nbDecision=148500 #constraints=14051 263.10/263.36 c nbDecision=149000 #constraints=14057 264.20/264.40 c nbDecision=149500 #constraints=14066 265.20/265.49 c nbDecision=150000 #constraints=14079 266.20/266.48 c nbDecision=150500 #constraints=14081 267.30/267.53 c nbDecision=151000 #constraints=14097 268.60/268.81 c nbDecision=151500 #constraints=14110 270.30/270.52 c nbDecision=152000 #constraints=14144 272.20/272.40 c nbDecision=152500 #constraints=14177 273.50/273.73 c nbDecision=153000 #constraints=14195 274.80/275.06 c nbDecision=153500 #constraints=14212 276.00/276.29 c nbDecision=154000 #constraints=14230 277.20/277.48 c nbDecision=154500 #constraints=14245 279.20/279.48 c nbDecision=155000 #constraints=14281 281.40/281.68 c nbDecision=155500 #constraints=14325 283.19/283.40 c nbDecision=156000 #constraints=14363 284.39/284.69 c nbDecision=156500 #constraints=14396 286.09/286.34 c nbDecision=157000 #constraints=14435 287.69/287.95 c nbDecision=157500 #constraints=14471 289.29/289.59 c nbDecision=158000 #constraints=14515 290.79/291.07 c nbDecision=158500 #constraints=14552 292.39/292.62 c nbDecision=159000 #constraints=14595 293.78/294.08 c nbDecision=159500 #constraints=14636 294.98/295.26 c nbDecision=160000 #constraints=14667 296.38/296.66 c nbDecision=160500 #constraints=14696 299.28/299.57 c nbDecision=161000 #constraints=14792 302.29/302.53 c nbDecision=161500 #constraints=14877 303.49/303.73 c nbDecision=162000 #constraints=14906 304.99/305.23 c nbDecision=162500 #constraints=14930 306.59/306.81 c nbDecision=163000 #constraints=14970 311.58/311.83 c nbDecision=163500 #constraints=15067 313.18/313.41 c nbDecision=164000 #constraints=15082 315.18/315.40 c nbDecision=164500 #constraints=15187 317.78/318.06 c nbDecision=165000 #constraints=15296 321.18/321.41 c nbDecision=165500 #constraints=15452 322.47/322.72 c nbDecision=166000 #constraints=15473 325.39/325.63 c nbDecision=166500 #constraints=15526 326.98/327.22 c nbDecision=167000 #constraints=15551 328.48/328.72 c nbDecision=167500 #constraints=15608 329.88/330.10 c nbDecision=168000 #constraints=15634 332.87/333.15 c nbDecision=168500 #constraints=15740 334.08/334.36 c nbDecision=169000 #constraints=15756 336.47/336.79 c nbDecision=169500 #constraints=15792 338.07/338.39 c nbDecision=170000 #constraints=15807 339.27/339.51 c nbDecision=170500 #constraints=15823 342.07/342.36 c nbDecision=171000 #constraints=15874 343.27/343.54 c nbDecision=171500 #constraints=15900 345.87/346.16 c nbDecision=172000 #constraints=15935 348.27/348.56 c nbDecision=172500 #constraints=15966 349.27/349.58 c nbDecision=173000 #constraints=15969 350.76/351.01 c nbDecision=173500 #constraints=15990 353.77/354.04 c nbDecision=174000 #constraints=16037 355.17/355.44 c nbDecision=174500 #constraints=16070 357.67/357.97 c nbDecision=175000 #constraints=16109 358.77/359.05 c nbDecision=175500 #constraints=16114 361.47/361.73 c nbDecision=176000 #constraints=16156 362.57/362.81 c nbDecision=176500 #constraints=16163 363.67/363.92 c nbDecision=177000 #constraints=16169 366.07/366.37 c nbDecision=177500 #constraints=16209 367.76/368.08 c nbDecision=178000 #constraints=16234 369.76/370.10 c nbDecision=178500 #constraints=16276 371.86/372.19 c nbDecision=179000 #constraints=16327 374.06/374.37 c nbDecision=179500 #constraints=16371 375.36/375.69 c nbDecision=180000 #constraints=16381 377.16/377.41 c nbDecision=180500 #constraints=16416 378.56/378.86 c nbDecision=181000 #constraints=16433 379.56/379.89 c nbDecision=181500 #constraints=16436 382.16/382.48 c nbDecision=182000 #constraints=16478 383.76/384.09 c nbDecision=182500 #constraints=16503 386.75/387.05 c nbDecision=183000 #constraints=16558 388.65/388.95 c nbDecision=183500 #constraints=16604 390.75/391.07 c nbDecision=184000 #constraints=16655 392.76/393.03 c nbDecision=184500 #constraints=16677 394.46/394.74 c nbDecision=185000 #constraints=16690 395.56/395.89 c nbDecision=185500 #constraints=16705 397.66/397.93 c nbDecision=186000 #constraints=16735 399.76/400.08 c nbDecision=186500 #constraints=16762 403.55/403.85 c nbDecision=187000 #constraints=16834 406.95/407.26 c nbDecision=187500 #constraints=16887 409.25/409.53 c nbDecision=188000 #constraints=16922 411.95/412.21 c nbDecision=188500 #constraints=16959 414.14/414.42 c nbDecision=189000 #constraints=16992 417.65/417.90 c nbDecision=189500 #constraints=17045 420.24/420.59 c nbDecision=190000 #constraints=17083 422.24/422.58 c nbDecision=190500 #constraints=17117 424.14/424.42 c nbDecision=191000 #constraints=17141 427.04/427.36 c nbDecision=191500 #constraints=17184 429.35/429.65 c nbDecision=192000 #constraints=17223 431.54/431.86 c nbDecision=192500 #constraints=17252 433.54/433.89 c nbDecision=193000 #constraints=17279 435.64/435.93 c nbDecision=193500 #constraints=17305 437.84/438.17 c nbDecision=194000 #constraints=17341 440.54/440.82 c nbDecision=194500 #constraints=17379 442.34/442.66 c nbDecision=195000 #constraints=17401 444.44/444.74 c nbDecision=195500 #constraints=17431 446.04/446.39 c nbDecision=196000 #constraints=17452 448.93/449.25 c nbDecision=196500 #constraints=17489 450.63/450.98 c nbDecision=197000 #constraints=17508 452.64/452.99 c nbDecision=197500 #constraints=17549 454.14/454.46 c nbDecision=198000 #constraints=17559 456.64/456.99 c nbDecision=198500 #constraints=17601 458.44/458.71 c nbDecision=199000 #constraints=17617 460.24/460.53 c nbDecision=199500 #constraints=17647 462.33/462.69 c nbDecision=200000 #constraints=17692 464.23/464.53 c nbDecision=200500 #constraints=17731 466.03/466.31 c nbDecision=201000 #constraints=17772 467.43/467.80 c nbDecision=201500 #constraints=17792 469.23/469.55 c nbDecision=202000 #constraints=17833 472.23/472.57 c nbDecision=202500 #constraints=17873 475.62/475.92 c nbDecision=203000 #constraints=17925 477.73/478.05 c nbDecision=203500 #constraints=17963 480.53/480.84 c nbDecision=204000 #constraints=18005 482.53/482.86 c nbDecision=204500 #constraints=18030 484.03/484.33 c restart after 204801 decisions 485.23/485.50 c nbDecision=205000 #constraints=18058 485.83/486.17 c nbDecision=205500 #constraints=18078 487.12/487.44 c nbDecision=206000 #constraints=18090 489.22/489.51 c nbDecision=206500 #constraints=18157 491.92/492.23 c nbDecision=207000 #constraints=18213 495.52/495.85 c nbDecision=207500 #constraints=18284 496.12/496.46 c nbDecision=208000 #constraints=18316 503.81/504.13 c nbDecision=208500 #constraints=18393 519.11/519.42 c nbDecision=209000 #constraints=18588 533.51/533.87 c nbDecision=209500 #constraints=18785 534.00/534.34 c nbDecision=210000 #constraints=18794 535.90/536.26 c nbDecision=210500 #constraints=18814 538.71/539.07 c nbDecision=211000 #constraints=18846 546.80/547.10 c nbDecision=211500 #constraints=18938 549.40/549.72 c nbDecision=212000 #constraints=18967 550.60/550.97 c nbDecision=212500 #constraints=18984 553.60/553.91 c nbDecision=213000 #constraints=19023 555.40/555.70 c nbDecision=213500 #constraints=19042 556.40/556.71 c nbDecision=214000 #constraints=19060 564.70/565.09 c nbDecision=214500 #constraints=19185 571.19/571.50 c nbDecision=215000 #constraints=19302 572.89/573.21 c nbDecision=215500 #constraints=19336 575.09/575.45 c nbDecision=216000 #constraints=19371 580.19/580.59 c nbDecision=216500 #constraints=19452 592.49/592.86 c nbDecision=217000 #constraints=19594 594.59/595.00 c nbDecision=217500 #constraints=19634 601.08/601.45 c nbDecision=218000 #constraints=19711 603.59/603.92 c nbDecision=218500 #constraints=19762 605.58/605.91 c nbDecision=219000 #constraints=19797 607.88/608.24 c nbDecision=219500 #constraints=19846 610.08/610.50 c nbDecision=220000 #constraints=19886 612.38/612.75 c nbDecision=220500 #constraints=19923 614.28/614.69 c nbDecision=221000 #constraints=19952 617.58/617.97 c nbDecision=221500 #constraints=19999 620.98/621.37 c nbDecision=222000 #constraints=20059 622.38/622.76 c nbDecision=222500 #constraints=20089 623.78/624.15 c nbDecision=223000 #constraints=20114 625.58/625.95 c nbDecision=223500 #constraints=20146 628.08/628.40 c nbDecision=224000 #constraints=20171 630.98/631.35 c nbDecision=224500 #constraints=20233 633.28/633.64 c nbDecision=225000 #constraints=20266 636.47/636.84 c nbDecision=225500 #constraints=20306 639.37/639.72 c nbDecision=226000 #constraints=20343 641.77/642.18 c nbDecision=226500 #constraints=20388 645.46/645.84 c nbDecision=227000 #constraints=20431 648.57/648.99 c nbDecision=227500 #constraints=20465 650.46/650.89 c nbDecision=228000 #constraints=20489 652.86/653.20 c nbDecision=228500 #constraints=20528 655.36/655.74 c nbDecision=229000 #constraints=20572 657.56/657.93 c nbDecision=229500 #constraints=20589 660.46/660.88 c nbDecision=230000 #constraints=20624 663.17/663.56 c nbDecision=230500 #constraints=20661 665.66/666.09 c nbDecision=231000 #constraints=20683 668.06/668.44 c nbDecision=231500 #constraints=20710 670.26/670.69 c nbDecision=232000 #constraints=20746 672.26/672.69 c nbDecision=232500 #constraints=20773 674.56/674.97 c nbDecision=233000 #constraints=20801 677.46/677.88 c nbDecision=233500 #constraints=20836 678.76/679.19 c nbDecision=234000 #constraints=20848 682.26/682.63 c nbDecision=234500 #constraints=20898 684.75/685.14 c nbDecision=235000 #constraints=20935 687.55/687.96 c nbDecision=235500 #constraints=20961 690.75/691.13 c nbDecision=236000 #constraints=21001 693.55/693.96 c nbDecision=236500 #constraints=21042 697.25/697.65 c nbDecision=237000 #constraints=21093 699.65/700.04 c nbDecision=237500 #constraints=21125 703.95/704.38 c nbDecision=238000 #constraints=21170 707.05/707.49 c nbDecision=238500 #constraints=21209 709.64/710.07 c nbDecision=239000 #constraints=21248 712.94/713.33 c nbDecision=239500 #constraints=21273 715.85/716.26 c nbDecision=240000 #constraints=21299 717.85/718.30 c nbDecision=240500 #constraints=21315 719.35/719.78 c nbDecision=241000 #constraints=21331 721.54/721.90 c nbDecision=241500 #constraints=21363 724.34/724.76 c nbDecision=242000 #constraints=21388 727.04/727.49 c nbDecision=242500 #constraints=21418 730.14/730.53 c nbDecision=243000 #constraints=21455 732.84/733.26 c nbDecision=243500 #constraints=21472 735.54/735.92 c nbDecision=244000 #constraints=21496 738.53/738.90 c nbDecision=244500 #constraints=21519 740.53/740.95 c nbDecision=245000 #constraints=21535 743.43/743.83 c nbDecision=245500 #constraints=21558 746.33/746.72 c nbDecision=246000 #constraints=21614 749.03/749.44 c nbDecision=246500 #constraints=21655 752.43/752.89 c nbDecision=247000 #constraints=21702 755.53/755.91 c nbDecision=247500 #constraints=21742 758.42/758.80 c nbDecision=248000 #constraints=21769 761.03/761.45 c nbDecision=248500 #constraints=21798 764.03/764.40 c nbDecision=249000 #constraints=21832 766.93/767.32 c nbDecision=249500 #constraints=21863 769.43/769.84 c nbDecision=250000 #constraints=21883 772.12/772.56 c nbDecision=250500 #constraints=21920 774.72/775.19 c nbDecision=251000 #constraints=21953 777.42/777.83 c nbDecision=251500 #constraints=21977 779.82/780.23 c nbDecision=252000 #constraints=22004 781.82/782.29 c nbDecision=252500 #constraints=22024 784.02/784.46 c nbDecision=253000 #constraints=22045 786.32/786.73 c nbDecision=253500 #constraints=22071 788.81/789.22 c nbDecision=254000 #constraints=22105 794.11/794.58 c nbDecision=254500 #constraints=22158 796.71/797.17 c nbDecision=255000 #constraints=22191 800.21/800.66 c nbDecision=255500 #constraints=22236 802.51/803.00 c nbDecision=256000 #constraints=22263 804.71/805.11 c nbDecision=256500 #constraints=22293 807.81/808.27 c nbDecision=257000 #constraints=22326 810.41/810.86 c nbDecision=257500 #constraints=22350 812.81/813.20 c nbDecision=258000 #constraints=22376 814.71/815.10 c nbDecision=258500 #constraints=22382 820.11/820.54 c nbDecision=259000 #constraints=22439 823.41/823.83 c nbDecision=259500 #constraints=22476 825.91/826.34 c nbDecision=260000 #constraints=22490 828.91/829.40 c nbDecision=260500 #constraints=22520 833.31/833.75 c nbDecision=261000 #constraints=22565 835.41/835.85 c nbDecision=261500 #constraints=22583 838.10/838.56 c nbDecision=262000 #constraints=22612 840.30/840.74 c nbDecision=262500 #constraints=22625 843.20/843.62 c nbDecision=263000 #constraints=22668 845.30/845.77 c nbDecision=263500 #constraints=22689 848.10/848.59 c nbDecision=264000 #constraints=22713 850.60/851.03 c nbDecision=264500 #constraints=22735 852.89/853.39 c nbDecision=265000 #constraints=22752 856.99/857.46 c nbDecision=265500 #constraints=22787 860.19/860.66 c nbDecision=266000 #constraints=22816 863.09/863.54 c nbDecision=266500 #constraints=22833 865.79/866.25 c nbDecision=267000 #constraints=22852 868.99/869.47 c nbDecision=267500 #constraints=22882 871.19/871.67 c nbDecision=268000 #constraints=22905 873.49/873.95 c nbDecision=268500 #constraints=22932 875.69/876.17 c nbDecision=269000 #constraints=22944 878.69/879.13 c nbDecision=269500 #constraints=22974 880.79/881.27 c nbDecision=270000 #constraints=23002 883.49/883.98 c nbDecision=270500 #constraints=23022 885.99/886.43 c nbDecision=271000 #constraints=23045 888.39/888.84 c nbDecision=271500 #constraints=23070 890.98/891.46 c nbDecision=272000 #constraints=23092 894.38/894.81 c nbDecision=272500 #constraints=23117 897.18/897.68 c nbDecision=273000 #constraints=23138 899.68/900.18 c nbDecision=273500 #constraints=23155 902.18/902.63 c nbDecision=274000 #constraints=23175 904.98/905.43 c nbDecision=274500 #constraints=23203 907.57/908.07 c nbDecision=275000 #constraints=23226 909.57/910.08 c nbDecision=275500 #constraints=23235 911.68/912.16 c nbDecision=276000 #constraints=23251 914.38/914.80 c nbDecision=276500 #constraints=23275 915.88/916.38 c nbDecision=277000 #constraints=23294 918.68/919.16 c nbDecision=277500 #constraints=23321 920.88/921.35 c nbDecision=278000 #constraints=23338 923.17/923.61 c nbDecision=278500 #constraints=23356 925.47/925.92 c nbDecision=279000 #constraints=23379 927.77/928.25 c nbDecision=279500 #constraints=23404 930.57/931.07 c nbDecision=280000 #constraints=23444 933.17/933.66 c nbDecision=280500 #constraints=23468 934.97/935.44 c nbDecision=281000 #constraints=23483 937.37/937.89 c nbDecision=281500 #constraints=23512 939.97/940.43 c nbDecision=282000 #constraints=23531 942.27/942.77 c nbDecision=282500 #constraints=23581 944.36/944.80 c nbDecision=283000 #constraints=23595 946.86/947.35 c nbDecision=283500 #constraints=23623 948.77/949.29 c nbDecision=284000 #constraints=23652 951.07/951.56 c nbDecision=284500 #constraints=23670 954.86/955.33 c nbDecision=285000 #constraints=23717 957.06/957.51 c nbDecision=285500 #constraints=23743 959.36/959.83 c nbDecision=286000 #constraints=23758 962.06/962.52 c nbDecision=286500 #constraints=23786 964.26/964.77 c nbDecision=287000 #constraints=23800 967.15/967.67 c nbDecision=287500 #constraints=23818 969.76/970.24 c nbDecision=288000 #constraints=23838 971.55/972.03 c nbDecision=288500 #constraints=23861 973.85/974.37 c nbDecision=289000 #constraints=23894 976.35/976.85 c nbDecision=289500 #constraints=23908 978.75/979.24 c nbDecision=290000 #constraints=23922 980.85/981.30 c nbDecision=290500 #constraints=23928 983.66/984.12 c nbDecision=291000 #constraints=23956 985.75/986.22 c nbDecision=291500 #constraints=23969 987.75/988.27 c nbDecision=292000 #constraints=23988 990.35/990.84 c nbDecision=292500 #constraints=24012 992.75/993.24 c nbDecision=293000 #constraints=24031 994.95/995.44 c nbDecision=293500 #constraints=24056 997.54/998.08 c nbDecision=294000 #constraints=24085 1000.24/1000.79 c nbDecision=294500 #constraints=24102 1002.65/1003.14 c nbDecision=295000 #constraints=24111 1005.44/1005.98 c nbDecision=295500 #constraints=24141 1009.84/1010.38 c nbDecision=296000 #constraints=24173 1012.74/1013.27 c nbDecision=296500 #constraints=24200 1014.84/1015.39 c nbDecision=297000 #constraints=24212 1019.94/1020.44 c nbDecision=297500 #constraints=24254 1022.73/1023.23 c nbDecision=298000 #constraints=24269 1027.03/1027.53 c nbDecision=298500 #constraints=24304 1029.84/1030.35 c nbDecision=299000 #constraints=24324 1031.94/1032.45 c nbDecision=299500 #constraints=24336 1034.44/1034.92 c nbDecision=300000 #constraints=24351 1036.94/1037.41 c nbDecision=300500 #constraints=24368 1041.03/1041.55 c nbDecision=301000 #constraints=24410 1044.23/1044.73 c nbDecision=301500 #constraints=24430 1047.43/1047.93 c nbDecision=302000 #constraints=24460 1050.43/1050.96 c nbDecision=302500 #constraints=24492 1053.02/1053.59 c nbDecision=303000 #constraints=24510 1056.12/1056.65 c nbDecision=303500 #constraints=24541 1059.02/1059.51 c nbDecision=304000 #constraints=24556 1062.02/1062.52 c nbDecision=304500 #constraints=24584 1064.43/1064.97 c nbDecision=305000 #constraints=24599 1067.33/1067.80 c nbDecision=305500 #constraints=24622 1070.33/1070.83 c nbDecision=306000 #constraints=24649 1073.22/1073.79 c nbDecision=306500 #constraints=24667 1075.72/1076.27 c nbDecision=307000 #constraints=24677 1078.42/1078.99 c nbDecision=307500 #constraints=24688 1081.22/1081.72 c nbDecision=308000 #constraints=24700 1084.22/1084.75 c nbDecision=308500 #constraints=24718 1089.71/1090.24 c nbDecision=309000 #constraints=24765 1093.01/1093.54 c nbDecision=309500 #constraints=24789 1096.41/1096.92 c nbDecision=310000 #constraints=24822 1099.61/1100.15 c nbDecision=310500 #constraints=24843 1102.61/1103.11 c nbDecision=311000 #constraints=24861 1105.31/1105.83 c nbDecision=311500 #constraints=24874 1109.21/1109.79 c nbDecision=312000 #constraints=24915 1112.61/1113.12 c nbDecision=312500 #constraints=24938 1115.80/1116.38 c nbDecision=313000 #constraints=24961 1118.30/1118.84 c nbDecision=313500 #constraints=24983 1120.60/1121.16 c nbDecision=314000 #constraints=24997 1123.50/1124.06 c nbDecision=314500 #constraints=25016 1126.70/1127.24 c nbDecision=315000 #constraints=25038 1128.90/1129.45 c nbDecision=315500 #constraints=25058 1131.71/1132.22 c nbDecision=316000 #constraints=25073 1134.00/1134.51 c nbDecision=316500 #constraints=25091 1136.60/1137.17 c nbDecision=317000 #constraints=25109 1139.50/1140.04 c nbDecision=317500 #constraints=25128 1141.90/1142.43 c nbDecision=318000 #constraints=25147 1144.80/1145.32 c nbDecision=318500 #constraints=25168 1147.40/1147.99 c nbDecision=319000 #constraints=25184 1150.20/1150.77 c nbDecision=319500 #constraints=25203 1152.99/1153.51 c nbDecision=320000 #constraints=25219 1155.99/1156.56 c nbDecision=320500 #constraints=25244 1158.90/1159.47 c nbDecision=321000 #constraints=25267 1161.79/1162.31 c nbDecision=321500 #constraints=25294 1164.49/1165.07 c nbDecision=322000 #constraints=25323 1166.89/1167.44 c nbDecision=322500 #constraints=25332 1169.59/1170.16 c nbDecision=323000 #constraints=25354 1171.79/1172.34 c nbDecision=323500 #constraints=25364 1173.48/1174.05 c nbDecision=324000 #constraints=25370 1176.68/1177.29 c nbDecision=324500 #constraints=25397 1179.08/1179.64 c nbDecision=325000 #constraints=25407 1181.68/1182.20 c nbDecision=325500 #constraints=25423 1184.48/1185.06 c nbDecision=326000 #constraints=25443 1186.98/1187.55 c nbDecision=326500 #constraints=25453 1189.78/1190.39 c nbDecision=327000 #constraints=25468 1192.78/1193.38 c nbDecision=327500 #constraints=25497 1195.37/1195.99 c nbDecision=328000 #constraints=25522 1198.67/1199.26 c nbDecision=328500 #constraints=25541 1201.68/1202.25 c nbDecision=329000 #constraints=25563 1204.27/1204.86 c nbDecision=329500 #constraints=25576 1205.87/1206.40 c nbDecision=330000 #constraints=25581 1208.68/1209.25 c nbDecision=330500 #constraints=25616 1211.28/1211.88 c nbDecision=331000 #constraints=25625 1214.98/1215.56 c nbDecision=331500 #constraints=25651 1217.97/1218.57 c nbDecision=332000 #constraints=25670 1221.87/1222.41 c nbDecision=332500 #constraints=25706 1224.37/1224.95 c nbDecision=333000 #constraints=25726 1227.47/1228.03 c nbDecision=333500 #constraints=25749 1230.27/1230.85 c nbDecision=334000 #constraints=25769 1233.26/1233.83 c nbDecision=334500 #constraints=25785 1235.96/1236.59 c nbDecision=335000 #constraints=25807 1238.66/1239.21 c nbDecision=335500 #constraints=25825 1242.06/1242.61 c nbDecision=336000 #constraints=25850 1244.56/1245.14 c nbDecision=336500 #constraints=25865 1247.16/1247.73 c nbDecision=337000 #constraints=25878 1250.46/1251.05 c nbDecision=337500 #constraints=25908 1253.16/1253.71 c nbDecision=338000 #constraints=25922 1257.26/1257.80 c nbDecision=338500 #constraints=25949 1260.66/1261.26 c nbDecision=339000 #constraints=25982 1263.26/1263.84 c nbDecision=339500 #constraints=25992 1266.26/1266.81 c nbDecision=340000 #constraints=26009 1269.16/1269.76 c nbDecision=340500 #constraints=26037 1272.36/1272.99 c nbDecision=341000 #constraints=26062 1275.46/1276.03 c nbDecision=341500 #constraints=26084 1278.25/1278.83 c nbDecision=342000 #constraints=26099 1280.65/1281.27 c nbDecision=342500 #constraints=26108 1283.25/1283.82 c nbDecision=343000 #constraints=26120 1285.95/1286.58 c nbDecision=343500 #constraints=26134 1289.65/1290.21 c nbDecision=344000 #constraints=26164 1292.34/1292.90 c nbDecision=344500 #constraints=26175 1295.34/1295.92 c nbDecision=345000 #constraints=26195 1298.24/1298.84 c nbDecision=345500 #constraints=26216 1301.54/1302.19 c nbDecision=346000 #constraints=26246 1303.84/1304.40 c nbDecision=346500 #constraints=26256 1306.14/1306.73 c nbDecision=347000 #constraints=26274 1308.54/1309.17 c nbDecision=347500 #constraints=26289 1311.44/1312.02 c nbDecision=348000 #constraints=26301 1314.54/1315.13 c nbDecision=348500 #constraints=26323 1317.44/1318.04 c nbDecision=349000 #constraints=26336 1320.24/1320.87 c nbDecision=349500 #constraints=26346 1323.64/1324.24 c nbDecision=350000 #constraints=26370 1327.04/1327.70 c nbDecision=350500 #constraints=26391 1330.73/1331.36 c nbDecision=351000 #constraints=26416 1335.93/1336.52 c nbDecision=351500 #constraints=26463 1340.03/1340.70 c nbDecision=352000 #constraints=26489 1343.32/1343.92 c nbDecision=352500 #constraints=26508 1347.13/1347.75 c nbDecision=353000 #constraints=26536 1350.63/1351.26 c nbDecision=353500 #constraints=26569 1353.93/1354.54 c nbDecision=354000 #constraints=26590 1356.83/1357.42 c nbDecision=354500 #constraints=26606 1359.52/1360.14 c nbDecision=355000 #constraints=26622 1362.12/1362.77 c nbDecision=355500 #constraints=26630 1365.72/1366.37 c nbDecision=356000 #constraints=26654 1368.42/1369.08 c nbDecision=356500 #constraints=26665 1371.21/1371.82 c nbDecision=357000 #constraints=26694 1374.11/1374.70 c nbDecision=357500 #constraints=26714 1377.22/1377.86 c nbDecision=358000 #constraints=26745 1381.32/1381.96 c nbDecision=358500 #constraints=26786 1384.52/1385.10 c nbDecision=359000 #constraints=26813 1387.11/1387.74 c nbDecision=359500 #constraints=26832 1389.71/1390.32 c nbDecision=360000 #constraints=26843 1392.71/1393.31 c nbDecision=360500 #constraints=26859 1396.01/1396.63 c nbDecision=361000 #constraints=26877 1399.31/1399.99 c nbDecision=361500 #constraints=26893 1402.61/1403.21 c nbDecision=362000 #constraints=26918 1411.60/1412.26 c nbDecision=362500 #constraints=26993 1416.10/1416.79 c nbDecision=363000 #constraints=27021 1418.00/1418.62 c nbDecision=363500 #constraints=27031 1419.80/1420.40 c nbDecision=364000 #constraints=27037 1423.39/1424.09 c nbDecision=364500 #constraints=27061 1433.30/1433.90 c nbDecision=365000 #constraints=27144 1436.60/1437.20 c nbDecision=365500 #constraints=27163 1440.00/1440.69 c nbDecision=366000 #constraints=27187 1443.79/1444.44 c nbDecision=366500 #constraints=27216 1448.39/1449.03 c nbDecision=367000 #constraints=27253 1452.19/1452.85 c nbDecision=367500 #constraints=27271 1456.59/1457.27 c nbDecision=368000 #constraints=27294 1460.19/1460.85 c nbDecision=368500 #constraints=27314 1463.78/1464.42 c nbDecision=369000 #constraints=27331 1466.58/1467.25 c nbDecision=369500 #constraints=27354 1469.18/1469.89 c nbDecision=370000 #constraints=27370 1471.98/1472.67 c nbDecision=370500 #constraints=27382 1476.18/1476.82 c nbDecision=371000 #constraints=27412 1479.38/1480.08 c nbDecision=371500 #constraints=27433 1481.78/1482.49 c nbDecision=372000 #constraints=27466 1484.97/1485.66 c nbDecision=372500 #constraints=27486 1487.68/1488.35 c nbDecision=373000 #constraints=27497 1491.18/1491.80 c nbDecision=373500 #constraints=27530 1494.48/1495.17 c nbDecision=374000 #constraints=27555 1497.48/1498.19 c nbDecision=374500 #constraints=27575 1500.38/1501.04 c nbDecision=375000 #constraints=27590 1503.08/1503.72 c nbDecision=375500 #constraints=27603 1505.87/1506.54 c nbDecision=376000 #constraints=27617 1508.97/1509.61 c nbDecision=376500 #constraints=27633 1511.07/1511.71 c nbDecision=377000 #constraints=27650 1513.37/1514.10 c nbDecision=377500 #constraints=27678 1516.87/1517.54 c nbDecision=378000 #constraints=27697 1519.47/1520.19 c nbDecision=378500 #constraints=27709 1522.37/1523.04 c nbDecision=379000 #constraints=27722 1524.97/1525.69 c nbDecision=379500 #constraints=27735 1527.36/1528.10 c nbDecision=380000 #constraints=27742 1530.16/1530.80 c nbDecision=380500 #constraints=27750 1532.96/1533.66 c nbDecision=381000 #constraints=27763 1535.46/1536.12 c nbDecision=381500 #constraints=27771 1540.25/1540.97 c nbDecision=382000 #constraints=27806 1543.95/1544.69 c nbDecision=382500 #constraints=27832 1547.66/1548.31 c nbDecision=383000 #constraints=27863 1551.96/1552.64 c nbDecision=383500 #constraints=27892 1554.55/1555.25 c nbDecision=384000 #constraints=27909 1558.45/1559.11 c nbDecision=384500 #constraints=27942 1562.46/1563.12 c nbDecision=385000 #constraints=27965 1566.45/1567.10 c nbDecision=385500 #constraints=27986 1569.55/1570.25 c nbDecision=386000 #constraints=28007 1572.15/1572.85 c nbDecision=386500 #constraints=28015 1578.74/1579.49 c nbDecision=387000 #constraints=28100 1581.74/1582.40 c nbDecision=387500 #constraints=28124 1584.84/1585.53 c nbDecision=388000 #constraints=28149 1588.64/1589.30 c nbDecision=388500 #constraints=28188 1591.84/1592.51 c nbDecision=389000 #constraints=28202 1594.93/1595.67 c nbDecision=389500 #constraints=28225 1598.24/1598.93 c nbDecision=390000 #constraints=28243 1601.24/1601.98 c nbDecision=390500 #constraints=28262 1604.44/1605.17 c nbDecision=391000 #constraints=28284 1607.44/1608.10 c nbDecision=391500 #constraints=28302 1609.93/1610.69 c nbDecision=392000 #constraints=28318 1614.04/1614.76 c nbDecision=392500 #constraints=28350 1615.83/1616.53 c nbDecision=393000 #constraints=28355 1619.03/1619.72 c nbDecision=393500 #constraints=28376 1621.53/1622.29 c nbDecision=394000 #constraints=28388 1624.03/1624.79 c nbDecision=394500 #constraints=28403 1627.23/1627.94 c nbDecision=395000 #constraints=28441 1629.82/1630.59 c nbDecision=395500 #constraints=28451 1633.52/1634.25 c nbDecision=396000 #constraints=28472 1636.72/1637.40 c nbDecision=396500 #constraints=28493 1639.32/1640.04 c nbDecision=397000 #constraints=28506 1641.72/1642.41 c nbDecision=397500 #constraints=28510 1644.62/1645.37 c nbDecision=398000 #constraints=28536 1647.61/1648.39 c nbDecision=398500 #constraints=28556 1650.51/1651.25 c nbDecision=399000 #constraints=28579 1653.11/1653.84 c nbDecision=399500 #constraints=28594 1655.82/1656.58 c nbDecision=400000 #constraints=28606 1659.22/1659.95 c nbDecision=400500 #constraints=28628 1661.72/1662.44 c nbDecision=401000 #constraints=28635 1664.21/1664.91 c nbDecision=401500 #constraints=28642 1666.71/1667.40 c nbDecision=402000 #constraints=28648 1670.11/1670.81 c nbDecision=402500 #constraints=28669 1673.21/1673.90 c nbDecision=403000 #constraints=28687 1676.51/1677.20 c nbDecision=403500 #constraints=28709 1679.30/1680.07 c nbDecision=404000 #constraints=28728 1682.21/1682.94 c nbDecision=404500 #constraints=28753 1685.00/1685.71 c nbDecision=405000 #constraints=28782 1687.71/1688.43 c nbDecision=405500 #constraints=28793 1691.11/1691.89 c nbDecision=406000 #constraints=28819 1694.31/1695.08 c nbDecision=406500 #constraints=28841 1697.51/1698.30 c nbDecision=407000 #constraints=28862 1700.50/1701.27 c nbDecision=407500 #constraints=28880 1703.00/1703.79 c nbDecision=408000 #constraints=28897 1706.10/1706.86 c nbDecision=408500 #constraints=28923 1708.30/1709.03 c nbDecision=409000 #constraints=28930 1710.70/1711.50 c nbDecision=409500 #constraints=28939 1711.90/1712.69 c restart after 409601 decisions 1714.69/1715.43 c nbDecision=410000 #constraints=28949 1716.19/1716.94 c nbDecision=410500 #constraints=28968 1731.29/1732.04 c nbDecision=411000 #constraints=29065 1759.18/1759.98 c nbDecision=411500 #constraints=29229 1800.07/1800.80 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/node3/watcher-357327-1176994654 -o ROOT/results/node3/solver-357327-1176994654 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357327-1176994654/instance-357327-1176994654.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.98 3/77 15043 /proc/meminfo: memFree=1662560/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=1468 CPUtime=0 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 175503127 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 367 162 128 317 0 46 0 [startup+0.0123291 s] /proc/loadavg: 1.00 1.00 0.98 3/77 15043 /proc/meminfo: memFree=1662560/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=1600 CPUtime=0.01 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 202 0 0 0 1 0 0 0 18 0 1 0 175503127 1638400 184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 400 184 131 317 0 79 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1600 [startup+0.101343 s] /proc/loadavg: 1.00 1.00 0.98 3/77 15043 /proc/meminfo: memFree=1662560/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=2928 CPUtime=0.09 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 550 0 0 0 9 0 0 0 18 0 1 0 175503127 2998272 532 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 732 532 131 317 0 411 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2928 [startup+0.301375 s] /proc/loadavg: 1.00 1.00 0.98 3/77 15043 /proc/meminfo: memFree=1662560/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=6516 CPUtime=0.29 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 1435 0 0 0 29 0 0 0 19 0 1 0 175503127 6672384 1417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 1629 1417 131 317 0 1308 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6516 [startup+0.701441 s] /proc/loadavg: 1.00 1.00 0.98 3/77 15043 /proc/meminfo: memFree=1662560/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=13456 CPUtime=0.69 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 3195 0 0 0 68 1 0 0 23 0 1 0 175503127 13778944 3177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 3364 3177 138 317 0 3043 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13456 [startup+1.50257 s] /proc/loadavg: 1.00 1.00 0.98 2/78 15044 /proc/meminfo: memFree=1650328/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=13640 CPUtime=1.49 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 3207 0 0 0 148 1 0 0 25 0 1 0 175503127 13967360 3189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 3410 3189 139 317 0 3089 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13640 [startup+3.10183 s] /proc/loadavg: 1.00 1.00 0.98 2/78 15044 /proc/meminfo: memFree=1650072/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=14036 CPUtime=3.09 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 3315 0 0 0 308 1 0 0 25 0 1 0 175503127 14372864 3297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 3509 3297 139 317 0 3188 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14036 [startup+6.30135 s] /proc/loadavg: 1.00 1.00 0.98 2/78 15044 /proc/meminfo: memFree=1648728/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=15224 CPUtime=6.28 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 3640 0 0 0 627 1 0 0 25 0 1 0 175503127 15589376 3622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 3806 3622 170 317 0 3485 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 15224 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 0.98 2/78 15044 /proc/meminfo: memFree=1645720/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=18060 CPUtime=12.69 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 4359 0 0 0 1267 2 0 0 25 0 1 0 175503127 18493440 4341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 4515 4341 170 317 0 4194 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18060 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 0.98 2/78 15044 /proc/meminfo: memFree=1637272/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=26680 CPUtime=25.49 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 6437 0 0 0 2545 4 0 0 25 0 1 0 175503127 27320320 6419 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 6670 6419 170 317 0 6349 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 26680 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 0.98 2/78 15044 /proc/meminfo: memFree=1624600/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=39876 CPUtime=51.08 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 9661 0 0 0 5101 7 0 0 25 0 1 0 175503127 40833024 9643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715809 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 9969 9643 170 317 0 9648 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 39876 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.98 2/78 15044 /proc/meminfo: memFree=1609752/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=54792 CPUtime=102.26 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 13364 0 0 0 10216 10 0 0 25 0 1 0 175503127 56107008 13288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 13698 13288 170 317 0 13377 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 54792 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 15044 /proc/meminfo: memFree=1597976/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=66948 CPUtime=162.24 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 16317 0 0 0 16210 14 0 0 25 0 1 0 175503127 68554752 16241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 16737 16241 170 317 0 16416 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 66948 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.98 2/84 15152 /proc/meminfo: memFree=1585256/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=79408 CPUtime=222.15 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 19133 0 0 0 22199 16 0 0 25 0 1 0 175503127 81313792 19057 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 19852 19057 170 317 0 19531 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 79408 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.98 2/78 15242 /proc/meminfo: memFree=1578264/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=87056 CPUtime=282.09 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 21164 0 0 0 28191 18 0 0 25 0 1 0 175503127 89145344 21088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 21764 21088 170 317 0 21443 0 Current children cumulated CPU time (s) 282.09 Current children cumulated vsize (KiB) 87056 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 15242 /proc/meminfo: memFree=1567448/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=98188 CPUtime=342.07 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 23844 0 0 0 34187 20 0 0 25 0 1 0 175503127 100544512 23768 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 24547 23768 170 317 0 24226 0 Current children cumulated CPU time (s) 342.07 Current children cumulated vsize (KiB) 98188 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 15242 /proc/meminfo: memFree=1559832/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=107540 CPUtime=402.05 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 25891 0 0 0 40183 22 0 0 25 0 1 0 175503127 110120960 25701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274638 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 26885 25701 170 317 0 26564 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 107540 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.98 2/78 15242 /proc/meminfo: memFree=1553304/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=114396 CPUtime=462.03 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 27500 0 0 0 46179 24 0 0 25 0 1 0 175503127 117141504 27310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 28599 27310 170 317 0 28278 0 Current children cumulated CPU time (s) 462.03 Current children cumulated vsize (KiB) 114396 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 15242 /proc/meminfo: memFree=1547288/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=120752 CPUtime=522.01 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 29041 0 0 0 52175 26 0 0 25 0 1 0 175503127 123650048 28851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 30188 28851 170 317 0 29867 0 Current children cumulated CPU time (s) 522.01 Current children cumulated vsize (KiB) 120752 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 15242 /proc/meminfo: memFree=1540824/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=127040 CPUtime=581.99 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 30624 0 0 0 58172 27 0 0 25 0 1 0 175503127 130088960 30434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 31760 30434 170 317 0 31439 0 Current children cumulated CPU time (s) 581.99 Current children cumulated vsize (KiB) 127040 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.98 2/78 15242 /proc/meminfo: memFree=1532888/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=135236 CPUtime=641.97 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 32601 0 0 0 64168 29 0 0 25 0 1 0 175503127 138481664 32411 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 33809 32411 170 317 0 33488 0 Current children cumulated CPU time (s) 641.97 Current children cumulated vsize (KiB) 135236 ################ # More data... # ################ /proc/meminfo: memFree=1482584/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=188316 CPUtime=1061.82 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 45262 0 0 0 106142 40 0 0 25 0 1 0 175503127 192835584 45072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 47079 45072 170 317 0 46758 0 Current children cumulated CPU time (s) 1061.82 Current children cumulated vsize (KiB) 188316 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 15242 /proc/meminfo: memFree=1476824/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=193872 CPUtime=1121.8 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 46681 0 0 0 112139 41 0 0 25 0 1 0 175503127 198524928 46491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 48468 46491 170 317 0 48147 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 193872 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15242 /proc/meminfo: memFree=1470872/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=199940 CPUtime=1181.78 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 48139 0 0 0 118136 42 0 0 25 0 1 0 175503127 204738560 47949 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 49985 47949 170 317 0 49664 0 Current children cumulated CPU time (s) 1181.78 Current children cumulated vsize (KiB) 199940 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15242 /proc/meminfo: memFree=1465240/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=205820 CPUtime=1241.76 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 49562 0 0 0 124133 43 0 0 25 0 1 0 175503127 210759680 49372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 51455 49372 170 317 0 51134 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 205820 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15242 /proc/meminfo: memFree=1459544/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=211516 CPUtime=1301.74 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 50944 0 0 0 130130 44 0 0 25 0 1 0 175503127 216592384 50754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 52879 50754 170 317 0 52558 0 Current children cumulated CPU time (s) 1301.74 Current children cumulated vsize (KiB) 211516 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15242 /proc/meminfo: memFree=1454488/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=216964 CPUtime=1361.72 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 52216 0 0 0 136126 46 0 0 25 0 1 0 175503127 222171136 52026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 54241 52026 170 317 0 53920 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 216964 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15242 /proc/meminfo: memFree=1447128/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=228340 CPUtime=1421.7 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 54028 0 0 0 142123 47 0 0 25 0 1 0 175503127 233820160 53838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 57085 53838 170 317 0 56764 0 Current children cumulated CPU time (s) 1421.7 Current children cumulated vsize (KiB) 228340 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15242 /proc/meminfo: memFree=1441560/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=233392 CPUtime=1481.68 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 55458 0 0 0 148120 48 0 0 25 0 1 0 175503127 238993408 55268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606716 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 58348 55268 170 317 0 58027 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 233392 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15242 /proc/meminfo: memFree=1436760/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=238668 CPUtime=1541.65 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 56718 0 0 0 154116 49 0 0 25 0 1 0 175503127 244396032 56462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 59667 56462 170 317 0 59346 0 Current children cumulated CPU time (s) 1541.65 Current children cumulated vsize (KiB) 238668 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15242 /proc/meminfo: memFree=1430808/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=244664 CPUtime=1601.64 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 58228 0 0 0 160113 51 0 0 25 0 1 0 175503127 250535936 57939 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 61166 57939 170 317 0 60845 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 244664 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15242 /proc/meminfo: memFree=1426328/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=248940 CPUtime=1661.62 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 59349 0 0 0 166110 52 0 0 25 0 1 0 175503127 254914560 59060 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 62235 59060 170 317 0 61914 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 248940 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15242 /proc/meminfo: memFree=1421656/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=253592 CPUtime=1721.59 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 60521 0 0 0 172106 53 0 0 25 0 1 0 175503127 259678208 60232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 63398 60232 170 317 0 63077 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 253592 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15242 /proc/meminfo: memFree=1418968/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=256224 CPUtime=1781.57 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 61173 0 0 0 178103 54 0 0 25 0 1 0 175503127 262373376 60884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 64056 60884 170 317 0 63735 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 256224 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15242 /proc/meminfo: memFree=1418136/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=256752 CPUtime=1800.07 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 61366 0 0 0 179952 55 0 0 25 0 1 0 175503127 262914048 61077 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 64188 61077 170 317 0 63867 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 256752 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 1.00 2/78 15242 /proc/meminfo: memFree=1418136/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=256752 CPUtime=1800.67 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 61370 0 0 0 180012 55 0 0 25 0 1 0 175503127 262914048 61081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 64188 61081 170 317 0 63867 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (KiB) 256752 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/79 15243 /proc/meminfo: memFree=1418128/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=256884 CPUtime=1801.47 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 61376 0 0 0 180092 55 0 0 25 0 1 0 175503127 263049216 61087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 64221 61087 170 317 0 63900 0 Current children cumulated CPU time (s) 1801.47 Current children cumulated vsize (KiB) 256884 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/79 15243 /proc/meminfo: memFree=1418128/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=256884 CPUtime=1801.87 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 61380 0 0 0 180132 55 0 0 25 0 1 0 175503127 263049216 61091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 64221 61091 170 317 0 63900 0 Current children cumulated CPU time (s) 1801.87 Current children cumulated vsize (KiB) 256884 [startup+1802.8 s] /proc/loadavg: 1.00 1.00 1.00 2/79 15243 /proc/meminfo: memFree=1418064/2055920 swapFree=4140688/4192956 [pid=15043] ppid=15041 vsize=256884 CPUtime=1802.07 /proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 61381 0 0 0 180152 55 0 0 25 0 1 0 175503127 263049216 61092 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15043/statm: 64221 61092 170 317 0 63900 0 Current children cumulated CPU time (s) 1802.07 Current children cumulated vsize (KiB) 256884 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.85 CPU time (s): 1802.12 CPU user time (s): 1801.53 CPU system time (s): 0.59191 CPU usage (%): 99.9597 Max. virtual memory (cumulated for all children) (KiB): 256884 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1801.53 system time used= 0.59191 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61381 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= 37501 runsolver used 2.16467 second user time and 4.39333 second system time The end
Begin job on node3 on Thu Apr 19 14:57:34 UTC 2007 IDJOB= 357327 IDBENCH= 2414 IDSOLVER= 172 FILE ID= node3/357327-1176994654 PBS_JOBID= 4630443 Free space on /tmp= 66356 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow15.opb COMMAND LINE= oree /tmp/evaluation/357327-1176994654/instance-357327-1176994654.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-357327-1176994654 -o ROOT/results/node3/solver-357327-1176994654 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357327-1176994654/instance-357327-1176994654.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= b4d90975042873aa16a95872bfad2ca2 RANDOM SEED= 381459376 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node3.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.270 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.270 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: 1662968 kB Buffers: 36892 kB Cached: 288816 kB SwapCached: 15176 kB Active: 47936 kB Inactive: 301964 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1662968 kB SwapTotal: 4192956 kB SwapFree: 4140688 kB Dirty: 3040 kB Writeback: 0 kB Mapped: 31252 kB Slab: 28552 kB Committed_AS: 5299924 kB PageTables: 1784 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= 66356 MiB End job on node3 on Thu Apr 19 15:27:37 UTC 2007