Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.1 | 1800.64 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-blp-ic97.opb |
MD5SUM | aef7e3722fd5816dc0cbb2acb61edf83 |
Bench Category | OPT-SMALLINT (optimisation, small 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 | 264081 |
Optimality of the best value was proved | NO |
Number of variables | 11503 |
Total number of constraints | 971 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 835 |
Number of constraints which are nor clauses,nor cardinality constraints | 136 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 9784 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 529231 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.39/0.47 c ...done 0.39/0.47 c #vars=11503 #constraints=1064 hasObjective=yes 0.49/0.54 c res. mode=mod 0.49/0.54 c VSIDS like heuristics 0.49/0.54 c complete search running 0.89/1.00 c restart after 401 decisions 1.00/1.06 c nbDecision=500 #constraints=1235 1.69/1.74 c restart after 801 decisions 1.89/1.95 c nbDecision=1000 #constraints=1392 2.99/3.02 c nbDecision=1500 #constraints=1556 3.20/3.27 c restart after 1601 decisions 3.99/4.00 c nbDecision=2000 #constraints=1705 4.99/5.06 c nbDecision=2500 #constraints=1862 6.39/6.45 c nbDecision=3000 #constraints=2017 6.79/6.88 c restart after 3201 decisions 7.39/7.49 c nbDecision=3500 #constraints=2215 8.69/8.74 c nbDecision=4000 #constraints=2365 10.39/10.45 c nbDecision=4500 #constraints=2561 10.99/11.01 c nbDecision=5000 #constraints=2788 11.39/11.49 c nbDecision=5500 #constraints=2951 11.89/11.99 c nbDecision=6000 #constraints=3131 12.29/12.32 c restart after 6401 decisions 12.39/12.40 c nbDecision=6500 #constraints=3312 13.29/13.35 c nbDecision=7000 #constraints=3464 14.49/14.58 c nbDecision=7500 #constraints=3623 15.89/15.91 c nbDecision=8000 #constraints=3775 17.39/17.41 c nbDecision=8500 #constraints=4015 17.88/17.93 c nbDecision=9000 #constraints=4205 18.38/18.41 c nbDecision=9500 #constraints=4383 18.88/18.96 c nbDecision=10000 #constraints=4527 19.79/19.89 c nbDecision=10500 #constraints=4680 20.18/20.25 c nbDecision=11000 #constraints=4798 20.68/20.79 c nbDecision=11500 #constraints=4935 21.08/21.11 c nbDecision=12000 #constraints=5051 21.68/21.74 c nbDecision=12500 #constraints=5203 21.89/21.99 c restart after 12801 decisions 22.48/22.53 c nbDecision=13000 #constraints=5402 23.18/23.24 c nbDecision=13500 #constraints=5585 23.68/23.73 c nbDecision=14000 #constraints=5746 24.28/24.36 c nbDecision=14500 #constraints=5911 25.08/25.13 c nbDecision=15000 #constraints=6066 25.48/25.51 c nbDecision=15500 #constraints=6216 25.78/25.86 c nbDecision=16000 #constraints=6349 26.18/26.22 c nbDecision=16500 #constraints=6498 26.58/26.61 c nbDecision=17000 #constraints=6628 27.18/27.27 c nbDecision=17500 #constraints=6762 28.28/28.35 c nbDecision=18000 #constraints=6899 28.78/28.81 c nbDecision=18500 #constraints=7046 29.28/29.39 c nbDecision=19000 #constraints=7215 29.89/29.95 c nbDecision=19500 #constraints=7376 30.49/30.51 c nbDecision=20000 #constraints=7527 30.99/31.02 c nbDecision=20500 #constraints=7657 31.49/31.52 c nbDecision=21000 #constraints=7796 31.99/32.09 c nbDecision=21500 #constraints=7926 32.59/32.64 c nbDecision=22000 #constraints=8037 33.08/33.14 c nbDecision=22500 #constraints=8138 33.58/33.68 c nbDecision=23000 #constraints=8247 34.18/34.24 c nbDecision=23500 #constraints=8353 34.68/34.79 c nbDecision=24000 #constraints=8455 35.19/35.27 c nbDecision=24500 #constraints=8572 35.78/35.83 c nbDecision=25000 #constraints=8714 36.48/36.60 c nbDecision=25500 #constraints=8840 36.68/36.79 c restart after 25601 decisions 37.98/38.05 c nbDecision=26000 #constraints=8992 40.28/40.32 c nbDecision=26500 #constraints=9239 40.98/41.03 c nbDecision=27000 #constraints=9451 41.58/41.68 c nbDecision=27500 #constraints=9616 42.28/42.37 c nbDecision=28000 #constraints=9786 43.08/43.15 c nbDecision=28500 #constraints=9936 43.88/43.92 c nbDecision=29000 #constraints=10076 44.28/44.37 c nbDecision=29500 #constraints=10192 44.78/44.82 c nbDecision=30000 #constraints=10332 45.18/45.26 c nbDecision=30500 #constraints=10457 45.68/45.77 c nbDecision=31000 #constraints=10568 46.57/46.60 c nbDecision=31500 #constraints=10747 46.97/47.07 c nbDecision=32000 #constraints=10869 47.57/47.69 c nbDecision=32500 #constraints=10970 48.28/48.34 c nbDecision=33000 #constraints=11098 48.77/48.87 c nbDecision=33500 #constraints=11207 49.38/49.47 c nbDecision=34000 #constraints=11339 49.97/50.05 c nbDecision=34500 #constraints=11440 50.97/51.00 c nbDecision=35000 #constraints=11555 51.58/51.66 c nbDecision=35500 #constraints=11644 52.17/52.24 c nbDecision=36000 #constraints=11763 52.87/52.92 c nbDecision=36500 #constraints=11889 53.37/53.49 c nbDecision=37000 #constraints=11980 54.07/54.12 c nbDecision=37500 #constraints=12068 55.08/55.12 c nbDecision=38000 #constraints=12173 58.28/58.31 c nbDecision=38500 #constraints=12334 59.18/59.24 c nbDecision=39000 #constraints=12449 60.48/60.51 c nbDecision=39500 #constraints=12569 61.78/61.84 c nbDecision=40000 #constraints=12693 62.48/62.56 c nbDecision=40500 #constraints=12820 63.08/63.18 c nbDecision=41000 #constraints=12924 63.78/63.83 c nbDecision=41500 #constraints=13030 65.37/65.42 c nbDecision=42000 #constraints=13158 66.07/66.11 c nbDecision=42500 #constraints=13245 66.77/66.88 c nbDecision=43000 #constraints=13326 67.47/67.52 c nbDecision=43500 #constraints=13419 68.08/68.18 c nbDecision=44000 #constraints=13488 68.67/68.77 c nbDecision=44500 #constraints=13587 69.57/69.66 c nbDecision=45000 #constraints=13696 72.67/72.73 c nbDecision=45500 #constraints=13832 73.77/73.82 c nbDecision=46000 #constraints=13952 74.57/74.64 c nbDecision=46500 #constraints=14059 75.17/75.29 c nbDecision=47000 #constraints=14161 75.97/76.04 c nbDecision=47500 #constraints=14279 77.17/77.20 c nbDecision=48000 #constraints=14365 77.97/78.04 c nbDecision=48500 #constraints=14456 78.57/78.62 c nbDecision=49000 #constraints=14546 79.47/79.51 c nbDecision=49500 #constraints=14638 80.47/80.56 c nbDecision=50000 #constraints=14726 84.17/84.29 c nbDecision=50500 #constraints=14880 85.96/86.09 c nbDecision=51000 #constraints=15020 86.36/86.43 c restart after 51201 decisions 88.66/88.73 c nbDecision=51500 #constraints=15175 90.66/90.71 c nbDecision=52000 #constraints=15403 91.46/91.59 c nbDecision=52500 #constraints=15573 92.56/92.63 c nbDecision=53000 #constraints=15757 93.56/93.69 c nbDecision=53500 #constraints=15917 94.86/94.93 c nbDecision=54000 #constraints=16064 96.66/96.71 c nbDecision=54500 #constraints=16229 97.46/97.56 c nbDecision=55000 #constraints=16343 98.26/98.36 c nbDecision=55500 #constraints=16486 98.86/98.92 c nbDecision=56000 #constraints=16613 99.56/99.66 c nbDecision=56500 #constraints=16712 100.46/100.51 c nbDecision=57000 #constraints=16800 101.16/101.27 c nbDecision=57500 #constraints=16894 102.96/103.06 c nbDecision=58000 #constraints=17021 103.66/103.74 c nbDecision=58500 #constraints=17088 104.26/104.38 c nbDecision=59000 #constraints=17178 105.16/105.24 c nbDecision=59500 #constraints=17267 105.96/106.04 c nbDecision=60000 #constraints=17346 106.66/106.73 c nbDecision=60500 #constraints=17436 107.46/107.50 c nbDecision=61000 #constraints=17506 108.46/108.54 c nbDecision=61500 #constraints=17599 112.75/112.89 c nbDecision=62000 #constraints=17750 116.06/116.12 c nbDecision=62500 #constraints=17901 117.26/117.38 c nbDecision=63000 #constraints=18047 119.26/119.35 c nbDecision=63500 #constraints=18166 120.66/120.72 c nbDecision=64000 #constraints=18273 121.76/121.87 c nbDecision=64500 #constraints=18400 122.56/122.64 c nbDecision=65000 #constraints=18531 123.46/123.55 c nbDecision=65500 #constraints=18651 124.66/124.73 c nbDecision=66000 #constraints=18769 126.76/126.89 c nbDecision=66500 #constraints=18904 127.76/127.90 c nbDecision=67000 #constraints=19015 128.86/128.92 c nbDecision=67500 #constraints=19108 129.76/129.83 c nbDecision=68000 #constraints=19214 130.46/130.53 c nbDecision=68500 #constraints=19300 131.16/131.25 c nbDecision=69000 #constraints=19372 132.25/132.37 c nbDecision=69500 #constraints=19466 137.05/137.14 c nbDecision=70000 #constraints=19620 139.66/139.76 c nbDecision=70500 #constraints=19754 141.05/141.16 c nbDecision=71000 #constraints=19882 143.05/143.10 c nbDecision=71500 #constraints=19980 145.05/145.16 c nbDecision=72000 #constraints=20099 146.15/146.29 c nbDecision=72500 #constraints=20210 147.05/147.14 c nbDecision=73000 #constraints=20311 149.35/149.40 c nbDecision=73500 #constraints=20415 150.65/150.73 c nbDecision=74000 #constraints=20492 151.75/151.83 c nbDecision=74500 #constraints=20576 152.44/152.60 c nbDecision=75000 #constraints=20663 153.34/153.42 c nbDecision=75500 #constraints=20747 154.24/154.31 c nbDecision=76000 #constraints=20823 155.15/155.26 c nbDecision=76500 #constraints=20883 156.16/156.24 c nbDecision=77000 #constraints=20953 156.95/157.02 c nbDecision=77500 #constraints=21018 157.75/157.88 c nbDecision=78000 #constraints=21106 158.95/159.02 c nbDecision=78500 #constraints=21204 159.75/159.88 c nbDecision=79000 #constraints=21302 160.85/160.93 c nbDecision=79500 #constraints=21395 161.95/162.08 c nbDecision=80000 #constraints=21498 162.85/162.97 c nbDecision=80500 #constraints=21582 163.75/163.90 c nbDecision=81000 #constraints=21702 164.75/164.86 c nbDecision=81500 #constraints=21797 165.65/165.73 c nbDecision=82000 #constraints=21907 166.65/166.79 c nbDecision=82500 #constraints=22032 167.55/167.64 c nbDecision=83000 #constraints=22113 168.75/168.83 c nbDecision=83500 #constraints=22236 169.55/169.61 c nbDecision=84000 #constraints=22332 170.55/170.67 c nbDecision=84500 #constraints=22429 171.35/171.45 c nbDecision=85000 #constraints=22531 172.24/172.37 c nbDecision=85500 #constraints=22616 173.14/173.25 c nbDecision=86000 #constraints=22735 174.14/174.29 c nbDecision=86500 #constraints=22847 175.34/175.48 c nbDecision=87000 #constraints=22945 176.44/176.53 c nbDecision=87500 #constraints=23052 177.44/177.56 c nbDecision=88000 #constraints=23134 178.54/178.64 c nbDecision=88500 #constraints=23217 179.34/179.48 c nbDecision=89000 #constraints=23302 180.44/180.52 c nbDecision=89500 #constraints=23399 181.34/181.50 c nbDecision=90000 #constraints=23501 182.44/182.55 c nbDecision=90500 #constraints=23580 183.64/183.75 c nbDecision=91000 #constraints=23659 184.84/184.90 c nbDecision=91500 #constraints=23731 185.94/186.05 c nbDecision=92000 #constraints=23850 186.94/187.04 c nbDecision=92500 #constraints=23944 188.24/188.31 c nbDecision=93000 #constraints=24024 189.14/189.23 c nbDecision=93500 #constraints=24144 190.04/190.17 c nbDecision=94000 #constraints=24227 191.24/191.38 c nbDecision=94500 #constraints=24298 192.34/192.49 c nbDecision=95000 #constraints=24360 193.54/193.63 c nbDecision=95500 #constraints=24440 194.54/194.63 c nbDecision=96000 #constraints=24542 195.44/195.56 c nbDecision=96500 #constraints=24636 196.34/196.47 c nbDecision=97000 #constraints=24729 197.33/197.43 c nbDecision=97500 #constraints=24803 198.33/198.46 c nbDecision=98000 #constraints=24869 199.23/199.40 c nbDecision=98500 #constraints=24931 200.23/200.31 c nbDecision=99000 #constraints=25004 201.14/201.30 c nbDecision=99500 #constraints=25064 202.03/202.19 c nbDecision=100000 #constraints=25128 203.03/203.17 c nbDecision=100500 #constraints=25203 204.13/204.21 c nbDecision=101000 #constraints=25291 205.03/205.10 c nbDecision=101500 #constraints=25369 205.83/205.99 c nbDecision=102000 #constraints=25450 206.53/206.70 c restart after 102401 decisions 207.23/207.30 c nbDecision=102500 #constraints=25538 210.83/210.92 c nbDecision=103000 #constraints=25691 214.53/214.64 c nbDecision=103500 #constraints=25849 218.53/218.69 c nbDecision=104000 #constraints=25998 221.53/221.61 c nbDecision=104500 #constraints=26290 224.03/224.11 c nbDecision=105000 #constraints=26505 226.53/226.69 c nbDecision=105500 #constraints=26660 227.63/227.74 c nbDecision=106000 #constraints=26804 228.63/228.80 c nbDecision=106500 #constraints=26933 230.03/230.14 c nbDecision=107000 #constraints=27032 231.23/231.39 c nbDecision=107500 #constraints=27104 232.43/232.54 c nbDecision=108000 #constraints=27173 233.82/233.90 c nbDecision=108500 #constraints=27251 235.12/235.27 c nbDecision=109000 #constraints=27312 236.62/236.70 c nbDecision=109500 #constraints=27370 237.92/238.01 c nbDecision=110000 #constraints=27431 239.73/239.82 c nbDecision=110500 #constraints=27516 242.82/242.97 c nbDecision=111000 #constraints=27686 244.52/244.68 c nbDecision=111500 #constraints=27852 246.12/246.21 c nbDecision=112000 #constraints=27966 247.32/247.50 c nbDecision=112500 #constraints=28082 249.32/249.40 c nbDecision=113000 #constraints=28166 250.72/250.89 c nbDecision=113500 #constraints=28231 252.12/252.22 c nbDecision=114000 #constraints=28311 253.62/253.70 c nbDecision=114500 #constraints=28386 254.82/254.99 c nbDecision=115000 #constraints=28454 256.02/256.10 c nbDecision=115500 #constraints=28558 260.01/260.18 c nbDecision=116000 #constraints=28673 261.62/261.75 c nbDecision=116500 #constraints=28800 263.01/263.16 c nbDecision=117000 #constraints=28914 265.21/265.35 c nbDecision=117500 #constraints=28984 266.71/266.84 c nbDecision=118000 #constraints=29046 269.61/269.71 c nbDecision=118500 #constraints=29148 275.21/275.32 c nbDecision=119000 #constraints=29287 276.61/276.76 c nbDecision=119500 #constraints=29400 279.41/279.51 c nbDecision=120000 #constraints=29536 282.11/282.22 c nbDecision=120500 #constraints=29634 283.90/284.03 c nbDecision=121000 #constraints=29740 285.81/285.98 c nbDecision=121500 #constraints=29818 287.10/287.24 c nbDecision=122000 #constraints=29933 288.51/288.66 c nbDecision=122500 #constraints=30014 289.90/290.02 c nbDecision=123000 #constraints=30093 291.61/291.71 c nbDecision=123500 #constraints=30162 297.61/297.71 c nbDecision=124000 #constraints=30285 300.61/300.79 c nbDecision=124500 #constraints=30422 302.01/302.12 c nbDecision=125000 #constraints=30541 303.80/303.97 c nbDecision=125500 #constraints=30660 306.21/306.38 c nbDecision=126000 #constraints=30764 307.60/307.71 c nbDecision=126500 #constraints=30875 308.80/308.91 c nbDecision=127000 #constraints=31001 311.70/311.80 c nbDecision=127500 #constraints=31104 313.41/313.56 c nbDecision=128000 #constraints=31204 315.40/315.54 c nbDecision=128500 #constraints=31282 316.60/316.74 c nbDecision=129000 #constraints=31360 318.00/318.16 c nbDecision=129500 #constraints=31426 319.30/319.46 c nbDecision=130000 #constraints=31488 321.10/321.27 c nbDecision=130500 #constraints=31546 322.40/322.51 c nbDecision=131000 #constraints=31623 323.60/323.73 c nbDecision=131500 #constraints=31692 324.90/325.06 c nbDecision=132000 #constraints=31762 326.10/326.24 c nbDecision=132500 #constraints=31839 327.30/327.46 c nbDecision=133000 #constraints=31899 328.50/328.64 c nbDecision=133500 #constraints=31979 329.70/329.86 c nbDecision=134000 #constraints=32045 331.00/331.12 c nbDecision=134500 #constraints=32129 332.20/332.35 c nbDecision=135000 #constraints=32229 333.59/333.76 c nbDecision=135500 #constraints=32347 334.89/335.02 c nbDecision=136000 #constraints=32436 336.19/336.30 c nbDecision=136500 #constraints=32562 337.29/337.50 c nbDecision=137000 #constraints=32642 338.70/338.87 c nbDecision=137500 #constraints=32734 339.89/340.02 c nbDecision=138000 #constraints=32857 340.89/341.10 c nbDecision=138500 #constraints=32945 342.29/342.46 c nbDecision=139000 #constraints=33027 343.39/343.60 c nbDecision=139500 #constraints=33132 344.49/344.63 c nbDecision=140000 #constraints=33217 345.59/345.77 c nbDecision=140500 #constraints=33280 346.69/346.88 c nbDecision=141000 #constraints=33358 348.19/348.38 c nbDecision=141500 #constraints=33445 349.39/349.58 c nbDecision=142000 #constraints=33501 350.79/350.95 c nbDecision=142500 #constraints=33590 351.89/352.09 c nbDecision=143000 #constraints=33675 353.48/353.68 c nbDecision=143500 #constraints=33721 354.78/354.90 c nbDecision=144000 #constraints=33795 356.08/356.20 c nbDecision=144500 #constraints=33868 357.18/357.31 c nbDecision=145000 #constraints=33961 358.39/358.52 c nbDecision=145500 #constraints=34027 359.98/360.11 c nbDecision=146000 #constraints=34088 361.08/361.22 c nbDecision=146500 #constraints=34133 362.28/362.49 c nbDecision=147000 #constraints=34203 363.88/364.01 c nbDecision=147500 #constraints=34281 365.08/365.26 c nbDecision=148000 #constraints=34330 366.38/366.54 c nbDecision=148500 #constraints=34397 367.48/367.62 c nbDecision=149000 #constraints=34466 368.68/368.83 c nbDecision=149500 #constraints=34515 369.98/370.10 c nbDecision=150000 #constraints=34589 371.48/371.63 c nbDecision=150500 #constraints=34668 372.58/372.71 c nbDecision=151000 #constraints=34714 373.78/373.92 c nbDecision=151500 #constraints=34767 374.98/375.13 c nbDecision=152000 #constraints=34853 376.27/376.42 c nbDecision=152500 #constraints=34941 377.28/377.44 c nbDecision=153000 #constraints=35011 378.38/378.53 c nbDecision=153500 #constraints=35084 379.48/379.67 c nbDecision=154000 #constraints=35193 380.98/381.18 c nbDecision=154500 #constraints=35274 382.38/382.53 c nbDecision=155000 #constraints=35354 383.58/383.70 c nbDecision=155500 #constraints=35414 384.78/384.94 c nbDecision=156000 #constraints=35488 385.78/386.00 c nbDecision=156500 #constraints=35548 387.08/387.22 c nbDecision=157000 #constraints=35635 388.58/388.78 c nbDecision=157500 #constraints=35727 389.88/390.00 c nbDecision=158000 #constraints=35811 390.48/390.66 c nbDecision=158500 #constraints=35917 391.38/391.51 c nbDecision=159000 #constraints=36019 393.37/393.50 c nbDecision=159500 #constraints=36078 395.37/395.56 c nbDecision=160000 #constraints=36147 396.87/397.05 c nbDecision=160500 #constraints=36209 398.27/398.46 c nbDecision=161000 #constraints=36289 399.67/399.81 c nbDecision=161500 #constraints=36355 400.97/401.10 c nbDecision=162000 #constraints=36462 402.47/402.69 c nbDecision=162500 #constraints=36531 404.27/404.46 c nbDecision=163000 #constraints=36599 405.97/406.19 c nbDecision=163500 #constraints=36685 407.57/407.79 c nbDecision=164000 #constraints=36769 409.27/409.45 c nbDecision=164500 #constraints=36838 410.86/411.00 c nbDecision=165000 #constraints=36914 412.46/412.66 c nbDecision=165500 #constraints=36977 413.96/414.16 c nbDecision=166000 #constraints=37031 415.96/416.17 c nbDecision=166500 #constraints=37098 417.66/417.81 c nbDecision=167000 #constraints=37178 419.47/419.64 c nbDecision=167500 #constraints=37260 421.67/421.85 c nbDecision=168000 #constraints=37316 423.67/423.81 c nbDecision=168500 #constraints=37364 424.97/425.13 c nbDecision=169000 #constraints=37417 426.77/426.91 c nbDecision=169500 #constraints=37466 428.17/428.35 c nbDecision=170000 #constraints=37513 429.47/429.60 c nbDecision=170500 #constraints=37590 430.77/430.97 c nbDecision=171000 #constraints=37670 432.47/432.64 c nbDecision=171500 #constraints=37741 433.97/434.13 c nbDecision=172000 #constraints=37811 435.27/435.42 c nbDecision=172500 #constraints=37915 436.66/436.85 c nbDecision=173000 #constraints=37981 438.06/438.20 c nbDecision=173500 #constraints=38045 439.36/439.52 c nbDecision=174000 #constraints=38110 440.66/440.83 c nbDecision=174500 #constraints=38168 441.86/442.08 c nbDecision=175000 #constraints=38252 443.17/443.36 c nbDecision=175500 #constraints=38310 444.26/444.40 c nbDecision=176000 #constraints=38415 447.16/447.31 c nbDecision=176500 #constraints=38470 448.66/448.88 c nbDecision=177000 #constraints=38543 450.36/450.51 c nbDecision=177500 #constraints=38628 452.16/452.32 c nbDecision=178000 #constraints=38704 453.76/453.94 c nbDecision=178500 #constraints=38791 455.35/455.55 c nbDecision=179000 #constraints=38860 457.46/457.68 c nbDecision=179500 #constraints=38922 459.56/459.76 c nbDecision=180000 #constraints=39004 461.15/461.39 c nbDecision=180500 #constraints=39070 462.96/463.17 c nbDecision=181000 #constraints=39132 464.45/464.69 c nbDecision=181500 #constraints=39207 466.26/466.43 c nbDecision=182000 #constraints=39280 467.65/467.80 c nbDecision=182500 #constraints=39363 469.35/469.51 c nbDecision=183000 #constraints=39429 471.75/471.91 c nbDecision=183500 #constraints=39476 473.45/473.62 c nbDecision=184000 #constraints=39544 475.05/475.22 c nbDecision=184500 #constraints=39606 476.55/476.76 c nbDecision=185000 #constraints=39667 478.45/478.62 c nbDecision=185500 #constraints=39722 480.05/480.22 c nbDecision=186000 #constraints=39802 481.74/481.90 c nbDecision=186500 #constraints=39869 483.14/483.36 c nbDecision=187000 #constraints=39941 484.64/484.84 c nbDecision=187500 #constraints=39991 486.24/486.47 c nbDecision=188000 #constraints=40055 487.84/488.05 c nbDecision=188500 #constraints=40114 489.54/489.79 c nbDecision=189000 #constraints=40193 491.04/491.23 c nbDecision=189500 #constraints=40242 492.55/492.72 c nbDecision=190000 #constraints=40323 494.64/494.88 c nbDecision=190500 #constraints=40420 496.84/497.00 c nbDecision=191000 #constraints=40487 498.74/498.93 c nbDecision=191500 #constraints=40546 500.64/500.85 c nbDecision=192000 #constraints=40604 502.64/502.86 c nbDecision=192500 #constraints=40676 505.34/505.56 c nbDecision=193000 #constraints=40786 507.24/507.43 c nbDecision=193500 #constraints=40853 509.24/509.42 c nbDecision=194000 #constraints=40913 510.94/511.18 c nbDecision=194500 #constraints=40995 513.63/513.81 c nbDecision=195000 #constraints=41054 515.94/516.11 c nbDecision=195500 #constraints=41113 517.64/517.80 c nbDecision=196000 #constraints=41187 519.44/519.63 c nbDecision=196500 #constraints=41251 521.24/521.43 c nbDecision=197000 #constraints=41301 523.24/523.47 c nbDecision=197500 #constraints=41363 524.84/525.08 c nbDecision=198000 #constraints=41445 526.64/526.81 c nbDecision=198500 #constraints=41495 529.34/529.59 c nbDecision=199000 #constraints=41537 530.94/531.19 c nbDecision=199500 #constraints=41591 532.84/533.07 c nbDecision=200000 #constraints=41671 534.74/534.98 c nbDecision=200500 #constraints=41724 537.04/537.25 c nbDecision=201000 #constraints=41790 538.63/538.83 c nbDecision=201500 #constraints=41867 540.13/540.35 c nbDecision=202000 #constraints=41979 541.93/542.17 c nbDecision=202500 #constraints=42049 543.53/543.73 c nbDecision=203000 #constraints=42104 546.13/546.34 c nbDecision=203500 #constraints=42141 553.33/553.51 c nbDecision=204000 #constraints=42288 561.63/561.85 c nbDecision=204500 #constraints=42439 562.63/562.83 c restart after 204801 decisions 564.63/564.87 c nbDecision=205000 #constraints=42580 570.63/570.82 c nbDecision=205500 #constraints=42740 576.02/576.24 c nbDecision=206000 #constraints=42903 581.82/582.08 c nbDecision=206500 #constraints=43057 587.42/587.68 c nbDecision=207000 #constraints=43232 592.62/592.82 c nbDecision=207500 #constraints=43495 595.21/595.43 c nbDecision=208000 #constraints=43676 597.02/597.30 c nbDecision=208500 #constraints=43807 599.01/599.21 c nbDecision=209000 #constraints=43915 600.61/600.82 c nbDecision=209500 #constraints=44050 602.71/602.92 c nbDecision=210000 #constraints=44137 604.41/604.66 c nbDecision=210500 #constraints=44235 606.21/606.47 c nbDecision=211000 #constraints=44334 608.01/608.21 c nbDecision=211500 #constraints=44425 609.71/609.98 c nbDecision=212000 #constraints=44490 611.61/611.89 c nbDecision=212500 #constraints=44577 613.61/613.84 c nbDecision=213000 #constraints=44643 617.81/618.00 c nbDecision=213500 #constraints=44772 619.90/620.16 c nbDecision=214000 #constraints=44848 621.50/621.77 c nbDecision=214500 #constraints=44920 626.71/626.93 c nbDecision=215000 #constraints=45029 629.60/629.83 c nbDecision=215500 #constraints=45183 632.60/632.83 c nbDecision=216000 #constraints=45260 636.91/637.16 c nbDecision=216500 #constraints=45352 639.21/639.42 c nbDecision=217000 #constraints=45426 641.01/641.28 c nbDecision=217500 #constraints=45540 643.11/643.36 c nbDecision=218000 #constraints=45635 644.80/645.05 c nbDecision=218500 #constraints=45729 648.81/649.07 c nbDecision=219000 #constraints=45823 651.40/651.66 c nbDecision=219500 #constraints=45970 653.90/654.18 c nbDecision=220000 #constraints=46081 658.50/658.75 c nbDecision=220500 #constraints=46193 662.50/662.73 c nbDecision=221000 #constraints=46310 664.30/664.59 c nbDecision=221500 #constraints=46433 666.00/666.27 c nbDecision=222000 #constraints=46536 668.90/669.10 c nbDecision=222500 #constraints=46614 671.29/671.51 c nbDecision=223000 #constraints=46712 675.20/675.48 c nbDecision=223500 #constraints=46794 681.69/681.95 c nbDecision=224000 #constraints=46936 686.09/686.35 c nbDecision=224500 #constraints=47084 689.69/689.91 c nbDecision=225000 #constraints=47177 691.59/691.89 c nbDecision=225500 #constraints=47295 693.59/693.81 c nbDecision=226000 #constraints=47415 695.69/695.92 c nbDecision=226500 #constraints=47515 698.29/698.53 c nbDecision=227000 #constraints=47575 701.38/701.62 c nbDecision=227500 #constraints=47652 708.98/709.22 c nbDecision=228000 #constraints=47756 712.78/713.05 c nbDecision=228500 #constraints=47854 715.68/715.91 c nbDecision=229000 #constraints=47931 717.38/717.60 c nbDecision=229500 #constraints=48008 720.29/720.50 c nbDecision=230000 #constraints=48070 722.39/722.68 c nbDecision=230500 #constraints=48130 724.48/724.76 c nbDecision=231000 #constraints=48190 726.38/726.68 c nbDecision=231500 #constraints=48263 728.18/728.41 c nbDecision=232000 #constraints=48335 730.28/730.54 c nbDecision=232500 #constraints=48413 732.18/732.43 c nbDecision=233000 #constraints=48481 733.98/734.29 c nbDecision=233500 #constraints=48556 735.88/736.16 c nbDecision=234000 #constraints=48627 737.68/737.96 c nbDecision=234500 #constraints=48698 739.58/739.86 c nbDecision=235000 #constraints=48752 741.28/741.58 c nbDecision=235500 #constraints=48816 743.08/743.34 c nbDecision=236000 #constraints=48871 744.88/745.11 c nbDecision=236500 #constraints=48931 746.58/746.83 c nbDecision=237000 #constraints=48982 748.38/748.60 c nbDecision=237500 #constraints=49038 750.18/750.46 c nbDecision=238000 #constraints=49125 751.77/752.04 c nbDecision=238500 #constraints=49231 753.57/753.85 c nbDecision=239000 #constraints=49303 755.77/756.01 c nbDecision=239500 #constraints=49463 757.27/757.54 c nbDecision=240000 #constraints=49582 758.78/759.06 c nbDecision=240500 #constraints=49700 760.57/760.83 c nbDecision=241000 #constraints=49768 762.17/762.41 c nbDecision=241500 #constraints=49846 764.07/764.32 c nbDecision=242000 #constraints=49911 765.77/766.00 c nbDecision=242500 #constraints=49988 767.57/767.87 c nbDecision=243000 #constraints=50073 769.27/769.56 c nbDecision=243500 #constraints=50135 771.07/771.33 c nbDecision=244000 #constraints=50192 773.17/773.47 c nbDecision=244500 #constraints=50250 775.07/775.33 c nbDecision=245000 #constraints=50316 776.57/776.87 c nbDecision=245500 #constraints=50372 778.26/778.53 c nbDecision=246000 #constraints=50481 780.16/780.46 c nbDecision=246500 #constraints=50569 781.96/782.24 c nbDecision=247000 #constraints=50636 783.66/783.97 c nbDecision=247500 #constraints=50678 785.36/785.64 c nbDecision=248000 #constraints=50786 787.16/787.45 c nbDecision=248500 #constraints=50848 789.16/789.46 c nbDecision=249000 #constraints=50948 791.16/791.40 c nbDecision=249500 #constraints=50996 792.76/793.09 c nbDecision=250000 #constraints=51063 794.66/794.95 c nbDecision=250500 #constraints=51109 796.36/796.63 c nbDecision=251000 #constraints=51173 798.05/798.35 c nbDecision=251500 #constraints=51226 799.75/800.03 c nbDecision=252000 #constraints=51306 801.45/801.73 c nbDecision=252500 #constraints=51364 803.25/803.56 c nbDecision=253000 #constraints=51438 805.25/805.59 c nbDecision=253500 #constraints=51512 806.85/807.16 c nbDecision=254000 #constraints=51568 808.45/808.73 c nbDecision=254500 #constraints=51647 810.16/810.40 c nbDecision=255000 #constraints=51701 811.86/812.19 c nbDecision=255500 #constraints=51753 813.46/813.72 c nbDecision=256000 #constraints=51820 815.16/815.48 c nbDecision=256500 #constraints=51878 816.96/817.23 c nbDecision=257000 #constraints=51925 818.45/818.76 c nbDecision=257500 #constraints=51977 820.05/820.34 c nbDecision=258000 #constraints=52040 821.55/821.82 c nbDecision=258500 #constraints=52091 823.35/823.61 c nbDecision=259000 #constraints=52154 824.76/825.02 c nbDecision=259500 #constraints=52203 826.35/826.64 c nbDecision=260000 #constraints=52260 827.96/828.27 c nbDecision=260500 #constraints=52330 829.55/829.84 c nbDecision=261000 #constraints=52426 831.35/831.61 c nbDecision=261500 #constraints=52472 832.55/832.88 c nbDecision=262000 #constraints=52564 833.65/833.90 c nbDecision=262500 #constraints=52670 834.95/835.28 c nbDecision=263000 #constraints=52790 836.95/837.24 c nbDecision=263500 #constraints=52862 839.05/839.37 c nbDecision=264000 #constraints=52934 840.45/840.74 c nbDecision=264500 #constraints=53010 842.44/842.79 c nbDecision=265000 #constraints=53090 844.74/845.07 c nbDecision=265500 #constraints=53178 847.24/847.56 c nbDecision=266000 #constraints=53249 851.34/851.64 c nbDecision=266500 #constraints=53294 853.34/853.69 c nbDecision=267000 #constraints=53361 857.04/857.34 c nbDecision=267500 #constraints=53439 858.84/859.13 c nbDecision=268000 #constraints=53516 860.94/861.23 c nbDecision=268500 #constraints=53584 862.93/863.27 c nbDecision=269000 #constraints=53690 865.03/865.30 c nbDecision=269500 #constraints=53772 867.33/867.65 c nbDecision=270000 #constraints=53849 870.23/870.57 c nbDecision=270500 #constraints=53894 873.04/873.34 c nbDecision=271000 #constraints=53947 874.73/875.06 c nbDecision=271500 #constraints=54014 876.53/876.87 c nbDecision=272000 #constraints=54084 878.53/878.86 c nbDecision=272500 #constraints=54132 880.43/880.79 c nbDecision=273000 #constraints=54178 882.43/882.75 c nbDecision=273500 #constraints=54237 884.14/884.42 c nbDecision=274000 #constraints=54317 885.93/886.27 c nbDecision=274500 #constraints=54371 887.73/888.01 c nbDecision=275000 #constraints=54429 890.53/890.87 c nbDecision=275500 #constraints=54528 893.13/893.48 c nbDecision=276000 #constraints=54587 895.43/895.79 c nbDecision=276500 #constraints=54658 897.73/898.08 c nbDecision=277000 #constraints=54756 899.73/900.03 c nbDecision=277500 #constraints=54818 903.72/904.06 c nbDecision=278000 #constraints=54868 907.42/907.72 c nbDecision=278500 #constraints=54920 910.72/911.00 c nbDecision=279000 #constraints=54961 912.32/912.69 c nbDecision=279500 #constraints=55055 914.32/914.64 c nbDecision=280000 #constraints=55116 916.52/916.83 c nbDecision=280500 #constraints=55182 918.62/918.92 c nbDecision=281000 #constraints=55240 920.62/920.92 c nbDecision=281500 #constraints=55310 922.82/923.10 c nbDecision=282000 #constraints=55386 924.72/925.09 c nbDecision=282500 #constraints=55448 926.52/926.84 c nbDecision=283000 #constraints=55515 929.12/929.48 c nbDecision=283500 #constraints=55584 930.92/931.26 c nbDecision=284000 #constraints=55688 933.22/933.50 c nbDecision=284500 #constraints=55762 935.01/935.30 c nbDecision=285000 #constraints=55810 936.81/937.18 c nbDecision=285500 #constraints=55878 938.71/939.05 c nbDecision=286000 #constraints=55931 940.41/940.75 c nbDecision=286500 #constraints=55974 942.31/942.68 c nbDecision=287000 #constraints=56060 944.40/944.76 c nbDecision=287500 #constraints=56167 947.10/947.40 c nbDecision=288000 #constraints=56235 950.70/951.08 c nbDecision=288500 #constraints=56288 953.60/953.92 c nbDecision=289000 #constraints=56382 955.40/955.75 c nbDecision=289500 #constraints=56457 958.51/958.88 c nbDecision=290000 #constraints=56531 961.21/961.53 c nbDecision=290500 #constraints=56590 963.11/963.47 c nbDecision=291000 #constraints=56636 966.71/967.05 c nbDecision=291500 #constraints=56708 969.81/970.14 c nbDecision=292000 #constraints=56760 971.60/971.91 c nbDecision=292500 #constraints=56854 973.60/973.90 c nbDecision=293000 #constraints=56910 975.80/976.19 c nbDecision=293500 #constraints=56995 978.10/978.43 c nbDecision=294000 #constraints=57054 980.40/980.75 c nbDecision=294500 #constraints=57117 982.30/982.63 c nbDecision=295000 #constraints=57197 984.80/985.18 c nbDecision=295500 #constraints=57257 986.70/987.01 c nbDecision=296000 #constraints=57336 988.90/989.21 c nbDecision=296500 #constraints=57402 990.80/991.14 c nbDecision=297000 #constraints=57466 992.90/993.26 c nbDecision=297500 #constraints=57539 994.89/995.26 c nbDecision=298000 #constraints=57587 996.89/997.29 c nbDecision=298500 #constraints=57636 1000.39/1000.73 c nbDecision=299000 #constraints=57704 1003.19/1003.54 c nbDecision=299500 #constraints=57780 1005.79/1006.14 c nbDecision=300000 #constraints=57875 1008.29/1008.63 c nbDecision=300500 #constraints=57942 1010.79/1011.18 c nbDecision=301000 #constraints=58014 1013.18/1013.58 c nbDecision=301500 #constraints=58093 1015.08/1015.48 c nbDecision=302000 #constraints=58167 1017.68/1018.07 c nbDecision=302500 #constraints=58243 1019.78/1020.16 c nbDecision=303000 #constraints=58343 1021.88/1022.23 c nbDecision=303500 #constraints=58405 1024.18/1024.57 c nbDecision=304000 #constraints=58473 1026.68/1027.04 c nbDecision=304500 #constraints=58521 1030.38/1030.74 c nbDecision=305000 #constraints=58568 1033.58/1033.97 c nbDecision=305500 #constraints=58621 1036.28/1036.68 c nbDecision=306000 #constraints=58690 1039.08/1039.43 c nbDecision=306500 #constraints=58750 1041.28/1041.61 c nbDecision=307000 #constraints=58817 1043.18/1043.57 c nbDecision=307500 #constraints=58863 1045.27/1045.60 c nbDecision=308000 #constraints=58942 1047.88/1048.24 c nbDecision=308500 #constraints=58993 1051.97/1052.39 c nbDecision=309000 #constraints=59031 1054.07/1054.46 c nbDecision=309500 #constraints=59089 1056.97/1057.34 c nbDecision=310000 #constraints=59142 1058.78/1059.11 c nbDecision=310500 #constraints=59208 1061.08/1061.45 c nbDecision=311000 #constraints=59255 1065.07/1065.46 c nbDecision=311500 #constraints=59291 1067.78/1068.11 c nbDecision=312000 #constraints=59368 1070.67/1071.04 c nbDecision=312500 #constraints=59434 1074.67/1075.04 c nbDecision=313000 #constraints=59471 1077.27/1077.67 c nbDecision=313500 #constraints=59522 1079.57/1079.93 c nbDecision=314000 #constraints=59599 1082.87/1083.27 c nbDecision=314500 #constraints=59648 1086.27/1086.61 c nbDecision=315000 #constraints=59727 1089.57/1089.99 c nbDecision=315500 #constraints=59787 1091.67/1092.03 c nbDecision=316000 #constraints=59873 1093.66/1094.00 c nbDecision=316500 #constraints=59919 1096.86/1097.24 c nbDecision=317000 #constraints=59957 1099.76/1100.10 c nbDecision=317500 #constraints=60024 1102.36/1102.70 c nbDecision=318000 #constraints=60076 1105.36/1105.73 c nbDecision=318500 #constraints=60146 1107.86/1108.29 c nbDecision=319000 #constraints=60222 1109.86/1110.25 c nbDecision=319500 #constraints=60279 1111.76/1112.14 c nbDecision=320000 #constraints=60350 1115.06/1115.48 c nbDecision=320500 #constraints=60404 1118.55/1118.91 c nbDecision=321000 #constraints=60478 1121.15/1121.56 c nbDecision=321500 #constraints=60555 1123.35/1123.75 c nbDecision=322000 #constraints=60625 1125.85/1126.29 c nbDecision=322500 #constraints=60716 1127.95/1128.32 c nbDecision=323000 #constraints=60793 1131.05/1131.42 c nbDecision=323500 #constraints=60850 1138.34/1138.70 c nbDecision=324000 #constraints=60975 1154.05/1154.48 c nbDecision=324500 #constraints=61130 1160.94/1161.30 c nbDecision=325000 #constraints=61256 1163.74/1164.16 c nbDecision=325500 #constraints=61371 1168.04/1168.42 c nbDecision=326000 #constraints=61476 1172.24/1172.68 c nbDecision=326500 #constraints=61581 1174.74/1175.12 c nbDecision=327000 #constraints=61693 1176.64/1177.05 c nbDecision=327500 #constraints=61803 1179.34/1179.74 c nbDecision=328000 #constraints=61906 1184.53/1184.96 c nbDecision=328500 #constraints=61999 1188.83/1189.21 c nbDecision=329000 #constraints=62068 1191.63/1192.07 c nbDecision=329500 #constraints=62182 1194.14/1194.57 c nbDecision=330000 #constraints=62246 1196.63/1197.00 c nbDecision=330500 #constraints=62325 1199.13/1199.53 c nbDecision=331000 #constraints=62394 1202.03/1202.48 c nbDecision=331500 #constraints=62449 1204.73/1205.11 c nbDecision=332000 #constraints=62515 1207.93/1208.36 c nbDecision=332500 #constraints=62572 1210.83/1211.26 c nbDecision=333000 #constraints=62637 1213.72/1214.12 c nbDecision=333500 #constraints=62701 1216.72/1217.17 c nbDecision=334000 #constraints=62758 1220.53/1220.94 c nbDecision=334500 #constraints=62800 1224.62/1225.08 c nbDecision=335000 #constraints=62835 1227.22/1227.66 c nbDecision=335500 #constraints=62878 1229.32/1229.75 c nbDecision=336000 #constraints=62949 1231.82/1232.27 c nbDecision=336500 #constraints=62993 1234.82/1235.22 c nbDecision=337000 #constraints=63057 1238.12/1238.57 c nbDecision=337500 #constraints=63122 1241.92/1242.34 c nbDecision=338000 #constraints=63174 1243.82/1244.28 c nbDecision=338500 #constraints=63233 1245.12/1245.54 c nbDecision=339000 #constraints=63305 1246.52/1246.99 c nbDecision=339500 #constraints=63373 1248.13/1248.57 c nbDecision=340000 #constraints=63431 1251.22/1251.67 c nbDecision=340500 #constraints=63486 1253.12/1253.54 c nbDecision=341000 #constraints=63534 1254.42/1254.87 c nbDecision=341500 #constraints=63619 1257.92/1258.30 c nbDecision=342000 #constraints=63661 1261.02/1261.46 c nbDecision=342500 #constraints=63730 1262.92/1263.38 c nbDecision=343000 #constraints=63784 1266.82/1267.28 c nbDecision=343500 #constraints=63828 1269.32/1269.78 c nbDecision=344000 #constraints=63899 1271.41/1271.87 c nbDecision=344500 #constraints=63946 1273.91/1274.36 c nbDecision=345000 #constraints=64010 1276.21/1276.64 c nbDecision=345500 #constraints=64074 1278.61/1279.02 c nbDecision=346000 #constraints=64133 1281.21/1281.69 c nbDecision=346500 #constraints=64187 1282.81/1283.24 c nbDecision=347000 #constraints=64260 1283.91/1284.36 c nbDecision=347500 #constraints=64349 1284.91/1285.37 c nbDecision=348000 #constraints=64452 1287.81/1288.24 c nbDecision=348500 #constraints=64519 1289.91/1290.32 c nbDecision=349000 #constraints=64603 1292.41/1292.83 c nbDecision=349500 #constraints=64669 1294.60/1295.05 c nbDecision=350000 #constraints=64722 1298.00/1298.49 c nbDecision=350500 #constraints=64778 1302.00/1302.48 c nbDecision=351000 #constraints=64815 1303.60/1304.08 c nbDecision=351500 #constraints=64874 1304.80/1305.23 c nbDecision=352000 #constraints=64986 1305.40/1305.87 c nbDecision=352500 #constraints=65130 1306.10/1306.57 c nbDecision=353000 #constraints=65267 1306.70/1307.19 c nbDecision=353500 #constraints=65400 1307.50/1307.98 c nbDecision=354000 #constraints=65526 1309.00/1309.49 c nbDecision=354500 #constraints=65672 1310.70/1311.18 c nbDecision=355000 #constraints=65820 1311.60/1312.00 c nbDecision=355500 #constraints=65920 1312.50/1312.93 c nbDecision=356000 #constraints=66072 1314.20/1314.61 c nbDecision=356500 #constraints=66199 1315.60/1316.08 c nbDecision=357000 #constraints=66355 1317.00/1317.47 c nbDecision=357500 #constraints=66483 1318.10/1318.50 c nbDecision=358000 #constraints=66608 1319.50/1320.00 c nbDecision=358500 #constraints=66756 1320.90/1321.34 c nbDecision=359000 #constraints=66916 1322.90/1323.38 c nbDecision=359500 #constraints=67070 1324.90/1325.39 c nbDecision=360000 #constraints=67233 1326.40/1326.83 c nbDecision=360500 #constraints=67356 1328.30/1328.74 c nbDecision=361000 #constraints=67506 1330.39/1330.89 c nbDecision=361500 #constraints=67651 1332.59/1333.07 c nbDecision=362000 #constraints=67790 1334.29/1334.73 c nbDecision=362500 #constraints=67944 1336.29/1336.71 c nbDecision=363000 #constraints=68067 1337.99/1338.40 c nbDecision=363500 #constraints=68185 1339.99/1340.47 c nbDecision=364000 #constraints=68318 1341.89/1342.32 c nbDecision=364500 #constraints=68464 1343.29/1343.76 c nbDecision=365000 #constraints=68598 1344.89/1345.36 c nbDecision=365500 #constraints=68756 1346.69/1347.14 c nbDecision=366000 #constraints=68893 1349.09/1349.51 c nbDecision=366500 #constraints=69033 1351.39/1351.84 c nbDecision=367000 #constraints=69176 1352.99/1353.43 c nbDecision=367500 #constraints=69298 1355.08/1355.57 c nbDecision=368000 #constraints=69413 1356.99/1357.47 c nbDecision=368500 #constraints=69579 1359.48/1359.91 c nbDecision=369000 #constraints=69679 1361.88/1362.31 c nbDecision=369500 #constraints=69824 1364.08/1364.50 c nbDecision=370000 #constraints=69945 1366.38/1366.84 c nbDecision=370500 #constraints=70080 1368.28/1368.77 c nbDecision=371000 #constraints=70227 1370.28/1370.71 c nbDecision=371500 #constraints=70372 1372.48/1372.93 c nbDecision=372000 #constraints=70454 1374.18/1374.66 c nbDecision=372500 #constraints=70587 1376.18/1376.66 c nbDecision=373000 #constraints=70699 1378.17/1378.63 c nbDecision=373500 #constraints=70773 1379.47/1379.96 c nbDecision=374000 #constraints=70909 1381.97/1382.43 c nbDecision=374500 #constraints=71067 1384.38/1384.85 c nbDecision=375000 #constraints=71207 1386.48/1386.96 c nbDecision=375500 #constraints=71333 1389.18/1389.69 c nbDecision=376000 #constraints=71503 1391.28/1391.75 c nbDecision=376500 #constraints=71634 1393.98/1394.43 c nbDecision=377000 #constraints=71772 1395.78/1396.26 c nbDecision=377500 #constraints=71896 1398.58/1399.00 c nbDecision=378000 #constraints=72053 1399.78/1400.23 c nbDecision=378500 #constraints=72197 1402.17/1402.63 c nbDecision=379000 #constraints=72327 1404.77/1405.25 c nbDecision=379500 #constraints=72473 1407.37/1407.84 c nbDecision=380000 #constraints=72615 1409.78/1410.25 c nbDecision=380500 #constraints=72733 1411.47/1411.92 c nbDecision=381000 #constraints=72860 1413.47/1413.97 c nbDecision=381500 #constraints=72970 1416.07/1416.59 c nbDecision=382000 #constraints=73135 1418.67/1419.19 c nbDecision=382500 #constraints=73274 1421.57/1422.04 c nbDecision=383000 #constraints=73422 1423.57/1424.01 c nbDecision=383500 #constraints=73555 1426.47/1426.94 c nbDecision=384000 #constraints=73706 1429.57/1430.07 c nbDecision=384500 #constraints=73834 1432.26/1432.73 c nbDecision=385000 #constraints=73956 1434.46/1434.97 c nbDecision=385500 #constraints=74075 1437.36/1437.86 c nbDecision=386000 #constraints=74221 1439.26/1439.75 c nbDecision=386500 #constraints=74332 1440.57/1441.06 c nbDecision=387000 #constraints=74424 1443.66/1444.12 c nbDecision=387500 #constraints=74586 1445.66/1446.20 c nbDecision=388000 #constraints=74683 1448.66/1449.10 c nbDecision=388500 #constraints=74784 1451.96/1452.50 c nbDecision=389000 #constraints=74928 1455.06/1455.58 c nbDecision=389500 #constraints=75039 1457.85/1458.30 c nbDecision=390000 #constraints=75160 1459.85/1460.36 c nbDecision=390500 #constraints=75264 1461.25/1461.72 c nbDecision=391000 #constraints=75404 1464.15/1464.63 c nbDecision=391500 #constraints=75541 1467.45/1467.91 c nbDecision=392000 #constraints=75675 1470.65/1471.13 c nbDecision=392500 #constraints=75791 1473.75/1474.22 c nbDecision=393000 #constraints=75912 1476.75/1477.24 c nbDecision=393500 #constraints=76035 1480.05/1480.55 c nbDecision=394000 #constraints=76155 1484.15/1484.68 c nbDecision=394500 #constraints=76303 1487.25/1487.78 c nbDecision=395000 #constraints=76432 1490.55/1491.03 c nbDecision=395500 #constraints=76577 1493.45/1493.97 c nbDecision=396000 #constraints=76708 1495.75/1496.26 c nbDecision=396500 #constraints=76854 1499.25/1499.73 c nbDecision=397000 #constraints=76941 1501.34/1501.86 c nbDecision=397500 #constraints=77068 1504.35/1504.81 c nbDecision=398000 #constraints=77164 1507.65/1508.16 c nbDecision=398500 #constraints=77256 1510.34/1510.89 c nbDecision=399000 #constraints=77402 1512.54/1513.05 c nbDecision=399500 #constraints=77493 1516.14/1516.65 c nbDecision=400000 #constraints=77658 1520.24/1520.75 c nbDecision=400500 #constraints=77841 1523.33/1523.87 c nbDecision=401000 #constraints=77950 1527.03/1527.52 c nbDecision=401500 #constraints=78058 1530.33/1530.87 c nbDecision=402000 #constraints=78196 1533.63/1534.17 c nbDecision=402500 #constraints=78305 1536.93/1537.49 c nbDecision=403000 #constraints=78429 1540.13/1540.67 c nbDecision=403500 #constraints=78553 1543.03/1543.51 c nbDecision=404000 #constraints=78632 1546.23/1546.71 c nbDecision=404500 #constraints=78731 1549.93/1550.42 c nbDecision=405000 #constraints=78880 1553.42/1553.94 c nbDecision=405500 #constraints=79000 1556.42/1556.96 c nbDecision=406000 #constraints=79142 1559.33/1559.89 c nbDecision=406500 #constraints=79261 1562.73/1563.20 c nbDecision=407000 #constraints=79370 1565.83/1566.32 c nbDecision=407500 #constraints=79446 1569.23/1569.77 c nbDecision=408000 #constraints=79552 1573.02/1573.55 c nbDecision=408500 #constraints=79677 1576.93/1577.41 c nbDecision=409000 #constraints=79811 1579.52/1580.04 c nbDecision=409500 #constraints=79962 1579.72/1580.24 c restart after 409601 decisions 1588.02/1588.51 c nbDecision=410000 #constraints=80105 1598.82/1599.36 c nbDecision=410500 #constraints=80337 1603.22/1603.71 c nbDecision=411000 #constraints=80508 1607.71/1608.26 c nbDecision=411500 #constraints=80695 1612.81/1613.30 c nbDecision=412000 #constraints=80855 1619.30/1619.81 c nbDecision=412500 #constraints=81013 1623.90/1624.46 c nbDecision=413000 #constraints=81183 1628.00/1628.53 c nbDecision=413500 #constraints=81313 1634.40/1634.97 c nbDecision=414000 #constraints=81445 1638.21/1638.76 c nbDecision=414500 #constraints=81567 1642.30/1642.89 c nbDecision=415000 #constraints=81663 1646.80/1647.31 c nbDecision=415500 #constraints=81752 1650.90/1651.49 c nbDecision=416000 #constraints=81855 1655.60/1656.15 c nbDecision=416500 #constraints=81918 1660.00/1660.51 c nbDecision=417000 #constraints=81995 1665.29/1665.87 c nbDecision=417500 #constraints=82053 1669.99/1670.55 c nbDecision=418000 #constraints=82126 1674.49/1675.02 c nbDecision=418500 #constraints=82222 1679.09/1679.68 c nbDecision=419000 #constraints=82290 1683.59/1684.16 c nbDecision=419500 #constraints=82384 1688.08/1688.62 c nbDecision=420000 #constraints=82454 1692.78/1693.32 c nbDecision=420500 #constraints=82515 1697.48/1698.02 c nbDecision=421000 #constraints=82577 1701.88/1702.43 c nbDecision=421500 #constraints=82658 1706.48/1707.01 c nbDecision=422000 #constraints=82740 1711.08/1711.65 c nbDecision=422500 #constraints=82804 1715.17/1715.79 c nbDecision=423000 #constraints=82907 1722.77/1723.34 c nbDecision=423500 #constraints=83014 1727.17/1727.75 c nbDecision=424000 #constraints=83091 1731.97/1732.55 c nbDecision=424500 #constraints=83156 1736.57/1737.17 c nbDecision=425000 #constraints=83239 1740.68/1741.21 c nbDecision=425500 #constraints=83327 1745.27/1745.87 c nbDecision=426000 #constraints=83409 1749.37/1749.94 c nbDecision=426500 #constraints=83497 1754.27/1754.80 c nbDecision=427000 #constraints=83557 1758.77/1759.35 c nbDecision=427500 #constraints=83614 1763.27/1763.81 c nbDecision=428000 #constraints=83677 1767.77/1768.34 c nbDecision=428500 #constraints=83731 1771.96/1772.52 c nbDecision=429000 #constraints=83798 1776.46/1777.09 c nbDecision=429500 #constraints=83861 1780.96/1781.57 c nbDecision=430000 #constraints=83928 1785.56/1786.12 c nbDecision=430500 #constraints=83990 1789.65/1790.24 c nbDecision=431000 #constraints=84090 1794.15/1794.73 c nbDecision=431500 #constraints=84158 1798.25/1798.85 c nbDecision=432000 #constraints=84255 1800.06/1800.60 Received signal 15 1800.06/1800.61 1800.06/1800.61 s UNKNOWN 1800.06/1800.61 1800.06/1800.61 c user time= 1799.83 s 1800.06/1800.61 c system time= 0.247962 s 1800.06/1800.61 c wall clock time=1800.62
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node11/watcher-356898-1176847348 -o ROOT/results/node11/solver-356898-1176847348 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356898-1176847348/instance-356898-1176847348.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.97 2/77 30426 /proc/meminfo: memFree=1823160/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=1468 CPUtime=0 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 125783770 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 367 163 131 317 0 46 0 [startup+0.0965539 s] /proc/loadavg: 0.92 0.98 0.97 2/77 30426 /proc/meminfo: memFree=1823160/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=3324 CPUtime=0.09 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 616 0 0 0 9 0 0 0 18 0 1 0 125783770 3403776 598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 831 598 131 317 0 510 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3324 [startup+0.101555 s] /proc/loadavg: 0.92 0.98 0.97 2/77 30426 /proc/meminfo: memFree=1823160/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=3464 CPUtime=0.09 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 639 0 0 0 9 0 0 0 18 0 1 0 125783770 3547136 621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 866 621 131 317 0 545 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3464 [startup+0.301579 s] /proc/loadavg: 0.92 0.98 0.97 2/77 30426 /proc/meminfo: memFree=1823160/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=7420 CPUtime=0.29 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 1580 0 0 0 29 0 0 0 19 0 1 0 125783770 7598080 1496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 1855 1496 131 317 0 1534 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7420 [startup+0.701626 s] /proc/loadavg: 0.92 0.98 0.97 2/77 30426 /proc/meminfo: memFree=1823160/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=14872 CPUtime=0.69 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 3335 0 0 0 68 1 0 0 23 0 1 0 125783770 15228928 3251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 3718 3251 139 317 0 3397 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14872 [startup+1.50172 s] /proc/loadavg: 0.92 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1810672/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=14872 CPUtime=1.49 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 3335 0 0 0 148 1 0 0 25 0 1 0 125783770 15228928 3251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 3718 3251 139 317 0 3397 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14872 [startup+3.10191 s] /proc/loadavg: 0.92 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1810544/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=14872 CPUtime=3.09 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 3347 0 0 0 308 1 0 0 25 0 1 0 125783770 15228928 3263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 3718 3263 139 317 0 3397 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14872 [startup+6.30129 s] /proc/loadavg: 0.93 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1810288/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=15000 CPUtime=6.29 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 3389 0 0 0 628 1 0 0 25 0 1 0 125783770 15360000 3305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 3750 3305 139 317 0 3429 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15000 [startup+12.701 s] /proc/loadavg: 0.93 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1809720/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=15612 CPUtime=12.69 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 3528 0 0 0 1268 1 0 0 25 0 1 0 125783770 15986688 3444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716161 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 3903 3444 139 317 0 3582 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15612 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1808504/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=16756 CPUtime=25.48 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 3821 0 0 0 2547 1 0 0 25 0 1 0 125783770 17158144 3737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718570 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 4189 3737 139 317 0 3868 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16756 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.97 3/78 30427 /proc/meminfo: memFree=1806328/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=18960 CPUtime=51.07 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 4405 0 0 0 5105 2 0 0 25 0 1 0 125783770 19415040 4264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 4740 4264 139 317 0 4419 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 18960 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1803576/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=21924 CPUtime=102.26 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 5154 0 0 0 10223 3 0 0 25 0 1 0 125783770 22450176 4900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 5481 4900 139 317 0 5160 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 21924 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1802296/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=23376 CPUtime=162.25 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 5516 0 0 0 16220 5 0 0 25 0 1 0 125783770 23937024 5262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384579 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 5844 5262 139 317 0 5523 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 23376 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1800312/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=25072 CPUtime=222.23 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 5996 0 0 0 22217 6 0 0 25 0 1 0 125783770 25673728 5742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 6268 5742 139 317 0 5947 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 25072 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1798912/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=26424 CPUtime=282.21 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 6331 0 0 0 28215 6 0 0 25 0 1 0 125783770 27058176 6077 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 6606 6077 139 317 0 6285 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 26424 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.97 3/78 30427 /proc/meminfo: memFree=1796288/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=29768 CPUtime=342.19 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 7177 0 0 0 34212 7 0 0 25 0 1 0 125783770 30482432 6664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 7442 6664 139 317 0 7121 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 29768 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1796032/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=30024 CPUtime=402.17 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 7284 0 0 0 40209 8 0 0 25 0 1 0 125783770 30744576 6771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194613 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 7506 6771 139 317 0 7185 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 30024 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1795008/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=31060 CPUtime=462.15 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 7560 0 0 0 46206 9 0 0 25 0 1 0 125783770 31805440 7014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 7765 7014 139 317 0 7444 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 31060 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1794176/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=31840 CPUtime=522.14 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 7784 0 0 0 52204 10 0 0 25 0 1 0 125783770 32604160 7238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 7960 7238 139 317 0 7639 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 31840 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1793472/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=32484 CPUtime=582.12 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 7956 0 0 0 58202 10 0 0 25 0 1 0 125783770 33263616 7410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 8121 7410 139 317 0 7800 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 32484 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1792448/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=33520 CPUtime=642.11 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 8204 0 0 0 64200 11 0 0 25 0 1 0 125783770 34324480 7658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 8380 7658 139 317 0 8059 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 33520 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1789696/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=35940 CPUtime=822.05 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 8859 0 0 0 82192 13 0 0 25 0 1 0 125783770 36802560 8313 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563761 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 8985 8313 139 317 0 8664 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 35940 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1788864/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=36716 CPUtime=882.03 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 9077 0 0 0 88190 13 0 0 25 0 1 0 125783770 37597184 8531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 9179 8531 139 317 0 8858 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 36716 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1788096/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=37360 CPUtime=942.01 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 9259 0 0 0 94187 14 0 0 25 0 1 0 125783770 38256640 8713 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 9340 8713 139 317 0 9019 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 37360 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.97 3/78 30427 /proc/meminfo: memFree=1787392/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=38008 CPUtime=1001.99 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 9429 0 0 0 100184 15 0 0 25 0 1 0 125783770 38920192 8883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384506 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 9502 8883 139 317 0 9181 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 38008 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1786752/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=38524 CPUtime=1061.97 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 9579 0 0 0 106181 16 0 0 25 0 1 0 125783770 39448576 9033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 9631 9033 139 317 0 9310 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 38524 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1786304/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=39356 CPUtime=1121.95 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 9773 0 0 0 112179 16 0 0 25 0 1 0 125783770 40300544 9162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 9839 9162 139 317 0 9518 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 39356 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1785728/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=39744 CPUtime=1181.94 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 9905 0 0 0 118177 17 0 0 25 0 1 0 125783770 40697856 9294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 9936 9294 139 317 0 9615 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 39744 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1785280/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=40128 CPUtime=1241.92 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 10025 0 0 0 124174 18 0 0 25 0 1 0 125783770 41091072 9414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385255 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 10032 9414 139 317 0 9711 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 40128 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1784576/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=40772 CPUtime=1301.9 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 10185 0 0 0 130172 18 0 0 25 0 1 0 125783770 41750528 9574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 10193 9574 139 317 0 9872 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 40772 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1781952/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=45200 CPUtime=1361.88 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 11357 0 0 0 136169 19 0 0 25 0 1 0 125783770 46284800 10231 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718521 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 11300 10231 139 317 0 10979 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 45200 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1780736/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=46376 CPUtime=1421.87 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 11658 0 0 0 142167 20 0 0 25 0 1 0 125783770 47489024 10532 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 11594 10532 139 317 0 11273 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 46376 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1779520/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=47724 CPUtime=1481.85 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 11989 0 0 0 148164 21 0 0 25 0 1 0 125783770 48869376 10830 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 11931 10830 139 317 0 11610 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 47724 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1778560/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=48680 CPUtime=1541.83 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 12249 0 0 0 154162 21 0 0 25 0 1 0 125783770 49848320 11090 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 12170 11090 139 317 0 11849 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 48680 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1777728/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=49488 CPUtime=1601.81 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 12441 0 0 0 160159 22 0 0 25 0 1 0 125783770 50675712 11282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 12372 11282 139 317 0 12051 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 49488 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1777024/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=50064 CPUtime=1661.79 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 12593 0 0 0 166156 23 0 0 25 0 1 0 125783770 51265536 11434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385274 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 12516 11434 139 317 0 12195 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 50064 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1776704/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=50452 CPUtime=1721.77 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 12693 0 0 0 172154 23 0 0 25 0 1 0 125783770 51662848 11534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 12613 11534 139 317 0 12292 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 50452 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30427 /proc/meminfo: memFree=1776256/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=50840 CPUtime=1781.76 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 12792 0 0 0 178152 24 0 0 25 0 1 0 125783770 52060160 11633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 12710 11633 139 317 0 12389 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 50840 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.97 3/78 30427 /proc/meminfo: memFree=1776128/2055920 swapFree=4135748/4192956 [pid=30426] ppid=30424 vsize=51132 CPUtime=1800.06 /proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 12835 0 0 0 179982 24 0 0 25 0 1 0 125783770 52359168 11676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716050 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30426/statm: 12783 11676 139 317 0 12462 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 51132 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.64 CPU time (s): 1800.1 CPU user time (s): 1799.85 CPU system time (s): 0.255961 CPU usage (%): 99.97 Max. virtual memory (cumulated for all children) (KiB): 51132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.85 system time used= 0.255961 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12851 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= 3859 runsolver used 2.15667 second user time and 4.44132 second system time The end
Begin job on node11 on Tue Apr 17 22:02:28 UTC 2007 IDJOB= 356898 IDBENCH= 1610 IDSOLVER= 172 FILE ID= node11/356898-1176847348 PBS_JOBID= 4590186 Free space on /tmp= 66302 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-blp-ic97.opb COMMAND LINE= oree /tmp/evaluation/356898-1176847348/instance-356898-1176847348.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-356898-1176847348 -o ROOT/results/node11/solver-356898-1176847348 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356898-1176847348/instance-356898-1176847348.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= aef7e3722fd5816dc0cbb2acb61edf83 RANDOM SEED= 269070345 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node11.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.235 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.235 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: 1823632 kB Buffers: 33392 kB Cached: 116544 kB SwapCached: 26660 kB Active: 102620 kB Inactive: 86452 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1823632 kB SwapTotal: 4192956 kB SwapFree: 4135748 kB Dirty: 2592 kB Writeback: 0 kB Mapped: 30368 kB Slab: 28708 kB Committed_AS: 6134980 kB PageTables: 1848 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= 66302 MiB End job on node11 on Tue Apr 17 22:32:31 UTC 2007