Trace number 3492308

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 2011-06-08MSAT (TO) 1800.19 1796.06

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-91-90--soft-33-100-0.wbo
MD5SUMb5d604f523494f9ae212571f314835a9
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, 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.624904
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.02/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.09	c See www.sat4j.org for details.
0.02/0.09	c version 2.3.1.v20110525
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.18-164.el5
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		9996466904
0.02/0.09	c Max memory 		10048897024
0.02/0.09	c Total memory 		10048897024
0.02/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3492308-1307909217.wbo
0.09/0.11	c reading problem ... 
0.53/0.32	c ... done. Wall clock time 0.203s.
0.53/0.32	c #vars     8311
0.53/0.32	c #constraints  181
0.53/0.32	c constraints type 
0.53/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 91
0.53/0.32	c org.sat4j.minisat.constraints.card.MinWatchCard => 28
0.53/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 62
1.14/0.58	c SATISFIABLE
1.14/0.58	c OPTIMIZING...
1.14/0.58	c Got one! Elapsed wall clock time (in seconds):0.466
1.14/0.58	o 176
1.33/0.64	c Got one! Elapsed wall clock time (in seconds):0.522
1.33/0.64	o 99
1.45/0.76	c Got one! Elapsed wall clock time (in seconds):0.645
1.45/0.76	o 68
1.68/0.94	c Got one! Elapsed wall clock time (in seconds):0.827
1.68/0.94	o 67
1.78/1.02	c Got one! Elapsed wall clock time (in seconds):0.907
1.78/1.02	o 58
2.08/1.31	c Got one! Elapsed wall clock time (in seconds):1.195
2.08/1.31	o 50
2.48/1.74	c Got one! Elapsed wall clock time (in seconds):1.628
2.48/1.74	o 37
2.89/2.11	c Got one! Elapsed wall clock time (in seconds):1.995
2.89/2.11	o 13
3.80/3.04	c Got one! Elapsed wall clock time (in seconds):2.927
3.80/3.04	o 1
6.92/6.11	c cleaning 4654 clauses out of 9341 with flag 4000/9341
11.29/10.46	c cleaning 5307 clauses out of 10687 with flag 10000/15341
16.99/16.15	c cleaning 6139 clauses out of 12380 with flag 17000/22341
23.28/22.31	c cleaning 7078 clauses out of 14243 with flag 25002/30343
31.40/30.46	c cleaning 8037 clauses out of 16164 with flag 34001/39342
41.31/40.34	c cleaning 8997 clauses out of 18126 with flag 44000/49341
49.52/48.52	c cleaning 9513 clauses out of 19130 with flag 54001/59342
57.94/56.95	c cleaning 9757 clauses out of 19620 with flag 64004/69345
70.84/69.86	c cleaning 9887 clauses out of 19861 with flag 74002/79343
79.86/78.86	c cleaning 9941 clauses out of 19972 with flag 84000/89341
91.08/90.07	c cleaning 9966 clauses out of 20031 with flag 94000/99341
113.90/112.89	c cleaning 10000 clauses out of 20066 with flag 104001/109342
127.93/126.85	c cleaning 9980 clauses out of 20065 with flag 114000/119341
137.76/136.66	c cleaning 9961 clauses out of 20086 with flag 124001/129342
148.27/147.10	c cleaning 10028 clauses out of 20128 with flag 134004/139345
171.28/170.15	c cleaning 10021 clauses out of 20098 with flag 144002/149343
191.20/190.01	c cleaning 10012 clauses out of 20081 with flag 154006/159347
213.43/212.29	c cleaning 10003 clauses out of 20063 with flag 164000/169341
225.07/223.88	c cleaning 9988 clauses out of 20061 with flag 174001/179342
233.99/232.79	c cleaning 9984 clauses out of 20072 with flag 184000/189341
247.10/245.84	c cleaning 10012 clauses out of 20089 with flag 194001/199342
269.92/268.67	c cleaning 10007 clauses out of 20077 with flag 204001/209342
292.75/291.44	c cleaning 9991 clauses out of 20069 with flag 214000/219341
316.57/315.26	c cleaning 9999 clauses out of 20078 with flag 224000/229341
323.82/322.49	c cleaning 10019 clauses out of 20079 with flag 234000/239341
335.03/333.66	c cleaning 9994 clauses out of 20061 with flag 244001/249342
353.94/352.59	c cleaning 9977 clauses out of 20066 with flag 254000/259341
361.68/360.24	c cleaning 10012 clauses out of 20094 with flag 264005/269346
370.30/368.85	c cleaning 9997 clauses out of 20078 with flag 274001/279342
382.61/381.18	c cleaning 9980 clauses out of 20080 with flag 284000/289341
406.53/405.00	c cleaning 9995 clauses out of 20102 with flag 294002/299343
424.48/422.91	c cleaning 10001 clauses out of 20109 with flag 304004/309345
443.70/442.17	c cleaning 10004 clauses out of 20104 with flag 314000/319341
461.34/459.79	c cleaning 10002 clauses out of 20100 with flag 324000/329341
479.16/477.57	c cleaning 10001 clauses out of 20100 with flag 334002/339343
494.89/493.23	c cleaning 10034 clauses out of 20098 with flag 344001/349342
507.22/505.58	c cleaning 9978 clauses out of 20065 with flag 354002/359343
522.73/521.07	c cleaning 9986 clauses out of 20086 with flag 364001/369342
537.07/535.34	c cleaning 9992 clauses out of 20100 with flag 374001/379342
550.09/548.39	c cleaning 10002 clauses out of 20108 with flag 384001/389342
559.01/557.26	c cleaning 9983 clauses out of 20106 with flag 394001/399342
569.23/567.46	c cleaning 10008 clauses out of 20123 with flag 404001/409342
581.85/580.05	c cleaning 9989 clauses out of 20115 with flag 414001/419342
602.86/601.09	c cleaning 10007 clauses out of 20125 with flag 424000/429341
631.80/629.95	c cleaning 10015 clauses out of 20119 with flag 434001/439342
660.94/659.00	c cleaning 9973 clauses out of 20104 with flag 444001/449342
680.40/678.47	c cleaning 9979 clauses out of 20130 with flag 454000/459341
700.63/698.69	c cleaning 9997 clauses out of 20152 with flag 464001/469342
718.46/716.41	c cleaning 10043 clauses out of 20155 with flag 474001/479342
732.40/730.34	c cleaning 9990 clauses out of 20111 with flag 484000/489341
747.72/745.69	c cleaning 9982 clauses out of 20121 with flag 494000/499341
763.45/761.32	c cleaning 10005 clauses out of 20144 with flag 504005/509346
780.38/778.25	c cleaning 10000 clauses out of 20135 with flag 514001/519342
788.90/786.73	c cleaning 10046 clauses out of 20135 with flag 524001/529342
795.92/793.70	c cleaning 10001 clauses out of 20088 with flag 534000/539341
810.03/807.86	c cleaning 9991 clauses out of 20088 with flag 544001/549342
824.46/822.22	c cleaning 10006 clauses out of 20099 with flag 554003/559344
838.29/836.03	c cleaning 10000 clauses out of 20091 with flag 564001/569342
851.41/849.19	c cleaning 10003 clauses out of 20094 with flag 574004/579345
864.72/862.47	c cleaning 10010 clauses out of 20087 with flag 584000/589341
872.86/870.52	c cleaning 9986 clauses out of 20078 with flag 594001/599342
881.47/879.12	c cleaning 10004 clauses out of 20091 with flag 604000/609341
900.89/898.52	c cleaning 9983 clauses out of 20087 with flag 614000/619341
924.72/922.39	c cleaning 10011 clauses out of 20105 with flag 624001/629342
940.37/937.98	c cleaning 10002 clauses out of 20095 with flag 634002/639343
952.70/950.26	c cleaning 10020 clauses out of 20092 with flag 644001/649342
962.72/960.30	c cleaning 10010 clauses out of 20073 with flag 654002/659343
974.33/971.86	c cleaning 10008 clauses out of 20061 with flag 664000/669341
984.54/982.03	c cleaning 9981 clauses out of 20053 with flag 674000/679341
1002.76/1000.20	c cleaning 9990 clauses out of 20074 with flag 684002/689343
1025.30/1022.70	c cleaning 9992 clauses out of 20083 with flag 694001/699342
1042.53/1039.95	c cleaning 9998 clauses out of 20092 with flag 704002/709343
1060.57/1057.92	c cleaning 9998 clauses out of 20092 with flag 714000/719341
1085.00/1082.32	c cleaning 9977 clauses out of 20096 with flag 724002/729343
1104.73/1102.02	c cleaning 10004 clauses out of 20117 with flag 734000/739341
1125.96/1123.25	c cleaning 9975 clauses out of 20115 with flag 744002/749343
1146.49/1143.76	c cleaning 10000 clauses out of 20138 with flag 754000/759341
1167.52/1164.80	c cleaning 10002 clauses out of 20138 with flag 764000/769341
1191.05/1188.21	c cleaning 10024 clauses out of 20137 with flag 774001/779342
1205.28/1202.43	c cleaning 10027 clauses out of 20112 with flag 784000/789341
1214.10/1211.29	c cleaning 10011 clauses out of 20085 with flag 794000/799341
1224.53/1221.61	c cleaning 10008 clauses out of 20076 with flag 804002/809343
1234.05/1231.17	c cleaning 10002 clauses out of 20066 with flag 814000/819341
1242.77/1239.84	c cleaning 10000 clauses out of 20064 with flag 824000/829341
1252.08/1249.14	c cleaning 10006 clauses out of 20067 with flag 834003/839344
1260.31/1257.37	c cleaning 10000 clauses out of 20058 with flag 844000/849341
1270.13/1267.18	c cleaning 10000 clauses out of 20061 with flag 854003/859344
1279.34/1276.37	c cleaning 9982 clauses out of 20058 with flag 864000/869341
1288.76/1285.70	c cleaning 10018 clauses out of 20077 with flag 874001/879342
1296.97/1293.99	c cleaning 9953 clauses out of 20059 with flag 884001/889342
1305.59/1302.54	c cleaning 10004 clauses out of 20106 with flag 894001/899342
1316.31/1313.21	c cleaning 10007 clauses out of 20101 with flag 904000/909341
1334.73/1331.61	c cleaning 10011 clauses out of 20095 with flag 914001/919342
1354.76/1351.60	c cleaning 9998 clauses out of 20085 with flag 924002/929343
1374.00/1370.83	c cleaning 9987 clauses out of 20085 with flag 934000/939341
1393.84/1390.64	c cleaning 9985 clauses out of 20102 with flag 944004/949345
1414.27/1411.03	c cleaning 9970 clauses out of 20113 with flag 954000/959341
1438.51/1435.24	c cleaning 9990 clauses out of 20148 with flag 964005/969346
1454.45/1451.17	c cleaning 10032 clauses out of 20153 with flag 974000/979341
1470.28/1466.95	c cleaning 10017 clauses out of 20123 with flag 984002/989343
1486.52/1483.17	c cleaning 10005 clauses out of 20106 with flag 994002/999343
1502.15/1498.79	c cleaning 10007 clauses out of 20100 with flag 1004001/1009342
1514.98/1511.57	c cleaning 10018 clauses out of 20092 with flag 1014000/1019341
1528.51/1525.09	c cleaning 10013 clauses out of 20075 with flag 1024001/1029342
1540.94/1537.42	c cleaning 10008 clauses out of 20064 with flag 1034003/1039344
1560.26/1556.75	c cleaning 10004 clauses out of 20058 with flag 1044005/1049346
1576.29/1572.77	c cleaning 10002 clauses out of 20053 with flag 1054004/1059345
1598.13/1594.54	c cleaning 9997 clauses out of 20047 with flag 1064000/1069341
1618.37/1614.72	c cleaning 10004 clauses out of 20052 with flag 1074002/1079343
1639.41/1635.72	c cleaning 9988 clauses out of 20054 with flag 1084008/1089349
1662.15/1658.45	c cleaning 9987 clauses out of 20060 with flag 1094002/1099343
1683.20/1679.49	c cleaning 9986 clauses out of 20072 with flag 1104001/1109342
1700.54/1696.74	c cleaning 9933 clauses out of 20086 with flag 1114001/1119342
1719.07/1715.26	c cleaning 9971 clauses out of 20153 with flag 1124001/1129342
1738.53/1734.68	c cleaning 10048 clauses out of 20184 with flag 1134003/1139344
1760.86/1756.96	c cleaning 10019 clauses out of 20137 with flag 1144004/1149345
1782.21/1778.28	c cleaning 9959 clauses out of 20115 with flag 1154001/1159342
1800.06/1796.01	c starts		: 198
1800.06/1796.01	c conflicts		: 1168653
1800.06/1796.01	c decisions		: 2773060
1800.06/1796.01	c propagations		: 47417634
1800.06/1796.01	c inspects		: 1472640038
1800.06/1796.01	c shortcuts		: 0
1800.06/1796.01	c learnt literals	: 0
1800.06/1796.01	c learnt binary clauses	: 0
1800.06/1796.01	c learnt ternary clauses	: 0
1800.06/1796.01	c learnt constraints	: 1168652
1800.06/1796.01	c ignored constraints	: 0
1800.06/1796.01	c root simplifications	: 0
1800.06/1796.01	c removed literals (reason simplification)	: 9663793
1800.06/1796.01	c reason swapping (by a shorter reason)	: 0
1800.06/1796.01	c Calls to reduceDB	: 117
1800.06/1796.01	c number of reductions to clauses (during analyze)	: 0
1800.06/1796.01	c number of learned constraints concerned by reduction	: 0
1800.06/1796.01	c number of learning phase by resolution	: 0
1800.06/1796.01	c number of learning phase by cutting planes	: 0
1800.06/1796.01	c speed (assignments/second)	: 26446.417954567
1800.06/1796.01	c non guided choices	453118
1800.06/1796.02	c learnt constraints type 
1800.06/1796.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 19470
1800.06/1796.02	c constraints type 
1800.06/1796.02	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 91
1800.06/1796.02	c org.sat4j.minisat.constraints.card.MinWatchCard => 28
1800.06/1796.02	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 63
1800.06/1796.02	s SATISFIABLE
1800.06/1796.03	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 
1800.06/1796.04	c objective function=1
1800.06/1796.04	c Total wall clock time (in seconds): 1795.928

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3492308-1307909217/watcher-3492308-1307909217 -o /tmp/evaluation-result-3492308-1307909217/solver-3492308-1307909217 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492308-1307909217.wbo 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.04 2.03 2.00 3/196 20505
/proc/meminfo: memFree=32364864/32951124 swapFree=67072804/67111528
[pid=20505] ppid=20503 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/20505/stat : 20505 (java) R 20503 20505 18875 0 -1 4202496 634 0 0 0 0 0 0 0 18 0 1 0 902519597 23580672 376 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255372338944 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20505/statm: 5757 388 295 9 0 124 0

