Trace number 4103404

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)1140980736 1800.04 1790.56

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-roll3000.opb
MD5SUM671dfb6ede3c120af748dc40a7daef68
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1095891440
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8902
Total number of constraints2864
Number of constraints which are clauses143
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints2690
Minimum length of a constraint2
Maximum length of a constraint2407
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000000
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2123511627775
Number of bits of the biggest sum of numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
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 No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4103404-1466238319.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  objective function found
1.06/0.51	c ... done. Wall clock time 0.397s.
1.06/0.51	c declared #vars     8902
1.06/0.51	c #constraints  3038
1.06/0.51	c constraints type 
1.06/0.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 450
1.06/0.51	c org.sat4j.minisat.constraints.card.MinWatchCard => 31
1.06/0.51	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 538
1.06/0.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2019
1.06/0.51	c 3038 constraints processed.
1.06/0.51	c objective function length is 31 literals
2.30/1.49	c cleaning 2499 clauses out of 4999 with flag 13111/5000
3.87/2.82	c cleaning 4248 clauses out of 8501 with flag 34464/11002
5.31/4.24	c cleaning 5621 clauses out of 11252 with flag 62179/18002
6.74/5.69	c cleaning 6812 clauses out of 13631 with flag 90610/26002
8.37/7.27	c cleaning 7906 clauses out of 15818 with flag 126143/35001
10.30/9.19	c cleaning 8950 clauses out of 17911 with flag 168108/45000
12.71/11.56	c cleaning 9974 clauses out of 19961 with flag 217512/56000
15.15/13.92	c cleaning 10990 clauses out of 21986 with flag 272889/68000
17.96/16.76	c cleaning 11977 clauses out of 23995 with flag 328971/81000
20.86/19.63	c cleaning 13007 clauses out of 26020 with flag 358019/95002
25.15/23.81	c SATISFIABLE
25.15/23.81	c OPTIMIZING...
25.15/23.81	c Got one! Elapsed wall clock time (in seconds):23.701
25.15/23.81	o 2147482624
27.28/25.97	c cleaning 15861 clauses out of 31732 with flag 18954/113722
29.50/28.17	c cleaning 10921 clauses out of 21871 with flag 40947/119722
31.61/30.26	c cleaning 8961 clauses out of 17950 with flag 64000/126722
34.01/32.66	c cleaning 8480 clauses out of 16992 with flag 95028/134725
36.65/35.26	c cleaning 8748 clauses out of 17511 with flag 124968/143724
39.46/38.04	c cleaning 9368 clauses out of 18763 with flag 161011/153724
42.56/41.14	c cleaning 10198 clauses out of 20400 with flag 199190/164729
45.91/44.48	c cleaning 11086 clauses out of 22194 with flag 234430/176722
49.74/48.23	c cleaning 12051 clauses out of 24108 with flag 273209/189722
53.87/52.39	c cleaning 13024 clauses out of 26057 with flag 314521/203722
58.54/56.91	c cleaning 14012 clauses out of 28034 with flag 356786/218723
63.41/61.78	c cleaning 15010 clauses out of 30021 with flag 400591/234722
68.87/67.15	c cleaning 16003 clauses out of 32011 with flag 449049/251722
74.51/72.75	c cleaning 16995 clauses out of 34008 with flag 501007/269722
80.53/78.65	c cleaning 18003 clauses out of 36013 with flag 552965/288722
86.82/84.90	c cleaning 19004 clauses out of 38011 with flag 606564/308723
93.49/91.47	c cleaning 19999 clauses out of 40006 with flag 664886/329722
100.50/98.30	c cleaning 21001 clauses out of 42008 with flag 730533/351723
107.88/105.62	c cleaning 21992 clauses out of 44006 with flag 795081/374722
115.44/113.19	c cleaning 23005 clauses out of 46014 with flag 862914/398722
123.20/120.89	c cleaning 23995 clauses out of 48009 with flag 934038/423722
131.60/129.19	c cleaning 25009 clauses out of 50017 with flag 1010939/449725
140.54/137.96	c cleaning 26002 clauses out of 52008 with flag 1090483/476725
149.38/146.69	c cleaning 26998 clauses out of 54004 with flag 1170654/504723
158.45/155.59	c cleaning 28004 clauses out of 56007 with flag 1253943/533724
168.24/165.15	c cleaning 28997 clauses out of 58002 with flag 1341815/563723
177.80/174.57	c cleaning 29998 clauses out of 60005 with flag 1427804/594723
188.36/185.05	c cleaning 30994 clauses out of 62008 with flag 1517959/626724
199.02/195.55	c cleaning 32002 clauses out of 64013 with flag 1613736/659723
210.32/206.61	c cleaning 33006 clauses out of 66012 with flag 1710270/693724
222.01/218.19	c cleaning 33991 clauses out of 68004 with flag 1809837/728722
232.69/228.67	c cleaning 35001 clauses out of 70014 with flag 1926277/764723
243.56/239.32	c cleaning 36004 clauses out of 72012 with flag 2124966/801722
244.88/240.63	c Got one! Elapsed wall clock time (in seconds):240.516
244.88/240.63	o 1140980736
245.37/241.02	c cleaning 20793 clauses out of 41595 with flag 3555/807309
247.09/242.78	c cleaning 13387 clauses out of 26802 with flag 21673/813309
249.21/244.80	c cleaning 10196 clauses out of 20415 with flag 41305/820309
251.05/246.65	c cleaning 9085 clauses out of 18219 with flag 65288/828309
252.98/248.59	c cleaning 9057 clauses out of 18134 with flag 91265/837309
255.97/251.46	c cleaning 9539 clauses out of 19078 with flag 141931/847311
258.86/254.25	c cleaning 10253 clauses out of 20537 with flag 201323/858309
262.37/257.71	c cleaning 11138 clauses out of 22285 with flag 259631/870310
264.84/260.15	c cleaning 12064 clauses out of 24144 with flag 313690/883309
267.57/262.84	c cleaning 13032 clauses out of 26080 with flag 371129/897309
271.43/266.67	c cleaning 14011 clauses out of 28049 with flag 453055/912310
275.14/270.22	c cleaning 15010 clauses out of 30037 with flag 532096/928309
279.10/274.13	c cleaning 15998 clauses out of 32027 with flag 622842/945309
282.96/277.92	c cleaning 17002 clauses out of 34029 with flag 711112/963309
287.02/281.92	c cleaning 17994 clauses out of 36028 with flag 800749/982310
291.49/286.34	c cleaning 19009 clauses out of 38035 with flag 887465/1002311
296.48/291.22	c cleaning 19994 clauses out of 40024 with flag 983605/1023309
302.07/296.70	c cleaning 20996 clauses out of 42030 with flag 1096492/1045309
307.86/302.42	c cleaning 21996 clauses out of 44035 with flag 1208818/1068310
313.90/308.34	c cleaning 23004 clauses out of 46039 with flag 1312167/1092310
320.41/314.75	c cleaning 24006 clauses out of 48034 with flag 1442689/1117309
327.29/321.58	c cleaning 25002 clauses out of 50028 with flag 1571496/1143309
334.58/328.76	c cleaning 25997 clauses out of 52028 with flag 1690966/1170311
342.72/336.71	c cleaning 27002 clauses out of 54029 with flag 1831685/1198309
350.88/344.83	c cleaning 28000 clauses out of 56027 with flag 1977787/1227309
359.83/353.64	c cleaning 29000 clauses out of 58027 with flag 2149647/1257309
368.49/362.14	c cleaning 29998 clauses out of 60027 with flag 2308751/1288309
377.14/370.67	c cleaning 30995 clauses out of 62030 with flag 2457557/1320310
386.34/379.76	c cleaning 32009 clauses out of 64038 with flag 2604404/1353313
396.18/389.45	c cleaning 32996 clauses out of 66025 with flag 2769872/1387309
405.62/398.78	c cleaning 33995 clauses out of 68030 with flag 2919990/1422310
413.64/406.79	c cleaning 35013 clauses out of 70034 with flag 2997987/1458309
422.63/415.80	c cleaning 36008 clauses out of 72022 with flag 3074850/1495310
431.99/425.10	c cleaning 37004 clauses out of 74013 with flag 3153994/1533309
442.35/435.33	c cleaning 38003 clauses out of 76010 with flag 3235166/1572310
453.37/446.32	c cleaning 39000 clauses out of 78006 with flag 3318471/1612309
465.62/458.56	c cleaning 40000 clauses out of 80006 with flag 3404030/1653309
478.38/471.27	c cleaning 41002 clauses out of 82006 with flag 3491605/1695309
492.53/485.34	c cleaning 42000 clauses out of 84005 with flag 3581341/1738310
507.22/499.97	c cleaning 42998 clauses out of 86004 with flag 3672964/1782309
522.17/514.87	c cleaning 44000 clauses out of 88007 with flag 3766669/1827310
538.83/531.48	c cleaning 45001 clauses out of 90007 with flag 3862462/1873310
556.32/548.99	c cleaning 45998 clauses out of 92006 with flag 3960437/1920310
574.56/567.10	c cleaning 47001 clauses out of 94008 with flag 4060555/1968310
594.11/586.69	c cleaning 47997 clauses out of 96006 with flag 4162969/2017309
615.43/607.91	c cleaning 49001 clauses out of 98009 with flag 4267381/2067309
638.78/631.27	c cleaning 49999 clauses out of 100008 with flag 4374147/2118309
662.83/655.22	c cleaning 51003 clauses out of 102009 with flag 4482694/2170309
690.07/682.41	c cleaning 51999 clauses out of 104006 with flag 4593653/2223309
717.90/710.27	c cleaning 53000 clauses out of 106008 with flag 4706834/2277310
748.26/740.59	c cleaning 54000 clauses out of 108008 with flag 4821712/2332310
780.18/772.47	c cleaning 55001 clauses out of 110008 with flag 4938789/2388310
812.62/804.80	c cleaning 56002 clauses out of 112006 with flag 5058038/2445309
845.48/837.69	c cleaning 56999 clauses out of 114005 with flag 5179256/2503310
880.01/872.15	c cleaning 57998 clauses out of 116005 with flag 5302902/2562309
917.16/909.24	c cleaning 59001 clauses out of 118008 with flag 5428283/2622310
956.08/948.11	c cleaning 60002 clauses out of 120007 with flag 5555838/2683310
997.75/989.73	c cleaning 61001 clauses out of 122005 with flag 5685388/2745310
1041.58/1033.58	c cleaning 61999 clauses out of 124003 with flag 5817172/2808309
1089.48/1081.33	c cleaning 63000 clauses out of 126005 with flag 5951039/2872310
1137.62/1129.49	c cleaning 64001 clauses out of 128004 with flag 6086498/2937309
1191.78/1183.55	c cleaning 64998 clauses out of 130003 with flag 6222963/3003309
1254.40/1246.07	c cleaning 66003 clauses out of 132005 with flag 6360992/3070309
1327.36/1318.65	c cleaning 67001 clauses out of 134002 with flag 6497136/3138309
1403.85/1395.10	c cleaning 67999 clauses out of 136002 with flag 6635165/3207310
1480.39/1471.49	c cleaning 69000 clauses out of 138003 with flag 6775262/3277310
1557.84/1548.65	c cleaning 69999 clauses out of 140003 with flag 6917279/3348310
1639.29/1630.08	c cleaning 70999 clauses out of 142004 with flag 7061287/3420310
1715.94/1706.63	c cleaning 72002 clauses out of 144004 with flag 7207327/3493309
1800.04/1790.50	c starts		: 33022
1800.04/1790.50	c conflicts		: 3563866
1800.04/1790.50	c decisions		: 7186924
1800.04/1790.50	c propagations		: 80265592
1800.04/1790.50	c inspects		: 32231080278
1800.04/1790.50	c shortcuts		: 0
1800.04/1790.50	c learnt literals	: 10
1800.04/1790.50	c learnt binary clauses	: 34
1800.04/1790.50	c learnt ternary clauses	: 47
1800.04/1790.50	c learnt constraints	: 3563856
1800.04/1790.50	c ignored constraints	: 0
1800.04/1790.50	c root simplifications	: 0
1800.04/1790.50	c removed literals (reason simplification)	: 0
1800.04/1790.50	c reason swapping (by a shorter reason)	: 0
1800.04/1790.50	c Calls to reduceDB	: 112
1800.04/1790.50	c Number of update (reduction) of LBD	: 418364
1800.04/1790.50	c Imported unit clauses	: 0
1800.04/1790.50	c number of reductions to clauses (during analyze)	: 0
1800.04/1790.50	c number of learned constraints concerned by reduction	: 0
1800.04/1790.50	c number of learning phase by resolution	: 0
1800.04/1790.50	c number of learning phase by cutting planes	: 0
1800.04/1790.50	c speed (assignments/second)	: 44842.08985558903
1800.04/1790.50	c non guided choices	19281
1800.04/1790.53	c learnt constraints type 
1800.04/1790.53	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 34
1800.04/1790.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 142526
1800.04/1790.53	s SATISFIABLE
1800.04/1790.53	c Found 2 solution(s)
1800.04/1790.54	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 x14 x15 -x16 x17 -x18 x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 x598 -x599 x600 -x601 -x602 x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 x966 -x967 -x968 -x969 -x970 -x971 x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 x1207 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 x1327 x1328 x1329 -x1330 x1331 x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 x1563 -x1564 -x1565 -x1566 -x1567 x1568 -x1569 -x1570 -x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 x1650 -x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 x3035 x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 x3156 x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 x3316 x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 x3356 x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 x3736 x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 x4036 -x4037 x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 x4050 -x4051 x4052 x4053 x4054 x4055 -x4056 x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 x4174 -x4175 x4176 -x4177 x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 x4230 x4231 x4232 -x4233 -x4234 -x4235 x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 x4352 -x4353 -x4354 -x4355 -x4356 x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 x4369 -x4370 -x4371 -x4372 -x4373 -x4374 x4375 x4376 x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 x4435 -x4436 x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 x4732 -x4733 x4734 -x4735 -x4736 x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 x4814 x4815 x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 x4891 x4892 -x4893 x4894 x4895 -x4896 x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 x4953 x4954 x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 x5090 x5091 x5092 x5093 x5094 x5095 -x5096 -x5097 x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 x5190 x5191 x5192 x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 x5290 -x5291 -x5292 -x5293 x5294 -x5295 x5296 -x5297 x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 x5371 x5372 -x5373 -x5374 -x5375 x5376 x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 x5390 -x5391 -x5392 -x5393 x5394 -x5395 x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 x5415 x5416 x5417 x5418 x5419 -x5420 -x5421 x5422 x5423 -x5424 -x5425 x5426 x5427 -x5428 x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 x5498 -x5499 -x5500 -x5501 -x5502 -x5503 x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 x5582 -x5583 x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 x5600 -x5601 -x5602 -x5603 -x5604 -x5605 x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 x5640 -x5641 -x5642 -x5643 -x5644 -x5645 x5646 -x5647 x5648 -x5649 x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 x5668 -x5669 -x5670 -x5671 -x5672 -x5673 x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 x5684 -x5685 -x5686 -x5687 x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 x5706 -x5707 x5708 -x5709 -x5710 -x5711 -x5712 -x5713 x5714 -x5715 x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 x5724 -x5725 -x5726 -x5727 -x5728 -x5729 x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 x5840 -x5841 x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 x5937 x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 x6266 x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 x6491 x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 x6551 x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 x6596 x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 x6671 x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 x6686 -x6687 x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 x7137 x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 x7182 x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 x7257 x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 x7286 x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 x7616 x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 x7796 -x7797 x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 x7946 x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 x8037 x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 x8142 x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 x8456 x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 x8486 x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 x8517 x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 x8607 -x8608 x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 x8633 -x8634 -x8635 -x8636 x8637 x8638 -x8639 -x8640 x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 x8648 -x8649 -x8650 -x8651 -x8652 x8653 -x8654 -x8655 -x8656 -x8657 x8658 -x8659 -x8660 x8661 -x8662 -x8663 -x8664 x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 x8681 -x8682 -x8683 -x8684 -x8685 x8686 -x8687 -x8688 -x8689 x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 x8700 x8701 -x8702 x8703 -x8704 -x8705 -x8706 -x8707 -x8708 x8709 -x8710 -x8711 x8712 -x8713 -x8714 x8715 -x8716 x8717 -x8718 -x8719 -x8720 x8721 x8722 x8723 -x8724 -x8725 -x8726 -x8727 -x8728 x8729 -x8730 -x8731 x8732 x8733 x8734 -x8735 x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 x8743 -x8744 -x8745 x8746 -x8747 -x8748 -x8749 -x8750 x8751 -x8752 x8753 -x8754 x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 x8762 x8763 -x8764 -x8765 x8766 x8767 -x8768 -x8769 -x8770 x8771 x8772 -x8773 x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 x8803 x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 x8820 -x8821 -x8822 -x8823 -x8824 x8825 -x8826 -x8827 -x8828 x8829 x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 x8853 -x8854 -x8855 -x8856 x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 x8864 -x8865 -x8866 -x8867 x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 x8882 x8883 x8884 x8885 x8886 x8887 x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 x8898 -x8899 -x8900 -x8901 x8902 
1800.04/1790.55	c objective function=1140980736
1800.04/1790.55	c Total wall clock time (in seconds): 1790.435

