Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.17 | 1800.8 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-greenbeb.opb |
MD5SUM | 7808a83c255339d45cbd36765fa322a9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 155020 |
Total number of constraints | 2675 |
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 | 2675 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 7172 |
Number of terms in the objective function | 14882 |
Biggest coefficient in the objective function | 22533 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 536862 |
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 | 536862 |
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... 2.89/2.96 c ...done 2.89/2.96 c #vars=155020 #constraints=4868 hasObjective=yes 3.69/3.74 c res. mode=mod 3.69/3.74 c VSIDS like heuristics 3.69/3.74 c complete search running 6.09/6.20 c restart after 401 decisions 6.49/6.59 c nbDecision=500 #constraints=4964 8.09/8.10 c restart after 801 decisions 8.99/9.04 c nbDecision=1000 #constraints=5171 11.29/11.31 c nbDecision=1500 #constraints=5264 11.69/11.77 c restart after 1601 decisions 13.49/13.58 c nbDecision=2000 #constraints=5348 15.88/15.90 c nbDecision=2500 #constraints=5444 18.28/18.33 c nbDecision=3000 #constraints=5565 19.18/19.28 c restart after 3201 decisions 20.58/20.64 c nbDecision=3500 #constraints=5638 22.89/22.95 c nbDecision=4000 #constraints=5697 25.29/25.32 c nbDecision=4500 #constraints=5784 27.58/27.66 c nbDecision=5000 #constraints=5836 29.98/30.03 c nbDecision=5500 #constraints=5915 32.38/32.44 c nbDecision=6000 #constraints=6015 34.38/34.40 c restart after 6401 decisions 34.68/34.79 c nbDecision=6500 #constraints=6099 37.07/37.13 c nbDecision=7000 #constraints=6173 39.48/39.52 c nbDecision=7500 #constraints=6258 41.77/41.87 c nbDecision=8000 #constraints=6331 44.17/44.25 c nbDecision=8500 #constraints=6415 46.57/46.63 c nbDecision=9000 #constraints=6489 48.97/49.04 c nbDecision=9500 #constraints=6580 51.26/51.38 c nbDecision=10000 #constraints=6613 53.66/53.77 c nbDecision=10500 #constraints=6685 55.97/56.10 c nbDecision=11000 #constraints=6741 58.46/58.56 c nbDecision=11500 #constraints=6845 60.86/60.93 c nbDecision=12000 #constraints=6916 63.16/63.25 c nbDecision=12500 #constraints=6956 64.56/64.68 c restart after 12801 decisions 65.46/65.54 c nbDecision=13000 #constraints=6988 67.76/67.86 c nbDecision=13500 #constraints=7017 70.05/70.18 c nbDecision=14000 #constraints=7044 72.46/72.57 c nbDecision=14500 #constraints=7109 74.76/74.88 c nbDecision=15000 #constraints=7131 77.15/77.22 c nbDecision=15500 #constraints=7176 79.45/79.56 c nbDecision=16000 #constraints=7216 81.76/81.88 c nbDecision=16500 #constraints=7250 84.26/84.34 c nbDecision=17000 #constraints=7349 86.66/86.72 c nbDecision=17500 #constraints=7404 89.06/89.19 c nbDecision=18000 #constraints=7526 91.56/91.62 c nbDecision=18500 #constraints=7623 93.96/94.05 c nbDecision=19000 #constraints=7714 96.35/96.45 c nbDecision=19500 #constraints=7804 98.75/98.84 c nbDecision=20000 #constraints=7891 101.06/101.18 c nbDecision=20500 #constraints=7943 103.45/103.55 c nbDecision=21000 #constraints=8003 105.85/105.94 c nbDecision=21500 #constraints=8057 108.25/108.33 c nbDecision=22000 #constraints=8119 110.65/110.72 c nbDecision=22500 #constraints=8187 112.95/113.03 c nbDecision=23000 #constraints=8208 115.35/115.42 c nbDecision=23500 #constraints=8283 117.65/117.77 c nbDecision=24000 #constraints=8333 120.04/120.11 c nbDecision=24500 #constraints=8376 122.45/122.53 c nbDecision=25000 #constraints=8457 124.85/124.94 c nbDecision=25500 #constraints=8531 125.35/125.41 c restart after 25601 decisions 127.15/127.26 c nbDecision=26000 #constraints=8545 129.55/129.65 c nbDecision=26500 #constraints=8560 131.95/132.04 c nbDecision=27000 #constraints=8590 134.34/134.43 c nbDecision=27500 #constraints=8619 136.64/136.77 c nbDecision=28000 #constraints=8634 139.14/139.23 c nbDecision=28500 #constraints=8684 141.54/141.66 c nbDecision=29000 #constraints=8726 143.94/144.10 c nbDecision=29500 #constraints=8777 146.34/146.49 c nbDecision=30000 #constraints=8799 148.74/148.85 c nbDecision=30500 #constraints=8811 151.14/151.25 c nbDecision=31000 #constraints=8846 153.53/153.65 c nbDecision=31500 #constraints=8873 155.93/156.00 c nbDecision=32000 #constraints=8899 158.34/158.42 c nbDecision=32500 #constraints=8946 160.74/160.80 c nbDecision=33000 #constraints=8979 163.04/163.16 c nbDecision=33500 #constraints=8997 165.34/165.50 c nbDecision=34000 #constraints=9006 167.84/167.91 c nbDecision=34500 #constraints=9042 170.34/170.40 c nbDecision=35000 #constraints=9112 172.73/172.84 c nbDecision=35500 #constraints=9169 175.13/175.26 c nbDecision=36000 #constraints=9217 177.43/177.59 c nbDecision=36500 #constraints=9231 179.83/179.97 c nbDecision=37000 #constraints=9277 182.13/182.29 c nbDecision=37500 #constraints=9286 184.53/184.64 c nbDecision=38000 #constraints=9316 186.93/187.04 c nbDecision=38500 #constraints=9360 189.32/189.45 c nbDecision=39000 #constraints=9416 191.72/191.85 c nbDecision=39500 #constraints=9463 194.12/194.21 c nbDecision=40000 #constraints=9488 196.42/196.57 c nbDecision=40500 #constraints=9520 198.83/198.99 c nbDecision=41000 #constraints=9575 201.23/201.32 c nbDecision=41500 #constraints=9592 203.53/203.65 c nbDecision=42000 #constraints=9608 205.93/206.01 c nbDecision=42500 #constraints=9629 208.32/208.44 c nbDecision=43000 #constraints=9687 210.72/210.84 c nbDecision=43500 #constraints=9729 213.12/213.20 c nbDecision=44000 #constraints=9750 215.42/215.56 c nbDecision=44500 #constraints=9785 217.82/217.91 c nbDecision=45000 #constraints=9822 220.21/220.31 c nbDecision=45500 #constraints=9888 222.62/222.74 c nbDecision=46000 #constraints=9975 225.02/225.17 c nbDecision=46500 #constraints=10046 227.42/227.60 c nbDecision=47000 #constraints=10108 229.92/230.01 c nbDecision=47500 #constraints=10161 232.32/232.49 c nbDecision=48000 #constraints=10262 234.72/234.88 c nbDecision=48500 #constraints=10320 237.21/237.32 c nbDecision=49000 #constraints=10399 239.72/239.81 c nbDecision=49500 #constraints=10503 242.11/242.20 c nbDecision=50000 #constraints=10516 244.51/244.61 c nbDecision=50500 #constraints=10532 246.91/247.08 c nbDecision=51000 #constraints=10565 247.91/248.04 c restart after 51201 decisions 249.31/249.41 c nbDecision=51500 #constraints=10569 251.72/251.89 c nbDecision=52000 #constraints=10599 254.21/254.37 c nbDecision=52500 #constraints=10637 256.71/256.86 c nbDecision=53000 #constraints=10713 259.11/259.29 c nbDecision=53500 #constraints=10762 261.61/261.76 c nbDecision=54000 #constraints=10828 264.21/264.30 c nbDecision=54500 #constraints=10953 266.71/266.84 c nbDecision=55000 #constraints=11056 269.21/269.36 c nbDecision=55500 #constraints=11151 271.70/271.82 c nbDecision=56000 #constraints=11213 274.20/274.32 c nbDecision=56500 #constraints=11305 276.60/276.74 c nbDecision=57000 #constraints=11362 279.11/279.26 c nbDecision=57500 #constraints=11458 281.60/281.77 c nbDecision=58000 #constraints=11541 284.10/284.24 c nbDecision=58500 #constraints=11614 286.50/286.66 c nbDecision=59000 #constraints=11653 289.00/289.12 c nbDecision=59500 #constraints=11729 291.50/291.62 c nbDecision=60000 #constraints=11814 294.00/294.10 c nbDecision=60500 #constraints=11891 296.49/296.60 c nbDecision=61000 #constraints=11973 298.90/299.01 c nbDecision=61500 #constraints=12018 301.31/301.44 c nbDecision=62000 #constraints=12070 303.70/303.90 c nbDecision=62500 #constraints=12132 306.30/306.44 c nbDecision=63000 #constraints=12222 308.80/308.95 c nbDecision=63500 #constraints=12292 311.30/311.45 c nbDecision=64000 #constraints=12367 313.79/313.98 c nbDecision=64500 #constraints=12449 316.39/316.50 c nbDecision=65000 #constraints=12542 318.78/318.98 c nbDecision=65500 #constraints=12652 321.36/321.52 c nbDecision=66000 #constraints=12724 323.76/323.96 c nbDecision=66500 #constraints=12782 326.25/326.44 c nbDecision=67000 #constraints=12852 328.65/328.90 c nbDecision=67500 #constraints=12915 331.15/331.39 c nbDecision=68000 #constraints=12974 333.74/333.96 c nbDecision=68500 #constraints=13066 336.13/336.36 c nbDecision=69000 #constraints=13108 338.63/338.80 c nbDecision=69500 #constraints=13160 341.12/341.31 c nbDecision=70000 #constraints=13233 343.51/343.76 c nbDecision=70500 #constraints=13302 346.01/346.28 c nbDecision=71000 #constraints=13429 348.60/348.86 c nbDecision=71500 #constraints=13562 351.10/351.37 c nbDecision=72000 #constraints=13638 353.70/353.98 c nbDecision=72500 #constraints=13771 356.29/356.52 c nbDecision=73000 #constraints=13824 358.70/358.97 c nbDecision=73500 #constraints=13829 361.20/361.47 c nbDecision=74000 #constraints=13855 363.69/363.93 c nbDecision=74500 #constraints=13870 366.19/366.44 c nbDecision=75000 #constraints=13897 368.89/369.11 c nbDecision=75500 #constraints=13966 371.50/371.72 c nbDecision=76000 #constraints=14017 373.98/374.24 c nbDecision=76500 #constraints=14058 376.48/376.73 c nbDecision=77000 #constraints=14084 378.98/379.20 c nbDecision=77500 #constraints=14121 381.38/381.65 c nbDecision=78000 #constraints=14148 383.87/384.13 c nbDecision=78500 #constraints=14177 386.37/386.64 c nbDecision=79000 #constraints=14210 388.87/389.14 c nbDecision=79500 #constraints=14232 391.37/391.62 c nbDecision=80000 #constraints=14254 393.77/394.06 c nbDecision=80500 #constraints=14259 396.27/396.54 c nbDecision=81000 #constraints=14277 398.67/398.99 c nbDecision=81500 #constraints=14299 401.27/401.52 c nbDecision=82000 #constraints=14379 403.77/404.08 c nbDecision=82500 #constraints=14478 406.37/406.63 c nbDecision=83000 #constraints=14552 408.87/409.16 c nbDecision=83500 #constraints=14613 411.47/411.76 c nbDecision=84000 #constraints=14715 413.97/414.29 c nbDecision=84500 #constraints=14772 416.46/416.75 c nbDecision=85000 #constraints=14816 418.86/419.19 c nbDecision=85500 #constraints=14861 421.36/421.68 c nbDecision=86000 #constraints=14910 423.87/424.17 c nbDecision=86500 #constraints=14951 426.37/426.68 c nbDecision=87000 #constraints=15006 428.86/429.18 c nbDecision=87500 #constraints=15059 431.36/431.69 c nbDecision=88000 #constraints=15106 433.96/434.20 c nbDecision=88500 #constraints=15152 436.36/436.66 c nbDecision=89000 #constraints=15217 438.86/439.11 c nbDecision=89500 #constraints=15273 441.26/441.57 c nbDecision=90000 #constraints=15324 443.76/444.00 c nbDecision=90500 #constraints=15384 446.16/446.43 c nbDecision=91000 #constraints=15437 448.75/449.08 c nbDecision=91500 #constraints=15488 451.35/451.67 c nbDecision=92000 #constraints=15521 453.96/454.24 c nbDecision=92500 #constraints=15534 456.45/456.78 c nbDecision=93000 #constraints=15538 459.05/459.35 c nbDecision=93500 #constraints=15557 461.65/461.94 c nbDecision=94000 #constraints=15581 464.15/464.47 c nbDecision=94500 #constraints=15597 466.75/467.07 c nbDecision=95000 #constraints=15651 469.35/469.65 c nbDecision=95500 #constraints=15685 472.05/472.31 c nbDecision=96000 #constraints=15745 474.64/474.95 c nbDecision=96500 #constraints=15807 477.15/477.49 c nbDecision=97000 #constraints=15825 479.95/480.24 c nbDecision=97500 #constraints=15903 482.55/482.88 c nbDecision=98000 #constraints=15960 485.25/485.59 c nbDecision=98500 #constraints=16032 487.95/488.29 c nbDecision=99000 #constraints=16104 490.65/490.98 c nbDecision=99500 #constraints=16140 493.34/493.66 c nbDecision=100000 #constraints=16202 496.04/496.31 c nbDecision=100500 #constraints=16259 498.64/498.93 c nbDecision=101000 #constraints=16297 501.24/501.57 c nbDecision=101500 #constraints=16341 503.94/504.24 c nbDecision=102000 #constraints=16412 506.14/506.41 c restart after 102401 decisions 506.64/506.91 c nbDecision=102500 #constraints=16471 509.54/509.87 c nbDecision=103000 #constraints=16534 512.44/512.76 c nbDecision=103500 #constraints=16584 515.13/515.48 c nbDecision=104000 #constraints=16611 517.84/518.19 c nbDecision=104500 #constraints=16625 520.63/520.98 c nbDecision=105000 #constraints=16660 523.24/523.51 c nbDecision=105500 #constraints=16662 525.83/526.10 c nbDecision=106000 #constraints=16676 528.54/528.84 c nbDecision=106500 #constraints=16722 531.24/531.56 c nbDecision=107000 #constraints=16784 534.03/534.39 c nbDecision=107500 #constraints=16894 536.83/537.12 c nbDecision=108000 #constraints=16988 539.43/539.79 c nbDecision=108500 #constraints=17054 542.03/542.35 c nbDecision=109000 #constraints=17084 544.63/544.99 c nbDecision=109500 #constraints=17142 547.33/547.60 c nbDecision=110000 #constraints=17190 550.02/550.31 c nbDecision=110500 #constraints=17293 552.63/552.90 c nbDecision=111000 #constraints=17337 555.13/555.47 c nbDecision=111500 #constraints=17386 557.73/558.04 c nbDecision=112000 #constraints=17432 560.33/560.63 c nbDecision=112500 #constraints=17447 563.02/563.36 c nbDecision=113000 #constraints=17471 565.92/566.23 c nbDecision=113500 #constraints=17544 568.72/569.01 c nbDecision=114000 #constraints=17597 571.42/571.72 c nbDecision=114500 #constraints=17632 574.12/574.42 c nbDecision=115000 #constraints=17668 576.92/577.20 c nbDecision=115500 #constraints=17727 579.62/579.97 c nbDecision=116000 #constraints=17790 582.31/582.65 c nbDecision=116500 #constraints=17815 585.11/585.48 c nbDecision=117000 #constraints=17870 587.81/588.16 c nbDecision=117500 #constraints=17893 590.41/590.79 c nbDecision=118000 #constraints=17911 593.22/593.59 c nbDecision=118500 #constraints=17953 595.92/596.29 c nbDecision=119000 #constraints=17974 598.62/598.94 c nbDecision=119500 #constraints=17990 601.32/601.69 c nbDecision=120000 #constraints=18035 604.01/604.32 c nbDecision=120500 #constraints=18046 606.82/607.19 c nbDecision=121000 #constraints=18108 609.51/609.84 c nbDecision=121500 #constraints=18126 612.11/612.49 c nbDecision=122000 #constraints=18147 614.71/615.09 c nbDecision=122500 #constraints=18162 617.41/617.76 c nbDecision=123000 #constraints=18180 620.11/620.41 c nbDecision=123500 #constraints=18205 622.70/623.03 c nbDecision=124000 #constraints=18209 625.40/625.70 c nbDecision=124500 #constraints=18230 628.00/628.39 c nbDecision=125000 #constraints=18286 630.70/631.08 c nbDecision=125500 #constraints=18327 633.40/633.70 c nbDecision=126000 #constraints=18351 636.00/636.34 c nbDecision=126500 #constraints=18383 638.60/638.94 c nbDecision=127000 #constraints=18414 641.50/641.81 c nbDecision=127500 #constraints=18498 644.20/644.58 c nbDecision=128000 #constraints=18554 647.10/647.44 c nbDecision=128500 #constraints=18621 649.90/650.23 c nbDecision=129000 #constraints=18658 652.60/652.98 c nbDecision=129500 #constraints=18691 655.40/655.75 c nbDecision=130000 #constraints=18728 658.20/658.50 c nbDecision=130500 #constraints=18762 660.80/661.14 c nbDecision=131000 #constraints=18787 663.50/663.88 c nbDecision=131500 #constraints=18822 666.39/666.78 c nbDecision=132000 #constraints=18892 669.09/669.44 c nbDecision=132500 #constraints=18910 671.89/672.21 c nbDecision=133000 #constraints=18956 674.59/674.92 c nbDecision=133500 #constraints=18983 677.29/677.62 c nbDecision=134000 #constraints=19013 679.99/680.32 c nbDecision=134500 #constraints=19037 682.69/683.04 c nbDecision=135000 #constraints=19072 685.38/685.76 c nbDecision=135500 #constraints=19103 688.08/688.42 c nbDecision=136000 #constraints=19126 690.68/691.06 c nbDecision=136500 #constraints=19143 693.38/693.70 c nbDecision=137000 #constraints=19173 695.98/696.36 c nbDecision=137500 #constraints=19218 698.68/699.03 c nbDecision=138000 #constraints=19250 701.29/701.61 c nbDecision=138500 #constraints=19264 703.99/704.36 c nbDecision=139000 #constraints=19315 706.78/707.16 c nbDecision=139500 #constraints=19369 709.48/709.86 c nbDecision=140000 #constraints=19388 712.18/712.59 c nbDecision=140500 #constraints=19436 714.88/715.27 c nbDecision=141000 #constraints=19485 717.48/717.87 c nbDecision=141500 #constraints=19518 720.18/720.51 c nbDecision=142000 #constraints=19582 722.78/723.13 c nbDecision=142500 #constraints=19618 725.37/725.71 c nbDecision=143000 #constraints=19642 728.17/728.56 c nbDecision=143500 #constraints=19691 731.08/731.43 c nbDecision=144000 #constraints=19704 734.07/734.41 c nbDecision=144500 #constraints=19754 736.77/737.18 c nbDecision=145000 #constraints=19775 739.87/740.23 c nbDecision=145500 #constraints=19814 742.97/743.38 c nbDecision=146000 #constraints=19881 746.07/746.47 c nbDecision=146500 #constraints=19918 749.07/749.42 c nbDecision=147000 #constraints=19933 751.86/752.30 c nbDecision=147500 #constraints=19947 754.76/755.12 c nbDecision=148000 #constraints=19964 757.47/757.87 c nbDecision=148500 #constraints=19983 760.16/760.57 c nbDecision=149000 #constraints=19996 762.97/763.40 c nbDecision=149500 #constraints=20027 765.76/766.16 c nbDecision=150000 #constraints=20048 768.56/768.91 c nbDecision=150500 #constraints=20063 771.26/771.69 c nbDecision=151000 #constraints=20085 774.06/774.41 c nbDecision=151500 #constraints=20089 776.76/777.10 c nbDecision=152000 #constraints=20110 779.57/779.96 c nbDecision=152500 #constraints=20149 782.26/782.62 c nbDecision=153000 #constraints=20152 784.96/785.34 c nbDecision=153500 #constraints=20163 787.76/788.16 c nbDecision=154000 #constraints=20184 790.46/790.83 c nbDecision=154500 #constraints=20207 793.16/793.58 c nbDecision=155000 #constraints=20245 795.76/796.18 c nbDecision=155500 #constraints=20263 798.35/798.78 c nbDecision=156000 #constraints=20273 801.05/801.45 c nbDecision=156500 #constraints=20308 803.65/804.04 c nbDecision=157000 #constraints=20357 806.35/806.71 c nbDecision=157500 #constraints=20423 809.15/809.53 c nbDecision=158000 #constraints=20496 811.95/812.33 c nbDecision=158500 #constraints=20525 814.75/815.17 c nbDecision=159000 #constraints=20560 817.65/818.00 c nbDecision=159500 #constraints=20594 820.35/820.75 c nbDecision=160000 #constraints=20603 823.04/823.50 c nbDecision=160500 #constraints=20617 825.94/826.33 c nbDecision=161000 #constraints=20645 828.74/829.17 c nbDecision=161500 #constraints=20681 831.64/832.00 c nbDecision=162000 #constraints=20706 834.44/834.85 c nbDecision=162500 #constraints=20734 837.24/837.69 c nbDecision=163000 #constraints=20757 840.05/840.45 c nbDecision=163500 #constraints=20773 842.75/843.14 c nbDecision=164000 #constraints=20776 845.45/845.90 c nbDecision=164500 #constraints=20785 848.45/848.84 c nbDecision=165000 #constraints=20832 851.24/851.61 c nbDecision=165500 #constraints=20846 853.84/854.28 c nbDecision=166000 #constraints=20849 856.64/857.02 c nbDecision=166500 #constraints=20858 859.34/859.76 c nbDecision=167000 #constraints=20880 862.14/862.56 c nbDecision=167500 #constraints=20900 864.84/865.24 c nbDecision=168000 #constraints=20908 867.64/868.02 c nbDecision=168500 #constraints=20930 870.34/870.78 c nbDecision=169000 #constraints=20945 873.14/873.52 c nbDecision=169500 #constraints=20965 875.84/876.20 c nbDecision=170000 #constraints=20978 878.44/878.88 c nbDecision=170500 #constraints=20995 881.24/881.68 c nbDecision=171000 #constraints=21022 884.13/884.51 c nbDecision=171500 #constraints=21078 886.83/887.30 c nbDecision=172000 #constraints=21124 889.63/890.05 c nbDecision=172500 #constraints=21161 892.33/892.78 c nbDecision=173000 #constraints=21191 895.23/895.61 c nbDecision=173500 #constraints=21249 898.03/898.46 c nbDecision=174000 #constraints=21268 901.03/901.40 c nbDecision=174500 #constraints=21306 903.73/904.16 c nbDecision=175000 #constraints=21318 906.52/906.94 c nbDecision=175500 #constraints=21328 909.42/909.89 c nbDecision=176000 #constraints=21351 912.32/912.73 c nbDecision=176500 #constraints=21370 915.22/915.60 c nbDecision=177000 #constraints=21408 917.92/918.39 c nbDecision=177500 #constraints=21426 920.72/921.18 c nbDecision=178000 #constraints=21440 923.62/924.02 c nbDecision=178500 #constraints=21457 926.42/926.88 c nbDecision=179000 #constraints=21483 929.22/929.67 c nbDecision=179500 #constraints=21500 932.02/932.43 c nbDecision=180000 #constraints=21505 934.82/935.20 c nbDecision=180500 #constraints=21513 937.52/937.95 c nbDecision=181000 #constraints=21565 940.32/940.75 c nbDecision=181500 #constraints=21635 943.12/943.52 c nbDecision=182000 #constraints=21697 945.91/946.30 c nbDecision=182500 #constraints=21766 948.71/949.14 c nbDecision=183000 #constraints=21846 951.41/951.86 c nbDecision=183500 #constraints=21883 954.31/954.79 c nbDecision=184000 #constraints=21949 957.51/957.97 c nbDecision=184500 #constraints=21992 960.41/960.81 c nbDecision=185000 #constraints=22005 963.41/963.82 c nbDecision=185500 #constraints=22017 966.31/966.78 c nbDecision=186000 #constraints=22020 969.31/969.74 c nbDecision=186500 #constraints=22023 972.21/972.69 c nbDecision=187000 #constraints=22032 975.31/975.71 c nbDecision=187500 #constraints=22066 978.01/978.48 c nbDecision=188000 #constraints=22069 980.91/981.38 c nbDecision=188500 #constraints=22073 983.91/984.33 c nbDecision=189000 #constraints=22097 986.91/987.33 c nbDecision=189500 #constraints=22120 989.70/990.17 c nbDecision=190000 #constraints=22127 992.60/993.02 c nbDecision=190500 #constraints=22130 995.50/995.97 c nbDecision=191000 #constraints=22155 998.31/998.73 c nbDecision=191500 #constraints=22169 1001.10/1001.51 c nbDecision=192000 #constraints=22182 1004.00/1004.43 c nbDecision=192500 #constraints=22205 1006.70/1007.17 c nbDecision=193000 #constraints=22208 1009.59/1010.04 c nbDecision=193500 #constraints=22228 1012.39/1012.84 c nbDecision=194000 #constraints=22233 1015.19/1015.60 c nbDecision=194500 #constraints=22248 1017.89/1018.35 c nbDecision=195000 #constraints=22261 1020.79/1021.22 c nbDecision=195500 #constraints=22303 1023.49/1023.91 c nbDecision=196000 #constraints=22306 1026.19/1026.60 c nbDecision=196500 #constraints=22315 1028.89/1029.36 c nbDecision=197000 #constraints=22319 1031.59/1032.04 c nbDecision=197500 #constraints=22323 1034.29/1034.73 c nbDecision=198000 #constraints=22327 1037.08/1037.52 c nbDecision=198500 #constraints=22334 1039.78/1040.27 c nbDecision=199000 #constraints=22355 1042.48/1042.97 c nbDecision=199500 #constraints=22373 1045.38/1045.81 c nbDecision=200000 #constraints=22401 1048.08/1048.50 c nbDecision=200500 #constraints=22414 1050.78/1051.25 c nbDecision=201000 #constraints=22421 1053.48/1053.99 c nbDecision=201500 #constraints=22444 1056.28/1056.71 c nbDecision=202000 #constraints=22462 1058.88/1059.34 c nbDecision=202500 #constraints=22472 1061.58/1062.02 c nbDecision=203000 #constraints=22491 1064.08/1064.56 c nbDecision=203500 #constraints=22513 1066.58/1067.09 c nbDecision=204000 #constraints=22548 1069.48/1069.90 c nbDecision=204500 #constraints=22566 1071.18/1071.63 c restart after 204801 decisions 1072.28/1072.74 c nbDecision=205000 #constraints=22567 1075.17/1075.61 c nbDecision=205500 #constraints=22578 1078.08/1078.58 c nbDecision=206000 #constraints=22586 1081.08/1081.56 c nbDecision=206500 #constraints=22610 1084.08/1084.54 c nbDecision=207000 #constraints=22619 1087.18/1087.63 c nbDecision=207500 #constraints=22650 1090.18/1090.64 c nbDecision=208000 #constraints=22660 1093.27/1093.73 c nbDecision=208500 #constraints=22694 1096.28/1096.75 c nbDecision=209000 #constraints=22700 1099.07/1099.59 c nbDecision=209500 #constraints=22718 1101.87/1102.35 c nbDecision=210000 #constraints=22732 1104.67/1105.13 c nbDecision=210500 #constraints=22740 1107.67/1108.13 c nbDecision=211000 #constraints=22792 1110.57/1111.02 c nbDecision=211500 #constraints=22836 1113.37/1113.86 c nbDecision=212000 #constraints=22856 1116.17/1116.64 c nbDecision=212500 #constraints=22883 1118.87/1119.36 c nbDecision=213000 #constraints=22911 1121.67/1122.16 c nbDecision=213500 #constraints=22951 1124.37/1124.89 c nbDecision=214000 #constraints=22998 1127.07/1127.56 c nbDecision=214500 #constraints=23061 1129.76/1130.23 c nbDecision=215000 #constraints=23101 1132.46/1132.96 c nbDecision=215500 #constraints=23171 1135.26/1135.77 c nbDecision=216000 #constraints=23179 1138.36/1138.86 c nbDecision=216500 #constraints=23221 1141.16/1141.68 c nbDecision=217000 #constraints=23239 1144.06/1144.55 c nbDecision=217500 #constraints=23254 1146.86/1147.38 c nbDecision=218000 #constraints=23257 1149.95/1150.48 c nbDecision=218500 #constraints=23289 1152.95/1153.40 c nbDecision=219000 #constraints=23303 1155.76/1156.29 c nbDecision=219500 #constraints=23318 1158.76/1159.23 c nbDecision=220000 #constraints=23334 1161.66/1162.12 c nbDecision=220500 #constraints=23345 1164.46/1164.93 c nbDecision=221000 #constraints=23349 1167.46/1167.97 c nbDecision=221500 #constraints=23390 1170.36/1170.83 c nbDecision=222000 #constraints=23402 1173.16/1173.65 c nbDecision=222500 #constraints=23409 1176.05/1176.51 c nbDecision=223000 #constraints=23435 1178.95/1179.47 c nbDecision=223500 #constraints=23484 1181.96/1182.49 c nbDecision=224000 #constraints=23543 1184.85/1185.38 c nbDecision=224500 #constraints=23575 1187.65/1188.16 c nbDecision=225000 #constraints=23600 1190.35/1190.90 c nbDecision=225500 #constraints=23635 1193.14/1193.62 c nbDecision=226000 #constraints=23689 1195.84/1196.35 c nbDecision=226500 #constraints=23750 1198.54/1199.03 c nbDecision=227000 #constraints=23803 1201.45/1201.94 c nbDecision=227500 #constraints=23830 1204.45/1204.91 c nbDecision=228000 #constraints=23849 1207.25/1207.76 c nbDecision=228500 #constraints=23852 1210.25/1210.70 c nbDecision=229000 #constraints=23868 1213.15/1213.61 c nbDecision=229500 #constraints=23882 1216.05/1216.52 c nbDecision=230000 #constraints=23908 1218.94/1219.45 c nbDecision=230500 #constraints=23912 1221.94/1222.40 c nbDecision=231000 #constraints=23922 1224.84/1225.37 c nbDecision=231500 #constraints=23940 1227.74/1228.26 c nbDecision=232000 #constraints=23953 1230.74/1231.23 c nbDecision=232500 #constraints=23972 1233.54/1234.07 c nbDecision=233000 #constraints=23978 1236.64/1237.15 c nbDecision=233500 #constraints=24014 1239.53/1240.05 c nbDecision=234000 #constraints=24026 1242.33/1242.89 c nbDecision=234500 #constraints=24030 1245.23/1245.73 c nbDecision=235000 #constraints=24038 1248.13/1248.69 c nbDecision=235500 #constraints=24058 1251.03/1251.56 c nbDecision=236000 #constraints=24073 1254.03/1254.55 c nbDecision=236500 #constraints=24096 1256.83/1257.39 c nbDecision=237000 #constraints=24114 1259.52/1260.04 c nbDecision=237500 #constraints=24118 1262.23/1262.80 c nbDecision=238000 #constraints=24139 1265.02/1265.56 c nbDecision=238500 #constraints=24168 1267.73/1268.22 c nbDecision=239000 #constraints=24172 1270.42/1270.94 c nbDecision=239500 #constraints=24194 1273.12/1273.61 c nbDecision=240000 #constraints=24214 1275.72/1276.28 c nbDecision=240500 #constraints=24247 1278.42/1278.94 c nbDecision=241000 #constraints=24278 1281.02/1281.57 c nbDecision=241500 #constraints=24300 1283.62/1284.17 c nbDecision=242000 #constraints=24313 1286.52/1287.04 c nbDecision=242500 #constraints=24337 1289.41/1289.94 c nbDecision=243000 #constraints=24402 1292.22/1292.71 c nbDecision=243500 #constraints=24442 1295.12/1295.70 c nbDecision=244000 #constraints=24563 1297.92/1298.47 c nbDecision=244500 #constraints=24606 1300.82/1301.38 c nbDecision=245000 #constraints=24702 1303.71/1304.21 c nbDecision=245500 #constraints=24774 1306.61/1307.16 c nbDecision=246000 #constraints=24795 1309.51/1310.07 c nbDecision=246500 #constraints=24799 1312.41/1312.99 c nbDecision=247000 #constraints=24813 1315.41/1315.91 c nbDecision=247500 #constraints=24824 1318.42/1318.91 c nbDecision=248000 #constraints=24849 1321.21/1321.76 c nbDecision=248500 #constraints=24855 1324.21/1324.77 c nbDecision=249000 #constraints=24882 1327.11/1327.66 c nbDecision=249500 #constraints=24898 1330.11/1330.68 c nbDecision=250000 #constraints=24924 1333.11/1333.64 c nbDecision=250500 #constraints=24938 1336.01/1336.52 c nbDecision=251000 #constraints=24961 1338.90/1339.47 c nbDecision=251500 #constraints=25025 1341.70/1342.29 c nbDecision=252000 #constraints=25063 1344.60/1345.15 c nbDecision=252500 #constraints=25108 1347.40/1347.95 c nbDecision=253000 #constraints=25134 1350.30/1350.83 c nbDecision=253500 #constraints=25212 1353.10/1353.65 c nbDecision=254000 #constraints=25327 1355.90/1356.44 c nbDecision=254500 #constraints=25408 1358.80/1359.36 c nbDecision=255000 #constraints=25446 1361.50/1362.09 c nbDecision=255500 #constraints=25452 1364.30/1364.87 c nbDecision=256000 #constraints=25485 1367.10/1367.65 c nbDecision=256500 #constraints=25509 1369.80/1370.34 c nbDecision=257000 #constraints=25514 1372.60/1373.12 c nbDecision=257500 #constraints=25582 1375.20/1375.77 c nbDecision=258000 #constraints=25608 1377.89/1378.43 c nbDecision=258500 #constraints=25648 1380.89/1381.45 c nbDecision=259000 #constraints=25678 1383.79/1384.38 c nbDecision=259500 #constraints=25721 1386.79/1387.31 c nbDecision=260000 #constraints=25759 1389.69/1390.24 c nbDecision=260500 #constraints=25784 1392.79/1393.34 c nbDecision=261000 #constraints=25839 1395.69/1396.23 c nbDecision=261500 #constraints=25852 1398.39/1398.90 c nbDecision=262000 #constraints=25891 1400.99/1401.59 c nbDecision=262500 #constraints=25928 1403.88/1404.40 c nbDecision=263000 #constraints=26001 1406.48/1407.04 c nbDecision=263500 #constraints=26032 1409.58/1410.15 c nbDecision=264000 #constraints=26044 1412.58/1413.18 c nbDecision=264500 #constraints=26055 1415.58/1416.15 c nbDecision=265000 #constraints=26058 1418.48/1419.02 c nbDecision=265500 #constraints=26061 1421.48/1422.03 c nbDecision=266000 #constraints=26064 1424.48/1425.09 c nbDecision=266500 #constraints=26091 1427.58/1428.12 c nbDecision=267000 #constraints=26100 1430.58/1431.11 c nbDecision=267500 #constraints=26103 1433.67/1434.25 c nbDecision=268000 #constraints=26113 1436.77/1437.30 c nbDecision=268500 #constraints=26125 1439.67/1440.25 c nbDecision=269000 #constraints=26132 1442.78/1443.36 c nbDecision=269500 #constraints=26146 1445.78/1446.37 c nbDecision=270000 #constraints=26154 1448.78/1449.33 c nbDecision=270500 #constraints=26167 1451.67/1452.26 c nbDecision=271000 #constraints=26171 1454.68/1455.28 c nbDecision=271500 #constraints=26187 1457.77/1458.32 c nbDecision=272000 #constraints=26208 1460.77/1461.31 c nbDecision=272500 #constraints=26224 1463.67/1464.25 c nbDecision=273000 #constraints=26233 1466.77/1467.33 c nbDecision=273500 #constraints=26257 1469.67/1470.20 c nbDecision=274000 #constraints=26269 1472.67/1473.23 c nbDecision=274500 #constraints=26284 1475.57/1476.11 c nbDecision=275000 #constraints=26293 1478.56/1479.16 c nbDecision=275500 #constraints=26319 1481.46/1482.08 c nbDecision=276000 #constraints=26325 1484.46/1485.08 c nbDecision=276500 #constraints=26364 1487.46/1488.00 c nbDecision=277000 #constraints=26370 1490.36/1490.96 c nbDecision=277500 #constraints=26389 1493.26/1493.89 c nbDecision=278000 #constraints=26407 1496.56/1497.13 c nbDecision=278500 #constraints=26424 1499.66/1500.21 c nbDecision=279000 #constraints=26449 1502.66/1503.23 c nbDecision=279500 #constraints=26475 1505.76/1506.34 c nbDecision=280000 #constraints=26495 1508.96/1509.57 c nbDecision=280500 #constraints=26532 1512.06/1512.68 c nbDecision=281000 #constraints=26552 1515.16/1515.73 c nbDecision=281500 #constraints=26556 1518.16/1518.74 c nbDecision=282000 #constraints=26568 1521.15/1521.74 c nbDecision=282500 #constraints=26589 1524.35/1524.90 c nbDecision=283000 #constraints=26612 1527.45/1528.00 c nbDecision=283500 #constraints=26615 1530.55/1531.12 c nbDecision=284000 #constraints=26629 1533.45/1534.08 c nbDecision=284500 #constraints=26631 1536.65/1537.23 c nbDecision=285000 #constraints=26646 1539.74/1540.32 c nbDecision=285500 #constraints=26658 1542.84/1543.43 c nbDecision=286000 #constraints=26671 1545.84/1546.45 c nbDecision=286500 #constraints=26701 1548.74/1549.35 c nbDecision=287000 #constraints=26718 1551.75/1552.37 c nbDecision=287500 #constraints=26752 1554.65/1555.27 c nbDecision=288000 #constraints=26764 1557.55/1558.14 c nbDecision=288500 #constraints=26787 1560.45/1561.08 c nbDecision=289000 #constraints=26814 1563.44/1564.00 c nbDecision=289500 #constraints=26838 1566.34/1566.92 c nbDecision=290000 #constraints=26857 1569.24/1569.87 c nbDecision=290500 #constraints=26892 1572.24/1572.83 c nbDecision=291000 #constraints=26911 1575.14/1575.70 c nbDecision=291500 #constraints=26956 1578.04/1578.63 c nbDecision=292000 #constraints=26990 1581.04/1581.64 c nbDecision=292500 #constraints=27004 1584.14/1584.70 c nbDecision=293000 #constraints=27023 1587.23/1587.80 c nbDecision=293500 #constraints=27032 1590.23/1590.80 c nbDecision=294000 #constraints=27035 1593.43/1594.03 c nbDecision=294500 #constraints=27061 1596.43/1597.04 c nbDecision=295000 #constraints=27079 1599.53/1600.15 c nbDecision=295500 #constraints=27092 1602.53/1603.11 c nbDecision=296000 #constraints=27107 1605.53/1606.19 c nbDecision=296500 #constraints=27121 1608.53/1609.16 c nbDecision=297000 #constraints=27125 1611.53/1612.18 c nbDecision=297500 #constraints=27129 1614.42/1615.08 c nbDecision=298000 #constraints=27180 1617.12/1617.78 c nbDecision=298500 #constraints=27226 1619.92/1620.54 c nbDecision=299000 #constraints=27283 1622.63/1623.26 c nbDecision=299500 #constraints=27331 1625.72/1626.38 c nbDecision=300000 #constraints=27347 1628.82/1629.46 c nbDecision=300500 #constraints=27370 1631.83/1632.47 c nbDecision=301000 #constraints=27374 1635.03/1635.69 c nbDecision=301500 #constraints=27402 1638.12/1638.73 c nbDecision=302000 #constraints=27413 1641.12/1641.70 c nbDecision=302500 #constraints=27429 1644.02/1644.69 c nbDecision=303000 #constraints=27448 1647.12/1647.76 c nbDecision=303500 #constraints=27472 1650.32/1650.92 c nbDecision=304000 #constraints=27501 1653.61/1654.24 c nbDecision=304500 #constraints=27522 1656.61/1657.27 c nbDecision=305000 #constraints=27525 1659.61/1660.27 c nbDecision=305500 #constraints=27531 1662.81/1663.47 c nbDecision=306000 #constraints=27545 1665.91/1666.58 c nbDecision=306500 #constraints=27554 1668.91/1669.55 c nbDecision=307000 #constraints=27557 1672.20/1672.83 c nbDecision=307500 #constraints=27597 1675.40/1676.01 c nbDecision=308000 #constraints=27631 1678.40/1679.07 c nbDecision=308500 #constraints=27678 1681.50/1682.20 c nbDecision=309000 #constraints=27754 1684.50/1685.14 c nbDecision=309500 #constraints=27765 1687.51/1688.16 c nbDecision=310000 #constraints=27820 1690.71/1691.38 c nbDecision=310500 #constraints=27839 1693.71/1694.38 c nbDecision=311000 #constraints=27842 1696.71/1697.39 c nbDecision=311500 #constraints=27845 1699.91/1700.60 c nbDecision=312000 #constraints=27859 1703.00/1703.66 c nbDecision=312500 #constraints=27875 1706.10/1706.74 c nbDecision=313000 #constraints=27883 1709.30/1709.91 c nbDecision=313500 #constraints=27910 1712.20/1712.85 c nbDecision=314000 #constraints=27917 1715.10/1715.80 c nbDecision=314500 #constraints=27919 1718.40/1719.10 c nbDecision=315000 #constraints=27936 1721.69/1722.35 c nbDecision=315500 #constraints=27961 1724.79/1725.42 c nbDecision=316000 #constraints=27979 1727.89/1728.56 c nbDecision=316500 #constraints=27988 1731.29/1731.94 c nbDecision=317000 #constraints=28005 1734.39/1735.00 c nbDecision=317500 #constraints=28013 1737.39/1738.04 c nbDecision=318000 #constraints=28032 1740.49/1741.13 c nbDecision=318500 #constraints=28047 1743.69/1744.35 c nbDecision=319000 #constraints=28065 1746.79/1747.41 c nbDecision=319500 #constraints=28082 1749.89/1750.51 c nbDecision=320000 #constraints=28095 1753.08/1753.75 c nbDecision=320500 #constraints=28124 1756.09/1756.75 c nbDecision=321000 #constraints=28127 1759.08/1759.73 c nbDecision=321500 #constraints=28143 1762.08/1762.74 c nbDecision=322000 #constraints=28147 1765.28/1765.92 c nbDecision=322500 #constraints=28172 1768.38/1769.08 c nbDecision=323000 #constraints=28186 1771.38/1772.04 c nbDecision=323500 #constraints=28189 1774.48/1775.14 c nbDecision=324000 #constraints=28198 1777.37/1778.04 c nbDecision=324500 #constraints=28235 1780.18/1780.88 c nbDecision=325000 #constraints=28253 1783.07/1783.75 c nbDecision=325500 #constraints=28284 1785.97/1786.61 c nbDecision=326000 #constraints=28317 1789.17/1789.81 c nbDecision=326500 #constraints=28326 1792.37/1793.01 c nbDecision=327000 #constraints=28329 1795.67/1796.35 c nbDecision=327500 #constraints=28353 1798.87/1799.57 c nbDecision=328000 #constraints=28376 1800.08/1800.71 Received signal 15 1800.08/1800.71 1800.08/1800.71 s UNKNOWN 1800.08/1800.71 1800.08/1800.71 c user time= 1799.6 s 1800.08/1800.71 c system time= 0.489925 s 1800.08/1800.71 c wall clock time=1800.71
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-356983-1176850543 -o ROOT/results/node19/solver-356983-1176850543 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356983-1176850543/instance-356983-1176850543.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.97 0.98 3/77 10965 /proc/meminfo: memFree=1592720/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=1620 CPUtime=0 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132971713 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 405 175 126 317 0 84 0 [startup+0.0265299 s] /proc/loadavg: 0.92 0.97 0.98 3/77 10965 /proc/meminfo: memFree=1592720/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=1880 CPUtime=0.02 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 316 0 0 0 2 0 0 0 18 0 1 0 132971713 1925120 265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714799 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 470 265 127 317 0 149 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1880 [startup+0.101539 s] /proc/loadavg: 0.92 0.97 0.98 3/77 10965 /proc/meminfo: memFree=1592720/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=3252 CPUtime=0.09 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 636 0 0 0 9 0 0 0 18 0 1 0 132971713 3330048 585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 813 585 131 317 0 492 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3252 [startup+0.30156 s] /proc/loadavg: 0.92 0.97 0.98 3/77 10965 /proc/meminfo: memFree=1592720/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=7872 CPUtime=0.29 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 1799 0 0 0 28 1 0 0 19 0 1 0 132971713 8060928 1748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 1968 1748 131 317 0 1647 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7872 [startup+0.701604 s] /proc/loadavg: 0.92 0.97 0.98 3/77 10965 /proc/meminfo: memFree=1592720/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=16888 CPUtime=0.69 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 3965 0 0 0 67 2 0 0 22 0 1 0 132971713 17293312 3914 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 4222 3915 131 317 0 3901 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16888 [startup+1.50169 s] /proc/loadavg: 0.92 0.97 0.98 2/78 10966 /proc/meminfo: memFree=1572104/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=33476 CPUtime=1.49 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 7807 0 0 0 146 3 0 0 25 0 1 0 132971713 34279424 7756 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712543 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 8369 7756 131 317 0 8048 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33476 [startup+3.10186 s] /proc/loadavg: 0.93 0.97 0.98 2/78 10966 /proc/meminfo: memFree=1549256/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=76032 CPUtime=3.09 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 18033 0 0 0 301 8 0 0 25 0 1 0 132971713 77856768 17982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135138636 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 19008 17982 137 317 0 18687 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 76032 [startup+6.30121 s] /proc/loadavg: 0.93 0.97 0.98 2/78 10966 /proc/meminfo: memFree=1507784/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=89360 CPUtime=6.29 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 21379 0 0 0 620 9 0 0 25 0 1 0 132971713 91504640 21294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 22340 21294 139 317 0 22019 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 89360 [startup+12.7019 s] /proc/loadavg: 0.93 0.97 0.98 2/78 10966 /proc/meminfo: memFree=1505928/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=91212 CPUtime=12.69 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 21835 0 0 0 1260 9 0 0 25 0 1 0 132971713 93401088 21750 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 22803 21750 139 317 0 22482 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 91212 [startup+25.5013 s] /proc/loadavg: 0.95 0.97 0.98 2/78 10966 /proc/meminfo: memFree=1503240/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=93948 CPUtime=25.49 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 22528 0 0 0 2539 10 0 0 25 0 1 0 132971713 96202752 22443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384575 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 23487 22443 139 317 0 23166 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 93948 [startup+51.1011 s] /proc/loadavg: 0.96 0.97 0.98 2/78 10966 /proc/meminfo: memFree=1498824/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=98424 CPUtime=51.06 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 23653 0 0 0 5095 11 0 0 25 0 1 0 132971713 100786176 23568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 24606 23568 139 317 0 24285 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 98424 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.98 2/78 10966 /proc/meminfo: memFree=1490376/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=106748 CPUtime=102.26 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 25739 0 0 0 10214 12 0 0 25 0 1 0 132971713 109309952 25654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 26687 25654 139 317 0 26366 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 106748 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10966 /proc/meminfo: memFree=1483464/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=113608 CPUtime=162.24 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 27478 0 0 0 16210 14 0 0 25 0 1 0 132971713 116334592 27393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385198 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 28402 27393 139 317 0 28081 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 113608 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10966 /proc/meminfo: memFree=1478536/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=118884 CPUtime=222.21 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 28789 0 0 0 22206 15 0 0 25 0 1 0 132971713 121737216 28639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 29721 28639 139 317 0 29400 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 118884 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10966 /proc/meminfo: memFree=1468232/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=129260 CPUtime=282.2 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 31403 0 0 0 28202 18 0 0 25 0 1 0 132971713 132362240 31253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 32315 31253 139 317 0 31994 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 129260 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 4/83 11089 /proc/meminfo: memFree=1456336/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=139472 CPUtime=342.12 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 33958 0 0 0 34190 22 0 0 25 0 1 0 132971713 142819328 33808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10965/statm: 34868 33808 139 317 0 34547 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 139472 [startup+402.301 s] /proc/loadavg: 1.09 1.02 0.99 2/78 11164 /proc/meminfo: memFree=1449224/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=148580 CPUtime=402.06 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 36054 0 0 0 40182 24 0 0 25 0 1 0 132971713 152145920 35904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 37145 35904 139 317 0 36824 0 Current children cumulated CPU time (s) 402.06 Current children cumulated vsize (KiB) 148580 [startup+462.302 s] /proc/loadavg: 1.03 1.01 0.99 2/78 11164 /proc/meminfo: memFree=1443592/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=154044 CPUtime=462.05 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 37395 0 0 0 46179 26 0 0 25 0 1 0 132971713 157741056 37245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384521 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 38511 37245 139 317 0 38190 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 154044 [startup+522.301 s] /proc/loadavg: 1.01 1.00 0.99 2/78 11164 /proc/meminfo: memFree=1437704/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=159908 CPUtime=522.03 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 38862 0 0 0 52176 27 0 0 25 0 1 0 132971713 163745792 38712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 39977 38712 139 317 0 39656 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 159908 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11164 /proc/meminfo: memFree=1431816/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=166072 CPUtime=582.01 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 40353 0 0 0 58172 29 0 0 25 0 1 0 132971713 170057728 40203 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 41518 40203 139 317 0 41197 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 166072 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11164 /proc/meminfo: memFree=1428488/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=169264 CPUtime=642 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 41175 0 0 0 64170 30 0 0 25 0 1 0 132971713 173326336 41025 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 42316 41025 139 317 0 41995 0 Current children cumulated CPU time (s) 642 Current children cumulated vsize (KiB) 169264 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.05 1.02 1.00 2/78 11164 /proc/meminfo: memFree=1415432/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=183164 CPUtime=881.93 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 44565 0 0 0 88159 34 0 0 25 0 1 0 132971713 187559936 44286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 45791 44286 139 317 0 45470 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 183164 [startup+942.302 s] /proc/loadavg: 1.06 1.03 1.00 2/78 11164 /proc/meminfo: memFree=1412360/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=186196 CPUtime=941.92 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 45373 0 0 0 94157 35 0 0 25 0 1 0 132971713 190664704 45094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 46549 45094 139 317 0 46228 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 186196 [startup+1002.3 s] /proc/loadavg: 1.05 1.04 1.00 2/78 11164 /proc/meminfo: memFree=1409864/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=188596 CPUtime=1001.9 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 45976 0 0 0 100154 36 0 0 25 0 1 0 132971713 193122304 45697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 47149 45697 139 317 0 46828 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 188596 [startup+1062.3 s] /proc/loadavg: 1.13 1.06 1.01 2/78 11164 /proc/meminfo: memFree=1408712/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=189784 CPUtime=1061.88 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 46278 0 0 0 106152 36 0 0 25 0 1 0 132971713 194338816 45999 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384579 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 47446 45999 139 317 0 47125 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 189784 [startup+1122.3 s] /proc/loadavg: 1.19 1.08 1.01 2/78 11164 /proc/meminfo: memFree=1406152/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=192288 CPUtime=1121.87 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 46933 0 0 0 112149 38 0 0 25 0 1 0 132971713 196902912 46654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 48072 46654 139 317 0 47751 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 192288 [startup+1182.3 s] /proc/loadavg: 1.13 1.08 1.01 2/78 11164 /proc/meminfo: memFree=1401736/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=196564 CPUtime=1181.85 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 48006 0 0 0 118146 39 0 0 25 0 1 0 132971713 201281536 47727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 49141 47727 139 317 0 48820 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 196564 [startup+1242.3 s] /proc/loadavg: 1.11 1.08 1.01 2/78 11164 /proc/meminfo: memFree=1398088/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=200156 CPUtime=1241.83 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 48920 0 0 0 124143 40 0 0 25 0 1 0 132971713 204959744 48641 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 50039 48641 139 317 0 49718 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 200156 [startup+1302.3 s] /proc/loadavg: 1.09 1.07 1.01 2/78 11164 /proc/meminfo: memFree=1394504/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=203368 CPUtime=1301.82 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 49789 0 0 0 130141 41 0 0 25 0 1 0 132971713 208248832 49510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 50842 49510 139 317 0 50521 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 203368 [startup+1362.3 s] /proc/loadavg: 1.03 1.06 1.00 2/78 11164 /proc/meminfo: memFree=1390152/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=208208 CPUtime=1361.8 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 50872 0 0 0 136137 43 0 0 25 0 1 0 132971713 213204992 50593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606670 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 52052 50593 139 317 0 51731 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 208208 [startup+1422.31 s] /proc/loadavg: 1.01 1.04 1.00 2/78 11164 /proc/meminfo: memFree=1387400/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=210852 CPUtime=1421.78 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 51540 0 0 0 142135 43 0 0 25 0 1 0 132971713 215912448 51261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 52713 51261 139 317 0 52392 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 210852 [startup+1482.3 s] /proc/loadavg: 1.00 1.03 1.00 2/78 11164 /proc/meminfo: memFree=1385928/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=212512 CPUtime=1481.76 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 51924 0 0 0 148132 44 0 0 25 0 1 0 132971713 217612288 51645 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 53128 51645 139 317 0 52807 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 212512 [startup+1542.3 s] /proc/loadavg: 1.00 1.03 1.00 2/78 11164 /proc/meminfo: memFree=1383368/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=215404 CPUtime=1541.74 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 52559 0 0 0 154129 45 0 0 25 0 1 0 132971713 220573696 52280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 53851 52280 139 317 0 53530 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 215404 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 11164 /proc/meminfo: memFree=1380360/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=218332 CPUtime=1601.73 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 53310 0 0 0 160127 46 0 0 25 0 1 0 132971713 223571968 53031 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385247 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 54583 53031 139 317 0 54262 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 218332 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 11164 /proc/meminfo: memFree=1378120/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=220688 CPUtime=1661.71 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 53874 0 0 0 166124 47 0 0 25 0 1 0 132971713 225984512 53595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 55172 53595 139 317 0 54851 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 220688 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 11164 /proc/meminfo: memFree=1375816/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=222968 CPUtime=1721.69 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 54432 0 0 0 172121 48 0 0 25 0 1 0 132971713 228319232 54153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 55742 54153 139 317 0 55421 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 222968 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11164 /proc/meminfo: memFree=1374216/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=224580 CPUtime=1781.67 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 54835 0 0 0 178119 48 0 0 25 0 1 0 132971713 229969920 54556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 56145 54556 139 317 0 55824 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 224580 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11164 /proc/meminfo: memFree=1373832/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=224988 CPUtime=1800.08 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 54943 0 0 0 179960 48 0 0 25 0 1 0 132971713 230387712 54664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385270 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 56247 54664 139 317 0 55926 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 224988 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: 1.00 1.00 1.00 2/78 11164 /proc/meminfo: memFree=1373832/2055920 swapFree=4159444/4192956 [pid=10965] ppid=10963 vsize=224988 CPUtime=1800.08 /proc/10965/stat : 10965 (oree) R 10963 10965 10580 0 -1 4194304 54943 0 0 0 179960 48 0 0 25 0 1 0 132971713 230387712 54664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385270 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10965/statm: 56247 54664 139 317 0 55926 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 224988 Child status: 0 Real time (s): 1800.8 CPU time (s): 1800.17 CPU user time (s): 1799.65 CPU system time (s): 0.52492 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (KiB): 224988 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.65 system time used= 0.52492 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54959 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= 38070 runsolver used 2.19467 second user time and 4.35734 second system time The end
Begin job on node19 on Tue Apr 17 22:55:43 UTC 2007 IDJOB= 356983 IDBENCH= 1722 IDSOLVER= 172 FILE ID= node19/356983-1176850543 PBS_JOBID= 4590201 Free space on /tmp= 66479 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-greenbeb.opb COMMAND LINE= oree /tmp/evaluation/356983-1176850543/instance-356983-1176850543.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-356983-1176850543 -o ROOT/results/node19/solver-356983-1176850543 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356983-1176850543/instance-356983-1176850543.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 7808a83c255339d45cbd36765fa322a9 RANDOM SEED= 472532105 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node19.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.213 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.213 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: 1593256 kB Buffers: 38072 kB Cached: 350280 kB SwapCached: 2580 kB Active: 48620 kB Inactive: 362828 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1593256 kB SwapTotal: 4192956 kB SwapFree: 4159444 kB Dirty: 10612 kB Writeback: 0 kB Mapped: 30832 kB Slab: 36792 kB Committed_AS: 2951984 kB PageTables: 1784 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= 66479 MiB End job on node19 on Tue Apr 17 23:25:46 UTC 2007