Trace number 4424855

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07MSAT (TO) 3600.2 3588.54

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-91-90--soft-33-100-0.wbo
MD5SUMec58dba4412352f1670990b2e8a914b8
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.376972
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables8190
Total number of constraints181
Number of soft constraints121
Number of constraints which are clauses91
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint90
Maximum length of a constraint91
Top cost 5805
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 5804
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 92
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.11	--- Begin Solver configuration ---
0.14/0.11	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.11	Learn all clauses as in MiniSAT
0.14/0.11	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.11	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.11	No reason simplification
0.14/0.11	Glucose 2.1 dynamic restart strategy
0.14/0.11	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.14/0.11	timeout=2147483s
0.14/0.11	DB Simplification allowed=false
0.14/0.11	Listener: none
0.14/0.11	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4424855-1720881313.wbo
0.14/0.12	c reading problem ... 
0.14/0.19	c ... done. Wall clock time 0.066s.
0.14/0.19	c declared #vars     8190
0.14/0.19	c internal #vars     8311
0.14/0.19	c #constraints  182
0.14/0.19	c constraints type 
0.14/0.19	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 28
0.14/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 62
0.14/0.19	c org.sat4j.specs.Constr$1 => 1
0.14/0.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 91
0.14/0.19	c 182 constraints processed.
0.34/0.21	c objective function length is 121 literals
1.81/1.22	c cleaning 2497 clauses out of 5001 with flag 30056/5001
3.56/2.85	c cleaning 4249 clauses out of 8505 with flag 68085/11002
5.77/4.96	c cleaning 5625 clauses out of 11258 with flag 110678/18004
9.00/8.06	c cleaning 6805 clauses out of 13630 with flag 166517/26001
13.31/12.29	c cleaning 7907 clauses out of 15825 with flag 230259/35001
18.77/17.62	c cleaning 8952 clauses out of 17918 with flag 299398/45001
24.80/23.53	c cleaning 9977 clauses out of 19965 with flag 370958/56000
30.56/29.13	c cleaning 10990 clauses out of 21991 with flag 466502/68003
36.41/34.96	c cleaning 11992 clauses out of 23999 with flag 566588/81001
43.15/41.58	c cleaning 12996 clauses out of 26006 with flag 678553/95000
51.83/50.09	c cleaning 14001 clauses out of 28012 with flag 790184/110002
65.27/62.96	c cleaning 14999 clauses out of 30011 with flag 911571/126002
77.46/75.09	c cleaning 15999 clauses out of 32010 with flag 1039858/143000
89.90/87.37	c cleaning 17000 clauses out of 34012 with flag 1185158/161001
101.02/98.35	c SATISFIABLE
101.02/98.35	c OPTIMIZING...
101.02/98.35	c Got one! Elapsed wall clock time (in seconds):98.229
101.02/98.36	o 44
105.90/103.18	c cleaning 18679 clauses out of 37374 with flag 34432/181363
110.76/107.93	c cleaning 12344 clauses out of 24694 with flag 73183/187362
114.22/111.41	c cleaning 9672 clauses out of 19352 with flag 128679/194364
118.04/115.15	c cleaning 8836 clauses out of 17680 with flag 195327/202364
122.01/119.15	c cleaning 8921 clauses out of 17847 with flag 277066/211367
127.45/124.62	c cleaning 9456 clauses out of 18922 with flag 367532/221363
133.91/131.18	c cleaning 10228 clauses out of 20465 with flag 465288/232362
141.72/139.10	c cleaning 11107 clauses out of 22237 with flag 575446/244362
147.81/144.97	c cleaning 12057 clauses out of 24130 with flag 700851/257362
155.79/152.68	c cleaning 13033 clauses out of 26074 with flag 831927/271363
163.14/159.90	c cleaning 14014 clauses out of 28040 with flag 965901/286362
172.02/168.88	c cleaning 15009 clauses out of 30027 with flag 1098509/302363
183.12/179.86	c cleaning 16002 clauses out of 32017 with flag 1250609/319362
194.47/191.02	c cleaning 17001 clauses out of 34015 with flag 1409902/337362
212.03/208.47	c cleaning 18001 clauses out of 36016 with flag 1588733/356364
227.60/223.80	c cleaning 19000 clauses out of 38014 with flag 1770436/376363
244.78/240.91	c cleaning 20001 clauses out of 40014 with flag 1958897/397363
264.56/260.62	c cleaning 21001 clauses out of 42014 with flag 2155150/419364
285.19/280.36	c cleaning 22003 clauses out of 44013 with flag 2364099/442364
306.85/301.99	c cleaning 22994 clauses out of 46008 with flag 2587658/466362
334.97/329.82	c cleaning 23999 clauses out of 48014 with flag 2817665/491362
362.50/357.48	c cleaning 24994 clauses out of 50016 with flag 3049058/517363
389.37/384.06	c cleaning 26007 clauses out of 52021 with flag 3281461/544362
421.16/415.94	c cleaning 27002 clauses out of 54019 with flag 3526872/572367
455.67/449.50	c cleaning 27994 clauses out of 56012 with flag 3778467/601362
489.39/483.23	c cleaning 29000 clauses out of 58018 with flag 4048742/631362
530.65/524.56	c cleaning 30003 clauses out of 60019 with flag 4326010/662363
573.56/567.32	c cleaning 31003 clauses out of 62017 with flag 4613676/694364
617.93/611.67	c cleaning 31996 clauses out of 64013 with flag 4896578/727363
667.93/661.50	c cleaning 33003 clauses out of 66018 with flag 5210559/761364
718.95/711.51	c cleaning 33999 clauses out of 68013 with flag 5529324/796362
773.48/766.07	c cleaning 34997 clauses out of 70014 with flag 5867519/832362
836.90/829.56	c cleaning 36003 clauses out of 72017 with flag 6194666/869362
897.59/890.01	c cleaning 37002 clauses out of 74014 with flag 6527401/907362
969.28/961.75	c cleaning 37996 clauses out of 76012 with flag 6876352/946362
1044.00/1036.49	c cleaning 39002 clauses out of 78016 with flag 7232245/986362
1101.79/1094.02	c Got one! Elapsed wall clock time (in seconds):1093.894
1101.79/1094.02	o 29
1110.49/1102.56	c cleaning 38181 clauses out of 76373 with flag 36282/1023721
1116.57/1108.64	c cleaning 22090 clauses out of 44192 with flag 83052/1029721
1120.56/1112.66	c cleaning 14545 clauses out of 29102 with flag 144213/1036721
1125.31/1117.37	c cleaning 11267 clauses out of 22557 with flag 210611/1044721
1129.59/1121.65	c cleaning 10139 clauses out of 20290 with flag 287908/1053721
1134.33/1126.32	c cleaning 10066 clauses out of 20152 with flag 377551/1063722
1138.91/1130.98	c cleaning 10537 clauses out of 21086 with flag 471355/1074722
1144.99/1136.93	c cleaning 11267 clauses out of 22553 with flag 575965/1086726
1151.67/1143.63	c cleaning 12135 clauses out of 24283 with flag 690092/1099723
1159.25/1151.17	c cleaning 13068 clauses out of 26147 with flag 817054/1113722
1169.51/1161.46	c cleaning 14029 clauses out of 28078 with flag 945369/1128721
1179.95/1171.89	c cleaning 15021 clauses out of 30049 with flag 1084768/1144721
1190.32/1182.21	c cleaning 16004 clauses out of 32028 with flag 1229920/1161721
1202.64/1194.53	c cleaning 17001 clauses out of 34024 with flag 1390040/1179721
1215.22/1207.18	c cleaning 18008 clauses out of 36025 with flag 1572587/1198723
1230.82/1222.62	c cleaning 19001 clauses out of 38016 with flag 1775990/1218722
1246.29/1237.43	c cleaning 20000 clauses out of 40019 with flag 1971612/1239726
1265.55/1256.55	c cleaning 21002 clauses out of 42014 with flag 2182945/1261721
1285.29/1276.19	c cleaning 21999 clauses out of 44012 with flag 2401643/1284721
1306.89/1297.61	c cleaning 23002 clauses out of 46013 with flag 2636558/1308721
1327.40/1318.02	c cleaning 24000 clauses out of 48016 with flag 2871556/1333726
1350.07/1340.61	c cleaning 24996 clauses out of 50011 with flag 3109461/1359721
1378.40/1369.03	c cleaning 25997 clauses out of 52015 with flag 3371952/1386721
1403.43/1394.20	c cleaning 26999 clauses out of 54020 with flag 3637294/1414723
1432.84/1423.65	c cleaning 28004 clauses out of 56022 with flag 3894086/1443724
1465.61/1456.30	c cleaning 28998 clauses out of 58016 with flag 4180280/1473722
1498.97/1489.63	c cleaning 30001 clauses out of 60018 with flag 4450251/1504722
1533.48/1524.10	c cleaning 31002 clauses out of 62017 with flag 4737613/1536722
1572.37/1563.03	c cleaning 32003 clauses out of 64017 with flag 5067257/1569724
1613.76/1604.45	c cleaning 32999 clauses out of 66014 with flag 5381716/1603724
1663.30/1653.73	c cleaning 34001 clauses out of 68013 with flag 5710250/1638722
1712.15/1702.43	c cleaning 34997 clauses out of 70011 with flag 6067793/1674721
1764.83/1754.86	c cleaning 36002 clauses out of 72015 with flag 6436271/1711722
1822.85/1811.58	c cleaning 37001 clauses out of 74017 with flag 6755179/1749726
1880.28/1869.28	c cleaning 37999 clauses out of 76011 with flag 7122100/1788721
1938.25/1927.13	c cleaning 39002 clauses out of 78013 with flag 7498283/1828722
2009.07/1998.38	c cleaning 40002 clauses out of 80012 with flag 7851270/1869723
2078.86/2068.10	c cleaning 41001 clauses out of 82009 with flag 8248748/1911722
2141.18/2130.33	c cleaning 41995 clauses out of 84008 with flag 8641343/1954722
2204.61/2193.75	c cleaning 43002 clauses out of 86013 with flag 9010081/1998722
2273.72/2263.20	c cleaning 44001 clauses out of 88013 with flag 9392093/2043724
2336.15/2325.70	c cleaning 44995 clauses out of 90009 with flag 9745294/2089721
2419.17/2408.50	c cleaning 46004 clauses out of 92017 with flag 10137067/2136724
2514.59/2504.06	c cleaning 46998 clauses out of 94010 with flag 10539271/2184721
2599.95/2589.35	c cleaning 47995 clauses out of 96014 with flag 10963440/2233723
2687.32/2676.96	c cleaning 49001 clauses out of 98018 with flag 11367206/2283722
2769.18/2757.50	c cleaning 50001 clauses out of 100019 with flag 11741228/2334724
2858.37/2847.17	c cleaning 51004 clauses out of 102020 with flag 12109181/2386726
2953.39/2942.15	c cleaning 51996 clauses out of 104013 with flag 12508631/2439723
3065.07/3054.04	c cleaning 53001 clauses out of 106015 with flag 12964407/2493721
3178.47/3167.70	c cleaning 53999 clauses out of 108014 with flag 13382202/2548721
3296.72/3285.51	c cleaning 55001 clauses out of 110015 with flag 13844999/2604721
3378.01/3366.67	c Got one! Elapsed wall clock time (in seconds):3366.543
3378.01/3366.67	o 8
3384.09/3372.73	c cleaning 51449 clauses out of 102911 with flag 43834/2652618
3389.67/3378.35	c cleaning 28724 clauses out of 57463 with flag 101037/2658619
3393.57/3382.23	c cleaning 17859 clauses out of 35738 with flag 174237/2665618
3397.06/3385.74	c cleaning 12932 clauses out of 25880 with flag 253255/2673619
3400.87/3389.46	c cleaning 10966 clauses out of 21947 with flag 337209/2682618
3405.16/3393.79	c cleaning 10482 clauses out of 20982 with flag 427346/2692619
3410.05/3398.60	c cleaning 10742 clauses out of 21503 with flag 525259/2703622
3415.23/3403.83	c cleaning 11369 clauses out of 22757 with flag 631073/2715618
3420.90/3409.41	c cleaning 12190 clauses out of 24387 with flag 750802/2728617
3427.99/3416.50	c cleaning 13093 clauses out of 26199 with flag 885615/2742619
3435.47/3424.01	c cleaning 14045 clauses out of 28105 with flag 1026845/2757618
3444.60/3433.17	c cleaning 15021 clauses out of 30060 with flag 1172447/2773618
3454.67/3443.25	c cleaning 16013 clauses out of 32038 with flag 1324402/2790617
3468.77/3457.28	c cleaning 17009 clauses out of 34027 with flag 1484605/2808619
3486.63/3475.13	c cleaning 17999 clauses out of 36016 with flag 1662975/2827617
3503.43/3491.87	c cleaning 19002 clauses out of 38017 with flag 1843162/2847617
3519.89/3508.34	c cleaning 20000 clauses out of 40015 with flag 2043835/2868617
3532.78/3521.14	c cleaning 21003 clauses out of 42019 with flag 2241921/2890621
3548.63/3537.08	c cleaning 21995 clauses out of 44012 with flag 2444174/2913617
3567.33/3555.76	c cleaning 23004 clauses out of 46019 with flag 2664881/2937619
3596.66/3585.18	c cleaning 23999 clauses out of 48014 with flag 2895453/2962618
3600.00/3588.43	c starts		: 9
3600.00/3588.43	c conflicts		: 2966761
3600.00/3588.43	c decisions		: 3332226
3600.00/3588.43	c propagations		: 37153436
3600.00/3588.43	c inspects		: 11973703124
3600.00/3588.43	c shortcuts		: 0
3600.00/3588.43	c learnt literals	: 0
3600.00/3588.43	c learnt binary clauses	: 0
3600.00/3588.43	c learnt ternary clauses	: 0
3600.00/3588.43	c learnt constraints	: 2966761
3600.00/3588.43	c ignored constraints	: 0
3600.00/3588.43	c root simplifications	: 0
3600.00/3588.43	c removed literals (reason simplification)	: 0
3600.00/3588.43	c reason swapping (by a shorter reason)	: 0
3600.00/3588.43	c Calls to reduceDB	: 123
3600.00/3588.43	c Number of update (reduction) of LBD	: 1502341
3600.00/3588.43	c Imported unit clauses	: 0
3600.00/3588.43	c No decision after first conflict	: false
3600.00/3588.43	c number of reductions to clauses (during analyze)	: 0
3600.00/3588.43	c number of learned constraints concerned by reduction	: 0
3600.00/3588.43	c number of learning phase by resolution	: 0
3600.00/3588.43	c number of learning phase by cutting planes	: 0
3600.00/3588.44	c number of rounding to 1 operations	: 0
3600.00/3588.44	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3588.44	c number of reductions of the coefficients by power 2 	: 0
3600.00/3588.44	c number of right shift for reduction by power 2 	: 0
3600.00/3588.44	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3588.44	c number of ending skipping 	: 0
3600.00/3588.44	c number of internal skipping 	: 0
3600.00/3588.44	c number of derivation steps 	: 0
3600.00/3588.44	c number of skipped derivation steps 	: 0
3600.00/3588.44	c number of remaining unassigned 	: 0
3600.00/3588.44	c number of remaining assigned 	: 0
3600.00/3588.44	c number of falsified literals weakened from reason	: 0
3600.00/3588.44	c number of falsified literals weakened from conflict	: 0
3600.00/3588.44	c time for arithmetic operations	: 0
3600.00/3588.44	c minimum degree of deleted constraints	: null
3600.00/3588.44	c maximum degree of deleted constraints	: null
3600.00/3588.44	c number of deleted constraints	: 0
3600.00/3588.44	c speed (assignments/second)	: 10354.294823470722
3600.00/3588.44	c non guided choices	: 31448
3600.00/3588.46	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 28158
3600.00/3588.46	s SATISFIABLE
3600.00/3588.46	c Found 3 solution(s)
3600.00/3588.46	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 
3600.00/3588.48	c timeout
3600.00/3588.48	c objective function=8
3600.00/3588.48	c Total wall clock time (in seconds): 3588.355