[startup+0.0381781 s]
/proc/loadavg: 2.04 2.03 2.00 3/196 20505
/proc/meminfo: memFree=32364864/32951124 swapFree=67072804/67111528
[pid=20505] ppid=20503 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/20505/stat : 20505 (java) S 20503 20505 18875 0 -1 4202496 10990 0 1 0 1 1 0 0 18 0 11 0 902519597 10716594176 10687 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389104101 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/20505/statm: 2616356 10689 1608 9 0 2607104 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424

[startup+0.105195 s]
/proc/loadavg: 2.04 2.03 2.00 3/196 20505
/proc/meminfo: memFree=32364864/32951124 swapFree=67072804/67111528
[pid=20505] ppid=20503 vsize=10540396 CPUtime=0.09 cores=1,3,5,7
/proc/20505/stat : 20505 (java) S 20503 20505 18875 0 -1 4202496 13026 0 1 0 8 1 0 0 18 0 18 0 902519597 10793365504 12721 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20505/statm: 2635099 12723 2092 9 0 2625833 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540396

[startup+0.30013 s]
/proc/loadavg: 2.04 2.03 2.00 3/196 20505
/proc/meminfo: memFree=32364864/32951124 swapFree=67072804/67111528
[pid=20505] ppid=20503 vsize=10546540 CPUtime=0.53 cores=1,3,5,7
/proc/20505/stat : 20505 (java) S 20503 20505 18875 0 -1 4202496 18196 0 1 0 51 2 0 0 18 0 18 0 902519597 10799656960 17493 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20505/statm: 2636635 17494 2203 9 0 2627369 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10546540

