Trace number 4118569

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)6348 1800 1787.06

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-70.lin.opb
MD5SUM59346078211490c68be268d04528cb00
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark6348
Best CPU time to get the best result obtained on this benchmark1800
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7455
Total number of constraints14560
Number of constraints which are clauses7245
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints7245
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 7245
Biggest coefficient in the objective function 69
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 171465
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 69
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 171465
Number of bits of the biggest sum of numbers18
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4118569-1467231826.opb
0.11/0.10	c reading problem ... 
0.11/0.11	c  objective function found
0.74/0.44	c ... done. Wall clock time 0.335s.
0.74/0.44	c declared #vars     7455
0.74/0.44	c #constraints  14630
0.74/0.44	c constraints type 
0.74/0.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7315
0.74/0.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 70
0.74/0.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7245
0.74/0.44	c 14630 constraints processed.
0.74/0.44	c objective function length is 7245 literals
1.50/0.83	c SATISFIABLE
1.50/0.83	c OPTIMIZING...
1.50/0.83	c Got one! Elapsed wall clock time (in seconds):0.725
1.50/0.83	o 6348
3.41/2.53	c cleaning 2648 clauses out of 5297 with flag 12343/5297
5.47/4.58	c cleaning 4320 clauses out of 8649 with flag 26955/11297
7.88/6.90	c cleaning 5666 clauses out of 11331 with flag 43339/18299
10.59/9.63	c cleaning 6830 clauses out of 13663 with flag 62704/26297
13.61/12.66	c cleaning 7912 clauses out of 15833 with flag 84237/35297
16.81/15.85	c cleaning 8958 clauses out of 17922 with flag 107805/45298
20.56/19.51	c cleaning 9982 clauses out of 19963 with flag 134744/56297
24.36/23.34	c cleaning 10985 clauses out of 21982 with flag 163425/68298
28.46/27.49	c cleaning 11996 clauses out of 23996 with flag 194768/81297
33.16/32.12	c cleaning 12989 clauses out of 26000 with flag 228292/95297
37.96/36.98	c cleaning 14006 clauses out of 28013 with flag 265481/110299
43.35/42.27	c cleaning 15000 clauses out of 30005 with flag 304695/126297
49.05/47.93	c cleaning 15997 clauses out of 32005 with flag 343782/143297
55.35/54.22	c cleaning 16999 clauses out of 34009 with flag 384194/161298
61.85/60.75	c cleaning 18002 clauses out of 36011 with flag 427725/180299
68.65/67.47	c cleaning 18999 clauses out of 38007 with flag 474961/200297
75.56/74.36	c cleaning 19999 clauses out of 40009 with flag 527429/221298
83.06/81.89	c cleaning 21006 clauses out of 42011 with flag 580801/243299
90.79/89.49	c cleaning 22000 clauses out of 44003 with flag 636240/266297
98.79/97.42	c cleaning 22999 clauses out of 46003 with flag 696076/290297
107.19/105.89	c cleaning 23997 clauses out of 48005 with flag 756784/315298
116.44/114.91	c cleaning 24999 clauses out of 50007 with flag 819705/341297
125.73/124.29	c cleaning 26001 clauses out of 52009 with flag 884322/368298
135.13/133.68	c cleaning 26990 clauses out of 54007 with flag 951867/396297
145.37/143.75	c cleaning 28004 clauses out of 56017 with flag 1021226/425297
155.97/154.34	c cleaning 29002 clauses out of 58013 with flag 1093233/455297
166.72/164.92	c cleaning 30002 clauses out of 60011 with flag 1166539/486297
177.72/175.91	c cleaning 31002 clauses out of 62009 with flag 1240480/518297
189.09/187.13	c cleaning 31997 clauses out of 64007 with flag 1317738/551297
200.38/198.44	c cleaning 32999 clauses out of 66010 with flag 1397234/585297
212.00/209.91	c cleaning 34002 clauses out of 68012 with flag 1479671/620298
223.90/221.85	c cleaning 35002 clauses out of 70010 with flag 1565154/656298
236.10/233.95	c cleaning 36001 clauses out of 72008 with flag 1654502/693298
248.97/246.70	c cleaning 37001 clauses out of 74006 with flag 1747635/731297
261.98/259.71	c cleaning 37994 clauses out of 76006 with flag 1841531/770298
275.76/273.44	c cleaning 38999 clauses out of 78013 with flag 1933853/810299
289.64/287.29	c cleaning 40005 clauses out of 80012 with flag 2030760/851297
304.20/301.72	c cleaning 40996 clauses out of 82007 with flag 2128649/893297
318.70/316.26	c cleaning 41996 clauses out of 84011 with flag 2231087/936297
333.77/331.24	c cleaning 43006 clauses out of 86015 with flag 2335777/980297
349.70/347.14	c cleaning 44000 clauses out of 88009 with flag 2442548/1025297
366.18/363.51	c cleaning 44996 clauses out of 90010 with flag 2551117/1071298
382.17/379.53	c cleaning 45998 clauses out of 92013 with flag 2662996/1118297
398.73/396.06	c cleaning 47000 clauses out of 94016 with flag 2775326/1166298
415.88/413.10	c cleaning 48004 clauses out of 96016 with flag 2890186/1215298
433.84/431.08	c cleaning 48995 clauses out of 98011 with flag 3006074/1265297
451.46/448.62	c cleaning 50001 clauses out of 100018 with flag 3127076/1316299
470.33/467.47	c cleaning 51001 clauses out of 102015 with flag 3250029/1368297
490.15/487.18	c cleaning 52006 clauses out of 104014 with flag 3374333/1421297
508.93/505.84	c cleaning 52994 clauses out of 106008 with flag 3501865/1475297
527.64/524.53	c cleaning 53998 clauses out of 108014 with flag 3629708/1530297
547.96/544.79	c cleaning 54999 clauses out of 110017 with flag 3760985/1586298
567.52/564.29	c cleaning 56000 clauses out of 112018 with flag 3891055/1643298
586.78/583.42	c cleaning 57000 clauses out of 114017 with flag 4023662/1701297
605.12/601.69	c cleaning 57999 clauses out of 116017 with flag 4155936/1760297
624.39/620.80	c cleaning 59007 clauses out of 118018 with flag 4292734/1820297
643.71/640.03	c cleaning 59998 clauses out of 120012 with flag 4427240/1881298
664.05/660.26	c cleaning 60998 clauses out of 122014 with flag 4561081/1943298
684.44/680.54	c cleaning 62002 clauses out of 124015 with flag 4696922/2006297
705.45/701.40	c cleaning 63006 clauses out of 126013 with flag 4836748/2070297
726.38/722.29	c cleaning 63999 clauses out of 128007 with flag 4977358/2135297
748.18/743.91	c cleaning 64996 clauses out of 130008 with flag 5121800/2201297
769.78/765.49	c cleaning 65996 clauses out of 132013 with flag 5271226/2268298
792.27/787.77	c cleaning 67004 clauses out of 134017 with flag 5427074/2336298
814.19/809.54	c cleaning 68006 clauses out of 136014 with flag 5579853/2405299
837.39/832.67	c cleaning 69000 clauses out of 138007 with flag 5732491/2475298
860.90/856.09	c cleaning 70000 clauses out of 140006 with flag 5888036/2546297
884.74/879.79	c cleaning 70998 clauses out of 142007 with flag 6047196/2618298
909.58/904.44	c cleaning 71992 clauses out of 144008 with flag 6208061/2691297
934.53/929.26	c cleaning 73006 clauses out of 146016 with flag 6370366/2765297
959.69/954.23	c cleaning 74004 clauses out of 148013 with flag 6534776/2840300
985.38/979.72	c cleaning 75000 clauses out of 150008 with flag 6700706/2916299
1011.36/1005.55	c cleaning 76002 clauses out of 152007 with flag 6868509/2993298
1037.01/1031.06	c cleaning 76997 clauses out of 154004 with flag 7038771/3071297
1064.89/1058.75	c cleaning 78001 clauses out of 156008 with flag 7208549/3150298
1091.85/1085.55	c cleaning 78997 clauses out of 158006 with flag 7386636/3230297
1119.34/1112.84	c cleaning 80004 clauses out of 160009 with flag 7566584/3311297
1147.44/1140.76	c cleaning 81001 clauses out of 162006 with flag 7747606/3393298
1176.07/1169.17	c cleaning 81996 clauses out of 164004 with flag 7931557/3476297
1205.34/1198.10	c cleaning 82993 clauses out of 166008 with flag 8117944/3560297
1234.26/1226.88	c cleaning 84000 clauses out of 168015 with flag 8307284/3645297
1264.21/1256.59	c cleaning 85007 clauses out of 170015 with flag 8497600/3731297
1295.23/1287.35	c cleaning 85998 clauses out of 172008 with flag 8688470/3818297
1325.95/1317.87	c cleaning 86998 clauses out of 174010 with flag 8881771/3906297
1358.12/1349.71	c cleaning 88007 clauses out of 176013 with flag 9074256/3995298
1391.20/1382.54	c cleaning 88995 clauses out of 178007 with flag 9271597/4085299
1423.78/1414.87	c cleaning 89995 clauses out of 180010 with flag 9472368/4176297
1458.49/1449.28	c cleaning 91004 clauses out of 182015 with flag 9673755/4268297
1492.47/1482.90	c cleaning 91996 clauses out of 184011 with flag 9879758/4361297
1526.85/1516.85	c cleaning 93007 clauses out of 186016 with flag 10083074/4455298
1561.05/1550.69	c cleaning 93992 clauses out of 188009 with flag 10293309/4550298
1596.72/1585.94	c cleaning 95001 clauses out of 190016 with flag 10505459/4646297
1632.54/1621.40	c cleaning 95998 clauses out of 192015 with flag 10718359/4743297
1670.95/1659.31	c cleaning 97004 clauses out of 194017 with flag 10932626/4841297
1708.75/1696.78	c cleaning 98005 clauses out of 196013 with flag 11147292/4940297
1747.88/1735.44	c cleaning 99001 clauses out of 198008 with flag 11365614/5040297
1788.87/1776.01	c cleaning 100000 clauses out of 200007 with flag 11584145/5141297
1800.00/1787.00	c starts		: 10
1800.00/1787.00	c conflicts		: 5172456
1800.00/1787.00	c decisions		: 6044586
1800.00/1787.00	c propagations		: 944869860
1800.00/1787.00	c inspects		: 9800243859
1800.00/1787.00	c shortcuts		: 0
1800.00/1787.00	c learnt literals	: 0
1800.00/1787.00	c learnt binary clauses	: 0
1800.00/1787.00	c learnt ternary clauses	: 0
1800.00/1787.00	c learnt constraints	: 5172456
1800.00/1787.00	c ignored constraints	: 0
1800.00/1787.00	c root simplifications	: 0
1800.00/1787.00	c removed literals (reason simplification)	: 0
1800.00/1787.00	c reason swapping (by a shorter reason)	: 0
1800.00/1787.00	c Calls to reduceDB	: 97
1800.00/1787.00	c Number of update (reduction) of LBD	: 152446
1800.00/1787.00	c Imported unit clauses	: 0
1800.00/1787.00	c number of reductions to clauses (during analyze)	: 0
1800.00/1787.00	c number of learned constraints concerned by reduction	: 0
1800.00/1787.00	c number of learning phase by resolution	: 0
1800.00/1787.00	c number of learning phase by cutting planes	: 0
1800.00/1787.00	c speed (assignments/second)	: 528883.454414882
1800.00/1787.00	c non guided choices	16
1800.00/1787.03	c learnt constraints type 
1800.00/1787.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 131166
1800.00/1787.03	s SATISFIABLE
1800.00/1787.03	c Found 1 solution(s)
1800.00/1787.04	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 
1800.00/1787.05	c objective function=6348
1800.00/1787.05	c Total wall clock time (in seconds): 1786.944