Verifier Data 

OK	8

Watcher Data 

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: 63931 MiB (63014 MiB free)
  memory of node 1: 64510 MiB (63545 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424855-1720881313/watcher-4424855-1720881313 -o /tmp/evaluation-result-4424855-1720881313/solver-4424855-1720881313 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1720881326-708126 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424855-1720881313.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=708171, runsolver pid=708168
Current StackSize limit: 8192 KiB


[startup+0.10127 s]*
/proc/loadavg: 1.06 1.10 1.17 12/327 708258
/proc/meminfo: memFree=129441704/131524600 swapFree=131071996/131071996
[pid=708171] ppid=708168 vsize=18975048 memory=63396 CPUtime=0.14 cores=0,2
/proc/708171/stat : 708171 (java) S 708168 708171 703901 0 -1 1077936128 7259 0 0 0 13 1 0 0 20 0 18 0 140301062 19430449152 15849 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
/proc/708171/statm: 4743762 15849 5707 1 0 549353 0
[pid=708171/tid=708173] ppid=708168 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=0,2
/proc/708171/task/708173/stat : 708173 (java) R 708168 708171 703901 0 -1 4194368 5780 0 0 0 8 0 0 0 20 0 18 0 140301063 19430449152 15849 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708215] ppid=708168 vsize=18975048 memory=17963 CPUtime=0 cores=0,2
/proc/708171/task/708215/stat : 708215 (Finalizer) S 708168 708171 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140301065 19430449152 15849 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708227] ppid=708168 vsize=18975048 memory=14697378909259238 CPUtime=0 cores=0,2
/proc/708171/task/708227/stat : 708227 (Common-Cleaner) S 708168 708171 703901 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 140301066 19430449152 15849 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63396 KiB