[startup+0.701057 s]
/proc/loadavg: 2.04 2.03 2.00 3/196 20505
/proc/meminfo: memFree=32364864/32951124 swapFree=67072804/67111528
[pid=20505] ppid=20503 vsize=10548592 CPUtime=1.45 cores=1,3,5,7
/proc/20505/stat : 20505 (java) S 20503 20505 18875 0 -1 4202496 21462 0 1 0 142 3 0 0 18 0 19 0 902519597 10801758208 20021 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20505/statm: 2637148 20021 2229 9 0 2627882 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 10548592

[startup+1.50092 s]
/proc/loadavg: 2.04 2.03 2.00 3/215 20524
/proc/meminfo: memFree=32289136/32951124 swapFree=67072804/67111528
[pid=20505] ppid=20503 vsize=10548592 CPUtime=2.28 cores=1,3,5,7
/proc/20505/stat : 20505 (java) S 20503 20505 18875 0 -1 4202496 23380 0 1 0 225 3 0 0 18 0 19 0 902519597 10801758208 21938 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20505/statm: 2637148 21938 2231 9 0 2627882 0
[pid=20505/tid=20507] ppid=20503 vsize=10548592 CPUtime=1.47 cores=1,3,5,7
/proc/20505/task/20507/stat : 20507 (java) R 20503 20505 18875 0 -1 4202560 18161 0 1 0 145 2 0 0 25 0 19 0 902519598 10801758208 21938 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 46912505768292 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20505/tid=20508] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20508/stat : 20508 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902519600 10801758208 21938 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20509] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20509/stat : 20509 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902519600 10801758208 21938 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 5 0 0 0
[pid=20505/tid=20510] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20510/stat : 20510 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902519600 10801758208 21938 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
[pid=20505/tid=20511] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20511/stat : 20511 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902519600 10801758208 21938 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 5 0 0 0
[pid=20505/tid=20512] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20512/stat : 20512 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902519600 10801758208 21938 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 5 0 0 0
[pid=20505/tid=20513] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20513/stat : 20513 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902519600 10801758208 21938 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
[pid=20505/tid=20514] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20514/stat : 20514 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902519600 10801758208 21938 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
[pid=20505/tid=20515] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20515/stat : 20515 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 902519600 10801758208 21938 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
[pid=20505/tid=20516] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20516/stat : 20516 (java) S 20503 20505 18875 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902519601 10801758208 21938 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117952 0 0 0 16800975 18446604462616742912 0 0 -1 5 0 0 0
[pid=20505/tid=20517] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20517/stat : 20517 (java) S 20503 20505 18875 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 902519601 10801758208 21938 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20518] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20518/stat : 20518 (java) S 20503 20505 18875 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 902519601 10801758208 21938 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
[pid=20505/tid=20519] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20519/stat : 20519 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902519603 10801758208 21938 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389125041 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20520] ppid=20503 vsize=10548592 CPUtime=0.39 cores=1,3,5,7
/proc/20505/task/20520/stat : 20520 (java) S 20503 20505 18875 0 -1 4202560 2850 0 0 0 39 0 0 0 18 0 19 0 902519603 10801758208 21938 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20521] ppid=20503 vsize=10548592 CPUtime=0.39 cores=1,3,5,7
/proc/20505/task/20521/stat : 20521 (java) S 20503 20505 18875 0 -1 4202560 1205 0 0 0 39 0 0 0 18 0 19 0 902519603 10801758208 21938 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20522] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20522/stat : 20522 (java) S 20503 20505 18875 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 902519603 10801758208 21938 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20523] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20523/stat : 20523 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902519603 10801758208 21938 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117952 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
[pid=20505/tid=20524] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20524/stat : 20524 (java) S 20503 20505 18875 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 902519631 10801758208 21938 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117952 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 10548592

