0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.01	c constraints 0/100 clauses 0/120 units 0
0.00/0.01	c vars 6000
0.19/0.23	c 0.209968 46.8477 123 19611
0.19/0.23	o 2746
0.19/0.24	c 0.217966 47.6367 123 22142
0.19/0.24	o 1715
0.19/0.25	c 0.224965 47.6367 123 24103
0.19/0.25	o 1703
0.19/0.27	c 0.233964 47.6367 123 26328
0.19/0.27	o 1674
0.19/0.28	c 0.240963 47.6367 124 28441
0.19/0.28	o 1552
0.19/0.29	c 0.247962 47.6367 124 30203
0.19/0.29	o 1545
0.29/0.30	c 0.254961 47.6367 124 32204
0.29/0.30	o 1452
0.29/0.31	c 0.26096 47.6367 125 34226
0.29/0.31	o 1438
0.29/0.32	c 0.266959 47.6367 125 36073
0.29/0.32	o 1392
0.29/0.33	c 0.272958 47.6367 125 37748
0.29/0.33	o 1160
0.29/0.34	c 0.279957 47.6367 126 39264
0.29/0.34	o 1158
0.29/0.35	c 0.288956 47.6367 126 40725
0.29/0.35	o 1154
0.29/0.36	c 0.296954 47.6367 126 42007
0.29/0.36	o 1152
0.29/0.38	c 0.303953 47.6367 126 43402
0.29/0.38	o 1148
0.29/0.39	c 0.311952 47.6367 126 44873
0.29/0.39	o 1140
0.39/0.40	c 0.319951 47.6367 126 46501
0.39/0.40	o 1136
0.39/0.41	c 0.329949 47.6367 126 48200
0.39/0.41	o 1130
0.39/0.42	c 0.337948 47.6367 126 49774
0.39/0.42	o 1127
0.39/0.43	c 0.346947 47.6367 126 51367
0.39/0.43	o 1116
0.39/0.44	c 0.354946 47.6367 126 52769
0.39/0.44	o 1115
0.39/0.45	c 0.359945 47.6367 126 54039
0.39/0.45	o 1093
0.39/0.46	c 0.368943 47.6367 127 55669
0.39/0.46	o 1090
0.39/0.48	c 0.376942 47.6367 127 56879
0.39/0.48	o 1085
0.39/0.49	c 0.383941 47.6367 127 58504
0.39/0.49	o 1082
0.49/0.50	c 0.38894 47.6367 127 59836
0.49/0.50	o 1079
0.49/0.51	c 0.396939 47.6367 127 61216
0.49/0.51	o 1077
0.49/0.52	c 0.403938 47.6367 128 62718
0.49/0.52	o 1075
0.49/0.53	c 0.412937 47.6367 128 63996
0.49/0.53	o 1072
0.49/0.54	c 0.420936 47.6367 128 65395
0.49/0.54	o 1069
0.49/0.55	c 0.426935 47.6367 128 66578
0.49/0.55	o 1060
0.49/0.56	c 0.433934 47.6367 128 67692
0.49/0.56	o 1050
0.49/0.57	c 0.439933 47.6367 128 69025
0.49/0.57	o 1045
0.49/0.59	c 0.447931 47.6367 128 70414
0.49/0.59	o 1044
0.59/0.60	c 0.45393 47.6367 128 71865
0.59/0.60	o 1041
0.59/0.61	c 0.45893 47.6367 128 73320
0.59/0.61	o 1036
0.59/0.62	c 0.468928 47.6367 128 74603
0.59/0.62	o 1033
0.59/0.63	c 0.477927 47.6367 128 75929
0.59/0.63	o 1030
0.59/0.64	c 0.484926 47.6367 128 77267
0.59/0.64	o 1027
0.59/0.65	c 0.492925 47.6367 128 78774
0.59/0.65	o 1024
0.59/0.66	c 0.500923 47.6367 128 79996
0.59/0.66	o 1019
0.59/0.67	c 0.505923 47.6367 128 81461
0.59/0.67	o 1011
0.59/0.68	c 0.513921 47.6367 128 82891
0.59/0.68	o 997
0.59/0.70	c 0.52092 47.6367 129 84226
0.59/0.70	o 995
0.69/0.71	c 0.527919 47.6367 129 85452
0.69/0.71	o 985
0.69/0.72	c 0.536918 47.6367 129 86600
0.69/0.72	o 983
0.69/0.73	c 0.545917 47.6367 129 87927
0.69/0.73	o 982
0.69/0.74	c 0.551916 47.6367 129 89146
0.69/0.74	o 977
0.69/0.75	c 0.557915 47.6367 129 90414
0.69/0.75	o 971
0.69/0.76	c 0.564914 47.6367 129 91824
0.69/0.76	o 966
0.69/0.77	c 0.569913 47.6367 129 93102
0.69/0.77	o 963
0.69/0.78	c 0.577912 47.6367 129 94420
0.69/0.78	o 958
0.69/0.79	c 0.58591 47.6367 129 95757
0.69/0.79	o 955
0.79/0.81	c 0.594909 47.6367 129 97060
0.79/0.81	o 939
0.79/0.82	c 0.602908 47.6367 129 98345
0.79/0.82	o 933
0.79/0.83	c 0.609907 47.6367 129 99441
0.79/0.83	o 932
0.79/0.84	c 0.617906 47.6367 129 100730
0.79/0.84	o 924
0.79/0.85	c 0.624905 47.6367 131 101847
0.79/0.85	o 911
0.79/0.86	c 0.630904 47.6367 131 103058
0.79/0.86	o 910
0.79/0.87	c 0.636903 47.6367 132 104226
0.79/0.87	o 902
0.79/0.88	c 0.643902 47.6367 132 105448
0.79/0.88	o 897
0.79/0.89	c 0.6529 47.6367 132 106547
0.79/0.89	o 895
0.89/0.91	c 0.658899 47.6367 132 107730
0.89/0.91	o 885
0.89/0.92	c 0.667898 47.6367 133 108832
0.89/0.92	o 883
0.89/0.93	c 0.675897 47.6367 133 109986
0.89/0.93	o 882
0.89/0.94	c 0.682896 47.6367 133 110977
0.89/0.94	o 880
0.89/0.95	c 0.690894 47.6367 133 112192
0.89/0.95	o 877
0.89/0.96	c 0.699893 47.6367 133 113175
0.89/0.96	o 876
0.89/0.97	c 0.709892 47.6367 134 114349
0.89/0.97	o 874
0.89/0.98	c 0.716891 47.6367 134 115266
0.89/0.98	o 872
0.89/0.99	c 0.72189 47.6367 134 116544
0.89/0.99	o 862
0.99/1.01	c 0.729889 47.6367 134 117702
0.99/1.01	o 859
0.99/1.02	c 0.735888 47.6367 134 118680
0.99/1.02	o 858
0.99/1.03	c 0.744886 47.6367 134 119788
0.99/1.03	o 850
0.99/1.04	c 0.753885 47.6367 135 120942
0.99/1.04	o 848
0.99/1.05	c 0.760884 47.6367 135 122104
0.99/1.05	o 844
0.99/1.06	c 0.769882 47.6367 135 123336
0.99/1.06	o 837
0.99/1.07	c 0.778881 47.6367 135 124307
0.99/1.07	o 818
0.99/1.08	c 0.78588 47.6367 135 125480
0.99/1.08	o 813
0.99/1.09	c 0.792879 47.6367 135 126591
0.99/1.09	o 809
1.09/1.10	c 0.800878 47.6367 135 127579
1.09/1.10	o 806
1.09/1.12	c 0.806877 47.6367 135 128718
1.09/1.12	o 789
1.09/1.13	c 0.810876 47.6367 135 129782
1.09/1.13	o 780
1.09/1.14	c 0.819875 47.6367 135 130955
1.09/1.14	o 772
1.09/1.15	c 0.826874 47.6367 135 132128
1.09/1.15	o 764
1.09/1.16	c 0.836872 47.6367 135 133114
1.09/1.16	o 761
1.09/1.17	c 0.844871 47.6367 136 134324
1.09/1.17	o 760
1.09/1.18	c 0.85087 47.6367 136 135233
1.09/1.18	o 758
1.09/1.19	c 0.857869 47.6367 137 136170
1.09/1.19	o 290
1.19/1.24	c 0.889864 47.7656 338 138090
1.19/1.24	o 287
1.19/1.25	c 0.897863 47.7656 339 139278
1.19/1.25	o 284
1.19/1.27	c 0.906862 47.7656 342 140701
1.19/1.27	o 281
1.19/1.28	c 0.91686 47.8945 343 141694
1.19/1.28	o 276
1.19/1.29	c 0.921859 47.8945 343 142883
1.19/1.29	o 271
1.29/1.30	c 0.928858 47.8945 346 143946
1.29/1.30	o 268
1.29/1.31	c 0.937857 47.8945 347 144993
1.29/1.31	o 267
1.29/1.32	c 0.946856 47.8945 347 146144
1.29/1.32	o 244
1.29/1.33	c 0.953854 47.8945 347 147209
1.29/1.33	o 242
1.29/1.35	c 0.961853 47.8945 351 148390
1.29/1.35	o 241
1.29/1.37	c 0.971852 47.8945 353 149798
1.29/1.37	o 233
1.29/1.38	c 0.978851 47.8945 354 150842
1.29/1.38	o 228
1.29/1.39	c 0.986849 47.8945 354 151887
1.29/1.39	o 221
1.39/1.40	c 0.994848 47.8945 356 152862
1.39/1.40	o 220
1.39/1.41	c 1.00185 47.8945 356 153790
1.39/1.41	o 211
1.39/1.43	c 1.01185 47.8945 358 154797
1.39/1.43	o 206
1.39/1.44	c 1.01984 47.8945 359 155835
1.39/1.44	o 182
1.39/1.45	c 1.02784 47.8945 360 156759
1.39/1.45	o 174
1.39/1.46	c 1.03484 47.8945 361 157675
1.39/1.46	o 170
1.39/1.47	c 1.04284 47.8945 361 158585
1.39/1.47	o 166
1.39/1.48	c 1.05084 47.8945 361 159423
1.39/1.48	o 165
1.39/1.49	c 1.05684 47.8945 361 160320
1.39/1.49	o 160
1.49/1.50	c 1.05984 47.8945 361 161063
1.49/1.50	o 155
1.49/1.52	c 1.06684 47.8945 362 161727
1.49/1.52	o 154
1.49/1.53	c 1.07584 47.8945 362 162630
1.49/1.53	o 151
1.49/1.54	c 1.08384 47.8945 362 163547
1.49/1.54	o 140
1.49/1.55	c 1.09183 47.8945 363 164353
1.49/1.55	o 137
1.49/1.56	c 1.09983 47.8945 364 165304
1.49/1.56	o 136
1.49/1.57	c 1.10583 47.8945 367 166079
1.49/1.57	o 121
1.49/1.58	c 1.11583 47.8945 367 166955
1.49/1.58	o 120
1.49/1.59	c 1.12483 47.8945 367 167852
1.49/1.59	o 119
1.59/1.60	c 1.13383 47.8945 367 168769
1.59/1.60	o 113
1.59/1.62	c 1.14183 47.8945 367 169681
1.59/1.62	o 111
1.59/1.63	c 1.14983 47.8945 367 170658
1.59/1.63	o 103
1.59/1.64	c 1.15782 47.8945 367 171628
1.59/1.64	o 102
1.59/1.65	c 1.16782 47.8945 367 172524
1.59/1.65	o 96
1.59/1.66	c 1.17382 47.8945 368 173452
1.59/1.66	o 87
1.59/1.67	c 1.18382 47.8945 368 174250
1.59/1.67	o 84
1.69/1.70	c 1.20382 48.0234 471 176388
1.69/1.70	o 83
1.69/1.71	c 1.21182 48.0234 471 177544
1.69/1.71	o 80
1.69/1.72	c 1.21881 48.0234 472 178741
1.69/1.72	o 75
1.69/1.73	c 1.22481 48.0234 472 179812
1.69/1.73	o 70
1.69/1.75	c 1.22981 48.0234 474 181183
1.69/1.75	o 58
1.69/1.76	c 1.23781 48.0234 475 182526
1.69/1.76	o 55
1.69/1.79	c 1.26181 48.1523 578 185682
1.69/1.79	o 53
1.79/1.80	c 1.27081 48.1523 581 187285
1.79/1.80	o 52
1.79/1.81	c 1.2768 48.1523 582 188903
1.79/1.82	o 48
1.79/1.83	c 1.2858 48.1523 582 190390
1.79/1.83	o 30
1.79/1.84	c 1.2918 48.1523 582 191762
1.79/1.84	o 22
1.79/1.85	c 1.2988 48.1523 581 193187
1.79/1.85	o 19
1.79/1.86	c 1.3038 48.1523 581 194471
1.79/1.86	o 18
1.79/1.87	c 1.3128 48.1523 582 195855
1.79/1.87	o 16
1.89/1.90	c 1.3338 48.1523 684 198584
1.89/1.90	o 13
1.89/1.91	c 1.3398 48.1523 685 200103
1.89/1.91	o 10
1.89/1.94	c 1.36079 48.2812 786 203321
1.89/1.94	o 7
2.59/2.61	c 1.91971 52.6641 3398 246817
2.59/2.61	o 6
2.59/2.68	c 1.9777 52.6641 3703 255478
2.59/2.68	o 5
2.89/2.97	c 2.19767 53.3086 3505 280421
2.89/2.97	o 4
4.69/4.79	c 3.72143 55.6289 3037 372286
4.69/4.79	o 3
1800.04/1800.00	s SATISFIABLE
1800.04/1800.00	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 -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 -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 -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 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 x2498 -x2499 -x2500 x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 x2759 -x2760 -x2761 -x2762 -x2763 x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 x5097 -x5098 -x5099 -x5100 -x5101 x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000