[startup+0.212357 s]*
/proc/loadavg: 1.06 1.10 1.17 16/330 708261
/proc/meminfo: memFree=129388860/131524600 swapFree=131071996/131071996
[pid=708171] ppid=708168 vsize=18976076 memory=84880 CPUtime=0.34 cores=0,2
/proc/708171/stat : 708171 (java) S 708168 708171 703901 0 -1 1077936128 8898 0 0 0 32 2 0 0 20 0 19 0 140301062 19431501824 21220 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
/proc/708171/statm: 4744019 21220 5877 1 0 550685 0
[pid=708171/tid=708173] ppid=708168 vsize=18976076 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/708171/task/708173/stat : 708173 (java) S 708168 708171 703901 0 -1 1077936192 6023 0 0 0 17 1 0 0 20 0 19 0 140301063 19431501824 21220 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708215] ppid=708168 vsize=18976076 memory=17963 CPUtime=0 cores=0,2
/proc/708171/task/708215/stat : 708215 (Finalizer) S 708168 708171 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140301065 19431501824 21220 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708227] ppid=708168 vsize=18976076 memory=14697378909259238 CPUtime=0 cores=0,2
/proc/708171/task/708227/stat : 708227 (Common-Cleaner) S 708168 708171 703901 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140301066 19431501824 21220 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708261] ppid=708168 vsize=18976076 memory=0 CPUtime=0 cores=0,2
/proc/708171/task/708261/stat : 708261 (java) R 708168 708171 703901 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 19 0 140301084 19431501824 21220 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18976076 KiB
Current children cumulated memory: 84880 KiB

