Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.49 | 1801.03 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-grow15.opb |
MD5SUM | 85af08260bc54f31465e48eb0563bdd8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1782.75 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 17130 |
Total number of constraints | 900 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 900 |
Minimum length of a constraint | 22 |
Maximum length of a constraint | 491 |
Number of terms in the objective function | 1335 |
Biggest coefficient in the objective function | 12744 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 525285 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 256781 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 525285 |
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.37 c ...done 0.29/0.37 c #vars=17130 #constraints=1201 hasObjective=yes 0.39/0.44 c res. mode=mod 0.39/0.44 c VSIDS like heuristics 0.39/0.44 c complete search running 0.69/0.72 c restart after 401 decisions 0.69/0.79 c nbDecision=500 #constraints=1201 0.89/1.00 c restart after 801 decisions 1.10/1.14 c nbDecision=1000 #constraints=1201 1.39/1.50 c nbDecision=1500 #constraints=1227 1.49/1.57 c restart after 1601 decisions 1.79/1.85 c nbDecision=2000 #constraints=1235 2.09/2.19 c nbDecision=2500 #constraints=1251 2.49/2.57 c nbDecision=3000 #constraints=1345 2.69/2.72 c restart after 3201 decisions 2.89/2.93 c nbDecision=3500 #constraints=1366 3.30/3.32 c nbDecision=4000 #constraints=1420 3.59/3.66 c nbDecision=4500 #constraints=1448 3.99/4.01 c nbDecision=5000 #constraints=1495 4.29/4.39 c nbDecision=5500 #constraints=1576 4.69/4.78 c nbDecision=6000 #constraints=1655 4.99/5.05 c restart after 6401 decisions 5.09/5.12 c nbDecision=6500 #constraints=1657 5.39/5.49 c nbDecision=7000 #constraints=1694 5.79/5.83 c nbDecision=7500 #constraints=1711 6.19/6.22 c nbDecision=8000 #constraints=1793 6.49/6.57 c nbDecision=8500 #constraints=1825 6.89/6.97 c nbDecision=9000 #constraints=1911 7.28/7.38 c nbDecision=9500 #constraints=2011 7.69/7.78 c nbDecision=10000 #constraints=2063 8.09/8.14 c nbDecision=10500 #constraints=2099 8.49/8.52 c nbDecision=11000 #constraints=2139 8.80/8.85 c nbDecision=11500 #constraints=2144 9.19/9.26 c nbDecision=12000 #constraints=2220 9.59/9.63 c nbDecision=12500 #constraints=2272 9.79/9.89 c restart after 12801 decisions 9.99/10.04 c nbDecision=13000 #constraints=2312 10.39/10.44 c nbDecision=13500 #constraints=2364 10.79/10.80 c nbDecision=14000 #constraints=2412 11.19/11.24 c nbDecision=14500 #constraints=2537 11.59/11.65 c nbDecision=15000 #constraints=2609 11.99/12.10 c nbDecision=15500 #constraints=2687 12.39/12.49 c nbDecision=16000 #constraints=2744 12.89/12.94 c nbDecision=16500 #constraints=2853 13.29/13.32 c nbDecision=17000 #constraints=2892 13.68/13.73 c nbDecision=17500 #constraints=2961 14.08/14.13 c nbDecision=18000 #constraints=3002 14.58/14.66 c nbDecision=18500 #constraints=3138 14.98/15.08 c nbDecision=19000 #constraints=3179 15.49/15.52 c nbDecision=19500 #constraints=3233 15.99/16.07 c nbDecision=20000 #constraints=3337 16.49/16.53 c nbDecision=20500 #constraints=3401 16.99/17.01 c nbDecision=21000 #constraints=3480 17.39/17.48 c nbDecision=21500 #constraints=3547 17.89/17.91 c nbDecision=22000 #constraints=3572 18.29/18.35 c nbDecision=22500 #constraints=3613 18.79/18.81 c nbDecision=23000 #constraints=3677 19.29/19.35 c nbDecision=23500 #constraints=3763 19.79/19.80 c nbDecision=24000 #constraints=3826 20.29/20.31 c nbDecision=24500 #constraints=3874 20.79/20.82 c nbDecision=25000 #constraints=3942 21.19/21.27 c nbDecision=25500 #constraints=3982 21.39/21.42 c restart after 25601 decisions 21.69/21.74 c nbDecision=26000 #constraints=4008 22.09/22.14 c nbDecision=26500 #constraints=4044 22.49/22.57 c nbDecision=27000 #constraints=4104 23.09/23.14 c nbDecision=27500 #constraints=4194 23.59/23.62 c nbDecision=28000 #constraints=4244 24.09/24.12 c nbDecision=28500 #constraints=4300 24.59/24.64 c nbDecision=29000 #constraints=4357 25.08/25.15 c nbDecision=29500 #constraints=4402 25.59/25.64 c nbDecision=30000 #constraints=4443 26.09/26.17 c nbDecision=30500 #constraints=4530 26.68/26.70 c nbDecision=31000 #constraints=4600 27.08/27.12 c nbDecision=31500 #constraints=4617 27.59/27.61 c nbDecision=32000 #constraints=4673 28.08/28.10 c nbDecision=32500 #constraints=4721 28.69/28.70 c nbDecision=33000 #constraints=4793 29.08/29.18 c nbDecision=33500 #constraints=4824 29.69/29.75 c nbDecision=34000 #constraints=4903 30.18/30.28 c nbDecision=34500 #constraints=4953 30.68/30.79 c nbDecision=35000 #constraints=4993 31.38/31.44 c nbDecision=35500 #constraints=5086 31.89/31.93 c nbDecision=36000 #constraints=5107 32.38/32.46 c nbDecision=36500 #constraints=5145 32.88/32.98 c nbDecision=37000 #constraints=5179 33.38/33.50 c nbDecision=37500 #constraints=5208 33.98/34.07 c nbDecision=38000 #constraints=5267 34.48/34.59 c nbDecision=38500 #constraints=5321 35.08/35.14 c nbDecision=39000 #constraints=5363 35.68/35.79 c nbDecision=39500 #constraints=5435 36.28/36.35 c nbDecision=40000 #constraints=5487 36.78/36.87 c nbDecision=40500 #constraints=5523 37.38/37.49 c nbDecision=41000 #constraints=5591 37.98/38.03 c nbDecision=41500 #constraints=5625 38.58/38.66 c nbDecision=42000 #constraints=5676 39.18/39.23 c nbDecision=42500 #constraints=5721 39.68/39.79 c nbDecision=43000 #constraints=5762 40.27/40.33 c nbDecision=43500 #constraints=5795 40.87/40.90 c nbDecision=44000 #constraints=5833 41.47/41.59 c nbDecision=44500 #constraints=5902 42.07/42.18 c nbDecision=45000 #constraints=5949 42.67/42.75 c nbDecision=45500 #constraints=5978 43.28/43.34 c nbDecision=46000 #constraints=6009 43.78/43.85 c nbDecision=46500 #constraints=6019 44.38/44.42 c nbDecision=47000 #constraints=6043 44.88/44.95 c nbDecision=47500 #constraints=6063 45.48/45.55 c nbDecision=48000 #constraints=6100 46.08/46.15 c nbDecision=48500 #constraints=6132 46.58/46.69 c nbDecision=49000 #constraints=6147 47.18/47.27 c nbDecision=49500 #constraints=6186 47.88/47.91 c nbDecision=50000 #constraints=6227 48.48/48.55 c nbDecision=50500 #constraints=6277 49.18/49.29 c nbDecision=51000 #constraints=6349 49.58/49.62 c restart after 51201 decisions 49.88/49.91 c nbDecision=51500 #constraints=6378 50.27/50.30 c nbDecision=52000 #constraints=6393 50.77/50.80 c nbDecision=52500 #constraints=6416 51.47/51.57 c nbDecision=53000 #constraints=6488 52.17/52.23 c nbDecision=53500 #constraints=6536 52.78/52.87 c nbDecision=54000 #constraints=6576 53.47/53.57 c nbDecision=54500 #constraints=6630 54.38/54.42 c nbDecision=55000 #constraints=6717 54.98/55.09 c nbDecision=55500 #constraints=6770 56.08/56.17 c nbDecision=56000 #constraints=6874 57.08/57.14 c nbDecision=56500 #constraints=6972 57.78/57.86 c nbDecision=57000 #constraints=7020 58.48/58.52 c nbDecision=57500 #constraints=7048 59.28/59.31 c nbDecision=58000 #constraints=7126 60.28/60.39 c nbDecision=58500 #constraints=7271 61.37/61.46 c nbDecision=59000 #constraints=7385 62.48/62.52 c nbDecision=59500 #constraints=7509 63.78/63.89 c nbDecision=60000 #constraints=7651 64.77/64.84 c nbDecision=60500 #constraints=7714 66.17/66.23 c nbDecision=61000 #constraints=7837 66.97/67.05 c nbDecision=61500 #constraints=7877 67.87/67.97 c nbDecision=62000 #constraints=7933 68.67/68.77 c nbDecision=62500 #constraints=7974 69.57/69.64 c nbDecision=63000 #constraints=8018 70.67/70.73 c nbDecision=63500 #constraints=8095 71.87/71.94 c nbDecision=64000 #constraints=8192 72.77/72.83 c nbDecision=64500 #constraints=8234 73.97/74.08 c nbDecision=65000 #constraints=8312 75.07/75.10 c nbDecision=65500 #constraints=8365 76.16/76.23 c nbDecision=66000 #constraints=8431 77.47/77.56 c nbDecision=66500 #constraints=8530 78.57/78.60 c nbDecision=67000 #constraints=8606 79.77/79.81 c nbDecision=67500 #constraints=8673 80.67/80.79 c nbDecision=68000 #constraints=8736 81.57/81.68 c nbDecision=68500 #constraints=8778 82.87/82.91 c nbDecision=69000 #constraints=8853 84.07/84.13 c nbDecision=69500 #constraints=8943 85.67/85.72 c nbDecision=70000 #constraints=9010 86.77/86.83 c nbDecision=70500 #constraints=9054 87.97/88.01 c nbDecision=71000 #constraints=9246 88.76/88.81 c nbDecision=71500 #constraints=9286 90.67/90.72 c nbDecision=72000 #constraints=9472 92.17/92.24 c nbDecision=72500 #constraints=9571 94.26/94.37 c nbDecision=73000 #constraints=9726 95.67/95.75 c nbDecision=73500 #constraints=9798 96.87/96.92 c nbDecision=74000 #constraints=9853 98.06/98.12 c nbDecision=74500 #constraints=9903 99.56/99.68 c nbDecision=75000 #constraints=9983 100.86/100.97 c nbDecision=75500 #constraints=10040 102.27/102.35 c nbDecision=76000 #constraints=10079 103.76/103.83 c nbDecision=76500 #constraints=10127 105.36/105.46 c nbDecision=77000 #constraints=10218 106.86/106.96 c nbDecision=77500 #constraints=10290 109.56/109.69 c nbDecision=78000 #constraints=10458 110.56/110.63 c nbDecision=78500 #constraints=10485 111.76/111.85 c nbDecision=79000 #constraints=10520 112.96/113.02 c nbDecision=79500 #constraints=10570 114.46/114.51 c nbDecision=80000 #constraints=10643 115.66/115.71 c nbDecision=80500 #constraints=10692 116.96/117.06 c nbDecision=81000 #constraints=10746 118.56/118.61 c nbDecision=81500 #constraints=10821 119.76/119.83 c nbDecision=82000 #constraints=10840 120.66/120.75 c nbDecision=82500 #constraints=10844 121.86/121.93 c nbDecision=83000 #constraints=10863 123.16/123.28 c nbDecision=83500 #constraints=10917 124.16/124.23 c nbDecision=84000 #constraints=10930 125.65/125.72 c nbDecision=84500 #constraints=10982 126.85/126.90 c nbDecision=85000 #constraints=11004 127.75/127.87 c nbDecision=85500 #constraints=11024 129.05/129.11 c nbDecision=86000 #constraints=11053 130.46/130.54 c nbDecision=86500 #constraints=11108 131.76/131.85 c nbDecision=87000 #constraints=11144 134.75/134.88 c nbDecision=87500 #constraints=11221 136.36/136.41 c nbDecision=88000 #constraints=11279 137.15/137.29 c nbDecision=88500 #constraints=11297 138.95/139.02 c nbDecision=89000 #constraints=11342 140.35/140.45 c nbDecision=89500 #constraints=11412 142.75/142.80 c nbDecision=90000 #constraints=11535 144.45/144.58 c nbDecision=90500 #constraints=11597 146.26/146.36 c nbDecision=91000 #constraints=11646 148.25/148.30 c nbDecision=91500 #constraints=11705 149.65/149.73 c nbDecision=92000 #constraints=11751 151.45/151.54 c nbDecision=92500 #constraints=11800 153.75/153.87 c nbDecision=93000 #constraints=11904 155.85/155.93 c nbDecision=93500 #constraints=11962 157.15/157.23 c nbDecision=94000 #constraints=11986 158.45/158.57 c nbDecision=94500 #constraints=12026 160.94/161.02 c nbDecision=95000 #constraints=12119 162.04/162.16 c nbDecision=95500 #constraints=12130 163.25/163.31 c nbDecision=96000 #constraints=12147 164.84/164.95 c nbDecision=96500 #constraints=12182 165.94/166.10 c nbDecision=97000 #constraints=12217 167.04/167.19 c nbDecision=97500 #constraints=12250 169.34/169.42 c nbDecision=98000 #constraints=12302 170.84/170.90 c nbDecision=98500 #constraints=12338 172.74/172.89 c nbDecision=99000 #constraints=12386 174.14/174.24 c nbDecision=99500 #constraints=12399 175.04/175.13 c nbDecision=100000 #constraints=12406 176.15/176.20 c nbDecision=100500 #constraints=12433 177.54/177.60 c nbDecision=101000 #constraints=12476 179.54/179.64 c nbDecision=101500 #constraints=12552 181.64/181.72 c nbDecision=102000 #constraints=12604 184.34/184.49 c restart after 102401 decisions 184.94/185.07 c nbDecision=102500 #constraints=12701 185.54/185.61 c nbDecision=103000 #constraints=12728 186.44/186.59 c nbDecision=103500 #constraints=12763 188.04/188.17 c nbDecision=104000 #constraints=12822 188.93/189.09 c nbDecision=104500 #constraints=12835 191.03/191.12 c nbDecision=105000 #constraints=12922 192.84/192.99 c nbDecision=105500 #constraints=13012 195.64/195.78 c nbDecision=106000 #constraints=13077 198.54/198.62 c nbDecision=106500 #constraints=13145 202.34/202.42 c nbDecision=107000 #constraints=13256 202.73/202.88 c nbDecision=107500 #constraints=13272 205.23/205.33 c nbDecision=108000 #constraints=13346 207.54/207.68 c nbDecision=108500 #constraints=13464 208.84/208.93 c nbDecision=109000 #constraints=13503 210.64/210.74 c nbDecision=109500 #constraints=13561 213.04/213.10 c nbDecision=110000 #constraints=13607 214.93/215.06 c nbDecision=110500 #constraints=13671 217.63/217.72 c nbDecision=111000 #constraints=13750 219.83/219.94 c nbDecision=111500 #constraints=13810 222.23/222.31 c nbDecision=112000 #constraints=13867 225.33/225.50 c nbDecision=112500 #constraints=13950 228.22/228.31 c nbDecision=113000 #constraints=14008 231.82/231.97 c nbDecision=113500 #constraints=14069 234.33/234.50 c nbDecision=114000 #constraints=14123 237.62/237.79 c nbDecision=114500 #constraints=14197 239.62/239.71 c nbDecision=115000 #constraints=14246 242.52/242.60 c nbDecision=115500 #constraints=14308 245.53/245.67 c nbDecision=116000 #constraints=14389 247.23/247.39 c nbDecision=116500 #constraints=14411 250.62/250.78 c nbDecision=117000 #constraints=14479 252.82/252.93 c nbDecision=117500 #constraints=14547 255.72/255.88 c nbDecision=118000 #constraints=14626 258.62/258.79 c nbDecision=118500 #constraints=14698 260.52/260.66 c nbDecision=119000 #constraints=14747 263.62/263.72 c nbDecision=119500 #constraints=14786 265.92/266.07 c nbDecision=120000 #constraints=14850 268.61/268.75 c nbDecision=120500 #constraints=14894 271.41/271.53 c nbDecision=121000 #constraints=14948 273.51/273.63 c nbDecision=121500 #constraints=14993 276.81/276.92 c nbDecision=122000 #constraints=15058 279.82/279.94 c nbDecision=122500 #constraints=15117 282.12/282.22 c nbDecision=123000 #constraints=15166 285.01/285.11 c nbDecision=123500 #constraints=15204 287.31/287.41 c nbDecision=124000 #constraints=15252 289.71/289.84 c nbDecision=124500 #constraints=15298 292.62/292.78 c nbDecision=125000 #constraints=15337 295.61/295.72 c nbDecision=125500 #constraints=15392 297.91/298.02 c nbDecision=126000 #constraints=15434 301.21/301.32 c nbDecision=126500 #constraints=15496 303.90/304.03 c nbDecision=127000 #constraints=15554 306.30/306.47 c nbDecision=127500 #constraints=15618 309.40/309.51 c nbDecision=128000 #constraints=15671 311.90/312.04 c nbDecision=128500 #constraints=15703 313.90/314.02 c nbDecision=129000 #constraints=15745 316.81/316.97 c nbDecision=129500 #constraints=15822 319.61/319.71 c nbDecision=130000 #constraints=15876 322.00/322.17 c nbDecision=130500 #constraints=15938 325.10/325.27 c nbDecision=131000 #constraints=15983 328.10/328.24 c nbDecision=131500 #constraints=16035 330.40/330.52 c nbDecision=132000 #constraints=16065 332.90/333.06 c nbDecision=132500 #constraints=16080 336.19/336.33 c nbDecision=133000 #constraints=16151 338.29/338.43 c nbDecision=133500 #constraints=16175 341.29/341.42 c nbDecision=134000 #constraints=16228 343.49/343.65 c nbDecision=134500 #constraints=16264 345.29/345.47 c nbDecision=135000 #constraints=16304 348.69/348.90 c nbDecision=135500 #constraints=16399 350.89/351.02 c nbDecision=136000 #constraints=16415 353.70/353.88 c nbDecision=136500 #constraints=16474 355.69/355.85 c nbDecision=137000 #constraints=16500 358.50/358.65 c nbDecision=137500 #constraints=16525 359.99/360.19 c nbDecision=138000 #constraints=16536 362.29/362.48 c nbDecision=138500 #constraints=16571 365.20/365.39 c nbDecision=139000 #constraints=16605 368.19/368.33 c nbDecision=139500 #constraints=16647 369.99/370.16 c nbDecision=140000 #constraints=16672 372.49/372.60 c nbDecision=140500 #constraints=16702 374.69/374.88 c nbDecision=141000 #constraints=16739 377.09/377.28 c nbDecision=141500 #constraints=16777 379.28/379.42 c nbDecision=142000 #constraints=16802 380.98/381.19 c nbDecision=142500 #constraints=16836 383.38/383.57 c nbDecision=143000 #constraints=16865 385.78/385.93 c nbDecision=143500 #constraints=16891 388.28/388.49 c nbDecision=144000 #constraints=16959 390.38/390.57 c nbDecision=144500 #constraints=16989 392.98/393.18 c nbDecision=145000 #constraints=17050 395.17/395.38 c nbDecision=145500 #constraints=17066 397.37/397.59 c nbDecision=146000 #constraints=17096 399.28/399.48 c nbDecision=146500 #constraints=17124 402.07/402.23 c nbDecision=147000 #constraints=17174 404.68/404.88 c nbDecision=147500 #constraints=17220 406.57/406.76 c nbDecision=148000 #constraints=17251 409.07/409.23 c nbDecision=148500 #constraints=17279 411.47/411.63 c nbDecision=149000 #constraints=17306 413.67/413.86 c nbDecision=149500 #constraints=17347 415.57/415.70 c nbDecision=150000 #constraints=17365 418.06/418.22 c nbDecision=150500 #constraints=17387 420.26/420.47 c nbDecision=151000 #constraints=17411 422.86/423.08 c nbDecision=151500 #constraints=17463 424.97/425.16 c nbDecision=152000 #constraints=17499 427.47/427.61 c nbDecision=152500 #constraints=17522 429.97/430.14 c nbDecision=153000 #constraints=17552 431.67/431.81 c nbDecision=153500 #constraints=17563 433.97/434.17 c nbDecision=154000 #constraints=17593 436.26/436.41 c nbDecision=154500 #constraints=17603 438.86/439.09 c nbDecision=155000 #constraints=17655 441.66/441.85 c nbDecision=155500 #constraints=17732 443.66/443.86 c nbDecision=156000 #constraints=17762 445.96/446.19 c nbDecision=156500 #constraints=17783 448.16/448.39 c nbDecision=157000 #constraints=17800 450.97/451.12 c nbDecision=157500 #constraints=17859 453.26/453.49 c nbDecision=158000 #constraints=17910 455.66/455.83 c nbDecision=158500 #constraints=17932 457.86/458.08 c nbDecision=159000 #constraints=17947 460.36/460.50 c nbDecision=159500 #constraints=17982 462.36/462.53 c nbDecision=160000 #constraints=18013 464.95/465.11 c nbDecision=160500 #constraints=18054 467.55/467.75 c nbDecision=161000 #constraints=18106 469.55/469.76 c nbDecision=161500 #constraints=18168 472.56/472.73 c nbDecision=162000 #constraints=18230 475.16/475.30 c nbDecision=162500 #constraints=18274 477.45/477.68 c nbDecision=163000 #constraints=18293 479.25/479.45 c nbDecision=163500 #constraints=18318 481.45/481.60 c nbDecision=164000 #constraints=18333 483.96/484.11 c nbDecision=164500 #constraints=18363 486.25/486.45 c nbDecision=165000 #constraints=18384 488.55/488.73 c nbDecision=165500 #constraints=18431 491.15/491.37 c nbDecision=166000 #constraints=18462 493.75/493.91 c nbDecision=166500 #constraints=18498 496.25/496.40 c nbDecision=167000 #constraints=18529 498.25/498.41 c nbDecision=167500 #constraints=18564 501.04/501.21 c nbDecision=168000 #constraints=18606 504.24/504.44 c nbDecision=168500 #constraints=18669 507.24/507.47 c nbDecision=169000 #constraints=18742 509.64/509.80 c nbDecision=169500 #constraints=18776 512.13/512.36 c nbDecision=170000 #constraints=18794 514.44/514.67 c nbDecision=170500 #constraints=18802 516.44/516.63 c nbDecision=171000 #constraints=18826 518.54/518.70 c nbDecision=171500 #constraints=18854 520.24/520.43 c nbDecision=172000 #constraints=18861 522.04/522.25 c nbDecision=172500 #constraints=18877 523.84/524.08 c nbDecision=173000 #constraints=18894 525.84/526.09 c nbDecision=173500 #constraints=18922 527.54/527.78 c nbDecision=174000 #constraints=18938 529.74/529.98 c nbDecision=174500 #constraints=18969 531.73/531.93 c nbDecision=175000 #constraints=18990 533.53/533.79 c nbDecision=175500 #constraints=19012 535.23/535.41 c nbDecision=176000 #constraints=19019 537.03/537.29 c nbDecision=176500 #constraints=19025 539.43/539.61 c nbDecision=177000 #constraints=19051 541.43/541.68 c nbDecision=177500 #constraints=19069 544.63/544.87 c nbDecision=178000 #constraints=19117 547.63/547.85 c nbDecision=178500 #constraints=19154 550.52/550.71 c nbDecision=179000 #constraints=19189 553.42/553.60 c nbDecision=179500 #constraints=19237 555.52/555.70 c nbDecision=180000 #constraints=19263 558.32/558.60 c nbDecision=180500 #constraints=19293 561.12/561.39 c nbDecision=181000 #constraints=19319 564.02/564.28 c nbDecision=181500 #constraints=19383 566.52/566.70 c nbDecision=182000 #constraints=19422 568.83/569.03 c nbDecision=182500 #constraints=19441 571.73/571.95 c nbDecision=183000 #constraints=19480 574.22/574.44 c nbDecision=183500 #constraints=19531 577.62/577.87 c nbDecision=184000 #constraints=19576 581.32/581.51 c nbDecision=184500 #constraints=19646 583.72/583.92 c nbDecision=185000 #constraints=19657 585.82/586.03 c nbDecision=185500 #constraints=19672 588.82/589.01 c nbDecision=186000 #constraints=19719 591.41/591.65 c nbDecision=186500 #constraints=19741 593.31/593.60 c nbDecision=187000 #constraints=19766 596.12/596.35 c nbDecision=187500 #constraints=19785 598.81/599.09 c nbDecision=188000 #constraints=19803 601.61/601.85 c nbDecision=188500 #constraints=19831 604.01/604.21 c nbDecision=189000 #constraints=19873 606.71/606.97 c nbDecision=189500 #constraints=19893 609.51/609.71 c nbDecision=190000 #constraints=19918 612.62/612.83 c nbDecision=190500 #constraints=19958 615.61/615.80 c nbDecision=191000 #constraints=19999 617.91/618.14 c nbDecision=191500 #constraints=20026 620.11/620.39 c nbDecision=192000 #constraints=20051 622.11/622.39 c nbDecision=192500 #constraints=20067 624.81/625.09 c nbDecision=193000 #constraints=20110 627.60/627.80 c nbDecision=193500 #constraints=20142 629.50/629.70 c nbDecision=194000 #constraints=20153 632.20/632.40 c nbDecision=194500 #constraints=20176 635.10/635.30 c nbDecision=195000 #constraints=20210 637.90/638.17 c nbDecision=195500 #constraints=20242 640.80/641.03 c nbDecision=196000 #constraints=20272 643.00/643.24 c nbDecision=196500 #constraints=20293 645.80/646.07 c nbDecision=197000 #constraints=20322 648.60/648.80 c nbDecision=197500 #constraints=20346 652.29/652.57 c nbDecision=198000 #constraints=20400 654.19/654.47 c nbDecision=198500 #constraints=20403 657.49/657.77 c nbDecision=199000 #constraints=20442 660.49/660.75 c nbDecision=199500 #constraints=20475 662.99/663.26 c nbDecision=200000 #constraints=20497 665.19/665.49 c nbDecision=200500 #constraints=20517 667.49/667.77 c nbDecision=201000 #constraints=20541 670.30/670.59 c nbDecision=201500 #constraints=20587 674.49/674.70 c nbDecision=202000 #constraints=20651 677.29/677.51 c nbDecision=202500 #constraints=20669 680.19/680.49 c nbDecision=203000 #constraints=20709 683.49/683.73 c nbDecision=203500 #constraints=20753 685.99/686.24 c nbDecision=204000 #constraints=20789 689.39/689.68 c nbDecision=204500 #constraints=20829 691.28/691.56 c restart after 204801 decisions 692.58/692.80 c nbDecision=205000 #constraints=20856 693.18/693.47 c nbDecision=205500 #constraints=20880 694.38/694.62 c nbDecision=206000 #constraints=20894 698.08/698.37 c nbDecision=206500 #constraints=20957 702.28/702.52 c nbDecision=207000 #constraints=21072 705.28/705.57 c nbDecision=207500 #constraints=21177 709.08/709.30 c nbDecision=208000 #constraints=21249 712.28/712.54 c nbDecision=208500 #constraints=21325 715.88/716.16 c nbDecision=209000 #constraints=21429 718.68/718.93 c nbDecision=209500 #constraints=21475 721.67/721.96 c nbDecision=210000 #constraints=21526 725.07/725.33 c nbDecision=210500 #constraints=21597 727.37/727.60 c nbDecision=211000 #constraints=21661 730.47/730.74 c nbDecision=211500 #constraints=21733 732.97/733.23 c nbDecision=212000 #constraints=21783 736.18/736.43 c nbDecision=212500 #constraints=21861 739.17/739.42 c nbDecision=213000 #constraints=21948 741.57/741.87 c nbDecision=213500 #constraints=21997 744.77/745.04 c nbDecision=214000 #constraints=22057 747.07/747.30 c nbDecision=214500 #constraints=22088 749.37/749.61 c nbDecision=215000 #constraints=22127 752.36/752.64 c nbDecision=215500 #constraints=22187 755.26/755.51 c nbDecision=216000 #constraints=22245 757.66/757.99 c nbDecision=216500 #constraints=22282 760.86/761.11 c nbDecision=217000 #constraints=22357 763.46/763.77 c nbDecision=217500 #constraints=22408 765.96/766.29 c nbDecision=218000 #constraints=22460 769.05/769.32 c nbDecision=218500 #constraints=22495 772.16/772.47 c nbDecision=219000 #constraints=22559 774.66/774.93 c nbDecision=219500 #constraints=22591 776.96/777.29 c nbDecision=220000 #constraints=22621 780.66/780.96 c nbDecision=220500 #constraints=22693 783.06/783.40 c nbDecision=221000 #constraints=22724 785.35/785.68 c nbDecision=221500 #constraints=22752 788.15/788.40 c nbDecision=222000 #constraints=22781 790.65/790.94 c nbDecision=222500 #constraints=22821 793.15/793.46 c nbDecision=223000 #constraints=22847 796.05/796.37 c nbDecision=223500 #constraints=22882 798.35/798.68 c nbDecision=224000 #constraints=22902 800.95/801.27 c nbDecision=224500 #constraints=22928 803.54/803.88 c nbDecision=225000 #constraints=22947 806.44/806.72 c nbDecision=225500 #constraints=23013 809.24/809.54 c nbDecision=226000 #constraints=23064 812.15/812.50 c nbDecision=226500 #constraints=23130 814.85/815.11 c nbDecision=227000 #constraints=23172 817.34/817.63 c nbDecision=227500 #constraints=23204 820.35/820.63 c nbDecision=228000 #constraints=23236 823.65/823.97 c nbDecision=228500 #constraints=23290 826.14/826.49 c nbDecision=229000 #constraints=23321 828.54/828.87 c nbDecision=229500 #constraints=23352 832.34/832.61 c nbDecision=230000 #constraints=23424 834.64/834.99 c nbDecision=230500 #constraints=23444 837.43/837.76 c nbDecision=231000 #constraints=23487 839.93/840.20 c nbDecision=231500 #constraints=23508 842.53/842.81 c nbDecision=232000 #constraints=23547 845.64/845.90 c nbDecision=232500 #constraints=23583 848.04/848.36 c nbDecision=233000 #constraints=23599 850.44/850.76 c nbDecision=233500 #constraints=23628 853.24/853.50 c nbDecision=234000 #constraints=23637 855.64/855.98 c nbDecision=234500 #constraints=23661 858.53/858.87 c nbDecision=235000 #constraints=23682 860.93/861.25 c nbDecision=235500 #constraints=23704 863.43/863.70 c nbDecision=236000 #constraints=23726 866.13/866.45 c nbDecision=236500 #constraints=23743 868.63/868.94 c nbDecision=237000 #constraints=23759 871.93/872.26 c nbDecision=237500 #constraints=23806 874.63/874.95 c nbDecision=238000 #constraints=23832 877.42/877.72 c nbDecision=238500 #constraints=23842 880.12/880.40 c nbDecision=239000 #constraints=23864 882.52/882.83 c nbDecision=239500 #constraints=23883 885.33/885.67 c nbDecision=240000 #constraints=23903 888.12/888.41 c nbDecision=240500 #constraints=23941 890.42/890.80 c nbDecision=241000 #constraints=23957 893.72/894.08 c nbDecision=241500 #constraints=24010 896.62/896.93 c nbDecision=242000 #constraints=24022 899.31/899.65 c nbDecision=242500 #constraints=24067 902.01/902.36 c nbDecision=243000 #constraints=24098 904.81/905.15 c nbDecision=243500 #constraints=24113 907.51/907.81 c nbDecision=244000 #constraints=24146 910.11/910.47 c nbDecision=244500 #constraints=24173 912.81/913.17 c nbDecision=245000 #constraints=24201 915.71/916.08 c nbDecision=245500 #constraints=24217 918.61/918.96 c nbDecision=246000 #constraints=24263 921.20/921.52 c nbDecision=246500 #constraints=24283 924.00/924.39 c nbDecision=247000 #constraints=24294 926.80/927.16 c nbDecision=247500 #constraints=24328 929.61/929.99 c nbDecision=248000 #constraints=24348 932.81/933.16 c nbDecision=248500 #constraints=24399 936.11/936.46 c nbDecision=249000 #constraints=24447 939.11/939.41 c nbDecision=249500 #constraints=24481 942.30/942.60 c nbDecision=250000 #constraints=24512 945.10/945.48 c nbDecision=250500 #constraints=24539 947.80/948.18 c nbDecision=251000 #constraints=24559 950.50/950.87 c nbDecision=251500 #constraints=24583 953.60/953.98 c nbDecision=252000 #constraints=24611 956.20/956.54 c nbDecision=252500 #constraints=24629 958.80/959.20 c nbDecision=253000 #constraints=24645 961.50/961.82 c nbDecision=253500 #constraints=24661 964.70/965.06 c nbDecision=254000 #constraints=24684 967.50/967.81 c nbDecision=254500 #constraints=24707 970.19/970.53 c nbDecision=255000 #constraints=24731 973.39/973.77 c nbDecision=255500 #constraints=24749 976.19/976.52 c nbDecision=256000 #constraints=24776 978.79/979.12 c nbDecision=256500 #constraints=24797 981.89/982.25 c nbDecision=257000 #constraints=24814 984.59/984.96 c nbDecision=257500 #constraints=24837 987.18/987.57 c nbDecision=258000 #constraints=24854 990.28/990.68 c nbDecision=258500 #constraints=24874 993.00/993.33 c nbDecision=259000 #constraints=24888 996.09/996.47 c nbDecision=259500 #constraints=24913 998.79/999.19 c nbDecision=260000 #constraints=24939 1001.39/1001.80 c nbDecision=260500 #constraints=24956 1004.79/1005.20 c nbDecision=261000 #constraints=24975 1007.08/1007.41 c nbDecision=261500 #constraints=25001 1010.38/1010.70 c nbDecision=262000 #constraints=25093 1012.78/1013.14 c nbDecision=262500 #constraints=25152 1016.88/1017.29 c nbDecision=263000 #constraints=25205 1022.97/1023.37 c nbDecision=263500 #constraints=25259 1025.98/1026.38 c nbDecision=264000 #constraints=25292 1033.18/1033.60 c nbDecision=264500 #constraints=25398 1037.78/1038.16 c nbDecision=265000 #constraints=25482 1044.68/1045.02 c nbDecision=265500 #constraints=25586 1048.27/1048.61 c nbDecision=266000 #constraints=25643 1053.17/1053.50 c nbDecision=266500 #constraints=25735 1056.67/1057.00 c nbDecision=267000 #constraints=25781 1062.27/1062.62 c nbDecision=267500 #constraints=25870 1066.97/1067.31 c nbDecision=268000 #constraints=25945 1070.97/1071.31 c nbDecision=268500 #constraints=25994 1073.27/1073.63 c nbDecision=269000 #constraints=26012 1076.36/1076.77 c nbDecision=269500 #constraints=26040 1079.36/1079.76 c nbDecision=270000 #constraints=26079 1082.46/1082.89 c nbDecision=270500 #constraints=26137 1085.46/1085.89 c nbDecision=271000 #constraints=26155 1089.46/1089.87 c nbDecision=271500 #constraints=26217 1093.66/1094.09 c nbDecision=272000 #constraints=26258 1098.96/1099.31 c nbDecision=272500 #constraints=26336 1104.55/1104.94 c nbDecision=273000 #constraints=26424 1107.65/1108.02 c nbDecision=273500 #constraints=26459 1110.25/1110.60 c nbDecision=274000 #constraints=26475 1113.05/1113.44 c nbDecision=274500 #constraints=26508 1115.95/1116.34 c nbDecision=275000 #constraints=26543 1120.15/1120.54 c nbDecision=275500 #constraints=26589 1124.15/1124.56 c nbDecision=276000 #constraints=26635 1126.75/1127.18 c nbDecision=276500 #constraints=26659 1130.15/1130.50 c nbDecision=277000 #constraints=26693 1132.75/1133.17 c nbDecision=277500 #constraints=26701 1135.55/1135.91 c nbDecision=278000 #constraints=26709 1138.54/1138.91 c nbDecision=278500 #constraints=26749 1141.84/1142.29 c nbDecision=279000 #constraints=26785 1144.94/1145.39 c nbDecision=279500 #constraints=26840 1147.94/1148.38 c nbDecision=280000 #constraints=26863 1150.54/1150.93 c nbDecision=280500 #constraints=26876 1153.44/1153.82 c nbDecision=281000 #constraints=26900 1156.13/1156.59 c nbDecision=281500 #constraints=26942 1159.33/1159.71 c nbDecision=282000 #constraints=26968 1162.24/1162.63 c nbDecision=282500 #constraints=26998 1165.54/1165.92 c nbDecision=283000 #constraints=27042 1168.74/1169.11 c nbDecision=283500 #constraints=27068 1171.44/1171.81 c nbDecision=284000 #constraints=27082 1174.13/1174.57 c nbDecision=284500 #constraints=27101 1177.13/1177.55 c nbDecision=285000 #constraints=27147 1180.23/1180.60 c nbDecision=285500 #constraints=27161 1183.23/1183.64 c nbDecision=286000 #constraints=27178 1186.03/1186.47 c nbDecision=286500 #constraints=27199 1189.43/1189.82 c nbDecision=287000 #constraints=27226 1193.13/1193.57 c nbDecision=287500 #constraints=27291 1197.82/1198.21 c nbDecision=288000 #constraints=27348 1202.22/1202.63 c nbDecision=288500 #constraints=27403 1207.72/1208.11 c nbDecision=289000 #constraints=27463 1211.93/1212.34 c nbDecision=289500 #constraints=27515 1216.23/1216.64 c nbDecision=290000 #constraints=27560 1219.52/1219.91 c nbDecision=290500 #constraints=27590 1223.02/1223.46 c nbDecision=291000 #constraints=27634 1228.92/1229.35 c nbDecision=291500 #constraints=27713 1235.01/1235.41 c nbDecision=292000 #constraints=27780 1238.11/1238.56 c nbDecision=292500 #constraints=27806 1243.01/1243.41 c nbDecision=293000 #constraints=27866 1248.81/1249.23 c nbDecision=293500 #constraints=27929 1253.01/1253.46 c nbDecision=294000 #constraints=27968 1256.61/1257.07 c nbDecision=294500 #constraints=27990 1260.31/1260.70 c nbDecision=295000 #constraints=28030 1264.01/1264.41 c nbDecision=295500 #constraints=28053 1267.61/1268.01 c nbDecision=296000 #constraints=28088 1270.81/1271.24 c nbDecision=296500 #constraints=28128 1274.40/1274.90 c nbDecision=297000 #constraints=28186 1279.00/1279.47 c nbDecision=297500 #constraints=28245 1285.60/1286.04 c nbDecision=298000 #constraints=28324 1291.20/1291.65 c nbDecision=298500 #constraints=28393 1296.30/1296.71 c nbDecision=299000 #constraints=28462 1302.20/1302.60 c nbDecision=299500 #constraints=28529 1304.99/1305.49 c nbDecision=300000 #constraints=28556 1312.19/1312.64 c nbDecision=300500 #constraints=28641 1317.79/1318.25 c nbDecision=301000 #constraints=28721 1324.49/1324.92 c nbDecision=301500 #constraints=28829 1329.68/1330.19 c nbDecision=302000 #constraints=28870 1332.58/1333.01 c nbDecision=302500 #constraints=28880 1335.99/1336.43 c nbDecision=303000 #constraints=28920 1340.59/1341.02 c nbDecision=303500 #constraints=28974 1343.48/1343.94 c nbDecision=304000 #constraints=28993 1348.68/1349.13 c nbDecision=304500 #constraints=29044 1351.38/1351.84 c nbDecision=305000 #constraints=29062 1356.48/1356.90 c nbDecision=305500 #constraints=29102 1362.58/1363.09 c nbDecision=306000 #constraints=29173 1370.17/1370.69 c nbDecision=306500 #constraints=29270 1376.78/1377.27 c nbDecision=307000 #constraints=29338 1381.67/1382.10 c nbDecision=307500 #constraints=29382 1384.67/1385.16 c nbDecision=308000 #constraints=29400 1389.37/1389.85 c nbDecision=308500 #constraints=29460 1391.97/1392.49 c nbDecision=309000 #constraints=29464 1397.27/1397.73 c nbDecision=309500 #constraints=29527 1401.56/1402.09 c nbDecision=310000 #constraints=29556 1404.86/1405.31 c nbDecision=310500 #constraints=29582 1408.77/1409.24 c nbDecision=311000 #constraints=29619 1412.56/1413.01 c nbDecision=311500 #constraints=29650 1418.25/1418.77 c nbDecision=312000 #constraints=29704 1421.15/1421.70 c nbDecision=312500 #constraints=29715 1424.65/1425.18 c nbDecision=313000 #constraints=29754 1428.56/1429.02 c nbDecision=313500 #constraints=29784 1431.95/1432.41 c nbDecision=314000 #constraints=29813 1435.56/1436.01 c nbDecision=314500 #constraints=29844 1438.96/1439.40 c nbDecision=315000 #constraints=29866 1442.06/1442.59 c nbDecision=315500 #constraints=29881 1445.46/1445.96 c nbDecision=316000 #constraints=29898 1448.65/1449.15 c nbDecision=316500 #constraints=29917 1452.35/1452.88 c nbDecision=317000 #constraints=29948 1455.35/1455.80 c nbDecision=317500 #constraints=29960 1458.55/1459.04 c nbDecision=318000 #constraints=29982 1461.25/1461.79 c nbDecision=318500 #constraints=30007 1465.95/1466.44 c nbDecision=319000 #constraints=30057 1469.34/1469.84 c nbDecision=319500 #constraints=30087 1473.34/1473.90 c nbDecision=320000 #constraints=30127 1476.54/1477.05 c nbDecision=320500 #constraints=30156 1479.75/1480.24 c nbDecision=321000 #constraints=30182 1482.55/1483.08 c nbDecision=321500 #constraints=30193 1488.34/1488.85 c nbDecision=322000 #constraints=30243 1492.14/1492.67 c nbDecision=322500 #constraints=30291 1495.64/1496.16 c nbDecision=323000 #constraints=30313 1499.64/1500.18 c nbDecision=323500 #constraints=30343 1502.73/1503.30 c nbDecision=324000 #constraints=30359 1506.83/1507.30 c nbDecision=324500 #constraints=30388 1510.53/1511.00 c nbDecision=325000 #constraints=30432 1513.53/1514.02 c nbDecision=325500 #constraints=30445 1516.83/1517.36 c nbDecision=326000 #constraints=30462 1520.23/1520.76 c nbDecision=326500 #constraints=30489 1523.63/1524.17 c nbDecision=327000 #constraints=30513 1526.92/1527.42 c nbDecision=327500 #constraints=30535 1529.82/1530.31 c nbDecision=328000 #constraints=30547 1533.92/1534.50 c nbDecision=328500 #constraints=30585 1537.12/1537.66 c nbDecision=329000 #constraints=30600 1541.02/1541.58 c nbDecision=329500 #constraints=30620 1550.53/1551.10 c nbDecision=330000 #constraints=30704 1554.62/1555.17 c nbDecision=330500 #constraints=30736 1557.72/1558.21 c nbDecision=331000 #constraints=30751 1560.72/1561.25 c nbDecision=331500 #constraints=30762 1564.22/1564.73 c nbDecision=332000 #constraints=30782 1568.12/1568.68 c nbDecision=332500 #constraints=30809 1571.82/1572.31 c nbDecision=333000 #constraints=30821 1574.91/1575.48 c nbDecision=333500 #constraints=30836 1579.12/1579.62 c nbDecision=334000 #constraints=30873 1582.21/1582.73 c nbDecision=334500 #constraints=30898 1586.51/1587.02 c nbDecision=335000 #constraints=30918 1589.91/1590.44 c nbDecision=335500 #constraints=30946 1593.10/1593.60 c nbDecision=336000 #constraints=30970 1596.60/1597.19 c nbDecision=336500 #constraints=30999 1601.20/1601.73 c nbDecision=337000 #constraints=31031 1605.30/1605.87 c nbDecision=337500 #constraints=31082 1608.70/1609.23 c nbDecision=338000 #constraints=31098 1613.20/1613.72 c nbDecision=338500 #constraints=31147 1616.90/1617.41 c nbDecision=339000 #constraints=31178 1621.00/1621.54 c nbDecision=339500 #constraints=31209 1624.20/1624.75 c nbDecision=340000 #constraints=31229 1628.39/1628.95 c nbDecision=340500 #constraints=31280 1632.19/1632.70 c nbDecision=341000 #constraints=31302 1635.90/1636.47 c nbDecision=341500 #constraints=31321 1640.30/1640.81 c nbDecision=342000 #constraints=31372 1648.29/1648.83 c nbDecision=342500 #constraints=31460 1652.79/1653.33 c nbDecision=343000 #constraints=31524 1659.78/1660.35 c nbDecision=343500 #constraints=31597 1664.08/1664.62 c nbDecision=344000 #constraints=31646 1671.39/1671.94 c nbDecision=344500 #constraints=31721 1673.89/1674.44 c nbDecision=345000 #constraints=31727 1682.28/1682.82 c nbDecision=345500 #constraints=31824 1687.08/1687.63 c nbDecision=346000 #constraints=31884 1691.08/1691.70 c nbDecision=346500 #constraints=31905 1695.98/1696.59 c nbDecision=347000 #constraints=31966 1699.68/1700.28 c nbDecision=347500 #constraints=31980 1708.07/1708.64 c nbDecision=348000 #constraints=32058 1711.37/1711.91 c nbDecision=348500 #constraints=32078 1714.57/1715.12 c nbDecision=349000 #constraints=32091 1719.97/1720.54 c nbDecision=349500 #constraints=32142 1728.07/1728.66 c nbDecision=350000 #constraints=32225 1733.77/1734.30 c nbDecision=350500 #constraints=32266 1737.47/1738.01 c nbDecision=351000 #constraints=32288 1743.76/1744.39 c nbDecision=351500 #constraints=32333 1751.16/1751.72 c nbDecision=352000 #constraints=32389 1754.56/1755.10 c nbDecision=352500 #constraints=32408 1757.86/1758.46 c nbDecision=353000 #constraints=32423 1765.36/1765.91 c nbDecision=353500 #constraints=32485 1770.66/1771.25 c nbDecision=354000 #constraints=32530 1774.26/1774.89 c nbDecision=354500 #constraints=32568 1782.25/1782.80 c nbDecision=355000 #constraints=32643 1786.35/1787.00 c nbDecision=355500 #constraints=32670 1799.15/1799.77 c nbDecision=356000 #constraints=32774 1800.05/1800.60 Received signal 15 1800.34/1800.98 1800.34/1800.98 s UNKNOWN 1800.34/1800.98 1800.34/1800.98 c user time= 1799.94 s 1800.34/1800.98 c system time= 0.498924 s 1800.34/1800.98 c wall clock time=1800.98
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node7/watcher-356940-1176848916 -o ROOT/results/node7/solver-356940-1176848916 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356940-1176848916/instance-356940-1176848916.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 2/77 19019 /proc/meminfo: memFree=1820464/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=1468 CPUtime=0 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 160929276 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 367 162 128 317 0 46 0 [startup+0.103413 s] /proc/loadavg: 0.92 0.98 0.99 2/77 19019 /proc/meminfo: memFree=1820464/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=3456 CPUtime=0.1 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 683 0 0 0 10 0 0 0 18 0 1 0 160929276 3538944 665 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 864 665 131 317 0 543 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3456 [startup+0.202424 s] /proc/loadavg: 0.92 0.98 0.99 2/77 19019 /proc/meminfo: memFree=1820464/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=5848 CPUtime=0.19 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 1281 0 0 0 19 0 0 0 19 0 1 0 160929276 5988352 1263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 1462 1263 131 317 0 1141 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5848 [startup+0.302434 s] /proc/loadavg: 0.92 0.98 0.99 2/77 19019 /proc/meminfo: memFree=1820464/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=8240 CPUtime=0.29 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 1862 0 0 0 29 0 0 0 19 0 1 0 160929276 8437760 1844 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 2060 1844 131 317 0 1739 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8240 [startup+0.702476 s] /proc/loadavg: 0.92 0.98 0.99 2/77 19019 /proc/meminfo: memFree=1820464/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=13460 CPUtime=0.69 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 3194 0 0 0 68 1 0 0 23 0 1 0 160929276 13783040 3176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385264 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 3365 3176 138 317 0 3044 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13460 [startup+1.50156 s] /proc/loadavg: 0.92 0.98 0.99 2/78 19020 /proc/meminfo: memFree=1808360/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=13636 CPUtime=1.49 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 3211 0 0 0 148 1 0 0 25 0 1 0 160929276 13963264 3193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 3409 3193 139 317 0 3088 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13636 [startup+3.10173 s] /proc/loadavg: 0.92 0.98 0.99 3/78 19020 /proc/meminfo: memFree=1808040/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=14156 CPUtime=3.09 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 3375 0 0 0 308 1 0 0 25 0 1 0 160929276 14495744 3357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 3539 3357 170 317 0 3218 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14156 [startup+6.30106 s] /proc/loadavg: 0.93 0.98 0.99 2/78 19020 /proc/meminfo: memFree=1806440/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=15740 CPUtime=6.29 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 3769 0 0 0 628 1 0 0 25 0 1 0 160929276 16117760 3751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385209 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 3935 3751 170 317 0 3614 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15740 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.99 2/78 19020 /proc/meminfo: memFree=1802152/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=19716 CPUtime=12.69 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 4782 0 0 0 1267 2 0 0 25 0 1 0 160929276 20189184 4764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385343 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 4929 4764 170 317 0 4608 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19716 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/78 19020 /proc/meminfo: memFree=1794664/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=27064 CPUtime=25.48 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 6595 0 0 0 2545 3 0 0 25 0 1 0 160929276 27713536 6577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385274 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 6766 6577 170 317 0 6445 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27064 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/78 19020 /proc/meminfo: memFree=1785896/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=35904 CPUtime=51.07 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 8800 0 0 0 5103 4 0 0 25 0 1 0 160929276 36765696 8782 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385274 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 8976 8782 170 317 0 8655 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 35904 [startup+102.301 s] /proc/loadavg: 0.98 0.98 0.99 2/78 19020 /proc/meminfo: memFree=1761768/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=60960 CPUtime=102.27 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 14828 0 0 0 10219 8 0 0 25 0 1 0 160929276 62423040 14752 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 15240 14752 170 317 0 14919 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 60960 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19021 /proc/meminfo: memFree=1746152/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=77668 CPUtime=162.24 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 18723 0 0 0 16212 12 0 0 25 0 1 0 160929276 79532032 18647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 19417 18647 170 317 0 19096 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 77668 [startup+222.306 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19022 /proc/meminfo: memFree=1736296/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=87748 CPUtime=222.23 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 21176 0 0 0 22208 15 0 0 25 0 1 0 160929276 89853952 21100 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 21937 21100 170 317 0 21616 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 87748 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19022 /proc/meminfo: memFree=1729896/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=94068 CPUtime=282.22 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 22786 0 0 0 28205 17 0 0 25 0 1 0 160929276 96325632 22710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 23517 22710 170 317 0 23196 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 94068 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19022 /proc/meminfo: memFree=1724008/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=100084 CPUtime=342.19 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 24227 0 0 0 34201 18 0 0 25 0 1 0 160929276 102486016 24151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 25021 24151 170 317 0 24700 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 100084 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19022 /proc/meminfo: memFree=1719272/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=105432 CPUtime=402.17 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 25532 0 0 0 40198 19 0 0 25 0 1 0 160929276 107962368 25342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 26358 25342 170 317 0 26037 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 105432 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19022 /proc/meminfo: memFree=1714856/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=109964 CPUtime=462.15 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 26632 0 0 0 46194 21 0 0 25 0 1 0 160929276 112603136 26442 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 27491 26442 170 317 0 27170 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 109964 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19022 /proc/meminfo: memFree=1710760/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=114456 CPUtime=522.14 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 27664 0 0 0 52191 23 0 0 25 0 1 0 160929276 117202944 27474 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 28614 27474 170 317 0 28293 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 114456 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19022 /proc/meminfo: memFree=1706920/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=118448 CPUtime=582.12 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 28617 0 0 0 58188 24 0 0 25 0 1 0 160929276 121290752 28427 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 29612 28427 170 317 0 29291 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 118448 [startup+642.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19022 /proc/meminfo: memFree=1703720/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=122244 CPUtime=642.1 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 29412 0 0 0 64185 25 0 0 25 0 1 0 160929276 125177856 29222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 30561 29222 170 317 0 30240 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 122244 ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19022 /proc/meminfo: memFree=1677800/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=148276 CPUtime=1001.99 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 35855 0 0 0 100166 33 0 0 25 0 1 0 160929276 151834624 35665 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 37069 35665 170 317 0 36748 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 148276 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19022 /proc/meminfo: memFree=1670376/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=155940 CPUtime=1061.97 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 37728 0 0 0 106163 34 0 0 25 0 1 0 160929276 159682560 37538 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 38985 37538 170 317 0 38664 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 155940 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19022 /proc/meminfo: memFree=1664552/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=162112 CPUtime=1121.95 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 39195 0 0 0 112159 36 0 0 25 0 1 0 160929276 166002688 39005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 40528 39005 170 317 0 40207 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 162112 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19022 /proc/meminfo: memFree=1660776/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=166232 CPUtime=1181.93 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 40111 0 0 0 118156 37 0 0 25 0 1 0 160929276 170221568 39921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 41558 39921 170 317 0 41237 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 166232 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19022 /proc/meminfo: memFree=1655336/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=172968 CPUtime=1241.91 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 41455 0 0 0 124153 38 0 0 25 0 1 0 160929276 177119232 41265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 43242 41265 170 317 0 42921 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 172968 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19022 /proc/meminfo: memFree=1650024/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=178660 CPUtime=1301.9 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 42788 0 0 0 130150 40 0 0 25 0 1 0 160929276 182947840 42598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 44665 42598 170 317 0 44344 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 178660 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19022 /proc/meminfo: memFree=1644776/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=183712 CPUtime=1361.87 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 44071 0 0 0 136146 41 0 0 25 0 1 0 160929276 188121088 43881 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 45928 43881 170 317 0 45607 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 183712 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19022 /proc/meminfo: memFree=1639976/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=188760 CPUtime=1421.86 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 45246 0 0 0 142144 42 0 0 25 0 1 0 160929276 193290240 45056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 47190 45056 170 317 0 46869 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 188760 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19022 /proc/meminfo: memFree=1636072/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=193608 CPUtime=1481.85 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 46237 0 0 0 148141 44 0 0 25 0 1 0 160929276 198254592 46047 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 48402 46047 170 317 0 48081 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 193608 [startup+1542.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19022 /proc/meminfo: memFree=1632424/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=197840 CPUtime=1541.83 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 47157 0 0 0 154138 45 0 0 25 0 1 0 160929276 202588160 46967 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 49460 46967 170 317 0 49139 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 197840 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19022 /proc/meminfo: memFree=1629032/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=201268 CPUtime=1601.8 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 47996 0 0 0 160135 45 0 0 25 0 1 0 160929276 206098432 47806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 50317 47806 170 317 0 49996 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 201268 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19022 /proc/meminfo: memFree=1624744/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=205672 CPUtime=1661.78 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 49067 0 0 0 166132 46 0 0 25 0 1 0 160929276 210608128 48877 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 51418 48877 170 317 0 51097 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 205672 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19022 /proc/meminfo: memFree=1620200/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=210944 CPUtime=1721.77 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 50212 0 0 0 172129 48 0 0 25 0 1 0 160929276 216006656 50022 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 52736 50022 170 317 0 52415 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 210944 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19022 /proc/meminfo: memFree=1615912/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=214888 CPUtime=1781.75 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 51253 0 0 0 178126 49 0 0 25 0 1 0 160929276 220045312 51063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 53722 51063 170 317 0 53401 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 214888 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19022 /proc/meminfo: memFree=1614696/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=216260 CPUtime=1800.05 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 51585 0 0 0 179956 49 0 0 25 0 1 0 160929276 221450240 51362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 54065 51362 170 317 0 53744 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 216260 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/79 19023 /proc/meminfo: memFree=1614688/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=216260 CPUtime=1800.15 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 51585 0 0 0 179966 49 0 0 25 0 1 0 160929276 221450240 51362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 54065 51362 170 317 0 53744 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 216260 [startup+1800.9 s] /proc/loadavg: 0.99 0.98 0.99 2/79 19023 /proc/meminfo: memFree=1614688/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=216260 CPUtime=1800.34 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194304 51585 0 0 0 179985 49 0 0 25 0 1 0 160929276 221450240 51362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 54065 51362 170 317 0 53744 0 Current children cumulated CPU time (s) 1800.34 Current children cumulated vsize (KiB) 216260 [startup+1801 s] /proc/loadavg: 0.99 0.98 0.99 2/79 19023 /proc/meminfo: memFree=1614688/2055920 swapFree=4149980/4192956 [pid=19019] ppid=19017 vsize=0 CPUtime=1800.45 /proc/19019/stat : 19019 (oree) R 19017 19019 18306 0 -1 4194308 51601 0 0 0 179995 50 0 0 25 0 1 0 160929276 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19019/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.45 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.03 CPU time (s): 1800.49 CPU user time (s): 1799.95 CPU system time (s): 0.531919 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (KiB): 216260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.95 system time used= 0.531919 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51601 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= 2172 runsolver used 2.07368 second user time and 4.48032 second system time The end
Begin job on node7 on Tue Apr 17 22:28:37 UTC 2007 IDJOB= 356940 IDBENCH= 1664 IDSOLVER= 172 FILE ID= node7/356940-1176848916 PBS_JOBID= 4590182 Free space on /tmp= 66365 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-grow15.opb COMMAND LINE= oree /tmp/evaluation/356940-1176848916/instance-356940-1176848916.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-356940-1176848916 -o ROOT/results/node7/solver-356940-1176848916 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356940-1176848916/instance-356940-1176848916.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 85af08260bc54f31465e48eb0563bdd8 RANDOM SEED= 20141322 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node7.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.231 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.231 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: 1820936 kB Buffers: 37972 kB Cached: 121024 kB SwapCached: 23652 kB Active: 76752 kB Inactive: 115884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1820936 kB SwapTotal: 4192956 kB SwapFree: 4149980 kB Dirty: 2380 kB Writeback: 0 kB Mapped: 30220 kB Slab: 27732 kB Committed_AS: 7066684 kB PageTables: 1860 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= 66365 MiB End job on node7 on Tue Apr 17 22:58:39 UTC 2007