OK	3

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699238-1278463082/watcher-2699238-1278463082 -o /tmp/evaluation-result-2699238-1278463082/solver-2699238-1278463082 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699238-1278463082.wbo 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.96 2.00 1.94 4/178 15082
/proc/meminfo: memFree=30015752/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=2136 CPUtime=0
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 245 0 0 0 0 0 0 0 25 0 1 0 14521160 2187264 165 4089446400 134512640 136422188 4289300160 18446744073709551615 135809828 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15082/statm: 534 165 143 467 0 65 0

[startup+0.078718 s]
/proc/loadavg: 1.96 2.00 1.94 4/178 15082
/proc/meminfo: memFree=30015752/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=22916 CPUtime=0.07
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 5446 0 0 0 7 0 0 0 25 0 1 0 14521160 23465984 5267 4089446400 134512640 136422188 4289300160 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15082/statm: 5729 5269 193 467 0 5260 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 22916

[startup+0.100714 s]
/proc/loadavg: 1.96 2.00 1.94 4/178 15082
/proc/meminfo: memFree=30015752/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=27684 CPUtime=0.09
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 6744 0 0 0 9 0 0 0 25 0 1 0 14521160 28348416 6493 4089446400 134512640 136422188 4289300160 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15082/statm: 6921 6495 193 467 0 6452 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27684