Verifier Data 

OK	6348

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-4118569-1467231826/watcher-4118569-1467231826 -o /tmp/evaluation-result-4118569-1467231826/solver-4118569-1467231826 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467210312-1882 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118569-1467231826.opb 

pid=4687
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.17 2.17 2.18 3/194 4690
/proc/meminfo: memFree=29077688/32872528 swapFree=1099624/1181384
[pid=4690] ppid=4687 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/4690/stat : 4690 (java) S 4687 4690 1865 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 2211776 98570240 978 33554432000 1073741824 1073778376 140735535834560 140735535825696 271790932029 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4690/statm: 24065 978 744 9 0 16771 0
[pid=4690/tid=4691] ppid=4687 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4691/stat : 4691 (java) R 4687 4690 1865 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 2211777 98570240 978 33554432000 1073741824 1073778376 140735535834560 140084701888040 271787574656 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.17 2.17 2.18 3/194 4690
/proc/meminfo: memFree=29077688/32872528 swapFree=1099624/1181384
[pid=4690] ppid=4687 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/4690/stat : 4690 (java) S 4687 4690 1865 0 -1 4202496 4438 0 1 0 10 1 0 0 20 0 18 0 2211776 9787879424 6065 33554432000 1073741824 1073778376 140735535834560 140735535825696 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4690/statm: 2389619 6066 2155 9 0 2380296 0
[pid=4690/tid=4691] ppid=4687 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/4690/task/4691/stat : 4691 (java) R 4687 4690 1865 0 -1 4202560 2374 0 1 0 7 0 0 0 20 0 18 0 2211777 9787879424 6066 33554432000 1073741824 1073778376 140735535834560 140084701891488 271790957837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200408 s]
/proc/loadavg: 2.17 2.17 2.18 3/194 4690
/proc/meminfo: memFree=29077688/32872528 swapFree=1099624/1181384
[pid=4690] ppid=4687 vsize=9558476 CPUtime=0.32 cores=1,3,5,7
/proc/4690/stat : 4690 (java) S 4687 4690 1865 0 -1 4202496 5217 0 1 0 31 1 0 0 20 0 18 0 2211776 9787879424 7117 33554432000 1073741824 1073778376 140735535834560 140735535825696 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4690/statm: 2389619 7117 2227 9 0 2380296 0
[pid=4690/tid=4691] ppid=4687 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/4690/task/4691/stat : 4691 (java) R 4687 4690 1865 0 -1 4202560 2393 0 1 0 16 1 0 0 20 0 18 0 2211777 9787879424 7117 33554432000 1073741824 1073778376 140735535834560 140084701891488 140084705178519 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 9558476

