0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4509478-1751521141.opb
0.12/0.13	c reading problem ... 
0.12/0.14	c  objective function found
0.32/0.30	c ... done. Wall clock time 0.166s.
0.32/0.31	c declared #vars     10432
0.51/0.31	c #constraints  716
0.51/0.31	c constraints type 
0.51/0.31	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 325
0.51/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 66
0.51/0.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 325
0.51/0.31	c 716 constraints processed.
0.51/0.32	c objective function length is 32 literals
0.89/0.55	c SATISFIABLE
0.89/0.55	c OPTIMIZING...
0.89/0.55	c Got one! Elapsed wall clock time (in seconds):0.419
0.89/0.55	o 32
2.26/1.23	c Got one! Elapsed wall clock time (in seconds):1.101
2.26/1.23	o 31
2.65/1.43	c cleaning 2846 clauses out of 5695 with flag 6597/5695
3.65/2.07	c cleaning 4415 clauses out of 8850 with flag 36485/11696
4.74/3.05	c cleaning 5702 clauses out of 11434 with flag 75242/18695
6.03/4.23	c cleaning 6856 clauses out of 13733 with flag 117211/26696
7.39/5.58	c cleaning 7920 clauses out of 15876 with flag 167365/35695
8.58/6.79	c cleaning 8964 clauses out of 17956 with flag 218553/45695
10.21/8.31	c cleaning 9975 clauses out of 19992 with flag 277428/56695
11.92/10.07	c cleaning 10992 clauses out of 22017 with flag 340844/68695
14.27/12.31	c cleaning 11998 clauses out of 24027 with flag 412367/81697
16.83/14.88	c cleaning 12997 clauses out of 26027 with flag 488039/95695
19.82/17.81	c cleaning 14000 clauses out of 28032 with flag 571832/110697
23.17/21.14	c cleaning 15002 clauses out of 30031 with flag 659452/126696
26.53/24.45	c cleaning 16002 clauses out of 32030 with flag 757124/143697
29.90/27.70	c cleaning 16997 clauses out of 34027 with flag 852070/161696
33.80/31.69	c cleaning 17999 clauses out of 36031 with flag 956034/180697
38.14/35.96	c cleaning 18998 clauses out of 38030 with flag 1060022/200695
41.67/39.47	c cleaning 20001 clauses out of 40032 with flag 1175037/221695
45.42/43.10	c cleaning 21001 clauses out of 42033 with flag 1292091/243697
50.35/48.10	c cleaning 21992 clauses out of 44030 with flag 1427643/266695
55.57/53.29	c cleaning 23004 clauses out of 46039 with flag 1566088/290696
60.39/58.03	c cleaning 23998 clauses out of 48034 with flag 1711117/315695
65.92/63.59	c cleaning 25002 clauses out of 50038 with flag 1855215/341697
71.79/69.34	c cleaning 25993 clauses out of 52035 with flag 2013735/368696
78.33/75.69	c cleaning 27001 clauses out of 54041 with flag 2171176/396695
85.67/82.94	c cleaning 28007 clauses out of 56041 with flag 2335569/425696
93.74/90.96	c cleaning 28999 clauses out of 58033 with flag 2504860/455695
100.89/98.09	c cleaning 29995 clauses out of 60034 with flag 2686075/486695
107.95/105.01	c cleaning 30999 clauses out of 62040 with flag 2871782/518696
115.72/112.87	c cleaning 32001 clauses out of 64041 with flag 3053272/551696
123.27/120.38	c cleaning 33003 clauses out of 66041 with flag 3236337/585697
132.24/129.25	c cleaning 33999 clauses out of 68037 with flag 3434886/620696
141.72/138.71	c cleaning 34998 clauses out of 70037 with flag 3645395/656695
151.37/148.35	c cleaning 36003 clauses out of 72040 with flag 3850498/693696
161.59/158.27	c cleaning 37001 clauses out of 74036 with flag 4070840/731695
170.37/167.00	c cleaning 37998 clauses out of 76035 with flag 4282743/770695
180.32/176.97	c cleaning 39001 clauses out of 78039 with flag 4511824/810697
192.54/189.01	c cleaning 40001 clauses out of 80036 with flag 4753682/851695
203.71/200.23	c cleaning 40993 clauses out of 82036 with flag 5001955/893696
214.38/210.96	c cleaning 42002 clauses out of 84042 with flag 5250313/936695
220.17/216.75	c cleaning 43009 clauses out of 86040 with flag 5437803/980695
222.94/219.40	c Got one! Elapsed wall clock time (in seconds):219.267
222.94/219.40	o 30
223.35/219.81	c cleaning 35492 clauses out of 71017 with flag 16450/1008681
223.75/220.23	c cleaning 20750 clauses out of 41526 with flag 36890/1014682
224.25/220.74	c cleaning 13871 clauses out of 27776 with flag 63484/1021682
224.95/221.43	c cleaning 10925 clauses out of 21904 with flag 98490/1029681
225.74/222.23	c cleaning 9968 clauses out of 19979 with flag 138324/1038681
226.66/223.12	c cleaning 9986 clauses out of 20011 with flag 178673/1048681
227.65/224.12	c cleaning 10499 clauses out of 21025 with flag 216651/1059681
228.85/225.32	c cleaning 11247 clauses out of 22526 with flag 260732/1071681
230.44/226.94	c cleaning 12127 clauses out of 24279 with flag 315078/1084681
232.14/228.66	c cleaning 13061 clauses out of 26153 with flag 373346/1098682
233.87/230.33	c cleaning 14024 clauses out of 28092 with flag 434402/1113682
235.76/232.21	c cleaning 15023 clauses out of 30068 with flag 502545/1129682
237.76/234.22	c cleaning 16008 clauses out of 32045 with flag 579295/1146682
240.05/236.50	c cleaning 17008 clauses out of 34036 with flag 660517/1164681
242.35/238.88	c cleaning 17997 clauses out of 36031 with flag 750435/1183684
244.84/241.37	c cleaning 19003 clauses out of 38036 with flag 836983/1203686
247.54/244.02	c cleaning 19999 clauses out of 40028 with flag 932989/1224681
250.53/247.08	c cleaning 20995 clauses out of 42029 with flag 1033893/1246681
253.66/250.10	c cleaning 22001 clauses out of 44035 with flag 1137270/1269682
255.85/252.32	c cleaning 23007 clauses out of 46034 with flag 1233929/1293682
258.85/255.32	c cleaning 23992 clauses out of 48026 with flag 1344045/1318681
261.84/258.32	c cleaning 25000 clauses out of 50034 with flag 1457150/1344681
265.33/261.81	c cleaning 25999 clauses out of 52034 with flag 1580873/1371681
268.82/265.31	c cleaning 27000 clauses out of 54037 with flag 1727759/1399683
272.91/269.46	c cleaning 28002 clauses out of 56035 with flag 1888190/1428681
276.40/272.98	c cleaning 29004 clauses out of 58033 with flag 2028435/1458681
280.49/277.09	c cleaning 30000 clauses out of 60030 with flag 2160760/1489682
285.27/281.68	c cleaning 31002 clauses out of 62033 with flag 2292326/1521685
289.86/286.24	c cleaning 31996 clauses out of 64027 with flag 2450416/1554681
294.45/290.84	c cleaning 32994 clauses out of 66031 with flag 2598923/1588681
299.54/295.97	c cleaning 34002 clauses out of 68038 with flag 2764375/1623682
305.13/301.30	c cleaning 34998 clauses out of 70038 with flag 2945789/1659684
310.22/306.43	c cleaning 35993 clauses out of 72037 with flag 3130929/1696681
316.19/311.99	c cleaning 37001 clauses out of 74044 with flag 3333898/1734681
321.79/317.52	c cleaning 37997 clauses out of 76043 with flag 3523897/1773681
328.61/324.28	c cleaning 38995 clauses out of 78046 with flag 3738082/1813681
335.19/330.82	c cleaning 40008 clauses out of 80051 with flag 3961678/1854681
343.68/339.14	c cleaning 40998 clauses out of 82044 with flag 4198870/1896682
352.66/348.14	c cleaning 41999 clauses out of 84045 with flag 4437189/1939681
360.42/355.78	c cleaning 43007 clauses out of 86047 with flag 4685220/1983682
368.20/363.54	c cleaning 44003 clauses out of 88039 with flag 4915234/2028681
378.08/373.38	c cleaning 44997 clauses out of 90036 with flag 5157703/2074681
388.35/383.05	c cleaning 46006 clauses out of 92039 with flag 5441866/2121681
398.24/392.89	c cleaning 46995 clauses out of 94035 with flag 5715998/2169683
408.15/402.61	c cleaning 47996 clauses out of 96038 with flag 6002300/2218681
416.92/411.42	c cleaning 48997 clauses out of 98042 with flag 6246195/2268681
428.15/422.69	c cleaning 50002 clauses out of 100046 with flag 6506952/2319682
438.61/432.91	c cleaning 51001 clauses out of 102044 with flag 6767797/2371682
449.75/444.03	c cleaning 52000 clauses out of 104043 with flag 7037378/2424682
462.13/456.31	c cleaning 52998 clauses out of 106043 with flag 7319071/2478682
473.52/467.61	c cleaning 54001 clauses out of 108045 with flag 7608264/2533682
488.58/482.30	c cleaning 54993 clauses out of 110043 with flag 7910822/2589681
502.21/495.87	c cleaning 56008 clauses out of 112051 with flag 8214717/2646682
515.32/508.83	c cleaning 56994 clauses out of 114042 with flag 8504144/2704681
527.13/520.56	c cleaning 57999 clauses out of 116048 with flag 8790231/2763681
540.45/533.75	c cleaning 59004 clauses out of 118051 with flag 9117562/2823683
553.83/547.13	c cleaning 60005 clauses out of 120045 with flag 9422072/2884681
567.76/561.02	c cleaning 60991 clauses out of 122040 with flag 9760219/2946681
580.39/573.65	c cleaning 62002 clauses out of 124050 with flag 10109073/3009682
595.51/588.68	c cleaning 63005 clauses out of 126047 with flag 10459685/3073681
610.75/603.30	c cleaning 64000 clauses out of 128043 with flag 10816827/3138682
629.00/621.48	c cleaning 64999 clauses out of 130042 with flag 11208987/3204681
645.04/637.38	c cleaning 65997 clauses out of 132044 with flag 11581147/3271682
662.46/654.62	c cleaning 67008 clauses out of 134048 with flag 11992795/3339683
680.06/672.10	c cleaning 67995 clauses out of 136038 with flag 12378432/3408681
698.35/690.35	c cleaning 69005 clauses out of 138045 with flag 12800921/3478683
714.98/706.81	c cleaning 69997 clauses out of 140038 with flag 13219951/3549681
731.69/723.40	c cleaning 71006 clauses out of 142042 with flag 13596544/3621682
741.84/733.11	c cleaning 72009 clauses out of 144036 with flag 13900835/3694682
752.23/743.57	c cleaning 73000 clauses out of 146026 with flag 14240741/3768681
762.60/753.73	c cleaning 73998 clauses out of 148026 with flag 14561908/3843681
769.18/760.35	c cleaning 74996 clauses out of 150028 with flag 14797851/3919681
776.03/767.14	c cleaning 75999 clauses out of 152032 with flag 15027376/3996681
784.93/775.97	c cleaning 77002 clauses out of 154033 with flag 15274914/4074681
792.91/783.98	c cleaning 77995 clauses out of 156032 with flag 15522038/4153682
800.30/791.17	c cleaning 79010 clauses out of 158038 with flag 15784061/4233683
810.25/800.95	c cleaning 79998 clauses out of 160026 with flag 16036770/4314681
820.22/810.98	c cleaning 81000 clauses out of 162028 with flag 16285427/4396681
831.35/821.98	c cleaning 82002 clauses out of 164028 with flag 16534910/4479681
843.82/834.27	c cleaning 82999 clauses out of 166026 with flag 16807730/4563681
857.59/847.87	c cleaning 84000 clauses out of 168027 with flag 17094906/4648681
870.46/860.78	c cleaning 84996 clauses out of 170028 with flag 17379726/4734682
882.48/872.65	c cleaning 86001 clauses out of 172032 with flag 17659637/4821682
896.30/886.35	c cleaning 86998 clauses out of 174030 with flag 17921571/4909681
907.94/897.54	c cleaning 87996 clauses out of 176032 with flag 18222565/4998681
920.80/910.33	c cleaning 89007 clauses out of 178037 with flag 18517243/5088682
935.27/924.83	c cleaning 90003 clauses out of 180030 with flag 18817118/5179682
949.00/938.45	c cleaning 91003 clauses out of 182026 with flag 19133393/5271681
959.09/948.40	c cleaning 91996 clauses out of 184023 with flag 19336786/5364681
960.39/949.78	c Got one! Elapsed wall clock time (in seconds):949.647
960.39/949.78	o 29
961.25/950.22	c starts		: 104
961.25/950.22	c conflicts		: 5390159
961.25/950.22	c decisions		: 6290486
961.25/950.22	c propagations		: 278481947
961.25/950.22	c inspects		: 6463820112
961.25/950.23	c shortcuts		: 0
961.25/950.23	c learnt literals	: 29
961.25/950.23	c learnt binary clauses	: 115
961.25/950.23	c learnt ternary clauses	: 95
961.25/950.23	c learnt constraints	: 5390129
961.25/950.23	c ignored constraints	: 0
961.25/950.23	c root simplifications	: 0
961.25/950.23	c removed literals (reason simplification)	: 3068639
961.25/950.23	c reason swapping (by a shorter reason)	: 0
961.25/950.23	c Calls to reduceDB	: 129
961.25/950.23	c Number of update (reduction) of LBD	: 1098231
961.25/950.23	c Imported unit clauses	: 0
961.25/950.23	c No decision after first conflict	: false
961.25/950.23	c number of reductions to clauses (during analyze)	: 0
961.25/950.23	c number of learned constraints concerned by reduction	: 0
961.25/950.23	c number of learning phase by resolution	: 0
961.25/950.23	c number of learning phase by cutting planes	: 0
961.25/950.23	c number of rounding to 1 operations	: 0
961.25/950.23	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
961.25/950.23	c number of reductions of the coefficients by power 2 	: 0
961.25/950.23	c number of right shift for reduction by power 2 	: 0
961.25/950.23	c number of reductions of the coefficients by GCD over coefficients 	: 0
961.25/950.23	c number of ending skipping 	: 0
961.25/950.23	c number of internal skipping 	: 0
961.25/950.23	c number of derivation steps 	: 0
961.25/950.23	c number of skipped derivation steps 	: 0
961.25/950.23	c number of remaining unassigned 	: 0
961.25/950.23	c number of remaining assigned 	: 0
961.25/950.23	c number of falsified literals weakened from reason	: 0
961.25/950.23	c number of falsified literals weakened from conflict	: 0
961.25/950.23	c time for arithmetic operations	: 0
961.25/950.24	c minimum degree of deleted constraints	: null
961.25/950.24	c maximum degree of deleted constraints	: null
961.25/950.24	c number of deleted constraints	: 0
961.25/950.24	c speed (assignments/second)	: 293167.59114313294
961.25/950.24	c non guided choices	: 155563
961.25/950.24	s OPTIMUM FOUND
961.25/950.24	c Found 4 solution(s)
961.25/950.24	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 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 x6109 -x6110 -x6111 -x6112 x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 x6377 x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 x6440 -x6441 x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 x6668 -x6669 -x6670 x6671 -x6672 -x6673 -x6674 x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 x7172 x7173 -x7174 -x7175 x7176 -x7177 -x7178 -x7179 -x7180 -x7181 x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 x7451 x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 x7567 -x7568 -x7569 -x7570 x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 x7772 x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 x7792 -x7793 -x7794 -x7795 -x7796 -x7797 x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 x8109 -x8110 -x8111 -x8112 -x8113 -x8114 x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 x8895 -x8896 -x8897 x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 x9143 x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 x9490 -x9491 -x9492 x9493 -x9494 -x9495 -x9496 -x9497 -x9498 x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 x9645 -x9646 x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 x9669 -x9670 -x9671 -x9672 -x9673 -x9674 x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 x9895 -x9896 -x9897 -x9898 -x9899 x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 
961.25/950.25	c objective function=29
961.25/950.25	c Total wall clock time (in seconds): 950.113

