Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 1548684511145700 | 1800.09 | 1800.56 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell3b.opb |
MD5SUM | 2982ffe422921e9a65d384b08247e6aa |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1548684511145700 |
Best CPU time to get the best result obtained on this benchmark | 1800.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1351353706341500 |
Optimality of the best value was proved | NO |
Number of variables | 2283 |
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 | 195 |
Number of terms in the objective function | 1780 |
Biggest coefficient in the objective function | 50331648000000000 |
Number of bits for the biggest coefficient in the objective function | 56 |
Sum of the numbers in the objective function | 1076758128151185266 |
Number of bits of the sum of numbers in the objective function | 60 |
Biggest number in a constraint | 50331648000000000 |
Number of bits of the biggest number in a constraint | 56 |
Biggest sum of numbers in a constraint | 1076758128151185266 |
Number of bits of the biggest sum of numbers | 60 |
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/433330-1177957777/instance-433330-1177957777.opb 0.00/0.00 c File size is 118460 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Highest Coefficient sum: 1.07676e+18 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.016 s 0.00/0.02 c Var: 2283 Constr: 151 22/0/129 Lit: 6475 Watch. Lit: 2605 0.00/0.02 c Obj. Vars: 1780 (77.9676 % of total variables) 0.00/0.04 c Pre-processing Time: 0.043 s 0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.07 c 0 1655 125 6111 48 5287 12163 0 0 0.04 0.00/0.07 c 100 1655 225 9403 41 5716 13380 100 1666 0.06 0.00/0.07 o 3969414544998400 0.067 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 141 1655 267 12668 47 6966 14637 142 2073 0.07 0.09/0.13 c 241 1655 367 19741 53 7175 16101 242 2231 0.11 0.09/0.13 o 3483612086096880 0.13 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 290 1655 417 23459 56 8560 14637 292 2213 0.13 0.09/0.16 c 391 1655 518 28070 54 8742 16101 393 2606 0.15 0.09/0.16 o 3481287663088080 0.157 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 399 1655 527 29853 56 9995 14637 402 2525 0.16 0.09/0.16 o 3478046668644880 0.165 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 402 1655 531 31250 58 11273 14637 406 2421 0.17 0.09/0.17 o 3476972541818880 0.175 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 403 1655 533 32503 60 12505 14637 408 2289 0.18 0.09/0.19 o 3473352385402880 0.186 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 404 1655 535 33799 63 13745 14637 410 2160 0.19 0.19/0.20 o 3458064600442880 0.203 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 416 1655 548 35523 64 15015 14637 423 2039 0.20 0.19/0.22 o 2774722377893480 0.219 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 420 1655 553 36860 66 16228 14637 428 1909 0.22 0.19/0.23 o 2329581405440480 0.233 0.19/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.25 c 421 1655 555 38159 68 17473 14637 430 1799 0.23 0.19/0.25 o 2321178971776480 0.248 0.69/0.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.75 c 422 1655 557 39489 70 18707 14637 432 1694 0.25 0.69/0.75 c 524 1655 659 47127 71 18924 16101 534 1476 0.35 0.69/0.75 c 775 1655 910 64782 71 19388 17712 785 1161 0.67 0.69/0.75 o 2320747759372850 0.746 4.19/4.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.28 c 893 1655 1029 74302 72 20833 14637 904 1193 0.75 4.19/4.28 c 993 1655 1129 77941 69 21056 16101 1004 1067 0.93 4.19/4.28 c 1246 1655 1382 122197 88 21586 17712 1257 1105 1.13 4.19/4.28 c 1722 1655 1858 166073 89 22499 19484 1733 981 1.75 4.19/4.28 c 2535 1653 2671 261798 98 24151 21433 2546 967 2.62 4.19/4.28 c 3855 1653 3991 363544 91 26766 23577 3866 933 4.13 4.19/4.28 o 2201594426749830 4.279 4.29/4.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.32 c 3984 1653 4121 374398 90 28283 14633 3996 930 4.28 4.29/4.32 o 1785540771499680 4.317 13.19/13.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.19/13.28 c 3997 1653 4135 376020 90 29567 14633 4010 925 4.32 13.19/13.28 c 4097 1653 4235 384957 90 29767 16097 4110 915 4.47 13.19/13.28 c 4348 1653 4486 417734 93 30251 17707 4361 928 4.68 13.19/13.28 c 4826 1653 4964 468714 94 31191 19478 4839 945 5.11 13.19/13.28 c 5639 1653 5777 518954 89 32814 21426 5652 937 6.02 13.19/13.28 c 6959 1653 7097 598209 84 35445 23569 6972 937 7.42 13.19/13.28 c 9042 1653 9180 829137 90 39593 25926 9055 970 9.31 13.19/13.28 c 12265 1653 12403 1172243 94 46072 28519 12278 938 13.06 13.19/13.28 o 1785505560419515 13.275 47.37/47.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 47.37/47.40 c 12529 1653 12668 1195718 94 47828 14633 12543 943 13.28 47.37/47.40 c 12630 1653 12769 1203381 94 48006 16097 12644 937 13.47 47.37/47.40 c 12880 1653 13019 1222033 93 48525 17707 12894 935 13.77 47.37/47.40 c 13355 1653 13494 1289229 95 49489 19478 13369 936 14.27 47.37/47.40 c 14168 1653 14307 1379930 96 51102 21426 14182 957 14.79 47.37/47.40 c 15489 1653 15628 1515218 96 53740 23569 15503 959 16.14 47.37/47.40 c 17570 1653 17709 1648358 93 57932 25926 17584 943 18.62 47.37/47.40 c 20793 1653 20932 2086046 99 64348 28519 20807 929 22.38 47.37/47.40 c 25731 1653 25870 2602367 100 74209 31371 25745 874 29.41 47.37/47.40 c 33237 1653 11874 1634670 137 30182 34509 11749 933 35.62 47.37/47.40 c 44599 1653 23236 3109015 133 52921 37960 23111 973 45.80 47.37/47.40 o 1783279813822080 47.381 52.47/52.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 52.47/52.54 c 48372 1653 27010 3626370 134 61708 14633 26885 1020 47.38 52.47/52.54 c 48472 1653 7550 988483 130 21542 16097 7425 1011 47.91 52.47/52.54 c 48724 1653 7802 1005602 128 22048 17707 7677 1015 48.00 52.47/52.54 c 49199 1653 8277 1044160 126 22996 19478 8152 1021 48.17 52.47/52.54 c 50012 1653 9090 1128348 124 24635 21426 8965 1032 48.44 52.47/52.54 c 51333 1653 10411 1243859 119 27269 23569 10286 1047 49.02 52.47/52.54 c 53415 1653 12493 1382176 110 31429 25926 12368 1071 49.83 52.47/52.54 c 56638 1653 15716 1672864 106 37906 28519 15591 1105 51.23 52.47/52.54 o 1777350423625680 52.525 53.17/53.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 53.17/53.21 c 59165 1653 18244 2119034 116 44192 14633 18119 1126 52.53 53.17/53.21 c 59265 1653 7550 851593 112 21558 16097 7425 1120 52.91 53.17/53.21 c 59515 1653 7800 872862 111 22067 17707 7675 1122 53.01 53.17/53.21 c 59991 1653 8276 916552 110 23026 19478 8151 1128 53.16 53.17/53.21 o 1689418521741400 53.193 56.27/56.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 56.27/56.33 c 60046 1653 8332 920688 110 24365 14633 8207 1128 53.20 56.27/56.33 c 60146 1653 8432 932258 110 24570 16097 8307 1129 53.24 56.27/56.33 c 60396 1653 8682 956780 110 25059 17707 8557 1131 53.36 56.27/56.33 c 60874 1653 9160 1003895 109 26006 19478 9035 1136 53.54 56.27/56.33 c 61687 1653 9973 1051124 105 27630 21426 9848 1145 53.85 56.27/56.33 c 63008 1653 11294 1159638 102 30276 23569 11169 1159 54.32 56.27/56.33 c 65090 1653 13376 1400079 104 34422 25926 13251 1180 55.15 56.27/56.33 o 1689405848278930 56.317 58.27/58.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 58.27/58.37 c 67456 1653 15743 1611542 102 40402 14633 15618 1197 56.32 58.27/58.37 c 67556 1653 7548 686281 90 21527 16097 7423 1196 56.46 58.27/58.37 c 67806 1653 7798 710747 91 22039 17707 7673 1198 56.58 58.27/58.37 c 68282 1653 8274 773622 93 22989 19478 8149 1203 56.74 58.27/58.37 c 69095 1653 9087 849580 93 24618 21426 8962 1211 57.05 58.27/58.37 c 70415 1653 10407 978091 93 27258 23569 10282 1224 57.51 58.27/58.37 c 72497 1653 12489 1200872 96 31421 25926 12364 1244 58.27 58.27/58.37 o 1688808488975500 58.347 188.94/189.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 188.94/189.05 c 72674 1653 12667 1217344 96 33026 14633 12542 1245 58.35 188.94/189.05 c 72776 1653 12769 1223853 95 33223 16097 12644 1246 58.41 188.94/189.05 c 73026 1653 13019 1243577 95 33707 17707 12894 1247 58.55 188.94/189.05 c 73502 1653 13495 1291030 95 34656 19478 13370 1249 58.82 188.94/189.05 c 74316 1653 14309 1384109 96 36304 21426 14184 1254 59.24 188.94/189.05 c 75636 1653 15629 1500063 95 38948 23569 15504 1260 59.98 188.94/189.05 c 77719 1653 17712 1733708 97 43111 25926 17587 1268 61.25 188.94/189.05 c 80942 1653 20935 2060807 98 49551 28519 20810 1284 63.00 188.94/189.05 c 85878 1653 25871 2604775 100 59415 31371 25746 1263 67.95 188.94/189.05 c 93384 1653 12365 1185497 95 31188 34509 12240 1286 72.61 188.94/189.05 c 104745 1653 23726 2213551 93 53895 37960 23601 1319 79.36 188.94/189.05 c 121889 1653 13435 1319618 98 33331 41757 13310 1232 98.92 188.94/189.05 c 147708 1653 39254 6632624 168 84959 45933 39129 1185 124.62 188.94/189.05 c 186541 1653 42614 6839945 160 91648 50527 42489 1024 182.02 188.94/189.05 o 1624361501469680 188.997 197.94/198.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 197.94/198.02 c 191156 1653 47230 7242857 153 102145 14633 47105 1011 189.00 197.94/198.02 c 191256 1653 7550 853631 113 21564 16097 7425 966 197.79 197.94/198.02 c 191507 1653 7801 871567 111 22057 17707 7676 967 197.85 197.94/198.02 o 1620795444347780 197.966 202.63/202.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 202.63/202.72 c 191931 1653 8226 899588 109 24147 14633 8101 969 197.97 202.63/202.72 c 192031 1653 8326 907008 108 24331 16097 8201 969 198.03 202.63/202.72 c 192282 1653 8577 927820 108 24856 17707 8452 970 198.18 202.63/202.72 c 192757 1653 9052 960174 106 25785 19478 8927 971 198.37 202.63/202.72 c 193570 1653 9865 1063718 107 27408 21426 9740 973 198.79 202.63/202.72 c 194890 1653 11185 1204266 107 30056 23569 11060 977 199.32 202.63/202.72 c 196971 1653 13266 1469914 110 34220 25926 13141 982 200.56 202.63/202.72 c 200194 1653 16489 1811598 109 40642 28519 16364 988 202.58 202.63/202.72 o 1620687942454565 202.669 203.63/203.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 203.63/203.73 c 200288 1653 16584 1820925 109 42070 14633 16459 988 202.67 203.63/203.73 c 200388 1653 7551 832826 110 21532 16097 7426 987 202.85 203.63/203.73 c 200638 1653 7801 854022 109 22029 17707 7676 988 202.99 203.63/203.73 c 201113 1653 8276 906391 109 22997 19478 8151 989 203.15 203.63/203.73 c 201927 1653 9090 973342 107 24636 21426 8965 991 203.62 203.63/203.73 o 1570117865695040 203.672 238.52/238.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 238.52/238.66 c 201995 1653 9159 977471 106 26009 14633 9034 991 203.67 238.52/238.66 c 202096 1653 9260 984740 106 26222 16097 9135 991 203.75 238.52/238.66 c 202347 1653 9511 1006444 105 26712 17707 9386 992 203.88 238.52/238.66 c 202822 1653 9986 1040011 104 27689 19478 9861 993 204.13 238.52/238.66 c 203635 1653 10799 1167066 108 29276 21426 10674 995 204.58 238.52/238.66 c 204956 1653 12120 1317165 108 31921 23569 11995 998 205.35 238.52/238.66 c 207039 1653 14203 1537839 108 36106 25926 14078 1001 206.69 238.52/238.66 c 210262 1653 17426 1874080 107 42551 28519 17301 1009 208.38 238.52/238.66 c 215198 1653 22362 2271291 101 52411 31371 22237 1015 211.89 238.52/238.66 c 222704 1653 29868 3550725 118 67445 34509 29743 1023 217.65 238.52/238.66 c 234066 1653 17178 2506774 145 40819 37960 17053 1016 230.20 238.52/238.66 c 251211 1653 34323 5119619 149 75119 41757 34198 1053 238.37 238.52/238.66 o 1567004013514240 238.592 245.22/245.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 245.22/245.38 c 251567 1653 34680 5141952 148 77021 14633 34555 1054 238.59 245.22/245.38 c 251670 1653 7554 1162573 153 21575 16097 7429 1049 239.70 245.22/245.38 c 251920 1653 7804 1182086 151 22055 17707 7679 1050 239.76 245.22/245.38 c 252395 1653 8279 1231212 148 23016 19478 8154 1051 239.93 245.22/245.38 c 253209 1653 9093 1317194 144 24626 21426 8968 1053 240.26 245.22/245.38 c 254529 1653 10413 1414221 135 27276 23569 10288 1057 240.62 245.22/245.38 c 256611 1653 12495 1542244 123 31425 25926 12370 1064 241.16 245.22/245.38 c 259834 1653 15718 1984141 126 37897 28519 15593 1071 242.48 245.22/245.38 c 264770 1653 20654 2407511 116 47748 31371 20529 1081 244.84 245.22/245.38 o 1566397387768950 245.317 245.82/245.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 245.82/245.91 c 265899 1653 21784 2565090 117 51269 14633 21659 1083 245.32 245.82/245.91 c 265999 1653 7550 748141 99 21486 16097 7425 1082 245.63 245.82/245.91 c 266249 1653 7800 766808 98 22049 17707 7675 1083 245.76 245.82/245.91 o 1549360181066400 245.842 396.09/396.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 396.09/396.27 c 266520 1653 8072 781140 96 23845 14633 7947 1084 245.84 396.09/396.27 c 266620 1653 8172 788566 96 24027 16097 8047 1084 245.89 396.09/396.27 c 266871 1653 8423 804404 95 24523 17707 8298 1084 245.98 396.09/396.27 c 267346 1653 8898 836150 93 25489 19478 8773 1086 246.17 396.09/396.27 c 268160 1653 9712 893230 91 27095 21426 9587 1087 246.54 396.09/396.27 c 269481 1653 11033 994934 90 29760 23569 10908 1091 246.94 396.09/396.27 c 271563 1653 13115 1166127 88 33911 25926 12990 1095 247.90 396.09/396.27 c 274786 1653 16338 1405417 86 40386 28519 16213 1102 249.22 396.09/396.27 c 279722 1653 21274 1773843 83 50219 31371 21149 1108 252.29 396.09/396.27 c 287229 1653 28781 2767951 96 65246 34509 28656 1121 256.07 396.09/396.27 c 298591 1653 16198 1549853 95 38836 37960 16073 1137 262.46 396.09/396.27 c 315735 1653 33342 4578312 137 73139 41757 33217 1141 276.61 396.09/396.27 c 341554 1653 28120 3362789 119 62663 45933 27995 1109 307.85 396.09/396.27 c 380387 1653 32052 3003745 93 70531 50527 31927 1069 355.62 396.09/396.27 o 1548684511145700 396.167 1800.03/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.03/1800.50 c 411043 1653 22109 5051125 228 51873 14633 21984 1037 396.17 1800.03/1800.50 c 411143 1653 7552 1706007 225 21544 16097 7427 1036 396.78 1800.03/1800.50 c 411395 1653 7804 1725117 221 22066 17707 7679 1036 396.85 1800.03/1800.50 c 411872 1653 8281 1774087 214 23013 19478 8156 1037 397.05 1800.03/1800.50 c 412688 1653 9097 1832471 201 24629 21426 8972 1038 397.31 1800.03/1800.50 c 414009 1653 10418 1936194 185 27284 23569 10293 1040 397.75 1800.03/1800.50 c 416090 1653 12499 2096871 167 31439 25926 12374 1044 398.46 1800.03/1800.50 c 419313 1653 15722 2465951 156 37907 28519 15597 1047 400.27 1800.03/1800.50 c 424252 1653 20661 3082253 149 47774 31371 20536 1052 403.07 1800.03/1800.50 c 431758 1653 28167 3732482 132 62780 34509 28042 1057 408.20 1800.03/1800.50 c 443119 1653 15223 2062248 135 36867 37960 15098 1054 420.14 1800.03/1800.50 c 460265 1653 32369 4153043 128 71213 41757 32244 1064 432.21 1800.03/1800.50 c 486084 1653 26981 2413899 89 60381 45933 26856 1054 461.07 1800.03/1800.50 c 524916 1653 30412 2739974 90 67279 50527 30287 1055 497.36 1800.03/1800.50 c 583269 1653 49454 4332102 87 105358 55580 49329 978 595.79 1800.03/1800.50 c 670902 1653 48245 4663652 96 102916 61139 48120 823 814.20 1800.03/1800.50 c 802454 1653 29212 5402575 184 64842 67253 29087 737 1087.51 1800.03/1800.50 c 999886 1653 59851 12121275 202 126110 73979 59726 583 1714.31 1800.03/1800.50 c Caught signal: 15 1800.03/1800.50 v x1404 x1411 -x1414 -x1415 -x1416 x1417 -x1418 -x1419 -x1405 -x1406 -x1407 -x1408 x1409 -x1410 -x1412 -x1413 -x2092 -x2093 1800.03/1800.50 v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2166 -x2167 -x2168 -x2169 -x2170 1800.03/1800.50 v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 1800.03/1800.50 v -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 1800.03/1800.50 v -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 1800.03/1800.50 v -x2242 -x2243 -x2244 x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 x2256 -x2257 -x2258 -x2259 1800.03/1800.50 v -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 1800.03/1800.50 v -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2106 -x2107 -x2108 -x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 1800.03/1800.50 v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 1800.03/1800.50 v -x2133 -x2134 -x2135 x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 1800.03/1800.50 v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2180 1800.03/1800.50 v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 1800.03/1800.50 v -x2198 -x2199 -x1900 x1901 x1902 -x1903 x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1974 x1975 1800.03/1800.50 v x1976 x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 1800.03/1800.50 v -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 1800.03/1800.50 v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 1800.03/1800.50 v -x2048 -x2049 -x2050 -x2051 -x2052 x2053 x2054 -x2055 x2056 -x2057 x2058 -x2059 -x2060 -x2061 -x2062 -x2063 x2064 x2065 1800.03/1800.50 v -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 x2080 -x2081 x2082 -x2083 1800.03/1800.50 v -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x1914 x1915 -x1916 x1917 -x1918 x1919 x1920 -x1921 -x1922 -x1923 1800.03/1800.50 v -x1924 -x1925 -x1926 -x1927 x1928 -x1929 x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 1800.03/1800.50 v -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 x1954 x1955 -x1956 x1957 x1958 x1959 1800.03/1800.50 v -x1960 -x1961 -x1962 -x1963 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 x1970 x1971 x1972 -x1973 -x1988 -x1989 -x1990 -x1991 1800.03/1800.50 v -x1992 -x1993 -x1994 x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x1 -x2 1800.03/1800.50 v -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.03/1800.50 v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 x347 x348 -x349 -x350 -x351 1800.03/1800.50 v -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 1800.03/1800.50 v -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 1800.03/1800.50 v -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 1800.03/1800.50 v -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 1800.03/1800.50 v -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 1800.03/1800.50 v -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 1800.03/1800.50 v -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 x615 x616 -x617 -x618 1800.03/1800.50 v -x619 -x620 x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 1800.03/1800.50 v -x640 -x641 -x642 -x643 -x644 -x645 x646 x647 x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 1800.03/1800.50 v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 x680 -x681 1800.03/1800.50 v -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 1800.03/1800.50 v -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 1800.03/1800.50 v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 1800.03/1800.50 v -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 1800.03/1800.50 v -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 x135 x136 -x137 -x138 1800.03/1800.50 v -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 1800.03/1800.50 v -x160 -x161 -x162 -x163 -x164 -x165 x166 x167 x168 x169 x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 1800.03/1800.50 v -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 1800.03/1800.50 v -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 1800.03/1800.50 v -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 x242 -x243 -x244 1800.03/1800.50 v -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 1800.03/1800.50 v -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 x286 1800.03/1800.50 v x287 x288 x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 1800.03/1800.50 v -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 1800.03/1800.50 v -x329 -x330 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 1800.03/1800.50 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1800.03/1800.50 v -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1800.03/1800.50 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 x436 x437 x438 x439 x440 -x441 -x442 -x443 1800.03/1800.50 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 1800.03/1800.50 v x465 -x466 x467 x468 x469 x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x691 -x692 -x693 -x694 -x695 -x696 1800.03/1800.50 v -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 1800.03/1800.50 v -x718 -x719 -x720 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 1800.03/1800.50 v -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1171 -x1172 1800.03/1800.50 v -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 x1189 1800.03/1800.50 v -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 1800.03/1800.50 v -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 1800.03/1800.50 v -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 1800.03/1800.50 v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 1800.03/1800.50 v -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 1800.03/1800.50 v -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 1800.03/1800.50 v -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 1800.03/1800.50 v -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 1800.03/1800.50 v -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 x1341 -x1342 1800.03/1800.50 v -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 1800.03/1800.50 v -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 x1371 -x1372 -x1373 -x1374 -x1375 -x1376 1800.03/1800.50 v -x1377 -x1378 -x1379 -x1380 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 1800.03/1800.50 v -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 1800.03/1800.50 v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 x769 x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 1800.03/1800.50 v -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 x799 1800.03/1800.50 v x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 1800.03/1800.50 v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 1800.03/1800.50 v -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 1800.03/1800.50 v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 1800.03/1800.50 v -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 1800.03/1800.50 v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 x915 x916 x917 x918 -x919 x920 -x921 -x922 -x923 -x924 -x925 -x926 1800.03/1800.50 v -x927 -x928 -x929 -x930 x931 -x932 x933 x934 x935 x936 x937 x938 x939 x940 x941 x942 x943 -x944 x945 -x946 -x947 -x948 -x949 1800.03/1800.50 v -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 1800.03/1800.50 v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 1800.03/1800.50 v -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 1800.03/1800.50 v x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 1800.03/1800.50 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 x1071 x1072 -x1073 -x1074 -x1075 -x1076 1800.03/1800.50 v -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 1800.03/1800.50 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 1800.03/1800.50 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 1800.03/1800.50 v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 1800.03/1800.50 v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 1800.03/1800.50 v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1381 x1392 x1382 -x1383 -x1384 -x1385 -x1386 x1399 x1387 1800.03/1800.50 v x1388 x1389 -x1390 x1400 -x1391 -x1393 x1397 x1401 -x1394 -x1395 -x1396 x1398 -x1402 -x1403 -x1420 -x1421 -x1422 -x1423 1800.03/1800.50 v -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 1800.03/1800.50 v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 1800.03/1800.50 v -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 x1466 x1467 x1468 -x1469 -x1470 x1471 -x1472 -x1473 -x1474 -x1475 1800.03/1800.50 v -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 1800.03/1800.50 v -x1493 -x1494 -x1495 x1496 -x1497 x1498 x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 1800.03/1800.50 v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 1800.03/1800.50 v -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 1800.03/1800.50 v -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557 -x1558 x1559 -x1560 -x1561 -x1562 1800.03/1800.50 v -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 1800.03/1800.50 v -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 x1587 x1588 -x1589 x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 1800.03/1800.50 v -x1598 -x1599 x1600 -x1601 x1602 x1603 x1604 x1605 x1606 x1607 x1608 x1609 x1610 x1611 x1612 -x1613 x1614 -x1615 -x1616 1800.03/1800.50 v -x1617 -x1618 x1619 -x1620 x1621 -x1622 x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 1800.03/1800.50 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 x1641 -x1642 -x1643 x1644 x1645 -x1646 -x1647 x1648 -x1649 -x1650 -x1651 -x1652 1800.03/1800.50 v -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 1800.03/1800.50 v -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 1800.03/1800.50 v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 1800.03/1800.50 v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 1800.03/1800.50 v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 x1733 x1734 -x1735 x1736 -x1737 -x1738 -x1739 1800.03/1800.50 v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 1800.03/1800.50 v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 1800.03/1800.50 v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 1800.03/1800.50 v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 1800.03/1800.50 v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 1800.03/1800.50 v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 1800.03/1800.50 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 x1853 -x1854 -x1855 x1856 -x1857 -x1858 -x1859 1800.03/1800.50 v -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 1800.03/1800.50 v -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 x1885 x1886 x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 1800.03/1800.50 v -x1895 -x1896 -x1897 -x1898 -x1899 1800.03/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.50 c 153 1015307 312935 1881305 52806 9847220 52681 564 1800.04 1800.03/1800.50 c Objective: 1548684511145700 1800.03/1800.50 s SATISFIABLE 1800.03/1800.50 c Total time: 1800.04 s
OK 1548684511145700
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node7/watcher-433330-1177957777 -o ROOT/results/node7/solver-433330-1177957777 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433330-1177957777/instance-433330-1177957777.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.92 0.98 0.94 3/77 27680 /proc/meminfo: memFree=1857400/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=11852 CPUtime=0 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 271815323 12136448 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 2963 334 280 324 0 2004 0 [startup+0.078191 s] /proc/loadavg: 0.92 0.98 0.94 3/77 27680 /proc/meminfo: memFree=1857400/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=4700 CPUtime=0.07 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 601 0 0 0 7 0 0 0 18 0 1 0 271815323 4812800 542 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 1175 542 310 324 0 245 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4700 [startup+0.101194 s] /proc/loadavg: 0.92 0.98 0.94 3/77 27680 /proc/meminfo: memFree=1857400/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=4700 CPUtime=0.09 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 613 0 0 0 9 0 0 0 18 0 1 0 271815323 4812800 554 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 1175 554 310 324 0 245 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4700 [startup+0.301214 s] /proc/loadavg: 0.92 0.98 0.94 3/77 27680 /proc/meminfo: memFree=1857400/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=5356 CPUtime=0.29 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 767 0 0 0 29 0 0 0 19 0 1 0 271815323 5484544 708 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 1339 708 311 324 0 409 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5356 [startup+0.701257 s] /proc/loadavg: 0.92 0.98 0.94 3/77 27680 /proc/meminfo: memFree=1857400/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=5616 CPUtime=0.69 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 852 0 0 0 69 0 0 0 23 0 1 0 271815323 5750784 793 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 1404 793 311 324 0 474 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5616 [startup+1.50134 s] /proc/loadavg: 0.92 0.98 0.94 2/78 27681 /proc/meminfo: memFree=1855024/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=6800 CPUtime=1.49 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 1146 0 0 0 149 0 0 0 25 0 1 0 271815323 6963200 1087 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 1700 1087 311 324 0 770 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6800 [startup+3.10151 s] /proc/loadavg: 0.92 0.98 0.94 2/78 27681 /proc/meminfo: memFree=1853296/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=8884 CPUtime=3.09 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 1642 0 0 0 309 0 0 0 25 0 1 0 271815323 9097216 1583 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 2221 1583 311 324 0 1291 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8884 [startup+6.30184 s] /proc/loadavg: 0.93 0.98 0.94 2/78 27681 /proc/meminfo: memFree=1849328/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=12280 CPUtime=6.28 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 2504 0 0 0 627 1 0 0 25 0 1 0 271815323 12574720 2445 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 3070 2445 311 324 0 2140 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 12280 [startup+12.7025 s] /proc/loadavg: 0.93 0.98 0.94 2/78 27681 /proc/meminfo: memFree=1841520/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=20476 CPUtime=12.69 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 4563 0 0 0 1267 2 0 0 25 0 1 0 271815323 20967424 4504 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 5119 4504 311 324 0 4189 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20476 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.94 2/78 27681 /proc/meminfo: memFree=1824496/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=36864 CPUtime=25.48 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 8646 0 0 0 2544 4 0 0 25 0 1 0 271815323 37748736 8587 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 9216 8587 311 324 0 8286 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 36864 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.94 2/78 27681 /proc/meminfo: memFree=1804464/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=56396 CPUtime=51.07 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 13559 0 0 0 5100 7 0 0 25 0 1 0 271815323 57749504 13467 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10858243 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 14099 13467 311 324 0 13169 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 56396 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.94 2/78 27681 /proc/meminfo: memFree=1804464/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=56256 CPUtime=102.26 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 13565 0 0 0 10219 7 0 0 25 0 1 0 271815323 57606144 13456 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 14064 13456 311 324 0 13134 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 56256 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.94 2/78 27681 /proc/meminfo: memFree=1752624/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=107992 CPUtime=162.25 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 26520 0 0 0 16210 15 0 0 25 0 1 0 271815323 110583808 26364 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 26998 26364 311 324 0 26068 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 107992 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.94 2/78 27681 /proc/meminfo: memFree=1752624/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=107964 CPUtime=222.23 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 26567 0 0 0 22208 15 0 0 25 0 1 0 271815323 110555136 26364 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 26991 26364 311 324 0 26061 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 107964 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.94 2/78 27683 /proc/meminfo: memFree=1752816/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=107604 CPUtime=282.22 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 26567 0 0 0 28206 16 0 0 25 0 1 0 271815323 110186496 26293 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550670 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 26901 26293 311 324 0 25971 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 107604 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.94 2/78 27683 /proc/meminfo: memFree=1752880/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=107596 CPUtime=342.2 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 26567 0 0 0 34204 16 0 0 25 0 1 0 271815323 110178304 26291 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 26899 26291 311 324 0 25969 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 107596 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.94 2/78 27683 /proc/meminfo: memFree=1752944/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=107452 CPUtime=402.18 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 26572 0 0 0 40201 17 0 0 25 0 1 0 271815323 110030848 26255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 26863 26255 311 324 0 25933 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 107452 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.94 2/78 27683 /proc/meminfo: memFree=1753008/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=107396 CPUtime=462.16 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 26572 0 0 0 46199 17 0 0 25 0 1 0 271815323 109973504 26241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551660 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 26849 26241 311 324 0 25919 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 107396 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.94 2/78 27683 /proc/meminfo: memFree=1753072/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=107388 CPUtime=522.15 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 26572 0 0 0 52197 18 0 0 25 0 1 0 271815323 109965312 26239 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 26847 26239 311 324 0 25917 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 107388 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.94 2/78 27683 /proc/meminfo: memFree=1753072/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=107352 CPUtime=582.13 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 26572 0 0 0 58195 18 0 0 25 0 1 0 271815323 109928448 26230 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 26838 26230 311 324 0 25908 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 107352 [startup+642.302 s] /proc/loadavg: 1.14 1.02 0.95 2/78 27683 /proc/meminfo: memFree=1753136/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=107368 CPUtime=642.13 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 26576 0 0 0 64194 19 0 0 25 0 1 0 271815323 109944832 26234 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10850454 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 26842 26234 311 324 0 25912 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 107368 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.95 2/78 27683 /proc/meminfo: memFree=1753200/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=107392 CPUtime=882.06 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 26582 0 0 0 88185 21 0 0 25 0 1 0 271815323 109969408 26240 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 26848 26240 311 324 0 25918 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 107392 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.95 2/78 27683 /proc/meminfo: memFree=1706800/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=154368 CPUtime=942.05 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 38319 0 0 0 94175 30 0 0 25 0 1 0 271815323 158072832 37977 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 38592 37977 311 324 0 37662 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 154368 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 27683 /proc/meminfo: memFree=1688368/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=172000 CPUtime=1002.03 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 42788 0 0 0 100170 33 0 0 25 0 1 0 271815323 176128000 42384 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 43000 42384 311 324 0 42070 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 172000 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 27683 /proc/meminfo: memFree=1688368/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=172000 CPUtime=1062.02 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 42788 0 0 0 106168 34 0 0 25 0 1 0 271815323 176128000 42384 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547675 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 43000 42384 311 324 0 42070 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 172000 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 27683 /proc/meminfo: memFree=1681200/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=179072 CPUtime=1121.99 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 44621 0 0 0 112164 35 0 0 25 0 1 0 271815323 183369728 44156 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 44768 44156 311 324 0 43838 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 179072 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 27683 /proc/meminfo: memFree=1681264/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=179064 CPUtime=1181.98 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 44627 0 0 0 118162 36 0 0 25 0 1 0 271815323 183361536 44158 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 44766 44158 311 324 0 43836 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 179064 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 27683 /proc/meminfo: memFree=1681264/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=179064 CPUtime=1241.96 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 44627 0 0 0 124160 36 0 0 25 0 1 0 271815323 183361536 44158 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 44766 44158 311 324 0 43836 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 179064 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 27683 /proc/meminfo: memFree=1679792/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=180484 CPUtime=1301.95 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 45027 0 0 0 130158 37 0 0 25 0 1 0 271815323 184815616 44490 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 45121 44490 311 324 0 44191 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 180484 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 27683 /proc/meminfo: memFree=1679792/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=180484 CPUtime=1361.93 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 45027 0 0 0 136156 37 0 0 25 0 1 0 271815323 184815616 44490 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10858141 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 45121 44490 311 324 0 44191 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 180484 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.95 2/78 27683 /proc/meminfo: memFree=1679792/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=180484 CPUtime=1421.92 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 45027 0 0 0 142154 38 0 0 25 0 1 0 271815323 184815616 44490 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 45121 44490 311 324 0 44191 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 180484 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 27683 /proc/meminfo: memFree=1679792/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=180484 CPUtime=1481.9 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 45027 0 0 0 148152 38 0 0 25 0 1 0 271815323 184815616 44490 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 45121 44490 311 324 0 44191 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 180484 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 27683 /proc/meminfo: memFree=1665072/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=195036 CPUtime=1541.88 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 48747 0 0 0 154146 42 0 0 25 0 1 0 271815323 199716864 48142 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 48759 48142 311 324 0 47829 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 195036 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 27683 /proc/meminfo: memFree=1665136/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=195036 CPUtime=1601.87 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 48747 0 0 0 160144 43 0 0 25 0 1 0 271815323 199716864 48142 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 48759 48142 311 324 0 47829 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 195036 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 27683 /proc/meminfo: memFree=1665136/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=195036 CPUtime=1661.86 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 48747 0 0 0 166142 44 0 0 25 0 1 0 271815323 199716864 48142 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572383 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 48759 48142 311 324 0 47829 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 195036 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 27683 /proc/meminfo: memFree=1665136/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=195036 CPUtime=1721.84 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 48747 0 0 0 172140 44 0 0 25 0 1 0 271815323 199716864 48142 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 48759 48142 311 324 0 47829 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 195036 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 27683 /proc/meminfo: memFree=1664944/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=195188 CPUtime=1781.83 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 48850 0 0 0 178138 45 0 0 25 0 1 0 271815323 199872512 48171 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 48797 48171 311 324 0 47867 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 195188 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.95 2/78 27683 /proc/meminfo: memFree=1664944/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=195188 CPUtime=1800.03 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 48850 0 0 0 179958 45 0 0 25 0 1 0 271815323 199872512 48171 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 48797 48171 311 324 0 47867 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 195188 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.95 2/78 27683 /proc/meminfo: memFree=1664944/2055920 swapFree=4157088/4192956 [pid=27680] ppid=27678 vsize=195188 CPUtime=1800.03 /proc/27680/stat : 27680 (bsolo3.0.17) R 27678 27680 27225 0 -1 4194304 48850 0 0 0 179958 45 0 0 25 0 1 0 271815323 199872512 48171 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27680/statm: 48797 48171 311 324 0 47867 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 195188 Child status: 15 Real time (s): 1800.56 CPU time (s): 1800.09 CPU user time (s): 1799.6 CPU system time (s): 0.482926 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 195308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.6 system time used= 0.482926 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48854 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= 37341 runsolver used 1.38079 second user time and 3.87841 second system time The end
Begin job on node7 on Mon Apr 30 18:29:37 UTC 2007 IDJOB= 433330 IDBENCH= 2490 IDSOLVER= 199 FILE ID= node7/433330-1177957777 PBS_JOBID= 4727719 Free space on /tmp= 66558 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-bell3b.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433330-1177957777/instance-433330-1177957777.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-433330-1177957777 -o ROOT/results/node7/solver-433330-1177957777 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433330-1177957777/instance-433330-1177957777.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 2982ffe422921e9a65d384b08247e6aa RANDOM SEED= 940793007 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node7.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.231 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.231 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: 1857808 kB Buffers: 32488 kB Cached: 96532 kB SwapCached: 15752 kB Active: 49256 kB Inactive: 102824 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1857808 kB SwapTotal: 4192956 kB SwapFree: 4157088 kB Dirty: 6864 kB Writeback: 0 kB Mapped: 30036 kB Slab: 31472 kB Committed_AS: 9007696 kB PageTables: 1860 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= 66558 MiB End job on node7 on Mon Apr 30 18:59:40 UTC 2007