Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.15 | 1800.8 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-greenbea.opb |
MD5SUM | 542c2b53b45e753224c38b905fee77fb |
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 | 155427 |
Total number of constraints | 2674 |
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 | 2674 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 7267 |
Number of terms in the objective function | 15205 |
Biggest coefficient in the objective function | 24902 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 537080 |
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 | 537080 |
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.94 c ...done 2.89/2.94 c #vars=155427 #constraints=4867 hasObjective=yes 3.68/3.71 c res. mode=mod 3.68/3.71 c VSIDS like heuristics 3.68/3.71 c complete search running 5.98/6.05 c restart after 401 decisions 6.38/6.46 c nbDecision=500 #constraints=4946 7.89/7.91 c restart after 801 decisions 8.69/8.78 c nbDecision=1000 #constraints=5036 10.98/11.04 c nbDecision=1500 #constraints=5098 11.48/11.51 c restart after 1601 decisions 13.28/13.35 c nbDecision=2000 #constraints=5161 15.78/15.83 c nbDecision=2500 #constraints=5322 18.18/18.21 c nbDecision=3000 #constraints=5420 19.08/19.13 c restart after 3201 decisions 20.47/20.51 c nbDecision=3500 #constraints=5479 22.77/22.87 c nbDecision=4000 #constraints=5547 25.18/25.24 c nbDecision=4500 #constraints=5621 27.58/27.65 c nbDecision=5000 #constraints=5700 29.97/30.09 c nbDecision=5500 #constraints=5798 32.37/32.42 c nbDecision=6000 #constraints=5834 34.17/34.28 c restart after 6401 decisions 34.57/34.68 c nbDecision=6500 #constraints=5855 36.97/37.07 c nbDecision=7000 #constraints=5926 39.38/39.42 c nbDecision=7500 #constraints=5993 41.67/41.74 c nbDecision=8000 #constraints=6040 44.07/44.17 c nbDecision=8500 #constraints=6146 46.47/46.52 c nbDecision=9000 #constraints=6186 48.87/48.99 c nbDecision=9500 #constraints=6296 51.36/51.44 c nbDecision=10000 #constraints=6384 53.76/53.85 c nbDecision=10500 #constraints=6456 56.17/56.22 c nbDecision=11000 #constraints=6523 58.56/58.60 c nbDecision=11500 #constraints=6596 60.86/60.97 c nbDecision=12000 #constraints=6667 63.26/63.36 c nbDecision=12500 #constraints=6748 64.76/64.85 c restart after 12801 decisions 65.66/65.74 c nbDecision=13000 #constraints=6830 68.17/68.22 c nbDecision=13500 #constraints=6914 70.56/70.61 c nbDecision=14000 #constraints=6970 72.96/73.03 c nbDecision=14500 #constraints=7043 75.36/75.46 c nbDecision=15000 #constraints=7122 77.76/77.84 c nbDecision=15500 #constraints=7170 80.26/80.30 c nbDecision=16000 #constraints=7258 82.56/82.64 c nbDecision=16500 #constraints=7289 84.95/85.09 c nbDecision=17000 #constraints=7367 87.55/87.61 c nbDecision=17500 #constraints=7475 89.95/90.03 c nbDecision=18000 #constraints=7527 92.35/92.41 c nbDecision=18500 #constraints=7560 94.75/94.82 c nbDecision=19000 #constraints=7618 97.15/97.30 c nbDecision=19500 #constraints=7704 99.55/99.62 c nbDecision=20000 #constraints=7734 101.85/101.96 c nbDecision=20500 #constraints=7778 104.25/104.37 c nbDecision=21000 #constraints=7842 106.75/106.81 c nbDecision=21500 #constraints=7908 109.15/109.20 c nbDecision=22000 #constraints=7967 111.54/111.61 c nbDecision=22500 #constraints=8039 113.84/113.91 c nbDecision=23000 #constraints=8041 116.24/116.32 c nbDecision=23500 #constraints=8113 118.54/118.69 c nbDecision=24000 #constraints=8161 120.94/121.09 c nbDecision=24500 #constraints=8221 123.44/123.56 c nbDecision=25000 #constraints=8323 125.94/126.04 c nbDecision=25500 #constraints=8435 126.44/126.51 c restart after 25601 decisions 128.33/128.45 c nbDecision=26000 #constraints=8479 130.85/130.92 c nbDecision=26500 #constraints=8532 133.24/133.30 c nbDecision=27000 #constraints=8543 135.74/135.80 c nbDecision=27500 #constraints=8612 138.14/138.25 c nbDecision=28000 #constraints=8657 140.54/140.64 c nbDecision=28500 #constraints=8679 142.84/142.98 c nbDecision=29000 #constraints=8693 145.24/145.38 c nbDecision=29500 #constraints=8711 147.63/147.79 c nbDecision=30000 #constraints=8738 150.03/150.17 c nbDecision=30500 #constraints=8753 152.53/152.61 c nbDecision=31000 #constraints=8797 154.93/155.01 c nbDecision=31500 #constraints=8820 157.33/157.41 c nbDecision=32000 #constraints=8858 159.63/159.77 c nbDecision=32500 #constraints=8879 162.03/162.18 c nbDecision=33000 #constraints=8918 164.43/164.56 c nbDecision=33500 #constraints=8935 166.82/166.97 c nbDecision=34000 #constraints=8961 169.22/169.40 c nbDecision=34500 #constraints=8997 171.72/171.87 c nbDecision=35000 #constraints=9049 174.23/174.31 c nbDecision=35500 #constraints=9096 176.63/176.73 c nbDecision=36000 #constraints=9126 179.02/179.16 c nbDecision=36500 #constraints=9175 181.43/181.56 c nbDecision=37000 #constraints=9213 183.82/183.97 c nbDecision=37500 #constraints=9264 186.22/186.39 c nbDecision=38000 #constraints=9293 188.72/188.87 c nbDecision=38500 #constraints=9345 191.12/191.24 c nbDecision=39000 #constraints=9358 193.42/193.60 c nbDecision=39500 #constraints=9371 195.91/196.01 c nbDecision=40000 #constraints=9424 198.31/198.42 c nbDecision=40500 #constraints=9460 200.71/200.86 c nbDecision=41000 #constraints=9524 203.21/203.32 c nbDecision=41500 #constraints=9600 205.62/205.72 c nbDecision=42000 #constraints=9624 208.02/208.16 c nbDecision=42500 #constraints=9661 210.42/210.58 c nbDecision=43000 #constraints=9701 212.91/213.03 c nbDecision=43500 #constraints=9769 215.41/215.60 c nbDecision=44000 #constraints=9924 218.11/218.24 c nbDecision=44500 #constraints=10082 220.51/220.63 c nbDecision=45000 #constraints=10108 223.01/223.14 c nbDecision=45500 #constraints=10180 225.41/225.59 c nbDecision=46000 #constraints=10220 227.91/228.09 c nbDecision=46500 #constraints=10274 230.40/230.50 c nbDecision=47000 #constraints=10302 232.80/232.97 c nbDecision=47500 #constraints=10357 235.31/235.45 c nbDecision=48000 #constraints=10418 237.80/237.91 c nbDecision=48500 #constraints=10472 240.30/240.43 c nbDecision=49000 #constraints=10570 242.70/242.82 c nbDecision=49500 #constraints=10609 245.10/245.24 c nbDecision=50000 #constraints=10658 247.60/247.74 c nbDecision=50500 #constraints=10726 249.99/250.19 c nbDecision=51000 #constraints=10779 250.99/251.15 c restart after 51201 decisions 252.39/252.57 c nbDecision=51500 #constraints=10786 254.89/255.05 c nbDecision=52000 #constraints=10823 257.49/257.67 c nbDecision=52500 #constraints=10895 259.99/260.14 c nbDecision=53000 #constraints=10927 262.39/262.56 c nbDecision=53500 #constraints=10941 264.79/264.99 c nbDecision=54000 #constraints=10948 267.39/267.54 c nbDecision=54500 #constraints=11004 269.79/269.99 c nbDecision=55000 #constraints=11007 272.29/272.49 c nbDecision=55500 #constraints=11044 274.89/275.02 c nbDecision=56000 #constraints=11094 277.29/277.42 c nbDecision=56500 #constraints=11096 279.79/279.91 c nbDecision=57000 #constraints=11128 282.29/282.41 c nbDecision=57500 #constraints=11197 284.79/284.94 c nbDecision=58000 #constraints=11280 287.28/287.42 c nbDecision=58500 #constraints=11335 289.78/289.94 c nbDecision=59000 #constraints=11396 292.28/292.43 c nbDecision=59500 #constraints=11454 294.88/295.01 c nbDecision=60000 #constraints=11540 297.28/297.48 c nbDecision=60500 #constraints=11601 299.78/299.99 c nbDecision=61000 #constraints=11671 302.38/302.50 c nbDecision=61500 #constraints=11746 304.87/305.02 c nbDecision=62000 #constraints=11802 307.37/307.53 c nbDecision=62500 #constraints=11868 309.87/310.06 c nbDecision=63000 #constraints=11925 312.37/312.56 c nbDecision=63500 #constraints=11970 314.87/315.05 c nbDecision=64000 #constraints=12015 317.27/317.48 c nbDecision=64500 #constraints=12044 319.77/320.00 c nbDecision=65000 #constraints=12098 322.37/322.54 c nbDecision=65500 #constraints=12155 324.97/325.11 c nbDecision=66000 #constraints=12228 327.57/327.79 c nbDecision=66500 #constraints=12340 330.27/330.43 c nbDecision=67000 #constraints=12425 332.87/333.06 c nbDecision=67500 #constraints=12489 335.37/335.55 c nbDecision=68000 #constraints=12512 337.96/338.12 c nbDecision=68500 #constraints=12561 340.46/340.70 c nbDecision=69000 #constraints=12615 343.06/343.26 c nbDecision=69500 #constraints=12667 345.66/345.83 c nbDecision=70000 #constraints=12722 348.26/348.42 c nbDecision=70500 #constraints=12764 350.76/350.97 c nbDecision=71000 #constraints=12784 353.35/353.58 c nbDecision=71500 #constraints=12820 355.95/356.17 c nbDecision=72000 #constraints=12861 358.46/358.66 c nbDecision=72500 #constraints=12871 361.05/361.23 c nbDecision=73000 #constraints=12904 363.66/363.83 c nbDecision=73500 #constraints=12941 366.16/366.38 c nbDecision=74000 #constraints=12956 368.76/368.90 c nbDecision=74500 #constraints=12969 371.25/371.43 c nbDecision=75000 #constraints=12981 373.95/374.13 c nbDecision=75500 #constraints=13050 376.55/376.75 c nbDecision=76000 #constraints=13100 379.15/379.34 c nbDecision=76500 #constraints=13136 381.75/381.91 c nbDecision=77000 #constraints=13165 384.15/384.38 c nbDecision=77500 #constraints=13168 386.75/386.94 c nbDecision=78000 #constraints=13196 389.44/389.61 c nbDecision=78500 #constraints=13254 392.04/392.22 c nbDecision=79000 #constraints=13291 394.54/394.74 c nbDecision=79500 #constraints=13320 397.14/397.33 c nbDecision=80000 #constraints=13349 399.74/399.90 c nbDecision=80500 #constraints=13380 402.14/402.40 c nbDecision=81000 #constraints=13384 404.64/404.90 c nbDecision=81500 #constraints=13399 407.24/407.47 c nbDecision=82000 #constraints=13440 409.73/409.97 c nbDecision=82500 #constraints=13460 412.23/412.49 c nbDecision=83000 #constraints=13493 414.93/415.10 c nbDecision=83500 #constraints=13549 417.43/417.64 c nbDecision=84000 #constraints=13590 420.03/420.23 c nbDecision=84500 #constraints=13667 422.53/422.73 c nbDecision=85000 #constraints=13720 425.13/425.30 c nbDecision=85500 #constraints=13768 427.73/427.94 c nbDecision=86000 #constraints=13829 430.23/430.47 c nbDecision=86500 #constraints=13844 432.93/433.16 c nbDecision=87000 #constraints=13917 435.63/435.86 c nbDecision=87500 #constraints=13978 438.42/438.64 c nbDecision=88000 #constraints=14063 441.22/441.45 c nbDecision=88500 #constraints=14179 444.02/444.29 c nbDecision=89000 #constraints=14302 446.72/446.90 c nbDecision=89500 #constraints=14333 449.22/449.45 c nbDecision=90000 #constraints=14358 451.92/452.11 c nbDecision=90500 #constraints=14407 454.52/454.74 c nbDecision=91000 #constraints=14447 457.11/457.35 c nbDecision=91500 #constraints=14483 459.81/460.01 c nbDecision=92000 #constraints=14538 462.41/462.62 c nbDecision=92500 #constraints=14569 465.02/465.27 c nbDecision=93000 #constraints=14653 467.72/467.95 c nbDecision=93500 #constraints=14752 470.32/470.53 c nbDecision=94000 #constraints=14798 472.82/473.10 c nbDecision=94500 #constraints=14836 475.41/475.66 c nbDecision=95000 #constraints=14880 478.11/478.32 c nbDecision=95500 #constraints=14978 480.71/480.92 c nbDecision=96000 #constraints=15049 483.31/483.56 c nbDecision=96500 #constraints=15136 486.01/486.22 c nbDecision=97000 #constraints=15152 488.61/488.83 c nbDecision=97500 #constraints=15159 491.20/491.49 c nbDecision=98000 #constraints=15178 493.90/494.17 c nbDecision=98500 #constraints=15199 496.60/496.88 c nbDecision=99000 #constraints=15239 499.20/499.49 c nbDecision=99500 #constraints=15254 501.90/502.14 c nbDecision=100000 #constraints=15274 504.60/504.83 c nbDecision=100500 #constraints=15307 507.10/507.39 c nbDecision=101000 #constraints=15315 509.99/510.21 c nbDecision=101500 #constraints=15418 512.69/512.95 c nbDecision=102000 #constraints=15496 514.90/515.10 c restart after 102401 decisions 515.30/515.59 c nbDecision=102500 #constraints=15552 518.00/518.20 c nbDecision=103000 #constraints=15568 520.59/520.85 c nbDecision=103500 #constraints=15588 523.19/523.50 c nbDecision=104000 #constraints=15602 525.99/526.20 c nbDecision=104500 #constraints=15633 528.69/528.94 c nbDecision=105000 #constraints=15657 531.39/531.66 c nbDecision=105500 #constraints=15680 534.19/534.42 c nbDecision=106000 #constraints=15720 536.79/537.05 c nbDecision=106500 #constraints=15748 539.49/539.74 c nbDecision=107000 #constraints=15774 542.09/542.34 c nbDecision=107500 #constraints=15787 544.68/544.96 c nbDecision=108000 #constraints=15801 547.28/547.59 c nbDecision=108500 #constraints=15808 549.88/550.18 c nbDecision=109000 #constraints=15812 552.58/552.89 c nbDecision=109500 #constraints=15846 555.18/555.50 c nbDecision=110000 #constraints=15850 557.78/558.03 c nbDecision=110500 #constraints=15853 560.28/560.58 c nbDecision=111000 #constraints=15868 563.17/563.42 c nbDecision=111500 #constraints=15928 565.77/566.04 c nbDecision=112000 #constraints=15948 568.37/568.62 c nbDecision=112500 #constraints=15955 570.97/571.24 c nbDecision=113000 #constraints=15988 573.67/573.97 c nbDecision=113500 #constraints=16041 576.37/576.61 c nbDecision=114000 #constraints=16081 578.96/579.22 c nbDecision=114500 #constraints=16117 581.47/581.78 c nbDecision=115000 #constraints=16121 584.07/584.36 c nbDecision=115500 #constraints=16136 586.57/586.88 c nbDecision=116000 #constraints=16156 589.17/589.49 c nbDecision=116500 #constraints=16212 591.77/592.09 c nbDecision=117000 #constraints=16258 594.36/594.64 c nbDecision=117500 #constraints=16294 596.96/597.20 c nbDecision=118000 #constraints=16331 599.56/599.82 c nbDecision=118500 #constraints=16439 602.06/602.38 c nbDecision=119000 #constraints=16532 604.66/604.98 c nbDecision=119500 #constraints=16615 607.35/607.60 c nbDecision=120000 #constraints=16698 609.85/610.17 c nbDecision=120500 #constraints=16750 612.35/612.69 c nbDecision=121000 #constraints=16805 614.95/615.25 c nbDecision=121500 #constraints=16895 617.45/617.74 c nbDecision=122000 #constraints=16940 620.15/620.48 c nbDecision=122500 #constraints=17000 622.85/623.16 c nbDecision=123000 #constraints=17030 625.55/625.80 c nbDecision=123500 #constraints=17058 628.15/628.46 c nbDecision=124000 #constraints=17084 630.75/631.05 c nbDecision=124500 #constraints=17092 633.35/633.66 c nbDecision=125000 #constraints=17096 635.95/636.28 c nbDecision=125500 #constraints=17151 638.65/638.97 c nbDecision=126000 #constraints=17221 641.25/641.59 c nbDecision=126500 #constraints=17273 643.95/644.26 c nbDecision=127000 #constraints=17342 646.65/646.91 c nbDecision=127500 #constraints=17388 649.24/649.54 c nbDecision=128000 #constraints=17440 651.94/652.22 c nbDecision=128500 #constraints=17507 654.54/654.89 c nbDecision=129000 #constraints=17579 657.34/657.62 c nbDecision=129500 #constraints=17602 660.14/660.41 c nbDecision=130000 #constraints=17644 662.84/663.10 c nbDecision=130500 #constraints=17672 665.54/665.81 c nbDecision=131000 #constraints=17711 668.33/668.68 c nbDecision=131500 #constraints=17768 671.13/671.45 c nbDecision=132000 #constraints=17811 673.93/674.26 c nbDecision=132500 #constraints=17862 676.63/676.93 c nbDecision=133000 #constraints=17892 679.33/679.60 c nbDecision=133500 #constraints=17926 681.93/682.29 c nbDecision=134000 #constraints=17939 684.73/685.04 c nbDecision=134500 #constraints=17966 687.53/687.86 c nbDecision=135000 #constraints=18029 690.33/690.64 c nbDecision=135500 #constraints=18078 693.12/693.42 c nbDecision=136000 #constraints=18116 695.73/696.06 c nbDecision=136500 #constraints=18141 698.53/698.81 c nbDecision=137000 #constraints=18180 701.23/701.53 c nbDecision=137500 #constraints=18209 703.83/704.18 c nbDecision=138000 #constraints=18227 706.63/706.91 c nbDecision=138500 #constraints=18265 709.23/709.55 c nbDecision=139000 #constraints=18272 711.93/712.26 c nbDecision=139500 #constraints=18302 714.63/714.93 c nbDecision=140000 #constraints=18349 717.42/717.75 c nbDecision=140500 #constraints=18503 720.12/720.46 c nbDecision=141000 #constraints=18586 722.92/723.26 c nbDecision=141500 #constraints=18643 725.72/726.01 c nbDecision=142000 #constraints=18659 728.42/728.71 c nbDecision=142500 #constraints=18680 731.22/731.56 c nbDecision=143000 #constraints=18697 734.02/734.30 c nbDecision=143500 #constraints=18715 736.72/737.01 c nbDecision=144000 #constraints=18735 739.41/739.77 c nbDecision=144500 #constraints=18741 742.11/742.40 c nbDecision=145000 #constraints=18744 744.81/745.11 c nbDecision=145500 #constraints=18762 747.41/747.80 c nbDecision=146000 #constraints=18766 750.21/750.52 c nbDecision=146500 #constraints=18774 752.91/753.21 c nbDecision=147000 #constraints=18784 755.61/755.98 c nbDecision=147500 #constraints=18817 758.31/758.66 c nbDecision=148000 #constraints=18855 761.01/761.35 c nbDecision=148500 #constraints=18898 763.71/764.04 c nbDecision=149000 #constraints=18940 766.41/766.74 c nbDecision=149500 #constraints=18974 769.10/769.50 c nbDecision=150000 #constraints=19038 771.90/772.28 c nbDecision=150500 #constraints=19054 774.90/775.20 c nbDecision=151000 #constraints=19091 777.60/777.95 c nbDecision=151500 #constraints=19105 780.40/780.70 c nbDecision=152000 #constraints=19122 783.09/783.48 c nbDecision=152500 #constraints=19149 785.79/786.17 c nbDecision=153000 #constraints=19161 788.59/788.99 c nbDecision=153500 #constraints=19168 791.49/791.84 c nbDecision=154000 #constraints=19202 794.29/794.66 c nbDecision=154500 #constraints=19230 797.09/797.43 c nbDecision=155000 #constraints=19244 799.90/800.24 c nbDecision=155500 #constraints=19275 802.60/802.90 c nbDecision=156000 #constraints=19278 805.29/805.64 c nbDecision=156500 #constraints=19291 807.99/808.32 c nbDecision=157000 #constraints=19303 810.69/811.02 c nbDecision=157500 #constraints=19355 813.39/813.77 c nbDecision=158000 #constraints=19418 816.19/816.51 c nbDecision=158500 #constraints=19472 818.79/819.14 c nbDecision=159000 #constraints=19502 821.49/821.85 c nbDecision=159500 #constraints=19605 824.08/824.43 c nbDecision=160000 #constraints=19693 826.58/826.96 c nbDecision=160500 #constraints=19745 829.28/829.67 c nbDecision=161000 #constraints=19803 832.08/832.43 c nbDecision=161500 #constraints=19867 834.78/835.13 c nbDecision=162000 #constraints=19961 837.48/837.87 c nbDecision=162500 #constraints=20064 840.38/840.73 c nbDecision=163000 #constraints=20091 843.08/843.46 c nbDecision=163500 #constraints=20097 846.08/846.50 c nbDecision=164000 #constraints=20153 848.98/849.36 c nbDecision=164500 #constraints=20174 851.88/852.29 c nbDecision=165000 #constraints=20218 854.77/855.13 c nbDecision=165500 #constraints=20230 857.57/857.93 c nbDecision=166000 #constraints=20250 860.37/860.72 c nbDecision=166500 #constraints=20269 863.07/863.42 c nbDecision=167000 #constraints=20279 865.87/866.29 c nbDecision=167500 #constraints=20316 868.67/869.04 c nbDecision=168000 #constraints=20329 871.57/871.92 c nbDecision=168500 #constraints=20360 874.37/874.72 c nbDecision=169000 #constraints=20384 877.17/877.55 c nbDecision=169500 #constraints=20420 879.77/880.18 c nbDecision=170000 #constraints=20433 882.46/882.86 c nbDecision=170500 #constraints=20446 885.17/885.55 c nbDecision=171000 #constraints=20465 887.86/888.26 c nbDecision=171500 #constraints=20492 890.56/890.91 c nbDecision=172000 #constraints=20555 893.26/893.66 c nbDecision=172500 #constraints=20636 895.96/896.35 c nbDecision=173000 #constraints=20704 898.56/898.97 c nbDecision=173500 #constraints=20752 901.26/901.62 c nbDecision=174000 #constraints=20838 903.75/904.19 c nbDecision=174500 #constraints=20882 906.45/906.87 c nbDecision=175000 #constraints=20955 909.36/909.73 c nbDecision=175500 #constraints=20992 912.25/912.60 c nbDecision=176000 #constraints=21010 915.05/915.49 c nbDecision=176500 #constraints=21031 917.95/918.36 c nbDecision=177000 #constraints=21053 920.85/921.23 c nbDecision=177500 #constraints=21070 923.75/924.13 c nbDecision=178000 #constraints=21090 926.55/926.94 c nbDecision=178500 #constraints=21098 929.44/929.85 c nbDecision=179000 #constraints=21113 932.45/932.80 c nbDecision=179500 #constraints=21157 935.24/935.66 c nbDecision=180000 #constraints=21168 938.05/938.49 c nbDecision=180500 #constraints=21183 940.84/941.24 c nbDecision=181000 #constraints=21186 943.74/944.19 c nbDecision=181500 #constraints=21215 946.44/946.88 c nbDecision=182000 #constraints=21227 949.24/949.63 c nbDecision=182500 #constraints=21287 951.94/952.38 c nbDecision=183000 #constraints=21337 954.83/955.23 c nbDecision=183500 #constraints=21409 957.63/958.08 c nbDecision=184000 #constraints=21447 960.53/960.97 c nbDecision=184500 #constraints=21473 963.43/963.83 c nbDecision=185000 #constraints=21492 966.23/966.65 c nbDecision=185500 #constraints=21505 969.34/969.73 c nbDecision=186000 #constraints=21575 972.23/972.66 c nbDecision=186500 #constraints=21600 975.03/975.48 c nbDecision=187000 #constraints=21617 978.03/978.49 c nbDecision=187500 #constraints=21677 980.93/981.38 c nbDecision=188000 #constraints=21702 983.63/984.08 c nbDecision=188500 #constraints=21709 986.62/987.08 c nbDecision=189000 #constraints=21762 989.52/989.96 c nbDecision=189500 #constraints=21787 992.52/992.93 c nbDecision=190000 #constraints=21794 995.42/995.82 c nbDecision=190500 #constraints=21819 998.32/998.72 c nbDecision=191000 #constraints=21837 1001.22/1001.62 c nbDecision=191500 #constraints=21841 1004.22/1004.62 c nbDecision=192000 #constraints=21881 1007.02/1007.43 c nbDecision=192500 #constraints=21905 1009.81/1010.25 c nbDecision=193000 #constraints=21923 1012.61/1013.03 c nbDecision=193500 #constraints=21932 1015.41/1015.82 c nbDecision=194000 #constraints=21959 1018.11/1018.56 c nbDecision=194500 #constraints=21973 1020.91/1021.35 c nbDecision=195000 #constraints=21988 1023.71/1024.11 c nbDecision=195500 #constraints=22004 1026.51/1026.92 c nbDecision=196000 #constraints=22023 1029.21/1029.69 c nbDecision=196500 #constraints=22084 1032.11/1032.52 c nbDecision=197000 #constraints=22141 1034.90/1035.37 c nbDecision=197500 #constraints=22189 1037.71/1038.19 c nbDecision=198000 #constraints=22296 1040.51/1040.90 c nbDecision=198500 #constraints=22384 1043.21/1043.65 c nbDecision=199000 #constraints=22441 1046.11/1046.50 c nbDecision=199500 #constraints=22471 1049.01/1049.46 c nbDecision=200000 #constraints=22474 1052.00/1052.46 c nbDecision=200500 #constraints=22489 1055.00/1055.47 c nbDecision=201000 #constraints=22511 1057.91/1058.39 c nbDecision=201500 #constraints=22514 1060.80/1061.27 c nbDecision=202000 #constraints=22526 1063.80/1064.23 c nbDecision=202500 #constraints=22542 1066.90/1067.34 c nbDecision=203000 #constraints=22575 1069.90/1070.32 c nbDecision=203500 #constraints=22598 1072.90/1073.37 c nbDecision=204000 #constraints=22639 1075.80/1076.30 c nbDecision=204500 #constraints=22651 1077.60/1078.10 c restart after 204801 decisions 1078.80/1079.24 c nbDecision=205000 #constraints=22664 1081.69/1082.15 c nbDecision=205500 #constraints=22680 1084.69/1085.10 c nbDecision=206000 #constraints=22701 1087.69/1088.10 c nbDecision=206500 #constraints=22712 1090.69/1091.15 c nbDecision=207000 #constraints=22742 1093.79/1094.25 c nbDecision=207500 #constraints=22766 1096.69/1097.19 c nbDecision=208000 #constraints=22778 1099.79/1100.23 c nbDecision=208500 #constraints=22793 1102.79/1103.29 c nbDecision=209000 #constraints=22817 1105.58/1106.09 c nbDecision=209500 #constraints=22819 1108.78/1109.29 c nbDecision=210000 #constraints=22862 1111.88/1112.33 c nbDecision=210500 #constraints=22895 1114.78/1115.29 c nbDecision=211000 #constraints=22916 1117.58/1118.08 c nbDecision=211500 #constraints=22918 1120.48/1120.99 c nbDecision=212000 #constraints=22935 1123.38/1123.88 c nbDecision=212500 #constraints=22945 1126.37/1126.85 c nbDecision=213000 #constraints=22982 1129.17/1129.65 c nbDecision=213500 #constraints=22999 1131.87/1132.39 c nbDecision=214000 #constraints=23014 1134.77/1135.21 c nbDecision=214500 #constraints=23044 1137.37/1137.85 c nbDecision=215000 #constraints=23052 1140.17/1140.62 c nbDecision=215500 #constraints=23069 1142.97/1143.46 c nbDecision=216000 #constraints=23101 1145.78/1146.23 c nbDecision=216500 #constraints=23124 1148.57/1149.01 c nbDecision=217000 #constraints=23145 1151.28/1151.70 c nbDecision=217500 #constraints=23148 1153.97/1154.45 c nbDecision=218000 #constraints=23152 1156.67/1157.17 c nbDecision=218500 #constraints=23165 1159.37/1159.87 c nbDecision=219000 #constraints=23198 1162.17/1162.69 c nbDecision=219500 #constraints=23265 1164.97/1165.41 c nbDecision=220000 #constraints=23284 1167.67/1168.13 c nbDecision=220500 #constraints=23302 1170.36/1170.87 c nbDecision=221000 #constraints=23343 1173.06/1173.59 c nbDecision=221500 #constraints=23393 1175.86/1176.38 c nbDecision=222000 #constraints=23420 1178.96/1179.41 c nbDecision=222500 #constraints=23482 1181.76/1182.28 c nbDecision=223000 #constraints=23505 1184.86/1185.34 c nbDecision=223500 #constraints=23544 1187.86/1188.33 c nbDecision=224000 #constraints=23582 1190.86/1191.34 c nbDecision=224500 #constraints=23627 1193.75/1194.28 c nbDecision=225000 #constraints=23658 1196.55/1197.06 c nbDecision=225500 #constraints=23670 1199.55/1200.01 c nbDecision=226000 #constraints=23695 1202.35/1202.84 c nbDecision=226500 #constraints=23730 1205.35/1205.80 c nbDecision=227000 #constraints=23781 1208.15/1208.62 c nbDecision=227500 #constraints=23820 1211.14/1211.61 c nbDecision=228000 #constraints=23876 1213.84/1214.39 c nbDecision=228500 #constraints=23896 1216.74/1217.22 c nbDecision=229000 #constraints=23940 1219.54/1220.04 c nbDecision=229500 #constraints=24001 1222.34/1222.88 c nbDecision=230000 #constraints=24065 1225.24/1225.76 c nbDecision=230500 #constraints=24152 1228.34/1228.82 c nbDecision=231000 #constraints=24211 1231.34/1231.88 c nbDecision=231500 #constraints=24246 1234.33/1234.80 c nbDecision=232000 #constraints=24259 1237.23/1237.79 c nbDecision=232500 #constraints=24290 1240.13/1240.68 c nbDecision=233000 #constraints=24309 1242.94/1243.48 c nbDecision=233500 #constraints=24366 1245.84/1246.31 c nbDecision=234000 #constraints=24412 1248.74/1249.20 c nbDecision=234500 #constraints=24468 1251.53/1252.04 c nbDecision=235000 #constraints=24509 1254.43/1254.93 c nbDecision=235500 #constraints=24546 1257.53/1258.02 c nbDecision=236000 #constraints=24593 1260.63/1261.18 c nbDecision=236500 #constraints=24624 1263.63/1264.18 c nbDecision=237000 #constraints=24645 1266.63/1267.12 c nbDecision=237500 #constraints=24659 1269.63/1270.19 c nbDecision=238000 #constraints=24675 1272.83/1273.32 c nbDecision=238500 #constraints=24700 1275.63/1276.18 c nbDecision=239000 #constraints=24704 1278.72/1279.28 c nbDecision=239500 #constraints=24734 1281.72/1282.25 c nbDecision=240000 #constraints=24747 1284.62/1285.17 c nbDecision=240500 #constraints=24761 1287.62/1288.11 c nbDecision=241000 #constraints=24775 1290.42/1290.99 c nbDecision=241500 #constraints=24778 1293.62/1294.14 c nbDecision=242000 #constraints=24813 1296.52/1297.08 c nbDecision=242500 #constraints=24827 1299.31/1299.89 c nbDecision=243000 #constraints=24840 1302.12/1302.62 c nbDecision=243500 #constraints=24870 1304.81/1305.33 c nbDecision=244000 #constraints=24905 1307.42/1307.99 c nbDecision=244500 #constraints=24945 1310.11/1310.65 c nbDecision=245000 #constraints=24992 1312.71/1313.22 c nbDecision=245500 #constraints=25023 1315.51/1316.03 c nbDecision=246000 #constraints=25054 1318.51/1319.07 c nbDecision=246500 #constraints=25068 1321.50/1322.04 c nbDecision=247000 #constraints=25071 1324.60/1325.12 c nbDecision=247500 #constraints=25084 1327.70/1328.25 c nbDecision=248000 #constraints=25100 1330.70/1331.24 c nbDecision=248500 #constraints=25103 1333.80/1334.32 c nbDecision=249000 #constraints=25107 1336.71/1337.29 c nbDecision=249500 #constraints=25157 1339.81/1340.37 c nbDecision=250000 #constraints=25171 1342.90/1343.48 c nbDecision=250500 #constraints=25184 1346.01/1346.52 c nbDecision=251000 #constraints=25192 1349.10/1349.61 c nbDecision=251500 #constraints=25203 1352.30/1352.80 c nbDecision=252000 #constraints=25234 1355.50/1356.01 c nbDecision=252500 #constraints=25271 1358.70/1359.25 c nbDecision=253000 #constraints=25294 1361.80/1362.31 c nbDecision=253500 #constraints=25310 1364.80/1365.31 c nbDecision=254000 #constraints=25313 1367.79/1368.35 c nbDecision=254500 #constraints=25316 1371.09/1371.60 c nbDecision=255000 #constraints=25336 1374.09/1374.64 c nbDecision=255500 #constraints=25348 1377.09/1377.62 c nbDecision=256000 #constraints=25364 1379.89/1380.48 c nbDecision=256500 #constraints=25377 1382.89/1383.41 c nbDecision=257000 #constraints=25381 1385.89/1386.48 c nbDecision=257500 #constraints=25405 1388.99/1389.57 c nbDecision=258000 #constraints=25428 1391.98/1392.54 c nbDecision=258500 #constraints=25433 1394.98/1395.57 c nbDecision=259000 #constraints=25449 1397.88/1398.45 c nbDecision=259500 #constraints=25454 1400.88/1401.43 c nbDecision=260000 #constraints=25479 1403.78/1404.36 c nbDecision=260500 #constraints=25523 1406.88/1407.40 c nbDecision=261000 #constraints=25570 1409.78/1410.30 c nbDecision=261500 #constraints=25582 1412.67/1413.29 c nbDecision=262000 #constraints=25633 1415.67/1416.25 c nbDecision=262500 #constraints=25637 1418.67/1419.21 c nbDecision=263000 #constraints=25649 1421.67/1422.23 c nbDecision=263500 #constraints=25663 1424.67/1425.29 c nbDecision=264000 #constraints=25688 1427.97/1428.58 c nbDecision=264500 #constraints=25715 1431.27/1431.80 c nbDecision=265000 #constraints=25730 1434.36/1434.99 c nbDecision=265500 #constraints=25752 1437.76/1438.34 c nbDecision=266000 #constraints=25797 1441.26/1441.86 c nbDecision=266500 #constraints=25866 1444.26/1444.83 c nbDecision=267000 #constraints=25871 1447.36/1447.90 c nbDecision=267500 #constraints=25888 1450.36/1450.99 c nbDecision=268000 #constraints=25900 1453.67/1454.23 c nbDecision=268500 #constraints=25948 1456.76/1457.33 c nbDecision=269000 #constraints=25958 1459.96/1460.51 c nbDecision=269500 #constraints=25992 1462.96/1463.59 c nbDecision=270000 #constraints=26021 1465.96/1466.56 c nbDecision=270500 #constraints=26026 1469.06/1469.70 c nbDecision=271000 #constraints=26078 1472.06/1472.61 c nbDecision=271500 #constraints=26104 1474.95/1475.58 c nbDecision=272000 #constraints=26116 1477.96/1478.52 c nbDecision=272500 #constraints=26147 1480.85/1481.44 c nbDecision=273000 #constraints=26162 1483.85/1484.44 c nbDecision=273500 #constraints=26179 1487.05/1487.60 c nbDecision=274000 #constraints=26190 1490.25/1490.81 c nbDecision=274500 #constraints=26212 1493.55/1494.16 c nbDecision=275000 #constraints=26229 1496.65/1497.26 c nbDecision=275500 #constraints=26243 1499.75/1500.35 c nbDecision=276000 #constraints=26250 1502.84/1503.44 c nbDecision=276500 #constraints=26275 1505.94/1506.51 c nbDecision=277000 #constraints=26278 1509.04/1509.62 c nbDecision=277500 #constraints=26298 1512.04/1512.67 c nbDecision=278000 #constraints=26313 1515.24/1515.80 c nbDecision=278500 #constraints=26341 1518.24/1518.83 c nbDecision=279000 #constraints=26369 1521.43/1522.09 c nbDecision=279500 #constraints=26426 1524.43/1525.01 c nbDecision=280000 #constraints=26431 1527.44/1528.07 c nbDecision=280500 #constraints=26451 1530.73/1531.39 c nbDecision=281000 #constraints=26467 1533.73/1534.39 c nbDecision=281500 #constraints=26478 1536.83/1537.42 c nbDecision=282000 #constraints=26484 1539.73/1540.38 c nbDecision=282500 #constraints=26498 1542.83/1543.45 c nbDecision=283000 #constraints=26504 1545.93/1546.51 c nbDecision=283500 #constraints=26512 1548.82/1549.48 c nbDecision=284000 #constraints=26516 1551.92/1552.50 c nbDecision=284500 #constraints=26540 1554.93/1555.54 c nbDecision=285000 #constraints=26568 1557.92/1558.57 c nbDecision=285500 #constraints=26590 1561.02/1561.64 c nbDecision=286000 #constraints=26624 1564.12/1564.72 c nbDecision=286500 #constraints=26639 1567.02/1567.65 c nbDecision=287000 #constraints=26665 1569.92/1570.58 c nbDecision=287500 #constraints=26685 1572.92/1573.53 c nbDecision=288000 #constraints=26704 1575.92/1576.55 c nbDecision=288500 #constraints=26732 1578.82/1579.41 c nbDecision=289000 #constraints=26749 1581.72/1582.38 c nbDecision=289500 #constraints=26794 1584.72/1585.37 c nbDecision=290000 #constraints=26845 1587.72/1588.36 c nbDecision=290500 #constraints=26897 1590.72/1591.34 c nbDecision=291000 #constraints=26960 1593.71/1594.38 c nbDecision=291500 #constraints=27022 1596.91/1597.51 c nbDecision=292000 #constraints=27082 1600.21/1600.85 c nbDecision=292500 #constraints=27097 1603.61/1604.24 c nbDecision=293000 #constraints=27137 1606.81/1607.41 c nbDecision=293500 #constraints=27147 1610.01/1610.64 c nbDecision=294000 #constraints=27158 1613.60/1614.23 c nbDecision=294500 #constraints=27203 1616.60/1617.29 c nbDecision=295000 #constraints=27225 1619.81/1620.47 c nbDecision=295500 #constraints=27241 1622.90/1623.57 c nbDecision=296000 #constraints=27255 1626.10/1626.70 c nbDecision=296500 #constraints=27280 1629.30/1629.91 c nbDecision=297000 #constraints=27299 1632.30/1632.94 c nbDecision=297500 #constraints=27318 1635.30/1635.99 c nbDecision=298000 #constraints=27334 1638.50/1639.11 c nbDecision=298500 #constraints=27351 1641.60/1642.24 c nbDecision=299000 #constraints=27365 1644.79/1645.47 c nbDecision=299500 #constraints=27407 1648.09/1648.77 c nbDecision=300000 #constraints=27487 1651.39/1652.00 c nbDecision=300500 #constraints=27522 1654.49/1655.14 c nbDecision=301000 #constraints=27557 1657.49/1658.15 c nbDecision=301500 #constraints=27610 1660.58/1661.29 c nbDecision=302000 #constraints=27671 1663.70/1664.34 c nbDecision=302500 #constraints=27699 1667.00/1667.60 c nbDecision=303000 #constraints=27711 1669.89/1670.56 c nbDecision=303500 #constraints=27713 1673.09/1673.78 c nbDecision=304000 #constraints=27732 1676.39/1677.08 c nbDecision=304500 #constraints=27779 1679.49/1680.19 c nbDecision=305000 #constraints=27787 1682.59/1683.23 c nbDecision=305500 #constraints=27802 1685.88/1686.54 c nbDecision=306000 #constraints=27832 1689.09/1689.74 c nbDecision=306500 #constraints=27856 1692.08/1692.79 c nbDecision=307000 #constraints=27860 1695.28/1695.90 c nbDecision=307500 #constraints=27889 1698.18/1698.89 c nbDecision=308000 #constraints=27893 1701.18/1701.88 c nbDecision=308500 #constraints=27897 1704.18/1704.86 c nbDecision=309000 #constraints=27902 1707.07/1707.77 c nbDecision=309500 #constraints=27916 1709.98/1710.61 c nbDecision=310000 #constraints=27920 1712.97/1713.61 c nbDecision=310500 #constraints=27936 1715.87/1716.53 c nbDecision=311000 #constraints=27966 1718.67/1719.38 c nbDecision=311500 #constraints=27990 1721.87/1722.56 c nbDecision=312000 #constraints=28005 1724.97/1725.64 c nbDecision=312500 #constraints=28009 1728.07/1728.72 c nbDecision=313000 #constraints=28023 1731.36/1732.00 c nbDecision=313500 #constraints=28033 1734.46/1735.19 c nbDecision=314000 #constraints=28045 1737.86/1738.50 c nbDecision=314500 #constraints=28070 1741.16/1741.80 c nbDecision=315000 #constraints=28099 1744.16/1744.85 c nbDecision=315500 #constraints=28103 1747.36/1748.05 c nbDecision=316000 #constraints=28115 1750.36/1751.01 c nbDecision=316500 #constraints=28126 1753.46/1754.13 c nbDecision=317000 #constraints=28166 1756.35/1757.08 c nbDecision=317500 #constraints=28204 1759.65/1760.38 c nbDecision=318000 #constraints=28230 1762.95/1763.69 c nbDecision=318500 #constraints=28254 1766.25/1766.94 c nbDecision=319000 #constraints=28273 1769.65/1770.37 c nbDecision=319500 #constraints=28314 1772.85/1773.55 c nbDecision=320000 #constraints=28326 1775.95/1776.61 c nbDecision=320500 #constraints=28333 1779.05/1779.80 c nbDecision=321000 #constraints=28355 1782.14/1782.86 c nbDecision=321500 #constraints=28368 1785.34/1786.00 c nbDecision=322000 #constraints=28393 1788.35/1789.08 c nbDecision=322500 #constraints=28414 1791.35/1792.06 c nbDecision=323000 #constraints=28418 1794.45/1795.14 c nbDecision=323500 #constraints=28428 1797.45/1798.12 c nbDecision=324000 #constraints=28437 1800.05/1800.71 Received signal 15 1800.05/1800.71 1800.05/1800.71 s UNKNOWN 1800.05/1800.71 1800.05/1800.71 c user time= 1799.7 s 1800.05/1800.71 c system time= 0.370943 s 1800.05/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/node25/watcher-356922-1176848484 -o ROOT/results/node25/solver-356922-1176848484 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356922-1176848484/instance-356922-1176848484.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.97 3/64 16096 /proc/meminfo: memFree=1771152/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=1468 CPUtime=0 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 132765572 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 367 161 126 317 0 46 0 [startup+0.103271 s] /proc/loadavg: 0.92 0.97 0.97 3/64 16096 /proc/meminfo: memFree=1771152/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=3244 CPUtime=0.09 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 638 0 0 0 9 0 0 0 18 0 1 0 132765572 3321856 587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 811 587 131 317 0 490 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3244 [startup+0.201287 s] /proc/loadavg: 0.92 0.97 0.97 3/64 16096 /proc/meminfo: memFree=1771152/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=5488 CPUtime=0.19 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 1216 0 0 0 19 0 0 0 19 0 1 0 132765572 5619712 1165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 1372 1165 131 317 0 1051 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5488 [startup+0.301304 s] /proc/loadavg: 0.92 0.97 0.97 3/64 16096 /proc/meminfo: memFree=1771152/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=7736 CPUtime=0.29 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 1788 0 0 0 29 0 0 0 19 0 1 0 132765572 7921664 1737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 1934 1737 131 317 0 1613 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7736 [startup+0.701372 s] /proc/loadavg: 0.92 0.97 0.97 3/64 16096 /proc/meminfo: memFree=1771152/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=16776 CPUtime=0.69 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 3964 0 0 0 67 2 0 0 23 0 1 0 132765572 17178624 3913 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 4194 3913 131 317 0 3873 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16776 [startup+1.50151 s] /proc/loadavg: 0.92 0.97 0.97 2/65 16097 /proc/meminfo: memFree=1748680/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=33496 CPUtime=1.49 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 7811 0 0 0 146 3 0 0 25 0 1 0 132765572 34299904 7760 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 8374 7761 131 317 0 8053 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33496 [startup+3.10179 s] /proc/loadavg: 0.92 0.97 0.97 2/65 16097 /proc/meminfo: memFree=1725640/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=76148 CPUtime=3.09 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 18097 0 0 0 300 9 0 0 25 0 1 0 132765572 77975552 18046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712872 0 0 4096 17474 0 0 0 17 0 0 0 /proc/16096/statm: 19037 18046 137 317 0 18716 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 76148 [startup+6.30133 s] /proc/loadavg: 0.93 0.97 0.97 2/65 16097 /proc/meminfo: memFree=1686088/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=89484 CPUtime=6.28 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 21412 0 0 0 619 9 0 0 25 0 1 0 132765572 91631616 21327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 22371 21327 139 317 0 22050 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 89484 [startup+12.7014 s] /proc/loadavg: 0.93 0.97 0.97 2/65 16097 /proc/meminfo: memFree=1684936/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=90796 CPUtime=12.68 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 21734 0 0 0 1258 10 0 0 25 0 1 0 132765572 92975104 21649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 22699 21649 139 317 0 22378 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 90796 [startup+25.5016 s] /proc/loadavg: 0.95 0.97 0.97 2/65 16097 /proc/meminfo: memFree=1682056/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=93548 CPUtime=25.48 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 22432 0 0 0 2537 11 0 0 25 0 1 0 132765572 95793152 22347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 23387 22347 139 317 0 23066 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 93548 [startup+51.102 s] /proc/loadavg: 0.96 0.97 0.97 2/65 16097 /proc/meminfo: memFree=1677576/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=98020 CPUtime=51.07 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 23562 0 0 0 5095 12 0 0 25 0 1 0 132765572 100372480 23477 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 24505 23477 139 317 0 24184 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 98020 [startup+102.302 s] /proc/loadavg: 0.98 0.97 0.97 2/65 16097 /proc/meminfo: memFree=1669000/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=106452 CPUtime=102.26 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 25697 0 0 0 10212 14 0 0 25 0 1 0 132765572 109006848 25612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 26613 25612 139 317 0 26292 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 106452 [startup+162.302 s] /proc/loadavg: 1.04 0.99 0.98 2/65 16097 /proc/meminfo: memFree=1662984/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=112536 CPUtime=162.23 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 27217 0 0 0 16208 15 0 0 25 0 1 0 132765572 115236864 27132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 28134 27132 139 317 0 27813 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 112536 [startup+222.305 s] /proc/loadavg: 1.06 1.00 0.98 2/65 16097 /proc/meminfo: memFree=1652744/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=122852 CPUtime=222.21 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 29791 0 0 0 22204 17 0 0 25 0 1 0 132765572 125800448 29641 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 30713 29641 139 317 0 30392 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 122852 [startup+282.302 s] /proc/loadavg: 1.05 1.01 0.99 2/65 16097 /proc/meminfo: memFree=1646088/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=129484 CPUtime=282.19 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 31461 0 0 0 28201 18 0 0 25 0 1 0 132765572 132591616 31311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 32371 31311 139 317 0 32050 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 129484 [startup+342.303 s] /proc/loadavg: 1.13 1.04 1.00 2/65 16097 /proc/meminfo: memFree=1634632/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=141484 CPUtime=342.16 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 34317 0 0 0 34197 19 0 0 25 0 1 0 132765572 144879616 34167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 35371 34167 139 317 0 35050 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 141484 [startup+402.301 s] /proc/loadavg: 1.05 1.03 1.00 2/65 16097 /proc/meminfo: memFree=1629128/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=146996 CPUtime=402.14 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 35669 0 0 0 40194 20 0 0 25 0 1 0 132765572 150523904 35519 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606886 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 36749 35519 139 317 0 36428 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 146996 [startup+462.301 s] /proc/loadavg: 1.02 1.02 1.00 2/65 16097 /proc/meminfo: memFree=1621000/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=154664 CPUtime=462.11 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 37717 0 0 0 46190 21 0 0 25 0 1 0 132765572 158375936 37567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 38666 37567 139 317 0 38345 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 154664 [startup+522.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 16097 /proc/meminfo: memFree=1614152/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=161492 CPUtime=522.09 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 39409 0 0 0 52186 23 0 0 25 0 1 0 132765572 165367808 39259 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385189 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 40373 39259 139 317 0 40052 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 161492 [startup+582.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 16097 /proc/meminfo: memFree=1610888/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=164820 CPUtime=582.07 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 40217 0 0 0 58183 24 0 0 25 0 1 0 132765572 168775680 40067 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 41205 40067 139 317 0 40884 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 164820 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16097 /proc/meminfo: memFree=1605448/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=170612 CPUtime=642.05 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 41601 0 0 0 64180 25 0 0 25 0 1 0 132765572 174706688 41451 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385184 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 42653 41451 139 317 0 42332 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 170612 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16097 /proc/meminfo: memFree=1593992/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=182652 CPUtime=821.98 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 44583 0 0 0 82171 27 0 0 25 0 1 0 132765572 187035648 44304 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 45663 44304 139 317 0 45342 0 Current children cumulated CPU time (s) 821.98 Current children cumulated vsize (KiB) 182652 [startup+882.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16097 /proc/meminfo: memFree=1589320/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=187200 CPUtime=881.97 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 45720 0 0 0 88169 28 0 0 25 0 1 0 132765572 191692800 45441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 46800 45441 139 317 0 46479 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 187200 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16097 /proc/meminfo: memFree=1585672/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=190756 CPUtime=941.94 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 46655 0 0 0 94166 28 0 0 25 0 1 0 132765572 195334144 46376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 47689 46376 139 317 0 47368 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 190756 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16099 /proc/meminfo: memFree=1581832/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=194316 CPUtime=1001.92 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 47598 0 0 0 100163 29 0 0 25 0 1 0 132765572 198979584 47319 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 48579 47319 139 317 0 48258 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 194316 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16099 /proc/meminfo: memFree=1577672/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=198276 CPUtime=1061.9 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 48628 0 0 0 106160 30 0 0 25 0 1 0 132765572 203034624 48349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 49569 48349 139 317 0 49248 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 198276 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16099 /proc/meminfo: memFree=1575432/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=200392 CPUtime=1121.88 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 49172 0 0 0 112158 30 0 0 25 0 1 0 132765572 205201408 48893 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 50098 48893 139 317 0 49777 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 200392 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16099 /proc/meminfo: memFree=1572616/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=203152 CPUtime=1181.86 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 49894 0 0 0 118155 31 0 0 25 0 1 0 132765572 208027648 49615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384506 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 50788 49615 139 317 0 50467 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 203152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16099 /proc/meminfo: memFree=1567624/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=209240 CPUtime=1241.83 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 51143 0 0 0 124152 31 0 0 25 0 1 0 132765572 214261760 50864 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 52310 50864 139 317 0 51989 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 209240 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16099 /proc/meminfo: memFree=1561160/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=217436 CPUtime=1301.81 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 52737 0 0 0 130149 32 0 0 25 0 1 0 132765572 222654464 52458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 54359 52458 139 317 0 54038 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 217436 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16099 /proc/meminfo: memFree=1557832/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=221080 CPUtime=1361.8 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 53552 0 0 0 136147 33 0 0 25 0 1 0 132765572 226385920 53273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606871 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 55270 53273 139 317 0 54949 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 221080 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16099 /proc/meminfo: memFree=1555784/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=223072 CPUtime=1421.77 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 54049 0 0 0 142144 33 0 0 25 0 1 0 132765572 228425728 53770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 55768 53770 139 317 0 55447 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 223072 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16099 /proc/meminfo: memFree=1553160/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=225460 CPUtime=1481.75 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 54697 0 0 0 148141 34 0 0 25 0 1 0 132765572 230871040 54418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385274 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 56365 54418 139 317 0 56044 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 225460 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16099 /proc/meminfo: memFree=1550984/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=227596 CPUtime=1541.73 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 55232 0 0 0 154139 34 0 0 25 0 1 0 132765572 233058304 54953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 56899 54953 139 317 0 56578 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 227596 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16099 /proc/meminfo: memFree=1546568/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=232944 CPUtime=1601.71 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 56354 0 0 0 160136 35 0 0 25 0 1 0 132765572 238534656 56075 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 58236 56075 139 317 0 57915 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 232944 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16099 /proc/meminfo: memFree=1543624/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=236060 CPUtime=1661.68 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 57120 0 0 0 166133 35 0 0 25 0 1 0 132765572 241725440 56841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 59015 56841 139 317 0 58694 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 236060 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16099 /proc/meminfo: memFree=1542024/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=237512 CPUtime=1721.67 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 57518 0 0 0 172131 36 0 0 25 0 1 0 132765572 243212288 57239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 59378 57239 139 317 0 59057 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 237512 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16099 /proc/meminfo: memFree=1539656/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=240092 CPUtime=1781.64 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 58102 0 0 0 178128 36 0 0 25 0 1 0 132765572 245854208 57823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384559 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 60023 57823 139 317 0 59702 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 240092 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16099 /proc/meminfo: memFree=1539080/2055920 swapFree=4166424/4192956 [pid=16096] ppid=16094 vsize=240608 CPUtime=1800.05 /proc/16096/stat : 16096 (oree) R 16094 16096 15798 0 -1 4194304 58247 0 0 0 179968 37 0 0 25 0 1 0 132765572 246382592 57968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16096/statm: 60152 57968 139 317 0 59831 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 240608 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.8 CPU time (s): 1800.15 CPU user time (s): 1799.74 CPU system time (s): 0.409937 CPU usage (%): 99.9639 Max. virtual memory (cumulated for all children) (KiB): 240608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.74 system time used= 0.409937 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58263 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= 5165 runsolver used 1.19882 second user time and 3.76443 second system time The end
Begin job on node25 on Tue Apr 17 22:21:25 UTC 2007 IDJOB= 356922 IDBENCH= 1643 IDSOLVER= 172 FILE ID= node25/356922-1176848484 PBS_JOBID= 4590194 Free space on /tmp= 66471 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-greenbea.opb COMMAND LINE= oree /tmp/evaluation/356922-1176848484/instance-356922-1176848484.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-356922-1176848484 -o ROOT/results/node25/solver-356922-1176848484 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356922-1176848484/instance-356922-1176848484.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 542c2b53b45e753224c38b905fee77fb RANDOM SEED= 815127994 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node25.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1771624 kB Buffers: 22568 kB Cached: 193080 kB SwapCached: 20788 kB Active: 44264 kB Inactive: 197792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1771624 kB SwapTotal: 4192956 kB SwapFree: 4166424 kB Dirty: 10524 kB Writeback: 0 kB Mapped: 15336 kB Slab: 28296 kB Committed_AS: 2111584 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66471 MiB End job on node25 on Tue Apr 17 22:51:28 UTC 2007