Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1801.21 | 1801.78 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-biella1.opb |
MD5SUM | 02b8e2ce7db79ee00a9a8f2ebac90f1b |
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 | 2.47162 |
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 | 42650 |
Total number of constraints | 1202 |
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 | 1202 |
Minimum length of a constraint | 38 |
Maximum length of a constraint | 42650 |
Number of terms in the objective function | 42650 |
Biggest coefficient in the objective function | 58891 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 565237 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262142 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 565237 |
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... 0.49/0.59 c ...done 0.49/0.59 c #vars=42650 #constraints=2400 hasObjective=yes 0.98/1.03 c res. mode=mod 0.98/1.03 c VSIDS like heuristics 0.98/1.03 c complete search running 1.18/1.28 c restart after 401 decisions 1.28/1.33 c nbDecision=500 #constraints=2400 1.38/1.49 c restart after 801 decisions 1.48/1.59 c nbDecision=1000 #constraints=2400 1.78/1.85 c nbDecision=1500 #constraints=2400 1.88/1.90 c restart after 1601 decisions 1.98/2.10 c nbDecision=2000 #constraints=2400 2.28/2.35 c nbDecision=2500 #constraints=2400 2.58/2.60 c nbDecision=3000 #constraints=2400 2.58/2.69 c restart after 3201 decisions 2.78/2.85 c nbDecision=3500 #constraints=2400 3.08/3.11 c nbDecision=4000 #constraints=2400 3.28/3.37 c nbDecision=4500 #constraints=2400 3.58/3.62 c nbDecision=5000 #constraints=2400 3.77/3.87 c nbDecision=5500 #constraints=2400 4.07/4.12 c nbDecision=6000 #constraints=2400 4.27/4.31 c restart after 6401 decisions 4.27/4.36 c nbDecision=6500 #constraints=2400 4.57/4.61 c nbDecision=7000 #constraints=2400 4.77/4.86 c nbDecision=7500 #constraints=2400 5.07/5.11 c nbDecision=8000 #constraints=2400 5.27/5.36 c nbDecision=8500 #constraints=2400 5.57/5.61 c nbDecision=9000 #constraints=2400 5.77/5.86 c nbDecision=9500 #constraints=2400 6.07/6.10 c nbDecision=10000 #constraints=2400 6.27/6.35 c nbDecision=10500 #constraints=2400 6.47/6.59 c nbDecision=11000 #constraints=2400 6.76/6.83 c nbDecision=11500 #constraints=2400 6.96/7.06 c nbDecision=12000 #constraints=2400 7.16/7.30 c nbDecision=12500 #constraints=2400 7.36/7.44 c restart after 12801 decisions 7.46/7.53 c nbDecision=13000 #constraints=2400 7.67/7.79 c nbDecision=13500 #constraints=2400 7.96/8.04 c nbDecision=14000 #constraints=2400 8.26/8.30 c nbDecision=14500 #constraints=2400 8.46/8.55 c nbDecision=15000 #constraints=2400 8.67/8.80 c nbDecision=15500 #constraints=2400 8.96/9.04 c nbDecision=16000 #constraints=2400 9.16/9.29 c nbDecision=16500 #constraints=2400 9.46/9.53 c nbDecision=17000 #constraints=2400 9.66/9.77 c nbDecision=17500 #constraints=2400 9.96/10.02 c nbDecision=18000 #constraints=2400 10.16/10.26 c nbDecision=18500 #constraints=2400 10.36/10.49 c nbDecision=19000 #constraints=2400 10.66/10.72 c nbDecision=19500 #constraints=2400 10.86/10.96 c nbDecision=20000 #constraints=2400 11.06/11.19 c nbDecision=20500 #constraints=2400 11.36/11.41 c nbDecision=21000 #constraints=2400 11.56/11.64 c nbDecision=21500 #constraints=2400 11.76/11.86 c nbDecision=22000 #constraints=2400 11.96/12.08 c nbDecision=22500 #constraints=2400 12.16/12.29 c nbDecision=23000 #constraints=2400 12.46/12.51 c nbDecision=23500 #constraints=2400 12.66/12.72 c nbDecision=24000 #constraints=2400 12.85/12.92 c nbDecision=24500 #constraints=2400 13.05/13.12 c nbDecision=25000 #constraints=2400 13.25/13.33 c nbDecision=25500 #constraints=2400 13.25/13.37 c restart after 25601 decisions 13.45/13.58 c nbDecision=26000 #constraints=2400 13.75/13.84 c nbDecision=26500 #constraints=2400 14.05/14.10 c nbDecision=27000 #constraints=2400 14.25/14.35 c nbDecision=27500 #constraints=2400 14.54/14.60 c nbDecision=28000 #constraints=2400 14.74/14.85 c nbDecision=28500 #constraints=2400 15.04/15.10 c nbDecision=29000 #constraints=2400 15.25/15.35 c nbDecision=29500 #constraints=2400 15.44/15.59 c nbDecision=30000 #constraints=2400 15.74/15.83 c nbDecision=30500 #constraints=2400 15.94/16.07 c nbDecision=31000 #constraints=2400 16.24/16.30 c nbDecision=31500 #constraints=2400 16.45/16.54 c nbDecision=32000 #constraints=2400 16.64/16.77 c nbDecision=32500 #constraints=2400 16.84/16.99 c nbDecision=33000 #constraints=2400 17.14/17.22 c nbDecision=33500 #constraints=2400 17.34/17.44 c nbDecision=34000 #constraints=2400 17.54/17.66 c nbDecision=34500 #constraints=2400 17.74/17.89 c nbDecision=35000 #constraints=2400 18.04/18.11 c nbDecision=35500 #constraints=2400 18.24/18.32 c nbDecision=36000 #constraints=2400 18.44/18.53 c nbDecision=36500 #constraints=2400 18.64/18.74 c nbDecision=37000 #constraints=2400 18.84/18.95 c nbDecision=37500 #constraints=2400 19.04/19.15 c nbDecision=38000 #constraints=2400 19.24/19.35 c nbDecision=38500 #constraints=2400 19.44/19.55 c nbDecision=39000 #constraints=2400 19.64/19.74 c nbDecision=39500 #constraints=2400 19.84/19.93 c nbDecision=40000 #constraints=2400 20.04/20.11 c nbDecision=40500 #constraints=2400 20.14/20.30 c nbDecision=41000 #constraints=2400 20.34/20.47 c nbDecision=41500 #constraints=2400 20.54/20.65 c nbDecision=42000 #constraints=2400 20.74/20.83 c nbDecision=42500 #constraints=2400 20.84/20.99 c nbDecision=43000 #constraints=2400 21.04/21.17 c nbDecision=43500 #constraints=2400 21.24/21.33 c nbDecision=44000 #constraints=2400 21.34/21.49 c nbDecision=44500 #constraints=2400 21.54/21.65 c nbDecision=45000 #constraints=2400 21.74/21.80 c nbDecision=45500 #constraints=2400 21.84/21.96 c nbDecision=46000 #constraints=2400 22.04/22.11 c nbDecision=46500 #constraints=2400 22.14/22.27 c nbDecision=47000 #constraints=2400 22.34/22.43 c nbDecision=47500 #constraints=2400 22.44/22.59 c nbDecision=48000 #constraints=2402 22.64/22.75 c nbDecision=48500 #constraints=2402 22.94/23.03 c nbDecision=49000 #constraints=2422 23.13/23.26 c nbDecision=49500 #constraints=2431 23.33/23.47 c nbDecision=50000 #constraints=2441 24.05/24.12 c nbDecision=50500 #constraints=2491 24.24/24.34 c nbDecision=51000 #constraints=2510 24.34/24.45 c restart after 51201 decisions 24.54/24.65 c nbDecision=51500 #constraints=2527 24.84/24.91 c nbDecision=52000 #constraints=2527 25.04/25.16 c nbDecision=52500 #constraints=2527 25.34/25.41 c nbDecision=53000 #constraints=2527 25.54/25.66 c nbDecision=53500 #constraints=2527 25.74/25.90 c nbDecision=54000 #constraints=2527 26.04/26.15 c nbDecision=54500 #constraints=2527 26.24/26.39 c nbDecision=55000 #constraints=2527 26.54/26.63 c nbDecision=55500 #constraints=2527 26.74/26.87 c nbDecision=56000 #constraints=2527 27.04/27.11 c nbDecision=56500 #constraints=2527 27.24/27.35 c nbDecision=57000 #constraints=2527 27.44/27.58 c nbDecision=57500 #constraints=2527 27.74/27.81 c nbDecision=58000 #constraints=2527 27.93/28.04 c nbDecision=58500 #constraints=2527 28.13/28.26 c nbDecision=59000 #constraints=2527 28.33/28.49 c nbDecision=59500 #constraints=2527 28.63/28.71 c nbDecision=60000 #constraints=2527 28.83/28.92 c nbDecision=60500 #constraints=2527 29.03/29.14 c nbDecision=61000 #constraints=2527 29.23/29.35 c nbDecision=61500 #constraints=2527 29.43/29.57 c nbDecision=62000 #constraints=2527 29.64/29.77 c nbDecision=62500 #constraints=2527 29.83/29.98 c nbDecision=63000 #constraints=2527 30.03/30.18 c nbDecision=63500 #constraints=2527 30.23/30.38 c nbDecision=64000 #constraints=2527 30.43/30.57 c nbDecision=64500 #constraints=2527 30.64/30.77 c nbDecision=65000 #constraints=2527 30.83/30.96 c nbDecision=65500 #constraints=2527 31.03/31.14 c nbDecision=66000 #constraints=2527 31.23/31.33 c nbDecision=66500 #constraints=2527 31.43/31.51 c nbDecision=67000 #constraints=2527 31.53/31.68 c nbDecision=67500 #constraints=2527 31.74/31.86 c nbDecision=68000 #constraints=2527 31.93/32.03 c nbDecision=68500 #constraints=2527 32.13/32.20 c nbDecision=69000 #constraints=2527 32.23/32.37 c nbDecision=69500 #constraints=2527 32.43/32.53 c nbDecision=70000 #constraints=2527 32.53/32.69 c nbDecision=70500 #constraints=2527 32.73/32.85 c nbDecision=71000 #constraints=2527 32.94/33.01 c nbDecision=71500 #constraints=2527 33.03/33.17 c nbDecision=72000 #constraints=2527 33.23/33.33 c nbDecision=72500 #constraints=2527 33.33/33.49 c nbDecision=73000 #constraints=2527 33.53/33.65 c nbDecision=73500 #constraints=2527 33.73/33.81 c nbDecision=74000 #constraints=2527 33.83/34.00 c nbDecision=74500 #constraints=2527 34.03/34.17 c nbDecision=75000 #constraints=2528 35.03/35.11 c nbDecision=75500 #constraints=2560 35.33/35.48 c nbDecision=76000 #constraints=2606 35.63/35.76 c nbDecision=76500 #constraints=2624 36.23/36.33 c nbDecision=77000 #constraints=2643 36.62/36.79 c nbDecision=77500 #constraints=2700 36.92/37.01 c nbDecision=78000 #constraints=2707 37.52/37.60 c nbDecision=78500 #constraints=2726 38.02/38.19 c nbDecision=79000 #constraints=2793 38.22/38.36 c nbDecision=79500 #constraints=2793 39.23/39.39 c nbDecision=80000 #constraints=2901 40.71/40.85 c nbDecision=80500 #constraints=3034 41.32/41.48 c nbDecision=81000 #constraints=3090 43.51/43.61 c nbDecision=81500 #constraints=3237 43.71/43.81 c nbDecision=82000 #constraints=3237 45.31/45.49 c nbDecision=82500 #constraints=3397 46.51/46.65 c nbDecision=83000 #constraints=3441 47.22/47.31 c nbDecision=83500 #constraints=3494 49.51/49.68 c nbDecision=84000 #constraints=3682 49.71/49.90 c nbDecision=84500 #constraints=3682 52.22/52.37 c nbDecision=85000 #constraints=3878 53.21/53.33 c nbDecision=85500 #constraints=3885 54.81/54.92 c nbDecision=86000 #constraints=4009 56.81/56.90 c nbDecision=86500 #constraints=4092 57.61/57.79 c nbDecision=87000 #constraints=4145 60.21/60.37 c nbDecision=87500 #constraints=4299 61.71/61.83 c nbDecision=88000 #constraints=4366 63.81/63.97 c nbDecision=88500 #constraints=4488 66.41/66.59 c nbDecision=89000 #constraints=4598 66.81/66.93 c nbDecision=89500 #constraints=4602 69.61/69.78 c nbDecision=90000 #constraints=4760 71.91/72.09 c nbDecision=90500 #constraints=4841 72.41/72.57 c nbDecision=91000 #constraints=4843 73.20/73.40 c nbDecision=91500 #constraints=4896 76.81/77.00 c nbDecision=92000 #constraints=5084 77.11/77.29 c nbDecision=92500 #constraints=5084 81.60/81.78 c nbDecision=93000 #constraints=5283 82.10/82.21 c nbDecision=93500 #constraints=5287 85.20/85.39 c nbDecision=94000 #constraints=5447 87.31/87.42 c nbDecision=94500 #constraints=5494 88.21/88.33 c nbDecision=95000 #constraints=5547 91.51/91.63 c nbDecision=95500 #constraints=5703 92.70/92.89 c nbDecision=96000 #constraints=5735 96.30/96.45 c nbDecision=96500 #constraints=5895 98.40/98.59 c nbDecision=97000 #constraints=5938 101.30/101.40 c nbDecision=97500 #constraints=6062 104.40/104.59 c nbDecision=98000 #constraints=6142 105.41/105.60 c nbDecision=98500 #constraints=6195 108.30/108.41 c nbDecision=99000 #constraints=6315 110.70/110.86 c nbDecision=99500 #constraints=6383 113.80/113.94 c nbDecision=100000 #constraints=6507 117.19/117.39 c nbDecision=100500 #constraints=6586 120.49/120.67 c nbDecision=101000 #constraints=6710 124.29/124.41 c nbDecision=101500 #constraints=6793 125.59/125.74 c nbDecision=102000 #constraints=6846 129.40/129.58 c restart after 102401 decisions 130.80/130.92 c nbDecision=102500 #constraints=6964 131.00/131.18 c nbDecision=103000 #constraints=6964 131.30/131.44 c nbDecision=103500 #constraints=6964 131.50/131.70 c nbDecision=104000 #constraints=6964 131.80/131.95 c nbDecision=104500 #constraints=6964 132.10/132.20 c nbDecision=105000 #constraints=6964 132.30/132.46 c nbDecision=105500 #constraints=6964 132.60/132.76 c nbDecision=106000 #constraints=6964 132.90/133.09 c nbDecision=106500 #constraints=6964 133.29/133.43 c nbDecision=107000 #constraints=6964 133.59/133.76 c nbDecision=107500 #constraints=6964 133.89/134.02 c nbDecision=108000 #constraints=6964 134.49/134.60 c nbDecision=108500 #constraints=6964 134.69/134.86 c nbDecision=109000 #constraints=6964 134.89/135.09 c nbDecision=109500 #constraints=6964 135.20/135.35 c nbDecision=110000 #constraints=6964 135.49/135.68 c nbDecision=110500 #constraints=6964 135.79/135.93 c nbDecision=111000 #constraints=6964 136.00/136.15 c nbDecision=111500 #constraints=6964 136.20/136.37 c nbDecision=112000 #constraints=6964 136.40/136.58 c nbDecision=112500 #constraints=6964 136.69/136.80 c nbDecision=113000 #constraints=6964 136.89/137.01 c nbDecision=113500 #constraints=6964 137.09/137.21 c nbDecision=114000 #constraints=6964 137.30/137.42 c nbDecision=114500 #constraints=6964 137.49/137.62 c nbDecision=115000 #constraints=6964 137.69/137.85 c nbDecision=115500 #constraints=6964 137.89/138.05 c nbDecision=116000 #constraints=6964 138.09/138.24 c nbDecision=116500 #constraints=6964 138.29/138.43 c nbDecision=117000 #constraints=6964 138.50/138.61 c nbDecision=117500 #constraints=6964 138.59/138.80 c nbDecision=118000 #constraints=6964 138.79/138.97 c nbDecision=118500 #constraints=6964 138.99/139.15 c nbDecision=119000 #constraints=6964 139.19/139.32 c nbDecision=119500 #constraints=6964 139.39/139.50 c nbDecision=120000 #constraints=6964 139.50/139.67 c nbDecision=120500 #constraints=6964 139.69/139.83 c nbDecision=121000 #constraints=6964 139.79/140.00 c nbDecision=121500 #constraints=6964 139.99/140.16 c nbDecision=122000 #constraints=6964 140.19/140.32 c nbDecision=122500 #constraints=6964 140.39/140.53 c nbDecision=123000 #constraints=6964 140.60/140.76 c nbDecision=123500 #constraints=6964 140.89/141.00 c nbDecision=124000 #constraints=6964 141.19/141.34 c nbDecision=124500 #constraints=6964 141.49/141.62 c nbDecision=125000 #constraints=6964 141.89/142.04 c nbDecision=125500 #constraints=6964 143.09/143.25 c nbDecision=126000 #constraints=7000 145.89/146.01 c nbDecision=126500 #constraints=7067 149.89/150.08 c nbDecision=127000 #constraints=7189 154.59/154.73 c nbDecision=127500 #constraints=7303 154.89/155.09 c nbDecision=128000 #constraints=7303 160.28/160.41 c nbDecision=128500 #constraints=7461 164.59/164.71 c nbDecision=129000 #constraints=7544 164.89/165.06 c nbDecision=129500 #constraints=7544 167.78/167.95 c nbDecision=130000 #constraints=7678 173.18/173.34 c nbDecision=130500 #constraints=7796 175.38/175.54 c nbDecision=131000 #constraints=7852 176.78/176.99 c nbDecision=131500 #constraints=7888 181.58/181.78 c nbDecision=132000 #constraints=7990 187.18/187.35 c nbDecision=132500 #constraints=8089 194.27/194.41 c nbDecision=133000 #constraints=8251 196.18/196.33 c nbDecision=133500 #constraints=8301 201.18/201.32 c nbDecision=134000 #constraints=8407 206.97/207.15 c nbDecision=134500 #constraints=8509 213.17/213.40 c nbDecision=135000 #constraints=8578 220.37/220.53 c nbDecision=135500 #constraints=8719 222.46/222.66 c nbDecision=136000 #constraints=8769 224.06/224.22 c nbDecision=136500 #constraints=8808 234.37/234.59 c nbDecision=137000 #constraints=8977 237.97/238.14 c nbDecision=137500 #constraints=9011 247.17/247.31 c nbDecision=138000 #constraints=9193 249.16/249.32 c nbDecision=138500 #constraints=9234 258.06/258.25 c nbDecision=139000 #constraints=9377 263.86/264.09 c nbDecision=139500 #constraints=9481 270.56/270.73 c nbDecision=140000 #constraints=9557 272.96/273.11 c nbDecision=140500 #constraints=9603 279.06/279.25 c nbDecision=141000 #constraints=9706 284.66/284.84 c nbDecision=141500 #constraints=9780 290.26/290.45 c nbDecision=142000 #constraints=9878 299.45/299.63 c nbDecision=142500 #constraints=9992 305.65/305.87 c nbDecision=143000 #constraints=10135 310.34/310.50 c nbDecision=143500 #constraints=10194 312.15/312.32 c nbDecision=144000 #constraints=10225 321.75/321.97 c nbDecision=144500 #constraints=10386 326.64/326.80 c nbDecision=145000 #constraints=10461 335.25/335.49 c nbDecision=145500 #constraints=10602 341.34/341.54 c nbDecision=146000 #constraints=10704 352.54/352.72 c nbDecision=146500 #constraints=10837 355.04/355.30 c nbDecision=147000 #constraints=10883 364.13/364.31 c nbDecision=147500 #constraints=11024 370.33/370.58 c nbDecision=148000 #constraints=11126 379.53/379.74 c nbDecision=148500 #constraints=11224 383.93/384.17 c nbDecision=149000 #constraints=11323 392.53/392.77 c nbDecision=149500 #constraints=11432 398.83/399.07 c nbDecision=150000 #constraints=11507 411.32/411.59 c nbDecision=150500 #constraints=11678 416.31/416.56 c nbDecision=151000 #constraints=11721 423.72/423.97 c nbDecision=151500 #constraints=11823 429.71/429.98 c nbDecision=152000 #constraints=11893 446.91/447.19 c nbDecision=152500 #constraints=12088 449.81/450.08 c nbDecision=153000 #constraints=12124 460.30/460.53 c nbDecision=153500 #constraints=12261 466.31/466.52 c nbDecision=154000 #constraints=12328 475.40/475.60 c nbDecision=154500 #constraints=12433 484.50/484.75 c nbDecision=155000 #constraints=12547 493.90/494.17 c nbDecision=155500 #constraints=12652 498.40/498.67 c nbDecision=156000 #constraints=12724 509.20/509.41 c nbDecision=156500 #constraints=12812 512.50/512.75 c nbDecision=157000 #constraints=12845 534.19/534.44 c nbDecision=157500 #constraints=12977 537.59/537.86 c nbDecision=158000 #constraints=12994 542.18/542.44 c nbDecision=158500 #constraints=13074 544.89/545.17 c nbDecision=159000 #constraints=13114 558.18/558.47 c nbDecision=159500 #constraints=13241 562.99/563.28 c nbDecision=160000 #constraints=13263 565.48/565.76 c nbDecision=160500 #constraints=13309 573.48/573.71 c nbDecision=161000 #constraints=13410 584.58/584.82 c nbDecision=161500 #constraints=13536 587.18/587.49 c nbDecision=162000 #constraints=13585 594.97/595.22 c nbDecision=162500 #constraints=13677 605.97/606.29 c nbDecision=163000 #constraints=13773 614.17/614.43 c nbDecision=163500 #constraints=13878 627.16/627.40 c nbDecision=164000 #constraints=14009 630.86/631.10 c nbDecision=164500 #constraints=14056 637.56/637.86 c nbDecision=165000 #constraints=14127 640.86/641.11 c nbDecision=165500 #constraints=14167 647.26/647.50 c nbDecision=166000 #constraints=14233 663.76/664.01 c nbDecision=166500 #constraints=14365 673.76/674.04 c nbDecision=167000 #constraints=14444 683.46/683.70 c nbDecision=167500 #constraints=14522 700.25/700.51 c nbDecision=168000 #constraints=14612 708.94/709.23 c nbDecision=168500 #constraints=14649 709.64/709.95 c nbDecision=169000 #constraints=14649 710.44/710.71 c nbDecision=169500 #constraints=14677 712.54/712.82 c nbDecision=170000 #constraints=14715 715.45/715.71 c nbDecision=170500 #constraints=14777 715.75/716.09 c nbDecision=171000 #constraints=14777 719.24/719.55 c nbDecision=171500 #constraints=14840 733.23/733.52 c nbDecision=172000 #constraints=14985 741.64/741.91 c nbDecision=172500 #constraints=15063 748.93/749.24 c nbDecision=173000 #constraints=15133 764.83/765.14 c nbDecision=173500 #constraints=15289 773.42/773.70 c nbDecision=174000 #constraints=15359 782.63/782.92 c nbDecision=174500 #constraints=15434 792.72/793.10 c nbDecision=175000 #constraints=15513 807.52/807.88 c nbDecision=175500 #constraints=15658 816.93/817.21 c nbDecision=176000 #constraints=15739 831.22/831.54 c nbDecision=176500 #constraints=15880 840.41/840.78 c nbDecision=177000 #constraints=15962 848.21/848.50 c nbDecision=177500 #constraints=16032 856.51/856.88 c nbDecision=178000 #constraints=16107 873.90/874.23 c nbDecision=178500 #constraints=16258 883.90/884.21 c nbDecision=179000 #constraints=16333 894.50/894.88 c nbDecision=179500 #constraints=16412 908.49/908.89 c nbDecision=180000 #constraints=16550 913.59/913.94 c nbDecision=180500 #constraints=16622 921.50/921.84 c nbDecision=181000 #constraints=16693 932.78/933.19 c nbDecision=181500 #constraints=16796 941.69/942.06 c nbDecision=182000 #constraints=16871 955.88/956.25 c nbDecision=182500 #constraints=17013 965.08/965.47 c nbDecision=183000 #constraints=17086 975.28/975.66 c nbDecision=183500 #constraints=17166 987.38/987.71 c nbDecision=184000 #constraints=17275 1002.37/1002.75 c nbDecision=184500 #constraints=17388 1012.77/1013.11 c nbDecision=185000 #constraints=17460 1023.67/1024.09 c nbDecision=185500 #constraints=17537 1036.36/1036.70 c nbDecision=186000 #constraints=17670 1043.57/1043.98 c nbDecision=186500 #constraints=17735 1054.46/1054.86 c nbDecision=187000 #constraints=17838 1063.06/1063.47 c nbDecision=187500 #constraints=17910 1076.85/1077.27 c nbDecision=188000 #constraints=18049 1083.75/1084.18 c nbDecision=188500 #constraints=18097 1100.34/1100.78 c nbDecision=189000 #constraints=18230 1112.44/1112.83 c nbDecision=189500 #constraints=18335 1121.14/1121.52 c nbDecision=190000 #constraints=18403 1131.14/1131.58 c nbDecision=190500 #constraints=18477 1151.83/1152.23 c nbDecision=191000 #constraints=18622 1170.73/1171.18 c nbDecision=191500 #constraints=18744 1176.33/1176.73 c nbDecision=192000 #constraints=18775 1203.12/1203.57 c nbDecision=192500 #constraints=18875 1216.41/1216.88 c nbDecision=193000 #constraints=18934 1220.71/1221.19 c nbDecision=193500 #constraints=18974 1225.22/1225.69 c nbDecision=194000 #constraints=19016 1229.32/1229.79 c nbDecision=194500 #constraints=19056 1246.81/1247.28 c nbDecision=195000 #constraints=19182 1248.11/1248.57 c nbDecision=195500 #constraints=19184 1253.30/1253.77 c nbDecision=196000 #constraints=19241 1255.60/1256.02 c nbDecision=196500 #constraints=19256 1257.00/1257.48 c nbDecision=197000 #constraints=19267 1259.30/1259.74 c nbDecision=197500 #constraints=19280 1261.91/1262.31 c nbDecision=198000 #constraints=19297 1266.20/1266.67 c nbDecision=198500 #constraints=19339 1268.91/1269.36 c nbDecision=199000 #constraints=19351 1276.10/1276.51 c nbDecision=199500 #constraints=19412 1291.00/1291.48 c nbDecision=200000 #constraints=19512 1297.19/1297.67 c nbDecision=200500 #constraints=19564 1304.60/1305.00 c nbDecision=201000 #constraints=19618 1309.60/1310.08 c nbDecision=201500 #constraints=19665 1326.29/1326.72 c nbDecision=202000 #constraints=19745 1345.28/1345.71 c nbDecision=202500 #constraints=19853 1347.68/1348.15 c nbDecision=203000 #constraints=19867 1350.68/1351.15 c nbDecision=203500 #constraints=19887 1369.38/1369.84 c nbDecision=204000 #constraints=19994 1387.67/1388.16 c nbDecision=204500 #constraints=20116 1398.37/1398.80 c restart after 204801 decisions 1406.37/1406.88 c nbDecision=205000 #constraints=20175 1406.67/1407.13 c nbDecision=205500 #constraints=20175 1406.87/1407.38 c nbDecision=206000 #constraints=20175 1407.17/1407.69 c nbDecision=206500 #constraints=20175 1407.47/1407.95 c nbDecision=207000 #constraints=20175 1407.77/1408.21 c nbDecision=207500 #constraints=20175 1408.07/1408.52 c nbDecision=208000 #constraints=20175 1408.57/1409.06 c nbDecision=208500 #constraints=20175 1409.27/1409.76 c nbDecision=209000 #constraints=20175 1410.07/1410.54 c nbDecision=209500 #constraints=20175 1410.57/1411.07 c nbDecision=210000 #constraints=20175 1410.97/1411.49 c nbDecision=210500 #constraints=20175 1412.57/1413.04 c nbDecision=211000 #constraints=20175 1412.97/1413.45 c nbDecision=211500 #constraints=20175 1413.27/1413.73 c nbDecision=212000 #constraints=20175 1413.97/1414.45 c nbDecision=212500 #constraints=20175 1414.47/1414.98 c nbDecision=213000 #constraints=20175 1415.17/1415.62 c nbDecision=213500 #constraints=20175 1415.36/1415.85 c nbDecision=214000 #constraints=20175 1415.56/1416.08 c nbDecision=214500 #constraints=20175 1415.86/1416.30 c nbDecision=215000 #constraints=20175 1416.06/1416.57 c nbDecision=215500 #constraints=20175 1416.27/1416.79 c nbDecision=216000 #constraints=20175 1416.56/1417.05 c nbDecision=216500 #constraints=20175 1416.86/1417.34 c nbDecision=217000 #constraints=20175 1417.26/1417.73 c nbDecision=217500 #constraints=20175 1417.47/1417.95 c nbDecision=218000 #constraints=20175 1417.66/1418.15 c nbDecision=218500 #constraints=20175 1417.86/1418.36 c nbDecision=219000 #constraints=20175 1418.06/1418.55 c nbDecision=219500 #constraints=20175 1418.26/1418.75 c nbDecision=220000 #constraints=20175 1418.47/1418.98 c nbDecision=220500 #constraints=20175 1418.66/1419.16 c nbDecision=221000 #constraints=20175 1418.86/1419.34 c nbDecision=221500 #constraints=20175 1419.06/1419.51 c nbDecision=222000 #constraints=20175 1419.16/1419.69 c nbDecision=222500 #constraints=20175 1419.36/1419.86 c nbDecision=223000 #constraints=20175 1419.57/1420.05 c nbDecision=223500 #constraints=20175 1419.76/1420.25 c nbDecision=224000 #constraints=20175 1419.96/1420.41 c nbDecision=224500 #constraints=20175 1420.26/1420.71 c nbDecision=225000 #constraints=20175 1420.56/1421.06 c nbDecision=225500 #constraints=20175 1421.06/1421.57 c nbDecision=226000 #constraints=20175 1421.77/1422.22 c nbDecision=226500 #constraints=20175 1422.76/1423.30 c nbDecision=227000 #constraints=20175 1423.66/1424.13 c nbDecision=227500 #constraints=20175 1434.46/1434.90 c nbDecision=228000 #constraints=20242 1444.26/1444.77 c nbDecision=228500 #constraints=20296 1447.76/1448.22 c nbDecision=229000 #constraints=20312 1449.56/1450.06 c nbDecision=229500 #constraints=20322 1452.66/1453.17 c nbDecision=230000 #constraints=20335 1475.95/1476.40 c nbDecision=230500 #constraints=20466 1508.85/1509.33 c nbDecision=231000 #constraints=20637 1532.84/1533.34 c nbDecision=231500 #constraints=20727 1545.94/1546.42 c nbDecision=232000 #constraints=20803 1551.73/1552.21 c nbDecision=232500 #constraints=20844 1557.13/1557.67 c nbDecision=233000 #constraints=20895 1563.42/1563.98 c nbDecision=233500 #constraints=20954 1577.12/1577.63 c nbDecision=234000 #constraints=21050 1579.32/1579.88 c nbDecision=234500 #constraints=21062 1582.32/1582.89 c nbDecision=235000 #constraints=21091 1590.12/1590.68 c nbDecision=235500 #constraints=21157 1598.02/1598.55 c nbDecision=236000 #constraints=21211 1601.81/1602.31 c nbDecision=236500 #constraints=21229 1607.21/1607.71 c nbDecision=237000 #constraints=21253 1646.71/1647.28 c nbDecision=237500 #constraints=21443 1668.10/1668.64 c nbDecision=238000 #constraints=21565 1700.49/1701.00 c nbDecision=238500 #constraints=21730 1711.79/1712.32 c nbDecision=239000 #constraints=21794 1717.89/1718.49 c nbDecision=239500 #constraints=21838 1724.38/1724.99 c nbDecision=240000 #constraints=21896 1729.89/1730.41 c nbDecision=240500 #constraints=21948 1744.98/1745.55 c nbDecision=241000 #constraints=22049 1747.88/1748.40 c nbDecision=241500 #constraints=22066 1751.18/1751.72 c nbDecision=242000 #constraints=22096 1765.47/1766.02 c nbDecision=242500 #constraints=22201 1791.97/1792.55 c nbDecision=243000 #constraints=22348 1795.07/1795.68 c nbDecision=243500 #constraints=22353 1800.07/1800.61 Received signal 15 1800.96/1801.53 1800.96/1801.53 s UNKNOWN 1800.96/1801.53 1800.96/1801.53 c user time= 1799.76 s 1800.96/1801.53 c system time= 1.24481 s 1800.96/1801.53 c wall clock time=1801.53
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-362664-1176847275 -o ROOT/results/node27/solver-362664-1176847275 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362664-1176847275/instance-362664-1176847275.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.99 0.97 0.96 3/71 11426 /proc/meminfo: memFree=1879456/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=1620 CPUtime=0 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 97423423 1658880 176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 405 176 126 317 0 84 0 [startup+0.0125731 s] /proc/loadavg: 0.99 0.97 0.96 3/71 11426 /proc/meminfo: memFree=1879456/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=1752 CPUtime=0.01 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 236 0 0 0 1 0 0 0 18 0 1 0 97423423 1794048 218 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135096813 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 438 218 126 317 0 117 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1752 [startup+0.101581 s] /proc/loadavg: 0.99 0.97 0.96 3/71 11426 /proc/meminfo: memFree=1879456/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=3440 CPUtime=0.09 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 810 0 0 0 9 0 0 0 18 0 1 0 97423423 3522560 565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 860 565 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301601 s] /proc/loadavg: 0.99 0.97 0.96 3/71 11426 /proc/meminfo: memFree=1879456/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=7576 CPUtime=0.29 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 1824 0 0 0 29 0 0 0 19 0 1 0 97423423 7757824 1579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 1894 1579 131 317 0 1573 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7576 [startup+0.70164 s] /proc/loadavg: 0.99 0.97 0.96 3/71 11426 /proc/meminfo: memFree=1879456/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=17484 CPUtime=0.69 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 4444 0 0 0 67 2 0 0 23 0 1 0 97423423 17903616 3972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 4371 3972 137 317 0 4050 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17484 [startup+1.50172 s] /proc/loadavg: 0.99 0.97 0.96 2/72 11453 /proc/meminfo: memFree=1861848/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=20388 CPUtime=1.48 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 5161 0 0 0 146 2 0 0 25 0 1 0 97423423 20877312 4689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 5097 4689 138 317 0 4776 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 20388 [startup+3.10188 s] /proc/loadavg: 0.99 0.97 0.96 2/72 11453 /proc/meminfo: memFree=1860952/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=20388 CPUtime=3.08 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 5161 0 0 0 306 2 0 0 25 0 1 0 97423423 20877312 4689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 5097 4689 138 317 0 4776 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 20388 [startup+6.30121 s] /proc/loadavg: 0.99 0.97 0.96 2/72 11461 /proc/meminfo: memFree=1860768/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=20388 CPUtime=6.27 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 5163 0 0 0 625 2 0 0 25 0 1 0 97423423 20877312 4691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 5097 4691 138 317 0 4776 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 20388 [startup+12.7019 s] /proc/loadavg: 0.99 0.97 0.96 2/72 11483 /proc/meminfo: memFree=1860640/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=20388 CPUtime=12.66 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 5170 0 0 0 1264 2 0 0 25 0 1 0 97423423 20877312 4698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606624 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 5097 4698 138 317 0 4776 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 20388 [startup+25.5012 s] /proc/loadavg: 0.99 0.97 0.96 2/72 11515 /proc/meminfo: memFree=1857448/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=24016 CPUtime=25.44 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 6013 0 0 0 2541 3 0 0 25 0 1 0 97423423 24592384 5541 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 6004 5541 139 317 0 5683 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 24016 [startup+51.1017 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11543 /proc/meminfo: memFree=1812640/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=77056 CPUtime=51.01 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 18294 0 0 0 5094 7 0 0 25 0 1 0 97423423 78905344 17822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 19264 17822 139 317 0 18943 0 Current children cumulated CPU time (s) 51.01 Current children cumulated vsize (KiB) 77056 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11543 /proc/meminfo: memFree=1717088/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=179012 CPUtime=102.2 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 41380 0 0 0 10203 17 0 0 25 0 1 0 97423423 183308288 40875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 44753 40875 139 317 0 44432 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 179012 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11543 /proc/meminfo: memFree=1662496/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=237964 CPUtime=162.19 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 55113 0 0 0 16195 24 0 0 25 0 1 0 97423423 243675136 54608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 59491 54608 139 317 0 59170 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 237964 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11543 /proc/meminfo: memFree=1610528/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=297076 CPUtime=222.16 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 68017 0 0 0 22189 27 0 0 25 0 1 0 97423423 304205824 67512 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 74269 67512 139 317 0 73948 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 297076 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11543 /proc/meminfo: memFree=1562592/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=350208 CPUtime=282.15 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 80130 0 0 0 28181 34 0 0 25 0 1 0 97423423 358612992 79561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 87552 79561 139 317 0 87231 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 350208 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11543 /proc/meminfo: memFree=1516128/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=402292 CPUtime=342.14 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 91637 0 0 0 34176 38 0 0 25 0 1 0 97423423 411947008 91068 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 100573 91068 139 317 0 100252 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 402292 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11543 /proc/meminfo: memFree=1472160/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=450140 CPUtime=402.12 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 102693 0 0 0 40169 43 0 0 25 0 1 0 97423423 460943360 102124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 112535 102124 139 317 0 112214 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 450140 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11543 /proc/meminfo: memFree=1433952/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=490464 CPUtime=462.1 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 112146 0 0 0 46162 48 0 0 25 0 1 0 97423423 502235136 111577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 122616 111577 139 317 0 122295 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 490464 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11543 /proc/meminfo: memFree=1396128/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=533000 CPUtime=522.1 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 121930 0 0 0 52158 52 0 0 25 0 1 0 97423423 545792000 121132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284242 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 133250 121132 139 317 0 132929 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 533000 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11543 /proc/meminfo: memFree=1348640/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=591428 CPUtime=582.08 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 134142 0 0 0 58151 57 0 0 25 0 1 0 97423423 605622272 132838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 147857 132838 139 317 0 147536 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 591428 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11543 /proc/meminfo: memFree=1315680/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=630756 CPUtime=642.06 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 142326 0 0 0 64146 60 0 0 25 0 1 0 97423423 645894144 141022 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 157689 141022 139 317 0 157368 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 630756 ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11543 /proc/meminfo: memFree=1125792/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=849408 CPUtime=1001.97 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 190632 0 0 0 100117 80 0 0 25 0 1 0 97423423 869793792 188387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 212352 188387 139 317 0 212031 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 849408 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11543 /proc/meminfo: memFree=1099872/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=879564 CPUtime=1061.96 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 197058 0 0 0 106113 83 0 0 25 0 1 0 97423423 900673536 194813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270612 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 219891 194813 139 317 0 219570 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 879564 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11543 /proc/meminfo: memFree=1074976/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=907088 CPUtime=1121.94 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 203373 0 0 0 112108 86 0 0 25 0 1 0 97423423 928858112 201128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 226772 201128 139 317 0 226451 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 907088 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11543 /proc/meminfo: memFree=1050592/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=934076 CPUtime=1181.93 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 209593 0 0 0 118105 88 0 0 25 0 1 0 97423423 956493824 207220 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 233519 207220 139 317 0 233198 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 934076 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11543 /proc/meminfo: memFree=1027872/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=960768 CPUtime=1241.91 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 215313 0 0 0 124101 90 0 0 25 0 1 0 97423423 983826432 212808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 240192 212808 139 317 0 239871 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 960768 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11543 /proc/meminfo: memFree=1000032/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=990684 CPUtime=1301.9 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 222268 0 0 0 130097 93 0 0 25 0 1 0 97423423 1014460416 219721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 247671 219721 139 317 0 247350 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 990684 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11543 /proc/meminfo: memFree=966304/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=1030512 CPUtime=1361.88 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 231044 0 0 0 136093 95 0 0 25 0 1 0 97423423 1055244288 228234 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 257628 228234 139 317 0 257307 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1030512 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11543 /proc/meminfo: memFree=932000/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=1071424 CPUtime=1421.87 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 240149 0 0 0 142088 99 0 0 25 0 1 0 97423423 1097138176 236679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 267856 236679 139 317 0 267535 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1071424 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11543 /proc/meminfo: memFree=905824/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=1100060 CPUtime=1481.84 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 247342 0 0 0 148083 101 0 0 25 0 1 0 97423423 1126461440 243273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 275015 243273 139 317 0 274694 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1100060 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11543 /proc/meminfo: memFree=868512/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=1140256 CPUtime=1541.83 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 257350 0 0 0 154078 105 0 0 25 0 1 0 97423423 1167622144 252536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 285064 252536 139 317 0 284743 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1140256 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11545 /proc/meminfo: memFree=825760/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=1189780 CPUtime=1601.81 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 268844 0 0 0 160072 109 0 0 25 0 1 0 97423423 1218334720 263214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 297445 263214 139 317 0 297124 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1189780 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11545 /proc/meminfo: memFree=792800/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=1227228 CPUtime=1661.8 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 277407 0 0 0 166068 112 0 0 25 0 1 0 97423423 1256681472 271527 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 306807 271527 139 317 0 306486 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1227228 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11545 /proc/meminfo: memFree=749280/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=1279680 CPUtime=1721.78 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 290206 0 0 0 172061 117 0 0 25 0 1 0 97423423 1310392320 282339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 319920 282339 139 317 0 319599 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1279680 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11545 /proc/meminfo: memFree=704032/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=1330724 CPUtime=1781.77 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 302541 0 0 0 178054 123 0 0 25 0 1 0 97423423 1362661376 293606 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 332681 293606 139 317 0 332360 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1330724 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11545 /proc/meminfo: memFree=689696/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=1346784 CPUtime=1800.07 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 307166 0 0 0 179883 124 0 0 25 0 1 0 97423423 1379106816 297132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 336696 297132 139 317 0 336375 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1346784 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11545 /proc/meminfo: memFree=689696/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=1347212 CPUtime=1800.86 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194304 307257 0 0 0 179962 124 0 0 25 0 1 0 97423423 1379545088 297223 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 336803 297223 139 317 0 336482 0 Current children cumulated CPU time (s) 1800.86 Current children cumulated vsize (KiB) 1347212 [startup+1801.6 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11545 /proc/meminfo: memFree=689696/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=0 CPUtime=1801.06 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194308 307273 0 0 0 179977 129 0 0 25 0 1 0 97423423 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1801.06 Current children cumulated vsize (KiB) 0 [startup+1801.7 s] /proc/loadavg: 0.99 0.97 0.96 2/67 11546 /proc/meminfo: memFree=1618840/2055920 swapFree=4179692/4192956 [pid=11426] ppid=11424 vsize=0 CPUtime=1801.16 /proc/11426/stat : 11426 (oree) R 11424 11426 10715 0 -1 4194308 307273 0 0 0 179977 139 0 0 25 0 1 0 97423423 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11426/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1801.16 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.78 CPU time (s): 1801.21 CPU user time (s): 1799.78 CPU system time (s): 1.43478 CPU usage (%): 99.9684 Max. virtual memory (cumulated for all children) (KiB): 1347212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.78 system time used= 1.43478 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 307273 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= 2468 runsolver used 1.41978 second user time and 3.66544 second system time The end
Begin job on node27 on Tue Apr 17 22:01:15 UTC 2007 IDJOB= 362664 IDBENCH= 1606 IDSOLVER= 172 FILE ID= node27/362664-1176847275 PBS_JOBID= 4590178 Free space on /tmp= 66470 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-biella1.opb COMMAND LINE= oree /tmp/evaluation/362664-1176847275/instance-362664-1176847275.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-362664-1176847275 -o ROOT/results/node27/solver-362664-1176847275 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362664-1176847275/instance-362664-1176847275.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 02b8e2ce7db79ee00a9a8f2ebac90f1b RANDOM SEED= 468125003 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.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.213 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 : 5931.00 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.213 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: 1879864 kB Buffers: 20152 kB Cached: 110700 kB SwapCached: 7528 kB Active: 74056 kB Inactive: 70836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1879864 kB SwapTotal: 4192956 kB SwapFree: 4179692 kB Dirty: 3232 kB Writeback: 0 kB Mapped: 16604 kB Slab: 16812 kB Committed_AS: 1615356 kB PageTables: 1636 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= 66470 MiB End job on node27 on Tue Apr 17 22:31:18 UTC 2007