[startup+0.300287 s]
/proc/loadavg: 2.17 2.17 2.18 3/194 4690
/proc/meminfo: memFree=29077688/32872528 swapFree=1099624/1181384
[pid=4690] ppid=4687 vsize=9558476 CPUtime=0.49 cores=1,3,5,7
/proc/4690/stat : 4690 (java) S 4687 4690 1865 0 -1 4202496 5422 0 1 0 48 1 0 0 20 0 18 0 2211776 9787879424 10117 33554432000 1073741824 1073778376 140735535834560 140735535825696 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4690/statm: 2389619 10117 2232 9 0 2380296 0
[pid=4690/tid=4691] ppid=4687 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/4690/task/4691/stat : 4691 (java) R 4687 4690 1865 0 -1 4202560 2403 0 1 0 26 1 0 0 20 0 18 0 2211777 9787879424 10117 33554432000 1073741824 1073778376 140735535834560 140084701884184 140084535998539 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476

[startup+0.700346 s]
/proc/loadavg: 2.17 2.17 2.18 3/194 4690
/proc/meminfo: memFree=29077688/32872528 swapFree=1099624/1181384
[pid=4690] ppid=4687 vsize=9625040 CPUtime=1.39 cores=1,3,5,7
/proc/4690/stat : 4690 (java) S 4687 4690 1865 0 -1 4202496 10439 0 1 0 137 2 0 0 20 0 19 0 2211776 9856040960 20161 33554432000 1073741824 1073778376 140735535834560 140735535825696 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4690/statm: 2406260 20161 2264 9 0 2396937 0
[pid=4690/tid=4691] ppid=4687 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/4690/task/4691/stat : 4691 (java) R 4687 4690 1865 0 -1 4202560 2429 0 1 0 66 1 0 0 20 0 19 0 2211777 9856040960 20161 33554432000 1073741824 1073778376 140735535834560 140084701892840 140084536564492 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 9625040

