0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	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.10	c Number of processors 	2
0.11/0.14	c Pseudo Boolean Optimization by upper bound
0.11/0.14	c --- Begin Solver configuration ---
0.11/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.14	c Learn all clauses as in MiniSAT
0.11/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.14	c Expensive reason simplification
0.11/0.14	c Glucose 2.1 dynamic restart strategy
0.11/0.14	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.11/0.14	c timeout=2147483s
0.11/0.14	c DB Simplification allowed=false
0.11/0.14	c Listener: none
0.11/0.14	c --- End Solver configuration ---
0.11/0.14	c solving HOME/instance-4509432-1751521141.opb
0.11/0.14	c reading problem ... 
0.11/0.14	c  objective function found
0.50/0.31	c ... done. Wall clock time 0.167s.
0.50/0.31	c declared #vars     10272
0.50/0.31	c #constraints  706
0.50/0.31	c constraints type 
0.50/0.31	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 320
0.50/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 66
0.50/0.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 320
0.50/0.31	c 706 constraints processed.
0.50/0.32	c objective function length is 32 literals
1.08/0.63	c SATISFIABLE
1.08/0.63	c OPTIMIZING...
1.08/0.63	c Got one! Elapsed wall clock time (in seconds):0.495
1.08/0.63	o 32
2.85/1.50	c cleaning 2562 clauses out of 5136 with flag 15314/5136
4.11/2.32	c cleaning 4283 clauses out of 8576 with flag 54353/11138
4.99/3.07	c cleaning 5641 clauses out of 11292 with flag 89016/18137
4.99/3.07	c Got one! Elapsed wall clock time (in seconds):2.938
4.99/3.07	o 31
5.38/3.36	c cleaning 5324 clauses out of 10662 with flag 11244/23148
5.78/3.72	c cleaning 5661 clauses out of 11337 with flag 24408/29147
6.19/4.17	c cleaning 6330 clauses out of 12676 with flag 40628/36147
6.80/4.78	c cleaning 7165 clauses out of 14347 with flag 59547/44148
7.50/5.46	c cleaning 8078 clauses out of 16181 with flag 81192/53147
8.33/6.25	c cleaning 9044 clauses out of 18103 with flag 106051/63147
9.13/7.07	c cleaning 10021 clauses out of 20059 with flag 133128/74147
10.14/8.03	c cleaning 11010 clauses out of 22038 with flag 161569/86147
11.26/9.13	c cleaning 12004 clauses out of 24029 with flag 193742/99148
12.61/10.47	c cleaning 13002 clauses out of 26025 with flag 228645/113148
13.81/11.66	c cleaning 14006 clauses out of 28024 with flag 264014/128149
15.27/13.06	c cleaning 15000 clauses out of 30017 with flag 301042/144148
16.69/14.46	c cleaning 15998 clauses out of 32016 with flag 340312/161147
18.24/15.94	c cleaning 16997 clauses out of 34018 with flag 382464/179147
20.10/17.75	c cleaning 17999 clauses out of 36021 with flag 430664/198147
21.90/19.58	c cleaning 19001 clauses out of 38023 with flag 481237/218148
23.96/21.53	c cleaning 20005 clauses out of 40023 with flag 529111/239149
26.52/24.01	c cleaning 21001 clauses out of 42019 with flag 582937/261150
28.82/26.32	c cleaning 21997 clauses out of 44015 with flag 640161/284147
31.86/29.33	c cleaning 22997 clauses out of 46019 with flag 702230/308148
35.12/32.59	c cleaning 24000 clauses out of 48021 with flag 764281/333147
38.36/35.76	c cleaning 25000 clauses out of 50022 with flag 833652/359148
41.53/38.84	c cleaning 26000 clauses out of 52021 with flag 917713/386147
44.89/42.11	c cleaning 26999 clauses out of 54021 with flag 990285/414147
48.25/45.46	c cleaning 28001 clauses out of 56023 with flag 1061022/443148
52.04/49.24	c cleaning 29003 clauses out of 58024 with flag 1132464/473150
56.01/53.13	c cleaning 29999 clauses out of 60019 with flag 1207032/504148
59.29/56.46	c cleaning 31000 clauses out of 62019 with flag 1279861/536147
62.78/59.99	c cleaning 31999 clauses out of 64019 with flag 1356021/569147
67.00/63.74	c cleaning 32997 clauses out of 66020 with flag 1432587/603147
70.37/67.08	c cleaning 33998 clauses out of 68023 with flag 1508426/638147
73.85/70.56	c cleaning 35000 clauses out of 70025 with flag 1588483/674147
77.70/74.34	c cleaning 36003 clauses out of 72026 with flag 1672339/711148
81.69/78.35	c cleaning 37000 clauses out of 74023 with flag 1758682/749148
85.95/82.53	c cleaning 38007 clauses out of 76026 with flag 1852246/788151
90.10/86.67	c cleaning 38993 clauses out of 78015 with flag 1951065/828147
94.28/90.86	c cleaning 39996 clauses out of 80022 with flag 2051229/869147
98.87/95.47	c cleaning 41003 clauses out of 82026 with flag 2150406/911147
104.17/100.60	c cleaning 41998 clauses out of 84024 with flag 2251217/954148
109.16/105.60	c cleaning 43001 clauses out of 86026 with flag 2358136/998148
115.16/111.59	c cleaning 43995 clauses out of 88024 with flag 2480480/1043147
121.45/117.85	c cleaning 45003 clauses out of 90030 with flag 2594571/1089148
127.36/123.65	c cleaning 46002 clauses out of 92028 with flag 2701401/1136149
133.13/129.49	c cleaning 46997 clauses out of 94025 with flag 2808794/1184148
138.97/135.27	c cleaning 47999 clauses out of 96028 with flag 2922718/1233148
145.45/141.74	c cleaning 49000 clauses out of 98028 with flag 3046117/1283147
152.29/148.26	c cleaning 50006 clauses out of 100029 with flag 3173499/1334148
159.28/155.08	c cleaning 51002 clauses out of 102022 with flag 3306102/1386147
166.06/161.86	c cleaning 51998 clauses out of 104025 with flag 3442580/1439152
172.94/168.77	c cleaning 52996 clauses out of 106022 with flag 3578755/1493147
180.61/176.30	c cleaning 54001 clauses out of 108027 with flag 3723008/1548148
188.70/184.40	c cleaning 54999 clauses out of 110026 with flag 3872482/1604148
197.95/193.51	c cleaning 56007 clauses out of 112026 with flag 4020897/1661147
207.63/203.21	c cleaning 56999 clauses out of 114019 with flag 4152618/1719147
216.73/212.23	c cleaning 57999 clauses out of 116021 with flag 4292807/1778148
226.21/221.76	c cleaning 58997 clauses out of 118023 with flag 4431756/1838149
235.78/231.22	c cleaning 60000 clauses out of 120025 with flag 4567320/1899148
246.36/241.81	c cleaning 60996 clauses out of 122024 with flag 4707021/1961147
256.32/251.65	c cleaning 62004 clauses out of 124030 with flag 4846974/2024149
267.60/262.94	c cleaning 62998 clauses out of 126026 with flag 4992542/2088149
278.93/273.96	c cleaning 64000 clauses out of 128026 with flag 5145204/2153147
289.41/284.38	c cleaning 64997 clauses out of 130028 with flag 5304310/2219149
300.58/295.56	c cleaning 66007 clauses out of 132031 with flag 5462119/2286149
310.07/305.03	c cleaning 67000 clauses out of 134023 with flag 5612607/2354148
319.73/314.62	c cleaning 67999 clauses out of 136022 with flag 5765158/2423147
329.31/324.22	c cleaning 69002 clauses out of 138023 with flag 5923592/2493147
338.99/333.99	c cleaning 70000 clauses out of 140022 with flag 6085159/2564148
349.63/344.36	c cleaning 71002 clauses out of 142022 with flag 6254804/2636148
361.31/356.02	c cleaning 71997 clauses out of 144020 with flag 6421689/2709148
373.05/367.60	c cleaning 72998 clauses out of 146023 with flag 6595151/2783148
384.12/378.79	c cleaning 74001 clauses out of 148024 with flag 6765624/2858147
396.29/390.80	c cleaning 74999 clauses out of 150023 with flag 6942992/2934147
407.07/401.66	c cleaning 76001 clauses out of 152024 with flag 7124987/3011147
420.42/414.98	c cleaning 76994 clauses out of 154024 with flag 7316835/3089148
433.68/428.09	c cleaning 77998 clauses out of 156029 with flag 7504026/3168147
447.50/441.33	c cleaning 79000 clauses out of 158031 with flag 7704920/3248147
460.47/454.30	c cleaning 80003 clauses out of 160031 with flag 7906859/3329147
474.02/467.81	c cleaning 81000 clauses out of 162028 with flag 8112982/3411147
489.33/483.08	c cleaning 82001 clauses out of 164028 with flag 8324154/3494147
505.08/498.85	c cleaning 82999 clauses out of 166029 with flag 8547330/3578149
520.04/513.74	c cleaning 84003 clauses out of 168029 with flag 8780492/3663148
535.30/529.03	c cleaning 84999 clauses out of 170025 with flag 9005258/3749147
550.88/544.59	c cleaning 86004 clauses out of 172027 with flag 9233703/3836148
566.24/559.97	c cleaning 86998 clauses out of 174022 with flag 9436093/3924147
581.88/575.47	c cleaning 87999 clauses out of 176024 with flag 9672060/4013147
601.06/594.47	c cleaning 89001 clauses out of 178026 with flag 9909651/4103148
618.02/611.44	c cleaning 89998 clauses out of 180025 with flag 10152312/4194148
639.02/632.31	c cleaning 90999 clauses out of 182026 with flag 10398828/4286147
659.88/653.17	c cleaning 91998 clauses out of 184027 with flag 10645805/4379147
680.92/673.62	c cleaning 92998 clauses out of 186030 with flag 10903614/4473148
699.45/692.17	c cleaning 93999 clauses out of 188032 with flag 11162577/4568148
720.61/713.28	c cleaning 94996 clauses out of 190032 with flag 11425580/4664147
743.27/735.98	c cleaning 96000 clauses out of 192037 with flag 11692395/4761148
760.99/753.63	c cleaning 97010 clauses out of 194037 with flag 11925877/4859148
777.94/770.64	c cleaning 98004 clauses out of 196027 with flag 12177450/4958148
795.37/788.04	c cleaning 98998 clauses out of 198024 with flag 12409775/5058149
812.92/805.67	c cleaning 99998 clauses out of 200027 with flag 12652847/5159150
832.59/825.04	c cleaning 101000 clauses out of 202027 with flag 12917642/5261148
854.71/847.06	c cleaning 102007 clauses out of 204027 with flag 13203330/5364148
877.85/870.22	c cleaning 103004 clauses out of 206021 with flag 13498486/5468149
899.49/891.81	c cleaning 103997 clauses out of 208015 with flag 13795166/5573147
919.41/911.55	c cleaning 104990 clauses out of 210019 with flag 14094965/5679148
943.30/934.95	c cleaning 105999 clauses out of 212029 with flag 14393162/5786148
962.51/954.14	c cleaning 107008 clauses out of 214029 with flag 14680472/5894147
984.83/976.47	c cleaning 107991 clauses out of 216021 with flag 14931123/6003147
1009.29/1000.74	c cleaning 109000 clauses out of 218030 with flag 15193217/6113147
1033.04/1024.54	c cleaning 109999 clauses out of 220032 with flag 15471642/6224149
1054.66/1046.19	c cleaning 111004 clauses out of 222033 with flag 15779672/6336149
1077.73/1069.05	c cleaning 111999 clauses out of 224027 with flag 16058704/6449147
1100.53/1091.79	c cleaning 113001 clauses out of 226028 with flag 16359573/6563147
1125.84/1116.99	c cleaning 113997 clauses out of 228027 with flag 16686842/6678147
1148.23/1139.26	c cleaning 115001 clauses out of 230030 with flag 16972055/6794147
1173.98/1164.61	c cleaning 115996 clauses out of 232029 with flag 17244548/6911147
1197.53/1188.20	c cleaning 117003 clauses out of 234033 with flag 17537267/7029147
1223.83/1214.35	c cleaning 117996 clauses out of 236030 with flag 17870079/7148147
1246.14/1236.53	c cleaning 119002 clauses out of 238037 with flag 18212572/7268150
1266.94/1257.12	c cleaning 119998 clauses out of 240032 with flag 18563876/7389147
1289.67/1279.76	c cleaning 121004 clauses out of 242034 with flag 18872682/7511147
1313.89/1303.88	c cleaning 122000 clauses out of 244031 with flag 19145092/7634148
1337.93/1327.74	c cleaning 123002 clauses out of 246032 with flag 19427406/7758149
1361.84/1351.19	c cleaning 123996 clauses out of 248028 with flag 19716251/7883147
1386.82/1376.10	c cleaning 124998 clauses out of 250034 with flag 20027020/8009149
1413.49/1402.63	c cleaning 126001 clauses out of 252035 with flag 20334877/8136148
1444.13/1433.19	c cleaning 127004 clauses out of 254035 with flag 20651211/8264149
1473.56/1462.46	c cleaning 128002 clauses out of 256031 with flag 20978947/8393149
1502.18/1490.90	c cleaning 129001 clauses out of 258028 with flag 21312853/8523148
1528.96/1517.69	c cleaning 129993 clauses out of 260026 with flag 21656664/8654147
1554.33/1542.98	c cleaning 131004 clauses out of 262034 with flag 22004221/8786148
1578.64/1567.10	c cleaning 132007 clauses out of 264029 with flag 22305049/8919147
1602.82/1590.61	c cleaning 133000 clauses out of 266024 with flag 22622734/9053149
1628.69/1616.47	c cleaning 133998 clauses out of 268023 with flag 22972011/9188148
1652.94/1640.56	c cleaning 135003 clauses out of 270024 with flag 23325524/9324147
1679.78/1667.20	c cleaning 136001 clauses out of 272021 with flag 23697123/9461147
1706.00/1693.37	c cleaning 136996 clauses out of 274020 with flag 24078889/9599147
1733.32/1720.56	c cleaning 137995 clauses out of 276024 with flag 24465301/9738147
1760.56/1747.74	c cleaning 139001 clauses out of 278029 with flag 24825442/9878147
1790.17/1777.25	c cleaning 140003 clauses out of 280029 with flag 25188845/10019148
1819.37/1806.34	c cleaning 140998 clauses out of 282025 with flag 25579708/10161147
1852.80/1839.79	c cleaning 141998 clauses out of 284027 with flag 25985912/10304147
1883.32/1870.21	c cleaning 143001 clauses out of 286030 with flag 26401041/10448148
1918.82/1905.66	c cleaning 144005 clauses out of 288028 with flag 26837874/10593147
1950.26/1936.38	c cleaning 144993 clauses out of 290024 with flag 27269465/10739148
1982.37/1968.31	c cleaning 146006 clauses out of 292031 with flag 27685484/10886148
2015.35/2001.23	c cleaning 147000 clauses out of 294025 with flag 28117091/11034148
2049.81/2035.73	c cleaning 147996 clauses out of 296024 with flag 28568463/11183147
2078.26/2064.20	c cleaning 149000 clauses out of 298028 with flag 28994880/11333147
2108.52/2094.49	c cleaning 150004 clauses out of 300029 with flag 29440777/11484148
2139.20/2125.00	c cleaning 151001 clauses out of 302025 with flag 29774354/11636148
2167.17/2152.95	c cleaning 152003 clauses out of 304023 with flag 30115268/11789147
2203.67/2189.32	c cleaning 152990 clauses out of 306020 with flag 30481696/11943147
2239.78/2225.37	c cleaning 154002 clauses out of 308030 with flag 30880859/12098147
2274.05/2259.53	c cleaning 155001 clauses out of 310030 with flag 31227569/12254149
2307.26/2292.61	c cleaning 156001 clauses out of 312027 with flag 31590014/12411147
2337.07/2322.36	c cleaning 157005 clauses out of 314028 with flag 31943462/12569149
2362.99/2348.16	c cleaning 157998 clauses out of 316022 with flag 32299918/12728148
2395.38/2379.88	c cleaning 158998 clauses out of 318023 with flag 32679121/12888147
2423.89/2408.30	c cleaning 159993 clauses out of 320026 with flag 33047410/13049148
2459.15/2443.51	c cleaning 160998 clauses out of 322033 with flag 33416462/13211148
2488.04/2472.43	c cleaning 161998 clauses out of 324034 with flag 33797095/13374147
2518.79/2503.00	c cleaning 163007 clauses out of 326039 with flag 34177842/13538150
2553.72/2537.85	c cleaning 163998 clauses out of 328029 with flag 34584919/13703147
2592.64/2576.71	c cleaning 164998 clauses out of 330032 with flag 34984407/13869148
2632.25/2616.37	c cleaning 166004 clauses out of 332033 with flag 35398174/14036147
2672.91/2656.96	c cleaning 166998 clauses out of 334030 with flag 35816843/14204148
2719.00/2702.90	c cleaning 167997 clauses out of 336031 with flag 36246597/14373147
2766.99/2750.81	c cleaning 169006 clauses out of 338034 with flag 36677064/14543147
2803.76/2787.55	c cleaning 170000 clauses out of 340028 with flag 37118193/14714147
2842.26/2825.95	c cleaning 170999 clauses out of 342029 with flag 37557998/14886148
2879.68/2863.36	c cleaning 171999 clauses out of 344029 with flag 38009127/15059147
2918.30/2901.99	c cleaning 173005 clauses out of 346033 with flag 38473219/15233150
2963.98/2947.53	c cleaning 173998 clauses out of 348026 with flag 38928857/15408148
3006.69/2990.16	c cleaning 174998 clauses out of 350029 with flag 39397465/15584149
3050.45/3033.83	c cleaning 176004 clauses out of 352031 with flag 39857783/15761149
3095.59/3078.93	c cleaning 177000 clauses out of 354026 with flag 40344773/15939148
3144.28/3127.47	c cleaning 177998 clauses out of 356025 with flag 40843698/16118147
3189.64/3172.11	c cleaning 179001 clauses out of 358028 with flag 41313511/16298148
3232.51/3214.90	c cleaning 180003 clauses out of 360028 with flag 41773017/16479149
3269.40/3251.53	c Got one! Elapsed wall clock time (in seconds):3251.395
3269.40/3251.53	o 30
3269.51/3251.63	c Got one! Elapsed wall clock time (in seconds):3251.499
3269.51/3251.63	o 29
3274.16/3256.28	c cleaning 174074 clauses out of 348170 with flag 15177/16647294
3276.75/3258.89	c cleaning 90036 clauses out of 180096 with flag 41653/16653294
3278.06/3260.12	c cleaning 48519 clauses out of 97060 with flag 77745/16660294
3278.95/3261.04	c cleaning 28259 clauses out of 56541 with flag 119307/16668294
3279.85/3261.99	c cleaning 18628 clauses out of 37283 with flag 168518/16677295
3280.75/3262.88	c cleaning 14318 clauses out of 28655 with flag 215637/16687295
3282.05/3264.11	c cleaning 12659 clauses out of 25338 with flag 267051/16698296
3283.34/3265.40	c cleaning 12333 clauses out of 24679 with flag 323986/16710296
3284.97/3267.01	c cleaning 12655 clauses out of 25344 with flag 390089/16723294
3286.36/3268.40	c cleaning 13323 clauses out of 26691 with flag 459794/16737296
3287.06/3269.14	c cleaning 14163 clauses out of 28366 with flag 493599/16752294
3287.86/3269.99	c cleaning 15087 clauses out of 30203 with flag 528156/16768294
3288.75/3270.87	c cleaning 16044 clauses out of 32118 with flag 565653/16785296
3289.85/3271.90	c cleaning 17023 clauses out of 34075 with flag 606326/16803297
3290.95/3273.01	c cleaning 18012 clauses out of 36049 with flag 648788/16822294
3292.25/3274.31	c cleaning 18999 clauses out of 38037 with flag 693579/16842294
3293.54/3275.62	c cleaning 20002 clauses out of 40039 with flag 739953/16863295
3294.98/3277.10	c cleaning 20998 clauses out of 42036 with flag 789803/16885294
3296.57/3278.64	c cleaning 22002 clauses out of 44039 with flag 845268/16908295
3298.37/3280.47	c cleaning 23011 clauses out of 46037 with flag 932937/16932295
3299.97/3282.07	c cleaning 23999 clauses out of 48026 with flag 987201/16957295
3301.96/3284.09	c cleaning 24996 clauses out of 50026 with flag 1045114/16983294
3304.15/3286.21	c cleaning 25996 clauses out of 52032 with flag 1110618/17010296
3305.65/3287.73	c cleaning 27009 clauses out of 54036 with flag 1191509/17038296
3306.83/3288.82	c Got one! Elapsed wall clock time (in seconds):3288.686
3306.83/3288.82	o 28
3307.17/3289.19	c cleaning 23396 clauses out of 46806 with flag 20607/17058075
3307.66/3289.64	c cleaning 14691 clauses out of 29410 with flag 49065/17064075
3308.26/3290.23	c cleaning 10851 clauses out of 21720 with flag 83743/17071076
3308.96/3290.93	c cleaning 9428 clauses out of 18869 with flag 123607/17079076
3309.66/3291.62	c cleaning 9215 clauses out of 18442 with flag 170451/17088077
3310.35/3292.31	c cleaning 9601 clauses out of 19226 with flag 212831/17098076
3311.06/3293.05	c cleaning 10295 clauses out of 20625 with flag 249370/17109076
3311.95/3293.90	c cleaning 11148 clauses out of 22329 with flag 292223/17121075
3312.95/3294.95	c cleaning 12079 clauses out of 24181 with flag 341519/17134075
3314.15/3296.14	c cleaning 13034 clauses out of 26103 with flag 398514/17148076
3315.45/3297.44	c cleaning 14014 clauses out of 28070 with flag 451069/17163077
3316.94/3298.96	c cleaning 15009 clauses out of 30054 with flag 512345/17179075
3318.84/3300.81	c cleaning 16006 clauses out of 32045 with flag 579728/17196075
3320.04/3302.04	c cleaning 16993 clauses out of 34040 with flag 631651/17214076
3321.50/3303.43	c cleaning 18009 clauses out of 36046 with flag 679291/17233075
3323.20/3305.13	c cleaning 19009 clauses out of 38039 with flag 737780/17253077
3325.20/3307.13	c cleaning 19995 clauses out of 40028 with flag 806924/17274075
3327.20/3309.15	c cleaning 21002 clauses out of 42033 with flag 878776/17296075
3329.59/3311.51	c cleaning 22002 clauses out of 44032 with flag 955712/17319076
3332.29/3314.21	c cleaning 22998 clauses out of 46029 with flag 1034776/17343075
3334.68/3316.63	c cleaning 24004 clauses out of 48033 with flag 1113900/17368077
3337.38/3319.32	c cleaning 25002 clauses out of 50027 with flag 1195804/17394075
3340.17/3322.16	c cleaning 26002 clauses out of 52026 with flag 1278123/17421076
3343.34/3325.20	c cleaning 26999 clauses out of 54023 with flag 1365572/17449075
3346.54/3328.46	c cleaning 27990 clauses out of 56024 with flag 1462284/17478075
3349.53/3331.44	c cleaning 29006 clauses out of 58034 with flag 1551851/17508075
3352.92/3334.82	c cleaning 30002 clauses out of 60032 with flag 1651744/17539079
3356.31/3338.29	c cleaning 31006 clauses out of 62026 with flag 1751692/17571075
3360.50/3342.45	c cleaning 31993 clauses out of 64020 with flag 1860042/17604075
3364.59/3346.58	c cleaning 32995 clauses out of 66027 with flag 1962164/17638075
3368.88/3350.89	c cleaning 33999 clauses out of 68032 with flag 2085064/17673075
3373.91/3355.89	c cleaning 35001 clauses out of 70034 with flag 2222705/17709076
3378.80/3360.74	c cleaning 35997 clauses out of 72032 with flag 2344003/17746075
3383.49/3365.42	c cleaning 36998 clauses out of 74035 with flag 2469690/17784075
3388.28/3370.28	c cleaning 38006 clauses out of 76037 with flag 2598737/17823075
3393.86/3375.88	c cleaning 39001 clauses out of 78032 with flag 2725356/17863076
3399.25/3381.29	c cleaning 40000 clauses out of 80030 with flag 2854262/17904075
3405.15/3387.12	c cleaning 41002 clauses out of 82031 with flag 2997480/17946076
3411.03/3393.02	c cleaning 41999 clauses out of 84029 with flag 3134875/17989076
3417.33/3399.29	c cleaning 43001 clauses out of 86029 with flag 3274972/18033075
3423.01/3404.93	c cleaning 43996 clauses out of 88028 with flag 3421049/18078075
3429.20/3411.14	c cleaning 45002 clauses out of 90032 with flag 3561744/18124075
3434.89/3416.89	c cleaning 45999 clauses out of 92030 with flag 3716327/18171075
3440.28/3422.21	c cleaning 47005 clauses out of 94032 with flag 3869184/18219076
3444.91/3426.60	c cleaning 48000 clauses out of 96026 with flag 4019284/18268075
3449.90/3431.67	c cleaning 49006 clauses out of 98027 with flag 4187362/18318076
3455.39/3437.12	c cleaning 50002 clauses out of 100020 with flag 4364842/18369075
3460.08/3441.84	c cleaning 50998 clauses out of 102018 with flag 4490818/18421075
3464.27/3446.10	c cleaning 51990 clauses out of 104020 with flag 4611098/18474075
3469.21/3450.86	c cleaning 52993 clauses out of 106030 with flag 4725783/18528075
3474.00/3455.69	c cleaning 53995 clauses out of 108037 with flag 4842730/18583075
3478.99/3460.67	c cleaning 54995 clauses out of 110042 with flag 4961983/18639075
3484.28/3465.99	c cleaning 56001 clauses out of 112047 with flag 5085837/18696075
3490.16/3471.84	c cleaning 57010 clauses out of 114047 with flag 5261144/18754076
3497.64/3479.15	c cleaning 58007 clauses out of 116036 with flag 5461281/18813075
3504.64/3486.18	c cleaning 59001 clauses out of 118030 with flag 5668128/18873076
3512.51/3494.03	c cleaning 60000 clauses out of 120028 with flag 5887049/18934075
3520.25/3501.58	c cleaning 60997 clauses out of 122028 with flag 6098971/18996075
3528.63/3509.98	c cleaning 62000 clauses out of 124031 with flag 6327529/19059075
3536.51/3517.87	c cleaning 62995 clauses out of 126032 with flag 6542790/19123076
3544.99/3526.14	c cleaning 64004 clauses out of 128037 with flag 6767061/19188076
3554.27/3535.47	c cleaning 64999 clauses out of 130032 with flag 7008728/19254075
3564.08/3545.04	c cleaning 66005 clauses out of 132034 with flag 7258088/19321076
3573.85/3554.83	c cleaning 66998 clauses out of 134029 with flag 7486884/19389076
3583.42/3564.40	c cleaning 67998 clauses out of 136031 with flag 7722916/19458076
3593.11/3574.10	c cleaning 69001 clauses out of 138035 with flag 7948857/19528078
3600.09/3581.02	c starts		: 164
3600.09/3581.03	c conflicts		: 19589830
3600.09/3581.03	c decisions		: 21547929
3600.09/3581.03	c propagations		: 1023362631
3600.09/3581.03	c inspects		: 24084953452
3600.09/3581.03	c shortcuts		: 0
3600.09/3581.03	c learnt literals	: 0
3600.09/3581.03	c learnt binary clauses	: 0
3600.09/3581.03	c learnt ternary clauses	: 0
3600.09/3581.03	c learnt constraints	: 19589830
3600.09/3581.03	c ignored constraints	: 0
3600.09/3581.03	c root simplifications	: 0
3600.09/3581.03	c removed literals (reason simplification)	: 1610233
3600.09/3581.03	c reason swapping (by a shorter reason)	: 0
3600.09/3581.03	c Calls to reduceDB	: 270
3600.09/3581.04	c Number of update (reduction) of LBD	: 1536857
3600.09/3581.04	c Imported unit clauses	: 0
3600.09/3581.04	c No decision after first conflict	: false
3600.09/3581.04	c number of reductions to clauses (during analyze)	: 0
3600.09/3581.04	c number of learned constraints concerned by reduction	: 0
3600.09/3581.04	c number of learning phase by resolution	: 0
3600.09/3581.04	c number of learning phase by cutting planes	: 0
3600.09/3581.04	c number of rounding to 1 operations	: 0
3600.09/3581.04	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3581.04	c number of reductions of the coefficients by power 2 	: 0
3600.09/3581.04	c number of right shift for reduction by power 2 	: 0
3600.09/3581.04	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3581.04	c number of ending skipping 	: 0
3600.09/3581.04	c number of internal skipping 	: 0
3600.09/3581.04	c number of derivation steps 	: 0
3600.09/3581.04	c number of skipped derivation steps 	: 0
3600.09/3581.04	c number of remaining unassigned 	: 0
3600.09/3581.04	c number of remaining assigned 	: 0
3600.09/3581.04	c number of falsified literals weakened from reason	: 0
3600.09/3581.04	c number of falsified literals weakened from conflict	: 0
3600.09/3581.04	c time for arithmetic operations	: 0
3600.09/3581.05	c minimum degree of deleted constraints	: null
3600.09/3581.05	c maximum degree of deleted constraints	: null
3600.09/3581.05	c number of deleted constraints	: 0
3600.09/3581.05	c speed (assignments/second)	: 285798.1642229296
3600.09/3581.05	c non guided choices	: 257707
3600.30/3581.11	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 130786
3600.30/3581.11	s SATISFIABLE
3600.30/3581.11	c Found 5 solution(s)
3600.30/3581.13	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 
3600.30/3581.14	c objective function=28
3600.30/3581.14	c Total wall clock time (in seconds): 3581.008