[startup+3.10062 s]
/proc/loadavg: 2.04 2.03 2.00 3/215 20524
/proc/meminfo: memFree=32281316/32951124 swapFree=67072804/67111528
[pid=20505] ppid=20503 vsize=10548592 CPUtime=3.9 cores=1,3,5,7
/proc/20505/stat : 20505 (java) S 20503 20505 18875 0 -1 4202496 25665 0 1 0 387 3 0 0 18 0 19 0 902519597 10801758208 24223 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20505/statm: 2637148 24223 2231 9 0 2627882 0
[pid=20505/tid=20507] ppid=20503 vsize=10548592 CPUtime=3.07 cores=1,3,5,7
/proc/20505/task/20507/stat : 20507 (java) R 20503 20505 18875 0 -1 4202560 20445 0 1 0 305 2 0 0 25 0 19 0 902519598 10801758208 24223 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 46912505768891 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20505/tid=20508] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20508/stat : 20508 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902519600 10801758208 24223 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20509] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20509/stat : 20509 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902519600 10801758208 24223 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 5 0 0 0
[pid=20505/tid=20510] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20510/stat : 20510 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902519600 10801758208 24223 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
[pid=20505/tid=20511] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20511/stat : 20511 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902519600 10801758208 24223 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 5 0 0 0
[pid=20505/tid=20512] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20512/stat : 20512 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902519600 10801758208 24223 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 5 0 0 0
[pid=20505/tid=20513] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20513/stat : 20513 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902519600 10801758208 24223 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
[pid=20505/tid=20514] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20514/stat : 20514 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902519600 10801758208 24223 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
[pid=20505/tid=20515] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20515/stat : 20515 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 902519600 10801758208 24223 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
[pid=20505/tid=20516] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20516/stat : 20516 (java) S 20503 20505 18875 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902519601 10801758208 24223 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117952 0 0 0 16800975 18446604462616742912 0 0 -1 5 0 0 0
[pid=20505/tid=20517] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20517/stat : 20517 (java) S 20503 20505 18875 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 902519601 10801758208 24223 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20518] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20518/stat : 20518 (java) S 20503 20505 18875 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 902519601 10801758208 24223 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
[pid=20505/tid=20519] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20519/stat : 20519 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902519603 10801758208 24223 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389125041 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20520] ppid=20503 vsize=10548592 CPUtime=0.41 cores=1,3,5,7
/proc/20505/task/20520/stat : 20520 (java) S 20503 20505 18875 0 -1 4202560 2851 0 0 0 41 0 0 0 15 0 19 0 902519603 10801758208 24223 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20521] ppid=20503 vsize=10548592 CPUtime=0.39 cores=1,3,5,7
/proc/20505/task/20521/stat : 20521 (java) S 20503 20505 18875 0 -1 4202560 1205 0 0 0 39 0 0 0 18 0 19 0 902519603 10801758208 24223 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20522] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20522/stat : 20522 (java) S 20503 20505 18875 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 902519603 10801758208 24223 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20523] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20523/stat : 20523 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902519603 10801758208 24223 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117952 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
[pid=20505/tid=20524] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20524/stat : 20524 (java) S 20503 20505 18875 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 902519631 10801758208 24223 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117952 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 10548592