Verifier Data 

OK	1140980736

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4103404-1466238319/watcher-4103404-1466238319 -o /tmp/evaluation-result-4103404-1466238319/solver-4103404-1466238319 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466206052-22954 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103404-1466238319.opb 

pid=29696
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.18 2.21 2.18 4/194 29699
/proc/meminfo: memFree=29974108/32872528 swapFree=1400172/1569824
[pid=29699] ppid=29696 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/29699/stat : 29699 (java) R 29696 29699 22937 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 25877095 278528 34 33554432000 1073741824 1073778376 140734348336224 140733877643368 213410475818 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 625 42 34 9 0 25 0

[startup+0.100163 s]
/proc/loadavg: 2.18 2.21 2.18 4/194 29699
/proc/meminfo: memFree=29974108/32872528 swapFree=1400172/1569824
[pid=29699] ppid=29696 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/29699/stat : 29699 (java) S 29696 29699 22937 0 -1 4202496 4413 0 1 0 8 1 0 0 20 0 18 0 25877095 9787879424 6036 33554432000 1073741824 1073778376 140734348336224 140734348327360 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 2389619 6036 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200281 s]
/proc/loadavg: 2.18 2.21 2.18 4/194 29699
/proc/meminfo: memFree=29974108/32872528 swapFree=1400172/1569824
[pid=29699] ppid=29696 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/29699/stat : 29699 (java) S 29696 29699 22937 0 -1 4202496 5100 0 1 0 27 1 0 0 20 0 18 0 25877095 9787879424 7103 33554432000 1073741824 1073778376 140734348336224 140734348327360 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 2389619 7103 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300289 s]
/proc/loadavg: 2.18 2.21 2.18 4/194 29699
/proc/meminfo: memFree=29974108/32872528 swapFree=1400172/1569824
[pid=29699] ppid=29696 vsize=9558476 CPUtime=0.54 cores=1,3,5,7
/proc/29699/stat : 29699 (java) S 29696 29699 22937 0 -1 4202496 7144 0 1 0 52 2 0 0 20 0 18 0 25877095 9787879424 10335 33554432000 1073741824 1073778376 140734348336224 140734348327360 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 2389619 10359 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476