[startup+0.309899 s]*
/proc/loadavg: 1.06 1.10 1.17 11/331 708262
/proc/meminfo: memFree=129371580/131524600 swapFree=131071996/131071996
[pid=708171] ppid=708168 vsize=19041612 memory=87356 CPUtime=0.52 cores=0,2
/proc/708171/stat : 708171 (java) S 708168 708171 703901 0 -1 1077936128 9767 0 0 0 50 2 0 0 20 0 19 0 140301062 19498610688 21839 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
/proc/708171/statm: 4760403 21839 5877 1 0 551219 0
[pid=708171/tid=708173] ppid=708168 vsize=19041612 memory=-8816755476065067708 CPUtime=0.27 cores=0,2
/proc/708171/task/708173/stat : 708173 (java) R 708168 708171 703901 0 -1 4194368 6043 0 0 0 26 1 0 0 20 0 19 0 140301063 19498610688 21839 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708215] ppid=708168 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/708171/task/708215/stat : 708215 (Finalizer) S 708168 708171 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140301065 19498610688 21839 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708227] ppid=708168 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/708171/task/708227/stat : 708227 (Common-Cleaner) S 708168 708171 703901 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140301066 19498610688 21839 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708261] ppid=708168 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/708171/task/708261/stat : 708261 (Timer-0) S 708168 708171 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140301084 19498610688 21839 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 87356 KiB

[startup+0.703901 s]
/proc/loadavg: 1.06 1.10 1.17 12/331 708262
/proc/meminfo: memFree=129340092/131524600 swapFree=131071996/131071996
[pid=708171] ppid=708168 vsize=19041612 memory=114180 CPUtime=1.27 cores=0,2
/proc/708171/stat : 708171 (java) S 708168 708171 703901 0 -1 1077936128 10649 0 0 0 124 3 0 0 20 0 19 0 140301062 19498610688 28545 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
/proc/708171/statm: 4760403 28545 5892 1 0 551662 0
[pid=708171/tid=708173] ppid=708168 vsize=19041612 memory=12312 CPUtime=0.64 cores=0,2
/proc/708171/task/708173/stat : 708173 (java) R 708168 708171 703901 0 -1 4194368 6061 0 0 0 63 1 0 0 20 0 19 0 140301063 19498610688 28545 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708215] ppid=708168 vsize=19041612 memory=12312 CPUtime=0 cores=0,2
/proc/708171/task/708215/stat : 708215 (Finalizer) S 708168 708171 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140301065 19498610688 28545 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708227] ppid=708168 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/708171/task/708227/stat : 708227 (Common-Cleaner) S 708168 708171 703901 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140301066 19498610688 28545 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708261] ppid=708168 vsize=19041612 memory=2420 CPUtime=0 cores=0,2
/proc/708171/task/708261/stat : 708261 (Timer-0) S 708168 708171 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140301084 19498610688 28545 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 114180 KiB

[startup+1.5009 s]
/proc/loadavg: 1.06 1.10 1.17 6/331 708262
/proc/meminfo: memFree=129263488/131524600 swapFree=131071996/131071996
[pid=708171] ppid=708168 vsize=19041612 memory=162016 CPUtime=2.14 cores=0,2
/proc/708171/stat : 708171 (java) S 708168 708171 703901 0 -1 1077936128 12911 0 0 0 209 5 0 0 20 0 19 0 140301062 19498610688 40504 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
/proc/708171/statm: 4760403 40504 5908 1 0 551701 0
[pid=708171/tid=708173] ppid=708168 vsize=19041612 memory=12312 CPUtime=1.43 cores=0,2
/proc/708171/task/708173/stat : 708173 (java) R 708168 708171 703901 0 -1 4194368 7083 0 0 0 140 3 0 0 20 0 19 0 140301063 19498610688 40504 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708215] ppid=708168 vsize=19041612 memory=2420 CPUtime=0 cores=0,2
/proc/708171/task/708215/stat : 708215 (Finalizer) S 708168 708171 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140301065 19498610688 40504 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708227] ppid=708168 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/708171/task/708227/stat : 708227 (Common-Cleaner) S 708168 708171 703901 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140301066 19498610688 40504 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708261] ppid=708168 vsize=19041612 memory=37484 CPUtime=0 cores=0,2
/proc/708171/task/708261/stat : 708261 (Timer-0) S 708168 708171 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140301084 19498610688 40504 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
Current children cumulated CPU time: 2.14 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 162016 KiB