[startup+0.300682 s]
/proc/loadavg: 1.96 2.00 1.94 4/178 15082
/proc/meminfo: memFree=30015752/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=48776 CPUtime=0.29
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 12218 0 0 0 25 4 0 0 25 0 1 0 14521160 49946624 11304 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15082/statm: 12194 11304 237 467 0 11725 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48776

[startup+0.70061 s]
/proc/loadavg: 1.96 2.00 1.94 4/178 15082
/proc/meminfo: memFree=30015752/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=48776 CPUtime=0.69
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 12262 0 0 0 52 17 0 0 25 0 1 0 14521160 49946624 11311 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15082/statm: 12194 11311 237 467 0 11725 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48776

[startup+1.50047 s]
/proc/loadavg: 1.96 2.00 1.94 3/179 15083
/proc/meminfo: memFree=29970856/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=49040 CPUtime=1.49
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 12400 0 0 0 105 44 0 0 25 0 1 0 14521160 50216960 11382 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15082/statm: 12260 11382 237 467 0 11791 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49040

[startup+3.10019 s]
/proc/loadavg: 1.96 2.00 1.94 3/179 15083
/proc/meminfo: memFree=29969480/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=54584 CPUtime=3.09
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 13809 0 0 0 229 80 0 0 25 0 1 0 14521160 55894016 12755 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15082/statm: 13646 12755 237 467 0 13177 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54584

