Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 14745600 | 1800.2 | 1800.73 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-flugpl.opb |
MD5SUM | 0999192fc93f1a0347078df6cc5d3945 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 14745600 |
Best CPU time to get the best result obtained on this benchmark | 0.038993 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 14745600 |
Optimality of the best value was proved | YES |
Number of variables | 265 |
Total number of constraints | 29 |
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 | 29 |
Minimum length of a constraint | 5 |
Maximum length of a constraint | 65 |
Number of terms in the objective function | 265 |
Biggest coefficient in the objective function | 48318382080 |
Number of bits for the biggest coefficient in the objective function | 36 |
Sum of the numbers in the objective function | 103103023008 |
Number of bits of the sum of numbers in the objective function | 37 |
Biggest number in a constraint | 80530636800 |
Number of bits of the biggest number in a constraint | 37 |
Biggest sum of numbers in a constraint | 162146381673 |
Number of bits of the biggest sum of numbers | 38 |
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=265 #constraints=36 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.04/0.08 c restart after 401 decisions 0.09/0.10 c nbDecision=500 #constraints=518 0.09/0.13 c nbDecision=738 #constraints=638 0.09/0.13 c linear search for optimum 0.09/0.13 o 17455104 0.09/0.13 c nbDecision=769 #constraints=639 0.09/0.13 o 17422336 0.09/0.13 c nbDecision=798 #constraints=640 0.09/0.13 o 17405952 0.09/0.13 c restart after 801 decisions 0.09/0.14 c nbDecision=920 #constraints=641 0.09/0.14 o 17397760 0.09/0.14 c nbDecision=942 #constraints=642 0.09/0.14 o 17395712 0.09/0.14 c nbDecision=978 #constraints=644 0.09/0.14 o 16930816 0.09/0.14 c nbDecision=1000 #constraints=645 0.09/0.14 c nbDecision=1009 #constraints=645 0.09/0.14 o 16898048 0.09/0.14 c nbDecision=1038 #constraints=646 0.09/0.14 o 16881664 0.09/0.14 c nbDecision=1065 #constraints=647 0.09/0.14 o 16873472 0.09/0.14 c nbDecision=1087 #constraints=648 0.09/0.14 o 16871424 0.09/0.14 c nbDecision=1122 #constraints=650 0.09/0.14 o 16668672 0.09/0.14 c nbDecision=1153 #constraints=651 0.09/0.14 o 16635904 0.09/0.14 c nbDecision=1182 #constraints=652 0.09/0.14 o 16619520 0.09/0.14 c nbDecision=1209 #constraints=653 0.09/0.14 o 16611328 0.09/0.14 c nbDecision=1231 #constraints=654 0.09/0.14 o 16609280 0.09/0.14 c nbDecision=1262 #constraints=657 0.09/0.14 o 16603136 0.09/0.14 c nbDecision=1291 #constraints=658 0.09/0.14 o 16586752 0.09/0.14 c nbDecision=1318 #constraints=659 0.09/0.14 o 16578560 0.09/0.14 c nbDecision=1340 #constraints=660 0.09/0.14 o 16576512 0.09/0.14 c nbDecision=1369 #constraints=662 0.09/0.14 o 16570368 0.09/0.14 c nbDecision=1396 #constraints=663 0.09/0.14 o 16562176 0.09/0.14 c nbDecision=1418 #constraints=664 0.09/0.14 o 16560128 0.09/0.15 c nbDecision=1445 #constraints=666 0.09/0.15 o 16553984 0.09/0.15 c nbDecision=1467 #constraints=667 0.09/0.15 o 16551936 0.09/0.17 c nbDecision=1500 #constraints=678 0.09/0.17 c nbDecision=1580 #constraints=679 0.09/0.17 o 16406528 0.09/0.17 c restart after 1601 decisions 0.09/0.17 c nbDecision=1715 #constraints=680 0.09/0.17 o 16373760 0.09/0.17 c nbDecision=1744 #constraints=681 0.09/0.17 o 16357376 0.09/0.17 c nbDecision=1771 #constraints=682 0.09/0.17 o 16349184 0.09/0.17 c nbDecision=1793 #constraints=683 0.09/0.17 o 16347136 0.09/0.17 c nbDecision=1825 #constraints=686 0.09/0.17 o 16340992 0.09/0.17 c nbDecision=1854 #constraints=687 0.09/0.17 o 16324608 0.09/0.17 c nbDecision=1881 #constraints=688 0.09/0.17 o 16316416 0.09/0.17 c nbDecision=1903 #constraints=689 0.09/0.17 o 16314368 0.09/0.18 c nbDecision=1934 #constraints=692 0.09/0.18 o 16308224 0.09/0.18 c nbDecision=1961 #constraints=693 0.09/0.18 o 16300032 0.09/0.18 c nbDecision=1983 #constraints=694 0.09/0.18 o 16297984 0.09/0.18 c nbDecision=2000 #constraints=697 0.09/0.18 c nbDecision=2012 #constraints=697 0.09/0.18 o 16291840 0.09/0.18 c nbDecision=2034 #constraints=698 0.09/0.18 o 16289792 0.69/0.75 c nbDecision=2500 #constraints=982 0.69/0.77 c nbDecision=2705 #constraints=991 0.69/0.77 o 16275456 0.69/0.77 c nbDecision=2736 #constraints=992 0.69/0.77 o 16242688 0.69/0.77 c nbDecision=2765 #constraints=993 0.69/0.77 o 16226304 0.69/0.77 c nbDecision=2792 #constraints=994 0.69/0.77 o 16218112 0.69/0.77 c nbDecision=2814 #constraints=995 0.69/0.77 o 16216064 0.69/0.77 c nbDecision=2846 #constraints=998 0.69/0.77 o 16209920 0.69/0.77 c nbDecision=2875 #constraints=999 0.69/0.77 o 16193536 0.69/0.77 c nbDecision=2902 #constraints=1000 0.69/0.77 o 16185344 0.69/0.77 c nbDecision=2924 #constraints=1001 0.69/0.77 o 16183296 0.69/0.78 c nbDecision=2955 #constraints=1004 0.69/0.78 o 16177152 0.69/0.78 c nbDecision=2982 #constraints=1005 0.69/0.78 o 16168960 0.69/0.78 c nbDecision=3000 #constraints=1006 0.69/0.78 c nbDecision=3004 #constraints=1006 0.69/0.78 o 16166912 0.69/0.78 c nbDecision=3033 #constraints=1009 0.69/0.78 o 16160768 0.69/0.78 c nbDecision=3055 #constraints=1010 0.69/0.78 o 16158720 1.09/1.11 c restart after 3201 decisions 1.39/1.40 c nbDecision=3500 #constraints=1279 1.39/1.46 c nbDecision=3801 #constraints=1301 1.39/1.46 o 16152576 1.39/1.46 c nbDecision=3823 #constraints=1302 1.39/1.46 o 16150528 1.39/1.46 c nbDecision=3854 #constraints=1305 1.39/1.46 o 16144384 1.39/1.46 c nbDecision=3881 #constraints=1306 1.39/1.46 o 16136192 1.39/1.46 c nbDecision=3903 #constraints=1307 1.39/1.46 o 16134144 1.39/1.46 c nbDecision=3932 #constraints=1310 1.39/1.46 o 16128000 1.39/1.46 c nbDecision=3954 #constraints=1311 1.39/1.46 o 16125952 1.49/1.55 c nbDecision=4000 #constraints=1365 2.19/2.22 c nbDecision=4500 #constraints=1629 2.19/2.27 c nbDecision=4755 #constraints=1647 2.19/2.27 o 16119808 2.19/2.27 c nbDecision=4777 #constraints=1648 2.19/2.27 o 16117760 2.89/2.94 c nbDecision=5000 #constraints=1858 4.09/4.19 c nbDecision=5500 #constraints=2098 5.29/5.39 c nbDecision=6000 #constraints=2328 7.60/7.67 c restart after 6401 decisions 7.79/7.90 c nbDecision=6500 #constraints=2671 8.09/8.14 c nbDecision=6883 #constraints=2700 8.09/8.14 o 16111616 8.09/8.14 c nbDecision=6905 #constraints=2701 8.09/8.14 o 16109568 8.09/8.15 c nbDecision=6937 #constraints=2705 8.09/8.15 o 16095232 8.09/8.15 c nbDecision=6959 #constraints=2706 8.09/8.15 o 16093184 8.09/8.16 c nbDecision=6991 #constraints=2711 8.09/8.16 o 16087040 8.09/8.16 c nbDecision=7000 #constraints=2712 8.09/8.16 c nbDecision=7013 #constraints=2712 8.09/8.16 o 16084992 10.99/11.04 c nbDecision=7500 #constraints=3097 11.48/11.55 c nbDecision=7813 #constraints=3143 11.48/11.55 o 16078848 11.48/11.55 c nbDecision=7835 #constraints=3144 11.48/11.55 o 16076800 12.48/12.53 c nbDecision=8000 #constraints=3319 15.19/15.20 c nbDecision=8500 #constraints=3586 31.89/31.99 c nbDecision=9000 #constraints=4033 49.17/49.22 c nbDecision=9500 #constraints=4443 51.68/51.71 c nbDecision=10000 #constraints=4778 53.37/53.47 c nbDecision=10500 #constraints=4954 58.27/58.33 c nbDecision=11000 #constraints=5379 61.87/61.98 c nbDecision=11500 #constraints=5521 74.07/74.16 c nbDecision=12000 #constraints=5924 79.27/79.34 c nbDecision=12500 #constraints=6147 86.97/87.06 c restart after 12801 decisions 90.76/90.80 c nbDecision=13000 #constraints=6578 100.16/100.21 c nbDecision=13500 #constraints=6885 104.36/104.42 c nbDecision=14000 #constraints=7061 118.46/118.55 c nbDecision=14500 #constraints=7564 130.76/130.84 c nbDecision=15000 #constraints=7932 143.75/143.82 c nbDecision=15500 #constraints=8135 173.34/173.46 c nbDecision=16000 #constraints=8561 173.44/173.50 c nbDecision=16062 #constraints=8561 173.44/173.50 o 16033792 173.44/173.51 c nbDecision=16093 #constraints=8562 173.44/173.51 o 16001024 173.44/173.51 c nbDecision=16122 #constraints=8563 173.44/173.51 o 15984640 173.44/173.51 c nbDecision=16149 #constraints=8564 173.44/173.51 o 15976448 173.44/173.51 c nbDecision=16171 #constraints=8565 173.44/173.51 o 15974400 173.44/173.52 c nbDecision=16206 #constraints=8567 173.44/173.52 o 15771648 173.44/173.52 c nbDecision=16237 #constraints=8568 173.44/173.52 o 15738880 173.44/173.52 c nbDecision=16266 #constraints=8569 173.44/173.52 o 15722496 173.44/173.52 c nbDecision=16293 #constraints=8570 173.44/173.52 o 15714304 173.44/173.52 c nbDecision=16315 #constraints=8571 173.44/173.52 o 15712256 173.44/173.54 c nbDecision=16346 #constraints=8574 173.44/173.54 o 15706112 173.44/173.55 c nbDecision=16375 #constraints=8575 173.44/173.55 o 15689728 173.44/173.55 c nbDecision=16402 #constraints=8576 173.44/173.55 o 15681536 173.44/173.55 c nbDecision=16424 #constraints=8577 173.44/173.55 o 15679488 173.44/173.56 c nbDecision=16453 #constraints=8579 173.44/173.56 o 15673344 173.44/173.56 c nbDecision=16480 #constraints=8580 173.44/173.56 o 15665152 173.44/173.56 c nbDecision=16500 #constraints=8581 173.44/173.56 c nbDecision=16502 #constraints=8581 173.44/173.56 o 15663104 173.44/173.57 c nbDecision=16529 #constraints=8583 173.44/173.57 o 15656960 173.44/173.57 c nbDecision=16551 #constraints=8584 173.44/173.57 o 15654912 173.74/173.87 c nbDecision=16605 #constraints=8597 173.74/173.87 o 15509504 173.74/173.87 c nbDecision=16636 #constraints=8598 173.74/173.87 o 15476736 173.74/173.87 c nbDecision=16665 #constraints=8599 173.74/173.87 o 15460352 173.74/173.87 c nbDecision=16692 #constraints=8600 173.74/173.87 o 15452160 173.74/173.87 c nbDecision=16714 #constraints=8601 173.74/173.87 o 15450112 173.74/173.90 c nbDecision=16745 #constraints=8604 173.74/173.90 o 15443968 173.74/173.90 c nbDecision=16774 #constraints=8605 173.74/173.90 o 15427584 173.84/173.90 c nbDecision=16801 #constraints=8606 173.84/173.90 o 15419392 173.84/173.90 c nbDecision=16823 #constraints=8607 173.84/173.90 o 15417344 173.84/173.91 c nbDecision=16852 #constraints=8609 173.84/173.91 o 15411200 173.84/173.91 c nbDecision=16879 #constraints=8610 173.84/173.91 o 15403008 173.84/173.91 c nbDecision=16901 #constraints=8611 173.84/173.91 o 15400960 173.84/173.92 c nbDecision=16928 #constraints=8613 173.84/173.92 o 15394816 173.84/173.93 c nbDecision=16950 #constraints=8614 173.84/173.93 o 15392768 174.14/174.21 c nbDecision=17000 #constraints=8626 174.14/174.21 c nbDecision=17002 #constraints=8626 174.14/174.21 o 15378432 174.14/174.21 c nbDecision=17033 #constraints=8627 174.14/174.21 o 15345664 174.14/174.21 c nbDecision=17062 #constraints=8628 174.14/174.21 o 15329280 174.14/174.22 c nbDecision=17089 #constraints=8629 174.14/174.22 o 15321088 174.14/174.22 c nbDecision=17111 #constraints=8630 174.14/174.22 o 15319040 174.14/174.22 c nbDecision=17143 #constraints=8633 174.14/174.22 o 15312896 174.14/174.22 c nbDecision=17172 #constraints=8634 174.14/174.22 o 15296512 174.14/174.22 c nbDecision=17199 #constraints=8635 174.14/174.22 o 15288320 174.14/174.22 c nbDecision=17221 #constraints=8636 174.14/174.22 o 15286272 174.14/174.23 c nbDecision=17252 #constraints=8639 174.14/174.23 o 15280128 174.14/174.23 c nbDecision=17279 #constraints=8640 174.14/174.23 o 15271936 174.14/174.23 c nbDecision=17301 #constraints=8641 174.14/174.23 o 15269888 174.14/174.23 c nbDecision=17330 #constraints=8644 174.14/174.23 o 15263744 174.14/174.23 c nbDecision=17352 #constraints=8645 174.14/174.23 o 15261696 176.95/177.01 c nbDecision=17500 #constraints=8804 180.64/180.79 c nbDecision=17673 #constraints=8941 180.64/180.79 o 15255552 180.64/180.79 c nbDecision=17695 #constraints=8942 180.64/180.79 o 15253504 180.64/180.79 c nbDecision=17726 #constraints=8945 180.64/180.79 o 15247360 180.64/180.79 c nbDecision=17753 #constraints=8946 180.64/180.79 o 15239168 180.64/180.79 c nbDecision=17775 #constraints=8947 180.64/180.79 o 15237120 180.74/180.80 c nbDecision=17804 #constraints=8950 180.74/180.80 o 15230976 180.74/180.80 c nbDecision=17826 #constraints=8951 180.74/180.80 o 15228928 183.65/183.78 c nbDecision=18000 #constraints=9138 187.94/188.01 c nbDecision=18200 #constraints=9289 187.94/188.01 o 15222784 187.94/188.01 c nbDecision=18222 #constraints=9290 187.94/188.01 o 15220736 196.84/196.99 c nbDecision=18500 #constraints=9581 240.12/240.28 c nbDecision=19000 #constraints=10090 251.52/251.65 c nbDecision=19191 #constraints=10219 251.52/251.65 o 15214592 251.52/251.65 c nbDecision=19220 #constraints=10220 251.52/251.65 o 15198208 251.52/251.65 c nbDecision=19247 #constraints=10221 251.52/251.65 o 15190016 251.52/251.65 c nbDecision=19269 #constraints=10222 251.52/251.65 o 15187968 251.52/251.66 c nbDecision=19301 #constraints=10225 251.52/251.66 o 15181824 251.52/251.66 c nbDecision=19330 #constraints=10226 251.52/251.66 o 15165440 251.52/251.66 c nbDecision=19357 #constraints=10227 251.52/251.66 o 15157248 251.52/251.66 c nbDecision=19379 #constraints=10228 251.52/251.66 o 15155200 251.52/251.66 c nbDecision=19410 #constraints=10231 251.52/251.66 o 15149056 251.52/251.66 c nbDecision=19437 #constraints=10232 251.52/251.66 o 15140864 251.52/251.67 c nbDecision=19459 #constraints=10233 251.52/251.67 o 15138816 251.52/251.67 c nbDecision=19488 #constraints=10236 251.52/251.67 o 15132672 251.52/251.67 c nbDecision=19500 #constraints=10237 251.52/251.67 c nbDecision=19510 #constraints=10237 251.52/251.67 o 15130624 254.72/254.83 c nbDecision=19698 #constraints=10388 254.72/254.83 o 15116288 254.72/254.84 c nbDecision=19729 #constraints=10389 254.72/254.84 o 15083520 254.72/254.84 c nbDecision=19758 #constraints=10390 254.72/254.84 o 15067136 254.72/254.84 c nbDecision=19785 #constraints=10391 254.72/254.84 o 15058944 254.72/254.84 c nbDecision=19807 #constraints=10392 254.72/254.84 o 15056896 254.72/254.84 c nbDecision=19839 #constraints=10395 254.72/254.84 o 15050752 254.72/254.84 c nbDecision=19868 #constraints=10396 254.72/254.84 o 15034368 254.72/254.84 c nbDecision=19895 #constraints=10397 254.72/254.84 o 15026176 254.72/254.84 c nbDecision=19917 #constraints=10398 254.72/254.84 o 15024128 254.72/254.85 c nbDecision=19948 #constraints=10401 254.72/254.85 o 15017984 254.72/254.85 c nbDecision=19975 #constraints=10402 254.72/254.85 o 15009792 254.72/254.85 c nbDecision=19997 #constraints=10403 254.72/254.85 o 15007744 254.72/254.86 c nbDecision=20000 #constraints=10406 254.72/254.86 c nbDecision=20026 #constraints=10406 254.72/254.86 o 15001600 254.72/254.86 c nbDecision=20048 #constraints=10407 254.72/254.86 o 14999552 262.51/262.69 c nbDecision=20379 #constraints=10704 262.51/262.69 o 14993408 262.51/262.69 c nbDecision=20401 #constraints=10705 262.51/262.69 o 14991360 262.51/262.69 c nbDecision=20432 #constraints=10708 262.51/262.69 o 14985216 262.51/262.69 c nbDecision=20459 #constraints=10709 262.51/262.69 o 14977024 262.51/262.70 c nbDecision=20481 #constraints=10710 262.51/262.70 o 14974976 262.61/262.70 c nbDecision=20500 #constraints=10713 262.61/262.70 c nbDecision=20510 #constraints=10713 262.61/262.70 o 14968832 262.61/262.70 c nbDecision=20532 #constraints=10714 262.61/262.70 o 14966784 271.11/271.22 c nbDecision=20917 #constraints=11052 271.11/271.22 o 14960640 271.11/271.22 c nbDecision=20939 #constraints=11053 271.11/271.22 o 14958592 271.91/272.07 c nbDecision=21000 #constraints=11123 310.60/310.78 c nbDecision=21500 #constraints=11626 362.08/362.28 c nbDecision=22000 #constraints=12117 362.18/362.35 c nbDecision=22051 #constraints=12118 362.18/362.35 o 14952448 362.18/362.35 c nbDecision=22080 #constraints=12119 362.18/362.35 o 14936064 362.18/362.35 c nbDecision=22107 #constraints=12120 362.18/362.35 o 14927872 362.18/362.35 c nbDecision=22129 #constraints=12121 362.18/362.35 o 14925824 362.18/362.35 c nbDecision=22161 #constraints=12124 362.18/362.35 o 14919680 362.18/362.36 c nbDecision=22190 #constraints=12125 362.18/362.36 o 14903296 362.18/362.36 c nbDecision=22217 #constraints=12126 362.18/362.36 o 14895104 362.18/362.36 c nbDecision=22239 #constraints=12127 362.18/362.36 o 14893056 362.18/362.36 c nbDecision=22270 #constraints=12130 362.18/362.36 o 14886912 362.18/362.36 c nbDecision=22297 #constraints=12131 362.18/362.36 o 14878720 362.18/362.36 c nbDecision=22319 #constraints=12132 362.18/362.36 o 14876672 362.18/362.37 c nbDecision=22348 #constraints=12135 362.18/362.37 o 14870528 362.18/362.37 c nbDecision=22370 #constraints=12136 362.18/362.37 o 14868480 365.38/365.59 c nbDecision=22500 #constraints=12278 365.88/366.08 c nbDecision=22554 #constraints=12289 365.88/366.08 o 14862336 365.88/366.08 c nbDecision=22576 #constraints=12290 365.88/366.08 o 14860288 365.88/366.09 c nbDecision=22607 #constraints=12293 365.88/366.09 o 14854144 365.88/366.09 c nbDecision=22634 #constraints=12294 365.88/366.09 o 14845952 365.88/366.09 c nbDecision=22656 #constraints=12295 365.88/366.09 o 14843904 365.98/366.10 c nbDecision=22685 #constraints=12298 365.98/366.10 o 14837760 365.98/366.10 c nbDecision=22707 #constraints=12299 365.98/366.10 o 14835712 374.08/374.21 c nbDecision=23000 #constraints=12600 374.99/375.18 c nbDecision=23089 #constraints=12634 374.99/375.18 o 14829568 374.99/375.18 c nbDecision=23111 #constraints=12635 374.99/375.18 o 14827520 392.67/392.85 c nbDecision=23500 #constraints=13012 401.28/401.50 c nbDecision=23754 #constraints=13223 401.28/401.50 o 14821376 401.38/401.50 c nbDecision=23781 #constraints=13224 401.38/401.50 o 14813184 401.38/401.50 c nbDecision=23803 #constraints=13225 401.38/401.50 o 14811136 401.38/401.51 c nbDecision=23832 #constraints=13228 401.38/401.51 o 14804992 401.38/401.51 c nbDecision=23854 #constraints=13229 401.38/401.51 o 14802944 405.57/405.77 c nbDecision=24000 #constraints=13383 405.68/405.84 c nbDecision=24047 #constraints=13388 405.68/405.84 o 14796800 405.68/405.84 c nbDecision=24069 #constraints=13389 405.68/405.84 o 14794752 430.47/430.68 c nbDecision=24500 #constraints=13818 455.16/455.36 c nbDecision=24934 #constraints=14187 455.16/455.36 o 14788608 455.16/455.37 c nbDecision=24956 #constraints=14188 455.16/455.37 o 14786560 455.66/455.87 c nbDecision=25000 #constraints=14239 476.06/476.26 c nbDecision=25500 #constraints=14727 488.65/488.84 c restart after 25601 decisions 533.84/534.08 c nbDecision=26000 #constraints=15177 594.32/594.54 c nbDecision=26500 #constraints=15638 617.42/617.68 c nbDecision=27000 #constraints=16130 645.10/645.31 c nbDecision=27500 #constraints=16637 666.50/666.79 c nbDecision=28000 #constraints=17117 693.79/694.00 c nbDecision=28500 #constraints=17618 725.08/725.37 c nbDecision=29000 #constraints=18109 749.28/749.55 c nbDecision=29447 #constraints=18524 749.28/749.55 o 14772224 749.28/749.55 c nbDecision=29469 #constraints=18525 749.28/749.55 o 14770176 749.38/749.62 c nbDecision=29500 #constraints=18530 749.38/749.62 c nbDecision=29501 #constraints=18530 749.38/749.62 o 14764032 749.38/749.62 c nbDecision=29523 #constraints=18531 749.38/749.62 o 14761984 776.28/776.56 c nbDecision=29973 #constraints=18956 776.28/776.56 o 14755840 776.28/776.56 c nbDecision=29995 #constraints=18957 776.28/776.56 o 14753792 776.47/776.76 c nbDecision=30000 #constraints=18967 810.16/810.44 c nbDecision=30500 #constraints=19463 836.85/837.14 c nbDecision=31000 #constraints=19966 869.44/869.70 c nbDecision=31459 #constraints=20388 869.44/869.70 o 14747648 869.44/869.70 c nbDecision=31481 #constraints=20389 869.44/869.70 o 14745600 870.04/870.34 c nbDecision=31500 #constraints=20414 903.44/903.74 c nbDecision=32000 #constraints=20920 993.20/993.53 c nbDecision=32500 #constraints=21435 1126.37/1126.75 c nbDecision=33000 #constraints=21935 1161.76/1162.20 c nbDecision=33500 #constraints=22405 1196.14/1196.54 c nbDecision=34000 #constraints=22907 1232.34/1232.76 c nbDecision=34500 #constraints=23359 1249.83/1250.28 c nbDecision=35000 #constraints=23621 1276.52/1276.94 c nbDecision=35500 #constraints=24100 1324.42/1324.82 c nbDecision=36000 #constraints=24598 1430.38/1430.83 c nbDecision=36500 #constraints=25101 1484.87/1485.32 c nbDecision=37000 #constraints=25566 1534.55/1535.09 c nbDecision=37500 #constraints=26064 1621.43/1621.96 c nbDecision=38000 #constraints=26565 1717.60/1718.16 c nbDecision=38500 #constraints=27073 1747.09/1747.63 c nbDecision=39000 #constraints=27437 1798.97/1799.54 c nbDecision=39500 #constraints=27825 1800.08/1800.61 Received signal 15 1800.08/1800.69 1800.08/1800.69 s SATISFIABLE 1800.08/1800.69 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 1800.08/1800.69 v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 x44 x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 1800.08/1800.69 v -x58 -x59 -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 -x86 1800.08/1800.69 v -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 1800.08/1800.69 v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 x130 1800.08/1800.69 v -x131 x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 1800.08/1800.69 v -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 x160 -x161 x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 1800.08/1800.69 v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 x192 x193 1800.08/1800.69 v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 1800.08/1800.69 v -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 1800.08/1800.69 v -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 x248 x249 -x250 x251 x252 x253 -x254 x255 -x256 -x257 1800.08/1800.69 v -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 1800.08/1800.69 1800.08/1800.69 c user time= 1799.76 s 1800.08/1800.69 c system time= 0.420936 s 1800.08/1800.69 c wall clock time=1800.69
OK 14745600
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node47/watcher-365676-1176995923 -o ROOT/results/node47/solver-365676-1176995923 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365676-1176995923/instance-365676-1176995923.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.89 0.97 0.96 3/77 14566 /proc/meminfo: memFree=1603392/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=1468 CPUtime=0 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 190 0 0 0 0 0 0 0 18 0 1 0 54437615 1503232 172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 367 172 137 317 0 46 0 [startup+0.0488229 s] /proc/loadavg: 0.89 0.97 0.96 3/77 14566 /proc/meminfo: memFree=1603392/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=1600 CPUtime=0.04 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 230 0 0 0 4 0 0 0 18 0 1 0 54437615 1638400 212 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713798 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 400 212 139 317 0 79 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1600 [startup+0.101828 s] /proc/loadavg: 0.89 0.97 0.96 3/77 14566 /proc/meminfo: memFree=1603392/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=1864 CPUtime=0.09 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 280 0 0 0 9 0 0 0 18 0 1 0 54437615 1908736 262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 466 262 139 317 0 145 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1864 [startup+0.30185 s] /proc/loadavg: 0.89 0.97 0.96 3/77 14566 /proc/meminfo: memFree=1603392/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=2516 CPUtime=0.29 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 481 0 0 0 29 0 0 0 20 0 1 0 54437615 2576384 463 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713745 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 629 463 170 317 0 308 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2516 [startup+0.701892 s] /proc/loadavg: 0.89 0.97 0.96 3/77 14566 /proc/meminfo: memFree=1603392/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=3296 CPUtime=0.69 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 675 0 0 0 69 0 0 0 24 0 1 0 54437615 3375104 657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712505 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 824 657 170 317 0 503 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3296 [startup+1.50198 s] /proc/loadavg: 0.89 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1600760/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=4868 CPUtime=1.49 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 1065 0 0 0 149 0 0 0 25 0 1 0 54437615 4984832 1047 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 1217 1047 170 317 0 896 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4868 [startup+3.10115 s] /proc/loadavg: 0.89 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1598776/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=7376 CPUtime=3.09 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 1649 0 0 0 308 1 0 0 25 0 1 0 54437615 7553024 1631 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 1844 1631 170 317 0 1523 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7376 [startup+6.3015 s] /proc/loadavg: 0.89 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1595656/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=9588 CPUtime=6.29 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 2218 0 0 0 628 1 0 0 25 0 1 0 54437615 9818112 2200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 2397 2200 170 317 0 2076 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9588 [startup+12.7012 s] /proc/loadavg: 0.90 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1591688/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=13568 CPUtime=12.68 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 3157 0 0 0 1266 2 0 0 25 0 1 0 54437615 13893632 3139 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 3392 3139 170 317 0 3071 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 13568 [startup+25.5016 s] /proc/loadavg: 0.92 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1588872/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=15788 CPUtime=25.49 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 3771 0 0 0 2545 4 0 0 25 0 1 0 54437615 16166912 3753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 3947 3753 170 317 0 3626 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15788 [startup+51.1013 s] /proc/loadavg: 0.95 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1585608/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=20300 CPUtime=51.08 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 4740 0 0 0 5103 5 0 0 25 0 1 0 54437615 20787200 4722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 5075 4722 170 317 0 4754 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 20300 [startup+102.307 s] /proc/loadavg: 0.98 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1575752/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=29172 CPUtime=102.26 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 7033 0 0 0 10218 8 0 0 25 0 1 0 54437615 29872128 7015 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 7293 7015 170 317 0 6972 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 29172 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1569864/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=35112 CPUtime=162.24 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 8522 0 0 0 16215 9 0 0 25 0 1 0 54437615 35954688 8447 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 8778 8447 170 317 0 8457 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 35112 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1563720/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=42908 CPUtime=222.22 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 10070 0 0 0 22212 10 0 0 25 0 1 0 54437615 43937792 9995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 10727 9995 170 317 0 10406 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 42908 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1557896/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=48468 CPUtime=282.21 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 11518 0 0 0 28209 12 0 0 25 0 1 0 54437615 49631232 11443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 12117 11443 170 317 0 11796 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 48468 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1555336/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=50724 CPUtime=342.19 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 12145 0 0 0 34206 13 0 0 25 0 1 0 54437615 51941376 12070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 12681 12070 170 317 0 12360 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 50724 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1550216/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=56028 CPUtime=402.17 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 13483 0 0 0 40202 15 0 0 25 0 1 0 54437615 57372672 13408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 14007 13408 170 317 0 13686 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 56028 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1545288/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=60784 CPUtime=462.15 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 14677 0 0 0 46199 16 0 0 25 0 1 0 54437615 62242816 14602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 15196 14602 170 317 0 14875 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 60784 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1542600/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=63464 CPUtime=522.14 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 15325 0 0 0 52197 17 0 0 25 0 1 0 54437615 64987136 15250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 15866 15250 170 317 0 15545 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 63464 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1540680/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=65156 CPUtime=582.13 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 15802 0 0 0 58194 19 0 0 25 0 1 0 54437615 66719744 15727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 16289 15727 170 317 0 15968 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 65156 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1536136/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=69688 CPUtime=642.11 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 17005 0 0 0 64191 20 0 0 25 0 1 0 54437615 71360512 16817 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 17422 16817 170 317 0 17101 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 69688 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1519816/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=90016 CPUtime=882.04 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 22042 0 0 0 88178 26 0 0 25 0 1 0 54437615 92176384 20930 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 22504 20930 170 317 0 22183 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 90016 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1517576/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=91980 CPUtime=942.02 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 22613 0 0 0 94175 27 0 0 25 0 1 0 54437615 94187520 21501 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 22995 21501 170 317 0 22674 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 91980 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1516424/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=93156 CPUtime=1002.01 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 22945 0 0 0 100172 29 0 0 25 0 1 0 54437615 95391744 21800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 23289 21800 170 317 0 22968 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 93156 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1515464/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=94220 CPUtime=1061.99 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 23179 0 0 0 106170 29 0 0 25 0 1 0 54437615 96481280 22034 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 23555 22034 170 317 0 23234 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 94220 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1514440/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=95272 CPUtime=1121.97 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 23435 0 0 0 112167 30 0 0 25 0 1 0 54437615 97558528 22290 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 23818 22290 170 317 0 23497 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 95272 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1510984/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=98428 CPUtime=1181.95 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 24302 0 0 0 118164 31 0 0 25 0 1 0 54437615 100790272 23157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 24607 23157 170 317 0 24286 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 98428 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1507656/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=101464 CPUtime=1241.93 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 25143 0 0 0 124161 32 0 0 25 0 1 0 54437615 103899136 23998 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 25366 23998 170 317 0 25045 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 101464 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1503624/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=105388 CPUtime=1301.92 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 26191 0 0 0 130158 34 0 0 25 0 1 0 54437615 107917312 24980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 26347 24980 170 317 0 26026 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 105388 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1502216/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=106692 CPUtime=1361.9 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 26542 0 0 0 136155 35 0 0 25 0 1 0 54437615 109252608 25331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 26673 25331 170 317 0 26352 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 106692 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1500936/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=108492 CPUtime=1421.89 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 27016 0 0 0 142153 36 0 0 25 0 1 0 54437615 111095808 25640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 27123 25640 170 317 0 26802 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 108492 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1499080/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=110048 CPUtime=1481.87 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 27478 0 0 0 148150 37 0 0 25 0 1 0 54437615 112689152 26102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 27512 26102 170 317 0 27191 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 110048 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14567 /proc/meminfo: memFree=1496712/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=112280 CPUtime=1541.85 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 28100 0 0 0 154147 38 0 0 25 0 1 0 54437615 114974720 26724 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 28070 26724 170 317 0 27749 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 112280 [startup+1602.3 s] /proc/loadavg: 1.06 0.99 0.97 2/78 14567 /proc/meminfo: memFree=1495112/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=113712 CPUtime=1601.83 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 28488 0 0 0 160145 38 0 0 25 0 1 0 54437615 116441088 27112 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 28428 27112 170 317 0 28107 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 113712 [startup+1662.3 s] /proc/loadavg: 1.09 1.00 0.97 2/78 14567 /proc/meminfo: memFree=1493896/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=114760 CPUtime=1661.81 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 28795 0 0 0 166142 39 0 0 25 0 1 0 54437615 117514240 27419 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712543 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 28690 27419 170 317 0 28369 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 114760 [startup+1722.3 s] /proc/loadavg: 1.03 1.00 0.97 2/78 14567 /proc/meminfo: memFree=1492360/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=116176 CPUtime=1721.8 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 29193 0 0 0 172140 40 0 0 25 0 1 0 54437615 118964224 27817 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 29044 27817 170 317 0 28723 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 116176 [startup+1782.3 s] /proc/loadavg: 1.01 1.00 0.97 2/78 14567 /proc/meminfo: memFree=1489608/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=119340 CPUtime=1781.78 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 29860 0 0 0 178137 41 0 0 25 0 1 0 54437615 122204160 28484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 29835 28484 170 317 0 29514 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 119340 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.01 1.00 0.97 2/78 14567 /proc/meminfo: memFree=1489160/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=119860 CPUtime=1800.08 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194304 29967 0 0 0 179967 41 0 0 25 0 1 0 54437615 122736640 28591 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 29965 28591 170 317 0 29644 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 119860 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.01 1.00 0.97 2/78 14567 /proc/meminfo: memFree=1489160/2055920 swapFree=4157972/4192956 [pid=14566] ppid=14564 vsize=0 CPUtime=1800.19 /proc/14566/stat : 14566 (oree) R 14564 14566 13853 0 -1 4194308 29983 0 0 0 179976 43 0 0 25 0 1 0 54437615 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14566/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.2 CPU user time (s): 1799.76 CPU system time (s): 0.440932 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 119860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.76 system time used= 0.440932 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29983 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= 35817 runsolver used 1.92271 second user time and 4.64929 second system time The end
Begin job on node47 on Thu Apr 19 15:18:43 UTC 2007 IDJOB= 365676 IDBENCH= 2482 IDSOLVER= 172 FILE ID= node47/365676-1176995923 PBS_JOBID= 4630455 Free space on /tmp= 66426 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-flugpl.opb COMMAND LINE= oree /tmp/evaluation/365676-1176995923/instance-365676-1176995923.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-365676-1176995923 -o ROOT/results/node47/solver-365676-1176995923 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365676-1176995923/instance-365676-1176995923.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 0999192fc93f1a0347078df6cc5d3945 RANDOM SEED= 498802771 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node47.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.221 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.221 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: 1603864 kB Buffers: 37020 kB Cached: 346304 kB SwapCached: 3256 kB Active: 39784 kB Inactive: 366704 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1603864 kB SwapTotal: 4192956 kB SwapFree: 4157972 kB Dirty: 1452 kB Writeback: 0 kB Mapped: 30204 kB Slab: 31040 kB Committed_AS: 2602580 kB PageTables: 1776 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= 66426 MiB End job on node47 on Thu Apr 19 15:48:45 UTC 2007