OK	29

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (55645 MiB free)
  memory of node 1: 64465 MiB (54973 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509478-1751521141/watcher-4509478-1751521141 -o /tmp/evaluation-result-4509478-1751521141/solver-4509478-1751521141 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751521141-72933 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4509478-1751521141.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=72989, runsolver pid=72973

[startup+0.10006 s]*
/proc/loadavg: 2.83 3.80 3.99 8/333 73058
/proc/meminfo: memFree=113193480/131249996 swapFree=33010160/33010684
[pid=72989] ppid=72973 vsize=18930384 memory=57648 CPUtime=0.12 cores=5,7
/proc/72989/stat : 72989 (java) S 72973 72989 72920 0 -1 4194304 6562 0 0 0 11 1 0 0 20 0 18 0 67792750 19384713216 14412 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
/proc/72989/statm: 4732596 14412 5327 1 0 547603 0
[pid=72989/tid=73009] ppid=72973 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/72989/task/73009/stat : 73009 (java) R 72973 72989 72920 0 -1 4194368 5057 0 0 0 6 1 0 0 20 0 18 0 67792752 19384713216 14412 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73051] ppid=72973 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/72989/task/73051/stat : 73051 (Finalizer) S 72973 72989 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67792754 19384713216 14412 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73058] ppid=72973 vsize=18930384 memory=61784027576291 CPUtime=0 cores=5,7
/proc/72989/task/73058/stat : 73058 (Common-Cleaner) S 72973 72989 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67792754 19384713216 14412 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57648 KiB

