Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.21 | 1800.81 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-tr12-30.opb |
MD5SUM | 012c11861136c422cb8bda81e1d7561a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
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 | 1295 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 533310 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261781 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 533310 |
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.19/0.20 c ...done 0.19/0.20 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.39/0.42 c restart after 401 decisions 0.39/0.45 c nbDecision=500 #constraints=1111 0.49/0.51 c restart after 801 decisions 0.49/0.55 c nbDecision=1000 #constraints=1111 0.59/0.65 c nbDecision=1500 #constraints=1111 0.59/0.67 c restart after 1601 decisions 0.69/0.75 c nbDecision=2000 #constraints=1111 0.79/0.85 c nbDecision=2500 #constraints=1111 0.89/0.95 c nbDecision=3000 #constraints=1111 0.89/1.00 c restart after 3201 decisions 0.99/1.06 c nbDecision=3500 #constraints=1111 1.09/1.17 c nbDecision=4000 #constraints=1111 1.19/1.27 c nbDecision=4500 #constraints=1111 1.29/1.38 c nbDecision=5000 #constraints=1111 1.39/1.48 c nbDecision=5500 #constraints=1111 1.49/1.58 c nbDecision=6000 #constraints=1111 1.59/1.65 c restart after 6401 decisions 1.59/1.68 c nbDecision=6500 #constraints=1111 1.69/1.78 c nbDecision=7000 #constraints=1111 1.79/1.88 c nbDecision=7500 #constraints=1111 1.89/1.97 c nbDecision=8000 #constraints=1111 1.99/2.06 c nbDecision=8500 #constraints=1111 2.09/2.16 c nbDecision=9000 #constraints=1111 2.19/2.26 c nbDecision=9500 #constraints=1111 2.29/2.35 c nbDecision=10000 #constraints=1111 2.39/2.44 c nbDecision=10500 #constraints=1111 2.49/2.53 c nbDecision=11000 #constraints=1111 2.59/2.62 c nbDecision=11500 #constraints=1111 2.68/2.70 c nbDecision=12000 #constraints=1111 2.68/2.78 c nbDecision=12500 #constraints=1111 2.78/2.83 c restart after 12801 decisions 2.78/2.88 c nbDecision=13000 #constraints=1111 2.88/2.98 c nbDecision=13500 #constraints=1111 2.98/3.09 c nbDecision=14000 #constraints=1111 3.08/3.19 c nbDecision=14500 #constraints=1111 3.19/3.29 c nbDecision=15000 #constraints=1111 3.29/3.39 c nbDecision=15500 #constraints=1111 3.38/3.49 c nbDecision=16000 #constraints=1111 3.48/3.58 c nbDecision=16500 #constraints=1111 3.58/3.67 c nbDecision=17000 #constraints=1111 3.68/3.76 c nbDecision=17500 #constraints=1111 3.78/3.83 c nbDecision=18000 #constraints=1111 3.88/3.91 c nbDecision=18500 #constraints=1111 3.88/3.98 c nbDecision=19000 #constraints=1111 3.98/4.05 c nbDecision=19500 #constraints=1111 4.08/4.12 c nbDecision=20000 #constraints=1111 4.08/4.19 c nbDecision=20500 #constraints=1111 4.29/4.34 c nbDecision=21000 #constraints=1111 4.48/4.55 c nbDecision=21500 #constraints=1234 4.68/4.76 c nbDecision=22000 #constraints=1331 5.19/5.28 c nbDecision=22500 #constraints=1679 5.39/5.46 c nbDecision=23000 #constraints=1746 5.69/5.74 c nbDecision=23500 #constraints=1892 5.89/5.98 c nbDecision=24000 #constraints=1994 6.19/6.23 c nbDecision=24500 #constraints=2088 6.49/6.53 c nbDecision=25000 #constraints=2203 6.78/6.82 c nbDecision=25500 #constraints=2314 6.78/6.86 c restart after 25601 decisions 6.88/6.99 c nbDecision=26000 #constraints=2325 6.98/7.10 c nbDecision=26500 #constraints=2325 7.18/7.20 c nbDecision=27000 #constraints=2325 7.28/7.30 c nbDecision=27500 #constraints=2325 7.38/7.41 c nbDecision=28000 #constraints=2325 7.48/7.52 c nbDecision=28500 #constraints=2325 7.59/7.61 c nbDecision=29000 #constraints=2325 7.69/7.71 c nbDecision=29500 #constraints=2325 7.69/7.80 c nbDecision=30000 #constraints=2325 7.78/7.88 c nbDecision=30500 #constraints=2325 7.88/7.96 c nbDecision=31000 #constraints=2325 7.98/8.04 c nbDecision=31500 #constraints=2325 8.08/8.11 c nbDecision=32000 #constraints=2325 8.08/8.19 c nbDecision=32500 #constraints=2325 8.18/8.26 c nbDecision=33000 #constraints=2325 8.28/8.38 c nbDecision=33500 #constraints=2325 8.48/8.52 c nbDecision=34000 #constraints=2325 8.89/8.94 c nbDecision=34500 #constraints=2665 9.09/9.19 c nbDecision=35000 #constraints=2784 9.69/9.72 c nbDecision=35500 #constraints=3046 9.79/9.88 c nbDecision=36000 #constraints=3051 9.99/10.04 c nbDecision=36500 #constraints=3060 10.19/10.22 c nbDecision=37000 #constraints=3083 10.28/10.39 c nbDecision=37500 #constraints=3099 10.48/10.55 c nbDecision=38000 #constraints=3109 10.68/10.72 c nbDecision=38500 #constraints=3125 10.78/10.89 c nbDecision=39000 #constraints=3144 11.08/11.17 c nbDecision=39500 #constraints=3252 11.49/11.55 c nbDecision=40000 #constraints=3395 11.69/11.72 c nbDecision=40500 #constraints=3402 11.79/11.89 c nbDecision=41000 #constraints=3422 11.99/12.09 c nbDecision=41500 #constraints=3452 12.19/12.27 c nbDecision=42000 #constraints=3462 12.39/12.45 c nbDecision=42500 #constraints=3480 12.59/12.64 c nbDecision=43000 #constraints=3498 12.79/12.80 c nbDecision=43500 #constraints=3503 12.89/12.99 c nbDecision=44000 #constraints=3527 13.09/13.17 c nbDecision=44500 #constraints=3542 13.29/13.34 c nbDecision=45000 #constraints=3549 13.49/13.52 c nbDecision=45500 #constraints=3570 13.69/13.73 c nbDecision=46000 #constraints=3601 13.89/13.90 c nbDecision=46500 #constraints=3614 13.99/14.07 c nbDecision=47000 #constraints=3622 14.19/14.24 c nbDecision=47500 #constraints=3629 14.39/14.41 c nbDecision=48000 #constraints=3643 14.49/14.59 c nbDecision=48500 #constraints=3655 14.69/14.78 c nbDecision=49000 #constraints=3674 14.89/14.96 c nbDecision=49500 #constraints=3687 15.19/15.26 c nbDecision=50000 #constraints=3769 15.39/15.45 c nbDecision=50500 #constraints=3780 15.59/15.62 c nbDecision=51000 #constraints=3789 15.59/15.70 c restart after 51201 decisions 15.79/15.83 c nbDecision=51500 #constraints=3792 15.89/15.94 c nbDecision=52000 #constraints=3792 15.99/16.05 c nbDecision=52500 #constraints=3792 16.09/16.15 c nbDecision=53000 #constraints=3792 16.19/16.26 c nbDecision=53500 #constraints=3792 16.29/16.37 c nbDecision=54000 #constraints=3792 16.39/16.47 c nbDecision=54500 #constraints=3792 16.49/16.58 c nbDecision=55000 #constraints=3792 16.59/16.68 c nbDecision=55500 #constraints=3792 16.69/16.77 c nbDecision=56000 #constraints=3792 16.79/16.85 c nbDecision=56500 #constraints=3792 16.89/16.93 c nbDecision=57000 #constraints=3792 16.99/17.01 c nbDecision=57500 #constraints=3792 16.99/17.08 c nbDecision=58000 #constraints=3792 17.09/17.15 c nbDecision=58500 #constraints=3792 17.19/17.24 c nbDecision=59000 #constraints=3792 17.39/17.41 c nbDecision=59500 #constraints=3792 17.59/17.61 c nbDecision=60000 #constraints=3849 17.98/18.03 c nbDecision=60500 #constraints=4106 18.89/18.93 c nbDecision=61000 #constraints=4558 20.28/20.36 c nbDecision=61500 #constraints=5020 22.19/22.23 c nbDecision=62000 #constraints=5462 24.48/24.59 c nbDecision=62500 #constraints=5913 27.89/27.96 c nbDecision=63000 #constraints=6386 30.98/31.08 c nbDecision=63500 #constraints=6684 31.58/31.64 c nbDecision=64000 #constraints=6721 32.48/32.60 c nbDecision=64500 #constraints=6962 34.78/34.86 c nbDecision=65000 #constraints=7437 36.68/36.80 c nbDecision=65500 #constraints=7730 37.18/37.22 c nbDecision=66000 #constraints=7752 37.48/37.55 c nbDecision=66500 #constraints=7767 37.78/37.89 c nbDecision=67000 #constraints=7786 38.18/38.22 c nbDecision=67500 #constraints=7802 38.49/38.53 c nbDecision=68000 #constraints=7812 38.88/38.93 c nbDecision=68500 #constraints=7852 39.18/39.29 c nbDecision=69000 #constraints=7871 39.58/39.67 c nbDecision=69500 #constraints=7898 39.98/40.02 c nbDecision=70000 #constraints=7919 40.38/40.47 c nbDecision=70500 #constraints=7991 41.78/41.86 c nbDecision=71000 #constraints=8312 42.17/42.23 c nbDecision=71500 #constraints=8339 42.58/42.64 c nbDecision=72000 #constraints=8373 42.98/43.06 c nbDecision=72500 #constraints=8408 43.48/43.55 c nbDecision=73000 #constraints=8456 43.89/43.92 c nbDecision=73500 #constraints=8481 44.28/44.30 c nbDecision=74000 #constraints=8499 44.68/44.74 c nbDecision=74500 #constraints=8532 44.98/45.08 c nbDecision=75000 #constraints=8546 45.48/45.50 c nbDecision=75500 #constraints=8571 45.88/45.94 c nbDecision=76000 #constraints=8608 46.28/46.33 c nbDecision=76500 #constraints=8632 46.68/46.70 c nbDecision=77000 #constraints=8652 47.08/47.14 c nbDecision=77500 #constraints=8701 47.47/47.58 c nbDecision=78000 #constraints=8732 47.87/47.98 c nbDecision=78500 #constraints=8761 48.28/48.36 c nbDecision=79000 #constraints=8778 48.97/49.03 c nbDecision=79500 #constraints=8851 49.27/49.40 c nbDecision=80000 #constraints=8869 49.76/49.83 c nbDecision=80500 #constraints=8893 50.57/50.63 c nbDecision=81000 #constraints=8980 50.87/50.98 c nbDecision=81500 #constraints=8991 51.17/51.28 c nbDecision=82000 #constraints=9001 51.57/51.70 c nbDecision=82500 #constraints=9044 51.96/52.03 c nbDecision=83000 #constraints=9059 52.26/52.36 c nbDecision=83500 #constraints=9077 52.56/52.67 c nbDecision=84000 #constraints=9081 52.94/53.03 c nbDecision=84500 #constraints=9104 53.24/53.37 c nbDecision=85000 #constraints=9117 53.64/53.70 c nbDecision=85500 #constraints=9135 53.94/54.04 c nbDecision=86000 #constraints=9178 54.24/54.39 c nbDecision=86500 #constraints=9188 54.64/54.74 c nbDecision=87000 #constraints=9203 54.95/55.07 c nbDecision=87500 #constraints=9208 55.34/55.42 c nbDecision=88000 #constraints=9230 55.64/55.76 c nbDecision=88500 #constraints=9248 55.94/56.08 c nbDecision=89000 #constraints=9263 56.33/56.40 c nbDecision=89500 #constraints=9281 56.63/56.73 c nbDecision=90000 #constraints=9286 56.93/57.07 c nbDecision=90500 #constraints=9298 57.33/57.41 c nbDecision=91000 #constraints=9315 57.63/57.75 c nbDecision=91500 #constraints=9320 57.93/58.09 c nbDecision=92000 #constraints=9331 58.33/58.41 c nbDecision=92500 #constraints=9344 58.63/58.74 c nbDecision=93000 #constraints=9359 58.93/59.06 c nbDecision=93500 #constraints=9365 59.24/59.38 c nbDecision=94000 #constraints=9378 59.53/59.69 c nbDecision=94500 #constraints=9389 59.93/60.04 c nbDecision=95000 #constraints=9404 60.34/60.41 c nbDecision=95500 #constraints=9429 60.63/60.74 c nbDecision=96000 #constraints=9440 60.93/61.06 c nbDecision=96500 #constraints=9450 61.33/61.41 c nbDecision=97000 #constraints=9462 61.63/61.74 c nbDecision=97500 #constraints=9469 61.93/62.04 c nbDecision=98000 #constraints=9474 62.23/62.38 c nbDecision=98500 #constraints=9487 62.63/62.70 c nbDecision=99000 #constraints=9495 62.93/63.03 c nbDecision=99500 #constraints=9504 63.23/63.36 c nbDecision=100000 #constraints=9508 63.53/63.68 c nbDecision=100500 #constraints=9522 63.93/64.00 c nbDecision=101000 #constraints=9535 64.23/64.32 c nbDecision=101500 #constraints=9544 64.53/64.65 c nbDecision=102000 #constraints=9554 64.82/64.95 c restart after 102401 decisions 65.11/65.24 c nbDecision=102500 #constraints=9567 65.21/65.37 c nbDecision=103000 #constraints=9567 65.31/65.48 c nbDecision=103500 #constraints=9567 65.51/65.60 c nbDecision=104000 #constraints=9567 65.61/65.70 c nbDecision=104500 #constraints=9567 65.71/65.82 c nbDecision=105000 #constraints=9567 65.82/65.93 c nbDecision=105500 #constraints=9567 65.92/66.10 c nbDecision=106000 #constraints=9567 66.11/66.25 c nbDecision=106500 #constraints=9567 66.21/66.36 c nbDecision=107000 #constraints=9567 66.31/66.44 c nbDecision=107500 #constraints=9567 66.41/66.51 c nbDecision=108000 #constraints=9567 66.41/66.59 c nbDecision=108500 #constraints=9567 66.51/66.66 c nbDecision=109000 #constraints=9567 66.61/66.72 c nbDecision=109500 #constraints=9567 66.61/66.80 c nbDecision=110000 #constraints=9567 66.92/67.02 c nbDecision=110500 #constraints=9567 67.41/67.56 c nbDecision=111000 #constraints=9698 68.41/68.58 c nbDecision=111500 #constraints=10029 69.71/69.86 c nbDecision=112000 #constraints=10434 71.10/71.25 c nbDecision=112500 #constraints=10645 72.61/72.74 c nbDecision=113000 #constraints=10920 75.70/75.81 c nbDecision=113500 #constraints=11374 76.89/77.08 c nbDecision=114000 #constraints=11629 77.90/78.03 c nbDecision=114500 #constraints=12080 79.28/79.49 c nbDecision=115000 #constraints=12527 81.18/81.35 c nbDecision=115500 #constraints=12962 83.78/83.93 c nbDecision=116000 #constraints=13414 86.48/86.62 c nbDecision=116500 #constraints=13767 88.77/88.94 c nbDecision=117000 #constraints=14251 91.08/91.22 c nbDecision=117500 #constraints=14545 93.17/93.38 c nbDecision=118000 #constraints=14903 95.77/95.97 c nbDecision=118500 #constraints=15284 99.57/99.77 c nbDecision=119000 #constraints=15647 100.17/100.38 c nbDecision=119500 #constraints=15977 101.27/101.49 c nbDecision=120000 #constraints=16227 102.26/102.46 c nbDecision=120500 #constraints=16435 102.97/103.11 c nbDecision=121000 #constraints=16545 105.36/105.54 c nbDecision=121500 #constraints=16747 106.35/106.53 c nbDecision=122000 #constraints=16803 108.45/108.63 c nbDecision=122500 #constraints=17110 111.75/111.95 c nbDecision=123000 #constraints=17539 112.85/113.02 c nbDecision=123500 #constraints=17968 114.45/114.62 c nbDecision=124000 #constraints=18438 116.46/116.62 c nbDecision=124500 #constraints=18861 118.95/119.16 c nbDecision=125000 #constraints=19297 122.44/122.64 c nbDecision=125500 #constraints=19767 126.74/126.90 c nbDecision=126000 #constraints=20254 127.54/127.78 c nbDecision=126500 #constraints=20554 131.45/131.68 c nbDecision=127000 #constraints=20953 135.05/135.28 c nbDecision=127500 #constraints=21393 138.24/138.41 c nbDecision=128000 #constraints=21883 141.85/142.04 c nbDecision=128500 #constraints=22371 144.04/144.21 c nbDecision=129000 #constraints=22569 146.24/146.42 c nbDecision=129500 #constraints=22739 151.65/151.86 c nbDecision=130000 #constraints=23193 155.54/155.79 c nbDecision=130500 #constraints=23488 157.24/157.44 c nbDecision=131000 #constraints=23594 160.14/160.31 c nbDecision=131500 #constraints=23785 161.24/161.49 c nbDecision=132000 #constraints=23835 164.63/164.86 c nbDecision=132500 #constraints=24057 165.94/166.18 c nbDecision=133000 #constraints=24197 169.84/170.00 c nbDecision=133500 #constraints=24583 174.23/174.42 c nbDecision=134000 #constraints=25027 179.53/179.70 c nbDecision=134500 #constraints=25471 185.53/185.70 c nbDecision=135000 #constraints=25922 193.73/193.98 c nbDecision=135500 #constraints=26382 201.82/202.07 c nbDecision=136000 #constraints=26848 211.13/211.39 c nbDecision=136500 #constraints=27280 212.43/212.61 c nbDecision=137000 #constraints=27376 213.73/213.90 c nbDecision=137500 #constraints=27404 214.92/215.12 c nbDecision=138000 #constraints=27562 218.12/218.39 c nbDecision=138500 #constraints=27732 224.92/225.13 c nbDecision=139000 #constraints=28181 228.22/228.42 c nbDecision=139500 #constraints=28527 229.73/229.93 c nbDecision=140000 #constraints=28724 231.12/231.38 c nbDecision=140500 #constraints=28851 233.72/233.91 c nbDecision=141000 #constraints=28978 235.72/235.93 c nbDecision=141500 #constraints=29101 243.52/243.79 c nbDecision=142000 #constraints=29452 245.32/245.56 c nbDecision=142500 #constraints=29607 249.42/249.65 c nbDecision=143000 #constraints=29756 251.52/251.72 c nbDecision=143500 #constraints=29906 253.92/254.18 c nbDecision=144000 #constraints=30045 255.32/255.56 c nbDecision=144500 #constraints=30117 256.71/256.94 c nbDecision=145000 #constraints=30226 261.01/261.26 c nbDecision=145500 #constraints=30464 263.41/263.65 c nbDecision=146000 #constraints=30728 267.31/267.50 c nbDecision=146500 #constraints=31111 268.81/269.09 c nbDecision=147000 #constraints=31237 270.51/270.79 c nbDecision=147500 #constraints=31374 272.11/272.33 c nbDecision=148000 #constraints=31461 275.21/275.44 c nbDecision=148500 #constraints=31689 276.61/276.84 c nbDecision=149000 #constraints=31797 278.20/278.43 c nbDecision=149500 #constraints=31897 279.50/279.74 c nbDecision=150000 #constraints=31923 282.21/282.42 c nbDecision=150500 #constraints=32133 284.00/284.26 c nbDecision=151000 #constraints=32315 285.60/285.87 c nbDecision=151500 #constraints=32421 287.60/287.85 c nbDecision=152000 #constraints=32511 289.30/289.56 c nbDecision=152500 #constraints=32584 291.10/291.34 c nbDecision=153000 #constraints=32689 292.41/292.68 c nbDecision=153500 #constraints=32724 294.00/294.28 c nbDecision=154000 #constraints=32804 295.80/296.03 c nbDecision=154500 #constraints=32917 297.31/297.58 c nbDecision=155000 #constraints=33016 299.21/299.46 c nbDecision=155500 #constraints=33138 301.90/302.10 c nbDecision=156000 #constraints=33284 303.41/303.67 c nbDecision=156500 #constraints=33359 304.80/305.02 c nbDecision=157000 #constraints=33391 306.60/306.90 c nbDecision=157500 #constraints=33501 308.80/309.04 c nbDecision=158000 #constraints=33613 310.60/310.85 c nbDecision=158500 #constraints=33715 312.50/312.78 c nbDecision=159000 #constraints=33811 314.10/314.39 c nbDecision=159500 #constraints=33870 316.10/316.30 c nbDecision=160000 #constraints=33980 317.80/318.07 c nbDecision=160500 #constraints=34067 319.50/319.74 c nbDecision=161000 #constraints=34116 321.10/321.33 c nbDecision=161500 #constraints=34186 323.00/323.22 c nbDecision=162000 #constraints=34264 324.30/324.55 c nbDecision=162500 #constraints=34302 325.99/326.26 c nbDecision=163000 #constraints=34381 327.19/327.47 c nbDecision=163500 #constraints=34407 329.09/329.36 c nbDecision=164000 #constraints=34509 331.10/331.35 c nbDecision=164500 #constraints=34618 333.10/333.35 c nbDecision=165000 #constraints=34723 335.39/335.68 c nbDecision=165500 #constraints=34844 336.99/337.21 c nbDecision=166000 #constraints=34878 338.79/339.02 c nbDecision=166500 #constraints=34959 340.89/341.11 c nbDecision=167000 #constraints=35068 342.69/342.91 c nbDecision=167500 #constraints=35153 343.99/344.21 c nbDecision=168000 #constraints=35173 346.09/346.30 c nbDecision=168500 #constraints=35268 347.69/347.90 c nbDecision=169000 #constraints=35321 349.29/349.58 c nbDecision=169500 #constraints=35374 350.89/351.15 c nbDecision=170000 #constraints=35416 352.99/353.24 c nbDecision=170500 #constraints=35501 354.89/355.17 c nbDecision=171000 #constraints=35568 357.29/357.59 c nbDecision=171500 #constraints=35713 359.48/359.79 c nbDecision=172000 #constraints=35818 361.68/361.97 c nbDecision=172500 #constraints=35924 363.89/364.16 c nbDecision=173000 #constraints=36027 365.69/365.92 c nbDecision=173500 #constraints=36078 368.08/368.31 c nbDecision=174000 #constraints=36187 369.88/370.11 c nbDecision=174500 #constraints=36252 371.59/371.84 c nbDecision=175000 #constraints=36292 373.28/373.59 c nbDecision=175500 #constraints=36356 375.28/375.52 c nbDecision=176000 #constraints=36424 376.88/377.16 c nbDecision=176500 #constraints=36473 379.28/379.59 c nbDecision=177000 #constraints=36582 381.78/382.03 c nbDecision=177500 #constraints=36702 384.08/384.30 c nbDecision=178000 #constraints=36792 385.68/385.99 c nbDecision=178500 #constraints=36836 387.98/388.27 c nbDecision=179000 #constraints=36937 390.08/390.38 c nbDecision=179500 #constraints=37018 392.18/392.43 c nbDecision=180000 #constraints=37104 394.48/394.78 c nbDecision=180500 #constraints=37180 396.28/396.52 c nbDecision=181000 #constraints=37244 398.47/398.79 c nbDecision=181500 #constraints=37348 400.97/401.24 c nbDecision=182000 #constraints=37459 403.38/403.68 c nbDecision=182500 #constraints=37568 406.28/406.57 c nbDecision=183000 #constraints=37689 409.37/409.62 c nbDecision=183500 #constraints=37823 411.27/411.51 c nbDecision=184000 #constraints=37891 413.57/413.86 c nbDecision=184500 #constraints=37996 416.47/416.71 c nbDecision=185000 #constraints=38118 418.97/419.28 c nbDecision=185500 #constraints=38224 421.26/421.54 c nbDecision=186000 #constraints=38311 422.86/423.16 c nbDecision=186500 #constraints=38344 426.17/426.49 c nbDecision=187000 #constraints=38492 427.97/428.28 c nbDecision=187500 #constraints=38538 430.26/430.50 c nbDecision=188000 #constraints=38606 431.97/432.29 c nbDecision=188500 #constraints=38648 434.56/434.85 c nbDecision=189000 #constraints=38749 436.97/437.22 c nbDecision=189500 #constraints=38845 439.97/440.28 c nbDecision=190000 #constraints=38965 442.47/442.79 c nbDecision=190500 #constraints=39068 444.77/445.01 c nbDecision=191000 #constraints=39130 446.66/446.97 c nbDecision=191500 #constraints=39185 448.96/449.20 c nbDecision=192000 #constraints=39252 452.36/452.66 c nbDecision=192500 #constraints=39406 456.46/456.72 c nbDecision=193000 #constraints=39601 459.46/459.75 c nbDecision=193500 #constraints=39714 462.16/462.44 c nbDecision=194000 #constraints=39816 464.55/464.81 c nbDecision=194500 #constraints=39886 466.35/466.62 c nbDecision=195000 #constraints=39930 468.45/468.70 c nbDecision=195500 #constraints=39976 470.56/470.86 c nbDecision=196000 #constraints=40041 473.05/473.37 c nbDecision=196500 #constraints=40138 476.06/476.30 c nbDecision=197000 #constraints=40235 478.26/478.53 c nbDecision=197500 #constraints=40284 482.45/482.75 c nbDecision=198000 #constraints=40480 484.05/484.39 c nbDecision=198500 #constraints=40502 487.65/487.93 c nbDecision=199000 #constraints=40636 490.05/490.37 c nbDecision=199500 #constraints=40718 492.85/493.13 c nbDecision=200000 #constraints=40796 495.95/496.21 c nbDecision=200500 #constraints=40907 499.05/499.30 c nbDecision=201000 #constraints=41000 501.25/501.52 c nbDecision=201500 #constraints=41073 503.84/504.17 c nbDecision=202000 #constraints=41150 505.54/505.84 c nbDecision=202500 #constraints=41187 507.85/508.17 c nbDecision=203000 #constraints=41248 509.74/510.02 c nbDecision=203500 #constraints=41293 513.04/513.31 c nbDecision=204000 #constraints=41409 516.25/516.53 c nbDecision=204500 #constraints=41512 518.45/518.79 c restart after 204801 decisions 520.44/520.72 c nbDecision=205000 #constraints=41605 520.64/520.90 c nbDecision=205500 #constraints=41605 520.74/521.07 c nbDecision=206000 #constraints=41605 521.15/521.41 c nbDecision=206500 #constraints=41605 521.24/521.50 c nbDecision=207000 #constraints=41605 521.34/521.70 c nbDecision=207500 #constraints=41605 521.54/521.89 c nbDecision=208000 #constraints=41605 521.94/522.29 c nbDecision=208500 #constraints=41605 522.44/522.71 c nbDecision=209000 #constraints=41605 522.54/522.85 c nbDecision=209500 #constraints=41605 522.64/522.93 c nbDecision=210000 #constraints=41605 522.74/523.02 c nbDecision=210500 #constraints=41605 522.74/523.10 c nbDecision=211000 #constraints=41605 522.84/523.17 c nbDecision=211500 #constraints=41605 522.94/523.24 c nbDecision=212000 #constraints=41605 523.14/523.40 c nbDecision=212500 #constraints=41605 523.74/524.03 c nbDecision=213000 #constraints=41605 529.44/529.75 c nbDecision=213500 #constraints=41877 539.14/539.41 c nbDecision=214000 #constraints=42313 549.74/550.05 c nbDecision=214500 #constraints=42754 561.53/561.83 c nbDecision=215000 #constraints=43149 564.13/564.43 c nbDecision=215500 #constraints=43247 566.43/566.78 c nbDecision=216000 #constraints=43347 570.33/570.61 c nbDecision=216500 #constraints=43545 575.33/575.67 c nbDecision=217000 #constraints=43857 578.13/578.41 c nbDecision=217500 #constraints=43949 580.53/580.81 c nbDecision=218000 #constraints=44010 582.23/582.54 c nbDecision=218500 #constraints=44019 584.33/584.63 c nbDecision=219000 #constraints=44055 586.12/586.42 c nbDecision=219500 #constraints=44075 588.13/588.48 c nbDecision=220000 #constraints=44120 590.43/590.77 c nbDecision=220500 #constraints=44167 592.72/593.03 c nbDecision=221000 #constraints=44213 594.92/595.26 c nbDecision=221500 #constraints=44250 597.52/597.85 c nbDecision=222000 #constraints=44381 599.52/599.85 c nbDecision=222500 #constraints=44416 605.42/605.76 c nbDecision=223000 #constraints=44805 609.32/609.67 c nbDecision=223500 #constraints=45001 611.02/611.40 c nbDecision=224000 #constraints=45006 618.51/618.86 c nbDecision=224500 #constraints=45380 626.62/626.93 c nbDecision=225000 #constraints=45834 635.81/636.12 c nbDecision=225500 #constraints=46288 645.71/646.05 c nbDecision=226000 #constraints=46732 656.51/656.86 c nbDecision=226500 #constraints=47185 668.90/669.22 c nbDecision=227000 #constraints=47668 674.70/675.06 c nbDecision=227500 #constraints=47805 678.20/678.57 c nbDecision=228000 #constraints=48087 681.60/681.91 c nbDecision=228500 #constraints=48561 685.29/685.65 c nbDecision=229000 #constraints=49031 689.30/689.65 c nbDecision=229500 #constraints=49384 691.40/691.75 c nbDecision=230000 #constraints=49391 693.59/693.94 c nbDecision=230500 #constraints=49461 695.79/696.16 c nbDecision=231000 #constraints=49470 697.69/698.03 c nbDecision=231500 #constraints=49478 699.89/700.22 c nbDecision=232000 #constraints=49496 702.09/702.41 c nbDecision=232500 #constraints=49508 704.99/705.32 c nbDecision=233000 #constraints=49552 707.19/707.51 c nbDecision=233500 #constraints=49572 710.00/710.37 c nbDecision=234000 #constraints=49670 711.90/712.26 c nbDecision=234500 #constraints=49682 713.99/714.37 c nbDecision=235000 #constraints=49713 716.79/717.11 c nbDecision=235500 #constraints=49765 723.09/723.42 c nbDecision=236000 #constraints=50070 733.89/734.20 c nbDecision=236500 #constraints=50456 747.08/747.43 c nbDecision=237000 #constraints=50925 759.98/760.38 c nbDecision=237500 #constraints=51351 773.98/774.31 c nbDecision=238000 #constraints=51802 788.18/788.52 c nbDecision=238500 #constraints=52272 803.87/804.28 c nbDecision=239000 #constraints=52736 814.86/815.28 c nbDecision=239500 #constraints=53138 822.67/823.08 c nbDecision=240000 #constraints=53576 831.16/831.55 c nbDecision=240500 #constraints=54011 840.36/840.76 c nbDecision=241000 #constraints=54446 850.26/850.63 c nbDecision=241500 #constraints=54898 861.35/861.70 c nbDecision=242000 #constraints=55373 868.65/869.03 c nbDecision=242500 #constraints=55817 875.44/875.85 c nbDecision=243000 #constraints=56292 882.34/882.78 c nbDecision=243500 #constraints=56742 889.55/889.92 c nbDecision=244000 #constraints=57185 894.55/894.95 c nbDecision=244500 #constraints=57661 898.44/898.87 c nbDecision=245000 #constraints=57885 903.13/903.52 c nbDecision=245500 #constraints=58234 910.84/911.24 c nbDecision=246000 #constraints=58606 918.14/918.58 c nbDecision=246500 #constraints=58879 926.84/927.26 c nbDecision=247000 #constraints=59162 932.63/933.00 c nbDecision=247500 #constraints=59372 938.33/938.73 c nbDecision=248000 #constraints=59726 943.63/944.01 c nbDecision=248500 #constraints=59876 951.73/952.10 c nbDecision=249000 #constraints=60275 957.23/957.60 c nbDecision=249500 #constraints=60451 963.42/963.86 c nbDecision=250000 #constraints=60796 968.82/969.23 c nbDecision=250500 #constraints=61080 973.42/973.88 c nbDecision=251000 #constraints=61352 978.01/978.44 c nbDecision=251500 #constraints=61586 982.21/982.68 c nbDecision=252000 #constraints=61658 986.11/986.57 c nbDecision=252500 #constraints=61737 992.51/992.98 c nbDecision=253000 #constraints=61961 997.82/998.23 c nbDecision=253500 #constraints=62097 1001.31/1001.72 c nbDecision=254000 #constraints=62167 1004.81/1005.22 c nbDecision=254500 #constraints=62238 1011.62/1012.04 c nbDecision=255000 #constraints=62669 1017.31/1017.76 c nbDecision=255500 #constraints=62962 1019.71/1020.11 c nbDecision=256000 #constraints=62978 1022.10/1022.56 c nbDecision=256500 #constraints=63003 1026.91/1027.36 c nbDecision=257000 #constraints=63230 1030.61/1031.02 c nbDecision=257500 #constraints=63422 1035.00/1035.45 c nbDecision=258000 #constraints=63519 1037.70/1038.16 c nbDecision=258500 #constraints=63557 1040.30/1040.79 c nbDecision=259000 #constraints=63580 1043.20/1043.65 c nbDecision=259500 #constraints=63620 1045.70/1046.19 c nbDecision=260000 #constraints=63651 1048.00/1048.40 c nbDecision=260500 #constraints=63658 1051.50/1051.92 c nbDecision=261000 #constraints=63710 1053.79/1054.22 c nbDecision=261500 #constraints=63726 1056.29/1056.74 c nbDecision=262000 #constraints=63735 1058.69/1059.16 c nbDecision=262500 #constraints=63743 1061.49/1061.93 c nbDecision=263000 #constraints=63789 1063.79/1064.30 c nbDecision=263500 #constraints=63807 1066.20/1066.65 c nbDecision=264000 #constraints=63827 1068.70/1069.20 c nbDecision=264500 #constraints=63839 1071.30/1071.77 c nbDecision=265000 #constraints=63849 1073.50/1073.99 c nbDecision=265500 #constraints=63855 1076.40/1076.86 c nbDecision=266000 #constraints=63882 1079.00/1079.41 c nbDecision=266500 #constraints=63901 1081.59/1082.07 c nbDecision=267000 #constraints=63937 1084.39/1084.84 c nbDecision=267500 #constraints=63967 1087.19/1087.66 c nbDecision=268000 #constraints=64011 1089.49/1089.95 c nbDecision=268500 #constraints=64022 1092.19/1092.65 c nbDecision=269000 #constraints=64066 1095.10/1095.52 c nbDecision=269500 #constraints=64087 1097.40/1097.82 c nbDecision=270000 #constraints=64096 1100.79/1101.26 c nbDecision=270500 #constraints=64137 1103.19/1103.66 c nbDecision=271000 #constraints=64163 1106.19/1106.65 c nbDecision=271500 #constraints=64226 1109.29/1109.77 c nbDecision=272000 #constraints=64305 1112.09/1112.57 c nbDecision=272500 #constraints=64359 1116.28/1116.71 c nbDecision=273000 #constraints=64448 1125.88/1126.36 c nbDecision=273500 #constraints=64739 1131.58/1132.08 c nbDecision=274000 #constraints=64902 1138.58/1139.08 c nbDecision=274500 #constraints=65367 1146.17/1146.68 c nbDecision=275000 #constraints=65834 1153.48/1153.97 c nbDecision=275500 #constraints=66211 1169.37/1169.82 c nbDecision=276000 #constraints=66616 1186.47/1186.95 c nbDecision=276500 #constraints=67047 1203.75/1204.24 c nbDecision=277000 #constraints=67492 1220.76/1221.28 c nbDecision=277500 #constraints=67954 1239.84/1240.39 c nbDecision=278000 #constraints=68428 1262.94/1263.46 c nbDecision=278500 #constraints=68919 1271.94/1272.41 c nbDecision=279000 #constraints=69089 1276.54/1277.07 c nbDecision=279500 #constraints=69188 1279.73/1280.21 c nbDecision=280000 #constraints=69264 1285.64/1286.19 c nbDecision=280500 #constraints=69602 1288.24/1288.70 c nbDecision=281000 #constraints=69619 1292.83/1293.35 c nbDecision=281500 #constraints=69989 1298.04/1298.58 c nbDecision=282000 #constraints=70243 1301.94/1302.46 c nbDecision=282500 #constraints=70293 1306.43/1306.92 c nbDecision=283000 #constraints=70394 1311.53/1312.04 c nbDecision=283500 #constraints=70511 1317.53/1318.09 c nbDecision=284000 #constraints=70708 1320.54/1321.10 c nbDecision=284500 #constraints=70751 1324.13/1324.62 c nbDecision=285000 #constraints=70820 1329.03/1329.50 c nbDecision=285500 #constraints=71083 1335.03/1335.51 c nbDecision=286000 #constraints=71241 1338.42/1338.97 c nbDecision=286500 #constraints=71274 1348.82/1349.39 c nbDecision=287000 #constraints=71604 1351.62/1352.16 c nbDecision=287500 #constraints=71609 1364.52/1365.09 c nbDecision=288000 #constraints=71993 1373.91/1374.44 c nbDecision=288500 #constraints=72197 1376.71/1377.21 c nbDecision=289000 #constraints=72202 1379.71/1380.25 c nbDecision=289500 #constraints=72208 1392.71/1393.23 c nbDecision=290000 #constraints=72548 1409.21/1409.77 c nbDecision=290500 #constraints=72977 1422.20/1422.78 c nbDecision=291000 #constraints=73301 1429.10/1429.61 c nbDecision=291500 #constraints=73478 1432.30/1432.84 c nbDecision=292000 #constraints=73502 1435.70/1436.21 c nbDecision=292500 #constraints=73508 1439.40/1439.99 c nbDecision=293000 #constraints=73549 1442.60/1443.19 c nbDecision=293500 #constraints=73557 1447.49/1448.08 c nbDecision=294000 #constraints=73688 1450.79/1451.34 c nbDecision=294500 #constraints=73696 1454.70/1455.28 c nbDecision=295000 #constraints=73746 1459.79/1460.32 c nbDecision=295500 #constraints=73796 1462.99/1463.56 c nbDecision=296000 #constraints=73808 1466.59/1467.17 c nbDecision=296500 #constraints=73824 1469.69/1470.23 c nbDecision=297000 #constraints=73831 1472.99/1473.56 c nbDecision=297500 #constraints=73840 1476.59/1477.10 c nbDecision=298000 #constraints=73866 1479.68/1480.28 c nbDecision=298500 #constraints=73873 1482.68/1483.26 c nbDecision=299000 #constraints=73883 1485.98/1486.53 c nbDecision=299500 #constraints=73891 1488.79/1489.39 c nbDecision=300000 #constraints=73898 1492.28/1492.82 c nbDecision=300500 #constraints=73908 1495.68/1496.21 c nbDecision=301000 #constraints=73915 1498.28/1498.86 c nbDecision=301500 #constraints=73920 1501.48/1502.09 c nbDecision=302000 #constraints=73928 1504.88/1505.41 c nbDecision=302500 #constraints=73935 1507.68/1508.24 c nbDecision=303000 #constraints=73940 1510.38/1510.91 c nbDecision=303500 #constraints=73945 1514.08/1514.63 c nbDecision=304000 #constraints=74023 1520.87/1521.43 c nbDecision=304500 #constraints=74172 1524.17/1524.76 c nbDecision=305000 #constraints=74189 1527.07/1527.63 c nbDecision=305500 #constraints=74204 1530.57/1531.15 c nbDecision=306000 #constraints=74235 1533.47/1534.03 c nbDecision=306500 #constraints=74252 1536.36/1536.98 c nbDecision=307000 #constraints=74262 1539.76/1540.35 c nbDecision=307500 #constraints=74275 1543.06/1543.61 c nbDecision=308000 #constraints=74292 1546.66/1547.21 c nbDecision=308500 #constraints=74313 1550.06/1550.61 c nbDecision=309000 #constraints=74340 1553.36/1553.93 c nbDecision=309500 #constraints=74351 1556.26/1556.86 c nbDecision=310000 #constraints=74359 1560.26/1560.90 c nbDecision=310500 #constraints=74410 1563.25/1563.82 c nbDecision=311000 #constraints=74417 1566.55/1567.12 c nbDecision=311500 #constraints=74429 1569.45/1570.07 c nbDecision=312000 #constraints=74438 1573.06/1573.61 c nbDecision=312500 #constraints=74470 1576.16/1576.74 c nbDecision=313000 #constraints=74501 1579.66/1580.28 c nbDecision=313500 #constraints=74518 1583.26/1583.80 c nbDecision=314000 #constraints=74549 1586.46/1587.09 c nbDecision=314500 #constraints=74558 1590.16/1590.72 c nbDecision=315000 #constraints=74577 1593.15/1593.75 c nbDecision=315500 #constraints=74590 1596.35/1596.91 c nbDecision=316000 #constraints=74611 1600.35/1600.95 c nbDecision=316500 #constraints=74649 1603.85/1604.42 c nbDecision=317000 #constraints=74681 1607.05/1607.63 c nbDecision=317500 #constraints=74697 1610.85/1611.49 c nbDecision=318000 #constraints=74724 1614.65/1615.24 c nbDecision=318500 #constraints=74747 1617.75/1618.30 c nbDecision=319000 #constraints=74766 1625.34/1625.92 c nbDecision=319500 #constraints=74922 1632.34/1632.99 c nbDecision=320000 #constraints=75214 1640.74/1641.37 c nbDecision=320500 #constraints=75652 1649.64/1650.29 c nbDecision=321000 #constraints=76091 1659.93/1660.59 c nbDecision=321500 #constraints=76557 1670.83/1671.47 c nbDecision=322000 #constraints=77029 1682.13/1682.76 c nbDecision=322500 #constraints=77498 1692.12/1692.78 c nbDecision=323000 #constraints=77785 1702.52/1703.12 c nbDecision=323500 #constraints=78025 1711.92/1712.57 c nbDecision=324000 #constraints=78241 1718.12/1718.72 c nbDecision=324500 #constraints=78336 1729.41/1730.03 c nbDecision=325000 #constraints=78750 1741.61/1742.21 c nbDecision=325500 #constraints=79190 1753.61/1754.29 c nbDecision=326000 #constraints=79620 1767.61/1768.28 c nbDecision=326500 #constraints=80100 1782.50/1783.18 c nbDecision=327000 #constraints=80569 1800.00/1800.60 Received signal 15 1800.00/1800.70 1800.00/1800.70 s UNKNOWN 1800.00/1800.70 1800.00/1800.70 c user time= 1799.2 s 1800.00/1800.70 c system time= 0.91586 s 1800.00/1800.70 c wall clock time=1800.71
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node50/watcher-356890-1176847211 -o ROOT/results/node50/solver-356890-1176847211 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356890-1176847211/instance-356890-1176847211.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.92 0.98 0.99 3/64 3932 /proc/meminfo: memFree=1491248/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=1620 CPUtime=0 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 39566271 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 405 175 126 317 0 84 0 [startup+0.025103 s] /proc/loadavg: 0.92 0.98 0.99 3/64 3932 /proc/meminfo: memFree=1491248/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=1880 CPUtime=0.02 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 301 0 0 0 2 0 0 0 18 0 1 0 39566271 1925120 250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 470 250 127 317 0 149 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1880 [startup+0.101109 s] /proc/loadavg: 0.92 0.98 0.99 3/64 3932 /proc/meminfo: memFree=1491248/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=3360 CPUtime=0.09 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 661 0 0 0 9 0 0 0 18 0 1 0 39566271 3440640 610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 840 610 131 317 0 519 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3360 [startup+0.301126 s] /proc/loadavg: 0.92 0.98 0.99 3/64 3932 /proc/meminfo: memFree=1491248/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=7700 CPUtime=0.29 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 1770 0 0 0 29 0 0 0 19 0 1 0 39566271 7884800 1719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710967 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 1925 1719 137 317 0 1604 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7700 [startup+0.701161 s] /proc/loadavg: 0.92 0.98 0.99 3/64 3932 /proc/meminfo: memFree=1491248/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=8492 CPUtime=0.69 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 1943 0 0 0 69 0 0 0 22 0 1 0 39566271 8695808 1892 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 2123 1892 138 317 0 1802 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8492 [startup+1.50123 s] /proc/loadavg: 0.93 0.98 0.99 2/65 3933 /proc/meminfo: memFree=1484136/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=8492 CPUtime=1.49 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 1945 0 0 0 149 0 0 0 25 0 1 0 39566271 8695808 1894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 2123 1894 138 317 0 1802 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8492 [startup+3.10137 s] /proc/loadavg: 0.93 0.98 0.99 2/65 3933 /proc/meminfo: memFree=1484008/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=8492 CPUtime=3.08 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 1952 0 0 0 308 0 0 0 25 0 1 0 39566271 8695808 1901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 2123 1901 138 317 0 1802 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 8492 [startup+6.30165 s] /proc/loadavg: 0.93 0.98 0.99 2/65 3933 /proc/meminfo: memFree=1479536/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=15212 CPUtime=6.28 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 3624 0 0 0 627 1 0 0 25 0 1 0 39566271 15577088 3573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 3803 3573 139 317 0 3482 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 15212 [startup+12.7012 s] /proc/loadavg: 0.94 0.98 0.99 2/65 3933 /proc/meminfo: memFree=1468208/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=24432 CPUtime=12.69 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 5925 0 0 0 1266 3 0 0 25 0 1 0 39566271 25018368 5874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 6108 5874 139 317 0 5787 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24432 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/65 3933 /proc/meminfo: memFree=1451952/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=41180 CPUtime=25.48 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 9969 0 0 0 2543 5 0 0 25 0 1 0 39566271 42168320 9918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 10295 9918 139 317 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 41180 [startup+51.1026 s] /proc/loadavg: 0.96 0.98 0.99 2/71 3959 /proc/meminfo: memFree=1429376/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=62860 CPUtime=51.07 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 15389 0 0 0 5097 10 0 0 25 0 1 0 39566271 64368640 15281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 15715 15281 139 317 0 15394 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 62860 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/71 4111 /proc/meminfo: memFree=1379328/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=113256 CPUtime=102.17 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 27822 0 0 0 10200 17 0 0 25 0 1 0 39566271 115974144 27714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 28314 27714 139 317 0 27993 0 Current children cumulated CPU time (s) 102.17 Current children cumulated vsize (KiB) 113256 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4131 /proc/meminfo: memFree=1330224/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=164384 CPUtime=162.13 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 40422 0 0 0 16187 26 0 0 25 0 1 0 39566271 168329216 40200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 41096 40200 139 317 0 40775 0 Current children cumulated CPU time (s) 162.13 Current children cumulated vsize (KiB) 164384 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4131 /proc/meminfo: memFree=1304176/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=190612 CPUtime=222.12 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 46881 0 0 0 22182 30 0 0 25 0 1 0 39566271 195186688 46659 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 47653 46659 139 317 0 47332 0 Current children cumulated CPU time (s) 222.12 Current children cumulated vsize (KiB) 190612 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4131 /proc/meminfo: memFree=1279024/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=215548 CPUtime=282.11 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 53176 0 0 0 28175 36 0 0 25 0 1 0 39566271 220721152 52954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 53887 52954 139 317 0 53566 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 215548 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4131 /proc/meminfo: memFree=1261808/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=233944 CPUtime=342.09 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 57733 0 0 0 34170 39 0 0 25 0 1 0 39566271 239558656 57252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 58486 57252 139 317 0 58165 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 233944 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4131 /proc/meminfo: memFree=1247920/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=249436 CPUtime=402.07 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 61169 0 0 0 40165 42 0 0 25 0 1 0 39566271 255422464 60688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 62359 60688 139 317 0 62038 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 249436 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4133 /proc/meminfo: memFree=1234864/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=263020 CPUtime=462.06 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 64473 0 0 0 46161 45 0 0 25 0 1 0 39566271 269332480 63992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604377 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 65755 63992 139 317 0 65434 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 263020 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4133 /proc/meminfo: memFree=1225584/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=271568 CPUtime=522.04 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 66792 0 0 0 52157 47 0 0 25 0 1 0 39566271 278085632 66311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 67892 66311 139 317 0 67571 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 271568 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4133 /proc/meminfo: memFree=1207536/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=290116 CPUtime=582.03 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 71297 0 0 0 58154 49 0 0 25 0 1 0 39566271 297078784 70816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 72529 70816 139 317 0 72208 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 290116 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4133 /proc/meminfo: memFree=1190064/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=308548 CPUtime=642.01 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 75683 0 0 0 64150 51 0 0 25 0 1 0 39566271 315953152 75202 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 77137 75202 170 317 0 76816 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 308548 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4133 /proc/meminfo: memFree=1115376/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=384452 CPUtime=881.94 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 94362 0 0 0 88131 63 0 0 25 0 1 0 39566271 393678848 93881 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 96113 93881 170 317 0 95792 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 384452 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4133 /proc/meminfo: memFree=1095280/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=404360 CPUtime=941.93 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 99348 0 0 0 94126 67 0 0 25 0 1 0 39566271 414064640 98867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 101090 98867 170 317 0 100769 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 404360 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4133 /proc/meminfo: memFree=1078256/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=421336 CPUtime=1001.91 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 103525 0 0 0 100122 69 0 0 25 0 1 0 39566271 431448064 103044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 105334 103044 170 317 0 105013 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 421336 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4133 /proc/meminfo: memFree=1066352/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=433520 CPUtime=1061.89 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 106505 0 0 0 106118 71 0 0 25 0 1 0 39566271 443924480 106024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 108380 106024 170 317 0 108059 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 433520 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4133 /proc/meminfo: memFree=1059696/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=441240 CPUtime=1121.88 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 108193 0 0 0 112116 72 0 0 25 0 1 0 39566271 451829760 107712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 110310 107712 170 317 0 109989 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 441240 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4133 /proc/meminfo: memFree=1043440/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=460128 CPUtime=1181.86 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 112817 0 0 0 118112 74 0 0 25 0 1 0 39566271 471171072 111820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 115032 111820 170 317 0 114711 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 460128 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4133 /proc/meminfo: memFree=1034160/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=468564 CPUtime=1241.85 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 115071 0 0 0 124109 76 0 0 25 0 1 0 39566271 479809536 114074 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 117141 114074 170 317 0 116820 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 468564 [startup+1302.3 s] /proc/loadavg: 1.06 1.00 1.00 2/65 4133 /proc/meminfo: memFree=1023152/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=479352 CPUtime=1301.84 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 117793 0 0 0 130106 78 0 0 25 0 1 0 39566271 490856448 116796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 119838 116796 170 317 0 119517 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 479352 [startup+1362.3 s] /proc/loadavg: 1.08 1.01 1.00 2/65 4133 /proc/meminfo: memFree=1012784/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=489132 CPUtime=1361.82 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 120425 0 0 0 136102 80 0 0 25 0 1 0 39566271 500871168 119428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 122283 119428 170 317 0 121962 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 489132 [startup+1422.31 s] /proc/loadavg: 1.03 1.01 1.00 2/65 4133 /proc/meminfo: memFree=1002160/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=500592 CPUtime=1421.8 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 123040 0 0 0 142098 82 0 0 25 0 1 0 39566271 512606208 122043 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 125148 122043 170 317 0 124827 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 500592 [startup+1482.3 s] /proc/loadavg: 1.01 1.00 1.00 2/65 4133 /proc/meminfo: memFree=998512/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=504104 CPUtime=1481.78 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 123983 0 0 0 148095 83 0 0 25 0 1 0 39566271 516202496 122986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 126026 122986 170 317 0 125705 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 504104 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4133 /proc/meminfo: memFree=996144/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=506344 CPUtime=1541.76 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 124554 0 0 0 154093 83 0 0 25 0 1 0 39566271 518496256 123557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 126586 123557 170 317 0 126265 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 506344 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4133 /proc/meminfo: memFree=993392/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=509912 CPUtime=1601.75 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 125248 0 0 0 160091 84 0 0 25 0 1 0 39566271 522149888 124251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 127478 124251 170 317 0 127157 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 509912 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4133 /proc/meminfo: memFree=980784/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=522780 CPUtime=1661.73 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 128407 0 0 0 166087 86 0 0 25 0 1 0 39566271 535326720 127410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 130695 127410 170 317 0 130374 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 522780 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4133 /proc/meminfo: memFree=969264/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=535508 CPUtime=1721.72 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 131307 0 0 0 172084 88 0 0 25 0 1 0 39566271 548360192 130310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 133877 130310 170 317 0 133556 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 535508 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4133 /proc/meminfo: memFree=956592/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=547568 CPUtime=1781.7 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 134425 0 0 0 178080 90 0 0 25 0 1 0 39566271 560709632 133428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 136892 133428 170 317 0 136571 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 547568 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4133 /proc/meminfo: memFree=953520/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=550436 CPUtime=1800 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 135198 0 0 0 179909 91 0 0 25 0 1 0 39566271 563646464 134201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 137609 134201 170 317 0 137288 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 550436 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4133 /proc/meminfo: memFree=953520/2055920 swapFree=4183816/4192956 [pid=3932] ppid=3930 vsize=0 CPUtime=1800.2 /proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194308 135219 0 0 0 179921 99 0 0 25 0 1 0 39566271 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3932/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.81 CPU time (s): 1800.21 CPU user time (s): 1799.21 CPU system time (s): 0.999848 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (KiB): 550436 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.21 system time used= 0.999848 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 135219 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= 4049 runsolver used 1.35479 second user time and 3.66444 second system time The end
Begin job on node50 on Tue Apr 17 22:00:11 UTC 2007 IDJOB= 356890 IDBENCH= 1599 IDSOLVER= 172 FILE ID= node50/356890-1176847211 PBS_JOBID= 4590164 Free space on /tmp= 66541 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-tr12-30.opb COMMAND LINE= oree /tmp/evaluation/356890-1176847211/instance-356890-1176847211.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-356890-1176847211 -o ROOT/results/node50/solver-356890-1176847211 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356890-1176847211/instance-356890-1176847211.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 012c11861136c422cb8bda81e1d7561a RANDOM SEED= 343890347 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node50.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1491592 kB Buffers: 39804 kB Cached: 449312 kB SwapCached: 3272 kB Active: 162188 kB Inactive: 336788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1491592 kB SwapTotal: 4192956 kB SwapFree: 4183816 kB Dirty: 1972 kB Writeback: 0 kB Mapped: 15568 kB Slab: 51288 kB Committed_AS: 998924 kB PageTables: 1460 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= 66541 MiB End job on node50 on Tue Apr 17 22:30:14 UTC 2007