Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1802.08 | 1802.54 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-d6cube.opb |
MD5SUM | 81f6ac40aa7d3bed7fd7ce8f56c34d18 |
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 | 254.249 |
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 | 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 | 43 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 686424 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 686424 |
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... 5.19/5.26 c ...done 5.19/5.26 c #vars=185520 #constraints=809 hasObjective=yes 10.79/10.90 c res. mode=mod 10.79/10.90 c VSIDS like heuristics 10.79/10.90 c complete search running 32.08/32.12 c restart after 401 decisions 32.28/32.39 c nbDecision=500 #constraints=809 33.18/33.20 c restart after 801 decisions 33.68/33.74 c nbDecision=1000 #constraints=809 34.98/35.08 c nbDecision=1500 #constraints=809 35.28/35.35 c restart after 1601 decisions 36.38/36.42 c nbDecision=2000 #constraints=809 37.68/37.75 c nbDecision=2500 #constraints=809 38.98/39.08 c nbDecision=3000 #constraints=809 39.58/39.62 c restart after 3201 decisions 40.38/40.42 c nbDecision=3500 #constraints=809 41.68/41.76 c nbDecision=4000 #constraints=809 42.98/43.09 c nbDecision=4500 #constraints=809 44.38/44.43 c nbDecision=5000 #constraints=809 45.68/45.77 c nbDecision=5500 #constraints=809 47.07/47.11 c nbDecision=6000 #constraints=809 48.07/48.19 c restart after 6401 decisions 48.38/48.46 c nbDecision=6500 #constraints=809 49.77/49.81 c nbDecision=7000 #constraints=809 51.07/51.16 c nbDecision=7500 #constraints=809 52.47/52.50 c nbDecision=8000 #constraints=809 53.78/53.84 c nbDecision=8500 #constraints=809 55.07/55.17 c nbDecision=9000 #constraints=809 56.47/56.50 c nbDecision=9500 #constraints=809 57.77/57.83 c nbDecision=10000 #constraints=809 59.07/59.15 c nbDecision=10500 #constraints=809 60.37/60.48 c nbDecision=11000 #constraints=809 61.77/61.80 c nbDecision=11500 #constraints=809 63.07/63.12 c nbDecision=12000 #constraints=809 64.37/64.45 c nbDecision=12500 #constraints=809 65.17/65.26 c restart after 12801 decisions 65.77/65.81 c nbDecision=13000 #constraints=809 67.07/67.15 c nbDecision=13500 #constraints=809 68.47/68.50 c nbDecision=14000 #constraints=809 69.77/69.84 c nbDecision=14500 #constraints=809 71.07/71.18 c nbDecision=15000 #constraints=809 72.47/72.53 c nbDecision=15500 #constraints=809 73.77/73.87 c nbDecision=16000 #constraints=809 75.07/75.19 c nbDecision=16500 #constraints=809 76.47/76.52 c nbDecision=17000 #constraints=809 77.78/77.84 c nbDecision=17500 #constraints=809 79.08/79.17 c nbDecision=18000 #constraints=809 80.37/80.49 c nbDecision=18500 #constraints=809 81.77/81.81 c nbDecision=19000 #constraints=809 83.07/83.13 c nbDecision=19500 #constraints=809 84.37/84.46 c nbDecision=20000 #constraints=809 85.68/85.78 c nbDecision=20500 #constraints=809 87.07/87.11 c nbDecision=21000 #constraints=809 88.37/88.44 c nbDecision=21500 #constraints=809 89.67/89.77 c nbDecision=22000 #constraints=809 90.97/91.10 c nbDecision=22500 #constraints=809 92.38/92.42 c nbDecision=23000 #constraints=809 93.67/93.74 c nbDecision=23500 #constraints=809 94.97/95.05 c nbDecision=24000 #constraints=809 96.27/96.36 c nbDecision=24500 #constraints=809 97.57/97.67 c nbDecision=25000 #constraints=809 98.87/98.98 c nbDecision=25500 #constraints=809 99.17/99.25 c restart after 25601 decisions 100.27/100.34 c nbDecision=26000 #constraints=809 101.57/101.67 c nbDecision=26500 #constraints=809 102.97/103.00 c nbDecision=27000 #constraints=809 104.27/104.34 c nbDecision=27500 #constraints=809 105.57/105.68 c nbDecision=28000 #constraints=809 106.97/107.03 c nbDecision=28500 #constraints=809 108.27/108.37 c nbDecision=29000 #constraints=809 109.67/109.71 c nbDecision=29500 #constraints=809 110.97/111.04 c nbDecision=30000 #constraints=809 112.26/112.38 c nbDecision=30500 #constraints=809 113.66/113.71 c nbDecision=31000 #constraints=809 114.96/115.04 c nbDecision=31500 #constraints=809 116.26/116.36 c nbDecision=32000 #constraints=809 117.57/117.68 c nbDecision=32500 #constraints=809 118.86/118.99 c nbDecision=33000 #constraints=809 120.26/120.31 c nbDecision=33500 #constraints=809 121.56/121.63 c nbDecision=34000 #constraints=809 122.86/122.94 c nbDecision=34500 #constraints=809 124.17/124.26 c nbDecision=35000 #constraints=809 125.46/125.59 c nbDecision=35500 #constraints=809 126.86/126.91 c nbDecision=36000 #constraints=809 128.16/128.24 c nbDecision=36500 #constraints=809 129.46/129.56 c nbDecision=37000 #constraints=809 130.77/130.88 c nbDecision=37500 #constraints=809 132.16/132.20 c nbDecision=38000 #constraints=809 133.46/133.52 c nbDecision=38500 #constraints=809 134.76/134.83 c nbDecision=39000 #constraints=809 136.06/136.13 c nbDecision=39500 #constraints=809 137.36/137.44 c nbDecision=40000 #constraints=809 138.66/138.74 c nbDecision=40500 #constraints=809 139.96/140.05 c nbDecision=41000 #constraints=809 141.26/141.35 c nbDecision=41500 #constraints=809 142.56/142.65 c nbDecision=42000 #constraints=809 143.86/143.95 c nbDecision=42500 #constraints=809 145.16/145.26 c nbDecision=43000 #constraints=809 146.45/146.57 c nbDecision=43500 #constraints=809 147.75/147.88 c nbDecision=44000 #constraints=809 149.05/149.19 c nbDecision=44500 #constraints=809 150.35/150.49 c nbDecision=45000 #constraints=809 151.66/151.80 c nbDecision=45500 #constraints=809 153.05/153.10 c nbDecision=46000 #constraints=809 154.25/154.40 c nbDecision=46500 #constraints=809 155.55/155.68 c nbDecision=47000 #constraints=809 156.85/156.97 c nbDecision=47500 #constraints=809 158.15/158.26 c nbDecision=48000 #constraints=809 159.46/159.55 c nbDecision=48500 #constraints=809 160.75/160.83 c nbDecision=49000 #constraints=809 162.05/162.12 c nbDecision=49500 #constraints=809 163.35/163.40 c nbDecision=50000 #constraints=809 164.55/164.69 c nbDecision=50500 #constraints=809 165.85/165.99 c nbDecision=51000 #constraints=809 166.45/166.51 c restart after 51201 decisions 167.25/167.38 c nbDecision=51500 #constraints=809 168.65/168.72 c nbDecision=52000 #constraints=809 169.95/170.07 c nbDecision=52500 #constraints=809 171.35/171.41 c nbDecision=53000 #constraints=809 172.65/172.75 c nbDecision=53500 #constraints=809 173.95/174.09 c nbDecision=54000 #constraints=809 175.35/175.42 c nbDecision=54500 #constraints=809 176.65/176.75 c nbDecision=55000 #constraints=809 177.95/178.07 c nbDecision=55500 #constraints=809 179.25/179.39 c nbDecision=56000 #constraints=809 180.64/180.72 c nbDecision=56500 #constraints=809 181.94/182.04 c nbDecision=57000 #constraints=809 183.24/183.36 c nbDecision=57500 #constraints=809 184.54/184.69 c nbDecision=58000 #constraints=809 185.94/186.02 c nbDecision=58500 #constraints=809 187.24/187.35 c nbDecision=59000 #constraints=809 188.54/188.68 c nbDecision=59500 #constraints=809 189.94/190.00 c nbDecision=60000 #constraints=809 191.24/191.33 c nbDecision=60500 #constraints=809 192.54/192.66 c nbDecision=61000 #constraints=809 193.84/193.98 c nbDecision=61500 #constraints=809 195.14/195.29 c nbDecision=62000 #constraints=809 196.54/196.60 c nbDecision=62500 #constraints=809 197.84/197.91 c nbDecision=63000 #constraints=809 199.14/199.22 c nbDecision=63500 #constraints=809 200.44/200.52 c nbDecision=64000 #constraints=809 201.74/201.83 c nbDecision=64500 #constraints=809 203.05/203.14 c nbDecision=65000 #constraints=809 204.34/204.45 c nbDecision=65500 #constraints=809 205.65/205.77 c nbDecision=66000 #constraints=809 206.94/207.08 c nbDecision=66500 #constraints=809 208.24/208.39 c nbDecision=67000 #constraints=809 209.64/209.71 c nbDecision=67500 #constraints=809 210.94/211.02 c nbDecision=68000 #constraints=809 212.25/212.33 c nbDecision=68500 #constraints=809 213.54/213.64 c nbDecision=69000 #constraints=809 214.84/214.94 c nbDecision=69500 #constraints=809 216.14/216.23 c nbDecision=70000 #constraints=809 217.44/217.53 c nbDecision=70500 #constraints=809 218.74/218.82 c nbDecision=71000 #constraints=809 220.04/220.11 c nbDecision=71500 #constraints=809 221.34/221.40 c nbDecision=72000 #constraints=809 222.54/222.69 c nbDecision=72500 #constraints=809 223.84/223.98 c nbDecision=73000 #constraints=809 225.14/225.28 c nbDecision=73500 #constraints=809 226.44/226.58 c nbDecision=74000 #constraints=809 227.74/227.88 c nbDecision=74500 #constraints=809 229.04/229.18 c nbDecision=75000 #constraints=809 230.34/230.47 c nbDecision=75500 #constraints=809 231.64/231.77 c nbDecision=76000 #constraints=809 232.94/233.06 c nbDecision=76500 #constraints=809 234.24/234.35 c nbDecision=77000 #constraints=809 235.54/235.63 c nbDecision=77500 #constraints=809 236.84/236.90 c nbDecision=78000 #constraints=809 238.03/238.18 c nbDecision=78500 #constraints=809 239.33/239.45 c nbDecision=79000 #constraints=809 240.63/240.73 c nbDecision=79500 #constraints=809 241.94/242.00 c nbDecision=80000 #constraints=809 243.13/243.28 c nbDecision=80500 #constraints=809 244.43/244.55 c nbDecision=81000 #constraints=809 245.73/245.84 c nbDecision=81500 #constraints=809 247.03/247.12 c nbDecision=82000 #constraints=809 248.33/248.40 c nbDecision=82500 #constraints=809 249.54/249.68 c nbDecision=83000 #constraints=809 250.83/250.95 c nbDecision=83500 #constraints=809 252.13/252.23 c nbDecision=84000 #constraints=809 253.43/253.50 c nbDecision=84500 #constraints=809 254.63/254.77 c nbDecision=85000 #constraints=809 255.93/256.03 c nbDecision=85500 #constraints=809 257.13/257.29 c nbDecision=86000 #constraints=809 258.43/258.55 c nbDecision=86500 #constraints=809 259.73/259.81 c nbDecision=87000 #constraints=809 260.93/261.06 c nbDecision=87500 #constraints=809 262.23/262.32 c nbDecision=88000 #constraints=809 263.43/263.57 c nbDecision=88500 #constraints=809 264.73/264.83 c nbDecision=89000 #constraints=809 265.93/266.10 c nbDecision=89500 #constraints=809 267.23/267.36 c nbDecision=90000 #constraints=809 268.53/268.62 c nbDecision=90500 #constraints=809 269.73/269.88 c nbDecision=91000 #constraints=809 271.03/271.14 c nbDecision=91500 #constraints=809 272.32/272.40 c nbDecision=92000 #constraints=809 273.52/273.66 c nbDecision=92500 #constraints=809 274.83/274.90 c nbDecision=93000 #constraints=809 276.03/276.15 c nbDecision=93500 #constraints=809 277.22/277.39 c nbDecision=94000 #constraints=809 278.52/278.63 c nbDecision=94500 #constraints=809 279.72/279.88 c nbDecision=95000 #constraints=809 281.02/281.12 c nbDecision=95500 #constraints=809 282.22/282.36 c nbDecision=96000 #constraints=809 283.42/283.59 c nbDecision=96500 #constraints=809 284.72/284.84 c nbDecision=97000 #constraints=809 285.92/286.09 c nbDecision=97500 #constraints=809 287.22/287.34 c nbDecision=98000 #constraints=809 288.42/288.59 c nbDecision=98500 #constraints=809 289.72/289.83 c nbDecision=99000 #constraints=809 290.92/291.07 c nbDecision=99500 #constraints=809 292.22/292.32 c nbDecision=100000 #constraints=809 293.42/293.56 c nbDecision=100500 #constraints=809 294.62/294.79 c nbDecision=101000 #constraints=809 295.92/296.02 c nbDecision=101500 #constraints=809 297.11/297.24 c nbDecision=102000 #constraints=809 298.11/298.23 c restart after 102401 decisions 298.51/298.62 c nbDecision=102500 #constraints=809 299.81/299.95 c nbDecision=103000 #constraints=809 301.11/301.28 c nbDecision=103500 #constraints=809 302.51/302.61 c nbDecision=104000 #constraints=809 303.81/303.95 c nbDecision=104500 #constraints=809 305.11/305.29 c nbDecision=105000 #constraints=809 306.51/306.63 c nbDecision=105500 #constraints=809 307.82/307.97 c nbDecision=106000 #constraints=809 309.21/309.31 c nbDecision=106500 #constraints=809 310.51/310.64 c nbDecision=107000 #constraints=809 311.81/311.98 c nbDecision=107500 #constraints=809 313.21/313.31 c nbDecision=108000 #constraints=809 314.51/314.64 c nbDecision=108500 #constraints=809 315.81/315.96 c nbDecision=109000 #constraints=809 317.11/317.28 c nbDecision=109500 #constraints=809 318.41/318.59 c nbDecision=110000 #constraints=809 319.81/319.91 c nbDecision=110500 #constraints=809 321.11/321.22 c nbDecision=111000 #constraints=809 322.41/322.53 c nbDecision=111500 #constraints=809 323.71/323.85 c nbDecision=112000 #constraints=809 325.01/325.17 c nbDecision=112500 #constraints=809 326.31/326.50 c nbDecision=113000 #constraints=809 327.71/327.82 c nbDecision=113500 #constraints=809 329.00/329.14 c nbDecision=114000 #constraints=809 330.30/330.46 c nbDecision=114500 #constraints=809 331.60/331.78 c nbDecision=115000 #constraints=809 332.90/333.10 c nbDecision=115500 #constraints=809 334.31/334.41 c nbDecision=116000 #constraints=809 335.60/335.71 c nbDecision=116500 #constraints=809 336.90/337.02 c nbDecision=117000 #constraints=809 338.20/338.32 c nbDecision=117500 #constraints=809 339.50/339.63 c nbDecision=118000 #constraints=809 340.80/340.93 c nbDecision=118500 #constraints=809 342.11/342.23 c nbDecision=119000 #constraints=809 343.41/343.53 c nbDecision=119500 #constraints=809 344.71/344.83 c nbDecision=120000 #constraints=809 346.01/346.14 c nbDecision=120500 #constraints=809 347.31/347.45 c nbDecision=121000 #constraints=809 348.61/348.76 c nbDecision=121500 #constraints=809 349.90/350.06 c nbDecision=122000 #constraints=809 351.20/351.37 c nbDecision=122500 #constraints=809 352.50/352.67 c nbDecision=123000 #constraints=809 353.80/353.97 c nbDecision=123500 #constraints=809 355.11/355.26 c nbDecision=124000 #constraints=809 356.40/356.55 c nbDecision=124500 #constraints=809 357.70/357.84 c nbDecision=125000 #constraints=809 359.00/359.12 c nbDecision=125500 #constraints=809 360.30/360.41 c nbDecision=126000 #constraints=809 361.50/361.69 c nbDecision=126500 #constraints=809 362.80/362.98 c nbDecision=127000 #constraints=809 364.10/364.26 c nbDecision=127500 #constraints=809 365.40/365.55 c nbDecision=128000 #constraints=809 366.70/366.85 c nbDecision=128500 #constraints=809 368.00/368.14 c nbDecision=129000 #constraints=809 369.30/369.42 c nbDecision=129500 #constraints=809 370.60/370.71 c nbDecision=130000 #constraints=809 371.90/372.00 c nbDecision=130500 #constraints=809 373.10/373.29 c nbDecision=131000 #constraints=809 374.40/374.56 c nbDecision=131500 #constraints=809 375.70/375.83 c nbDecision=132000 #constraints=809 376.99/377.11 c nbDecision=132500 #constraints=809 378.20/378.38 c nbDecision=133000 #constraints=809 379.49/379.64 c nbDecision=133500 #constraints=809 380.79/380.91 c nbDecision=134000 #constraints=809 381.99/382.18 c nbDecision=134500 #constraints=809 383.29/383.44 c nbDecision=135000 #constraints=809 384.59/384.71 c nbDecision=135500 #constraints=809 385.79/385.99 c nbDecision=136000 #constraints=809 387.09/387.26 c nbDecision=136500 #constraints=809 388.39/388.53 c nbDecision=137000 #constraints=809 389.69/389.80 c nbDecision=137500 #constraints=809 390.89/391.07 c nbDecision=138000 #constraints=809 392.19/392.34 c nbDecision=138500 #constraints=809 393.49/393.61 c nbDecision=139000 #constraints=809 394.69/394.86 c nbDecision=139500 #constraints=809 395.99/396.12 c nbDecision=140000 #constraints=809 397.19/397.37 c nbDecision=140500 #constraints=809 398.49/398.62 c nbDecision=141000 #constraints=809 399.69/399.87 c nbDecision=141500 #constraints=809 400.98/401.12 c nbDecision=142000 #constraints=809 402.18/402.37 c nbDecision=142500 #constraints=809 403.49/403.62 c nbDecision=143000 #constraints=809 404.69/404.87 c nbDecision=143500 #constraints=809 405.98/406.13 c nbDecision=144000 #constraints=809 407.18/407.39 c nbDecision=144500 #constraints=809 408.48/408.64 c nbDecision=145000 #constraints=809 409.68/409.90 c nbDecision=145500 #constraints=809 410.98/411.15 c nbDecision=146000 #constraints=809 412.29/412.40 c nbDecision=146500 #constraints=809 413.49/413.65 c nbDecision=147000 #constraints=809 414.68/414.89 c nbDecision=147500 #constraints=809 415.98/416.13 c nbDecision=148000 #constraints=809 417.18/417.37 c nbDecision=148500 #constraints=809 418.48/418.61 c nbDecision=149000 #constraints=809 419.68/419.84 c nbDecision=149500 #constraints=809 420.88/421.07 c nbDecision=150000 #constraints=809 422.18/422.31 c nbDecision=150500 #constraints=809 423.38/423.54 c nbDecision=151000 #constraints=809 424.58/424.78 c nbDecision=151500 #constraints=809 425.88/426.02 c nbDecision=152000 #constraints=809 427.08/427.26 c nbDecision=152500 #constraints=809 428.38/428.50 c nbDecision=153000 #constraints=809 429.58/429.74 c nbDecision=153500 #constraints=809 430.78/430.97 c nbDecision=154000 #constraints=809 432.08/432.21 c nbDecision=154500 #constraints=809 433.28/433.44 c nbDecision=155000 #constraints=809 434.47/434.67 c nbDecision=155500 #constraints=809 435.67/435.89 c nbDecision=156000 #constraints=809 436.97/437.11 c nbDecision=156500 #constraints=809 438.17/438.34 c nbDecision=157000 #constraints=809 439.37/439.55 c nbDecision=157500 #constraints=809 440.57/440.77 c nbDecision=158000 #constraints=809 441.77/441.99 c nbDecision=158500 #constraints=809 443.08/443.20 c nbDecision=159000 #constraints=809 444.28/444.42 c nbDecision=159500 #constraints=809 445.47/445.65 c nbDecision=160000 #constraints=809 446.67/446.87 c nbDecision=160500 #constraints=809 447.87/448.09 c nbDecision=161000 #constraints=809 449.17/449.33 c nbDecision=161500 #constraints=809 450.37/450.56 c nbDecision=162000 #constraints=809 451.57/451.78 c nbDecision=162500 #constraints=809 452.87/453.00 c nbDecision=163000 #constraints=809 454.07/454.21 c nbDecision=163500 #constraints=809 455.27/455.42 c nbDecision=164000 #constraints=809 456.47/456.62 c nbDecision=164500 #constraints=809 457.67/457.82 c nbDecision=165000 #constraints=809 458.87/459.03 c nbDecision=165500 #constraints=809 460.06/460.23 c nbDecision=166000 #constraints=809 461.26/461.43 c nbDecision=166500 #constraints=809 462.46/462.62 c nbDecision=167000 #constraints=809 463.66/463.82 c nbDecision=167500 #constraints=809 464.86/465.03 c nbDecision=168000 #constraints=809 466.06/466.23 c nbDecision=168500 #constraints=809 467.27/467.44 c nbDecision=169000 #constraints=809 468.47/468.64 c nbDecision=169500 #constraints=809 469.66/469.84 c nbDecision=170000 #constraints=809 470.86/471.04 c nbDecision=170500 #constraints=809 472.06/472.25 c nbDecision=171000 #constraints=809 473.26/473.45 c nbDecision=171500 #constraints=809 474.46/474.64 c nbDecision=172000 #constraints=809 475.67/475.82 c nbDecision=172500 #constraints=809 476.87/477.01 c nbDecision=173000 #constraints=809 477.97/478.19 c nbDecision=173500 #constraints=809 479.17/479.38 c nbDecision=174000 #constraints=809 480.37/480.56 c nbDecision=174500 #constraints=809 481.57/481.77 c nbDecision=175000 #constraints=809 482.77/482.98 c nbDecision=175500 #constraints=809 483.97/484.16 c nbDecision=176000 #constraints=809 485.17/485.35 c nbDecision=176500 #constraints=809 486.37/486.54 c nbDecision=177000 #constraints=809 487.57/487.73 c nbDecision=177500 #constraints=809 488.77/488.91 c nbDecision=178000 #constraints=809 489.97/490.10 c nbDecision=178500 #constraints=809 491.07/491.28 c nbDecision=179000 #constraints=809 492.27/492.47 c nbDecision=179500 #constraints=809 493.47/493.65 c nbDecision=180000 #constraints=809 494.66/494.81 c nbDecision=180500 #constraints=809 495.76/495.98 c nbDecision=181000 #constraints=809 496.97/497.16 c nbDecision=181500 #constraints=809 498.16/498.33 c nbDecision=182000 #constraints=809 499.36/499.50 c nbDecision=182500 #constraints=809 500.46/500.66 c nbDecision=183000 #constraints=809 501.66/501.82 c nbDecision=183500 #constraints=809 502.76/502.97 c nbDecision=184000 #constraints=809 503.96/504.13 c nbDecision=184500 #constraints=809 505.06/505.29 c nbDecision=185000 #constraints=809 506.26/506.46 c nbDecision=185500 #constraints=809 507.46/507.63 c nbDecision=186000 #constraints=809 508.56/508.79 c nbDecision=186500 #constraints=809 509.76/509.99 c nbDecision=187000 #constraints=809 510.96/511.16 c nbDecision=187500 #constraints=809 512.16/512.32 c nbDecision=188000 #constraints=809 513.26/513.47 c nbDecision=188500 #constraints=809 514.45/514.61 c nbDecision=189000 #constraints=809 515.55/515.75 c nbDecision=189500 #constraints=809 516.65/516.90 c nbDecision=190000 #constraints=809 517.86/518.03 c nbDecision=190500 #constraints=809 518.96/519.17 c nbDecision=191000 #constraints=809 520.16/520.30 c nbDecision=191500 #constraints=809 521.25/521.46 c nbDecision=192000 #constraints=809 522.35/522.59 c nbDecision=192500 #constraints=809 523.55/523.72 c nbDecision=193000 #constraints=809 524.65/524.86 c nbDecision=193500 #constraints=809 525.85/526.00 c nbDecision=194000 #constraints=809 526.95/527.15 c nbDecision=194500 #constraints=809 528.15/528.31 c nbDecision=195000 #constraints=809 1800.05/1800.50 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/node30/watcher-356947-1176849059 -o ROOT/results/node30/solver-356947-1176849059 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356947-1176849059/instance-356947-1176849059.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: 1.00 1.00 0.98 3/77 14540 /proc/meminfo: memFree=1735488/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=1620 CPUtime=0 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132821606 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135096813 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 405 175 126 317 0 84 0 [startup+0.035648 s] /proc/loadavg: 1.00 1.00 0.98 3/77 14540 /proc/meminfo: memFree=1735488/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=2400 CPUtime=0.03 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 468 0 0 0 3 0 0 0 18 0 1 0 132821606 2457600 352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 600 352 126 317 0 279 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2400 [startup+0.101651 s] /proc/loadavg: 1.00 1.00 0.98 3/77 14540 /proc/meminfo: memFree=1735488/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=3440 CPUtime=0.09 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 896 0 0 0 9 0 0 0 18 0 1 0 132821606 3522560 651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 860 652 126 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301664 s] /proc/loadavg: 1.00 1.00 0.98 3/77 14540 /proc/meminfo: memFree=1735488/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=9548 CPUtime=0.29 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 2906 0 0 0 29 0 0 0 19 0 1 0 132821606 9777152 1891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134591248 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 2387 1891 127 317 0 2066 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9548 [startup+0.701688 s] /proc/loadavg: 1.00 1.00 0.98 3/77 14540 /proc/meminfo: memFree=1735488/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=12828 CPUtime=0.69 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 3660 0 0 0 68 1 0 0 23 0 1 0 132821606 13135872 2645 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134538189 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 3207 2645 131 317 0 2886 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12828 [startup+1.50174 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14541 /proc/meminfo: memFree=1717880/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=33344 CPUtime=1.49 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 9871 0 0 0 144 5 0 0 25 0 1 0 132821606 34144256 7089 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 8336 7089 131 317 0 8015 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33344 [startup+3.10184 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14541 /proc/meminfo: memFree=1700728/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=57716 CPUtime=3.09 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 17470 0 0 0 300 9 0 0 25 0 1 0 132821606 59101184 12332 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 14429 12332 131 317 0 14108 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 57716 [startup+6.30104 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14541 /proc/meminfo: memFree=1628992/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=120832 CPUtime=6.29 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 34463 0 0 0 614 15 0 0 25 0 1 0 132821606 123731968 27184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 30208 27184 137 317 0 29887 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 120832 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14541 /proc/meminfo: memFree=1607232/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=140760 CPUtime=12.69 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 39426 0 0 0 1251 18 0 0 25 0 1 0 132821606 144138240 32147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 35190 32147 137 317 0 34869 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 140760 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14541 /proc/meminfo: memFree=1607232/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=140888 CPUtime=25.48 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 39447 0 0 0 2530 18 0 0 25 0 1 0 132821606 144269312 32168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 35222 32168 137 317 0 34901 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 140888 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14541 /proc/meminfo: memFree=1607168/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=140888 CPUtime=51.07 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 39454 0 0 0 5089 18 0 0 25 0 1 0 132821606 144269312 32175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 35222 32175 138 317 0 34901 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 140888 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14541 /proc/meminfo: memFree=1607168/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=140888 CPUtime=102.27 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 39464 0 0 0 10208 19 0 0 25 0 1 0 132821606 144269312 32185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 35222 32185 138 317 0 34901 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 140888 [startup+162.302 s] /proc/loadavg: 1.04 1.01 0.99 2/78 14541 /proc/meminfo: memFree=1607104/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=140888 CPUtime=162.25 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 39476 0 0 0 16206 19 0 0 25 0 1 0 132821606 144269312 32197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 35222 32197 138 317 0 34901 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 140888 [startup+222.302 s] /proc/loadavg: 1.01 1.01 0.99 2/78 14541 /proc/meminfo: memFree=1607040/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=140888 CPUtime=222.24 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 39477 0 0 0 22204 20 0 0 25 0 1 0 132821606 144269312 32198 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 35222 32198 138 317 0 34901 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 140888 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 14541 /proc/meminfo: memFree=1606976/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=141016 CPUtime=282.22 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 39497 0 0 0 28202 20 0 0 25 0 1 0 132821606 144400384 32218 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 35254 32218 138 317 0 34933 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 141016 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 14541 /proc/meminfo: memFree=1606912/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=140968 CPUtime=342.21 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 39503 0 0 0 34200 21 0 0 25 0 1 0 132821606 144351232 32219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 35242 32219 138 317 0 34921 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 140968 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 14543 /proc/meminfo: memFree=1606912/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=140968 CPUtime=402.18 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 39503 0 0 0 40197 21 0 0 25 0 1 0 132821606 144351232 32219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 35242 32219 138 317 0 34921 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 140968 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 14543 /proc/meminfo: memFree=1606848/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=141096 CPUtime=462.16 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 39525 0 0 0 46195 21 0 0 25 0 1 0 132821606 144482304 32241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 35274 32241 138 317 0 34953 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 141096 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 14543 /proc/meminfo: memFree=1606720/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=141224 CPUtime=522.15 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 39566 0 0 0 52193 22 0 0 25 0 1 0 132821606 144613376 32282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 35306 32282 138 317 0 34985 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 141224 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 14543 /proc/meminfo: memFree=1605632/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=142596 CPUtime=582.14 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 39898 0 0 0 58191 23 0 0 25 0 1 0 132821606 146018304 32551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 35649 32551 139 317 0 35328 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 142596 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 14543 /proc/meminfo: memFree=1604928/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=143524 CPUtime=642.13 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 40116 0 0 0 64189 24 0 0 25 0 1 0 132821606 146968576 32725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 35881 32725 139 317 0 35560 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 143524 ################ # More data... # ################ /proc/meminfo: memFree=1590144/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=161708 CPUtime=1062.01 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 44731 0 0 0 106173 28 0 0 25 0 1 0 132821606 165588992 36413 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 40427 36413 139 317 0 40106 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 161708 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 14543 /proc/meminfo: memFree=1589248/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=162664 CPUtime=1122 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 45019 0 0 0 112171 29 0 0 25 0 1 0 132821606 166567936 36605 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 40666 36605 139 317 0 40345 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 162664 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 14543 /proc/meminfo: memFree=1588480/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=163768 CPUtime=1181.98 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 45319 0 0 0 118169 29 0 0 25 0 1 0 132821606 167698432 36817 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 40942 36817 139 317 0 40621 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 163768 [startup+1242.3 s] /proc/loadavg: 1.04 1.01 0.99 2/78 14543 /proc/meminfo: memFree=1587520/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=164856 CPUtime=1241.98 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 45606 0 0 0 124168 30 0 0 25 0 1 0 132821606 168812544 37048 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 41214 37048 139 317 0 40893 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 164856 [startup+1302.3 s] /proc/loadavg: 1.01 1.01 0.99 2/78 14543 /proc/meminfo: memFree=1586816/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=165784 CPUtime=1301.97 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 45879 0 0 0 130166 31 0 0 25 0 1 0 132821606 169762816 37233 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 41446 37233 139 317 0 41125 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 165784 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 14543 /proc/meminfo: memFree=1585920/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=166692 CPUtime=1361.95 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 46171 0 0 0 136164 31 0 0 25 0 1 0 132821606 170692608 37437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 41673 37437 139 317 0 41352 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 166692 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 14543 /proc/meminfo: memFree=1584640/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=168208 CPUtime=1421.94 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 46752 0 0 0 142162 32 0 0 25 0 1 0 132821606 172244992 37747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 42052 37747 139 317 0 41731 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 168208 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 14543 /proc/meminfo: memFree=1583104/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=170356 CPUtime=1481.91 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 47643 0 0 0 148159 32 0 0 25 0 1 0 132821606 174444544 38144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593515 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 42589 38144 139 317 0 42268 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 170356 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 14543 /proc/meminfo: memFree=1580672/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=173184 CPUtime=1541.9 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 48776 0 0 0 154157 33 0 0 25 0 1 0 132821606 177340416 38738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 43296 38738 139 317 0 42975 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 173184 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 14543 /proc/meminfo: memFree=1579072/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=175244 CPUtime=1601.89 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 49592 0 0 0 160155 34 0 0 25 0 1 0 132821606 179449856 39152 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 43811 39152 139 317 0 43490 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 175244 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 14543 /proc/meminfo: memFree=1577664/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=177372 CPUtime=1661.87 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 50368 0 0 0 166153 34 0 0 25 0 1 0 132821606 181628928 39552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 44343 39552 139 317 0 44022 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 177372 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 14543 /proc/meminfo: memFree=1575680/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=179820 CPUtime=1721.86 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 51512 0 0 0 172150 36 0 0 25 0 1 0 132821606 184135680 40015 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 44955 40015 139 317 0 44634 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 179820 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 14543 /proc/meminfo: memFree=1567040/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=189352 CPUtime=1781.85 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 54472 0 0 0 178148 37 0 0 25 0 1 0 132821606 193896448 42142 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 47338 42142 139 317 0 47017 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 189352 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.99 2/78 14543 /proc/meminfo: memFree=1565952/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=190848 CPUtime=1800.05 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 54992 0 0 0 179968 37 0 0 25 0 1 0 132821606 195428352 42412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 47712 42412 139 317 0 47391 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 190848 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: 1.00 1.00 0.99 2/79 14544 /proc/meminfo: memFree=1565944/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=191240 CPUtime=1800.94 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 55169 0 0 0 180057 37 0 0 25 0 1 0 132821606 195829760 42497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14540/statm: 47810 42497 139 317 0 47489 0 Current children cumulated CPU time (s) 1800.94 Current children cumulated vsize (KiB) 191240 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 0.99 2/79 14544 /proc/meminfo: memFree=1565624/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=191240 CPUtime=1801.73 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 55169 0 0 0 180136 37 0 0 25 0 1 0 132821606 195829760 42497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14540/statm: 47810 42497 139 317 0 47489 0 Current children cumulated CPU time (s) 1801.73 Current children cumulated vsize (KiB) 191240 [startup+1802.4 s] /proc/loadavg: 1.00 1.00 0.99 2/79 14544 /proc/meminfo: memFree=1565624/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=191240 CPUtime=1801.93 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 55169 0 0 0 180156 37 0 0 25 0 1 0 132821606 195829760 42497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14540/statm: 47810 42497 139 317 0 47489 0 Current children cumulated CPU time (s) 1801.93 Current children cumulated vsize (KiB) 191240 [startup+1802.5 s] /proc/loadavg: 1.00 1.00 0.99 2/79 14544 /proc/meminfo: memFree=1565624/2055920 swapFree=4157120/4192956 [pid=14540] ppid=14538 vsize=191240 CPUtime=1802.03 /proc/14540/stat : 14540 (oree) R 14538 14540 14242 0 -1 4194304 55169 0 0 0 180166 37 0 0 25 0 1 0 132821606 195829760 42497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14540/statm: 47810 42497 139 317 0 47489 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 191240 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.54 CPU time (s): 1802.08 CPU user time (s): 1801.68 CPU system time (s): 0.406938 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 191240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1801.68 system time used= 0.406938 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55169 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= 36631 runsolver used 1.9577 second user time and 4.6203 second system time The end
Begin job on node30 on Tue Apr 17 22:30:59 UTC 2007 IDJOB= 356947 IDBENCH= 1674 IDSOLVER= 172 FILE ID= node30/356947-1176849059 PBS_JOBID= 4590207 Free space on /tmp= 66515 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-d6cube.opb COMMAND LINE= oree /tmp/evaluation/356947-1176849059/instance-356947-1176849059.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-356947-1176849059 -o ROOT/results/node30/solver-356947-1176849059 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356947-1176849059/instance-356947-1176849059.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 81f6ac40aa7d3bed7fd7ce8f56c34d18 RANDOM SEED= 273686659 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node30.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.218 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.218 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: 1735960 kB Buffers: 38820 kB Cached: 216916 kB SwapCached: 15516 kB Active: 178900 kB Inactive: 100136 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1735960 kB SwapTotal: 4192956 kB SwapFree: 4157120 kB Dirty: 15160 kB Writeback: 0 kB Mapped: 29900 kB Slab: 26476 kB Committed_AS: 2794388 kB PageTables: 1776 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= 66515 MiB End job on node30 on Tue Apr 17 23:01:02 UTC 2007