Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.2 | 1800.83 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-fiber.opb |
MD5SUM | 32662df0ae948242aace0258625ea4cc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 6456 |
Best CPU time to get the best result obtained on this benchmark | 1800.32 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6277 |
Optimality of the best value was proved | NO |
Number of variables | 2574 |
Total number of constraints | 363 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 36 |
Number of constraints which are nor clauses,nor cardinality constraints | 327 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 61 |
Number of terms in the objective function | 1254 |
Biggest coefficient in the objective function | 7958 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 524887 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261914 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524887 |
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.00/0.02 c ...done 0.00/0.02 c #vars=2574 #constraints=727 hasObjective=yes 0.03/0.03 c res. mode=mod 0.03/0.03 c VSIDS like heuristics 0.03/0.03 c complete search running 0.03/0.05 c restart after 401 decisions 0.03/0.05 c nbDecision=500 #constraints=730 0.03/0.07 c restart after 801 decisions 0.03/0.07 c nbDecision=1000 #constraints=748 0.09/0.14 c nbDecision=1500 #constraints=870 0.09/0.15 c restart after 1601 decisions 0.09/0.18 c nbDecision=2000 #constraints=925 0.19/0.24 c nbDecision=2500 #constraints=1064 0.29/0.31 c nbDecision=3000 #constraints=1152 0.29/0.33 c restart after 3201 decisions 0.29/0.34 c nbDecision=3500 #constraints=1183 0.39/0.41 c nbDecision=4000 #constraints=1299 0.39/0.46 c nbDecision=4500 #constraints=1379 0.49/0.50 c nbDecision=5000 #constraints=1453 0.49/0.55 c nbDecision=5500 #constraints=1528 0.59/0.64 c nbDecision=6000 #constraints=1651 0.69/0.71 c restart after 6401 decisions 0.69/0.72 c nbDecision=6500 #constraints=1733 0.69/0.79 c nbDecision=7000 #constraints=1826 0.79/0.85 c nbDecision=7500 #constraints=1922 0.89/0.91 c nbDecision=8000 #constraints=1982 0.89/0.95 c nbDecision=8500 #constraints=2033 0.99/1.04 c nbDecision=9000 #constraints=2128 0.99/1.10 c nbDecision=9500 #constraints=2199 1.09/1.15 c nbDecision=10000 #constraints=2272 1.09/1.19 c nbDecision=10500 #constraints=2332 1.19/1.23 c nbDecision=11000 #constraints=2384 1.19/1.27 c nbDecision=11500 #constraints=2433 1.29/1.33 c nbDecision=12000 #constraints=2488 1.29/1.36 c nbDecision=12500 #constraints=2536 1.29/1.38 c restart after 12801 decisions 1.39/1.40 c nbDecision=13000 #constraints=2547 1.39/1.49 c nbDecision=13500 #constraints=2612 1.49/1.56 c nbDecision=14000 #constraints=2698 1.59/1.61 c nbDecision=14500 #constraints=2740 1.59/1.65 c nbDecision=15000 #constraints=2784 1.69/1.70 c nbDecision=15500 #constraints=2828 1.69/1.78 c nbDecision=16000 #constraints=2892 1.79/1.82 c nbDecision=16500 #constraints=2931 1.79/1.87 c nbDecision=17000 #constraints=2984 1.89/1.92 c nbDecision=17500 #constraints=3022 1.89/1.97 c nbDecision=18000 #constraints=3067 1.99/2.03 c nbDecision=18500 #constraints=3139 1.99/2.08 c nbDecision=19000 #constraints=3182 2.09/2.13 c nbDecision=19500 #constraints=3220 2.19/2.23 c nbDecision=20000 #constraints=3282 2.19/2.29 c nbDecision=20500 #constraints=3332 2.29/2.33 c nbDecision=21000 #constraints=3355 2.29/2.39 c nbDecision=21500 #constraints=3391 2.39/2.47 c nbDecision=22000 #constraints=3418 2.59/2.68 c nbDecision=22500 #constraints=3492 2.79/2.82 c nbDecision=23000 #constraints=3553 2.89/2.96 c nbDecision=23500 #constraints=3609 2.99/3.07 c nbDecision=24000 #constraints=3673 3.19/3.24 c nbDecision=24500 #constraints=3750 3.29/3.31 c nbDecision=25000 #constraints=3790 3.29/3.37 c nbDecision=25500 #constraints=3829 3.29/3.39 c restart after 25601 decisions 3.49/3.55 c nbDecision=26000 #constraints=3901 3.69/3.74 c nbDecision=26500 #constraints=3986 3.79/3.85 c nbDecision=27000 #constraints=4028 3.99/4.04 c nbDecision=27500 #constraints=4099 4.09/4.19 c nbDecision=28000 #constraints=4139 4.29/4.36 c nbDecision=28500 #constraints=4201 4.48/4.52 c nbDecision=29000 #constraints=4269 4.59/4.62 c nbDecision=29500 #constraints=4317 4.89/4.90 c nbDecision=30000 #constraints=4449 5.09/5.18 c nbDecision=30500 #constraints=4570 5.29/5.35 c nbDecision=31000 #constraints=4637 5.49/5.54 c nbDecision=31500 #constraints=4715 5.69/5.77 c nbDecision=32000 #constraints=4787 5.89/5.93 c nbDecision=32500 #constraints=4859 5.99/6.02 c nbDecision=33000 #constraints=4888 6.39/6.41 c nbDecision=33500 #constraints=5001 6.59/6.70 c nbDecision=34000 #constraints=5103 6.89/6.92 c nbDecision=34500 #constraints=5186 7.09/7.15 c nbDecision=35000 #constraints=5272 7.48/7.54 c nbDecision=35500 #constraints=5385 7.59/7.68 c nbDecision=36000 #constraints=5417 7.88/7.91 c nbDecision=36500 #constraints=5488 8.08/8.12 c nbDecision=37000 #constraints=5566 8.18/8.22 c nbDecision=37500 #constraints=5592 8.48/8.52 c nbDecision=38000 #constraints=5667 8.69/8.77 c nbDecision=38500 #constraints=5738 8.98/9.05 c nbDecision=39000 #constraints=5828 9.18/9.27 c nbDecision=39500 #constraints=5875 9.38/9.42 c nbDecision=40000 #constraints=5922 9.48/9.52 c nbDecision=40500 #constraints=5954 9.68/9.74 c nbDecision=41000 #constraints=6011 9.79/9.90 c nbDecision=41500 #constraints=6080 10.18/10.24 c nbDecision=42000 #constraints=6159 10.48/10.51 c nbDecision=42500 #constraints=6208 10.78/10.87 c nbDecision=43000 #constraints=6312 10.99/11.04 c nbDecision=43500 #constraints=6372 11.39/11.43 c nbDecision=44000 #constraints=6461 11.89/11.95 c nbDecision=44500 #constraints=6562 12.09/12.11 c nbDecision=45000 #constraints=6606 12.19/12.21 c nbDecision=45500 #constraints=6632 12.39/12.43 c nbDecision=46000 #constraints=6671 12.69/12.76 c nbDecision=46500 #constraints=6759 12.99/13.01 c nbDecision=47000 #constraints=6815 13.29/13.32 c nbDecision=47500 #constraints=6922 13.69/13.79 c nbDecision=48000 #constraints=6994 14.09/14.11 c nbDecision=48500 #constraints=7063 14.39/14.48 c nbDecision=49000 #constraints=7125 14.78/14.85 c nbDecision=49500 #constraints=7200 15.18/15.25 c nbDecision=50000 #constraints=7269 15.78/15.83 c nbDecision=50500 #constraints=7405 16.08/16.15 c nbDecision=51000 #constraints=7469 16.18/16.25 c restart after 51201 decisions 16.39/16.40 c nbDecision=51500 #constraints=7490 16.68/16.70 c nbDecision=52000 #constraints=7539 16.88/16.91 c nbDecision=52500 #constraints=7568 17.28/17.33 c nbDecision=53000 #constraints=7650 17.88/17.91 c nbDecision=53500 #constraints=7771 18.08/18.19 c nbDecision=54000 #constraints=7856 18.48/18.53 c nbDecision=54500 #constraints=7910 18.88/18.91 c nbDecision=55000 #constraints=7988 19.18/19.28 c nbDecision=55500 #constraints=8045 19.58/19.67 c nbDecision=56000 #constraints=8127 19.88/19.91 c nbDecision=56500 #constraints=8177 20.28/20.39 c nbDecision=57000 #constraints=8266 20.78/20.83 c nbDecision=57500 #constraints=8344 21.49/21.52 c nbDecision=58000 #constraints=8441 21.89/21.95 c nbDecision=58500 #constraints=8515 22.09/22.16 c nbDecision=59000 #constraints=8549 22.59/22.61 c nbDecision=59500 #constraints=8629 23.19/23.21 c nbDecision=60000 #constraints=8741 23.39/23.43 c nbDecision=60500 #constraints=8779 23.79/23.87 c nbDecision=61000 #constraints=8843 24.19/24.29 c nbDecision=61500 #constraints=8905 24.59/24.63 c nbDecision=62000 #constraints=8972 25.19/25.28 c nbDecision=62500 #constraints=9064 25.98/26.01 c nbDecision=63000 #constraints=9147 26.39/26.41 c nbDecision=63500 #constraints=9220 26.68/26.79 c nbDecision=64000 #constraints=9294 27.08/27.10 c nbDecision=64500 #constraints=9346 27.28/27.39 c nbDecision=65000 #constraints=9393 28.18/28.23 c nbDecision=65500 #constraints=9472 28.59/28.63 c nbDecision=66000 #constraints=9521 29.18/29.24 c nbDecision=66500 #constraints=9602 29.48/29.59 c nbDecision=67000 #constraints=9638 30.18/30.28 c nbDecision=67500 #constraints=9716 30.69/30.76 c nbDecision=68000 #constraints=9776 30.98/31.03 c nbDecision=68500 #constraints=9832 31.28/31.31 c nbDecision=69000 #constraints=9878 31.68/31.70 c nbDecision=69500 #constraints=9929 32.18/32.27 c nbDecision=70000 #constraints=10001 33.08/33.11 c nbDecision=70500 #constraints=10109 33.68/33.77 c nbDecision=71000 #constraints=10193 34.08/34.18 c nbDecision=71500 #constraints=10263 34.48/34.50 c nbDecision=72000 #constraints=10301 34.78/34.83 c nbDecision=72500 #constraints=10342 35.08/35.14 c nbDecision=73000 #constraints=10388 35.38/35.42 c nbDecision=73500 #constraints=10439 35.58/35.67 c nbDecision=74000 #constraints=10468 35.98/36.01 c nbDecision=74500 #constraints=10517 36.48/36.56 c nbDecision=75000 #constraints=10590 36.98/37.06 c nbDecision=75500 #constraints=10639 37.97/38.08 c nbDecision=76000 #constraints=10736 38.97/39.02 c nbDecision=76500 #constraints=10854 39.67/39.74 c nbDecision=77000 #constraints=10945 40.07/40.11 c nbDecision=77500 #constraints=10981 40.88/40.91 c nbDecision=78000 #constraints=11069 41.88/41.92 c nbDecision=78500 #constraints=11189 42.38/42.40 c nbDecision=79000 #constraints=11252 42.78/42.88 c nbDecision=79500 #constraints=11321 43.78/43.85 c nbDecision=80000 #constraints=11424 44.48/44.59 c nbDecision=80500 #constraints=11515 45.28/45.32 c nbDecision=81000 #constraints=11587 46.18/46.26 c nbDecision=81500 #constraints=11665 46.47/46.57 c nbDecision=82000 #constraints=11699 47.18/47.24 c nbDecision=82500 #constraints=11764 48.07/48.13 c nbDecision=83000 #constraints=11844 48.57/48.68 c nbDecision=83500 #constraints=11892 49.07/49.19 c nbDecision=84000 #constraints=11941 49.97/50.01 c nbDecision=84500 #constraints=12029 50.87/50.97 c nbDecision=85000 #constraints=12146 51.67/51.72 c nbDecision=85500 #constraints=12204 52.07/52.16 c nbDecision=86000 #constraints=12273 52.37/52.41 c nbDecision=86500 #constraints=12297 52.87/52.96 c nbDecision=87000 #constraints=12342 53.77/53.81 c nbDecision=87500 #constraints=12396 54.37/54.48 c nbDecision=88000 #constraints=12463 55.27/55.32 c nbDecision=88500 #constraints=12533 55.57/55.62 c nbDecision=89000 #constraints=12569 55.97/56.03 c nbDecision=89500 #constraints=12618 56.67/56.79 c nbDecision=90000 #constraints=12693 57.97/58.09 c nbDecision=90500 #constraints=12820 58.87/58.94 c nbDecision=91000 #constraints=12909 59.38/59.46 c nbDecision=91500 #constraints=12947 60.17/60.23 c nbDecision=92000 #constraints=13006 61.07/61.16 c nbDecision=92500 #constraints=13079 61.67/61.72 c nbDecision=93000 #constraints=13112 62.27/62.35 c nbDecision=93500 #constraints=13169 62.67/62.76 c nbDecision=94000 #constraints=13208 63.07/63.16 c nbDecision=94500 #constraints=13233 63.37/63.47 c nbDecision=95000 #constraints=13257 63.77/63.82 c nbDecision=95500 #constraints=13304 64.07/64.14 c nbDecision=96000 #constraints=13325 64.27/64.34 c nbDecision=96500 #constraints=13340 64.47/64.59 c nbDecision=97000 #constraints=13354 64.77/64.88 c nbDecision=97500 #constraints=13369 65.47/65.57 c nbDecision=98000 #constraints=13428 66.37/66.45 c nbDecision=98500 #constraints=13486 66.97/67.10 c nbDecision=99000 #constraints=13556 68.76/68.89 c nbDecision=99500 #constraints=13753 69.66/69.73 c nbDecision=100000 #constraints=13830 70.27/70.34 c nbDecision=100500 #constraints=13885 70.76/70.86 c nbDecision=101000 #constraints=13932 71.66/71.76 c nbDecision=101500 #constraints=14018 72.26/72.36 c nbDecision=102000 #constraints=14084 73.16/73.26 c restart after 102401 decisions 73.46/73.52 c nbDecision=102500 #constraints=14176 74.16/74.29 c nbDecision=103000 #constraints=14235 75.07/75.19 c nbDecision=103500 #constraints=14310 75.97/76.09 c nbDecision=104000 #constraints=14391 76.57/76.66 c nbDecision=104500 #constraints=14433 77.56/77.61 c nbDecision=105000 #constraints=14490 78.26/78.31 c nbDecision=105500 #constraints=14554 79.07/79.13 c nbDecision=106000 #constraints=14628 80.06/80.17 c nbDecision=106500 #constraints=14741 80.66/80.75 c nbDecision=107000 #constraints=14793 81.06/81.18 c nbDecision=107500 #constraints=14856 81.56/81.64 c nbDecision=108000 #constraints=14927 82.16/82.27 c nbDecision=108500 #constraints=14991 83.06/83.10 c nbDecision=109000 #constraints=15071 83.76/83.80 c nbDecision=109500 #constraints=15135 84.36/84.44 c nbDecision=110000 #constraints=15180 84.96/85.07 c nbDecision=110500 #constraints=15238 85.46/85.60 c nbDecision=111000 #constraints=15273 86.46/86.57 c nbDecision=111500 #constraints=15338 87.26/87.31 c nbDecision=112000 #constraints=15410 87.56/87.63 c nbDecision=112500 #constraints=15430 88.26/88.35 c nbDecision=113000 #constraints=15489 89.16/89.22 c nbDecision=113500 #constraints=15567 90.16/90.25 c nbDecision=114000 #constraints=15641 90.86/90.92 c nbDecision=114500 #constraints=15689 91.56/91.62 c nbDecision=115000 #constraints=15747 92.06/92.19 c nbDecision=115500 #constraints=15786 93.15/93.27 c nbDecision=116000 #constraints=15846 94.56/94.63 c nbDecision=116500 #constraints=15961 97.26/97.34 c nbDecision=117000 #constraints=16221 100.56/100.60 c nbDecision=117500 #constraints=16513 104.36/104.45 c nbDecision=118000 #constraints=16840 106.25/106.33 c nbDecision=118500 #constraints=16999 106.95/107.05 c nbDecision=119000 #constraints=17042 107.75/107.84 c nbDecision=119500 #constraints=17105 108.75/108.83 c nbDecision=120000 #constraints=17166 109.75/109.82 c nbDecision=120500 #constraints=17231 110.56/110.69 c nbDecision=121000 #constraints=17287 111.46/111.51 c nbDecision=121500 #constraints=17354 112.25/112.36 c nbDecision=122000 #constraints=17409 112.85/112.92 c nbDecision=122500 #constraints=17440 113.45/113.58 c nbDecision=123000 #constraints=17485 114.15/114.22 c nbDecision=123500 #constraints=17529 115.05/115.13 c nbDecision=124000 #constraints=17588 115.75/115.80 c nbDecision=124500 #constraints=17642 117.25/117.32 c nbDecision=125000 #constraints=17727 118.45/118.50 c nbDecision=125500 #constraints=17789 119.75/119.85 c nbDecision=126000 #constraints=17857 121.05/121.13 c nbDecision=126500 #constraints=17944 121.95/122.09 c nbDecision=127000 #constraints=17999 122.95/123.07 c nbDecision=127500 #constraints=18047 124.15/124.22 c nbDecision=128000 #constraints=18114 124.74/124.88 c nbDecision=128500 #constraints=18152 126.35/126.43 c nbDecision=129000 #constraints=18248 127.94/128.05 c nbDecision=129500 #constraints=18330 128.84/128.98 c nbDecision=130000 #constraints=18415 131.05/131.13 c nbDecision=130500 #constraints=18554 131.65/131.78 c nbDecision=131000 #constraints=18607 132.85/132.92 c nbDecision=131500 #constraints=18663 133.95/134.06 c nbDecision=132000 #constraints=18713 134.95/135.08 c nbDecision=132500 #constraints=18788 136.14/136.27 c nbDecision=133000 #constraints=18845 136.94/137.04 c nbDecision=133500 #constraints=18886 140.94/141.08 c nbDecision=134000 #constraints=19134 145.74/145.86 c nbDecision=134500 #constraints=19430 150.94/151.06 c nbDecision=135000 #constraints=19742 156.04/156.16 c nbDecision=135500 #constraints=20032 161.54/161.68 c nbDecision=136000 #constraints=20334 165.03/165.20 c nbDecision=136500 #constraints=20537 166.63/166.72 c nbDecision=137000 #constraints=20615 169.03/169.13 c nbDecision=137500 #constraints=20731 169.73/169.85 c nbDecision=138000 #constraints=20750 170.53/170.66 c nbDecision=138500 #constraints=20789 171.53/171.62 c nbDecision=139000 #constraints=20839 172.33/172.47 c nbDecision=139500 #constraints=20882 173.33/173.49 c nbDecision=140000 #constraints=20943 173.93/174.08 c nbDecision=140500 #constraints=20978 175.73/175.86 c nbDecision=141000 #constraints=21044 178.22/178.30 c nbDecision=141500 #constraints=21159 179.02/179.15 c nbDecision=142000 #constraints=21187 180.02/180.14 c nbDecision=142500 #constraints=21255 181.22/181.34 c nbDecision=143000 #constraints=21311 181.82/181.91 c nbDecision=143500 #constraints=21351 182.82/182.95 c nbDecision=144000 #constraints=21404 184.42/184.59 c nbDecision=144500 #constraints=21495 185.33/185.44 c nbDecision=145000 #constraints=21523 186.43/186.59 c nbDecision=145500 #constraints=21580 188.33/188.47 c nbDecision=146000 #constraints=21678 189.83/189.99 c nbDecision=146500 #constraints=21746 191.73/191.88 c nbDecision=147000 #constraints=21836 193.03/193.16 c nbDecision=147500 #constraints=21891 195.12/195.27 c nbDecision=148000 #constraints=22002 197.02/197.17 c nbDecision=148500 #constraints=22102 197.62/197.72 c nbDecision=149000 #constraints=22144 199.22/199.35 c nbDecision=149500 #constraints=22215 200.13/200.30 c nbDecision=150000 #constraints=22249 200.82/200.96 c nbDecision=150500 #constraints=22279 202.12/202.25 c nbDecision=151000 #constraints=22334 203.82/203.98 c nbDecision=151500 #constraints=22431 205.82/205.94 c nbDecision=152000 #constraints=22537 208.12/208.29 c nbDecision=152500 #constraints=22647 209.52/209.67 c nbDecision=153000 #constraints=22721 210.22/210.39 c nbDecision=153500 #constraints=22765 212.01/212.18 c nbDecision=154000 #constraints=22841 213.71/213.86 c nbDecision=154500 #constraints=22914 215.31/215.46 c nbDecision=155000 #constraints=22996 216.91/217.03 c nbDecision=155500 #constraints=23089 217.51/217.66 c nbDecision=156000 #constraints=23163 217.91/218.08 c nbDecision=156500 #constraints=23202 218.52/218.64 c nbDecision=157000 #constraints=23258 220.22/220.39 c nbDecision=157500 #constraints=23337 222.41/222.56 c nbDecision=158000 #constraints=23411 222.82/222.95 c nbDecision=158500 #constraints=23427 223.22/223.33 c nbDecision=159000 #constraints=23439 224.11/224.21 c nbDecision=159500 #constraints=23488 225.01/225.12 c nbDecision=160000 #constraints=23531 226.81/226.93 c nbDecision=160500 #constraints=23620 227.62/227.77 c nbDecision=161000 #constraints=23653 228.72/228.81 c nbDecision=161500 #constraints=23689 229.51/229.68 c nbDecision=162000 #constraints=23722 231.01/231.14 c nbDecision=162500 #constraints=23776 231.81/231.99 c nbDecision=163000 #constraints=23813 233.31/233.44 c nbDecision=163500 #constraints=23882 233.61/233.80 c nbDecision=164000 #constraints=23902 234.71/234.83 c nbDecision=164500 #constraints=23964 236.50/236.61 c nbDecision=165000 #constraints=24037 237.70/237.85 c nbDecision=165500 #constraints=24100 239.20/239.31 c nbDecision=166000 #constraints=24155 240.81/240.98 c nbDecision=166500 #constraints=24225 241.50/241.64 c nbDecision=167000 #constraints=24260 242.21/242.34 c nbDecision=167500 #constraints=24289 243.71/243.82 c nbDecision=168000 #constraints=24356 245.41/245.56 c nbDecision=168500 #constraints=24418 246.61/246.77 c nbDecision=169000 #constraints=24464 248.61/248.75 c nbDecision=169500 #constraints=24562 249.51/249.66 c nbDecision=170000 #constraints=24594 251.60/251.70 c nbDecision=170500 #constraints=24657 252.91/253.06 c nbDecision=171000 #constraints=24712 255.01/255.19 c nbDecision=171500 #constraints=24809 257.80/257.92 c nbDecision=172000 #constraints=24906 259.10/259.29 c nbDecision=172500 #constraints=24957 260.80/260.93 c nbDecision=173000 #constraints=25022 261.50/261.67 c nbDecision=173500 #constraints=25055 263.20/263.34 c nbDecision=174000 #constraints=25146 265.10/265.22 c nbDecision=174500 #constraints=25233 266.90/267.08 c nbDecision=175000 #constraints=25300 268.89/269.01 c nbDecision=175500 #constraints=25379 270.40/270.58 c nbDecision=176000 #constraints=25434 271.99/272.12 c nbDecision=176500 #constraints=25484 272.49/272.63 c nbDecision=177000 #constraints=25521 273.59/273.76 c nbDecision=177500 #constraints=25564 274.69/274.82 c nbDecision=178000 #constraints=25593 279.99/280.12 c nbDecision=178500 #constraints=25800 287.69/287.80 c nbDecision=179000 #constraints=26117 296.28/296.50 c nbDecision=179500 #constraints=26444 305.89/306.03 c nbDecision=180000 #constraints=26788 316.18/316.37 c nbDecision=180500 #constraints=27136 326.67/326.86 c nbDecision=181000 #constraints=27476 336.97/337.14 c nbDecision=181500 #constraints=27815 347.17/347.31 c nbDecision=182000 #constraints=28141 352.47/352.68 c nbDecision=182500 #constraints=28320 354.27/354.47 c nbDecision=183000 #constraints=28374 355.57/355.77 c nbDecision=183500 #constraints=28416 358.07/358.25 c nbDecision=184000 #constraints=28481 362.16/362.39 c nbDecision=184500 #constraints=28578 376.75/376.95 c nbDecision=185000 #constraints=28896 387.66/387.87 c nbDecision=185500 #constraints=29202 398.45/398.70 c nbDecision=186000 #constraints=29517 409.84/410.03 c nbDecision=186500 #constraints=29810 412.84/413.03 c nbDecision=187000 #constraints=29890 415.74/415.99 c nbDecision=187500 #constraints=29929 418.55/418.76 c nbDecision=188000 #constraints=30002 421.44/421.65 c nbDecision=188500 #constraints=30094 423.64/423.88 c nbDecision=189000 #constraints=30164 425.55/425.73 c nbDecision=189500 #constraints=30204 427.65/427.84 c nbDecision=190000 #constraints=30267 429.74/429.94 c nbDecision=190500 #constraints=30333 431.74/431.93 c nbDecision=191000 #constraints=30403 433.34/433.50 c nbDecision=191500 #constraints=30475 436.54/436.73 c nbDecision=192000 #constraints=30555 438.93/439.11 c nbDecision=192500 #constraints=30620 442.23/442.42 c nbDecision=193000 #constraints=30704 443.84/444.05 c nbDecision=193500 #constraints=30772 453.04/453.26 c nbDecision=194000 #constraints=30972 465.82/466.00 c nbDecision=194500 #constraints=31262 470.93/471.16 c nbDecision=195000 #constraints=31391 472.83/473.02 c nbDecision=195500 #constraints=31448 474.33/474.59 c nbDecision=196000 #constraints=31498 483.72/483.92 c nbDecision=196500 #constraints=31680 497.12/497.38 c nbDecision=197000 #constraints=31962 506.12/506.33 c nbDecision=197500 #constraints=32180 509.81/510.05 c nbDecision=198000 #constraints=32273 512.81/513.08 c nbDecision=198500 #constraints=32345 517.81/518.03 c nbDecision=199000 #constraints=32449 519.31/519.57 c nbDecision=199500 #constraints=32502 521.01/521.21 c nbDecision=200000 #constraints=32552 524.21/524.46 c nbDecision=200500 #constraints=32652 527.51/527.72 c nbDecision=201000 #constraints=32762 530.10/530.35 c nbDecision=201500 #constraints=32838 533.40/533.62 c nbDecision=202000 #constraints=32939 536.00/536.24 c nbDecision=202500 #constraints=32999 539.30/539.57 c nbDecision=203000 #constraints=33069 541.80/542.09 c nbDecision=203500 #constraints=33149 543.90/544.11 c nbDecision=204000 #constraints=33224 547.39/547.63 c nbDecision=204500 #constraints=33308 548.70/548.99 c restart after 204801 decisions 550.29/550.56 c nbDecision=205000 #constraints=33345 553.39/553.66 c nbDecision=205500 #constraints=33428 555.59/555.89 c nbDecision=206000 #constraints=33496 558.60/558.84 c nbDecision=206500 #constraints=33624 560.70/560.94 c nbDecision=207000 #constraints=33682 562.30/562.56 c nbDecision=207500 #constraints=33760 563.00/563.27 c nbDecision=208000 #constraints=33801 565.60/565.88 c nbDecision=208500 #constraints=33907 566.39/566.68 c nbDecision=209000 #constraints=33957 568.10/568.38 c nbDecision=209500 #constraints=34012 570.09/570.34 c nbDecision=210000 #constraints=34102 571.89/572.15 c nbDecision=210500 #constraints=34141 574.49/574.79 c nbDecision=211000 #constraints=34210 576.89/577.16 c nbDecision=211500 #constraints=34255 580.39/580.64 c nbDecision=212000 #constraints=34324 581.59/581.88 c nbDecision=212500 #constraints=34371 582.99/583.23 c nbDecision=213000 #constraints=34409 584.39/584.60 c nbDecision=213500 #constraints=34474 585.59/585.81 c nbDecision=214000 #constraints=34515 587.09/587.32 c nbDecision=214500 #constraints=34567 588.29/588.55 c nbDecision=215000 #constraints=34616 589.89/590.12 c nbDecision=215500 #constraints=34667 590.59/590.85 c nbDecision=216000 #constraints=34686 591.88/592.15 c nbDecision=216500 #constraints=34715 593.08/593.31 c nbDecision=217000 #constraints=34748 595.99/596.26 c nbDecision=217500 #constraints=34838 597.98/598.28 c nbDecision=218000 #constraints=34905 601.18/601.44 c nbDecision=218500 #constraints=35007 605.08/605.30 c nbDecision=219000 #constraints=35073 606.18/606.45 c nbDecision=219500 #constraints=35111 609.98/610.27 c nbDecision=220000 #constraints=35179 611.58/611.82 c nbDecision=220500 #constraints=35215 615.28/615.51 c nbDecision=221000 #constraints=35345 616.28/616.58 c nbDecision=221500 #constraints=35380 618.48/618.72 c nbDecision=222000 #constraints=35441 619.37/619.67 c nbDecision=222500 #constraints=35514 620.08/620.37 c nbDecision=223000 #constraints=35558 621.77/622.06 c nbDecision=223500 #constraints=35591 623.57/623.87 c nbDecision=224000 #constraints=35646 640.27/640.52 c nbDecision=224500 #constraints=35927 652.07/652.35 c nbDecision=225000 #constraints=36172 661.76/662.04 c nbDecision=225500 #constraints=36335 667.96/668.21 c nbDecision=226000 #constraints=36487 668.96/669.21 c nbDecision=226500 #constraints=36555 669.86/670.10 c nbDecision=227000 #constraints=36625 671.76/672.01 c nbDecision=227500 #constraints=36678 673.85/674.12 c nbDecision=228000 #constraints=36717 676.16/676.49 c nbDecision=228500 #constraints=36790 678.95/679.27 c nbDecision=229000 #constraints=36876 680.95/681.24 c nbDecision=229500 #constraints=36928 682.75/683.03 c nbDecision=230000 #constraints=36973 685.75/686.05 c nbDecision=230500 #constraints=37064 686.75/687.02 c nbDecision=231000 #constraints=37109 689.45/689.75 c nbDecision=231500 #constraints=37178 691.44/691.71 c nbDecision=232000 #constraints=37242 694.24/694.52 c nbDecision=232500 #constraints=37275 696.95/697.20 c nbDecision=233000 #constraints=37344 701.75/702.01 c nbDecision=233500 #constraints=37455 705.75/706.04 c nbDecision=234000 #constraints=37569 708.55/708.85 c nbDecision=234500 #constraints=37624 711.14/711.44 c nbDecision=235000 #constraints=37684 715.34/715.65 c nbDecision=235500 #constraints=37779 718.44/718.75 c nbDecision=236000 #constraints=37857 727.94/728.25 c nbDecision=236500 #constraints=38019 744.23/744.55 c nbDecision=237000 #constraints=38304 748.74/749.06 c nbDecision=237500 #constraints=38389 751.73/752.02 c nbDecision=238000 #constraints=38469 754.53/754.80 c nbDecision=238500 #constraints=38557 756.93/757.24 c nbDecision=239000 #constraints=38618 760.62/760.96 c nbDecision=239500 #constraints=38708 763.13/763.44 c nbDecision=240000 #constraints=38748 765.82/766.10 c nbDecision=240500 #constraints=38802 769.02/769.38 c nbDecision=241000 #constraints=38880 771.62/771.91 c nbDecision=241500 #constraints=38963 775.12/775.44 c nbDecision=242000 #constraints=39031 779.52/779.87 c nbDecision=242500 #constraints=39145 795.62/795.91 c nbDecision=243000 #constraints=39424 814.41/814.75 c nbDecision=243500 #constraints=39765 817.51/817.85 c nbDecision=244000 #constraints=39829 831.60/831.94 c nbDecision=244500 #constraints=40034 849.29/849.67 c nbDecision=245000 #constraints=40323 865.69/866.01 c nbDecision=245500 #constraints=40607 884.78/885.15 c nbDecision=246000 #constraints=40937 892.27/892.69 c nbDecision=246500 #constraints=41096 894.67/895.03 c nbDecision=247000 #constraints=41144 898.38/898.78 c nbDecision=247500 #constraints=41216 902.78/903.16 c nbDecision=248000 #constraints=41285 904.98/905.39 c nbDecision=248500 #constraints=41339 908.38/908.78 c nbDecision=249000 #constraints=41397 913.08/913.42 c nbDecision=249500 #constraints=41485 914.78/915.14 c nbDecision=250000 #constraints=41518 917.77/918.13 c nbDecision=250500 #constraints=41562 920.07/920.48 c nbDecision=251000 #constraints=41637 921.67/922.02 c nbDecision=251500 #constraints=41697 924.17/924.53 c nbDecision=252000 #constraints=41773 928.76/929.17 c nbDecision=252500 #constraints=41857 931.76/932.18 c nbDecision=253000 #constraints=41913 933.76/934.14 c nbDecision=253500 #constraints=41956 938.46/938.87 c nbDecision=254000 #constraints=42062 942.36/942.73 c nbDecision=254500 #constraints=42131 945.16/945.58 c nbDecision=255000 #constraints=42170 947.86/948.27 c nbDecision=255500 #constraints=42243 950.76/951.18 c nbDecision=256000 #constraints=42276 964.15/964.56 c nbDecision=256500 #constraints=42485 971.65/972.02 c nbDecision=257000 #constraints=42639 975.55/975.99 c nbDecision=257500 #constraints=42737 980.05/980.43 c nbDecision=258000 #constraints=42789 982.65/983.07 c nbDecision=258500 #constraints=42843 987.35/987.78 c nbDecision=259000 #constraints=42902 1010.74/1011.17 c nbDecision=259500 #constraints=43244 1033.03/1033.49 c nbDecision=260000 #constraints=43591 1053.72/1054.15 c nbDecision=260500 #constraints=43921 1060.82/1061.25 c nbDecision=261000 #constraints=44029 1065.12/1065.53 c nbDecision=261500 #constraints=44100 1068.22/1068.61 c nbDecision=262000 #constraints=44159 1069.42/1069.88 c nbDecision=262500 #constraints=44194 1072.52/1072.97 c nbDecision=263000 #constraints=44242 1075.61/1076.06 c nbDecision=263500 #constraints=44280 1078.51/1078.98 c nbDecision=264000 #constraints=44346 1082.41/1082.87 c nbDecision=264500 #constraints=44437 1104.61/1105.03 c nbDecision=265000 #constraints=44691 1126.79/1127.20 c nbDecision=265500 #constraints=44995 1137.09/1137.55 c nbDecision=266000 #constraints=45186 1141.99/1142.41 c nbDecision=266500 #constraints=45247 1143.69/1144.11 c nbDecision=267000 #constraints=45263 1147.89/1148.34 c nbDecision=267500 #constraints=45347 1150.99/1151.49 c nbDecision=268000 #constraints=45401 1154.39/1154.88 c nbDecision=268500 #constraints=45462 1156.69/1157.12 c nbDecision=269000 #constraints=45505 1158.89/1159.31 c nbDecision=269500 #constraints=45527 1162.58/1163.01 c nbDecision=270000 #constraints=45586 1165.28/1165.76 c nbDecision=270500 #constraints=45624 1167.08/1167.51 c nbDecision=271000 #constraints=45661 1170.78/1171.28 c nbDecision=271500 #constraints=45710 1173.37/1173.88 c nbDecision=272000 #constraints=45762 1175.87/1176.39 c nbDecision=272500 #constraints=45805 1181.17/1181.63 c nbDecision=273000 #constraints=45886 1185.67/1186.13 c nbDecision=273500 #constraints=45931 1190.28/1190.74 c nbDecision=274000 #constraints=45992 1193.08/1193.55 c nbDecision=274500 #constraints=46049 1197.18/1197.68 c nbDecision=275000 #constraints=46110 1199.08/1199.54 c nbDecision=275500 #constraints=46125 1202.37/1202.88 c nbDecision=276000 #constraints=46180 1204.97/1205.41 c nbDecision=276500 #constraints=46207 1208.07/1208.52 c nbDecision=277000 #constraints=46270 1211.67/1212.19 c nbDecision=277500 #constraints=46354 1216.17/1216.66 c nbDecision=278000 #constraints=46419 1219.57/1220.02 c nbDecision=278500 #constraints=46468 1226.36/1226.86 c nbDecision=279000 #constraints=46548 1228.86/1229.34 c nbDecision=279500 #constraints=46584 1231.86/1232.37 c nbDecision=280000 #constraints=46614 1236.36/1236.87 c nbDecision=280500 #constraints=46685 1238.96/1239.47 c nbDecision=281000 #constraints=46756 1244.25/1244.79 c nbDecision=281500 #constraints=46833 1247.65/1248.12 c nbDecision=282000 #constraints=46879 1254.45/1254.97 c nbDecision=282500 #constraints=46955 1270.44/1270.91 c nbDecision=283000 #constraints=47134 1287.94/1288.40 c nbDecision=283500 #constraints=47339 1290.64/1291.14 c nbDecision=284000 #constraints=47377 1293.44/1293.94 c nbDecision=284500 #constraints=47416 1296.64/1297.11 c nbDecision=285000 #constraints=47463 1302.04/1302.53 c nbDecision=285500 #constraints=47565 1305.74/1306.21 c nbDecision=286000 #constraints=47609 1307.74/1308.20 c nbDecision=286500 #constraints=47637 1310.24/1310.73 c nbDecision=287000 #constraints=47691 1314.83/1315.34 c nbDecision=287500 #constraints=47761 1317.93/1318.49 c nbDecision=288000 #constraints=47823 1334.73/1335.21 c nbDecision=288500 #constraints=47997 1363.31/1363.84 c nbDecision=289000 #constraints=48315 1391.90/1392.47 c nbDecision=289500 #constraints=48661 1394.90/1395.47 c nbDecision=290000 #constraints=48704 1408.39/1408.92 c nbDecision=290500 #constraints=48893 1429.19/1429.79 c nbDecision=291000 #constraints=49208 1449.28/1449.89 c nbDecision=291500 #constraints=49519 1459.58/1460.11 c nbDecision=292000 #constraints=49733 1461.78/1462.32 c nbDecision=292500 #constraints=49762 1463.28/1463.87 c nbDecision=293000 #constraints=49799 1465.88/1466.44 c nbDecision=293500 #constraints=49859 1466.98/1467.50 c nbDecision=294000 #constraints=49926 1467.98/1468.51 c nbDecision=294500 #constraints=49971 1468.78/1469.39 c nbDecision=295000 #constraints=50017 1472.18/1472.76 c nbDecision=295500 #constraints=50100 1474.58/1475.15 c nbDecision=296000 #constraints=50155 1475.08/1475.61 c nbDecision=296500 #constraints=50165 1476.18/1476.74 c nbDecision=297000 #constraints=50195 1478.28/1478.80 c nbDecision=297500 #constraints=50223 1482.57/1483.15 c nbDecision=298000 #constraints=50287 1484.77/1485.33 c nbDecision=298500 #constraints=50327 1488.07/1488.63 c nbDecision=299000 #constraints=50378 1492.07/1492.69 c nbDecision=299500 #constraints=50467 1493.87/1494.48 c nbDecision=300000 #constraints=50534 1497.47/1498.05 c nbDecision=300500 #constraints=50591 1498.27/1498.89 c nbDecision=301000 #constraints=50612 1502.76/1503.31 c nbDecision=301500 #constraints=50682 1506.96/1507.51 c nbDecision=302000 #constraints=50748 1510.16/1510.78 c nbDecision=302500 #constraints=50797 1512.16/1512.71 c nbDecision=303000 #constraints=50816 1515.36/1515.98 c nbDecision=303500 #constraints=50853 1519.76/1520.34 c nbDecision=304000 #constraints=50917 1522.35/1522.96 c nbDecision=304500 #constraints=50972 1526.35/1526.92 c nbDecision=305000 #constraints=51029 1529.85/1530.46 c nbDecision=305500 #constraints=51090 1534.25/1534.86 c nbDecision=306000 #constraints=51147 1535.06/1535.61 c nbDecision=306500 #constraints=51164 1536.46/1537.04 c nbDecision=307000 #constraints=51175 1539.76/1540.38 c nbDecision=307500 #constraints=51238 1544.86/1545.49 c nbDecision=308000 #constraints=51287 1546.65/1547.21 c nbDecision=308500 #constraints=51307 1551.56/1552.14 c nbDecision=309000 #constraints=51386 1560.65/1561.23 c nbDecision=309500 #constraints=51477 1579.14/1579.79 c nbDecision=310000 #constraints=51635 1584.44/1585.03 c nbDecision=310500 #constraints=51700 1588.94/1589.54 c nbDecision=311000 #constraints=51747 1591.63/1592.24 c nbDecision=311500 #constraints=51773 1595.33/1595.94 c nbDecision=312000 #constraints=51826 1597.03/1597.66 c nbDecision=312500 #constraints=51842 1601.23/1601.89 c nbDecision=313000 #constraints=51916 1605.73/1606.35 c nbDecision=313500 #constraints=51974 1609.92/1610.55 c nbDecision=314000 #constraints=52028 1614.22/1614.83 c nbDecision=314500 #constraints=52066 1617.02/1617.69 c nbDecision=315000 #constraints=52112 1621.72/1622.39 c nbDecision=315500 #constraints=52143 1626.03/1626.67 c nbDecision=316000 #constraints=52177 1628.43/1629.10 c nbDecision=316500 #constraints=52205 1632.22/1632.83 c nbDecision=317000 #constraints=52248 1634.03/1634.68 c nbDecision=317500 #constraints=52280 1640.42/1641.02 c nbDecision=318000 #constraints=52352 1648.61/1649.21 c nbDecision=318500 #constraints=52467 1652.21/1652.82 c nbDecision=319000 #constraints=52517 1653.71/1654.35 c nbDecision=319500 #constraints=52553 1656.51/1657.11 c nbDecision=320000 #constraints=52602 1661.71/1662.40 c nbDecision=320500 #constraints=52667 1682.41/1683.01 c nbDecision=321000 #constraints=52909 1686.50/1687.16 c nbDecision=321500 #constraints=52988 1690.60/1691.27 c nbDecision=322000 #constraints=53031 1708.19/1708.80 c nbDecision=322500 #constraints=53188 1747.29/1747.97 c nbDecision=323000 #constraints=53529 1787.27/1787.99 c nbDecision=323500 #constraints=53876 1800.07/1800.70 Received signal 15 1800.07/1800.78 1800.07/1800.78 s UNKNOWN 1800.07/1800.78 1800.07/1800.78 c user time= 1799.7 s 1800.07/1800.78 c system time= 0.45493 s 1800.07/1800.78 c wall clock time=1800.78
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node25/watcher-357026-1176852094 -o ROOT/results/node25/solver-357026-1176852094 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357026-1176852094/instance-357026-1176852094.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 16382 /proc/meminfo: memFree=1776776/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=1468 CPUtime=0 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 133126505 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 367 160 127 317 0 46 0 [startup+0.0366571 s] /proc/loadavg: 1.00 1.00 1.00 3/64 16382 /proc/meminfo: memFree=1776776/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=2176 CPUtime=0.03 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 368 0 0 0 3 0 0 0 18 0 1 0 133126505 2228224 350 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 544 350 137 317 0 223 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2176 [startup+0.101667 s] /proc/loadavg: 1.00 1.00 1.00 3/64 16382 /proc/meminfo: memFree=1776776/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=2320 CPUtime=0.09 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 388 0 0 0 9 0 0 0 18 0 1 0 133126505 2375680 370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 580 370 139 317 0 259 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2320 [startup+0.301701 s] /proc/loadavg: 1.00 1.00 1.00 3/64 16382 /proc/meminfo: memFree=1776776/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=3112 CPUtime=0.29 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 587 0 0 0 29 0 0 0 19 0 1 0 133126505 3186688 569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384579 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 778 569 139 317 0 457 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3112 [startup+0.701769 s] /proc/loadavg: 1.00 1.00 1.00 3/64 16382 /proc/meminfo: memFree=1776776/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=4192 CPUtime=0.69 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 901 0 0 0 69 0 0 0 22 0 1 0 133126505 4292608 883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 1048 883 170 317 0 727 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4192 [startup+1.50191 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16383 /proc/meminfo: memFree=1773184/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=5956 CPUtime=1.49 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 1322 0 0 0 149 0 0 0 25 0 1 0 133126505 6098944 1304 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 1489 1304 170 317 0 1168 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5956 [startup+3.10118 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16383 /proc/meminfo: memFree=1771072/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=8196 CPUtime=3.09 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 1878 0 0 0 309 0 0 0 25 0 1 0 133126505 8392704 1860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718344 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 2049 1860 170 317 0 1728 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8196 [startup+6.30173 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16383 /proc/meminfo: memFree=1766848/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=11988 CPUtime=6.29 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 2823 0 0 0 628 1 0 0 25 0 1 0 133126505 12275712 2805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 2997 2805 170 317 0 2676 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11988 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16383 /proc/meminfo: memFree=1760960/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=17432 CPUtime=12.69 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 4189 0 0 0 1267 2 0 0 25 0 1 0 133126505 17850368 4171 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 4358 4171 170 317 0 4037 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17432 [startup+25.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16383 /proc/meminfo: memFree=1753344/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=25032 CPUtime=25.49 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 6028 0 0 0 2546 3 0 0 25 0 1 0 133126505 25632768 5952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 6258 5952 170 317 0 5937 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 25032 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16383 /proc/meminfo: memFree=1744320/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=34144 CPUtime=51.07 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 8293 0 0 0 5103 4 0 0 25 0 1 0 133126505 34963456 8217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 8536 8217 170 317 0 8215 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 34144 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16383 /proc/meminfo: memFree=1727168/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=51612 CPUtime=102.26 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 12560 0 0 0 10218 8 0 0 25 0 1 0 133126505 52850688 12484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 12903 12484 170 317 0 12582 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 51612 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16383 /proc/meminfo: memFree=1708736/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=71336 CPUtime=162.23 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 17297 0 0 0 16211 12 0 0 25 0 1 0 133126505 73048064 17107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 17834 17107 170 317 0 17513 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 71336 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16383 /proc/meminfo: memFree=1697984/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=82020 CPUtime=222.21 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 19931 0 0 0 22207 14 0 0 25 0 1 0 133126505 83988480 19741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 20505 19741 170 317 0 20184 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 82020 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16383 /proc/meminfo: memFree=1688896/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=91464 CPUtime=282.19 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 22225 0 0 0 28204 15 0 0 25 0 1 0 133126505 93659136 22035 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 22866 22035 170 317 0 22545 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 91464 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16383 /proc/meminfo: memFree=1674368/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=106736 CPUtime=342.17 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 25817 0 0 0 34199 18 0 0 25 0 1 0 133126505 109297664 25627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 26684 25627 170 317 0 26363 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 106736 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16383 /proc/meminfo: memFree=1664896/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=116276 CPUtime=402.15 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 28158 0 0 0 40196 19 0 0 25 0 1 0 133126505 119066624 27968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 29069 27968 170 317 0 28748 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 116276 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16383 /proc/meminfo: memFree=1656768/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=125832 CPUtime=462.13 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 30451 0 0 0 46192 21 0 0 25 0 1 0 133126505 128851968 29997 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 31458 29997 170 317 0 31137 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 125832 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16383 /proc/meminfo: memFree=1647808/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=135256 CPUtime=522.11 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 32672 0 0 0 52188 23 0 0 25 0 1 0 133126505 138502144 32218 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 33814 32218 170 317 0 33493 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 135256 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16383 /proc/meminfo: memFree=1641792/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=142076 CPUtime=582.09 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 34481 0 0 0 58185 24 0 0 25 0 1 0 133126505 145485824 33734 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604218 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 35519 33734 170 317 0 35198 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 142076 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16383 /proc/meminfo: memFree=1635392/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=148476 CPUtime=642.07 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 36051 0 0 0 64181 26 0 0 25 0 1 0 133126505 152039424 35304 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 37119 35304 170 317 0 36798 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 148476 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16383 /proc/meminfo: memFree=1610304/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=174680 CPUtime=881.98 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 42699 0 0 0 88167 31 0 0 25 0 1 0 133126505 178872320 41556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 43670 41556 170 317 0 43349 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 174680 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16383 /proc/meminfo: memFree=1605696/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=180624 CPUtime=941.96 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 44146 0 0 0 94164 32 0 0 25 0 1 0 133126505 184958976 42706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 45156 42706 170 317 0 44835 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 180624 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16385 /proc/meminfo: memFree=1600448/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=185484 CPUtime=1001.93 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 45462 0 0 0 100160 33 0 0 25 0 1 0 133126505 189935616 44022 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 46371 44022 170 317 0 46050 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 185484 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16385 /proc/meminfo: memFree=1594560/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=190932 CPUtime=1061.92 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 46936 0 0 0 106157 35 0 0 25 0 1 0 133126505 195514368 45496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 47733 45496 170 317 0 47412 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 190932 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16385 /proc/meminfo: memFree=1589248/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=196228 CPUtime=1121.9 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 48326 0 0 0 112154 36 0 0 25 0 1 0 133126505 200937472 46820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563796 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 49057 46820 170 317 0 48736 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 196228 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16385 /proc/meminfo: memFree=1585088/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=200724 CPUtime=1181.87 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 49456 0 0 0 118151 36 0 0 25 0 1 0 133126505 205541376 47851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 50181 47851 170 317 0 49860 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 200724 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16385 /proc/meminfo: memFree=1581504/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=204700 CPUtime=1241.86 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 50370 0 0 0 124149 37 0 0 25 0 1 0 133126505 209612800 48732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 51175 48732 170 317 0 50854 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 204700 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16385 /proc/meminfo: memFree=1577216/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=209028 CPUtime=1301.84 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 51530 0 0 0 130146 38 0 0 25 0 1 0 133126505 214044672 49794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 52257 49794 170 317 0 51936 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 209028 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16385 /proc/meminfo: memFree=1571840/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=215384 CPUtime=1361.81 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 52902 0 0 0 136143 38 0 0 25 0 1 0 133126505 220553216 51133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 53846 51133 170 317 0 53525 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 215384 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16385 /proc/meminfo: memFree=1565952/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=223076 CPUtime=1421.8 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 54857 0 0 0 142140 40 0 0 25 0 1 0 133126505 228429824 52593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 55769 52593 170 317 0 55448 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 223076 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16385 /proc/meminfo: memFree=1560192/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=229088 CPUtime=1481.77 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 56287 0 0 0 148136 41 0 0 25 0 1 0 133126505 234586112 54023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 57272 54023 170 317 0 56951 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 229088 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16385 /proc/meminfo: memFree=1556928/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=232296 CPUtime=1541.76 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 57100 0 0 0 154134 42 0 0 25 0 1 0 133126505 237871104 54836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 58074 54836 170 317 0 57753 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 232296 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16385 /proc/meminfo: memFree=1553856/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=235192 CPUtime=1601.73 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 57892 0 0 0 160131 42 0 0 25 0 1 0 133126505 240836608 55595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 58798 55595 170 317 0 58477 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 235192 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16385 /proc/meminfo: memFree=1551040/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=240032 CPUtime=1661.71 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 59145 0 0 0 166128 43 0 0 25 0 1 0 133126505 245792768 56328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 60008 56328 170 317 0 59687 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 240032 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16385 /proc/meminfo: memFree=1547776/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=243696 CPUtime=1721.68 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 60146 0 0 0 172124 44 0 0 25 0 1 0 133126505 249544704 57166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 60924 57166 170 317 0 60603 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 243696 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16385 /proc/meminfo: memFree=1544320/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=246756 CPUtime=1781.67 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 60993 0 0 0 178122 45 0 0 25 0 1 0 133126505 252678144 58013 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712504 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 61689 58013 170 317 0 61368 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 246756 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16385 /proc/meminfo: memFree=1543232/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=247676 CPUtime=1800.07 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 61249 0 0 0 179962 45 0 0 25 0 1 0 133126505 253620224 58269 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 61919 58269 170 317 0 61598 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 247676 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16385 /proc/meminfo: memFree=1543232/2055920 swapFree=4166424/4192956 [pid=16382] ppid=16380 vsize=0 CPUtime=1800.16 /proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194308 61267 0 0 0 179970 46 0 0 25 0 1 0 133126505 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16382/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.83 CPU time (s): 1800.2 CPU user time (s): 1799.71 CPU system time (s): 0.494924 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (KiB): 247676 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.71 system time used= 0.494924 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61267 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= 4933 runsolver used 1.34979 second user time and 3.60345 second system time The end
Begin job on node25 on Tue Apr 17 23:21:34 UTC 2007 IDJOB= 357026 IDBENCH= 1791 IDSOLVER= 172 FILE ID= node25/357026-1176852094 PBS_JOBID= 4590194 Free space on /tmp= 66480 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-fiber.opb COMMAND LINE= oree /tmp/evaluation/357026-1176852094/instance-357026-1176852094.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-357026-1176852094 -o ROOT/results/node25/solver-357026-1176852094 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357026-1176852094/instance-357026-1176852094.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 32662df0ae948242aace0258625ea4cc RANDOM SEED= 935585519 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node25.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.261 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.261 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: 1777184 kB Buffers: 23220 kB Cached: 186988 kB SwapCached: 20788 kB Active: 35588 kB Inactive: 201112 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1777184 kB SwapTotal: 4192956 kB SwapFree: 4166424 kB Dirty: 1348 kB Writeback: 0 kB Mapped: 15420 kB Slab: 28072 kB Committed_AS: 2111744 kB PageTables: 1472 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= 66480 MiB End job on node25 on Tue Apr 17 23:51:40 UTC 2007