[startup+3.11191 s]
/proc/loadavg: 1.06 1.10 1.17 5/333 708264
/proc/meminfo: memFree=129046608/131524600 swapFree=131071996/131071996
[pid=708171] ppid=708168 vsize=19108176 memory=214576 CPUtime=3.94 cores=0,2
/proc/708171/stat : 708171 (java) S 708168 708171 703901 0 -1 1077936128 15939 0 0 0 388 6 0 0 20 0 20 0 140301062 19566772224 53644 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
/proc/708171/statm: 4777044 53644 5940 1 0 552190 0
[pid=708171/tid=708173] ppid=708168 vsize=19108176 memory=0 CPUtime=2.99 cores=0,2
/proc/708171/task/708173/stat : 708173 (java) R 708168 708171 703901 0 -1 4194368 7456 0 0 0 296 3 0 0 20 0 20 0 140301063 19566772224 53644 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708215] ppid=708168 vsize=19108176 memory=12312 CPUtime=0 cores=0,2
/proc/708171/task/708215/stat : 708215 (Finalizer) S 708168 708171 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301065 19566772224 53644 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708227] ppid=708168 vsize=19108176 memory=12316 CPUtime=0 cores=0,2
/proc/708171/task/708227/stat : 708227 (Common-Cleaner) S 708168 708171 703901 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 140301066 19566772224 53644 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708261] ppid=708168 vsize=19108176 memory=35024 CPUtime=0 cores=0,2
/proc/708171/task/708261/stat : 708261 (Timer-0) S 708168 708171 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301084 19566772224 53644 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
Current children cumulated CPU time: 3.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 214576 KiB

[startup+6.30091 s]
/proc/loadavg: 1.30 1.15 1.18 5/334 708265
/proc/meminfo: memFree=128747844/131524600 swapFree=131071996/131071996
[pid=708171] ppid=708168 vsize=19108176 memory=365736 CPUtime=7.32 cores=0,2
/proc/708171/stat : 708171 (java) S 708168 708171 703901 0 -1 1077936128 17722 0 0 0 723 9 0 0 20 0 20 0 140301062 19566772224 91434 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
/proc/708171/statm: 4777044 91434 5940 1 0 552729 0
[pid=708171/tid=708173] ppid=708168 vsize=19108176 memory=0 CPUtime=5.98 cores=0,2
/proc/708171/task/708173/stat : 708173 (java) R 708168 708171 703901 0 -1 4194368 7574 0 0 0 595 3 0 0 20 0 20 0 140301063 19566772224 91434 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708215] ppid=708168 vsize=19108176 memory=-8412654355410682227 CPUtime=0 cores=0,2
/proc/708171/task/708215/stat : 708215 (Finalizer) S 708168 708171 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301065 19566772224 91434 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708227] ppid=708168 vsize=19108176 memory=213592 CPUtime=0 cores=0,2
/proc/708171/task/708227/stat : 708227 (Common-Cleaner) S 708168 708171 703901 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 140301066 19566772224 91434 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708261] ppid=708168 vsize=19108176 memory=12312 CPUtime=0 cores=0,2
/proc/708171/task/708261/stat : 708261 (Timer-0) S 708168 708171 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301084 19566772224 91434 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
Current children cumulated CPU time: 7.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 365736 KiB

[startup+12.7009 s]
/proc/loadavg: 1.51 1.20 1.20 5/334 708267
/proc/meminfo: memFree=128345832/131524600 swapFree=131071996/131071996
[pid=708171] ppid=708168 vsize=19108176 memory=561412 CPUtime=13.81 cores=0,2
/proc/708171/stat : 708171 (java) S 708168 708171 703901 0 -1 1077936128 20946 0 0 0 1368 13 0 0 20 0 20 0 140301062 19566772224 140353 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
/proc/708171/statm: 4777044 140353 5953 1 0 659238 0
[pid=708171/tid=708173] ppid=708168 vsize=19108176 memory=0 CPUtime=12.16 cores=0,2
/proc/708171/task/708173/stat : 708173 (java) R 708168 708171 703901 0 -1 4194368 8928 0 0 0 1213 3 0 0 20 0 20 0 140301063 19566772224 140353 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708215] ppid=708168 vsize=19108176 memory=-8599457893556069052 CPUtime=0 cores=0,2
/proc/708171/task/708215/stat : 708215 (Finalizer) S 708168 708171 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301065 19566772224 140353 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708227] ppid=708168 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/708171/task/708227/stat : 708227 (Common-Cleaner) S 708168 708171 703901 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 140301066 19566772224 140353 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708261] ppid=708168 vsize=19108176 memory=12316 CPUtime=0 cores=0,2
/proc/708171/task/708261/stat : 708261 (Timer-0) S 708168 708171 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301084 19566772224 140353 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
Current children cumulated CPU time: 13.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 561412 KiB