[startup+0.205759 s]*
/proc/loadavg: 2.83 3.80 3.99 9/333 73058
/proc/meminfo: memFree=113150768/131249996 swapFree=33010160/33010684
[pid=72989] ppid=72973 vsize=18930384 memory=70212 CPUtime=0.32 cores=5,7
/proc/72989/stat : 72989 (java) S 72973 72989 72920 0 -1 4194304 7044 0 0 0 30 2 0 0 20 0 18 0 67792750 19384713216 17553 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
/proc/72989/statm: 4732596 17553 5423 1 0 547944 0
[pid=72989/tid=73009] ppid=72973 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=5,7
/proc/72989/task/73009/stat : 73009 (java) R 72973 72989 72920 0 -1 4194368 5253 0 0 0 15 2 0 0 20 0 18 0 67792752 19384713216 17553 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73051] ppid=72973 vsize=18930384 memory=13937 CPUtime=0 cores=5,7
/proc/72989/task/73051/stat : 73051 (Finalizer) S 72973 72989 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67792754 19384713216 17553 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73058] ppid=72973 vsize=18930384 memory=60684515935208 CPUtime=0 cores=5,7
/proc/72989/task/73058/stat : 73058 (Common-Cleaner) S 72973 72989 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67792754 19384713216 17553 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 70212 KiB

