Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.12 | 1800.79 |
Name | normalized-PB07/PURE-SAT/SAT07/crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.opb |
MD5SUM | a882d3f06de9dc1339a0d54393ca9b95 |
Bench Category | PURE-SAT (instances containing only clauses) |
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 | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 90300 |
Total number of constraints | 179702 |
Number of constraints which are clauses | 179702 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 4 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 7 |
Number of bits of the biggest sum of numbers | 3 |
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.09/2.12 c ...done 2.09/2.12 c #vars=90300 #constraints=179702 hasObjective=no 2.69/2.75 c res. mode=mod 2.69/2.75 c VSIDS like heuristics 2.69/2.75 c complete search running 4.29/4.38 c restart after 401 decisions 4.69/4.80 c nbDecision=500 #constraints=179702 5.99/6.00 c restart after 801 decisions 6.79/6.82 c nbDecision=1000 #constraints=179702 8.79/8.81 c nbDecision=1500 #constraints=179702 9.19/9.22 c restart after 1601 decisions 10.79/10.84 c nbDecision=2000 #constraints=179702 12.79/12.84 c nbDecision=2500 #constraints=179702 14.79/14.83 c nbDecision=3000 #constraints=179702 15.59/15.64 c restart after 3201 decisions 16.79/16.87 c nbDecision=3500 #constraints=179702 18.79/18.89 c nbDecision=4000 #constraints=179702 20.79/20.89 c nbDecision=4500 #constraints=179702 22.78/22.89 c nbDecision=5000 #constraints=179702 24.78/24.87 c nbDecision=5500 #constraints=179702 26.78/26.83 c nbDecision=6000 #constraints=179702 28.38/28.41 c restart after 6401 decisions 28.78/28.84 c nbDecision=6500 #constraints=179702 30.79/30.84 c nbDecision=7000 #constraints=179702 32.68/32.78 c nbDecision=7500 #constraints=179702 34.67/34.78 c nbDecision=8000 #constraints=179702 36.67/36.78 c nbDecision=8500 #constraints=179702 38.67/38.76 c nbDecision=9000 #constraints=179702 40.67/40.74 c nbDecision=9500 #constraints=179702 42.67/42.71 c nbDecision=10000 #constraints=179702 44.57/44.66 c nbDecision=10500 #constraints=179702 46.47/46.60 c nbDecision=11000 #constraints=179702 48.47/48.52 c nbDecision=11500 #constraints=179702 50.37/50.44 c nbDecision=12000 #constraints=179702 52.27/52.35 c nbDecision=12500 #constraints=179702 53.46/53.50 c restart after 12801 decisions 54.26/54.36 c nbDecision=13000 #constraints=179702 56.26/56.37 c nbDecision=13500 #constraints=179702 58.27/58.38 c nbDecision=14000 #constraints=179702 60.26/60.38 c nbDecision=14500 #constraints=179702 62.26/62.37 c nbDecision=15000 #constraints=179702 64.26/64.35 c nbDecision=15500 #constraints=179702 66.27/66.30 c nbDecision=16000 #constraints=179702 68.17/68.25 c nbDecision=16500 #constraints=179702 70.17/70.20 c nbDecision=17000 #constraints=179702 72.07/72.13 c nbDecision=17500 #constraints=179702 73.97/74.06 c nbDecision=18000 #constraints=179702 75.87/76.00 c nbDecision=18500 #constraints=179702 77.86/77.92 c nbDecision=19000 #constraints=179702 79.76/79.84 c nbDecision=19500 #constraints=179702 81.66/81.75 c nbDecision=20000 #constraints=179702 83.57/83.65 c nbDecision=20500 #constraints=179702 85.46/85.53 c nbDecision=21000 #constraints=179702 87.36/87.40 c nbDecision=21500 #constraints=179702 89.16/89.26 c nbDecision=22000 #constraints=179702 91.06/91.11 c nbDecision=22500 #constraints=179702 92.96/93.06 c nbDecision=23000 #constraints=179703 94.86/94.93 c nbDecision=23500 #constraints=179703 96.76/96.80 c nbDecision=24000 #constraints=179703 98.56/98.66 c nbDecision=24500 #constraints=179703 100.46/100.51 c nbDecision=25000 #constraints=179703 102.26/102.36 c nbDecision=25500 #constraints=179703 102.66/102.73 c restart after 25601 decisions 104.36/104.41 c nbDecision=26000 #constraints=179703 106.35/106.41 c nbDecision=26500 #constraints=179703 108.35/108.40 c nbDecision=27000 #constraints=179703 110.25/110.38 c nbDecision=27500 #constraints=179703 112.25/112.35 c nbDecision=28000 #constraints=179703 114.25/114.31 c nbDecision=28500 #constraints=179703 116.15/116.29 c nbDecision=29000 #constraints=179703 118.15/118.25 c nbDecision=29500 #constraints=179703 120.15/120.20 c nbDecision=30000 #constraints=179703 122.05/122.15 c nbDecision=30500 #constraints=179703 123.95/124.09 c nbDecision=31000 #constraints=179703 125.95/126.00 c nbDecision=31500 #constraints=179703 127.85/127.90 c nbDecision=32000 #constraints=179703 129.75/129.80 c nbDecision=32500 #constraints=179703 131.54/131.69 c nbDecision=33000 #constraints=179703 133.44/133.57 c nbDecision=33500 #constraints=179703 135.34/135.46 c nbDecision=34000 #constraints=179703 137.24/137.34 c nbDecision=34500 #constraints=179703 139.14/139.21 c nbDecision=35000 #constraints=179703 140.94/141.08 c nbDecision=35500 #constraints=179703 142.84/142.93 c nbDecision=36000 #constraints=179703 144.64/144.78 c nbDecision=36500 #constraints=179703 146.54/146.60 c nbDecision=37000 #constraints=179703 148.34/148.42 c nbDecision=37500 #constraints=179703 150.14/150.23 c nbDecision=38000 #constraints=179703 151.94/152.03 c nbDecision=38500 #constraints=179703 153.74/153.82 c nbDecision=39000 #constraints=179703 155.64/155.70 c nbDecision=39500 #constraints=179704 157.44/157.55 c nbDecision=40000 #constraints=179704 159.23/159.39 c nbDecision=40500 #constraints=179704 161.13/161.22 c nbDecision=41000 #constraints=179704 162.93/163.05 c nbDecision=41500 #constraints=179704 164.73/164.86 c nbDecision=42000 #constraints=179704 166.53/166.65 c nbDecision=42500 #constraints=179704 168.33/168.44 c nbDecision=43000 #constraints=179704 170.13/170.24 c nbDecision=43500 #constraints=179705 171.93/172.02 c nbDecision=44000 #constraints=179705 173.64/173.79 c nbDecision=44500 #constraints=179705 175.44/175.57 c nbDecision=45000 #constraints=179705 177.24/177.34 c nbDecision=45500 #constraints=179705 179.04/179.11 c nbDecision=46000 #constraints=179705 180.74/180.89 c nbDecision=46500 #constraints=179706 182.54/182.65 c nbDecision=47000 #constraints=179706 184.33/184.40 c nbDecision=47500 #constraints=179706 186.03/186.13 c nbDecision=48000 #constraints=179706 187.73/187.85 c nbDecision=48500 #constraints=179706 189.53/189.68 c nbDecision=49000 #constraints=179707 191.33/191.48 c nbDecision=49500 #constraints=179707 193.13/193.26 c nbDecision=50000 #constraints=179707 194.93/195.04 c nbDecision=50500 #constraints=179707 196.73/196.82 c nbDecision=51000 #constraints=179707 197.43/197.54 c restart after 51201 decisions 198.63/198.78 c nbDecision=51500 #constraints=179708 200.63/200.79 c nbDecision=52000 #constraints=179708 202.73/202.80 c nbDecision=52500 #constraints=179708 204.63/204.79 c nbDecision=53000 #constraints=179708 206.63/206.76 c nbDecision=53500 #constraints=179708 208.63/208.73 c nbDecision=54000 #constraints=179708 210.52/210.68 c nbDecision=54500 #constraints=179708 212.52/212.63 c nbDecision=55000 #constraints=179708 214.43/214.58 c nbDecision=55500 #constraints=179708 216.42/216.53 c nbDecision=56000 #constraints=179708 218.32/218.47 c nbDecision=56500 #constraints=179708 220.22/220.40 c nbDecision=57000 #constraints=179708 222.22/222.32 c nbDecision=57500 #constraints=179708 224.12/224.24 c nbDecision=58000 #constraints=179708 226.02/226.13 c nbDecision=58500 #constraints=179708 227.92/228.02 c nbDecision=59000 #constraints=179708 229.72/229.89 c nbDecision=59500 #constraints=179708 231.62/231.76 c nbDecision=60000 #constraints=179708 233.52/233.62 c nbDecision=60500 #constraints=179708 235.32/235.49 c nbDecision=61000 #constraints=179708 237.21/237.34 c nbDecision=61500 #constraints=179708 239.01/239.19 c nbDecision=62000 #constraints=179708 240.91/241.04 c nbDecision=62500 #constraints=179708 242.71/242.87 c nbDecision=63000 #constraints=179708 244.61/244.70 c nbDecision=63500 #constraints=179708 246.41/246.50 c nbDecision=64000 #constraints=179708 248.21/248.30 c nbDecision=64500 #constraints=179708 249.91/250.09 c nbDecision=65000 #constraints=179708 251.71/251.87 c nbDecision=65500 #constraints=179708 253.51/253.63 c nbDecision=66000 #constraints=179708 255.31/255.41 c nbDecision=66500 #constraints=179708 257.01/257.18 c nbDecision=67000 #constraints=179708 258.81/258.94 c nbDecision=67500 #constraints=179708 260.51/260.69 c nbDecision=68000 #constraints=179708 262.30/262.43 c nbDecision=68500 #constraints=179708 264.00/264.17 c nbDecision=69000 #constraints=179708 265.80/265.93 c nbDecision=69500 #constraints=179709 267.50/267.67 c nbDecision=70000 #constraints=179709 269.31/269.41 c nbDecision=70500 #constraints=179709 271.00/271.14 c nbDecision=71000 #constraints=179709 272.71/272.86 c nbDecision=71500 #constraints=179709 274.40/274.57 c nbDecision=72000 #constraints=179709 276.30/276.41 c nbDecision=72500 #constraints=179710 278.10/278.20 c nbDecision=73000 #constraints=179710 279.80/279.99 c nbDecision=73500 #constraints=179710 281.60/281.77 c nbDecision=74000 #constraints=179710 283.40/283.54 c nbDecision=74500 #constraints=179710 285.10/285.28 c nbDecision=75000 #constraints=179710 286.90/287.02 c nbDecision=75500 #constraints=179710 288.60/288.75 c nbDecision=76000 #constraints=179710 290.31/290.47 c nbDecision=76500 #constraints=179710 292.00/292.18 c nbDecision=77000 #constraints=179710 293.80/293.99 c nbDecision=77500 #constraints=179711 295.71/295.83 c nbDecision=78000 #constraints=179711 297.50/297.66 c nbDecision=78500 #constraints=179711 299.30/299.48 c nbDecision=79000 #constraints=179711 301.20/301.30 c nbDecision=79500 #constraints=179711 303.00/303.11 c nbDecision=80000 #constraints=179711 304.80/304.90 c nbDecision=80500 #constraints=179711 306.50/306.68 c nbDecision=81000 #constraints=179711 308.30/308.45 c nbDecision=81500 #constraints=179711 310.10/310.21 c nbDecision=82000 #constraints=179711 311.80/311.96 c nbDecision=82500 #constraints=179711 313.50/313.69 c nbDecision=83000 #constraints=179711 315.29/315.44 c nbDecision=83500 #constraints=179711 316.99/317.18 c nbDecision=84000 #constraints=179711 318.80/318.93 c nbDecision=84500 #constraints=179711 320.49/320.65 c nbDecision=85000 #constraints=179711 322.29/322.43 c nbDecision=85500 #constraints=179712 324.09/324.21 c nbDecision=86000 #constraints=179712 325.79/325.96 c nbDecision=86500 #constraints=179712 327.49/327.70 c nbDecision=87000 #constraints=179712 329.29/329.43 c nbDecision=87500 #constraints=179712 330.99/331.16 c nbDecision=88000 #constraints=179712 332.68/332.88 c nbDecision=88500 #constraints=179712 334.38/334.58 c nbDecision=89000 #constraints=179712 336.16/336.32 c nbDecision=89500 #constraints=179712 337.86/338.02 c nbDecision=90000 #constraints=179712 339.55/339.74 c nbDecision=90500 #constraints=179713 341.25/341.45 c nbDecision=91000 #constraints=179714 343.05/343.24 c nbDecision=91500 #constraints=179715 344.75/344.99 c nbDecision=92000 #constraints=179715 346.55/346.72 c nbDecision=92500 #constraints=179715 348.23/348.46 c nbDecision=93000 #constraints=179715 349.93/350.18 c nbDecision=93500 #constraints=179715 351.63/351.89 c nbDecision=94000 #constraints=179715 353.33/353.59 c nbDecision=94500 #constraints=179715 355.42/355.63 c nbDecision=95000 #constraints=179737 357.22/357.44 c nbDecision=95500 #constraints=179737 359.01/359.24 c nbDecision=96000 #constraints=179737 360.80/361.04 c nbDecision=96500 #constraints=179737 362.60/362.82 c nbDecision=97000 #constraints=179737 364.30/364.59 c nbDecision=97500 #constraints=179737 366.10/366.35 c nbDecision=98000 #constraints=179737 367.79/368.08 c nbDecision=98500 #constraints=179737 369.59/369.82 c nbDecision=99000 #constraints=179737 371.29/371.54 c nbDecision=99500 #constraints=179737 372.99/373.26 c nbDecision=100000 #constraints=179737 374.69/374.97 c nbDecision=100500 #constraints=179737 376.49/376.70 c nbDecision=101000 #constraints=179737 378.19/378.40 c nbDecision=101500 #constraints=179737 379.79/380.10 c nbDecision=102000 #constraints=179737 381.18/381.45 c restart after 102401 decisions 381.49/381.76 c nbDecision=102500 #constraints=179737 383.48/383.78 c nbDecision=103000 #constraints=179737 385.48/385.77 c nbDecision=103500 #constraints=179737 387.48/387.77 c nbDecision=104000 #constraints=179737 389.48/389.74 c nbDecision=104500 #constraints=179737 391.48/391.71 c nbDecision=105000 #constraints=179737 393.38/393.67 c nbDecision=105500 #constraints=179737 395.38/395.64 c nbDecision=106000 #constraints=179737 397.38/397.60 c nbDecision=106500 #constraints=179737 399.28/399.55 c nbDecision=107000 #constraints=179737 401.18/401.49 c nbDecision=107500 #constraints=179737 403.17/403.43 c nbDecision=108000 #constraints=179737 405.07/405.35 c nbDecision=108500 #constraints=179737 406.97/407.25 c nbDecision=109000 #constraints=179737 408.88/409.15 c nbDecision=109500 #constraints=179737 410.77/411.04 c nbDecision=110000 #constraints=179737 412.67/412.91 c nbDecision=110500 #constraints=179737 414.47/414.79 c nbDecision=111000 #constraints=179737 416.37/416.67 c nbDecision=111500 #constraints=179737 418.27/418.54 c nbDecision=112000 #constraints=179737 420.17/420.40 c nbDecision=112500 #constraints=179737 421.97/422.25 c nbDecision=113000 #constraints=179737 423.87/424.10 c nbDecision=113500 #constraints=179737 425.67/425.92 c nbDecision=114000 #constraints=179737 427.47/427.73 c nbDecision=114500 #constraints=179737 429.26/429.55 c nbDecision=115000 #constraints=179737 431.06/431.34 c nbDecision=115500 #constraints=179737 432.86/433.13 c nbDecision=116000 #constraints=179737 434.66/434.92 c nbDecision=116500 #constraints=179737 436.47/436.71 c nbDecision=117000 #constraints=179737 438.16/438.49 c nbDecision=117500 #constraints=179737 439.96/440.26 c nbDecision=118000 #constraints=179737 441.76/442.02 c nbDecision=118500 #constraints=179737 443.46/443.78 c nbDecision=119000 #constraints=179737 445.26/445.51 c nbDecision=119500 #constraints=179737 446.96/447.23 c nbDecision=120000 #constraints=179737 448.66/448.95 c nbDecision=120500 #constraints=179737 450.36/450.66 c nbDecision=121000 #constraints=179737 452.06/452.36 c nbDecision=121500 #constraints=179737 453.76/454.05 c nbDecision=122000 #constraints=179737 455.46/455.74 c nbDecision=122500 #constraints=179737 457.16/457.43 c nbDecision=123000 #constraints=179737 458.86/459.10 c nbDecision=123500 #constraints=179737 460.56/460.89 c nbDecision=124000 #constraints=179738 462.35/462.62 c nbDecision=124500 #constraints=179738 464.05/464.34 c nbDecision=125000 #constraints=179738 465.75/466.04 c nbDecision=125500 #constraints=179738 467.45/467.73 c nbDecision=126000 #constraints=179738 469.15/469.42 c nbDecision=126500 #constraints=179738 470.85/471.10 c nbDecision=127000 #constraints=179738 472.45/472.77 c nbDecision=127500 #constraints=179738 474.15/474.47 c nbDecision=128000 #constraints=179739 475.85/476.18 c nbDecision=128500 #constraints=179739 477.55/477.89 c nbDecision=129000 #constraints=179739 479.25/479.59 c nbDecision=129500 #constraints=179739 480.94/481.28 c nbDecision=130000 #constraints=179739 482.65/482.96 c nbDecision=130500 #constraints=179739 484.34/484.62 c nbDecision=131000 #constraints=179739 486.04/486.31 c nbDecision=131500 #constraints=179741 487.64/487.97 c nbDecision=132000 #constraints=179741 489.34/489.69 c nbDecision=132500 #constraints=179742 491.04/491.39 c nbDecision=133000 #constraints=179742 492.74/493.07 c nbDecision=133500 #constraints=179742 494.44/494.75 c nbDecision=134000 #constraints=179742 496.14/496.44 c nbDecision=134500 #constraints=179742 497.84/498.11 c nbDecision=135000 #constraints=179742 499.44/499.78 c nbDecision=135500 #constraints=179742 501.24/501.51 c nbDecision=136000 #constraints=179743 502.94/503.21 c nbDecision=136500 #constraints=179743 504.54/504.88 c nbDecision=137000 #constraints=179743 506.24/506.55 c nbDecision=137500 #constraints=179743 507.84/508.20 c nbDecision=138000 #constraints=179743 509.64/509.92 c nbDecision=138500 #constraints=179746 511.34/511.64 c nbDecision=139000 #constraints=179746 513.04/513.36 c nbDecision=139500 #constraints=179746 514.74/515.08 c nbDecision=140000 #constraints=179746 516.54/516.80 c nbDecision=140500 #constraints=179746 518.24/518.51 c nbDecision=141000 #constraints=179746 519.94/520.21 c nbDecision=141500 #constraints=179746 521.64/521.90 c nbDecision=142000 #constraints=179746 523.24/523.58 c nbDecision=142500 #constraints=179746 524.94/525.25 c nbDecision=143000 #constraints=179746 526.64/526.90 c nbDecision=143500 #constraints=179746 528.24/528.54 c nbDecision=144000 #constraints=179746 529.94/530.23 c nbDecision=144500 #constraints=179747 531.54/531.89 c nbDecision=145000 #constraints=179747 533.24/533.54 c nbDecision=145500 #constraints=179747 534.83/535.19 c nbDecision=146000 #constraints=179747 536.54/536.87 c nbDecision=146500 #constraints=179748 538.23/538.54 c nbDecision=147000 #constraints=179748 539.93/540.20 c nbDecision=147500 #constraints=179748 541.53/541.85 c nbDecision=148000 #constraints=179748 543.23/543.56 c nbDecision=148500 #constraints=179749 544.93/545.23 c nbDecision=149000 #constraints=179749 546.53/546.89 c nbDecision=149500 #constraints=179749 548.23/548.55 c nbDecision=150000 #constraints=179749 549.83/550.19 c nbDecision=150500 #constraints=179749 551.53/551.83 c nbDecision=151000 #constraints=179749 553.23/553.50 c nbDecision=151500 #constraints=179750 554.83/555.16 c nbDecision=152000 #constraints=179750 556.53/556.82 c nbDecision=152500 #constraints=179751 558.13/558.47 c nbDecision=153000 #constraints=179751 559.82/560.14 c nbDecision=153500 #constraints=179752 561.52/561.83 c nbDecision=154000 #constraints=179752 563.22/563.51 c nbDecision=154500 #constraints=179752 564.82/565.17 c nbDecision=155000 #constraints=179752 566.52/566.82 c nbDecision=155500 #constraints=179752 568.12/568.45 c nbDecision=156000 #constraints=179752 569.72/570.08 c nbDecision=156500 #constraints=179752 571.42/571.77 c nbDecision=157000 #constraints=179753 573.12/573.43 c nbDecision=157500 #constraints=179753 574.82/575.10 c nbDecision=158000 #constraints=179753 576.42/576.77 c nbDecision=158500 #constraints=179753 578.12/578.42 c nbDecision=159000 #constraints=179753 579.72/580.07 c nbDecision=159500 #constraints=179753 581.42/581.70 c nbDecision=160000 #constraints=179753 583.02/583.37 c nbDecision=160500 #constraints=179754 584.72/585.01 c nbDecision=161000 #constraints=179754 586.31/586.63 c nbDecision=161500 #constraints=179754 588.01/588.35 c nbDecision=162000 #constraints=179760 589.61/589.99 c nbDecision=162500 #constraints=179762 591.31/591.69 c nbDecision=163000 #constraints=179762 593.01/593.37 c nbDecision=163500 #constraints=179762 594.71/595.06 c nbDecision=164000 #constraints=179764 596.41/596.79 c nbDecision=164500 #constraints=179764 598.21/598.50 c nbDecision=165000 #constraints=179764 599.91/600.21 c nbDecision=165500 #constraints=179764 601.61/601.91 c nbDecision=166000 #constraints=179764 603.31/603.60 c nbDecision=166500 #constraints=179764 604.91/605.27 c nbDecision=167000 #constraints=179764 606.61/606.93 c nbDecision=167500 #constraints=179764 608.21/608.58 c nbDecision=168000 #constraints=179764 609.91/610.22 c nbDecision=168500 #constraints=179764 611.51/611.86 c nbDecision=169000 #constraints=179764 613.10/613.48 c nbDecision=169500 #constraints=179764 614.80/615.10 c nbDecision=170000 #constraints=179764 616.40/616.73 c nbDecision=170500 #constraints=179766 618.10/618.45 c nbDecision=171000 #constraints=179766 619.80/620.17 c nbDecision=171500 #constraints=179766 621.50/621.88 c nbDecision=172000 #constraints=179766 623.20/623.58 c nbDecision=172500 #constraints=179766 624.90/625.26 c nbDecision=173000 #constraints=179766 626.60/626.93 c nbDecision=173500 #constraints=179766 628.20/628.59 c nbDecision=174000 #constraints=179766 629.90/630.24 c nbDecision=174500 #constraints=179766 631.50/631.89 c nbDecision=175000 #constraints=179766 633.20/633.52 c nbDecision=175500 #constraints=179766 634.81/635.15 c nbDecision=176000 #constraints=179766 636.41/636.78 c nbDecision=176500 #constraints=179766 638.01/638.36 c nbDecision=177000 #constraints=179768 639.81/640.11 c nbDecision=177500 #constraints=179769 641.50/641.84 c nbDecision=178000 #constraints=179769 643.21/643.56 c nbDecision=178500 #constraints=179769 644.90/645.27 c nbDecision=179000 #constraints=179769 646.60/646.96 c nbDecision=179500 #constraints=179769 648.30/648.64 c nbDecision=180000 #constraints=179769 650.00/650.31 c nbDecision=180500 #constraints=179769 651.60/651.98 c nbDecision=181000 #constraints=179769 653.30/653.63 c nbDecision=181500 #constraints=179769 654.90/655.29 c nbDecision=182000 #constraints=179769 656.60/656.94 c nbDecision=182500 #constraints=179769 658.20/658.59 c nbDecision=183000 #constraints=179769 659.90/660.22 c nbDecision=183500 #constraints=179769 661.50/661.85 c nbDecision=184000 #constraints=179769 663.20/663.53 c nbDecision=184500 #constraints=179770 664.89/665.20 c nbDecision=185000 #constraints=179770 666.49/666.86 c nbDecision=185500 #constraints=179770 668.19/668.50 c nbDecision=186000 #constraints=179770 669.79/670.14 c nbDecision=186500 #constraints=179770 671.39/671.77 c nbDecision=187000 #constraints=179770 672.99/673.39 c nbDecision=187500 #constraints=179770 674.69/675.01 c nbDecision=188000 #constraints=179770 676.29/676.65 c nbDecision=188500 #constraints=179771 677.89/678.28 c nbDecision=189000 #constraints=179771 679.49/679.90 c nbDecision=189500 #constraints=179771 681.19/681.56 c nbDecision=190000 #constraints=179772 682.79/683.19 c nbDecision=190500 #constraints=179772 684.49/684.81 c nbDecision=191000 #constraints=179772 686.09/686.42 c nbDecision=191500 #constraints=179772 687.79/688.13 c nbDecision=192000 #constraints=179773 689.49/689.81 c nbDecision=192500 #constraints=179773 691.09/691.49 c nbDecision=193000 #constraints=179773 692.78/693.16 c nbDecision=193500 #constraints=179773 694.48/694.82 c nbDecision=194000 #constraints=179773 696.09/696.49 c nbDecision=194500 #constraints=179773 697.78/698.14 c nbDecision=195000 #constraints=179773 699.38/699.79 c nbDecision=195500 #constraints=179773 701.08/701.43 c nbDecision=196000 #constraints=179773 702.68/703.06 c nbDecision=196500 #constraints=179773 704.28/704.67 c nbDecision=197000 #constraints=179773 705.98/706.31 c nbDecision=197500 #constraints=179774 707.58/707.95 c nbDecision=198000 #constraints=179774 709.18/709.57 c nbDecision=198500 #constraints=179774 710.78/711.18 c nbDecision=199000 #constraints=179774 712.38/712.79 c nbDecision=199500 #constraints=179774 714.08/714.46 c nbDecision=200000 #constraints=179776 715.78/716.13 c nbDecision=200500 #constraints=179776 717.38/717.79 c nbDecision=201000 #constraints=179776 719.08/719.43 c nbDecision=201500 #constraints=179776 720.67/721.07 c nbDecision=202000 #constraints=179776 722.38/722.70 c nbDecision=202500 #constraints=179776 723.97/724.32 c nbDecision=203000 #constraints=179776 725.58/725.92 c nbDecision=203500 #constraints=179776 727.37/727.70 c nbDecision=204000 #constraints=179780 728.98/729.36 c nbDecision=204500 #constraints=179780 729.98/730.36 c restart after 204801 decisions 730.47/730.81 c nbDecision=205000 #constraints=179783 732.27/732.62 c nbDecision=205500 #constraints=179783 734.27/734.61 c nbDecision=206000 #constraints=179783 736.27/736.60 c nbDecision=206500 #constraints=179783 738.17/738.60 c nbDecision=207000 #constraints=179783 740.17/740.58 c nbDecision=207500 #constraints=179783 742.17/742.55 c nbDecision=208000 #constraints=179783 744.17/744.52 c nbDecision=208500 #constraints=179783 746.07/746.46 c nbDecision=209000 #constraints=179783 747.97/748.39 c nbDecision=209500 #constraints=179783 749.97/750.32 c nbDecision=210000 #constraints=179783 751.86/752.23 c nbDecision=210500 #constraints=179783 753.76/754.14 c nbDecision=211000 #constraints=179783 755.66/756.06 c nbDecision=211500 #constraints=179783 757.57/757.97 c nbDecision=212000 #constraints=179783 759.46/759.87 c nbDecision=212500 #constraints=179783 761.36/761.77 c nbDecision=213000 #constraints=179783 763.26/763.65 c nbDecision=213500 #constraints=179783 765.16/765.51 c nbDecision=214000 #constraints=179783 766.97/767.37 c nbDecision=214500 #constraints=179783 768.87/769.21 c nbDecision=215000 #constraints=179783 770.67/771.05 c nbDecision=215500 #constraints=179783 772.47/772.87 c nbDecision=216000 #constraints=179783 774.37/774.70 c nbDecision=216500 #constraints=179783 776.17/776.53 c nbDecision=217000 #constraints=179783 777.97/778.34 c nbDecision=217500 #constraints=179783 779.76/780.15 c nbDecision=218000 #constraints=179783 781.57/781.95 c nbDecision=218500 #constraints=179783 783.36/783.75 c nbDecision=219000 #constraints=179783 785.16/785.52 c nbDecision=219500 #constraints=179783 786.86/787.29 c nbDecision=220000 #constraints=179783 788.66/789.04 c nbDecision=220500 #constraints=179783 790.36/790.79 c nbDecision=221000 #constraints=179783 792.16/792.52 c nbDecision=221500 #constraints=179783 793.86/794.26 c nbDecision=222000 #constraints=179783 795.56/796.00 c nbDecision=222500 #constraints=179783 797.36/797.72 c nbDecision=223000 #constraints=179783 799.06/799.44 c nbDecision=223500 #constraints=179783 800.76/801.15 c nbDecision=224000 #constraints=179783 802.46/802.85 c nbDecision=224500 #constraints=179783 804.15/804.54 c nbDecision=225000 #constraints=179783 805.86/806.21 c nbDecision=225500 #constraints=179783 807.45/807.87 c nbDecision=226000 #constraints=179783 809.16/809.52 c nbDecision=226500 #constraints=179783 810.75/811.17 c nbDecision=227000 #constraints=179783 812.35/812.80 c nbDecision=227500 #constraints=179783 814.05/814.43 c nbDecision=228000 #constraints=179783 815.65/816.06 c nbDecision=228500 #constraints=179783 817.25/817.68 c nbDecision=229000 #constraints=179783 818.85/819.29 c nbDecision=229500 #constraints=179783 820.75/821.11 c nbDecision=230000 #constraints=179784 822.55/822.93 c nbDecision=230500 #constraints=179784 824.35/824.74 c nbDecision=231000 #constraints=179784 826.15/826.53 c nbDecision=231500 #constraints=179784 827.95/828.31 c nbDecision=232000 #constraints=179784 829.64/830.09 c nbDecision=232500 #constraints=179784 831.44/831.85 c nbDecision=233000 #constraints=179784 833.24/833.61 c nbDecision=233500 #constraints=179784 834.94/835.37 c nbDecision=234000 #constraints=179784 836.74/837.13 c nbDecision=234500 #constraints=179784 838.44/838.87 c nbDecision=235000 #constraints=179784 840.24/840.61 c nbDecision=235500 #constraints=179784 841.94/842.34 c nbDecision=236000 #constraints=179784 843.64/844.06 c nbDecision=236500 #constraints=179784 845.34/845.75 c nbDecision=237000 #constraints=179784 847.04/847.44 c nbDecision=237500 #constraints=179784 848.74/849.12 c nbDecision=238000 #constraints=179784 850.43/850.80 c nbDecision=238500 #constraints=179784 852.04/852.46 c nbDecision=239000 #constraints=179784 853.73/854.12 c nbDecision=239500 #constraints=179784 855.34/855.77 c nbDecision=240000 #constraints=179784 857.03/857.42 c nbDecision=240500 #constraints=179784 858.64/859.07 c nbDecision=241000 #constraints=179784 860.33/860.70 c nbDecision=241500 #constraints=179784 861.94/862.32 c nbDecision=242000 #constraints=179784 863.53/863.94 c nbDecision=242500 #constraints=179784 865.13/865.53 c nbDecision=243000 #constraints=179784 866.93/867.32 c nbDecision=243500 #constraints=179785 868.63/869.08 c nbDecision=244000 #constraints=179785 870.43/870.83 c nbDecision=244500 #constraints=179785 872.13/872.57 c nbDecision=245000 #constraints=179785 873.93/874.30 c nbDecision=245500 #constraints=179785 875.63/876.04 c nbDecision=246000 #constraints=179785 877.33/877.77 c nbDecision=246500 #constraints=179785 879.02/879.49 c nbDecision=247000 #constraints=179785 880.82/881.20 c nbDecision=247500 #constraints=179785 882.52/882.90 c nbDecision=248000 #constraints=179785 884.12/884.59 c nbDecision=248500 #constraints=179785 885.82/886.26 c nbDecision=249000 #constraints=179785 887.52/887.93 c nbDecision=249500 #constraints=179785 889.12/889.58 c nbDecision=250000 #constraints=179785 890.82/891.23 c nbDecision=250500 #constraints=179785 892.43/892.86 c nbDecision=251000 #constraints=179785 894.03/894.49 c nbDecision=251500 #constraints=179785 895.73/896.13 c nbDecision=252000 #constraints=179785 897.33/897.75 c nbDecision=252500 #constraints=179785 898.93/899.36 c nbDecision=253000 #constraints=179785 900.53/900.97 c nbDecision=253500 #constraints=179785 902.23/902.63 c nbDecision=254000 #constraints=179786 903.83/904.27 c nbDecision=254500 #constraints=179786 905.42/905.89 c nbDecision=255000 #constraints=179786 907.13/907.50 c nbDecision=255500 #constraints=179786 908.72/909.10 c nbDecision=256000 #constraints=179786 910.22/910.69 c nbDecision=256500 #constraints=179786 911.92/912.31 c nbDecision=257000 #constraints=179787 913.52/913.92 c nbDecision=257500 #constraints=179787 915.12/915.53 c nbDecision=258000 #constraints=179787 916.72/917.14 c nbDecision=258500 #constraints=179787 918.32/918.74 c nbDecision=259000 #constraints=179787 920.02/920.42 c nbDecision=259500 #constraints=179788 921.72/922.10 c nbDecision=260000 #constraints=179788 923.32/923.78 c nbDecision=260500 #constraints=179788 925.02/925.44 c nbDecision=261000 #constraints=179788 926.62/927.08 c nbDecision=261500 #constraints=179788 928.32/928.71 c nbDecision=262000 #constraints=179788 929.91/930.34 c nbDecision=262500 #constraints=179788 931.51/931.95 c nbDecision=263000 #constraints=179788 933.11/933.56 c nbDecision=263500 #constraints=179788 934.71/935.17 c nbDecision=264000 #constraints=179788 936.31/936.77 c nbDecision=264500 #constraints=179788 937.92/938.36 c nbDecision=265000 #constraints=179788 939.61/940.05 c nbDecision=265500 #constraints=179790 941.31/941.72 c nbDecision=266000 #constraints=179790 942.91/943.37 c nbDecision=266500 #constraints=179790 944.61/945.01 c nbDecision=267000 #constraints=179790 946.21/946.63 c nbDecision=267500 #constraints=179790 947.81/948.25 c nbDecision=268000 #constraints=179790 949.41/949.85 c nbDecision=268500 #constraints=179790 951.01/951.45 c nbDecision=269000 #constraints=179790 952.61/953.04 c nbDecision=269500 #constraints=179790 954.21/954.62 c nbDecision=270000 #constraints=179790 955.91/956.34 c nbDecision=270500 #constraints=179793 957.61/958.06 c nbDecision=271000 #constraints=179793 959.30/959.78 c nbDecision=271500 #constraints=179793 961.01/961.50 c nbDecision=272000 #constraints=179793 962.70/963.20 c nbDecision=272500 #constraints=179793 964.40/964.88 c nbDecision=273000 #constraints=179793 966.10/966.55 c nbDecision=273500 #constraints=179793 967.80/968.22 c nbDecision=274000 #constraints=179793 969.40/969.87 c nbDecision=274500 #constraints=179793 971.10/971.51 c nbDecision=275000 #constraints=179793 972.70/973.15 c nbDecision=275500 #constraints=179793 974.30/974.77 c nbDecision=276000 #constraints=179793 976.00/976.41 c nbDecision=276500 #constraints=179793 977.60/978.03 c nbDecision=277000 #constraints=179793 979.20/979.65 c nbDecision=277500 #constraints=179793 980.80/981.26 c nbDecision=278000 #constraints=179793 982.39/982.85 c nbDecision=278500 #constraints=179793 984.00/984.43 c nbDecision=279000 #constraints=179793 985.59/986.05 c nbDecision=279500 #constraints=179794 987.19/987.64 c nbDecision=280000 #constraints=179794 988.79/989.21 c nbDecision=280500 #constraints=179794 990.49/990.90 c nbDecision=281000 #constraints=179795 992.29/992.75 c nbDecision=281500 #constraints=179795 994.09/994.59 c nbDecision=282000 #constraints=179795 995.99/996.44 c nbDecision=282500 #constraints=179795 997.79/998.28 c nbDecision=283000 #constraints=179795 999.69/1000.12 c nbDecision=283500 #constraints=179795 1001.49/1001.94 c nbDecision=284000 #constraints=179795 1003.29/1003.75 c nbDecision=284500 #constraints=179795 1005.09/1005.55 c nbDecision=285000 #constraints=179795 1006.89/1007.33 c nbDecision=285500 #constraints=179795 1008.68/1009.11 c nbDecision=286000 #constraints=179795 1010.39/1010.88 c nbDecision=286500 #constraints=179795 1012.18/1012.64 c nbDecision=287000 #constraints=179795 1013.88/1014.39 c nbDecision=287500 #constraints=179795 1015.68/1016.14 c nbDecision=288000 #constraints=179795 1017.38/1017.89 c nbDecision=288500 #constraints=179795 1019.19/1019.63 c nbDecision=289000 #constraints=179795 1020.88/1021.37 c nbDecision=289500 #constraints=179795 1022.58/1023.09 c nbDecision=290000 #constraints=179795 1024.38/1024.80 c nbDecision=290500 #constraints=179795 1025.98/1026.49 c nbDecision=291000 #constraints=179795 1027.68/1028.17 c nbDecision=291500 #constraints=179795 1029.38/1029.85 c nbDecision=292000 #constraints=179795 1031.09/1031.51 c nbDecision=292500 #constraints=179795 1032.69/1033.17 c nbDecision=293000 #constraints=179795 1034.38/1034.82 c nbDecision=293500 #constraints=179795 1035.98/1036.48 c nbDecision=294000 #constraints=179795 1037.68/1038.12 c nbDecision=294500 #constraints=179795 1039.28/1039.76 c nbDecision=295000 #constraints=179795 1040.88/1041.39 c nbDecision=295500 #constraints=179795 1042.58/1043.00 c nbDecision=296000 #constraints=179795 1044.18/1044.61 c nbDecision=296500 #constraints=179795 1045.68/1046.19 c nbDecision=297000 #constraints=179795 1047.28/1047.77 c nbDecision=297500 #constraints=179795 1048.98/1049.43 c nbDecision=298000 #constraints=179796 1050.68/1051.13 c nbDecision=298500 #constraints=179796 1052.38/1052.82 c nbDecision=299000 #constraints=179796 1054.08/1054.51 c nbDecision=299500 #constraints=179796 1055.78/1056.20 c nbDecision=300000 #constraints=179796 1057.38/1057.89 c nbDecision=300500 #constraints=179796 1059.08/1059.56 c nbDecision=301000 #constraints=179796 1060.77/1061.22 c nbDecision=301500 #constraints=179796 1062.37/1062.88 c nbDecision=302000 #constraints=179796 1064.08/1064.52 c nbDecision=302500 #constraints=179796 1065.67/1066.14 c nbDecision=303000 #constraints=179796 1067.27/1067.76 c nbDecision=303500 #constraints=179796 1068.87/1069.36 c nbDecision=304000 #constraints=179796 1070.47/1070.96 c nbDecision=304500 #constraints=179796 1072.08/1072.55 c nbDecision=305000 #constraints=179796 1073.67/1074.13 c nbDecision=305500 #constraints=179796 1075.27/1075.72 c nbDecision=306000 #constraints=179796 1076.87/1077.31 c nbDecision=306500 #constraints=179797 1078.57/1079.05 c nbDecision=307000 #constraints=179799 1080.27/1080.73 c nbDecision=307500 #constraints=179799 1081.97/1082.42 c nbDecision=308000 #constraints=179799 1083.57/1084.08 c nbDecision=308500 #constraints=179799 1085.27/1085.73 c nbDecision=309000 #constraints=179799 1086.86/1087.36 c nbDecision=309500 #constraints=179799 1088.47/1088.99 c nbDecision=310000 #constraints=179799 1090.16/1090.61 c nbDecision=310500 #constraints=179799 1091.77/1092.22 c nbDecision=311000 #constraints=179799 1093.36/1093.82 c nbDecision=311500 #constraints=179799 1094.96/1095.42 c nbDecision=312000 #constraints=179799 1096.56/1097.02 c nbDecision=312500 #constraints=179799 1098.16/1098.60 c nbDecision=313000 #constraints=179799 1099.76/1100.25 c nbDecision=313500 #constraints=179801 1101.46/1101.92 c nbDecision=314000 #constraints=179801 1103.06/1103.57 c nbDecision=314500 #constraints=179801 1104.76/1105.21 c nbDecision=315000 #constraints=179801 1106.36/1106.84 c nbDecision=315500 #constraints=179801 1107.96/1108.46 c nbDecision=316000 #constraints=179801 1109.56/1110.07 c nbDecision=316500 #constraints=179801 1111.16/1111.67 c nbDecision=317000 #constraints=179801 1112.76/1113.26 c nbDecision=317500 #constraints=179801 1114.35/1114.85 c nbDecision=318000 #constraints=179801 1115.96/1116.44 c nbDecision=318500 #constraints=179801 1117.55/1118.03 c nbDecision=319000 #constraints=179802 1119.15/1119.62 c nbDecision=319500 #constraints=179802 1120.75/1121.20 c nbDecision=320000 #constraints=179802 1122.45/1122.98 c nbDecision=320500 #constraints=179805 1124.25/1124.79 c nbDecision=321000 #constraints=179805 1126.05/1126.58 c nbDecision=321500 #constraints=179805 1127.85/1128.36 c nbDecision=322000 #constraints=179805 1129.65/1130.13 c nbDecision=322500 #constraints=179805 1131.35/1131.90 c nbDecision=323000 #constraints=179805 1133.15/1133.65 c nbDecision=323500 #constraints=179805 1134.95/1135.41 c nbDecision=324000 #constraints=179805 1136.65/1137.17 c nbDecision=324500 #constraints=179805 1138.45/1138.92 c nbDecision=325000 #constraints=179805 1140.15/1140.65 c nbDecision=325500 #constraints=179805 1141.84/1142.38 c nbDecision=326000 #constraints=179805 1143.64/1144.11 c nbDecision=326500 #constraints=179805 1145.35/1145.81 c nbDecision=327000 #constraints=179805 1147.05/1147.51 c nbDecision=327500 #constraints=179805 1148.65/1149.19 c nbDecision=328000 #constraints=179805 1150.35/1150.86 c nbDecision=328500 #constraints=179805 1152.05/1152.53 c nbDecision=329000 #constraints=179805 1153.65/1154.18 c nbDecision=329500 #constraints=179805 1155.35/1155.84 c nbDecision=330000 #constraints=179805 1156.95/1157.49 c nbDecision=330500 #constraints=179805 1158.64/1159.14 c nbDecision=331000 #constraints=179805 1160.24/1160.77 c nbDecision=331500 #constraints=179805 1161.84/1162.40 c nbDecision=332000 #constraints=179805 1163.54/1164.01 c nbDecision=332500 #constraints=179805 1165.14/1165.61 c nbDecision=333000 #constraints=179805 1166.65/1167.19 c nbDecision=333500 #constraints=179805 1168.24/1168.76 c nbDecision=334000 #constraints=179805 1169.84/1170.33 c nbDecision=334500 #constraints=179805 1171.44/1171.91 c nbDecision=335000 #constraints=179806 1172.94/1173.48 c nbDecision=335500 #constraints=179806 1174.54/1175.09 c nbDecision=336000 #constraints=179807 1176.24/1176.74 c nbDecision=336500 #constraints=179807 1177.84/1178.37 c nbDecision=337000 #constraints=179807 1179.44/1179.99 c nbDecision=337500 #constraints=179807 1181.14/1181.61 c nbDecision=338000 #constraints=179807 1182.74/1183.22 c nbDecision=338500 #constraints=179807 1184.33/1184.81 c nbDecision=339000 #constraints=179807 1185.83/1186.39 c nbDecision=339500 #constraints=179807 1187.44/1187.96 c nbDecision=340000 #constraints=179807 1189.03/1189.51 c nbDecision=340500 #constraints=179807 1190.74/1191.21 c nbDecision=341000 #constraints=179808 1192.33/1192.88 c nbDecision=341500 #constraints=179808 1194.03/1194.54 c nbDecision=342000 #constraints=179808 1195.73/1196.20 c nbDecision=342500 #constraints=179808 1197.33/1197.85 c nbDecision=343000 #constraints=179808 1198.93/1199.49 c nbDecision=343500 #constraints=179808 1200.63/1201.13 c nbDecision=344000 #constraints=179808 1202.23/1202.75 c nbDecision=344500 #constraints=179808 1203.83/1204.37 c nbDecision=345000 #constraints=179808 1205.42/1205.97 c nbDecision=345500 #constraints=179808 1207.02/1207.55 c nbDecision=346000 #constraints=179808 1208.62/1209.13 c nbDecision=346500 #constraints=179808 1210.12/1210.69 c nbDecision=347000 #constraints=179808 1211.73/1212.25 c nbDecision=347500 #constraints=179808 1213.42/1213.90 c nbDecision=348000 #constraints=179811 1215.03/1215.51 c nbDecision=348500 #constraints=179811 1216.62/1217.12 c nbDecision=349000 #constraints=179811 1218.23/1218.72 c nbDecision=349500 #constraints=179811 1219.82/1220.32 c nbDecision=350000 #constraints=179811 1221.42/1221.90 c nbDecision=350500 #constraints=179811 1222.92/1223.47 c nbDecision=351000 #constraints=179811 1224.52/1225.06 c nbDecision=351500 #constraints=179812 1226.12/1226.65 c nbDecision=352000 #constraints=179812 1227.72/1228.22 c nbDecision=352500 #constraints=179812 1229.22/1229.79 c nbDecision=353000 #constraints=179812 1230.82/1231.34 c nbDecision=353500 #constraints=179812 1232.32/1232.89 c nbDecision=354000 #constraints=179812 1234.02/1234.56 c nbDecision=354500 #constraints=179813 1235.72/1236.22 c nbDecision=355000 #constraints=179813 1237.31/1237.87 c nbDecision=355500 #constraints=179813 1239.01/1239.51 c nbDecision=356000 #constraints=179813 1240.61/1241.18 c nbDecision=356500 #constraints=179814 1242.31/1242.84 c nbDecision=357000 #constraints=179814 1244.01/1244.50 c nbDecision=357500 #constraints=179814 1245.61/1246.13 c nbDecision=358000 #constraints=179814 1247.21/1247.75 c nbDecision=358500 #constraints=179814 1248.81/1249.37 c nbDecision=359000 #constraints=179814 1250.41/1250.98 c nbDecision=359500 #constraints=179814 1252.01/1252.57 c nbDecision=360000 #constraints=179814 1253.61/1254.16 c nbDecision=360500 #constraints=179814 1255.21/1255.75 c nbDecision=361000 #constraints=179814 1256.81/1257.34 c nbDecision=361500 #constraints=179814 1258.40/1258.91 c nbDecision=362000 #constraints=179814 1259.90/1260.47 c nbDecision=362500 #constraints=179814 1261.50/1262.05 c nbDecision=363000 #constraints=179815 1263.10/1263.61 c nbDecision=363500 #constraints=179815 1264.80/1265.31 c nbDecision=364000 #constraints=179820 1266.50/1267.01 c nbDecision=364500 #constraints=179820 1268.10/1268.69 c nbDecision=365000 #constraints=179820 1269.80/1270.36 c nbDecision=365500 #constraints=179820 1271.51/1272.03 c nbDecision=366000 #constraints=179820 1273.11/1273.69 c nbDecision=366500 #constraints=179820 1274.81/1275.35 c nbDecision=367000 #constraints=179820 1276.51/1277.00 c nbDecision=367500 #constraints=179820 1278.11/1278.65 c nbDecision=368000 #constraints=179820 1279.71/1280.28 c nbDecision=368500 #constraints=179820 1281.41/1281.91 c nbDecision=369000 #constraints=179820 1283.00/1283.53 c nbDecision=369500 #constraints=179820 1284.60/1285.14 c nbDecision=370000 #constraints=179820 1286.21/1286.72 c nbDecision=370500 #constraints=179820 1287.80/1288.30 c nbDecision=371000 #constraints=179820 1289.30/1289.87 c nbDecision=371500 #constraints=179820 1290.91/1291.43 c nbDecision=372000 #constraints=179820 1292.40/1292.98 c nbDecision=372500 #constraints=179820 1294.00/1294.52 c nbDecision=373000 #constraints=179820 1295.60/1296.11 c nbDecision=373500 #constraints=179821 1297.10/1297.67 c nbDecision=374000 #constraints=179821 1298.70/1299.22 c nbDecision=374500 #constraints=179821 1300.30/1300.86 c nbDecision=375000 #constraints=179822 1301.90/1302.46 c nbDecision=375500 #constraints=179822 1303.50/1304.04 c nbDecision=376000 #constraints=179822 1305.10/1305.61 c nbDecision=376500 #constraints=179822 1306.60/1307.16 c nbDecision=377000 #constraints=179822 1308.20/1308.71 c nbDecision=377500 #constraints=179822 1309.69/1310.25 c nbDecision=378000 #constraints=179822 1311.29/1311.82 c nbDecision=378500 #constraints=179823 1312.80/1313.39 c nbDecision=379000 #constraints=179823 1314.39/1314.96 c nbDecision=379500 #constraints=179823 1315.99/1316.53 c nbDecision=380000 #constraints=179823 1317.49/1318.09 c nbDecision=380500 #constraints=179823 1319.09/1319.63 c nbDecision=381000 #constraints=179823 1320.69/1321.22 c nbDecision=381500 #constraints=179824 1322.19/1322.79 c nbDecision=382000 #constraints=179824 1323.79/1324.35 c nbDecision=382500 #constraints=179824 1325.29/1325.89 c nbDecision=383000 #constraints=179824 1326.89/1327.41 c nbDecision=383500 #constraints=179824 1328.39/1328.96 c nbDecision=384000 #constraints=179825 1329.88/1330.49 c nbDecision=384500 #constraints=179825 1331.49/1332.09 c nbDecision=385000 #constraints=179826 1333.18/1333.79 c nbDecision=385500 #constraints=179826 1334.89/1335.49 c nbDecision=386000 #constraints=179826 1336.58/1337.19 c nbDecision=386500 #constraints=179826 1338.28/1338.87 c nbDecision=387000 #constraints=179826 1339.98/1340.55 c nbDecision=387500 #constraints=179826 1341.68/1342.22 c nbDecision=388000 #constraints=179826 1343.28/1343.88 c nbDecision=388500 #constraints=179826 1344.98/1345.52 c nbDecision=389000 #constraints=179826 1346.58/1347.15 c nbDecision=389500 #constraints=179826 1348.18/1348.76 c nbDecision=390000 #constraints=179826 1349.78/1350.38 c nbDecision=390500 #constraints=179826 1351.38/1351.98 c nbDecision=391000 #constraints=179826 1352.98/1353.57 c nbDecision=391500 #constraints=179826 1354.58/1355.16 c nbDecision=392000 #constraints=179826 1356.17/1356.75 c nbDecision=392500 #constraints=179826 1357.77/1358.32 c nbDecision=393000 #constraints=179826 1359.27/1359.89 c nbDecision=393500 #constraints=179826 1360.87/1361.45 c nbDecision=394000 #constraints=179826 1362.47/1363.00 c nbDecision=394500 #constraints=179826 1363.97/1364.54 c nbDecision=395000 #constraints=179826 1365.68/1366.22 c nbDecision=395500 #constraints=179827 1367.27/1367.88 c nbDecision=396000 #constraints=179827 1368.97/1369.53 c nbDecision=396500 #constraints=179827 1370.57/1371.17 c nbDecision=397000 #constraints=179827 1372.17/1372.80 c nbDecision=397500 #constraints=179827 1373.87/1374.42 c nbDecision=398000 #constraints=179827 1375.47/1376.04 c nbDecision=398500 #constraints=179827 1377.07/1377.66 c nbDecision=399000 #constraints=179827 1378.66/1379.27 c nbDecision=399500 #constraints=179827 1380.26/1380.87 c nbDecision=400000 #constraints=179827 1381.86/1382.46 c nbDecision=400500 #constraints=179827 1383.46/1384.04 c nbDecision=401000 #constraints=179827 1385.06/1385.60 c nbDecision=401500 #constraints=179827 1386.56/1387.15 c nbDecision=402000 #constraints=179827 1388.06/1388.68 c nbDecision=402500 #constraints=179827 1389.66/1390.21 c nbDecision=403000 #constraints=179827 1391.06/1391.67 c nbDecision=403500 #constraints=179833 1392.96/1393.53 c nbDecision=404000 #constraints=179833 1394.85/1395.40 c nbDecision=404500 #constraints=179833 1396.65/1397.26 c nbDecision=405000 #constraints=179833 1398.56/1399.12 c nbDecision=405500 #constraints=179833 1400.35/1400.96 c nbDecision=406000 #constraints=179833 1402.25/1402.80 c nbDecision=406500 #constraints=179833 1404.06/1404.63 c nbDecision=407000 #constraints=179833 1405.85/1406.45 c nbDecision=407500 #constraints=179834 1407.65/1408.25 c nbDecision=408000 #constraints=179834 1409.46/1410.04 c nbDecision=408500 #constraints=179834 1411.26/1411.83 c nbDecision=409000 #constraints=179834 1413.06/1413.60 c nbDecision=409500 #constraints=179834 1413.36/1413.96 c restart after 409601 decisions 1414.06/1414.69 c nbDecision=410000 #constraints=179841 1415.76/1416.40 c nbDecision=410500 #constraints=179841 1417.86/1418.40 c nbDecision=411000 #constraints=179841 1419.86/1420.40 c nbDecision=411500 #constraints=179841 1421.76/1422.39 c nbDecision=412000 #constraints=179841 1423.76/1424.36 c nbDecision=412500 #constraints=179841 1425.76/1426.32 c nbDecision=413000 #constraints=179841 1427.65/1428.27 c nbDecision=413500 #constraints=179841 1429.65/1430.21 c nbDecision=414000 #constraints=179841 1431.56/1432.15 c nbDecision=414500 #constraints=179841 1433.45/1434.07 c nbDecision=415000 #constraints=179841 1435.45/1436.00 c nbDecision=415500 #constraints=179841 1437.35/1437.92 c nbDecision=416000 #constraints=179841 1439.25/1439.83 c nbDecision=416500 #constraints=179841 1441.15/1441.74 c nbDecision=417000 #constraints=179841 1443.05/1443.64 c nbDecision=417500 #constraints=179841 1444.95/1445.52 c nbDecision=418000 #constraints=179841 1446.75/1447.39 c nbDecision=418500 #constraints=179841 1448.65/1449.24 c nbDecision=419000 #constraints=179841 1450.44/1451.09 c nbDecision=419500 #constraints=179841 1452.34/1452.93 c nbDecision=420000 #constraints=179841 1454.14/1454.77 c nbDecision=420500 #constraints=179841 1456.04/1456.62 c nbDecision=421000 #constraints=179841 1457.84/1458.45 c nbDecision=421500 #constraints=179841 1459.64/1460.27 c nbDecision=422000 #constraints=179841 1461.44/1462.09 c nbDecision=422500 #constraints=179841 1463.24/1463.89 c nbDecision=423000 #constraints=179841 1465.04/1465.68 c nbDecision=423500 #constraints=179841 1466.84/1467.45 c nbDecision=424000 #constraints=179841 1468.64/1469.22 c nbDecision=424500 #constraints=179841 1470.34/1470.98 c nbDecision=425000 #constraints=179841 1472.14/1472.73 c nbDecision=425500 #constraints=179841 1473.83/1474.48 c nbDecision=426000 #constraints=179841 1475.64/1476.23 c nbDecision=426500 #constraints=179841 1477.33/1477.97 c nbDecision=427000 #constraints=179841 1479.13/1479.70 c nbDecision=427500 #constraints=179841 1480.83/1481.42 c nbDecision=428000 #constraints=179841 1482.53/1483.14 c nbDecision=428500 #constraints=179841 1484.23/1484.84 c nbDecision=429000 #constraints=179841 1485.93/1486.53 c nbDecision=429500 #constraints=179841 1487.63/1488.21 c nbDecision=430000 #constraints=179841 1489.23/1489.87 c nbDecision=430500 #constraints=179841 1490.93/1491.53 c nbDecision=431000 #constraints=179841 1492.53/1493.17 c nbDecision=431500 #constraints=179841 1494.23/1494.82 c nbDecision=432000 #constraints=179841 1495.83/1496.46 c nbDecision=432500 #constraints=179841 1497.43/1498.10 c nbDecision=433000 #constraints=179841 1499.13/1499.72 c nbDecision=433500 #constraints=179841 1500.72/1501.34 c nbDecision=434000 #constraints=179841 1502.32/1502.95 c nbDecision=434500 #constraints=179841 1503.92/1504.55 c nbDecision=435000 #constraints=179841 1505.52/1506.12 c nbDecision=435500 #constraints=179841 1507.02/1507.69 c nbDecision=436000 #constraints=179841 1508.62/1509.25 c nbDecision=436500 #constraints=179841 1510.12/1510.80 c nbDecision=437000 #constraints=179841 1511.72/1512.34 c nbDecision=437500 #constraints=179841 1513.22/1513.87 c nbDecision=438000 #constraints=179841 1514.82/1515.42 c nbDecision=438500 #constraints=179842 1516.42/1517.08 c nbDecision=439000 #constraints=179845 1518.02/1518.68 c nbDecision=439500 #constraints=179845 1519.62/1520.27 c nbDecision=440000 #constraints=179845 1521.21/1521.85 c nbDecision=440500 #constraints=179845 1522.82/1523.43 c nbDecision=441000 #constraints=179845 1524.31/1524.98 c nbDecision=441500 #constraints=179845 1525.91/1526.52 c nbDecision=442000 #constraints=179845 1527.41/1528.05 c nbDecision=442500 #constraints=179845 1528.91/1529.57 c nbDecision=443000 #constraints=179845 1530.52/1531.14 c nbDecision=443500 #constraints=179846 1532.01/1532.68 c nbDecision=444000 #constraints=179846 1533.61/1534.21 c nbDecision=444500 #constraints=179846 1535.12/1535.74 c nbDecision=445000 #constraints=179846 1536.72/1537.33 c nbDecision=445500 #constraints=179847 1538.22/1538.89 c nbDecision=446000 #constraints=179847 1539.82/1540.43 c nbDecision=446500 #constraints=179847 1541.32/1541.97 c nbDecision=447000 #constraints=179847 1542.92/1543.51 c nbDecision=447500 #constraints=179848 1544.52/1545.19 c nbDecision=448000 #constraints=179850 1546.21/1546.81 c nbDecision=448500 #constraints=179850 1547.81/1548.42 c nbDecision=449000 #constraints=179850 1549.41/1550.02 c nbDecision=449500 #constraints=179851 1551.01/1551.64 c nbDecision=450000 #constraints=179851 1552.61/1553.26 c nbDecision=450500 #constraints=179851 1554.21/1554.88 c nbDecision=451000 #constraints=179851 1555.81/1556.49 c nbDecision=451500 #constraints=179851 1557.51/1558.10 c nbDecision=452000 #constraints=179851 1559.11/1559.70 c nbDecision=452500 #constraints=179851 1560.61/1561.29 c nbDecision=453000 #constraints=179851 1562.21/1562.86 c nbDecision=453500 #constraints=179851 1563.81/1564.43 c nbDecision=454000 #constraints=179851 1565.31/1565.98 c nbDecision=454500 #constraints=179851 1566.91/1567.51 c nbDecision=455000 #constraints=179851 1568.41/1569.03 c nbDecision=455500 #constraints=179851 1569.90/1570.55 c nbDecision=456000 #constraints=179851 1571.60/1572.22 c nbDecision=456500 #constraints=179861 1573.20/1573.89 c nbDecision=457000 #constraints=179861 1574.90/1575.55 c nbDecision=457500 #constraints=179861 1576.60/1577.22 c nbDecision=458000 #constraints=179861 1578.20/1578.86 c nbDecision=458500 #constraints=179861 1579.90/1580.51 c nbDecision=459000 #constraints=179861 1581.50/1582.14 c nbDecision=459500 #constraints=179861 1583.10/1583.77 c nbDecision=460000 #constraints=179861 1584.70/1585.38 c nbDecision=460500 #constraints=179861 1586.30/1586.97 c nbDecision=461000 #constraints=179861 1587.90/1588.55 c nbDecision=461500 #constraints=179861 1589.50/1590.13 c nbDecision=462000 #constraints=179861 1591.00/1591.70 c nbDecision=462500 #constraints=179861 1592.60/1593.26 c nbDecision=463000 #constraints=179861 1594.20/1594.82 c nbDecision=463500 #constraints=179861 1595.69/1596.37 c nbDecision=464000 #constraints=179861 1597.29/1597.92 c nbDecision=464500 #constraints=179861 1598.80/1599.45 c nbDecision=465000 #constraints=179861 1600.29/1601.00 c nbDecision=465500 #constraints=179862 1601.89/1602.52 c nbDecision=466000 #constraints=179862 1603.39/1604.08 c nbDecision=466500 #constraints=179863 1604.99/1605.61 c nbDecision=467000 #constraints=179863 1606.49/1607.12 c nbDecision=467500 #constraints=179863 1607.99/1608.66 c nbDecision=468000 #constraints=179866 1609.79/1610.46 c nbDecision=468500 #constraints=179866 1611.59/1612.25 c nbDecision=469000 #constraints=179866 1613.39/1614.03 c nbDecision=469500 #constraints=179866 1615.19/1615.81 c nbDecision=470000 #constraints=179866 1616.89/1617.59 c nbDecision=470500 #constraints=179866 1618.69/1619.36 c nbDecision=471000 #constraints=179866 1620.49/1621.12 c nbDecision=471500 #constraints=179866 1622.19/1622.88 c nbDecision=472000 #constraints=179866 1623.99/1624.62 c nbDecision=472500 #constraints=179866 1625.68/1626.34 c nbDecision=473000 #constraints=179866 1627.39/1628.05 c nbDecision=473500 #constraints=179866 1629.08/1629.75 c nbDecision=474000 #constraints=179866 1630.78/1631.45 c nbDecision=474500 #constraints=179866 1632.48/1633.14 c nbDecision=475000 #constraints=179866 1634.18/1634.82 c nbDecision=475500 #constraints=179866 1635.88/1636.55 c nbDecision=476000 #constraints=179868 1637.58/1638.24 c nbDecision=476500 #constraints=179868 1639.28/1639.92 c nbDecision=477000 #constraints=179868 1640.98/1641.60 c nbDecision=477500 #constraints=179868 1642.58/1643.26 c nbDecision=478000 #constraints=179868 1644.28/1644.92 c nbDecision=478500 #constraints=179868 1645.88/1646.55 c nbDecision=479000 #constraints=179868 1647.47/1648.17 c nbDecision=479500 #constraints=179868 1649.07/1649.79 c nbDecision=480000 #constraints=179868 1650.67/1651.39 c nbDecision=480500 #constraints=179868 1652.27/1652.99 c nbDecision=481000 #constraints=179868 1653.87/1654.58 c nbDecision=481500 #constraints=179868 1655.47/1656.17 c nbDecision=482000 #constraints=179868 1657.07/1657.75 c nbDecision=482500 #constraints=179868 1658.68/1659.33 c nbDecision=483000 #constraints=179868 1660.18/1660.89 c nbDecision=483500 #constraints=179868 1661.78/1662.44 c nbDecision=484000 #constraints=179868 1663.48/1664.13 c nbDecision=484500 #constraints=179869 1665.08/1665.76 c nbDecision=485000 #constraints=179869 1666.67/1667.37 c nbDecision=485500 #constraints=179869 1668.27/1668.97 c nbDecision=486000 #constraints=179869 1669.87/1670.57 c nbDecision=486500 #constraints=179869 1671.47/1672.16 c nbDecision=487000 #constraints=179869 1673.07/1673.73 c nbDecision=487500 #constraints=179869 1674.68/1675.31 c nbDecision=488000 #constraints=179869 1676.17/1676.88 c nbDecision=488500 #constraints=179869 1677.77/1678.45 c nbDecision=489000 #constraints=179869 1679.37/1680.01 c nbDecision=489500 #constraints=179869 1680.87/1681.55 c nbDecision=490000 #constraints=179869 1682.37/1683.08 c nbDecision=490500 #constraints=179869 1683.97/1684.60 c nbDecision=491000 #constraints=179869 1685.57/1686.24 c nbDecision=491500 #constraints=179870 1687.17/1687.85 c nbDecision=492000 #constraints=179870 1688.77/1689.44 c nbDecision=492500 #constraints=179870 1690.37/1691.03 c nbDecision=493000 #constraints=179870 1691.96/1692.61 c nbDecision=493500 #constraints=179870 1693.46/1694.18 c nbDecision=494000 #constraints=179870 1695.06/1695.74 c nbDecision=494500 #constraints=179870 1696.67/1697.31 c nbDecision=495000 #constraints=179870 1698.16/1698.86 c nbDecision=495500 #constraints=179870 1699.76/1700.40 c nbDecision=496000 #constraints=179870 1701.26/1701.93 c nbDecision=496500 #constraints=179870 1702.76/1703.46 c nbDecision=497000 #constraints=179870 1704.46/1705.17 c nbDecision=497500 #constraints=179872 1706.16/1706.85 c nbDecision=498000 #constraints=179872 1707.86/1708.52 c nbDecision=498500 #constraints=179872 1709.46/1710.18 c nbDecision=499000 #constraints=179872 1711.16/1711.83 c nbDecision=499500 #constraints=179872 1712.76/1713.47 c nbDecision=500000 #constraints=179872 1714.46/1715.11 c nbDecision=500500 #constraints=179872 1716.06/1716.75 c nbDecision=501000 #constraints=179872 1717.66/1718.38 c nbDecision=501500 #constraints=179872 1719.26/1720.00 c nbDecision=502000 #constraints=179872 1720.96/1721.61 c nbDecision=502500 #constraints=179872 1722.56/1723.21 c nbDecision=503000 #constraints=179872 1724.06/1724.80 c nbDecision=503500 #constraints=179872 1725.65/1726.37 c nbDecision=504000 #constraints=179872 1727.25/1727.93 c nbDecision=504500 #constraints=179872 1728.75/1729.49 c nbDecision=505000 #constraints=179872 1730.35/1731.04 c nbDecision=505500 #constraints=179872 1731.85/1732.57 c nbDecision=506000 #constraints=179872 1733.35/1734.09 c nbDecision=506500 #constraints=179872 1734.95/1735.61 c nbDecision=507000 #constraints=179872 1736.55/1737.23 c nbDecision=507500 #constraints=179873 1738.15/1738.85 c nbDecision=508000 #constraints=179873 1739.75/1740.45 c nbDecision=508500 #constraints=179873 1741.35/1742.04 c nbDecision=509000 #constraints=179873 1742.95/1743.63 c nbDecision=509500 #constraints=179873 1744.44/1745.19 c nbDecision=510000 #constraints=179873 1746.05/1746.75 c nbDecision=510500 #constraints=179873 1747.54/1748.29 c nbDecision=511000 #constraints=179873 1749.14/1749.82 c nbDecision=511500 #constraints=179873 1750.64/1751.34 c nbDecision=512000 #constraints=179873 1752.14/1752.86 c nbDecision=512500 #constraints=179873 1753.74/1754.41 c nbDecision=513000 #constraints=179874 1755.34/1756.02 c nbDecision=513500 #constraints=179874 1756.94/1757.61 c nbDecision=514000 #constraints=179874 1758.44/1759.19 c nbDecision=514500 #constraints=179874 1760.04/1760.76 c nbDecision=515000 #constraints=179874 1761.64/1762.32 c nbDecision=515500 #constraints=179874 1763.14/1763.87 c nbDecision=516000 #constraints=179874 1764.74/1765.41 c nbDecision=516500 #constraints=179874 1766.24/1766.92 c nbDecision=517000 #constraints=179874 1767.74/1768.43 c nbDecision=517500 #constraints=179874 1769.33/1770.09 c nbDecision=518000 #constraints=179877 1771.03/1771.79 c nbDecision=518500 #constraints=179877 1772.73/1773.47 c nbDecision=519000 #constraints=179877 1774.43/1775.16 c nbDecision=519500 #constraints=179877 1776.13/1776.84 c nbDecision=520000 #constraints=179877 1777.83/1778.51 c nbDecision=520500 #constraints=179877 1779.43/1780.17 c nbDecision=521000 #constraints=179877 1781.13/1781.83 c nbDecision=521500 #constraints=179877 1782.73/1783.47 c nbDecision=522000 #constraints=179877 1784.43/1785.11 c nbDecision=522500 #constraints=179877 1786.03/1786.72 c nbDecision=523000 #constraints=179877 1787.63/1788.32 c nbDecision=523500 #constraints=179877 1789.23/1789.92 c nbDecision=524000 #constraints=179877 1790.83/1791.51 c nbDecision=524500 #constraints=179877 1792.34/1793.09 c nbDecision=525000 #constraints=179877 1793.93/1794.66 c nbDecision=525500 #constraints=179877 1795.54/1796.23 c nbDecision=526000 #constraints=179877 1797.13/1797.80 c nbDecision=526500 #constraints=179877 1798.63/1799.35 c nbDecision=527000 #constraints=179877 1800.04/1800.70 Received signal 15 1800.04/1800.71 1800.04/1800.71 s UNKNOWN 1800.04/1800.71 1800.04/1800.71 c user time= 1799.83 s 1800.04/1800.71 c system time= 0.221966 s 1800.04/1800.71 c wall clock time=1800.71
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node5/watcher-420879-1177433727 -o ROOT/results/node5/solver-420879-1177433727 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420879-1177433727/instance-420879-1177433727.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 14175 /proc/meminfo: memFree=1748928/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=1468 CPUtime=0 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 219410514 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 367 163 130 317 0 46 0 [startup+0.0742551 s] /proc/loadavg: 0.92 0.98 0.99 3/77 14175 /proc/meminfo: memFree=1748928/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=2816 CPUtime=0.06 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 509 0 0 0 6 0 0 0 18 0 1 0 219410514 2883584 492 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 704 492 130 317 0 383 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2816 [startup+0.101258 s] /proc/loadavg: 0.92 0.98 0.99 3/77 14175 /proc/meminfo: memFree=1748928/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=3364 CPUtime=0.09 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 637 0 0 0 9 0 0 0 18 0 1 0 219410514 3444736 620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 841 620 130 317 0 520 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3364 [startup+0.301282 s] /proc/loadavg: 0.92 0.98 0.99 3/77 14175 /proc/meminfo: memFree=1748928/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=7060 CPUtime=0.29 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 1578 0 0 0 29 0 0 0 19 0 1 0 219410514 7229440 1561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 1765 1561 130 317 0 1444 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7060 [startup+0.701326 s] /proc/loadavg: 0.92 0.98 0.99 3/77 14175 /proc/meminfo: memFree=1748928/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=14580 CPUtime=0.69 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 3493 0 0 0 68 1 0 0 22 0 1 0 219410514 14929920 3443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 3645 3443 130 317 0 3324 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14580 [startup+1.50142 s] /proc/loadavg: 0.92 0.98 0.99 2/78 14176 /proc/meminfo: memFree=1729976/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=29752 CPUtime=1.49 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 7330 0 0 0 147 2 0 0 25 0 1 0 219410514 30466048 7215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 7438 7216 130 317 0 7117 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29752 [startup+3.1016 s] /proc/loadavg: 0.93 0.98 0.99 2/78 14176 /proc/meminfo: memFree=1708984/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=66052 CPUtime=3.09 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 16460 0 0 0 304 5 0 0 25 0 1 0 219410514 67637248 16216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 16513 16216 138 317 0 16192 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 66052 [startup+6.30197 s] /proc/loadavg: 0.93 0.98 0.99 2/78 14176 /proc/meminfo: memFree=1684152/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=66048 CPUtime=6.29 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 16460 0 0 0 624 5 0 0 25 0 1 0 219410514 67633152 16216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385274 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 16512 16216 138 317 0 16191 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 66048 [startup+12.7017 s] /proc/loadavg: 0.94 0.98 0.99 2/78 14176 /proc/meminfo: memFree=1684280/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=66048 CPUtime=12.69 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 16460 0 0 0 1264 5 0 0 25 0 1 0 219410514 67633152 16216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 16512 16216 138 317 0 16191 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 66048 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/78 14176 /proc/meminfo: memFree=1684280/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=66048 CPUtime=25.48 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 16462 0 0 0 2543 5 0 0 25 0 1 0 219410514 67633152 16218 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194612 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 16512 16218 138 317 0 16191 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 66048 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/78 14176 /proc/meminfo: memFree=1684344/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=66048 CPUtime=51.07 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 16465 0 0 0 5102 5 0 0 25 0 1 0 219410514 67633152 16221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606864 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 16512 16221 138 317 0 16191 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 66048 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 14176 /proc/meminfo: memFree=1679032/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=102.26 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 10219 7 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 75976 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14176 /proc/meminfo: memFree=1679032/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=162.23 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 16216 7 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385264 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 75976 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14176 /proc/meminfo: memFree=1679032/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=222.22 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 22214 8 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 75976 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14176 /proc/meminfo: memFree=1679096/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=282.2 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 28212 8 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384537 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 75976 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/84 14250 /proc/meminfo: memFree=1677824/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=342.15 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 34205 10 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 75976 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14374 /proc/meminfo: memFree=1678968/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=402.07 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 40196 11 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 75976 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14374 /proc/meminfo: memFree=1679032/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=462.05 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 46194 11 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 75976 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14374 /proc/meminfo: memFree=1679032/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=522.04 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 52192 12 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 75976 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14374 /proc/meminfo: memFree=1679032/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=582.02 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 58190 12 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 75976 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14374 /proc/meminfo: memFree=1679096/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=642.01 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 64188 13 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 75976 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14374 /proc/meminfo: memFree=1679096/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=881.92 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 88178 14 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385184 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 881.92 Current children cumulated vsize (KiB) 75976 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14374 /proc/meminfo: memFree=1679160/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=941.91 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 94176 15 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385270 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 75976 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14374 /proc/meminfo: memFree=1679160/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=1001.89 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 100174 15 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 75976 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14374 /proc/meminfo: memFree=1679160/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=1061.87 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 106171 16 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 75976 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14374 /proc/meminfo: memFree=1679160/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=1121.85 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 112169 16 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 75976 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14374 /proc/meminfo: memFree=1679224/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=1181.84 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 118167 17 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 75976 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14374 /proc/meminfo: memFree=1679224/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=1241.81 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 124164 17 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 75976 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14374 /proc/meminfo: memFree=1679224/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=1301.8 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 130162 18 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 75976 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14374 /proc/meminfo: memFree=1679224/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=1361.77 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 136159 18 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 75976 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14374 /proc/meminfo: memFree=1679160/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=1421.76 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 142157 19 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385209 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 75976 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14374 /proc/meminfo: memFree=1679160/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=1481.73 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 148154 19 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 75976 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14374 /proc/meminfo: memFree=1679224/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=1541.72 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 154152 20 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 75976 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14374 /proc/meminfo: memFree=1679160/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=1601.69 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 160149 20 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385271 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 75976 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14374 /proc/meminfo: memFree=1679224/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=1661.68 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 166147 21 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 75976 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14374 /proc/meminfo: memFree=1679224/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=1721.65 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 172144 21 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 75976 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14374 /proc/meminfo: memFree=1679160/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=1781.63 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 178142 21 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 75976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14374 /proc/meminfo: memFree=1679160/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=1800.04 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 179982 22 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 75976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14374 /proc/meminfo: memFree=1679160/2055920 swapFree=4151648/4192956 [pid=14175] ppid=14173 vsize=75976 CPUtime=1800.04 /proc/14175/stat : 14175 (oree) R 14173 14175 13246 0 -1 4194304 18954 0 0 0 179982 22 0 0 25 0 1 0 219410514 77799424 17481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14175/statm: 18994 17481 139 317 0 18673 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 75976 Child status: 0 Real time (s): 1800.79 CPU time (s): 1800.12 CPU user time (s): 1799.89 CPU system time (s): 0.232964 CPU usage (%): 99.963 Max. virtual memory (cumulated for all children) (KiB): 80892 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.89 system time used= 0.232964 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18970 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= 3077 runsolver used 1.56276 second user time and 4.21336 second system time The end
Begin job on node5 on Tue Apr 24 16:55:29 UTC 2007 IDJOB= 420879 IDBENCH= 47876 IDSOLVER= 172 FILE ID= node5/420879-1177433727 PBS_JOBID= 4675765 Free space on /tmp= 66355 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/crafted/Difficult/contest05/sabharwal/grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.opb COMMAND LINE= oree /tmp/evaluation/420879-1177433727/instance-420879-1177433727.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-420879-1177433727 -o ROOT/results/node5/solver-420879-1177433727 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420879-1177433727/instance-420879-1177433727.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= a882d3f06de9dc1339a0d54393ca9b95 RANDOM SEED= 856516749 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node5.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1749336 kB Buffers: 40728 kB Cached: 197252 kB SwapCached: 9948 kB Active: 165864 kB Inactive: 95980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1749336 kB SwapTotal: 4192956 kB SwapFree: 4151648 kB Dirty: 9672 kB Writeback: 0 kB Mapped: 30588 kB Slab: 30292 kB Committed_AS: 9066032 kB PageTables: 1724 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= 66355 MiB End job on node5 on Tue Apr 24 17:25:31 UTC 2007