Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 257546671029920 | 1800.07 | 1800.64 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell3a.opb |
MD5SUM | efa7fb1a840e9d48ac9b28aadc8f53ba |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 257546671029920 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 257546671029920 |
Optimality of the best value was proved | NO |
Number of variables | 2219 |
Total number of constraints | 151 |
Number of constraints which are clauses | 22 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 129 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 191 |
Number of terms in the objective function | 1716 |
Biggest coefficient in the objective function | 5134096531456000 |
Number of bits for the biggest coefficient in the objective function | 53 |
Sum of the numbers in the objective function | 216401520151185266 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 5134096531456000 |
Number of bits of the biggest number in a constraint | 53 |
Biggest sum of numbers in a constraint | 216401520151185266 |
Number of bits of the biggest sum of numbers | 58 |
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 bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433325-1177957747/instance-433325-1177957747.opb 0.00/0.00 c File size is 114606 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Highest Coefficient sum: 2.16402e+17 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.015 s 0.00/0.02 c Var: 2219 Constr: 151 22/0/129 Lit: 6315 Watch. Lit: 2557 0.00/0.02 c Obj. Vars: 1716 (77.3321 % of total variables) 0.06/0.08 c Pre-processing Time: 0.079 s 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 0 1623 126 6048 48 5248 12033 0 0 0.08 0.09/0.13 c 101 1623 227 20396 89 5582 13237 101 1063 0.10 0.09/0.13 c 251 1623 377 36003 95 5942 14561 251 1992 0.13 0.09/0.13 o 3303458816122880 0.131 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 262 1623 389 37751 97 7088 14457 263 1969 0.13 0.09/0.14 o 2404055073587200 0.138 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 276 1623 404 39844 98 8206 14457 278 1985 0.14 0.09/0.14 o 2367414209576000 0.142 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 279 1623 408 41230 101 9300 14457 282 1937 0.14 0.09/0.15 o 2198734606069760 0.147 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 284 1623 414 42581 102 10452 14457 288 1918 0.15 0.09/0.15 o 2158908428636160 0.153 0.39/0.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.46 c 289 1623 420 44051 104 11557 14457 294 1876 0.15 0.39/0.46 c 389 1623 520 53371 102 11244 15903 394 2315 0.17 0.39/0.46 c 639 1623 770 85043 110 11385 17494 644 2840 0.23 0.39/0.46 c 1114 1623 1245 122026 98 11931 19244 1119 3640 0.31 0.39/0.46 o 2158072570900000 0.461 0.69/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.73 c 1468 1623 1600 173496 108 14503 14457 1474 3177 0.46 0.69/0.73 c 1568 1623 1700 181998 107 14214 15903 1574 3213 0.49 0.69/0.73 c 1820 1623 1952 212919 109 14279 17494 1826 3267 0.56 0.69/0.73 c 2295 1623 2427 257390 106 13900 19244 2301 3608 0.64 0.69/0.73 o 2155307443506130 0.726 0.78/0.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.78/0.80 c 2882 1623 3015 309547 102 18188 14457 2889 3964 0.73 0.78/0.80 c 2983 1623 3116 319051 102 17768 15903 2990 3977 0.75 0.78/0.80 c 3233 1623 3366 336079 99 17382 17494 3240 4076 0.79 0.78/0.80 o 1008560546050220 0.801 0.78/0.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.78/0.87 c 3245 1623 3379 337707 99 18221 14457 3253 4046 0.80 0.78/0.87 c 3345 1623 3479 343464 98 18235 15903 3353 4079 0.82 0.78/0.87 c 3596 1623 3730 361231 96 18324 17494 3604 4157 0.86 0.78/0.87 o 698988960636290 0.872 1.29/1.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.31 c 3600 1623 3735 362600 97 19480 14457 3609 4123 0.87 1.29/1.31 c 3701 1623 3836 374828 97 19429 15903 3710 4058 0.91 1.29/1.31 c 3951 1623 4086 397589 97 19475 17494 3960 4098 0.96 1.29/1.31 c 4426 1623 4561 439180 96 20124 19244 4435 4187 1.06 1.29/1.31 c 5239 1623 5374 513704 95 21909 21169 5248 4067 1.29 1.29/1.31 o 695222836886760 1.308 1.29/1.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.38 c 5306 1623 5442 519655 95 22816 14457 5316 4053 1.31 1.29/1.38 c 5407 1623 5543 534999 96 23040 15903 5417 3964 1.36 1.29/1.38 o 691045694237235 1.378 1.39/1.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.40 c 5419 1623 5556 536627 96 24026 14457 5430 3926 1.38 1.39/1.40 o 689032018834760 1.396 23.09/23.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.09/23.14 c 5436 1623 5574 538590 96 25383 14457 5448 3888 1.40 23.09/23.14 c 5536 1623 5674 549997 96 25530 15903 5548 3763 1.47 23.09/23.14 c 5786 1623 5924 564337 95 25610 17494 5798 3652 1.58 23.09/23.14 c 6261 1623 6399 608665 95 26647 19244 6273 3217 1.95 23.09/23.14 c 7076 1623 7214 713921 98 27195 21169 7088 3257 2.17 23.09/23.14 c 8397 1623 8535 821281 96 29816 23286 8409 3406 2.46 23.09/23.14 c 10478 1623 10616 1088290 102 34689 25615 10490 2771 3.78 23.09/23.14 c 13701 1623 13839 1520366 109 41251 28177 13713 2293 5.97 23.09/23.14 c 18637 1623 18775 2141155 114 50185 30995 18649 2238 8.32 23.09/23.14 c 26144 1623 26282 3234705 123 65253 34095 26156 2063 12.67 23.09/23.14 c 37507 1623 13165 2401098 182 32655 37505 13039 1628 23.04 23.09/23.14 o 399556237342720 23.13 23.09/23.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.09/23.15 c 37726 1623 13385 2419352 180 34321 14457 13259 1630 23.13 23.09/23.15 o 335421889592520 23.141 27.38/27.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 27.38/27.46 c 37734 1623 13394 2420845 180 35544 14457 13268 1630 23.14 27.38/27.46 c 37834 1623 13494 2428739 179 35783 15903 13368 1631 23.18 27.38/27.46 c 38084 1623 13744 2464116 179 36265 17494 13618 1632 23.33 27.38/27.46 c 38559 1623 14219 2537273 178 37221 19244 14093 1632 23.62 27.38/27.46 c 39372 1623 15032 2627735 174 38867 21169 14906 1642 23.97 27.38/27.46 c 40693 1623 16353 2775267 169 41497 23286 16227 1657 24.55 27.38/27.46 c 42774 1623 18434 3011093 163 45663 25615 18308 1665 25.68 27.38/27.46 o 297525351647800 27.451 39.57/39.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 39.57/39.66 c 45617 1623 21278 3294466 154 52498 14457 21152 1661 27.45 39.57/39.66 c 45718 1623 7457 785797 105 21302 15903 7331 1614 28.32 39.57/39.66 c 45969 1623 7708 803427 104 21807 17494 7582 1618 28.39 39.57/39.66 c 46445 1623 8184 838965 102 22761 19244 8058 1626 28.55 39.57/39.66 c 47260 1623 8999 918453 102 24388 21169 8873 1634 28.91 39.57/39.66 c 48582 1623 10321 1023828 99 27020 23286 10195 1656 29.33 39.57/39.66 c 50664 1623 12403 1302297 104 31194 25615 12277 1681 30.13 39.57/39.66 c 53887 1623 15626 1656578 106 37623 28177 15500 1644 32.76 39.57/39.66 c 58824 1621 20563 2514367 122 47515 30995 20437 1679 35.03 39.57/39.66 c 66330 1621 28069 3612949 128 62500 34095 27943 1680 39.47 39.57/39.66 o 296214995773440 39.643 40.17/40.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 40.17/40.21 c 66629 1621 28369 3664004 129 64311 14455 28243 1680 39.65 40.17/40.21 c 66729 1621 7456 1082000 145 21266 15901 7330 1665 40.07 40.17/40.21 c 66979 1621 7706 1102892 143 21817 17492 7580 1667 40.16 40.17/40.21 o 274075192156180 40.189 41.97/42.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 41.97/42.04 c 67075 1621 7803 1109138 142 23215 14455 7677 1668 40.19 41.97/42.04 c 67176 1621 7904 1117120 141 23399 15901 7778 1668 40.26 41.97/42.04 c 67426 1621 8154 1140721 139 23911 17492 8028 1670 40.37 41.97/42.04 c 67902 1621 8630 1187914 137 24862 19242 8504 1675 40.53 41.97/42.04 c 68715 1621 9443 1289328 136 26491 21167 9317 1678 40.94 41.97/42.04 c 70035 1621 10763 1452642 134 29103 23284 10637 1684 41.57 41.97/42.04 o 269924230019820 42.023 47.97/48.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 47.97/48.08 c 71139 1621 11868 1597495 134 32555 14455 11742 1692 42.02 47.97/48.08 c 71240 1621 11969 1605299 134 32720 15901 11843 1692 42.10 47.97/48.08 c 71490 1621 12219 1621719 132 33251 17492 12093 1692 42.23 47.97/48.08 c 71965 1621 12694 1686283 132 34185 19242 12568 1692 42.52 47.97/48.08 c 72778 1621 13507 1800038 133 35827 21167 13381 1689 43.09 47.97/48.08 c 74098 1621 14827 1952908 131 38457 23284 14701 1686 43.94 47.97/48.08 c 76179 1621 16908 2143683 126 42632 25613 16782 1690 45.07 47.97/48.08 c 79402 1621 20131 2521703 125 49068 28175 20005 1691 46.93 47.97/48.08 o 260878093056050 48.055 174.63/174.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 174.63/174.73 c 81157 1621 21887 2697652 123 53778 14455 21761 1688 48.06 174.63/174.73 c 81258 1621 7457 770462 103 21295 15901 7331 1675 48.50 174.63/174.73 c 81508 1621 7707 799759 103 21787 17492 7581 1677 48.60 174.63/174.73 c 81983 1621 8182 843594 103 22734 19242 8056 1681 48.75 174.63/174.73 c 82796 1621 8995 918228 102 24385 21167 8869 1691 48.96 174.63/174.73 c 84117 1621 10316 1037638 100 27009 23284 10190 1703 49.38 174.63/174.73 c 86199 1621 12398 1339644 108 31192 25613 12272 1715 50.25 174.63/174.73 c 89423 1621 15622 1642692 105 37631 28175 15496 1742 51.32 174.63/174.73 c 94359 1621 20558 2168472 105 47497 30993 20432 1761 53.58 174.63/174.73 c 101866 1621 28065 2889316 102 62478 34093 27939 1768 57.60 174.63/174.73 c 113227 1621 15386 1598648 103 37155 37503 15260 1803 62.78 174.63/174.73 c 130371 1621 32530 3997480 122 71444 41254 32404 1746 74.66 174.63/174.73 c 156191 1621 27341 3733846 136 61076 45380 27215 1581 98.75 174.63/174.73 c 195023 1621 30905 5043416 163 68198 49919 30779 1135 171.75 174.63/174.73 o 260641316442910 174.664 298.18/298.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 298.18/298.31 c 200632 1621 36515 5731215 156 80614 14455 36389 1148 174.67 298.18/298.31 c 200732 1621 7458 960019 128 21287 15901 7332 1132 177.27 298.18/298.31 c 200982 1621 7708 986000 127 21793 17492 7582 1133 177.38 298.18/298.31 c 201459 1621 8185 1025335 125 22748 19242 8059 1134 177.53 298.18/298.31 c 202272 1621 8998 1087525 120 24392 21167 8872 1137 177.77 298.18/298.31 c 203592 1621 10318 1255330 121 27027 23284 10192 1142 178.24 298.18/298.31 c 205673 1621 12399 1447394 116 31203 25613 12273 1149 178.97 298.18/298.31 c 208897 1621 15623 1986089 127 37640 28175 15497 1159 180.11 298.18/298.31 c 213835 1617 20561 2574256 125 47478 30993 20435 1165 183.42 298.18/298.31 c 221342 1617 28068 3958108 141 62520 34093 27942 1177 187.98 298.18/298.31 c 232704 1617 15634 2305840 147 37619 37503 15508 1176 197.82 298.18/298.31 c 249849 1617 32779 4197980 128 71934 41254 32653 1168 213.78 298.18/298.31 c 275668 1617 27641 4245235 153 61643 45380 27515 1173 234.96 298.18/298.31 c 314503 1617 32544 4389083 134 71438 49919 32418 1058 297.19 298.18/298.31 o 260640860020480 298.204 306.18/306.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 306.18/306.32 c 316708 1617 34750 4662456 134 77092 14451 34624 1062 298.21 306.18/306.32 c 316808 1617 7458 947270 127 21298 15897 7332 1050 301.59 306.18/306.32 c 317059 1617 7709 969992 125 21797 17487 7583 1050 301.69 306.18/306.32 c 317534 1617 8184 1022807 124 22742 19236 8058 1051 301.86 306.18/306.32 c 318348 1617 8998 1096395 121 24368 21160 8872 1053 302.13 306.18/306.32 c 319669 1617 10319 1250637 121 27019 23277 10193 1055 302.81 306.18/306.32 c 321750 1617 12400 1450761 116 31194 25605 12274 1060 303.51 306.18/306.32 c 324973 1617 15623 1781192 114 37642 28166 15497 1066 304.71 306.18/306.32 o 260513739391700 306.212 310.38/310.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 310.38/310.59 c 328359 1617 19010 2321944 122 45585 14451 18884 1072 306.21 310.38/310.59 c 328459 1617 7458 949350 127 21266 15897 7332 1071 306.51 310.38/310.59 c 328709 1617 7708 977686 126 21786 17487 7582 1072 306.62 310.38/310.59 c 329184 1617 8183 1021248 124 22750 19236 8057 1072 306.80 310.38/310.59 c 329997 1617 8996 1093597 121 24376 21160 8870 1074 307.08 310.38/310.59 c 331317 1617 10316 1262835 122 27015 23277 10190 1076 307.67 310.38/310.59 c 333400 1617 12399 1674549 135 31176 25605 12273 1080 308.65 310.38/310.59 c 336624 1617 15623 2170073 138 37612 28166 15497 1084 310.45 310.38/310.59 o 258981250378350 310.481 311.28/311.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 311.28/311.43 c 336662 1617 15662 2174849 138 38901 14451 15536 1084 310.48 311.28/311.43 c 336762 1617 7458 1140267 152 21278 15897 7332 1084 310.60 311.28/311.43 c 337012 1617 7708 1159015 150 21804 17487 7582 1084 310.68 311.28/311.43 c 337487 1617 8183 1213878 148 22747 19236 8057 1085 310.90 311.28/311.43 c 338301 1617 8997 1303461 144 24372 21160 8871 1086 311.27 311.28/311.43 o 258981006504840 311.326 841.42/841.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 841.42/841.79 c 338421 1617 9118 1313586 144 25831 14451 8992 1087 311.33 841.42/841.79 c 338522 1617 9219 1321722 143 26034 15897 9093 1087 311.38 841.42/841.79 c 338773 1617 9470 1350821 142 26512 17487 9344 1087 311.50 841.42/841.79 c 339249 1617 9946 1413685 142 27466 19236 9820 1088 311.75 841.42/841.79 c 340063 1617 10760 1547130 143 29100 21160 10634 1089 312.16 841.42/841.79 c 341384 1617 12081 1713062 141 31739 23277 11955 1091 312.88 841.42/841.79 c 343465 1617 14162 2067441 145 35926 25605 14036 1094 313.94 841.42/841.79 c 346689 1617 17386 2528097 145 42354 28166 17260 1095 316.43 841.42/841.79 c 351627 1617 22324 3188969 142 52217 30983 22198 1103 318.75 841.42/841.79 c 359135 1613 29832 4474869 150 67247 34082 29706 1106 324.60 841.42/841.79 c 370496 1613 17068 3244422 190 40522 37491 16942 1106 334.94 841.42/841.79 c 387641 1613 34213 6476173 189 74802 41241 34087 1087 356.55 841.42/841.79 c 413460 1613 29156 4805472 164 64685 45366 29030 1050 393.47 841.42/841.79 c 452293 1613 33372 5151954 154 73132 49903 33246 1027 440.17 841.42/841.79 c 510645 1613 12756 2470479 193 31862 54894 12630 822 621.15 841.42/841.79 c 598280 1613 12687 1729020 136 31741 60384 12561 717 833.97 841.42/841.79 o 257577492773440 841.514 1121.33/1121.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1121.33/1121.72 c 606019 1613 20427 3026647 148 48447 14447 20301 720 841.51 1121.33/1121.72 c 606120 1613 7459 1248015 167 21305 15892 7333 718 843.15 1121.33/1121.72 c 606371 1613 7710 1276207 165 21808 17482 7584 719 843.28 1121.33/1121.72 c 606846 1613 8185 1326394 162 22761 19231 8059 719 843.47 1121.33/1121.72 c 607659 1613 8998 1459128 162 24384 21155 8872 720 843.83 1121.33/1121.72 c 608979 1613 10318 1611267 156 27008 23271 10192 721 844.43 1121.33/1121.72 c 611062 1613 12401 1944553 156 31183 25599 12275 722 845.54 1121.33/1121.72 c 614285 1613 15624 2372979 151 37637 28159 15498 725 847.06 1121.33/1121.72 c 619222 1609 20561 3046003 148 47485 30975 20435 728 849.44 1121.33/1121.72 c 626730 1609 28069 4151638 147 62519 34073 27943 733 854.79 1121.33/1121.72 c 638092 1609 15606 2919251 187 37580 37481 15480 734 868.79 1121.33/1121.72 c 655237 1609 32751 5199898 158 71846 41230 32625 737 887.93 1121.33/1121.72 c 681056 1609 27416 5442711 198 61213 45354 27290 729 933.21 1121.33/1121.72 c 719889 1609 31194 4659826 149 68755 49890 31068 744 967.30 1121.33/1121.72 c 778241 1609 12828 1463162 114 32027 54880 12702 694 1121.19 1121.33/1121.72 o 257546671029920 1121.36 1800.03/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.03/1800.60 c 778646 1609 13234 1494506 112 34044 14443 13108 694 1121.36 1800.03/1800.60 c 778747 1609 13335 1505827 112 34255 15888 13209 694 1121.47 1800.03/1800.60 c 778998 1609 13586 1528355 112 34757 17477 13460 694 1121.55 1800.03/1800.60 c 779475 1609 14063 1562853 111 35709 19225 13937 694 1121.80 1800.03/1800.60 c 780290 1609 14878 1637341 110 37348 21148 14752 695 1122.37 1800.03/1800.60 c 781611 1609 16199 1848052 114 39989 23263 16073 695 1123.23 1800.03/1800.60 c 783693 1609 18281 2061732 112 44140 25590 18155 697 1124.35 1800.03/1800.60 c 786917 1609 21505 2484812 115 50570 28150 21379 698 1126.36 1800.03/1800.60 c 791854 1609 26442 3239582 122 60474 30966 26316 701 1128.94 1800.03/1800.60 c 799361 1609 12867 2100824 163 32088 34063 12741 703 1136.59 1800.03/1800.60 c 810723 1607 24229 3654179 150 54845 37470 24103 708 1144.45 1800.03/1800.60 c 827867 1607 14160 1417658 100 34709 41218 14034 718 1152.48 1800.03/1800.61 c 853686 1607 39979 6684561 167 86334 45340 39853 712 1198.43 1800.03/1800.61 c 892518 1607 44869 5628433 125 96095 49875 44743 724 1232.32 1800.03/1800.61 c 950873 1607 25031 3674531 146 56405 54863 24905 698 1362.05 1800.03/1800.61 c 1038506 1607 25509 3915927 153 57401 60350 25383 666 1558.33 1800.03/1800.61 c Caught signal: 15 1800.03/1800.61 v -x1404 x1411 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1412 -x1413 -x2060 1800.03/1800.61 v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 1800.03/1800.61 v -x2138 -x2139 -x2160 -x2161 x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 1800.03/1800.61 v -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 1800.03/1800.61 v -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 1800.03/1800.61 v -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 1800.03/1800.61 v -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 1800.03/1800.61 v -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 1800.03/1800.61 v -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 1800.03/1800.61 v -x2127 -x2128 -x2129 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 1800.03/1800.61 v -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1970 1800.03/1800.61 v -x1971 -x1972 -x1973 x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x2000 x2001 x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 1800.03/1800.61 v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 x2016 -x2017 -x2018 -x2019 -x2020 -x2021 x2022 -x2023 -x2024 -x2025 -x2026 1800.03/1800.61 v -x2027 -x2028 -x2029 -x2030 -x2031 x2032 x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 x2040 x2041 x2042 -x2043 -x2044 1800.03/1800.61 v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x1910 -x1911 1800.03/1800.61 v -x1912 x1913 x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x1920 x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 1800.03/1800.61 v -x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 x1943 -x1944 -x1945 -x1946 -x1947 1800.03/1800.61 v -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 1800.03/1800.61 v -x1965 -x1966 -x1967 -x1968 -x1969 x1980 x1981 -x1982 x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 1800.03/1800.61 v x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 1800.03/1800.61 v -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 1800.03/1800.61 v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x481 -x482 1800.03/1800.61 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.03/1800.61 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.03/1800.61 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.03/1800.61 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.03/1800.61 v -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 x584 x585 x586 x587 x588 1800.03/1800.61 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.03/1800.61 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1800.03/1800.61 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.03/1800.61 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.03/1800.61 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x31 -x32 -x33 1800.03/1800.61 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.03/1800.61 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.03/1800.61 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 1800.03/1800.61 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 1800.03/1800.61 v -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 1800.03/1800.61 v -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 1800.03/1800.61 v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 1800.03/1800.61 v -x195 x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 1800.03/1800.61 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 1800.03/1800.61 v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 1800.03/1800.61 v -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 1800.03/1800.61 v -x279 -x280 -x281 -x282 x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 1800.03/1800.61 v -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 x315 -x316 x317 -x318 x319 -x320 -x321 1800.03/1800.61 v -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 1800.03/1800.61 v -x373 x374 x375 -x376 x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 1800.03/1800.61 v -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 1800.03/1800.61 v -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 1800.03/1800.61 v x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 1800.03/1800.61 v -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 1800.03/1800.61 v -x478 -x479 -x480 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 1800.03/1800.61 v -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 1800.03/1800.61 v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 1800.03/1800.61 v -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 1800.03/1800.61 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 1800.03/1800.61 v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 1800.03/1800.61 v -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 1800.03/1800.61 v -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 1800.03/1800.61 v -x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 1800.03/1800.61 v -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 x1282 -x1283 -x1284 1800.03/1800.61 v -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 1800.03/1800.61 v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 1800.03/1800.61 v -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 1800.03/1800.61 v -x1336 -x1337 -x1338 -x1339 x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 1800.03/1800.61 v -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 1800.03/1800.61 v x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 1800.03/1800.61 v -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 1800.03/1800.61 v -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x770 1800.03/1800.61 v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 x790 x791 1800.03/1800.61 v x792 x793 x794 x795 x796 x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 1800.03/1800.61 v -x814 -x815 -x816 -x817 -x818 -x819 x820 x821 x822 -x823 x824 x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 1800.03/1800.61 v -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 1800.03/1800.61 v -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 x876 x877 1800.03/1800.61 v x878 x879 x880 x881 x882 x883 x884 x885 x886 x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 1800.03/1800.61 v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 1800.03/1800.61 v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 1800.03/1800.61 v -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 1800.03/1800.61 v -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 1800.03/1800.61 v -x985 -x986 -x987 -x988 -x989 -x990 x991 x992 x993 x994 x995 x996 x997 x998 x999 x1000 x1001 x1002 x1003 x1004 x1005 x1006 1800.03/1800.61 v x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1051 x1052 x1053 x1054 1800.03/1800.61 v x1055 x1056 x1057 x1058 x1059 x1060 x1061 x1062 x1063 x1064 x1065 x1066 x1067 x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1800.03/1800.61 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1800.03/1800.61 v -x1092 -x1093 x1094 -x1095 -x1096 x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1800.03/1800.61 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1800.03/1800.61 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 1800.03/1800.61 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 1800.03/1800.61 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1381 x1392 -x1382 -x1383 -x1384 -x1385 -x1386 -x1399 1800.03/1800.61 v -x1387 -x1388 -x1389 -x1390 -x1400 -x1391 -x1393 x1397 -x1401 -x1394 -x1395 -x1396 -x1398 -x1402 -x1403 -x1420 -x1421 1800.03/1800.61 v -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 1800.03/1800.61 v -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 1800.03/1800.61 v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 x1469 -x1470 -x1471 -x1472 -x1473 1800.03/1800.61 v -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 x1487 -x1488 x1489 x1490 x1491 1800.03/1800.61 v -x1492 -x1493 -x1494 x1495 -x1496 x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 1800.03/1800.61 v -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 x1519 x1520 x1521 -x1522 x1523 x1524 -x1525 x1526 -x1527 1800.03/1800.61 v -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 x1544 1800.03/1800.61 v x1545 x1546 x1547 x1548 x1549 x1550 x1551 x1552 x1553 x1554 x1555 x1556 x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 1800.03/1800.61 v -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 1800.03/1800.61 v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 1800.03/1800.61 v -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 1800.03/1800.61 v -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 1800.03/1800.61 v -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 x1643 x1644 x1645 x1646 -x1647 -x1648 -x1649 1800.03/1800.61 v -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x1660 x1661 x1662 x1663 x1664 x1665 x1666 x1667 x1668 1800.03/1800.61 v x1669 x1670 x1671 x1672 x1673 x1674 x1675 x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 1800.03/1800.61 v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 x1703 -x1704 1800.03/1800.61 v -x1705 x1706 x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 1800.03/1800.61 v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 x1737 -x1738 -x1739 -x1740 1800.03/1800.61 v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 1800.03/1800.61 v -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 x1768 x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 1800.03/1800.61 v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 -x1788 -x1789 -x1790 -x1791 -x1792 1800.03/1800.61 v -x1793 x1794 -x1795 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 1800.03/1800.61 v -x1811 -x1812 -x1813 x1814 x1815 x1816 x1817 x1818 x1819 x1820 x1821 x1822 x1823 x1824 x1825 x1826 x1827 -x1828 -x1829 -x1830 1800.03/1800.61 v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x1840 x1841 x1842 x1843 x1844 x1845 x1846 x1847 x1848 x1849 1800.03/1800.61 v x1850 x1851 x1852 x1853 x1854 -x1855 -x1856 x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 1800.03/1800.61 v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 1800.03/1800.61 v -x1885 -x1886 -x1887 -x1888 x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 1800.03/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.61 c 170 1112978 329472 2058481 52812 13385390 52686 618 1800.03 1800.03/1800.61 c Objective: 257546671029920 1800.03/1800.61 s SATISFIABLE 1800.03/1800.61 c Total time: 1800.03 s
OK 257546671029920
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node69/watcher-433325-1177957747 -o ROOT/results/node69/solver-433325-1177957747 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433325-1177957747/instance-433325-1177957747.opb 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.91 0.95 0.92 3/64 25181 /proc/meminfo: memFree=1866076/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=11848 CPUtime=0 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 271764173 12132352 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 2962 334 280 324 0 2004 0 [startup+0.0728421 s] /proc/loadavg: 0.91 0.95 0.92 3/64 25181 /proc/meminfo: memFree=1866076/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=4492 CPUtime=0.06 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 545 0 0 0 6 0 0 0 18 0 1 0 271764173 4599808 487 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 1123 487 303 324 0 193 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4492 [startup+0.101847 s] /proc/loadavg: 0.91 0.95 0.92 3/64 25181 /proc/meminfo: memFree=1866076/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=4684 CPUtime=0.09 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 610 0 0 0 9 0 0 0 18 0 1 0 271764173 4796416 552 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12385962 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 1171 552 309 324 0 241 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4684 [startup+0.301878 s] /proc/loadavg: 0.91 0.95 0.92 3/64 25181 /proc/meminfo: memFree=1866076/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=6124 CPUtime=0.29 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 968 0 0 0 29 0 0 0 19 0 1 0 271764173 6270976 910 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 1531 910 311 324 0 601 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6124 [startup+0.701944 s] /proc/loadavg: 0.91 0.95 0.92 3/64 25181 /proc/meminfo: memFree=1866076/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=8576 CPUtime=0.69 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 1576 0 0 0 69 0 0 0 22 0 1 0 271764173 8781824 1518 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 2144 1518 311 324 0 1214 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8576 [startup+1.50107 s] /proc/loadavg: 0.91 0.95 0.92 2/65 25182 /proc/meminfo: memFree=1859540/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=12332 CPUtime=1.49 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 2506 0 0 0 148 1 0 0 25 0 1 0 271764173 12627968 2448 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 3083 2448 311 324 0 2153 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12332 [startup+3.10133 s] /proc/loadavg: 0.91 0.95 0.92 2/65 25182 /proc/meminfo: memFree=1855572/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=17764 CPUtime=3.09 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 3885 0 0 0 307 2 0 0 25 0 1 0 271764173 18190336 3827 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 4441 3827 311 324 0 3511 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17764 [startup+6.30185 s] /proc/loadavg: 0.92 0.95 0.92 2/65 25182 /proc/meminfo: memFree=1845780/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=26936 CPUtime=6.29 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 6173 0 0 0 626 3 0 0 25 0 1 0 271764173 27582464 6115 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 6734 6115 311 324 0 5804 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26936 [startup+12.7019 s] /proc/loadavg: 0.93 0.95 0.92 2/65 25182 /proc/meminfo: memFree=1822164/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=48732 CPUtime=12.69 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 11613 0 0 0 1263 6 0 0 25 0 1 0 271764173 49901568 11555 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134552425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 12183 11555 311 324 0 11253 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48732 [startup+25.502 s] /proc/loadavg: 0.94 0.96 0.92 2/65 25182 /proc/meminfo: memFree=1796180/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=73244 CPUtime=25.48 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 17785 0 0 0 2538 10 0 0 25 0 1 0 271764173 75001856 17692 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 18311 17692 311 324 0 17381 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 73244 [startup+51.1012 s] /proc/loadavg: 0.96 0.96 0.92 2/65 25182 /proc/meminfo: memFree=1796244/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=73180 CPUtime=51.07 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 17785 0 0 0 5097 10 0 0 25 0 1 0 271764173 74936320 17686 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551030 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 18295 17686 311 324 0 17365 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 73180 [startup+102.304 s] /proc/loadavg: 0.98 0.96 0.92 2/65 25182 /proc/meminfo: memFree=1793748/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=75652 CPUtime=102.25 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 18433 0 0 0 10215 10 0 0 25 0 1 0 271764173 77467648 18292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 18913 18292 311 324 0 17983 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 75652 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25182 /proc/meminfo: memFree=1769620/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=99748 CPUtime=162.23 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 24490 0 0 0 16208 15 0 0 25 0 1 0 271764173 102141952 24303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 24937 24303 311 324 0 24007 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 99748 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25182 /proc/meminfo: memFree=1769620/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=99728 CPUtime=222.21 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 24490 0 0 0 22206 15 0 0 25 0 1 0 271764173 102121472 24303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 24932 24303 311 324 0 24002 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 99728 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25182 /proc/meminfo: memFree=1769620/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=99688 CPUtime=282.19 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 24490 0 0 0 28204 15 0 0 25 0 1 0 271764173 102080512 24303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 24922 24303 311 324 0 23992 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 99688 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25182 /proc/meminfo: memFree=1769620/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=99660 CPUtime=342.17 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 24490 0 0 0 34202 15 0 0 25 0 1 0 271764173 102051840 24303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 24915 24303 311 324 0 23985 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 99660 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25182 /proc/meminfo: memFree=1761172/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=108036 CPUtime=402.15 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 26618 0 0 0 40199 16 0 0 25 0 1 0 271764173 110628864 26389 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 27009 26389 311 324 0 26079 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 108036 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25182 /proc/meminfo: memFree=1757204/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=111916 CPUtime=462.14 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 27630 0 0 0 46197 17 0 0 25 0 1 0 271764173 114601984 27350 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 27979 27350 311 324 0 27049 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 111916 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25182 /proc/meminfo: memFree=1757268/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=111916 CPUtime=522.12 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 27630 0 0 0 52195 17 0 0 25 0 1 0 271764173 114601984 27350 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 27979 27350 311 324 0 27049 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 111916 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25182 /proc/meminfo: memFree=1749396/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=120180 CPUtime=582.1 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 29689 0 0 0 58191 19 0 0 25 0 1 0 271764173 123064320 29409 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 30045 29409 311 324 0 29115 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 120180 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25182 /proc/meminfo: memFree=1733524/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=135520 CPUtime=642.09 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33596 0 0 0 64187 22 0 0 25 0 1 0 271764173 138772480 33265 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 33880 33265 311 324 0 32950 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 135520 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25184 /proc/meminfo: memFree=1733652/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=135484 CPUtime=822.02 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33600 0 0 0 82180 22 0 0 25 0 1 0 271764173 138735616 33262 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 33871 33262 311 324 0 32941 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 135484 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25184 /proc/meminfo: memFree=1733844/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=135060 CPUtime=882 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33600 0 0 0 88178 22 0 0 25 0 1 0 271764173 138301440 33156 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 33765 33156 311 324 0 32835 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 135060 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25184 /proc/meminfo: memFree=1733908/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=135060 CPUtime=941.98 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33600 0 0 0 94176 22 0 0 25 0 1 0 271764173 138301440 33156 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 33765 33156 311 324 0 32835 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 135060 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25184 /proc/meminfo: memFree=1733972/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=135060 CPUtime=1001.97 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33600 0 0 0 100174 23 0 0 25 0 1 0 271764173 138301440 33156 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 33765 33156 311 324 0 32835 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 135060 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25184 /proc/meminfo: memFree=1733972/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=134888 CPUtime=1061.95 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33600 0 0 0 106172 23 0 0 25 0 1 0 271764173 138125312 33113 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 33722 33113 311 324 0 32792 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 134888 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25184 /proc/meminfo: memFree=1734036/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=134888 CPUtime=1121.93 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33600 0 0 0 112170 23 0 0 25 0 1 0 271764173 138125312 33113 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 33722 33113 311 324 0 32792 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 134888 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25184 /proc/meminfo: memFree=1734036/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=134804 CPUtime=1181.91 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33600 0 0 0 118168 23 0 0 25 0 1 0 271764173 138039296 33092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572639 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 33701 33092 311 324 0 32771 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 134804 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25184 /proc/meminfo: memFree=1734100/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=134804 CPUtime=1241.89 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33600 0 0 0 124166 23 0 0 25 0 1 0 271764173 138039296 33092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 33701 33092 311 324 0 32771 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 134804 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25184 /proc/meminfo: memFree=1734100/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=134804 CPUtime=1301.88 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33600 0 0 0 130165 23 0 0 25 0 1 0 271764173 138039296 33092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 33701 33092 311 324 0 32771 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 134804 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25184 /proc/meminfo: memFree=1734164/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=134804 CPUtime=1361.85 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33600 0 0 0 136162 23 0 0 25 0 1 0 271764173 138039296 33092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 33701 33092 311 324 0 32771 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 134804 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25184 /proc/meminfo: memFree=1734100/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=134792 CPUtime=1421.83 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33600 0 0 0 142160 23 0 0 25 0 1 0 271764173 138027008 33089 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 33698 33089 311 324 0 32768 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 134792 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25184 /proc/meminfo: memFree=1734164/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=134788 CPUtime=1481.81 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33600 0 0 0 148158 23 0 0 25 0 1 0 271764173 138022912 33088 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 33697 33088 311 324 0 32767 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 134788 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25184 /proc/meminfo: memFree=1734164/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=134788 CPUtime=1541.8 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 33600 0 0 0 154156 24 0 0 25 0 1 0 271764173 138022912 33088 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 33697 33088 311 324 0 32767 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 134788 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25184 /proc/meminfo: memFree=1732500/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=137580 CPUtime=1601.78 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 34293 0 0 0 160154 24 0 0 25 0 1 0 271764173 140881920 33775 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12386059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 34395 33775 311 324 0 33465 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 137580 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25184 /proc/meminfo: memFree=1699156/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=169580 CPUtime=1661.76 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 42352 0 0 0 166146 30 0 0 25 0 1 0 271764173 173649920 41773 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 42395 41773 311 324 0 41465 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 169580 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25184 /proc/meminfo: memFree=1699220/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=169580 CPUtime=1721.74 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 42352 0 0 0 172144 30 0 0 25 0 1 0 271764173 173649920 41773 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 42395 41773 311 324 0 41465 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 169580 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25184 /proc/meminfo: memFree=1699220/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=169580 CPUtime=1781.73 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 42352 0 0 0 178142 31 0 0 25 0 1 0 271764173 173649920 41773 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 42395 41773 311 324 0 41465 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 169580 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.92 2/65 25184 /proc/meminfo: memFree=1688340/2055920 swapFree=4182916/4192956 [pid=25181] ppid=25179 vsize=180580 CPUtime=1800.03 /proc/25181/stat : 25181 (bsolo3.0.17) R 25179 25181 24675 0 -1 4194304 45086 0 0 0 179970 33 0 0 25 0 1 0 271764173 184913920 44507 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25181/statm: 45145 44507 311 324 0 44215 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 180580 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.64 CPU time (s): 1800.07 CPU user time (s): 1799.7 CPU system time (s): 0.360945 CPU usage (%): 99.968 Max. virtual memory (cumulated for all children) (KiB): 180580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.7 system time used= 0.360945 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45090 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= 12 involuntary context switches= 1940 runsolver used 1.41578 second user time and 3.50847 second system time The end
Begin job on node69 on Mon Apr 30 18:29:07 UTC 2007 IDJOB= 433325 IDBENCH= 2483 IDSOLVER= 199 FILE ID= node69/433325-1177957747 PBS_JOBID= 4727700 Free space on /tmp= 66556 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3a.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433325-1177957747/instance-433325-1177957747.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-433325-1177957747 -o ROOT/results/node69/solver-433325-1177957747 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433325-1177957747/instance-433325-1177957747.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= efa7fb1a840e9d48ac9b28aadc8f53ba RANDOM SEED= 382407111 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node69.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.264 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 : 5931.00 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.264 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: 1866484 kB Buffers: 13876 kB Cached: 102380 kB SwapCached: 3900 kB Active: 30544 kB Inactive: 96120 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1866484 kB SwapTotal: 4192956 kB SwapFree: 4182916 kB Dirty: 6808 kB Writeback: 0 kB Mapped: 16280 kB Slab: 48692 kB Committed_AS: 2420044 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66556 MiB End job on node69 on Mon Apr 30 18:59:10 UTC 2007