[startup+0.305774 s]*
/proc/loadavg: 2.83 3.80 3.99 11/335 73060
/proc/meminfo: memFree=113021780/131249996 swapFree=33010160/33010684
[pid=72989] ppid=72973 vsize=18930384 memory=119884 CPUtime=0.51 cores=5,7
/proc/72989/stat : 72989 (java) S 72973 72989 72920 0 -1 4194304 8838 0 0 0 48 3 0 0 20 0 18 0 67792750 19384713216 29971 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
/proc/72989/statm: 4732596 29971 5423 1 0 549068 0
[pid=72989/tid=73009] ppid=72973 vsize=18930384 memory=-6000919494147533416 CPUtime=0.24 cores=5,7
/proc/72989/task/73009/stat : 73009 (java) R 72973 72989 72920 0 -1 4194368 5312 0 0 0 21 3 0 0 20 0 18 0 67792752 19384713216 29971 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73051] ppid=72973 vsize=18930384 memory=7152406248990280302 CPUtime=0 cores=5,7
/proc/72989/task/73051/stat : 73051 (Finalizer) S 72973 72989 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67792754 19384713216 29971 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73058] ppid=72973 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/72989/task/73058/stat : 73058 (Common-Cleaner) S 72973 72989 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67792754 19384713216 29971 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 119884 KiB

[startup+0.700241 s]
/proc/loadavg: 2.83 3.80 3.99 9/337 73062
/proc/meminfo: memFree=112974160/131249996 swapFree=33010160/33010684
[pid=72989] ppid=72973 vsize=18996948 memory=147976 CPUtime=1.27 cores=5,7
/proc/72989/stat : 72989 (java) S 72973 72989 72920 0 -1 4194304 14788 0 0 0 123 4 0 0 20 0 19 0 67792750 19452874752 36994 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
/proc/72989/statm: 4749237 36994 5487 1 0 553754 0
[pid=72989/tid=73009] ppid=72973 vsize=18996948 memory=18432 CPUtime=0.58 cores=5,7
/proc/72989/task/73009/stat : 73009 (java) R 72973 72989 72920 0 -1 4194368 5414 0 0 0 55 3 0 0 20 0 19 0 67792752 19452874752 36994 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73051] ppid=72973 vsize=18996948 memory=11136 CPUtime=0 cores=5,7
/proc/72989/task/73051/stat : 73051 (Finalizer) S 72973 72989 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67792754 19452874752 36994 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73058] ppid=72973 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/72989/task/73058/stat : 73058 (Common-Cleaner) S 72973 72989 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 67792754 19452874752 36994 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73062] ppid=72973 vsize=18996948 memory=4496 CPUtime=0 cores=5,7
/proc/72989/task/73062/stat : 73062 (Timer-0) S 72973 72989 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 67792784 19452874752 36994 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 147976 KiB

