Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.2 | 1800.8 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_10.opb |
MD5SUM | 904168892843efef74e3394360b8d762 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 26 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 26 |
Optimality of the best value was proved | NO |
Number of variables | 40363 |
Total number of constraints | 154319 |
Number of constraints which are clauses | 154296 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 22 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1952 |
Number of terms in the objective function | 1952 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1952 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 36 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1988 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 1.29/1.30 c ...done 1.29/1.30 c #vars=40363 #constraints=154320 hasObjective=yes 2.49/2.56 c res. mode=mod 2.49/2.56 c VSIDS like heuristics 2.49/2.56 c complete search running 5.18/5.22 c restart after 401 decisions 6.28/6.40 c nbDecision=500 #constraints=154435 7.88/7.97 c restart after 801 decisions 9.99/10.02 c nbDecision=1000 #constraints=154545 11.28/11.36 c nbDecision=1500 #constraints=154568 11.48/11.56 c restart after 1601 decisions 14.28/14.30 c nbDecision=2000 #constraints=154651 15.28/15.33 c nbDecision=2500 #constraints=154662 16.38/16.49 c nbDecision=3000 #constraints=154678 16.88/16.92 c restart after 3201 decisions 19.08/19.12 c nbDecision=3500 #constraints=154748 20.38/20.42 c nbDecision=4000 #constraints=154769 21.48/21.58 c nbDecision=4500 #constraints=154785 22.78/22.82 c nbDecision=5000 #constraints=154804 23.88/23.96 c nbDecision=5500 #constraints=154820 25.08/25.13 c nbDecision=6000 #constraints=154837 26.08/26.20 c restart after 6401 decisions 27.28/27.33 c nbDecision=6500 #constraints=154891 29.28/29.35 c nbDecision=7000 #constraints=154940 30.48/30.51 c nbDecision=7500 #constraints=154956 31.58/31.66 c nbDecision=8000 #constraints=154972 32.68/32.75 c nbDecision=8500 #constraints=154986 33.77/33.89 c nbDecision=9000 #constraints=155002 34.97/35.02 c nbDecision=9500 #constraints=155018 36.47/36.53 c nbDecision=10000 #constraints=155049 37.38/37.43 c nbDecision=10500 #constraints=155056 38.37/38.43 c nbDecision=11000 #constraints=155067 39.37/39.41 c nbDecision=11500 #constraints=155077 40.37/40.41 c nbDecision=12000 #constraints=155088 41.47/41.52 c nbDecision=12500 #constraints=155104 54.27/54.36 c restart after 12801 decisions 56.27/56.30 c nbDecision=13000 #constraints=155191 57.77/57.87 c nbDecision=13500 #constraints=155222 58.87/58.95 c nbDecision=14000 #constraints=155234 60.07/60.12 c nbDecision=14500 #constraints=155250 61.17/61.26 c nbDecision=15000 #constraints=155265 62.37/62.45 c nbDecision=15500 #constraints=155282 63.57/63.65 c nbDecision=16000 #constraints=155300 65.07/65.10 c nbDecision=16500 #constraints=155328 65.97/66.01 c nbDecision=17000 #constraints=155335 66.86/66.96 c nbDecision=17500 #constraints=155344 67.86/67.95 c nbDecision=18000 #constraints=155355 68.96/69.00 c nbDecision=18500 #constraints=155368 70.06/70.19 c nbDecision=19000 #constraints=155387 85.26/85.34 c nbDecision=19500 #constraints=155489 86.36/86.42 c nbDecision=20000 #constraints=155501 87.36/87.49 c nbDecision=20500 #constraints=155513 88.67/88.71 c nbDecision=21000 #constraints=155531 89.67/89.80 c nbDecision=21500 #constraints=155544 90.87/90.93 c nbDecision=22000 #constraints=155559 91.97/92.08 c nbDecision=22500 #constraints=155575 93.47/93.60 c nbDecision=23000 #constraints=155606 94.46/94.50 c nbDecision=23500 #constraints=155613 95.36/95.48 c nbDecision=24000 #constraints=155623 96.36/96.41 c nbDecision=24500 #constraints=155631 97.36/97.47 c nbDecision=25000 #constraints=155644 98.46/98.52 c nbDecision=25500 #constraints=155657 98.66/98.75 c restart after 25601 decisions 101.66/101.70 c nbDecision=26000 #constraints=155742 102.76/102.80 c nbDecision=26500 #constraints=155755 104.06/104.11 c nbDecision=27000 #constraints=155776 105.26/105.30 c nbDecision=27500 #constraints=155793 106.36/106.48 c nbDecision=28000 #constraints=155810 107.66/107.78 c nbDecision=28500 #constraints=155832 108.96/109.09 c nbDecision=29000 #constraints=155855 109.96/110.02 c nbDecision=29500 #constraints=155863 110.86/110.97 c nbDecision=30000 #constraints=155872 111.86/111.99 c nbDecision=30500 #constraints=155884 112.96/113.03 c nbDecision=31000 #constraints=155897 114.16/114.24 c nbDecision=31500 #constraints=155917 129.35/129.40 c nbDecision=32000 #constraints=156022 130.45/130.53 c nbDecision=32500 #constraints=156036 131.65/131.70 c nbDecision=33000 #constraints=156052 132.75/132.84 c nbDecision=33500 #constraints=156067 133.85/133.97 c nbDecision=34000 #constraints=156082 135.15/135.20 c nbDecision=34500 #constraints=156101 136.45/136.53 c nbDecision=35000 #constraints=156124 137.45/137.54 c nbDecision=35500 #constraints=156135 138.35/138.48 c nbDecision=36000 #constraints=156143 139.35/139.50 c nbDecision=36500 #constraints=156154 140.35/140.48 c nbDecision=37000 #constraints=156164 141.35/141.49 c nbDecision=37500 #constraints=156175 142.55/142.65 c nbDecision=38000 #constraints=156192 157.54/157.66 c nbDecision=38500 #constraints=156295 158.74/158.88 c nbDecision=39000 #constraints=156312 160.04/160.15 c nbDecision=39500 #constraints=156331 161.24/161.35 c nbDecision=40000 #constraints=156348 162.44/162.58 c nbDecision=40500 #constraints=156366 163.74/163.90 c nbDecision=41000 #constraints=156388 165.14/165.26 c nbDecision=41500 #constraints=156412 166.04/166.17 c nbDecision=42000 #constraints=156419 167.04/167.13 c nbDecision=42500 #constraints=156428 168.04/168.11 c nbDecision=43000 #constraints=156438 168.94/169.09 c nbDecision=43500 #constraints=156448 170.04/170.19 c nbDecision=44000 #constraints=156463 183.64/183.78 c nbDecision=44500 #constraints=156519 186.33/186.44 c nbDecision=45000 #constraints=156588 187.43/187.60 c nbDecision=45500 #constraints=156603 188.73/188.81 c nbDecision=46000 #constraints=156620 189.83/189.93 c nbDecision=46500 #constraints=156634 190.93/191.09 c nbDecision=47000 #constraints=156650 192.33/192.43 c nbDecision=47500 #constraints=156673 193.54/193.68 c nbDecision=48000 #constraints=156693 194.43/194.59 c nbDecision=48500 #constraints=156700 195.43/195.58 c nbDecision=49000 #constraints=156710 196.43/196.57 c nbDecision=49500 #constraints=156720 197.43/197.59 c nbDecision=50000 #constraints=156731 198.53/198.63 c nbDecision=50500 #constraints=156743 199.83/199.96 c nbDecision=51000 #constraints=156767 213.62/213.72 c restart after 51201 decisions 214.92/215.04 c nbDecision=51500 #constraints=156863 216.12/216.20 c nbDecision=52000 #constraints=156878 217.32/217.40 c nbDecision=52500 #constraints=156894 218.42/218.56 c nbDecision=53000 #constraints=156909 219.62/219.72 c nbDecision=53500 #constraints=156924 220.92/221.08 c nbDecision=54000 #constraints=156947 222.32/222.45 c nbDecision=54500 #constraints=156971 223.22/223.40 c nbDecision=55000 #constraints=156979 224.22/224.37 c nbDecision=55500 #constraints=156988 225.22/225.37 c nbDecision=56000 #constraints=156998 226.22/226.38 c nbDecision=56500 #constraints=157009 227.32/227.49 c nbDecision=57000 #constraints=157024 241.81/241.90 c nbDecision=57500 #constraints=157103 243.61/243.78 c nbDecision=58000 #constraints=157143 244.91/245.00 c nbDecision=58500 #constraints=157160 246.01/246.19 c nbDecision=59000 #constraints=157176 247.21/247.31 c nbDecision=59500 #constraints=157190 248.41/248.50 c nbDecision=60000 #constraints=157207 249.81/249.92 c nbDecision=60500 #constraints=157233 250.91/251.04 c nbDecision=61000 #constraints=157248 251.81/251.95 c nbDecision=61500 #constraints=157255 252.81/252.97 c nbDecision=62000 #constraints=157266 253.90/254.00 c nbDecision=62500 #constraints=157278 254.80/254.98 c nbDecision=63000 #constraints=157288 256.00/256.17 c nbDecision=63500 #constraints=157306 270.60/270.76 c nbDecision=64000 #constraints=157394 272.10/272.21 c nbDecision=64500 #constraints=157419 273.20/273.37 c nbDecision=65000 #constraints=157434 274.40/274.56 c nbDecision=65500 #constraints=157450 275.50/275.66 c nbDecision=66000 #constraints=157463 276.69/276.84 c nbDecision=66500 #constraints=157479 277.99/278.15 c nbDecision=67000 #constraints=157500 279.19/279.37 c nbDecision=67500 #constraints=157518 280.19/280.39 c nbDecision=68000 #constraints=157529 281.19/281.34 c nbDecision=68500 #constraints=157537 282.19/282.34 c nbDecision=69000 #constraints=157547 283.19/283.38 c nbDecision=69500 #constraints=157559 284.30/284.45 c nbDecision=70000 #constraints=157572 285.50/285.65 c nbDecision=70500 #constraints=157590 300.49/300.68 c nbDecision=71000 #constraints=157692 302.99/303.18 c nbDecision=71500 #constraints=157751 304.79/304.98 c nbDecision=72000 #constraints=157788 306.09/306.21 c nbDecision=72500 #constraints=157805 307.29/307.43 c nbDecision=73000 #constraints=157822 308.49/308.61 c nbDecision=73500 #constraints=157838 309.69/309.81 c nbDecision=74000 #constraints=157855 311.29/311.43 c nbDecision=74500 #constraints=157888 312.19/312.34 c nbDecision=75000 #constraints=157895 313.09/313.28 c nbDecision=75500 #constraints=157903 314.09/314.25 c nbDecision=76000 #constraints=157912 315.09/315.29 c nbDecision=76500 #constraints=157924 316.18/316.36 c nbDecision=77000 #constraints=157937 317.48/317.66 c nbDecision=77500 #constraints=157959 332.18/332.32 c nbDecision=78000 #constraints=158055 334.38/334.56 c nbDecision=78500 #constraints=158101 336.78/336.92 c nbDecision=79000 #constraints=158148 339.88/340.05 c nbDecision=79500 #constraints=158227 341.07/341.22 c nbDecision=80000 #constraints=158241 343.97/344.18 c nbDecision=80500 #constraints=158316 346.27/346.48 c nbDecision=81000 #constraints=158368 348.17/348.38 c nbDecision=81500 #constraints=158408 349.37/349.58 c nbDecision=82000 #constraints=158424 350.67/350.81 c nbDecision=82500 #constraints=158441 351.77/351.97 c nbDecision=83000 #constraints=158456 352.97/353.18 c nbDecision=83500 #constraints=158473 354.57/354.71 c nbDecision=84000 #constraints=158502 355.57/355.74 c nbDecision=84500 #constraints=158513 356.57/356.72 c nbDecision=85000 #constraints=158522 357.47/357.67 c nbDecision=85500 #constraints=158530 358.58/358.76 c nbDecision=86000 #constraints=158543 359.58/359.78 c nbDecision=86500 #constraints=158554 360.78/360.97 c nbDecision=87000 #constraints=158571 375.17/375.31 c nbDecision=87500 #constraints=158664 376.37/376.50 c nbDecision=88000 #constraints=158679 379.67/379.88 c nbDecision=88500 #constraints=158753 380.97/381.14 c nbDecision=89000 #constraints=158767 382.26/382.47 c nbDecision=89500 #constraints=158783 383.56/383.73 c nbDecision=90000 #constraints=158797 384.87/385.01 c nbDecision=90500 #constraints=158812 386.17/386.33 c nbDecision=91000 #constraints=158828 387.96/388.19 c nbDecision=91500 #constraints=158860 388.96/389.16 c nbDecision=92000 #constraints=158867 390.06/390.21 c nbDecision=92500 #constraints=158876 391.06/391.29 c nbDecision=93000 #constraints=158886 392.26/392.44 c nbDecision=93500 #constraints=158898 393.46/393.62 c nbDecision=94000 #constraints=158911 395.06/395.22 c nbDecision=94500 #constraints=158936 409.25/409.48 c nbDecision=95000 #constraints=159018 411.45/411.63 c nbDecision=95500 #constraints=159065 413.35/413.56 c nbDecision=96000 #constraints=159105 416.15/416.39 c nbDecision=96500 #constraints=159175 417.35/417.54 c nbDecision=97000 #constraints=159188 420.35/420.50 c nbDecision=97500 #constraints=159262 423.14/423.36 c nbDecision=98000 #constraints=159333 424.34/424.53 c nbDecision=98500 #constraints=159347 427.14/427.39 c nbDecision=99000 #constraints=159418 429.94/430.18 c nbDecision=99500 #constraints=159487 431.15/431.34 c nbDecision=100000 #constraints=159501 433.85/434.07 c nbDecision=100500 #constraints=159568 435.55/435.75 c nbDecision=101000 #constraints=159599 437.75/437.98 c nbDecision=101500 #constraints=159649 440.54/440.74 c nbDecision=102000 #constraints=159716 441.54/441.77 c restart after 102401 decisions 443.04/443.27 c nbDecision=102500 #constraints=159763 445.35/445.51 c nbDecision=103000 #constraints=159813 446.44/446.61 c nbDecision=103500 #constraints=159825 447.54/447.79 c nbDecision=104000 #constraints=159840 448.84/449.02 c nbDecision=104500 #constraints=159857 449.94/450.19 c nbDecision=105000 #constraints=159872 451.14/451.35 c nbDecision=105500 #constraints=159887 452.63/452.80 c nbDecision=106000 #constraints=159913 453.73/453.94 c nbDecision=106500 #constraints=159928 454.73/454.94 c nbDecision=107000 #constraints=159938 455.73/455.91 c nbDecision=107500 #constraints=159947 456.73/456.97 c nbDecision=108000 #constraints=159959 457.93/458.10 c nbDecision=108500 #constraints=159974 471.23/471.48 c nbDecision=109000 #constraints=160008 472.53/472.75 c nbDecision=109500 #constraints=160028 473.53/473.73 c nbDecision=110000 #constraints=160037 474.43/474.70 c nbDecision=110500 #constraints=160046 475.53/475.77 c nbDecision=111000 #constraints=160059 476.72/476.90 c nbDecision=111500 #constraints=160074 490.13/490.38 c nbDecision=112000 #constraints=160109 491.33/491.57 c nbDecision=112500 #constraints=160124 492.63/492.84 c nbDecision=113000 #constraints=160142 493.73/493.95 c nbDecision=113500 #constraints=160155 494.93/495.18 c nbDecision=114000 #constraints=160172 496.33/496.54 c nbDecision=114500 #constraints=160194 497.62/497.83 c nbDecision=115000 #constraints=160214 498.52/498.78 c nbDecision=115500 #constraints=160222 499.52/499.77 c nbDecision=116000 #constraints=160231 500.62/500.83 c nbDecision=116500 #constraints=160243 501.72/501.92 c nbDecision=117000 #constraints=160256 502.92/503.18 c nbDecision=117500 #constraints=160276 518.21/518.50 c nbDecision=118000 #constraints=160373 519.41/519.62 c nbDecision=118500 #constraints=160385 520.51/520.79 c nbDecision=119000 #constraints=160399 521.81/522.05 c nbDecision=119500 #constraints=160416 523.01/523.21 c nbDecision=120000 #constraints=160430 524.21/524.43 c nbDecision=120500 #constraints=160446 525.61/525.83 c nbDecision=121000 #constraints=160469 526.91/527.14 c nbDecision=121500 #constraints=160490 527.91/528.14 c nbDecision=122000 #constraints=160500 528.91/529.12 c nbDecision=122500 #constraints=160509 529.91/530.17 c nbDecision=123000 #constraints=160521 531.11/531.31 c nbDecision=123500 #constraints=160536 545.80/546.02 c nbDecision=124000 #constraints=160612 547.70/547.97 c nbDecision=124500 #constraints=160652 548.90/549.17 c nbDecision=125000 #constraints=160667 550.20/550.41 c nbDecision=125500 #constraints=160684 551.30/551.59 c nbDecision=126000 #constraints=160699 552.60/552.80 c nbDecision=126500 #constraints=160715 553.90/554.17 c nbDecision=127000 #constraints=160737 555.30/555.54 c nbDecision=127500 #constraints=160760 556.20/556.47 c nbDecision=128000 #constraints=160767 557.30/557.51 c nbDecision=128500 #constraints=160778 558.20/558.49 c nbDecision=129000 #constraints=160787 559.29/559.59 c nbDecision=129500 #constraints=160800 560.59/560.81 c nbDecision=130000 #constraints=160818 575.49/575.79 c nbDecision=130500 #constraints=160908 576.89/577.10 c nbDecision=131000 #constraints=160926 578.09/578.34 c nbDecision=131500 #constraints=160942 579.40/579.63 c nbDecision=132000 #constraints=160960 580.60/580.85 c nbDecision=132500 #constraints=160976 581.80/582.09 c nbDecision=133000 #constraints=160993 583.40/583.60 c nbDecision=133500 #constraints=161020 584.50/584.76 c nbDecision=134000 #constraints=161035 585.49/585.75 c nbDecision=134500 #constraints=161044 586.49/586.74 c nbDecision=135000 #constraints=161053 587.49/587.77 c nbDecision=135500 #constraints=161064 588.69/588.96 c nbDecision=136000 #constraints=161081 603.08/603.31 c nbDecision=136500 #constraints=161157 605.08/605.33 c nbDecision=137000 #constraints=161198 606.18/606.49 c nbDecision=137500 #constraints=161211 607.38/607.66 c nbDecision=138000 #constraints=161225 608.58/608.87 c nbDecision=138500 #constraints=161241 609.78/610.09 c nbDecision=139000 #constraints=161257 610.88/611.18 c nbDecision=139500 #constraints=161269 612.38/612.60 c nbDecision=140000 #constraints=161293 613.58/613.87 c nbDecision=140500 #constraints=161312 614.58/614.82 c nbDecision=141000 #constraints=161320 615.58/615.86 c nbDecision=141500 #constraints=161331 616.68/616.93 c nbDecision=142000 #constraints=161343 617.78/618.02 c nbDecision=142500 #constraints=161356 631.47/631.75 c nbDecision=143000 #constraints=161405 634.07/634.38 c nbDecision=143500 #constraints=161466 635.27/635.53 c nbDecision=144000 #constraints=161479 636.47/636.79 c nbDecision=144500 #constraints=161496 637.78/638.05 c nbDecision=145000 #constraints=161513 639.07/639.30 c nbDecision=145500 #constraints=161530 640.27/640.55 c nbDecision=146000 #constraints=161547 641.87/642.15 c nbDecision=146500 #constraints=161577 642.87/643.11 c nbDecision=147000 #constraints=161585 643.77/644.08 c nbDecision=147500 #constraints=161593 644.77/645.10 c nbDecision=148000 #constraints=161603 645.87/646.19 c nbDecision=148500 #constraints=161616 647.07/647.38 c nbDecision=149000 #constraints=161633 662.56/662.83 c nbDecision=149500 #constraints=161726 664.06/664.34 c nbDecision=150000 #constraints=161744 665.36/665.64 c nbDecision=150500 #constraints=161757 666.86/667.13 c nbDecision=151000 #constraints=161775 668.16/668.46 c nbDecision=151500 #constraints=161789 669.56/669.86 c nbDecision=152000 #constraints=161805 671.26/671.51 c nbDecision=152500 #constraints=161827 672.86/673.18 c nbDecision=153000 #constraints=161850 673.96/674.25 c nbDecision=153500 #constraints=161858 675.06/675.35 c nbDecision=154000 #constraints=161867 676.36/676.66 c nbDecision=154500 #constraints=161881 677.65/677.90 c nbDecision=155000 #constraints=161893 679.35/679.63 c nbDecision=155500 #constraints=161917 694.36/694.68 c nbDecision=156000 #constraints=162003 695.56/695.86 c nbDecision=156500 #constraints=162017 696.76/697.05 c nbDecision=157000 #constraints=162031 698.06/698.38 c nbDecision=157500 #constraints=162050 699.36/699.60 c nbDecision=158000 #constraints=162066 700.56/700.85 c nbDecision=158500 #constraints=162083 702.15/702.49 c nbDecision=159000 #constraints=162114 703.15/703.43 c nbDecision=159500 #constraints=162121 704.05/704.39 c nbDecision=160000 #constraints=162129 705.15/705.42 c nbDecision=160500 #constraints=162139 706.15/706.48 c nbDecision=161000 #constraints=162151 707.35/707.65 c nbDecision=161500 #constraints=162167 721.85/722.19 c nbDecision=162000 #constraints=162251 723.55/723.82 c nbDecision=162500 #constraints=162279 726.74/727.02 c nbDecision=163000 #constraints=162355 727.84/728.14 c nbDecision=163500 #constraints=162367 730.94/731.22 c nbDecision=164000 #constraints=162441 732.04/732.38 c nbDecision=164500 #constraints=162454 735.14/735.45 c nbDecision=165000 #constraints=162527 736.34/736.61 c nbDecision=165500 #constraints=162540 739.94/740.29 c nbDecision=166000 #constraints=162610 741.34/741.63 c nbDecision=166500 #constraints=162623 744.33/744.70 c nbDecision=167000 #constraints=162694 745.54/745.87 c nbDecision=167500 #constraints=162707 748.53/748.83 c nbDecision=168000 #constraints=162778 749.63/749.96 c nbDecision=168500 #constraints=162790 752.64/752.98 c nbDecision=169000 #constraints=162863 754.94/755.21 c nbDecision=169500 #constraints=162910 756.73/757.02 c nbDecision=170000 #constraints=162944 759.03/759.37 c nbDecision=170500 #constraints=162994 760.83/761.12 c nbDecision=171000 #constraints=163026 763.63/763.91 c nbDecision=171500 #constraints=163090 764.73/765.07 c nbDecision=172000 #constraints=163103 767.63/767.92 c nbDecision=172500 #constraints=163170 768.73/769.05 c nbDecision=173000 #constraints=163182 771.53/771.84 c nbDecision=173500 #constraints=163247 772.63/772.99 c nbDecision=174000 #constraints=163260 775.42/775.76 c nbDecision=174500 #constraints=163324 777.03/777.35 c nbDecision=175000 #constraints=163350 779.33/779.66 c nbDecision=175500 #constraints=163400 781.33/781.69 c nbDecision=176000 #constraints=163440 783.13/783.48 c nbDecision=176500 #constraints=163473 785.43/785.70 c nbDecision=177000 #constraints=163519 786.92/787.25 c nbDecision=177500 #constraints=163545 789.42/789.78 c nbDecision=178000 #constraints=163602 790.63/790.99 c nbDecision=178500 #constraints=163617 793.22/793.57 c nbDecision=179000 #constraints=163676 794.42/794.72 c nbDecision=179500 #constraints=163689 796.92/797.23 c nbDecision=180000 #constraints=163745 798.32/798.66 c nbDecision=180500 #constraints=163766 800.62/800.94 c nbDecision=181000 #constraints=163815 805.61/805.90 c nbDecision=181500 #constraints=163949 814.02/814.31 c nbDecision=182000 #constraints=164196 818.02/818.35 c nbDecision=182500 #constraints=164301 822.52/822.83 c nbDecision=183000 #constraints=164420 825.01/825.37 c nbDecision=183500 #constraints=164477 826.71/827.01 c nbDecision=184000 #constraints=164506 828.21/828.57 c nbDecision=184500 #constraints=164532 830.01/830.35 c nbDecision=185000 #constraints=164563 831.32/831.69 c nbDecision=185500 #constraints=164581 832.81/833.12 c nbDecision=186000 #constraints=164603 834.41/834.74 c nbDecision=186500 #constraints=164630 835.91/836.27 c nbDecision=187000 #constraints=164654 837.11/837.44 c nbDecision=187500 #constraints=164667 838.70/839.00 c nbDecision=188000 #constraints=164692 840.21/840.52 c nbDecision=188500 #constraints=164716 841.31/841.66 c nbDecision=189000 #constraints=164728 842.80/843.20 c nbDecision=189500 #constraints=164752 844.40/844.79 c nbDecision=190000 #constraints=164778 845.90/846.30 c nbDecision=190500 #constraints=164801 847.10/847.48 c nbDecision=191000 #constraints=164815 849.20/849.59 c nbDecision=191500 #constraints=164850 850.40/850.72 c nbDecision=192000 #constraints=164862 851.90/852.21 c nbDecision=192500 #constraints=164885 853.40/853.80 c nbDecision=193000 #constraints=164908 854.60/854.99 c nbDecision=193500 #constraints=164922 856.20/856.51 c nbDecision=194000 #constraints=164946 857.71/858.05 c nbDecision=194500 #constraints=164970 859.20/859.55 c nbDecision=195000 #constraints=164993 860.40/860.72 c nbDecision=195500 #constraints=165006 861.80/862.19 c nbDecision=196000 #constraints=165028 863.40/863.70 c nbDecision=196500 #constraints=165051 864.90/865.23 c nbDecision=197000 #constraints=165075 866.10/866.46 c nbDecision=197500 #constraints=165090 867.80/868.13 c nbDecision=198000 #constraints=165119 869.30/869.65 c nbDecision=198500 #constraints=165144 870.80/871.18 c nbDecision=199000 #constraints=165169 872.30/872.63 c nbDecision=199500 #constraints=165191 873.60/873.92 c nbDecision=200000 #constraints=165208 875.09/875.47 c nbDecision=200500 #constraints=165234 876.69/877.01 c nbDecision=201000 #constraints=165259 878.19/878.51 c nbDecision=201500 #constraints=165282 879.80/880.14 c nbDecision=202000 #constraints=165308 881.29/881.69 c nbDecision=202500 #constraints=165333 882.49/882.89 c nbDecision=203000 #constraints=165347 884.19/884.51 c nbDecision=203500 #constraints=165373 885.59/885.99 c nbDecision=204000 #constraints=165396 887.09/887.49 c nbDecision=204500 #constraints=165420 887.89/888.22 c restart after 204801 decisions 888.99/889.35 c nbDecision=205000 #constraints=165437 904.88/905.23 c nbDecision=205500 #constraints=165537 905.98/906.37 c nbDecision=206000 #constraints=165549 907.19/907.55 c nbDecision=206500 #constraints=165563 908.39/908.74 c nbDecision=207000 #constraints=165578 909.48/909.85 c nbDecision=207500 #constraints=165590 910.68/911.04 c nbDecision=208000 #constraints=165605 911.88/912.22 c nbDecision=208500 #constraints=165620 913.48/913.84 c nbDecision=209000 #constraints=165651 914.38/914.78 c nbDecision=209500 #constraints=165658 915.38/915.79 c nbDecision=210000 #constraints=165668 916.38/916.78 c nbDecision=210500 #constraints=165677 917.48/917.89 c nbDecision=211000 #constraints=165690 918.58/918.95 c nbDecision=211500 #constraints=165702 919.98/920.31 c nbDecision=212000 #constraints=165725 935.38/935.79 c nbDecision=212500 #constraints=165818 936.58/936.93 c nbDecision=213000 #constraints=165830 937.68/938.10 c nbDecision=213500 #constraints=165843 938.98/939.36 c nbDecision=214000 #constraints=165860 940.18/940.51 c nbDecision=214500 #constraints=165873 941.28/941.68 c nbDecision=215000 #constraints=165887 942.78/943.13 c nbDecision=215500 #constraints=165911 944.08/944.48 c nbDecision=216000 #constraints=165932 945.07/945.42 c nbDecision=216500 #constraints=165939 946.07/946.47 c nbDecision=217000 #constraints=165950 947.17/947.51 c nbDecision=217500 #constraints=165961 948.17/948.52 c nbDecision=218000 #constraints=165971 949.37/949.73 c nbDecision=218500 #constraints=165989 964.96/965.36 c nbDecision=219000 #constraints=166087 966.16/966.50 c nbDecision=219500 #constraints=166099 967.26/967.60 c nbDecision=220000 #constraints=166110 968.46/968.85 c nbDecision=220500 #constraints=166126 969.66/970.00 c nbDecision=221000 #constraints=166139 970.76/971.14 c nbDecision=221500 #constraints=166152 971.96/972.32 c nbDecision=222000 #constraints=166167 973.37/973.79 c nbDecision=222500 #constraints=166192 974.67/975.00 c nbDecision=223000 #constraints=166209 975.57/975.96 c nbDecision=223500 #constraints=166217 976.67/977.02 c nbDecision=224000 #constraints=166228 977.77/978.12 c nbDecision=224500 #constraints=166241 978.77/979.16 c nbDecision=225000 #constraints=166252 993.16/993.53 c nbDecision=225500 #constraints=166313 995.66/996.03 c nbDecision=226000 #constraints=166368 996.76/997.18 c nbDecision=226500 #constraints=166380 997.96/998.32 c nbDecision=227000 #constraints=166392 999.16/999.57 c nbDecision=227500 #constraints=166408 1000.26/1000.69 c nbDecision=228000 #constraints=166420 1001.56/1001.92 c nbDecision=228500 #constraints=166436 1002.96/1003.36 c nbDecision=229000 #constraints=166459 1004.36/1004.71 c nbDecision=229500 #constraints=166480 1005.26/1005.68 c nbDecision=230000 #constraints=166488 1006.36/1006.73 c nbDecision=230500 #constraints=166499 1007.36/1007.72 c nbDecision=231000 #constraints=166508 1008.46/1008.84 c nbDecision=231500 #constraints=166522 1009.65/1010.06 c nbDecision=232000 #constraints=166540 1025.25/1025.62 c nbDecision=232500 #constraints=166636 1026.35/1026.79 c nbDecision=233000 #constraints=166649 1027.55/1027.92 c nbDecision=233500 #constraints=166661 1028.85/1029.25 c nbDecision=234000 #constraints=166680 1029.95/1030.39 c nbDecision=234500 #constraints=166693 1031.25/1031.61 c nbDecision=235000 #constraints=166709 1032.74/1033.14 c nbDecision=235500 #constraints=166736 1033.94/1034.39 c nbDecision=236000 #constraints=166754 1034.94/1035.33 c nbDecision=236500 #constraints=166761 1035.95/1036.33 c nbDecision=237000 #constraints=166770 1036.95/1037.35 c nbDecision=237500 #constraints=166780 1038.05/1038.46 c nbDecision=238000 #constraints=166793 1039.34/1039.76 c nbDecision=238500 #constraints=166813 1054.64/1055.10 c nbDecision=239000 #constraints=166911 1055.83/1056.24 c nbDecision=239500 #constraints=166923 1057.03/1057.42 c nbDecision=240000 #constraints=166936 1058.33/1058.70 c nbDecision=240500 #constraints=166953 1059.43/1059.82 c nbDecision=241000 #constraints=166965 1060.64/1061.07 c nbDecision=241500 #constraints=166981 1061.94/1062.38 c nbDecision=242000 #constraints=167000 1063.44/1063.89 c nbDecision=242500 #constraints=167026 1064.44/1064.86 c nbDecision=243000 #constraints=167034 1065.54/1065.92 c nbDecision=243500 #constraints=167045 1066.44/1066.88 c nbDecision=244000 #constraints=167053 1067.54/1067.95 c nbDecision=244500 #constraints=167065 1068.64/1069.07 c nbDecision=245000 #constraints=167079 1084.03/1084.46 c nbDecision=245500 #constraints=167174 1085.33/1085.71 c nbDecision=246000 #constraints=167189 1086.43/1086.84 c nbDecision=246500 #constraints=167201 1087.73/1088.11 c nbDecision=247000 #constraints=167218 1088.83/1089.26 c nbDecision=247500 #constraints=167231 1090.03/1090.46 c nbDecision=248000 #constraints=167246 1091.23/1091.65 c nbDecision=248500 #constraints=167261 1092.93/1093.34 c nbDecision=249000 #constraints=167294 1093.83/1094.28 c nbDecision=249500 #constraints=167301 1094.82/1095.27 c nbDecision=250000 #constraints=167310 1095.82/1096.30 c nbDecision=250500 #constraints=167320 1096.92/1097.37 c nbDecision=251000 #constraints=167332 1098.12/1098.50 c nbDecision=251500 #constraints=167346 1113.12/1113.58 c nbDecision=252000 #constraints=167420 1115.71/1116.19 c nbDecision=252500 #constraints=167457 1117.11/1117.59 c nbDecision=253000 #constraints=167469 1118.51/1118.98 c nbDecision=253500 #constraints=167481 1120.11/1120.57 c nbDecision=254000 #constraints=167497 1121.62/1122.06 c nbDecision=254500 #constraints=167511 1123.11/1123.55 c nbDecision=255000 #constraints=167525 1125.21/1125.64 c nbDecision=255500 #constraints=167551 1126.91/1127.32 c nbDecision=256000 #constraints=167569 1128.01/1128.47 c nbDecision=256500 #constraints=167577 1129.31/1129.77 c nbDecision=257000 #constraints=167588 1130.71/1131.13 c nbDecision=257500 #constraints=167600 1132.01/1132.48 c nbDecision=258000 #constraints=167612 1146.91/1147.36 c nbDecision=258500 #constraints=167670 1149.41/1149.85 c nbDecision=259000 #constraints=167723 1152.31/1152.79 c nbDecision=259500 #constraints=167785 1154.00/1154.42 c nbDecision=260000 #constraints=167812 1156.81/1157.22 c nbDecision=260500 #constraints=167871 1158.40/1158.82 c nbDecision=261000 #constraints=167897 1159.60/1160.00 c nbDecision=261500 #constraints=167910 1160.90/1161.33 c nbDecision=262000 #constraints=167928 1162.11/1162.51 c nbDecision=262500 #constraints=167942 1163.31/1163.76 c nbDecision=263000 #constraints=167958 1164.71/1165.19 c nbDecision=263500 #constraints=167981 1166.20/1166.60 c nbDecision=264000 #constraints=168004 1167.10/1167.56 c nbDecision=264500 #constraints=168012 1168.10/1168.56 c nbDecision=265000 #constraints=168021 1169.10/1169.55 c nbDecision=265500 #constraints=168030 1170.11/1170.59 c nbDecision=266000 #constraints=168041 1171.30/1171.74 c nbDecision=266500 #constraints=168056 1186.20/1186.67 c nbDecision=267000 #constraints=168152 1187.50/1187.94 c nbDecision=267500 #constraints=168168 1191.79/1192.23 c nbDecision=268000 #constraints=168241 1193.20/1193.63 c nbDecision=268500 #constraints=168253 1196.39/1196.89 c nbDecision=269000 #constraints=168325 1197.59/1198.04 c nbDecision=269500 #constraints=168337 1200.69/1201.16 c nbDecision=270000 #constraints=168408 1203.18/1203.60 c nbDecision=270500 #constraints=168458 1204.98/1205.43 c nbDecision=271000 #constraints=168491 1208.09/1208.54 c nbDecision=271500 #constraints=168562 1209.19/1209.68 c nbDecision=272000 #constraints=168574 1212.29/1212.79 c nbDecision=272500 #constraints=168645 1213.49/1213.96 c nbDecision=273000 #constraints=168658 1216.49/1216.95 c nbDecision=273500 #constraints=168725 1219.49/1219.97 c nbDecision=274000 #constraints=168793 1220.69/1221.16 c nbDecision=274500 #constraints=168806 1223.68/1224.13 c nbDecision=275000 #constraints=168872 1224.88/1225.32 c nbDecision=275500 #constraints=168885 1227.68/1228.15 c nbDecision=276000 #constraints=168947 1230.59/1231.01 c nbDecision=276500 #constraints=169011 1231.78/1232.22 c nbDecision=277000 #constraints=169025 1239.78/1240.23 c nbDecision=277500 #constraints=169243 1251.77/1252.25 c nbDecision=278000 #constraints=169585 1259.08/1259.54 c nbDecision=278500 #constraints=169785 1262.27/1262.77 c nbDecision=279000 #constraints=169860 1266.47/1266.99 c nbDecision=279500 #constraints=169966 1268.17/1268.60 c nbDecision=280000 #constraints=169991 1269.37/1269.83 c nbDecision=280500 #constraints=170006 1270.97/1271.48 c nbDecision=281000 #constraints=170032 1272.56/1273.03 c nbDecision=281500 #constraints=170055 1273.76/1274.21 c nbDecision=282000 #constraints=170068 1275.26/1275.74 c nbDecision=282500 #constraints=170090 1276.77/1277.26 c nbDecision=283000 #constraints=170112 1277.96/1278.42 c nbDecision=283500 #constraints=170124 1279.46/1279.98 c nbDecision=284000 #constraints=170147 1281.07/1281.58 c nbDecision=284500 #constraints=170171 1282.27/1282.76 c nbDecision=285000 #constraints=170184 1283.96/1284.48 c nbDecision=285500 #constraints=170212 1285.66/1286.11 c nbDecision=286000 #constraints=170237 1287.16/1287.65 c nbDecision=286500 #constraints=170260 1288.36/1288.82 c nbDecision=287000 #constraints=170273 1289.96/1290.43 c nbDecision=287500 #constraints=170298 1291.56/1292.06 c nbDecision=288000 #constraints=170324 1292.76/1293.24 c nbDecision=288500 #constraints=170337 1294.26/1294.78 c nbDecision=289000 #constraints=170360 1295.86/1296.33 c nbDecision=289500 #constraints=170383 1296.96/1297.49 c nbDecision=290000 #constraints=170395 1298.56/1299.04 c nbDecision=290500 #constraints=170418 1300.16/1300.66 c nbDecision=291000 #constraints=170443 1301.36/1301.85 c nbDecision=291500 #constraints=170456 1302.86/1303.31 c nbDecision=292000 #constraints=170476 1304.36/1304.86 c nbDecision=292500 #constraints=170499 1305.56/1306.05 c nbDecision=293000 #constraints=170512 1307.06/1307.59 c nbDecision=293500 #constraints=170535 1308.26/1308.77 c nbDecision=294000 #constraints=170548 1309.86/1310.31 c nbDecision=294500 #constraints=170571 1311.36/1311.87 c nbDecision=295000 #constraints=170595 1312.56/1313.08 c nbDecision=295500 #constraints=170609 1314.16/1314.65 c nbDecision=296000 #constraints=170633 1315.76/1316.24 c nbDecision=296500 #constraints=170658 1316.95/1317.46 c nbDecision=297000 #constraints=170672 1318.56/1319.02 c nbDecision=297500 #constraints=170695 1320.05/1320.50 c nbDecision=298000 #constraints=170716 1321.65/1322.11 c nbDecision=298500 #constraints=170741 1322.75/1323.29 c nbDecision=299000 #constraints=170754 1324.35/1324.83 c nbDecision=299500 #constraints=170777 1325.55/1326.05 c nbDecision=300000 #constraints=170791 1327.05/1327.58 c nbDecision=300500 #constraints=170814 1328.65/1329.15 c nbDecision=301000 #constraints=170838 1329.84/1330.36 c nbDecision=301500 #constraints=170852 1331.34/1331.86 c nbDecision=302000 #constraints=170874 1332.94/1333.44 c nbDecision=302500 #constraints=170899 1334.14/1334.66 c nbDecision=303000 #constraints=170913 1335.74/1336.21 c nbDecision=303500 #constraints=170937 1337.34/1337.82 c nbDecision=304000 #constraints=170962 1338.54/1339.06 c nbDecision=304500 #constraints=170977 1340.14/1340.64 c nbDecision=305000 #constraints=171001 1341.65/1342.18 c nbDecision=305500 #constraints=171024 1343.25/1343.71 c nbDecision=306000 #constraints=171047 1344.45/1344.93 c nbDecision=306500 #constraints=171061 1345.95/1346.43 c nbDecision=307000 #constraints=171083 1347.05/1347.57 c nbDecision=307500 #constraints=171095 1348.54/1349.09 c nbDecision=308000 #constraints=171118 1350.14/1350.61 c nbDecision=308500 #constraints=171141 1351.64/1352.12 c nbDecision=309000 #constraints=171164 1352.84/1353.33 c nbDecision=309500 #constraints=171178 1354.34/1354.88 c nbDecision=310000 #constraints=171202 1355.54/1356.09 c nbDecision=310500 #constraints=171216 1357.04/1357.55 c nbDecision=311000 #constraints=171237 1358.54/1359.01 c nbDecision=311500 #constraints=171258 1359.74/1360.21 c nbDecision=312000 #constraints=171271 1361.14/1361.66 c nbDecision=312500 #constraints=171292 1362.54/1363.06 c nbDecision=313000 #constraints=171311 1363.74/1364.25 c nbDecision=313500 #constraints=171324 1365.14/1365.67 c nbDecision=314000 #constraints=171344 1366.54/1367.02 c nbDecision=314500 #constraints=171362 1367.74/1368.26 c nbDecision=315000 #constraints=171377 1369.04/1369.58 c nbDecision=315500 #constraints=171394 1370.34/1370.89 c nbDecision=316000 #constraints=171411 1371.73/1372.20 c nbDecision=316500 #constraints=171428 1372.93/1373.44 c nbDecision=317000 #constraints=171443 1375.03/1375.51 c nbDecision=317500 #constraints=171485 1379.63/1380.19 c nbDecision=318000 #constraints=171612 1383.33/1383.85 c nbDecision=318500 #constraints=171706 1385.23/1385.72 c nbDecision=319000 #constraints=171742 1386.63/1387.17 c nbDecision=319500 #constraints=171762 1387.83/1388.37 c nbDecision=320000 #constraints=171777 1389.13/1389.65 c nbDecision=320500 #constraints=171795 1390.83/1391.36 c nbDecision=321000 #constraints=171829 1391.83/1392.35 c nbDecision=321500 #constraints=171838 1392.83/1393.37 c nbDecision=322000 #constraints=171848 1393.83/1394.39 c nbDecision=322500 #constraints=171858 1394.93/1395.40 c nbDecision=323000 #constraints=171868 1396.03/1396.52 c nbDecision=323500 #constraints=171882 1404.23/1404.76 c nbDecision=324000 #constraints=171935 1405.82/1406.32 c nbDecision=324500 #constraints=171961 1407.63/1408.15 c nbDecision=325000 #constraints=171998 1410.02/1410.57 c nbDecision=325500 #constraints=172055 1411.22/1411.74 c nbDecision=326000 #constraints=172069 1412.72/1413.21 c nbDecision=326500 #constraints=172092 1414.62/1415.11 c nbDecision=327000 #constraints=172131 1416.02/1416.51 c nbDecision=327500 #constraints=172152 1417.62/1418.10 c nbDecision=328000 #constraints=172183 1419.42/1419.98 c nbDecision=328500 #constraints=172224 1421.32/1421.88 c nbDecision=329000 #constraints=172267 1423.61/1424.19 c nbDecision=329500 #constraints=172320 1425.61/1426.16 c nbDecision=330000 #constraints=172364 1428.02/1428.57 c nbDecision=330500 #constraints=172426 1429.02/1429.54 c nbDecision=331000 #constraints=172435 1429.92/1430.48 c nbDecision=331500 #constraints=172443 1431.02/1431.55 c nbDecision=332000 #constraints=172456 1432.12/1432.61 c nbDecision=332500 #constraints=172469 1435.82/1436.39 c nbDecision=333000 #constraints=172513 1436.82/1437.35 c nbDecision=333500 #constraints=172521 1437.82/1438.31 c nbDecision=334000 #constraints=172529 1438.82/1439.31 c nbDecision=334500 #constraints=172539 1439.92/1440.42 c nbDecision=335000 #constraints=172553 1441.01/1441.52 c nbDecision=335500 #constraints=172567 1444.51/1445.07 c nbDecision=336000 #constraints=172606 1445.51/1446.03 c nbDecision=336500 #constraints=172614 1446.51/1447.01 c nbDecision=337000 #constraints=172623 1447.51/1448.00 c nbDecision=337500 #constraints=172633 1448.51/1449.07 c nbDecision=338000 #constraints=172646 1449.61/1450.16 c nbDecision=338500 #constraints=172660 1453.21/1453.71 c nbDecision=339000 #constraints=172699 1454.11/1454.66 c nbDecision=339500 #constraints=172707 1455.11/1455.66 c nbDecision=340000 #constraints=172717 1456.21/1456.77 c nbDecision=340500 #constraints=172731 1457.31/1457.88 c nbDecision=341000 #constraints=172745 1470.70/1471.28 c nbDecision=341500 #constraints=172787 1472.20/1472.77 c nbDecision=342000 #constraints=172799 1473.90/1474.48 c nbDecision=342500 #constraints=172815 1475.50/1476.02 c nbDecision=343000 #constraints=172828 1477.10/1477.63 c nbDecision=343500 #constraints=172842 1479.01/1479.54 c nbDecision=344000 #constraints=172861 1481.40/1481.96 c nbDecision=344500 #constraints=172890 1482.70/1483.26 c nbDecision=345000 #constraints=172899 1484.00/1484.50 c nbDecision=345500 #constraints=172907 1485.40/1485.92 c nbDecision=346000 #constraints=172918 1486.80/1487.39 c nbDecision=346500 #constraints=172930 1488.60/1489.16 c nbDecision=347000 #constraints=172947 1502.39/1502.94 c nbDecision=347500 #constraints=172978 1503.59/1504.19 c nbDecision=348000 #constraints=172994 1504.79/1505.33 c nbDecision=348500 #constraints=173007 1505.99/1506.52 c nbDecision=349000 #constraints=173022 1507.19/1507.76 c nbDecision=349500 #constraints=173039 1508.89/1509.50 c nbDecision=350000 #constraints=173078 1509.89/1510.42 c nbDecision=350500 #constraints=173085 1510.89/1511.47 c nbDecision=351000 #constraints=173097 1511.89/1512.42 c nbDecision=351500 #constraints=173105 1512.89/1513.47 c nbDecision=352000 #constraints=173117 1513.99/1514.56 c nbDecision=352500 #constraints=173131 1526.88/1527.40 c nbDecision=353000 #constraints=173164 1528.08/1528.62 c nbDecision=353500 #constraints=173180 1529.18/1529.76 c nbDecision=354000 #constraints=173193 1530.38/1530.94 c nbDecision=354500 #constraints=173208 1531.68/1532.20 c nbDecision=355000 #constraints=173226 1533.28/1533.82 c nbDecision=355500 #constraints=173259 1534.18/1534.74 c nbDecision=356000 #constraints=173266 1535.18/1535.77 c nbDecision=356500 #constraints=173277 1536.18/1536.75 c nbDecision=357000 #constraints=173286 1537.18/1537.78 c nbDecision=357500 #constraints=173297 1538.28/1538.89 c nbDecision=358000 #constraints=173311 1551.07/1551.60 c nbDecision=358500 #constraints=173345 1552.17/1552.77 c nbDecision=359000 #constraints=173359 1553.37/1553.91 c nbDecision=359500 #constraints=173372 1554.47/1555.04 c nbDecision=360000 #constraints=173385 1555.67/1556.27 c nbDecision=360500 #constraints=173402 1557.47/1558.01 c nbDecision=361000 #constraints=173438 1558.37/1558.98 c nbDecision=361500 #constraints=173446 1559.37/1559.97 c nbDecision=362000 #constraints=173455 1560.37/1560.95 c nbDecision=362500 #constraints=173464 1561.37/1561.96 c nbDecision=363000 #constraints=173474 1562.37/1562.99 c nbDecision=363500 #constraints=173485 1563.47/1564.09 c nbDecision=364000 #constraints=173499 1576.16/1576.75 c nbDecision=364500 #constraints=173533 1577.46/1578.02 c nbDecision=365000 #constraints=173550 1578.56/1579.19 c nbDecision=365500 #constraints=173564 1579.86/1580.41 c nbDecision=366000 #constraints=173580 1581.27/1581.87 c nbDecision=366500 #constraints=173606 1582.76/1583.37 c nbDecision=367000 #constraints=173636 1583.76/1584.33 c nbDecision=367500 #constraints=173644 1584.76/1585.39 c nbDecision=368000 #constraints=173656 1585.76/1586.34 c nbDecision=368500 #constraints=173664 1586.77/1587.39 c nbDecision=369000 #constraints=173676 1587.97/1588.50 c nbDecision=369500 #constraints=173691 1600.46/1601.07 c nbDecision=370000 #constraints=173727 1601.66/1602.28 c nbDecision=370500 #constraints=173742 1602.86/1603.43 c nbDecision=371000 #constraints=173755 1604.06/1604.63 c nbDecision=371500 #constraints=173770 1605.36/1605.91 c nbDecision=372000 #constraints=173788 1606.96/1607.54 c nbDecision=372500 #constraints=173821 1607.86/1608.47 c nbDecision=373000 #constraints=173828 1608.87/1609.47 c nbDecision=373500 #constraints=173838 1609.87/1610.45 c nbDecision=374000 #constraints=173847 1610.97/1611.52 c nbDecision=374500 #constraints=173860 1612.06/1612.61 c nbDecision=375000 #constraints=173874 1624.76/1625.30 c nbDecision=375500 #constraints=173907 1626.05/1626.61 c nbDecision=376000 #constraints=173921 1627.35/1627.92 c nbDecision=376500 #constraints=173935 1628.66/1629.21 c nbDecision=377000 #constraints=173949 1630.05/1630.68 c nbDecision=377500 #constraints=173965 1631.25/1631.86 c nbDecision=378000 #constraints=173979 1632.55/1633.11 c nbDecision=378500 #constraints=173996 1633.75/1634.33 c nbDecision=379000 #constraints=174012 1635.05/1635.65 c nbDecision=379500 #constraints=174032 1636.55/1637.20 c nbDecision=380000 #constraints=174062 1637.55/1638.16 c nbDecision=380500 #constraints=174070 1638.65/1639.23 c nbDecision=381000 #constraints=174082 1639.55/1640.16 c nbDecision=381500 #constraints=174089 1640.55/1641.19 c nbDecision=382000 #constraints=174100 1641.65/1642.29 c nbDecision=382500 #constraints=174114 1653.74/1654.30 c nbDecision=383000 #constraints=174150 1654.95/1655.60 c nbDecision=383500 #constraints=174164 1656.24/1656.87 c nbDecision=384000 #constraints=174177 1657.74/1658.35 c nbDecision=384500 #constraints=174195 1659.14/1659.79 c nbDecision=385000 #constraints=174211 1660.54/1661.16 c nbDecision=385500 #constraints=174227 1661.84/1662.43 c nbDecision=386000 #constraints=174240 1663.44/1664.00 c nbDecision=386500 #constraints=174257 1664.74/1665.30 c nbDecision=387000 #constraints=174271 1666.04/1666.61 c nbDecision=387500 #constraints=174286 1667.34/1667.99 c nbDecision=388000 #constraints=174301 1668.74/1669.34 c nbDecision=388500 #constraints=174315 1670.04/1670.61 c nbDecision=389000 #constraints=174329 1671.34/1671.97 c nbDecision=389500 #constraints=174344 1672.64/1673.24 c nbDecision=390000 #constraints=174358 1674.04/1674.60 c nbDecision=390500 #constraints=174373 1675.24/1675.86 c nbDecision=391000 #constraints=174387 1676.63/1677.22 c nbDecision=391500 #constraints=174402 1677.93/1678.59 c nbDecision=392000 #constraints=174418 1679.33/1679.94 c nbDecision=392500 #constraints=174433 1680.63/1681.22 c nbDecision=393000 #constraints=174447 1681.83/1682.48 c nbDecision=393500 #constraints=174461 1683.23/1683.84 c nbDecision=394000 #constraints=174477 1684.63/1685.25 c nbDecision=394500 #constraints=174495 1685.93/1686.57 c nbDecision=395000 #constraints=174510 1687.23/1687.88 c nbDecision=395500 #constraints=174525 1688.53/1689.11 c nbDecision=396000 #constraints=174539 1689.83/1690.42 c nbDecision=396500 #constraints=174554 1691.13/1691.70 c nbDecision=397000 #constraints=174569 1692.44/1693.01 c nbDecision=397500 #constraints=174585 1693.63/1694.24 c nbDecision=398000 #constraints=174599 1694.93/1695.57 c nbDecision=398500 #constraints=174615 1696.23/1696.86 c nbDecision=399000 #constraints=174631 1697.53/1698.19 c nbDecision=399500 #constraints=174648 1699.93/1700.50 c nbDecision=400000 #constraints=174698 1702.53/1703.12 c nbDecision=400500 #constraints=174758 1704.63/1705.22 c nbDecision=401000 #constraints=174803 1706.03/1706.63 c nbDecision=401500 #constraints=174827 1707.53/1708.13 c nbDecision=402000 #constraints=174853 1710.23/1710.87 c nbDecision=402500 #constraints=174924 1711.62/1712.29 c nbDecision=403000 #constraints=174947 1713.23/1713.83 c nbDecision=403500 #constraints=174972 1715.22/1715.88 c nbDecision=404000 #constraints=175018 1717.42/1718.04 c nbDecision=404500 #constraints=175062 1719.42/1720.07 c nbDecision=405000 #constraints=175109 1721.83/1722.43 c nbDecision=405500 #constraints=175171 1724.42/1725.00 c nbDecision=406000 #constraints=175239 1726.82/1727.42 c nbDecision=406500 #constraints=175301 1728.62/1729.23 c nbDecision=407000 #constraints=175336 1731.41/1732.09 c nbDecision=407500 #constraints=175413 1732.41/1733.04 c nbDecision=408000 #constraints=175421 1733.41/1734.08 c nbDecision=408500 #constraints=175432 1734.42/1735.07 c nbDecision=409000 #constraints=175441 1735.42/1736.05 c nbDecision=409500 #constraints=175450 1735.62/1736.28 c restart after 409601 decisions 1740.62/1741.21 c nbDecision=410000 #constraints=175537 1741.72/1742.38 c nbDecision=410500 #constraints=175549 1743.02/1743.66 c nbDecision=411000 #constraints=175565 1744.22/1744.82 c nbDecision=411500 #constraints=175578 1745.32/1745.98 c nbDecision=412000 #constraints=175591 1746.52/1747.15 c nbDecision=412500 #constraints=175605 1747.92/1748.53 c nbDecision=413000 #constraints=175627 1749.32/1749.91 c nbDecision=413500 #constraints=175650 1750.21/1750.86 c nbDecision=414000 #constraints=175658 1751.21/1751.85 c nbDecision=414500 #constraints=175667 1752.31/1752.90 c nbDecision=415000 #constraints=175679 1753.31/1753.90 c nbDecision=415500 #constraints=175689 1754.41/1755.07 c nbDecision=416000 #constraints=175706 1770.91/1771.59 c nbDecision=416500 #constraints=175813 1772.11/1772.76 c nbDecision=417000 #constraints=175825 1773.31/1773.92 c nbDecision=417500 #constraints=175837 1774.41/1775.09 c nbDecision=418000 #constraints=175850 1775.60/1776.25 c nbDecision=418500 #constraints=175863 1776.70/1777.39 c nbDecision=419000 #constraints=175875 1777.90/1778.54 c nbDecision=419500 #constraints=175888 1779.40/1780.03 c nbDecision=420000 #constraints=175913 1780.70/1781.30 c nbDecision=420500 #constraints=175932 1781.60/1782.27 c nbDecision=421000 #constraints=175940 1782.61/1783.27 c nbDecision=421500 #constraints=175949 1783.71/1784.34 c nbDecision=422000 #constraints=175961 1784.71/1785.38 c nbDecision=422500 #constraints=175972 1785.91/1786.56 c nbDecision=423000 #constraints=175989 1800.10/1800.70 Received signal 15 1800.10/1800.73 1800.10/1800.73 s UNKNOWN 1800.10/1800.73 1800.10/1800.73 c user time= 1799.81 s 1800.10/1800.73 c system time= 0.32695 s 1800.10/1800.73 c wall clock time=1800.73
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node25/watcher-373119-1177168021 -o ROOT/results/node25/solver-373119-1177168021 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/373119-1177168021/instance-373119-1177168021.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 15383 /proc/meminfo: memFree=1772736/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=1468 CPUtime=0 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 164719212 1503232 162 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134591248 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 367 162 127 317 0 46 0 [startup+0.104834 s] /proc/loadavg: 1.00 1.00 1.00 3/64 15383 /proc/meminfo: memFree=1772736/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=3580 CPUtime=0.1 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 705 0 0 0 10 0 0 0 18 0 1 0 164719212 3665920 687 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 895 687 130 317 0 574 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3580 [startup+0.202849 s] /proc/loadavg: 1.00 1.00 1.00 3/64 15383 /proc/meminfo: memFree=1772736/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=5692 CPUtime=0.2 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 1209 0 0 0 20 0 0 0 18 0 1 0 164719212 5828608 1191 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 1423 1192 130 317 0 1102 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 5692 [startup+0.302866 s] /proc/loadavg: 1.00 1.00 1.00 3/64 15383 /proc/meminfo: memFree=1772736/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=7800 CPUtime=0.29 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 1755 0 0 0 29 0 0 0 19 0 1 0 164719212 7987200 1704 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 1950 1704 130 317 0 1629 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7800 [startup+0.701935 s] /proc/loadavg: 1.00 1.00 1.00 3/64 15383 /proc/meminfo: memFree=1772736/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=16108 CPUtime=0.69 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 3874 0 0 0 68 1 0 0 22 0 1 0 164719212 16494592 3758 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134827798 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 4027 3758 130 317 0 3706 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16108 [startup+1.50107 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1749816/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=41728 CPUtime=1.49 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 10364 0 0 0 144 5 0 0 25 0 1 0 164719212 42729472 10119 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 10432 10119 137 317 0 10111 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 41728 [startup+3.10134 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1729856/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=54000 CPUtime=3.09 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 13429 0 0 0 303 6 0 0 25 0 1 0 164719212 55296000 12129 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604035 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 13500 12129 139 317 0 13179 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 54000 [startup+6.30189 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1724232/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=54000 CPUtime=6.28 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 13429 0 0 0 622 6 0 0 25 0 1 0 164719212 55296000 12129 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 13500 12129 139 317 0 13179 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 54000 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1724232/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=54000 CPUtime=12.68 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 13431 0 0 0 1262 6 0 0 25 0 1 0 164719212 55296000 12131 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 13500 12131 139 317 0 13179 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 54000 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1724232/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=54000 CPUtime=25.48 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 13434 0 0 0 2542 6 0 0 25 0 1 0 164719212 55296000 12134 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 13500 12134 139 317 0 13179 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 54000 [startup+51.1025 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1724296/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=54000 CPUtime=51.07 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 13435 0 0 0 5101 6 0 0 25 0 1 0 164719212 55296000 12135 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284215 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 13500 12135 139 317 0 13179 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 54000 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1723912/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=54388 CPUtime=102.26 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 13554 0 0 0 10219 7 0 0 25 0 1 0 164719212 55693312 12254 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 13597 12254 139 317 0 13276 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 54388 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1721672/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=56836 CPUtime=162.24 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 14153 0 0 0 16217 7 0 0 25 0 1 0 164719212 58200064 12813 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 14209 12813 139 317 0 13888 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 56836 [startup+222.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1719240/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=59404 CPUtime=222.22 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 14792 0 0 0 22214 8 0 0 25 0 1 0 164719212 60829696 13412 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 14851 13412 139 317 0 14530 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 59404 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1717064/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=61620 CPUtime=282.19 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 15378 0 0 0 28211 8 0 0 25 0 1 0 164719212 63098880 13958 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 15405 13958 139 317 0 15084 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 61620 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1714376/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=64500 CPUtime=342.17 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 16074 0 0 0 34208 9 0 0 25 0 1 0 164719212 66048000 14614 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 16125 14614 139 317 0 15804 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 64500 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1711304/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=68128 CPUtime=402.15 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 16856 0 0 0 40205 10 0 0 25 0 1 0 164719212 69763072 15376 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135271382 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 17032 15376 139 317 0 16711 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 68128 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1707720/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=71380 CPUtime=462.13 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 17773 0 0 0 46202 11 0 0 25 0 1 0 164719212 73093120 16273 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135271355 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 17845 16273 139 317 0 17524 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 71380 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1706440/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=72800 CPUtime=522.11 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 18162 0 0 0 52199 12 0 0 25 0 1 0 164719212 74547200 16602 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 18200 16602 139 317 0 17879 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 72800 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1704200/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=74848 CPUtime=582.1 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 18749 0 0 0 58197 13 0 0 25 0 1 0 164719212 76644352 17149 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 18712 17149 139 317 0 18391 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 74848 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1702024/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=77000 CPUtime=642.07 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 19339 0 0 0 64194 13 0 0 25 0 1 0 164719212 78848000 17699 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 19250 17699 139 317 0 18929 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 77000 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1691976/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=88480 CPUtime=822.01 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 21888 0 0 0 82184 17 0 0 25 0 1 0 164719212 90603520 20188 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 22120 20188 139 317 0 21799 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 88480 [startup+882.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1688968/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=91196 CPUtime=882 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 22642 0 0 0 88182 18 0 0 25 0 1 0 164719212 93384704 20942 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135385247 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 22799 20942 139 317 0 22478 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 91196 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1686920/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=93244 CPUtime=941.98 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 23190 0 0 0 94179 19 0 0 25 0 1 0 164719212 95481856 21450 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 23311 21450 139 317 0 22990 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 93244 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1684872/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=95164 CPUtime=1001.96 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 23735 0 0 0 100176 20 0 0 25 0 1 0 164719212 97447936 21955 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 23791 21955 139 317 0 23470 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 95164 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1682888/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=97300 CPUtime=1061.94 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 24293 0 0 0 106173 21 0 0 25 0 1 0 164719212 99635200 22474 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 24325 22474 139 317 0 24004 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 97300 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1680904/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=99184 CPUtime=1121.91 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 24827 0 0 0 112170 21 0 0 25 0 1 0 164719212 101564416 22968 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 24796 22968 139 317 0 24475 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 99184 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1678216/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=101852 CPUtime=1181.9 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 25494 0 0 0 118167 23 0 0 25 0 1 0 164719212 104296448 23615 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712478 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 25463 23615 139 317 0 25142 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 101852 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1674760/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=104964 CPUtime=1241.88 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 26402 0 0 0 124164 24 0 0 25 0 1 0 164719212 107483136 24503 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 26241 24503 139 317 0 25920 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 104964 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1670920/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=109352 CPUtime=1301.86 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 27538 0 0 0 130160 26 0 0 25 0 1 0 164719212 111976448 25441 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 27338 25441 139 317 0 27017 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 109352 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1667848/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=115284 CPUtime=1361.84 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 28916 0 0 0 136157 27 0 0 25 0 1 0 164719212 118050816 26192 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 28821 26192 139 317 0 28500 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 115284 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1664136/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=119124 CPUtime=1421.82 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 29927 0 0 0 142155 27 0 0 25 0 1 0 164719212 121982976 27118 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135385185 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 29781 27118 139 317 0 29460 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 119124 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1660936/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=122180 CPUtime=1481.8 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 30799 0 0 0 148152 28 0 0 25 0 1 0 164719212 125112320 27895 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134711029 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 30545 27895 139 317 0 30224 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 122180 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1658760/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=124516 CPUtime=1541.78 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 31393 0 0 0 154150 28 0 0 25 0 1 0 164719212 127504384 28469 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135277005 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 31129 28469 139 317 0 30808 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 124516 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1657160/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=126032 CPUtime=1601.76 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 31800 0 0 0 160147 29 0 0 25 0 1 0 164719212 129056768 28836 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 31508 28836 139 317 0 31187 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 126032 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1655624/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=127788 CPUtime=1661.74 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 32285 0 0 0 166145 29 0 0 25 0 1 0 164719212 130854912 29281 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 31947 29281 139 317 0 31626 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 127788 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1652488/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=130884 CPUtime=1721.73 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 33139 0 0 0 172142 31 0 0 25 0 1 0 164719212 134025216 30102 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 32721 30102 139 317 0 32400 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 130884 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1649416/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=133552 CPUtime=1781.7 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 33895 0 0 0 178138 32 0 0 25 0 1 0 164719212 136757248 30838 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 33388 30838 139 317 0 33067 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 133552 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15384 /proc/meminfo: memFree=1648648/2055920 swapFree=4182972/4192956 [pid=15383] ppid=15381 vsize=134208 CPUtime=1800.1 /proc/15383/stat : 15383 (oree) R 15381 15383 14389 0 -1 4194304 34080 0 0 0 179978 32 0 0 25 0 1 0 164719212 137428992 31003 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604035 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15383/statm: 33552 31003 139 317 0 33231 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 134208 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.8 CPU time (s): 1800.2 CPU user time (s): 1799.85 CPU system time (s): 0.347947 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (KiB): 134340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.85 system time used= 0.347947 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34097 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= 3967 runsolver used 1.27381 second user time and 3.69844 second system time The end
Begin job on node25 on Sat Apr 21 15:07:01 UTC 2007 IDJOB= 373119 IDBENCH= 25020 IDSOLVER= 172 FILE ID= node25/373119-1177168021 PBS_JOBID= 4648933 Free space on /tmp= 66363 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb COMMAND LINE= oree /tmp/evaluation/373119-1177168021/instance-373119-1177168021.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-373119-1177168021 -o ROOT/results/node25/solver-373119-1177168021 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/373119-1177168021/instance-373119-1177168021.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 904168892843efef74e3394360b8d762 RANDOM SEED= 534116670 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node25.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.261 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.261 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: 1773208 kB Buffers: 62600 kB Cached: 168112 kB SwapCached: 3684 kB Active: 79752 kB Inactive: 161784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1773208 kB SwapTotal: 4192956 kB SwapFree: 4182972 kB Dirty: 5916 kB Writeback: 0 kB Mapped: 15564 kB Slab: 27228 kB Committed_AS: 4082568 kB PageTables: 1472 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= 66363 MiB End job on node25 on Sat Apr 21 15:37:04 UTC 2007