[startup+0.700247 s]
/proc/loadavg: 2.18 2.21 2.18 4/194 29699
/proc/meminfo: memFree=29974108/32872528 swapFree=1400172/1569824
[pid=29699] ppid=29696 vsize=9625040 CPUtime=1.48 cores=1,3,5,7
/proc/29699/stat : 29699 (java) S 29696 29699 22937 0 -1 4202496 10788 0 1 0 145 3 0 0 20 0 19 0 25877095 9856040960 26648 33554432000 1073741824 1073778376 140734348336224 140734348327360 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 2406260 26648 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9625040

[startup+1.50086 s]
/proc/loadavg: 2.25 2.22 2.18 5/213 29784
/proc/meminfo: memFree=30025976/32872528 swapFree=1400172/1569824
[pid=29699] ppid=29696 vsize=9625040 CPUtime=2.45 cores=1,3,5,7
/proc/29699/stat : 29699 (java) S 29696 29699 22937 0 -1 4202496 11190 0 1 0 242 3 0 0 20 0 19 0 25877095 9856040960 41034 33554432000 1073741824 1073778376 140734348336224 140734348327360 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 2406260 41034 2272 9 0 2396937 0
[pid=29699/tid=29701] ppid=29696 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/29699/task/29701/stat : 29701 (java) R 29696 29699 22937 0 -1 4202560 2470 0 1 0 144 2 0 0 20 0 19 0 25877096 9856040960 41034 33554432000 1073741824 1073778376 140734348336224 140244962382184 140244792428768 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29699/tid=29702] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29702/stat : 29702 (java) S 29696 29699 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25877097 9856040960 41034 33554432000 1073741824 1073778376 140734348336224 140244923873960 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29703] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29703/stat : 29703 (java) S 29696 29699 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25877097 9856040960 41034 33554432000 1073741824 1073778376 140734348336224 140244922821416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29699/tid=29704] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29704/stat : 29704 (java) S 29696 29699 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25877097 9856040960 41034 33554432000 1073741824 1073778376 140734348336224 140244921768872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29699/tid=29705] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29705/stat : 29705 (java) S 29696 29699 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25877097 9856040960 41034 33554432000 1073741824 1073778376 140734348336224 140244920716328 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29699/tid=29706] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29706/stat : 29706 (java) S 29696 29699 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25877097 9856040960 41034 33554432000 1073741824 1073778376 140734348336224 140244919662760 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29707] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29707/stat : 29707 (java) S 29696 29699 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25877097 9856040960 41034 33554432000 1073741824 1073778376 140734348336224 140244918610216 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29699/tid=29708] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29708/stat : 29708 (java) S 29696 29699 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25877097 9856040960 41034 33554432000 1073741824 1073778376 140734348336224 140244917557672 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29709] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29709/stat : 29709 (java) S 29696 29699 22937 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25877097 9856040960 41034 33554432000 1073741824 1073778376 140734348336224 140244916505128 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29710] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29710/stat : 29710 (java) S 29696 29699 22937 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25877098 9856040960 41034 33554432000 1073741824 1073778376 140734348336224 140244786584168 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29711] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29711/stat : 29711 (java) S 29696 29699 22937 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25877099 9856040960 41034 33554432000 1073741824 1073778376 140734348336224 140244785530488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29712] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29712/stat : 29712 (java) S 29696 29699 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25877099 9856040960 41034 33554432000 1073741824 1073778376 140734348336224 140244784477832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29715] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29715/stat : 29715 (java) S 29696 29699 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25877101 9856040960 41034 33554432000 1073741824 1073778376 140734348336224 140244783426576 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29716] ppid=29696 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/29699/task/29716/stat : 29716 (java) S 29696 29699 22937 0 -1 4202560 2726 0 0 0 45 0 0 0 20 0 19 0 25877101 9856040960 41034 33554432000 1073741824 1073778376 140734348336224 140244782372920 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29717] ppid=29696 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/29699/task/29717/stat : 29717 (java) R 29696 29699 22937 0 -1 4202560 4717 0 0 0 50 0 0 0 20 0 19 0 25877101 9856040960 41034 33554432000 1073741824 1073778376 140734348336224 140244781314216 140244964869983 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29699/tid=29718] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29718/stat : 29718 (java) S 29696 29699 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25877101 9856040960 41034 33554432000 1073741824 1073778376 140734348336224 140244780268024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29699/tid=29719] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29719/stat : 29719 (java) S 29696 29699 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25877101 9856040960 41034 33554432000 1073741824 1073778376 140734348336224 140244779215688 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29783] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29783/stat : 29783 (java) S 29696 29699 22937 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25877149 9856040960 41034 33554432000 1073741824 1073778376 140734348336224 140244778161448 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 9625040