OK	28

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 (55647 MiB free)
  memory of node 1: 64465 MiB (54977 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Starting watchdog thread
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB

solver pid=72980, runsolver pid=72971

[startup+0.10006 s]*
/proc/loadavg: 2.83 3.80 3.99 11/333 73058
/proc/meminfo: memFree=113210212/131249996 swapFree=33010160/33010684
[pid=72980] ppid=72971 vsize=18930384 memory=55516 CPUtime=0.11 cores=4,6
/proc/72980/stat : 72980 (java) S 72971 72980 72920 0 -1 4194304 6511 0 0 0 10 1 0 0 20 0 18 0 67792749 19384713216 13879 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
/proc/72980/statm: 4732596 13879 5355 1 0 547586 0
[pid=72980/tid=72995] ppid=72971 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=4,6
/proc/72980/task/72995/stat : 72995 (java) R 72971 72980 72920 0 -1 4194368 5035 0 0 0 6 1 0 0 20 0 18 0 67792751 19384713216 13879 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73029] ppid=72971 vsize=18930384 memory=13937 CPUtime=0 cores=4,6
/proc/72980/task/73029/stat : 73029 (Finalizer) S 72971 72980 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67792753 19384713216 13879 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73039] ppid=72971 vsize=18930384 memory=60684515935208 CPUtime=0 cores=4,6
/proc/72980/task/73039/stat : 73039 (Common-Cleaner) S 72971 72980 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67792753 19384713216 13879 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55516 KiB