[startup+6.30063 s]
/proc/loadavg: 1.96 2.00 1.94 3/179 15083
/proc/meminfo: memFree=29962900/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=59204 CPUtime=6.29
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 14977 0 0 0 497 132 0 0 25 0 1 0 14521160 60624896 13922 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15082/statm: 14801 13922 237 467 0 14332 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59204

[startup+12.7005 s]
/proc/loadavg: 1.96 2.00 1.94 3/179 15083
/proc/meminfo: memFree=29950872/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=68816 CPUtime=12.69
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 17379 0 0 0 1067 202 0 0 25 0 1 0 14521160 70467584 16324 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15082/statm: 17204 16324 237 467 0 16735 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68816

[startup+25.5003 s]
/proc/loadavg: 1.97 2.00 1.94 3/179 15084
/proc/meminfo: memFree=29946136/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=74912 CPUtime=25.49
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 18896 0 0 0 2182 367 0 0 25 0 1 0 14521160 76709888 17841 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15082/statm: 18728 17841 237 467 0 18259 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 74912

[startup+51.1008 s]
/proc/loadavg: 1.98 2.00 1.94 3/179 15085
/proc/meminfo: memFree=29929952/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=89196 CPUtime=51.09
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 22642 0 0 0 4416 693 0 0 25 0 1 0 14521160 91336704 21431 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15082/statm: 22299 21431 237 467 0 21830 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 89196

