Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (MO) | 33023540 | 1119.77 | 1120.28 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-blend2.opb |
MD5SUM | 583b02132cd61d8427630f4009f80dd3 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 33023540 |
Best CPU time to get the best result obtained on this benchmark | 1119.77 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 33023540 |
Optimality of the best value was proved | NO |
Number of variables | 2944 |
Total number of constraints | 214 |
Number of constraints which are clauses | 9 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 205 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 2659 |
Number of terms in the objective function | 88 |
Biggest coefficient in the objective function | 24014225 |
Number of bits for the biggest coefficient in the objective function | 25 |
Sum of the numbers in the objective function | 235593725 |
Number of bits of the sum of numbers in the objective function | 28 |
Biggest number in a constraint | 8935312239624192 |
Number of bits of the biggest number in a constraint | 53 |
Biggest sum of numbers in a constraint | 1346963845029350184 |
Number of bits of the biggest sum of numbers | 61 |
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/433378-1177958706/instance-433378-1177958706.opb 0.00/0.00 c File size is 518416 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Highest Coefficient sum: 1.34696e+18 0.00/0.07 c Parsing was ok!! 0.00/0.07 c Total parsing time: 0.068 s 0.06/0.07 c Var: 2944 Constr: 303 23/0/280 Lit: 37701 Watch. Lit: 24403 0.06/0.07 c Obj. Vars: 88 (2.98913 % of total variables) 0.89/0.99 c Pre-processing Time: 0.986 s 28.38/28.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.38/28.43 c 0 1883 263 25089 95 8562 50145 0 0 0.99 28.38/28.43 c 100 1883 363 142297 392 10526 55160 100 94 1.06 28.38/28.43 c 251 1883 514 235775 458 10936 60677 251 221 1.13 28.38/28.43 c 476 1883 739 515134 697 12714 66745 476 347 1.37 28.38/28.43 c 814 1883 1077 1003735 931 13278 73420 814 479 1.70 28.38/28.43 c 1324 1883 1587 1730017 1090 14450 80763 1324 589 2.25 28.38/28.43 c 2087 1883 2350 2797256 1190 15833 88840 2087 652 3.20 28.38/28.43 c 3234 1883 3497 4438156 1269 18193 97725 3234 698 4.63 28.38/28.43 c 4956 1883 5219 6940837 1329 21546 107498 4956 766 6.46 28.38/28.43 c 7556 1883 7819 9464623 1210 26994 118248 7556 866 8.72 28.38/28.43 c 11436 1883 11699 13134725 1122 40107 130073 11436 827 13.82 28.38/28.43 c 17258 1883 17521 20306804 1158 50827 143081 17258 747 23.08 28.38/28.43 o 54865614 28.418 37.48/37.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.48/37.51 c 19728 1883 19992 22960675 1148 57336 50321 19729 694 28.42 37.48/37.51 c 19830 1883 20094 23107766 1149 57446 55354 19831 684 28.96 37.48/37.51 c 20080 1883 20344 23469247 1153 58010 60890 20081 673 29.79 37.48/37.51 c 20555 1883 20819 24068491 1156 59009 66980 20556 655 31.36 37.48/37.51 c 21369 1883 21633 25303975 1169 60654 73679 21370 597 35.79 37.48/37.51 o 54610087 37.494 37.88/37.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.88/37.92 c 21711 1883 21976 25795604 1173 61356 50321 21713 579 37.49 37.88/37.92 o 54591825 37.904 38.18/38.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 38.18/38.26 c 21755 1883 22021 25864993 1174 61469 50321 21758 573 37.91 38.18/38.26 o 53676914 38.247 66.46/66.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 66.46/66.53 c 21809 1883 22076 25948882 1175 61738 50321 21813 570 38.25 66.46/66.53 c 21911 1883 22178 26109131 1177 61800 55354 21915 564 38.78 66.46/66.53 c 22161 1883 22428 26494287 1181 62399 60890 22165 547 40.46 66.46/66.53 c 22639 1883 22906 26966463 1177 62939 66980 22643 536 42.23 66.46/66.53 c 23452 1883 23719 28005284 1180 65025 73679 23456 503 46.55 66.46/66.53 c 24773 1883 25040 30092191 1201 67551 81047 24777 459 53.94 66.46/66.53 o 50264719 66.509 67.16/67.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 67.16/67.30 c 26849 1883 27117 33245663 1226 71893 50321 26854 403 66.51 67.16/67.30 o 49957231 67.273 67.26/67.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 67.26/67.33 c 26945 1883 27214 33398888 1227 72105 50321 26951 400 67.27 67.26/67.33 o 49786118 67.302 67.36/67.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 67.36/67.40 c 26946 1883 27216 33400582 1227 72139 50321 26953 400 67.30 67.36/67.40 o 48355309 67.376 80.46/80.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 80.46/80.59 c 26953 1883 27224 33411808 1227 72180 50321 26961 400 67.38 80.46/80.59 c 27053 1883 27324 33571331 1228 72294 55354 27061 396 68.20 80.46/80.59 c 27303 1883 27574 33968369 1231 72801 60890 27311 388 70.24 80.46/80.59 c 27778 1883 28049 34719424 1237 73736 66980 27786 377 73.60 80.46/80.59 c 28591 1883 28862 36009964 1247 75308 73679 28599 363 78.57 80.46/80.59 o 48098359 80.558 91.86/91.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 91.86/91.97 c 28878 1883 29150 36453711 1250 76080 50321 28887 358 80.56 91.86/91.97 c 28978 1883 29250 36611530 1251 76293 55354 28987 356 81.39 91.86/91.97 c 29229 1883 29501 37004871 1254 76865 60890 29238 350 83.27 91.86/91.97 c 29704 1883 29976 37748933 1259 77735 66980 29713 341 87.07 91.86/91.97 o 47747330 91.943 92.06/92.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 92.06/92.12 c 30325 1883 30598 38722466 1265 78970 50321 30335 329 91.94 92.06/92.12 o 47576217 92.09 110.55/110.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 110.55/110.66 c 30338 1883 30612 38743164 1265 79082 50321 30349 329 92.09 110.55/110.66 c 30438 1883 30712 38901049 1266 79365 55354 30449 327 93.06 110.55/110.66 c 30688 1883 30962 39296688 1269 79743 60890 30699 323 94.91 110.55/110.66 c 31163 1883 31437 40046671 1273 80849 66980 31174 315 98.70 110.55/110.66 c 31976 1883 32250 41267712 1279 82306 73679 31987 306 104.33 110.55/110.66 o 46941739 110.625 144.94/145.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 144.94/145.09 c 33013 1883 33288 42486524 1276 84662 50321 33025 298 110.63 144.94/145.09 c 33114 1883 33389 42643150 1277 84800 55354 33126 296 111.74 144.94/145.09 c 33365 1883 33640 43037035 1279 85235 60890 33377 292 114.23 144.94/145.09 c 33840 1883 34115 43783453 1283 86314 66980 33852 283 119.44 144.94/145.09 c 34654 1883 34929 45070195 1290 87900 73679 34666 270 128.20 144.94/145.09 c 35975 1883 36250 47087434 1298 90447 81047 35987 255 140.56 144.94/145.09 o 45575274 145.038 147.74/147.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 147.74/147.85 c 36334 1883 36610 47650177 1301 91333 50321 36347 250 145.04 147.74/147.85 c 36434 1883 36710 47805625 1302 91502 55354 36447 248 146.36 147.74/147.85 o 44967851 147.8 183.92/184.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 183.92/184.09 c 36549 1883 36826 47985267 1303 91937 50321 36563 247 147.80 183.92/184.09 c 36649 1883 36926 48139928 1303 92089 55354 36663 246 148.96 183.92/184.09 c 36899 1883 37176 48531425 1305 92572 60890 36913 242 152.04 183.92/184.09 c 37374 1883 37651 49274656 1308 93553 66980 37388 236 157.71 183.92/184.09 c 38187 1883 38464 50452504 1311 95404 73679 38201 230 165.60 183.92/184.09 c 39508 1883 39785 52515678 1319 97814 81047 39522 221 178.23 183.92/184.09 o 44100939 184.02 188.82/188.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 188.82/188.92 c 40124 1883 40402 53475711 1323 99078 50321 40139 218 184.02 188.82/188.92 c 40224 1883 40502 53632489 1324 99249 55354 40239 217 184.79 188.82/188.92 c 40474 1883 40752 54022984 1325 99799 60890 40489 216 186.88 188.82/188.92 o 43493516 188.853 190.82/190.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 190.82/190.97 c 40731 1883 41010 54426108 1327 100254 50321 40747 215 188.85 190.82/190.97 c 40831 1883 41110 54583449 1327 100532 55354 40847 214 190.01 190.82/190.97 o 43252510 190.899 208.41/208.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 208.41/208.50 c 40893 1883 41173 54680977 1328 100716 50321 40910 214 190.90 208.41/208.50 c 40993 1883 41273 54838325 1328 100868 55354 41010 213 192.17 208.41/208.50 c 41244 1883 41524 55226234 1329 101513 60890 41261 210 195.84 208.41/208.50 c 41719 1883 41999 55969255 1332 102454 66980 41736 204 204.02 208.41/208.50 o 39629211 208.424 208.41/208.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 208.41/208.59 c 42156 1883 42437 56632573 1334 103318 50321 42174 202 208.43 208.41/208.59 o 39614054 208.512 208.51/208.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 208.51/208.68 c 42161 1883 42443 56640675 1334 103551 50321 42180 202 208.51 208.51/208.68 o 38110236 208.602 208.61/208.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 208.61/208.73 c 42167 1883 42450 56650222 1334 103510 50321 42187 202 208.60 208.61/208.73 o 37789746 208.653 210.72/210.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 210.72/210.84 c 42168 1883 42452 56651861 1334 103698 50321 42189 202 208.66 210.72/210.84 c 42268 1883 42552 56807633 1335 103719 55354 42289 201 209.86 210.72/210.84 o 37671917 210.769 211.22/211.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 211.22/211.38 c 42346 1883 42631 56929141 1335 104148 50321 42368 200 210.77 211.22/211.38 o 37548740 211.307 211.42/211.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 211.42/211.53 c 42379 1883 42665 56979501 1335 104300 50321 42402 200 211.31 211.42/211.53 o 37430911 211.45 220.51/220.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 220.51/220.65 c 42385 1883 42672 56988908 1335 104356 50321 42409 200 211.45 220.51/220.65 c 42486 1883 42773 57146600 1336 104627 55354 42510 199 212.87 220.51/220.65 c 42736 1883 43023 57537779 1337 105242 60890 42760 197 216.05 220.51/220.65 o 37215214 220.572 221.41/221.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 221.41/221.52 c 42982 1883 43270 57918082 1338 105674 50321 43007 194 220.57 221.41/221.52 o 36924605 221.443 222.31/222.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 222.31/222.47 c 43021 1883 43310 57979210 1338 105841 50321 43047 194 221.44 222.31/222.47 o 36091333 222.386 222.91/223.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 222.91/223.03 c 43068 1883 43358 58052857 1338 105972 50321 43095 193 222.39 222.91/223.03 o 36076176 222.948 228.31/228.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 228.31/228.48 c 43083 1883 43374 58076486 1338 106129 50321 43111 193 222.95 228.31/228.48 c 43184 1883 43475 58231601 1339 106258 55354 43212 191 225.54 228.31/228.48 o 36046295 228.402 228.61/228.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 228.61/228.73 c 43341 1883 43633 58478317 1340 106748 50321 43370 189 228.40 228.61/228.73 o 35928466 228.649 238.30/238.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 238.30/238.44 c 43360 1883 43653 58508432 1340 106839 50321 43390 189 228.65 238.30/238.44 c 43460 1883 43753 58662557 1340 107061 55354 43490 188 230.56 238.30/238.44 c 43710 1883 44003 59054020 1342 107533 60890 43740 186 234.24 238.30/238.44 o 35620268 238.355 238.51/238.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 238.51/238.61 c 44040 1883 44334 59559052 1343 108231 50321 44071 184 238.36 238.51/238.61 o 33293064 238.522 249.10/249.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 249.10/249.24 c 44046 1883 44341 59568694 1343 108187 50321 44078 184 238.52 249.10/249.24 c 44147 1883 44442 59725638 1343 108489 55354 44179 183 240.36 249.10/249.24 c 44397 1883 44692 60117405 1345 109032 60890 44429 181 245.13 249.10/249.24 o 33174816 249.153 249.10/249.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 249.10/249.29 c 44761 1883 45057 60639646 1345 109824 50321 44794 179 249.15 249.10/249.29 o 33056987 249.202 249.60/249.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 249.60/249.78 c 44762 1883 45059 60641275 1345 109953 50321 44796 179 249.20 249.60/249.78 o 33023540 249.692 1119.50/1120.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1119.50/1120.00 c 44794 1883 45092 60691237 1345 110011 50321 44829 179 249.69 1119.50/1120.00 c 44896 1883 45194 60851129 1346 110242 55354 44931 178 250.90 1119.50/1120.00 c 45147 1883 45445 61244731 1347 110789 60890 45182 178 253.25 1119.50/1120.00 c 45623 1883 45921 61986733 1349 111671 66980 45658 176 258.52 1119.50/1120.00 c 46437 1883 46735 63256235 1353 113205 73679 46472 173 268.41 1119.50/1120.00 c 47758 1883 48056 65209037 1356 115982 81047 47793 166 286.25 1119.50/1120.00 c 49840 1883 50138 68168368 1359 120246 89152 49875 161 307.66 1119.50/1120.00 c 53064 1883 53362 72979419 1367 126509 98068 53099 153 345.82 1119.50/1120.00 c 58000 1883 58298 80622179 1382 136389 107875 58035 141 410.76 1119.50/1120.00 c 65506 1883 65804 92087201 1399 151485 118663 65541 125 522.38 1119.50/1120.00 c 76868 1883 77166 109758480 1422 174091 130530 76903 112 685.02 1119.50/1120.00 c 94012 1883 94310 136492573 1447 208502 143584 94047 93 1003.40 1119.50/1120.00 c Caught signal: 15 1119.50/1120.00 v -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 1119.50/1120.00 v -x2874 -x2875 -x2876 -x2877 -x2878 x2879 -x2880 x2881 -x2882 x2883 x2884 -x2885 -x2886 -x2887 x2888 -x2889 x2890 x2891 1119.50/1120.00 v x2892 -x2893 -x2894 -x2895 -x2896 x2897 -x2898 -x2899 -x2900 -x2901 x2902 -x2903 -x2904 -x2905 x2906 -x2907 -x2908 x2909 1119.50/1120.00 v -x2910 -x2911 -x2912 -x2913 x2914 x2915 -x2916 -x2917 x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 1119.50/1120.00 v -x2928 x2929 -x2930 -x2931 -x2932 x2933 x2934 -x2935 -x2936 x2937 -x2938 -x2939 -x2940 -x2941 x2942 x2943 -x2944 -x2 -x3 1119.50/1120.00 v -x7 -x8 -x15 -x16 -x17 -x18 -x21 -x22 -x23 -x24 -x25 -x26 x39 -x40 -x45 -x46 -x58 -x59 -x60 -x64 -x65 -x66 -x77 -x78 -x82 -x83 1119.50/1120.00 v -x84 -x85 -x86 -x96 -x97 -x98 -x104 x105 -x106 x107 -x108 -x109 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 1119.50/1120.00 v -x2847 -x2848 x2849 x2850 x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x10 -x118 -x438 -x439 -x440 -x441 -x442 -x443 -x444 1119.50/1120.00 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1119.50/1120.00 v -x466 -x467 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 1119.50/1120.00 v -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 1119.50/1120.00 v -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 1119.50/1120.00 v -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 1119.50/1120.00 v -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 1119.50/1120.00 v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 1119.50/1120.00 v -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 1119.50/1120.00 v -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 1119.50/1120.00 v -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 1119.50/1120.00 v -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 1119.50/1120.00 v -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 1119.50/1120.00 v -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 1119.50/1120.00 v -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 1119.50/1120.00 v -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 1119.50/1120.00 v -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x119 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 1119.50/1120.00 v -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x798 -x799 -x800 1119.50/1120.00 v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 1119.50/1120.00 v -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 1119.50/1120.00 v -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 1119.50/1120.00 v -x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 x873 x874 -x875 x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 1119.50/1120.00 v -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 1119.50/1120.00 v -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 1119.50/1120.00 v -x927 -x928 -x929 -x930 -x931 x932 -x933 x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 1119.50/1120.00 v -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 1119.50/1120.00 v -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 1119.50/1120.00 v x990 -x991 x992 x993 x994 x995 x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 1119.50/1120.00 v -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 x1022 x1023 -x1024 x1025 -x1026 -x1027 1119.50/1120.00 v x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 1119.50/1120.00 v -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 1119.50/1120.00 v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1119.50/1120.00 v -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 1119.50/1120.00 v -x1096 -x1097 -x11 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 1119.50/1120.00 v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 1119.50/1120.00 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 x1139 x1140 -x1141 -x1142 -x1143 -x1144 x1145 x1146 x1147 1119.50/1120.00 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1119.50/1120.00 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 1119.50/1120.00 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 1119.50/1120.00 v -x1199 x1200 -x1201 -x1202 x1203 -x1204 -x1205 -x1206 -x1207 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 1119.50/1120.00 v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 x1228 x1229 -x1230 x1231 -x1232 -x1233 x1234 1119.50/1120.00 v -x1235 x1236 x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 1119.50/1120.00 v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 x1263 x1264 x1265 x1266 x1267 -x1268 -x1269 -x1270 1119.50/1120.00 v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 1119.50/1120.00 v -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 1119.50/1120.00 v -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 1119.50/1120.00 v -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 1119.50/1120.00 v -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 1119.50/1120.00 v -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 1119.50/1120.00 v -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 1119.50/1120.00 v -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x12 -x121 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 1119.50/1120.00 v -x1406 -x1407 -x1408 -x1409 x1410 -x1411 -x1412 -x1413 -x1414 x1415 -x1416 -x1417 x1418 -x1419 -x1420 -x1421 -x1422 -x1423 1119.50/1120.00 v -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 1119.50/1120.00 v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 1119.50/1120.00 v -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 1119.50/1120.00 v -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 1119.50/1120.00 v -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 1119.50/1120.00 v -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 1119.50/1120.00 v -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 1119.50/1120.00 v -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 x1558 -x1559 1119.50/1120.00 v -x1560 -x1561 x1562 -x1563 -x1564 -x1565 -x1566 -x1567 x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 1119.50/1120.00 v -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 1119.50/1120.00 v -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 1119.50/1120.00 v -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 1119.50/1120.00 v -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 1119.50/1120.00 v -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 1119.50/1120.00 v -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 1119.50/1120.00 v -x1680 x1681 -x1682 x1683 x1684 x1685 x1686 x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 1119.50/1120.00 v -x13 -x14 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 1119.50/1120.00 v -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 1119.50/1120.00 v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 1119.50/1120.00 v -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 1119.50/1120.00 v -x1765 -x1766 -x1767 -x1768 -x1769 x1770 -x1771 -x1772 x1773 -x1774 x1775 x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 1119.50/1120.00 v -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 1119.50/1120.00 v -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 1119.50/1120.00 v -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 1119.50/1120.00 v -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 1119.50/1120.00 v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 1119.50/1120.00 v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 1119.50/1120.00 v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 1119.50/1120.00 v -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 1119.50/1120.00 v -x1919 -x1920 x1921 -x1922 -x1923 x1924 -x1925 x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 1119.50/1120.00 v -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 x1950 -x1951 x1952 x1953 -x1954 1119.50/1120.00 v -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 1119.50/1120.00 v -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 1119.50/1120.00 v -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x123 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 1119.50/1120.00 v -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 1119.50/1120.00 v -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 x2038 1119.50/1120.00 v x2039 x2040 x2041 x2042 x2043 x2044 -x2045 x2046 x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 1119.50/1120.00 v -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 1119.50/1120.00 v -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 1119.50/1120.00 v -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 1119.50/1120.00 v -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 1119.50/1120.00 v -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 1119.50/1120.00 v -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 1119.50/1120.00 v -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 1119.50/1120.00 v -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 1119.50/1120.00 v -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 1119.50/1120.00 v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 1119.50/1120.00 v -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 1119.50/1120.00 v -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 1119.50/1120.00 v -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 1119.50/1120.00 v -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 1119.50/1120.00 v -x2296 -x2297 -x124 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 1119.50/1120.00 v -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 1119.50/1120.00 v -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 1119.50/1120.00 v -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 1119.50/1120.00 v -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 x2371 -x2372 x2373 x2374 x2375 x2376 x2377 -x2378 -x2379 -x2380 1119.50/1120.00 v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 1119.50/1120.00 v -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 1119.50/1120.00 v -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 1119.50/1120.00 v -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 1119.50/1120.00 v -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 1119.50/1120.00 v -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 1119.50/1120.00 v -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 x2490 x2491 -x2492 -x2493 x2494 -x2495 x2496 x2497 -x2498 -x2499 -x2500 1119.50/1120.00 v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 1119.50/1120.00 v -x2518 x2519 -x2520 -x2521 x2522 -x2523 -x2524 x2525 x2526 x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 1119.50/1120.00 v -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 1119.50/1120.00 v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 1119.50/1120.00 v -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 1119.50/1120.00 v -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x19 -x125 -x2598 -x2599 -x2600 -x2601 -x2602 1119.50/1120.00 v -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 x2611 -x2612 x2613 x2614 -x2615 -x2616 x2617 -x2618 -x2619 -x2620 1119.50/1120.00 v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 1119.50/1120.00 v -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 1119.50/1120.00 v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 1119.50/1120.00 v -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 1119.50/1120.00 v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 1119.50/1120.00 v -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 1119.50/1120.00 v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 1119.50/1120.00 v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 1119.50/1120.00 v -x2757 -x2758 -x2759 -x2760 -x2761 x2762 -x2763 x2764 x2765 x2766 x2767 x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 1119.50/1120.00 v -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 x2790 x2791 -x2792 1119.50/1120.00 v -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 1119.50/1120.00 v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 1119.50/1120.00 v -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x198 -x199 -x200 -x201 -x202 -x203 -x204 1119.50/1120.00 v -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 1119.50/1120.00 v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 1119.50/1120.00 v -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 1119.50/1120.00 v -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 1119.50/1120.00 v -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 1119.50/1120.00 v -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 1119.50/1120.00 v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 1119.50/1120.00 v -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 1119.50/1120.00 v -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 1119.50/1120.00 v -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 1119.50/1120.00 v -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 1119.50/1120.00 v -x436 -x437 -x20 -x126 -x127 -x120 -x1 -x110 -x128 -x122 -x129 -x139 -x27 -x130 -x142 -x145 -x28 -x131 -x159 x132 -x29 -x133 1119.50/1120.00 v -x178 -x180 -x30 x31 x134 -x182 -x32 -x135 x136 x33 x137 -x111 -x138 -x34 -x35 -x140 -x36 x141 -x37 -x38 x143 x144 x41 -x42 -x146 1119.50/1120.00 v -x43 -x147 -x4 -x112 -x44 -x148 -x149 x47 x150 -x48 -x151 -x49 -x152 -x50 -x153 -x51 -x154 x52 x155 -x53 -x156 -x54 -x55 -x157 1119.50/1120.00 v -x113 -x56 -x158 x57 -x160 -x61 -x161 -x62 x162 -x163 -x63 -x164 -x165 -x67 -x68 -x166 -x69 x167 -x5 -x114 -x70 x168 -x71 -x169 1119.50/1120.00 v -x72 -x170 x171 -x73 -x172 -x74 -x173 -x75 -x174 -x76 -x175 -x176 -x79 -x177 -x6 -x115 -x80 -x81 -x179 -x87 -x181 x88 -x89 -x90 1119.50/1120.00 v -x183 -x91 -x184 -x92 -x185 -x93 x186 -x94 x187 -x116 -x95 -x188 -x189 -x99 x190 -x100 -x191 -x101 -x192 -x102 -x193 -x103 1119.50/1120.00 v -x194 -x195 x196 -x197 -x9 -x117 1119.50/1120.00 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1119.50/1120.00 c 102 98849 10305 372625 99147 143894536 98884 88 1119.50 1119.50/1120.00 c Objective: 33023540 1119.50/1120.00 s SATISFIABLE 1119.50/1120.00 c Total time: 1119.5 s
OK 33023540
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-433378-1177958706 -o ROOT/results/node42/solver-433378-1177958706 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433378-1177958706/instance-433378-1177958706.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.98 3/77 15109 /proc/meminfo: memFree=1864752/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=12244 CPUtime=0 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 243782462 12537856 337 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 3061 337 281 324 0 2004 0 [startup+0.0733529 s] /proc/loadavg: 0.91 0.95 0.98 3/77 15109 /proc/meminfo: memFree=1864752/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=4876 CPUtime=0.06 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 744 0 0 0 6 0 0 0 18 0 1 0 243782462 4993024 587 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 1219 589 299 324 0 289 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4876 [startup+0.101356 s] /proc/loadavg: 0.91 0.95 0.98 3/77 15109 /proc/meminfo: memFree=1864752/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=5540 CPUtime=0.09 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 890 0 0 0 9 0 0 0 18 0 1 0 243782462 5672960 733 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 1385 733 303 324 0 455 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5540 [startup+0.301394 s] /proc/loadavg: 0.91 0.95 0.98 3/77 15109 /proc/meminfo: memFree=1864752/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=5540 CPUtime=0.29 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 890 0 0 0 29 0 0 0 19 0 1 0 243782462 5672960 733 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 1385 733 303 324 0 455 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5540 [startup+0.70147 s] /proc/loadavg: 0.91 0.95 0.98 3/77 15109 /proc/meminfo: memFree=1864752/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=5540 CPUtime=0.69 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 890 0 0 0 69 0 0 0 23 0 1 0 243782462 5672960 733 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 1385 733 303 324 0 455 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5540 [startup+1.50162 s] /proc/loadavg: 0.91 0.95 0.98 2/78 15110 /proc/meminfo: memFree=1862824/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=14068 CPUtime=1.49 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 3035 0 0 0 148 1 0 0 25 0 1 0 243782462 14405632 2878 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 3517 2878 310 324 0 2587 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14068 [startup+3.10193 s] /proc/loadavg: 0.91 0.95 0.98 2/78 15110 /proc/meminfo: memFree=1843816/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=39376 CPUtime=3.09 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 9390 0 0 0 305 4 0 0 25 0 1 0 243782462 40321024 9233 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 9844 9233 310 324 0 8914 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39376 [startup+6.30154 s] /proc/loadavg: 0.92 0.95 0.98 2/78 15110 /proc/meminfo: memFree=1793128/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=90556 CPUtime=6.29 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 22157 0 0 0 620 9 0 0 25 0 1 0 243782462 92729344 22000 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 22639 22000 310 324 0 21709 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 90556 [startup+12.7018 s] /proc/loadavg: 0.93 0.95 0.98 2/78 15110 /proc/meminfo: memFree=1707432/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=167352 CPUtime=12.68 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 41375 0 0 0 1253 15 0 0 25 0 1 0 243782462 171368448 41218 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 41838 41218 310 324 0 40908 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 167352 [startup+25.5012 s] /proc/loadavg: 0.94 0.96 0.98 2/78 15110 /proc/meminfo: memFree=1587952/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=282548 CPUtime=25.48 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 70174 0 0 0 2521 27 0 0 25 0 1 0 243782462 289329152 70017 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 70637 70017 310 324 0 69707 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 282548 [startup+51.1011 s] /proc/loadavg: 0.96 0.96 0.98 2/78 15110 /proc/meminfo: memFree=1490288/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=378896 CPUtime=51.08 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 94268 0 0 0 5070 38 0 0 25 0 1 0 243782462 387989504 94111 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 94724 94111 311 324 0 93794 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 378896 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.98 2/78 15110 /proc/meminfo: memFree=1341424/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=526216 CPUtime=102.26 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 131074 0 0 0 10173 53 0 0 25 0 1 0 243782462 538845184 130917 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 131554 130917 311 324 0 130624 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 526216 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 15110 /proc/meminfo: memFree=1225648/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=642112 CPUtime=162.23 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 160062 0 0 0 16156 67 0 0 25 0 1 0 243782462 657522688 159905 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 160528 159905 311 324 0 159598 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 642112 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 15110 /proc/meminfo: memFree=1120176/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=746804 CPUtime=222.21 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 186226 0 0 0 22143 78 0 0 25 0 1 0 243782462 764727296 186069 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 186701 186069 311 324 0 185771 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 746804 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 15110 /proc/meminfo: memFree=1036208/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=831604 CPUtime=282.18 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 207440 0 0 0 28130 88 0 0 25 0 1 0 243782462 851562496 207283 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 207901 207283 311 324 0 206971 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 831604 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 15110 /proc/meminfo: memFree=934320/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=932340 CPUtime=342.17 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 232620 0 0 0 34115 102 0 0 25 0 1 0 243782462 954716160 232463 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 233085 232463 311 324 0 232155 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 932340 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 15110 /proc/meminfo: memFree=845744/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=1022040 CPUtime=402.15 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 255044 0 0 0 40100 115 0 0 25 0 1 0 243782462 1046568960 254887 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 255510 254887 311 324 0 254580 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 1022040 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 15110 /proc/meminfo: memFree=757872/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=1108448 CPUtime=462.12 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 276637 0 0 0 46087 125 0 0 25 0 1 0 243782462 1135050752 276480 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547733 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 277112 276480 311 324 0 276182 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 1108448 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 15110 /proc/meminfo: memFree=686000/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=1181204 CPUtime=522.1 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 294836 0 0 0 52075 135 0 0 25 0 1 0 243782462 1209552896 294679 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551189 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 295301 294679 311 324 0 294371 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 1181204 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 15110 /proc/meminfo: memFree=596528/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=1269712 CPUtime=582.08 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 316963 0 0 0 58063 145 0 0 25 0 1 0 243782462 1300185088 316806 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 317428 316806 311 324 0 316498 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 1269712 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 15110 /proc/meminfo: memFree=511856/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=1353632 CPUtime=642.06 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 337942 0 0 0 64048 158 0 0 25 0 1 0 243782462 1386119168 337785 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 338408 337785 311 324 0 337478 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 1353632 [startup+702.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 15110 /proc/meminfo: memFree=437488/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=1428432 CPUtime=702.03 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 356648 0 0 0 70036 167 0 0 25 0 1 0 243782462 1462714368 356491 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 357108 356491 311 324 0 356178 0 Current children cumulated CPU time (s) 702.03 Current children cumulated vsize (KiB) 1428432 [startup+762.305 s] /proc/loadavg: 0.99 0.97 0.98 2/78 15110 /proc/meminfo: memFree=378672/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=1486468 CPUtime=762.02 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 371142 0 0 0 76027 175 0 0 25 0 1 0 243782462 1522143232 370985 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 371617 370985 311 324 0 370687 0 Current children cumulated CPU time (s) 762.02 Current children cumulated vsize (KiB) 1486468 [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 15110 /proc/meminfo: memFree=314160/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=1551648 CPUtime=821.99 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 387441 0 0 0 82015 184 0 0 25 0 1 0 243782462 1588887552 387284 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 387912 387284 311 324 0 386982 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 1551648 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 15110 /proc/meminfo: memFree=237488/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=1627652 CPUtime=881.97 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 406438 0 0 0 88004 193 0 0 25 0 1 0 243782462 1666715648 406281 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 406913 406281 311 324 0 405983 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 1627652 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 15110 /proc/meminfo: memFree=166768/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=1698824 CPUtime=941.95 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 424241 0 0 0 93992 203 0 0 25 0 1 0 243782462 1739595776 424084 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 424706 424084 311 324 0 423776 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 1698824 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/84 15284 /proc/meminfo: memFree=116208/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=1747408 CPUtime=1001.85 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 436377 0 0 0 99974 211 0 0 25 0 1 0 243782462 1789345792 436220 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12840801 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 436852 436220 311 324 0 435922 0 Current children cumulated CPU time (s) 1001.85 Current children cumulated vsize (KiB) 1747408 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 15308 /proc/meminfo: memFree=67376/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=1797492 CPUtime=1061.81 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 448893 0 0 0 105964 217 0 0 25 0 1 0 243782462 1840631808 448736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 449373 448736 311 324 0 448443 0 Current children cumulated CPU time (s) 1061.81 Current children cumulated vsize (KiB) 1797492 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1120 s] /proc/loadavg: 0.99 0.97 0.98 2/78 15308 /proc/meminfo: memFree=20848/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=1843260 CPUtime=1119.5 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194304 460340 0 0 0 111727 223 0 0 25 0 1 0 243782462 1887498240 460183 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15109/statm: 460815 460183 311 324 0 459885 0 Current children cumulated CPU time (s) 1119.5 Current children cumulated vsize (KiB) 1843260 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1120.2 s] /proc/loadavg: 0.99 0.97 0.98 2/78 15308 /proc/meminfo: memFree=20848/2055920 swapFree=4147488/4192956 [pid=15109] ppid=15107 vsize=0 CPUtime=1119.69 /proc/15109/stat : 15109 (bsolo3.0.17) R 15107 15109 14947 0 -1 4194308 460344 0 0 0 111727 242 0 0 25 0 1 0 243782462 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/15109/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1119.69 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1120.28 CPU time (s): 1119.77 CPU user time (s): 1117.27 CPU system time (s): 2.49962 CPU usage (%): 99.9547 Max. virtual memory (cumulated for all children) (KiB): 1843260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1117.27 system time used= 2.49962 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460344 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= 6116 runsolver used 0.949855 second user time and 2.39064 second system time The end
Begin job on node42 on Mon Apr 30 18:45:06 UTC 2007 IDJOB= 433378 IDBENCH= 2550 IDSOLVER= 199 FILE ID= node42/433378-1177958706 PBS_JOBID= 4727740 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/miplib3/normalized-mps-v2-20-10-blend2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433378-1177958706/instance-433378-1177958706.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-433378-1177958706 -o ROOT/results/node42/solver-433378-1177958706 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433378-1177958706/instance-433378-1177958706.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 583b02132cd61d8427630f4009f80dd3 RANDOM SEED= 853522141 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.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.277 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.277 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: 1865160 kB Buffers: 26988 kB Cached: 71184 kB SwapCached: 14572 kB Active: 70368 kB Inactive: 51720 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1865160 kB SwapTotal: 4192956 kB SwapFree: 4147488 kB Dirty: 7172 kB Writeback: 0 kB Mapped: 31020 kB Slab: 54076 kB Committed_AS: 3720164 kB PageTables: 1912 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 node42 on Mon Apr 30 19:03:48 UTC 2007