[startup+0.205336 s]*
/proc/loadavg: 2.83 3.80 3.99 12/333 73058
/proc/meminfo: memFree=113168160/131249996 swapFree=33010160/33010684
[pid=72980] ppid=72971 vsize=18930384 memory=67996 CPUtime=0.31 cores=4,6
/proc/72980/stat : 72980 (java) S 72971 72980 72920 0 -1 4194304 7006 0 0 0 29 2 0 0 20 0 18 0 67792749 19384713216 16999 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
/proc/72980/statm: 4732596 16999 5419 1 0 547932 0
[pid=72980/tid=72995] ppid=72971 vsize=18930384 memory=4026728732 CPUtime=0.15 cores=4,6
/proc/72980/task/72995/stat : 72995 (java) R 72971 72980 72920 0 -1 4194368 5256 0 0 0 14 1 0 0 20 0 18 0 67792751 19384713216 16999 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73029] ppid=72971 vsize=18930384 memory=13937 CPUtime=0 cores=4,6
/proc/72980/task/73029/stat : 73029 (Finalizer) S 72971 72980 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67792753 19384713216 16999 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73039] ppid=72971 vsize=18930384 memory=60684515935208 CPUtime=0 cores=4,6
/proc/72980/task/73039/stat : 73039 (Common-Cleaner) S 72971 72980 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67792753 19384713216 16999 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 67996 KiB