[startup+6.30103 s]
/proc/loadavg: 2.04 2.03 2.00 3/215 20524
/proc/meminfo: memFree=32267552/32951124 swapFree=67072804/67111528
[pid=20505] ppid=20503 vsize=10548592 CPUtime=7.14 cores=1,3,5,7
/proc/20505/stat : 20505 (java) S 20503 20505 18875 0 -1 4202496 35080 0 1 0 709 5 0 0 18 0 19 0 902519597 10801758208 33419 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20505/statm: 2637148 33419 2259 9 0 2627882 0
[pid=20505/tid=20507] ppid=20503 vsize=10548592 CPUtime=6.24 cores=1,3,5,7
/proc/20505/task/20507/stat : 20507 (java) R 20503 20505 18875 0 -1 4202560 22932 0 1 0 621 3 0 0 25 0 19 0 902519598 10801758208 33419 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 46912505743784 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20505/tid=20508] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20508/stat : 20508 (java) S 20503 20505 18875 0 -1 4202560 764 0 0 0 0 0 0 0 18 0 19 0 902519600 10801758208 33419 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20509] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20509/stat : 20509 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902519600 10801758208 33419 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
[pid=20505/tid=20510] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20510/stat : 20510 (java) S 20503 20505 18875 0 -1 4202560 119 0 0 0 0 0 0 0 18 0 19 0 902519600 10801758208 33419 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20511] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20511/stat : 20511 (java) S 20503 20505 18875 0 -1 4202560 409 0 0 0 0 0 0 0 18 0 19 0 902519600 10801758208 33419 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20512] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20512/stat : 20512 (java) S 20503 20505 18875 0 -1 4202560 643 0 0 0 0 0 0 0 18 0 19 0 902519600 10801758208 33419 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20513] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20513/stat : 20513 (java) S 20503 20505 18875 0 -1 4202560 387 0 0 0 0 0 0 0 18 0 19 0 902519600 10801758208 33419 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
[pid=20505/tid=20514] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20514/stat : 20514 (java) S 20503 20505 18875 0 -1 4202560 993 0 0 0 0 0 0 0 18 0 19 0 902519600 10801758208 33419 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
[pid=20505/tid=20515] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20515/stat : 20515 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902519600 10801758208 33419 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20516] ppid=20503 vsize=10548592 CPUtime=0.02 cores=1,3,5,7
/proc/20505/task/20516/stat : 20516 (java) S 20503 20505 18875 0 -1 4202560 3334 0 0 0 2 0 0 0 16 0 19 0 902519601 10801758208 33419 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117952 0 0 0 16800975 18446604462616742912 0 0 -1 5 0 0 0
[pid=20505/tid=20517] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20517/stat : 20517 (java) S 20503 20505 18875 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902519601 10801758208 33419 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20518] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20518/stat : 20518 (java) S 20503 20505 18875 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902519601 10801758208 33419 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
[pid=20505/tid=20519] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20519/stat : 20519 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902519603 10801758208 33419 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389125041 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20520] ppid=20503 vsize=10548592 CPUtime=0.43 cores=1,3,5,7
/proc/20505/task/20520/stat : 20520 (java) S 20503 20505 18875 0 -1 4202560 3128 0 0 0 43 0 0 0 16 0 19 0 902519603 10801758208 33419 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20521] ppid=20503 vsize=10548592 CPUtime=0.4 cores=1,3,5,7
/proc/20505/task/20521/stat : 20521 (java) S 20503 20505 18875 0 -1 4202560 1214 0 0 0 40 0 0 0 17 0 19 0 902519603 10801758208 33419 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20522] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20522/stat : 20522 (java) S 20503 20505 18875 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 902519603 10801758208 33419 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20523] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20523/stat : 20523 (java) S 20503 20505 18875 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902519603 10801758208 33419 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117952 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
[pid=20505/tid=20524] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20524/stat : 20524 (java) S 20503 20505 18875 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 902519631 10801758208 33419 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117952 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.14
Current children cumulated vsize (KiB) 10548592

[startup+12.7008 s]

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

[pid=20505/tid=20513] ppid=20503 vsize=10548592 CPUtime=0.46 cores=1,3,5,7
/proc/20505/task/20513/stat : 20513 (java) S 20503 20505 18875 0 -1 4202560 2960 0 0 0 46 0 0 0 15 0 19 0 902519600 10801758208 113174 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20514] ppid=20503 vsize=10548592 CPUtime=0.49 cores=1,3,5,7
/proc/20505/task/20514/stat : 20514 (java) S 20503 20505 18875 0 -1 4202560 9524 0 0 0 48 1 0 0 15 0 19 0 902519600 10801758208 113174 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20515] ppid=20503 vsize=10548592 CPUtime=0.51 cores=1,3,5,7
/proc/20505/task/20515/stat : 20515 (java) S 20503 20505 18875 0 -1 4202560 5207 0 0 0 50 1 0 0 16 0 19 0 902519600 10801758208 113174 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20516] ppid=20503 vsize=10548592 CPUtime=4.32 cores=1,3,5,7
/proc/20505/task/20516/stat : 20516 (java) S 20503 20505 18875 0 -1 4202560 19177 0 0 0 429 3 0 0 15 0 19 0 902519601 10801758208 113174 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117952 0 0 0 16800975 18446604462616742912 0 0 -1 5 0 0 0
[pid=20505/tid=20517] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20517/stat : 20517 (java) S 20503 20505 18875 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902519601 10801758208 113174 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20518] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20518/stat : 20518 (java) S 20503 20505 18875 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902519601 10801758208 113174 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
[pid=20505/tid=20519] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20519/stat : 20519 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902519603 10801758208 113174 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389125041 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20520] ppid=20503 vsize=10548592 CPUtime=0.55 cores=1,3,5,7
/proc/20505/task/20520/stat : 20520 (java) S 20503 20505 18875 0 -1 4202560 5609 0 0 0 54 1 0 0 15 0 19 0 902519603 10801758208 113174 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20521] ppid=20503 vsize=10548592 CPUtime=0.43 cores=1,3,5,7
/proc/20505/task/20521/stat : 20521 (java) S 20503 20505 18875 0 -1 4202560 1226 0 0 0 43 0 0 0 16 0 19 0 902519603 10801758208 113174 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20522] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20522/stat : 20522 (java) S 20503 20505 18875 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 902519603 10801758208 113174 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20523] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20523/stat : 20523 (java) S 20503 20505 18875 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 902519603 10801758208 113174 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117952 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20524] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20524/stat : 20524 (java) S 20503 20505 18875 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 902519631 10801758208 113174 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117952 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1666.1
Current children cumulated vsize (KiB) 10548592