[startup+25.5003 s]
/proc/loadavg: 2.14 1.35 1.25 5/335 708269
/proc/meminfo: memFree=127109880/131524600 swapFree=131071996/131071996
[pid=708171] ppid=708168 vsize=19108176 memory=972020 CPUtime=26.87 cores=0,2
/proc/708171/stat : 708171 (java) S 708168 708171 703901 0 -1 1077936128 26624 0 0 0 2666 21 0 0 20 0 20 0 140301062 19566772224 243005 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
/proc/708171/statm: 4777044 243005 5953 1 0 659248 0
[pid=708171/tid=708173] ppid=708168 vsize=19108176 memory=12316 CPUtime=24.62 cores=0,2
/proc/708171/task/708173/stat : 708173 (java) R 708168 708171 703901 0 -1 4194368 10135 0 0 0 2458 4 0 0 20 0 20 0 140301063 19566772224 243005 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708215] ppid=708168 vsize=19108176 memory=869580 CPUtime=0 cores=0,2
/proc/708171/task/708215/stat : 708215 (Finalizer) S 708168 708171 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301065 19566772224 243005 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708227] ppid=708168 vsize=19108176 memory=7156590710032130642 CPUtime=0 cores=0,2
/proc/708171/task/708227/stat : 708227 (Common-Cleaner) S 708168 708171 703901 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 140301066 19566772224 243005 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708261] ppid=708168 vsize=19108176 memory=869584 CPUtime=0 cores=0,2
/proc/708171/task/708261/stat : 708261 (Timer-0) S 708168 708171 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301084 19566772224 243005 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
Current children cumulated CPU time: 26.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 972020 KiB

[startup+51.1059 s]
/proc/loadavg: 2.83 1.58 1.33 5/334 708274
/proc/meminfo: memFree=125435136/131524600 swapFree=131071996/131071996
[pid=708171] ppid=708168 vsize=19108176 memory=1741176 CPUtime=52.92 cores=0,2
/proc/708171/stat : 708171 (java) S 708168 708171 703901 0 -1 1077936128 30000 0 0 0 5256 36 0 0 20 0 20 0 140301062 19566772224 435294 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
/proc/708171/statm: 4777044 435294 5953 1 0 786670 0
[pid=708171/tid=708173] ppid=708168 vsize=19108176 memory=35024 CPUtime=49.55 cores=0,2

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