[startup+102.306 s]
/proc/loadavg: 1.99 2.00 1.94 3/179 15086
/proc/meminfo: memFree=29922084/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=97396 CPUtime=102.3
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 24669 0 0 0 9064 1166 0 0 25 0 1 0 14521160 99733504 23458 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15082/statm: 24349 23458 237 467 0 23880 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 97396

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.94 3/179 15087
/proc/meminfo: memFree=29909108/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=109688 CPUtime=162.29
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 27740 0 0 0 14374 1855 0 0 25 0 1 0 14521160 112320512 26529 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15082/statm: 27422 26529 237 467 0 26953 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 109688

[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.94 3/179 15089
/proc/meminfo: memFree=29905808/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=113264 CPUtime=222.29
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 28636 0 0 0 19966 2263 0 0 25 0 1 0 14521160 115982336 27425 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15082/statm: 28316 27425 237 467 0 27847 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 113264

[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.94 3/179 15091
/proc/meminfo: memFree=29905984/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=113264 CPUtime=282.29
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 28636 0 0 0 25239 2990 0 0 25 0 1 0 14521160 115982336 27425 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15082/statm: 28316 27425 237 467 0 27847 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 113264

[startup+342.301 s]
/proc/loadavg: 1.99 2.00 1.94 3/179 15093
/proc/meminfo: memFree=29901328/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=117916 CPUtime=342.3
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 29803 0 0 0 30680 3550 0 0 25 0 1 0 14521160 120745984 28592 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15082/statm: 29479 28592 237 467 0 29010 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 117916

[startup+402.3 s]
/proc/loadavg: 1.99 2.00 1.94 3/179 15094
/proc/meminfo: memFree=29895576/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=123820 CPUtime=402.3
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 31243 0 0 0 36041 4189 0 0 25 0 1 0 14521160 126791680 30032 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15082/statm: 30955 30032 237 467 0 30486 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 123820

[startup+462.301 s]
/proc/loadavg: 1.99 2.00 1.94 3/179 15095
/proc/meminfo: memFree=29887044/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=132196 CPUtime=462.3
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 33348 0 0 0 41704 4526 0 0 25 0 1 0 14521160 135368704 32137 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15082/statm: 33049 32137 237 467 0 32580 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 132196

[startup+522.301 s]
/proc/loadavg: 2.12 2.03 1.95 3/179 15097
/proc/meminfo: memFree=29867004/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=151976 CPUtime=522.31
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 38260 0 0 0 47418 4813 0 0 25 0 1 0 14521160 155623424 37049 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15082/statm: 37994 37049 237 467 0 37525 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 151976

[startup+582.301 s]
/proc/loadavg: 2.04 2.02 1.95 3/179 15099
/proc/meminfo: memFree=29867160/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=151284 CPUtime=582.3
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 39096 0 0 0 52921 5309 0 0 25 0 1 0 14521160 154914816 36908 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15082/statm: 37821 36908 237 467 0 37352 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 151284

[startup+642.301 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 15101
/proc/meminfo: memFree=29867232/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=151284 CPUtime=642.31
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 39096 0 0 0 58263 5968 0 0 25 0 1 0 14521160 154914816 36908 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15082/statm: 37821 36908 237 467 0 37352 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 151284

[startup+702.301 s]

################
# More data... #
################

[startup+822.3 s]
/proc/loadavg: 1.98 1.99 1.95 3/179 15133
/proc/meminfo: memFree=30036260/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=151284 CPUtime=822.31
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 39096 0 0 0 74618 7613 0 0 25 0 1 0 14521160 154914816 36908 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/15082/statm: 37821 36908 237 467 0 37352 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 151284

[startup+882.301 s]
/proc/loadavg: 1.99 1.99 1.95 3/179 15135
/proc/meminfo: memFree=30025624/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=155904 CPUtime=882.31
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 40246 0 0 0 79996 8235 0 0 25 0 1 0 14521160 159645696 38058 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/15082/statm: 38976 38058 237 467 0 38507 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 155904

[startup+942.3 s]
/proc/loadavg: 1.99 1.99 1.95 3/179 15137
/proc/meminfo: memFree=30018476/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=155904 CPUtime=942.31
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 40246 0 0 0 85457 8774 0 0 25 0 1 0 14521160 159645696 38058 4089446400 134512640 136422188 4289300160 18446744073709551615 134868869 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/15082/statm: 38976 38058 237 467 0 38507 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 155904

[startup+1002.3 s]
/proc/loadavg: 1.99 1.99 1.95 3/179 15138
/proc/meminfo: memFree=30005868/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=155904 CPUtime=1002.31
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 40247 0 0 0 90902 9329 0 0 25 0 1 0 14521160 159645696 38059 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/15082/statm: 38976 38059 237 467 0 38507 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 155904

[startup+1062.3 s]
/proc/loadavg: 2.06 2.00 1.95 3/179 15139
/proc/meminfo: memFree=30001464/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=157756 CPUtime=1062.32
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 40681 0 0 0 96527 9705 0 0 25 0 1 0 14521160 161542144 38493 4089446400 134512640 136422188 4289300160 18446744073709551615 134862312 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/15082/statm: 39439 38493 237 467 0 38970 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 157756

[startup+1122.3 s]
/proc/loadavg: 2.02 2.00 1.95 3/179 15141
/proc/meminfo: memFree=29993584/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=165544 CPUtime=1122.32
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 42649 0 0 0 102189 10043 0 0 25 0 1 0 14521160 169517056 40461 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/15082/statm: 41386 40461 237 467 0 40917 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 165544

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 15143
/proc/meminfo: memFree=29986332/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=166280 CPUtime=1182.32
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 42793 0 0 0 107793 10439 0 0 25 0 1 0 14521160 170270720 40605 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/15082/statm: 41570 40605 237 467 0 41101 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 166280

[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/179 15145
/proc/meminfo: memFree=29941496/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=202432 CPUtime=1242.31
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 51825 0 0 0 113486 10745 0 0 25 0 1 0 14521160 207290368 49637 4089446400 134512640 136422188 4289300160 18446744073709551615 134862627 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/15082/statm: 50608 49637 237 467 0 50139 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 202432

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/179 15146
/proc/meminfo: memFree=29935600/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=204196 CPUtime=1302.33
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 52605 0 0 0 119185 11048 0 0 25 0 1 0 14521160 209096704 50104 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/15082/statm: 51049 50104 237 467 0 50580 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 204196

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 15147
/proc/meminfo: memFree=29917684/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=204196 CPUtime=1362.33
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 52605 0 0 0 124844 11389 0 0 25 0 1 0 14521160 209096704 50104 4089446400 134512640 136422188 4289300160 18446744073709551615 134862338 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/15082/statm: 51049 50104 237 467 0 50580 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 204196

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 15158
/proc/meminfo: memFree=29916036/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=204196 CPUtime=1422.33
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 52605 0 0 0 130220 12013 0 0 25 0 1 0 14521160 209096704 50104 4089446400 134512640 136422188 4289300160 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/15082/statm: 51049 50104 237 467 0 50580 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 204196

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 15160
/proc/meminfo: memFree=29916116/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=204196 CPUtime=1482.33
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 52605 0 0 0 135622 12611 0 0 25 0 1 0 14521160 209096704 50104 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/15082/statm: 51049 50104 237 467 0 50580 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 204196

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 15162
/proc/meminfo: memFree=29916196/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=204196 CPUtime=1542.32
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 52606 0 0 0 140929 13303 0 0 25 0 1 0 14521160 209096704 50105 4089446400 134512640 136422188 4289300160 18446744073709551615 135685872 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/15082/statm: 51049 50105 237 467 0 50580 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 204196

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 15163
/proc/meminfo: memFree=29916132/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=204196 CPUtime=1602.32
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 52607 0 0 0 146476 13756 0 0 25 0 1 0 14521160 209096704 50106 4089446400 134512640 136422188 4289300160 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/15082/statm: 51049 50106 237 467 0 50580 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 204196

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 15164
/proc/meminfo: memFree=29913600/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=204196 CPUtime=1662.32
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 52609 0 0 0 151975 14257 0 0 25 0 1 0 14521160 209096704 50108 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/15082/statm: 51049 50108 237 467 0 50580 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 204196

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 15166
/proc/meminfo: memFree=29914416/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=204196 CPUtime=1722.33
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 52609 0 0 0 157377 14856 0 0 25 0 1 0 14521160 209096704 50108 4089446400 134512640 136422188 4289300160 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/15082/statm: 51049 50108 237 467 0 50580 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 204196

[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 1.96 3/179 15168
/proc/meminfo: memFree=29914360/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=204196 CPUtime=1782.33
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 52609 0 0 0 162773 15460 0 0 25 0 1 0 14521160 209096704 50108 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/15082/statm: 51049 50108 237 467 0 50580 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 204196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.03 2.01 1.96 3/179 15168
/proc/meminfo: memFree=29914476/32951124 swapFree=67111528/67111528
[pid=15082] ppid=15080 vsize=204196 CPUtime=1800.04
/proc/15082/stat : 15082 (pbct) R 15080 15082 14686 0 -1 4202496 52609 0 0 0 164381 15623 0 0 25 0 1 0 14521160 209096704 50108 4089446400 134512640 136422188 4289300160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/15082/statm: 51049 50108 237 467 0 50580 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 204196

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.02
CPU time (s): 1800.06
CPU user time (s): 1643.81
CPU system time (s): 156.243
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 205468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1643.81
system time used= 156.243
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52610
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= 1
involuntary context switches= 3617

runsolver used 2.47162 second user time and 5.74513 second system time

The end

Begin job on node144 at 2010-07-07 02:38:02
IDJOB=2699238
IDBENCH=79153
IDSOLVER=1212
FILE ID=node144/2699238-1278463082
PBS_JOBID= 11233705
Free space on /tmp= 73948 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699238-1278463082/watcher-2699238-1278463082 -o /tmp/evaluation-result-2699238-1278463082/solver-2699238-1278463082 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2699238-1278463082.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 32809f4710e615fcaa140bf3e08c6c73
RANDOM SEED=1925261566

node144.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5269.01
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30016272 kB
Buffers:        114772 kB
Cached:        2356248 kB
SwapCached:          0 kB
Active:         754548 kB
Inactive:      2034112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30016272 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1992 kB
Writeback:           0 kB
AnonPages:      317844 kB
Mapped:          15440 kB
Slab:            83352 kB
PageTables:       5284 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   468152 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73948 MiB
End job on node144 at 2010-07-07 03:08:04