Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.89 | 1801.53 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-d6cube.opb |
MD5SUM | d322c8ef05198e65a211d45af91a5272 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 185520 |
Total number of constraints | 404 |
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 | 404 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 185520 |
Number of terms in the objective function | 185520 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 6640019433432 |
Number of bits of the sum of numbers in the objective function | 43 |
Biggest number in a constraint | 193273528320 |
Number of bits of the biggest number in a constraint | 38 |
Biggest sum of numbers in a constraint | 11024119093221 |
Number of bits of the biggest sum of numbers | 44 |
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... 6.60/6.61 c ...done 6.60/6.61 c #vars=185520 #constraints=809 hasObjective=yes 12.29/12.30 c res. mode=mod 12.29/12.30 c VSIDS like heuristics 12.29/12.30 c complete search running 79.46/79.53 c restart after 401 decisions 79.66/79.80 c nbDecision=500 #constraints=809 80.56/80.62 c restart after 801 decisions 81.06/81.15 c nbDecision=1000 #constraints=809 82.46/82.52 c nbDecision=1500 #constraints=809 82.66/82.80 c restart after 1601 decisions 83.76/83.89 c nbDecision=2000 #constraints=809 85.16/85.26 c nbDecision=2500 #constraints=809 86.56/86.63 c nbDecision=3000 #constraints=809 87.06/87.18 c restart after 3201 decisions 87.96/88.01 c nbDecision=3500 #constraints=809 89.26/89.38 c nbDecision=4000 #constraints=809 90.66/90.76 c nbDecision=4500 #constraints=809 92.06/92.13 c nbDecision=5000 #constraints=809 93.36/93.50 c nbDecision=5500 #constraints=809 94.76/94.86 c nbDecision=6000 #constraints=809 95.86/95.95 c restart after 6401 decisions 96.16/96.23 c nbDecision=6500 #constraints=809 97.46/97.59 c nbDecision=7000 #constraints=809 98.86/98.96 c nbDecision=7500 #constraints=809 100.25/100.31 c nbDecision=8000 #constraints=809 101.55/101.67 c nbDecision=8500 #constraints=809 102.95/103.03 c nbDecision=9000 #constraints=809 104.25/104.38 c nbDecision=9500 #constraints=809 105.65/105.74 c nbDecision=10000 #constraints=809 107.05/107.10 c nbDecision=10500 #constraints=809 108.35/108.47 c nbDecision=11000 #constraints=809 109.75/109.83 c nbDecision=11500 #constraints=809 111.06/111.19 c nbDecision=12000 #constraints=809 112.45/112.55 c nbDecision=12500 #constraints=809 113.25/113.37 c restart after 12801 decisions 113.85/113.94 c nbDecision=13000 #constraints=809 115.15/115.29 c nbDecision=13500 #constraints=809 116.55/116.65 c nbDecision=14000 #constraints=809 117.95/118.00 c nbDecision=14500 #constraints=809 119.25/119.36 c nbDecision=15000 #constraints=809 120.65/120.72 c nbDecision=15500 #constraints=809 121.95/122.07 c nbDecision=16000 #constraints=809 123.34/123.43 c nbDecision=16500 #constraints=809 124.64/124.78 c nbDecision=17000 #constraints=809 126.04/126.15 c nbDecision=17500 #constraints=809 127.45/127.50 c nbDecision=18000 #constraints=809 128.74/128.86 c nbDecision=18500 #constraints=809 130.14/130.22 c nbDecision=19000 #constraints=809 131.44/131.57 c nbDecision=19500 #constraints=809 132.84/132.93 c nbDecision=20000 #constraints=809 134.15/134.28 c nbDecision=20500 #constraints=809 135.54/135.63 c nbDecision=21000 #constraints=809 136.84/136.97 c nbDecision=21500 #constraints=809 138.24/138.30 c nbDecision=22000 #constraints=809 139.54/139.64 c nbDecision=22500 #constraints=809 140.84/140.97 c nbDecision=23000 #constraints=809 142.24/142.30 c nbDecision=23500 #constraints=809 143.54/143.63 c nbDecision=24000 #constraints=809 144.84/144.96 c nbDecision=24500 #constraints=809 146.24/146.31 c nbDecision=25000 #constraints=809 147.54/147.65 c nbDecision=25500 #constraints=809 147.84/147.92 c restart after 25601 decisions 148.94/149.05 c nbDecision=26000 #constraints=809 150.34/150.42 c nbDecision=26500 #constraints=809 151.64/151.80 c nbDecision=27000 #constraints=809 153.03/153.17 c nbDecision=27500 #constraints=809 154.43/154.54 c nbDecision=28000 #constraints=809 155.73/155.89 c nbDecision=28500 #constraints=809 157.14/157.22 c nbDecision=29000 #constraints=809 158.43/158.57 c nbDecision=29500 #constraints=809 159.83/159.92 c nbDecision=30000 #constraints=809 161.13/161.24 c nbDecision=30500 #constraints=809 162.43/162.56 c nbDecision=31000 #constraints=809 163.74/163.88 c nbDecision=31500 #constraints=809 165.13/165.22 c nbDecision=32000 #constraints=809 166.43/166.58 c nbDecision=32500 #constraints=809 167.83/167.94 c nbDecision=33000 #constraints=809 169.13/169.29 c nbDecision=33500 #constraints=809 170.53/170.64 c nbDecision=34000 #constraints=809 171.83/172.00 c nbDecision=34500 #constraints=809 173.23/173.35 c nbDecision=35000 #constraints=809 174.53/174.69 c nbDecision=35500 #constraints=809 175.93/176.03 c nbDecision=36000 #constraints=809 177.23/177.36 c nbDecision=36500 #constraints=809 178.53/178.69 c nbDecision=37000 #constraints=809 179.93/180.02 c nbDecision=37500 #constraints=809 181.23/181.35 c nbDecision=38000 #constraints=809 182.53/182.68 c nbDecision=38500 #constraints=809 183.94/184.01 c nbDecision=39000 #constraints=809 185.23/185.35 c nbDecision=39500 #constraints=809 186.53/186.68 c nbDecision=40000 #constraints=809 187.94/188.02 c nbDecision=40500 #constraints=809 189.23/189.36 c nbDecision=41000 #constraints=809 190.53/190.69 c nbDecision=41500 #constraints=809 191.93/192.02 c nbDecision=42000 #constraints=809 193.23/193.35 c nbDecision=42500 #constraints=809 194.54/194.67 c nbDecision=43000 #constraints=809 195.83/195.98 c nbDecision=43500 #constraints=809 197.13/197.29 c nbDecision=44000 #constraints=809 198.53/198.61 c nbDecision=44500 #constraints=809 199.83/199.92 c nbDecision=45000 #constraints=809 201.13/201.22 c nbDecision=45500 #constraints=809 202.43/202.53 c nbDecision=46000 #constraints=809 203.73/203.84 c nbDecision=46500 #constraints=809 205.03/205.16 c nbDecision=47000 #constraints=809 206.33/206.47 c nbDecision=47500 #constraints=809 207.63/207.76 c nbDecision=48000 #constraints=809 208.93/209.07 c nbDecision=48500 #constraints=809 210.23/210.38 c nbDecision=49000 #constraints=809 211.52/211.69 c nbDecision=49500 #constraints=809 212.82/212.99 c nbDecision=50000 #constraints=809 214.22/214.30 c nbDecision=50500 #constraints=809 215.43/215.60 c nbDecision=51000 #constraints=809 216.02/216.12 c restart after 51201 decisions 216.92/217.00 c nbDecision=51500 #constraints=809 218.22/218.33 c nbDecision=52000 #constraints=809 219.52/219.69 c nbDecision=52500 #constraints=809 220.93/221.02 c nbDecision=53000 #constraints=809 222.22/222.34 c nbDecision=53500 #constraints=809 223.52/223.70 c nbDecision=54000 #constraints=809 224.92/225.06 c nbDecision=54500 #constraints=809 226.32/226.42 c nbDecision=55000 #constraints=809 227.62/227.78 c nbDecision=55500 #constraints=809 229.02/229.13 c nbDecision=56000 #constraints=809 230.32/230.46 c nbDecision=56500 #constraints=809 231.72/231.83 c nbDecision=57000 #constraints=809 233.02/233.18 c nbDecision=57500 #constraints=809 234.42/234.54 c nbDecision=58000 #constraints=809 235.72/235.88 c nbDecision=58500 #constraints=809 237.11/237.22 c nbDecision=59000 #constraints=809 238.41/238.56 c nbDecision=59500 #constraints=809 239.82/239.90 c nbDecision=60000 #constraints=809 241.11/241.24 c nbDecision=60500 #constraints=809 242.41/242.58 c nbDecision=61000 #constraints=809 243.81/243.91 c nbDecision=61500 #constraints=809 245.12/245.26 c nbDecision=62000 #constraints=809 246.51/246.60 c nbDecision=62500 #constraints=809 247.81/247.95 c nbDecision=63000 #constraints=809 249.11/249.28 c nbDecision=63500 #constraints=809 250.51/250.60 c nbDecision=64000 #constraints=809 251.81/251.94 c nbDecision=64500 #constraints=809 253.11/253.28 c nbDecision=65000 #constraints=809 254.51/254.62 c nbDecision=65500 #constraints=809 255.81/255.93 c nbDecision=66000 #constraints=809 257.11/257.25 c nbDecision=66500 #constraints=809 258.41/258.58 c nbDecision=67000 #constraints=809 259.71/259.89 c nbDecision=67500 #constraints=809 261.11/261.21 c nbDecision=68000 #constraints=809 262.41/262.53 c nbDecision=68500 #constraints=809 263.71/263.84 c nbDecision=69000 #constraints=809 265.01/265.17 c nbDecision=69500 #constraints=809 266.31/266.49 c nbDecision=70000 #constraints=809 267.71/267.81 c nbDecision=70500 #constraints=809 269.01/269.14 c nbDecision=71000 #constraints=809 270.30/270.46 c nbDecision=71500 #constraints=809 271.61/271.78 c nbDecision=72000 #constraints=809 273.00/273.10 c nbDecision=72500 #constraints=809 274.30/274.42 c nbDecision=73000 #constraints=809 275.60/275.71 c nbDecision=73500 #constraints=809 276.90/277.02 c nbDecision=74000 #constraints=809 278.21/278.32 c nbDecision=74500 #constraints=809 279.50/279.60 c nbDecision=75000 #constraints=809 280.70/280.88 c nbDecision=75500 #constraints=809 282.00/282.18 c nbDecision=76000 #constraints=809 283.30/283.47 c nbDecision=76500 #constraints=809 284.60/284.77 c nbDecision=77000 #constraints=809 285.90/286.07 c nbDecision=77500 #constraints=809 287.20/287.37 c nbDecision=78000 #constraints=809 288.50/288.67 c nbDecision=78500 #constraints=809 289.80/289.97 c nbDecision=79000 #constraints=809 291.10/291.27 c nbDecision=79500 #constraints=809 292.40/292.54 c nbDecision=80000 #constraints=809 293.70/293.83 c nbDecision=80500 #constraints=809 295.00/295.12 c nbDecision=81000 #constraints=809 296.29/296.40 c nbDecision=81500 #constraints=809 297.49/297.67 c nbDecision=82000 #constraints=809 298.79/298.93 c nbDecision=82500 #constraints=809 300.10/300.20 c nbDecision=83000 #constraints=809 301.30/301.48 c nbDecision=83500 #constraints=809 302.60/302.75 c nbDecision=84000 #constraints=809 303.90/304.02 c nbDecision=84500 #constraints=809 305.20/305.30 c nbDecision=85000 #constraints=809 306.40/306.58 c nbDecision=85500 #constraints=809 307.70/307.86 c nbDecision=86000 #constraints=809 309.00/309.14 c nbDecision=86500 #constraints=809 310.30/310.42 c nbDecision=87000 #constraints=809 311.50/311.69 c nbDecision=87500 #constraints=809 312.80/312.96 c nbDecision=88000 #constraints=809 314.10/314.24 c nbDecision=88500 #constraints=809 315.30/315.49 c nbDecision=89000 #constraints=809 316.60/316.75 c nbDecision=89500 #constraints=809 317.80/317.99 c nbDecision=90000 #constraints=809 319.09/319.25 c nbDecision=90500 #constraints=809 320.39/320.50 c nbDecision=91000 #constraints=809 321.59/321.76 c nbDecision=91500 #constraints=809 322.89/323.01 c nbDecision=92000 #constraints=809 324.09/324.26 c nbDecision=92500 #constraints=809 325.40/325.52 c nbDecision=93000 #constraints=809 326.60/326.78 c nbDecision=93500 #constraints=809 327.89/328.03 c nbDecision=94000 #constraints=809 329.09/329.29 c nbDecision=94500 #constraints=809 330.39/330.54 c nbDecision=95000 #constraints=809 331.59/331.79 c nbDecision=95500 #constraints=809 332.89/333.04 c nbDecision=96000 #constraints=809 334.09/334.29 c nbDecision=96500 #constraints=809 335.39/335.53 c nbDecision=97000 #constraints=809 336.59/336.77 c nbDecision=97500 #constraints=809 337.79/337.98 c nbDecision=98000 #constraints=809 339.09/339.22 c nbDecision=98500 #constraints=809 340.29/340.45 c nbDecision=99000 #constraints=809 341.49/341.68 c nbDecision=99500 #constraints=809 342.78/342.91 c nbDecision=100000 #constraints=809 343.98/344.14 c nbDecision=100500 #constraints=809 345.19/345.39 c nbDecision=101000 #constraints=809 346.48/346.63 c nbDecision=101500 #constraints=809 347.68/347.86 c nbDecision=102000 #constraints=809 348.68/348.85 c restart after 102401 decisions 349.08/349.26 c nbDecision=102500 #constraints=809 350.48/350.64 c nbDecision=103000 #constraints=809 351.89/352.01 c nbDecision=103500 #constraints=809 353.18/353.38 c nbDecision=104000 #constraints=809 354.58/354.74 c nbDecision=104500 #constraints=809 355.98/356.10 c nbDecision=105000 #constraints=809 357.28/357.46 c nbDecision=105500 #constraints=809 358.68/358.81 c nbDecision=106000 #constraints=809 359.98/360.16 c nbDecision=106500 #constraints=809 361.38/361.51 c nbDecision=107000 #constraints=809 362.68/362.86 c nbDecision=107500 #constraints=809 364.08/364.21 c nbDecision=108000 #constraints=809 365.38/365.57 c nbDecision=108500 #constraints=809 366.78/366.93 c nbDecision=109000 #constraints=809 368.08/368.28 c nbDecision=109500 #constraints=809 369.48/369.64 c nbDecision=110000 #constraints=809 370.78/370.99 c nbDecision=110500 #constraints=809 372.18/372.33 c nbDecision=111000 #constraints=809 373.48/373.68 c nbDecision=111500 #constraints=809 374.88/375.02 c nbDecision=112000 #constraints=809 376.17/376.36 c nbDecision=112500 #constraints=809 377.47/377.69 c nbDecision=113000 #constraints=809 378.87/379.02 c nbDecision=113500 #constraints=809 380.17/380.36 c nbDecision=114000 #constraints=809 381.48/381.68 c nbDecision=114500 #constraints=809 382.87/383.00 c nbDecision=115000 #constraints=809 384.07/384.29 c nbDecision=115500 #constraints=809 385.47/385.63 c nbDecision=116000 #constraints=809 386.77/386.97 c nbDecision=116500 #constraints=809 388.17/388.30 c nbDecision=117000 #constraints=809 389.47/389.64 c nbDecision=117500 #constraints=809 390.77/390.97 c nbDecision=118000 #constraints=809 392.17/392.31 c nbDecision=118500 #constraints=809 393.47/393.64 c nbDecision=119000 #constraints=809 394.77/394.96 c nbDecision=119500 #constraints=809 396.07/396.27 c nbDecision=120000 #constraints=809 397.37/397.59 c nbDecision=120500 #constraints=809 398.76/398.90 c nbDecision=121000 #constraints=809 400.06/400.21 c nbDecision=121500 #constraints=809 401.37/401.52 c nbDecision=122000 #constraints=809 402.66/402.83 c nbDecision=122500 #constraints=809 403.96/404.14 c nbDecision=123000 #constraints=809 405.26/405.46 c nbDecision=123500 #constraints=809 406.56/406.77 c nbDecision=124000 #constraints=809 407.87/408.09 c nbDecision=124500 #constraints=809 409.26/409.40 c nbDecision=125000 #constraints=809 410.56/410.72 c nbDecision=125500 #constraints=809 411.86/412.03 c nbDecision=126000 #constraints=809 413.16/413.34 c nbDecision=126500 #constraints=809 414.47/414.64 c nbDecision=127000 #constraints=809 415.76/415.94 c nbDecision=127500 #constraints=809 417.07/417.23 c nbDecision=128000 #constraints=809 418.37/418.52 c nbDecision=128500 #constraints=809 419.67/419.81 c nbDecision=129000 #constraints=809 420.97/421.10 c nbDecision=129500 #constraints=809 422.17/422.39 c nbDecision=130000 #constraints=809 423.47/423.67 c nbDecision=130500 #constraints=809 424.77/424.96 c nbDecision=131000 #constraints=809 426.07/426.26 c nbDecision=131500 #constraints=809 427.37/427.55 c nbDecision=132000 #constraints=809 428.66/428.84 c nbDecision=132500 #constraints=809 429.97/430.14 c nbDecision=133000 #constraints=809 431.26/431.43 c nbDecision=133500 #constraints=809 432.56/432.71 c nbDecision=134000 #constraints=809 433.86/434.00 c nbDecision=134500 #constraints=809 435.06/435.28 c nbDecision=135000 #constraints=809 436.36/436.55 c nbDecision=135500 #constraints=809 437.66/437.82 c nbDecision=136000 #constraints=809 438.86/439.08 c nbDecision=136500 #constraints=809 440.16/440.32 c nbDecision=137000 #constraints=809 441.36/441.59 c nbDecision=137500 #constraints=809 442.66/442.85 c nbDecision=138000 #constraints=809 443.96/444.12 c nbDecision=138500 #constraints=809 445.16/445.39 c nbDecision=139000 #constraints=809 446.46/446.66 c nbDecision=139500 #constraints=809 447.76/447.90 c nbDecision=140000 #constraints=809 448.96/449.15 c nbDecision=140500 #constraints=809 450.26/450.41 c nbDecision=141000 #constraints=809 451.46/451.68 c nbDecision=141500 #constraints=809 452.76/452.94 c nbDecision=142000 #constraints=809 454.06/454.21 c nbDecision=142500 #constraints=809 455.26/455.46 c nbDecision=143000 #constraints=809 456.55/456.71 c nbDecision=143500 #constraints=809 457.75/457.96 c nbDecision=144000 #constraints=809 459.05/459.20 c nbDecision=144500 #constraints=809 460.25/460.44 c nbDecision=145000 #constraints=809 461.45/461.68 c nbDecision=145500 #constraints=809 462.75/462.92 c nbDecision=146000 #constraints=809 463.96/464.17 c nbDecision=146500 #constraints=809 465.25/465.42 c nbDecision=147000 #constraints=809 466.45/466.67 c nbDecision=147500 #constraints=809 467.75/467.92 c nbDecision=148000 #constraints=809 468.95/469.17 c nbDecision=148500 #constraints=809 470.25/470.41 c nbDecision=149000 #constraints=809 471.45/471.65 c nbDecision=149500 #constraints=809 472.65/472.90 c nbDecision=150000 #constraints=809 473.95/474.14 c nbDecision=150500 #constraints=809 475.15/475.37 c nbDecision=151000 #constraints=809 476.45/476.60 c nbDecision=151500 #constraints=809 477.65/477.85 c nbDecision=152000 #constraints=809 478.85/479.07 c nbDecision=152500 #constraints=809 480.05/480.30 c nbDecision=153000 #constraints=809 481.35/481.52 c nbDecision=153500 #constraints=809 482.54/482.73 c nbDecision=154000 #constraints=809 483.75/483.94 c nbDecision=154500 #constraints=809 484.95/485.17 c nbDecision=155000 #constraints=809 486.14/486.37 c nbDecision=155500 #constraints=809 487.34/487.58 c nbDecision=156000 #constraints=809 488.64/488.80 c nbDecision=156500 #constraints=809 489.84/490.02 c nbDecision=157000 #constraints=809 491.04/491.24 c nbDecision=157500 #constraints=809 492.24/492.46 c nbDecision=158000 #constraints=809 493.44/493.68 c nbDecision=158500 #constraints=809 494.64/494.89 c nbDecision=159000 #constraints=809 495.84/496.09 c nbDecision=159500 #constraints=809 497.04/497.29 c nbDecision=160000 #constraints=809 498.24/498.49 c nbDecision=160500 #constraints=809 499.44/499.69 c nbDecision=161000 #constraints=809 500.64/500.88 c nbDecision=161500 #constraints=809 501.84/502.07 c nbDecision=162000 #constraints=809 503.03/503.27 c nbDecision=162500 #constraints=809 504.23/504.48 c nbDecision=163000 #constraints=809 505.53/505.71 c nbDecision=163500 #constraints=809 506.73/506.91 c nbDecision=164000 #constraints=809 507.94/508.11 c nbDecision=164500 #constraints=809 509.14/509.30 c nbDecision=165000 #constraints=809 510.24/510.49 c nbDecision=165500 #constraints=809 511.43/511.68 c nbDecision=166000 #constraints=809 512.63/512.88 c nbDecision=166500 #constraints=809 513.83/514.07 c nbDecision=167000 #constraints=809 515.03/515.24 c nbDecision=167500 #constraints=809 516.23/516.42 c nbDecision=168000 #constraints=809 517.43/517.63 c nbDecision=168500 #constraints=809 518.63/518.80 c nbDecision=169000 #constraints=809 519.71/519.99 c nbDecision=169500 #constraints=809 520.91/521.16 c nbDecision=170000 #constraints=809 522.10/522.33 c nbDecision=170500 #constraints=809 523.20/523.48 c nbDecision=171000 #constraints=809 524.40/524.64 c nbDecision=171500 #constraints=809 525.60/525.81 c nbDecision=172000 #constraints=809 526.70/526.98 c nbDecision=172500 #constraints=809 527.90/528.18 c nbDecision=173000 #constraints=809 529.09/529.35 c nbDecision=173500 #constraints=809 530.29/530.51 c nbDecision=174000 #constraints=809 531.38/531.68 c nbDecision=174500 #constraints=809 532.58/532.84 c nbDecision=175000 #constraints=809 533.67/533.99 c nbDecision=175500 #constraints=809 534.87/535.14 c nbDecision=176000 #constraints=809 535.97/536.27 c nbDecision=176500 #constraints=809 537.16/537.43 c nbDecision=177000 #constraints=809 538.26/538.57 c nbDecision=177500 #constraints=809 539.46/539.70 c nbDecision=178000 #constraints=809 540.55/540.84 c nbDecision=178500 #constraints=809 541.65/541.97 c nbDecision=179000 #constraints=809 542.85/543.12 c nbDecision=179500 #constraints=809 548.23/548.54 c nbDecision=180000 #constraints=812 549.33/549.68 c nbDecision=180500 #constraints=812 550.53/550.82 c nbDecision=181000 #constraints=812 551.63/551.95 c nbDecision=181500 #constraints=812 552.73/553.07 c nbDecision=182000 #constraints=812 556.63/556.95 c nbDecision=182500 #constraints=812 557.73/558.07 c nbDecision=183000 #constraints=812 575.50/575.85 c nbDecision=183500 #constraints=1026 592.30/592.61 c nbDecision=184000 #constraints=1093 593.40/593.74 c nbDecision=184500 #constraints=1093 643.38/643.79 c nbDecision=185000 #constraints=1364 716.26/716.66 c nbDecision=185500 #constraints=1733 765.45/765.88 c nbDecision=186000 #constraints=1850 770.05/770.41 c nbDecision=186500 #constraints=1854 778.45/778.85 c nbDecision=187000 #constraints=1865 952.80/953.25 c nbDecision=187500 #constraints=2116 1318.79/1319.31 c nbDecision=188000 #constraints=2619 1579.73/1580.40 c nbDecision=188500 #constraints=2937 1739.18/1739.81 c nbDecision=189000 #constraints=3120 1800.07/1800.71 Received signal 15 1800.66/1801.34 1800.66/1801.34 s UNKNOWN 1800.66/1801.34 1800.66/1801.34 c user time= 1799.29 s 1800.66/1801.34 c system time= 1.42178 s 1800.66/1801.34 c wall clock time=1801.34
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node7/watcher-357321-1176994342 -o ROOT/results/node7/solver-357321-1176994342 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357321-1176994342/instance-357321-1176994342.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.94 0.98 0.98 3/77 675 /proc/meminfo: memFree=1460592/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=1468 CPUtime=0 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 175472049 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 367 161 126 317 0 46 0 [startup+0.040296 s] /proc/loadavg: 0.94 0.98 0.98 3/77 675 /proc/meminfo: memFree=1460592/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=2660 CPUtime=0.03 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 450 0 0 0 3 0 0 0 18 0 1 0 175472049 2723840 399 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 665 399 126 317 0 344 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2660 [startup+0.102297 s] /proc/loadavg: 0.94 0.98 0.98 3/77 675 /proc/meminfo: memFree=1460592/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=3440 CPUtime=0.09 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 813 0 0 0 9 0 0 0 18 0 1 0 175472049 3522560 568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 860 568 126 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.302318 s] /proc/loadavg: 0.94 0.98 0.98 3/77 675 /proc/meminfo: memFree=1460592/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=10676 CPUtime=0.29 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 2224 0 0 0 29 0 0 0 19 0 1 0 175472049 10932224 1722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 2669 1724 126 317 0 2348 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10676 [startup+0.701359 s] /proc/loadavg: 0.94 0.98 0.98 3/77 675 /proc/meminfo: memFree=1460592/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=9548 CPUtime=0.69 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 2906 0 0 0 69 0 0 0 22 0 1 0 175472049 9777152 1891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 2387 1891 127 317 0 2066 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9548 [startup+1.50145 s] /proc/loadavg: 0.94 0.98 0.98 2/78 676 /proc/meminfo: memFree=1449128/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=25672 CPUtime=1.49 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 7317 0 0 0 146 3 0 0 25 0 1 0 175472049 26288128 5305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 6418 5305 131 317 0 6097 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25672 [startup+3.10161 s] /proc/loadavg: 0.94 0.98 0.98 2/78 676 /proc/meminfo: memFree=1432360/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=43420 CPUtime=3.09 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 12960 0 0 0 304 5 0 0 25 0 1 0 175472049 44462080 9276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 10855 9276 131 317 0 10534 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 43420 [startup+6.30195 s] /proc/loadavg: 0.94 0.98 0.98 2/78 676 /proc/meminfo: memFree=1394216/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=94824 CPUtime=6.29 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 28081 0 0 0 619 10 0 0 25 0 1 0 175472049 97099776 20736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 23706 20736 131 317 0 23385 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 94824 [startup+12.7016 s] /proc/loadavg: 0.95 0.98 0.98 2/78 676 /proc/meminfo: memFree=1335528/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=140764 CPUtime=12.69 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 39452 0 0 0 1254 15 0 0 25 0 1 0 175472049 144142336 32107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 35191 32107 137 317 0 34870 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 140764 [startup+25.502 s] /proc/loadavg: 0.96 0.98 0.98 2/78 676 /proc/meminfo: memFree=1332584/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=140892 CPUtime=25.48 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 39485 0 0 0 2533 15 0 0 25 0 1 0 175472049 144273408 32140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 35223 32140 137 317 0 34902 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 140892 [startup+51.1016 s] /proc/loadavg: 0.97 0.98 0.98 2/78 676 /proc/meminfo: memFree=1332520/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=140892 CPUtime=51.06 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 39501 0 0 0 5091 15 0 0 25 0 1 0 175472049 144273408 32156 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 35223 32156 137 317 0 34902 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 140892 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.98 2/78 676 /proc/meminfo: memFree=1332456/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=141016 CPUtime=102.26 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 39514 0 0 0 10210 16 0 0 25 0 1 0 175472049 144400384 32169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 35254 32169 138 317 0 34933 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 141016 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 676 /proc/meminfo: memFree=1332392/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=141016 CPUtime=162.23 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 39524 0 0 0 16207 16 0 0 25 0 1 0 175472049 144400384 32179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 35254 32179 138 317 0 34933 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 141016 [startup+222.303 s] /proc/loadavg: 0.99 0.98 0.98 2/78 676 /proc/meminfo: memFree=1332264/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=141016 CPUtime=222.22 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 39537 0 0 0 22205 17 0 0 25 0 1 0 175472049 144400384 32192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 35254 32192 138 317 0 34933 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 141016 [startup+282.303 s] /proc/loadavg: 0.99 0.98 0.98 2/78 676 /proc/meminfo: memFree=1332200/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=141016 CPUtime=282.2 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 39537 0 0 0 28203 17 0 0 25 0 1 0 175472049 144400384 32192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 35254 32192 138 317 0 34933 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 141016 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 676 /proc/meminfo: memFree=1332136/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=141144 CPUtime=342.19 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 39562 0 0 0 34201 18 0 0 25 0 1 0 175472049 144531456 32217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 35286 32217 138 317 0 34965 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 141144 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 676 /proc/meminfo: memFree=1332072/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=141144 CPUtime=402.16 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 39567 0 0 0 40198 18 0 0 25 0 1 0 175472049 144531456 32222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 35286 32222 138 317 0 34965 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 141144 [startup+462.303 s] /proc/loadavg: 0.99 0.98 0.98 2/78 676 /proc/meminfo: memFree=1332008/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=141144 CPUtime=462.15 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 39567 0 0 0 46196 19 0 0 25 0 1 0 175472049 144531456 32222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 35286 32222 138 317 0 34965 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 141144 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.98 2/84 742 /proc/meminfo: memFree=1330616/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=141272 CPUtime=522.1 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 39591 0 0 0 52190 20 0 0 25 0 1 0 175472049 144662528 32246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 35318 32246 138 317 0 34997 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 141272 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 874 /proc/meminfo: memFree=1311784/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=164044 CPUtime=582 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 44991 0 0 0 58179 21 0 0 25 0 1 0 175472049 167981056 37471 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 41011 37471 170 317 0 40690 0 Current children cumulated CPU time (s) 582 Current children cumulated vsize (KiB) 164044 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 874 /proc/meminfo: memFree=1222056/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=262676 CPUtime=641.99 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 78263 0 0 0 64164 35 0 0 25 0 1 0 175472049 268980224 59639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271347 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 65669 59639 170 317 0 65348 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 262676 ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 874 /proc/meminfo: memFree=960808/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=550416 CPUtime=1001.88 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 177414 0 0 0 100112 76 0 0 25 0 1 0 175472049 563625984 124831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 137604 124831 170 317 0 137283 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 550416 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 874 /proc/meminfo: memFree=931048/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=579044 CPUtime=1061.87 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 189073 0 0 0 106105 82 0 0 25 0 1 0 175472049 592941056 132327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 144761 132327 170 317 0 144440 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 579044 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 874 /proc/meminfo: memFree=906984/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=602436 CPUtime=1121.85 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 199533 0 0 0 112099 86 0 0 25 0 1 0 175472049 616894464 138310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 150609 138310 170 317 0 150288 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 602436 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 874 /proc/meminfo: memFree=883368/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=626496 CPUtime=1181.83 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 209531 0 0 0 118092 91 0 0 25 0 1 0 175472049 641531904 144294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 156624 144294 170 317 0 156303 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 626496 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 874 /proc/meminfo: memFree=860840/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=647800 CPUtime=1241.82 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 219151 0 0 0 124086 96 0 0 25 0 1 0 175472049 663347200 149820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 161950 149820 170 317 0 161629 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 647800 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 874 /proc/meminfo: memFree=839016/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=668512 CPUtime=1301.81 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 228780 0 0 0 130081 100 0 0 25 0 1 0 175472049 684556288 155189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 167128 155189 170 317 0 166807 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 668512 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 874 /proc/meminfo: memFree=818216/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=689460 CPUtime=1361.78 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 238017 0 0 0 136074 104 0 0 25 0 1 0 175472049 706007040 160359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 172365 160359 170 317 0 172044 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 689460 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.98 2/78 874 /proc/meminfo: memFree=794088/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=715804 CPUtime=1421.77 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 248152 0 0 0 142068 109 0 0 25 0 1 0 175472049 732983296 166428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 178951 166428 170 317 0 178630 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 715804 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 874 /proc/meminfo: memFree=771240/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=740632 CPUtime=1481.75 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 257725 0 0 0 148062 113 0 0 25 0 1 0 175472049 758407168 172191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270574 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 185158 172191 170 317 0 184837 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 740632 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 874 /proc/meminfo: memFree=741352/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=775968 CPUtime=1541.73 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 269170 0 0 0 154054 119 0 0 25 0 1 0 175472049 794591232 179521 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 193992 179521 170 317 0 193671 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 775968 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 874 /proc/meminfo: memFree=720808/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=797828 CPUtime=1601.71 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 277976 0 0 0 160047 124 0 0 25 0 1 0 175472049 816975872 184730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564065 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 199457 184730 170 317 0 199136 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 797828 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 874 /proc/meminfo: memFree=701288/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=817908 CPUtime=1661.7 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 286976 0 0 0 166042 128 0 0 25 0 1 0 175472049 837537792 189620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715811 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 204477 189620 170 317 0 204156 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 817908 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 874 /proc/meminfo: memFree=681320/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=838320 CPUtime=1721.68 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 296058 0 0 0 172037 131 0 0 25 0 1 0 175472049 858439680 194604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 209580 194604 170 317 0 209259 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 838320 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 874 /proc/meminfo: memFree=625192/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=917212 CPUtime=1781.67 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 313752 0 0 0 178027 140 0 0 25 0 1 0 175472049 939225088 208683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714522 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 229303 208683 170 317 0 228982 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 917212 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.98 2/78 874 /proc/meminfo: memFree=607144/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=940824 CPUtime=1800.07 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 319204 0 0 0 179865 142 0 0 25 0 1 0 175472049 963403776 213021 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 235206 213021 170 317 0 234885 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 940824 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 0.99 0.98 0.98 2/78 874 /proc/meminfo: memFree=607144/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=940824 CPUtime=1800.36 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194304 319204 0 0 0 179894 142 0 0 25 0 1 0 175472049 963403776 213021 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 235206 213021 170 317 0 234885 0 Current children cumulated CPU time (s) 1800.36 Current children cumulated vsize (KiB) 940824 [startup+1801.4 s] /proc/loadavg: 0.99 0.98 0.98 2/78 874 /proc/meminfo: memFree=607144/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=0 CPUtime=1800.76 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194308 319356 0 0 0 179933 143 0 0 25 0 1 0 175472049 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.76 Current children cumulated vsize (KiB) 0 [startup+1801.5 s] /proc/loadavg: 0.99 0.98 0.98 2/78 874 /proc/meminfo: memFree=607144/2055920 swapFree=4159716/4192956 [pid=675] ppid=673 vsize=0 CPUtime=1800.86 /proc/675/stat : 675 (oree) R 673 675 32629 0 -1 4194308 319356 0 0 0 179933 153 0 0 25 0 1 0 175472049 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/675/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.86 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.53 CPU time (s): 1800.89 CPU user time (s): 1799.33 CPU system time (s): 1.55876 CPU usage (%): 99.9648 Max. virtual memory (cumulated for all children) (KiB): 941396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.33 system time used= 1.55876 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 319356 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= 3161 runsolver used 2.07368 second user time and 4.46032 second system time The end
Begin job on node7 on Thu Apr 19 14:52:24 UTC 2007 IDJOB= 357321 IDBENCH= 2403 IDSOLVER= 172 FILE ID= node7/357321-1176994342 PBS_JOBID= 4630467 Free space on /tmp= 66352 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d6cube.opb COMMAND LINE= oree /tmp/evaluation/357321-1176994342/instance-357321-1176994342.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-357321-1176994342 -o ROOT/results/node7/solver-357321-1176994342 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357321-1176994342/instance-357321-1176994342.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= d322c8ef05198e65a211d45af91a5272 RANDOM SEED= 303049924 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node7.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1461064 kB Buffers: 31816 kB Cached: 497256 kB SwapCached: 13228 kB Active: 354484 kB Inactive: 197824 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1461064 kB SwapTotal: 4192956 kB SwapFree: 4159716 kB Dirty: 20048 kB Writeback: 0 kB Mapped: 30296 kB Slab: 28028 kB Committed_AS: 7147552 kB PageTables: 1860 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66352 MiB End job on node7 on Thu Apr 19 15:22:27 UTC 2007