[startup+1.50077 s]
/proc/loadavg: 2.17 2.17 2.18 3/213 4709
/proc/meminfo: memFree=29003492/32872528 swapFree=1099624/1181384
[pid=4690] ppid=4687 vsize=9625040 CPUtime=2.41 cores=1,3,5,7
/proc/4690/stat : 4690 (java) S 4687 4690 1865 0 -1 4202496 10765 0 1 0 239 2 0 0 20 0 19 0 2211776 9856040960 21755 33554432000 1073741824 1073778376 140735535834560 140735535825696 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4690/statm: 2406260 21755 2268 9 0 2396937 0
[pid=4690/tid=4691] ppid=4687 vsize=9625040 CPUtime=1.48 cores=1,3,5,7
/proc/4690/task/4691/stat : 4691 (java) R 4687 4690 1865 0 -1 4202560 2432 0 1 0 146 2 0 0 20 0 19 0 2211777 9856040960 21755 33554432000 1073741824 1073778376 140735535834560 140084701892824 140084536116785 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4690/tid=4693] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4693/stat : 4693 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211778 9856040960 21755 33554432000 1073741824 1073778376 140735535834560 140084663384872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4694] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4694/stat : 4694 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211778 9856040960 21755 33554432000 1073741824 1073778376 140735535834560 140084662332072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4690/tid=4695] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4695/stat : 4695 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211778 9856040960 21755 33554432000 1073741824 1073778376 140735535834560 140084661279784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4690/tid=4696] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4696/stat : 4696 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211778 9856040960 21755 33554432000 1073741824 1073778376 140735535834560 140084660226984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4690/tid=4697] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4697/stat : 4697 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211778 9856040960 21755 33554432000 1073741824 1073778376 140735535834560 140084659173672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4698] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4698/stat : 4698 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211778 9856040960 21755 33554432000 1073741824 1073778376 140735535834560 140084658120872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4690/tid=4699] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4699/stat : 4699 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211778 9856040960 21755 33554432000 1073741824 1073778376 140735535834560 140084657068584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4700] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4700/stat : 4700 (java) S 4687 4690 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2211778 9856040960 21755 33554432000 1073741824 1073778376 140735535834560 140084656015784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4701] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4701/stat : 4701 (java) S 4687 4690 1865 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 2211779 9856040960 21755 33554432000 1073741824 1073778376 140735535834560 140084525787880 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4702] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4702/stat : 4702 (java) S 4687 4690 1865 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2211779 9856040960 21755 33554432000 1073741824 1073778376 140735535834560 140084524733944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4703] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4703/stat : 4703 (java) S 4687 4690 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2211779 9856040960 21755 33554432000 1073741824 1073778376 140735535834560 140084523681544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4704] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4704/stat : 4704 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211781 9856040960 21755 33554432000 1073741824 1073778376 140735535834560 140084522630032 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4690/tid=4705] ppid=4687 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/4690/task/4705/stat : 4705 (java) S 4687 4690 1865 0 -1 4202560 3650 0 0 0 42 0 0 0 20 0 19 0 2211781 9856040960 21755 33554432000 1073741824 1073778376 140735535834560 140084521576632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4690/tid=4706] ppid=4687 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/4690/task/4706/stat : 4706 (java) S 4687 4690 1865 0 -1 4202560 3411 0 0 0 47 0 0 0 20 0 19 0 2211781 9856040960 21755 33554432000 1073741824 1073778376 140735535834560 140084520523832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4690/tid=4707] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4707/stat : 4707 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211781 9856040960 21755 33554432000 1073741824 1073778376 140735535834560 140083646687864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4690/tid=4708] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4708/stat : 4708 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211781 9856040960 21755 33554432000 1073741824 1073778376 140735535834560 140083645635272 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4709] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4709/stat : 4709 (java) S 4687 4690 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2211823 9856040960 21755 33554432000 1073741824 1073778376 140735535834560 140083644581288 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 9625040

[startup+3.10082 s]
/proc/loadavg: 2.16 2.17 2.17 3/213 4709
/proc/meminfo: memFree=28995060/32872528 swapFree=1099624/1181384
[pid=4690] ppid=4687 vsize=9625040 CPUtime=4.04 cores=1,3,5,7
/proc/4690/stat : 4690 (java) S 4687 4690 1865 0 -1 4202496 10780 0 1 0 402 2 0 0 20 0 19 0 2211776 9856040960 23808 33554432000 1073741824 1073778376 140735535834560 140735535825696 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4690/statm: 2406260 23808 2272 9 0 2396937 0
[pid=4690/tid=4691] ppid=4687 vsize=9625040 CPUtime=3.08 cores=1,3,5,7
/proc/4690/task/4691/stat : 4691 (java) R 4687 4690 1865 0 -1 4202560 2438 0 1 0 306 2 0 0 20 0 19 0 2211777 9856040960 23808 33554432000 1073741824 1073778376 140735535834560 140084701892840 140084536525823 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4690/tid=4693] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4693/stat : 4693 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211778 9856040960 23808 33554432000 1073741824 1073778376 140735535834560 140084663384872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4694] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4694/stat : 4694 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211778 9856040960 23808 33554432000 1073741824 1073778376 140735535834560 140084662332072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4690/tid=4695] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4695/stat : 4695 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211778 9856040960 23808 33554432000 1073741824 1073778376 140735535834560 140084661279784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4690/tid=4696] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4696/stat : 4696 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211778 9856040960 23808 33554432000 1073741824 1073778376 140735535834560 140084660226984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4690/tid=4697] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4697/stat : 4697 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211778 9856040960 23808 33554432000 1073741824 1073778376 140735535834560 140084659173672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4698] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4698/stat : 4698 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211778 9856040960 23808 33554432000 1073741824 1073778376 140735535834560 140084658120872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4690/tid=4699] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4699/stat : 4699 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211778 9856040960 23808 33554432000 1073741824 1073778376 140735535834560 140084657068584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4700] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4700/stat : 4700 (java) S 4687 4690 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2211778 9856040960 23808 33554432000 1073741824 1073778376 140735535834560 140084656015784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4701] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4701/stat : 4701 (java) S 4687 4690 1865 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 2211779 9856040960 23808 33554432000 1073741824 1073778376 140735535834560 140084525787880 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4702] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4702/stat : 4702 (java) S 4687 4690 1865 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2211779 9856040960 23808 33554432000 1073741824 1073778376 140735535834560 140084524733944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4703] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4703/stat : 4703 (java) S 4687 4690 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2211779 9856040960 23808 33554432000 1073741824 1073778376 140735535834560 140084523681544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4704] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4704/stat : 4704 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211781 9856040960 23808 33554432000 1073741824 1073778376 140735535834560 140084522630032 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4690/tid=4705] ppid=4687 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/4690/task/4705/stat : 4705 (java) S 4687 4690 1865 0 -1 4202560 3654 0 0 0 44 0 0 0 20 0 19 0 2211781 9856040960 23808 33554432000 1073741824 1073778376 140735535834560 140084521576632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4690/tid=4706] ppid=4687 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/4690/task/4706/stat : 4706 (java) S 4687 4690 1865 0 -1 4202560 3415 0 0 0 49 0 0 0 20 0 19 0 2211781 9856040960 23808 33554432000 1073741824 1073778376 140735535834560 140084520523832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4690/tid=4707] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4707/stat : 4707 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211781 9856040960 23808 33554432000 1073741824 1073778376 140735535834560 140083646687864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4690/tid=4708] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4708/stat : 4708 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211781 9856040960 23808 33554432000 1073741824 1073778376 140735535834560 140083645635272 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4709] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4709/stat : 4709 (java) S 4687 4690 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2211823 9856040960 23808 33554432000 1073741824 1073778376 140735535834560 140083644581288 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 9625040

