Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-skc 2007-03-21 | SAT (TO) | 4869 | 1800.06 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-LIN/reduced/ submittedPB07/aksoy/trarea_ac/normalized-reduced-fir06_trarea_ac.opb |
MD5SUM | 7546aeed0de3680ab75d817854256b46 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4812 |
Best CPU time to get the best result obtained on this benchmark | 6.36403 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4812 |
Optimality of the best value was proved | YES |
Number of variables | 4360 |
Total number of constraints | 8610 |
Number of constraints which are clauses | 8610 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 163 |
Number of terms in the objective function | 2173 |
Biggest coefficient in the objective function | 305 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 525495 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 305 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 525495 |
Number of bits of the biggest sum of numbers | 20 |
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 0.00/0.00 c wildcat-skc (VERSION 0.8.0-lite-skc-devel) 0.00/0.00 c Developed by L. Liuand M. Truszczynski 0.00/0.00 c Last built on Sun 18 Mar 2007 03:03:20 PM EDT 0.00/0.00 c 0.00/0.00 c /tmp/evaluation/372343-1177091008/wildcat-skc /tmp/evaluation/372343-1177091008/instance-372343-1177091008.opb 591938413 0.00/0.00 c =================================== BEGIN =================================== 0.00/0.00 c 0.00/0.00 c Random Number Seed: 591938413 0.00/0.00 c Noise: 0.1 (10 : 100) 0.06/0.07 c Starting searching: 0.06/0.07 c Phase 1 ... 0.06/0.08 c trying 525495: vc 0.06/0.08 o 258631 0.06/0.08 c trying 258122: vc 0.06/0.08 o 237613 0.06/0.09 c trying 237125: vc 0.06/0.09 o 228521 0.06/0.09 c trying 228042: vc 0.06/0.09 o 220525 0.09/0.10 c trying 220055: vc 0.09/0.10 o 219266 0.09/0.11 c trying 218797: vc 0.09/0.11 o 206453 0.09/0.11 c trying 205998: vc 0.09/0.11 o 202049 0.09/0.13 c trying 201599: vc 0.09/0.13 o 201366 0.09/0.13 c trying 200917: vc 0.09/0.13 o 192068 0.09/0.15 c trying 191629: vc 0.09/0.15 o 191398 0.09/0.16 c trying 190960: vc 0.09/0.16 o 183901 0.09/0.18 c trying 183472: vc 0.09/0.18 o 180536 0.09/0.20 c trying 180111: vc 0.09/0.20 o 179921 0.19/0.21 c trying 179496: vc 0.19/0.21 o 173925 0.19/0.23 c trying 173507: vc 0.19/0.23 o 173279 0.19/0.26 c trying 172862: vc 0.19/0.26 o 171569 0.19/0.28 c trying 171154: vc 0.19/0.28 o 170059 0.29/0.30 c trying 169646: vc 0.29/0.30 o 169429 0.29/0.33 c trying 169017: vc 0.29/0.33 o 166565 0.29/0.35 c trying 166156: vc 0.29/0.35 o 165433 0.29/0.37 c trying 165026: vc 0.29/0.37 o 163768 0.29/0.40 c trying 163363: vc 0.29/0.40 o 163333 0.39/0.42 c trying 162928: vc 0.39/0.42 o 162677 0.39/0.45 c trying 162273: vc 0.39/0.45 o 162140 0.39/0.48 c trying 161737: vc 0.39/0.48 o 161736 0.49/0.51 c trying 161333: vc 0.49/0.51 o 161331 0.49/0.53 c trying 160929: vc 0.49/0.53 o 160199 0.49/0.55 c trying 159798: vc 0.49/0.55 o 159303 0.49/0.58 c trying 158903: vc 0.49/0.58 o 158703 0.59/0.61 c trying 158304: vc 0.59/0.61 o 158125 0.59/0.64 c trying 157727: vc 0.59/0.64 o 157405 0.59/0.68 c trying 157008: vc 0.59/0.68 o 156934 0.69/0.71 c trying 156537: vc 0.69/0.71 o 155931 0.69/0.74 c trying 155536: vc 0.69/0.74 o 155429 0.69/0.77 c trying 155034: vc 0.69/0.77 o 154998 0.79/0.80 c trying 154604: vc 0.79/0.80 o 154580 0.79/0.82 c trying 154186: vc 0.79/0.82 o 154043 0.79/0.85 c trying 153650: vc 0.79/0.85 o 153617 0.79/0.89 c trying 153225: vc 0.79/0.89 o 153133 0.89/0.92 c trying 152741: vc 0.89/0.92 o 152735 0.89/0.95 c trying 152344: vc 0.89/0.95 o 151524 0.89/0.97 c trying 151134: vc 0.89/0.97 o 151096 1.00/1.01 c trying 150707: vc 1.00/1.01 o 150670 1.00/1.04 c trying 150281: vc 1.00/1.04 o 150044 1.00/1.07 c trying 149656: vc 1.00/1.07 o 149589 1.10/1.11 c trying 149202: vc 1.10/1.11 o 149078 1.10/1.14 c trying 148691: vc 1.10/1.14 o 148561 1.10/1.18 c trying 148175: vc 1.10/1.18 o 148032 1.19/1.20 c trying 147647: vc 1.19/1.20 o 147195 1.19/1.24 c trying 146811: vc 1.19/1.24 o 146712 1.19/1.28 c trying 146328: vc 1.19/1.28 o 146286 1.29/1.31 c trying 145903: vc 1.29/1.31 o 145890 1.29/1.35 c trying 145508: vc 1.29/1.35 o 145445 1.29/1.38 c trying 145063: vc 1.29/1.38 o 144639 1.39/1.42 c trying 144258: vc 1.39/1.42 o 144058 1.39/1.46 c trying 143678: vc 1.39/1.46 o 143645 1.39/1.50 c trying 143265: vc 1.39/1.50 o 143025 1.49/1.53 c trying 142646: vc 1.49/1.53 o 142639 1.49/1.57 c trying 142261: vc 1.49/1.57 o 142155 1.59/1.60 c trying 141777: vc 1.59/1.60 o 141195 1.59/1.64 c trying 140819: vc 1.59/1.64 o 140671 1.59/1.68 c trying 140295: vc 1.59/1.68 o 140260 1.69/1.72 c trying 139885: vc 1.69/1.72 o 139710 1.69/1.76 c trying 139336: vc 1.69/1.76 o 139306 1.69/1.79 c trying 138932: vc 1.69/1.79 o 138926 1.79/1.83 c trying 138553: vc 1.79/1.83 o 136296 1.79/1.86 c trying 135926: vc 1.79/1.86 o 135893 1.89/1.90 c trying 135524: vc 1.89/1.90 o 135498 1.89/1.95 c trying 135129: vc 1.89/1.95 o 134956 1.89/1.99 c trying 134588: vc 1.89/1.99 o 134344 1.99/2.04 c trying 133977: vc 1.99/2.04 o 133854 1.99/2.08 c trying 133488: vc 1.99/2.08 o 133347 2.10/2.13 c trying 132981: vc 2.10/2.13 o 132956 2.10/2.17 c trying 132591: vc 2.10/2.17 o 132452 2.20/2.22 c trying 132088: vc 2.20/2.22 o 132050 2.20/2.27 c trying 131686: vc 2.20/2.27 o 131543 2.29/2.33 c trying 131180: vc 2.29/2.33 o 130948 2.29/2.37 c trying 130586: vc 2.29/2.37 o 130509 2.39/2.41 c trying 130147: vc 2.39/2.41 o 130112 2.39/2.46 c trying 129751: vc 2.39/2.46 o 129698 2.49/2.51 c trying 129337: vc 2.49/2.51 o 129210 2.49/2.55 c trying 128850: vc 2.49/2.55 o 128806 2.59/2.61 c trying 128447: vc 2.59/2.61 o 128413 2.59/2.65 c trying 128054: vc 2.59/2.65 o 127791 2.69/2.71 c trying 127433: vc 2.69/2.71 o 126585 2.69/2.75 c trying 126229: vc 2.69/2.75 o 125556 2.79/2.80 c trying 125201: vc 2.79/2.80 o 124092 2.79/2.87 c trying 123739: vc 2.79/2.87 o 123526 2.89/2.91 c trying 123174: vc 2.89/2.91 o 122878 2.89/2.96 c trying 122527: vc 2.89/2.96 o 122436 2.99/3.02 c trying 122086: vc 2.99/3.02 o 121284 2.99/3.09 c trying 120935: vc 2.99/3.09 o 119180 3.09/3.15 c trying 118834: vc 3.09/3.15 o 118795 3.19/3.24 c trying 118450: vc 3.19/3.24 o 118265 3.19/3.29 c trying 117921: vc 3.19/3.29 o 117772 3.29/3.35 c trying 117428: vc 3.29/3.35 o 117196 3.39/3.43 c trying 116853: vc 3.39/3.43 o 116753 3.39/3.49 c trying 116411: vc 3.39/3.49 o 116301 3.49/3.55 c trying 115959: vc 3.49/3.55 o 115860 3.59/3.63 c trying 115519: vc 3.59/3.63 o 115471 3.59/3.69 c trying 115131: vc 3.59/3.69 o 115098 3.69/3.76 c trying 114758: vc 3.69/3.76 o 114229 3.79/3.82 c trying 113891: vc 3.79/3.82 o 113760 3.79/3.88 c trying 113422: vc 3.79/3.88 o 113381 3.89/3.94 c trying 113044: vc 3.89/3.94 o 112499 3.99/4.01 c trying 112163: vc 3.99/4.01 o 112089 3.99/4.06 c trying 111754: vc 3.99/4.06 o 111595 4.09/4.14 c trying 111260: vc 4.09/4.14 o 111014 4.18/4.23 c trying 110680: vc 4.18/4.23 o 110481 4.18/4.30 c trying 110148: vc 4.18/4.30 o 110026 4.29/4.35 c trying 109694: vc 4.29/4.35 o 109523 4.39/4.43 c trying 109192: vc 4.39/4.43 o 109077 4.48/4.50 c trying 108746: vc 4.48/4.50 o 108538 4.48/4.57 c trying 108208: vc 4.48/4.57 o 107961 4.58/4.63 c trying 107632: vc 4.58/4.63 o 107614 4.58/4.69 c trying 107285: vc 4.58/4.69 o 107276 4.68/4.76 c trying 106948: vc 4.68/4.76 o 104781 4.78/4.83 c trying 104457: vc 4.78/4.83 o 104243 4.88/4.91 c trying 103920: vc 4.88/4.91 o 103910 4.88/4.98 c trying 103587: vc 4.88/4.98 o 103571 4.98/5.06 c trying 103249: vc 4.98/5.06 o 103118 5.08/5.13 c trying 102796: vc 5.08/5.13 o 102687 5.18/5.22 c trying 102366: vc 5.18/5.22 o 102289 5.18/5.29 c trying 101969: vc 5.18/5.29 o 101715 5.28/5.36 c trying 101396: vc 5.28/5.36 o 101235 5.39/5.44 c trying 100916: vc 5.39/5.44 o 100744 5.49/5.55 c trying 100426: vc 5.49/5.55 o 100147 5.58/5.63 c trying 99830: vc 5.58/5.63 o 99691 5.68/5.70 c trying 99375: vc 5.68/5.70 o 99182 5.78/5.80 c trying 98867: vc 5.78/5.80 o 98755 5.78/5.89 c trying 98440: vc 5.78/5.89 o 98335 5.98/6.02 c trying 98021: vc 5.98/6.02 o 97963 5.98/6.09 c trying 97650: vc 5.98/6.09 o 97434 6.08/6.17 c trying 97121: vc 6.08/6.17 o 96970 6.18/6.24 c trying 96658: vc 6.18/6.24 o 96451 6.28/6.32 c trying 96140: vc 6.28/6.32 o 95966 6.38/6.40 c trying 95656: vc 6.38/6.40 o 95612 6.38/6.49 c trying 95302: vc 6.38/6.49 o 95214 6.58/6.63 c trying 94905: vc 6.58/6.63 o 94734 6.68/6.76 c trying 94426: vc 6.68/6.76 o 94246 6.78/6.83 c trying 93939: vc 6.78/6.83 o 93737 6.88/6.92 c trying 93430: vc 6.88/6.92 o 93408 6.98/7.00 c trying 93102: vc 6.98/7.00 o 93062 7.08/7.11 c trying 92756: vc 7.08/7.11 o 92636 7.18/7.22 c trying 92331: vc 7.18/7.22 o 92163 7.28/7.31 c trying 91859: vc 7.28/7.31 o 91663 7.38/7.40 c trying 91360: vc 7.38/7.40 o 91280 7.48/7.50 c trying 90977: vc 7.48/7.50 o 90884 7.48/7.60 c trying 90582: vc 7.48/7.60 o 90369 7.58/7.69 c trying 90068: vc 7.58/7.69 o 90021 7.68/7.79 c trying 89720: vc 7.68/7.79 o 89588 7.88/7.95 c trying 89288: vc 7.88/7.95 o 89161 7.98/8.05 c trying 88862: vc 7.98/8.05 o 88690 8.08/8.14 c trying 88392: vc 8.08/8.14 o 88168 8.18/8.26 c trying 87871: vc 8.18/8.26 o 87821 8.28/8.38 c trying 87524: vc 8.28/8.38 o 87365 8.38/8.47 c trying 87069: vc 8.38/8.47 o 86867 8.48/8.57 c trying 86572: vc 8.48/8.57 o 86397 8.58/8.66 c trying 86103: vc 8.58/8.66 o 85953 8.68/8.78 c trying 85659: vc 8.68/8.78 o 85548 8.78/8.87 c trying 85255: vc 8.78/8.87 o 85033 8.98/9.01 c trying 84741: vc 8.98/9.01 o 84626 9.08/9.15 c trying 84335: vc 9.08/9.15 o 84055 9.18/9.26 c trying 83765: vc 9.18/9.26 o 83598 9.38/9.40 c trying 83308: vc 9.38/9.40 o 83225 9.48/9.53 c trying 82936: vc 9.48/9.53 o 82707 9.58/9.68 c trying 82419: vc 9.58/9.68 o 82242 9.68/9.79 c trying 81955: vc 9.68/9.79 o 81930 9.88/9.93 c trying 81643: vc 9.88/9.93 o 81517 9.98/10.05 c trying 81231: vc 9.98/10.05 o 80981 10.08/10.16 c trying 80696: vc 10.08/10.16 o 80660 10.18/10.27 c trying 80375: vc 10.18/10.27 o 80192 10.38/10.44 c trying 79908: vc 10.38/10.44 o 79393 10.58/10.60 c trying 79111: vc 10.58/10.60 o 79085 10.68/10.72 c trying 78803: vc 10.68/10.72 o 78616 10.88/10.91 c trying 78335: vc 10.88/10.91 o 78161 10.98/11.04 c trying 77881: vc 10.98/11.04 o 77837 11.08/11.19 c trying 77558: vc 11.08/11.19 o 77406 11.28/11.31 c trying 77127: vc 11.28/11.31 o 77096 11.38/11.44 c trying 76818: vc 11.38/11.44 o 76712 11.58/11.60 c trying 76435: vc 11.58/11.60 o 76235 11.68/11.75 c trying 75958: vc 11.68/11.75 o 75748 11.88/11.98 c trying 75472: vc 11.88/11.98 o 75429 12.08/12.18 c trying 75154: vc 12.08/12.18 o 74984 12.28/12.36 c trying 74710: vc 12.28/12.36 o 74525 12.58/12.61 c trying 74252: vc 12.58/12.61 o 74252 12.68/12.75 c trying 73979: vc 12.68/12.75 o 73794 12.88/12.96 c trying 73522: vc 12.88/12.96 o 73386 13.08/13.20 c trying 73115: vc 13.08/13.20 o 72984 13.28/13.37 c trying 72713: vc 13.28/13.37 o 72586 13.58/13.65 c trying 72316: vc 13.58/13.65 o 72316 13.68/13.78 c trying 72047: vc 13.68/13.79 o 71842 13.88/13.95 c trying 71573: vc 13.88/13.95 o 71443 13.98/14.09 c trying 71175: vc 13.98/14.09 o 70947 14.28/14.31 c trying 70680: vc 14.28/14.31 o 70623 14.48/14.59 c trying 70357: vc 14.48/14.59 o 70114 14.68/14.76 c trying 69849: vc 14.68/14.76 o 69620 14.88/14.95 c trying 69356: vc 14.88/14.95 o 69173 15.18/15.24 c trying 68909: vc 15.18/15.24 o 67488 15.38/15.42 c trying 67228: vc 15.38/15.42 o 65668 15.58/15.63 c trying 65411: vc 15.58/15.63 o 65229 15.78/15.85 c trying 64973: vc 15.78/15.85 o 64950 15.98/16.06 c trying 64695: vc 15.98/16.06 o 64623 16.28/16.31 c trying 64368: vc 16.28/16.31 o 64221 16.48/16.54 c trying 63967: vc 16.48/16.54 o 63894 16.58/16.69 c trying 63641: vc 16.58/16.69 o 63623 16.88/16.92 c trying 63370: vc 16.88/16.92 o 63325 17.08/17.13 c trying 63073: vc 17.08/17.13 o 63053 17.28/17.39 c trying 62801: vc 17.28/17.39 o 62595 17.58/17.65 c trying 62344: vc 17.58/17.65 o 62191 17.88/17.91 c trying 61941: vc 17.88/17.91 o 61818 18.18/18.25 c trying 61569: vc 18.18/18.25 o 61353 18.48/18.50 c trying 61105: vc 18.48/18.50 o 60921 18.58/18.69 c trying 60674: vc 18.58/18.69 o 60443 18.88/18.97 c trying 60197: vc 18.88/18.97 o 59163 19.18/19.24 c trying 58919: vc 19.18/19.24 o 58511 19.48/19.53 c trying 58269: vc 19.48/19.53 o 58238 19.68/19.79 c trying 57996: vc 19.68/19.79 o 57863 19.97/20.02 c trying 57622: vc 19.97/20.02 o 57616 20.17/20.29 c trying 57375: vc 20.17/20.29 o 57248 20.47/20.50 c trying 57008: vc 20.47/20.50 o 56992 20.68/20.79 c trying 56753: vc 20.68/20.79 o 56648 20.98/21.03 c trying 56409: vc 20.98/21.03 o 56152 21.27/21.37 c trying 55915: vc 21.27/21.37 o 55903 21.47/21.57 c trying 55666: vc 21.47/21.57 o 55417 21.77/21.89 c trying 55181: vc 21.77/21.89 o 55084 22.07/22.14 c trying 54849: vc 22.07/22.14 o 54679 22.27/22.39 c trying 54445: vc 22.27/22.39 o 54259 22.47/22.59 c trying 54026: vc 22.47/22.59 o 53920 22.77/22.84 c trying 53687: vc 22.77/22.84 o 53683 22.98/23.09 c trying 53451: vc 22.98/23.09 o 53262 23.27/23.37 c trying 53031: vc 23.27/23.37 o 52901 23.57/23.63 c trying 52670: vc 23.57/23.63 o 52646 23.77/23.83 c trying 52416: vc 23.77/23.83 o 52380 23.97/24.09 c trying 52151: vc 23.97/24.09 o 51516 24.37/24.42 c trying 51289: vc 24.37/24.42 o 51276 24.57/24.69 c trying 51049: vc 24.57/24.69 o 50901 24.97/25.01 c trying 50675: vc 24.97/25.01 o 50660 25.28/25.31 c trying 50434: vc 25.28/25.31 o 50337 25.57/25.66 c trying 50112: vc 25.57/25.66 o 50064 25.87/25.92 c trying 49840: vc 25.87/25.92 o 49795 26.28/26.33 c trying 49571: vc 26.28/26.33 o 49560 26.57/26.65 c trying 49337: vc 26.57/26.65 o 49270 26.87/26.90 c trying 49048: vc 26.87/26.90 o 48899 27.07/27.15 c trying 48677: vc 27.07/27.15 o 48676 27.27/27.38 c trying 48455: vc 27.27/27.38 o 48262 27.48/27.56 c trying 48042: vc 27.48/27.56 o 47937 27.87/27.90 c trying 47718: vc 27.87/27.90 o 46121 28.17/28.22 c trying 45906: vc 28.17/28.22 o 45868 28.48/28.54 c trying 45653: vc 28.48/28.54 o 45637 28.77/28.83 c trying 45423: vc 28.77/28.83 o 43729 29.18/29.22 c trying 43519: vc 29.18/29.22 o 43483 29.48/29.57 c trying 43274: vc 29.48/29.57 o 43176 29.88/29.92 c trying 42968: vc 29.88/29.92 o 42953 30.08/30.19 c trying 42745: vc 30.08/30.19 o 42739 30.48/30.51 c trying 42532: vc 30.48/30.51 o 42305 30.68/30.80 c trying 42099: vc 30.68/30.80 o 41927 31.18/31.26 c trying 41722: vc 31.18/31.26 o 41713 31.48/31.55 c trying 41508: vc 31.48/31.55 o 41365 31.78/31.89 c trying 41161: vc 31.78/31.89 o 41003 32.18/32.23 c trying 40800: vc 32.18/32.23 o 40767 32.58/32.60 c trying 40565: vc 32.58/32.60 o 40370 32.98/33.02 c trying 40169: vc 32.98/33.02 o 40113 33.38/33.42 c trying 39912: vc 33.38/33.42 o 39910 33.68/33.77 c trying 39710: vc 33.68/33.77 o 39520 34.08/34.10 c trying 39321: vc 34.08/34.10 o 39169 34.38/34.47 c trying 38971: vc 34.38/34.47 o 38940 34.88/34.91 c trying 38742: vc 34.88/34.91 o 38701 35.18/35.28 c trying 38504: vc 35.18/35.28 o 36942 35.58/35.61 c trying 36749: vc 35.58/35.61 o 36727 35.88/35.98 c trying 36535: vc 35.88/35.98 o 35315 36.28/36.39 c trying 35127: vc 36.28/36.39 o 35017 36.78/36.84 c trying 34829: vc 36.78/36.84 o 34761 37.18/37.27 c trying 34574: vc 37.18/37.27 o 34503 37.48/37.58 c trying 34317: vc 37.48/37.58 o 34104 37.88/37.97 c trying 33919: vc 37.88/37.97 o 33840 38.18/38.29 c trying 33656: vc 38.18/38.29 o 33563 38.58/38.67 c trying 33379: vc 38.58/38.68 o 33370 38.98/39.08 c trying 33187: vc 38.98/39.08 o 33055 39.48/39.53 c trying 32873: vc 39.48/39.53 o 32828 39.78/39.87 c trying 32646: vc 39.78/39.87 o 32506 40.28/40.32 c trying 32325: vc 40.28/40.32 o 32147 40.68/40.78 c trying 31967: vc 40.68/40.78 o 31962 41.08/41.16 c trying 31783: vc 41.08/41.16 o 31700 41.48/41.55 c trying 31521: vc 41.48/41.55 o 31440 41.98/42.00 c trying 31262: vc 41.98/42.00 o 31049 42.38/42.41 c trying 30872: vc 42.38/42.41 o 30854 42.88/42.91 c trying 30678: vc 42.88/42.91 o 28625 43.27/43.37 c trying 28455: vc 43.27/43.37 o 28342 43.88/43.93 c trying 28173: vc 43.88/43.93 o 27893 44.27/44.37 c trying 27725: vc 44.27/44.37 o 27652 44.77/44.82 c trying 27485: vc 44.77/44.82 o 27352 45.17/45.21 c trying 27186: vc 45.17/45.21 o 27105 45.57/45.63 c trying 26940: vc 45.57/45.63 o 26809 45.97/46.06 c trying 26645: vc 45.97/46.06 o 26426 46.47/46.57 c trying 26263: vc 46.47/46.57 o 26237 47.07/47.14 c trying 26075: vc 47.07/47.14 o 25261 47.57/47.62 c trying 25102: vc 47.57/47.62 o 24912 48.07/48.15 c trying 24754: vc 48.07/48.15 o 24734 48.57/48.69 c trying 24576: vc 48.57/48.69 o 24529 49.07/49.18 c trying 24372: vc 49.07/49.18 o 24216 49.57/49.68 c trying 24060: vc 49.57/49.68 o 23972 50.17/50.22 c trying 23817: vc 50.17/50.22 o 23729 50.67/50.71 c trying 23574: vc 50.67/50.71 o 23494 51.17/51.27 c trying 23340: vc 51.17/51.27 o 23157 51.77/51.86 c trying 23004: vc 51.77/51.86 o 22999 52.27/52.38 c trying 22847: vc 52.27/52.38 o 22684 52.78/52.84 c trying 22533: vc 52.78/52.84 o 22502 53.37/53.46 c trying 22351: vc 53.37/53.46 o 22248 53.97/54.03 c trying 22098: vc 53.97/54.03 o 22006 54.47/54.60 c trying 21857: vc 54.47/54.60 o 21708 54.98/55.09 c trying 21560: vc 54.98/55.09 o 21500 55.57/55.67 c trying 21353: vc 55.57/55.67 o 21350 56.08/56.17 c trying 21203: vc 56.08/56.17 o 21202 56.67/56.72 c trying 21056: vc 56.67/56.72 o 20992 57.18/57.25 c trying 20847: vc 57.18/57.25 o 20717 57.77/57.80 c trying 20573: vc 57.77/57.81 o 20397 58.28/58.36 c trying 20254: vc 58.28/58.36 o 20181 58.87/58.99 c trying 20038: vc 58.87/58.99 o 19799 59.47/59.52 c trying 19658: vc 59.47/59.52 o 19645 60.07/60.11 c trying 19504: vc 60.07/60.11 o 19410 60.67/60.70 c trying 19270: vc 60.67/60.70 o 19251 61.07/61.16 c trying 19112: vc 61.07/61.16 o 18961 61.67/61.70 c trying 18823: vc 61.67/61.70 o 18799 62.17/62.25 c trying 18661: vc 62.17/62.25 o 18657 62.67/62.79 c trying 18520: vc 62.67/62.79 o 18347 63.37/63.40 c trying 18211: vc 63.37/63.40 o 18176 63.87/63.94 c trying 18041: vc 63.87/63.94 o 18021 64.47/64.58 c trying 17886: vc 64.47/64.58 o 17877 65.17/65.20 c trying 17743: vc 65.17/65.20 o 17742 65.87/65.91 c trying 17608: vc 65.87/65.91 o 17536 66.37/66.41 c trying 17403: vc 66.37/66.41 o 17339 66.97/67.08 c trying 17207: vc 66.97/67.08 o 17092 67.57/67.66 c trying 16961: vc 67.57/67.66 o 16876 68.17/68.25 c trying 16746: vc 68.17/68.25 o 16745 68.77/68.87 c trying 16615: vc 68.77/68.87 o 16401 69.37/69.44 c trying 16272: vc 69.37/69.44 o 16183 69.97/70.09 c trying 16055: vc 69.97/70.09 o 16044 70.67/70.74 c trying 15917: vc 70.67/70.74 o 15852 71.37/71.41 c trying 15726: vc 71.37/71.41 o 15694 71.87/71.94 c trying 15568: vc 71.87/71.94 o 15367 72.47/72.54 c trying 15243: vc 72.47/72.54 o 15103 73.16/73.20 c trying 14980: vc 73.16/73.20 o 14975 73.67/73.76 c trying 14852: vc 73.67/73.76 o 14751 74.26/74.37 c trying 14629: vc 74.26/74.37 o 14629 74.86/74.96 c trying 14508: vc 74.86/74.96 o 14348 75.46/75.57 c trying 14228: vc 75.46/75.57 o 14050 76.26/76.31 c trying 13931: vc 76.26/76.31 o 13839 76.97/77.01 c trying 13721: vc 76.97/77.01 o 13676 77.56/77.63 c trying 13559: vc 77.56/77.63 o 13506 78.16/78.26 c trying 13389: vc 78.16/78.26 o 13265 78.86/78.92 c trying 13149: vc 78.86/78.92 o 12906 79.46/79.53 c trying 12792: vc 79.46/79.53 o 12740 80.17/80.28 c trying 12627: vc 80.17/80.28 o 12585 80.86/80.98 c trying 12472: vc 80.86/80.98 o 12333 81.56/81.68 c trying 12221: vc 81.56/81.68 o 12175 82.26/82.31 c trying 12064: vc 82.26/82.31 o 11992 82.96/83.08 c trying 11882: vc 82.96/83.08 o 11772 83.76/83.81 c trying 11663: vc 83.76/83.81 o 11584 84.36/84.45 c trying 11476: vc 84.36/84.45 o 11393 85.16/85.21 c trying 11286: vc 85.16/85.21 o 11285 85.76/85.87 c trying 11178: vc 85.76/85.87 o 11092 86.46/86.55 c trying 10986: vc 86.46/86.55 o 10946 87.16/87.27 c trying 10841: vc 87.16/87.27 o 10749 87.96/88.03 c trying 10645: vc 87.96/88.03 o 10470 88.56/88.65 c trying 10367: vc 88.56/88.65 o 10344 89.36/89.45 c trying 10242: vc 89.36/89.45 o 10220 89.96/90.08 c trying 10118: vc 89.96/90.08 o 9942 90.66/90.79 c trying 9842: vc 90.66/90.79 o 9694 91.46/91.53 c trying 9595: vc 91.46/91.53 o 9531 92.16/92.24 c trying 9433: vc 92.16/92.24 o 9413 92.76/92.87 c trying 9315: vc 92.76/92.87 o 9310 93.46/93.57 c trying 9213: vc 93.46/93.57 o 9193 94.26/94.37 c trying 9097: vc 94.26/94.37 o 9028 95.06/95.11 c trying 8932: vc 95.06/95.11 o 8867 95.66/95.77 c trying 8772: vc 95.66/95.77 o 8718 96.46/96.52 c trying 8624: vc 96.46/96.52 o 8404 97.26/97.32 c trying 8312: vc 97.26/97.32 o 8146 98.16/98.20 c trying 8055: vc 98.16/98.20 o 8016 98.96/99.01 c trying 7926: vc 98.96/99.01 o 7917 99.76/99.81 c trying 7828: vc 99.76/99.81 o 7813 100.56/100.64 c trying 7724: vc 100.56/100.64 o 7653 101.36/101.44 c trying 7565: vc 101.36/101.44 o 7333 102.16/102.22 c trying 7247: vc 102.16/102.22 o 7172 102.86/102.98 c trying 7087: vc 102.86/102.98 o 6861 103.66/103.70 c trying 6778: vc 103.66/103.71 o 6740 104.66/104.72 c trying 6657: vc 104.66/104.72 o 6640 105.56/105.61 c trying 6558: vc 105.56/105.61 o 6557 106.36/106.49 c trying 6476: vc 106.36/106.49 o 6333 107.15/107.27 c trying 6253: vc 107.15/107.27 o 6136 108.05/108.16 c trying 6057: vc 108.05/108.16 o 5978 109.15/109.23 c trying 5900: vc 109.15/109.23 o 5744 110.55/110.67 c trying 5668: vc 110.55/110.67 o 5655 112.65/112.73 c trying 5579: vc 112.65/112.73 o 5518 115.46/115.56 c trying 5443: vc 115.46/115.56 o 5403 117.95/118.03 c trying 5329: vc 117.95/118.03 o 5232 122.55/122.65 c trying 5159: vc 122.55/122.65 o 5084 193.23/193.36 c trying 5012: xxxxxxxxxxc 193.23/193.36 c Phase 2 ... 218.33/218.42 c trying 5083: vc 218.33/218.42 o 5022 219.23/219.32 c trying 5021: vc 219.23/219.32 o 4996 227.33/227.45 c trying 4995: vc 227.33/227.45 o 4906 475.76/475.98 c trying 4905: xxxvc 475.76/475.98 o 4900 487.06/487.24 c trying 4899: vc 487.06/487.24 o 4885 660.61/660.81 c trying 4884: xxvc 660.61/660.81 o 4869 1331.56/1332.07 c trying 4868: xxxxxxxxxxc 1331.56/1332.07 c Phase 3 ... 1800.04/1800.61 c trying 4868 again: xc 1800.04/1800.61 s SATISFIABLE 1800.04/1800.61 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 1800.04/1800.61 v -x29 -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 1800.04/1800.61 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1800.04/1800.61 v -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1800.04/1800.61 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.04/1800.61 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.04/1800.61 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.04/1800.61 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.04/1800.61 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.04/1800.61 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.04/1800.61 v -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.04/1800.61 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.04/1800.61 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.04/1800.61 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.04/1800.61 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.04/1800.61 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.04/1800.61 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.04/1800.61 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.04/1800.61 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.04/1800.61 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.04/1800.61 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.04/1800.61 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.04/1800.61 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.04/1800.61 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.04/1800.61 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.04/1800.61 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.04/1800.61 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.04/1800.61 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.04/1800.61 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1800.04/1800.61 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.04/1800.61 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.04/1800.61 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.04/1800.61 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.04/1800.61 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1800.04/1800.61 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1800.04/1800.61 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.04/1800.61 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1800.04/1800.61 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1800.04/1800.61 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1800.04/1800.61 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1800.04/1800.61 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1800.04/1800.61 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1800.04/1800.61 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1800.04/1800.61 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.04/1800.61 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1800.04/1800.61 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1800.04/1800.61 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1800.04/1800.61 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.04/1800.61 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1800.04/1800.61 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1800.04/1800.61 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1800.04/1800.61 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1800.04/1800.61 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 1800.04/1800.61 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.04/1800.61 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1800.04/1800.61 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1800.04/1800.61 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1800.04/1800.61 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1800.04/1800.61 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 1800.04/1800.61 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 1800.04/1800.61 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1800.04/1800.61 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 1800.04/1800.61 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 1800.04/1800.61 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 1800.04/1800.61 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 1800.04/1800.61 v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1800.04/1800.61 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1800.04/1800.61 v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 1800.04/1800.61 v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 1800.04/1800.61 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1800.04/1800.61 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 1800.04/1800.61 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1800.04/1800.61 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1800.04/1800.61 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1800.04/1800.61 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 1800.04/1800.61 v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 1800.04/1800.61 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 1800.04/1800.61 v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 1800.04/1800.61 v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 1800.04/1800.61 v -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 1800.04/1800.61 v -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 1800.04/1800.61 v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 1800.04/1800.61 v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 1800.04/1800.61 v -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 1800.04/1800.61 v -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 1800.04/1800.61 v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 1800.04/1800.61 v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 1800.04/1800.61 v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 1800.04/1800.61 v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 1800.04/1800.61 v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 1800.04/1800.61 v -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 1800.04/1800.61 v -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 1800.04/1800.61 v -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 1800.04/1800.61 v -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 1800.04/1800.61 v -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 1800.04/1800.61 v -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 1800.04/1800.61 v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 1800.04/1800.61 v -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 1800.04/1800.61 v -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 1800.04/1800.61 v -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 1800.04/1800.61 v -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 1800.04/1800.61 v -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 1800.04/1800.61 v -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 1800.04/1800.61 v -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 1800.04/1800.61 v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 1800.04/1800.61 v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 1800.04/1800.61 v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 1800.04/1800.61 v -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 1800.04/1800.61 v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 1800.04/1800.61 v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 1800.04/1800.61 v -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 1800.04/1800.61 v -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 1800.04/1800.61 v -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 1800.04/1800.61 v -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 1800.04/1800.61 v -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 1800.04/1800.61 v -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 1800.04/1800.61 v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 1800.04/1800.61 v -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 x2206 x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 1800.04/1800.61 v -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 x2230 -x2231 -x2232 1800.04/1800.61 v -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 1800.04/1800.61 v -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 1800.04/1800.61 v -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 1800.04/1800.61 v -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 1800.04/1800.61 v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 1800.04/1800.61 v -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 1800.04/1800.61 v -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 1800.04/1800.61 v -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 1800.04/1800.61 v -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 1800.04/1800.61 v -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 1800.04/1800.61 v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 1800.04/1800.61 v -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 1800.04/1800.61 v -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 1800.04/1800.61 v -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 1800.04/1800.61 v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 1800.04/1800.61 v -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 1800.04/1800.61 v -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 1800.04/1800.61 v -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 1800.04/1800.61 v -x2539 -x2540 -x2541 -x2542 x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 1800.04/1800.61 v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 1800.04/1800.61 v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 1800.04/1800.61 v -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 1800.04/1800.61 v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 1800.04/1800.61 v -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 1800.04/1800.61 v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 1800.04/1800.61 v -x2658 -x2659 -x2660 -x2661 x2662 x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 1800.04/1800.61 v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 1800.04/1800.61 v -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 1800.04/1800.61 v -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 x2724 x2725 -x2726 -x2727 1800.04/1800.61 v -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 1800.04/1800.61 v -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 1800.04/1800.61 v -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 1800.04/1800.61 v -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 1800.04/1800.61 v -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 1800.04/1800.61 v -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 1800.04/1800.61 v -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 1800.04/1800.61 v -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 1800.04/1800.61 v -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 1800.04/1800.61 v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 1800.04/1800.61 v -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 1800.04/1800.61 v -x2915 x2916 x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 1800.04/1800.61 v -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 1800.04/1800.61 v -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 1800.04/1800.61 v -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 1800.04/1800.61 v -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 1800.04/1800.61 v -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 1800.04/1800.61 v -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 1800.04/1800.61 v -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 1800.04/1800.61 v -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 1800.04/1800.61 v -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 1800.04/1800.61 v -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 1800.04/1800.61 v -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 1800.04/1800.61 v -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 1800.04/1800.61 v -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 1800.04/1800.61 v -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 1800.04/1800.61 v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 1800.04/1800.61 v -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 1800.04/1800.61 v -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 1800.04/1800.61 v -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 1800.04/1800.61 v -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 1800.04/1800.61 v -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 1800.04/1800.61 v -x3273 -x3274 -x3275 -x3276 -x3277 x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 1800.04/1800.61 v -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 1800.04/1800.61 v -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 1800.04/1800.61 v -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 1800.04/1800.61 v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 1800.04/1800.61 v -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 1800.04/1800.61 v -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 1800.04/1800.61 v -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 1800.04/1800.61 v -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 1800.04/1800.61 v -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 1800.04/1800.61 v -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 1800.04/1800.61 v -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 1800.04/1800.61 v -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 1800.04/1800.61 v -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 x3508 -x3509 -x3510 1800.04/1800.61 v -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 1800.04/1800.61 v -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 1800.04/1800.61 v -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 1800.04/1800.61 v -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 1800.04/1800.61 v -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 1800.04/1800.61 v -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 1800.04/1800.61 v -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 1800.04/1800.61 v -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 1800.04/1800.61 v -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 1800.04/1800.61 v -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 1800.04/1800.61 v -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 1800.04/1800.61 v -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 1800.04/1800.61 v -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 1800.04/1800.61 v -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 1800.04/1800.61 v -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 1800.04/1800.61 v -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 1800.04/1800.61 v -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 1800.04/1800.61 v -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 1800.04/1800.61 v -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 1800.04/1800.61 v -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 1800.04/1800.61 v -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 1800.04/1800.61 v -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 1800.04/1800.61 v -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 1800.04/1800.61 v -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 1800.04/1800.61 v -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 1800.04/1800.61 v -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 1800.04/1800.61 v -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 1800.04/1800.61 v -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 1800.04/1800.61 v -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 1800.04/1800.61 v -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 1800.04/1800.61 v -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 1800.04/1800.61 v -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 1800.04/1800.61 v -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 1800.04/1800.61 v -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 1800.04/1800.61 v -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 1800.04/1800.61 v -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 1800.04/1800.61 v -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 1800.04/1800.61 v -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 1800.04/1800.61 v -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 1800.04/1800.61 v -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 1800.04/1800.61 v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 1800.04/1800.61 v -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 1800.04/1800.61 v -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 1800.04/1800.61 v -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 1800.04/1800.61 v -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 1800.04/1800.61 v -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 1800.04/1800.61 v -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 1800.04/1800.61 v -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 x4325 -x4326 1800.04/1800.61 v -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 x4335 -x4336 -x4337 x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 1800.04/1800.61 v -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 x4356 x4357 -x4358 x4359 -x4360 1800.04/1800.62 c Total Number of Positive Atoms : 29 1800.04/1800.62 c 1800.04/1800.62 c During searching: 660.736 seconds elapsed. 1800.04/1800.62 c CPU time spent: 660.62 seconds. 1800.04/1800.62 c 1800.04/1800.62 c =================================== END ===================================== 1800.04/1800.62 c
OK 4869
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-372343-1177091008 -o ROOT/results/node12/solver-372343-1177091008 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372343-1177091008/wildcat-skc /tmp/evaluation/372343-1177091008/instance-372343-1177091008.opb 591938413 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 8135 /proc/meminfo: memFree=1734048/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=5972 CPUtime=0 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 153 0 0 0 0 0 0 0 18 0 1 0 185138190 6115328 137 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 1493 137 105 226 0 1264 0 [startup+0.066758 s] /proc/loadavg: 0.92 0.98 0.99 3/77 8135 /proc/meminfo: memFree=1734048/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=7820 CPUtime=0.06 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 604 0 0 0 6 0 0 0 18 0 1 0 185138190 8007680 588 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135054637 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 1955 589 110 226 0 1726 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 7820 [startup+0.10176 s] /proc/loadavg: 0.92 0.98 0.99 3/77 8135 /proc/meminfo: memFree=1734048/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=0.09 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 9 0 0 0 18 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134603942 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8608 [startup+0.301782 s] /proc/loadavg: 0.92 0.98 0.99 3/77 8135 /proc/meminfo: memFree=1734048/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=0.29 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 29 0 0 0 19 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134607786 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8608 [startup+0.701821 s] /proc/loadavg: 0.92 0.98 0.99 3/77 8135 /proc/meminfo: memFree=1734048/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=0.69 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 69 0 0 0 22 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877556 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8608 [startup+1.5019 s] /proc/loadavg: 0.92 0.98 0.99 2/78 8136 /proc/meminfo: memFree=1731160/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=1.49 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 149 0 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134569019 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8608 [startup+3.10106 s] /proc/loadavg: 0.93 0.98 0.99 2/78 8136 /proc/meminfo: memFree=1731032/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=3.09 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 309 0 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8608 [startup+6.30138 s] /proc/loadavg: 0.93 0.98 0.99 2/78 8136 /proc/meminfo: memFree=1730968/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=6.28 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 628 0 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134607774 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 8608 [startup+12.702 s] /proc/loadavg: 0.94 0.98 0.99 3/78 8136 /proc/meminfo: memFree=1730840/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=12.68 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 1268 0 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611617 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 8608 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/78 8136 /proc/meminfo: memFree=1730840/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=25.47 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 2547 0 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611577 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 8608 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/78 8136 /proc/meminfo: memFree=1730904/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=51.07 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 5106 1 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134605291 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 8608 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 8136 /proc/meminfo: memFree=1730968/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=102.26 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 10225 1 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877538 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 8608 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8136 /proc/meminfo: memFree=1730968/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=162.24 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 16223 1 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 8608 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8136 /proc/meminfo: memFree=1730968/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=222.23 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 22221 2 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 8608 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8136 /proc/meminfo: memFree=1730904/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=282.21 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 28219 2 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 8608 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8136 /proc/meminfo: memFree=1730904/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=342.19 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 34217 2 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611617 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 8608 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 3/78 8136 /proc/meminfo: memFree=1730840/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=402.18 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 40215 3 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134607768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 8608 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8136 /proc/meminfo: memFree=1730840/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=462.16 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 46213 3 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 8608 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8136 /proc/meminfo: memFree=1730968/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=522.15 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 52212 3 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134605344 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 8608 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8136 /proc/meminfo: memFree=1730904/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=582.14 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 58210 4 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134551552 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 8608 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8136 /proc/meminfo: memFree=1730904/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=642.12 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 64208 4 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134607698 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 8608 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8136 /proc/meminfo: memFree=1730968/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=822.07 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 82202 5 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134605301 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 8608 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8136 /proc/meminfo: memFree=1730968/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=882.05 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 88200 5 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 8608 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8136 /proc/meminfo: memFree=1730968/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=942.04 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 94198 6 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134607810 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 8608 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8136 /proc/meminfo: memFree=1730904/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=1002.03 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 100197 6 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134868569 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 8608 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/84 8208 /proc/meminfo: memFree=1729632/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=1061.98 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 106191 7 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877556 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 8608 [startup+1122.3 s] /proc/loadavg: 1.03 1.00 1.00 2/78 8334 /proc/meminfo: memFree=1730648/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=1121.9 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 112183 7 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134608017 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 8608 [startup+1182.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 8334 /proc/meminfo: memFree=1730648/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=1181.88 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 118181 7 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 8608 [startup+1242.3 s] /proc/loadavg: 1.04 1.01 1.00 2/78 8334 /proc/meminfo: memFree=1730648/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=1241.87 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 124179 8 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 8608 [startup+1302.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 8334 /proc/meminfo: memFree=1730648/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=1301.86 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 130178 8 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611634 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 8608 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8334 /proc/meminfo: memFree=1730712/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=1361.84 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 136175 9 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 8608 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8334 /proc/meminfo: memFree=1730712/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=1421.83 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 142174 9 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877536 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 8608 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8334 /proc/meminfo: memFree=1730712/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=1481.81 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 148172 9 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134607727 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 8608 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8334 /proc/meminfo: memFree=1730904/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=1541.79 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 154170 9 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134607810 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 8608 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8334 /proc/meminfo: memFree=1730904/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=1601.78 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 160168 10 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134868580 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 8608 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8334 /proc/meminfo: memFree=1730904/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=1661.76 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 166166 10 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 8608 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8334 /proc/meminfo: memFree=1730840/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=1721.75 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 172164 11 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 8608 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8334 /proc/meminfo: memFree=1730840/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=1781.73 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 178162 11 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611634 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 8608 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8334 /proc/meminfo: memFree=1730904/2055920 swapFree=4160080/4192956 [pid=8135] ppid=8133 vsize=8608 CPUtime=1800.04 /proc/8135/stat : 8135 (wildcat-skc) R 8133 8135 7250 0 -1 4194304 829 0 0 0 179993 11 0 0 25 0 1 0 185138190 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611584 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8135/statm: 2152 812 117 226 0 1923 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 8608 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.62 CPU time (s): 1800.06 CPU user time (s): 1799.94 CPU system time (s): 0.117982 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 8608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.94 system time used= 0.117982 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 829 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 15210 runsolver used 2.32565 second user time and 4.05538 second system time The end
Begin job on node12 on Fri Apr 20 17:43:28 UTC 2007 IDJOB= 372343 IDBENCH= 24965 IDSOLVER= 162 FILE ID= node12/372343-1177091008 PBS_JOBID= 4640316 Free space on /tmp= 66254 MiB SOLVER NAME= wildcat-skc 2007-03-21 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir06_trarea_ac.opb COMMAND LINE= /tmp/evaluation/372343-1177091008/wildcat-skc /tmp/evaluation/372343-1177091008/instance-372343-1177091008.opb 591938413 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-372343-1177091008 -o ROOT/results/node12/solver-372343-1177091008 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372343-1177091008/wildcat-skc /tmp/evaluation/372343-1177091008/instance-372343-1177091008.opb 591938413 META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a MD5SUM BENCH= 7546aeed0de3680ab75d817854256b46 RANDOM SEED= 591938413 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.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.239 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.239 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: 1734456 kB Buffers: 74000 kB Cached: 169232 kB SwapCached: 11768 kB Active: 149996 kB Inactive: 117300 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1734456 kB SwapTotal: 4192956 kB SwapFree: 4160080 kB Dirty: 2576 kB Writeback: 0 kB Mapped: 30388 kB Slab: 39712 kB Committed_AS: 6028060 kB PageTables: 1792 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= 66254 MiB End job on node12 on Fri Apr 20 18:13:31 UTC 2007