[startup+1.5002 s]
/proc/loadavg: 2.83 3.80 3.99 8/337 73062
/proc/meminfo: memFree=112902576/131249996 swapFree=33010160/33010684
[pid=72989] ppid=72973 vsize=19063512 memory=207652 CPUtime=2.82 cores=5,7
/proc/72989/stat : 72989 (java) S 72973 72989 72920 0 -1 4194304 19905 0 0 0 276 6 0 0 20 0 20 0 67792750 19521036288 51913 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
/proc/72989/statm: 4765878 51913 5519 1 0 554337 0
[pid=72989/tid=73009] ppid=72973 vsize=19063512 memory=0 CPUtime=1.33 cores=5,7
/proc/72989/task/73009/stat : 73009 (java) R 72973 72989 72920 0 -1 4194368 6390 0 0 0 129 4 0 0 20 0 20 0 67792752 19521036288 51913 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73051] ppid=72973 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/72989/task/73051/stat : 73051 (Finalizer) S 72973 72989 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 51913 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73058] ppid=72973 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/72989/task/73058/stat : 73058 (Common-Cleaner) S 72973 72989 72920 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 51913 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73062] ppid=72973 vsize=19063512 memory=4496 CPUtime=0 cores=5,7
/proc/72989/task/73062/stat : 73062 (Timer-0) S 72973 72989 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792784 19521036288 51913 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 207652 KiB

[startup+3.1055 s]
/proc/loadavg: 2.83 3.80 3.99 8/341 73066
/proc/meminfo: memFree=112563856/131249996 swapFree=33010160/33010684
[pid=72989] ppid=72973 vsize=19063512 memory=208036 CPUtime=4.92 cores=5,7
/proc/72989/stat : 72989 (java) S 72973 72989 72920 0 -1 4194304 21544 0 0 0 486 6 0 0 20 0 20 0 67792750 19521036288 52009 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
/proc/72989/statm: 4765878 52009 5551 1 0 554340 0
[pid=72989/tid=73009] ppid=72973 vsize=19063512 memory=11136 CPUtime=2.91 cores=5,7
/proc/72989/task/73009/stat : 73009 (java) R 72973 72989 72920 0 -1 4194368 6713 0 0 0 287 4 0 0 20 0 20 0 67792752 19521036288 52009 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73051] ppid=72973 vsize=19063512 memory=-6000919494147533416 CPUtime=0 cores=5,7
/proc/72989/task/73051/stat : 73051 (Finalizer) S 72973 72989 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 52009 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73058] ppid=72973 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/72989/task/73058/stat : 73058 (Common-Cleaner) S 72973 72989 72920 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 52009 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73062] ppid=72973 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/72989/task/73062/stat : 73062 (Timer-0) S 72973 72989 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792784 19521036288 52009 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
Current children cumulated CPU time: 4.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 208036 KiB

[startup+6.30019 s]
/proc/loadavg: 3.00 3.82 4.00 5/341 73066
/proc/meminfo: memFree=112404344/131249996 swapFree=33010160/33010684
[pid=72989] ppid=72973 vsize=19063512 memory=228888 CPUtime=8.19 cores=5,7
/proc/72989/stat : 72989 (java) S 72973 72989 72920 0 -1 4194304 22967 0 0 0 812 7 0 0 20 0 20 0 67792750 19521036288 57222 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
/proc/72989/statm: 4765878 57222 5551 1 0 554341 0
[pid=72989/tid=73009] ppid=72973 vsize=19063512 memory=0 CPUtime=6.04 cores=5,7
/proc/72989/task/73009/stat : 73009 (java) R 72973 72989 72920 0 -1 4194368 6754 0 0 0 600 4 0 0 20 0 20 0 67792752 19521036288 57222 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73051] ppid=72973 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/72989/task/73051/stat : 73051 (Finalizer) S 72973 72989 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 57222 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73058] ppid=72973 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/72989/task/73058/stat : 73058 (Common-Cleaner) S 72973 72989 72920 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 57222 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73062] ppid=72973 vsize=19063512 memory=207652 CPUtime=0 cores=5,7
/proc/72989/task/73062/stat : 73062 (Timer-0) S 72973 72989 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792784 19521036288 57222 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
Current children cumulated CPU time: 8.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 228888 KiB

[startup+12.7002 s]
/proc/loadavg: 3.16 3.84 4.00 5/341 73066
/proc/meminfo: memFree=111994264/131249996 swapFree=33010160/33010684
[pid=72989] ppid=72973 vsize=19063512 memory=349780 CPUtime=14.67 cores=5,7
/proc/72989/stat : 72989 (java) S 72973 72989 72920 0 -1 4194304 25945 0 0 0 1457 10 0 0 20 0 20 0 67792750 19521036288 87445 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
/proc/72989/statm: 4765878 87445 5551 1 0 554341 0
[pid=72989/tid=73009] ppid=72973 vsize=19063512 memory=207652 CPUtime=12.31 cores=5,7
/proc/72989/task/73009/stat : 73009 (java) R 72973 72989 72920 0 -1 4194368 7821 0 0 0 1227 4 0 0 20 0 20 0 67792752 19521036288 87445 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73051] ppid=72973 vsize=19063512 memory=349780 CPUtime=0 cores=5,7
/proc/72989/task/73051/stat : 73051 (Finalizer) S 72973 72989 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 87445 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73058] ppid=72973 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/72989/task/73058/stat : 73058 (Common-Cleaner) S 72973 72989 72920 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 87445 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73062] ppid=72973 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/72989/task/73062/stat : 73062 (Timer-0) S 72973 72989 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792784 19521036288 87445 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
Current children cumulated CPU time: 14.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 349780 KiB