[startup+3.10087 s]
/proc/loadavg: 2.25 2.22 2.18 4/213 29784
/proc/meminfo: memFree=29935432/32872528 swapFree=1400172/1569824
[pid=29699] ppid=29696 vsize=9625040 CPUtime=4.17 cores=1,3,5,7
/proc/29699/stat : 29699 (java) S 29696 29699 22937 0 -1 4202496 11288 0 1 0 412 5 0 0 20 0 19 0 25877095 9856040960 43677 33554432000 1073741824 1073778376 140734348336224 140734348327360 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 2406260 43677 2286 9 0 2396937 0
[pid=29699/tid=29701] ppid=29696 vsize=9625040 CPUtime=3.03 cores=1,3,5,7
/proc/29699/task/29701/stat : 29701 (java) R 29696 29699 22937 0 -1 4202560 2477 0 1 0 301 2 0 0 20 0 19 0 25877096 9856040960 43677 33554432000 1073741824 1073778376 140734348336224 140244962381352 140244792522848 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29699/tid=29702] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29702/stat : 29702 (java) S 29696 29699 22937 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25877097 9856040960 43677 33554432000 1073741824 1073778376 140734348336224 140244923873960 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29703] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29703/stat : 29703 (java) S 29696 29699 22937 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 25877097 9856040960 43677 33554432000 1073741824 1073778376 140734348336224 140244922821416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29699/tid=29704] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29704/stat : 29704 (java) S 29696 29699 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25877097 9856040960 43677 33554432000 1073741824 1073778376 140734348336224 140244921768872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29699/tid=29705] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29705/stat : 29705 (java) S 29696 29699 22937 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 25877097 9856040960 43677 33554432000 1073741824 1073778376 140734348336224 140244920716328 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29706] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29706/stat : 29706 (java) S 29696 29699 22937 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25877097 9856040960 43677 33554432000 1073741824 1073778376 140734348336224 140244919662760 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29699/tid=29707] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29707/stat : 29707 (java) S 29696 29699 22937 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 25877097 9856040960 43677 33554432000 1073741824 1073778376 140734348336224 140244918610216 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29699/tid=29708] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29708/stat : 29708 (java) S 29696 29699 22937 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 25877097 9856040960 43677 33554432000 1073741824 1073778376 140734348336224 140244917557672 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29699/tid=29709] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29709/stat : 29709 (java) S 29696 29699 22937 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25877097 9856040960 43677 33554432000 1073741824 1073778376 140734348336224 140244916505128 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29710] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29710/stat : 29710 (java) S 29696 29699 22937 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 25877098 9856040960 43677 33554432000 1073741824 1073778376 140734348336224 140244786584168 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29711] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29711/stat : 29711 (java) S 29696 29699 22937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25877099 9856040960 43677 33554432000 1073741824 1073778376 140734348336224 140244785530488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29712] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29712/stat : 29712 (java) S 29696 29699 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25877099 9856040960 43677 33554432000 1073741824 1073778376 140734348336224 140244784477832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29715] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29715/stat : 29715 (java) S 29696 29699 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25877101 9856040960 43677 33554432000 1073741824 1073778376 140734348336224 140244783426576 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29716] ppid=29696 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/29699/task/29716/stat : 29716 (java) S 29696 29699 22937 0 -1 4202560 2726 0 0 0 46 0 0 0 20 0 19 0 25877101 9856040960 43677 33554432000 1073741824 1073778376 140734348336224 140244782372920 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29717] ppid=29696 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/29699/task/29717/stat : 29717 (java) S 29696 29699 22937 0 -1 4202560 4717 0 0 0 55 0 0 0 20 0 19 0 25877101 9856040960 43677 33554432000 1073741824 1073778376 140734348336224 140244781320376 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29699/tid=29718] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29718/stat : 29718 (java) S 29696 29699 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25877101 9856040960 43677 33554432000 1073741824 1073778376 140734348336224 140244780268024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29699/tid=29719] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29719/stat : 29719 (java) S 29696 29699 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25877101 9856040960 43677 33554432000 1073741824 1073778376 140734348336224 140244779215688 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29783] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29783/stat : 29783 (java) S 29696 29699 22937 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25877149 9856040960 43677 33554432000 1073741824 1073778376 140734348336224 140244778161448 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.17
Current children cumulated vsize (KiB) 9625040