[startup+3282.3 s]
/proc/loadavg: 4.19 4.17 4.10 5/332 710047
/proc/meminfo: memFree=102192312/131524600 swapFree=131071996/131071996
[pid=708171] ppid=708168 vsize=19108176 memory=9782988 CPUtime=3293.53 cores=0,2
/proc/708171/stat : 708171 (java) S 708168 708171 703901 0 -1 1077936128 313685 0 0 0 329041 312 0 0 20 0 20 0 140301062 19566772224 2445747 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
/proc/708171/statm: 4777044 2445747 5953 1 0 3191347 0
[pid=708171/tid=708173] ppid=708168 vsize=19108176 memory=9782988 CPUtime=3235.79 cores=0,2
/proc/708171/task/708173/stat : 708173 (java) R 708168 708171 703901 0 -1 4194368 121622 0 0 0 323503 76 0 0 20 0 20 0 140301063 19566772224 2445747 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708215] ppid=708168 vsize=19108176 memory=9782988 CPUtime=0 cores=0,2
/proc/708171/task/708215/stat : 708215 (Finalizer) S 708168 708171 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301065 19566772224 2445747 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708227] ppid=708168 vsize=19108176 memory=9782988 CPUtime=0 cores=0,2
/proc/708171/task/708227/stat : 708227 (Common-Cleaner) S 708168 708171 703901 0 -1 1077936192 3206 0 0 0 0 0 0 0 20 0 20 0 140301066 19566772224 2445747 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708261] ppid=708168 vsize=19108176 memory=9782988 CPUtime=0 cores=0,2
/proc/708171/task/708261/stat : 708261 (Timer-0) S 708168 708171 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301084 19566772224 2445747 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
Current children cumulated CPU time: 3293.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9782988 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.15 4.09 6/336 710118
/proc/meminfo: memFree=101969384/131524600 swapFree=131071996/131071996
[pid=708171] ppid=708168 vsize=19108176 memory=9782988 CPUtime=3353.77 cores=0,2
/proc/708171/stat : 708171 (java) S 708168 708171 703901 0 -1 1077936128 320194 0 0 0 335064 313 0 0 20 0 20 0 140301062 19566772224 2445747 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
/proc/708171/statm: 4777044 2445747 5953 1 0 3191347 0
[pid=708171/tid=708173] ppid=708168 vsize=19108176 memory=9782988 CPUtime=3295.2 cores=0,2
/proc/708171/task/708173/stat : 708173 (java) R 708168 708171 703901 0 -1 4194368 124505 0 0 0 329444 76 0 0 20 0 20 0 140301063 19566772224 2445747 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708215] ppid=708168 vsize=19108176 memory=-8599457893556069052 CPUtime=0 cores=0,2
/proc/708171/task/708215/stat : 708215 (Finalizer) S 708168 708171 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301065 19566772224 2445747 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708227] ppid=708168 vsize=19108176 memory=12316 CPUtime=0 cores=0,2
/proc/708171/task/708227/stat : 708227 (Common-Cleaner) S 708168 708171 703901 0 -1 1077936192 3353 0 0 0 0 0 0 0 20 0 20 0 140301066 19566772224 2445747 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708261] ppid=708168 vsize=19108176 memory=9782988 CPUtime=0 cores=0,2
/proc/708171/task/708261/stat : 708261 (Timer-0) S 708168 708171 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301084 19566772224 2445747 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
Current children cumulated CPU time: 3353.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9782988 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/336 710128
/proc/meminfo: memFree=101965220/131524600 swapFree=131071996/131071996
[pid=708171] ppid=708168 vsize=19108176 memory=9782988 CPUtime=3413.74 cores=0,2
/proc/708171/stat : 708171 (java) S 708168 708171 703901 0 -1 1077936128 325772 0 0 0 341059 315 0 0 20 0 20 0 140301062 19566772224 2445747 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
/proc/708171/statm: 4777044 2445747 5953 1 0 3191347 0
[pid=708171/tid=708173] ppid=708168 vsize=19108176 memory=9782988 CPUtime=3354.9 cores=0,2
/proc/708171/task/708173/stat : 708173 (java) R 708168 708171 703901 0 -1 4194368 127142 0 0 0 335413 77 0 0 20 0 20 0 140301063 19566772224 2445747 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708215] ppid=708168 vsize=19108176 memory=5492 CPUtime=0 cores=0,2
/proc/708171/task/708215/stat : 708215 (Finalizer) S 708168 708171 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301065 19566772224 2445747 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708227] ppid=708168 vsize=19108176 memory=12312 CPUtime=0 cores=0,2
/proc/708171/task/708227/stat : 708227 (Common-Cleaner) S 708168 708171 703901 0 -1 1077936192 3400 0 0 0 0 0 0 0 20 0 20 0 140301066 19566772224 2445747 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708261] ppid=708168 vsize=19108176 memory=9782988 CPUtime=0 cores=0,2
/proc/708171/task/708261/stat : 708261 (Timer-0) S 708168 708171 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301084 19566772224 2445747 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
Current children cumulated CPU time: 3413.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9782988 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.15 4.09 6/336 710139
/proc/meminfo: memFree=101964652/131524600 swapFree=131071996/131071996
[pid=708171] ppid=708168 vsize=19108176 memory=9782992 CPUtime=3473.86 cores=0,2
/proc/708171/stat : 708171 (java) S 708168 708171 703901 0 -1 1077936128 327344 0 0 0 347068 318 0 0 20 0 20 0 140301062 19566772224 2445748 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
/proc/708171/statm: 4777044 2445748 5953 1 0 3191347 0
[pid=708171/tid=708173] ppid=708168 vsize=19108176 memory=12316 CPUtime=3414.42 cores=0,2
/proc/708171/task/708173/stat : 708173 (java) R 708168 708171 703901 0 -1 4194368 128304 0 0 0 341365 77 0 0 20 0 20 0 140301063 19566772224 2445748 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708215] ppid=708168 vsize=19108176 memory=9782992 CPUtime=0 cores=0,2
/proc/708171/task/708215/stat : 708215 (Finalizer) S 708168 708171 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301065 19566772224 2445748 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708227] ppid=708168 vsize=19108176 memory=9782992 CPUtime=0 cores=0,2
/proc/708171/task/708227/stat : 708227 (Common-Cleaner) S 708168 708171 703901 0 -1 1077936192 3400 0 0 0 0 0 0 0 20 0 20 0 140301066 19566772224 2445748 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708261] ppid=708168 vsize=19108176 memory=37484 CPUtime=0 cores=0,2
/proc/708171/task/708261/stat : 708261 (Timer-0) S 708168 708171 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301084 19566772224 2445748 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
Current children cumulated CPU time: 3473.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9782992 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.17 4.10 5/336 710150
/proc/meminfo: memFree=101964248/131524600 swapFree=131071996/131071996
[pid=708171] ppid=708168 vsize=19108176 memory=9783004 CPUtime=3533.97 cores=0,2
/proc/708171/stat : 708171 (java) S 708168 708171 703901 0 -1 1077936128 331606 0 0 0 353078 319 0 0 20 0 20 0 140301062 19566772224 2445751 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
/proc/708171/statm: 4777044 2445751 5953 1 0 3191347 0
[pid=708171/tid=708173] ppid=708168 vsize=19108176 memory=12316 CPUtime=3473.94 cores=0,2
/proc/708171/task/708173/stat : 708173 (java) R 708168 708171 703901 0 -1 4194368 129951 0 0 0 347317 77 0 0 20 0 20 0 140301063 19566772224 2445751 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708215] ppid=708168 vsize=19108176 memory=9783004 CPUtime=0 cores=0,2
/proc/708171/task/708215/stat : 708215 (Finalizer) S 708168 708171 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301065 19566772224 2445751 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708227] ppid=708168 vsize=19108176 memory=35152 CPUtime=0 cores=0,2
/proc/708171/task/708227/stat : 708227 (Common-Cleaner) S 708168 708171 703901 0 -1 1077936192 3450 0 0 0 0 0 0 0 20 0 20 0 140301066 19566772224 2445751 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708261] ppid=708168 vsize=19108176 memory=9783004 CPUtime=0 cores=0,2
/proc/708171/task/708261/stat : 708261 (Timer-0) S 708168 708171 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301084 19566772224 2445751 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
Current children cumulated CPU time: 3533.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9783004 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.13 4.09 4/309 710195
/proc/meminfo: memFree=116793716/131524600 swapFree=131071996/131071996
[pid=708171] ppid=708168 vsize=19108176 memory=9783004 CPUtime=3593.86 cores=0,2
/proc/708171/stat : 708171 (java) S 708168 708171 703901 0 -1 1077936128 333628 0 0 0 359066 320 0 0 20 0 20 0 140301062 19566772224 2445751 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
/proc/708171/statm: 4777044 2445751 5953 1 0 3191347 0
[pid=708171/tid=708173] ppid=708168 vsize=19108176 memory=12316 CPUtime=3533.7 cores=0,2
/proc/708171/task/708173/stat : 708173 (java) R 708168 708171 703901 0 -1 4194368 131764 0 0 0 353293 77 0 0 20 0 20 0 140301063 19566772224 2445751 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708215] ppid=708168 vsize=19108176 memory=2420 CPUtime=0 cores=0,2
/proc/708171/task/708215/stat : 708215 (Finalizer) S 708168 708171 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301065 19566772224 2445751 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708227] ppid=708168 vsize=19108176 memory=5492 CPUtime=0 cores=0,2
/proc/708171/task/708227/stat : 708227 (Common-Cleaner) S 708168 708171 703901 0 -1 1077936192 3540 0 0 0 0 0 0 0 20 0 20 0 140301066 19566772224 2445751 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708261] ppid=708168 vsize=19108176 memory=9783004 CPUtime=0 cores=0,2
/proc/708171/task/708261/stat : 708261 (Timer-0) S 708168 708171 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301084 19566772224 2445751 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
Current children cumulated CPU time: 3593.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9783004 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3588.4 s]
/proc/loadavg: 3.97 4.11 4.08 4/309 710195
/proc/meminfo: memFree=116742532/131524600 swapFree=131071996/131071996
[pid=708171] ppid=708168 vsize=19108176 memory=9834208 CPUtime=3600 cores=0,2
/proc/708171/stat : 708171 (java) S 708168 708171 703901 0 -1 1077936128 335853 0 0 0 359678 322 0 0 20 0 20 0 140301062 19566772224 2458552 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
/proc/708171/statm: 4777044 2458552 5953 1 0 3191347 0
[pid=708171/tid=708173] ppid=708168 vsize=19108176 memory=-8888809771568112316 CPUtime=3539.73 cores=0,2
/proc/708171/task/708173/stat : 708173 (java) R 708168 708171 703901 0 -1 4194368 131973 0 0 0 353896 77 0 0 20 0 20 0 140301063 19566772224 2458552 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708215] ppid=708168 vsize=19108176 memory=7751990764720395934 CPUtime=0 cores=0,2
/proc/708171/task/708215/stat : 708215 (Finalizer) S 708168 708171 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301065 19566772224 2458552 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708227] ppid=708168 vsize=19108176 memory=2228 CPUtime=0 cores=0,2
/proc/708171/task/708227/stat : 708227 (Common-Cleaner) S 708168 708171 703901 0 -1 1077936192 3540 0 0 0 0 0 0 0 20 0 20 0 140301066 19566772224 2458552 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708261] ppid=708168 vsize=19108176 memory=32004 CPUtime=0 cores=0,2
/proc/708171/task/708261/stat : 708261 (Timer-0) S 708168 708171 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301084 19566772224 2458552 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9834208 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.95 s, system=3.248 s

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