[startup+0.305269 s]*
/proc/loadavg: 2.83 3.80 3.99 13/334 73059
/proc/meminfo: memFree=113035076/131249996 swapFree=33010160/33010684
[pid=72980] ppid=72971 vsize=18930384 memory=120000 CPUtime=0.5 cores=4,6
/proc/72980/stat : 72980 (java) S 72971 72980 72920 0 -1 4194304 8852 0 0 0 46 4 0 0 20 0 18 0 67792749 19384713216 30000 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
/proc/72980/statm: 4732596 30000 5419 1 0 549078 0
[pid=72980/tid=72995] ppid=72971 vsize=18930384 memory=-6000919494147533416 CPUtime=0.23 cores=4,6
/proc/72980/task/72995/stat : 72995 (java) R 72971 72980 72920 0 -1 4194368 5317 0 0 0 21 2 0 0 20 0 18 0 67792751 19384713216 30000 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73029] ppid=72971 vsize=18930384 memory=7152406248990280302 CPUtime=0 cores=4,6
/proc/72980/task/73029/stat : 73029 (Finalizer) S 72971 72980 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67792753 19384713216 30000 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73039] ppid=72971 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/72980/task/73039/stat : 73039 (Common-Cleaner) S 72971 72980 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67792753 19384713216 30000 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 120000 KiB

