Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.35 | 1800.96 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-modszk1.opb |
MD5SUM | 867ebc446ef1d12fd0b7d8d0b9e71a77 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 161 |
Best CPU time to get the best result obtained on this benchmark | 1801.99 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 161 |
Optimality of the best value was proved | NO |
Number of variables | 48602 |
Total number of constraints | 686 |
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 | 686 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 600 |
Number of terms in the objective function | 29700 |
Biggest coefficient in the objective function | 7111 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 549494 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 549494 |
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.29/0.36 c ...done 0.29/0.36 c #vars=48602 #constraints=1373 hasObjective=yes 0.49/0.58 c res. mode=mod 0.49/0.58 c VSIDS like heuristics 0.49/0.58 c complete search running 0.79/0.83 c restart after 401 decisions 0.79/0.89 c nbDecision=500 #constraints=1373 0.99/1.07 c restart after 801 decisions 1.09/1.20 c nbDecision=1000 #constraints=1373 1.49/1.50 c nbDecision=1500 #constraints=1373 1.49/1.56 c restart after 1601 decisions 1.79/1.81 c nbDecision=2000 #constraints=1373 2.09/2.16 c nbDecision=2500 #constraints=1373 2.89/2.94 c nbDecision=3000 #constraints=1575 3.09/3.17 c restart after 3201 decisions 3.29/3.38 c nbDecision=3500 #constraints=1604 3.58/3.70 c nbDecision=4000 #constraints=1604 4.28/4.33 c nbDecision=4500 #constraints=1696 4.88/4.91 c nbDecision=5000 #constraints=1783 5.49/5.59 c nbDecision=5500 #constraints=1908 5.99/6.08 c nbDecision=6000 #constraints=1945 6.49/6.56 c restart after 6401 decisions 6.59/6.65 c nbDecision=6500 #constraints=2016 6.89/6.97 c nbDecision=7000 #constraints=2016 7.39/7.47 c nbDecision=7500 #constraints=2050 8.18/8.26 c nbDecision=8000 #constraints=2198 8.80/8.86 c nbDecision=8500 #constraints=2262 9.29/9.38 c nbDecision=9000 #constraints=2300 9.99/10.01 c nbDecision=9500 #constraints=2378 10.59/10.69 c nbDecision=10000 #constraints=2473 11.38/11.42 c nbDecision=10500 #constraints=2594 11.99/12.08 c nbDecision=11000 #constraints=2678 12.78/12.80 c nbDecision=11500 #constraints=2788 13.38/13.46 c nbDecision=12000 #constraints=2869 14.09/14.14 c nbDecision=12500 #constraints=2962 14.39/14.49 c restart after 12801 decisions 14.69/14.71 c nbDecision=13000 #constraints=2991 14.99/15.04 c nbDecision=13500 #constraints=2991 15.69/15.71 c nbDecision=14000 #constraints=3074 16.49/16.59 c nbDecision=14500 #constraints=3204 17.29/17.31 c nbDecision=15000 #constraints=3291 17.98/18.08 c nbDecision=15500 #constraints=3389 18.79/18.81 c nbDecision=16000 #constraints=3473 19.49/19.52 c nbDecision=16500 #constraints=3539 20.19/20.24 c nbDecision=17000 #constraints=3600 21.09/21.16 c nbDecision=17500 #constraints=3714 21.99/22.00 c nbDecision=18000 #constraints=3810 22.68/22.70 c nbDecision=18500 #constraints=3868 23.38/23.45 c nbDecision=19000 #constraints=3936 23.98/24.01 c nbDecision=19500 #constraints=3951 24.88/24.96 c nbDecision=20000 #constraints=4068 25.89/25.92 c nbDecision=20500 #constraints=4176 26.69/26.70 c nbDecision=21000 #constraints=4231 27.39/27.47 c nbDecision=21500 #constraints=4310 28.18/28.20 c nbDecision=22000 #constraints=4357 28.98/29.02 c nbDecision=22500 #constraints=4449 29.79/29.81 c nbDecision=23000 #constraints=4527 30.38/30.46 c nbDecision=23500 #constraints=4569 31.18/31.26 c nbDecision=24000 #constraints=4655 31.88/31.98 c nbDecision=24500 #constraints=4712 32.58/32.69 c nbDecision=25000 #constraints=4768 33.48/33.54 c nbDecision=25500 #constraints=4845 33.58/33.66 c restart after 25601 decisions 34.18/34.23 c nbDecision=26000 #constraints=4853 34.68/34.74 c nbDecision=26500 #constraints=4853 35.88/35.90 c nbDecision=27000 #constraints=4935 36.87/36.97 c nbDecision=27500 #constraints=5026 37.68/37.71 c nbDecision=28000 #constraints=5064 38.78/38.89 c nbDecision=28500 #constraints=5204 39.88/39.94 c nbDecision=29000 #constraints=5277 41.08/41.16 c nbDecision=29500 #constraints=5365 42.27/42.35 c nbDecision=30000 #constraints=5461 43.47/43.57 c nbDecision=30500 #constraints=5557 44.67/44.72 c nbDecision=31000 #constraints=5643 45.48/45.58 c nbDecision=31500 #constraints=5700 46.68/46.70 c nbDecision=32000 #constraints=5767 47.58/47.63 c nbDecision=32500 #constraints=5811 48.38/48.49 c nbDecision=33000 #constraints=5846 49.18/49.26 c nbDecision=33500 #constraints=5874 49.78/49.87 c nbDecision=34000 #constraints=5888 50.68/50.76 c nbDecision=34500 #constraints=5941 51.88/51.93 c nbDecision=35000 #constraints=6035 52.88/52.95 c nbDecision=35500 #constraints=6112 53.57/53.63 c nbDecision=36000 #constraints=6129 54.57/54.67 c nbDecision=36500 #constraints=6213 55.37/55.41 c nbDecision=37000 #constraints=6243 56.37/56.45 c nbDecision=37500 #constraints=6322 57.27/57.37 c nbDecision=38000 #constraints=6368 58.17/58.21 c nbDecision=38500 #constraints=6412 58.97/59.08 c nbDecision=39000 #constraints=6459 59.88/59.99 c nbDecision=39500 #constraints=6508 60.88/60.91 c nbDecision=40000 #constraints=6560 61.78/61.86 c nbDecision=40500 #constraints=6611 62.47/62.53 c nbDecision=41000 #constraints=6632 63.27/63.30 c nbDecision=41500 #constraints=6665 63.97/64.03 c nbDecision=42000 #constraints=6683 64.67/64.71 c nbDecision=42500 #constraints=6696 65.47/65.51 c nbDecision=43000 #constraints=6734 66.07/66.15 c nbDecision=43500 #constraints=6746 66.77/66.85 c nbDecision=44000 #constraints=6774 67.47/67.55 c nbDecision=44500 #constraints=6794 68.17/68.26 c nbDecision=45000 #constraints=6817 68.97/69.02 c nbDecision=45500 #constraints=6861 69.77/69.86 c nbDecision=46000 #constraints=6901 70.57/70.65 c nbDecision=46500 #constraints=6938 71.27/71.31 c nbDecision=47000 #constraints=6949 71.87/71.96 c nbDecision=47500 #constraints=6964 72.47/72.52 c nbDecision=48000 #constraints=6967 73.27/73.36 c nbDecision=48500 #constraints=7009 74.07/74.13 c nbDecision=49000 #constraints=7048 74.87/74.93 c nbDecision=49500 #constraints=7089 75.47/75.55 c nbDecision=50000 #constraints=7101 76.27/76.34 c nbDecision=50500 #constraints=7133 76.87/76.96 c nbDecision=51000 #constraints=7146 77.17/77.23 c restart after 51201 decisions 78.07/78.11 c nbDecision=51500 #constraints=7150 78.57/78.65 c nbDecision=52000 #constraints=7150 79.87/79.93 c nbDecision=52500 #constraints=7225 81.77/81.85 c nbDecision=53000 #constraints=7331 83.57/83.70 c nbDecision=53500 #constraints=7450 85.57/85.65 c nbDecision=54000 #constraints=7545 87.16/87.23 c nbDecision=54500 #constraints=7591 88.66/88.78 c nbDecision=55000 #constraints=7658 89.86/89.91 c nbDecision=55500 #constraints=7698 91.27/91.34 c nbDecision=56000 #constraints=7764 92.66/92.74 c nbDecision=56500 #constraints=7847 94.16/94.26 c nbDecision=57000 #constraints=7914 95.57/95.66 c nbDecision=57500 #constraints=7976 96.67/96.76 c nbDecision=58000 #constraints=8042 97.87/97.94 c nbDecision=58500 #constraints=8098 99.07/99.15 c nbDecision=59000 #constraints=8156 100.76/100.80 c nbDecision=59500 #constraints=8218 102.26/102.34 c nbDecision=60000 #constraints=8288 103.06/103.12 c nbDecision=60500 #constraints=8326 104.56/104.65 c nbDecision=61000 #constraints=8392 105.66/105.71 c nbDecision=61500 #constraints=8433 107.06/107.13 c nbDecision=62000 #constraints=8498 108.76/108.81 c nbDecision=62500 #constraints=8565 109.96/110.05 c nbDecision=63000 #constraints=8626 111.06/111.14 c nbDecision=63500 #constraints=8669 112.26/112.38 c nbDecision=64000 #constraints=8716 113.06/113.18 c nbDecision=64500 #constraints=8747 114.26/114.34 c nbDecision=65000 #constraints=8798 115.06/115.10 c nbDecision=65500 #constraints=8846 116.75/116.82 c nbDecision=66000 #constraints=8908 117.46/117.56 c nbDecision=66500 #constraints=8927 118.46/118.50 c nbDecision=67000 #constraints=8943 119.76/119.84 c nbDecision=67500 #constraints=9001 120.66/120.73 c nbDecision=68000 #constraints=9018 121.46/121.51 c nbDecision=68500 #constraints=9034 122.56/122.65 c nbDecision=69000 #constraints=9075 123.26/123.31 c nbDecision=69500 #constraints=9083 123.86/123.94 c nbDecision=70000 #constraints=9097 124.56/124.61 c nbDecision=70500 #constraints=9114 125.76/125.89 c nbDecision=71000 #constraints=9164 126.46/126.55 c nbDecision=71500 #constraints=9191 127.15/127.21 c nbDecision=72000 #constraints=9216 128.25/128.36 c nbDecision=72500 #constraints=9267 129.25/129.34 c nbDecision=73000 #constraints=9298 131.25/131.34 c nbDecision=73500 #constraints=9399 133.06/133.10 c nbDecision=74000 #constraints=9497 134.26/134.34 c nbDecision=74500 #constraints=9550 135.65/135.72 c nbDecision=75000 #constraints=9613 136.85/136.93 c nbDecision=75500 #constraints=9658 137.75/137.88 c nbDecision=76000 #constraints=9689 138.55/138.68 c nbDecision=76500 #constraints=9712 139.05/139.19 c nbDecision=77000 #constraints=9725 140.16/140.25 c nbDecision=77500 #constraints=9762 141.56/141.65 c nbDecision=78000 #constraints=9793 142.76/142.86 c nbDecision=78500 #constraints=9836 144.25/144.32 c nbDecision=79000 #constraints=9875 145.45/145.50 c nbDecision=79500 #constraints=9915 146.45/146.55 c nbDecision=80000 #constraints=9938 147.65/147.73 c nbDecision=80500 #constraints=9973 148.65/148.74 c nbDecision=81000 #constraints=10001 149.85/149.97 c nbDecision=81500 #constraints=10045 151.05/151.11 c nbDecision=82000 #constraints=10079 152.04/152.15 c nbDecision=82500 #constraints=10103 153.04/153.18 c nbDecision=83000 #constraints=10135 153.85/153.98 c nbDecision=83500 #constraints=10138 154.75/154.86 c nbDecision=84000 #constraints=10155 155.75/155.85 c nbDecision=84500 #constraints=10169 156.75/156.86 c nbDecision=85000 #constraints=10203 158.15/158.22 c nbDecision=85500 #constraints=10258 159.05/159.17 c nbDecision=86000 #constraints=10271 159.75/159.83 c nbDecision=86500 #constraints=10274 160.35/160.48 c nbDecision=87000 #constraints=10277 162.24/162.36 c nbDecision=87500 #constraints=10420 164.25/164.37 c nbDecision=88000 #constraints=10531 165.55/165.62 c nbDecision=88500 #constraints=10573 167.74/167.82 c nbDecision=89000 #constraints=10639 169.35/169.48 c nbDecision=89500 #constraints=10705 170.74/170.89 c nbDecision=90000 #constraints=10754 173.75/173.81 c nbDecision=90500 #constraints=10876 175.44/175.58 c nbDecision=91000 #constraints=10969 176.54/176.69 c nbDecision=91500 #constraints=11008 178.44/178.58 c nbDecision=92000 #constraints=11105 180.64/180.76 c nbDecision=92500 #constraints=11198 182.04/182.17 c nbDecision=93000 #constraints=11227 183.64/183.78 c nbDecision=93500 #constraints=11287 184.84/184.97 c nbDecision=94000 #constraints=11321 186.95/187.01 c nbDecision=94500 #constraints=11401 189.34/189.41 c nbDecision=95000 #constraints=11493 190.34/190.49 c nbDecision=95500 #constraints=11520 192.54/192.69 c nbDecision=96000 #constraints=11612 195.14/195.29 c nbDecision=96500 #constraints=11723 198.53/198.63 c nbDecision=97000 #constraints=11866 199.94/200.07 c nbDecision=97500 #constraints=11907 202.54/202.65 c nbDecision=98000 #constraints=12014 205.04/205.17 c nbDecision=98500 #constraints=12120 207.04/207.15 c nbDecision=99000 #constraints=12170 208.63/208.73 c nbDecision=99500 #constraints=12221 211.13/211.21 c nbDecision=100000 #constraints=12319 213.04/213.14 c nbDecision=100500 #constraints=12391 215.83/215.92 c nbDecision=101000 #constraints=12492 218.23/218.35 c nbDecision=101500 #constraints=12595 220.13/220.20 c nbDecision=102000 #constraints=12656 220.93/221.09 c restart after 102401 decisions 222.23/222.38 c nbDecision=102500 #constraints=12680 222.93/223.06 c nbDecision=103000 #constraints=12680 224.23/224.34 c nbDecision=103500 #constraints=12681 225.83/225.97 c nbDecision=104000 #constraints=12744 228.13/228.21 c nbDecision=104500 #constraints=12827 230.02/230.16 c nbDecision=105000 #constraints=12881 231.82/231.90 c nbDecision=105500 #constraints=12938 233.32/233.41 c nbDecision=106000 #constraints=12990 234.34/234.41 c nbDecision=106500 #constraints=13004 235.83/235.92 c nbDecision=107000 #constraints=13051 237.03/237.15 c nbDecision=107500 #constraints=13086 239.33/239.46 c nbDecision=108000 #constraints=13163 240.53/240.68 c nbDecision=108500 #constraints=13200 242.92/243.09 c nbDecision=109000 #constraints=13282 245.92/246.05 c nbDecision=109500 #constraints=13377 247.62/247.75 c nbDecision=110000 #constraints=13407 249.52/249.63 c nbDecision=110500 #constraints=13449 251.52/251.64 c nbDecision=111000 #constraints=13512 252.62/252.76 c nbDecision=111500 #constraints=13538 253.62/253.72 c nbDecision=112000 #constraints=13553 254.52/254.65 c nbDecision=112500 #constraints=13564 255.92/256.07 c nbDecision=113000 #constraints=13593 257.02/257.16 c nbDecision=113500 #constraints=13616 258.92/259.02 c nbDecision=114000 #constraints=13674 259.82/259.94 c nbDecision=114500 #constraints=13690 260.72/260.82 c nbDecision=115000 #constraints=13703 261.42/261.52 c nbDecision=115500 #constraints=13706 262.52/262.63 c nbDecision=116000 #constraints=13730 264.62/264.78 c nbDecision=116500 #constraints=13816 267.11/267.28 c nbDecision=117000 #constraints=13908 268.82/268.96 c nbDecision=117500 #constraints=13964 270.72/270.89 c nbDecision=118000 #constraints=14034 273.32/273.41 c nbDecision=118500 #constraints=14122 275.12/275.20 c nbDecision=119000 #constraints=14189 276.81/276.93 c nbDecision=119500 #constraints=14256 278.32/278.46 c nbDecision=120000 #constraints=14308 279.72/279.87 c nbDecision=120500 #constraints=14349 280.82/280.97 c nbDecision=121000 #constraints=14382 283.51/283.65 c nbDecision=121500 #constraints=14478 285.41/285.55 c nbDecision=122000 #constraints=14529 286.41/286.56 c nbDecision=122500 #constraints=14553 287.81/287.90 c nbDecision=123000 #constraints=14590 289.11/289.20 c nbDecision=123500 #constraints=14634 290.81/290.90 c nbDecision=124000 #constraints=14683 291.81/291.99 c nbDecision=124500 #constraints=14709 293.02/293.10 c nbDecision=125000 #constraints=14729 293.92/294.04 c nbDecision=125500 #constraints=14743 295.51/295.61 c nbDecision=126000 #constraints=14786 296.92/297.04 c nbDecision=126500 #constraints=14828 298.51/298.66 c nbDecision=127000 #constraints=14885 299.41/299.57 c nbDecision=127500 #constraints=14899 300.91/301.04 c nbDecision=128000 #constraints=14946 302.11/302.23 c nbDecision=128500 #constraints=14976 303.01/303.16 c nbDecision=129000 #constraints=14993 305.10/305.22 c nbDecision=129500 #constraints=15061 305.81/305.91 c nbDecision=130000 #constraints=15070 306.40/306.58 c nbDecision=130500 #constraints=15082 308.51/308.63 c nbDecision=131000 #constraints=15172 309.71/309.80 c nbDecision=131500 #constraints=15213 311.41/311.56 c nbDecision=132000 #constraints=15264 313.30/313.46 c nbDecision=132500 #constraints=15326 314.70/314.81 c nbDecision=133000 #constraints=15385 315.71/315.81 c nbDecision=133500 #constraints=15414 316.40/316.57 c nbDecision=134000 #constraints=15429 317.91/318.04 c nbDecision=134500 #constraints=15485 319.01/319.19 c nbDecision=135000 #constraints=15522 320.80/320.90 c nbDecision=135500 #constraints=15580 322.10/322.21 c nbDecision=136000 #constraints=15614 322.70/322.86 c nbDecision=136500 #constraints=15623 324.70/324.80 c nbDecision=137000 #constraints=15696 325.90/326.00 c nbDecision=137500 #constraints=15728 327.01/327.12 c nbDecision=138000 #constraints=15764 328.40/328.56 c nbDecision=138500 #constraints=15813 329.60/329.74 c nbDecision=139000 #constraints=15856 330.70/330.83 c nbDecision=139500 #constraints=15893 331.30/331.48 c nbDecision=140000 #constraints=15898 332.70/332.88 c nbDecision=140500 #constraints=15941 334.20/334.33 c nbDecision=141000 #constraints=15984 335.50/335.65 c nbDecision=141500 #constraints=16024 336.50/336.64 c nbDecision=142000 #constraints=16046 337.70/337.85 c nbDecision=142500 #constraints=16077 339.30/339.43 c nbDecision=143000 #constraints=16119 340.00/340.18 c nbDecision=143500 #constraints=16127 343.30/343.40 c nbDecision=144000 #constraints=16242 344.50/344.63 c nbDecision=144500 #constraints=16278 347.00/347.14 c nbDecision=145000 #constraints=16383 348.50/348.70 c nbDecision=145500 #constraints=16427 349.70/349.81 c nbDecision=146000 #constraints=16467 350.80/350.90 c nbDecision=146500 #constraints=16494 352.20/352.33 c nbDecision=147000 #constraints=16536 354.60/354.72 c nbDecision=147500 #constraints=16605 355.40/355.55 c nbDecision=148000 #constraints=16626 357.00/357.15 c nbDecision=148500 #constraints=16655 358.40/358.57 c nbDecision=149000 #constraints=16691 359.40/359.56 c nbDecision=149500 #constraints=16705 360.60/360.75 c nbDecision=150000 #constraints=16733 361.40/361.59 c nbDecision=150500 #constraints=16741 362.79/362.96 c nbDecision=151000 #constraints=16774 363.89/364.01 c nbDecision=151500 #constraints=16794 364.89/365.05 c nbDecision=152000 #constraints=16812 365.89/366.06 c nbDecision=152500 #constraints=16831 367.19/367.32 c nbDecision=153000 #constraints=16873 367.89/368.01 c nbDecision=153500 #constraints=16876 369.09/369.20 c nbDecision=154000 #constraints=16903 369.99/370.13 c nbDecision=154500 #constraints=16916 371.49/371.64 c nbDecision=155000 #constraints=16957 372.79/372.99 c nbDecision=155500 #constraints=17006 374.29/374.47 c nbDecision=156000 #constraints=17058 375.58/375.74 c nbDecision=156500 #constraints=17101 376.69/376.81 c nbDecision=157000 #constraints=17120 377.89/378.06 c nbDecision=157500 #constraints=17162 379.09/379.21 c nbDecision=158000 #constraints=17199 379.99/380.14 c nbDecision=158500 #constraints=17220 381.79/381.95 c nbDecision=159000 #constraints=17275 382.69/382.82 c nbDecision=159500 #constraints=17288 383.99/384.19 c nbDecision=160000 #constraints=17326 385.79/385.94 c nbDecision=160500 #constraints=17380 387.09/387.29 c nbDecision=161000 #constraints=17417 388.29/388.43 c nbDecision=161500 #constraints=17443 389.48/389.66 c nbDecision=162000 #constraints=17472 390.98/391.14 c nbDecision=162500 #constraints=17513 392.88/393.08 c nbDecision=163000 #constraints=17577 393.98/394.12 c nbDecision=163500 #constraints=17603 396.18/396.31 c nbDecision=164000 #constraints=17680 397.78/397.92 c nbDecision=164500 #constraints=17731 398.98/399.17 c nbDecision=165000 #constraints=17765 400.28/400.46 c nbDecision=165500 #constraints=17793 401.28/401.42 c nbDecision=166000 #constraints=17806 402.58/402.78 c nbDecision=166500 #constraints=17844 403.68/403.89 c nbDecision=167000 #constraints=17867 404.98/405.15 c nbDecision=167500 #constraints=17892 405.98/406.11 c nbDecision=168000 #constraints=17909 407.07/407.29 c nbDecision=168500 #constraints=17937 408.38/408.57 c nbDecision=169000 #constraints=17957 409.88/410.05 c nbDecision=169500 #constraints=17994 411.48/411.66 c nbDecision=170000 #constraints=18054 412.88/413.02 c nbDecision=170500 #constraints=18106 414.08/414.22 c nbDecision=171000 #constraints=18143 415.07/415.29 c nbDecision=171500 #constraints=18171 415.87/416.02 c nbDecision=172000 #constraints=18178 416.88/417.02 c nbDecision=172500 #constraints=18202 418.17/418.37 c nbDecision=173000 #constraints=18236 419.37/419.52 c nbDecision=173500 #constraints=18264 420.37/420.55 c nbDecision=174000 #constraints=18286 421.47/421.67 c nbDecision=174500 #constraints=18312 422.77/422.91 c nbDecision=175000 #constraints=18347 423.77/423.99 c nbDecision=175500 #constraints=18373 425.38/425.57 c nbDecision=176000 #constraints=18431 426.87/427.01 c nbDecision=176500 #constraints=18467 427.86/428.05 c nbDecision=177000 #constraints=18498 429.36/429.55 c nbDecision=177500 #constraints=18544 430.26/430.46 c nbDecision=178000 #constraints=18560 432.04/432.21 c nbDecision=178500 #constraints=18618 432.84/433.01 c nbDecision=179000 #constraints=18625 433.84/434.05 c nbDecision=179500 #constraints=18646 434.64/434.87 c nbDecision=180000 #constraints=18658 435.63/435.80 c nbDecision=180500 #constraints=18681 436.64/436.86 c nbDecision=181000 #constraints=18701 437.64/437.81 c nbDecision=181500 #constraints=18720 438.74/438.95 c nbDecision=182000 #constraints=18751 439.53/439.73 c nbDecision=182500 #constraints=18758 440.23/440.41 c nbDecision=183000 #constraints=18762 440.83/441.09 c nbDecision=183500 #constraints=18765 441.92/442.12 c nbDecision=184000 #constraints=18783 443.12/443.32 c nbDecision=184500 #constraints=18805 444.11/444.34 c nbDecision=185000 #constraints=18826 445.11/445.32 c nbDecision=185500 #constraints=18847 446.00/446.29 c nbDecision=186000 #constraints=18858 447.01/447.24 c nbDecision=186500 #constraints=18877 447.81/448.03 c nbDecision=187000 #constraints=18887 448.51/448.71 c nbDecision=187500 #constraints=18890 449.41/449.64 c nbDecision=188000 #constraints=18905 450.51/450.75 c nbDecision=188500 #constraints=18928 451.90/452.15 c nbDecision=189000 #constraints=18966 452.89/453.20 c nbDecision=189500 #constraints=18985 453.99/454.22 c nbDecision=190000 #constraints=19001 454.88/455.11 c nbDecision=190500 #constraints=19013 455.88/456.20 c nbDecision=191000 #constraints=19035 457.28/457.57 c nbDecision=191500 #constraints=19081 458.67/458.94 c nbDecision=192000 #constraints=19118 460.18/460.48 c nbDecision=192500 #constraints=19163 461.18/461.49 c nbDecision=193000 #constraints=19187 462.28/462.53 c nbDecision=193500 #constraints=19212 463.18/463.48 c nbDecision=194000 #constraints=19230 463.88/464.18 c nbDecision=194500 #constraints=19231 465.48/465.79 c nbDecision=195000 #constraints=19264 466.67/466.99 c nbDecision=195500 #constraints=19292 467.67/467.95 c nbDecision=196000 #constraints=19307 468.77/469.03 c nbDecision=196500 #constraints=19328 470.07/470.36 c nbDecision=197000 #constraints=19357 471.67/471.95 c nbDecision=197500 #constraints=19398 472.87/473.14 c nbDecision=198000 #constraints=19429 474.37/474.63 c nbDecision=198500 #constraints=19463 475.57/475.86 c nbDecision=199000 #constraints=19488 476.37/476.64 c nbDecision=199500 #constraints=19491 477.27/477.51 c nbDecision=200000 #constraints=19495 478.17/478.43 c nbDecision=200500 #constraints=19505 479.97/480.23 c nbDecision=201000 #constraints=19550 481.26/481.55 c nbDecision=201500 #constraints=19574 482.25/482.55 c nbDecision=202000 #constraints=19586 483.25/483.55 c nbDecision=202500 #constraints=19598 484.15/484.48 c nbDecision=203000 #constraints=19608 485.25/485.58 c nbDecision=203500 #constraints=19624 486.25/486.50 c nbDecision=204000 #constraints=19634 487.16/487.47 c nbDecision=204500 #constraints=19642 488.05/488.30 c restart after 204801 decisions 490.55/490.83 c nbDecision=205000 #constraints=19668 491.45/491.80 c nbDecision=205500 #constraints=19668 496.15/496.41 c nbDecision=206000 #constraints=19716 498.75/499.05 c nbDecision=206500 #constraints=19745 500.15/500.44 c nbDecision=207000 #constraints=19758 503.75/504.07 c nbDecision=207500 #constraints=19802 505.45/505.78 c nbDecision=208000 #constraints=19818 508.54/508.83 c nbDecision=208500 #constraints=19852 513.45/513.72 c nbDecision=209000 #constraints=19912 518.95/519.25 c nbDecision=209500 #constraints=19989 520.85/521.11 c nbDecision=210000 #constraints=20008 523.14/523.46 c nbDecision=210500 #constraints=20029 525.44/525.76 c nbDecision=211000 #constraints=20054 528.24/528.57 c nbDecision=211500 #constraints=20083 532.04/532.37 c nbDecision=212000 #constraints=20127 534.94/535.24 c nbDecision=212500 #constraints=20160 537.34/537.69 c nbDecision=213000 #constraints=20188 539.74/540.08 c nbDecision=213500 #constraints=20213 543.44/543.79 c nbDecision=214000 #constraints=20269 547.33/547.63 c nbDecision=214500 #constraints=20322 549.53/549.88 c nbDecision=215000 #constraints=20340 551.94/552.28 c nbDecision=215500 #constraints=20372 553.64/553.97 c nbDecision=216000 #constraints=20383 555.74/556.06 c nbDecision=216500 #constraints=20401 557.54/557.88 c nbDecision=217000 #constraints=20414 558.54/558.87 c nbDecision=217500 #constraints=20416 560.84/561.17 c nbDecision=218000 #constraints=20440 564.33/564.62 c nbDecision=218500 #constraints=20479 566.83/567.16 c nbDecision=219000 #constraints=20503 569.83/570.15 c nbDecision=219500 #constraints=20538 571.93/572.25 c nbDecision=220000 #constraints=20565 574.32/574.65 c nbDecision=220500 #constraints=20593 576.53/576.88 c nbDecision=221000 #constraints=20615 579.83/580.17 c nbDecision=221500 #constraints=20651 582.03/582.38 c nbDecision=222000 #constraints=20671 584.63/584.94 c nbDecision=222500 #constraints=20698 589.12/589.43 c nbDecision=223000 #constraints=20750 591.13/591.46 c nbDecision=223500 #constraints=20773 596.52/596.89 c nbDecision=224000 #constraints=20840 602.12/602.42 c nbDecision=224500 #constraints=20913 604.62/604.99 c nbDecision=225000 #constraints=20938 609.92/610.27 c nbDecision=225500 #constraints=21004 616.31/616.65 c nbDecision=226000 #constraints=21091 620.81/621.11 c nbDecision=226500 #constraints=21142 622.51/622.88 c nbDecision=227000 #constraints=21158 627.22/627.57 c nbDecision=227500 #constraints=21226 632.11/632.43 c nbDecision=228000 #constraints=21297 636.31/636.64 c nbDecision=228500 #constraints=21361 641.41/641.74 c nbDecision=229000 #constraints=21452 646.31/646.67 c nbDecision=229500 #constraints=21527 650.51/650.83 c nbDecision=230000 #constraints=21589 655.00/655.33 c nbDecision=230500 #constraints=21662 660.60/660.97 c nbDecision=231000 #constraints=21746 663.71/664.09 c nbDecision=231500 #constraints=21786 667.30/667.65 c nbDecision=232000 #constraints=21838 671.30/671.60 c nbDecision=232500 #constraints=21903 675.10/675.48 c nbDecision=233000 #constraints=21961 677.10/677.42 c nbDecision=233500 #constraints=21977 679.61/679.93 c nbDecision=234000 #constraints=22005 682.20/682.59 c nbDecision=234500 #constraints=22029 684.40/684.73 c nbDecision=235000 #constraints=22048 685.90/686.26 c nbDecision=235500 #constraints=22059 687.70/688.01 c nbDecision=236000 #constraints=22069 689.10/689.44 c nbDecision=236500 #constraints=22076 691.60/691.96 c nbDecision=237000 #constraints=22107 693.80/694.17 c nbDecision=237500 #constraints=22128 694.90/695.21 c nbDecision=238000 #constraints=22130 696.10/696.44 c nbDecision=238500 #constraints=22133 697.30/697.63 c nbDecision=239000 #constraints=22136 698.59/698.99 c nbDecision=239500 #constraints=22142 700.69/701.09 c nbDecision=240000 #constraints=22168 702.39/702.72 c nbDecision=240500 #constraints=22179 703.99/704.37 c nbDecision=241000 #constraints=22193 706.29/706.63 c nbDecision=241500 #constraints=22212 709.09/709.42 c nbDecision=242000 #constraints=22240 710.79/711.11 c nbDecision=242500 #constraints=22254 713.79/714.10 c nbDecision=243000 #constraints=22292 715.09/715.49 c nbDecision=243500 #constraints=22310 717.58/717.90 c nbDecision=244000 #constraints=22351 719.38/719.79 c nbDecision=244500 #constraints=22379 722.29/722.68 c nbDecision=245000 #constraints=22421 724.39/724.74 c nbDecision=245500 #constraints=22444 726.19/726.55 c nbDecision=246000 #constraints=22468 727.59/727.92 c nbDecision=246500 #constraints=22488 728.99/729.31 c nbDecision=247000 #constraints=22508 733.39/733.73 c nbDecision=247500 #constraints=22586 735.78/736.10 c nbDecision=248000 #constraints=22606 737.58/737.99 c nbDecision=248500 #constraints=22621 738.78/739.13 c nbDecision=249000 #constraints=22623 741.08/741.49 c nbDecision=249500 #constraints=22640 743.08/743.44 c nbDecision=250000 #constraints=22655 744.18/744.60 c nbDecision=250500 #constraints=22657 745.48/745.89 c nbDecision=251000 #constraints=22660 747.38/747.75 c nbDecision=251500 #constraints=22672 749.88/750.26 c nbDecision=252000 #constraints=22698 752.27/752.69 c nbDecision=252500 #constraints=22724 754.07/754.41 c nbDecision=253000 #constraints=22734 755.87/756.30 c nbDecision=253500 #constraints=22747 757.77/758.17 c nbDecision=254000 #constraints=22768 759.08/759.47 c nbDecision=254500 #constraints=22772 760.48/760.89 c nbDecision=255000 #constraints=22781 761.98/762.30 c nbDecision=255500 #constraints=22790 763.28/763.63 c nbDecision=256000 #constraints=22794 767.17/767.54 c nbDecision=256500 #constraints=22854 770.37/770.73 c nbDecision=257000 #constraints=22898 773.87/774.24 c nbDecision=257500 #constraints=22953 775.77/776.13 c nbDecision=258000 #constraints=22980 778.27/778.62 c nbDecision=258500 #constraints=23021 781.27/781.69 c nbDecision=259000 #constraints=23058 782.57/782.92 c nbDecision=259500 #constraints=23060 784.37/784.71 c nbDecision=260000 #constraints=23070 787.17/787.53 c nbDecision=260500 #constraints=23098 788.87/789.24 c nbDecision=261000 #constraints=23107 790.17/790.57 c nbDecision=261500 #constraints=23110 792.26/792.62 c nbDecision=262000 #constraints=23124 794.56/795.00 c nbDecision=262500 #constraints=23145 800.96/801.31 c nbDecision=263000 #constraints=23259 806.57/806.93 c nbDecision=263500 #constraints=23354 809.76/810.16 c nbDecision=264000 #constraints=23404 814.66/815.00 c nbDecision=264500 #constraints=23483 817.26/817.68 c nbDecision=265000 #constraints=23521 820.46/820.84 c nbDecision=265500 #constraints=23569 821.66/822.00 c nbDecision=266000 #constraints=23580 824.05/824.46 c nbDecision=266500 #constraints=23615 825.86/826.22 c nbDecision=267000 #constraints=23624 827.55/827.98 c nbDecision=267500 #constraints=23633 829.65/830.05 c nbDecision=268000 #constraints=23646 831.46/831.88 c nbDecision=268500 #constraints=23660 833.56/833.95 c nbDecision=269000 #constraints=23681 836.05/836.46 c nbDecision=269500 #constraints=23705 837.96/838.39 c nbDecision=270000 #constraints=23722 839.15/839.58 c nbDecision=270500 #constraints=23724 840.95/841.40 c nbDecision=271000 #constraints=23738 842.55/842.90 c nbDecision=271500 #constraints=23742 845.15/845.54 c nbDecision=272000 #constraints=23771 847.45/847.88 c nbDecision=272500 #constraints=23793 849.05/849.48 c nbDecision=273000 #constraints=23804 850.85/851.27 c nbDecision=273500 #constraints=23815 853.15/853.53 c nbDecision=274000 #constraints=23836 854.35/854.76 c nbDecision=274500 #constraints=23839 856.55/856.92 c nbDecision=275000 #constraints=23858 858.64/859.02 c nbDecision=275500 #constraints=23874 861.05/861.42 c nbDecision=276000 #constraints=23900 863.15/863.56 c nbDecision=276500 #constraints=23919 864.54/864.94 c nbDecision=277000 #constraints=23923 867.45/867.80 c nbDecision=277500 #constraints=23952 868.85/869.25 c nbDecision=278000 #constraints=23960 870.95/871.38 c nbDecision=278500 #constraints=23983 872.55/872.96 c nbDecision=279000 #constraints=24001 873.75/874.13 c nbDecision=279500 #constraints=24013 874.95/875.33 c nbDecision=280000 #constraints=24023 877.05/877.49 c nbDecision=280500 #constraints=24053 879.25/879.69 c nbDecision=281000 #constraints=24077 881.04/881.48 c nbDecision=281500 #constraints=24085 883.64/884.09 c nbDecision=282000 #constraints=24107 884.94/885.35 c nbDecision=282500 #constraints=24109 886.84/887.22 c nbDecision=283000 #constraints=24120 888.64/889.03 c nbDecision=283500 #constraints=24129 889.94/890.35 c nbDecision=284000 #constraints=24132 891.34/891.71 c nbDecision=284500 #constraints=24135 893.04/893.45 c nbDecision=285000 #constraints=24148 894.24/894.65 c nbDecision=285500 #constraints=24150 895.64/896.01 c nbDecision=286000 #constraints=24153 897.44/897.88 c nbDecision=286500 #constraints=24164 898.83/899.22 c nbDecision=287000 #constraints=24167 900.54/900.95 c nbDecision=287500 #constraints=24180 901.83/902.21 c nbDecision=288000 #constraints=24183 903.03/903.48 c nbDecision=288500 #constraints=24186 904.83/905.24 c nbDecision=289000 #constraints=24195 906.13/906.52 c nbDecision=289500 #constraints=24198 907.43/907.81 c nbDecision=290000 #constraints=24201 909.13/909.54 c nbDecision=290500 #constraints=24222 911.23/911.64 c nbDecision=291000 #constraints=24263 912.93/913.30 c nbDecision=291500 #constraints=24292 914.63/915.05 c nbDecision=292000 #constraints=24321 916.83/917.24 c nbDecision=292500 #constraints=24356 919.24/919.66 c nbDecision=293000 #constraints=24405 922.23/922.68 c nbDecision=293500 #constraints=24435 925.53/925.93 c nbDecision=294000 #constraints=24470 927.93/928.36 c nbDecision=294500 #constraints=24490 932.12/932.50 c nbDecision=295000 #constraints=24536 935.12/935.52 c nbDecision=295500 #constraints=24568 937.93/938.32 c nbDecision=296000 #constraints=24593 939.13/939.59 c nbDecision=296500 #constraints=24596 940.62/941.07 c nbDecision=297000 #constraints=24601 943.42/943.88 c nbDecision=297500 #constraints=24625 947.22/947.65 c nbDecision=298000 #constraints=24663 950.03/950.42 c nbDecision=298500 #constraints=24700 953.62/954.03 c nbDecision=299000 #constraints=24760 958.12/958.55 c nbDecision=299500 #constraints=24817 964.02/964.47 c nbDecision=300000 #constraints=24896 969.11/969.51 c nbDecision=300500 #constraints=24962 975.41/975.89 c nbDecision=301000 #constraints=25047 979.72/980.16 c nbDecision=301500 #constraints=25096 983.42/983.89 c nbDecision=302000 #constraints=25145 988.01/988.43 c nbDecision=302500 #constraints=25202 990.81/991.27 c nbDecision=303000 #constraints=25233 995.01/995.50 c nbDecision=303500 #constraints=25292 997.71/998.10 c nbDecision=304000 #constraints=25316 999.80/1000.23 c nbDecision=304500 #constraints=25334 1001.71/1002.20 c nbDecision=305000 #constraints=25345 1003.40/1003.81 c nbDecision=305500 #constraints=25348 1005.41/1005.84 c nbDecision=306000 #constraints=25361 1008.11/1008.53 c nbDecision=306500 #constraints=25380 1009.91/1010.32 c nbDecision=307000 #constraints=25390 1011.71/1012.11 c nbDecision=307500 #constraints=25402 1013.31/1013.78 c nbDecision=308000 #constraints=25413 1014.80/1015.21 c nbDecision=308500 #constraints=25416 1016.90/1017.31 c nbDecision=309000 #constraints=25429 1018.80/1019.27 c nbDecision=309500 #constraints=25441 1020.50/1020.92 c nbDecision=310000 #constraints=25451 1023.20/1023.63 c nbDecision=310500 #constraints=25483 1024.20/1024.63 c nbDecision=311000 #constraints=25486 1027.10/1027.52 c nbDecision=311500 #constraints=25519 1030.20/1030.62 c nbDecision=312000 #constraints=25557 1032.90/1033.36 c nbDecision=312500 #constraints=25593 1035.30/1035.77 c nbDecision=313000 #constraints=25632 1037.80/1038.25 c nbDecision=313500 #constraints=25651 1041.10/1041.58 c nbDecision=314000 #constraints=25688 1042.60/1043.05 c nbDecision=314500 #constraints=25691 1045.40/1045.82 c nbDecision=315000 #constraints=25713 1047.20/1047.60 c nbDecision=315500 #constraints=25722 1049.19/1049.68 c nbDecision=316000 #constraints=25735 1050.89/1051.37 c nbDecision=316500 #constraints=25747 1052.49/1052.90 c nbDecision=317000 #constraints=25751 1054.50/1054.91 c nbDecision=317500 #constraints=25770 1055.79/1056.26 c nbDecision=318000 #constraints=25773 1059.79/1060.20 c nbDecision=318500 #constraints=25840 1061.69/1062.16 c nbDecision=319000 #constraints=25849 1063.49/1063.95 c nbDecision=319500 #constraints=25861 1064.99/1065.48 c nbDecision=320000 #constraints=25864 1066.39/1066.88 c nbDecision=320500 #constraints=25866 1068.49/1068.99 c nbDecision=321000 #constraints=25877 1070.09/1070.56 c nbDecision=321500 #constraints=25880 1071.68/1072.15 c nbDecision=322000 #constraints=25894 1073.69/1074.20 c nbDecision=322500 #constraints=25912 1075.89/1076.35 c nbDecision=323000 #constraints=25927 1077.89/1078.31 c nbDecision=323500 #constraints=25936 1079.99/1080.45 c nbDecision=324000 #constraints=25949 1083.29/1083.77 c nbDecision=324500 #constraints=25984 1084.89/1085.32 c nbDecision=325000 #constraints=25987 1088.99/1089.45 c nbDecision=325500 #constraints=26031 1090.39/1090.89 c nbDecision=326000 #constraints=26035 1092.48/1092.97 c nbDecision=326500 #constraints=26049 1094.58/1095.07 c nbDecision=327000 #constraints=26065 1095.88/1096.38 c nbDecision=327500 #constraints=26069 1098.08/1098.51 c nbDecision=328000 #constraints=26083 1100.78/1101.25 c nbDecision=328500 #constraints=26108 1103.08/1103.55 c nbDecision=329000 #constraints=26137 1105.18/1105.60 c nbDecision=329500 #constraints=26149 1107.48/1107.93 c nbDecision=330000 #constraints=26162 1110.18/1110.62 c nbDecision=330500 #constraints=26184 1112.37/1112.82 c nbDecision=331000 #constraints=26200 1114.28/1114.71 c nbDecision=331500 #constraints=26208 1115.58/1116.06 c nbDecision=332000 #constraints=26210 1117.78/1118.20 c nbDecision=332500 #constraints=26223 1119.28/1119.76 c nbDecision=333000 #constraints=26231 1120.78/1121.27 c nbDecision=333500 #constraints=26235 1123.48/1123.98 c nbDecision=334000 #constraints=26260 1125.28/1125.78 c nbDecision=334500 #constraints=26270 1126.78/1127.24 c nbDecision=335000 #constraints=26278 1130.27/1130.78 c nbDecision=335500 #constraints=26316 1135.27/1135.70 c nbDecision=336000 #constraints=26374 1138.57/1139.06 c nbDecision=336500 #constraints=26408 1142.27/1142.70 c nbDecision=337000 #constraints=26446 1145.27/1145.72 c nbDecision=337500 #constraints=26477 1149.86/1150.38 c nbDecision=338000 #constraints=26539 1152.67/1153.13 c nbDecision=338500 #constraints=26569 1154.58/1155.04 c nbDecision=339000 #constraints=26583 1159.57/1160.05 c nbDecision=339500 #constraints=26665 1163.37/1163.85 c nbDecision=340000 #constraints=26729 1168.37/1168.89 c nbDecision=340500 #constraints=26800 1170.26/1170.70 c nbDecision=341000 #constraints=26819 1173.66/1174.18 c nbDecision=341500 #constraints=26874 1176.16/1176.70 c nbDecision=342000 #constraints=26907 1177.46/1178.00 c nbDecision=342500 #constraints=26918 1179.16/1179.64 c nbDecision=343000 #constraints=26927 1181.76/1182.27 c nbDecision=343500 #constraints=26950 1183.26/1183.71 c nbDecision=344000 #constraints=26953 1185.06/1185.58 c nbDecision=344500 #constraints=26963 1186.56/1187.03 c nbDecision=345000 #constraints=26966 1188.66/1189.12 c nbDecision=345500 #constraints=26978 1190.06/1190.57 c nbDecision=346000 #constraints=26982 1192.16/1192.69 c nbDecision=346500 #constraints=26995 1193.96/1194.45 c nbDecision=347000 #constraints=27005 1196.46/1196.91 c nbDecision=347500 #constraints=27025 1197.76/1198.29 c nbDecision=348000 #constraints=27028 1199.46/1199.99 c nbDecision=348500 #constraints=27042 1203.66/1204.10 c nbDecision=349000 #constraints=27103 1205.16/1205.66 c nbDecision=349500 #constraints=27120 1206.45/1206.91 c nbDecision=350000 #constraints=27130 1209.66/1210.15 c nbDecision=350500 #constraints=27166 1211.45/1211.92 c nbDecision=351000 #constraints=27182 1213.55/1214.02 c nbDecision=351500 #constraints=27195 1216.55/1217.03 c nbDecision=352000 #constraints=27224 1217.95/1218.41 c nbDecision=352500 #constraints=27227 1219.15/1219.69 c nbDecision=353000 #constraints=27229 1222.35/1222.85 c nbDecision=353500 #constraints=27259 1224.25/1224.76 c nbDecision=354000 #constraints=27269 1225.55/1226.09 c nbDecision=354500 #constraints=27281 1227.45/1227.99 c nbDecision=355000 #constraints=27301 1228.74/1229.20 c nbDecision=355500 #constraints=27312 1230.94/1231.44 c nbDecision=356000 #constraints=27339 1232.75/1233.27 c nbDecision=356500 #constraints=27355 1235.54/1236.08 c nbDecision=357000 #constraints=27388 1237.64/1238.15 c nbDecision=357500 #constraints=27399 1239.54/1240.05 c nbDecision=358000 #constraints=27408 1242.55/1243.07 c nbDecision=358500 #constraints=27437 1244.15/1244.69 c nbDecision=359000 #constraints=27440 1247.05/1247.56 c nbDecision=359500 #constraints=27460 1249.15/1249.61 c nbDecision=360000 #constraints=27472 1250.94/1251.44 c nbDecision=360500 #constraints=27488 1253.04/1253.50 c nbDecision=361000 #constraints=27504 1254.75/1255.25 c nbDecision=361500 #constraints=27518 1257.04/1257.51 c nbDecision=362000 #constraints=27538 1259.64/1260.10 c nbDecision=362500 #constraints=27563 1262.74/1263.28 c nbDecision=363000 #constraints=27605 1264.84/1265.31 c nbDecision=363500 #constraints=27628 1266.34/1266.81 c nbDecision=364000 #constraints=27649 1268.44/1268.93 c nbDecision=364500 #constraints=27671 1270.24/1270.70 c nbDecision=365000 #constraints=27674 1273.74/1274.23 c nbDecision=365500 #constraints=27703 1275.43/1275.91 c nbDecision=366000 #constraints=27706 1276.93/1277.42 c nbDecision=366500 #constraints=27708 1278.63/1279.18 c nbDecision=367000 #constraints=27711 1280.23/1280.79 c nbDecision=367500 #constraints=27714 1282.24/1282.75 c nbDecision=368000 #constraints=27722 1283.83/1284.31 c nbDecision=368500 #constraints=27725 1285.53/1286.01 c nbDecision=369000 #constraints=27728 1287.13/1287.64 c nbDecision=369500 #constraints=27731 1288.73/1289.22 c nbDecision=370000 #constraints=27734 1290.13/1290.69 c nbDecision=370500 #constraints=27737 1291.53/1292.07 c nbDecision=371000 #constraints=27740 1293.23/1293.76 c nbDecision=371500 #constraints=27748 1295.03/1295.54 c nbDecision=372000 #constraints=27761 1296.63/1297.19 c nbDecision=372500 #constraints=27766 1300.23/1300.74 c nbDecision=373000 #constraints=27814 1303.92/1304.46 c nbDecision=373500 #constraints=27845 1306.12/1306.61 c nbDecision=374000 #constraints=27858 1307.62/1308.12 c nbDecision=374500 #constraints=27860 1309.32/1309.84 c nbDecision=375000 #constraints=27863 1310.92/1311.49 c nbDecision=375500 #constraints=27866 1312.82/1313.36 c nbDecision=376000 #constraints=27877 1314.62/1315.11 c nbDecision=376500 #constraints=27883 1316.13/1316.70 c nbDecision=377000 #constraints=27886 1318.03/1318.54 c nbDecision=377500 #constraints=27895 1319.93/1320.46 c nbDecision=378000 #constraints=27905 1321.53/1322.05 c nbDecision=378500 #constraints=27908 1323.32/1323.89 c nbDecision=379000 #constraints=27919 1324.92/1325.47 c nbDecision=379500 #constraints=27923 1326.42/1326.95 c nbDecision=380000 #constraints=27926 1328.02/1328.59 c nbDecision=380500 #constraints=27930 1329.62/1330.13 c nbDecision=381000 #constraints=27935 1331.72/1332.22 c nbDecision=381500 #constraints=27954 1333.42/1333.94 c nbDecision=382000 #constraints=27964 1335.52/1336.03 c nbDecision=382500 #constraints=27979 1337.02/1337.57 c nbDecision=383000 #constraints=27984 1339.62/1340.15 c nbDecision=383500 #constraints=28006 1340.91/1341.43 c nbDecision=384000 #constraints=28009 1342.91/1343.40 c nbDecision=384500 #constraints=28029 1345.41/1345.94 c nbDecision=385000 #constraints=28062 1347.01/1347.51 c nbDecision=385500 #constraints=28071 1348.51/1349.07 c nbDecision=386000 #constraints=28080 1350.21/1350.74 c nbDecision=386500 #constraints=28090 1354.02/1354.54 c nbDecision=387000 #constraints=28133 1355.51/1356.08 c nbDecision=387500 #constraints=28142 1357.71/1358.25 c nbDecision=388000 #constraints=28156 1359.61/1360.10 c nbDecision=388500 #constraints=28171 1362.31/1362.85 c nbDecision=389000 #constraints=28197 1365.71/1366.28 c nbDecision=389500 #constraints=28254 1369.01/1369.51 c nbDecision=390000 #constraints=28304 1372.71/1373.25 c nbDecision=390500 #constraints=28358 1374.61/1375.18 c nbDecision=391000 #constraints=28384 1377.21/1377.77 c nbDecision=391500 #constraints=28431 1379.30/1379.89 c nbDecision=392000 #constraints=28448 1380.80/1381.33 c nbDecision=392500 #constraints=28450 1382.70/1383.20 c nbDecision=393000 #constraints=28457 1384.40/1384.98 c nbDecision=393500 #constraints=28469 1386.10/1386.66 c nbDecision=394000 #constraints=28472 1387.60/1388.14 c nbDecision=394500 #constraints=28475 1389.10/1389.68 c nbDecision=395000 #constraints=28485 1390.60/1391.18 c nbDecision=395500 #constraints=28493 1392.50/1393.06 c nbDecision=396000 #constraints=28507 1394.20/1394.79 c nbDecision=396500 #constraints=28521 1395.69/1396.28 c nbDecision=397000 #constraints=28524 1397.60/1398.14 c nbDecision=397500 #constraints=28534 1400.69/1401.21 c nbDecision=398000 #constraints=28562 1402.19/1402.74 c nbDecision=398500 #constraints=28565 1406.09/1406.63 c nbDecision=399000 #constraints=28606 1409.50/1410.08 c nbDecision=399500 #constraints=28642 1411.20/1411.73 c nbDecision=400000 #constraints=28657 1412.69/1413.22 c nbDecision=400500 #constraints=28674 1415.29/1415.83 c nbDecision=401000 #constraints=28710 1417.09/1417.68 c nbDecision=401500 #constraints=28723 1419.19/1419.76 c nbDecision=402000 #constraints=28743 1422.89/1423.40 c nbDecision=402500 #constraints=28791 1425.89/1426.45 c nbDecision=403000 #constraints=28831 1429.38/1429.98 c nbDecision=403500 #constraints=28876 1431.69/1432.29 c nbDecision=404000 #constraints=28900 1432.59/1433.18 c nbDecision=404500 #constraints=28904 1434.59/1435.10 c nbDecision=405000 #constraints=28926 1436.69/1437.23 c nbDecision=405500 #constraints=28953 1439.18/1439.70 c nbDecision=406000 #constraints=28983 1440.28/1440.86 c nbDecision=406500 #constraints=28991 1442.48/1443.05 c nbDecision=407000 #constraints=29021 1444.28/1444.88 c nbDecision=407500 #constraints=29038 1446.68/1447.20 c nbDecision=408000 #constraints=29063 1449.39/1449.96 c nbDecision=408500 #constraints=29094 1451.28/1451.86 c nbDecision=409000 #constraints=29116 1452.59/1453.19 c nbDecision=409500 #constraints=29122 1453.48/1454.03 c restart after 409601 decisions 1457.78/1458.38 c nbDecision=410000 #constraints=29127 1459.88/1460.47 c nbDecision=410500 #constraints=29127 1469.98/1470.55 c nbDecision=411000 #constraints=29247 1477.98/1478.53 c nbDecision=411500 #constraints=29335 1484.27/1484.88 c nbDecision=412000 #constraints=29405 1489.67/1490.21 c nbDecision=412500 #constraints=29456 1493.37/1493.91 c nbDecision=413000 #constraints=29492 1498.87/1499.44 c nbDecision=413500 #constraints=29556 1503.27/1503.83 c nbDecision=414000 #constraints=29598 1509.46/1510.07 c nbDecision=414500 #constraints=29666 1513.57/1514.16 c nbDecision=415000 #constraints=29710 1517.27/1517.83 c nbDecision=415500 #constraints=29746 1521.76/1522.35 c nbDecision=416000 #constraints=29791 1525.86/1526.40 c nbDecision=416500 #constraints=29831 1531.96/1532.52 c nbDecision=417000 #constraints=29899 1535.36/1535.95 c nbDecision=417500 #constraints=29935 1539.06/1539.69 c nbDecision=418000 #constraints=29977 1541.26/1541.86 c nbDecision=418500 #constraints=29987 1543.56/1544.13 c nbDecision=419000 #constraints=30001 1545.46/1546.07 c nbDecision=419500 #constraints=30016 1547.66/1548.24 c nbDecision=420000 #constraints=30032 1550.26/1550.83 c nbDecision=420500 #constraints=30053 1555.66/1556.21 c nbDecision=421000 #constraints=30113 1559.56/1560.13 c nbDecision=421500 #constraints=30143 1563.45/1564.08 c nbDecision=422000 #constraints=30178 1566.85/1567.48 c nbDecision=422500 #constraints=30209 1570.65/1571.23 c nbDecision=423000 #constraints=30241 1574.34/1574.95 c nbDecision=423500 #constraints=30285 1578.75/1579.33 c nbDecision=424000 #constraints=30321 1585.05/1585.60 c nbDecision=424500 #constraints=30383 1589.34/1589.90 c nbDecision=425000 #constraints=30428 1591.25/1591.83 c nbDecision=425500 #constraints=30437 1595.34/1595.93 c nbDecision=426000 #constraints=30473 1600.94/1601.51 c nbDecision=426500 #constraints=30522 1604.23/1604.84 c nbDecision=427000 #constraints=30548 1608.24/1608.89 c nbDecision=427500 #constraints=30587 1611.44/1612.08 c nbDecision=428000 #constraints=30611 1615.34/1615.99 c nbDecision=428500 #constraints=30647 1619.34/1619.92 c nbDecision=429000 #constraints=30695 1623.43/1624.04 c nbDecision=429500 #constraints=30727 1625.63/1626.25 c nbDecision=430000 #constraints=30741 1627.73/1628.38 c nbDecision=430500 #constraints=30754 1630.43/1631.03 c nbDecision=431000 #constraints=30770 1633.73/1634.33 c nbDecision=431500 #constraints=30808 1637.13/1637.75 c nbDecision=432000 #constraints=30849 1640.13/1640.78 c nbDecision=432500 #constraints=30882 1643.62/1644.22 c nbDecision=433000 #constraints=30907 1648.82/1649.49 c nbDecision=433500 #constraints=30969 1654.12/1654.78 c nbDecision=434000 #constraints=31021 1659.03/1659.63 c nbDecision=434500 #constraints=31079 1664.33/1664.93 c nbDecision=435000 #constraints=31145 1668.82/1669.45 c nbDecision=435500 #constraints=31185 1673.12/1673.75 c nbDecision=436000 #constraints=31221 1676.32/1676.96 c nbDecision=436500 #constraints=31243 1681.11/1681.71 c nbDecision=437000 #constraints=31280 1683.71/1684.30 c nbDecision=437500 #constraints=31295 1688.82/1689.41 c nbDecision=438000 #constraints=31341 1692.32/1692.91 c nbDecision=438500 #constraints=31370 1695.52/1696.16 c nbDecision=439000 #constraints=31394 1698.41/1699.07 c nbDecision=439500 #constraints=31415 1700.81/1701.43 c nbDecision=440000 #constraints=31427 1704.11/1704.80 c nbDecision=440500 #constraints=31457 1707.21/1707.80 c nbDecision=441000 #constraints=31482 1709.51/1710.10 c nbDecision=441500 #constraints=31494 1711.01/1711.67 c nbDecision=442000 #constraints=31497 1712.51/1713.15 c nbDecision=442500 #constraints=31499 1716.70/1717.36 c nbDecision=443000 #constraints=31539 1719.60/1720.25 c nbDecision=443500 #constraints=31568 1722.20/1722.83 c nbDecision=444000 #constraints=31594 1725.30/1725.93 c nbDecision=444500 #constraints=31616 1728.10/1728.72 c nbDecision=445000 #constraints=31639 1729.60/1730.25 c nbDecision=445500 #constraints=31642 1731.80/1732.47 c nbDecision=446000 #constraints=31661 1733.60/1734.29 c nbDecision=446500 #constraints=31669 1735.60/1736.23 c nbDecision=447000 #constraints=31681 1737.90/1738.53 c nbDecision=447500 #constraints=31695 1745.11/1745.79 c nbDecision=448000 #constraints=31761 1750.90/1751.55 c nbDecision=448500 #constraints=31816 1754.70/1755.36 c nbDecision=449000 #constraints=31851 1759.49/1760.19 c nbDecision=449500 #constraints=31895 1764.89/1765.51 c nbDecision=450000 #constraints=31947 1767.69/1768.30 c nbDecision=450500 #constraints=31964 1770.19/1770.84 c nbDecision=451000 #constraints=31982 1772.69/1773.32 c nbDecision=451500 #constraints=31993 1774.80/1775.44 c nbDecision=452000 #constraints=32002 1776.79/1777.48 c nbDecision=452500 #constraints=32015 1780.09/1780.77 c nbDecision=453000 #constraints=32035 1782.50/1783.14 c nbDecision=453500 #constraints=32054 1786.39/1787.07 c nbDecision=454000 #constraints=32083 1788.99/1789.65 c nbDecision=454500 #constraints=32103 1791.29/1791.95 c nbDecision=455000 #constraints=32114 1794.19/1794.83 c nbDecision=455500 #constraints=32136 1795.98/1796.63 c nbDecision=456000 #constraints=32142 1797.58/1798.22 c nbDecision=456500 #constraints=32145 1799.98/1800.60 c nbDecision=457000 #constraints=32160 1800.09/1800.71 Received signal 15 1800.19/1800.87 1800.19/1800.87 s UNKNOWN 1800.19/1800.87 1800.19/1800.87 c user time= 1799.47 s 1800.19/1800.87 c system time= 0.796878 s 1800.19/1800.87 c wall clock time=1800.87
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node41/watcher-356979-1176850433 -o ROOT/results/node41/solver-356979-1176850433 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356979-1176850433/instance-356979-1176850433.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.94 0.99 0.99 3/77 5085 /proc/meminfo: memFree=1742416/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=1620 CPUtime=0 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132955218 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710852 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 405 175 126 317 0 84 0 [startup+0.106508 s] /proc/loadavg: 0.94 0.99 0.99 3/77 5085 /proc/meminfo: memFree=1742416/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=3548 CPUtime=0.1 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 792 0 0 0 10 0 0 0 18 0 1 0 132955218 3633152 676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 887 677 131 317 0 566 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3548 [startup+0.201518 s] /proc/loadavg: 0.94 0.99 0.99 3/77 5085 /proc/meminfo: memFree=1742416/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=5928 CPUtime=0.19 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 1362 0 0 0 19 0 0 0 18 0 1 0 132955218 6070272 1246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 1482 1247 131 317 0 1161 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5928 [startup+0.301526 s] /proc/loadavg: 0.94 0.99 0.99 3/77 5085 /proc/meminfo: memFree=1742416/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=8304 CPUtime=0.29 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 1956 0 0 0 29 0 0 0 19 0 1 0 132955218 8503296 1840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 2076 1840 131 317 0 1755 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8304 [startup+0.701561 s] /proc/loadavg: 0.94 0.99 0.99 3/77 5085 /proc/meminfo: memFree=1742416/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=15840 CPUtime=0.69 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 3867 0 0 0 68 1 0 0 22 0 1 0 132955218 16220160 3751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 3960 3751 138 317 0 3639 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15840 [startup+1.50163 s] /proc/loadavg: 0.94 0.99 0.99 2/78 5086 /proc/meminfo: memFree=1727880/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=15840 CPUtime=1.49 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 3867 0 0 0 148 1 0 0 25 0 1 0 132955218 16220160 3751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 3960 3751 138 317 0 3639 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15840 [startup+3.10277 s] /proc/loadavg: 0.94 0.99 0.99 2/78 5086 /proc/meminfo: memFree=1727688/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=17600 CPUtime=3.09 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 4307 0 0 0 308 1 0 0 25 0 1 0 132955218 18022400 4191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194612 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 4400 4191 139 317 0 4079 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17600 [startup+6.30105 s] /proc/loadavg: 0.94 0.99 0.99 2/78 5086 /proc/meminfo: memFree=1724040/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=20208 CPUtime=6.29 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 4946 0 0 0 627 2 0 0 25 0 1 0 132955218 20692992 4830 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 5052 4830 139 317 0 4731 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20208 [startup+12.7016 s] /proc/loadavg: 0.95 0.99 0.99 2/78 5086 /proc/meminfo: memFree=1712904/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=32404 CPUtime=12.68 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 7934 0 0 0 1264 4 0 0 25 0 1 0 132955218 33181696 7818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 8101 7818 139 317 0 7780 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 32404 [startup+25.5017 s] /proc/loadavg: 0.96 0.99 0.99 2/78 5086 /proc/meminfo: memFree=1697224/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=46596 CPUtime=25.48 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 11533 0 0 0 2542 6 0 0 25 0 1 0 132955218 47714304 11417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 11649 11417 139 317 0 11328 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 46596 [startup+51.1019 s] /proc/loadavg: 0.97 0.99 0.99 2/78 5086 /proc/meminfo: memFree=1677384/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=66636 CPUtime=51.08 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 16529 0 0 0 5099 9 0 0 25 0 1 0 132955218 68235264 16377 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 16659 16377 139 317 0 16338 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 66636 [startup+102.301 s] /proc/loadavg: 1.07 1.01 1.00 2/78 5086 /proc/meminfo: memFree=1650312/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=95132 CPUtime=102.26 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 23196 0 0 0 10213 13 0 0 25 0 1 0 132955218 97415168 23044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 23783 23044 139 317 0 23462 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 95132 [startup+162.302 s] /proc/loadavg: 1.10 1.02 1.00 2/78 5086 /proc/meminfo: memFree=1627272/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=117632 CPUtime=162.24 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 29012 0 0 0 16207 17 0 0 25 0 1 0 132955218 120455168 28789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 29408 28789 139 317 0 29087 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 117632 [startup+222.306 s] /proc/loadavg: 1.10 1.03 1.00 2/78 5086 /proc/meminfo: memFree=1592456/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=158264 CPUtime=222.23 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 37708 0 0 0 22201 22 0 0 25 0 1 0 132955218 162062336 37485 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 39566 37485 139 317 0 39245 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 158264 [startup+282.301 s] /proc/loadavg: 1.04 1.02 1.00 2/78 5086 /proc/meminfo: memFree=1569736/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=180444 CPUtime=282.22 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 43510 0 0 0 28196 26 0 0 25 0 1 0 132955218 184774656 43287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384501 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 45111 43287 139 317 0 44790 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 180444 [startup+342.301 s] /proc/loadavg: 1.01 1.02 1.00 2/78 5086 /proc/meminfo: memFree=1544264/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=204684 CPUtime=342.2 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 49750 0 0 0 34189 31 0 0 25 0 1 0 132955218 209596416 49527 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 51171 49527 139 317 0 50850 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 204684 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 5086 /proc/meminfo: memFree=1521224/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=227976 CPUtime=402.18 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 55586 0 0 0 40184 34 0 0 25 0 1 0 132955218 233447424 55363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 56994 55363 139 317 0 56673 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 227976 [startup+462.302 s] /proc/loadavg: 1.00 1.01 1.00 2/84 5252 /proc/meminfo: memFree=1499456/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=247328 CPUtime=462.08 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 60610 0 0 0 46168 40 0 0 25 0 1 0 132955218 253263872 60387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 61832 60387 139 317 0 61511 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 247328 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5284 /proc/meminfo: memFree=1489352/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=258604 CPUtime=522.04 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 63460 0 0 0 52162 42 0 0 25 0 1 0 132955218 264810496 63237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 64651 63237 139 317 0 64330 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 258604 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5284 /proc/meminfo: memFree=1476744/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=279036 CPUtime=582.03 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 68119 0 0 0 58159 44 0 0 25 0 1 0 132955218 285732864 66302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 69759 66302 139 317 0 69438 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 279036 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5284 /proc/meminfo: memFree=1462728/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=301528 CPUtime=642.01 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 73252 0 0 0 64155 46 0 0 25 0 1 0 132955218 308764672 69884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 75382 69884 139 317 0 75061 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 301528 ################ # More data... # ################ [startup+882.305 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5284 /proc/meminfo: memFree=1421640/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=340276 CPUtime=881.95 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 83461 0 0 0 88141 54 0 0 25 0 1 0 132955218 348442624 80093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 85069 80093 139 317 0 84748 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 340276 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5284 /proc/meminfo: memFree=1413640/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=348072 CPUtime=941.92 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 85518 0 0 0 94137 55 0 0 25 0 1 0 132955218 356425728 82117 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 87018 82117 139 317 0 86697 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 348072 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5284 /proc/meminfo: memFree=1402184/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=358504 CPUtime=1001.9 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 88390 0 0 0 100133 57 0 0 25 0 1 0 132955218 367108096 84956 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 89626 84956 139 317 0 89305 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 358504 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5284 /proc/meminfo: memFree=1394568/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=365304 CPUtime=1061.89 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 90301 0 0 0 106130 59 0 0 25 0 1 0 132955218 374071296 86867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 91326 86867 139 317 0 91005 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 365304 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5284 /proc/meminfo: memFree=1388552/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=370776 CPUtime=1121.88 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 91809 0 0 0 112127 61 0 0 25 0 1 0 132955218 379674624 88375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 92694 88375 139 317 0 92373 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 370776 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 5284 /proc/meminfo: memFree=1376200/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=384108 CPUtime=1181.86 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 94928 0 0 0 118124 62 0 0 25 0 1 0 132955218 393326592 91494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 96027 91494 139 317 0 95706 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 384108 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5284 /proc/meminfo: memFree=1368648/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=390980 CPUtime=1241.85 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 96789 0 0 0 124121 64 0 0 25 0 1 0 132955218 400363520 93355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 97745 93355 139 317 0 97424 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 390980 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5284 /proc/meminfo: memFree=1362952/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=397620 CPUtime=1301.82 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 98490 0 0 0 130118 64 0 0 25 0 1 0 132955218 407162880 94792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 99405 94792 139 317 0 99084 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 397620 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5284 /proc/meminfo: memFree=1357256/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=402696 CPUtime=1361.81 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 99884 0 0 0 136115 66 0 0 25 0 1 0 132955218 412360704 96186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 100674 96186 139 317 0 100353 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 402696 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5284 /proc/meminfo: memFree=1348488/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=410728 CPUtime=1421.79 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 102083 0 0 0 142111 68 0 0 25 0 1 0 132955218 420585472 98385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 102682 98385 139 317 0 102361 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 410728 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5284 /proc/meminfo: memFree=1339400/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=418896 CPUtime=1481.78 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 104361 0 0 0 148107 71 0 0 25 0 1 0 132955218 428949504 100663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 104724 100663 139 317 0 104403 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 418896 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5284 /proc/meminfo: memFree=1329864/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=427248 CPUtime=1541.76 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 106735 0 0 0 154103 73 0 0 25 0 1 0 132955218 437501952 103037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 106812 103037 139 317 0 106491 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 427248 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5284 /proc/meminfo: memFree=1321544/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=434868 CPUtime=1601.73 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 108794 0 0 0 160099 74 0 0 25 0 1 0 132955218 445304832 105096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 108717 105096 139 317 0 108396 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 434868 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5284 /proc/meminfo: memFree=1312584/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=443036 CPUtime=1661.73 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 111028 0 0 0 166097 76 0 0 25 0 1 0 132955218 453668864 107330 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 110759 107330 139 317 0 110438 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 443036 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5284 /proc/meminfo: memFree=1305608/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=449464 CPUtime=1721.7 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 112847 0 0 0 172093 77 0 0 25 0 1 0 132955218 460251136 109149 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385272 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 112366 109149 139 317 0 112045 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 449464 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5284 /proc/meminfo: memFree=1298056/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=456160 CPUtime=1781.69 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 114680 0 0 0 178090 79 0 0 25 0 1 0 132955218 467107840 110982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 114040 110982 139 317 0 113719 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 456160 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5284 /proc/meminfo: memFree=1296328/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=458504 CPUtime=1800.09 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 115262 0 0 0 179930 79 0 0 25 0 1 0 132955218 469508096 111399 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 114626 111399 139 317 0 114305 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 458504 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5284 /proc/meminfo: memFree=1296328/2055920 swapFree=4184436/4192956 [pid=5085] ppid=5083 vsize=0 CPUtime=1800.29 /proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194308 115278 0 0 0 179948 81 0 0 25 0 1 0 132955218 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5085/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.96 CPU time (s): 1800.35 CPU user time (s): 1799.48 CPU system time (s): 0.870867 CPU usage (%): 99.9661 Max. virtual memory (cumulated for all children) (KiB): 458504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.48 system time used= 0.870867 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 115278 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= 3971 runsolver used 2.06169 second user time and 4.54831 second system time The end
Begin job on node41 on Tue Apr 17 22:53:53 UTC 2007 IDJOB= 356979 IDBENCH= 1717 IDSOLVER= 172 FILE ID= node41/356979-1176850433 PBS_JOBID= 4590196 Free space on /tmp= 66497 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-modszk1.opb COMMAND LINE= oree /tmp/evaluation/356979-1176850433/instance-356979-1176850433.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-356979-1176850433 -o ROOT/results/node41/solver-356979-1176850433 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356979-1176850433/instance-356979-1176850433.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 867ebc446ef1d12fd0b7d8d0b9e71a77 RANDOM SEED= 781480437 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node41.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.232 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.232 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: 1742888 kB Buffers: 27764 kB Cached: 99680 kB SwapCached: 2980 kB Active: 74884 kB Inactive: 185272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1742888 kB SwapTotal: 4192956 kB SwapFree: 4184436 kB Dirty: 2564 kB Writeback: 0 kB Mapped: 147228 kB Slab: 38212 kB Committed_AS: 2557744 kB PageTables: 2012 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= 66497 MiB End job on node41 on Tue Apr 17 23:23:56 UTC 2007