[startup+6.30082 s]
/proc/loadavg: 2.16 2.17 2.17 3/213 4709
/proc/meminfo: memFree=28979112/32872528 swapFree=1099624/1181384
[pid=4690] ppid=4687 vsize=9625040 CPUtime=7.28 cores=1,3,5,7
/proc/4690/stat : 4690 (java) S 4687 4690 1865 0 -1 4202496 10791 0 1 0 725 3 0 0 20 0 19 0 2211776 9856040960 27854 33554432000 1073741824 1073778376 140735535834560 140735535825696 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4690/statm: 2406260 27854 2272 9 0 2396937 0
[pid=4690/tid=4691] ppid=4687 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/4690/task/4691/stat : 4691 (java) R 4687 4690 1865 0 -1 4202560 2449 0 1 0 624 2 0 0 20 0 19 0 2211777 9856040960 27854 33554432000 1073741824 1073778376 140735535834560 140084701892936 140084536709271 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4690/tid=4693] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4693/stat : 4693 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211778 9856040960 27854 33554432000 1073741824 1073778376 140735535834560 140084663384872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4694] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4694/stat : 4694 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211778 9856040960 27854 33554432000 1073741824 1073778376 140735535834560 140084662332072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4690/tid=4695] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4695/stat : 4695 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211778 9856040960 27854 33554432000 1073741824 1073778376 140735535834560 140084661279784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4690/tid=4696] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4696/stat : 4696 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211778 9856040960 27854 33554432000 1073741824 1073778376 140735535834560 140084660226984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4690/tid=4697] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4697/stat : 4697 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211778 9856040960 27854 33554432000 1073741824 1073778376 140735535834560 140084659173672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4698] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4698/stat : 4698 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211778 9856040960 27854 33554432000 1073741824 1073778376 140735535834560 140084658120872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4690/tid=4699] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4699/stat : 4699 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211778 9856040960 27854 33554432000 1073741824 1073778376 140735535834560 140084657068584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4700] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4700/stat : 4700 (java) S 4687 4690 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2211778 9856040960 27854 33554432000 1073741824 1073778376 140735535834560 140084656015784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4701] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4701/stat : 4701 (java) S 4687 4690 1865 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 2211779 9856040960 27854 33554432000 1073741824 1073778376 140735535834560 140084525787880 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4702] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4702/stat : 4702 (java) S 4687 4690 1865 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2211779 9856040960 27854 33554432000 1073741824 1073778376 140735535834560 140084524733944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4703] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4703/stat : 4703 (java) S 4687 4690 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2211779 9856040960 27854 33554432000 1073741824 1073778376 140735535834560 140084523681544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4704] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4704/stat : 4704 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211781 9856040960 27854 33554432000 1073741824 1073778376 140735535834560 140084522630032 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4690/tid=4705] ppid=4687 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/4690/task/4705/stat : 4705 (java) S 4687 4690 1865 0 -1 4202560 3654 0 0 0 45 0 0 0 20 0 19 0 2211781 9856040960 27854 33554432000 1073741824 1073778376 140735535834560 140084521576632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4690/tid=4706] ppid=4687 vsize=9625040 CPUtime=0.51 cores=1,3,5,7

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