[startup+1722.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/215 20685
/proc/meminfo: memFree=31900988/32951124 swapFree=67072804/67111528
[pid=20505] ppid=20503 vsize=10548592 CPUtime=1726.23 cores=1,3,5,7
/proc/20505/stat : 20505 (java) S 20503 20505 18875 0 -1 4202496 117521 0 1 0 172601 22 0 0 18 0 19 0 902519597 10801758208 113175 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20505/statm: 2637148 113175 2260 9 0 2627882 0
[pid=20505/tid=20507] ppid=20503 vsize=10548592 CPUtime=1716.75 cores=1,3,5,7
/proc/20505/task/20507/stat : 20507 (java) R 20503 20505 18875 0 -1 4202560 38366 0 1 0 171670 5 0 0 25 0 19 0 902519598 10801758208 113175 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 46912505768880 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20505/tid=20508] ppid=20503 vsize=10548592 CPUtime=0.5 cores=1,3,5,7
/proc/20505/task/20508/stat : 20508 (java) S 20503 20505 18875 0 -1 4202560 7782 0 0 0 49 1 0 0 15 0 19 0 902519600 10801758208 113175 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20509] ppid=20503 vsize=10548592 CPUtime=0.5 cores=1,3,5,7
/proc/20505/task/20509/stat : 20509 (java) S 20503 20505 18875 0 -1 4202560 5985 0 0 0 49 1 0 0 15 0 19 0 902519600 10801758208 113175 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
[pid=20505/tid=20510] ppid=20503 vsize=10548592 CPUtime=0.46 cores=1,3,5,7
/proc/20505/task/20510/stat : 20510 (java) S 20503 20505 18875 0 -1 4202560 4518 0 0 0 46 0 0 0 15 0 19 0 902519600 10801758208 113175 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
[pid=20505/tid=20511] ppid=20503 vsize=10548592 CPUtime=0.52 cores=1,3,5,7
/proc/20505/task/20511/stat : 20511 (java) S 20503 20505 18875 0 -1 4202560 6215 0 0 0 51 1 0 0 16 0 19 0 902519600 10801758208 113175 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20512] ppid=20503 vsize=10548592 CPUtime=0.42 cores=1,3,5,7
/proc/20505/task/20512/stat : 20512 (java) S 20503 20505 18875 0 -1 4202560 9694 0 0 0 40 2 0 0 16 0 19 0 902519600 10801758208 113175 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20513] ppid=20503 vsize=10548592 CPUtime=0.48 cores=1,3,5,7
/proc/20505/task/20513/stat : 20513 (java) S 20503 20505 18875 0 -1 4202560 2961 0 0 0 48 0 0 0 16 0 19 0 902519600 10801758208 113175 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
[pid=20505/tid=20514] ppid=20503 vsize=10548592 CPUtime=0.49 cores=1,3,5,7
/proc/20505/task/20514/stat : 20514 (java) S 20503 20505 18875 0 -1 4202560 9524 0 0 0 48 1 0 0 15 0 19 0 902519600 10801758208 113175 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20515] ppid=20503 vsize=10548592 CPUtime=0.54 cores=1,3,5,7
/proc/20505/task/20515/stat : 20515 (java) S 20503 20505 18875 0 -1 4202560 5207 0 0 0 53 1 0 0 16 0 19 0 902519600 10801758208 113175 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20516] ppid=20503 vsize=10548592 CPUtime=4.47 cores=1,3,5,7
/proc/20505/task/20516/stat : 20516 (java) S 20503 20505 18875 0 -1 4202560 19181 0 0 0 444 3 0 0 15 0 19 0 902519601 10801758208 113175 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117952 0 0 0 16800975 18446604462616742912 0 0 -1 5 0 0 0
[pid=20505/tid=20517] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20517/stat : 20517 (java) S 20503 20505 18875 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902519601 10801758208 113175 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20518] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20518/stat : 20518 (java) S 20503 20505 18875 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902519601 10801758208 113175 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
[pid=20505/tid=20519] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20519/stat : 20519 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902519603 10801758208 113175 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389125041 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20520] ppid=20503 vsize=10548592 CPUtime=0.55 cores=1,3,5,7
/proc/20505/task/20520/stat : 20520 (java) S 20503 20505 18875 0 -1 4202560 5609 0 0 0 54 1 0 0 15 0 19 0 902519603 10801758208 113175 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20521] ppid=20503 vsize=10548592 CPUtime=0.43 cores=1,3,5,7
/proc/20505/task/20521/stat : 20521 (java) S 20503 20505 18875 0 -1 4202560 1226 0 0 0 43 0 0 0 16 0 19 0 902519603 10801758208 113175 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20522] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20522/stat : 20522 (java) S 20503 20505 18875 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 902519603 10801758208 113175 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20523] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20523/stat : 20523 (java) S 20503 20505 18875 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 902519603 10801758208 113175 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117952 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20524] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20524/stat : 20524 (java) S 20503 20505 18875 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 902519631 10801758208 113175 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117952 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1726.23
Current children cumulated vsize (KiB) 10548592