[startup+25.5002 s]
/proc/loadavg: 3.35 3.85 4.00 5/340 73066
/proc/meminfo: memFree=110953824/131249996 swapFree=33010160/33010684
[pid=72989] ppid=72973 vsize=19063512 memory=540388 CPUtime=27.66 cores=5,7
/proc/72989/stat : 72989 (java) S 72973 72989 72920 0 -1 4194304 30073 0 0 0 2752 14 0 0 20 0 20 0 67792750 19521036288 135097 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
/proc/72989/statm: 4765878 135097 5551 1 0 554341 0
[pid=72989/tid=73009] ppid=72973 vsize=19063512 memory=0 CPUtime=24.91 cores=5,7
/proc/72989/task/73009/stat : 73009 (java) R 72973 72989 72920 0 -1 4194368 8635 0 0 0 2487 4 0 0 20 0 20 0 67792752 19521036288 135097 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73051] ppid=72973 vsize=19063512 memory=349780 CPUtime=0 cores=5,7
/proc/72989/task/73051/stat : 73051 (Finalizer) S 72973 72989 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 135097 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73058] ppid=72973 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/72989/task/73058/stat : 73058 (Common-Cleaner) S 72973 72989 72920 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 135097 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73062] ppid=72973 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/72989/task/73062/stat : 73062 (Timer-0) S 72973 72989 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792784 19521036288 135097 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
Current children cumulated CPU time: 27.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 540388 KiB

[startup+51.1057 s]
/proc/loadavg: 3.65 3.88 4.01 5/340 73134
/proc/meminfo: memFree=109463356/131249996 swapFree=33010160/33010684
[pid=72989] ppid=72973 vsize=19063512 memory=872252 CPUtime=53.48 cores=5,7
/proc/72989/stat : 72989 (java) S 72973 72989 72920 0 -1 4194304 31086 0 0 0 5327 21 0 0 20 0 20 0 67792750 19521036288 218063 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
/proc/72989/statm: 4765878 218063 5551 1 0 554341 0
[pid=72989/tid=73009] ppid=72973 vsize=19063512 memory=821044 CPUtime=50.13 cores=5,7
/proc/72989/task/73009/stat : 73009 (java) R 72973 72989 72920 0 -1 4194368 8712 0 0 0 5009 4 0 0 20 0 20 0 67792752 19521036288 218063 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73051] ppid=72973 vsize=19063512 memory=821044 CPUtime=0 cores=5,7
/proc/72989/task/73051/stat : 73051 (Finalizer) S 72973 72989 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 218063 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0

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

/proc/72989/task/73062/stat : 73062 (Timer-0) S 72973 72989 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792784 19521036288 841603 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
Current children cumulated CPU time: 771.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3366412 KiB

[startup+822.3 s]
/proc/loadavg: 4.29 4.24 4.13 6/342 73240
/proc/meminfo: memFree=89692276/131249996 swapFree=33010160/33010684
[pid=72989] ppid=72973 vsize=19063512 memory=3407392 CPUtime=831.75 cores=5,7
/proc/72989/stat : 72989 (java) S 72973 72989 72920 0 -1 4194304 72701 0 0 0 83083 92 0 0 20 0 20 0 67792750 19521036288 851848 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
/proc/72989/statm: 4765878 851848 5551 1 0 911900 0
[pid=72989/tid=73009] ppid=72973 vsize=19063512 memory=3366412 CPUtime=811.71 cores=5,7
/proc/72989/task/73009/stat : 73009 (java) R 72973 72989 72920 0 -1 4194368 25968 0 0 0 81139 32 0 0 20 0 20 0 67792752 19521036288 851848 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73051] ppid=72973 vsize=19063512 memory=3407392 CPUtime=0 cores=5,7
/proc/72989/task/73051/stat : 73051 (Finalizer) S 72973 72989 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 851848 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73058] ppid=72973 vsize=19063512 memory=3407392 CPUtime=0 cores=5,7
/proc/72989/task/73058/stat : 73058 (Common-Cleaner) S 72973 72989 72920 0 -1 4194368 369 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 851848 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73062] ppid=72973 vsize=19063512 memory=16580 CPUtime=0 cores=5,7
/proc/72989/task/73062/stat : 73062 (Timer-0) S 72973 72989 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792784 19521036288 851848 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
Current children cumulated CPU time: 831.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3407392 KiB

[startup+882.3 s]
/proc/loadavg: 4.25 4.24 4.13 5/342 73242
/proc/meminfo: memFree=89413544/131249996 swapFree=33010160/33010684
[pid=72989] ppid=72973 vsize=19063512 memory=3424292 CPUtime=892.31 cores=5,7
/proc/72989/stat : 72989 (java) S 72973 72989 72920 0 -1 4194304 73262 0 0 0 89137 94 0 0 20 0 20 0 67792750 19521036288 856073 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
/proc/72989/statm: 4765878 856073 5551 1 0 911900 0
[pid=72989/tid=73009] ppid=72973 vsize=19063512 memory=3366412 CPUtime=870.85 cores=5,7
/proc/72989/task/73009/stat : 73009 (java) R 72973 72989 72920 0 -1 4194368 25980 0 0 0 87053 32 0 0 20 0 20 0 67792752 19521036288 856073 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73051] ppid=72973 vsize=19063512 memory=16580 CPUtime=0 cores=5,7
/proc/72989/task/73051/stat : 73051 (Finalizer) S 72973 72989 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 856073 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73058] ppid=72973 vsize=19063512 memory=2764 CPUtime=0 cores=5,7
/proc/72989/task/73058/stat : 73058 (Common-Cleaner) S 72973 72989 72920 0 -1 4194368 383 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 856073 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73062] ppid=72973 vsize=19063512 memory=3423908 CPUtime=0 cores=5,7
/proc/72989/task/73062/stat : 73062 (Timer-0) S 72973 72989 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792784 19521036288 856073 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
Current children cumulated CPU time: 892.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3424292 KiB