[pid=4690/tid=4709] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4709/stat : 4709 (java) S 4687 4690 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2211823 9856040960 82911 33554432000 1073741824 1073778376 140735535834560 140083644581288 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1674
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.21 2.22 2.18 4/213 4818
/proc/meminfo: memFree=28962828/32872528 swapFree=1099624/1181384
[pid=4690] ppid=4687 vsize=9625040 CPUtime=1734.66 cores=1,3,5,7
/proc/4690/stat : 4690 (java) S 4687 4690 1865 0 -1 4202496 22050 0 1 0 173338 128 0 0 20 0 19 0 2211776 9856040960 91725 33554432000 1073741824 1073778376 140735535834560 140735535825696 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4690/statm: 2406260 91725 2294 9 0 2396937 0
[pid=4690/tid=4691] ppid=4687 vsize=9625040 CPUtime=1709.18 cores=1,3,5,7
/proc/4690/task/4691/stat : 4691 (java) R 4687 4690 1865 0 -1 4202560 2790 0 1 0 170884 34 0 0 20 0 19 0 2211777 9856040960 91725 33554432000 1073741824 1073778376 140735535834560 140084701891728 140084536724883 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4693] ppid=4687 vsize=9625040 CPUtime=2.09 cores=1,3,5,7
/proc/4690/task/4693/stat : 4693 (java) S 4687 4690 1865 0 -1 4202560 1379 0 0 0 196 13 0 0 20 0 19 0 2211778 9856040960 91725 33554432000 1073741824 1073778376 140735535834560 140084663384872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4690/tid=4694] ppid=4687 vsize=9625040 CPUtime=2.11 cores=1,3,5,7
/proc/4690/task/4694/stat : 4694 (java) S 4687 4690 1865 0 -1 4202560 1357 0 0 0 197 14 0 0 20 0 19 0 2211778 9856040960 91725 33554432000 1073741824 1073778376 140735535834560 140084662332072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4690/tid=4695] ppid=4687 vsize=9625040 CPUtime=2.03 cores=1,3,5,7
/proc/4690/task/4695/stat : 4695 (java) S 4687 4690 1865 0 -1 4202560 1338 0 0 0 191 12 0 0 20 0 19 0 2211778 9856040960 91725 33554432000 1073741824 1073778376 140735535834560 140084661279784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4690/tid=4696] ppid=4687 vsize=9625040 CPUtime=1.93 cores=1,3,5,7
/proc/4690/task/4696/stat : 4696 (java) S 4687 4690 1865 0 -1 4202560 1364 0 0 0 179 14 0 0 20 0 19 0 2211778 9856040960 91725 33554432000 1073741824 1073778376 140735535834560 140084660226984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4690/tid=4697] ppid=4687 vsize=9625040 CPUtime=1.96 cores=1,3,5,7
/proc/4690/task/4697/stat : 4697 (java) S 4687 4690 1865 0 -1 4202560 1527 0 0 0 186 10 0 0 20 0 19 0 2211778 9856040960 91725 33554432000 1073741824 1073778376 140735535834560 140084659173672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4690/tid=4698] ppid=4687 vsize=9625040 CPUtime=1.99 cores=1,3,5,7
/proc/4690/task/4698/stat : 4698 (java) S 4687 4690 1865 0 -1 4202560 1281 0 0 0 189 10 0 0 20 0 19 0 2211778 9856040960 91725 33554432000 1073741824 1073778376 140735535834560 140084658120872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4690/tid=4699] ppid=4687 vsize=9625040 CPUtime=1.88 cores=1,3,5,7
/proc/4690/task/4699/stat : 4699 (java) S 4687 4690 1865 0 -1 4202560 858 0 0 0 177 11 0 0 20 0 19 0 2211778 9856040960 91725 33554432000 1073741824 1073778376 140735535834560 140084657068584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4690/tid=4700] ppid=4687 vsize=9625040 CPUtime=2.14 cores=1,3,5,7
/proc/4690/task/4700/stat : 4700 (java) S 4687 4690 1865 0 -1 4202560 945 0 0 0 201 13 0 0 20 0 19 0 2211778 9856040960 91725 33554432000 1073741824 1073778376 140735535834560 140084656015784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4690/tid=4701] ppid=4687 vsize=9625040 CPUtime=3.77 cores=1,3,5,7
/proc/4690/task/4701/stat : 4701 (java) S 4687 4690 1865 0 -1 4202560 740 0 0 0 371 6 0 0 20 0 19 0 2211779 9856040960 91725 33554432000 1073741824 1073778376 140735535834560 140084525787880 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4690/tid=4702] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4702/stat : 4702 (java) S 4687 4690 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2211779 9856040960 91725 33554432000 1073741824 1073778376 140735535834560 140084524733944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4703] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4703/stat : 4703 (java) S 4687 4690 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2211779 9856040960 91725 33554432000 1073741824 1073778376 140735535834560 140084523681544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4704] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4704/stat : 4704 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211781 9856040960 91725 33554432000 1073741824 1073778376 140735535834560 140084522630032 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4690/tid=4705] ppid=4687 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/4690/task/4705/stat : 4705 (java) S 4687 4690 1865 0 -1 4202560 3700 0 0 0 49 0 0 0 20 0 19 0 2211781 9856040960 91725 33554432000 1073741824 1073778376 140735535834560 140084521576632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4690/tid=4706] ppid=4687 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/4690/task/4706/stat : 4706 (java) S 4687 4690 1865 0 -1 4202560 3415 0 0 0 52 0 0 0 20 0 19 0 2211781 9856040960 91725 33554432000 1073741824 1073778376 140735535834560 140084520523832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4690/tid=4707] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4707/stat : 4707 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211781 9856040960 91725 33554432000 1073741824 1073778376 140735535834560 140083646687864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4690/tid=4708] ppid=4687 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/4690/task/4708/stat : 4708 (java) S 4687 4690 1865 0 -1 4202560 98 0 0 0 17 25 0 0 20 0 19 0 2211781 9856040960 91725 33554432000 1073741824 1073778376 140735535834560 140083645635272 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4690/tid=4709] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4709/stat : 4709 (java) S 4687 4690 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2211823 9856040960 91725 33554432000 1073741824 1073778376 140735535834560 140083644581288 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1734.66
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.19 2.21 2.18 3/213 4819
/proc/meminfo: memFree=29051480/32872528 swapFree=1099624/1181384
[pid=4690] ppid=4687 vsize=9625040 CPUtime=1795.23 cores=1,3,5,7
/proc/4690/stat : 4690 (java) S 4687 4690 1865 0 -1 4202496 22139 0 1 0 179393 130 0 0 20 0 19 0 2211776 9856040960 78244 33554432000 1073741824 1073778376 140735535834560 140735535825696 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4690/statm: 2406260 78244 2294 9 0 2396937 0
[pid=4690/tid=4691] ppid=4687 vsize=9625040 CPUtime=1768.44 cores=1,3,5,7
/proc/4690/task/4691/stat : 4691 (java) R 4687 4690 1865 0 -1 4202560 2815 0 1 0 176809 35 0 0 20 0 19 0 2211777 9856040960 78244 33554432000 1073741824 1073778376 140735535834560 140084701891744 140084536709254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4693] ppid=4687 vsize=9625040 CPUtime=2.22 cores=1,3,5,7
/proc/4690/task/4693/stat : 4693 (java) S 4687 4690 1865 0 -1 4202560 1379 0 0 0 209 13 0 0 20 0 19 0 2211778 9856040960 78244 33554432000 1073741824 1073778376 140735535834560 140084663384872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4690/tid=4694] ppid=4687 vsize=9625040 CPUtime=2.19 cores=1,3,5,7
/proc/4690/task/4694/stat : 4694 (java) S 4687 4690 1865 0 -1 4202560 1357 0 0 0 204 15 0 0 20 0 19 0 2211778 9856040960 78244 33554432000 1073741824 1073778376 140735535834560 140084662332072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4695] ppid=4687 vsize=9625040 CPUtime=2.14 cores=1,3,5,7
/proc/4690/task/4695/stat : 4695 (java) S 4687 4690 1865 0 -1 4202560 1338 0 0 0 202 12 0 0 20 0 19 0 2211778 9856040960 78244 33554432000 1073741824 1073778376 140735535834560 140084661279784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4690/tid=4696] ppid=4687 vsize=9625040 CPUtime=2.04 cores=1,3,5,7
/proc/4690/task/4696/stat : 4696 (java) S 4687 4690 1865 0 -1 4202560 1364 0 0 0 190 14 0 0 20 0 19 0 2211778 9856040960 78244 33554432000 1073741824 1073778376 140735535834560 140084660226984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4690/tid=4697] ppid=4687 vsize=9625040 CPUtime=2.08 cores=1,3,5,7
/proc/4690/task/4697/stat : 4697 (java) S 4687 4690 1865 0 -1 4202560 1527 0 0 0 198 10 0 0 20 0 19 0 2211778 9856040960 78244 33554432000 1073741824 1073778376 140735535834560 140084659173672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4690/tid=4698] ppid=4687 vsize=9625040 CPUtime=2.11 cores=1,3,5,7
/proc/4690/task/4698/stat : 4698 (java) S 4687 4690 1865 0 -1 4202560 1281 0 0 0 201 10 0 0 20 0 19 0 2211778 9856040960 78244 33554432000 1073741824 1073778376 140735535834560 140084658120872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4690/tid=4699] ppid=4687 vsize=9625040 CPUtime=1.97 cores=1,3,5,7
/proc/4690/task/4699/stat : 4699 (java) S 4687 4690 1865 0 -1 4202560 858 0 0 0 186 11 0 0 20 0 19 0 2211778 9856040960 78244 33554432000 1073741824 1073778376 140735535834560 140084657068584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4690/tid=4700] ppid=4687 vsize=9625040 CPUtime=2.25 cores=1,3,5,7
/proc/4690/task/4700/stat : 4700 (java) S 4687 4690 1865 0 -1 4202560 945 0 0 0 212 13 0 0 20 0 19 0 2211778 9856040960 78244 33554432000 1073741824 1073778376 140735535834560 140084656015784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4701] ppid=4687 vsize=9625040 CPUtime=4.05 cores=1,3,5,7
/proc/4690/task/4701/stat : 4701 (java) S 4687 4690 1865 0 -1 4202560 800 0 0 0 399 6 0 0 20 0 19 0 2211779 9856040960 78244 33554432000 1073741824 1073778376 140735535834560 140084525787880 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4690/tid=4702] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4702/stat : 4702 (java) S 4687 4690 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2211779 9856040960 78244 33554432000 1073741824 1073778376 140735535834560 140084524733944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4703] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4703/stat : 4703 (java) S 4687 4690 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2211779 9856040960 78244 33554432000 1073741824 1073778376 140735535834560 140084523681544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4704] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4704/stat : 4704 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211781 9856040960 78244 33554432000 1073741824 1073778376 140735535834560 140084522630032 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4690/tid=4705] ppid=4687 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/4690/task/4705/stat : 4705 (java) S 4687 4690 1865 0 -1 4202560 3700 0 0 0 49 0 0 0 20 0 19 0 2211781 9856040960 78244 33554432000 1073741824 1073778376 140735535834560 140084521576632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4690/tid=4706] ppid=4687 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/4690/task/4706/stat : 4706 (java) S 4687 4690 1865 0 -1 4202560 3415 0 0 0 52 0 0 0 20 0 19 0 2211781 9856040960 78244 33554432000 1073741824 1073778376 140735535834560 140084520523832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4690/tid=4707] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4707/stat : 4707 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211781 9856040960 78244 33554432000 1073741824 1073778376 140735535834560 140083646687864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4690/tid=4708] ppid=4687 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/4690/task/4708/stat : 4708 (java) S 4687 4690 1865 0 -1 4202560 102 0 0 0 19 25 0 0 20 0 19 0 2211781 9856040960 78244 33554432000 1073741824 1073778376 140735535834560 140083645635272 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4690/tid=4709] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4709/stat : 4709 (java) S 4687 4690 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2211823 9856040960 78244 33554432000 1073741824 1073778376 140735535834560 140083644581288 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1795.23
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787 s]
/proc/loadavg: 2.17 2.20 2.18 3/213 4819
/proc/meminfo: memFree=29043784/32872528 swapFree=1099624/1181384
[pid=4690] ppid=4687 vsize=9625040 CPUtime=1800 cores=1,3,5,7
/proc/4690/stat : 4690 (java) S 4687 4690 1865 0 -1 4202496 22502 0 1 0 179868 132 0 0 20 0 19 0 2211776 9856040960 82132 33554432000 1073741824 1073778376 140735535834560 140735535825696 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4690/statm: 2406260 82132 2294 9 0 2396937 0
[pid=4690/tid=4691] ppid=4687 vsize=9625040 CPUtime=1773.09 cores=1,3,5,7
/proc/4690/task/4691/stat : 4691 (java) R 4687 4690 1865 0 -1 4202560 2818 0 1 0 177274 35 0 0 20 0 19 0 2211777 9856040960 82132 33554432000 1073741824 1073778376 140735535834560 140084701891744 140084536564691 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4690/tid=4693] ppid=4687 vsize=9625040 CPUtime=2.24 cores=1,3,5,7
/proc/4690/task/4693/stat : 4693 (java) S 4687 4690 1865 0 -1 4202560 1381 0 0 0 211 13 0 0 20 0 19 0 2211778 9856040960 82132 33554432000 1073741824 1073778376 140735535834560 140084663384872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4690/tid=4694] ppid=4687 vsize=9625040 CPUtime=2.21 cores=1,3,5,7
/proc/4690/task/4694/stat : 4694 (java) S 4687 4690 1865 0 -1 4202560 1445 0 0 0 206 15 0 0 20 0 19 0 2211778 9856040960 82132 33554432000 1073741824 1073778376 140735535834560 140084662332072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4690/tid=4695] ppid=4687 vsize=9625040 CPUtime=2.15 cores=1,3,5,7
/proc/4690/task/4695/stat : 4695 (java) S 4687 4690 1865 0 -1 4202560 1338 0 0 0 203 12 0 0 20 0 19 0 2211778 9856040960 82132 33554432000 1073741824 1073778376 140735535834560 140084661279784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4690/tid=4696] ppid=4687 vsize=9625040 CPUtime=2.06 cores=1,3,5,7
/proc/4690/task/4696/stat : 4696 (java) S 4687 4690 1865 0 -1 4202560 1441 0 0 0 192 14 0 0 20 0 19 0 2211778 9856040960 82132 33554432000 1073741824 1073778376 140735535834560 140084660226984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4690/tid=4697] ppid=4687 vsize=9625040 CPUtime=2.1 cores=1,3,5,7
/proc/4690/task/4697/stat : 4697 (java) S 4687 4690 1865 0 -1 4202560 1651 0 0 0 200 10 0 0 20 0 19 0 2211778 9856040960 82132 33554432000 1073741824 1073778376 140735535834560 140084659173672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4698] ppid=4687 vsize=9625040 CPUtime=2.14 cores=1,3,5,7
/proc/4690/task/4698/stat : 4698 (java) S 4687 4690 1865 0 -1 4202560 1346 0 0 0 203 11 0 0 20 0 19 0 2211778 9856040960 82132 33554432000 1073741824 1073778376 140735535834560 140084658120872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4699] ppid=4687 vsize=9625040 CPUtime=1.98 cores=1,3,5,7
/proc/4690/task/4699/stat : 4699 (java) S 4687 4690 1865 0 -1 4202560 861 0 0 0 187 11 0 0 20 0 19 0 2211778 9856040960 82132 33554432000 1073741824 1073778376 140735535834560 140084657068584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4690/tid=4700] ppid=4687 vsize=9625040 CPUtime=2.26 cores=1,3,5,7
/proc/4690/task/4700/stat : 4700 (java) S 4687 4690 1865 0 -1 4202560 946 0 0 0 213 13 0 0 20 0 19 0 2211778 9856040960 82132 33554432000 1073741824 1073778376 140735535834560 140084656015784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4701] ppid=4687 vsize=9625040 CPUtime=4.05 cores=1,3,5,7
/proc/4690/task/4701/stat : 4701 (java) S 4687 4690 1865 0 -1 4202560 800 0 0 0 399 6 0 0 20 0 19 0 2211779 9856040960 82132 33554432000 1073741824 1073778376 140735535834560 140084525787880 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4690/tid=4702] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4702/stat : 4702 (java) S 4687 4690 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2211779 9856040960 82132 33554432000 1073741824 1073778376 140735535834560 140084524733944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4703] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4703/stat : 4703 (java) S 4687 4690 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2211779 9856040960 82132 33554432000 1073741824 1073778376 140735535834560 140084523681544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4690/tid=4704] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4704/stat : 4704 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211781 9856040960 82132 33554432000 1073741824 1073778376 140735535834560 140084522630032 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4690/tid=4705] ppid=4687 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/4690/task/4705/stat : 4705 (java) S 4687 4690 1865 0 -1 4202560 3700 0 0 0 49 0 0 0 20 0 19 0 2211781 9856040960 82132 33554432000 1073741824 1073778376 140735535834560 140084521576632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4690/tid=4706] ppid=4687 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/4690/task/4706/stat : 4706 (java) S 4687 4690 1865 0 -1 4202560 3415 0 0 0 52 0 0 0 20 0 19 0 2211781 9856040960 82132 33554432000 1073741824 1073778376 140735535834560 140084520523832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4690/tid=4707] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4707/stat : 4707 (java) S 4687 4690 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2211781 9856040960 82132 33554432000 1073741824 1073778376 140735535834560 140083646687864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4690/tid=4708] ppid=4687 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/4690/task/4708/stat : 4708 (java) S 4687 4690 1865 0 -1 4202560 102 0 0 0 19 25 0 0 20 0 19 0 2211781 9856040960 82132 33554432000 1073741824 1073778376 140735535834560 140083645635272 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4690/tid=4709] ppid=4687 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4709/stat : 4709 (java) S 4687 4690 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2211823 9856040960 82132 33554432000 1073741824 1073778376 140735535834560 140083644581288 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 4690 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

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