[startup+0.700198 s]
/proc/loadavg: 2.83 3.80 3.99 10/337 73062
/proc/meminfo: memFree=112981280/131249996 swapFree=33010160/33010684
[pid=72980] ppid=72971 vsize=18996948 memory=142788 CPUtime=1.27 cores=4,6
/proc/72980/stat : 72980 (java) S 72971 72980 72920 0 -1 4194304 15399 0 0 0 121 6 0 0 20 0 19 0 67792749 19452874752 35697 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
/proc/72980/statm: 4749237 35697 5483 1 0 553742 0
[pid=72980/tid=72995] ppid=72971 vsize=18996948 memory=18432 CPUtime=0.57 cores=4,6
/proc/72980/task/72995/stat : 72995 (java) R 72971 72980 72920 0 -1 4194368 5418 0 0 0 54 3 0 0 20 0 19 0 67792751 19452874752 36216 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73029] ppid=72971 vsize=18996948 memory=11136 CPUtime=0 cores=4,6
/proc/72980/task/73029/stat : 73029 (Finalizer) S 72971 72980 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67792753 19452874752 36216 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73039] ppid=72971 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/72980/task/73039/stat : 73039 (Common-Cleaner) S 72971 72980 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 67792753 19452874752 36216 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73061] ppid=72971 vsize=18996948 memory=4496 CPUtime=0 cores=4,6
/proc/72980/task/73061/stat : 73061 (Timer-0) S 72971 72980 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 67792782 19452874752 36216 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 142788 KiB

[startup+1.50021 s]
/proc/loadavg: 2.83 3.80 3.99 9/337 73062
/proc/meminfo: memFree=112910768/131249996 swapFree=33010160/33010684
[pid=72980] ppid=72971 vsize=18996948 memory=170816 CPUtime=2.85 cores=4,6
/proc/72980/stat : 72980 (java) S 72971 72980 72920 0 -1 4194304 22035 0 0 0 278 7 0 0 20 0 19 0 67792749 19452874752 42704 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
/proc/72980/statm: 4749237 42704 5483 1 0 554011 0
[pid=72980/tid=72995] ppid=72971 vsize=18996948 memory=11136 CPUtime=1.34 cores=4,6
/proc/72980/task/72995/stat : 72995 (java) R 72971 72980 72920 0 -1 4194368 6242 0 0 0 131 3 0 0 20 0 19 0 67792751 19452874752 42704 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73029] ppid=72971 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/72980/task/73029/stat : 73029 (Finalizer) S 72971 72980 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67792753 19452874752 42704 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73039] ppid=72971 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/72980/task/73039/stat : 73039 (Common-Cleaner) S 72971 72980 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 67792753 19452874752 42704 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73061] ppid=72971 vsize=18996948 memory=4496 CPUtime=0 cores=4,6
/proc/72980/task/73061/stat : 73061 (Timer-0) S 72971 72980 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 67792782 19452874752 42704 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 170816 KiB