[startup+3588.5 s]
/proc/loadavg: 3.97 4.11 4.08 4/309 710195
/proc/meminfo: memFree=116742532/131524600 swapFree=131071996/131071996
[pid=708171] ppid=708168 vsize=19307868 memory=9834900 CPUtime=3600.17 cores=0,2
/proc/708171/stat : 708171 (java) S 708168 708171 703901 0 -1 1077936128 339198 0 0 0 359695 322 0 0 20 0 15 0 140301062 19771256832 2458725 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
/proc/708171/statm: 4826967 2458725 5968 1 0 3192269 0
[pid=708171/tid=708173] ppid=708168 vsize=19307868 memory=5492 CPUtime=3539.8 cores=0,2
/proc/708171/task/708173/stat : 708173 (java) S 708168 708171 703901 0 -1 1077936192 132106 0 0 0 353903 77 0 0 20 0 15 0 140301063 19771256832 2458725 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708215] ppid=708168 vsize=19307868 memory=35152 CPUtime=0 cores=0,2
/proc/708171/task/708215/stat : 708215 (Finalizer) S 708168 708171 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 140301065 19771256832 2458725 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
[pid=708171/tid=708227] ppid=708168 vsize=19307868 memory=-8599457893556069052 CPUtime=0 cores=0,2
/proc/708171/task/708227/stat : 708227 (Common-Cleaner) S 708168 708171 703901 0 -1 1077936192 3540 0 0 0 0 0 0 0 20 0 15 0 140301066 19771256832 2458725 134679101440 94640411086848 94640411090544 140730735236080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640411098360 94640411099152 94640415698944 140730735244269 140730735244359 140730735244359 140730735251400 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 9834900 KiB

Child status: 143

Real time (s): 3588.54
CPU time (s): 3600.2
CPU user time (s): 3596.95
CPU system time (s): 3.248
CPU usage (%): 100.325
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 9834900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.95
system time used= 3.248
maximum resident set size= 9835864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 339247
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111463
involuntary context switches= 35717


# summary of solver processes directly reported to runsolver:
#   pid: 708171
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3596.95
#   total CPU system time (s): 3.248

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.6537 second user time and 18.0661 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-13 16:35:26
IDJOB=4424855
IDBENCH=143495
IDSOLVER=3037
FILE ID=nodeC033/4424855-1720881313
RUNJOBID= nodeC033-1720881326-708126
SLURM_JOB_ID= 7483774
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-91-90--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424855-1720881313/watcher-4424855-1720881313 -o /tmp/evaluation-result-4424855-1720881313/solver-4424855-1720881313 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1720881326-708126 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4424855-1720881313.wbo

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

MD5SUM BENCH= ec58dba4412352f1670990b2e8a914b8
RANDOM SEED=1211026060

nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3648.313
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
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		: 2147.621
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
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		: 3628.511
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
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		: 1831.418
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
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		: 3631.256
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
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		: 1953.307
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
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		: 3675.461
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
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		: 2140.918
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129599896 kB
MemAvailable:   129746792 kB
Buffers:          319792 kB
Cached:           671776 kB
SwapCached:            0 kB
Active:           475440 kB
Inactive:         889740 kB
Active(anon):       1484 kB
Inactive(anon):   409836 kB
Active(file):     473956 kB
Inactive(file):   479904 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1716 kB
Writeback:             0 kB
AnonPages:        373012 kB
Mapped:           109076 kB
Shmem:             37716 kB
KReclaimable:      65368 kB
Slab:             163068 kB
SReclaimable:      65368 kB
SUnreclaim:        97700 kB
KernelStack:        4040 kB
PageTables:         9904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     688208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54240 kB
HardwareCorrupted:     0 kB
AnonHugePages:    387072 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:    11106304 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 890072 MiB
End job on nodeC033 at 2024-07-13 17:35:14