Real time (s): 1787.06
CPU time (s): 1800
CPU user time (s): 1798.68
CPU system time (s): 1.32
CPU usage (%): 100.724
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.33
system time used= 1.79973
maximum resident set size= 649120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22539
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48417
involuntary context switches= 44190

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3424 second user time and 13.314 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-29 22:23:46
IDJOB=4118569
IDBENCH=111508
IDSOLVER=2546
FILE ID=node115/4118569-1467231826
RUNJOBID= node115-1467210312-1882
PBS_JOBID= 19997598
Free space on /tmp= 71664 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-70.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118569-1467231826/watcher-4118569-1467231826 -o /tmp/evaluation-result-4118569-1467231826/solver-4118569-1467231826 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467210312-1882 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4118569-1467231826.opb

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

MD5SUM BENCH= 59346078211490c68be268d04528cb00
RANDOM SEED=1625173445

node115.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		: 2667.087
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	: 5334.17
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		: 2667.087
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.56
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		: 2667.087
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.54
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		: 2667.087
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		: 2667.087
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		: 2667.087
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		: 2667.087
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.55
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		: 2667.087
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:        29077868 kB
Buffers:           84728 kB
Cached:          1166784 kB
SwapCached:            0 kB
Active:           744736 kB
Inactive:        1157336 kB
Active(anon):     653244 kB
Inactive(anon):        0 kB
Active(file):      91492 kB
Inactive(file):  1157336 kB
Unevictable:     1181384 kB
Mlocked:         1099624 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1312 kB
Writeback:             4 kB
AnonPages:       1832076 kB
Mapped:            22084 kB
Shmem:               204 kB
Slab:             576208 kB
SReclaimable:      19964 kB
SUnreclaim:       556244 kB
KernelStack:        1632 kB
PageTables:         8144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1963812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    708608 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= 71660 MiB
End job on node115 at 2016-06-29 22:53:33