Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.45 | 1801.15 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-tr12-30.opb |
MD5SUM | 707da2ebfa2e9fe97fe57c41e089cde1 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 304897224 |
Best CPU time to get the best result obtained on this benchmark | 1801.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 304897224 |
Optimality of the best value was proved | NO |
Number of variables | 21960 |
Total number of constraints | 750 |
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 | 750 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 372 |
Number of terms in the objective function | 11160 |
Biggest coefficient in the objective function | 2147483648 |
Number of bits for the biggest coefficient in the objective function | 32 |
Sum of the numbers in the objective function | 869952060630 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 2147483648 |
Number of bits of the biggest number in a constraint | 32 |
Biggest sum of numbers in a constraint | 869952060630 |
Number of bits of the biggest sum of numbers | 40 |
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.19/0.23 c ...done 0.19/0.23 c #vars=21960 #constraints=1111 hasObjective=yes 0.29/0.33 c res. mode=mod 0.29/0.33 c VSIDS like heuristics 0.29/0.33 c complete search running 0.49/0.51 c restart after 401 decisions 0.49/0.56 c nbDecision=500 #constraints=1112 0.59/0.68 c restart after 801 decisions 0.69/0.77 c nbDecision=1000 #constraints=1112 0.89/0.98 c nbDecision=1500 #constraints=1113 0.99/1.02 c restart after 1601 decisions 1.09/1.19 c nbDecision=2000 #constraints=1113 1.29/1.38 c nbDecision=2500 #constraints=1115 1.49/1.57 c nbDecision=3000 #constraints=1116 1.59/1.64 c restart after 3201 decisions 1.69/1.77 c nbDecision=3500 #constraints=1117 1.89/1.95 c nbDecision=4000 #constraints=1118 2.09/2.13 c nbDecision=4500 #constraints=1119 2.29/2.32 c nbDecision=5000 #constraints=1125 2.49/2.50 c nbDecision=5500 #constraints=1127 2.59/2.68 c nbDecision=6000 #constraints=1128 2.79/2.82 c restart after 6401 decisions 2.79/2.87 c nbDecision=6500 #constraints=1129 2.99/3.06 c nbDecision=7000 #constraints=1130 3.19/3.22 c nbDecision=7500 #constraints=1130 3.49/3.58 c nbDecision=8000 #constraints=1155 3.89/3.92 c nbDecision=8500 #constraints=1173 4.09/4.12 c nbDecision=9000 #constraints=1183 4.39/4.47 c nbDecision=9500 #constraints=1207 4.69/4.71 c nbDecision=10000 #constraints=1219 5.09/5.15 c nbDecision=10500 #constraints=1260 5.29/5.35 c nbDecision=11000 #constraints=1263 5.49/5.53 c nbDecision=11500 #constraints=1264 5.69/5.72 c nbDecision=12000 #constraints=1266 5.88/5.90 c nbDecision=12500 #constraints=1267 5.98/6.00 c restart after 12801 decisions 6.08/6.10 c nbDecision=13000 #constraints=1268 6.18/6.28 c nbDecision=13500 #constraints=1268 6.38/6.47 c nbDecision=14000 #constraints=1271 6.59/6.67 c nbDecision=14500 #constraints=1272 6.78/6.87 c nbDecision=15000 #constraints=1273 6.98/7.08 c nbDecision=15500 #constraints=1274 7.18/7.27 c nbDecision=16000 #constraints=1275 7.38/7.45 c nbDecision=16500 #constraints=1277 7.59/7.64 c nbDecision=17000 #constraints=1278 7.78/7.82 c nbDecision=17500 #constraints=1279 7.98/8.00 c nbDecision=18000 #constraints=1280 8.08/8.18 c nbDecision=18500 #constraints=1282 8.28/8.36 c nbDecision=19000 #constraints=1284 8.48/8.59 c nbDecision=19500 #constraints=1293 8.98/9.02 c nbDecision=20000 #constraints=1330 9.18/9.27 c nbDecision=20500 #constraints=1342 9.49/9.58 c nbDecision=21000 #constraints=1357 9.69/9.77 c nbDecision=21500 #constraints=1363 9.99/10.04 c nbDecision=22000 #constraints=1378 10.19/10.25 c nbDecision=22500 #constraints=1385 10.49/10.55 c nbDecision=23000 #constraints=1400 10.69/10.78 c nbDecision=23500 #constraints=1409 10.99/11.02 c nbDecision=24000 #constraints=1419 11.29/11.32 c nbDecision=24500 #constraints=1435 11.59/11.63 c nbDecision=25000 #constraints=1451 11.89/11.92 c nbDecision=25500 #constraints=1466 11.99/12.06 c restart after 25601 decisions 12.19/12.25 c nbDecision=26000 #constraints=1477 12.39/12.44 c nbDecision=26500 #constraints=1478 12.59/12.65 c nbDecision=27000 #constraints=1481 12.79/12.84 c nbDecision=27500 #constraints=1482 12.99/13.03 c nbDecision=28000 #constraints=1484 13.09/13.20 c nbDecision=28500 #constraints=1486 13.39/13.45 c nbDecision=29000 #constraints=1496 13.68/13.76 c nbDecision=29500 #constraints=1510 13.88/13.98 c nbDecision=30000 #constraints=1520 14.19/14.27 c nbDecision=30500 #constraints=1534 14.58/14.62 c nbDecision=31000 #constraints=1557 14.78/14.80 c nbDecision=31500 #constraints=1561 14.98/15.09 c nbDecision=32000 #constraints=1574 15.29/15.36 c nbDecision=32500 #constraints=1585 15.58/15.60 c nbDecision=33000 #constraints=1593 15.78/15.83 c nbDecision=33500 #constraints=1601 15.98/16.04 c nbDecision=34000 #constraints=1609 16.18/16.29 c nbDecision=34500 #constraints=1619 16.48/16.54 c nbDecision=35000 #constraints=1630 16.88/16.92 c nbDecision=35500 #constraints=1665 17.08/17.12 c nbDecision=36000 #constraints=1672 17.28/17.36 c nbDecision=36500 #constraints=1680 17.58/17.64 c nbDecision=37000 #constraints=1692 17.88/17.94 c nbDecision=37500 #constraints=1707 18.08/18.15 c nbDecision=38000 #constraints=1713 18.38/18.45 c nbDecision=38500 #constraints=1730 18.68/18.72 c nbDecision=39000 #constraints=1741 18.88/18.97 c nbDecision=39500 #constraints=1753 19.18/19.22 c nbDecision=40000 #constraints=1761 19.38/19.50 c nbDecision=40500 #constraints=1772 19.68/19.71 c nbDecision=41000 #constraints=1778 19.98/20.03 c nbDecision=41500 #constraints=1794 20.28/20.34 c nbDecision=42000 #constraints=1808 20.69/20.71 c nbDecision=42500 #constraints=1822 21.29/21.39 c nbDecision=43000 #constraints=1895 21.69/21.77 c nbDecision=43500 #constraints=1919 21.99/22.04 c nbDecision=44000 #constraints=1927 22.39/22.46 c nbDecision=44500 #constraints=1944 22.69/22.77 c nbDecision=45000 #constraints=1955 22.89/22.95 c nbDecision=45500 #constraints=1958 23.19/23.21 c nbDecision=46000 #constraints=1966 23.49/23.51 c nbDecision=46500 #constraints=1976 23.69/23.79 c nbDecision=47000 #constraints=1985 24.09/24.18 c nbDecision=47500 #constraints=2004 24.39/24.48 c nbDecision=48000 #constraints=2015 24.78/24.84 c nbDecision=48500 #constraints=2029 25.38/25.48 c nbDecision=49000 #constraints=2062 25.98/26.08 c nbDecision=49500 #constraints=2082 26.48/26.58 c nbDecision=50000 #constraints=2097 27.98/28.01 c nbDecision=50500 #constraints=2187 28.28/28.33 c nbDecision=51000 #constraints=2193 28.28/28.39 c restart after 51201 decisions 28.48/28.57 c nbDecision=51500 #constraints=2193 28.98/29.07 c nbDecision=52000 #constraints=2209 29.28/29.34 c nbDecision=52500 #constraints=2211 29.98/30.05 c nbDecision=53000 #constraints=2241 30.58/30.65 c nbDecision=53500 #constraints=2258 31.28/31.32 c nbDecision=54000 #constraints=2285 31.48/31.58 c nbDecision=54500 #constraints=2295 32.07/32.11 c nbDecision=55000 #constraints=2315 32.47/32.51 c nbDecision=55500 #constraints=2328 32.99/33.03 c nbDecision=56000 #constraints=2344 33.58/33.60 c nbDecision=56500 #constraints=2360 33.88/33.98 c nbDecision=57000 #constraints=2371 34.28/34.30 c nbDecision=57500 #constraints=2380 34.98/35.01 c nbDecision=58000 #constraints=2412 35.67/35.74 c nbDecision=58500 #constraints=2434 35.97/36.07 c nbDecision=59000 #constraints=2442 36.47/36.51 c nbDecision=59500 #constraints=2457 36.77/36.86 c nbDecision=60000 #constraints=2467 37.28/37.34 c nbDecision=60500 #constraints=2480 37.67/37.70 c nbDecision=61000 #constraints=2488 38.07/38.10 c nbDecision=61500 #constraints=2499 38.78/38.81 c nbDecision=62000 #constraints=2523 39.08/39.14 c nbDecision=62500 #constraints=2529 39.48/39.59 c nbDecision=63000 #constraints=2540 40.08/40.11 c nbDecision=63500 #constraints=2553 40.48/40.51 c nbDecision=64000 #constraints=2562 40.98/41.04 c nbDecision=64500 #constraints=2576 41.48/41.54 c nbDecision=65000 #constraints=2589 41.97/42.01 c nbDecision=65500 #constraints=2601 42.38/42.47 c nbDecision=66000 #constraints=2612 43.07/43.15 c nbDecision=66500 #constraints=2630 43.57/43.64 c nbDecision=67000 #constraints=2644 43.98/44.04 c nbDecision=67500 #constraints=2654 44.37/44.43 c nbDecision=68000 #constraints=2663 44.87/44.90 c nbDecision=68500 #constraints=2674 45.37/45.43 c nbDecision=69000 #constraints=2687 45.77/45.84 c nbDecision=69500 #constraints=2697 46.37/46.44 c nbDecision=70000 #constraints=2714 46.87/46.97 c nbDecision=70500 #constraints=2728 47.47/47.52 c nbDecision=71000 #constraints=2745 48.07/48.13 c nbDecision=71500 #constraints=2763 48.47/48.54 c nbDecision=72000 #constraints=2773 48.77/48.88 c nbDecision=72500 #constraints=2780 49.37/49.41 c nbDecision=73000 #constraints=2793 49.77/49.81 c nbDecision=73500 #constraints=2803 50.27/50.32 c nbDecision=74000 #constraints=2816 50.57/50.69 c nbDecision=74500 #constraints=2828 51.18/51.25 c nbDecision=75000 #constraints=2846 51.77/51.88 c nbDecision=75500 #constraints=2863 52.37/52.43 c nbDecision=76000 #constraints=2878 52.78/52.81 c nbDecision=76500 #constraints=2888 53.27/53.39 c nbDecision=77000 #constraints=2905 54.07/54.16 c nbDecision=77500 #constraints=2930 54.77/54.84 c nbDecision=78000 #constraints=2954 55.47/55.55 c nbDecision=78500 #constraints=2974 56.37/56.43 c nbDecision=79000 #constraints=3000 56.97/57.06 c nbDecision=79500 #constraints=3015 57.57/57.64 c nbDecision=80000 #constraints=3030 58.07/58.14 c nbDecision=80500 #constraints=3042 58.96/59.03 c nbDecision=81000 #constraints=3066 59.37/59.48 c nbDecision=81500 #constraints=3076 60.06/60.15 c nbDecision=82000 #constraints=3095 60.56/60.69 c nbDecision=82500 #constraints=3105 61.36/61.41 c nbDecision=83000 #constraints=3127 61.86/61.91 c nbDecision=83500 #constraints=3138 62.56/62.68 c nbDecision=84000 #constraints=3159 63.06/63.12 c nbDecision=84500 #constraints=3170 63.46/63.59 c nbDecision=85000 #constraints=3181 64.06/64.10 c nbDecision=85500 #constraints=3196 64.37/64.45 c nbDecision=86000 #constraints=3202 64.77/64.88 c nbDecision=86500 #constraints=3211 65.57/65.65 c nbDecision=87000 #constraints=3231 66.07/66.19 c nbDecision=87500 #constraints=3241 66.57/66.67 c nbDecision=88000 #constraints=3251 67.17/67.21 c nbDecision=88500 #constraints=3264 67.47/67.58 c nbDecision=89000 #constraints=3272 68.07/68.14 c nbDecision=89500 #constraints=3286 68.57/68.61 c nbDecision=90000 #constraints=3299 69.27/69.38 c nbDecision=90500 #constraints=3321 70.07/70.13 c nbDecision=91000 #constraints=3339 70.67/70.78 c nbDecision=91500 #constraints=3358 71.07/71.17 c nbDecision=92000 #constraints=3366 71.66/71.75 c nbDecision=92500 #constraints=3379 72.16/72.29 c nbDecision=93000 #constraints=3392 72.86/72.99 c nbDecision=93500 #constraints=3412 73.36/73.44 c nbDecision=94000 #constraints=3423 73.76/73.89 c nbDecision=94500 #constraints=3436 74.36/74.46 c nbDecision=95000 #constraints=3451 74.76/74.82 c nbDecision=95500 #constraints=3460 75.26/75.37 c nbDecision=96000 #constraints=3473 75.77/75.83 c nbDecision=96500 #constraints=3485 76.16/76.25 c nbDecision=97000 #constraints=3495 76.76/76.85 c nbDecision=97500 #constraints=3512 77.56/77.64 c nbDecision=98000 #constraints=3537 77.96/78.05 c nbDecision=98500 #constraints=3548 78.66/78.75 c nbDecision=99000 #constraints=3568 79.46/79.56 c nbDecision=99500 #constraints=3585 79.96/80.02 c nbDecision=100000 #constraints=3596 80.26/80.35 c nbDecision=100500 #constraints=3602 80.95/81.07 c nbDecision=101000 #constraints=3620 81.45/81.53 c nbDecision=101500 #constraints=3630 81.85/81.99 c nbDecision=102000 #constraints=3640 82.47/82.57 c restart after 102401 decisions 82.76/82.85 c nbDecision=102500 #constraints=3654 83.16/83.28 c nbDecision=103000 #constraints=3655 83.76/83.90 c nbDecision=103500 #constraints=3657 84.57/84.63 c nbDecision=104000 #constraints=3663 85.26/85.37 c nbDecision=104500 #constraints=3665 85.96/86.08 c nbDecision=105000 #constraints=3688 86.36/86.45 c nbDecision=105500 #constraints=3697 87.16/87.21 c nbDecision=106000 #constraints=3718 87.76/87.87 c nbDecision=106500 #constraints=3738 88.36/88.49 c nbDecision=107000 #constraints=3758 89.06/89.12 c nbDecision=107500 #constraints=3773 89.66/89.76 c nbDecision=108000 #constraints=3791 90.46/90.57 c nbDecision=108500 #constraints=3812 91.05/91.19 c nbDecision=109000 #constraints=3827 91.95/92.06 c nbDecision=109500 #constraints=3850 92.55/92.67 c nbDecision=110000 #constraints=3865 93.36/93.46 c nbDecision=110500 #constraints=3893 93.65/93.79 c nbDecision=111000 #constraints=3901 94.05/94.13 c nbDecision=111500 #constraints=3908 94.65/94.79 c nbDecision=112000 #constraints=3923 95.35/95.47 c nbDecision=112500 #constraints=3939 95.85/95.97 c nbDecision=113000 #constraints=3949 96.35/96.41 c nbDecision=113500 #constraints=3958 96.85/96.90 c nbDecision=114000 #constraints=3970 97.35/97.40 c nbDecision=114500 #constraints=3982 98.15/98.25 c nbDecision=115000 #constraints=4003 99.16/99.25 c nbDecision=115500 #constraints=4025 100.25/100.31 c nbDecision=116000 #constraints=4047 101.45/101.56 c nbDecision=116500 #constraints=4067 102.55/102.69 c nbDecision=117000 #constraints=4085 103.36/103.48 c nbDecision=117500 #constraints=4112 104.25/104.31 c nbDecision=118000 #constraints=4135 104.85/104.91 c nbDecision=118500 #constraints=4151 105.65/105.70 c nbDecision=119000 #constraints=4169 106.15/106.21 c nbDecision=119500 #constraints=4179 106.56/106.69 c nbDecision=120000 #constraints=4188 107.55/107.64 c nbDecision=120500 #constraints=4217 108.05/108.14 c nbDecision=121000 #constraints=4230 108.65/108.70 c nbDecision=121500 #constraints=4239 109.15/109.29 c nbDecision=122000 #constraints=4248 110.25/110.33 c nbDecision=122500 #constraints=4271 111.55/111.66 c nbDecision=123000 #constraints=4304 113.05/113.13 c nbDecision=123500 #constraints=4327 113.65/113.70 c nbDecision=124000 #constraints=4336 114.74/114.84 c nbDecision=124500 #constraints=4359 116.04/116.11 c nbDecision=125000 #constraints=4385 116.84/116.90 c nbDecision=125500 #constraints=4400 117.14/117.29 c nbDecision=126000 #constraints=4405 117.94/118.03 c nbDecision=126500 #constraints=4418 118.54/118.68 c nbDecision=127000 #constraints=4432 119.04/119.12 c nbDecision=127500 #constraints=4440 119.84/119.95 c nbDecision=128000 #constraints=4455 122.55/122.64 c nbDecision=128500 #constraints=4572 123.24/123.36 c nbDecision=129000 #constraints=4584 123.65/123.77 c nbDecision=129500 #constraints=4590 124.15/124.28 c nbDecision=130000 #constraints=4599 124.84/124.96 c nbDecision=130500 #constraints=4612 125.74/125.80 c nbDecision=131000 #constraints=4623 126.74/126.80 c nbDecision=131500 #constraints=4643 127.55/127.67 c nbDecision=132000 #constraints=4659 128.44/128.58 c nbDecision=132500 #constraints=4677 129.24/129.36 c nbDecision=133000 #constraints=4690 130.54/130.61 c nbDecision=133500 #constraints=4710 131.64/131.74 c nbDecision=134000 #constraints=4727 132.63/132.78 c nbDecision=134500 #constraints=4743 133.74/133.85 c nbDecision=135000 #constraints=4759 134.83/134.92 c nbDecision=135500 #constraints=4778 135.63/135.71 c nbDecision=136000 #constraints=4788 136.24/136.38 c nbDecision=136500 #constraints=4803 136.94/137.01 c nbDecision=137000 #constraints=4816 137.64/137.72 c nbDecision=137500 #constraints=4831 138.24/138.33 c nbDecision=138000 #constraints=4842 139.04/139.15 c nbDecision=138500 #constraints=4858 139.64/139.76 c nbDecision=139000 #constraints=4869 140.24/140.37 c nbDecision=139500 #constraints=4879 140.84/140.94 c nbDecision=140000 #constraints=4890 141.64/141.73 c nbDecision=140500 #constraints=4906 142.24/142.39 c nbDecision=141000 #constraints=4918 142.64/142.78 c nbDecision=141500 #constraints=4925 143.34/143.48 c nbDecision=142000 #constraints=4939 143.84/143.98 c nbDecision=142500 #constraints=4948 144.24/144.40 c nbDecision=143000 #constraints=4955 144.84/144.97 c nbDecision=143500 #constraints=4965 145.74/145.85 c nbDecision=144000 #constraints=4981 146.24/146.33 c nbDecision=144500 #constraints=4988 146.93/147.00 c nbDecision=145000 #constraints=4997 147.53/147.64 c nbDecision=145500 #constraints=5006 148.23/148.34 c nbDecision=146000 #constraints=5016 148.93/149.07 c nbDecision=146500 #constraints=5028 149.44/149.58 c nbDecision=147000 #constraints=5036 150.33/150.43 c nbDecision=147500 #constraints=5048 150.93/151.07 c nbDecision=148000 #constraints=5060 151.63/151.78 c nbDecision=148500 #constraints=5073 152.33/152.49 c nbDecision=149000 #constraints=5086 153.03/153.12 c nbDecision=149500 #constraints=5095 153.73/153.87 c nbDecision=150000 #constraints=5111 154.43/154.52 c nbDecision=150500 #constraints=5121 155.13/155.21 c nbDecision=151000 #constraints=5133 155.92/156.01 c nbDecision=151500 #constraints=5147 157.83/157.98 c nbDecision=152000 #constraints=5175 158.93/159.08 c nbDecision=152500 #constraints=5216 161.42/161.53 c nbDecision=153000 #constraints=5262 162.22/162.32 c nbDecision=153500 #constraints=5275 163.22/163.37 c nbDecision=154000 #constraints=5291 164.32/164.44 c nbDecision=154500 #constraints=5306 165.62/165.79 c nbDecision=155000 #constraints=5324 167.12/167.25 c nbDecision=155500 #constraints=5352 168.12/168.28 c nbDecision=156000 #constraints=5382 169.12/169.21 c nbDecision=156500 #constraints=5397 170.22/170.36 c nbDecision=157000 #constraints=5418 171.33/171.41 c nbDecision=157500 #constraints=5436 172.53/172.63 c nbDecision=158000 #constraints=5452 173.63/173.74 c nbDecision=158500 #constraints=5469 174.33/174.49 c nbDecision=159000 #constraints=5480 175.02/175.11 c nbDecision=159500 #constraints=5490 175.83/175.95 c nbDecision=160000 #constraints=5505 177.32/177.46 c nbDecision=160500 #constraints=5527 178.72/178.83 c nbDecision=161000 #constraints=5546 179.42/179.54 c nbDecision=161500 #constraints=5555 180.62/180.76 c nbDecision=162000 #constraints=5569 181.62/181.72 c nbDecision=162500 #constraints=5582 182.52/182.62 c nbDecision=163000 #constraints=5594 182.92/183.08 c nbDecision=163500 #constraints=5603 183.92/184.03 c nbDecision=164000 #constraints=5616 184.82/184.93 c nbDecision=164500 #constraints=5631 185.52/185.62 c nbDecision=165000 #constraints=5642 186.51/186.63 c nbDecision=165500 #constraints=5657 187.81/187.94 c nbDecision=166000 #constraints=5676 189.41/189.58 c nbDecision=166500 #constraints=5696 190.01/190.15 c nbDecision=167000 #constraints=5703 191.01/191.10 c nbDecision=167500 #constraints=5718 191.71/191.80 c nbDecision=168000 #constraints=5729 192.21/192.37 c nbDecision=168500 #constraints=5737 193.12/193.26 c nbDecision=169000 #constraints=5751 194.52/194.63 c nbDecision=169500 #constraints=5773 195.12/195.29 c nbDecision=170000 #constraints=5780 195.82/195.93 c nbDecision=170500 #constraints=5788 196.42/196.54 c nbDecision=171000 #constraints=5795 197.31/197.44 c nbDecision=171500 #constraints=5808 198.01/198.15 c nbDecision=172000 #constraints=5817 198.61/198.74 c nbDecision=172500 #constraints=5828 199.91/200.03 c nbDecision=173000 #constraints=5852 200.71/200.80 c nbDecision=173500 #constraints=5869 202.21/202.34 c nbDecision=174000 #constraints=5896 203.31/203.41 c nbDecision=174500 #constraints=5913 204.01/204.17 c nbDecision=175000 #constraints=5926 205.01/205.13 c nbDecision=175500 #constraints=5941 205.71/205.85 c nbDecision=176000 #constraints=5955 206.31/206.43 c nbDecision=176500 #constraints=5964 206.91/207.05 c nbDecision=177000 #constraints=5974 209.61/209.77 c nbDecision=177500 #constraints=6031 210.51/210.62 c nbDecision=178000 #constraints=6043 210.90/211.03 c nbDecision=178500 #constraints=6051 212.40/212.50 c nbDecision=179000 #constraints=6071 212.70/212.82 c nbDecision=179500 #constraints=6076 215.70/215.85 c nbDecision=180000 #constraints=6152 217.70/217.88 c nbDecision=180500 #constraints=6194 218.41/218.57 c nbDecision=181000 #constraints=6204 219.61/219.70 c nbDecision=181500 #constraints=6224 220.51/220.60 c nbDecision=182000 #constraints=6238 221.81/221.95 c nbDecision=182500 #constraints=6258 223.11/223.23 c nbDecision=183000 #constraints=6280 223.90/224.06 c nbDecision=183500 #constraints=6290 224.70/224.88 c nbDecision=184000 #constraints=6302 226.00/226.16 c nbDecision=184500 #constraints=6320 227.20/227.36 c nbDecision=185000 #constraints=6339 227.90/228.02 c nbDecision=185500 #constraints=6349 228.50/228.63 c nbDecision=186000 #constraints=6357 229.70/229.88 c nbDecision=186500 #constraints=6376 231.00/231.11 c nbDecision=187000 #constraints=6395 231.60/231.75 c nbDecision=187500 #constraints=6404 232.70/232.89 c nbDecision=188000 #constraints=6419 233.40/233.58 c nbDecision=188500 #constraints=6430 234.10/234.28 c nbDecision=189000 #constraints=6439 234.80/234.96 c nbDecision=189500 #constraints=6448 235.50/235.66 c nbDecision=190000 #constraints=6458 236.70/236.83 c nbDecision=190500 #constraints=6477 237.40/237.57 c nbDecision=191000 #constraints=6487 238.29/238.45 c nbDecision=191500 #constraints=6500 239.19/239.31 c nbDecision=192000 #constraints=6512 240.29/240.47 c nbDecision=192500 #constraints=6527 241.29/241.40 c nbDecision=193000 #constraints=6540 242.70/242.83 c nbDecision=193500 #constraints=6568 243.40/243.59 c nbDecision=194000 #constraints=6577 244.10/244.26 c nbDecision=194500 #constraints=6585 244.90/245.09 c nbDecision=195000 #constraints=6597 245.70/245.89 c nbDecision=195500 #constraints=6607 246.60/246.71 c nbDecision=196000 #constraints=6619 247.70/247.88 c nbDecision=196500 #constraints=6634 248.80/248.98 c nbDecision=197000 #constraints=6652 249.60/249.75 c nbDecision=197500 #constraints=6663 250.29/250.41 c nbDecision=198000 #constraints=6673 251.29/251.42 c nbDecision=198500 #constraints=6691 252.19/252.33 c nbDecision=199000 #constraints=6704 253.49/253.61 c nbDecision=199500 #constraints=6723 254.89/255.09 c nbDecision=200000 #constraints=6744 256.10/256.22 c nbDecision=200500 #constraints=6759 257.39/257.59 c nbDecision=201000 #constraints=6784 258.89/259.03 c nbDecision=201500 #constraints=6807 259.69/259.80 c nbDecision=202000 #constraints=6817 260.89/261.00 c nbDecision=202500 #constraints=6838 261.59/261.77 c nbDecision=203000 #constraints=6848 262.99/263.13 c nbDecision=203500 #constraints=6871 263.79/263.93 c nbDecision=204000 #constraints=6884 264.79/264.98 c nbDecision=204500 #constraints=6898 265.49/265.69 c restart after 204801 decisions 266.59/266.73 c nbDecision=205000 #constraints=6910 267.49/267.66 c nbDecision=205500 #constraints=6915 269.98/270.10 c nbDecision=206000 #constraints=6924 282.78/282.92 c nbDecision=206500 #constraints=7255 299.37/299.57 c nbDecision=207000 #constraints=7739 320.66/320.80 c nbDecision=207500 #constraints=8197 346.05/346.28 c nbDecision=208000 #constraints=8654 383.84/384.08 c nbDecision=208500 #constraints=9135 426.22/426.41 c nbDecision=209000 #constraints=9618 477.90/478.17 c nbDecision=209500 #constraints=10097 530.68/530.97 c nbDecision=210000 #constraints=10587 593.96/594.24 c nbDecision=210500 #constraints=11070 657.73/658.07 c nbDecision=211000 #constraints=11488 732.80/733.18 c nbDecision=211500 #constraints=11964 809.07/809.46 c nbDecision=212000 #constraints=12441 897.74/898.11 c nbDecision=212500 #constraints=12923 943.53/943.93 c nbDecision=213000 #constraints=13353 974.81/975.23 c nbDecision=213500 #constraints=13721 1009.20/1009.66 c nbDecision=214000 #constraints=14022 1075.07/1075.51 c nbDecision=214500 #constraints=14468 1142.84/1143.36 c nbDecision=215000 #constraints=14926 1202.22/1202.73 c nbDecision=215500 #constraints=15335 1267.40/1267.91 c nbDecision=216000 #constraints=15761 1330.37/1330.93 c nbDecision=216500 #constraints=16140 1375.46/1376.01 c nbDecision=217000 #constraints=16549 1411.53/1412.19 c nbDecision=217500 #constraints=16966 1439.93/1440.58 c nbDecision=218000 #constraints=17375 1466.92/1467.56 c nbDecision=218500 #constraints=17649 1535.59/1536.28 c nbDecision=219000 #constraints=18069 1564.38/1565.01 c nbDecision=219500 #constraints=18259 1641.35/1642.00 c nbDecision=220000 #constraints=18707 1687.43/1688.19 c nbDecision=220500 #constraints=18964 1731.21/1731.90 c nbDecision=221000 #constraints=19223 1767.20/1767.99 c nbDecision=221500 #constraints=19435 1793.19/1793.93 c nbDecision=222000 #constraints=19579 1800.09/1800.80 Received signal 15 1800.29/1801.07 1800.29/1801.07 s UNKNOWN 1800.29/1801.07 1800.29/1801.07 c user time= 1799.65 s 1800.29/1801.07 c system time= 0.723889 s 1800.29/1801.07 c wall clock time=1801.07
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-357393-1176996636 -o ROOT/results/node13/solver-357393-1176996636 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357393-1176996636/instance-357393-1176996636.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.93 1.01 0.99 3/77 11304 /proc/meminfo: memFree=1632760/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=1468 CPUtime=0 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147581463 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 367 161 127 317 0 46 0 [startup+0.0197991 s] /proc/loadavg: 0.93 1.01 0.99 3/77 11304 /proc/meminfo: memFree=1632760/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=1752 CPUtime=0.01 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 240 0 0 0 1 0 0 0 18 0 1 0 147581463 1794048 222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 438 222 127 317 0 117 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1752 [startup+0.101816 s] /proc/loadavg: 0.93 1.01 0.99 3/77 11304 /proc/meminfo: memFree=1632760/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=3224 CPUtime=0.09 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 630 0 0 0 9 0 0 0 18 0 1 0 147581463 3301376 579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 806 579 131 317 0 485 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3224 [startup+0.301859 s] /proc/loadavg: 0.93 1.01 0.99 3/77 11304 /proc/meminfo: memFree=1632760/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=7968 CPUtime=0.29 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 1833 0 0 0 29 0 0 0 19 0 1 0 147581463 8159232 1782 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 1992 1782 137 317 0 1671 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7968 [startup+0.701944 s] /proc/loadavg: 0.93 1.01 0.99 3/77 11304 /proc/meminfo: memFree=1632760/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=8496 CPUtime=0.69 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 1953 0 0 0 69 0 0 0 23 0 1 0 147581463 8699904 1902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 2124 1902 139 317 0 1803 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8496 [startup+1.50212 s] /proc/loadavg: 0.93 1.01 0.99 2/78 11305 /proc/meminfo: memFree=1625648/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=8496 CPUtime=1.49 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 1953 0 0 0 149 0 0 0 25 0 1 0 147581463 8699904 1902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 2124 1902 139 317 0 1803 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8496 [startup+3.10146 s] /proc/loadavg: 0.93 1.01 0.99 2/78 11305 /proc/meminfo: memFree=1625520/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=8496 CPUtime=3.09 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 1991 0 0 0 309 0 0 0 25 0 1 0 147581463 8699904 1940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606871 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 2124 1940 170 317 0 1803 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8496 [startup+6.30114 s] /proc/loadavg: 0.94 1.01 0.99 2/78 11305 /proc/meminfo: memFree=1624496/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=9408 CPUtime=6.28 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 2214 0 0 0 628 0 0 0 25 0 1 0 147581463 9633792 2163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 2352 2163 170 317 0 2031 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 9408 [startup+12.7015 s] /proc/loadavg: 0.94 1.01 0.99 2/78 11305 /proc/meminfo: memFree=1621360/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=12600 CPUtime=12.69 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 2997 0 0 0 1268 1 0 0 25 0 1 0 147581463 12902400 2946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 3150 2946 170 317 0 2829 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12600 [startup+25.5012 s] /proc/loadavg: 0.96 1.01 0.99 2/78 11305 /proc/meminfo: memFree=1612400/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=21664 CPUtime=25.48 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 5292 0 0 0 2546 2 0 0 25 0 1 0 147581463 22183936 5241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 5416 5241 170 317 0 5095 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21664 [startup+51.1017 s] /proc/loadavg: 0.97 1.00 0.99 2/78 11305 /proc/meminfo: memFree=1596784/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=37408 CPUtime=51.07 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 9206 0 0 0 5102 5 0 0 25 0 1 0 147581463 38305792 9155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 9352 9155 170 317 0 9031 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 37408 [startup+102.306 s] /proc/loadavg: 0.98 1.00 0.99 2/78 11305 /proc/meminfo: memFree=1571120/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=64044 CPUtime=102.26 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 15516 0 0 0 10217 9 0 0 25 0 1 0 147581463 65581056 15465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 16011 15465 170 317 0 15690 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 64044 [startup+162.301 s] /proc/loadavg: 1.06 1.02 1.00 2/78 11305 /proc/meminfo: memFree=1549232/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=85348 CPUtime=162.22 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 21016 0 0 0 16210 12 0 0 25 0 1 0 147581463 87396352 20965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563527 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 21337 20965 170 317 0 21016 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 85348 [startup+222.301 s] /proc/loadavg: 1.02 1.01 1.00 2/78 11305 /proc/meminfo: memFree=1526448/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=111248 CPUtime=222.2 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 26647 0 0 0 22204 16 0 0 25 0 1 0 147581463 113917952 26596 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 27812 26596 170 317 0 27491 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 111248 [startup+282.302 s] /proc/loadavg: 1.01 1.00 1.00 2/78 11305 /proc/meminfo: memFree=1508272/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=130056 CPUtime=282.18 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 31298 0 0 0 28199 19 0 0 25 0 1 0 147581463 133177344 31247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 32514 31247 170 317 0 32193 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 130056 [startup+342.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11305 /proc/meminfo: memFree=1483184/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=154576 CPUtime=342.16 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 37509 0 0 0 34193 23 0 0 25 0 1 0 147581463 158285824 37401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 38644 37401 170 317 0 38323 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 154576 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11305 /proc/meminfo: memFree=1467248/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=170884 CPUtime=402.13 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 41512 0 0 0 40187 26 0 0 25 0 1 0 147581463 174985216 41404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 42721 41404 170 317 0 42400 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 170884 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11305 /proc/meminfo: memFree=1450480/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=192808 CPUtime=462.11 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 45664 0 0 0 46182 29 0 0 25 0 1 0 147581463 197435392 45556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 48202 45556 170 317 0 47881 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 192808 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11307 /proc/meminfo: memFree=1435056/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=212312 CPUtime=522.08 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 49521 0 0 0 52178 30 0 0 25 0 1 0 147581463 217407488 49413 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 53078 49413 170 317 0 52757 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 212312 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11307 /proc/meminfo: memFree=1422768/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=226416 CPUtime=582.06 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 52587 0 0 0 58174 32 0 0 25 0 1 0 147581463 231849984 52479 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 56604 52479 170 317 0 56283 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 226416 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11307 /proc/meminfo: memFree=1414640/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=234060 CPUtime=642.04 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 54581 0 0 0 64170 34 0 0 25 0 1 0 147581463 239677440 54473 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 58515 54473 170 317 0 58194 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 234060 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11307 /proc/meminfo: memFree=1369392/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=280872 CPUtime=941.93 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 65898 0 0 0 94151 42 0 0 25 0 1 0 147581463 287612928 65790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 70218 65790 170 317 0 69897 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 280872 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11307 /proc/meminfo: memFree=1356592/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=293996 CPUtime=1001.9 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 69094 0 0 0 100145 45 0 0 25 0 1 0 147581463 301051904 68986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 73499 68986 170 317 0 73178 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 293996 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11307 /proc/meminfo: memFree=1346800/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=304432 CPUtime=1061.88 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 71535 0 0 0 106141 47 0 0 25 0 1 0 147581463 311738368 71427 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 76108 71427 170 317 0 75787 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 304432 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11307 /proc/meminfo: memFree=1335344/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=317764 CPUtime=1121.85 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 74388 0 0 0 112137 48 0 0 25 0 1 0 147581463 325390336 74280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 79441 74280 170 317 0 79120 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 317764 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11307 /proc/meminfo: memFree=1325616/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=327840 CPUtime=1181.83 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 76846 0 0 0 118133 50 0 0 25 0 1 0 147581463 335708160 76738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 81960 76738 170 317 0 81639 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 327840 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11307 /proc/meminfo: memFree=1314928/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=339424 CPUtime=1241.8 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 79473 0 0 0 124128 52 0 0 25 0 1 0 147581463 347570176 79365 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 84856 79365 170 317 0 84535 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 339424 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11307 /proc/meminfo: memFree=1305456/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=349464 CPUtime=1301.79 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 81828 0 0 0 130125 54 0 0 25 0 1 0 147581463 357851136 81720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 87366 81720 170 317 0 87045 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 349464 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11307 /proc/meminfo: memFree=1293872/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=362100 CPUtime=1361.76 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 84732 0 0 0 136120 56 0 0 25 0 1 0 147581463 370790400 84624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 90525 84624 170 317 0 90204 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 362100 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11307 /proc/meminfo: memFree=1281584/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=374224 CPUtime=1421.74 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 87937 0 0 0 142116 58 0 0 25 0 1 0 147581463 383205376 87715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271379 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 93556 87715 170 317 0 93235 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 374224 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11307 /proc/meminfo: memFree=1268528/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=387104 CPUtime=1481.71 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 91214 0 0 0 148110 61 0 0 25 0 1 0 147581463 396394496 90992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712496 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 96776 90992 170 317 0 96455 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 387104 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11307 /proc/meminfo: memFree=1258608/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=399724 CPUtime=1541.69 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 94093 0 0 0 154106 63 0 0 25 0 1 0 147581463 409317376 93442 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 99931 93442 170 317 0 99610 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 399724 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11307 /proc/meminfo: memFree=1244848/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=431484 CPUtime=1601.66 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 100766 0 0 0 160100 66 0 0 25 0 1 0 147581463 441839616 96848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 107871 96848 170 317 0 107550 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 431484 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11307 /proc/meminfo: memFree=1235440/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=445280 CPUtime=1661.64 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 103860 0 0 0 166096 68 0 0 25 0 1 0 147581463 455966720 99216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564002 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 111320 99216 170 317 0 110999 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 445280 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11307 /proc/meminfo: memFree=1224304/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=462092 CPUtime=1721.62 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 107381 0 0 0 172092 70 0 0 25 0 1 0 147581463 473182208 102011 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 115523 102011 170 317 0 115202 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 462092 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11307 /proc/meminfo: memFree=1214768/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=471428 CPUtime=1781.6 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 109722 0 0 0 178089 71 0 0 25 0 1 0 147581463 482742272 104352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 117857 104352 170 317 0 117536 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 471428 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11307 /proc/meminfo: memFree=1211888/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=474936 CPUtime=1800.09 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 110433 0 0 0 179937 72 0 0 25 0 1 0 147581463 486334464 105063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 118734 105063 170 317 0 118413 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 474936 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11307 /proc/meminfo: memFree=1211888/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=474936 CPUtime=1800.29 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 110445 0 0 0 179957 72 0 0 25 0 1 0 147581463 486334464 105075 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 118734 105075 170 317 0 118413 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 474936 [startup+1801.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11307 /proc/meminfo: memFree=1211888/2055920 swapFree=4159420/4192956 [pid=11304] ppid=11302 vsize=0 CPUtime=1800.39 /proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194308 110461 0 0 0 179965 74 0 0 25 0 1 0 147581463 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11304/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.39 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.15 CPU time (s): 1800.45 CPU user time (s): 1799.65 CPU system time (s): 0.794879 CPU usage (%): 99.9608 Max. virtual memory (cumulated for all children) (KiB): 474936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.65 system time used= 0.794879 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 110461 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= 2398 runsolver used 2.04269 second user time and 4.52331 second system time The end
Begin job on node13 on Thu Apr 19 15:30:36 UTC 2007 IDJOB= 357393 IDBENCH= 2514 IDSOLVER= 172 FILE ID= node13/357393-1176996636 PBS_JOBID= 4630468 Free space on /tmp= 66319 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-tr12-30.opb COMMAND LINE= oree /tmp/evaluation/357393-1176996636/instance-357393-1176996636.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-357393-1176996636 -o ROOT/results/node13/solver-357393-1176996636 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357393-1176996636/instance-357393-1176996636.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 707da2ebfa2e9fe97fe57c41e089cde1 RANDOM SEED= 346449014 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.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.259 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.259 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: 1633168 kB Buffers: 37088 kB Cached: 320840 kB SwapCached: 12740 kB Active: 77136 kB Inactive: 304020 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1633168 kB SwapTotal: 4192956 kB SwapFree: 4159420 kB Dirty: 2188 kB Writeback: 0 kB Mapped: 30156 kB Slab: 27048 kB Committed_AS: 6648344 kB PageTables: 1872 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= 66319 MiB End job on node13 on Thu Apr 19 16:00:39 UTC 2007