[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/215 20687
/proc/meminfo: memFree=31885028/32951124 swapFree=67072804/67111528
[pid=20505] ppid=20503 vsize=10548592 CPUtime=1786.35 cores=1,3,5,7
/proc/20505/stat : 20505 (java) S 20503 20505 18875 0 -1 4202496 117538 0 1 0 178613 22 0 0 18 0 19 0 902519597 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20505/statm: 2637148 113181 2260 9 0 2627882 0
[pid=20505/tid=20507] ppid=20503 vsize=10548592 CPUtime=1776.56 cores=1,3,5,7
/proc/20505/task/20507/stat : 20507 (java) R 20503 20505 18875 0 -1 4202560 38369 0 1 0 177651 5 0 0 25 0 19 0 902519598 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 46912505768283 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20505/tid=20508] ppid=20503 vsize=10548592 CPUtime=0.5 cores=1,3,5,7
/proc/20505/task/20508/stat : 20508 (java) S 20503 20505 18875 0 -1 4202560 7782 0 0 0 49 1 0 0 16 0 19 0 902519600 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20509] ppid=20503 vsize=10548592 CPUtime=0.51 cores=1,3,5,7
/proc/20505/task/20509/stat : 20509 (java) S 20503 20505 18875 0 -1 4202560 5987 0 0 0 50 1 0 0 16 0 19 0 902519600 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20510] ppid=20503 vsize=10548592 CPUtime=0.47 cores=1,3,5,7
/proc/20505/task/20510/stat : 20510 (java) S 20503 20505 18875 0 -1 4202560 4518 0 0 0 47 0 0 0 15 0 19 0 902519600 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20511] ppid=20503 vsize=10548592 CPUtime=0.56 cores=1,3,5,7
/proc/20505/task/20511/stat : 20511 (java) S 20503 20505 18875 0 -1 4202560 6216 0 0 0 55 1 0 0 16 0 19 0 902519600 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20512] ppid=20503 vsize=10548592 CPUtime=0.43 cores=1,3,5,7
/proc/20505/task/20512/stat : 20512 (java) S 20503 20505 18875 0 -1 4202560 9694 0 0 0 41 2 0 0 15 0 19 0 902519600 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20513] ppid=20503 vsize=10548592 CPUtime=0.51 cores=1,3,5,7
/proc/20505/task/20513/stat : 20513 (java) S 20503 20505 18875 0 -1 4202560 2964 0 0 0 51 0 0 0 16 0 19 0 902519600 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
[pid=20505/tid=20514] ppid=20503 vsize=10548592 CPUtime=0.51 cores=1,3,5,7
/proc/20505/task/20514/stat : 20514 (java) S 20503 20505 18875 0 -1 4202560 9524 0 0 0 50 1 0 0 15 0 19 0 902519600 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20515] ppid=20503 vsize=10548592 CPUtime=0.58 cores=1,3,5,7
/proc/20505/task/20515/stat : 20515 (java) S 20503 20505 18875 0 -1 4202560 5207 0 0 0 57 1 0 0 16 0 19 0 902519600 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20516] ppid=20503 vsize=10548592 CPUtime=4.62 cores=1,3,5,7
/proc/20505/task/20516/stat : 20516 (java) S 20503 20505 18875 0 -1 4202560 19185 0 0 0 458 4 0 0 15 0 19 0 902519601 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117952 0 0 0 16800975 18446604462616742912 0 0 -1 5 0 0 0
[pid=20505/tid=20517] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20517/stat : 20517 (java) S 20503 20505 18875 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902519601 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20518] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20518/stat : 20518 (java) S 20503 20505 18875 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902519601 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
[pid=20505/tid=20519] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20519/stat : 20519 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902519603 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389125041 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20520] ppid=20503 vsize=10548592 CPUtime=0.55 cores=1,3,5,7
/proc/20505/task/20520/stat : 20520 (java) S 20503 20505 18875 0 -1 4202560 5609 0 0 0 54 1 0 0 15 0 19 0 902519603 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20521] ppid=20503 vsize=10548592 CPUtime=0.43 cores=1,3,5,7
/proc/20505/task/20521/stat : 20521 (java) S 20503 20505 18875 0 -1 4202560 1226 0 0 0 43 0 0 0 16 0 19 0 902519603 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20522] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20522/stat : 20522 (java) S 20503 20505 18875 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 902519603 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20523] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20523/stat : 20523 (java) S 20503 20505 18875 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 902519603 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117952 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20524] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20524/stat : 20524 (java) S 20503 20505 18875 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 902519631 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117952 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1786.35
Current children cumulated vsize (KiB) 10548592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796 s]
/proc/loadavg: 2.03 2.03 2.00 3/215 20687
/proc/meminfo: memFree=31877460/32951124 swapFree=67072804/67111528
[pid=20505] ppid=20503 vsize=10548592 CPUtime=1800.06 cores=1,3,5,7
/proc/20505/stat : 20505 (java) S 20503 20505 18875 0 -1 4202496 117538 0 1 0 179984 22 0 0 18 0 19 0 902519597 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20505/statm: 2637148 113181 2260 9 0 2627882 0
[pid=20505/tid=20507] ppid=20503 vsize=10548592 CPUtime=1790.27 cores=1,3,5,7
/proc/20505/task/20507/stat : 20507 (java) R 20503 20505 18875 0 -1 4202560 38369 0 1 0 179022 5 0 0 25 0 19 0 902519598 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 46912505768283 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20505/tid=20508] ppid=20503 vsize=10548592 CPUtime=0.5 cores=1,3,5,7
/proc/20505/task/20508/stat : 20508 (java) S 20503 20505 18875 0 -1 4202560 7782 0 0 0 49 1 0 0 16 0 19 0 902519600 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20509] ppid=20503 vsize=10548592 CPUtime=0.51 cores=1,3,5,7
/proc/20505/task/20509/stat : 20509 (java) S 20503 20505 18875 0 -1 4202560 5987 0 0 0 50 1 0 0 16 0 19 0 902519600 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20510] ppid=20503 vsize=10548592 CPUtime=0.47 cores=1,3,5,7
/proc/20505/task/20510/stat : 20510 (java) S 20503 20505 18875 0 -1 4202560 4518 0 0 0 47 0 0 0 15 0 19 0 902519600 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20511] ppid=20503 vsize=10548592 CPUtime=0.56 cores=1,3,5,7
/proc/20505/task/20511/stat : 20511 (java) S 20503 20505 18875 0 -1 4202560 6216 0 0 0 55 1 0 0 16 0 19 0 902519600 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20512] ppid=20503 vsize=10548592 CPUtime=0.43 cores=1,3,5,7
/proc/20505/task/20512/stat : 20512 (java) S 20503 20505 18875 0 -1 4202560 9694 0 0 0 41 2 0 0 15 0 19 0 902519600 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20513] ppid=20503 vsize=10548592 CPUtime=0.51 cores=1,3,5,7
/proc/20505/task/20513/stat : 20513 (java) S 20503 20505 18875 0 -1 4202560 2964 0 0 0 51 0 0 0 16 0 19 0 902519600 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
[pid=20505/tid=20514] ppid=20503 vsize=10548592 CPUtime=0.51 cores=1,3,5,7
/proc/20505/task/20514/stat : 20514 (java) S 20503 20505 18875 0 -1 4202560 9524 0 0 0 50 1 0 0 15 0 19 0 902519600 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20515] ppid=20503 vsize=10548592 CPUtime=0.58 cores=1,3,5,7
/proc/20505/task/20515/stat : 20515 (java) S 20503 20505 18875 0 -1 4202560 5207 0 0 0 57 1 0 0 16 0 19 0 902519600 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20516] ppid=20503 vsize=10548592 CPUtime=4.62 cores=1,3,5,7
/proc/20505/task/20516/stat : 20516 (java) S 20503 20505 18875 0 -1 4202560 19185 0 0 0 458 4 0 0 15 0 19 0 902519601 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117952 0 0 0 16800975 18446604462616742912 0 0 -1 5 0 0 0
[pid=20505/tid=20517] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20517/stat : 20517 (java) S 20503 20505 18875 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902519601 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20518] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20518/stat : 20518 (java) S 20503 20505 18875 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902519601 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
[pid=20505/tid=20519] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20519/stat : 20519 (java) S 20503 20505 18875 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902519603 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389125041 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20520] ppid=20503 vsize=10548592 CPUtime=0.55 cores=1,3,5,7
/proc/20505/task/20520/stat : 20520 (java) S 20503 20505 18875 0 -1 4202560 5609 0 0 0 54 1 0 0 15 0 19 0 902519603 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20521] ppid=20503 vsize=10548592 CPUtime=0.43 cores=1,3,5,7
/proc/20505/task/20521/stat : 20521 (java) S 20503 20505 18875 0 -1 4202560 1226 0 0 0 43 0 0 0 16 0 19 0 902519603 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20522] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20522/stat : 20522 (java) S 20503 20505 18875 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 902519603 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117337 0 4 0 16800975 18446604462616742912 0 0 -1 3 0 0 0
[pid=20505/tid=20523] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20523/stat : 20523 (java) S 20503 20505 18875 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 902519603 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117952 0 4 0 16800975 18446604462616742912 0 0 -1 1 0 0 0
[pid=20505/tid=20524] ppid=20503 vsize=10548592 CPUtime=0 cores=1,3,5,7
/proc/20505/task/20524/stat : 20524 (java) S 20503 20505 18875 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 902519631 10801758208 113181 33554432000 1073741824 1073778376 140734122535648 18446744073709551615 255389117952 0 4 0 16800975 18446604462616742912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10548592

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

