Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.09 | 1801.25 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-grow22.opb |
MD5SUM | 16450e6196a99d1fc33b5d9a0f64103d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1782.76 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 25124 |
Total number of constraints | 1320 |
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 | 1320 |
Minimum length of a constraint | 22 |
Maximum length of a constraint | 491 |
Number of terms in the objective function | 1958 |
Biggest coefficient in the objective function | 8399 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 525721 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 256781 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 525721 |
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.49/0.51 c ...done 0.49/0.51 c #vars=25124 #constraints=1761 hasObjective=yes 0.60/0.61 c res. mode=mod 0.60/0.61 c VSIDS like heuristics 0.60/0.61 c complete search running 0.90/0.99 c restart after 401 decisions 1.00/1.09 c nbDecision=500 #constraints=1761 1.30/1.38 c restart after 801 decisions 1.49/1.57 c nbDecision=1000 #constraints=1761 1.99/2.06 c nbDecision=1500 #constraints=1783 2.10/2.17 c restart after 1601 decisions 2.49/2.56 c nbDecision=2000 #constraints=1805 2.99/3.05 c nbDecision=2500 #constraints=1822 3.49/3.52 c nbDecision=3000 #constraints=1838 3.69/3.71 c restart after 3201 decisions 3.99/4.01 c nbDecision=3500 #constraints=1848 4.49/4.50 c nbDecision=4000 #constraints=1877 4.89/4.99 c nbDecision=4500 #constraints=1902 5.39/5.48 c nbDecision=5000 #constraints=1965 5.89/5.97 c nbDecision=5500 #constraints=2014 6.39/6.48 c nbDecision=6000 #constraints=2076 6.88/6.92 c restart after 6401 decisions 6.98/7.03 c nbDecision=6500 #constraints=2154 7.48/7.50 c nbDecision=7000 #constraints=2154 7.98/8.04 c nbDecision=7500 #constraints=2230 8.38/8.49 c nbDecision=8000 #constraints=2230 8.98/9.01 c nbDecision=8500 #constraints=2317 9.49/9.55 c nbDecision=9000 #constraints=2389 9.99/10.02 c nbDecision=9500 #constraints=2421 10.49/10.57 c nbDecision=10000 #constraints=2529 10.99/11.09 c nbDecision=10500 #constraints=2603 11.59/11.61 c nbDecision=11000 #constraints=2667 12.09/12.12 c nbDecision=11500 #constraints=2710 12.59/12.62 c nbDecision=12000 #constraints=2748 12.99/13.09 c nbDecision=12500 #constraints=2769 13.39/13.40 c restart after 12801 decisions 13.59/13.60 c nbDecision=13000 #constraints=2799 13.99/14.09 c nbDecision=13500 #constraints=2810 14.58/14.62 c nbDecision=14000 #constraints=2857 14.98/15.08 c nbDecision=14500 #constraints=2860 15.58/15.63 c nbDecision=15000 #constraints=2940 16.08/16.14 c nbDecision=15500 #constraints=2971 16.58/16.61 c nbDecision=16000 #constraints=2987 17.08/17.13 c nbDecision=16500 #constraints=3037 17.59/17.69 c nbDecision=17000 #constraints=3132 18.18/18.23 c nbDecision=17500 #constraints=3200 18.69/18.75 c nbDecision=18000 #constraints=3244 19.29/19.30 c nbDecision=18500 #constraints=3319 19.79/19.83 c nbDecision=19000 #constraints=3363 20.29/20.39 c nbDecision=19500 #constraints=3433 20.89/20.94 c nbDecision=20000 #constraints=3492 21.49/21.56 c nbDecision=20500 #constraints=3594 22.09/22.11 c nbDecision=21000 #constraints=3654 22.58/22.69 c nbDecision=21500 #constraints=3727 23.18/23.23 c nbDecision=22000 #constraints=3777 23.68/23.79 c nbDecision=22500 #constraints=3833 24.28/24.36 c nbDecision=23000 #constraints=3896 24.88/24.94 c nbDecision=23500 #constraints=3962 25.48/25.54 c nbDecision=24000 #constraints=4059 26.08/26.14 c nbDecision=24500 #constraints=4137 26.58/26.69 c nbDecision=25000 #constraints=4183 27.18/27.26 c nbDecision=25500 #constraints=4241 27.28/27.36 c restart after 25601 decisions 27.68/27.78 c nbDecision=26000 #constraints=4248 28.28/28.34 c nbDecision=26500 #constraints=4293 28.78/28.84 c nbDecision=27000 #constraints=4322 29.29/29.39 c nbDecision=27500 #constraints=4372 30.08/30.10 c nbDecision=28000 #constraints=4501 30.58/30.69 c nbDecision=28500 #constraints=4564 31.18/31.28 c nbDecision=29000 #constraints=4624 31.78/31.90 c nbDecision=29500 #constraints=4682 32.48/32.58 c nbDecision=30000 #constraints=4754 33.17/33.29 c nbDecision=30500 #constraints=4865 33.87/33.95 c nbDecision=31000 #constraints=4919 34.57/34.61 c nbDecision=31500 #constraints=4983 35.16/35.26 c nbDecision=32000 #constraints=5031 35.76/35.85 c nbDecision=32500 #constraints=5050 36.45/36.52 c nbDecision=33000 #constraints=5117 37.05/37.17 c nbDecision=33500 #constraints=5166 37.65/37.77 c nbDecision=34000 #constraints=5196 38.45/38.53 c nbDecision=34500 #constraints=5314 39.15/39.28 c nbDecision=35000 #constraints=5410 39.95/40.03 c nbDecision=35500 #constraints=5513 40.56/40.61 c nbDecision=36000 #constraints=5534 41.15/41.25 c nbDecision=36500 #constraints=5584 41.76/41.89 c nbDecision=37000 #constraints=5634 42.35/42.49 c nbDecision=37500 #constraints=5661 43.15/43.25 c nbDecision=38000 #constraints=5747 43.86/43.98 c nbDecision=38500 #constraints=5812 44.55/44.63 c nbDecision=39000 #constraints=5854 45.15/45.28 c nbDecision=39500 #constraints=5919 45.85/45.92 c nbDecision=40000 #constraints=5960 46.55/46.61 c nbDecision=40500 #constraints=6019 47.15/47.22 c nbDecision=41000 #constraints=6048 47.85/47.91 c nbDecision=41500 #constraints=6112 48.45/48.52 c nbDecision=42000 #constraints=6132 49.05/49.15 c nbDecision=42500 #constraints=6169 49.75/49.81 c nbDecision=43000 #constraints=6219 50.45/50.54 c nbDecision=43500 #constraints=6299 51.05/51.17 c nbDecision=44000 #constraints=6333 51.75/51.84 c nbDecision=44500 #constraints=6382 52.44/52.52 c nbDecision=45000 #constraints=6428 53.04/53.17 c nbDecision=45500 #constraints=6468 53.75/53.88 c nbDecision=46000 #constraints=6528 54.44/54.56 c nbDecision=46500 #constraints=6560 55.14/55.27 c nbDecision=47000 #constraints=6615 55.85/55.99 c nbDecision=47500 #constraints=6659 56.75/56.81 c nbDecision=48000 #constraints=6753 57.45/57.51 c nbDecision=48500 #constraints=6796 58.05/58.17 c nbDecision=49000 #constraints=6833 58.75/58.87 c nbDecision=49500 #constraints=6874 59.45/59.54 c nbDecision=50000 #constraints=6908 60.15/60.24 c nbDecision=50500 #constraints=6959 60.95/61.08 c nbDecision=51000 #constraints=7028 61.24/61.36 c restart after 51201 decisions 61.64/61.73 c nbDecision=51500 #constraints=7048 62.14/62.25 c nbDecision=52000 #constraints=7062 62.74/62.80 c nbDecision=52500 #constraints=7093 63.34/63.41 c nbDecision=53000 #constraints=7130 64.14/64.24 c nbDecision=53500 #constraints=7211 64.94/65.01 c nbDecision=54000 #constraints=7289 65.64/65.74 c nbDecision=54500 #constraints=7348 66.44/66.54 c nbDecision=55000 #constraints=7441 67.14/67.23 c nbDecision=55500 #constraints=7470 67.94/68.05 c nbDecision=56000 #constraints=7556 68.74/68.81 c nbDecision=56500 #constraints=7627 69.54/69.63 c nbDecision=57000 #constraints=7711 70.45/70.58 c nbDecision=57500 #constraints=7809 71.25/71.33 c nbDecision=58000 #constraints=7877 71.94/72.08 c nbDecision=58500 #constraints=7928 72.84/72.90 c nbDecision=59000 #constraints=7991 73.44/73.59 c nbDecision=59500 #constraints=8026 74.34/74.49 c nbDecision=60000 #constraints=8138 75.24/75.30 c nbDecision=60500 #constraints=8195 76.04/76.11 c nbDecision=61000 #constraints=8238 77.03/77.13 c nbDecision=61500 #constraints=8317 77.93/78.04 c nbDecision=62000 #constraints=8394 78.73/78.82 c nbDecision=62500 #constraints=8437 79.53/79.69 c nbDecision=63000 #constraints=8522 80.33/80.49 c nbDecision=63500 #constraints=8566 81.24/81.36 c nbDecision=64000 #constraints=8634 82.13/82.24 c nbDecision=64500 #constraints=8698 82.93/83.03 c nbDecision=65000 #constraints=8735 83.73/83.85 c nbDecision=65500 #constraints=8777 84.63/84.71 c nbDecision=66000 #constraints=8820 85.53/85.69 c nbDecision=66500 #constraints=8901 86.53/86.60 c nbDecision=67000 #constraints=8967 87.43/87.50 c nbDecision=67500 #constraints=9017 88.13/88.24 c nbDecision=68000 #constraints=9031 88.93/89.06 c nbDecision=68500 #constraints=9078 89.83/89.92 c nbDecision=69000 #constraints=9123 90.73/90.82 c nbDecision=69500 #constraints=9185 91.73/91.80 c nbDecision=70000 #constraints=9266 92.73/92.88 c nbDecision=70500 #constraints=9346 93.73/93.83 c nbDecision=71000 #constraints=9412 94.53/94.61 c nbDecision=71500 #constraints=9430 95.43/95.50 c nbDecision=72000 #constraints=9486 96.32/96.43 c nbDecision=72500 #constraints=9540 97.22/97.37 c nbDecision=73000 #constraints=9595 98.22/98.39 c nbDecision=73500 #constraints=9651 99.22/99.32 c nbDecision=74000 #constraints=9697 100.02/100.10 c nbDecision=74500 #constraints=9714 100.92/101.02 c nbDecision=75000 #constraints=9765 101.92/102.07 c nbDecision=75500 #constraints=9838 102.82/102.92 c nbDecision=76000 #constraints=9881 103.72/103.83 c nbDecision=76500 #constraints=9921 104.62/104.70 c nbDecision=77000 #constraints=9963 105.52/105.64 c nbDecision=77500 #constraints=10016 106.53/106.61 c nbDecision=78000 #constraints=10070 107.33/107.41 c nbDecision=78500 #constraints=10090 108.23/108.30 c nbDecision=79000 #constraints=10132 109.03/109.17 c nbDecision=79500 #constraints=10143 110.03/110.18 c nbDecision=80000 #constraints=10209 110.93/111.04 c nbDecision=80500 #constraints=10229 111.83/111.99 c nbDecision=81000 #constraints=10267 112.72/112.88 c nbDecision=81500 #constraints=10306 113.72/113.88 c nbDecision=82000 #constraints=10358 114.72/114.82 c nbDecision=82500 #constraints=10403 115.62/115.79 c nbDecision=83000 #constraints=10450 116.53/116.68 c nbDecision=83500 #constraints=10486 117.53/117.61 c nbDecision=84000 #constraints=10530 118.52/118.65 c nbDecision=84500 #constraints=10580 119.42/119.57 c nbDecision=85000 #constraints=10613 120.42/120.54 c nbDecision=85500 #constraints=10659 121.42/121.53 c nbDecision=86000 #constraints=10698 122.31/122.41 c nbDecision=86500 #constraints=10715 123.31/123.42 c nbDecision=87000 #constraints=10767 124.12/124.28 c nbDecision=87500 #constraints=10785 125.01/125.12 c nbDecision=88000 #constraints=10807 126.01/126.10 c nbDecision=88500 #constraints=10848 127.21/127.39 c nbDecision=89000 #constraints=10939 128.21/128.35 c nbDecision=89500 #constraints=10976 129.01/129.19 c nbDecision=90000 #constraints=10991 130.01/130.17 c nbDecision=90500 #constraints=11026 131.11/131.23 c nbDecision=91000 #constraints=11085 131.92/132.08 c nbDecision=91500 #constraints=11102 132.81/132.99 c nbDecision=92000 #constraints=11140 133.71/133.86 c nbDecision=92500 #constraints=11157 134.71/134.83 c nbDecision=93000 #constraints=11207 135.71/135.88 c nbDecision=93500 #constraints=11274 136.71/136.83 c nbDecision=94000 #constraints=11290 137.61/137.75 c nbDecision=94500 #constraints=11319 138.71/138.87 c nbDecision=95000 #constraints=11379 139.71/139.87 c nbDecision=95500 #constraints=11425 140.71/140.83 c nbDecision=96000 #constraints=11462 141.61/141.73 c nbDecision=96500 #constraints=11481 142.61/142.74 c nbDecision=97000 #constraints=11499 143.71/143.87 c nbDecision=97500 #constraints=11542 144.70/144.89 c nbDecision=98000 #constraints=11583 145.60/145.78 c nbDecision=98500 #constraints=11600 146.50/146.67 c nbDecision=99000 #constraints=11615 147.50/147.63 c nbDecision=99500 #constraints=11657 148.50/148.66 c nbDecision=100000 #constraints=11681 149.51/149.63 c nbDecision=100500 #constraints=11707 150.51/150.67 c nbDecision=101000 #constraints=11747 151.50/151.68 c nbDecision=101500 #constraints=11776 152.50/152.60 c nbDecision=102000 #constraints=11794 153.20/153.33 c restart after 102401 decisions 153.40/153.59 c nbDecision=102500 #constraints=11803 154.00/154.11 c nbDecision=103000 #constraints=11803 154.60/154.77 c nbDecision=103500 #constraints=11850 155.20/155.34 c nbDecision=104000 #constraints=11861 156.51/156.60 c nbDecision=104500 #constraints=11947 157.81/157.99 c nbDecision=105000 #constraints=12032 159.41/159.59 c nbDecision=105500 #constraints=12147 160.51/160.67 c nbDecision=106000 #constraints=12203 161.80/161.90 c nbDecision=106500 #constraints=12301 163.50/163.63 c nbDecision=107000 #constraints=12441 164.60/164.78 c nbDecision=107500 #constraints=12503 166.20/166.36 c nbDecision=108000 #constraints=12595 167.49/167.65 c nbDecision=108500 #constraints=12646 169.09/169.27 c nbDecision=109000 #constraints=12744 170.39/170.54 c nbDecision=109500 #constraints=12814 171.78/171.92 c nbDecision=110000 #constraints=12879 172.98/173.14 c nbDecision=110500 #constraints=12932 174.08/174.29 c nbDecision=111000 #constraints=12981 175.38/175.57 c nbDecision=111500 #constraints=13043 176.38/176.59 c nbDecision=112000 #constraints=13056 177.48/177.64 c nbDecision=112500 #constraints=13085 178.58/178.71 c nbDecision=113000 #constraints=13112 179.68/179.87 c nbDecision=113500 #constraints=13153 181.09/181.20 c nbDecision=114000 #constraints=13231 182.39/182.56 c nbDecision=114500 #constraints=13290 183.99/184.13 c nbDecision=115000 #constraints=13380 185.29/185.48 c nbDecision=115500 #constraints=13435 186.49/186.61 c nbDecision=116000 #constraints=13464 187.78/187.93 c nbDecision=116500 #constraints=13518 188.88/189.06 c nbDecision=117000 #constraints=13552 190.48/190.63 c nbDecision=117500 #constraints=13623 192.39/192.52 c nbDecision=118000 #constraints=13723 193.68/193.85 c nbDecision=118500 #constraints=13770 194.98/195.13 c nbDecision=119000 #constraints=13817 196.58/196.70 c nbDecision=119500 #constraints=13902 197.68/197.88 c nbDecision=120000 #constraints=13934 198.88/199.09 c nbDecision=120500 #constraints=13994 200.08/200.27 c nbDecision=121000 #constraints=14032 201.38/201.50 c nbDecision=121500 #constraints=14078 202.78/202.92 c nbDecision=122000 #constraints=14129 204.07/204.25 c nbDecision=122500 #constraints=14160 205.17/205.35 c nbDecision=123000 #constraints=14179 206.37/206.58 c nbDecision=123500 #constraints=14229 207.47/207.68 c nbDecision=124000 #constraints=14250 208.67/208.86 c nbDecision=124500 #constraints=14290 210.27/210.47 c nbDecision=125000 #constraints=14378 211.57/211.79 c nbDecision=125500 #constraints=14430 212.86/213.00 c nbDecision=126000 #constraints=14482 214.06/214.24 c nbDecision=126500 #constraints=14520 215.26/215.47 c nbDecision=127000 #constraints=14548 216.97/217.10 c nbDecision=127500 #constraints=14624 218.17/218.39 c nbDecision=128000 #constraints=14664 219.56/219.73 c nbDecision=128500 #constraints=14728 220.66/220.86 c nbDecision=129000 #constraints=14752 222.07/222.26 c nbDecision=129500 #constraints=14789 223.26/223.42 c nbDecision=130000 #constraints=14809 224.56/224.72 c nbDecision=130500 #constraints=14845 225.96/226.10 c nbDecision=131000 #constraints=14894 227.26/227.48 c nbDecision=131500 #constraints=14925 228.46/228.66 c nbDecision=132000 #constraints=14942 229.86/230.05 c nbDecision=132500 #constraints=14986 230.96/231.17 c nbDecision=133000 #constraints=15001 232.16/232.38 c nbDecision=133500 #constraints=15031 233.56/233.75 c nbDecision=134000 #constraints=15057 234.96/235.13 c nbDecision=134500 #constraints=15097 236.16/236.31 c nbDecision=135000 #constraints=15120 237.25/237.49 c nbDecision=135500 #constraints=15138 238.35/238.58 c nbDecision=136000 #constraints=15146 239.66/239.88 c nbDecision=136500 #constraints=15188 241.05/241.29 c nbDecision=137000 #constraints=15210 242.36/242.56 c nbDecision=137500 #constraints=15240 243.66/243.81 c nbDecision=138000 #constraints=15264 245.06/245.20 c nbDecision=138500 #constraints=15306 246.36/246.55 c nbDecision=139000 #constraints=15325 247.56/247.73 c nbDecision=139500 #constraints=15336 249.06/249.22 c nbDecision=140000 #constraints=15406 250.36/250.53 c nbDecision=140500 #constraints=15440 251.66/251.86 c nbDecision=141000 #constraints=15479 253.36/253.52 c nbDecision=141500 #constraints=15550 254.76/254.96 c nbDecision=142000 #constraints=15593 256.55/256.72 c nbDecision=142500 #constraints=15667 257.85/258.07 c nbDecision=143000 #constraints=15698 259.25/259.44 c nbDecision=143500 #constraints=15749 260.74/260.95 c nbDecision=144000 #constraints=15791 262.34/262.58 c nbDecision=144500 #constraints=15845 263.75/263.99 c nbDecision=145000 #constraints=15885 265.24/265.44 c nbDecision=145500 #constraints=15924 266.54/266.74 c nbDecision=146000 #constraints=15962 268.14/268.32 c nbDecision=146500 #constraints=16024 269.44/269.63 c nbDecision=147000 #constraints=16046 270.74/270.92 c nbDecision=147500 #constraints=16066 272.14/272.39 c nbDecision=148000 #constraints=16114 273.64/273.86 c nbDecision=148500 #constraints=16165 275.04/275.27 c nbDecision=149000 #constraints=16203 276.34/276.52 c nbDecision=149500 #constraints=16224 277.84/278.00 c nbDecision=150000 #constraints=16256 279.24/279.44 c nbDecision=150500 #constraints=16288 280.64/280.86 c nbDecision=151000 #constraints=16319 282.14/282.38 c nbDecision=151500 #constraints=16360 283.73/283.93 c nbDecision=152000 #constraints=16405 285.33/285.58 c nbDecision=152500 #constraints=16458 287.13/287.38 c nbDecision=153000 #constraints=16521 289.43/289.68 c nbDecision=153500 #constraints=16600 291.13/291.36 c nbDecision=154000 #constraints=16658 292.44/292.61 c nbDecision=154500 #constraints=16666 294.04/294.21 c nbDecision=155000 #constraints=16719 295.24/295.48 c nbDecision=155500 #constraints=16732 296.54/296.72 c nbDecision=156000 #constraints=16742 297.74/297.95 c nbDecision=156500 #constraints=16748 299.24/299.44 c nbDecision=157000 #constraints=16788 300.63/300.88 c nbDecision=157500 #constraints=16836 302.43/302.67 c nbDecision=158000 #constraints=16871 303.92/304.10 c nbDecision=158500 #constraints=16894 305.32/305.59 c nbDecision=159000 #constraints=16942 306.72/306.91 c nbDecision=159500 #constraints=16966 308.11/308.32 c nbDecision=160000 #constraints=16991 309.41/309.63 c nbDecision=160500 #constraints=17009 310.71/310.90 c nbDecision=161000 #constraints=17023 312.51/312.76 c nbDecision=161500 #constraints=17065 313.91/314.11 c nbDecision=162000 #constraints=17078 315.31/315.56 c nbDecision=162500 #constraints=17105 317.01/317.28 c nbDecision=163000 #constraints=17156 318.91/319.17 c nbDecision=163500 #constraints=17219 320.61/320.80 c nbDecision=164000 #constraints=17266 322.01/322.22 c nbDecision=164500 #constraints=17296 323.40/323.65 c nbDecision=165000 #constraints=17328 324.80/325.07 c nbDecision=165500 #constraints=17355 326.71/326.95 c nbDecision=166000 #constraints=17416 328.11/328.35 c nbDecision=166500 #constraints=17440 329.81/330.09 c nbDecision=167000 #constraints=17463 331.41/331.63 c nbDecision=167500 #constraints=17493 332.81/333.03 c nbDecision=168000 #constraints=17516 334.11/334.36 c nbDecision=168500 #constraints=17531 335.61/335.85 c nbDecision=169000 #constraints=17562 337.31/337.50 c nbDecision=169500 #constraints=17602 338.81/339.04 c nbDecision=170000 #constraints=17628 340.31/340.52 c nbDecision=170500 #constraints=17658 341.61/341.90 c nbDecision=171000 #constraints=17672 343.51/343.75 c nbDecision=171500 #constraints=17709 345.01/345.21 c nbDecision=172000 #constraints=17735 346.41/346.69 c nbDecision=172500 #constraints=17761 348.20/348.46 c nbDecision=173000 #constraints=17809 349.70/349.99 c nbDecision=173500 #constraints=17844 351.30/351.50 c nbDecision=174000 #constraints=17881 352.69/352.96 c nbDecision=174500 #constraints=17915 354.09/354.30 c nbDecision=175000 #constraints=17926 355.49/355.71 c nbDecision=175500 #constraints=17941 356.79/357.05 c nbDecision=176000 #constraints=17949 358.30/358.58 c nbDecision=176500 #constraints=17987 359.99/360.23 c nbDecision=177000 #constraints=18033 361.70/361.93 c nbDecision=177500 #constraints=18066 363.29/363.54 c nbDecision=178000 #constraints=18111 364.99/365.28 c nbDecision=178500 #constraints=18157 366.49/366.78 c nbDecision=179000 #constraints=18181 367.99/368.25 c nbDecision=179500 #constraints=18206 369.79/370.07 c nbDecision=180000 #constraints=18248 371.79/372.06 c nbDecision=180500 #constraints=18290 373.29/373.57 c nbDecision=181000 #constraints=18309 374.79/375.04 c nbDecision=181500 #constraints=18325 376.28/376.54 c nbDecision=182000 #constraints=18349 377.68/377.94 c nbDecision=182500 #constraints=18359 379.68/379.91 c nbDecision=183000 #constraints=18412 381.08/381.34 c nbDecision=183500 #constraints=18423 382.88/383.16 c nbDecision=184000 #constraints=18454 384.48/384.74 c nbDecision=184500 #constraints=18482 386.18/386.48 c nbDecision=185000 #constraints=18528 387.78/388.05 c nbDecision=185500 #constraints=18551 389.28/389.52 c nbDecision=186000 #constraints=18572 390.88/391.14 c nbDecision=186500 #constraints=18603 392.38/392.62 c nbDecision=187000 #constraints=18613 394.07/394.35 c nbDecision=187500 #constraints=18648 395.66/395.98 c nbDecision=188000 #constraints=18667 397.45/397.72 c nbDecision=188500 #constraints=18701 399.06/399.33 c nbDecision=189000 #constraints=18743 400.95/401.28 c nbDecision=189500 #constraints=18781 402.45/402.72 c nbDecision=190000 #constraints=18799 404.04/404.36 c nbDecision=190500 #constraints=18844 405.75/406.04 c nbDecision=191000 #constraints=18892 407.54/407.89 c nbDecision=191500 #constraints=18936 409.14/409.49 c nbDecision=192000 #constraints=18966 410.84/411.15 c nbDecision=192500 #constraints=18996 412.84/413.14 c nbDecision=193000 #constraints=19050 414.64/414.94 c nbDecision=193500 #constraints=19063 416.44/416.73 c nbDecision=194000 #constraints=19097 417.84/418.12 c nbDecision=194500 #constraints=19103 419.84/420.11 c nbDecision=195000 #constraints=19160 421.34/421.64 c nbDecision=195500 #constraints=19171 423.04/423.31 c nbDecision=196000 #constraints=19197 424.64/424.98 c nbDecision=196500 #constraints=19220 426.34/426.66 c nbDecision=197000 #constraints=19263 427.84/428.11 c nbDecision=197500 #constraints=19277 429.74/430.08 c nbDecision=198000 #constraints=19313 431.14/431.43 c nbDecision=198500 #constraints=19320 432.54/432.87 c nbDecision=199000 #constraints=19332 433.84/434.19 c nbDecision=199500 #constraints=19337 435.93/436.26 c nbDecision=200000 #constraints=19373 437.93/438.29 c nbDecision=200500 #constraints=19428 439.93/440.30 c nbDecision=201000 #constraints=19478 442.23/442.59 c nbDecision=201500 #constraints=19545 444.42/444.72 c nbDecision=202000 #constraints=19602 446.72/447.05 c nbDecision=202500 #constraints=19670 449.12/449.49 c nbDecision=203000 #constraints=19750 451.42/451.78 c nbDecision=203500 #constraints=19794 454.21/454.53 c nbDecision=204000 #constraints=19897 455.91/456.21 c nbDecision=204500 #constraints=19911 457.11/457.47 c restart after 204801 decisions 457.61/457.98 c nbDecision=205000 #constraints=19933 458.21/458.54 c nbDecision=205500 #constraints=19935 459.01/459.36 c nbDecision=206000 #constraints=19991 459.81/460.14 c nbDecision=206500 #constraints=19998 461.62/462.00 c nbDecision=207000 #constraints=20056 462.31/462.67 c nbDecision=207500 #constraints=20089 463.41/463.72 c nbDecision=208000 #constraints=20109 465.32/465.69 c nbDecision=208500 #constraints=20199 465.92/466.24 c nbDecision=209000 #constraints=20211 467.02/467.32 c nbDecision=209500 #constraints=20236 469.12/469.41 c nbDecision=210000 #constraints=20325 469.72/470.06 c nbDecision=210500 #constraints=20357 470.91/471.22 c nbDecision=211000 #constraints=20395 472.51/472.80 c nbDecision=211500 #constraints=20463 473.01/473.36 c nbDecision=212000 #constraints=20477 473.72/474.07 c nbDecision=212500 #constraints=20511 474.21/474.57 c nbDecision=213000 #constraints=20517 475.81/476.18 c nbDecision=213500 #constraints=20579 477.12/477.46 c nbDecision=214000 #constraints=20636 477.61/477.99 c nbDecision=214500 #constraints=20640 478.31/478.66 c nbDecision=215000 #constraints=20669 479.11/479.47 c nbDecision=215500 #constraints=20685 480.91/481.20 c nbDecision=216000 #constraints=20733 481.60/481.90 c nbDecision=216500 #constraints=20765 483.10/483.41 c nbDecision=217000 #constraints=20811 484.90/485.20 c nbDecision=217500 #constraints=20861 485.40/485.75 c nbDecision=218000 #constraints=20874 487.01/487.35 c nbDecision=218500 #constraints=20933 489.00/489.36 c nbDecision=219000 #constraints=20989 491.89/492.27 c nbDecision=219500 #constraints=21091 493.79/494.14 c nbDecision=220000 #constraints=21124 495.19/495.55 c nbDecision=220500 #constraints=21177 495.70/496.07 c nbDecision=221000 #constraints=21178 498.09/498.48 c nbDecision=221500 #constraints=21274 499.49/499.86 c nbDecision=222000 #constraints=21330 500.39/500.74 c nbDecision=222500 #constraints=21352 502.69/503.05 c nbDecision=223000 #constraints=21436 503.29/503.61 c nbDecision=223500 #constraints=21447 504.29/504.65 c nbDecision=224000 #constraints=21473 506.09/506.41 c nbDecision=224500 #constraints=21533 506.69/507.09 c nbDecision=225000 #constraints=21561 507.59/507.96 c nbDecision=225500 #constraints=21614 508.39/508.73 c nbDecision=226000 #constraints=21654 509.09/509.41 c nbDecision=226500 #constraints=21678 509.49/509.89 c nbDecision=227000 #constraints=21682 510.99/511.36 c nbDecision=227500 #constraints=21720 512.39/512.75 c nbDecision=228000 #constraints=21778 512.99/513.36 c nbDecision=228500 #constraints=21781 515.19/515.59 c nbDecision=229000 #constraints=21844 515.89/516.28 c nbDecision=229500 #constraints=21872 516.49/516.87 c nbDecision=230000 #constraints=21883 517.09/517.42 c nbDecision=230500 #constraints=21893 518.29/518.68 c nbDecision=231000 #constraints=21916 519.79/520.11 c nbDecision=231500 #constraints=21970 520.39/520.71 c nbDecision=232000 #constraints=21975 522.19/522.58 c nbDecision=232500 #constraints=22006 524.49/524.88 c nbDecision=233000 #constraints=22077 525.19/525.52 c nbDecision=233500 #constraints=22099 526.38/526.73 c nbDecision=234000 #constraints=22133 528.98/529.37 c nbDecision=234500 #constraints=22228 529.68/530.02 c nbDecision=235000 #constraints=22251 530.27/530.62 c nbDecision=235500 #constraints=22262 530.77/531.16 c nbDecision=236000 #constraints=22273 532.17/532.51 c nbDecision=236500 #constraints=22306 533.58/533.94 c nbDecision=237000 #constraints=22351 534.19/534.50 c nbDecision=237500 #constraints=22365 536.17/536.55 c nbDecision=238000 #constraints=22404 536.97/537.38 c nbDecision=238500 #constraints=22449 537.57/537.92 c nbDecision=239000 #constraints=22452 538.27/538.64 c nbDecision=239500 #constraints=22486 539.17/539.59 c nbDecision=240000 #constraints=22493 540.77/541.19 c nbDecision=240500 #constraints=22531 541.37/541.78 c nbDecision=241000 #constraints=22550 542.87/543.22 c nbDecision=241500 #constraints=22580 544.07/544.46 c nbDecision=242000 #constraints=22611 544.77/545.15 c nbDecision=242500 #constraints=22613 546.67/547.05 c nbDecision=243000 #constraints=22670 547.37/547.71 c nbDecision=243500 #constraints=22697 548.77/549.19 c nbDecision=244000 #constraints=22733 550.47/550.80 c nbDecision=244500 #constraints=22784 550.97/551.39 c nbDecision=245000 #constraints=22803 552.87/553.21 c nbDecision=245500 #constraints=22863 554.16/554.52 c nbDecision=246000 #constraints=22899 554.96/555.32 c nbDecision=246500 #constraints=22909 556.56/556.95 c nbDecision=247000 #constraints=22933 557.16/557.54 c nbDecision=247500 #constraints=22947 558.26/558.60 c nbDecision=248000 #constraints=22960 559.66/560.07 c nbDecision=248500 #constraints=23000 560.16/560.59 c nbDecision=249000 #constraints=23009 561.67/562.05 c nbDecision=249500 #constraints=23033 562.96/563.35 c nbDecision=250000 #constraints=23068 563.66/564.05 c nbDecision=250500 #constraints=23073 566.16/566.58 c nbDecision=251000 #constraints=23137 566.76/567.16 c nbDecision=251500 #constraints=23147 567.26/567.64 c nbDecision=252000 #constraints=23148 568.26/568.70 c nbDecision=252500 #constraints=23168 569.96/570.33 c nbDecision=253000 #constraints=23203 570.46/570.84 c nbDecision=253500 #constraints=23209 571.95/572.30 c nbDecision=254000 #constraints=23249 573.45/573.84 c nbDecision=254500 #constraints=23296 574.24/574.66 c nbDecision=255000 #constraints=23310 576.33/576.70 c nbDecision=255500 #constraints=23355 578.63/579.05 c nbDecision=256000 #constraints=23419 580.63/581.01 c nbDecision=256500 #constraints=23456 581.13/581.59 c nbDecision=257000 #constraints=23466 582.42/582.80 c nbDecision=257500 #constraints=23483 584.82/585.25 c nbDecision=258000 #constraints=23537 586.61/587.06 c nbDecision=258500 #constraints=23559 588.11/588.51 c nbDecision=259000 #constraints=23594 588.61/589.03 c nbDecision=259500 #constraints=23595 590.62/591.06 c nbDecision=260000 #constraints=23632 593.82/594.29 c nbDecision=260500 #constraints=23707 594.62/595.02 c nbDecision=261000 #constraints=23736 595.22/595.62 c nbDecision=261500 #constraints=23742 595.82/596.20 c nbDecision=262000 #constraints=23757 597.22/597.67 c nbDecision=262500 #constraints=23787 598.72/599.19 c nbDecision=263000 #constraints=23826 599.62/600.09 c nbDecision=263500 #constraints=23839 603.31/603.72 c nbDecision=264000 #constraints=23933 604.01/604.42 c nbDecision=264500 #constraints=23955 605.21/605.67 c nbDecision=265000 #constraints=23988 607.92/608.34 c nbDecision=265500 #constraints=24072 608.61/609.08 c nbDecision=266000 #constraints=24104 610.12/610.51 c nbDecision=266500 #constraints=24137 612.21/612.62 c nbDecision=267000 #constraints=24202 612.81/613.24 c nbDecision=267500 #constraints=24220 614.01/614.40 c nbDecision=268000 #constraints=24225 615.41/615.86 c nbDecision=268500 #constraints=24245 616.21/616.61 c nbDecision=269000 #constraints=24258 618.10/618.59 c nbDecision=269500 #constraints=24291 618.81/619.22 c nbDecision=270000 #constraints=24305 619.60/620.03 c nbDecision=270500 #constraints=24305 621.50/621.95 c nbDecision=271000 #constraints=24363 622.10/622.52 c nbDecision=271500 #constraints=24376 623.30/623.78 c nbDecision=272000 #constraints=24388 626.20/626.60 c nbDecision=272500 #constraints=24443 626.70/627.16 c nbDecision=273000 #constraints=24449 627.60/628.03 c nbDecision=273500 #constraints=24449 629.39/629.80 c nbDecision=274000 #constraints=24486 629.99/630.46 c nbDecision=274500 #constraints=24496 632.00/632.47 c nbDecision=275000 #constraints=24522 632.69/633.12 c nbDecision=275500 #constraints=24541 633.69/634.16 c nbDecision=276000 #constraints=24555 635.59/636.07 c nbDecision=276500 #constraints=24624 636.19/636.61 c nbDecision=277000 #constraints=24634 637.49/637.96 c nbDecision=277500 #constraints=24657 639.49/639.92 c nbDecision=278000 #constraints=24702 641.09/641.55 c nbDecision=278500 #constraints=24757 641.89/642.37 c nbDecision=279000 #constraints=24771 643.69/644.18 c nbDecision=279500 #constraints=24796 644.29/644.73 c nbDecision=280000 #constraints=24803 645.49/645.92 c nbDecision=280500 #constraints=24818 647.09/647.57 c nbDecision=281000 #constraints=24860 647.59/648.09 c nbDecision=281500 #constraints=24860 650.09/650.51 c nbDecision=282000 #constraints=24911 650.69/651.17 c nbDecision=282500 #constraints=24928 651.38/651.89 c nbDecision=283000 #constraints=24928 653.38/653.81 c nbDecision=283500 #constraints=24963 653.88/654.37 c nbDecision=284000 #constraints=24972 655.19/655.65 c nbDecision=284500 #constraints=24981 656.88/657.34 c nbDecision=285000 #constraints=25030 657.48/657.96 c nbDecision=285500 #constraints=25040 658.18/658.61 c nbDecision=286000 #constraints=25058 659.28/659.75 c nbDecision=286500 #constraints=25077 661.18/661.62 c nbDecision=287000 #constraints=25119 661.78/662.25 c nbDecision=287500 #constraints=25134 663.07/663.58 c nbDecision=288000 #constraints=25154 665.67/666.12 c nbDecision=288500 #constraints=25196 666.37/666.83 c nbDecision=289000 #constraints=25217 666.97/667.49 c nbDecision=289500 #constraints=25231 667.47/667.99 c nbDecision=290000 #constraints=25232 668.67/669.13 c nbDecision=290500 #constraints=25241 670.38/670.86 c nbDecision=291000 #constraints=25294 670.88/671.39 c nbDecision=291500 #constraints=25295 671.48/671.98 c nbDecision=292000 #constraints=25303 672.78/673.24 c nbDecision=292500 #constraints=25333 674.57/675.06 c nbDecision=293000 #constraints=25378 675.07/675.57 c nbDecision=293500 #constraints=25384 676.47/676.91 c nbDecision=294000 #constraints=25400 678.67/679.11 c nbDecision=294500 #constraints=25468 679.57/680.01 c nbDecision=295000 #constraints=25482 681.47/681.90 c nbDecision=295500 #constraints=25513 682.07/682.52 c nbDecision=296000 #constraints=25529 683.37/683.82 c nbDecision=296500 #constraints=25561 684.87/685.35 c nbDecision=297000 #constraints=25586 685.37/685.84 c nbDecision=297500 #constraints=25586 687.37/687.82 c nbDecision=298000 #constraints=25608 688.17/688.64 c nbDecision=298500 #constraints=25644 689.37/689.80 c nbDecision=299000 #constraints=25658 690.97/691.43 c nbDecision=299500 #constraints=25687 691.57/692.05 c nbDecision=300000 #constraints=25690 694.27/694.78 c nbDecision=300500 #constraints=25745 694.97/695.49 c nbDecision=301000 #constraints=25766 695.77/696.21 c nbDecision=301500 #constraints=25781 696.27/696.76 c nbDecision=302000 #constraints=25791 697.76/698.23 c nbDecision=302500 #constraints=25821 699.26/699.78 c nbDecision=303000 #constraints=25861 700.06/700.56 c nbDecision=303500 #constraints=25865 701.96/702.42 c nbDecision=304000 #constraints=25895 702.47/702.97 c nbDecision=304500 #constraints=25902 703.66/704.18 c nbDecision=305000 #constraints=25912 705.06/705.54 c nbDecision=305500 #constraints=25923 705.66/706.14 c nbDecision=306000 #constraints=25923 707.55/708.06 c nbDecision=306500 #constraints=25939 708.35/708.84 c nbDecision=307000 #constraints=25973 709.15/709.62 c nbDecision=307500 #constraints=25990 709.65/710.19 c nbDecision=308000 #constraints=26001 711.85/712.36 c nbDecision=308500 #constraints=26073 713.45/713.95 c nbDecision=309000 #constraints=26103 714.15/714.65 c nbDecision=309500 #constraints=26110 716.25/716.79 c nbDecision=310000 #constraints=26150 716.85/717.34 c nbDecision=310500 #constraints=26152 718.05/718.57 c nbDecision=311000 #constraints=26165 720.24/720.70 c nbDecision=311500 #constraints=26238 720.84/721.30 c nbDecision=312000 #constraints=26238 722.84/723.35 c nbDecision=312500 #constraints=26275 723.54/724.06 c nbDecision=313000 #constraints=26297 724.64/725.15 c nbDecision=313500 #constraints=26310 726.24/726.72 c nbDecision=314000 #constraints=26328 726.64/727.19 c nbDecision=314500 #constraints=26328 728.94/729.40 c nbDecision=315000 #constraints=26378 729.63/730.11 c nbDecision=315500 #constraints=26396 730.33/730.86 c nbDecision=316000 #constraints=26399 732.14/732.68 c nbDecision=316500 #constraints=26418 732.84/733.35 c nbDecision=317000 #constraints=26439 733.94/734.49 c nbDecision=317500 #constraints=26446 735.84/736.38 c nbDecision=318000 #constraints=26499 736.34/736.86 c nbDecision=318500 #constraints=26499 738.54/739.03 c nbDecision=319000 #constraints=26529 739.24/739.72 c nbDecision=319500 #constraints=26539 740.14/740.61 c nbDecision=320000 #constraints=26552 742.54/743.02 c nbDecision=320500 #constraints=26598 743.14/743.67 c nbDecision=321000 #constraints=26608 744.34/744.80 c nbDecision=321500 #constraints=26629 747.04/747.54 c nbDecision=322000 #constraints=26692 748.94/749.49 c nbDecision=322500 #constraints=26720 749.64/750.17 c nbDecision=323000 #constraints=26738 750.84/751.35 c nbDecision=323500 #constraints=26754 752.63/753.16 c nbDecision=324000 #constraints=26787 753.13/753.63 c nbDecision=324500 #constraints=26787 754.73/755.20 c nbDecision=325000 #constraints=26815 756.23/756.77 c nbDecision=325500 #constraints=26845 757.03/757.51 c nbDecision=326000 #constraints=26852 759.12/759.64 c nbDecision=326500 #constraints=26892 759.72/760.25 c nbDecision=327000 #constraints=26898 760.92/761.44 c nbDecision=327500 #constraints=26921 762.93/763.42 c nbDecision=328000 #constraints=26950 763.62/764.10 c nbDecision=328500 #constraints=26973 765.02/765.56 c nbDecision=329000 #constraints=26996 766.51/767.08 c nbDecision=329500 #constraints=27019 767.11/767.68 c nbDecision=330000 #constraints=27021 769.53/770.03 c nbDecision=330500 #constraints=27062 770.12/770.67 c nbDecision=331000 #constraints=27071 770.92/771.45 c nbDecision=331500 #constraints=27086 771.42/771.94 c nbDecision=332000 #constraints=27086 772.72/773.29 c nbDecision=332500 #constraints=27098 774.32/774.85 c nbDecision=333000 #constraints=27122 774.82/775.40 c nbDecision=333500 #constraints=27122 777.62/778.16 c nbDecision=334000 #constraints=27177 778.32/778.89 c nbDecision=334500 #constraints=27192 779.32/779.87 c nbDecision=335000 #constraints=27206 781.72/782.23 c nbDecision=335500 #constraints=27247 782.51/783.10 c nbDecision=336000 #constraints=27286 783.01/783.59 c nbDecision=336500 #constraints=27287 784.31/784.87 c nbDecision=337000 #constraints=27305 786.21/786.71 c nbDecision=337500 #constraints=27346 786.61/787.18 c nbDecision=338000 #constraints=27347 787.61/788.12 c nbDecision=338500 #constraints=27373 788.31/788.85 c nbDecision=339000 #constraints=27380 789.91/790.49 c nbDecision=339500 #constraints=27382 790.71/791.28 c nbDecision=340000 #constraints=27388 793.11/793.62 c nbDecision=340500 #constraints=27444 793.71/794.28 c nbDecision=341000 #constraints=27459 794.21/794.77 c nbDecision=341500 #constraints=27460 795.31/795.87 c nbDecision=342000 #constraints=27465 797.30/797.87 c nbDecision=342500 #constraints=27500 797.90/798.42 c nbDecision=343000 #constraints=27509 798.40/798.93 c nbDecision=343500 #constraints=27515 800.70/801.27 c nbDecision=344000 #constraints=27550 801.41/801.93 c nbDecision=344500 #constraints=27554 802.30/802.84 c nbDecision=345000 #constraints=27563 804.20/804.73 c nbDecision=345500 #constraints=27577 804.80/805.36 c nbDecision=346000 #constraints=27591 805.30/805.85 c nbDecision=346500 #constraints=27592 806.50/807.06 c nbDecision=347000 #constraints=27604 809.30/809.83 c nbDecision=347500 #constraints=27681 809.79/810.35 c nbDecision=348000 #constraints=27684 811.19/811.74 c nbDecision=348500 #constraints=27704 813.19/813.77 c nbDecision=349000 #constraints=27758 813.69/814.26 c nbDecision=349500 #constraints=27759 815.09/815.65 c nbDecision=350000 #constraints=27776 816.79/817.31 c nbDecision=350500 #constraints=27808 817.28/817.88 c nbDecision=351000 #constraints=27809 819.99/820.54 c nbDecision=351500 #constraints=27854 820.78/821.31 c nbDecision=352000 #constraints=27875 821.68/822.26 c nbDecision=352500 #constraints=27879 823.48/824.00 c nbDecision=353000 #constraints=27889 823.98/824.58 c nbDecision=353500 #constraints=27896 825.38/825.96 c nbDecision=354000 #constraints=27909 827.28/827.85 c nbDecision=354500 #constraints=27948 827.79/828.35 c nbDecision=355000 #constraints=27948 830.18/830.76 c nbDecision=355500 #constraints=27977 831.18/831.75 c nbDecision=356000 #constraints=28006 831.98/832.60 c nbDecision=356500 #constraints=28019 832.48/833.08 c nbDecision=357000 #constraints=28019 833.48/834.07 c nbDecision=357500 #constraints=28042 834.39/834.92 c nbDecision=358000 #constraints=28055 835.48/836.05 c nbDecision=358500 #constraints=28102 835.98/836.55 c nbDecision=359000 #constraints=28102 837.48/838.00 c nbDecision=359500 #constraints=28123 839.38/839.92 c nbDecision=360000 #constraints=28166 839.98/840.56 c nbDecision=360500 #constraints=28167 840.78/841.32 c nbDecision=361000 #constraints=28191 841.78/842.38 c nbDecision=361500 #constraints=28194 843.57/844.11 c nbDecision=362000 #constraints=28207 843.97/844.58 c nbDecision=362500 #constraints=28207 845.47/846.09 c nbDecision=363000 #constraints=28234 847.07/847.66 c nbDecision=363500 #constraints=28261 847.67/848.28 c nbDecision=364000 #constraints=28262 850.17/850.72 c nbDecision=364500 #constraints=28305 850.87/851.46 c nbDecision=365000 #constraints=28322 851.67/852.25 c nbDecision=365500 #constraints=28325 853.97/854.59 c nbDecision=366000 #constraints=28363 856.76/857.33 c nbDecision=366500 #constraints=28430 859.26/859.87 c nbDecision=367000 #constraints=28491 861.45/862.01 c nbDecision=367500 #constraints=28505 863.56/864.13 c nbDecision=368000 #constraints=28539 864.06/864.64 c nbDecision=368500 #constraints=28540 866.36/866.96 c nbDecision=369000 #constraints=28576 867.27/867.88 c nbDecision=369500 #constraints=28600 868.16/868.72 c nbDecision=370000 #constraints=28613 868.66/869.21 c nbDecision=370500 #constraints=28617 870.16/870.76 c nbDecision=371000 #constraints=28649 871.76/872.37 c nbDecision=371500 #constraints=28678 872.46/873.05 c nbDecision=372000 #constraints=28678 874.76/875.34 c nbDecision=372500 #constraints=28718 875.36/875.91 c nbDecision=373000 #constraints=28723 876.76/877.34 c nbDecision=373500 #constraints=28747 879.26/879.83 c nbDecision=374000 #constraints=28806 882.26/882.80 c nbDecision=374500 #constraints=28858 884.56/885.12 c nbDecision=375000 #constraints=28887 885.26/885.88 c nbDecision=375500 #constraints=28892 885.96/886.51 c nbDecision=376000 #constraints=28906 887.15/887.77 c nbDecision=376500 #constraints=28908 888.94/889.50 c nbDecision=377000 #constraints=28934 889.64/890.22 c nbDecision=377500 #constraints=28936 893.04/893.67 c nbDecision=378000 #constraints=29022 893.74/894.31 c nbDecision=378500 #constraints=29030 894.94/895.50 c nbDecision=379000 #constraints=29043 896.84/897.49 c nbDecision=379500 #constraints=29054 898.84/899.47 c nbDecision=380000 #constraints=29084 899.44/900.07 c nbDecision=380500 #constraints=29084 902.04/902.61 c nbDecision=381000 #constraints=29129 902.54/903.20 c nbDecision=381500 #constraints=29132 903.33/903.91 c nbDecision=382000 #constraints=29137 903.83/904.42 c nbDecision=382500 #constraints=29140 906.53/907.19 c nbDecision=383000 #constraints=29216 908.23/908.88 c nbDecision=383500 #constraints=29243 909.13/909.77 c nbDecision=384000 #constraints=29251 911.53/912.11 c nbDecision=384500 #constraints=29295 912.03/912.70 c nbDecision=385000 #constraints=29301 912.83/913.46 c nbDecision=385500 #constraints=29309 913.53/914.10 c nbDecision=386000 #constraints=29309 915.92/916.57 c nbDecision=386500 #constraints=29353 916.62/917.28 c nbDecision=387000 #constraints=29370 917.83/918.49 c nbDecision=387500 #constraints=29383 919.82/920.44 c nbDecision=388000 #constraints=29420 920.52/921.13 c nbDecision=388500 #constraints=29431 921.52/922.12 c nbDecision=389000 #constraints=29435 924.12/924.74 c nbDecision=389500 #constraints=29503 924.62/925.24 c nbDecision=390000 #constraints=29507 927.12/927.71 c nbDecision=390500 #constraints=29538 928.22/928.85 c nbDecision=391000 #constraints=29576 929.32/929.97 c nbDecision=391500 #constraints=29622 930.02/930.61 c nbDecision=392000 #constraints=29625 932.40/933.05 c nbDecision=392500 #constraints=29666 935.40/936.05 c nbDecision=393000 #constraints=29731 938.49/939.12 c nbDecision=393500 #constraints=29795 941.09/941.70 c nbDecision=394000 #constraints=29860 941.69/942.35 c nbDecision=394500 #constraints=29878 943.20/943.86 c nbDecision=395000 #constraints=29902 946.40/947.04 c nbDecision=395500 #constraints=29940 947.09/947.79 c nbDecision=396000 #constraints=29958 947.99/948.67 c nbDecision=396500 #constraints=29977 948.59/949.23 c nbDecision=397000 #constraints=29982 950.79/951.42 c nbDecision=397500 #constraints=29995 951.48/952.13 c nbDecision=398000 #constraints=30005 952.18/952.87 c nbDecision=398500 #constraints=30013 952.78/953.44 c nbDecision=399000 #constraints=30024 954.38/955.09 c nbDecision=399500 #constraints=30052 956.09/956.74 c nbDecision=400000 #constraints=30072 956.69/957.32 c nbDecision=400500 #constraints=30072 959.99/960.69 c nbDecision=401000 #constraints=30144 960.59/961.30 c nbDecision=401500 #constraints=30148 961.69/962.33 c nbDecision=402000 #constraints=30154 963.99/964.64 c nbDecision=402500 #constraints=30185 966.29/966.98 c nbDecision=403000 #constraints=30213 968.59/969.22 c nbDecision=403500 #constraints=30248 970.19/970.83 c nbDecision=404000 #constraints=30270 970.99/971.69 c nbDecision=404500 #constraints=30272 972.99/973.63 c nbDecision=405000 #constraints=30286 973.49/974.20 c nbDecision=405500 #constraints=30293 974.39/975.08 c nbDecision=406000 #constraints=30312 975.29/975.99 c nbDecision=406500 #constraints=30325 977.97/978.69 c nbDecision=407000 #constraints=30381 978.67/979.35 c nbDecision=407500 #constraints=30392 979.17/979.85 c nbDecision=408000 #constraints=30393 980.47/981.19 c nbDecision=408500 #constraints=30412 982.47/983.13 c nbDecision=409000 #constraints=30449 983.16/983.85 c nbDecision=409500 #constraints=30461 983.56/984.22 c restart after 409601 decisions 984.46/985.18 c nbDecision=410000 #constraints=30469 985.36/986.02 c nbDecision=410500 #constraints=30478 985.86/986.56 c nbDecision=411000 #constraints=30482 987.76/988.48 c nbDecision=411500 #constraints=30529 991.36/992.02 c nbDecision=412000 #constraints=30647 993.66/994.36 c nbDecision=412500 #constraints=30700 997.16/997.86 c nbDecision=413000 #constraints=30852 999.95/1000.63 c nbDecision=413500 #constraints=30929 1002.56/1003.27 c nbDecision=414000 #constraints=31018 1004.85/1005.54 c nbDecision=414500 #constraints=31079 1007.35/1008.07 c nbDecision=415000 #constraints=31134 1009.85/1010.55 c nbDecision=415500 #constraints=31177 1013.46/1014.12 c nbDecision=416000 #constraints=31255 1017.75/1018.44 c nbDecision=416500 #constraints=31382 1021.34/1022.07 c nbDecision=417000 #constraints=31433 1023.74/1024.45 c nbDecision=417500 #constraints=31493 1026.34/1027.05 c nbDecision=418000 #constraints=31562 1028.94/1029.68 c nbDecision=418500 #constraints=31636 1031.54/1032.22 c nbDecision=419000 #constraints=31672 1034.24/1034.96 c nbDecision=419500 #constraints=31744 1036.94/1037.67 c nbDecision=420000 #constraints=31837 1039.24/1039.98 c nbDecision=420500 #constraints=31898 1042.14/1042.87 c nbDecision=421000 #constraints=31957 1045.73/1046.47 c nbDecision=421500 #constraints=32041 1048.83/1049.59 c nbDecision=422000 #constraints=32110 1051.43/1052.13 c nbDecision=422500 #constraints=32143 1054.53/1055.20 c nbDecision=423000 #constraints=32219 1057.03/1057.76 c nbDecision=423500 #constraints=32255 1059.43/1060.19 c nbDecision=424000 #constraints=32286 1062.53/1063.22 c nbDecision=424500 #constraints=32370 1064.93/1065.64 c nbDecision=425000 #constraints=32399 1066.72/1067.49 c nbDecision=425500 #constraints=32470 1069.52/1070.25 c nbDecision=426000 #constraints=32562 1072.61/1073.39 c nbDecision=426500 #constraints=32625 1075.22/1075.91 c nbDecision=427000 #constraints=32679 1078.22/1078.97 c nbDecision=427500 #constraints=32742 1081.42/1082.14 c nbDecision=428000 #constraints=32801 1084.51/1085.20 c nbDecision=428500 #constraints=32863 1087.21/1087.98 c nbDecision=429000 #constraints=32923 1089.41/1090.15 c nbDecision=429500 #constraints=32968 1092.10/1092.83 c nbDecision=430000 #constraints=33037 1094.81/1095.54 c nbDecision=430500 #constraints=33087 1097.90/1098.69 c nbDecision=431000 #constraints=33165 1100.40/1101.14 c nbDecision=431500 #constraints=33210 1103.20/1103.95 c nbDecision=432000 #constraints=33255 1106.50/1107.25 c nbDecision=432500 #constraints=33316 1108.80/1109.59 c nbDecision=433000 #constraints=33343 1112.79/1113.54 c nbDecision=433500 #constraints=33403 1115.39/1116.19 c nbDecision=434000 #constraints=33461 1117.90/1118.65 c nbDecision=434500 #constraints=33496 1120.59/1121.38 c nbDecision=435000 #constraints=33557 1123.89/1124.68 c nbDecision=435500 #constraints=33627 1126.29/1127.01 c nbDecision=436000 #constraints=33652 1128.79/1129.56 c nbDecision=436500 #constraints=33688 1131.69/1132.46 c nbDecision=437000 #constraints=33740 1135.18/1135.94 c nbDecision=437500 #constraints=33805 1137.98/1138.74 c nbDecision=438000 #constraints=33846 1140.08/1140.83 c nbDecision=438500 #constraints=33849 1142.98/1143.79 c nbDecision=439000 #constraints=33919 1145.67/1146.47 c nbDecision=439500 #constraints=33954 1148.57/1149.39 c nbDecision=440000 #constraints=33999 1152.07/1152.81 c nbDecision=440500 #constraints=34063 1154.67/1155.48 c nbDecision=441000 #constraints=34093 1157.26/1158.03 c nbDecision=441500 #constraints=34124 1160.67/1161.45 c nbDecision=442000 #constraints=34219 1163.47/1164.24 c nbDecision=442500 #constraints=34260 1167.06/1167.80 c nbDecision=443000 #constraints=34335 1169.46/1170.24 c nbDecision=443500 #constraints=34366 1172.16/1172.92 c nbDecision=444000 #constraints=34401 1174.96/1175.73 c nbDecision=444500 #constraints=34454 1178.76/1179.53 c nbDecision=445000 #constraints=34516 1181.25/1182.05 c nbDecision=445500 #constraints=34537 1183.65/1184.45 c nbDecision=446000 #constraints=34558 1186.45/1187.25 c nbDecision=446500 #constraints=34594 1189.15/1189.99 c nbDecision=447000 #constraints=34634 1191.45/1192.29 c nbDecision=447500 #constraints=34656 1195.25/1196.09 c nbDecision=448000 #constraints=34702 1197.85/1198.67 c nbDecision=448500 #constraints=34727 1200.36/1201.17 c nbDecision=449000 #constraints=34756 1202.94/1203.75 c nbDecision=449500 #constraints=34789 1205.64/1206.46 c nbDecision=450000 #constraints=34826 1208.34/1209.19 c nbDecision=450500 #constraints=34855 1211.24/1212.07 c nbDecision=451000 #constraints=34888 1214.14/1214.93 c nbDecision=451500 #constraints=34931 1217.64/1218.48 c nbDecision=452000 #constraints=34989 1220.33/1221.18 c nbDecision=452500 #constraints=35027 1222.73/1223.53 c nbDecision=453000 #constraints=35043 1225.13/1225.98 c nbDecision=453500 #constraints=35065 1227.52/1228.37 c nbDecision=454000 #constraints=35088 1230.42/1231.28 c nbDecision=454500 #constraints=35109 1233.62/1234.49 c nbDecision=455000 #constraints=35154 1236.72/1237.59 c nbDecision=455500 #constraints=35189 1239.41/1240.25 c nbDecision=456000 #constraints=35294 1242.01/1242.81 c nbDecision=456500 #constraints=35357 1245.31/1246.18 c nbDecision=457000 #constraints=35474 1248.90/1249.77 c nbDecision=457500 #constraints=35579 1251.60/1252.44 c nbDecision=458000 #constraints=35629 1254.00/1254.80 c nbDecision=458500 #constraints=35647 1256.60/1257.48 c nbDecision=459000 #constraints=35684 1259.41/1260.20 c nbDecision=459500 #constraints=35731 1263.21/1264.04 c nbDecision=460000 #constraints=35818 1266.21/1267.10 c nbDecision=460500 #constraints=35856 1269.11/1269.93 c nbDecision=461000 #constraints=35890 1272.30/1273.12 c nbDecision=461500 #constraints=35938 1275.58/1276.47 c nbDecision=462000 #constraints=35964 1279.08/1279.90 c nbDecision=462500 #constraints=36033 1282.48/1283.35 c nbDecision=463000 #constraints=36094 1285.28/1286.16 c nbDecision=463500 #constraints=36124 1288.68/1289.54 c nbDecision=464000 #constraints=36197 1291.87/1292.78 c nbDecision=464500 #constraints=36275 1294.97/1295.84 c nbDecision=465000 #constraints=36366 1297.76/1298.66 c nbDecision=465500 #constraints=36469 1300.76/1301.67 c nbDecision=466000 #constraints=36520 1303.46/1304.33 c nbDecision=466500 #constraints=36560 1305.67/1306.55 c nbDecision=467000 #constraints=36567 1308.97/1309.85 c nbDecision=467500 #constraints=36597 1311.67/1312.57 c nbDecision=468000 #constraints=36628 1314.37/1315.28 c nbDecision=468500 #constraints=36668 1317.16/1318.01 c nbDecision=469000 #constraints=36702 1319.65/1320.58 c nbDecision=469500 #constraints=36750 1322.95/1323.87 c nbDecision=470000 #constraints=36799 1325.25/1326.13 c nbDecision=470500 #constraints=36810 1327.85/1328.74 c nbDecision=471000 #constraints=36847 1330.85/1331.73 c nbDecision=471500 #constraints=36900 1334.45/1335.40 c nbDecision=472000 #constraints=36959 1337.84/1338.77 c nbDecision=472500 #constraints=36998 1340.84/1341.72 c nbDecision=473000 #constraints=37048 1344.13/1345.03 c nbDecision=473500 #constraints=37106 1346.93/1347.88 c nbDecision=474000 #constraints=37145 1349.84/1350.77 c nbDecision=474500 #constraints=37183 1352.63/1353.50 c nbDecision=475000 #constraints=37222 1355.33/1356.30 c nbDecision=475500 #constraints=37261 1358.63/1359.58 c nbDecision=476000 #constraints=37294 1361.03/1361.95 c nbDecision=476500 #constraints=37307 1363.52/1364.46 c nbDecision=477000 #constraints=37317 1366.12/1367.03 c nbDecision=477500 #constraints=37344 1369.32/1370.20 c nbDecision=478000 #constraints=37373 1371.71/1372.67 c nbDecision=478500 #constraints=37388 1374.51/1375.43 c nbDecision=479000 #constraints=37414 1376.81/1377.70 c nbDecision=479500 #constraints=37421 1380.01/1380.98 c nbDecision=480000 #constraints=37444 1382.81/1383.75 c nbDecision=480500 #constraints=37467 1385.50/1386.43 c nbDecision=481000 #constraints=37505 1388.41/1389.39 c nbDecision=481500 #constraints=37540 1391.10/1392.07 c nbDecision=482000 #constraints=37580 1394.40/1395.34 c nbDecision=482500 #constraints=37607 1397.21/1398.12 c nbDecision=483000 #constraints=37643 1399.60/1400.57 c nbDecision=483500 #constraints=37662 1402.20/1403.10 c nbDecision=484000 #constraints=37697 1405.30/1406.23 c nbDecision=484500 #constraints=37719 1408.30/1409.22 c nbDecision=485000 #constraints=37794 1411.08/1412.10 c nbDecision=485500 #constraints=37830 1414.47/1415.42 c nbDecision=486000 #constraints=37898 1417.18/1418.11 c nbDecision=486500 #constraints=37941 1421.28/1422.30 c nbDecision=487000 #constraints=38018 1424.27/1425.23 c nbDecision=487500 #constraints=38061 1427.07/1428.00 c nbDecision=488000 #constraints=38103 1429.87/1430.80 c nbDecision=488500 #constraints=38139 1433.37/1434.34 c nbDecision=489000 #constraints=38183 1435.86/1436.85 c nbDecision=489500 #constraints=38204 1438.36/1439.36 c nbDecision=490000 #constraints=38227 1441.06/1442.10 c nbDecision=490500 #constraints=38255 1444.46/1445.42 c nbDecision=491000 #constraints=38287 1446.76/1447.79 c nbDecision=491500 #constraints=38303 1449.56/1450.50 c nbDecision=492000 #constraints=38326 1452.06/1453.02 c nbDecision=492500 #constraints=38347 1455.55/1456.51 c nbDecision=493000 #constraints=38384 1457.85/1458.81 c nbDecision=493500 #constraints=38389 1460.75/1461.80 c nbDecision=494000 #constraints=38436 1463.05/1464.06 c nbDecision=494500 #constraints=38444 1466.45/1467.44 c nbDecision=495000 #constraints=38473 1469.34/1470.31 c nbDecision=495500 #constraints=38504 1472.04/1473.09 c nbDecision=496000 #constraints=38530 1475.53/1476.57 c nbDecision=496500 #constraints=38563 1477.93/1478.93 c nbDecision=497000 #constraints=38569 1480.74/1481.72 c nbDecision=497500 #constraints=38589 1484.13/1485.18 c nbDecision=498000 #constraints=38629 1486.53/1487.51 c nbDecision=498500 #constraints=38636 1489.24/1490.21 c nbDecision=499000 #constraints=38674 1491.64/1492.67 c nbDecision=499500 #constraints=38691 1495.14/1496.13 c nbDecision=500000 #constraints=38727 1497.83/1498.83 c nbDecision=500500 #constraints=38747 1500.44/1501.49 c nbDecision=501000 #constraints=38767 1503.73/1504.74 c nbDecision=501500 #constraints=38786 1506.23/1507.24 c nbDecision=502000 #constraints=38804 1508.73/1509.75 c nbDecision=502500 #constraints=38817 1511.22/1512.20 c nbDecision=503000 #constraints=38833 1514.42/1515.45 c nbDecision=503500 #constraints=38854 1517.32/1518.35 c nbDecision=504000 #constraints=38899 1520.11/1521.16 c nbDecision=504500 #constraints=38924 1522.52/1523.58 c nbDecision=505000 #constraints=38938 1526.01/1527.08 c nbDecision=505500 #constraints=38975 1528.41/1529.43 c nbDecision=506000 #constraints=38981 1531.11/1532.16 c nbDecision=506500 #constraints=39007 1534.41/1535.40 c nbDecision=507000 #constraints=39030 1537.01/1538.09 c nbDecision=507500 #constraints=39048 1539.71/1540.70 c nbDecision=508000 #constraints=39064 1543.01/1544.08 c nbDecision=508500 #constraints=39096 1545.61/1546.67 c nbDecision=509000 #constraints=39116 1548.20/1549.24 c nbDecision=509500 #constraints=39132 1550.61/1551.67 c nbDecision=510000 #constraints=39155 1553.90/1554.97 c nbDecision=510500 #constraints=39178 1556.51/1557.54 c nbDecision=511000 #constraints=39190 1559.20/1560.28 c nbDecision=511500 #constraints=39215 1562.40/1563.41 c nbDecision=512000 #constraints=39227 1564.80/1565.83 c nbDecision=512500 #constraints=39239 1567.09/1568.16 c nbDecision=513000 #constraints=39245 1569.29/1570.38 c nbDecision=513500 #constraints=39247 1572.69/1573.73 c nbDecision=514000 #constraints=39265 1575.20/1576.27 c nbDecision=514500 #constraints=39276 1577.69/1578.75 c nbDecision=515000 #constraints=39288 1581.19/1582.23 c nbDecision=515500 #constraints=39349 1584.79/1585.88 c nbDecision=516000 #constraints=39360 1587.59/1588.69 c nbDecision=516500 #constraints=39389 1590.49/1591.53 c nbDecision=517000 #constraints=39414 1593.18/1594.23 c nbDecision=517500 #constraints=39433 1597.08/1598.19 c nbDecision=518000 #constraints=39490 1599.68/1600.78 c nbDecision=518500 #constraints=39502 1603.17/1604.24 c nbDecision=519000 #constraints=39526 1605.77/1606.86 c nbDecision=519500 #constraints=39549 1608.47/1609.54 c nbDecision=520000 #constraints=39570 1612.86/1613.94 c nbDecision=520500 #constraints=39667 1617.07/1618.14 c nbDecision=521000 #constraints=39722 1619.96/1621.03 c nbDecision=521500 #constraints=39768 1622.86/1623.93 c nbDecision=522000 #constraints=39807 1626.26/1627.34 c nbDecision=522500 #constraints=39837 1628.96/1630.10 c nbDecision=523000 #constraints=39864 1631.96/1633.05 c nbDecision=523500 #constraints=39902 1635.06/1636.16 c nbDecision=524000 #constraints=39939 1638.45/1639.59 c nbDecision=524500 #constraints=39967 1642.14/1643.27 c nbDecision=525000 #constraints=40019 1645.04/1646.15 c nbDecision=525500 #constraints=40033 1647.53/1648.65 c nbDecision=526000 #constraints=40041 1651.33/1652.45 c nbDecision=526500 #constraints=40084 1653.93/1655.04 c nbDecision=527000 #constraints=40097 1656.63/1657.72 c nbDecision=527500 #constraints=40113 1659.02/1660.20 c nbDecision=528000 #constraints=40134 1662.42/1663.53 c nbDecision=528500 #constraints=40153 1665.22/1666.35 c nbDecision=529000 #constraints=40177 1668.42/1669.51 c nbDecision=529500 #constraints=40217 1671.82/1672.90 c nbDecision=530000 #constraints=40259 1674.32/1675.49 c nbDecision=530500 #constraints=40267 1678.42/1679.51 c nbDecision=531000 #constraints=40354 1681.22/1682.37 c nbDecision=531500 #constraints=40398 1683.82/1684.90 c nbDecision=532000 #constraints=40425 1686.40/1687.57 c nbDecision=532500 #constraints=40438 1690.40/1691.53 c nbDecision=533000 #constraints=40513 1693.90/1695.04 c nbDecision=533500 #constraints=40562 1697.69/1698.88 c nbDecision=534000 #constraints=40620 1701.09/1702.30 c nbDecision=534500 #constraints=40664 1705.39/1706.53 c nbDecision=535000 #constraints=40724 1708.08/1709.28 c nbDecision=535500 #constraints=40741 1710.88/1712.09 c nbDecision=536000 #constraints=40760 1714.18/1715.33 c nbDecision=536500 #constraints=40810 1716.99/1718.18 c nbDecision=537000 #constraints=40838 1721.19/1722.30 c nbDecision=537500 #constraints=40890 1723.89/1725.02 c nbDecision=538000 #constraints=40902 1726.89/1728.10 c nbDecision=538500 #constraints=40933 1729.89/1731.04 c nbDecision=539000 #constraints=40965 1732.88/1734.02 c nbDecision=539500 #constraints=40991 1736.58/1737.70 c nbDecision=540000 #constraints=41033 1740.18/1741.38 c nbDecision=540500 #constraints=41109 1743.17/1744.30 c nbDecision=541000 #constraints=41143 1746.57/1747.70 c nbDecision=541500 #constraints=41162 1749.57/1750.77 c nbDecision=542000 #constraints=41191 1752.27/1753.46 c nbDecision=542500 #constraints=41208 1754.77/1755.99 c nbDecision=543000 #constraints=41213 1758.16/1759.39 c nbDecision=543500 #constraints=41223 1761.26/1762.47 c nbDecision=544000 #constraints=41275 1764.26/1765.44 c nbDecision=544500 #constraints=41297 1767.56/1768.73 c nbDecision=545000 #constraints=41327 1770.76/1771.96 c nbDecision=545500 #constraints=41354 1774.46/1775.61 c nbDecision=546000 #constraints=41391 1777.25/1778.49 c nbDecision=546500 #constraints=41410 1781.34/1782.51 c nbDecision=547000 #constraints=41461 1784.24/1785.41 c nbDecision=547500 #constraints=41469 1787.44/1788.63 c nbDecision=548000 #constraints=41497 1790.94/1792.12 c nbDecision=548500 #constraints=41516 1793.73/1794.92 c nbDecision=549000 #constraints=41531 1796.73/1797.90 c nbDecision=549500 #constraints=41561 1799.54/1800.71 c nbDecision=550000 #constraints=41584 1800.04/1801.20 Received signal 15 1800.04/1801.20 1800.04/1801.20 s UNKNOWN 1800.04/1801.20 1800.04/1801.20 c user time= 1799.64 s 1800.04/1801.20 c system time= 0.407937 s 1800.04/1801.20 c wall clock time=1801.21
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node52/watcher-356941-1176848926 -o ROOT/results/node52/solver-356941-1176848926 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356941-1176848926/instance-356941-1176848926.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.72 0.93 0.96 3/64 29168 /proc/meminfo: memFree=1781828/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=1468 CPUtime=0 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 39737676 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284176 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 367 162 127 317 0 46 0 [startup+0.0698799 s] /proc/loadavg: 0.72 0.93 0.96 3/64 29168 /proc/meminfo: memFree=1781828/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=2656 CPUtime=0.06 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 472 0 0 0 6 0 0 0 18 0 1 0 39737676 2719744 454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 664 454 131 317 0 343 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2656 [startup+0.101882 s] /proc/loadavg: 0.72 0.93 0.96 3/64 29168 /proc/meminfo: memFree=1781828/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=3452 CPUtime=0.09 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 678 0 0 0 9 0 0 0 18 0 1 0 39737676 3534848 660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 863 660 131 317 0 542 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3452 [startup+0.301895 s] /proc/loadavg: 0.72 0.93 0.96 3/64 29168 /proc/meminfo: memFree=1781828/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=8628 CPUtime=0.29 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 1953 0 0 0 28 1 0 0 19 0 1 0 39737676 8835072 1935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272567 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 2157 1935 131 317 0 1836 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8628 [startup+0.701922 s] /proc/loadavg: 0.72 0.93 0.96 3/64 29168 /proc/meminfo: memFree=1781828/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=19116 CPUtime=0.7 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 4597 0 0 0 68 2 0 0 23 0 1 0 39737676 19574784 4579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384551 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 4779 4579 138 317 0 4458 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 19116 [startup+1.50198 s] /proc/loadavg: 0.72 0.93 0.96 2/65 29169 /proc/meminfo: memFree=1764028/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=19116 CPUtime=1.49 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 4597 0 0 0 147 2 0 0 25 0 1 0 39737676 19574784 4579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 4779 4579 138 317 0 4458 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19116 [startup+3.10109 s] /proc/loadavg: 0.72 0.93 0.96 2/65 29169 /proc/meminfo: memFree=1763836/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=19404 CPUtime=3.09 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 4657 0 0 0 307 2 0 0 25 0 1 0 39737676 19869696 4639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385209 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 4851 4639 139 317 0 4530 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19404 [startup+6.3013 s] /proc/loadavg: 0.74 0.94 0.96 2/65 29169 /proc/meminfo: memFree=1763004/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=20456 CPUtime=6.29 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 4938 0 0 0 627 2 0 0 25 0 1 0 39737676 20946944 4920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385260 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 5114 4920 139 317 0 4793 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20456 [startup+12.7027 s] /proc/loadavg: 0.76 0.94 0.96 2/65 29169 /proc/meminfo: memFree=1760124/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=22956 CPUtime=12.69 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 5576 0 0 0 1266 3 0 0 25 0 1 0 39737676 23506944 5558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606871 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 5739 5558 170 317 0 5418 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22956 [startup+25.5016 s] /proc/loadavg: 0.81 0.94 0.96 2/65 29169 /proc/meminfo: memFree=1755772/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=27356 CPUtime=25.48 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 6668 0 0 0 2544 4 0 0 25 0 1 0 39737676 28012544 6650 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 6839 6650 170 317 0 6518 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27356 [startup+51.1013 s] /proc/loadavg: 0.87 0.94 0.96 2/65 29169 /proc/meminfo: memFree=1746940/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=36188 CPUtime=51.05 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 8905 0 0 0 5099 6 0 0 25 0 1 0 39737676 37056512 8887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 9047 8887 170 317 0 8726 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 36188 [startup+102.306 s] /proc/loadavg: 0.94 0.95 0.96 2/65 29169 /proc/meminfo: memFree=1731580/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=51492 CPUtime=102.22 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 12725 0 0 0 10213 9 0 0 25 0 1 0 39737676 52727808 12663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604197 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 12873 12663 170 317 0 12552 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 51492 [startup+162.302 s] /proc/loadavg: 0.98 0.95 0.96 2/65 29169 /proc/meminfo: memFree=1721340/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=62448 CPUtime=162.2 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 15318 0 0 0 16209 11 0 0 25 0 1 0 39737676 63946752 15256 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 15612 15256 170 317 0 15291 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 62448 [startup+222.302 s] /proc/loadavg: 0.99 0.96 0.96 2/65 29169 /proc/meminfo: memFree=1712124/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=71832 CPUtime=222.16 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 17657 0 0 0 22203 13 0 0 25 0 1 0 39737676 73555968 17509 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 17958 17509 170 317 0 17637 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 71832 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 29169 /proc/meminfo: memFree=1706556/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=77428 CPUtime=282.14 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 19067 0 0 0 28200 14 0 0 25 0 1 0 39737676 79286272 18919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 19357 18919 170 317 0 19036 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 77428 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 29169 /proc/meminfo: memFree=1701628/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=82396 CPUtime=342.11 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 20276 0 0 0 34195 16 0 0 25 0 1 0 39737676 84373504 20128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 20599 20128 170 317 0 20278 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 82396 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 29169 /proc/meminfo: memFree=1697340/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=86916 CPUtime=402.05 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 21364 0 0 0 40188 17 0 0 25 0 1 0 39737676 89001984 21216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604210 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 21729 21216 170 317 0 21408 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 86916 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 29169 /proc/meminfo: memFree=1692412/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=92260 CPUtime=462.01 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 22593 0 0 0 46184 17 0 0 25 0 1 0 39737676 94474240 22445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 23065 22445 170 317 0 22744 0 Current children cumulated CPU time (s) 462.01 Current children cumulated vsize (KiB) 92260 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 29169 /proc/meminfo: memFree=1684604/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=100632 CPUtime=521.99 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 24534 0 0 0 52180 19 0 0 25 0 1 0 39737676 103047168 24386 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 25158 24386 170 317 0 24837 0 Current children cumulated CPU time (s) 521.99 Current children cumulated vsize (KiB) 100632 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 29169 /proc/meminfo: memFree=1678332/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=106952 CPUtime=581.92 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 26084 0 0 0 58172 20 0 0 25 0 1 0 39737676 109518848 25936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29168/statm: 26738 25936 170 317 0 26417 0 Current children cumulated CPU time (s) 581.92 Current children cumulated vsize (KiB) 106952 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 29169 /proc/meminfo: memFree=1672188/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=113396 CPUtime=641.89 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 27621 0 0 0 64168 21 0 0 25 0 1 0 39737676 116117504 27473 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 28349 27473 170 317 0 28028 0 Current children cumulated CPU time (s) 641.89 Current children cumulated vsize (KiB) 113396 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 29169 /proc/meminfo: memFree=1658300/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=128620 CPUtime=821.78 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 31255 0 0 0 82154 24 0 0 25 0 1 0 39737676 131706880 30936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 32155 30936 170 317 0 31834 0 Current children cumulated CPU time (s) 821.78 Current children cumulated vsize (KiB) 128620 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 29169 /proc/meminfo: memFree=1654332/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=132576 CPUtime=881.76 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 32236 0 0 0 88151 25 0 0 25 0 1 0 39737676 135757824 31917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 33144 31917 170 317 0 32823 0 Current children cumulated CPU time (s) 881.76 Current children cumulated vsize (KiB) 132576 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 29169 /proc/meminfo: memFree=1649532/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=137728 CPUtime=941.69 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 33470 0 0 0 94144 25 0 0 25 0 1 0 39737676 141033472 33151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 34432 33151 170 317 0 34111 0 Current children cumulated CPU time (s) 941.69 Current children cumulated vsize (KiB) 137728 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 29169 /proc/meminfo: memFree=1644028/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=143144 CPUtime=1001.65 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 34813 0 0 0 100138 27 0 0 25 0 1 0 39737676 146579456 34494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 35786 34494 170 317 0 35465 0 Current children cumulated CPU time (s) 1001.65 Current children cumulated vsize (KiB) 143144 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 29169 /proc/meminfo: memFree=1638012/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=149228 CPUtime=1061.63 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 36321 0 0 0 106134 29 0 0 25 0 1 0 39737676 152809472 36002 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 37307 36002 170 317 0 36986 0 Current children cumulated CPU time (s) 1061.63 Current children cumulated vsize (KiB) 149228 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 29169 /proc/meminfo: memFree=1631612/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=155856 CPUtime=1121.59 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 37943 0 0 0 112128 31 0 0 25 0 1 0 39737676 159596544 37591 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 38964 37591 170 317 0 38643 0 Current children cumulated CPU time (s) 1121.59 Current children cumulated vsize (KiB) 155856 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 29169 /proc/meminfo: memFree=1627324/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=160252 CPUtime=1181.55 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 39005 0 0 0 118123 32 0 0 25 0 1 0 39737676 164098048 38653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 40063 38653 170 317 0 39742 0 Current children cumulated CPU time (s) 1181.55 Current children cumulated vsize (KiB) 160252 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 29169 /proc/meminfo: memFree=1623420/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=163876 CPUtime=1241.51 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 39947 0 0 0 124118 33 0 0 25 0 1 0 39737676 167809024 39595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 40969 39595 170 317 0 40648 0 Current children cumulated CPU time (s) 1241.51 Current children cumulated vsize (KiB) 163876 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 29169 /proc/meminfo: memFree=1617532/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=169868 CPUtime=1301.47 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 41413 0 0 0 130113 34 0 0 25 0 1 0 39737676 173944832 41061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 42467 41061 170 317 0 42146 0 Current children cumulated CPU time (s) 1301.47 Current children cumulated vsize (KiB) 169868 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 29169 /proc/meminfo: memFree=1613372/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=174128 CPUtime=1361.43 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 42448 0 0 0 136108 35 0 0 25 0 1 0 39737676 178307072 42096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 43532 42096 170 317 0 43211 0 Current children cumulated CPU time (s) 1361.43 Current children cumulated vsize (KiB) 174128 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.96 2/65 29169 /proc/meminfo: memFree=1609468/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=178196 CPUtime=1421.38 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 43451 0 0 0 142102 36 0 0 25 0 1 0 39737676 182472704 43099 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 44549 43099 170 317 0 44228 0 Current children cumulated CPU time (s) 1421.38 Current children cumulated vsize (KiB) 178196 [startup+1482.3 s] /proc/loadavg: 1.05 0.99 0.97 2/65 29169 /proc/meminfo: memFree=1605884/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=181904 CPUtime=1481.33 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 44378 0 0 0 148097 36 0 0 25 0 1 0 39737676 186269696 44026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 45476 44026 170 317 0 45155 0 Current children cumulated CPU time (s) 1481.33 Current children cumulated vsize (KiB) 181904 [startup+1542.3 s] /proc/loadavg: 1.13 1.02 0.98 2/65 29169 /proc/meminfo: memFree=1602492/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=185004 CPUtime=1541.3 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 45184 0 0 0 154093 37 0 0 25 0 1 0 39737676 189444096 44832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 46251 44832 170 317 0 45930 0 Current children cumulated CPU time (s) 1541.3 Current children cumulated vsize (KiB) 185004 [startup+1602.3 s] /proc/loadavg: 1.16 1.04 0.99 2/65 29169 /proc/meminfo: memFree=1599612/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=188112 CPUtime=1601.27 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 45906 0 0 0 160089 38 0 0 25 0 1 0 39737676 192626688 45554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 47028 45554 170 317 0 46707 0 Current children cumulated CPU time (s) 1601.27 Current children cumulated vsize (KiB) 188112 [startup+1662.3 s] /proc/loadavg: 1.06 1.03 0.99 2/65 29169 /proc/meminfo: memFree=1596156/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=191360 CPUtime=1661.22 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 46759 0 0 0 166083 39 0 0 25 0 1 0 39737676 195952640 46407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 47840 46407 170 317 0 47519 0 Current children cumulated CPU time (s) 1661.22 Current children cumulated vsize (KiB) 191360 [startup+1722.3 s] /proc/loadavg: 1.02 1.02 0.99 2/65 29169 /proc/meminfo: memFree=1591996/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=195568 CPUtime=1721.19 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 47823 0 0 0 172079 40 0 0 25 0 1 0 39737676 200261632 47471 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 48892 47471 170 317 0 48571 0 Current children cumulated CPU time (s) 1721.19 Current children cumulated vsize (KiB) 195568 [startup+1782.3 s] /proc/loadavg: 1.00 1.02 0.99 2/65 29169 /proc/meminfo: memFree=1588220/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=199264 CPUtime=1781.14 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 48700 0 0 0 178074 40 0 0 25 0 1 0 39737676 204046336 48348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 49816 48348 170 317 0 49495 0 Current children cumulated CPU time (s) 1781.14 Current children cumulated vsize (KiB) 199264 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 1.00 1.02 0.99 2/65 29169 /proc/meminfo: memFree=1587516/2055920 swapFree=4179264/4192956 [pid=29168] ppid=29166 vsize=200080 CPUtime=1800.04 /proc/29168/stat : 29168 (oree) R 29166 29168 29111 0 -1 4194304 48885 0 0 0 179964 40 0 0 25 0 1 0 39737676 204881920 48533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 0 0 0 /proc/29168/statm: 50020 48533 170 317 0 49699 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 200080 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): 1801.25 CPU time (s): 1800.09 CPU user time (s): 1799.66 CPU system time (s): 0.435933 CPU usage (%): 99.9357 Max. virtual memory (cumulated for all children) (KiB): 200080 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.66 system time used= 0.435933 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48901 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= 7581 runsolver used 1.69874 second user time and 4.91525 second system time The end
Begin job on node52 on Tue Apr 17 22:28:46 UTC 2007 IDJOB= 356941 IDBENCH= 1665 IDSOLVER= 172 FILE ID= node52/356941-1176848926 PBS_JOBID= 4590231 Free space on /tmp= 66343 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-grow22.opb COMMAND LINE= oree /tmp/evaluation/356941-1176848926/instance-356941-1176848926.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-356941-1176848926 -o ROOT/results/node52/solver-356941-1176848926 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356941-1176848926/instance-356941-1176848926.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 16450e6196a99d1fc33b5d9a0f64103d RANDOM SEED= 725001950 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node52.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.236 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.236 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: 1782300 kB Buffers: 25728 kB Cached: 193864 kB SwapCached: 7936 kB Active: 92672 kB Inactive: 140312 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1782300 kB SwapTotal: 4192956 kB SwapFree: 4179264 kB Dirty: 3120 kB Writeback: 0 kB Mapped: 15164 kB Slab: 26688 kB Committed_AS: 1524188 kB PageTables: 1484 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= 66343 MiB End job on node52 on Tue Apr 17 22:58:50 UTC 2007