[startup+942.3 s]
/proc/loadavg: 4.30 4.25 4.14 5/340 73246
/proc/meminfo: memFree=87971276/131249996 swapFree=33010160/33010684
[pid=72989] ppid=72973 vsize=19063512 memory=3457952 CPUtime=952.89 cores=5,7
/proc/72989/stat : 72989 (java) S 72973 72989 72920 0 -1 4194304 75002 0 0 0 95193 96 0 0 20 0 20 0 67792750 19521036288 864488 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
/proc/72989/statm: 4765878 864488 5551 1 0 918167 0
[pid=72989/tid=73009] ppid=72973 vsize=19063512 memory=3449676 CPUtime=930.33 cores=5,7
/proc/72989/task/73009/stat : 73009 (java) R 72973 72989 72920 0 -1 4194368 26599 0 0 0 93001 32 0 0 20 0 20 0 67792752 19521036288 864488 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73051] ppid=72973 vsize=19063512 memory=3457952 CPUtime=0 cores=5,7
/proc/72989/task/73051/stat : 73051 (Finalizer) S 72973 72989 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 864488 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73058] ppid=72973 vsize=19063512 memory=16580 CPUtime=0 cores=5,7
/proc/72989/task/73058/stat : 73058 (Common-Cleaner) S 72973 72989 72920 0 -1 4194368 383 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 864488 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73062] ppid=72973 vsize=19063512 memory=3457952 CPUtime=0 cores=5,7
/proc/72989/task/73062/stat : 73062 (Timer-0) S 72973 72989 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792784 19521036288 864488 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
Current children cumulated CPU time: 952.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3457952 KiB

[startup+950.279 s]
# the end of solver process 72989 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=960.368 s, system=0.98626 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+947.2 s]
/proc/loadavg: 4.28 4.25 4.14 5/340 73246
/proc/meminfo: memFree=87971528/131249996 swapFree=33010160/33010684
[pid=72989] ppid=72973 vsize=19063512 memory=3457952 CPUtime=957.9 cores=5,7
/proc/72989/stat : 72989 (java) S 72973 72989 72920 0 -1 4194304 75235 0 0 0 95694 96 0 0 20 0 20 0 67792750 19521036288 864488 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
/proc/72989/statm: 4765878 864488 5551 1 0 918167 0
[pid=72989/tid=73009] ppid=72973 vsize=19063512 memory=3424292 CPUtime=935.09 cores=5,7
/proc/72989/task/73009/stat : 73009 (java) R 72973 72989 72920 0 -1 4194368 26636 0 0 0 93477 32 0 0 20 0 20 0 67792752 19521036288 864488 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73051] ppid=72973 vsize=19063512 memory=3449676 CPUtime=0 cores=5,7
/proc/72989/task/73051/stat : 73051 (Finalizer) S 72973 72989 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 864488 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73058] ppid=72973 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/72989/task/73058/stat : 73058 (Common-Cleaner) S 72973 72989 72920 0 -1 4194368 383 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 864488 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73062] ppid=72973 vsize=19063512 memory=3457952 CPUtime=0 cores=5,7
/proc/72989/task/73062/stat : 73062 (Timer-0) S 72973 72989 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792784 19521036288 864488 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
Current children cumulated CPU time: 957.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3457952 KiB

[startup+948.8 s]
/proc/loadavg: 4.28 4.25 4.14 5/340 73246
/proc/meminfo: memFree=87971528/131249996 swapFree=33010160/33010684
[pid=72989] ppid=72973 vsize=19063512 memory=3457952 CPUtime=959.49 cores=5,7
/proc/72989/stat : 72989 (java) S 72973 72989 72920 0 -1 4194304 75241 0 0 0 95853 96 0 0 20 0 20 0 67792750 19521036288 864488 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
/proc/72989/statm: 4765878 864488 5551 1 0 918167 0
[pid=72989/tid=73009] ppid=72973 vsize=19063512 memory=21692 CPUtime=936.69 cores=5,7
/proc/72989/task/73009/stat : 73009 (java) R 72973 72989 72920 0 -1 4194368 26642 0 0 0 93637 32 0 0 20 0 20 0 67792752 19521036288 864488 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73051] ppid=72973 vsize=19063512 memory=4480 CPUtime=0 cores=5,7
/proc/72989/task/73051/stat : 73051 (Finalizer) S 72973 72989 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 864488 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73058] ppid=72973 vsize=19063512 memory=3457952 CPUtime=0 cores=5,7
/proc/72989/task/73058/stat : 73058 (Common-Cleaner) S 72973 72989 72920 0 -1 4194368 383 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 864488 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73062] ppid=72973 vsize=19063512 memory=5172 CPUtime=0 cores=5,7
/proc/72989/task/73062/stat : 73062 (Timer-0) S 72973 72989 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792784 19521036288 864488 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
Current children cumulated CPU time: 959.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3457952 KiB

[startup+949.6 s]
/proc/loadavg: 4.26 4.24 4.14 5/340 73247
/proc/meminfo: memFree=87971528/131249996 swapFree=33010160/33010684
[pid=72989] ppid=72973 vsize=19063512 memory=3457952 CPUtime=960.29 cores=5,7
/proc/72989/stat : 72989 (java) S 72973 72989 72920 0 -1 4194304 75319 0 0 0 95933 96 0 0 20 0 20 0 67792750 19521036288 864488 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
/proc/72989/statm: 4765878 864488 5551 1 0 918167 0
[pid=72989/tid=73009] ppid=72973 vsize=19063512 memory=16580 CPUtime=937.49 cores=5,7
/proc/72989/task/73009/stat : 73009 (java) R 72973 72989 72920 0 -1 4194368 26651 0 0 0 93717 32 0 0 20 0 20 0 67792752 19521036288 864488 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73051] ppid=72973 vsize=19063512 memory=18432 CPUtime=0 cores=5,7
/proc/72989/task/73051/stat : 73051 (Finalizer) S 72973 72989 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 864488 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73058] ppid=72973 vsize=19063512 memory=2764 CPUtime=0 cores=5,7
/proc/72989/task/73058/stat : 73058 (Common-Cleaner) S 72973 72989 72920 0 -1 4194368 383 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 864488 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73062] ppid=72973 vsize=19063512 memory=21692 CPUtime=0 cores=5,7
/proc/72989/task/73062/stat : 73062 (Timer-0) S 72973 72989 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792784 19521036288 864488 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
Current children cumulated CPU time: 960.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3457952 KiB

