Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (MO) | 528.923 | 528.914 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-dc1c.opb |
MD5SUM | 5bb71a9130ac2c3fe622e296e248e968 |
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 | 19.2431 |
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 | 58150 |
Total number of constraints | 1648 |
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 | 1648 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 58150 |
Number of terms in the objective function | 58150 |
Biggest coefficient in the objective function | 41346 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 580891 |
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 | 580891 |
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.79/0.86 c ...done 0.79/0.86 c #vars=58150 #constraints=3287 hasObjective=yes 1.39/1.46 c res. mode=mod 1.39/1.46 c VSIDS like heuristics 1.39/1.46 c complete search running 1.79/1.85 c restart after 401 decisions 1.89/1.93 c nbDecision=500 #constraints=3287 2.10/2.17 c restart after 801 decisions 2.29/2.33 c nbDecision=1000 #constraints=3287 2.69/2.73 c nbDecision=1500 #constraints=3287 2.79/2.82 c restart after 1601 decisions 3.09/3.14 c nbDecision=2000 #constraints=3287 3.49/3.54 c nbDecision=2500 #constraints=3287 3.89/3.94 c nbDecision=3000 #constraints=3287 4.09/4.10 c restart after 3201 decisions 4.30/4.34 c nbDecision=3500 #constraints=3287 4.69/4.75 c nbDecision=4000 #constraints=3287 5.09/5.15 c nbDecision=4500 #constraints=3287 5.49/5.54 c nbDecision=5000 #constraints=3287 5.89/5.94 c nbDecision=5500 #constraints=3287 6.29/6.33 c nbDecision=6000 #constraints=3287 6.59/6.65 c restart after 6401 decisions 6.69/6.73 c nbDecision=6500 #constraints=3287 7.09/7.13 c nbDecision=7000 #constraints=3287 7.49/7.53 c nbDecision=7500 #constraints=3287 7.89/7.93 c nbDecision=8000 #constraints=3287 8.29/8.33 c nbDecision=8500 #constraints=3287 8.69/8.72 c nbDecision=9000 #constraints=3287 9.09/9.11 c nbDecision=9500 #constraints=3287 9.49/9.50 c nbDecision=10000 #constraints=3287 9.79/9.89 c nbDecision=10500 #constraints=3287 10.19/10.28 c nbDecision=11000 #constraints=3287 10.59/10.66 c nbDecision=11500 #constraints=3287 10.99/11.05 c nbDecision=12000 #constraints=3287 11.39/11.43 c nbDecision=12500 #constraints=3287 11.59/11.66 c restart after 12801 decisions 11.79/11.83 c nbDecision=13000 #constraints=3287 12.19/12.23 c nbDecision=13500 #constraints=3287 12.59/12.64 c nbDecision=14000 #constraints=3287 12.99/13.04 c nbDecision=14500 #constraints=3287 13.39/13.44 c nbDecision=15000 #constraints=3287 13.79/13.84 c nbDecision=15500 #constraints=3287 14.19/14.24 c nbDecision=16000 #constraints=3287 14.59/14.63 c nbDecision=16500 #constraints=3287 14.99/15.02 c nbDecision=17000 #constraints=3287 15.39/15.41 c nbDecision=17500 #constraints=3287 15.79/15.80 c nbDecision=18000 #constraints=3287 16.09/16.19 c nbDecision=18500 #constraints=3287 16.49/16.57 c nbDecision=19000 #constraints=3287 16.89/16.96 c nbDecision=19500 #constraints=3287 17.29/17.33 c nbDecision=20000 #constraints=3287 17.69/17.71 c nbDecision=20500 #constraints=3287 17.99/18.08 c nbDecision=21000 #constraints=3287 18.39/18.45 c nbDecision=21500 #constraints=3287 18.79/18.82 c nbDecision=22000 #constraints=3287 19.09/19.19 c nbDecision=22500 #constraints=3287 19.49/19.55 c nbDecision=23000 #constraints=3287 19.89/19.91 c nbDecision=23500 #constraints=3287 20.19/20.27 c nbDecision=24000 #constraints=3287 20.59/20.63 c nbDecision=24500 #constraints=3287 20.89/20.98 c nbDecision=25000 #constraints=3287 21.29/21.33 c nbDecision=25500 #constraints=3287 21.39/21.40 c restart after 25601 decisions 21.69/21.73 c nbDecision=26000 #constraints=3287 22.09/22.13 c nbDecision=26500 #constraints=3287 22.49/22.53 c nbDecision=27000 #constraints=3287 22.89/22.93 c nbDecision=27500 #constraints=3287 23.29/23.32 c nbDecision=28000 #constraints=3287 23.69/23.71 c nbDecision=28500 #constraints=3287 24.09/24.10 c nbDecision=29000 #constraints=3287 24.39/24.49 c nbDecision=29500 #constraints=3287 24.79/24.88 c nbDecision=30000 #constraints=3287 25.19/25.27 c nbDecision=30500 #constraints=3287 25.59/25.65 c nbDecision=31000 #constraints=3287 25.99/26.03 c nbDecision=31500 #constraints=3287 26.39/26.41 c nbDecision=32000 #constraints=3287 26.69/26.79 c nbDecision=32500 #constraints=3287 27.09/27.16 c nbDecision=33000 #constraints=3287 27.49/27.53 c nbDecision=33500 #constraints=3287 27.89/27.90 c nbDecision=34000 #constraints=3287 28.19/28.27 c nbDecision=34500 #constraints=3287 28.59/28.63 c nbDecision=35000 #constraints=3287 28.89/28.99 c nbDecision=35500 #constraints=3287 29.29/29.35 c nbDecision=36000 #constraints=3287 29.69/29.71 c nbDecision=36500 #constraints=3287 29.99/30.06 c nbDecision=37000 #constraints=3287 30.39/30.41 c nbDecision=37500 #constraints=3287 30.69/30.76 c nbDecision=38000 #constraints=3287 31.09/31.11 c nbDecision=38500 #constraints=3287 31.39/31.45 c nbDecision=39000 #constraints=3287 31.69/31.80 c nbDecision=39500 #constraints=3287 32.09/32.14 c nbDecision=40000 #constraints=3287 32.39/32.48 c nbDecision=40500 #constraints=3287 32.79/32.82 c nbDecision=41000 #constraints=3287 33.09/33.15 c nbDecision=41500 #constraints=3287 33.39/33.49 c nbDecision=42000 #constraints=3287 33.79/33.82 c nbDecision=42500 #constraints=3287 34.09/34.14 c nbDecision=43000 #constraints=3287 34.39/34.47 c nbDecision=43500 #constraints=3287 34.69/34.79 c nbDecision=44000 #constraints=3287 35.09/35.11 c nbDecision=44500 #constraints=3287 35.39/35.43 c nbDecision=45000 #constraints=3287 35.69/35.75 c nbDecision=45500 #constraints=3287 35.99/36.06 c nbDecision=46000 #constraints=3287 36.29/36.37 c nbDecision=46500 #constraints=3287 36.58/36.68 c nbDecision=47000 #constraints=3287 36.88/36.98 c nbDecision=47500 #constraints=3287 37.18/37.28 c nbDecision=48000 #constraints=3287 37.48/37.58 c nbDecision=48500 #constraints=3287 37.78/37.88 c nbDecision=49000 #constraints=3287 38.08/38.17 c nbDecision=49500 #constraints=3287 38.39/38.47 c nbDecision=50000 #constraints=3287 38.68/38.76 c nbDecision=50500 #constraints=3287 38.98/39.04 c nbDecision=51000 #constraints=3287 39.08/39.15 c restart after 51201 decisions 39.38/39.41 c nbDecision=51500 #constraints=3287 39.78/39.82 c nbDecision=52000 #constraints=3287 40.18/40.22 c nbDecision=52500 #constraints=3287 40.59/40.63 c nbDecision=53000 #constraints=3287 40.98/41.02 c nbDecision=53500 #constraints=3287 41.38/41.42 c nbDecision=54000 #constraints=3287 41.79/41.81 c nbDecision=54500 #constraints=3287 42.19/42.20 c nbDecision=55000 #constraints=3287 42.49/42.59 c nbDecision=55500 #constraints=3287 42.90/42.98 c nbDecision=56000 #constraints=3287 43.29/43.36 c nbDecision=56500 #constraints=3287 43.69/43.75 c nbDecision=57000 #constraints=3287 44.09/44.13 c nbDecision=57500 #constraints=3287 44.49/44.50 c nbDecision=58000 #constraints=3287 44.79/44.88 c nbDecision=58500 #constraints=3287 45.19/45.25 c nbDecision=59000 #constraints=3287 45.59/45.62 c nbDecision=59500 #constraints=3287 45.89/45.99 c nbDecision=60000 #constraints=3287 46.29/46.35 c nbDecision=60500 #constraints=3287 46.69/46.71 c nbDecision=61000 #constraints=3287 46.99/47.07 c nbDecision=61500 #constraints=3287 47.39/47.43 c nbDecision=62000 #constraints=3287 47.69/47.78 c nbDecision=62500 #constraints=3287 48.09/48.14 c nbDecision=63000 #constraints=3287 48.39/48.48 c nbDecision=63500 #constraints=3287 48.79/48.83 c nbDecision=64000 #constraints=3287 49.09/49.18 c nbDecision=64500 #constraints=3287 49.49/49.52 c nbDecision=65000 #constraints=3287 49.79/49.86 c nbDecision=65500 #constraints=3287 50.09/50.19 c nbDecision=66000 #constraints=3287 50.50/50.53 c nbDecision=66500 #constraints=3287 50.79/50.86 c nbDecision=67000 #constraints=3287 51.09/51.19 c nbDecision=67500 #constraints=3287 51.49/51.52 c nbDecision=68000 #constraints=3287 51.79/51.85 c nbDecision=68500 #constraints=3287 52.09/52.18 c nbDecision=69000 #constraints=3287 52.49/52.50 c nbDecision=69500 #constraints=3287 52.79/52.82 c nbDecision=70000 #constraints=3287 53.09/53.14 c nbDecision=70500 #constraints=3287 53.39/53.46 c nbDecision=71000 #constraints=3287 53.69/53.77 c nbDecision=71500 #constraints=3287 53.99/54.08 c nbDecision=72000 #constraints=3287 54.29/54.39 c nbDecision=72500 #constraints=3287 54.59/54.69 c nbDecision=73000 #constraints=3287 54.89/54.99 c nbDecision=73500 #constraints=3287 55.19/55.30 c nbDecision=74000 #constraints=3287 55.49/55.59 c nbDecision=74500 #constraints=3287 55.79/55.88 c nbDecision=75000 #constraints=3287 56.09/56.18 c nbDecision=75500 #constraints=3287 56.39/56.47 c nbDecision=76000 #constraints=3287 56.69/56.75 c nbDecision=76500 #constraints=3287 56.99/57.03 c nbDecision=77000 #constraints=3287 57.29/57.31 c nbDecision=77500 #constraints=3287 57.49/57.59 c nbDecision=78000 #constraints=3287 57.79/57.86 c nbDecision=78500 #constraints=3287 58.09/58.13 c nbDecision=79000 #constraints=3287 58.39/58.40 c nbDecision=79500 #constraints=3287 58.59/58.68 c nbDecision=80000 #constraints=3287 58.89/58.95 c nbDecision=80500 #constraints=3287 59.19/59.23 c nbDecision=81000 #constraints=3287 59.49/59.50 c nbDecision=81500 #constraints=3287 59.69/59.78 c nbDecision=82000 #constraints=3287 59.99/60.05 c nbDecision=82500 #constraints=3287 60.29/60.34 c nbDecision=83000 #constraints=3287 60.59/60.63 c nbDecision=83500 #constraints=3287 60.89/60.94 c nbDecision=84000 #constraints=3287 61.19/61.21 c nbDecision=84500 #constraints=3287 61.39/61.48 c nbDecision=85000 #constraints=3287 61.69/61.77 c nbDecision=85500 #constraints=3292 61.99/62.04 c nbDecision=86000 #constraints=3292 62.29/62.30 c nbDecision=86500 #constraints=3292 62.49/62.59 c nbDecision=87000 #constraints=3300 62.79/62.86 c nbDecision=87500 #constraints=3300 63.09/63.12 c nbDecision=88000 #constraints=3300 63.29/63.39 c nbDecision=88500 #constraints=3300 63.59/63.66 c nbDecision=89000 #constraints=3302 63.99/64.04 c nbDecision=89500 #constraints=3325 64.79/64.88 c nbDecision=90000 #constraints=3385 66.28/66.36 c nbDecision=90500 #constraints=3464 68.48/68.51 c nbDecision=91000 #constraints=3577 69.38/69.44 c nbDecision=91500 #constraints=3617 70.29/70.35 c nbDecision=92000 #constraints=3655 70.59/70.67 c nbDecision=92500 #constraints=3660 70.99/71.06 c nbDecision=93000 #constraints=3670 71.99/72.02 c nbDecision=93500 #constraints=3710 72.88/72.95 c nbDecision=94000 #constraints=3744 73.29/73.35 c nbDecision=94500 #constraints=3755 73.79/73.85 c nbDecision=95000 #constraints=3773 74.49/74.53 c nbDecision=95500 #constraints=3798 75.48/75.51 c nbDecision=96000 #constraints=3847 77.19/77.29 c nbDecision=96500 #constraints=3906 79.89/79.95 c nbDecision=97000 #constraints=3999 82.39/82.48 c nbDecision=97500 #constraints=4088 84.60/84.61 c nbDecision=98000 #constraints=4164 88.29/88.36 c nbDecision=98500 #constraints=4284 90.89/90.92 c nbDecision=99000 #constraints=4363 93.09/93.12 c nbDecision=99500 #constraints=4426 98.19/98.23 c nbDecision=100000 #constraints=4571 101.88/101.90 c nbDecision=100500 #constraints=4668 105.59/105.63 c nbDecision=101000 #constraints=4774 109.09/109.10 c nbDecision=101500 #constraints=4868 114.39/114.50 c nbDecision=102000 #constraints=5030 117.49/117.56 c restart after 102401 decisions 119.19/119.29 c nbDecision=102500 #constraints=5099 119.69/119.79 c nbDecision=103000 #constraints=5099 120.19/120.27 c nbDecision=103500 #constraints=5099 120.69/120.72 c nbDecision=104000 #constraints=5099 121.09/121.13 c nbDecision=104500 #constraints=5099 121.49/121.57 c nbDecision=105000 #constraints=5099 121.89/121.97 c nbDecision=105500 #constraints=5099 122.29/122.36 c nbDecision=106000 #constraints=5099 122.69/122.75 c nbDecision=106500 #constraints=5099 123.20/123.26 c nbDecision=107000 #constraints=5099 123.59/123.69 c nbDecision=107500 #constraints=5099 123.99/124.09 c nbDecision=108000 #constraints=5099 124.39/124.49 c nbDecision=108500 #constraints=5099 124.89/124.90 c nbDecision=109000 #constraints=5099 125.30/125.37 c nbDecision=109500 #constraints=5099 125.79/125.84 c nbDecision=110000 #constraints=5099 126.29/126.35 c nbDecision=110500 #constraints=5099 126.69/126.75 c nbDecision=111000 #constraints=5099 127.19/127.23 c nbDecision=111500 #constraints=5099 127.60/127.68 c nbDecision=112000 #constraints=5099 127.99/128.04 c nbDecision=112500 #constraints=5099 128.39/128.45 c nbDecision=113000 #constraints=5099 128.79/128.82 c nbDecision=113500 #constraints=5099 129.19/129.22 c nbDecision=114000 #constraints=5099 129.59/129.66 c nbDecision=114500 #constraints=5099 129.99/130.02 c nbDecision=115000 #constraints=5099 130.29/130.38 c nbDecision=115500 #constraints=5099 130.69/130.78 c nbDecision=116000 #constraints=5099 131.09/131.12 c nbDecision=116500 #constraints=5099 131.49/131.50 c nbDecision=117000 #constraints=5099 131.79/131.88 c nbDecision=117500 #constraints=5099 132.19/132.23 c nbDecision=118000 #constraints=5099 132.49/132.59 c nbDecision=118500 #constraints=5099 132.89/132.96 c nbDecision=119000 #constraints=5099 133.19/133.29 c nbDecision=119500 #constraints=5099 133.59/133.66 c nbDecision=120000 #constraints=5099 133.89/133.99 c nbDecision=120500 #constraints=5099 134.29/134.32 c nbDecision=121000 #constraints=5099 134.59/134.68 c nbDecision=121500 #constraints=5099 134.99/135.01 c nbDecision=122000 #constraints=5099 135.30/135.35 c nbDecision=122500 #constraints=5099 135.59/135.69 c nbDecision=123000 #constraints=5099 135.99/136.07 c nbDecision=123500 #constraints=5099 136.40/136.48 c nbDecision=124000 #constraints=5099 136.79/136.85 c nbDecision=124500 #constraints=5099 137.09/137.19 c nbDecision=125000 #constraints=5099 137.40/137.48 c nbDecision=125500 #constraints=5099 137.69/137.78 c nbDecision=126000 #constraints=5099 137.99/138.08 c nbDecision=126500 #constraints=5099 138.39/138.45 c nbDecision=127000 #constraints=5099 138.79/138.81 c nbDecision=127500 #constraints=5099 139.09/139.12 c nbDecision=128000 #constraints=5099 139.39/139.44 c nbDecision=128500 #constraints=5099 139.70/139.79 c nbDecision=129000 #constraints=5099 140.09/140.18 c nbDecision=129500 #constraints=5099 140.39/140.46 c nbDecision=130000 #constraints=5099 140.70/140.75 c nbDecision=130500 #constraints=5099 141.09/141.16 c nbDecision=131000 #constraints=5099 141.59/141.60 c nbDecision=131500 #constraints=5099 141.99/142.09 c nbDecision=132000 #constraints=5099 142.39/142.50 c nbDecision=132500 #constraints=5099 142.90/142.92 c nbDecision=133000 #constraints=5099 143.29/143.34 c nbDecision=133500 #constraints=5099 143.69/143.73 c nbDecision=134000 #constraints=5099 144.19/144.22 c nbDecision=134500 #constraints=5099 144.59/144.65 c nbDecision=135000 #constraints=5099 144.99/145.03 c nbDecision=135500 #constraints=5099 145.39/145.49 c nbDecision=136000 #constraints=5099 146.99/147.09 c nbDecision=136500 #constraints=5131 150.79/150.80 c nbDecision=137000 #constraints=5216 155.29/155.31 c nbDecision=137500 #constraints=5334 158.59/158.70 c nbDecision=138000 #constraints=5412 163.89/163.93 c nbDecision=138500 #constraints=5534 169.59/169.60 c nbDecision=139000 #constraints=5670 173.70/173.79 c nbDecision=139500 #constraints=5757 178.29/178.33 c nbDecision=140000 #constraints=5853 181.29/181.38 c nbDecision=140500 #constraints=5921 189.10/189.18 c nbDecision=141000 #constraints=6072 193.60/193.63 c nbDecision=141500 #constraints=6137 195.59/195.67 c nbDecision=142000 #constraints=6168 198.10/198.18 c nbDecision=142500 #constraints=6207 200.49/200.55 c nbDecision=143000 #constraints=6273 203.60/203.61 c nbDecision=143500 #constraints=6348 205.70/205.73 c nbDecision=144000 #constraints=6398 209.50/209.53 c nbDecision=144500 #constraints=6481 215.79/215.85 c nbDecision=145000 #constraints=6624 219.99/220.02 c nbDecision=145500 #constraints=6705 224.69/224.70 c nbDecision=146000 #constraints=6813 228.39/228.43 c nbDecision=146500 #constraints=6870 231.59/231.64 c nbDecision=147000 #constraints=6947 235.49/235.52 c nbDecision=147500 #constraints=7026 242.59/242.68 c nbDecision=148000 #constraints=7134 249.09/249.13 c nbDecision=148500 #constraints=7229 261.09/261.10 c nbDecision=149000 #constraints=7414 267.19/267.29 c nbDecision=149500 #constraints=7524 271.89/271.93 c nbDecision=150000 #constraints=7617 278.39/278.49 c nbDecision=150500 #constraints=7726 281.30/281.39 c nbDecision=151000 #constraints=7785 289.20/289.21 c nbDecision=151500 #constraints=7935 292.79/292.89 c nbDecision=152000 #constraints=7997 300.39/300.43 c nbDecision=152500 #constraints=8127 308.09/308.14 c nbDecision=153000 #constraints=8259 314.79/314.83 c nbDecision=153500 #constraints=8356 323.50/323.54 c nbDecision=154000 #constraints=8489 332.99/333.00 c nbDecision=154500 #constraints=8647 341.90/341.97 c nbDecision=155000 #constraints=8781 352.80/352.86 c nbDecision=155500 #constraints=8930 359.39/359.49 c nbDecision=156000 #constraints=9008 363.10/363.12 c nbDecision=156500 #constraints=9062 375.40/375.50 c nbDecision=157000 #constraints=9199 384.60/384.61 c nbDecision=157500 #constraints=9272 397.00/397.04 c nbDecision=158000 #constraints=9346 409.90/409.92 c nbDecision=158500 #constraints=9449 415.60/415.61 c nbDecision=159000 #constraints=9546 419.90/419.99 c nbDecision=159500 #constraints=9603 424.69/424.77 c nbDecision=160000 #constraints=9666 431.90/431.99 c nbDecision=160500 #constraints=9749 439.50/439.57 c nbDecision=161000 #constraints=9854 445.70/445.71 c nbDecision=161500 #constraints=9946 454.00/454.09 c nbDecision=162000 #constraints=10058 460.40/460.48 c nbDecision=162500 #constraints=10138 469.40/469.44 c nbDecision=163000 #constraints=10236 477.90/477.92 c nbDecision=163500 #constraints=10334 486.40/486.49 c nbDecision=164000 #constraints=10439 494.80/494.84 c nbDecision=164500 #constraints=10534 505.51/505.56 c nbDecision=165000 #constraints=10660 515.50/515.55 c nbDecision=165500 #constraints=10766 525.20/525.29 c nbDecision=166000 #constraints=10883 528.50/528.50 Received signal 15 528.60/528.63 528.60/528.63 s UNKNOWN 528.60/528.63 528.60/528.63 c user time= 526.76 s 528.60/528.63 c system time= 1.88871 s 528.60/528.63 c wall clock time=528.638
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node16/watcher-362706-1176847980 -o ROOT/results/node16/solver-362706-1176847980 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362706-1176847980/instance-362706-1176847980.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.78 0.96 0.98 3/77 29285 /proc/meminfo: memFree=1860936/2055920 swapFree=4134660/4192956 [pid=29285] ppid=29283 vsize=1620 CPUtime=0 /proc/29285/stat : 29285 (oree) R 29283 29285 29228 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132715663 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134709525 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29285/statm: 405 175 126 317 0 84 0 [startup+0.083409 s] /proc/loadavg: 0.78 0.96 0.98 3/77 29285 /proc/meminfo: memFree=1860936/2055920 swapFree=4134660/4192956 [pid=29285] ppid=29283 vsize=3440 CPUtime=0.07 /proc/29285/stat : 29285 (oree) R 29283 29285 29228 0 -1 4194304 849 0 0 0 7 0 0 0 18 0 1 0 132715663 3522560 604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134828720 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29285/statm: 860 604 126 317 0 539 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3440 [startup+0.101405 s] /proc/loadavg: 0.78 0.96 0.98 3/77 29285 /proc/meminfo: memFree=1860936/2055920 swapFree=4134660/4192956 [pid=29285] ppid=29283 vsize=3440 CPUtime=0.09 /proc/29285/stat : 29285 (oree) R 29283 29285 29228 0 -1 4194304 871 0 0 0 9 0 0 0 18 0 1 0 132715663 3522560 626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134531419 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29285/statm: 860 626 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301363 s] /proc/loadavg: 0.78 0.96 0.98 3/77 29285 /proc/meminfo: memFree=1860936/2055920 swapFree=4134660/4192956 [pid=29285] ppid=29283 vsize=7232 CPUtime=0.29 /proc/29285/stat : 29285 (oree) R 29283 29285 29228 0 -1 4194304 1829 0 0 0 29 0 0 0 19 0 1 0 132715663 7405568 1584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29285/statm: 1808 1584 131 317 0 1487 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7232 [startup+0.701279 s] /proc/loadavg: 0.78 0.96 0.98 3/77 29285 /proc/meminfo: memFree=1860936/2055920 swapFree=4134660/4192956 [pid=29285] ppid=29283 vsize=16108 CPUtime=0.69 /proc/29285/stat : 29285 (oree) R 29283 29285 29228 0 -1 4194304 4005 0 0 0 68 1 0 0 23 0 1 0 132715663 16494592 3727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712496 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29285/statm: 4027 3727 131 317 0 3706 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16108 [startup+1.50111 s] /proc/loadavg: 0.80 0.96 0.98 2/78 29286 /proc/meminfo: memFree=1838528/2055920 swapFree=4134660/4192956 [pid=29285] ppid=29283 vsize=28408 CPUtime=1.49 /proc/29285/stat : 29285 (oree) R 29283 29285 29228 0 -1 4194304 7306 0 0 0 146 3 0 0 25 0 1 0 132715663 29089792 6801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718521 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29285/statm: 7102 6801 137 317 0 6781 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28408 [startup+3.10178 s] /proc/loadavg: 0.80 0.96 0.98 2/78 29286 /proc/meminfo: memFree=1834048/2055920 swapFree=4134660/4192956 [pid=29285] ppid=29283 vsize=28408 CPUtime=3.09 /proc/29285/stat : 29285 (oree) R 29283 29285 29228 0 -1 4194304 7314 0 0 0 306 3 0 0 25 0 1 0 132715663 29089792 6809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29285/statm: 7102 6809 138 317 0 6781 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28408 [startup+6.30112 s] /proc/loadavg: 0.80 0.96 0.98 2/78 29286 /proc/meminfo: memFree=1833920/2055920 swapFree=4134660/4192956 [pid=29285] ppid=29283 vsize=28408 CPUtime=6.29 /proc/29285/stat : 29285 (oree) R 29283 29285 29228 0 -1 4194304 7314 0 0 0 626 3 0 0 25 0 1 0 132715663 29089792 6809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29285/statm: 7102 6809 138 317 0 6781 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28408 [startup+12.7018 s] /proc/loadavg: 0.83 0.96 0.98 2/78 29286 /proc/meminfo: memFree=1833856/2055920 swapFree=4134660/4192956 [pid=29285] ppid=29283 vsize=28536 CPUtime=12.69 /proc/29285/stat : 29285 (oree) R 29283 29285 29228 0 -1 4194304 7317 0 0 0 1266 3 0 0 25 0 1 0 132715663 29220864 6812 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29285/statm: 7134 6812 138 317 0 6813 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28536 [startup+25.5011 s] /proc/loadavg: 0.85 0.96 0.98 2/78 29286 /proc/meminfo: memFree=1833856/2055920 swapFree=4134660/4192956 [pid=29285] ppid=29283 vsize=28536 CPUtime=25.49 /proc/29285/stat : 29285 (oree) R 29283 29285 29228 0 -1 4194304 7323 0 0 0 2546 3 0 0 25 0 1 0 132715663 29220864 6818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29285/statm: 7134 6818 138 317 0 6813 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 28536 [startup+51.1018 s] /proc/loadavg: 0.91 0.96 0.98 2/78 29286 /proc/meminfo: memFree=1833856/2055920 swapFree=4134660/4192956 [pid=29285] ppid=29283 vsize=28536 CPUtime=51.09 /proc/29285/stat : 29285 (oree) R 29283 29285 29228 0 -1 4194304 7336 0 0 0 5105 4 0 0 25 0 1 0 132715663 29220864 6831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29285/statm: 7134 6831 138 317 0 6813 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 28536 [startup+102.305 s] /proc/loadavg: 0.96 0.97 0.98 2/78 29286 /proc/meminfo: memFree=1615936/2055920 swapFree=4134660/4192956 [pid=29285] ppid=29283 vsize=280848 CPUtime=102.3 /proc/29285/stat : 29285 (oree) R 29283 29285 29228 0 -1 4194304 72324 0 0 0 10198 32 0 0 25 0 1 0 132715663 287588352 61333 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29285/statm: 70212 61333 139 317 0 69891 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 280848 [startup+162.302 s] /proc/loadavg: 0.98 0.97 0.98 2/78 29286 /proc/meminfo: memFree=1459840/2055920 swapFree=4134660/4192956 [pid=29285] ppid=29283 vsize=467064 CPUtime=162.29 /proc/29285/stat : 29285 (oree) R 29283 29285 29228 0 -1 4194304 119712 0 0 0 16180 49 0 0 25 0 1 0 132715663 478273536 100948 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134558838 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29285/statm: 116766 100948 139 317 0 116445 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 467064 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29286 /proc/meminfo: memFree=1201024/2055920 swapFree=4134660/4192956 [pid=29285] ppid=29283 vsize=773904 CPUtime=222.29 /proc/29285/stat : 29285 (oree) R 29283 29285 29228 0 -1 4194304 199672 0 0 0 22152 77 0 0 25 0 1 0 132715663 792477696 164812 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593381 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29285/statm: 193476 164812 139 317 0 193155 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 773904 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29286 /proc/meminfo: memFree=998656/2055920 swapFree=4134660/4192956 [pid=29285] ppid=29283 vsize=1007208 CPUtime=282.3 /proc/29285/stat : 29285 (oree) R 29283 29285 29228 0 -1 4194304 264462 0 0 0 28130 100 0 0 25 0 1 0 132715663 1031380992 215724 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712496 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29285/statm: 251802 215724 139 317 0 251481 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 1007208 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29286 /proc/meminfo: memFree=738240/2055920 swapFree=4134660/4192956 [pid=29285] ppid=29283 vsize=1318216 CPUtime=342.3 /proc/29285/stat : 29285 (oree) R 29283 29285 29228 0 -1 4194304 346825 0 0 0 34099 131 0 0 25 0 1 0 132715663 1349853184 280146 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134549924 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29285/statm: 329554 280146 139 317 0 329233 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 1318216 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29286 /proc/meminfo: memFree=572864/2055920 swapFree=4134660/4192956 [pid=29285] ppid=29283 vsize=1510976 CPUtime=402.29 /proc/29285/stat : 29285 (oree) R 29283 29285 29228 0 -1 4194304 404854 0 0 0 40077 152 0 0 25 0 1 0 132715663 1547239424 321598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29285/statm: 377744 321598 139 317 0 377423 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 1510976 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29286 /proc/meminfo: memFree=428096/2055920 swapFree=4134660/4192956 [pid=29285] ppid=29283 vsize=1674324 CPUtime=462.3 /proc/29285/stat : 29285 (oree) R 29283 29285 29228 0 -1 4194304 450064 0 0 0 46058 172 0 0 25 0 1 0 132715663 1714507776 357780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29285/statm: 418581 357780 139 317 0 418260 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1674324 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29286 /proc/meminfo: memFree=290304/2055920 swapFree=4134660/4192956 [pid=29285] ppid=29283 vsize=1831196 CPUtime=522.3 /proc/29285/stat : 29285 (oree) R 29283 29285 29228 0 -1 4194304 494096 0 0 0 52042 188 0 0 25 0 1 0 132715663 1875144704 392307 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29285/statm: 457799 392307 139 317 0 457478 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1831196 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+528.501 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29286 /proc/meminfo: memFree=277568/2055920 swapFree=4134660/4192956 [pid=29285] ppid=29283 vsize=1843348 CPUtime=528.5 /proc/29285/stat : 29285 (oree) R 29283 29285 29228 0 -1 4194304 497275 0 0 0 52662 188 0 0 25 0 1 0 132715663 1887588352 395001 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29285/statm: 460837 395001 139 317 0 460516 0 Current children cumulated CPU time (s) 528.5 Current children cumulated vsize (KiB) 1843348 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+528.607 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29286 /proc/meminfo: memFree=277568/2055920 swapFree=4134660/4192956 [pid=29285] ppid=29283 vsize=1843672 CPUtime=528.6 /proc/29285/stat : 29285 (oree) R 29283 29285 29228 0 -1 4194304 497416 0 0 0 52672 188 0 0 25 0 1 0 132715663 1887920128 395067 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29285/statm: 460918 395067 139 317 0 460597 0 Current children cumulated CPU time (s) 528.6 Current children cumulated vsize (KiB) 1843672 [startup+528.802 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29286 /proc/meminfo: memFree=277568/2055920 swapFree=4134660/4192956 [pid=29285] ppid=29283 vsize=0 CPUtime=528.81 /proc/29285/stat : 29285 (oree) R 29283 29285 29228 0 -1 4194308 497438 0 0 0 52678 203 0 0 25 0 1 0 132715663 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29285/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 528.81 Current children cumulated vsize (KiB) 0 [startup+528.902 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29286 /proc/meminfo: memFree=277568/2055920 swapFree=4134660/4192956 [pid=29285] ppid=29283 vsize=0 CPUtime=528.91 /proc/29285/stat : 29285 (oree) R 29283 29285 29228 0 -1 4194308 497438 0 0 0 52678 213 0 0 25 0 1 0 132715663 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29285/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 528.91 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 528.914 CPU time (s): 528.923 CPU user time (s): 526.781 CPU system time (s): 2.14167 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1843672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 526.781 system time used= 2.14167 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 497438 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= 11052 runsolver used 0.630904 second user time and 1.3068 second system time The end
Begin job on node16 on Tue Apr 17 22:13:00 UTC 2007 IDJOB= 362706 IDBENCH= 1630 IDSOLVER= 172 FILE ID= node16/362706-1176847980 PBS_JOBID= 4590224 Free space on /tmp= 66397 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-dc1c.opb COMMAND LINE= oree /tmp/evaluation/362706-1176847980/instance-362706-1176847980.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-362706-1176847980 -o ROOT/results/node16/solver-362706-1176847980 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362706-1176847980/instance-362706-1176847980.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 5bb71a9130ac2c3fe622e296e248e968 RANDOM SEED= 626809353 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node16.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1861344 kB Buffers: 36548 kB Cached: 88512 kB SwapCached: 26784 kB Active: 100060 kB Inactive: 62608 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1861344 kB SwapTotal: 4192956 kB SwapFree: 4134660 kB Dirty: 4216 kB Writeback: 0 kB Mapped: 30548 kB Slab: 17456 kB Committed_AS: 6415820 kB PageTables: 1836 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= 66397 MiB End job on node16 on Tue Apr 17 22:21:51 UTC 2007