Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 8545583 | 1800.27 | 1801.48 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran13x13.opb |
MD5SUM | f6afca2947f6ff68bd855d0ea2ea59a9 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3502080 |
Best CPU time to get the best result obtained on this benchmark | 1800.37 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3502080 |
Optimality of the best value was proved | NO |
Number of variables | 5239 |
Total number of constraints | 195 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 195 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 390 |
Number of terms in the objective function | 5239 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 968548072570 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 968548072570 |
Number of bits of the biggest sum of numbers | 40 |
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.56 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.56 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.56 c type "bsolo -h" for help 0.00/0.56 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.56 c Time Limit set to 1800 0.00/0.56 c Memory Limit set to 1800 MB 0.00/0.56 c Instance file /tmp/evaluation/353940-1176689233/instance-353940-1176689233.opb 0.00/0.56 c File size is 266423 bytes. 0.00/0.57 c Coefficients are big enough for not using lower bounding. 0.00/0.57 c Coefficients are big enough for not using lower bounding. 0.00/0.57 c Coefficients are big enough for not using lower bounding. 0.00/0.57 c Coefficients are big enough for not using lower bounding. 0.00/0.57 c Coefficients are big enough for not using lower bounding. 0.00/0.57 c Coefficients are big enough for not using lower bounding. 0.00/0.57 c Coefficients are big enough for not using lower bounding. 0.00/0.57 c Coefficients are big enough for not using lower bounding. 0.00/0.57 c Coefficients are big enough for not using lower bounding. 0.00/0.57 c Coefficients are big enough for not using lower bounding. 0.00/0.57 c Coefficients are big enough for not using lower bounding. 0.00/0.57 c Coefficients are big enough for not using lower bounding. 0.00/0.58 c Coefficients are big enough for not using lower bounding. 0.00/0.58 c Coefficients are big enough for not using lower bounding. 0.00/0.58 c Coefficients are big enough for not using lower bounding. 0.00/0.58 c Coefficients are big enough for not using lower bounding. 0.00/0.58 c Coefficients are big enough for not using lower bounding. 0.00/0.58 c Coefficients are big enough for not using lower bounding. 0.00/0.58 c Coefficients are big enough for not using lower bounding. 0.00/0.58 c Coefficients are big enough for not using lower bounding. 0.00/0.58 c Coefficients are big enough for not using lower bounding. 0.00/0.58 c Coefficients are big enough for not using lower bounding. 0.00/0.58 c Coefficients are big enough for not using lower bounding. 0.00/0.58 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.59 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.00/0.60 c Coefficients are big enough for not using lower bounding. 0.03/0.60 c Coefficients are big enough for not using lower bounding. 0.03/0.60 c Coefficients are big enough for not using lower bounding. 0.03/0.60 c Coefficients are big enough for not using lower bounding. 0.03/0.60 c Coefficients are big enough for not using lower bounding. 0.03/0.60 c Coefficients are big enough for not using lower bounding. 0.03/0.60 c Coefficients are big enough for not using lower bounding. 0.03/0.60 c Coefficients are big enough for not using lower bounding. 0.03/0.60 c Coefficients are big enough for not using lower bounding. 0.03/0.60 c Coefficients are big enough for not using lower bounding. 0.03/0.60 c Coefficients are big enough for not using lower bounding. 0.03/0.60 c Coefficients are big enough for not using lower bounding. 0.03/0.60 c Highest Coefficient sum: 9.68548e+11 0.03/0.60 c Parsing was ok!! 0.03/0.60 c Total parsing time: 0.041 s 0.03/0.60 c Var: 5239 Constr: 221 0/0/221 Lit: 25519 Watch. Lit: 15431 0.03/0.60 c Obj. Vars: 5239 (100 % of total variables) 0.03/0.66 c Pre-processing Time: 0.102 s 0.53/1.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.53/1.16 c 0 2421 221 25519 115 15466 51038 0 0 0.10 0.53/1.16 c 100 2421 321 39815 124 15889 56142 100 806 0.12 0.53/1.16 c 252 2421 473 78574 166 16953 61757 252 1377 0.18 0.53/1.16 c 477 2421 698 126079 180 17306 67933 477 1908 0.25 0.53/1.16 c 815 2421 1036 182568 176 18328 74727 815 2477 0.33 0.53/1.16 o 15773056 0.603 2.33/2.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.33/2.98 c 1155 2421 1377 270133 196 21722 55880 1156 1909 0.60 2.33/2.98 c 1255 2421 1477 282076 190 21533 61469 1256 2008 0.62 2.33/2.98 c 1513 2421 1735 314052 181 21652 67616 1514 2180 0.69 2.33/2.98 c 1988 2421 2210 548037 247 23214 74378 1989 1736 1.15 2.33/2.98 c 2803 2421 3025 745238 246 24144 81816 2804 1728 1.62 2.33/2.98 o 12055542 2.415 4.83/5.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.83/5.43 c 4116 2421 4339 1190260 274 29071 55880 4118 1702 2.42 4.83/5.43 c 4216 2421 4439 1205549 271 28563 61469 4218 1729 2.44 4.83/5.43 c 4467 2421 4690 1233308 262 29155 67616 4469 1762 2.53 4.83/5.43 c 4942 2421 5165 1455402 281 30542 74378 4944 1602 3.08 4.83/5.43 c 5755 2421 5978 1679985 281 31460 81816 5757 1671 3.44 4.83/5.43 c 7076 2421 7299 2255792 309 34698 89998 7078 1491 4.74 4.83/5.43 o 8549533 4.87 9.73/10.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.73/10.33 c 7228 2421 7452 2296923 308 36149 55880 7231 1483 4.87 9.73/10.33 c 7328 2421 7552 2337494 309 36720 61469 7331 1460 5.02 9.73/10.33 c 7578 2421 7802 2466488 316 36781 67616 7581 1387 5.46 9.73/10.33 c 8057 2421 8281 2557319 308 37229 74378 8060 1407 5.72 9.73/10.33 c 8875 2421 9099 3017098 331 39014 81816 8878 1239 7.16 9.73/10.33 c 10197 2421 10421 3772737 362 41258 89998 10200 1073 9.50 9.73/10.33 o 8545583 9.765 1799.92/1801.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.92/1801.19 c 10612 2421 10837 3853473 355 44404 55880 10616 1086 9.77 1799.92/1801.19 c 10712 2421 10937 3866800 353 43532 61469 10716 1093 9.80 1799.92/1801.19 c 10963 2421 11188 3898774 348 44024 67616 10967 1110 9.87 1799.92/1801.19 c 11438 2421 11663 3963384 339 44783 74378 11442 1147 9.97 1799.92/1801.19 c 12252 2421 12477 4100313 328 46254 81816 12256 1206 10.15 1799.92/1801.19 c 13574 2421 13799 4899668 355 49817 89998 13578 1085 12.50 1799.92/1801.19 c 15656 2421 15881 5531502 348 53068 98998 15660 1100 14.22 1799.92/1801.19 c 18879 2421 19104 6095687 319 59570 108898 18883 1172 16.10 1799.92/1801.19 c 23815 2421 24040 8722421 362 69847 119788 23819 822 28.95 1799.92/1801.19 c 31321 2421 31546 14202555 450 84986 131767 31325 499 62.73 1799.92/1801.19 c 42682 2421 42907 20171709 470 107369 144944 42686 453 94.22 1799.92/1801.19 c 59826 2421 60051 31087324 517 141547 159439 59830 322 185.24 1799.92/1801.19 c 85645 2421 85870 43087068 501 192578 175383 85649 327 261.57 1799.92/1801.19 c 124478 2421 124703 57783866 463 270398 192922 124482 289 430.32 1799.92/1801.19 c 182831 2421 183056 91720522 501 387641 212215 182835 218 837.02 1799.92/1801.19 c 270464 2421 66932 55344748 826 152577 233437 66711 181 1494.09 1799.92/1801.19 c Resources Exceeded 1799.92/1801.19 v -x1 x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 x10 x11 -x12 x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 1799.92/1801.19 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 1799.92/1801.19 v -x56 -x57 -x58 -x59 -x60 -x2431 -x2432 -x2433 x2434 x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 1799.92/1801.19 v -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2761 1799.92/1801.19 v x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 1799.92/1801.19 v -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x3091 -x3092 -x3093 -x3094 -x3095 1799.92/1801.19 v x3096 -x3097 x3098 x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 1799.92/1801.19 v -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3421 -x3422 x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 1799.92/1801.19 v -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 1799.92/1801.19 v -x3448 -x3449 -x3450 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 1799.92/1801.19 v -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x4081 1799.92/1801.19 v -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 1799.92/1801.19 v -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4411 -x4412 -x4413 -x4414 -x4415 1799.92/1801.19 v -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 1799.92/1801.19 v -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 1799.92/1801.19 v -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 1799.92/1801.19 v -x4767 -x4768 -x4769 -x4770 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1799.92/1801.19 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 1799.92/1801.19 v -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x721 -x722 -x723 -x724 1799.92/1801.19 v -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 1799.92/1801.19 v -x746 -x747 -x748 -x749 -x750 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 1799.92/1801.19 v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 1799.92/1801.19 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 1799.92/1801.19 v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1711 x1712 x1713 x1714 x1715 1799.92/1801.19 v x1716 x1717 x1718 x1719 x1720 x1721 x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 1799.92/1801.19 v -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 x2041 x2042 x2043 -x2044 x2045 x2046 x2047 x2048 x2049 x2050 x2051 -x2052 x2053 1799.92/1801.19 v -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 1799.92/1801.19 v -x2341 -x2342 -x2343 -x2344 -x2345 x2346 x2347 -x2348 -x2349 x2350 -x2351 x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 1799.92/1801.19 v -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 x2375 1799.92/1801.19 v -x2376 x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 1799.92/1801.19 v -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 x2402 -x2403 x2404 x2405 -x2406 x2407 -x2408 x2409 x2410 1799.92/1801.19 v x2411 x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 1799.92/1801.19 v -x2429 -x2430 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 1799.92/1801.19 v -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 1799.92/1801.19 v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 1799.92/1801.19 v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 1799.92/1801.19 v -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 1799.92/1801.19 v -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 1799.92/1801.19 v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 1799.92/1801.19 v -x2578 -x2579 -x2580 x2581 x2582 x2583 x2584 x2585 x2586 x2587 x2588 x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 1799.92/1801.19 v -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 1799.92/1801.19 v -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 1799.92/1801.19 v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 1799.92/1801.19 v -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 1799.92/1801.19 v -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 1799.92/1801.19 v -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 1799.92/1801.19 v -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 1799.92/1801.19 v -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 x2732 1799.92/1801.19 v -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 1799.92/1801.19 v -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 1799.92/1801.19 v -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 1799.92/1801.19 v -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 1799.92/1801.19 v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 1799.92/1801.19 v -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 1799.92/1801.19 v -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 1799.92/1801.19 v x2882 x2883 x2884 x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 1799.92/1801.19 v -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 x2916 1799.92/1801.19 v x2917 x2918 x2919 x2920 -x2921 x2922 -x2923 x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 1799.92/1801.19 v -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 1799.92/1801.19 v -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 1799.92/1801.19 v -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 1799.92/1801.19 v -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 1799.92/1801.19 v -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 1799.92/1801.19 v -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 1799.92/1801.19 v -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 1799.92/1801.19 v -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 1799.92/1801.19 v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 1799.92/1801.19 v -x3088 -x3089 -x3090 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 1799.92/1801.19 v -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 1799.92/1801.19 v -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 1799.92/1801.19 v -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 1799.92/1801.19 v -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 1799.92/1801.19 v -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 1799.92/1801.19 v -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 1799.92/1801.19 v -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 x3250 -x3251 -x3252 -x3253 1799.92/1801.19 v -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 1799.92/1801.19 v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 1799.92/1801.19 v -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 1799.92/1801.19 v -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 1799.92/1801.19 v -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 1799.92/1801.19 v -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 1799.92/1801.19 v -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 x3371 -x3372 1799.92/1801.19 v -x3373 -x3374 x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 1799.92/1801.19 v -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 x3402 -x3403 -x3404 -x3405 -x3406 1799.92/1801.19 v -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3451 -x3452 -x3453 1799.92/1801.19 v -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 x3460 -x3461 -x3462 -x3463 x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 1799.92/1801.19 v -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 1799.92/1801.19 v -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 1799.92/1801.19 v -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 1799.92/1801.19 v -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 1799.92/1801.19 v -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 1799.92/1801.19 v -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 1799.92/1801.19 v -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 1799.92/1801.19 v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 1799.92/1801.19 v -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 1799.92/1801.19 v -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 1799.92/1801.19 v -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 1799.92/1801.19 v -x3659 -x3660 x3661 x3662 -x3663 x3664 -x3665 x3666 -x3667 x3668 x3669 x3670 x3671 x3672 -x3673 x3674 -x3675 -x3676 -x3677 1799.92/1801.19 v -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 1799.92/1801.19 v -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 1799.92/1801.19 v -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 1799.92/1801.19 v -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 1799.92/1801.19 v -x3746 -x3747 -x3748 -x3749 -x3750 x3781 -x3782 x3783 -x3784 x3785 -x3786 x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 1799.92/1801.19 v -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 1799.92/1801.19 v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 1799.92/1801.19 v -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 1799.92/1801.19 v -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 1799.92/1801.19 v -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 1799.92/1801.19 v -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 1799.92/1801.19 v -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 x3911 -x3912 1799.92/1801.19 v -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 1799.92/1801.19 v -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 x3940 x3941 x3942 -x3943 -x3944 -x3945 -x3946 -x3947 1799.92/1801.19 v -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 1799.92/1801.19 v -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 1799.92/1801.19 v -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 x3991 -x3992 -x3993 x3994 x3995 -x3996 x3997 -x3998 x3999 1799.92/1801.19 v -x4000 x4001 x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 1799.92/1801.19 v -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 1799.92/1801.19 v -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 1799.92/1801.19 v -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 1799.92/1801.19 v -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 x4111 -x4112 -x4113 -x4114 -x4115 1799.92/1801.19 v -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 1799.92/1801.19 v -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 x4141 -x4142 x4143 -x4144 -x4145 x4146 -x4147 x4148 -x4149 -x4150 1799.92/1801.19 v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 1799.92/1801.19 v -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 1799.92/1801.19 v -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 1799.92/1801.19 v -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 1799.92/1801.19 v -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 1799.92/1801.19 v -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 1799.92/1801.19 v -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 1799.92/1801.19 v -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 1799.92/1801.19 v -x4287 -x4288 -x4289 -x4290 x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 1799.92/1801.19 v -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 1799.92/1801.19 v -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 1799.92/1801.19 v -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 1799.92/1801.19 v -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 1799.92/1801.19 v -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 1799.92/1801.19 v -x4389 -x4390 x4391 -x4392 -x4393 -x4394 x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 1799.92/1801.19 v -x4407 -x4408 -x4409 -x4410 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 1799.92/1801.19 v -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 1799.92/1801.19 v -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 1799.92/1801.19 v -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 1799.92/1801.19 v -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 1799.92/1801.19 v -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 1799.92/1801.19 v -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 1799.92/1801.19 v -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 1799.92/1801.19 v -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 1799.92/1801.19 v -x4590 -x4591 -x4592 -x4593 -x4594 x4595 x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 1799.92/1801.19 v -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 1799.92/1801.19 v x4625 -x4626 x4627 x4628 x4629 x4630 x4631 x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 1799.92/1801.19 v -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 1799.92/1801.19 v -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 1799.92/1801.19 v -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 1799.92/1801.19 v -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 1799.92/1801.19 v -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 1799.92/1801.19 v -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4771 -x4772 -x4773 -x4774 1799.92/1801.19 v -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 1799.92/1801.19 v -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 1799.92/1801.19 v -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 1799.92/1801.19 v -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 1799.92/1801.19 v -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 1799.92/1801.19 v -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 x4870 x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 1799.92/1801.19 v -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 1799.92/1801.19 v -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 1799.92/1801.19 v -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 1799.92/1801.19 v -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 1799.92/1801.19 v -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 x4960 x4961 -x4962 x4963 1799.92/1801.19 v -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 1799.92/1801.19 v -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 1799.92/1801.19 v -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 1799.92/1801.19 v -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 1799.92/1801.19 v -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 1799.92/1801.19 v -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 1799.92/1801.19 v -x5066 -x5067 -x5068 -x5069 -x5070 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 1799.92/1801.19 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1799.92/1801.19 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1799.92/1801.19 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1799.92/1801.19 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1799.92/1801.19 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1799.92/1801.19 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 1799.92/1801.19 v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 1799.92/1801.19 v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1799.92/1801.19 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1799.92/1801.19 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 1799.92/1801.19 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1799.92/1801.19 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1799.92/1801.19 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 1799.92/1801.19 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 1799.92/1801.19 v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 1799.92/1801.19 v -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 1799.92/1801.19 v -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 1799.92/1801.19 v -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 1799.92/1801.19 v -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 1799.92/1801.19 v -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 1799.92/1801.19 v -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 1799.92/1801.19 v -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 1799.92/1801.19 v -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 1799.92/1801.19 v -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 1799.92/1801.19 v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 1799.92/1801.19 v -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 1799.92/1801.19 v -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 x693 x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 1799.92/1801.19 v -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x751 -x752 -x753 -x754 1799.92/1801.19 v -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 1799.92/1801.19 v -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 1799.92/1801.19 v -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 1799.92/1801.19 v -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 1799.92/1801.19 v -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 1799.92/1801.19 v -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 -x873 -x874 x875 x876 -x877 x878 x879 x880 -x881 1799.92/1801.19 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1799.92/1801.19 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1799.92/1801.19 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1799.92/1801.19 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1799.92/1801.19 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1799.92/1801.19 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1799.92/1801.19 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1799.92/1801.19 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1799.92/1801.19 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 1799.92/1801.19 v -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 1799.92/1801.19 v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 1799.92/1801.19 v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 1799.92/1801.19 v -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 1799.92/1801.19 v -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 1799.92/1801.19 v -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 1799.92/1801.19 v -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 1799.92/1801.19 v -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 1799.92/1801.19 v -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 1799.92/1801.19 v -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 1799.92/1801.19 v -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 1799.92/1801.19 v -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 1799.92/1801.19 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 1799.92/1801.19 v -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 1799.92/1801.19 v -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 1799.92/1801.19 v -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 1799.92/1801.19 v -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 1799.92/1801.19 v -x1376 -x1377 -x1378 -x1379 -x1380 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 1799.92/1801.19 v -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 1799.92/1801.19 v -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 1799.92/1801.19 v -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 1799.92/1801.19 v -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 1799.92/1801.19 v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 1799.92/1801.19 v -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 1799.92/1801.19 v -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 1799.92/1801.19 v -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 1799.92/1801.19 v -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 1799.92/1801.19 v -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 1799.92/1801.19 v -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 1799.92/1801.19 v -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 1799.92/1801.19 v -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 1799.92/1801.19 v -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 1799.92/1801.19 v -x1661 -x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 1799.92/1801.19 v -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 1799.92/1801.19 v -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1741 1799.92/1801.19 v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 1799.92/1801.19 v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 1799.92/1801.19 v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 1799.92/1801.19 v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 1799.92/1801.19 v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 1799.92/1801.19 v -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 1799.92/1801.19 v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 1799.92/1801.19 v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 1799.92/1801.19 v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 1799.92/1801.19 v -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 1799.92/1801.19 v -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 x1922 x1923 x1924 x1925 x1926 -x1927 x1928 x1929 1799.92/1801.19 v x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 1799.92/1801.19 v -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 1799.92/1801.19 v -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 1799.92/1801.19 v x1982 -x1983 -x1984 -x1985 -x1986 x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 1799.92/1801.19 v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 -x2012 x2013 -x2014 -x2015 -x2016 -x2017 1799.92/1801.19 v -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 1799.92/1801.19 v -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 1799.92/1801.19 v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 1799.92/1801.19 v -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 1799.92/1801.19 v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 1799.92/1801.19 v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 1799.92/1801.19 v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 1799.92/1801.19 v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 1799.92/1801.19 v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 x2192 -x2193 x2194 x2195 x2196 x2197 x2198 x2199 x2200 x2201 -x2202 1799.92/1801.19 v -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 1799.92/1801.19 v -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 x2231 x2232 x2233 x2234 -x2235 -x2236 -x2237 1799.92/1801.19 v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 1799.92/1801.19 v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 1799.92/1801.19 v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 1799.92/1801.19 v -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 1799.92/1801.19 v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 1799.92/1801.19 v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 1799.92/1801.19 v -x2340 x5071 -x5072 x5152 x5163 x5174 x5185 -x5196 -x5207 -x5218 -x5229 -x5073 -x5084 -x5095 -x5106 -x5117 x5128 x5139 1799.92/1801.19 v x5149 x5150 x5151 -x5153 -x5154 -x5155 -x5156 x5157 -x5158 -x5159 -x5160 -x5161 x5162 -x5164 -x5165 -x5166 x5167 x5168 1799.92/1801.19 v -x5169 -x5170 -x5171 -x5172 -x5173 -x5175 -x5176 -x5177 -x5178 x5179 -x5180 -x5181 -x5182 x5183 x5184 x5186 -x5187 -x5188 1799.92/1801.19 v -x5189 -x5190 -x5191 -x5192 x5193 -x5194 -x5195 x5197 -x5198 -x5199 -x5200 x5201 x5202 -x5203 x5204 -x5205 -x5206 x5208 1799.92/1801.19 v x5209 -x5210 -x5211 -x5212 -x5213 x5214 -x5215 -x5216 x5217 -x5219 -x5220 -x5221 -x5222 -x5223 x5224 x5225 -x5226 -x5227 1799.92/1801.19 v -x5228 -x5230 -x5231 -x5232 x5233 -x5234 -x5235 x5236 -x5237 -x5238 -x5239 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 1799.92/1801.19 v -x5081 -x5082 x5083 -x5085 -x5086 x5087 -x5088 -x5089 -x5090 -x5091 -x5092 x5093 x5094 -x5096 -x5097 -x5098 -x5099 x5100 1799.92/1801.19 v -x5101 -x5102 -x5103 -x5104 -x5105 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 x5115 -x5116 -x5118 -x5119 1799.92/1801.19 v -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 x5126 -x5127 -x5129 -x5130 -x5131 -x5132 -x5133 x5134 x5135 -x5136 x5137 x5138 1799.92/1801.19 v -x5140 -x5141 -x5142 -x5143 x5144 x5145 -x5146 -x5147 -x5148 1799.92/1801.19 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.92/1801.19 c 37 308347 35963 469742 104815 80799497 104594 171 1800.02 1799.92/1801.19 c Objective: 8545583 1799.92/1801.19 s SATISFIABLE 1799.92/1801.19 c Total time: 1800.02 s
OK 8545583
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node46/watcher-353940-1176689233 -o ROOT/results/node46/solver-353940-1176689233 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353940-1176689233/instance-353940-1176689233.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.99 0.99 3/65 26291 /proc/meminfo: memFree=1848480/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=2332 CPUtime=0 /proc/26291/stat : 26291 (bsolo3.0.16) D 26289 26291 24522 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 23606718 2387968 26 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7799815 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/26291/statm: 583 26 20 324 0 3 0 [startup+0.096657 s] /proc/loadavg: 0.92 0.99 0.99 3/65 26291 /proc/meminfo: memFree=1848480/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=2332 CPUtime=0 /proc/26291/stat : 26291 (bsolo3.0.16) D 26289 26291 24522 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 23606718 2387968 26 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7799815 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/26291/statm: 583 26 20 324 0 3 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2332 [startup+0.101658 s] /proc/loadavg: 0.92 0.99 0.99 3/65 26291 /proc/meminfo: memFree=1848480/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=2332 CPUtime=0 /proc/26291/stat : 26291 (bsolo3.0.16) D 26289 26291 24522 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 23606718 2387968 26 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7799815 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/26291/statm: 583 26 20 324 0 3 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2332 [startup+0.301695 s] /proc/loadavg: 0.92 0.99 0.99 3/65 26291 /proc/meminfo: memFree=1848480/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=3780 CPUtime=0 /proc/26291/stat : 26291 (bsolo3.0.16) D 26289 26291 24522 0 -1 4194304 185 0 2 0 0 0 0 0 18 0 1 0 23606718 3870720 155 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160395582 0 0 4096 0 18446744071563479169 0 0 17 0 0 0 /proc/26291/statm: 945 155 129 324 0 14 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 3780 [startup+0.701776 s] /proc/loadavg: 0.92 0.99 0.99 3/65 26291 /proc/meminfo: memFree=1848480/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=5804 CPUtime=0.13 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 937 0 5 0 13 0 0 0 18 0 1 0 23606718 5943296 808 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 0 0 0 /proc/26291/statm: 1451 808 312 324 0 520 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 5804 [startup+1.50192 s] /proc/loadavg: 0.93 0.99 0.99 2/66 26292 /proc/meminfo: memFree=1843416/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=11064 CPUtime=0.93 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 2267 0 5 0 91 2 0 0 25 0 1 0 23606718 11329536 2138 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 2766 2138 313 324 0 1835 0 Current children cumulated CPU time (s) 0.93 Current children cumulated vsize (KiB) 11064 [startup+3.10121 s] /proc/loadavg: 0.93 0.99 0.99 2/66 26292 /proc/meminfo: memFree=1836760/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=21440 CPUtime=2.52 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 4851 0 5 0 249 3 0 0 25 0 1 0 23606718 21954560 4722 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 5360 4722 313 324 0 4429 0 Current children cumulated CPU time (s) 2.52 Current children cumulated vsize (KiB) 21440 [startup+6.30181 s] /proc/loadavg: 0.93 0.99 0.99 2/66 26292 /proc/meminfo: memFree=1816160/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=38688 CPUtime=5.73 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 9175 0 5 0 566 7 0 0 25 0 1 0 23606718 39616512 9046 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 9672 9046 313 324 0 8741 0 Current children cumulated CPU time (s) 5.73 Current children cumulated vsize (KiB) 38688 [startup+12.702 s] /proc/loadavg: 0.94 0.99 0.99 2/66 26292 /proc/meminfo: memFree=1787176/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=67564 CPUtime=12.12 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 16406 0 5 0 1201 11 0 0 25 0 1 0 23606718 69185536 16277 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134587020 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 16891 16277 313 324 0 15960 0 Current children cumulated CPU time (s) 12.12 Current children cumulated vsize (KiB) 67564 [startup+25.5014 s] /proc/loadavg: 0.95 0.99 0.99 2/66 26292 /proc/meminfo: memFree=1742632/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=109240 CPUtime=24.92 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 26809 0 5 0 2474 18 0 0 25 0 1 0 23606718 111861760 26680 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 27310 26680 313 324 0 26379 0 Current children cumulated CPU time (s) 24.92 Current children cumulated vsize (KiB) 109240 [startup+51.1011 s] /proc/loadavg: 1.05 1.01 1.00 2/66 26292 /proc/meminfo: memFree=1684264/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=167584 CPUtime=50.51 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 41409 0 5 0 5025 26 0 0 25 0 1 0 23606718 171606016 41280 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 41896 41280 313 324 0 40965 0 Current children cumulated CPU time (s) 50.51 Current children cumulated vsize (KiB) 167584 [startup+102.306 s] /proc/loadavg: 1.02 1.01 1.00 2/66 26292 /proc/meminfo: memFree=1558120/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=293028 CPUtime=101.7 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 72766 0 5 0 10124 46 0 0 25 0 1 0 23606718 300060672 72637 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 73257 72637 313 324 0 72326 0 Current children cumulated CPU time (s) 101.7 Current children cumulated vsize (KiB) 293028 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26292 /proc/meminfo: memFree=1470376/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=381096 CPUtime=161.67 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 94774 0 5 0 16107 60 0 0 25 0 1 0 23606718 390242304 94645 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 95274 94645 313 324 0 94343 0 Current children cumulated CPU time (s) 161.67 Current children cumulated vsize (KiB) 381096 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26292 /proc/meminfo: memFree=1358632/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=492164 CPUtime=221.65 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 122549 0 5 0 22086 79 0 0 25 0 1 0 23606718 503975936 122420 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 123041 122420 313 324 0 122110 0 Current children cumulated CPU time (s) 221.65 Current children cumulated vsize (KiB) 492164 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26292 /proc/meminfo: memFree=1247144/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=604504 CPUtime=281.63 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 150626 0 5 0 28063 100 0 0 25 0 1 0 23606718 619012096 150497 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 151126 150497 313 324 0 150195 0 Current children cumulated CPU time (s) 281.63 Current children cumulated vsize (KiB) 604504 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26292 /proc/meminfo: memFree=1175976/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=674320 CPUtime=341.61 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 168087 0 5 0 34046 115 0 0 25 0 1 0 23606718 690503680 167958 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 168580 167958 313 324 0 167649 0 Current children cumulated CPU time (s) 341.61 Current children cumulated vsize (KiB) 674320 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26292 /proc/meminfo: memFree=1123048/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=727612 CPUtime=401.59 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 181396 0 5 0 40032 127 0 0 25 0 1 0 23606718 745074688 181267 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8230523 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 181903 181267 313 324 0 180972 0 Current children cumulated CPU time (s) 401.59 Current children cumulated vsize (KiB) 727612 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26292 /proc/meminfo: memFree=1069864/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=780416 CPUtime=461.57 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 194618 0 5 0 46020 137 0 0 25 0 1 0 23606718 799145984 194489 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160091749 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 195104 194489 313 324 0 194173 0 Current children cumulated CPU time (s) 461.57 Current children cumulated vsize (KiB) 780416 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26292 /proc/meminfo: memFree=987368/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=864044 CPUtime=521.55 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 215521 0 5 0 52004 151 0 0 25 0 1 0 23606718 884781056 215392 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 216011 215392 313 324 0 215080 0 Current children cumulated CPU time (s) 521.55 Current children cumulated vsize (KiB) 864044 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26292 /proc/meminfo: memFree=899944/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=950300 CPUtime=581.53 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 237072 0 5 0 57987 166 0 0 25 0 1 0 23606718 973107200 236943 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 237575 236943 313 324 0 236644 0 Current children cumulated CPU time (s) 581.53 Current children cumulated vsize (KiB) 950300 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26292 /proc/meminfo: memFree=827560/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=1021688 CPUtime=641.51 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 254938 0 5 0 63970 181 0 0 25 0 1 0 23606718 1046208512 254809 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 255422 254809 313 324 0 254491 0 Current children cumulated CPU time (s) 641.51 Current children cumulated vsize (KiB) 1021688 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26292 /proc/meminfo: memFree=569896/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=1279172 CPUtime=881.43 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 319291 0 5 0 87917 226 0 0 25 0 1 0 23606718 1309872128 319162 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 319793 319162 313 324 0 318862 0 Current children cumulated CPU time (s) 881.43 Current children cumulated vsize (KiB) 1279172 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26292 /proc/meminfo: memFree=458984/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=1390628 CPUtime=941.41 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 347145 0 5 0 93896 245 0 0 25 0 1 0 23606718 1424003072 347016 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 347657 347016 313 324 0 346726 0 Current children cumulated CPU time (s) 941.41 Current children cumulated vsize (KiB) 1390628 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26292 /proc/meminfo: memFree=385320/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=1463656 CPUtime=1001.39 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 365416 0 5 0 99882 257 0 0 25 0 1 0 23606718 1498783744 365287 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 365914 365287 313 324 0 364983 0 Current children cumulated CPU time (s) 1001.39 Current children cumulated vsize (KiB) 1463656 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26292 /proc/meminfo: memFree=285352/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=1562496 CPUtime=1061.37 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 390344 0 5 0 105865 272 0 0 25 0 1 0 23606718 1599995904 390003 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 390624 390003 313 324 0 389693 0 Current children cumulated CPU time (s) 1061.37 Current children cumulated vsize (KiB) 1562496 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26292 /proc/meminfo: memFree=285416/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=1562496 CPUtime=1121.34 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 390344 0 5 0 111861 273 0 0 25 0 1 0 23606718 1599995904 390003 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 390624 390003 313 324 0 389693 0 Current children cumulated CPU time (s) 1121.34 Current children cumulated vsize (KiB) 1562496 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26292 /proc/meminfo: memFree=285416/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=1562496 CPUtime=1181.33 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 390344 0 5 0 117857 276 0 0 25 0 1 0 23606718 1599995904 390003 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 390624 390003 313 324 0 389693 0 Current children cumulated CPU time (s) 1181.33 Current children cumulated vsize (KiB) 1562496 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26292 /proc/meminfo: memFree=285416/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=1562496 CPUtime=1241.31 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 390344 0 5 0 123853 278 0 0 25 0 1 0 23606718 1599995904 390003 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8228278 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 390624 390003 313 324 0 389693 0 Current children cumulated CPU time (s) 1241.31 Current children cumulated vsize (KiB) 1562496 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26292 /proc/meminfo: memFree=285416/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=1562496 CPUtime=1301.29 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 390344 0 5 0 129850 279 0 0 25 0 1 0 23606718 1599995904 390003 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 390624 390003 313 324 0 389693 0 Current children cumulated CPU time (s) 1301.29 Current children cumulated vsize (KiB) 1562496 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26292 /proc/meminfo: memFree=285416/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=1562496 CPUtime=1361.27 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 390344 0 5 0 135847 280 0 0 25 0 1 0 23606718 1599995904 390003 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 390624 390003 313 324 0 389693 0 Current children cumulated CPU time (s) 1361.27 Current children cumulated vsize (KiB) 1562496 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26292 /proc/meminfo: memFree=285416/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=1562496 CPUtime=1421.25 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 390344 0 5 0 141844 281 0 0 25 0 1 0 23606718 1599995904 390003 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 390624 390003 313 324 0 389693 0 Current children cumulated CPU time (s) 1421.25 Current children cumulated vsize (KiB) 1562496 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26292 /proc/meminfo: memFree=285416/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=1562496 CPUtime=1481.23 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 390344 0 5 0 147841 282 0 0 25 0 1 0 23606718 1599995904 390003 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8224920 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 390624 390003 313 324 0 389693 0 Current children cumulated CPU time (s) 1481.23 Current children cumulated vsize (KiB) 1562496 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26292 /proc/meminfo: memFree=285416/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=1562496 CPUtime=1541.21 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 390344 0 5 0 153837 284 0 0 25 0 1 0 23606718 1599995904 390003 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551271 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 390624 390003 313 324 0 389693 0 Current children cumulated CPU time (s) 1541.21 Current children cumulated vsize (KiB) 1562496 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26292 /proc/meminfo: memFree=285416/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=1562496 CPUtime=1601.19 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 390344 0 5 0 159833 286 0 0 25 0 1 0 23606718 1599995904 390003 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 390624 390003 313 324 0 389693 0 Current children cumulated CPU time (s) 1601.19 Current children cumulated vsize (KiB) 1562496 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26294 /proc/meminfo: memFree=285416/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=1562496 CPUtime=1661.17 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 390344 0 5 0 165830 287 0 0 25 0 1 0 23606718 1599995904 390003 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 390624 390003 313 324 0 389693 0 Current children cumulated CPU time (s) 1661.17 Current children cumulated vsize (KiB) 1562496 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26294 /proc/meminfo: memFree=285416/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=1562496 CPUtime=1721.15 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 390344 0 5 0 171826 289 0 0 25 0 1 0 23606718 1599995904 390003 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551306 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 390624 390003 313 324 0 389693 0 Current children cumulated CPU time (s) 1721.15 Current children cumulated vsize (KiB) 1562496 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26294 /proc/meminfo: memFree=285416/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=1562496 CPUtime=1781.12 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 390344 0 5 0 177823 289 0 0 25 0 1 0 23606718 1599995904 390003 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 390624 390003 313 324 0 389693 0 Current children cumulated CPU time (s) 1781.12 Current children cumulated vsize (KiB) 1562496 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26294 /proc/meminfo: memFree=312104/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=0 CPUtime=1800.02 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194308 390345 0 5 0 179711 291 0 0 17 0 1 0 23606718 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/66 26294 /proc/meminfo: memFree=312104/2055920 swapFree=4184528/4192956 [pid=26291] ppid=26289 vsize=0 CPUtime=1800.21 /proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194308 390345 0 5 0 179711 310 0 0 18 0 1 0 23606718 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26291/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.48 CPU time (s): 1800.27 CPU user time (s): 1797.12 CPU system time (s): 3.14852 CPU usage (%): 99.9326 Max. virtual memory (cumulated for all children) (KiB): 1563344 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.12 system time used= 3.14852 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 390345 page faults= 5 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 20 involuntary context switches= 3272 runsolver used 1.16182 second user time and 3.77543 second system time The end
Begin job on node46 on Mon Apr 16 02:07:17 UTC 2007 IDJOB= 353940 IDBENCH= 2296 IDSOLVER= 163 FILE ID= node46/353940-1176689233 PBS_JOBID= 4559958 Free space on /tmp= 66168 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran13x13.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353940-1176689233/instance-353940-1176689233.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node46/watcher-353940-1176689233 -o ROOT/results/node46/solver-353940-1176689233 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353940-1176689233/instance-353940-1176689233.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= f6afca2947f6ff68bd855d0ea2ea59a9 RANDOM SEED= 660465474 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node46.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.268 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.268 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: 1848824 kB Buffers: 9280 kB Cached: 128672 kB SwapCached: 2672 kB Active: 79244 kB Inactive: 69656 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1848824 kB SwapTotal: 4192956 kB SwapFree: 4184528 kB Dirty: 4784 kB Writeback: 0 kB Mapped: 17236 kB Slab: 44144 kB Committed_AS: 1663140 kB PageTables: 1476 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= 66168 MiB End job on node46 on Mon Apr 16 02:37:21 UTC 2007