[startup+3.10541 s]
/proc/loadavg: 2.83 3.80 3.99 9/341 73066
/proc/meminfo: memFree=112580240/131249996 swapFree=33010160/33010684
[pid=72980] ppid=72971 vsize=19063512 memory=229468 CPUtime=5.18 cores=4,6
/proc/72980/stat : 72980 (java) S 72971 72980 72920 0 -1 4194304 24610 0 0 0 509 9 0 0 20 0 20 0 67792749 19521036288 57367 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
/proc/72980/statm: 4765878 57367 5547 1 0 554333 0
[pid=72980/tid=72995] ppid=72971 vsize=19063512 memory=11136 CPUtime=2.89 cores=4,6
/proc/72980/task/72995/stat : 72995 (java) R 72971 72980 72920 0 -1 4194368 6931 0 0 0 285 4 0 0 20 0 20 0 67792751 19521036288 57367 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73029] ppid=72971 vsize=19063512 memory=-6000919502737468008 CPUtime=0 cores=4,6
/proc/72980/task/73029/stat : 73029 (Finalizer) S 72971 72980 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 57367 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73039] ppid=72971 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/72980/task/73039/stat : 73039 (Common-Cleaner) S 72971 72980 72920 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 57367 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73061] ppid=72971 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/72980/task/73061/stat : 73061 (Timer-0) S 72971 72980 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792782 19521036288 57367 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
Current children cumulated CPU time: 5.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 229468 KiB

[startup+6.30019 s]
/proc/loadavg: 3.00 3.82 4.00 6/341 73066
/proc/meminfo: memFree=112404344/131249996 swapFree=33010160/33010684
[pid=72980] ppid=72971 vsize=19063512 memory=268680 CPUtime=8.43 cores=4,6
/proc/72980/stat : 72980 (java) S 72971 72980 72920 0 -1 4194304 24775 0 0 0 833 10 0 0 20 0 20 0 67792749 19521036288 67170 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
/proc/72980/statm: 4765878 67170 5547 1 0 554335 0
[pid=72980/tid=72995] ppid=72971 vsize=19063512 memory=0 CPUtime=6.03 cores=4,6
/proc/72980/task/72995/stat : 72995 (java) R 72971 72980 72920 0 -1 4194368 6932 0 0 0 599 4 0 0 20 0 20 0 67792751 19521036288 67170 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73029] ppid=72971 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/72980/task/73029/stat : 73029 (Finalizer) S 72971 72980 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 67170 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73039] ppid=72971 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/72980/task/73039/stat : 73039 (Common-Cleaner) S 72971 72980 72920 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 67170 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73061] ppid=72971 vsize=19063512 memory=177736 CPUtime=0 cores=4,6
/proc/72980/task/73061/stat : 73061 (Timer-0) S 72971 72980 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792782 19521036288 67170 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
Current children cumulated CPU time: 8.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 268680 KiB

[startup+12.7002 s]
/proc/loadavg: 3.16 3.84 4.00 7/341 73066
/proc/meminfo: memFree=112006552/131249996 swapFree=33010160/33010684
[pid=72980] ppid=72971 vsize=19063512 memory=439780 CPUtime=14.97 cores=4,6
/proc/72980/stat : 72980 (java) S 72971 72980 72920 0 -1 4194304 28544 0 0 0 1483 14 0 0 20 0 20 0 67792749 19521036288 109945 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
/proc/72980/statm: 4765878 109945 5547 1 0 660844 0
[pid=72980/tid=72995] ppid=72971 vsize=19063512 memory=177736 CPUtime=12.27 cores=4,6
/proc/72980/task/72995/stat : 72995 (java) R 72971 72980 72920 0 -1 4194368 7684 0 0 0 1223 4 0 0 20 0 20 0 67792751 19521036288 109945 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73029] ppid=72971 vsize=19063512 memory=371216 CPUtime=0 cores=4,6
/proc/72980/task/73029/stat : 73029 (Finalizer) S 72971 72980 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 109945 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73039] ppid=72971 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/72980/task/73039/stat : 73039 (Common-Cleaner) S 72971 72980 72920 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 109945 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73061] ppid=72971 vsize=19063512 memory=279927849462144 CPUtime=0 cores=4,6
/proc/72980/task/73061/stat : 73061 (Timer-0) S 72971 72980 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792782 19521036288 109945 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
Current children cumulated CPU time: 14.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 439780 KiB

[startup+25.5002 s]
/proc/loadavg: 3.35 3.85 4.00 6/340 73066
/proc/meminfo: memFree=110953824/131249996 swapFree=33010160/33010684
[pid=72980] ppid=72971 vsize=19063512 memory=876156 CPUtime=28.02 cores=4,6
/proc/72980/stat : 72980 (java) S 72971 72980 72920 0 -1 4194304 30693 0 0 0 2778 24 0 0 20 0 20 0 67792749 19521036288 219039 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
/proc/72980/statm: 4765878 219039 5547 1 0 660854 0
[pid=72980/tid=72995] ppid=72971 vsize=19063512 memory=-6000919502737468008 CPUtime=24.76 cores=4,6
/proc/72980/task/72995/stat : 72995 (java) R 72971 72980 72920 0 -1 4194368 8454 0 0 0 2470 6 0 0 20 0 20 0 67792751 19521036288 219039 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73029] ppid=72971 vsize=19063512 memory=16580 CPUtime=0 cores=4,6
/proc/72980/task/73029/stat : 73029 (Finalizer) S 72971 72980 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 219039 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73039] ppid=72971 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/72980/task/73039/stat : 73039 (Common-Cleaner) S 72971 72980 72920 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 219039 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73061] ppid=72971 vsize=19063512 memory=145038472 CPUtime=0 cores=4,6
/proc/72980/task/73061/stat : 73061 (Timer-0) S 72971 72980 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792782 19521036288 219039 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
Current children cumulated CPU time: 28.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 876156 KiB

[startup+51.1056 s]
/proc/loadavg: 3.65 3.88 4.01 5/340 73134
/proc/meminfo: memFree=109463356/131249996 swapFree=33010160/33010684
[pid=72980] ppid=72971 vsize=19063512 memory=1474240 CPUtime=54.01 cores=4,6
/proc/72980/stat : 72980 (java) S 72971 72980 72920 0 -1 4194304 32287 0 0 0 5366 35 0 0 20 0 20 0 67792749 19521036288 368560 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
/proc/72980/statm: 4765878 368560 5547 1 0 660854 0
[pid=72980/tid=72995] ppid=72971 vsize=19063512 memory=268680 CPUtime=49.79 cores=4,6
/proc/72980/task/72995/stat : 72995 (java) R 72971 72980 72920 0 -1 4194368 8774 0 0 0 4973 6 0 0 20 0 20 0 67792751 19521036288 368560 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73029] ppid=72971 vsize=19063512 memory=1357500 CPUtime=0 cores=4,6
/proc/72980/task/73029/stat : 73029 (Finalizer) S 72971 72980 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 368560 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0

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