[startup+6.30089 s]
/proc/loadavg: 2.25 2.22 2.18 3/213 29784
/proc/meminfo: memFree=29827772/32872528 swapFree=1400172/1569824
[pid=29699] ppid=29696 vsize=9625040 CPUtime=7.45 cores=1,3,5,7
/proc/29699/stat : 29699 (java) S 29696 29699 22937 0 -1 4202496 11326 0 1 0 739 6 0 0 20 0 19 0 25877095 9856040960 46769 33554432000 1073741824 1073778376 140734348336224 140734348327360 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 2406260 46769 2286 9 0 2396937 0
[pid=29699/tid=29701] ppid=29696 vsize=9625040 CPUtime=6.19 cores=1,3,5,7
/proc/29699/task/29701/stat : 29701 (java) R 29696 29699 22937 0 -1 4202560 2480 0 1 0 617 2 0 0 20 0 19 0 25877096 9856040960 46769 33554432000 1073741824 1073778376 140734348336224 140244962382104 140244792471638 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29699/tid=29702] ppid=29696 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/29699/task/29702/stat : 29702 (java) S 29696 29699 22937 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 25877097 9856040960 46769 33554432000 1073741824 1073778376 140734348336224 140244923873960 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29703] ppid=29696 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/29699/task/29703/stat : 29703 (java) S 29696 29699 22937 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 25877097 9856040960 46769 33554432000 1073741824 1073778376 140734348336224 140244922821416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29699/tid=29704] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29704/stat : 29704 (java) S 29696 29699 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25877097 9856040960 46769 33554432000 1073741824 1073778376 140734348336224 140244921768872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29699/tid=29705] ppid=29696 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/29699/task/29705/stat : 29705 (java) S 29696 29699 22937 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 25877097 9856040960 46769 33554432000 1073741824 1073778376 140734348336224 140244920716328 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29699/tid=29706] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29706/stat : 29706 (java) S 29696 29699 22937 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25877097 9856040960 46769 33554432000 1073741824 1073778376 140734348336224 140244919662760 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29699/tid=29707] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29707/stat : 29707 (java) S 29696 29699 22937 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 25877097 9856040960 46769 33554432000 1073741824 1073778376 140734348336224 140244918610216 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29699/tid=29708] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29708/stat : 29708 (java) S 29696 29699 22937 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 25877097 9856040960 46769 33554432000 1073741824 1073778376 140734348336224 140244917557672 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29699/tid=29709] ppid=29696 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/29699/task/29709/stat : 29709 (java) S 29696 29699 22937 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 25877097 9856040960 46769 33554432000 1073741824 1073778376 140734348336224 140244916505128 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29699/tid=29710] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29710/stat : 29710 (java) S 29696 29699 22937 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 25877098 9856040960 46769 33554432000 1073741824 1073778376 140734348336224 140244786584168 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29699/tid=29711] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29711/stat : 29711 (java) S 29696 29699 22937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25877099 9856040960 46769 33554432000 1073741824 1073778376 140734348336224 140244785530488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29712] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29712/stat : 29712 (java) S 29696 29699 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25877099 9856040960 46769 33554432000 1073741824 1073778376 140734348336224 140244784477832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29715] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29715/stat : 29715 (java) S 29696 29699 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25877101 9856040960 46769 33554432000 1073741824 1073778376 140734348336224 140244783426576 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29716] ppid=29696 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/29699/task/29716/stat : 29716 (java) S 29696 29699 22937 0 -1 4202560 2730 0 0 0 48 0 0 0 20 0 19 0 25877101 9856040960 46769 33554432000 1073741824 1073778376 140734348336224 140244782372920 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29717] ppid=29696 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/29699/task/29717/stat : 29717 (java) S 29696 29699 22937 0 -1 4202560 4717 0 0 0 57 0 0 0 20 0 19 0 25877101 9856040960 46769 33554432000 1073741824 1073778376 140734348336224 140244781320376 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29699/tid=29718] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29718/stat : 29718 (java) S 29696 29699 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25877101 9856040960 46769 33554432000 1073741824 1073778376 140734348336224 140244780268024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29699/tid=29719] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29719/stat : 29719 (java) S 29696 29699 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25877101 9856040960 46769 33554432000 1073741824 1073778376 140734348336224 140244779215688 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29699/tid=29783] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29783/stat : 29783 (java) S 29696 29699 22937 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25877149 9856040960 46769 33554432000 1073741824 1073778376 140734348336224 140244778161448 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.45
Current children cumulated vsize (KiB) 9625040


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

