Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 99149 | 1800.09 | 1800.54 |
Name | normalized-PB07/OPT-SMALLINT-LIN/ submittedPB07/aksoy/trarea_ac/normalized-fir01_trarea_ac.opb |
MD5SUM | 93d57e3cf3bbcca358fa3998d0198f54 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 13949 |
Best CPU time to get the best result obtained on this benchmark | 0.019996 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 13949 |
Optimality of the best value was proved | YES |
Number of variables | 256 |
Total number of constraints | 351 |
Number of constraints which are clauses | 351 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 21 |
Number of terms in the objective function | 152 |
Biggest coefficient in the objective function | 1848 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 235098 |
Number of bits of the sum of numbers in the objective function | 18 |
Biggest number in a constraint | 1848 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 235098 |
Number of bits of the biggest sum of numbers | 18 |
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.00 c ...done 0.00/0.00 c #vars=256 #constraints=352 hasObjective=yes 0.00/0.00 c res. mode=mod 0.00/0.00 c VSIDS like heuristics 0.00/0.00 c complete search running 0.00/0.00 c nbDecision=138 #constraints=352 0.00/0.00 c linear search for optimum 0.00/0.00 o 129761 0.00/0.00 c nbDecision=138 #constraints=353 0.00/0.00 o 129579 0.00/0.00 c nbDecision=139 #constraints=355 0.00/0.00 o 129532 0.00/0.00 c nbDecision=139 #constraints=356 0.00/0.00 o 129350 0.00/0.01 c nbDecision=139 #constraints=358 0.00/0.01 o 129292 0.00/0.01 c nbDecision=199 #constraints=364 0.00/0.01 o 129254 0.00/0.01 c nbDecision=200 #constraints=366 0.00/0.01 o 129207 0.00/0.01 c nbDecision=200 #constraints=367 0.00/0.01 o 129025 0.00/0.01 c nbDecision=200 #constraints=369 0.00/0.01 o 128967 0.00/0.02 c nbDecision=390 #constraints=389 0.00/0.02 o 128038 0.00/0.02 c nbDecision=390 #constraints=390 0.00/0.02 o 127856 0.00/0.02 c nbDecision=391 #constraints=392 0.00/0.02 o 127809 0.00/0.03 c nbDecision=391 #constraints=393 0.00/0.03 o 127627 0.00/0.03 c nbDecision=391 #constraints=395 0.00/0.03 o 127569 0.00/0.03 c restart after 401 decisions 0.00/0.03 c nbDecision=500 #constraints=401 0.00/0.03 c nbDecision=537 #constraints=401 0.00/0.03 o 127531 0.00/0.03 c nbDecision=538 #constraints=403 0.00/0.03 o 127484 0.00/0.03 c nbDecision=538 #constraints=404 0.00/0.03 o 127302 0.00/0.03 c nbDecision=538 #constraints=406 0.00/0.03 o 127244 0.00/0.05 c restart after 801 decisions 0.00/0.07 c nbDecision=1000 #constraints=454 0.00/0.08 c nbDecision=1187 #constraints=468 0.00/0.08 o 126564 0.00/0.08 c nbDecision=1187 #constraints=469 0.00/0.08 o 126382 0.00/0.08 c nbDecision=1188 #constraints=471 0.00/0.08 o 126335 0.00/0.08 c nbDecision=1188 #constraints=472 0.00/0.08 o 126153 0.00/0.08 c nbDecision=1188 #constraints=474 0.00/0.08 o 126095 0.00/0.08 c nbDecision=1248 #constraints=480 0.00/0.08 o 126057 0.00/0.08 c nbDecision=1249 #constraints=482 0.00/0.08 o 126010 0.00/0.08 c nbDecision=1249 #constraints=483 0.00/0.08 o 125828 0.00/0.08 c nbDecision=1249 #constraints=485 0.00/0.08 o 125770 0.09/0.11 c nbDecision=1500 #constraints=525 0.09/0.12 c restart after 1601 decisions 0.09/0.15 c nbDecision=2000 #constraints=574 0.09/0.18 c nbDecision=2212 #constraints=599 0.09/0.18 o 125761 0.09/0.18 c nbDecision=2212 #constraints=600 0.09/0.18 o 125579 0.09/0.18 c nbDecision=2212 #constraints=602 0.09/0.18 o 125521 0.19/0.20 c nbDecision=2500 #constraints=636 0.19/0.25 c nbDecision=3000 #constraints=699 0.19/0.27 c restart after 3201 decisions 0.29/0.30 c nbDecision=3500 #constraints=745 0.29/0.35 c nbDecision=4000 #constraints=802 0.29/0.37 c nbDecision=4189 #constraints=824 0.29/0.37 o 125463 0.29/0.37 c nbDecision=4189 #constraints=826 0.29/0.37 o 125405 0.39/0.41 c nbDecision=4500 #constraints=867 0.39/0.44 c nbDecision=4856 #constraints=902 0.39/0.44 o 124725 0.39/0.44 c nbDecision=4856 #constraints=903 0.39/0.44 o 124543 0.39/0.45 c nbDecision=4857 #constraints=905 0.39/0.45 o 124496 0.39/0.45 c nbDecision=4857 #constraints=906 0.39/0.45 o 124314 0.39/0.45 c nbDecision=4857 #constraints=908 0.39/0.45 o 124256 0.39/0.45 c nbDecision=4916 #constraints=914 0.39/0.45 o 124218 0.39/0.45 c nbDecision=4917 #constraints=916 0.39/0.45 o 124171 0.39/0.45 c nbDecision=4917 #constraints=917 0.39/0.45 o 123989 0.39/0.45 c nbDecision=4917 #constraints=919 0.39/0.45 o 123931 0.39/0.46 c nbDecision=5000 #constraints=932 0.49/0.52 c nbDecision=5500 #constraints=988 0.49/0.54 c nbDecision=5668 #constraints=1007 0.49/0.54 o 123922 0.49/0.54 c nbDecision=5668 #constraints=1008 0.49/0.54 o 123740 0.49/0.54 c nbDecision=5668 #constraints=1010 0.49/0.54 o 123682 0.49/0.59 c nbDecision=6000 #constraints=1053 0.59/0.64 c restart after 6401 decisions 0.59/0.66 c nbDecision=6500 #constraints=1100 0.69/0.73 c nbDecision=7000 #constraints=1165 0.79/0.80 c nbDecision=7500 #constraints=1223 0.79/0.88 c nbDecision=8000 #constraints=1285 0.89/0.97 c nbDecision=8500 #constraints=1342 0.99/1.04 c nbDecision=9000 #constraints=1398 1.10/1.14 c nbDecision=9500 #constraints=1458 1.10/1.15 c nbDecision=9613 #constraints=1465 1.10/1.15 o 122753 1.10/1.15 c nbDecision=9613 #constraints=1466 1.10/1.15 o 122571 1.10/1.15 c nbDecision=9614 #constraints=1468 1.10/1.15 o 122524 1.10/1.15 c nbDecision=9614 #constraints=1469 1.10/1.15 o 122342 1.10/1.15 c nbDecision=9614 #constraints=1471 1.10/1.15 o 122284 1.10/1.16 c nbDecision=9674 #constraints=1477 1.10/1.16 o 122246 1.10/1.16 c nbDecision=9675 #constraints=1479 1.10/1.16 o 122199 1.10/1.16 c nbDecision=9675 #constraints=1480 1.10/1.16 o 122017 1.10/1.16 c nbDecision=9675 #constraints=1482 1.10/1.16 o 121959 1.20/1.22 c nbDecision=10000 #constraints=1520 1.29/1.31 c nbDecision=10500 #constraints=1577 1.49/1.52 c nbDecision=11000 #constraints=1675 1.59/1.63 c nbDecision=11500 #constraints=1732 1.69/1.73 c nbDecision=12000 #constraints=1795 1.79/1.84 c nbDecision=12500 #constraints=1852 1.89/1.92 c restart after 12801 decisions 1.99/2.07 c nbDecision=13000 #constraints=1925 2.19/2.23 c nbDecision=13500 #constraints=1994 2.39/2.49 c nbDecision=14000 #constraints=2079 2.49/2.53 c nbDecision=14137 #constraints=2091 2.49/2.53 o 121927 2.49/2.53 c nbDecision=14137 #constraints=2093 2.49/2.53 o 121869 2.59/2.63 c nbDecision=14500 #constraints=2141 2.79/2.80 c nbDecision=15000 #constraints=2202 2.89/2.96 c nbDecision=15500 #constraints=2266 3.09/3.12 c nbDecision=16000 #constraints=2326 3.09/3.12 c nbDecision=16032 #constraints=2326 3.09/3.12 o 121189 3.09/3.12 c nbDecision=16032 #constraints=2327 3.09/3.12 o 121007 3.09/3.12 c nbDecision=16033 #constraints=2329 3.09/3.12 o 120960 3.09/3.12 c nbDecision=16033 #constraints=2330 3.09/3.12 o 120778 3.09/3.12 c nbDecision=16033 #constraints=2332 3.09/3.12 o 120720 3.09/3.14 c nbDecision=16093 #constraints=2338 3.09/3.14 o 120682 3.09/3.14 c nbDecision=16094 #constraints=2340 3.09/3.14 o 120635 3.09/3.14 c nbDecision=16094 #constraints=2341 3.09/3.14 o 120453 3.09/3.14 c nbDecision=16094 #constraints=2343 3.09/3.14 o 120395 3.29/3.34 c nbDecision=16500 #constraints=2406 3.68/3.71 c nbDecision=17000 #constraints=2499 4.28/4.36 c nbDecision=17500 #constraints=2614 4.39/4.46 c nbDecision=17852 #constraints=2650 4.39/4.46 o 120386 4.39/4.46 c nbDecision=17852 #constraints=2651 4.39/4.46 o 120204 4.39/4.46 c nbDecision=17852 #constraints=2653 4.39/4.46 o 120146 4.49/4.52 c nbDecision=18000 #constraints=2673 4.69/4.72 c nbDecision=18500 #constraints=2737 4.79/4.87 c nbDecision=19000 #constraints=2793 4.99/5.04 c nbDecision=19500 #constraints=2850 5.50/5.59 c nbDecision=20000 #constraints=2946 5.79/5.82 c nbDecision=20500 #constraints=3009 6.19/6.26 c nbDecision=21000 #constraints=3091 6.39/6.49 c nbDecision=21500 #constraints=3153 6.69/6.77 c nbDecision=22000 #constraints=3216 6.99/7.05 c nbDecision=22500 #constraints=3276 7.19/7.25 c nbDecision=22989 #constraints=3332 7.19/7.25 o 119466 7.19/7.25 c nbDecision=22989 #constraints=3333 7.19/7.25 o 119284 7.19/7.25 c nbDecision=22990 #constraints=3335 7.19/7.25 o 119237 7.19/7.25 c nbDecision=22990 #constraints=3336 7.19/7.25 o 119055 7.19/7.25 c nbDecision=22990 #constraints=3338 7.19/7.25 o 118997 7.19/7.27 c nbDecision=23000 #constraints=3344 7.19/7.27 c nbDecision=23049 #constraints=3344 7.19/7.27 o 118959 7.19/7.27 c nbDecision=23050 #constraints=3346 7.19/7.27 o 118912 7.19/7.27 c nbDecision=23050 #constraints=3347 7.19/7.27 o 118730 7.19/7.27 c nbDecision=23050 #constraints=3349 7.19/7.27 o 118672 7.49/7.57 c nbDecision=23500 #constraints=3409 8.38/8.42 c nbDecision=24000 #constraints=3525 8.99/9.09 c nbDecision=24411 #constraints=3597 8.99/9.09 o 118663 8.99/9.09 c nbDecision=24411 #constraints=3598 8.99/9.09 o 118481 8.99/9.09 c nbDecision=24411 #constraints=3600 8.99/9.09 o 118423 9.09/9.14 c nbDecision=24500 #constraints=3613 9.39/9.44 c nbDecision=25000 #constraints=3677 9.79/9.88 c nbDecision=25500 #constraints=3742 9.89/9.94 c restart after 25601 decisions 10.29/10.34 c nbDecision=26000 #constraints=3791 10.49/10.58 c nbDecision=26500 #constraints=3847 11.59/11.69 c nbDecision=27000 #constraints=3969 13.08/13.12 c nbDecision=27500 #constraints=4104 13.48/13.57 c nbDecision=27974 #constraints=4160 13.48/13.57 o 118420 13.48/13.58 c nbDecision=27974 #constraints=4162 13.48/13.58 o 118362 13.58/13.63 c nbDecision=28000 #constraints=4170 13.88/13.97 c nbDecision=28500 #constraints=4226 14.89/14.91 c nbDecision=29000 #constraints=4322 15.19/15.28 c nbDecision=29500 #constraints=4386 15.49/15.56 c nbDecision=30000 #constraints=4442 15.78/15.84 c nbDecision=30500 #constraints=4498 16.59/16.63 c nbDecision=31000 #constraints=4587 18.38/18.47 c nbDecision=31500 #constraints=4721 18.79/18.83 c nbDecision=32000 #constraints=4781 19.18/19.30 c nbDecision=32500 #constraints=4842 19.58/19.61 c nbDecision=33000 #constraints=4898 19.89/19.97 c nbDecision=33500 #constraints=4954 20.29/20.34 c nbDecision=34000 #constraints=5017 20.69/20.76 c nbDecision=34500 #constraints=5078 21.99/22.07 c nbDecision=35000 #constraints=5170 22.59/22.70 c nbDecision=35500 #constraints=5239 22.89/22.93 c nbDecision=35752 #constraints=5266 22.89/22.93 o 118327 23.09/23.13 c nbDecision=36000 #constraints=5293 23.59/23.67 c nbDecision=36500 #constraints=5358 23.99/24.04 c nbDecision=37000 #constraints=5414 24.39/24.46 c nbDecision=37500 #constraints=5477 24.89/24.99 c nbDecision=38000 #constraints=5535 25.59/25.67 c nbDecision=38500 #constraints=5602 26.29/26.31 c nbDecision=39000 #constraints=5670 26.69/26.73 c nbDecision=39500 #constraints=5726 27.08/27.14 c nbDecision=40000 #constraints=5782 27.28/27.37 c nbDecision=40261 #constraints=5810 27.28/27.37 o 117682 27.28/27.37 c nbDecision=40261 #constraints=5811 27.28/27.37 o 117500 27.28/27.37 c nbDecision=40262 #constraints=5813 27.28/27.37 o 117453 27.28/27.37 c nbDecision=40262 #constraints=5814 27.28/27.37 o 117271 27.28/27.37 c nbDecision=40262 #constraints=5816 27.28/27.37 o 117213 27.38/27.42 c nbDecision=40321 #constraints=5822 27.38/27.42 o 117175 27.38/27.42 c nbDecision=40322 #constraints=5824 27.38/27.42 o 117128 27.38/27.42 c nbDecision=40322 #constraints=5825 27.38/27.42 o 116946 27.38/27.42 c nbDecision=40322 #constraints=5827 27.38/27.42 o 116888 27.59/27.61 c nbDecision=40500 #constraints=5854 28.28/28.30 c nbDecision=41000 #constraints=5919 28.98/29.04 c nbDecision=41265 #constraints=5957 28.98/29.04 o 116879 28.98/29.04 c nbDecision=41265 #constraints=5958 28.98/29.04 o 116697 28.98/29.04 c nbDecision=41265 #constraints=5960 28.98/29.04 o 116639 29.18/29.27 c nbDecision=41500 #constraints=5987 29.88/29.91 c nbDecision=42000 #constraints=6051 30.28/30.36 c nbDecision=42500 #constraints=6107 30.79/30.81 c nbDecision=43000 #constraints=6163 32.68/32.72 c nbDecision=43500 #constraints=6293 37.08/37.12 c nbDecision=44000 #constraints=6494 38.18/38.25 c nbDecision=44500 #constraints=6564 38.98/39.08 c nbDecision=45000 #constraints=6633 39.68/39.76 c nbDecision=45500 #constraints=6696 40.28/40.32 c nbDecision=46000 #constraints=6754 40.88/40.92 c nbDecision=46500 #constraints=6813 42.98/43.01 c nbDecision=47000 #constraints=6912 43.78/43.84 c nbDecision=47500 #constraints=6972 44.98/45.03 c nbDecision=48000 #constraints=7058 48.48/48.59 c nbDecision=48500 #constraints=7211 49.17/49.28 c nbDecision=49000 #constraints=7273 49.77/49.87 c nbDecision=49500 #constraints=7335 50.37/50.48 c nbDecision=50000 #constraints=7397 52.18/52.28 c nbDecision=50500 #constraints=7493 53.08/53.12 c nbDecision=51000 #constraints=7555 53.58/53.67 c restart after 51201 decisions 56.48/56.51 c nbDecision=51500 #constraints=7667 59.97/60.10 c nbDecision=52000 #constraints=7793 61.47/61.52 c nbDecision=52500 #constraints=7867 62.17/62.23 c nbDecision=53000 #constraints=7923 65.17/65.28 c nbDecision=53500 #constraints=8036 65.87/65.99 c nbDecision=54000 #constraints=8089 66.07/66.18 c nbDecision=54142 #constraints=8105 66.07/66.18 o 116604 66.57/66.66 c nbDecision=54500 #constraints=8146 70.08/70.14 c nbDecision=55000 #constraints=8274 71.27/71.34 c nbDecision=55500 #constraints=8337 72.77/72.84 c nbDecision=56000 #constraints=8413 74.67/74.72 c nbDecision=56500 #constraints=8493 75.77/75.85 c nbDecision=57000 #constraints=8557 77.27/77.30 c nbDecision=57500 #constraints=8628 78.17/78.25 c nbDecision=58000 #constraints=8692 79.07/79.18 c nbDecision=58500 #constraints=8747 79.28/79.37 c nbDecision=58619 #constraints=8761 79.28/79.37 o 115994 79.28/79.38 c nbDecision=58619 #constraints=8762 79.28/79.38 o 115812 79.28/79.38 c nbDecision=58620 #constraints=8764 79.28/79.38 o 115765 79.28/79.38 c nbDecision=58620 #constraints=8765 79.28/79.38 o 115583 79.28/79.38 c nbDecision=58620 #constraints=8767 79.28/79.38 o 115525 79.37/79.46 c nbDecision=58679 #constraints=8773 79.37/79.46 o 115487 79.37/79.46 c nbDecision=58680 #constraints=8775 79.37/79.46 o 115440 79.37/79.46 c nbDecision=58680 #constraints=8776 79.37/79.46 o 115258 79.37/79.47 c nbDecision=58680 #constraints=8778 79.37/79.47 o 115200 81.07/81.18 c nbDecision=59000 #constraints=8842 81.87/81.95 c nbDecision=59409 #constraints=8886 81.87/81.95 o 115191 81.87/81.95 c nbDecision=59409 #constraints=8887 81.87/81.95 o 115009 81.87/81.96 c nbDecision=59409 #constraints=8889 81.87/81.96 o 114951 82.07/82.13 c nbDecision=59500 #constraints=8902 84.97/85.07 c nbDecision=60000 #constraints=9011 89.57/89.61 c nbDecision=60500 #constraints=9149 90.77/90.87 c nbDecision=61000 #constraints=9211 91.97/92.07 c nbDecision=61500 #constraints=9276 94.37/94.42 c nbDecision=62000 #constraints=9365 96.37/96.45 c nbDecision=62500 #constraints=9441 98.86/98.96 c nbDecision=63000 #constraints=9534 101.76/101.86 c nbDecision=63500 #constraints=9641 103.56/103.66 c nbDecision=64000 #constraints=9712 104.86/104.96 c nbDecision=64500 #constraints=9777 106.56/106.69 c nbDecision=65000 #constraints=9850 108.36/108.45 c nbDecision=65500 #constraints=9922 109.66/109.71 c nbDecision=66000 #constraints=9987 110.76/110.90 c nbDecision=66500 #constraints=10043 110.86/110.92 c nbDecision=66508 #constraints=10045 110.86/110.92 o 114916 111.66/111.71 c nbDecision=67000 #constraints=10100 113.26/113.32 c nbDecision=67500 #constraints=10173 113.96/114.09 c nbDecision=68000 #constraints=10229 114.46/114.55 c nbDecision=68296 #constraints=10257 114.46/114.55 o 114306 114.46/114.55 c nbDecision=68296 #constraints=10258 114.46/114.55 o 114124 114.46/114.55 c nbDecision=68297 #constraints=10260 114.46/114.55 o 114077 114.46/114.55 c nbDecision=68297 #constraints=10261 114.46/114.55 o 113895 114.46/114.56 c nbDecision=68297 #constraints=10263 114.46/114.56 o 113837 114.56/114.65 c nbDecision=68356 #constraints=10269 114.56/114.65 o 113799 114.56/114.65 c nbDecision=68357 #constraints=10271 114.56/114.65 o 113752 114.56/114.65 c nbDecision=68357 #constraints=10272 114.56/114.65 o 113570 114.56/114.65 c nbDecision=68357 #constraints=10274 114.56/114.66 o 113512 114.96/115.09 c nbDecision=68500 #constraints=10298 116.56/116.68 c nbDecision=69000 #constraints=10362 116.56/116.68 c nbDecision=69000 #constraints=10362 116.56/116.68 o 113503 116.56/116.68 c nbDecision=69000 #constraints=10363 116.56/116.68 o 113321 116.56/116.69 c nbDecision=69000 #constraints=10365 116.56/116.69 o 113263 119.76/119.82 c nbDecision=69500 #constraints=10482 128.56/128.65 c nbDecision=70000 #constraints=10737 131.26/131.37 c nbDecision=70500 #constraints=10828 133.65/133.73 c nbDecision=71000 #constraints=10907 135.36/135.42 c nbDecision=71500 #constraints=10976 139.05/139.11 c nbDecision=72000 #constraints=11080 143.05/143.16 c nbDecision=72500 #constraints=11188 146.56/146.64 c nbDecision=73000 #constraints=11284 150.35/150.46 c nbDecision=73500 #constraints=11390 152.96/153.02 c nbDecision=74000 #constraints=11467 155.85/155.97 c nbDecision=74500 #constraints=11555 157.15/157.29 c nbDecision=75000 #constraints=11612 157.65/157.71 c nbDecision=75224 #constraints=11633 157.65/157.71 o 112632 157.65/157.71 c nbDecision=75224 #constraints=11634 157.65/157.71 o 112450 157.65/157.71 c nbDecision=75225 #constraints=11636 157.65/157.71 o 112403 157.65/157.71 c nbDecision=75225 #constraints=11637 157.65/157.71 o 112221 157.65/157.72 c nbDecision=75225 #constraints=11639 157.65/157.72 o 112163 159.35/159.46 c nbDecision=75500 #constraints=11692 164.55/164.68 c nbDecision=76000 #constraints=11828 169.04/169.13 c nbDecision=76304 #constraints=11931 169.04/169.13 o 112125 169.04/169.14 c nbDecision=76304 #constraints=11933 169.04/169.14 o 112067 170.24/170.39 c nbDecision=76500 #constraints=11971 174.35/174.40 c nbDecision=77000 #constraints=12077 179.14/179.21 c nbDecision=77500 #constraints=12202 182.74/182.88 c nbDecision=78000 #constraints=12299 186.24/186.31 c nbDecision=78500 #constraints=12390 188.34/188.49 c nbDecision=79000 #constraints=12458 188.84/188.93 c nbDecision=79225 #constraints=12480 188.84/188.93 o 112044 188.84/188.94 c nbDecision=79225 #constraints=12482 188.84/188.94 o 111986 189.24/189.34 c nbDecision=79415 #constraints=12502 189.24/189.34 o 111097 189.24/189.34 c nbDecision=79415 #constraints=12503 189.24/189.34 o 110915 189.24/189.34 c nbDecision=79416 #constraints=12505 189.24/189.34 o 110868 189.24/189.35 c nbDecision=79416 #constraints=12506 189.24/189.35 o 110686 189.24/189.35 c nbDecision=79416 #constraints=12508 189.24/189.35 o 110628 189.94/190.06 c nbDecision=79500 #constraints=12532 194.44/194.54 c nbDecision=79960 #constraints=12643 194.44/194.54 o 110619 194.44/194.54 c nbDecision=79960 #constraints=12644 194.44/194.54 o 110437 194.44/194.54 c nbDecision=79960 #constraints=12646 194.44/194.54 o 110379 194.54/194.67 c nbDecision=80000 #constraints=12652 202.84/202.90 c nbDecision=80500 #constraints=12872 208.94/209.09 c nbDecision=80877 #constraints=13013 208.94/209.09 o 110355 210.23/210.34 c nbDecision=81000 #constraints=13048 213.04/213.10 c nbDecision=81500 #constraints=13128 222.83/222.94 c nbDecision=82000 #constraints=13362 226.13/226.29 c nbDecision=82500 #constraints=13453 232.23/232.34 c nbDecision=83000 #constraints=13611 238.13/238.22 c nbDecision=83500 #constraints=13751 243.63/243.70 c nbDecision=84000 #constraints=13906 249.63/249.75 c nbDecision=84500 #constraints=14058 253.52/253.61 c nbDecision=85000 #constraints=14155 255.32/255.40 c nbDecision=85448 #constraints=14212 255.32/255.40 o 110332 255.32/255.41 c nbDecision=85448 #constraints=14214 255.32/255.41 o 110274 255.42/255.53 c nbDecision=85500 #constraints=14220 256.33/256.43 c nbDecision=85887 #constraints=14262 256.33/256.43 o 109385 256.33/256.43 c nbDecision=85887 #constraints=14263 256.33/256.43 o 109203 256.33/256.43 c nbDecision=85888 #constraints=14265 256.33/256.43 o 109156 256.33/256.43 c nbDecision=85888 #constraints=14266 256.33/256.43 o 108974 256.33/256.44 c nbDecision=85888 #constraints=14268 256.33/256.44 o 108916 257.63/257.72 c nbDecision=86000 #constraints=14301 258.72/258.89 c nbDecision=86154 #constraints=14327 258.72/258.89 o 108907 258.72/258.89 c nbDecision=86154 #constraints=14328 258.72/258.89 o 108725 258.82/258.90 c nbDecision=86154 #constraints=14330 258.82/258.90 o 108667 262.42/262.52 c nbDecision=86500 #constraints=14416 271.92/272.06 c nbDecision=87000 #constraints=14645 283.22/283.39 c nbDecision=87500 #constraints=14906 288.72/288.81 c nbDecision=88000 #constraints=15023 296.81/296.91 c nbDecision=88500 #constraints=15216 304.31/304.44 c nbDecision=89000 #constraints=15381 304.51/304.64 c nbDecision=89122 #constraints=15389 304.51/304.64 o 108664 304.51/304.64 c nbDecision=89122 #constraints=15390 304.51/304.64 o 108482 304.51/304.65 c nbDecision=89122 #constraints=15392 304.51/304.65 o 108424 309.81/309.94 c nbDecision=89500 #constraints=15497 319.11/319.24 c nbDecision=90000 #constraints=15670 325.61/325.70 c nbDecision=90500 #constraints=15800 330.61/330.78 c nbDecision=91000 #constraints=15912 333.21/333.35 c nbDecision=91500 #constraints=15985 335.01/335.18 c nbDecision=92000 #constraints=16042 335.41/335.56 c nbDecision=92146 #constraints=16056 335.41/335.56 o 107721 335.41/335.56 c nbDecision=92146 #constraints=16057 335.41/335.56 o 107539 335.41/335.56 c nbDecision=92147 #constraints=16059 335.41/335.56 o 107492 335.41/335.56 c nbDecision=92147 #constraints=16060 335.41/335.56 o 107310 335.41/335.57 c nbDecision=92147 #constraints=16062 335.41/335.57 o 107252 342.50/342.60 c nbDecision=92500 #constraints=16189 342.50/342.61 c nbDecision=92500 #constraints=16191 342.50/342.61 o 107228 352.30/352.42 c nbDecision=93000 #constraints=16368 359.20/359.34 c nbDecision=93500 #constraints=16500 364.89/365.04 c nbDecision=94000 #constraints=16612 364.99/365.10 c nbDecision=94055 #constraints=16614 364.99/365.10 o 107193 367.41/367.57 c nbDecision=94389 #constraints=16668 367.41/367.57 o 107185 367.41/367.58 c nbDecision=94390 #constraints=16670 367.41/367.58 o 107138 367.41/367.58 c nbDecision=94390 #constraints=16671 367.41/367.58 o 106956 367.41/367.59 c nbDecision=94390 #constraints=16673 367.41/367.59 o 106898 367.70/367.89 c nbDecision=94500 #constraints=16686 370.19/370.37 c nbDecision=95000 #constraints=16758 370.79/370.98 c nbDecision=95250 #constraints=16779 370.79/370.98 o 106009 370.79/370.98 c nbDecision=95250 #constraints=16780 370.79/370.98 o 105827 370.79/370.99 c nbDecision=95251 #constraints=16782 370.79/370.99 o 105780 370.79/370.99 c nbDecision=95251 #constraints=16783 370.79/370.99 o 105598 370.89/371.00 c nbDecision=95251 #constraints=16785 370.89/371.00 o 105540 378.20/378.32 c nbDecision=95500 #constraints=16925 389.59/389.75 c nbDecision=96000 #constraints=17151 400.49/400.64 c nbDecision=96500 #constraints=17370 411.19/411.30 c nbDecision=97000 #constraints=17571 417.58/417.73 c nbDecision=97500 #constraints=17701 423.38/423.56 c nbDecision=98000 #constraints=17809 426.48/426.65 c nbDecision=98500 #constraints=17887 427.28/427.49 c nbDecision=98666 #constraints=17905 427.28/427.49 o 105482 427.38/427.50 c nbDecision=98666 #constraints=17907 427.38/427.50 o 105424 428.68/428.86 c nbDecision=99000 #constraints=17952 429.28/429.48 c nbDecision=99240 #constraints=17973 429.28/429.48 o 104535 429.28/429.48 c nbDecision=99240 #constraints=17974 429.28/429.48 o 104353 429.28/429.48 c nbDecision=99241 #constraints=17976 429.28/429.48 o 104306 429.28/429.48 c nbDecision=99241 #constraints=17977 429.28/429.48 o 104124 429.28/429.49 c nbDecision=99241 #constraints=17979 429.28/429.49 o 104066 437.38/437.56 c nbDecision=99500 #constraints=18122 449.28/449.45 c nbDecision=100000 #constraints=18346 461.07/461.29 c nbDecision=100500 #constraints=18553 473.48/473.62 c nbDecision=101000 #constraints=18798 483.27/483.47 c nbDecision=101500 #constraints=18960 491.47/491.70 c nbDecision=102000 #constraints=19108 495.86/496.07 c restart after 102401 decisions 499.56/499.73 c nbDecision=102500 #constraints=19234 514.16/514.30 c nbDecision=103000 #constraints=19476 528.46/528.65 c nbDecision=103500 #constraints=19759 541.35/541.58 c nbDecision=104000 #constraints=19976 549.65/549.81 c nbDecision=104500 #constraints=20113 558.75/558.97 c nbDecision=105000 #constraints=20272 564.84/565.05 c nbDecision=105500 #constraints=20380 569.45/569.68 c nbDecision=106000 #constraints=20478 571.75/571.95 c nbDecision=106500 #constraints=20539 572.15/572.37 c nbDecision=106650 #constraints=20555 572.15/572.37 o 104058 572.75/572.95 c nbDecision=106840 #constraints=20575 572.75/572.95 o 103169 572.75/572.95 c nbDecision=106840 #constraints=20576 572.75/572.95 o 102987 572.75/572.96 c nbDecision=106841 #constraints=20578 572.75/572.96 o 102940 572.75/572.96 c nbDecision=106841 #constraints=20579 572.75/572.96 o 102758 572.75/572.97 c nbDecision=106841 #constraints=20581 572.75/572.97 o 102700 580.55/580.79 c nbDecision=107000 #constraints=20677 607.44/607.69 c nbDecision=107500 #constraints=20983 631.63/631.82 c nbDecision=108000 #constraints=21255 636.13/636.35 c nbDecision=108231 #constraints=21306 636.13/636.35 o 102690 636.13/636.35 c nbDecision=108231 #constraints=21307 636.13/636.35 o 102508 636.13/636.36 c nbDecision=108231 #constraints=21309 636.13/636.36 o 102450 638.73/638.93 c nbDecision=108500 #constraints=21348 654.33/654.56 c nbDecision=109000 #constraints=21547 672.52/672.72 c nbDecision=109500 #constraints=21760 689.92/690.13 c nbDecision=109944 #constraints=21953 689.92/690.13 o 102412 690.12/690.39 c nbDecision=110000 #constraints=21959 708.41/708.65 c nbDecision=110500 #constraints=22157 712.71/712.91 c nbDecision=110675 #constraints=22200 712.71/712.91 o 102377 720.70/720.97 c nbDecision=111000 #constraints=22296 727.81/728.06 c nbDecision=111310 #constraints=22373 727.81/728.06 o 102221 727.81/728.07 c nbDecision=111310 #constraints=22375 727.81/728.07 o 102163 731.61/731.85 c nbDecision=111500 #constraints=22433 743.60/743.87 c nbDecision=112000 #constraints=22591 743.70/743.90 c nbDecision=112050 #constraints=22593 743.70/743.90 o 102125 754.30/754.58 c nbDecision=112500 #constraints=22734 772.89/773.10 c nbDecision=113000 #constraints=22943 790.39/790.67 c nbDecision=113500 #constraints=23139 806.29/806.54 c nbDecision=114000 #constraints=23305 816.69/816.96 c nbDecision=114500 #constraints=23429 825.18/825.43 c nbDecision=115000 #constraints=23529 830.18/830.41 c nbDecision=115500 #constraints=23607 832.78/833.00 c nbDecision=116000 #constraints=23664 833.08/833.35 c nbDecision=116120 #constraints=23671 833.08/833.35 o 101266 833.08/833.35 c nbDecision=116120 #constraints=23672 833.08/833.35 o 101084 833.08/833.36 c nbDecision=116121 #constraints=23674 833.08/833.36 o 101037 833.08/833.36 c nbDecision=116121 #constraints=23675 833.08/833.36 o 100855 833.08/833.37 c nbDecision=116121 #constraints=23677 833.08/833.37 o 100797 851.47/851.75 c nbDecision=116500 #constraints=23879 872.37/872.68 c nbDecision=117000 #constraints=24091 888.77/889.06 c nbDecision=117500 #constraints=24265 903.46/903.72 c nbDecision=118000 #constraints=24419 915.26/915.59 c nbDecision=118500 #constraints=24551 923.15/923.44 c nbDecision=118978 #constraints=24666 923.15/923.44 o 100759 923.35/923.68 c nbDecision=119000 #constraints=24672 941.76/942.01 c nbDecision=119500 #constraints=24873 966.95/967.28 c nbDecision=120000 #constraints=25161 990.25/990.52 c nbDecision=120497 #constraints=25390 990.25/990.52 o 100733 990.45/990.74 c nbDecision=120500 #constraints=25396 1007.54/1007.81 c nbDecision=121000 #constraints=25572 1022.14/1022.43 c nbDecision=121500 #constraints=25715 1034.73/1035.08 c nbDecision=122000 #constraints=25857 1045.03/1045.36 c nbDecision=122500 #constraints=25989 1048.03/1048.36 c nbDecision=122689 #constraints=26026 1048.03/1048.36 o 100695 1054.52/1054.80 c nbDecision=123000 #constraints=26113 1081.61/1081.92 c nbDecision=123500 #constraints=26399 1101.62/1101.97 c nbDecision=124000 #constraints=26603 1116.41/1116.72 c nbDecision=124500 #constraints=26770 1127.01/1127.37 c nbDecision=125000 #constraints=26892 1137.90/1138.23 c nbDecision=125500 #constraints=27022 1145.80/1146.12 c nbDecision=126000 #constraints=27132 1165.40/1165.71 c nbDecision=126500 #constraints=27364 1185.69/1186.02 c nbDecision=127000 #constraints=27565 1203.99/1204.33 c nbDecision=127500 #constraints=27742 1204.99/1205.30 c nbDecision=127582 #constraints=27752 1204.99/1205.30 o 100667 1216.08/1216.42 c nbDecision=128000 #constraints=27877 1231.08/1231.42 c nbDecision=128500 #constraints=28048 1241.69/1242.02 c nbDecision=129000 #constraints=28171 1241.98/1242.35 c nbDecision=129104 #constraints=28180 1241.98/1242.35 o 100629 1254.48/1254.87 c nbDecision=129500 #constraints=28317 1283.67/1284.04 c nbDecision=130000 #constraints=28615 1309.76/1310.11 c nbDecision=130500 #constraints=28860 1310.66/1311.07 c nbDecision=130582 #constraints=28870 1310.66/1311.07 o 100617 1324.25/1324.69 c nbDecision=131000 #constraints=29003 1342.56/1342.90 c nbDecision=131500 #constraints=29192 1354.15/1354.57 c nbDecision=132000 #constraints=29309 1366.85/1367.26 c nbDecision=132500 #constraints=29454 1372.84/1373.21 c nbDecision=132802 #constraints=29524 1372.84/1373.21 o 100579 1373.94/1374.38 c nbDecision=133000 #constraints=29551 1393.95/1394.38 c nbDecision=133500 #constraints=29793 1424.44/1424.88 c nbDecision=134000 #constraints=30103 1447.73/1448.16 c nbDecision=134500 #constraints=30318 1458.23/1458.67 c nbDecision=135000 #constraints=30435 1477.32/1477.76 c nbDecision=135500 #constraints=30614 1499.81/1500.23 c nbDecision=136000 #constraints=30832 1516.71/1517.10 c nbDecision=136500 #constraints=31003 1533.61/1534.05 c nbDecision=137000 #constraints=31177 1544.90/1545.40 c nbDecision=137500 #constraints=31293 1551.10/1551.57 c nbDecision=138000 #constraints=31366 1551.10/1551.59 c nbDecision=138001 #constraints=31368 1551.10/1551.59 o 100545 1556.70/1557.17 c nbDecision=138500 #constraints=31447 1558.70/1559.10 c nbDecision=138922 #constraints=31489 1558.70/1559.10 o 99656 1558.70/1559.10 c nbDecision=138922 #constraints=31490 1558.70/1559.10 o 99474 1558.70/1559.11 c nbDecision=138923 #constraints=31492 1558.70/1559.11 o 99427 1558.70/1559.11 c nbDecision=138923 #constraints=31493 1558.70/1559.11 o 99245 1558.70/1559.12 c nbDecision=138923 #constraints=31495 1558.70/1559.12 o 99187 1560.30/1560.76 c nbDecision=139000 #constraints=31515 1588.79/1589.25 c nbDecision=139500 #constraints=31783 1610.99/1611.41 c nbDecision=140000 #constraints=31984 1630.28/1630.71 c nbDecision=140500 #constraints=32158 1642.48/1642.94 c nbDecision=141000 #constraints=32275 1656.18/1656.64 c nbDecision=141500 #constraints=32423 1662.47/1662.97 c nbDecision=141823 #constraints=32500 1662.47/1662.97 o 99149 1663.37/1663.88 c nbDecision=142000 #constraints=32520 1689.07/1689.55 c nbDecision=142500 #constraints=32779 1721.36/1721.81 c nbDecision=143000 #constraints=33072 1746.75/1747.21 c nbDecision=143500 #constraints=33297 1765.65/1766.17 c nbDecision=144000 #constraints=33474 1788.55/1789.05 c nbDecision=144500 #constraints=33674 1800.04/1800.50 Received signal 15 1800.04/1800.51 1800.04/1800.51 s SATISFIABLE 1800.04/1800.51 v -x1 -x2 -x3 -x4 x5 -x6 -x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 1800.04/1800.51 v -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 1800.04/1800.51 v -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 x85 1800.04/1800.51 v -x86 -x87 -x88 -x89 -x90 x91 x92 -x93 -x94 -x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 -x108 x109 x110 -x111 -x112 1800.04/1800.51 v -x113 x114 x115 x116 x117 x118 x119 x120 x121 -x122 x123 x124 -x125 x126 x127 x128 x129 x130 x131 -x132 x133 x134 x135 x136 -x137 1800.04/1800.51 v x138 x139 -x140 -x141 x142 x143 -x144 x145 x146 -x147 -x148 x149 x150 x151 x152 -x153 x154 x155 x156 x157 x158 x159 -x160 -x161 1800.04/1800.51 v x162 x163 x164 x165 x166 x167 x168 x169 -x170 x171 x172 -x173 x174 x175 -x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 1800.04/1800.51 v -x187 -x188 x189 x190 x191 x192 -x193 x194 x195 x196 x197 x198 x199 -x200 x201 x202 -x203 -x204 -x205 x206 x207 x208 x209 x210 1800.04/1800.51 v x211 -x212 x213 x214 -x215 -x216 -x217 x218 x219 x220 x221 x222 x223 x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 x233 1800.04/1800.51 v -x234 x235 x236 x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 x252 x253 x254 x255 1800.04/1800.51 v -x256 1800.04/1800.51 1800.04/1800.51 c user time= 1799.69 s 1800.04/1800.51 c system time= 0.373943 s 1800.04/1800.51 c wall clock time=1800.51
OK 99149
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-373161-1177173038 -o ROOT/results/node60/solver-373161-1177173038 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/373161-1177173038/instance-373161-1177173038.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.95 0.98 0.99 3/64 17762 /proc/meminfo: memFree=1772560/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=1468 CPUtime=0 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 199 0 0 0 0 0 0 0 18 0 1 0 165213748 1503232 181 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134602853 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 367 181 137 317 0 46 0 [startup+0.101782 s] /proc/loadavg: 0.95 0.98 0.99 3/64 17762 /proc/meminfo: memFree=1772560/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=2252 CPUtime=0.09 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 426 0 0 0 9 0 0 0 18 0 1 0 165213748 2306048 408 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 563 408 170 317 0 242 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2252 [startup+0.201791 s] /proc/loadavg: 0.95 0.98 0.99 3/64 17762 /proc/meminfo: memFree=1772560/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=2912 CPUtime=0.19 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 585 0 0 0 19 0 0 0 18 0 1 0 165213748 2981888 567 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 728 567 170 317 0 407 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 2912 [startup+0.301801 s] /proc/loadavg: 0.95 0.98 0.99 3/64 17762 /proc/meminfo: memFree=1772560/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=3432 CPUtime=0.29 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 693 0 0 0 29 0 0 0 19 0 1 0 165213748 3514368 675 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 858 675 170 317 0 537 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3432 [startup+0.701839 s] /proc/loadavg: 0.95 0.98 0.99 3/64 17762 /proc/meminfo: memFree=1772560/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=5260 CPUtime=0.69 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 1151 0 0 0 69 0 0 0 22 0 1 0 165213748 5386240 1133 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 1315 1133 170 317 0 994 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5260 [startup+1.50192 s] /proc/loadavg: 0.95 0.98 0.99 2/65 17763 /proc/meminfo: memFree=1767176/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=7772 CPUtime=1.49 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 1754 0 0 0 149 0 0 0 25 0 1 0 165213748 7958528 1736 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 1943 1736 170 317 0 1622 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7772 [startup+3.10108 s] /proc/loadavg: 0.95 0.98 0.99 2/65 17763 /proc/meminfo: memFree=1764808/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=10352 CPUtime=3.09 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 2417 0 0 0 309 0 0 0 25 0 1 0 165213748 10600448 2399 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 2588 2399 170 317 0 2267 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10352 [startup+6.30239 s] /proc/loadavg: 0.95 0.98 0.99 2/65 17763 /proc/meminfo: memFree=1760280/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=14492 CPUtime=6.29 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 3370 0 0 0 628 1 0 0 25 0 1 0 165213748 14839808 3352 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 3623 3352 170 317 0 3302 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14492 [startup+12.702 s] /proc/loadavg: 0.96 0.98 0.99 2/65 17763 /proc/meminfo: memFree=1755968/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=18128 CPUtime=12.69 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 4356 0 0 0 1267 2 0 0 25 0 1 0 165213748 18563072 4338 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 4532 4338 170 317 0 4211 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18128 [startup+25.5013 s] /proc/loadavg: 0.96 0.98 0.99 2/65 17763 /proc/meminfo: memFree=1748552/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=26096 CPUtime=25.49 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 6149 0 0 0 2545 4 0 0 25 0 1 0 165213748 26722304 6131 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 6524 6131 170 317 0 6203 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 26096 [startup+51.1018 s] /proc/loadavg: 0.98 0.98 0.99 2/65 17763 /proc/meminfo: memFree=1741128/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=33088 CPUtime=51.07 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 8050 0 0 0 5102 5 0 0 25 0 1 0 165213748 33882112 8032 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 8272 8032 170 317 0 7951 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 33088 [startup+102.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17763 /proc/meminfo: memFree=1730120/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=46076 CPUtime=102.27 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 10812 0 0 0 10219 8 0 0 25 0 1 0 165213748 47181824 10737 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 11519 10737 170 317 0 11198 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 46076 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17763 /proc/meminfo: memFree=1721736/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=53884 CPUtime=162.25 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 12907 0 0 0 16215 10 0 0 25 0 1 0 165213748 55177216 12832 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563993 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 13471 12832 170 317 0 13150 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 53884 [startup+222.306 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17763 /proc/meminfo: memFree=1715400/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=59696 CPUtime=222.24 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 14465 0 0 0 22212 12 0 0 25 0 1 0 165213748 61128704 14390 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 14924 14390 170 317 0 14603 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 59696 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17763 /proc/meminfo: memFree=1709448/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=65348 CPUtime=282.22 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 15973 0 0 0 28208 14 0 0 25 0 1 0 165213748 66916352 15898 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 16337 15898 170 317 0 16016 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 65348 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17763 /proc/meminfo: memFree=1704328/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=70064 CPUtime=342.2 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 17226 0 0 0 34205 15 0 0 25 0 1 0 165213748 71745536 17151 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 17516 17151 170 317 0 17195 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 70064 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17763 /proc/meminfo: memFree=1697544/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=83180 CPUtime=402.19 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 20181 0 0 0 40202 17 0 0 25 0 1 0 165213748 85176320 18837 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 20795 18837 170 317 0 20474 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 83180 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17763 /proc/meminfo: memFree=1692936/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=87344 CPUtime=462.17 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 21320 0 0 0 46199 18 0 0 25 0 1 0 165213748 89440256 19976 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716163 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 21836 19976 170 317 0 21515 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 87344 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17763 /proc/meminfo: memFree=1688840/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=91160 CPUtime=522.16 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 22362 0 0 0 52196 20 0 0 25 0 1 0 165213748 93347840 21018 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 22790 21018 170 317 0 22469 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 91160 [startup+582.301 s] /proc/loadavg: 1.06 1.00 1.00 2/65 17765 /proc/meminfo: memFree=1684552/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=95072 CPUtime=582.15 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 23412 0 0 0 58194 21 0 0 25 0 1 0 165213748 97353728 22068 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 23768 22068 170 317 0 23447 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 95072 [startup+642.302 s] /proc/loadavg: 1.07 1.01 1.00 2/65 17765 /proc/meminfo: memFree=1681736/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=97412 CPUtime=642.13 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 24127 0 0 0 64192 21 0 0 25 0 1 0 165213748 99749888 22783 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712565 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 24353 22783 170 317 0 24032 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 97412 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.06 1.05 1.01 2/65 17765 /proc/meminfo: memFree=1673416/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=105084 CPUtime=822.09 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 26221 0 0 0 82185 24 0 0 25 0 1 0 165213748 107606016 24844 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 26271 24844 170 317 0 25950 0 Current children cumulated CPU time (s) 822.09 Current children cumulated vsize (KiB) 105084 [startup+882.306 s] /proc/loadavg: 1.02 1.04 1.00 2/65 17765 /proc/meminfo: memFree=1670664/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=107552 CPUtime=882.07 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 26893 0 0 0 88183 24 0 0 25 0 1 0 165213748 110133248 25516 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 26888 25516 170 317 0 26567 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 107552 [startup+942.301 s] /proc/loadavg: 1.01 1.03 1.00 2/65 17765 /proc/meminfo: memFree=1668104/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=109888 CPUtime=942.06 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 27552 0 0 0 94180 26 0 0 25 0 1 0 165213748 112525312 26175 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 27472 26175 170 317 0 27151 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 109888 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 17765 /proc/meminfo: memFree=1665416/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=112100 CPUtime=1002.04 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 28208 0 0 0 100177 27 0 0 25 0 1 0 165213748 114790400 26831 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 28025 26831 170 317 0 27704 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 112100 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 17765 /proc/meminfo: memFree=1662792/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=114424 CPUtime=1062.02 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 28860 0 0 0 106175 27 0 0 25 0 1 0 165213748 117170176 27483 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 28606 27483 170 317 0 28285 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 114424 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 17765 /proc/meminfo: memFree=1660360/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=116756 CPUtime=1122.01 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 29473 0 0 0 112173 28 0 0 25 0 1 0 165213748 119558144 28096 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 29189 28096 170 317 0 28868 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 116756 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17765 /proc/meminfo: memFree=1657480/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=119212 CPUtime=1181.99 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 30193 0 0 0 118170 29 0 0 25 0 1 0 165213748 122073088 28816 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 29803 28816 170 317 0 29482 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 119212 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17765 /proc/meminfo: memFree=1654920/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=121524 CPUtime=1241.98 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 30822 0 0 0 124168 30 0 0 25 0 1 0 165213748 124440576 29445 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 30381 29445 170 317 0 30060 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 121524 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17765 /proc/meminfo: memFree=1652616/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=123596 CPUtime=1301.96 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 31408 0 0 0 130166 30 0 0 25 0 1 0 165213748 126562304 30031 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 30899 30031 170 317 0 30578 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 123596 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17765 /proc/meminfo: memFree=1650312/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=125680 CPUtime=1361.95 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 31988 0 0 0 136164 31 0 0 25 0 1 0 165213748 128696320 30611 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 31420 30611 170 317 0 31099 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 125680 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17765 /proc/meminfo: memFree=1647368/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=128152 CPUtime=1421.94 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 32693 0 0 0 142162 32 0 0 25 0 1 0 165213748 131227648 31316 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 32038 31316 170 317 0 31717 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 128152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17765 /proc/meminfo: memFree=1645256/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=130224 CPUtime=1481.92 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 33251 0 0 0 148160 32 0 0 25 0 1 0 165213748 133349376 31874 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 32556 31874 170 317 0 32235 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 130224 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17765 /proc/meminfo: memFree=1642888/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=132284 CPUtime=1541.91 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 33828 0 0 0 154158 33 0 0 25 0 1 0 165213748 135458816 32451 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 33071 32451 170 317 0 32750 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 132284 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17765 /proc/meminfo: memFree=1640392/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=134616 CPUtime=1601.89 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 34438 0 0 0 160155 34 0 0 25 0 1 0 165213748 137846784 33061 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 33654 33061 170 317 0 33333 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 134616 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17765 /proc/meminfo: memFree=1638152/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=136552 CPUtime=1661.87 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 35004 0 0 0 166153 34 0 0 25 0 1 0 165213748 139829248 33627 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 34138 33627 170 317 0 33817 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 136552 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17765 /proc/meminfo: memFree=1634952/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=140696 CPUtime=1721.86 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 36041 0 0 0 172151 35 0 0 25 0 1 0 165213748 144072704 34372 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 35174 34372 170 317 0 34853 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 140696 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17765 /proc/meminfo: memFree=1632200/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=156860 CPUtime=1781.84 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 39698 0 0 0 178148 36 0 0 25 0 1 0 165213748 160624640 35104 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 39215 35104 170 317 0 38894 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 156860 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17765 /proc/meminfo: memFree=1631368/2055920 swapFree=4183236/4192956 [pid=17762] ppid=17760 vsize=157504 CPUtime=1800.04 /proc/17762/stat : 17762 (oree) R 17760 17762 16446 0 -1 4194304 39910 0 0 0 179967 37 0 0 25 0 1 0 165213748 161284096 35316 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17762/statm: 39376 35316 170 317 0 39055 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 157504 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.54 CPU time (s): 1800.09 CPU user time (s): 1799.69 CPU system time (s): 0.398939 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 157504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.69 system time used= 0.398939 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39926 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= 1427 runsolver used 1.35679 second user time and 3.64045 second system time The end
Begin job on node60 on Sat Apr 21 16:30:38 UTC 2007 IDJOB= 373161 IDBENCH= 25023 IDSOLVER= 172 FILE ID= node60/373161-1177173038 PBS_JOBID= 4648949 Free space on /tmp= 66416 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir01_trarea_ac.opb COMMAND LINE= oree /tmp/evaluation/373161-1177173038/instance-373161-1177173038.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-373161-1177173038 -o ROOT/results/node60/solver-373161-1177173038 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/373161-1177173038/instance-373161-1177173038.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 93d57e3cf3bbcca358fa3998d0198f54 RANDOM SEED= 662797606 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.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.214 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.214 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: 1773032 kB Buffers: 52308 kB Cached: 161952 kB SwapCached: 3476 kB Active: 124216 kB Inactive: 100172 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1773032 kB SwapTotal: 4192956 kB SwapFree: 4183236 kB Dirty: 1540 kB Writeback: 0 kB Mapped: 16060 kB Slab: 44504 kB Committed_AS: 2468416 kB PageTables: 1468 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= 66416 MiB End job on node60 on Sat Apr 21 17:00:40 UTC 2007