Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1802.03 | 1802.63 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-NSR8K.opb |
MD5SUM | 093bff5ffdc26fbd8afb9be10c9fedc9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 5.32119 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 221520 |
Total number of constraints | 6283 |
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 | 6283 |
Minimum length of a constraint | 45 |
Maximum length of a constraint | 221520 |
Number of terms in the objective function | 221520 |
Biggest coefficient in the objective function | 8183 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 743259 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262141 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 743261 |
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.99/3.07 c ...done 2.99/3.07 c #vars=221520 #constraints=12479 hasObjective=yes 5.18/5.28 c res. mode=mod 5.18/5.28 c VSIDS like heuristics 5.18/5.28 c complete search running 6.78/6.82 c restart after 401 decisions 7.08/7.15 c nbDecision=500 #constraints=12479 8.08/8.12 c restart after 801 decisions 8.69/8.77 c nbDecision=1000 #constraints=12479 10.28/10.37 c nbDecision=1500 #constraints=12479 10.68/10.70 c restart after 1601 decisions 11.88/11.97 c nbDecision=2000 #constraints=12479 13.48/13.58 c nbDecision=2500 #constraints=12479 15.08/15.17 c nbDecision=3000 #constraints=12479 15.78/15.82 c restart after 3201 decisions 16.68/16.78 c nbDecision=3500 #constraints=12479 18.28/18.38 c nbDecision=4000 #constraints=12479 19.88/19.98 c nbDecision=4500 #constraints=12479 21.48/21.58 c nbDecision=5000 #constraints=12479 23.08/23.19 c nbDecision=5500 #constraints=12479 24.78/24.80 c nbDecision=6000 #constraints=12479 26.08/26.10 c restart after 6401 decisions 26.38/26.42 c nbDecision=6500 #constraints=12479 27.97/28.04 c nbDecision=7000 #constraints=12479 29.58/29.65 c nbDecision=7500 #constraints=12479 31.17/31.26 c nbDecision=8000 #constraints=12479 32.77/32.86 c nbDecision=8500 #constraints=12479 34.37/34.44 c nbDecision=9000 #constraints=12479 35.97/36.02 c nbDecision=9500 #constraints=12479 37.56/37.61 c nbDecision=10000 #constraints=12479 39.06/39.19 c nbDecision=10500 #constraints=12479 40.66/40.78 c nbDecision=11000 #constraints=12479 42.26/42.38 c nbDecision=11500 #constraints=12479 43.86/43.98 c nbDecision=12000 #constraints=12479 45.46/45.56 c nbDecision=12500 #constraints=12479 46.46/46.52 c restart after 12801 decisions 47.06/47.17 c nbDecision=13000 #constraints=12479 48.66/48.79 c nbDecision=13500 #constraints=12479 50.35/50.40 c nbDecision=14000 #constraints=12479 51.95/52.00 c nbDecision=14500 #constraints=12479 53.45/53.59 c nbDecision=15000 #constraints=12479 55.05/55.18 c nbDecision=15500 #constraints=12479 56.65/56.75 c nbDecision=16000 #constraints=12479 58.27/58.35 c nbDecision=16500 #constraints=12479 59.86/59.94 c nbDecision=17000 #constraints=12479 61.47/61.53 c nbDecision=17500 #constraints=12479 63.06/63.12 c nbDecision=18000 #constraints=12479 64.66/64.72 c nbDecision=18500 #constraints=12479 66.26/66.32 c nbDecision=19000 #constraints=12479 67.86/67.92 c nbDecision=19500 #constraints=12479 69.46/69.50 c nbDecision=20000 #constraints=12479 70.96/71.09 c nbDecision=20500 #constraints=12479 72.56/72.67 c nbDecision=21000 #constraints=12479 74.16/74.25 c nbDecision=21500 #constraints=12479 75.76/75.82 c nbDecision=22000 #constraints=12479 77.26/77.40 c nbDecision=22500 #constraints=12479 78.86/78.97 c nbDecision=23000 #constraints=12479 80.45/80.50 c nbDecision=23500 #constraints=12479 81.95/82.08 c nbDecision=24000 #constraints=12479 83.56/83.66 c nbDecision=24500 #constraints=12479 85.15/85.24 c nbDecision=25000 #constraints=12479 86.76/86.82 c nbDecision=25500 #constraints=12479 87.05/87.14 c restart after 25601 decisions 88.35/88.44 c nbDecision=26000 #constraints=12479 89.95/90.06 c nbDecision=26500 #constraints=12479 91.55/91.65 c nbDecision=27000 #constraints=12479 93.15/93.25 c nbDecision=27500 #constraints=12479 94.75/94.84 c nbDecision=28000 #constraints=12479 96.35/96.44 c nbDecision=28500 #constraints=12479 97.95/98.03 c nbDecision=29000 #constraints=12479 99.55/99.62 c nbDecision=29500 #constraints=12479 101.15/101.21 c nbDecision=30000 #constraints=12479 102.75/102.81 c nbDecision=30500 #constraints=12479 104.35/104.41 c nbDecision=31000 #constraints=12479 105.95/106.01 c nbDecision=31500 #constraints=12479 107.55/107.61 c nbDecision=32000 #constraints=12479 109.15/109.21 c nbDecision=32500 #constraints=12479 110.65/110.79 c nbDecision=33000 #constraints=12479 112.25/112.36 c nbDecision=33500 #constraints=12479 113.84/113.94 c nbDecision=34000 #constraints=12479 115.45/115.51 c nbDecision=34500 #constraints=12479 116.94/117.09 c nbDecision=35000 #constraints=12479 118.54/118.66 c nbDecision=35500 #constraints=12479 120.14/120.23 c nbDecision=36000 #constraints=12479 121.74/121.81 c nbDecision=36500 #constraints=12479 123.24/123.39 c nbDecision=37000 #constraints=12479 124.84/124.97 c nbDecision=37500 #constraints=12479 126.44/126.55 c nbDecision=38000 #constraints=12479 128.04/128.12 c nbDecision=38500 #constraints=12479 129.54/129.70 c nbDecision=39000 #constraints=12479 131.14/131.27 c nbDecision=39500 #constraints=12479 132.74/132.82 c nbDecision=40000 #constraints=12479 134.24/134.38 c nbDecision=40500 #constraints=12479 135.84/135.93 c nbDecision=41000 #constraints=12479 137.34/137.49 c nbDecision=41500 #constraints=12479 138.94/139.02 c nbDecision=42000 #constraints=12479 140.44/140.57 c nbDecision=42500 #constraints=12479 142.04/142.14 c nbDecision=43000 #constraints=12479 143.64/143.70 c nbDecision=43500 #constraints=12479 145.14/145.26 c nbDecision=44000 #constraints=12479 146.73/146.82 c nbDecision=44500 #constraints=12479 148.23/148.37 c nbDecision=45000 #constraints=12479 149.83/149.93 c nbDecision=45500 #constraints=12479 151.33/151.47 c nbDecision=46000 #constraints=12479 152.93/153.01 c nbDecision=46500 #constraints=12479 154.43/154.55 c nbDecision=47000 #constraints=12479 155.93/156.08 c nbDecision=47500 #constraints=12479 157.53/157.60 c nbDecision=48000 #constraints=12479 159.03/159.13 c nbDecision=48500 #constraints=12479 160.53/160.66 c nbDecision=49000 #constraints=12479 162.03/162.20 c nbDecision=49500 #constraints=12479 163.63/163.72 c nbDecision=50000 #constraints=12479 165.13/165.26 c nbDecision=50500 #constraints=12479 166.63/166.80 c nbDecision=51000 #constraints=12479 167.33/167.42 c restart after 51201 decisions 168.23/168.40 c nbDecision=51500 #constraints=12479 169.93/170.01 c nbDecision=52000 #constraints=12479 171.53/171.62 c nbDecision=52500 #constraints=12479 173.13/173.21 c nbDecision=53000 #constraints=12479 174.73/174.81 c nbDecision=53500 #constraints=12479 176.32/176.40 c nbDecision=54000 #constraints=12479 177.92/178.00 c nbDecision=54500 #constraints=12479 179.42/179.59 c nbDecision=55000 #constraints=12479 181.02/181.18 c nbDecision=55500 #constraints=12479 182.62/182.79 c nbDecision=56000 #constraints=12479 184.22/184.39 c nbDecision=56500 #constraints=12479 185.83/185.99 c nbDecision=57000 #constraints=12479 187.42/187.58 c nbDecision=57500 #constraints=12479 189.02/189.18 c nbDecision=58000 #constraints=12479 190.62/190.77 c nbDecision=58500 #constraints=12479 192.22/192.35 c nbDecision=59000 #constraints=12479 193.82/193.92 c nbDecision=59500 #constraints=12479 195.32/195.49 c nbDecision=60000 #constraints=12479 196.92/197.07 c nbDecision=60500 #constraints=12479 198.52/198.64 c nbDecision=61000 #constraints=12479 200.12/200.20 c nbDecision=61500 #constraints=12479 201.61/201.76 c nbDecision=62000 #constraints=12479 203.21/203.34 c nbDecision=62500 #constraints=12479 204.81/204.91 c nbDecision=63000 #constraints=12479 206.31/206.49 c nbDecision=63500 #constraints=12479 207.91/208.07 c nbDecision=64000 #constraints=12479 209.51/209.64 c nbDecision=64500 #constraints=12479 211.12/211.22 c nbDecision=65000 #constraints=12479 212.61/212.78 c nbDecision=65500 #constraints=12479 214.21/214.32 c nbDecision=66000 #constraints=12479 215.71/215.88 c nbDecision=66500 #constraints=12479 217.31/217.43 c nbDecision=67000 #constraints=12479 218.81/218.98 c nbDecision=67500 #constraints=12479 220.41/220.54 c nbDecision=68000 #constraints=12479 221.91/222.10 c nbDecision=68500 #constraints=12479 223.51/223.64 c nbDecision=69000 #constraints=12479 225.01/225.19 c nbDecision=69500 #constraints=12479 226.61/226.75 c nbDecision=70000 #constraints=12479 228.21/228.30 c nbDecision=70500 #constraints=12479 229.71/229.84 c nbDecision=71000 #constraints=12479 231.20/231.39 c nbDecision=71500 #constraints=12479 232.80/232.93 c nbDecision=72000 #constraints=12479 234.30/234.47 c nbDecision=72500 #constraints=12479 235.90/236.00 c nbDecision=73000 #constraints=12479 237.41/237.53 c nbDecision=73500 #constraints=12479 238.90/239.06 c nbDecision=74000 #constraints=12479 240.40/240.59 c nbDecision=74500 #constraints=12479 242.00/242.13 c nbDecision=75000 #constraints=12479 243.50/243.67 c nbDecision=75500 #constraints=12479 245.10/245.21 c nbDecision=76000 #constraints=12479 246.60/246.74 c nbDecision=76500 #constraints=12479 248.10/248.28 c nbDecision=77000 #constraints=12479 249.70/249.81 c nbDecision=77500 #constraints=12479 251.20/251.34 c nbDecision=78000 #constraints=12479 252.70/252.86 c nbDecision=78500 #constraints=12479 254.20/254.37 c nbDecision=79000 #constraints=12479 255.70/255.89 c nbDecision=79500 #constraints=12479 257.20/257.40 c nbDecision=80000 #constraints=12479 258.80/258.91 c nbDecision=80500 #constraints=12479 260.30/260.42 c nbDecision=81000 #constraints=12479 261.80/261.92 c nbDecision=81500 #constraints=12479 263.29/263.44 c nbDecision=82000 #constraints=12479 264.79/264.95 c nbDecision=82500 #constraints=12479 266.29/266.47 c nbDecision=83000 #constraints=12479 267.79/267.99 c nbDecision=83500 #constraints=12479 269.40/269.50 c nbDecision=84000 #constraints=12479 270.89/271.02 c nbDecision=84500 #constraints=12479 272.39/272.52 c nbDecision=85000 #constraints=12479 273.89/274.02 c nbDecision=85500 #constraints=12479 275.39/275.51 c nbDecision=86000 #constraints=12479 276.89/277.01 c nbDecision=86500 #constraints=12479 278.39/278.50 c nbDecision=87000 #constraints=12479 279.78/280.00 c nbDecision=87500 #constraints=12479 281.28/281.49 c nbDecision=88000 #constraints=12479 282.78/282.99 c nbDecision=88500 #constraints=12479 284.28/284.49 c nbDecision=89000 #constraints=12479 285.79/285.99 c nbDecision=89500 #constraints=12479 287.28/287.49 c nbDecision=90000 #constraints=12479 288.78/288.98 c nbDecision=90500 #constraints=12479 290.29/290.47 c nbDecision=91000 #constraints=12479 291.78/291.96 c nbDecision=91500 #constraints=12479 293.28/293.43 c nbDecision=92000 #constraints=12479 294.78/294.91 c nbDecision=92500 #constraints=12479 296.18/296.38 c nbDecision=93000 #constraints=12479 297.68/297.86 c nbDecision=93500 #constraints=12479 299.18/299.33 c nbDecision=94000 #constraints=12479 300.58/300.80 c nbDecision=94500 #constraints=12479 302.08/302.28 c nbDecision=95000 #constraints=12479 303.57/303.76 c nbDecision=95500 #constraints=12479 305.07/305.23 c nbDecision=96000 #constraints=12479 306.57/306.71 c nbDecision=96500 #constraints=12479 307.97/308.18 c nbDecision=97000 #constraints=12479 309.47/309.64 c nbDecision=97500 #constraints=12479 310.97/311.11 c nbDecision=98000 #constraints=12479 312.37/312.57 c nbDecision=98500 #constraints=12479 313.87/314.02 c nbDecision=99000 #constraints=12479 315.27/315.47 c nbDecision=99500 #constraints=12479 316.77/316.93 c nbDecision=100000 #constraints=12479 318.17/318.38 c nbDecision=100500 #constraints=12479 319.67/319.83 c nbDecision=101000 #constraints=12479 321.07/321.28 c nbDecision=101500 #constraints=12479 322.57/322.74 c nbDecision=102000 #constraints=12479 323.77/323.91 c restart after 102401 decisions 324.07/324.26 c nbDecision=102500 #constraints=12479 325.67/325.85 c nbDecision=103000 #constraints=12479 327.27/327.46 c nbDecision=103500 #constraints=12479 328.87/329.08 c nbDecision=104000 #constraints=12479 330.47/330.68 c nbDecision=104500 #constraints=12479 332.07/332.26 c nbDecision=105000 #constraints=12479 333.66/333.86 c nbDecision=105500 #constraints=12479 335.27/335.45 c nbDecision=106000 #constraints=12479 336.86/337.04 c nbDecision=106500 #constraints=12479 338.46/338.63 c nbDecision=107000 #constraints=12479 340.06/340.22 c nbDecision=107500 #constraints=12479 341.66/341.81 c nbDecision=108000 #constraints=12479 343.26/343.41 c nbDecision=108500 #constraints=12479 344.86/345.01 c nbDecision=109000 #constraints=12479 346.46/346.60 c nbDecision=109500 #constraints=12479 348.06/348.20 c nbDecision=110000 #constraints=12479 349.56/349.79 c nbDecision=110500 #constraints=12479 351.16/351.38 c nbDecision=111000 #constraints=12479 352.76/352.95 c nbDecision=111500 #constraints=12479 354.36/354.52 c nbDecision=112000 #constraints=12479 355.86/356.09 c nbDecision=112500 #constraints=12479 357.46/357.66 c nbDecision=113000 #constraints=12479 359.06/359.23 c nbDecision=113500 #constraints=12479 360.56/360.77 c nbDecision=114000 #constraints=12479 362.15/362.34 c nbDecision=114500 #constraints=12479 363.75/363.92 c nbDecision=115000 #constraints=12479 365.35/365.50 c nbDecision=115500 #constraints=12479 366.85/367.08 c nbDecision=116000 #constraints=12479 368.45/368.65 c nbDecision=116500 #constraints=12479 370.05/370.21 c nbDecision=117000 #constraints=12479 371.56/371.78 c nbDecision=117500 #constraints=12479 373.15/373.31 c nbDecision=118000 #constraints=12479 374.65/374.85 c nbDecision=118500 #constraints=12479 376.15/376.37 c nbDecision=119000 #constraints=12479 377.65/377.89 c nbDecision=119500 #constraints=12479 379.25/379.41 c nbDecision=120000 #constraints=12479 380.75/380.92 c nbDecision=120500 #constraints=12479 382.25/382.47 c nbDecision=121000 #constraints=12479 383.85/384.01 c nbDecision=121500 #constraints=12479 385.35/385.53 c nbDecision=122000 #constraints=12479 386.85/387.06 c nbDecision=122500 #constraints=12479 388.34/388.59 c nbDecision=123000 #constraints=12479 389.94/390.11 c nbDecision=123500 #constraints=12479 391.45/391.63 c nbDecision=124000 #constraints=12479 392.95/393.14 c nbDecision=124500 #constraints=12479 394.44/394.64 c nbDecision=125000 #constraints=12479 395.94/396.14 c nbDecision=125500 #constraints=12479 397.44/397.63 c nbDecision=126000 #constraints=12479 398.94/399.15 c nbDecision=126500 #constraints=12479 400.44/400.65 c nbDecision=127000 #constraints=12479 401.94/402.19 c nbDecision=127500 #constraints=12479 403.54/403.72 c nbDecision=128000 #constraints=12479 405.04/405.26 c nbDecision=128500 #constraints=12479 406.54/406.79 c nbDecision=129000 #constraints=12479 408.14/408.32 c nbDecision=129500 #constraints=12479 409.64/409.85 c nbDecision=130000 #constraints=12479 411.14/411.38 c nbDecision=130500 #constraints=12479 412.64/412.89 c nbDecision=131000 #constraints=12479 414.24/414.40 c nbDecision=131500 #constraints=12479 415.73/415.91 c nbDecision=132000 #constraints=12479 417.23/417.42 c nbDecision=132500 #constraints=12479 418.73/418.91 c nbDecision=133000 #constraints=12479 420.23/420.42 c nbDecision=133500 #constraints=12479 421.73/421.93 c nbDecision=134000 #constraints=12479 423.24/423.45 c nbDecision=134500 #constraints=12479 424.73/424.96 c nbDecision=135000 #constraints=12479 426.23/426.48 c nbDecision=135500 #constraints=12479 427.83/428.00 c nbDecision=136000 #constraints=12479 429.33/429.51 c nbDecision=136500 #constraints=12479 430.83/431.02 c nbDecision=137000 #constraints=12479 432.33/432.52 c nbDecision=137500 #constraints=12479 433.83/434.01 c nbDecision=138000 #constraints=12479 435.23/435.48 c nbDecision=138500 #constraints=12479 436.73/436.98 c nbDecision=139000 #constraints=12479 438.23/438.46 c nbDecision=139500 #constraints=12479 439.73/439.95 c nbDecision=140000 #constraints=12479 441.22/441.44 c nbDecision=140500 #constraints=12479 442.72/442.92 c nbDecision=141000 #constraints=12479 444.23/444.42 c nbDecision=141500 #constraints=12479 445.72/445.91 c nbDecision=142000 #constraints=12479 447.22/447.41 c nbDecision=142500 #constraints=12479 448.72/448.90 c nbDecision=143000 #constraints=12479 450.12/450.39 c nbDecision=143500 #constraints=12479 451.62/451.86 c nbDecision=144000 #constraints=12479 453.12/453.34 c nbDecision=144500 #constraints=12479 454.62/454.81 c nbDecision=145000 #constraints=12479 456.02/456.28 c nbDecision=145500 #constraints=12479 457.52/457.73 c nbDecision=146000 #constraints=12479 459.02/459.20 c nbDecision=146500 #constraints=12479 460.42/460.66 c nbDecision=147000 #constraints=12479 461.92/462.14 c nbDecision=147500 #constraints=12479 463.42/463.61 c nbDecision=148000 #constraints=12479 464.82/465.09 c nbDecision=148500 #constraints=12479 466.32/466.56 c nbDecision=149000 #constraints=12479 467.82/468.03 c nbDecision=149500 #constraints=12479 469.32/469.50 c nbDecision=150000 #constraints=12479 470.72/470.97 c nbDecision=150500 #constraints=12479 472.22/472.42 c nbDecision=151000 #constraints=12479 473.62/473.87 c nbDecision=151500 #constraints=12479 475.11/475.30 c nbDecision=152000 #constraints=12479 476.51/476.75 c nbDecision=152500 #constraints=12479 477.91/478.20 c nbDecision=153000 #constraints=12479 479.41/479.64 c nbDecision=153500 #constraints=12479 480.81/481.08 c nbDecision=154000 #constraints=12479 482.31/482.54 c nbDecision=154500 #constraints=12479 483.71/483.98 c nbDecision=155000 #constraints=12479 485.21/485.43 c nbDecision=155500 #constraints=12479 486.61/486.88 c nbDecision=156000 #constraints=12479 488.11/488.33 c nbDecision=156500 #constraints=12479 489.51/489.78 c nbDecision=157000 #constraints=12479 491.01/491.22 c nbDecision=157500 #constraints=12479 492.41/492.65 c nbDecision=158000 #constraints=12479 493.80/494.08 c nbDecision=158500 #constraints=12479 495.30/495.50 c nbDecision=159000 #constraints=12479 496.70/496.93 c nbDecision=159500 #constraints=12479 498.11/498.35 c nbDecision=160000 #constraints=12479 499.50/499.77 c nbDecision=160500 #constraints=12479 500.90/501.20 c nbDecision=161000 #constraints=12479 502.41/502.63 c nbDecision=161500 #constraints=12479 503.80/504.06 c nbDecision=162000 #constraints=12479 505.20/505.49 c nbDecision=162500 #constraints=12479 506.70/506.91 c nbDecision=163000 #constraints=12479 508.10/508.34 c nbDecision=163500 #constraints=12479 509.50/509.77 c nbDecision=164000 #constraints=12479 510.90/511.19 c nbDecision=164500 #constraints=12479 512.31/512.59 c nbDecision=165000 #constraints=12479 513.70/513.99 c nbDecision=165500 #constraints=12479 515.20/515.40 c nbDecision=166000 #constraints=12479 516.60/516.80 c nbDecision=166500 #constraints=12479 518.00/518.20 c nbDecision=167000 #constraints=12479 519.40/519.61 c nbDecision=167500 #constraints=12479 520.80/521.00 c nbDecision=168000 #constraints=12479 522.21/522.41 c nbDecision=168500 #constraints=12479 523.60/523.82 c nbDecision=169000 #constraints=12479 525.00/525.23 c nbDecision=169500 #constraints=12479 526.40/526.63 c nbDecision=170000 #constraints=12479 527.81/528.04 c nbDecision=170500 #constraints=12479 529.20/529.44 c nbDecision=171000 #constraints=12479 530.60/530.84 c nbDecision=171500 #constraints=12479 532.00/532.23 c nbDecision=172000 #constraints=12479 533.40/533.62 c nbDecision=172500 #constraints=12479 534.80/535.00 c nbDecision=173000 #constraints=12479 536.10/536.38 c nbDecision=173500 #constraints=12479 537.50/537.75 c nbDecision=174000 #constraints=12479 538.90/539.13 c nbDecision=174500 #constraints=12479 540.30/540.51 c nbDecision=175000 #constraints=12479 541.60/541.89 c nbDecision=175500 #constraints=12479 543.00/543.28 c nbDecision=176000 #constraints=12479 544.40/544.67 c nbDecision=176500 #constraints=12479 545.79/546.05 c nbDecision=177000 #constraints=12479 547.19/547.43 c nbDecision=177500 #constraints=12479 548.60/548.81 c nbDecision=178000 #constraints=12479 549.89/550.19 c nbDecision=178500 #constraints=12479 551.29/551.57 c nbDecision=179000 #constraints=12479 552.69/552.93 c nbDecision=179500 #constraints=12479 553.99/554.29 c nbDecision=180000 #constraints=12479 555.39/555.65 c nbDecision=180500 #constraints=12479 556.79/557.01 c nbDecision=181000 #constraints=12479 558.09/558.37 c nbDecision=181500 #constraints=12479 559.49/559.73 c nbDecision=182000 #constraints=12479 560.79/561.08 c nbDecision=182500 #constraints=12479 562.19/562.44 c nbDecision=183000 #constraints=12479 563.59/563.81 c nbDecision=183500 #constraints=12479 564.89/565.17 c nbDecision=184000 #constraints=12479 566.29/566.53 c nbDecision=184500 #constraints=12479 567.59/567.89 c nbDecision=185000 #constraints=12479 568.98/569.25 c nbDecision=185500 #constraints=12479 570.38/570.60 c nbDecision=186000 #constraints=12479 571.69/571.95 c nbDecision=186500 #constraints=12479 572.98/573.29 c nbDecision=187000 #constraints=12479 574.38/574.63 c nbDecision=187500 #constraints=12479 575.68/575.98 c nbDecision=188000 #constraints=12479 577.08/577.32 c nbDecision=188500 #constraints=12479 578.39/578.65 c nbDecision=189000 #constraints=12479 579.68/579.98 c nbDecision=189500 #constraints=12479 581.08/581.31 c nbDecision=190000 #constraints=12479 582.38/582.65 c nbDecision=190500 #constraints=12479 583.68/583.99 c nbDecision=191000 #constraints=12479 585.08/585.33 c nbDecision=191500 #constraints=12479 586.38/586.67 c nbDecision=192000 #constraints=12479 587.78/588.00 c nbDecision=192500 #constraints=12479 589.08/589.34 c nbDecision=193000 #constraints=12479 590.38/590.70 c nbDecision=193500 #constraints=12479 591.78/592.05 c nbDecision=194000 #constraints=12479 593.08/593.37 c nbDecision=194500 #constraints=12479 594.48/594.70 c nbDecision=195000 #constraints=12479 595.78/596.05 c nbDecision=195500 #constraints=12479 597.08/597.39 c nbDecision=196000 #constraints=12479 598.38/598.70 c nbDecision=196500 #constraints=12479 599.77/600.01 c nbDecision=197000 #constraints=12479 601.07/601.31 c nbDecision=197500 #constraints=12479 602.37/602.63 c nbDecision=198000 #constraints=12479 603.68/603.94 c nbDecision=198500 #constraints=12479 604.97/605.26 c nbDecision=199000 #constraints=12479 606.27/606.57 c nbDecision=199500 #constraints=12479 607.57/607.88 c nbDecision=200000 #constraints=12479 608.87/609.19 c nbDecision=200500 #constraints=12479 610.18/610.49 c nbDecision=201000 #constraints=12479 611.47/611.79 c nbDecision=201500 #constraints=12479 612.77/613.08 c nbDecision=202000 #constraints=12479 614.07/614.37 c nbDecision=202500 #constraints=12479 615.37/615.66 c nbDecision=203000 #constraints=12479 616.67/616.95 c nbDecision=203500 #constraints=12479 617.97/618.23 c nbDecision=204000 #constraints=12479 619.27/619.52 c nbDecision=204500 #constraints=12479 619.97/620.29 c restart after 204801 decisions 620.67/620.99 c nbDecision=205000 #constraints=12479 622.37/622.60 c nbDecision=205500 #constraints=12479 623.87/624.20 c nbDecision=206000 #constraints=12479 625.57/625.81 c nbDecision=206500 #constraints=12479 627.16/627.42 c nbDecision=207000 #constraints=12479 628.76/629.03 c nbDecision=207500 #constraints=12479 630.36/630.64 c nbDecision=208000 #constraints=12479 631.96/632.21 c nbDecision=208500 #constraints=12479 633.56/633.80 c nbDecision=209000 #constraints=12479 635.06/635.39 c nbDecision=209500 #constraints=12479 636.67/636.98 c nbDecision=210000 #constraints=12479 638.26/638.56 c nbDecision=210500 #constraints=12479 639.86/640.15 c nbDecision=211000 #constraints=12479 641.46/641.74 c nbDecision=211500 #constraints=12479 643.06/643.33 c nbDecision=212000 #constraints=12479 644.66/644.92 c nbDecision=212500 #constraints=12479 646.26/646.52 c nbDecision=213000 #constraints=12479 647.86/648.11 c nbDecision=213500 #constraints=12479 649.36/649.69 c nbDecision=214000 #constraints=12479 650.96/651.28 c nbDecision=214500 #constraints=12479 652.56/652.85 c nbDecision=215000 #constraints=12479 654.06/654.40 c nbDecision=215500 #constraints=12479 655.66/655.97 c nbDecision=216000 #constraints=12479 657.26/657.51 c nbDecision=216500 #constraints=12479 658.75/659.08 c nbDecision=217000 #constraints=12479 660.35/660.64 c nbDecision=217500 #constraints=12479 661.96/662.21 c nbDecision=218000 #constraints=12479 663.45/663.79 c nbDecision=218500 #constraints=12479 665.05/665.36 c nbDecision=219000 #constraints=12479 666.65/666.94 c nbDecision=219500 #constraints=12479 668.25/668.50 c nbDecision=220000 #constraints=12479 669.75/670.07 c nbDecision=220500 #constraints=12479 671.35/671.63 c nbDecision=221000 #constraints=12479 672.85/673.18 c nbDecision=221500 #constraints=12479 674.45/674.73 c nbDecision=222000 #constraints=12479 675.95/676.28 c nbDecision=222500 #constraints=12479 677.55/677.82 c nbDecision=223000 #constraints=12479 679.04/679.37 c nbDecision=223500 #constraints=12479 680.55/680.88 c nbDecision=224000 #constraints=12479 682.14/682.42 c nbDecision=224500 #constraints=12479 683.64/683.95 c nbDecision=225000 #constraints=12479 685.14/685.47 c nbDecision=225500 #constraints=12479 686.64/686.99 c nbDecision=226000 #constraints=12479 688.25/688.51 c nbDecision=226500 #constraints=12479 689.74/690.04 c nbDecision=227000 #constraints=12479 691.24/691.55 c nbDecision=227500 #constraints=12479 692.74/693.08 c nbDecision=228000 #constraints=12479 694.34/694.61 c nbDecision=228500 #constraints=12479 695.84/696.14 c nbDecision=229000 #constraints=12479 697.34/697.66 c nbDecision=229500 #constraints=12479 698.84/699.18 c nbDecision=230000 #constraints=12479 700.44/700.71 c nbDecision=230500 #constraints=12479 701.94/702.24 c nbDecision=231000 #constraints=12479 703.44/703.77 c nbDecision=231500 #constraints=12479 705.04/705.30 c nbDecision=232000 #constraints=12479 706.54/706.83 c nbDecision=232500 #constraints=12479 708.04/708.36 c nbDecision=233000 #constraints=12479 709.54/709.88 c nbDecision=233500 #constraints=12479 711.13/711.41 c nbDecision=234000 #constraints=12479 712.63/712.91 c nbDecision=234500 #constraints=12479 714.13/714.42 c nbDecision=235000 #constraints=12479 715.63/715.93 c nbDecision=235500 #constraints=12479 717.13/717.42 c nbDecision=236000 #constraints=12479 718.63/718.92 c nbDecision=236500 #constraints=12479 720.13/720.42 c nbDecision=237000 #constraints=12479 721.63/721.92 c nbDecision=237500 #constraints=12479 723.13/723.43 c nbDecision=238000 #constraints=12479 724.63/724.95 c nbDecision=238500 #constraints=12479 726.13/726.46 c nbDecision=239000 #constraints=12479 727.63/727.97 c nbDecision=239500 #constraints=12479 729.13/729.48 c nbDecision=240000 #constraints=12479 730.63/730.98 c nbDecision=240500 #constraints=12479 732.13/732.48 c nbDecision=241000 #constraints=12479 733.62/733.97 c nbDecision=241500 #constraints=12479 735.13/735.46 c nbDecision=242000 #constraints=12479 736.63/736.94 c nbDecision=242500 #constraints=12479 738.12/738.43 c nbDecision=243000 #constraints=12479 739.62/739.91 c nbDecision=243500 #constraints=12479 741.03/741.40 c nbDecision=244000 #constraints=12479 742.52/742.89 c nbDecision=244500 #constraints=12479 744.02/744.39 c nbDecision=245000 #constraints=12479 745.52/745.88 c nbDecision=245500 #constraints=12479 747.02/747.37 c nbDecision=246000 #constraints=12479 748.52/748.86 c nbDecision=246500 #constraints=12479 750.02/750.34 c nbDecision=247000 #constraints=12479 751.52/751.82 c nbDecision=247500 #constraints=12479 752.92/753.29 c nbDecision=248000 #constraints=12479 754.42/754.75 c nbDecision=248500 #constraints=12479 755.92/756.22 c nbDecision=249000 #constraints=12479 757.32/757.68 c nbDecision=249500 #constraints=12479 758.81/759.15 c nbDecision=250000 #constraints=12479 760.31/760.61 c nbDecision=250500 #constraints=12479 761.71/762.08 c nbDecision=251000 #constraints=12479 763.21/763.55 c nbDecision=251500 #constraints=12479 764.71/765.02 c nbDecision=252000 #constraints=12479 766.11/766.49 c nbDecision=252500 #constraints=12479 767.61/767.95 c nbDecision=253000 #constraints=12479 769.11/769.42 c nbDecision=253500 #constraints=12479 770.51/770.88 c nbDecision=254000 #constraints=12479 772.01/772.34 c nbDecision=254500 #constraints=12479 773.41/773.78 c nbDecision=255000 #constraints=12479 774.91/775.23 c nbDecision=255500 #constraints=12479 776.31/776.67 c nbDecision=256000 #constraints=12479 777.82/778.11 c nbDecision=256500 #constraints=12479 779.22/779.55 c nbDecision=257000 #constraints=12479 780.62/780.99 c nbDecision=257500 #constraints=12479 782.12/782.44 c nbDecision=258000 #constraints=12479 783.51/783.89 c nbDecision=258500 #constraints=12479 785.02/785.34 c nbDecision=259000 #constraints=12479 786.42/786.79 c nbDecision=259500 #constraints=12479 787.91/788.23 c nbDecision=260000 #constraints=12479 789.31/789.68 c nbDecision=260500 #constraints=12479 790.81/791.12 c nbDecision=261000 #constraints=12479 792.21/792.54 c nbDecision=261500 #constraints=12479 793.61/793.97 c nbDecision=262000 #constraints=12479 795.02/795.39 c nbDecision=262500 #constraints=12479 796.51/796.81 c nbDecision=263000 #constraints=12479 797.91/798.23 c nbDecision=263500 #constraints=12479 799.31/799.65 c nbDecision=264000 #constraints=12479 800.71/801.07 c nbDecision=264500 #constraints=12479 802.11/802.49 c nbDecision=265000 #constraints=12479 803.61/803.92 c nbDecision=265500 #constraints=12479 805.01/805.35 c nbDecision=266000 #constraints=12479 806.41/806.77 c nbDecision=266500 #constraints=12479 807.81/808.19 c nbDecision=267000 #constraints=12479 809.31/809.62 c nbDecision=267500 #constraints=12479 810.70/811.04 c nbDecision=268000 #constraints=12479 812.10/812.44 c nbDecision=268500 #constraints=12479 813.50/813.84 c nbDecision=269000 #constraints=12479 814.90/815.24 c nbDecision=269500 #constraints=12479 816.30/816.64 c nbDecision=270000 #constraints=12479 817.70/818.04 c nbDecision=270500 #constraints=12479 819.11/819.43 c nbDecision=271000 #constraints=12479 820.50/820.83 c nbDecision=271500 #constraints=12479 821.90/822.24 c nbDecision=272000 #constraints=12479 823.30/823.64 c nbDecision=272500 #constraints=12479 824.70/825.05 c nbDecision=273000 #constraints=12479 826.10/826.45 c nbDecision=273500 #constraints=12479 827.50/827.85 c nbDecision=274000 #constraints=12479 828.90/829.25 c nbDecision=274500 #constraints=12479 830.30/830.65 c nbDecision=275000 #constraints=12479 831.70/832.03 c nbDecision=275500 #constraints=12479 833.10/833.41 c nbDecision=276000 #constraints=12479 834.40/834.79 c nbDecision=276500 #constraints=12479 835.80/836.17 c nbDecision=277000 #constraints=12479 837.20/837.54 c nbDecision=277500 #constraints=12479 838.60/838.92 c nbDecision=278000 #constraints=12479 839.89/840.29 c nbDecision=278500 #constraints=12479 841.29/841.67 c nbDecision=279000 #constraints=12479 842.69/843.05 c nbDecision=279500 #constraints=12479 844.09/844.43 c nbDecision=280000 #constraints=12479 845.50/845.81 c nbDecision=280500 #constraints=12479 846.79/847.19 c nbDecision=281000 #constraints=12479 848.19/848.56 c nbDecision=281500 #constraints=12479 849.59/849.94 c nbDecision=282000 #constraints=12479 850.99/851.31 c nbDecision=282500 #constraints=12479 852.29/852.67 c nbDecision=283000 #constraints=12479 853.69/854.03 c nbDecision=283500 #constraints=12479 854.99/855.39 c nbDecision=284000 #constraints=12479 856.39/856.74 c nbDecision=284500 #constraints=12479 857.79/858.10 c nbDecision=285000 #constraints=12479 859.09/859.45 c nbDecision=285500 #constraints=12479 860.49/860.80 c nbDecision=286000 #constraints=12479 861.79/862.16 c nbDecision=286500 #constraints=12479 863.19/863.52 c nbDecision=287000 #constraints=12479 864.48/864.88 c nbDecision=287500 #constraints=12479 865.88/866.24 c nbDecision=288000 #constraints=12479 867.18/867.59 c nbDecision=288500 #constraints=12479 868.59/868.94 c nbDecision=289000 #constraints=12479 869.88/870.30 c nbDecision=289500 #constraints=12479 871.28/871.65 c nbDecision=290000 #constraints=12479 872.68/873.00 c nbDecision=290500 #constraints=12479 873.98/874.34 c nbDecision=291000 #constraints=12479 875.28/875.67 c nbDecision=291500 #constraints=12479 876.68/877.00 c nbDecision=292000 #constraints=12479 877.98/878.33 c nbDecision=292500 #constraints=12479 879.28/879.66 c nbDecision=293000 #constraints=12479 880.58/880.99 c nbDecision=293500 #constraints=12479 881.98/882.32 c nbDecision=294000 #constraints=12479 883.28/883.65 c nbDecision=294500 #constraints=12479 884.58/884.99 c nbDecision=295000 #constraints=12479 885.97/886.34 c nbDecision=295500 #constraints=12479 887.28/887.70 c nbDecision=296000 #constraints=12479 888.67/889.04 c nbDecision=296500 #constraints=12479 889.97/890.37 c nbDecision=297000 #constraints=12479 891.37/891.73 c nbDecision=297500 #constraints=12479 892.67/893.09 c nbDecision=298000 #constraints=12479 894.07/894.40 c nbDecision=298500 #constraints=12479 895.37/895.71 c nbDecision=299000 #constraints=12479 896.67/897.02 c nbDecision=299500 #constraints=12479 897.97/898.32 c nbDecision=300000 #constraints=12479 899.27/899.63 c nbDecision=300500 #constraints=12479 900.57/900.93 c nbDecision=301000 #constraints=12479 901.87/902.24 c nbDecision=301500 #constraints=12479 903.17/903.55 c nbDecision=302000 #constraints=12479 904.47/904.86 c nbDecision=302500 #constraints=12479 905.77/906.17 c nbDecision=303000 #constraints=12479 907.07/907.48 c nbDecision=303500 #constraints=12479 908.37/908.78 c nbDecision=304000 #constraints=12479 909.67/910.09 c nbDecision=304500 #constraints=12479 910.97/911.39 c nbDecision=305000 #constraints=12479 912.27/912.68 c nbDecision=305500 #constraints=12479 913.57/913.96 c nbDecision=306000 #constraints=12479 914.87/915.25 c nbDecision=306500 #constraints=12479 916.16/916.53 c nbDecision=307000 #constraints=12479 917.46/917.81 c nbDecision=307500 #constraints=12479 918.66/919.10 c nbDecision=308000 #constraints=12479 919.96/920.37 c nbDecision=308500 #constraints=12479 921.26/921.66 c nbDecision=309000 #constraints=12479 922.57/922.94 c nbDecision=309500 #constraints=12479 923.86/924.23 c nbDecision=310000 #constraints=12479 925.16/925.52 c nbDecision=310500 #constraints=12479 926.46/926.80 c nbDecision=311000 #constraints=12479 927.66/928.09 c nbDecision=311500 #constraints=12479 928.96/929.38 c nbDecision=312000 #constraints=12479 930.26/930.66 c nbDecision=312500 #constraints=12479 931.56/931.94 c nbDecision=313000 #constraints=12479 932.86/933.22 c nbDecision=313500 #constraints=12479 934.06/934.49 c nbDecision=314000 #constraints=12479 935.36/935.76 c nbDecision=314500 #constraints=12479 936.66/937.03 c nbDecision=315000 #constraints=12479 937.96/938.31 c nbDecision=315500 #constraints=12479 939.15/939.58 c nbDecision=316000 #constraints=12479 940.46/940.85 c nbDecision=316500 #constraints=12479 941.75/942.12 c nbDecision=317000 #constraints=12479 943.05/943.40 c nbDecision=317500 #constraints=12479 944.25/944.68 c nbDecision=318000 #constraints=12479 945.56/945.96 c nbDecision=318500 #constraints=12479 946.85/947.24 c nbDecision=319000 #constraints=12479 948.15/948.52 c nbDecision=319500 #constraints=12479 949.35/949.79 c nbDecision=320000 #constraints=12479 950.65/951.07 c nbDecision=320500 #constraints=12479 951.95/952.33 c nbDecision=321000 #constraints=12479 953.15/953.60 c nbDecision=321500 #constraints=12479 962.94/963.31 c nbDecision=322000 #constraints=12483 964.14/964.59 c nbDecision=322500 #constraints=12483 965.45/965.86 c nbDecision=323000 #constraints=12483 991.64/992.07 c nbDecision=323500 #constraints=12490 992.94/993.34 c nbDecision=324000 #constraints=12490 1010.73/1011.19 c nbDecision=324500 #constraints=12494 1012.03/1012.46 c nbDecision=325000 #constraints=12494 1013.33/1013.72 c nbDecision=325500 #constraints=12494 1031.12/1031.54 c nbDecision=326000 #constraints=12497 1032.43/1032.89 c nbDecision=326500 #constraints=12503 1033.72/1034.16 c nbDecision=327000 #constraints=12503 1035.02/1035.42 c nbDecision=327500 #constraints=12503 1036.22/1036.69 c nbDecision=328000 #constraints=12503 1160.38/1160.87 c nbDecision=328500 #constraints=12516 1161.68/1162.14 c nbDecision=329000 #constraints=12516 1162.98/1163.42 c nbDecision=329500 #constraints=12516 1164.18/1164.70 c nbDecision=330000 #constraints=12516 1165.48/1165.97 c nbDecision=330500 #constraints=12516 1289.74/1290.20 c nbDecision=331000 #constraints=12527 1290.94/1291.48 c nbDecision=331500 #constraints=12527 1292.24/1292.74 c nbDecision=332000 #constraints=12527 1293.54/1294.01 c nbDecision=332500 #constraints=12527 1417.21/1417.79 c nbDecision=333000 #constraints=12538 1418.51/1419.05 c nbDecision=333500 #constraints=12538 1419.81/1420.32 c nbDecision=334000 #constraints=12538 1421.01/1421.59 c nbDecision=334500 #constraints=12538 1422.31/1422.86 c nbDecision=335000 #constraints=12538 1546.37/1546.91 c nbDecision=335500 #constraints=12549 1547.57/1548.19 c nbDecision=336000 #constraints=12549 1548.87/1549.47 c nbDecision=336500 #constraints=12549 1550.17/1550.74 c nbDecision=337000 #constraints=12549 1551.47/1552.01 c nbDecision=337500 #constraints=12549 1675.43/1676.09 c nbDecision=338000 #constraints=12560 1676.73/1677.36 c nbDecision=338500 #constraints=12560 1678.03/1678.62 c nbDecision=339000 #constraints=12560 1679.22/1679.89 c nbDecision=339500 #constraints=12560 1680.52/1681.15 c nbDecision=340000 #constraints=12560 1681.82/1682.42 c nbDecision=340500 #constraints=12560 1683.12/1683.70 c nbDecision=341000 #constraints=12560 1800.00/1800.61 Received signal 15
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node54/watcher-362720-1176848132 -o ROOT/results/node54/solver-362720-1176848132 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362720-1176848132/instance-362720-1176848132.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.95 0.98 3/66 11144 /proc/meminfo: memFree=1775360/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=1620 CPUtime=0 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 132187732 1658880 176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 405 176 126 317 0 84 0 [startup+0.0237049 s] /proc/loadavg: 0.92 0.95 0.98 3/66 11144 /proc/meminfo: memFree=1775360/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=1880 CPUtime=0.02 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 313 0 0 0 2 0 0 0 18 0 1 0 132187732 1925120 262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 470 262 126 317 0 149 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1880 [startup+0.101721 s] /proc/loadavg: 0.92 0.95 0.98 3/66 11144 /proc/meminfo: memFree=1775360/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=5624 CPUtime=0.09 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 971 0 0 0 9 0 0 0 18 0 1 0 132187732 5758976 726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 1406 728 126 317 0 1085 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5624 [startup+0.301739 s] /proc/loadavg: 0.92 0.95 0.98 3/66 11144 /proc/meminfo: memFree=1775360/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=9548 CPUtime=0.29 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 2924 0 0 0 28 1 0 0 19 0 1 0 132187732 9777152 1909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 2387 1909 126 317 0 2066 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9548 [startup+0.701791 s] /proc/loadavg: 0.92 0.95 0.98 3/66 11144 /proc/meminfo: memFree=1775360/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=12264 CPUtime=0.69 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 3729 0 0 0 68 1 0 0 22 0 1 0 132187732 12558336 2714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 3066 2714 131 317 0 2745 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12264 [startup+1.50189 s] /proc/loadavg: 0.92 0.95 0.98 2/67 11145 /proc/meminfo: memFree=1758200/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=28892 CPUtime=1.49 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 7779 0 0 0 146 3 0 0 25 0 1 0 132187732 29585408 6764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 7223 6764 131 317 0 6902 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28892 [startup+3.10111 s] /proc/loadavg: 0.93 0.95 0.98 2/67 11145 /proc/meminfo: memFree=1734904/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=72184 CPUtime=3.09 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 18309 0 0 0 300 9 0 0 25 0 1 0 132187732 73916416 16297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 0 0 0 /proc/11144/statm: 18046 16297 136 317 0 17725 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 72184 [startup+6.3015 s] /proc/loadavg: 0.93 0.95 0.98 2/67 11145 /proc/meminfo: memFree=1682808/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=95476 CPUtime=6.28 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25252 0 0 0 617 11 0 0 25 0 1 0 132187732 97767424 23240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 23869 23240 138 317 0 23548 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 95476 [startup+12.7013 s] /proc/loadavg: 0.94 0.96 0.98 2/67 11145 /proc/meminfo: memFree=1682680/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=95476 CPUtime=12.68 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25252 0 0 0 1257 11 0 0 25 0 1 0 132187732 97767424 23240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 23869 23240 138 317 0 23548 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 95476 [startup+25.5029 s] /proc/loadavg: 0.95 0.96 0.98 2/67 11145 /proc/meminfo: memFree=1682744/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=95476 CPUtime=25.48 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25252 0 0 0 2537 11 0 0 25 0 1 0 132187732 97767424 23240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 23869 23240 138 317 0 23548 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 95476 [startup+51.1022 s] /proc/loadavg: 0.96 0.96 0.98 2/67 11145 /proc/meminfo: memFree=1682744/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=95476 CPUtime=51.06 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25252 0 0 0 5095 11 0 0 25 0 1 0 132187732 97767424 23240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 23869 23240 138 317 0 23548 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 95476 [startup+102.307 s] /proc/loadavg: 0.98 0.96 0.98 2/67 11145 /proc/meminfo: memFree=1682808/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=95476 CPUtime=102.25 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25252 0 0 0 10213 12 0 0 25 0 1 0 132187732 97767424 23240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 23869 23240 138 317 0 23548 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 95476 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11145 /proc/meminfo: memFree=1682744/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=95476 CPUtime=162.23 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25262 0 0 0 16211 12 0 0 25 0 1 0 132187732 97767424 23250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 23869 23250 138 317 0 23548 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 95476 [startup+222.303 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11145 /proc/meminfo: memFree=1682680/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=95476 CPUtime=222.21 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25264 0 0 0 22209 12 0 0 25 0 1 0 132187732 97767424 23252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 23869 23252 138 317 0 23548 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 95476 [startup+282.303 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11145 /proc/meminfo: memFree=1682616/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=95476 CPUtime=282.19 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25277 0 0 0 28207 12 0 0 25 0 1 0 132187732 97767424 23265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 23869 23265 138 317 0 23548 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 95476 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11145 /proc/meminfo: memFree=1682488/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=95548 CPUtime=342.16 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25291 0 0 0 34204 12 0 0 25 0 1 0 132187732 97841152 23279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 23887 23279 138 317 0 23566 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 95548 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11145 /proc/meminfo: memFree=1682424/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=95548 CPUtime=402.14 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25291 0 0 0 40202 12 0 0 25 0 1 0 132187732 97841152 23279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 23887 23279 138 317 0 23566 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 95548 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11145 /proc/meminfo: memFree=1682360/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=95548 CPUtime=462.12 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25291 0 0 0 46200 12 0 0 25 0 1 0 132187732 97841152 23279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 23887 23279 138 317 0 23566 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 95548 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11145 /proc/meminfo: memFree=1682360/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=95676 CPUtime=522.1 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25305 0 0 0 52197 13 0 0 25 0 1 0 132187732 97972224 23293 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 23919 23293 138 317 0 23598 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 95676 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11145 /proc/meminfo: memFree=1682232/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=95676 CPUtime=582.08 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25327 0 0 0 58195 13 0 0 25 0 1 0 132187732 97972224 23315 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 23919 23315 138 317 0 23598 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 95676 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11145 /proc/meminfo: memFree=1682168/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=95548 CPUtime=642.06 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25341 0 0 0 64193 13 0 0 25 0 1 0 132187732 97841152 23286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 23887 23286 138 317 0 23566 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 95548 ################ # More data... # ################ /proc/meminfo: memFree=1681784/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=96144 CPUtime=1001.93 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25492 0 0 0 100179 14 0 0 25 0 1 0 132187732 98451456 23351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 24036 23351 139 317 0 23715 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 96144 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11145 /proc/meminfo: memFree=1681784/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=96144 CPUtime=1061.91 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25492 0 0 0 106177 14 0 0 25 0 1 0 132187732 98451456 23351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 24036 23351 139 317 0 23715 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 96144 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11145 /proc/meminfo: memFree=1681848/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=96144 CPUtime=1121.89 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25492 0 0 0 112175 14 0 0 25 0 1 0 132187732 98451456 23351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 24036 23351 139 317 0 23715 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 96144 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11145 /proc/meminfo: memFree=1681848/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=96144 CPUtime=1181.87 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25492 0 0 0 118173 14 0 0 25 0 1 0 132187732 98451456 23351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 24036 23351 139 317 0 23715 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 96144 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11145 /proc/meminfo: memFree=1681912/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=96144 CPUtime=1241.86 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25492 0 0 0 124172 14 0 0 25 0 1 0 132187732 98451456 23351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 24036 23351 139 317 0 23715 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 96144 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11145 /proc/meminfo: memFree=1681912/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=96144 CPUtime=1301.84 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25492 0 0 0 130170 14 0 0 25 0 1 0 132187732 98451456 23351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 24036 23351 139 317 0 23715 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 96144 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11145 /proc/meminfo: memFree=1681912/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=96144 CPUtime=1361.83 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25493 0 0 0 136168 15 0 0 25 0 1 0 132187732 98451456 23352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 24036 23352 139 317 0 23715 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 96144 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11145 /proc/meminfo: memFree=1681848/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=96276 CPUtime=1421.81 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25498 0 0 0 142166 15 0 0 25 0 1 0 132187732 98586624 23357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 24069 23357 139 317 0 23748 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 96276 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11145 /proc/meminfo: memFree=1681784/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=96276 CPUtime=1481.79 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25504 0 0 0 148164 15 0 0 25 0 1 0 132187732 98586624 23363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 24069 23363 139 317 0 23748 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 96276 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11145 /proc/meminfo: memFree=1681848/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=96276 CPUtime=1541.77 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25505 0 0 0 154162 15 0 0 25 0 1 0 132187732 98586624 23364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 24069 23364 139 317 0 23748 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 96276 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11145 /proc/meminfo: memFree=1681784/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=96276 CPUtime=1601.75 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25513 0 0 0 160160 15 0 0 25 0 1 0 132187732 98586624 23372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 24069 23372 139 317 0 23748 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 96276 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11145 /proc/meminfo: memFree=1681720/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=96276 CPUtime=1661.73 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25517 0 0 0 166158 15 0 0 25 0 1 0 132187732 98586624 23376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 24069 23376 139 317 0 23748 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 96276 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11145 /proc/meminfo: memFree=1681592/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=96408 CPUtime=1721.71 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25543 0 0 0 172156 15 0 0 25 0 1 0 132187732 98721792 23402 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 24102 23402 139 317 0 23781 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 96408 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11145 /proc/meminfo: memFree=1681592/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=96408 CPUtime=1781.69 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25552 0 0 0 178154 15 0 0 25 0 1 0 132187732 98721792 23411 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 24102 23411 139 317 0 23781 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 96408 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11145 /proc/meminfo: memFree=1681592/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=96408 CPUtime=1800 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25557 0 0 0 179984 16 0 0 25 0 1 0 132187732 98721792 23416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 24102 23416 139 317 0 23781 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 96408 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 0.99 0.97 0.98 2/67 11145 /proc/meminfo: memFree=1681592/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=96408 CPUtime=1800.79 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25557 0 0 0 180063 16 0 0 25 0 1 0 132187732 98721792 23416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 24102 23416 139 317 0 23781 0 Current children cumulated CPU time (s) 1800.79 Current children cumulated vsize (KiB) 96408 [startup+1802.2 s] /proc/loadavg: 0.99 0.97 0.98 2/68 11146 /proc/meminfo: memFree=1681584/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=96408 CPUtime=1801.59 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25557 0 0 0 180143 16 0 0 25 0 1 0 132187732 98721792 23416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 24102 23416 139 317 0 23781 0 Current children cumulated CPU time (s) 1801.59 Current children cumulated vsize (KiB) 96408 [startup+1802.6 s] /proc/loadavg: 0.99 0.97 0.98 2/68 11146 /proc/meminfo: memFree=1681584/2055920 swapFree=4181256/4192956 [pid=11144] ppid=11142 vsize=96408 CPUtime=1801.99 /proc/11144/stat : 11144 (oree) R 11142 11144 10844 0 -1 4194304 25557 0 0 0 180183 16 0 0 25 0 1 0 132187732 98721792 23416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11144/statm: 24102 23416 139 317 0 23781 0 Current children cumulated CPU time (s) 1801.99 Current children cumulated vsize (KiB) 96408 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.63 CPU time (s): 1802.03 CPU user time (s): 1801.85 CPU system time (s): 0.176973 CPU usage (%): 99.9665 Max. virtual memory (cumulated for all children) (KiB): 96408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1801.85 system time used= 0.176973 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25557 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= 4712 runsolver used 1.75073 second user time and 4.85626 second system time The end
Begin job on node54 on Tue Apr 17 22:15:33 UTC 2007 IDJOB= 362720 IDBENCH= 1632 IDSOLVER= 172 FILE ID= node54/362720-1176848132 PBS_JOBID= 4590190 Free space on /tmp= 66330 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-NSR8K.opb COMMAND LINE= oree /tmp/evaluation/362720-1176848132/instance-362720-1176848132.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-362720-1176848132 -o ROOT/results/node54/solver-362720-1176848132 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362720-1176848132/instance-362720-1176848132.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 093bff5ffdc26fbd8afb9be10c9fedc9 RANDOM SEED= 866888451 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node54.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.234 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.234 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: 1775832 kB Buffers: 19208 kB Cached: 210500 kB SwapCached: 5028 kB Active: 58464 kB Inactive: 181980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1775832 kB SwapTotal: 4192956 kB SwapFree: 4181256 kB Dirty: 11672 kB Writeback: 0 kB Mapped: 15492 kB Slab: 25552 kB Committed_AS: 2018696 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66330 MiB End job on node54 on Tue Apr 17 22:45:35 UTC 2007