Solver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 1796.06
CPU time (s): 1800.19
CPU user time (s): 1799.95
CPU system time (s): 0.240963
CPU usage (%): 100.23
Max. virtual memory (cumulated for all children) (KiB): 10548592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.240963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117758
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40110
involuntary context switches= 6364

runsolver used 2.93355 second user time and 6.88595 second system time

The end

Launcher Data 

Begin job on node135 at 2011-06-12 22:06:57
IDJOB=3492308
IDBENCH=78740
IDSOLVER=1982
FILE ID=node135/3492308-1307909217
RUNJOBID= node135-1307908879-20391
PBS_JOBID= 13559571
Free space on /tmp= 73888 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-91-90--soft-33-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3492308-1307909217/watcher-3492308-1307909217 -o /tmp/evaluation-result-3492308-1307909217/solver-3492308-1307909217 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492308-1307909217.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= b5d604f523494f9ae212571f314835a9
RANDOM SEED=1725014795

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 6640.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32365508 kB
Buffers:        120176 kB
Cached:         131076 kB
SwapCached:       6348 kB
Active:         299464 kB
Inactive:        99736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32365508 kB
SwapTotal:    67111528 kB
SwapFree:     67072804 kB
Dirty:              60 kB
Writeback:           0 kB
AnonPages:      146700 kB
Mapped:          18896 kB
Slab:           122440 kB
PageTables:       4708 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10519432 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73884 MiB
End job on node135 at 2011-06-12 22:36:55