[startup+3222.3 s]
/proc/loadavg: 4.79 4.49 4.46 5/341 73504
/proc/meminfo: memFree=67762616/131249996 swapFree=33010160/33010684
[pid=72980] ppid=72971 vsize=19063512 memory=5511872 CPUtime=3240.01 cores=4,6
/proc/72980/stat : 72980 (java) S 72971 72980 72920 0 -1 4194304 154733 0 0 0 323783 218 0 0 20 0 20 0 67792749 19521036288 1377968 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
/proc/72980/statm: 4765878 1377968 5579 1 0 1556437 0
[pid=72980/tid=72995] ppid=72971 vsize=19063512 memory=16580 CPUtime=3195.19 cores=4,6
/proc/72980/task/72995/stat : 72995 (java) R 72971 72980 72920 0 -1 4194368 68885 0 0 0 319447 72 0 0 20 0 20 0 67792751 19521036288 1377968 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73029] ppid=72971 vsize=19063512 memory=5511872 CPUtime=0 cores=4,6
/proc/72980/task/73029/stat : 73029 (Finalizer) S 72971 72980 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 1377968 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73039] ppid=72971 vsize=19063512 memory=3104 CPUtime=0 cores=4,6
/proc/72980/task/73039/stat : 73039 (Common-Cleaner) S 72971 72980 72920 0 -1 4194368 708 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 1377968 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73061] ppid=72971 vsize=19063512 memory=18432 CPUtime=0 cores=4,6
/proc/72980/task/73061/stat : 73061 (Timer-0) S 72971 72980 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792782 19521036288 1377968 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
Current children cumulated CPU time: 3240.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5511872 KiB

[startup+3282.3 s]
/proc/loadavg: 4.92 4.57 4.49 5/341 73507
/proc/meminfo: memFree=66646352/131249996 swapFree=33010160/33010684
[pid=72980] ppid=72971 vsize=19063512 memory=5569236 CPUtime=3300.26 cores=4,6
/proc/72980/stat : 72980 (java) S 72971 72980 72920 0 -1 4194304 158196 0 0 0 329805 221 0 0 20 0 20 0 67792749 19521036288 1392309 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
/proc/72980/statm: 4765878 1392309 5579 1 0 1556456 0
[pid=72980/tid=72995] ppid=72971 vsize=19063512 memory=5569236 CPUtime=3254.73 cores=4,6
/proc/72980/task/72995/stat : 72995 (java) R 72971 72980 72920 0 -1 4194368 69923 0 0 0 325401 72 0 0 20 0 20 0 67792751 19521036288 1392309 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73029] ppid=72971 vsize=19063512 memory=5569236 CPUtime=0 cores=4,6
/proc/72980/task/73029/stat : 73029 (Finalizer) S 72971 72980 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 1392309 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73039] ppid=72971 vsize=19063512 memory=5511872 CPUtime=0 cores=4,6
/proc/72980/task/73039/stat : 73039 (Common-Cleaner) S 72971 72980 72920 0 -1 4194368 719 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 1392309 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73061] ppid=72971 vsize=19063512 memory=5511872 CPUtime=0 cores=4,6
/proc/72980/task/73061/stat : 73061 (Timer-0) S 72971 72980 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792782 19521036288 1392309 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
Current children cumulated CPU time: 3300.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5569236 KiB

[startup+3342.3 s]
/proc/loadavg: 4.78 4.60 4.50 5/341 73510
/proc/meminfo: memFree=66281692/131249996 swapFree=33010160/33010684
[pid=72980] ppid=72971 vsize=19063512 memory=5837624 CPUtime=3360.4 cores=4,6
/proc/72980/stat : 72980 (java) S 72971 72980 72920 0 -1 4194304 160544 0 0 0 335812 228 0 0 20 0 20 0 67792749 19521036288 1459406 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
/proc/72980/statm: 4765878 1459406 5579 1 0 1556472 0
[pid=72980/tid=72995] ppid=72971 vsize=19063512 memory=16580 CPUtime=3314.34 cores=4,6
/proc/72980/task/72995/stat : 72995 (java) R 72971 72980 72920 0 -1 4194368 70933 0 0 0 331361 73 0 0 20 0 20 0 67792751 19521036288 1459406 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73029] ppid=72971 vsize=19063512 memory=5757752 CPUtime=0 cores=4,6
/proc/72980/task/73029/stat : 73029 (Finalizer) S 72971 72980 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 1459406 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73039] ppid=72971 vsize=19063512 memory=5757752 CPUtime=0 cores=4,6
/proc/72980/task/73039/stat : 73039 (Common-Cleaner) S 72971 72980 72920 0 -1 4194368 795 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 1459406 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73061] ppid=72971 vsize=19063512 memory=18432 CPUtime=0 cores=4,6
/proc/72980/task/73061/stat : 73061 (Timer-0) S 72971 72980 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792782 19521036288 1459406 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
Current children cumulated CPU time: 3360.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5837624 KiB

[startup+3402.3 s]
/proc/loadavg: 4.64 4.60 4.51 5/341 73512
/proc/meminfo: memFree=66133964/131249996 swapFree=33010160/33010684
[pid=72980] ppid=72971 vsize=19063512 memory=5985080 CPUtime=3420.42 cores=4,6
/proc/72980/stat : 72980 (java) S 72971 72980 72920 0 -1 4194304 162759 0 0 0 341809 233 0 0 20 0 20 0 67792749 19521036288 1496270 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
/proc/72980/statm: 4765878 1496270 5579 1 0 1556472 0
[pid=72980/tid=72995] ppid=72971 vsize=19063512 memory=16580 CPUtime=3373.99 cores=4,6
/proc/72980/task/72995/stat : 72995 (java) R 72971 72980 72920 0 -1 4194368 72113 0 0 0 337321 78 0 0 20 0 20 0 67792751 19521036288 1496270 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73029] ppid=72971 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/72980/task/73029/stat : 73029 (Finalizer) S 72971 72980 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 1496270 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73039] ppid=72971 vsize=19063512 memory=16580 CPUtime=0 cores=4,6
/proc/72980/task/73039/stat : 73039 (Common-Cleaner) S 72971 72980 72920 0 -1 4194368 872 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 1496270 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73061] ppid=72971 vsize=19063512 memory=5843768 CPUtime=0 cores=4,6
/proc/72980/task/73061/stat : 73061 (Timer-0) S 72971 72980 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792782 19521036288 1496270 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
Current children cumulated CPU time: 3420.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5985080 KiB

[startup+3462.3 s]
/proc/loadavg: 4.58 4.58 4.51 5/340 73514
/proc/meminfo: memFree=66129708/131249996 swapFree=33010160/33010684
[pid=72980] ppid=72971 vsize=19063512 memory=5987132 CPUtime=3480.69 cores=4,6
/proc/72980/stat : 72980 (java) S 72971 72980 72920 0 -1 4194304 165396 0 0 0 347834 235 0 0 20 0 20 0 67792749 19521036288 1496783 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
/proc/72980/statm: 4765878 1496783 5579 1 0 1556472 0
[pid=72980/tid=72995] ppid=72971 vsize=19063512 memory=16580 CPUtime=3433.44 cores=4,6
/proc/72980/task/72995/stat : 72995 (java) R 72971 72980 72920 0 -1 4194368 73342 0 0 0 343266 78 0 0 20 0 20 0 67792751 19521036288 1496783 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73029] ppid=72971 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/72980/task/73029/stat : 73029 (Finalizer) S 72971 72980 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 1496783 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73039] ppid=72971 vsize=19063512 memory=16580 CPUtime=0 cores=4,6
/proc/72980/task/73039/stat : 73039 (Common-Cleaner) S 72971 72980 72920 0 -1 4194368 872 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 1496783 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73061] ppid=72971 vsize=19063512 memory=5987132 CPUtime=0 cores=4,6
/proc/72980/task/73061/stat : 73061 (Timer-0) S 72971 72980 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792782 19521036288 1496783 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
Current children cumulated CPU time: 3480.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5987132 KiB