[pid=29699/tid=29783] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29783/stat : 29783 (java) S 29696 29699 22937 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25877149 9856040960 65408 33554432000 1073741824 1073778376 140734348336224 140244778161448 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1731.67
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 1.97 2.17 2.18 2/188 29861
/proc/meminfo: memFree=30038204/32872528 swapFree=1400172/1569824
[pid=29699] ppid=29696 vsize=9625040 CPUtime=1791.7 cores=1,3,5,7
/proc/29699/stat : 29699 (java) S 29696 29699 22937 0 -1 4202496 27858 0 1 0 179070 100 0 0 20 0 19 0 25877095 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140734348327360 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 2406260 65409 2295 9 0 2396937 0
[pid=29699/tid=29701] ppid=29696 vsize=9625040 CPUtime=1772.63 cores=1,3,5,7
/proc/29699/task/29701/stat : 29701 (java) R 29696 29699 22937 0 -1 4202560 8606 0 1 0 177230 33 0 0 20 0 19 0 25877096 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244962381040 140244792583295 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29699/tid=29702] ppid=29696 vsize=9625040 CPUtime=1.57 cores=1,3,5,7
/proc/29699/task/29702/stat : 29702 (java) S 29696 29699 22937 0 -1 4202560 1715 0 0 0 150 7 0 0 20 0 19 0 25877097 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244923873960 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29699/tid=29703] ppid=29696 vsize=9625040 CPUtime=1.56 cores=1,3,5,7
/proc/29699/task/29703/stat : 29703 (java) S 29696 29699 22937 0 -1 4202560 1078 0 0 0 148 8 0 0 20 0 19 0 25877097 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244922821416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29699/tid=29704] ppid=29696 vsize=9625040 CPUtime=1.52 cores=1,3,5,7
/proc/29699/task/29704/stat : 29704 (java) S 29696 29699 22937 0 -1 4202560 678 0 0 0 146 6 0 0 20 0 19 0 25877097 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244921768872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29699/tid=29705] ppid=29696 vsize=9625040 CPUtime=1.5 cores=1,3,5,7
/proc/29699/task/29705/stat : 29705 (java) S 29696 29699 22937 0 -1 4202560 1305 0 0 0 143 7 0 0 20 0 19 0 25877097 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244920716328 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29699/tid=29706] ppid=29696 vsize=9625040 CPUtime=1.56 cores=1,3,5,7
/proc/29699/task/29706/stat : 29706 (java) S 29696 29699 22937 0 -1 4202560 2182 0 0 0 149 7 0 0 20 0 19 0 25877097 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244919662760 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29699/tid=29707] ppid=29696 vsize=9625040 CPUtime=1.5 cores=1,3,5,7
/proc/29699/task/29707/stat : 29707 (java) S 29696 29699 22937 0 -1 4202560 807 0 0 0 144 6 0 0 20 0 19 0 25877097 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244918610216 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29699/tid=29708] ppid=29696 vsize=9625040 CPUtime=1.57 cores=1,3,5,7
/proc/29699/task/29708/stat : 29708 (java) S 29696 29699 22937 0 -1 4202560 1159 0 0 0 152 5 0 0 20 0 19 0 25877097 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244917557672 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29699/tid=29709] ppid=29696 vsize=9625040 CPUtime=1.62 cores=1,3,5,7
/proc/29699/task/29709/stat : 29709 (java) S 29696 29699 22937 0 -1 4202560 901 0 0 0 154 8 0 0 20 0 19 0 25877097 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244916505128 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29699/tid=29710] ppid=29696 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/29699/task/29710/stat : 29710 (java) S 29696 29699 22937 0 -1 4202560 373 0 0 0 41 9 0 0 20 0 19 0 25877098 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244786584168 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29699/tid=29711] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29711/stat : 29711 (java) S 29696 29699 22937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25877099 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244785530488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29712] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29712/stat : 29712 (java) S 29696 29699 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25877099 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244784477832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29715] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29715/stat : 29715 (java) S 29696 29699 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25877101 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244783426576 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29716] ppid=29696 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/29699/task/29716/stat : 29716 (java) S 29696 29699 22937 0 -1 4202560 2951 0 0 0 58 0 0 0 20 0 19 0 25877101 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244782372920 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29699/tid=29717] ppid=29696 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/29699/task/29717/stat : 29717 (java) S 29696 29699 22937 0 -1 4202560 4737 0 0 0 62 0 0 0 20 0 19 0 25877101 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244781320376 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29699/tid=29718] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29718/stat : 29718 (java) S 29696 29699 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25877101 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244780268024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29699/tid=29719] ppid=29696 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/29699/task/29719/stat : 29719 (java) S 29696 29699 22937 0 -1 4202560 103 0 0 0 27 36 0 0 20 0 19 0 25877101 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244779215688 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29699/tid=29783] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29783/stat : 29783 (java) S 29696 29699 22937 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25877149 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244778161448 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.7
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.5 s]
/proc/loadavg: 1.90 2.15 2.17 2/188 29861
/proc/meminfo: memFree=30038476/32872528 swapFree=1400172/1569824
[pid=29699] ppid=29696 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7
/proc/29699/stat : 29699 (java) S 29696 29699 22937 0 -1 4202496 27870 0 1 0 179904 100 0 0 20 0 19 0 25877095 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140734348327360 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 2406260 65409 2295 9 0 2396937 0
[pid=29699/tid=29701] ppid=29696 vsize=9625040 CPUtime=1780.74 cores=1,3,5,7
/proc/29699/task/29701/stat : 29701 (java) R 29696 29699 22937 0 -1 4202560 8614 0 1 0 178040 34 0 0 20 0 19 0 25877096 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244962381208 140244792613639 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29702] ppid=29696 vsize=9625040 CPUtime=1.59 cores=1,3,5,7
/proc/29699/task/29702/stat : 29702 (java) S 29696 29699 22937 0 -1 4202560 1715 0 0 0 152 7 0 0 20 0 19 0 25877097 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244923873960 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29699/tid=29703] ppid=29696 vsize=9625040 CPUtime=1.58 cores=1,3,5,7
/proc/29699/task/29703/stat : 29703 (java) S 29696 29699 22937 0 -1 4202560 1078 0 0 0 150 8 0 0 20 0 19 0 25877097 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244922821416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29699/tid=29704] ppid=29696 vsize=9625040 CPUtime=1.56 cores=1,3,5,7
/proc/29699/task/29704/stat : 29704 (java) S 29696 29699 22937 0 -1 4202560 678 0 0 0 150 6 0 0 20 0 19 0 25877097 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244921768872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29699/tid=29705] ppid=29696 vsize=9625040 CPUtime=1.52 cores=1,3,5,7
/proc/29699/task/29705/stat : 29705 (java) S 29696 29699 22937 0 -1 4202560 1305 0 0 0 145 7 0 0 20 0 19 0 25877097 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244920716328 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29699/tid=29706] ppid=29696 vsize=9625040 CPUtime=1.58 cores=1,3,5,7
/proc/29699/task/29706/stat : 29706 (java) S 29696 29699 22937 0 -1 4202560 2182 0 0 0 151 7 0 0 20 0 19 0 25877097 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244919662760 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29699/tid=29707] ppid=29696 vsize=9625040 CPUtime=1.52 cores=1,3,5,7
/proc/29699/task/29707/stat : 29707 (java) S 29696 29699 22937 0 -1 4202560 807 0 0 0 146 6 0 0 20 0 19 0 25877097 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244918610216 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29708] ppid=29696 vsize=9625040 CPUtime=1.6 cores=1,3,5,7
/proc/29699/task/29708/stat : 29708 (java) S 29696 29699 22937 0 -1 4202560 1159 0 0 0 155 5 0 0 20 0 19 0 25877097 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244917557672 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29709] ppid=29696 vsize=9625040 CPUtime=1.65 cores=1,3,5,7
/proc/29699/task/29709/stat : 29709 (java) S 29696 29699 22937 0 -1 4202560 901 0 0 0 157 8 0 0 20 0 19 0 25877097 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244916505128 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29699/tid=29710] ppid=29696 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/29699/task/29710/stat : 29710 (java) S 29696 29699 22937 0 -1 4202560 377 0 0 0 41 9 0 0 20 0 19 0 25877098 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244786584168 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29699/tid=29711] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29711/stat : 29711 (java) S 29696 29699 22937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25877099 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244785530488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29712] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29712/stat : 29712 (java) S 29696 29699 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25877099 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244784477832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29715] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29715/stat : 29715 (java) S 29696 29699 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25877101 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244783426576 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29716] ppid=29696 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/29699/task/29716/stat : 29716 (java) S 29696 29699 22937 0 -1 4202560 2951 0 0 0 58 0 0 0 20 0 19 0 25877101 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244782372920 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29699/tid=29717] ppid=29696 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/29699/task/29717/stat : 29717 (java) S 29696 29699 22937 0 -1 4202560 4737 0 0 0 62 0 0 0 20 0 19 0 25877101 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244781320376 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29699/tid=29718] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29718/stat : 29718 (java) S 29696 29699 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25877101 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244780268024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29699/tid=29719] ppid=29696 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/29699/task/29719/stat : 29719 (java) S 29696 29699 22937 0 -1 4202560 103 0 0 0 27 36 0 0 20 0 19 0 25877101 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244779215688 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29699/tid=29783] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29783/stat : 29783 (java) S 29696 29699 22937 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25877149 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244778161448 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29699 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1790.5 s]
/proc/loadavg: 1.90 2.15 2.17 2/188 29861
/proc/meminfo: memFree=30038476/32872528 swapFree=1400172/1569824
[pid=29699] ppid=29696 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7
/proc/29699/stat : 29699 (java) S 29696 29699 22937 0 -1 4202496 27870 0 1 0 179904 100 0 0 20 0 19 0 25877095 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140734348327360 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 2406260 65409 2295 9 0 2396937 0
[pid=29699/tid=29701] ppid=29696 vsize=9625040 CPUtime=1780.74 cores=1,3,5,7
/proc/29699/task/29701/stat : 29701 (java) R 29696 29699 22937 0 -1 4202560 8614 0 1 0 178040 34 0 0 20 0 19 0 25877096 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244962381208 140244792613639 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29702] ppid=29696 vsize=9625040 CPUtime=1.59 cores=1,3,5,7
/proc/29699/task/29702/stat : 29702 (java) S 29696 29699 22937 0 -1 4202560 1715 0 0 0 152 7 0 0 20 0 19 0 25877097 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244923873960 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29699/tid=29703] ppid=29696 vsize=9625040 CPUtime=1.58 cores=1,3,5,7
/proc/29699/task/29703/stat : 29703 (java) S 29696 29699 22937 0 -1 4202560 1078 0 0 0 150 8 0 0 20 0 19 0 25877097 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244922821416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29699/tid=29704] ppid=29696 vsize=9625040 CPUtime=1.56 cores=1,3,5,7
/proc/29699/task/29704/stat : 29704 (java) S 29696 29699 22937 0 -1 4202560 678 0 0 0 150 6 0 0 20 0 19 0 25877097 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244921768872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29699/tid=29705] ppid=29696 vsize=9625040 CPUtime=1.52 cores=1,3,5,7
/proc/29699/task/29705/stat : 29705 (java) S 29696 29699 22937 0 -1 4202560 1305 0 0 0 145 7 0 0 20 0 19 0 25877097 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244920716328 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29699/tid=29706] ppid=29696 vsize=9625040 CPUtime=1.58 cores=1,3,5,7
/proc/29699/task/29706/stat : 29706 (java) S 29696 29699 22937 0 -1 4202560 2182 0 0 0 151 7 0 0 20 0 19 0 25877097 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244919662760 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29699/tid=29707] ppid=29696 vsize=9625040 CPUtime=1.52 cores=1,3,5,7
/proc/29699/task/29707/stat : 29707 (java) S 29696 29699 22937 0 -1 4202560 807 0 0 0 146 6 0 0 20 0 19 0 25877097 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244918610216 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29708] ppid=29696 vsize=9625040 CPUtime=1.6 cores=1,3,5,7
/proc/29699/task/29708/stat : 29708 (java) S 29696 29699 22937 0 -1 4202560 1159 0 0 0 155 5 0 0 20 0 19 0 25877097 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244917557672 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29709] ppid=29696 vsize=9625040 CPUtime=1.65 cores=1,3,5,7
/proc/29699/task/29709/stat : 29709 (java) S 29696 29699 22937 0 -1 4202560 901 0 0 0 157 8 0 0 20 0 19 0 25877097 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244916505128 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29699/tid=29710] ppid=29696 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/29699/task/29710/stat : 29710 (java) S 29696 29699 22937 0 -1 4202560 377 0 0 0 41 9 0 0 20 0 19 0 25877098 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244786584168 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29699/tid=29711] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29711/stat : 29711 (java) S 29696 29699 22937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25877099 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244785530488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29712] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29712/stat : 29712 (java) S 29696 29699 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25877099 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244784477832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29715] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29715/stat : 29715 (java) S 29696 29699 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25877101 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244783426576 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29716] ppid=29696 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/29699/task/29716/stat : 29716 (java) S 29696 29699 22937 0 -1 4202560 2951 0 0 0 58 0 0 0 20 0 19 0 25877101 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244782372920 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29699/tid=29717] ppid=29696 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/29699/task/29717/stat : 29717 (java) S 29696 29699 22937 0 -1 4202560 4737 0 0 0 62 0 0 0 20 0 19 0 25877101 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244781320376 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29699/tid=29718] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29718/stat : 29718 (java) S 29696 29699 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25877101 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244780268024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29699/tid=29719] ppid=29696 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/29699/task/29719/stat : 29719 (java) S 29696 29699 22937 0 -1 4202560 103 0 0 0 27 36 0 0 20 0 19 0 25877101 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244779215688 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29699/tid=29783] ppid=29696 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29699/task/29783/stat : 29783 (java) S 29696 29699 22937 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25877149 9856040960 65409 33554432000 1073741824 1073778376 140734348336224 140244778161448 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29699 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=599179
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=471776
# CPU time returned by wait4() is 1796.07
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1790.56
CPU time (s): 1800.04
CPU user time (s): 1799.04
CPU system time (s): 1
CPU usage (%): 100.53
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.6
system time used= 1.47178
maximum resident set size= 429468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27907
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55390
involuntary context switches= 52678

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9403 second user time and 13.366 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-18 10:25:19
IDJOB=4103404
IDBENCH=2349
IDSOLVER=2546
FILE ID=node140/4103404-1466238319
RUNJOBID= node140-1466206052-22954
PBS_JOBID= 19918137
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-roll3000.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103404-1466238319/watcher-4103404-1466238319 -o /tmp/evaluation-result-4103404-1466238319/solver-4103404-1466238319 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466206052-22954 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4103404-1466238319.opb

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

MD5SUM BENCH= 671dfb6ede3c120af748dc40a7daef68
RANDOM SEED=1253235189

node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.714
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.714
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.714
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.714
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.714
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.714
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.714
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.714
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29974388 kB
Buffers:          113080 kB
Cached:           152552 kB
SwapCached:         2476 kB
Active:           387144 kB
Inactive:         203848 kB
Active(anon):     324984 kB
Inactive(anon):     2472 kB
Active(file):      62160 kB
Inactive(file):   201376 kB
Unevictable:     1569824 kB
Mlocked:         1400172 kB
SwapTotal:      67108856 kB
SwapFree:       67097016 kB
Dirty:              1668 kB
Writeback:             0 kB
AnonPages:       1893316 kB
Mapped:            15412 kB
Shmem:                 0 kB
Slab:             603380 kB
SReclaimable:      47220 kB
SUnreclaim:       556160 kB
KernelStack:        1592 kB
PageTables:         8268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2030852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    475136 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71740 MiB
End job on node140 at 2016-06-18 10:55:09