[startup+950 s]*
/proc/loadavg: 4.26 4.24 4.14 6/340 73247
/proc/meminfo: memFree=87966996/131249996 swapFree=33010160/33010684
[pid=72989] ppid=72973 vsize=19063512 memory=3460000 CPUtime=960.91 cores=5,7
/proc/72989/stat : 72989 (java) S 72973 72989 72920 0 -1 4194304 78136 0 0 0 95995 96 0 0 20 0 20 0 67792750 19521036288 865000 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
/proc/72989/statm: 4765878 865000 5551 1 0 918223 0
[pid=72989/tid=73009] ppid=72973 vsize=19063512 memory=-6000919476934633832 CPUtime=937.89 cores=5,7
/proc/72989/task/73009/stat : 73009 (java) R 72973 72989 72920 0 -1 4194368 27211 0 0 0 93757 32 0 0 20 0 20 0 67792752 19521036288 865000 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73051] ppid=72973 vsize=19063512 memory=4426079248751160991 CPUtime=0 cores=5,7
/proc/72989/task/73051/stat : 73051 (Finalizer) S 72973 72989 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 865000 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73058] ppid=72973 vsize=19063512 memory=3457952 CPUtime=0 cores=5,7
/proc/72989/task/73058/stat : 73058 (Common-Cleaner) S 72973 72989 72920 0 -1 4194368 383 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 865000 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73062] ppid=72973 vsize=19063512 memory=6900 CPUtime=0 cores=5,7
/proc/72989/task/73062/stat : 73062 (Timer-0) S 72973 72989 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792784 19521036288 865000 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
Current children cumulated CPU time: 960.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3460000 KiB

[startup+950.2 s]
/proc/loadavg: 4.26 4.24 4.14 6/340 73247
/proc/meminfo: memFree=87966996/131249996 swapFree=33010160/33010684
[pid=72989] ppid=72973 vsize=19063512 memory=3460256 CPUtime=961.25 cores=5,7
/proc/72989/stat : 72989 (java) S 72973 72989 72920 0 -1 4194304 78219 0 0 0 96029 96 0 0 20 0 20 0 67792750 19521036288 865064 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
/proc/72989/statm: 4765878 865064 5551 1 0 918223 0
[pid=72989/tid=73009] ppid=72973 vsize=19063512 memory=215587488049 CPUtime=938.08 cores=5,7
/proc/72989/task/73009/stat : 73009 (java) R 72973 72989 72920 0 -1 4194368 27226 0 0 0 93776 32 0 0 20 0 20 0 67792752 19521036288 865064 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73051] ppid=72973 vsize=19063512 memory=54113165640434 CPUtime=0 cores=5,7
/proc/72989/task/73051/stat : 73051 (Finalizer) S 72973 72989 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 865064 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73058] ppid=72973 vsize=19063512 memory=240706 CPUtime=0 cores=5,7
/proc/72989/task/73058/stat : 73058 (Common-Cleaner) S 72973 72989 72920 0 -1 4194368 383 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 865064 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
[pid=72989/tid=73062] ppid=72973 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/72989/task/73062/stat : 73062 (Timer-0) S 72973 72989 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792784 19521036288 865064 18446744073709551615 94283927695360 94283927699056 140726846247824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94283927706872 94283927707664 94283938410496 140726846253441 140726846253542 140726846253542 140726846259144 0
Current children cumulated CPU time: 961.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3460256 KiB

Child status: 30

Real time (s): 950.28
CPU time (s): 961.355
CPU user time (s): 960.368
CPU system time (s): 0.98626
CPU usage (%): 101.165
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 3460256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 960.368
system time used= 0.98626
maximum resident set size= 3460768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79082
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34109
involuntary context switches= 7732


# summary of solver processes directly reported to runsolver:
#   pid: 72989
#   total CPU time (s): 961.355
#   total CPU user time (s): 960.368
#   total CPU system time (s): 0.98626

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.68592 second user time and 4.65157 second system time

The end

Begin job on nodeC032 at 2025-07-03 07:39:01
IDJOB=4509478
IDBENCH=158620
IDSOLVER=3363
FILE ID=nodeC032/4509478-1751521141
RUNJOBID= nodeC032-1751521141-72933
SLURM_JOB_ID= 9598644
Free space on /tmp= 430568 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509478-1751521141/watcher-4509478-1751521141 -o /tmp/evaluation-result-4509478-1751521141/solver-4509478-1751521141 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751521141-72933 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4509478-1751521141.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 152bb06216511240edab5f108e287529
RANDOM SEED=1690052100

nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.942
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.952
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.837
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.176
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.520
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.836
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.872
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.573
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        113281256 kB
MemAvailable:   129617868 kB
Buffers:            2728 kB
Cached:         17015916 kB
SwapCached:           20 kB
Active:           437740 kB
Inactive:       16646456 kB
Active(anon):      80476 kB
Inactive(anon):     3124 kB
Active(file):     357264 kB
Inactive(file): 16643332 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3564 kB
Writeback:             0 kB
AnonPages:         68572 kB
Mapped:           104084 kB
Shmem:             18048 kB
KReclaimable:     350508 kB
Slab:             443736 kB
SReclaimable:     350508 kB
SUnreclaim:        93228 kB
KernelStack:        4072 kB
PageTables:         2764 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     340264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430564 MiB
End job on nodeC032 at 2025-07-03 07:54:52