[startup+3522.3 s]
/proc/loadavg: 4.56 4.58 4.51 5/339 73516
/proc/meminfo: memFree=66129496/131249996 swapFree=33010160/33010684
[pid=72980] ppid=72971 vsize=19063512 memory=5987132 CPUtime=3541.19 cores=4,6
/proc/72980/stat : 72980 (java) S 72971 72980 72920 0 -1 4194304 167770 0 0 0 353883 236 0 0 20 0 20 0 67792749 19521036288 1496783 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
/proc/72980/statm: 4765878 1496783 5579 1 0 1556472 0
[pid=72980/tid=72995] ppid=72971 vsize=19063512 memory=5987132 CPUtime=3492.62 cores=4,6
/proc/72980/task/72995/stat : 72995 (java) R 72971 72980 72920 0 -1 4194368 74449 0 0 0 349184 78 0 0 20 0 20 0 67792751 19521036288 1496783 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73029] ppid=72971 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/72980/task/73029/stat : 73029 (Finalizer) S 72971 72980 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 1496783 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73039] ppid=72971 vsize=19063512 memory=5987132 CPUtime=0 cores=4,6
/proc/72980/task/73039/stat : 73039 (Common-Cleaner) S 72971 72980 72920 0 -1 4194368 904 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 1496783 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73061] ppid=72971 vsize=19063512 memory=16580 CPUtime=0 cores=4,6
/proc/72980/task/73061/stat : 73061 (Timer-0) S 72971 72980 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792782 19521036288 1496783 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
Current children cumulated CPU time: 3541.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5987132 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3581 s]*
/proc/loadavg: 4.81 4.68 4.55 6/338 73650
/proc/meminfo: memFree=92113804/131249996 swapFree=33010160/33010684
[pid=72980] ppid=72971 vsize=19063512 memory=5987132 CPUtime=3600.09 cores=4,6
/proc/72980/stat : 72980 (java) S 72971 72980 72920 0 -1 4194304 169308 0 0 0 359771 238 0 0 20 0 20 0 67792749 19521036288 1496783 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
/proc/72980/statm: 4765878 1496783 5579 1 0 1556472 0
[pid=72980/tid=72995] ppid=72971 vsize=19063512 memory=-6000919472756779368 CPUtime=3550.83 cores=4,6
/proc/72980/task/72995/stat : 72995 (java) R 72971 72980 72920 0 -1 4194368 75569 0 0 0 355005 78 0 0 20 0 20 0 67792751 19521036288 1496783 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73029] ppid=72971 vsize=19063512 memory=4480 CPUtime=0 cores=4,6
/proc/72980/task/73029/stat : 73029 (Finalizer) S 72971 72980 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 1496783 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73039] ppid=72971 vsize=19063512 memory=1792 CPUtime=0 cores=4,6
/proc/72980/task/73039/stat : 73039 (Common-Cleaner) S 72971 72980 72920 0 -1 4194368 951 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 1496783 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73061] ppid=72971 vsize=19063512 memory=-6000919502754507112 CPUtime=0 cores=4,6
/proc/72980/task/73061/stat : 73061 (Timer-0) S 72971 72980 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792782 19521036288 1496783 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5987132 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3581.17 s]
# the end of solver process 72980 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3597.99 s, system=2.41248 s

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

[startup+3581.11 s]
/proc/loadavg: 4.81 4.68 4.55 6/338 73650
/proc/meminfo: memFree=92113804/131249996 swapFree=33010160/33010684
[pid=72980] ppid=72971 vsize=19263204 memory=5987772 CPUtime=3600.3 cores=4,6
/proc/72980/stat : 72980 (java) S 72971 72980 72920 0 -1 4194304 171892 0 0 0 359791 239 0 0 20 0 21 0 67792749 19725520896 1496943 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
/proc/72980/statm: 4815801 1496943 5579 1 0 1557423 0
[pid=72980/tid=72995] ppid=72971 vsize=19263204 memory=16580 CPUtime=3550.93 cores=4,6
/proc/72980/task/72995/stat : 72995 (java) R 72971 72980 72920 0 -1 4194368 75902 0 0 0 355015 78 0 0 20 0 21 0 67792751 19725520896 1496943 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73029] ppid=72971 vsize=19263204 memory=3200 CPUtime=0 cores=4,6
/proc/72980/task/73029/stat : 73029 (Finalizer) S 72971 72980 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67792753 19725520896 1496943 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
[pid=72980/tid=73039] ppid=72971 vsize=19263204 memory=5987132 CPUtime=0 cores=4,6
/proc/72980/task/73039/stat : 73039 (Common-Cleaner) S 72971 72980 72920 0 -1 4194368 951 0 0 0 0 0 0 0 20 0 21 0 67792753 19725520896 1496943 18446744073709551615 94162518802432 94162518806128 140726419823872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94162518813944 94162518814736 94162539020288 140726419827073 140726419827174 140726419827174 140726419832776 0
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 5987772 KiB

Child status: 143

Real time (s): 3581.17
CPU time (s): 3600.4
CPU user time (s): 3597.99
CPU system time (s): 2.41248
CPU usage (%): 100.537
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 5987772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.99
system time used= 2.41248
maximum resident set size= 5987900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172235
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113211
involuntary context switches= 6372


# summary of solver processes directly reported to runsolver:
#   pid: 72980
#   total CPU time (s): 3600.4
#   total CPU user time (s): 3597.99
#   total CPU system time (s): 2.41248

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.51955 second user time and 16.8214 second system time

The end

Begin job on nodeC032 at 2025-07-03 07:39:01
IDJOB=4509432
IDBENCH=158618
IDSOLVER=3363
FILE ID=nodeC032/4509432-1751521141
RUNJOBID= nodeC032-1751521141-72931
SLURM_JOB_ID= 9598644
Free space on /tmp= 430572 MiB

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

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

MD5SUM BENCH= a65412b792c5c6c9e427350dbe88f8fc
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.923
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		: 2035.572
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.845
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		: 2872.908
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.810
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		: 1476.176
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.671
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		: 2324.173
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:        113280924 kB
MemAvailable:   129615916 kB
Buffers:            2728 kB
Cached:         17014296 kB
SwapCached:           20 kB
Active:           437740 kB
Inactive:       16644836 kB
Active(anon):      80476 kB
Inactive(anon):     3124 kB
Active(file):     357264 kB
Inactive(file): 16641712 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1944 kB
Writeback:             0 kB
AnonPages:         68572 kB
Mapped:           103436 kB
Shmem:             18048 kB
KReclaimable:     350508 kB
Slab:             444060 kB
SReclaimable:     350508 kB
SUnreclaim:        93552 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:     338776 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 08:38:42