Trace number 4080554

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT 1412.9 702.44

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K107.opb
MD5SUMf523e4bc7acd98550e38ca37c8d9200b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark332.013
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7276
Total number of constraints7492
Number of constraints which are clauses7385
Number of constraints which are cardinality constraints (but not clauses)107
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint107
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 108
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4080554-1465277166.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  no objective function found
1.06/0.52	c ... done. Wall clock time 0.394s.
1.06/0.52	c declared #vars     7276
1.06/0.52	c #constraints  7492
1.06/0.52	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.06/0.52	c constraints type 
1.06/0.52	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6005
1.06/0.52	c org.sat4j.minisat.constraints.card.MinWatchCard => 107
1.06/0.52	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
1.06/0.52	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1378
1.06/0.52	c 7492 constraints processed.
1.06/0.52	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.06/0.52	c constraints type 
1.06/0.52	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1378
1.06/0.52	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6005
1.06/0.52	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 107
1.06/0.52	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
1.06/0.52	c 7492 constraints processed.
6.24/2.27	c cleaning 2494 clauses out of 4996 with flag 23892/5001
10.10/3.85	c cleaning 4240 clauses out of 8496 with flag 62470/11000
13.81/5.62	c cleaning 5610 clauses out of 11248 with flag 106651/18000
18.17/7.71	c cleaning 6784 clauses out of 13635 with flag 155168/26000
22.88/10.05	c cleaning 7920 clauses out of 15850 with flag 208409/35001
28.06/12.64	c cleaning 8933 clauses out of 17926 with flag 264472/45000
34.35/15.71	c cleaning 9237 clauses out of 19990 with flag 325839/56001
41.68/19.34	c cleaning 10176 clauses out of 22751 with flag 390194/68000
48.72/22.86	c cleaning 10937 clauses out of 25575 with flag 461003/81000
56.72/26.88	c cleaning 11836 clauses out of 28639 with flag 541367/95002
66.13/31.41	c cleaning 12667 clauses out of 31799 with flag 623362/110000
76.12/36.32	c cleaning 13708 clauses out of 35133 with flag 722320/126001
85.90/41.26	c cleaning 14426 clauses out of 38419 with flag 819804/143001
96.90/46.74	c cleaning 15329 clauses out of 41993 with flag 923632/161004
110.02/53.21	c cleaning 16184 clauses out of 45660 with flag 1035368/180001
124.99/60.62	c cleaning 16968 clauses out of 49473 with flag 1158828/200000
137.77/67.09	c cleaning 17782 clauses out of 53505 with flag 1278736/221000
151.57/73.99	c cleaning 18774 clauses out of 57722 with flag 1417054/243001
168.95/82.80	c cleaning 19623 clauses out of 61945 with flag 1557200/266000
185.40/91.09	c cleaning 20519 clauses out of 66322 with flag 1702627/290001
202.47/99.59	c cleaning 21386 clauses out of 70800 with flag 1858104/315000
221.35/108.95	c cleaning 22289 clauses out of 75408 with flag 2016897/341000
240.21/118.35	c cleaning 23111 clauses out of 80122 with flag 2185654/368003
259.31/127.81	c cleaning 24013 clauses out of 85008 with flag 2358510/396000
281.11/138.65	c cleaning 25198 clauses out of 89996 with flag 2549314/425001
285.51/140.85	c cleaning 0 clauses out of 5001 with flag 0/5001
304.02/149.88	c cleaning 25916 clauses out of 94796 with flag 2745900/455000
328.50/161.97	c cleaning 26734 clauses out of 99881 with flag 2948726/486001
354.70/175.45	c cleaning 27597 clauses out of 105147 with flag 3158867/518001
381.60/188.84	c cleaning 28914 clauses out of 110549 with flag 3372612/551003
409.11/202.56	c cleaning 29361 clauses out of 115631 with flag 3598678/585002
437.71/216.73	c cleaning 30315 clauses out of 121267 with flag 3838089/620000
467.96/231.71	c cleaning 31120 clauses out of 126952 with flag 4082940/656000
500.05/247.65	c cleaning 32389 clauses out of 132832 with flag 4338306/693001
530.40/262.77	c cleaning 33074 clauses out of 138441 with flag 4613682/731000
563.30/278.93	c cleaning 34115 clauses out of 144365 with flag 4888858/770000
597.63/295.92	c cleaning 35282 clauses out of 150249 with flag 5178848/810000
637.05/315.29	c cleaning 36262 clauses out of 155967 with flag 5477629/851000
678.76/336.44	c cleaning 36950 clauses out of 161705 with flag 5780541/893000
719.76/356.85	c cleaning 38061 clauses out of 167754 with flag 6093846/936000
760.69/377.29	c cleaning 38885 clauses out of 173693 with flag 6421532/980000
805.08/399.26	c cleaning 39828 clauses out of 179807 with flag 6766136/1025000
851.30/422.20	c cleaning 41031 clauses out of 185980 with flag 7118468/1071002
898.16/445.46	c cleaning 41961 clauses out of 191946 with flag 7500427/1118000
946.35/469.30	c cleaning 42893 clauses out of 197987 with flag 7880616/1166002
997.10/494.49	c cleaning 43733 clauses out of 204092 with flag 8260837/1215001
1049.74/520.60	c cleaning 44769 clauses out of 210361 with flag 8654404/1265003
1103.85/547.47	c cleaning 45854 clauses out of 216587 with flag 9069939/1316000
1157.76/574.12	c cleaning 46850 clauses out of 222730 with flag 9496889/1368000
1215.02/602.41	c cleaning 48059 clauses out of 228881 with flag 9925961/1421001
1269.67/629.57	c cleaning 48727 clauses out of 234821 with flag 10353658/1475000
1330.91/659.87	c cleaning 49889 clauses out of 241094 with flag 10812100/1530000
1396.12/693.49	c cleaning 51036 clauses out of 247201 with flag 11304726/1586000
1411.51/701.20	c And the winner is solver0
1412.51/702.34	c SATISFIABLE
1412.51/702.34	c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<<
1412.51/702.34	c starts		: 10405
1412.51/702.34	c conflicts		: 1605088
1412.51/702.34	c decisions		: 31445836
1412.51/702.34	c propagations		: 630354333
1412.51/702.34	c inspects		: 3456118143
1412.51/702.34	c shortcuts		: 0
1412.51/702.34	c learnt literals	: 87
1412.51/702.34	c learnt binary clauses	: 80810
1412.51/702.34	c learnt ternary clauses	: 83612
1412.51/702.34	c learnt constraints	: 1605001
1412.51/702.34	c ignored constraints	: 0
1412.51/702.34	c root simplifications	: 0
1412.51/702.34	c removed literals (reason simplification)	: 16773004
1412.51/702.34	c reason swapping (by a shorter reason)	: 0
1412.51/702.34	c Calls to reduceDB	: 52
1412.51/702.34	c Number of update (reduction) of LBD	: 1214574
1412.51/702.34	c Imported unit clauses	: 0
1412.51/702.34	c number of reductions to clauses (during analyze)	: 0
1412.51/702.34	c number of learned constraints concerned by reduction	: 0
1412.51/702.34	c number of learning phase by resolution	: 0
1412.51/702.34	c number of learning phase by cutting planes	: 0
1412.51/702.34	c speed (assignments/second)	: 898183.7434633306
1412.51/702.34	c non guided choices	8935
1412.51/702.39	c learnt constraints type 
1412.51/702.39	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 80810
1412.51/702.39	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 134442
1412.51/702.39	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1412.51/702.39	c starts		: 34
1412.51/702.39	c conflicts		: 10178
1412.51/702.39	c decisions		: 107247
1412.51/702.39	c propagations		: 3930740
1412.51/702.39	c inspects		: 719177712
1412.51/702.39	c shortcuts		: 0
1412.51/702.39	c learnt literals	: 0
1412.51/702.39	c learnt binary clauses	: 0
1412.51/702.39	c learnt ternary clauses	: 0
1412.51/702.39	c learnt constraints	: 10177
1412.51/702.39	c ignored constraints	: 0
1412.51/702.39	c root simplifications	: 0
1412.51/702.39	c removed literals (reason simplification)	: 0
1412.51/702.39	c reason swapping (by a shorter reason)	: 0
1412.51/702.39	c Calls to reduceDB	: 1
1412.51/702.39	c Number of update (reduction) of LBD	: 0
1412.51/702.39	c Imported unit clauses	: 0
1412.51/702.39	c number of reductions to clauses (during analyze)	: 0
1412.51/702.39	c number of learned constraints concerned by reduction	: 0
1412.51/702.39	c number of learning phase by resolution	: 0
1412.51/702.39	c number of learning phase by cutting planes	: 0
1412.51/702.39	c speed (assignments/second)	: 5600.509507675385
1412.51/702.39	c non guided choices	297
1412.51/702.39	c learnt constraints type 
1412.51/702.39	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 227
1412.51/702.39	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1384
1412.51/702.39	c org.sat4j.pb.constraints.pb.MaxWatchPb => 8566
1412.51/702.39	s SATISFIABLE
1412.51/702.39	c Found 1 solution(s)
1412.78/702.40	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 
1412.78/702.41	c Total wall clock time (in seconds): 702.287

Verifier Data 

OK	0

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

pid=27732
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: 4.35 4.11 3.18 5/197 27735
/proc/meminfo: memFree=26230452/32872528 swapFree=16636/1570076
[pid=27735] ppid=27732 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/27735/stat : 27735 (java) R 27732 27735 27578 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 109648947 278528 33 33554432000 1073741824 1073778376 140736402151600 140735929398024 213410475303 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27735/statm: 68 33 25 9 0 25 0

[startup+0.100063 s]
/proc/loadavg: 4.35 4.11 3.18 5/197 27735
/proc/meminfo: memFree=26230452/32872528 swapFree=16636/1570076
[pid=27735] ppid=27732 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/27735/stat : 27735 (java) S 27732 27735 27578 0 -1 4202496 4414 0 1 0 8 1 0 0 20 0 18 0 109648947 9787879424 6039 33554432000 1073741824 1073778376 140736402151600 140736402142736 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27735/statm: 2389619 6039 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200228 s]
/proc/loadavg: 4.35 4.11 3.18 5/197 27735
/proc/meminfo: memFree=26230452/32872528 swapFree=16636/1570076
[pid=27735] ppid=27732 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/27735/stat : 27735 (java) S 27732 27735 27578 0 -1 4202496 5942 0 1 0 25 2 0 0 20 0 18 0 109648947 9787879424 7702 33554432000 1073741824 1073778376 140736402151600 140736402142736 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27735/statm: 2389619 7705 2208 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.30024 s]
/proc/loadavg: 4.35 4.11 3.18 5/197 27735
/proc/meminfo: memFree=26230452/32872528 swapFree=16636/1570076
[pid=27735] ppid=27732 vsize=9558476 CPUtime=0.54 cores=1,3,5,7
/proc/27735/stat : 27735 (java) S 27732 27735 27578 0 -1 4202496 7234 0 1 0 52 2 0 0 20 0 18 0 109648947 9787879424 10492 33554432000 1073741824 1073778376 140736402151600 140736402142736 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27735/statm: 2389619 10492 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476

[startup+0.700211 s]
/proc/loadavg: 4.35 4.11 3.18 5/197 27735
/proc/meminfo: memFree=26230452/32872528 swapFree=16636/1570076
[pid=27735] ppid=27732 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/27735/stat : 27735 (java) S 27732 27735 27578 0 -1 4202496 20982 0 1 0 174 6 0 0 20 0 22 0 109648947 10060525568 30943 33554432000 1073741824 1073778376 140736402151600 140736402142736 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27735/statm: 2456183 30943 2256 9 0 2446860 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 9824732

[startup+1.50086 s]
/proc/loadavg: 4.35 4.11 3.18 5/219 27757
/proc/meminfo: memFree=26118900/32872528 swapFree=16636/1570076
[pid=27735] ppid=27732 vsize=9824732 CPUtime=4.53 cores=1,3,5,7
/proc/27735/stat : 27735 (java) S 27732 27735 27578 0 -1 4202496 21392 0 1 0 446 7 0 0 20 0 22 0 109648947 10060525568 32891 33554432000 1073741824 1073778376 140736402151600 140736402142736 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27735/statm: 2456183 32891 2275 9 0 2446860 0
[pid=27735/tid=27737] ppid=27732 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/27735/task/27737/stat : 27737 (java) S 27732 27735 27578 0 -1 4202560 2443 0 1 0 46 3 0 0 20 0 22 0 109648948 10060525568 32891 33554432000 1073741824 1073778376 140736402151600 139968055407480 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27735/tid=27738] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27738/stat : 27738 (java) S 27732 27735 27578 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 109648950 10060525568 32891 33554432000 1073741824 1073778376 140736402151600 139968027859112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27739] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27739/stat : 27739 (java) S 27732 27735 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109648950 10060525568 32891 33554432000 1073741824 1073778376 140736402151600 139968026806568 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27735/tid=27740] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27740/stat : 27740 (java) S 27732 27735 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109648950 10060525568 32891 33554432000 1073741824 1073778376 140736402151600 139968025754024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27735/tid=27741] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27741/stat : 27741 (java) S 27732 27735 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109648950 10060525568 32891 33554432000 1073741824 1073778376 140736402151600 139968024701480 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27735/tid=27742] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27742/stat : 27742 (java) S 27732 27735 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109648950 10060525568 32891 33554432000 1073741824 1073778376 140736402151600 139968023648936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27743] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27743/stat : 27743 (java) S 27732 27735 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109648950 10060525568 32891 33554432000 1073741824 1073778376 140736402151600 139968022596392 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27735/tid=27744] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27744/stat : 27744 (java) S 27732 27735 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109648950 10060525568 32891 33554432000 1073741824 1073778376 140736402151600 139968021543848 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27735/tid=27745] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27745/stat : 27745 (java) S 27732 27735 27578 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 109648950 10060525568 32891 33554432000 1073741824 1073778376 140736402151600 139968020491304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27746] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27746/stat : 27746 (java) S 27732 27735 27578 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 109648951 10060525568 32891 33554432000 1073741824 1073778376 140736402151600 139967408871528 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27747] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27747/stat : 27747 (java) S 27732 27735 27578 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 109648951 10060525568 32891 33554432000 1073741824 1073778376 140736402151600 139967407817848 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27748] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27748/stat : 27748 (java) S 27732 27735 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109648951 10060525568 32891 33554432000 1073741824 1073778376 140736402151600 139967406765192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27749] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27749/stat : 27749 (java) S 27732 27735 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109648954 10060525568 32891 33554432000 1073741824 1073778376 140736402151600 139967405713936 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27750] ppid=27732 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/27735/task/27750/stat : 27750 (java) S 27732 27735 27578 0 -1 4202560 7504 0 0 0 103 2 0 0 20 0 22 0 109648954 10060525568 32891 33554432000 1073741824 1073778376 140736402151600 139967404661304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27751] ppid=27732 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/27735/task/27751/stat : 27751 (java) S 27732 27735 27578 0 -1 4202560 10105 0 0 0 100 2 0 0 20 0 22 0 109648954 10060525568 32891 33554432000 1073741824 1073778376 140736402151600 139967403608760 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27735/tid=27752] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27752/stat : 27752 (java) S 27732 27735 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109648954 10060525568 32891 33554432000 1073741824 1073778376 140736402151600 139967402556408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27735/tid=27753] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27753/stat : 27753 (java) S 27732 27735 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109648954 10060525568 32891 33554432000 1073741824 1073778376 140736402151600 139967401504072 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27735/tid=27754] ppid=27732 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/27735/task/27754/stat : 27754 (java) R 27732 27735 27578 0 -1 4202560 23 0 0 0 94 0 0 0 20 0 22 0 109649000 10060525568 32891 33554432000 1073741824 1073778376 140736402151600 139967400446816 139967901525342 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27735/tid=27755] ppid=27732 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/27735/task/27755/stat : 27755 (java) R 27732 27735 27578 0 -1 4202560 37 0 0 0 95 0 0 0 20 0 22 0 109649000 10060525568 32891 33554432000 1073741824 1073778376 140736402151600 139967399395320 139967901819640 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27735/tid=27756] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27756/stat : 27756 (java) S 27732 27735 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109649001 10060525568 32891 33554432000 1073741824 1073778376 140736402151600 139967398343720 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27735/tid=27757] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27757/stat : 27757 (java) S 27732 27735 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109649001 10060525568 32891 33554432000 1073741824 1073778376 140736402151600 139967397291176 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.53
Current children cumulated vsize (KiB) 9824732

[startup+3.10098 s]
/proc/loadavg: 4.35 4.11 3.18 8/218 27759
/proc/meminfo: memFree=26032496/32872528 swapFree=16636/1570076
[pid=27735] ppid=27732 vsize=9824732 CPUtime=8.27 cores=1,3,5,7
/proc/27735/stat : 27735 (java) S 27732 27735 27578 0 -1 4202496 21585 0 1 0 818 9 0 0 20 0 22 0 109648947 10060525568 55536 33554432000 1073741824 1073778376 140736402151600 140736402142736 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27735/statm: 2456183 55536 2292 9 0 2446860 0
[pid=27735/tid=27737] ppid=27732 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/27735/task/27737/stat : 27737 (java) S 27732 27735 27578 0 -1 4202560 2443 0 1 0 46 3 0 0 20 0 22 0 109648948 10060525568 55536 33554432000 1073741824 1073778376 140736402151600 139968055407480 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27735/tid=27738] ppid=27732 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/27735/task/27738/stat : 27738 (java) S 27732 27735 27578 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 109648950 10060525568 55536 33554432000 1073741824 1073778376 140736402151600 139968027859112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27739] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27739/stat : 27739 (java) S 27732 27735 27578 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 109648950 10060525568 55536 33554432000 1073741824 1073778376 140736402151600 139968026806568 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27735/tid=27740] ppid=27732 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/27735/task/27740/stat : 27740 (java) S 27732 27735 27578 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 22 0 109648950 10060525568 55536 33554432000 1073741824 1073778376 140736402151600 139968025754024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27735/tid=27741] ppid=27732 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/27735/task/27741/stat : 27741 (java) S 27732 27735 27578 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 109648950 10060525568 55536 33554432000 1073741824 1073778376 140736402151600 139968024701480 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27735/tid=27742] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27742/stat : 27742 (java) S 27732 27735 27578 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 109648950 10060525568 55536 33554432000 1073741824 1073778376 140736402151600 139968023648936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27735/tid=27743] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27743/stat : 27743 (java) S 27732 27735 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109648950 10060525568 55536 33554432000 1073741824 1073778376 140736402151600 139968022596392 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27735/tid=27744] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27744/stat : 27744 (java) S 27732 27735 27578 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 109648950 10060525568 55536 33554432000 1073741824 1073778376 140736402151600 139968021543848 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27735/tid=27745] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27745/stat : 27745 (java) S 27732 27735 27578 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 109648950 10060525568 55536 33554432000 1073741824 1073778376 140736402151600 139968020491304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27735/tid=27746] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27746/stat : 27746 (java) S 27732 27735 27578 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 109648951 10060525568 55536 33554432000 1073741824 1073778376 140736402151600 139967408871528 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27735/tid=27747] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27747/stat : 27747 (java) S 27732 27735 27578 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109648951 10060525568 55536 33554432000 1073741824 1073778376 140736402151600 139967407817848 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27748] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27748/stat : 27748 (java) S 27732 27735 27578 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109648951 10060525568 55536 33554432000 1073741824 1073778376 140736402151600 139967406765192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27749] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27749/stat : 27749 (java) S 27732 27735 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109648954 10060525568 55536 33554432000 1073741824 1073778376 140736402151600 139967405713936 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27750] ppid=27732 vsize=9824732 CPUtime=1.31 cores=1,3,5,7
/proc/27735/task/27750/stat : 27750 (java) S 27732 27735 27578 0 -1 4202560 7506 0 0 0 129 2 0 0 20 0 22 0 109648954 10060525568 55536 33554432000 1073741824 1073778376 140736402151600 139967404661304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27735/tid=27751] ppid=27732 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/27735/task/27751/stat : 27751 (java) S 27732 27735 27578 0 -1 4202560 10136 0 0 0 123 3 0 0 20 0 22 0 109648954 10060525568 55536 33554432000 1073741824 1073778376 140736402151600 139967403608760 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27752] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27752/stat : 27752 (java) S 27732 27735 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109648954 10060525568 55536 33554432000 1073741824 1073778376 140736402151600 139967402556408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27735/tid=27753] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27753/stat : 27753 (java) S 27732 27735 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109648954 10060525568 55536 33554432000 1073741824 1073778376 140736402151600 139967401504072 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27735/tid=27754] ppid=27732 vsize=9824732 CPUtime=2.48 cores=1,3,5,7
/proc/27735/task/27754/stat : 27754 (java) R 27732 27735 27578 0 -1 4202560 25 0 0 0 248 0 0 0 20 0 22 0 109649000 10060525568 55536 33554432000 1073741824 1073778376 140736402151600 139967400446464 139967901463143 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27735/tid=27755] ppid=27732 vsize=9824732 CPUtime=2.5 cores=1,3,5,7
/proc/27735/task/27755/stat : 27755 (java) R 27732 27735 27578 0 -1 4202560 68 0 0 0 249 1 0 0 20 0 22 0 109649000 10060525568 55536 33554432000 1073741824 1073778376 140736402151600 139967399394464 139967901304599 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27735/tid=27756] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27756/stat : 27756 (java) S 27732 27735 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109649001 10060525568 55536 33554432000 1073741824 1073778376 140736402151600 139967398343720 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27735/tid=27757] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27757/stat : 27757 (java) S 27732 27735 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109649001 10060525568 55536 33554432000 1073741824 1073778376 140736402151600 139967397291176 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.27
Current children cumulated vsize (KiB) 9824732

[startup+6.30099 s]
/proc/loadavg: 4.40 4.13 3.19 5/219 27826
/proc/meminfo: memFree=29386944/32872528 swapFree=16636/1570076
[pid=27735] ppid=27732 vsize=9824732 CPUtime=15.28 cores=1,3,5,7
/proc/27735/stat : 27735 (java) S 27732 27735 27578 0 -1 4202496 23185 0 1 0 1504 24 0 0 20 0 22 0 109648947 10060525568 157409 33554432000 1073741824 1073778376 140736402151600 140736402142736 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27735/statm: 2456183 157409 2292 9 0 2446860 0
[pid=27735/tid=27737] ppid=27732 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/27735/task/27737/stat : 27737 (java) S 27732 27735 27578 0 -1 4202560 2443 0 1 0 46 3 0 0 20 0 22 0 109648948 10060525568 157409 33554432000 1073741824 1073778376 140736402151600 139968055407480 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27735/tid=27738] ppid=27732 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/27735/task/27738/stat : 27738 (java) S 27732 27735 27578 0 -1 4202560 52 0 0 0 6 2 0 0 20 0 22 0 109648950 10060525568 157409 33554432000 1073741824 1073778376 140736402151600 139968027859112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27735/tid=27739] ppid=27732 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/27735/task/27739/stat : 27739 (java) S 27732 27735 27578 0 -1 4202560 23 0 0 0 3 1 0 0 20 0 22 0 109648950 10060525568 157409 33554432000 1073741824 1073778376 140736402151600 139968026806568 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27740] ppid=27732 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/27735/task/27740/stat : 27740 (java) S 27732 27735 27578 0 -1 4202560 66 0 0 0 6 1 0 0 20 0 22 0 109648950 10060525568 157409 33554432000 1073741824 1073778376 140736402151600 139968025754024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27741] ppid=27732 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/27735/task/27741/stat : 27741 (java) S 27732 27735 27578 0 -1 4202560 51 0 0 0 8 2 0 0 20 0 22 0 109648950 10060525568 157409 33554432000 1073741824 1073778376 140736402151600 139968024701480 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27742] ppid=27732 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/27735/task/27742/stat : 27742 (java) S 27732 27735 27578 0 -1 4202560 33 0 0 0 4 0 0 0 20 0 22 0 109648950 10060525568 157409 33554432000 1073741824 1073778376 140736402151600 139968023648936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27743] ppid=27732 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/27735/task/27743/stat : 27743 (java) S 27732 27735 27578 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 22 0 109648950 10060525568 157409 33554432000 1073741824 1073778376 140736402151600 139968022596392 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27744] ppid=27732 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/27735/task/27744/stat : 27744 (java) S 27732 27735 27578 0 -1 4202560 35 0 0 0 5 1 0 0 20 0 22 0 109648950 10060525568 157409 33554432000 1073741824 1073778376 140736402151600 139968021543848 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27735/tid=27745] ppid=27732 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/27735/task/27745/stat : 27745 (java) S 27732 27735 27578 0 -1 4202560 57 0 0 0 4 1 0 0 20 0 22 0 109648950 10060525568 157409 33554432000 1073741824 1073778376 140736402151600 139968020491304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27746] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27746/stat : 27746 (java) S 27732 27735 27578 0 -1 4202560 460 0 0 0 0 0 0 0 20 0 22 0 109648951 10060525568 157409 33554432000 1073741824 1073778376 140736402151600 139967408871528 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27735/tid=27747] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27747/stat : 27747 (java) S 27732 27735 27578 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109648951 10060525568 157409 33554432000 1073741824 1073778376 140736402151600 139967407817848 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27748] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27748/stat : 27748 (java) S 27732 27735 27578 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109648951 10060525568 157409 33554432000 1073741824 1073778376 140736402151600 139967406765192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27749] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27749/stat : 27749 (java) S 27732 27735 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109648954 10060525568 157409 33554432000 1073741824 1073778376 140736402151600 139967405713936 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27750] ppid=27732 vsize=9824732 CPUtime=1.72 cores=1,3,5,7

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

/proc/27735/task/27749/stat : 27749 (java) S 27732 27735 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 109648954 10060525568 953456 33554432000 1073741824 1073778376 140736402151600 139967405713936 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27750] ppid=27732 vsize=9824732 CPUtime=2.27 cores=1,3,5,7
/proc/27735/task/27750/stat : 27750 (java) S 27732 27735 27578 0 -1 4202560 11468 0 0 0 225 2 0 0 20 0 20 0 109648954 10060525568 953456 33554432000 1073741824 1073778376 140736402151600 139967404661304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27735/tid=27751] ppid=27732 vsize=9824732 CPUtime=1.4 cores=1,3,5,7
/proc/27735/task/27751/stat : 27751 (java) S 27732 27735 27578 0 -1 4202560 10148 0 0 0 137 3 0 0 20 0 20 0 109648954 10060525568 953456 33554432000 1073741824 1073778376 140736402151600 139967403608760 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27752] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27752/stat : 27752 (java) S 27732 27735 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 109648954 10060525568 953456 33554432000 1073741824 1073778376 140736402151600 139967402556408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27735/tid=27753] ppid=27732 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/27735/task/27753/stat : 27753 (java) S 27732 27735 27578 0 -1 4202560 41 0 0 0 10 18 0 0 20 0 20 0 109648954 10060525568 953456 33554432000 1073741824 1073778376 140736402151600 139967401504072 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27735/tid=27755] ppid=27732 vsize=9824732 CPUtime=687.33 cores=1,3,5,7
/proc/27735/task/27755/stat : 27755 (java) R 27732 27735 27578 0 -1 4202560 1941 0 0 0 68689 44 0 0 20 0 20 0 109649000 10060525568 953456 33554432000 1073741824 1073778376 140736402151600 139967399393944 139967901304487 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27735/tid=27756] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27756/stat : 27756 (java) S 27732 27735 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 109649001 10060525568 953456 33554432000 1073741824 1073778376 140736402151600 139967398343720 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1411.06
Current children cumulated vsize (KiB) 9824732

[startup+702.301 s]
/proc/loadavg: 4.11 4.20 3.73 5/217 27842
/proc/meminfo: memFree=22461576/32872528 swapFree=16636/1570076
[pid=27735] ppid=27732 vsize=9824732 CPUtime=1409.55 cores=1,3,5,7
/proc/27735/stat : 27735 (java) S 27732 27735 27578 0 -1 4202496 35441 0 1 0 140721 234 0 0 20 0 19 0 109648947 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 140736402142736 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27735/statm: 2456183 953448 2302 9 0 2446860 0
[pid=27735/tid=27737] ppid=27732 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/27735/task/27737/stat : 27737 (java) S 27732 27735 27578 0 -1 4202560 2455 0 1 0 48 4 0 0 20 0 19 0 109648948 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139968055407048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27735/tid=27738] ppid=27732 vsize=9824732 CPUtime=3.49 cores=1,3,5,7
/proc/27735/task/27738/stat : 27738 (java) R 27732 27735 27578 0 -1 4202560 705 0 0 0 330 19 0 0 20 0 19 0 109648950 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139968027859288 139968059582615 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27739] ppid=27732 vsize=9824732 CPUtime=3.47 cores=1,3,5,7
/proc/27735/task/27739/stat : 27739 (java) R 27732 27735 27578 0 -1 4202560 597 0 0 0 328 19 0 0 20 0 19 0 109648950 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139968026806744 139968062303107 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27735/tid=27740] ppid=27732 vsize=9824732 CPUtime=3.21 cores=1,3,5,7
/proc/27735/task/27740/stat : 27740 (java) R 27732 27735 27578 0 -1 4202560 889 0 0 0 301 20 0 0 20 0 19 0 109648950 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139968025754200 139968062303240 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27735/tid=27741] ppid=27732 vsize=9824732 CPUtime=2.86 cores=1,3,5,7
/proc/27735/task/27741/stat : 27741 (java) R 27732 27735 27578 0 -1 4202560 755 0 0 0 271 15 0 0 20 0 19 0 109648950 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139968024701480 139968062302886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27735/tid=27742] ppid=27732 vsize=9824732 CPUtime=3.18 cores=1,3,5,7
/proc/27735/task/27742/stat : 27742 (java) R 27732 27735 27578 0 -1 4202560 681 0 0 0 300 18 0 0 20 0 19 0 109648950 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139968023649112 139968059582639 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=27735/tid=27743] ppid=27732 vsize=9824732 CPUtime=3.06 cores=1,3,5,7
/proc/27735/task/27743/stat : 27743 (java) R 27732 27735 27578 0 -1 4202560 794 0 0 0 287 19 0 0 20 0 19 0 109648950 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139968022596272 139968057878221 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=27735/tid=27744] ppid=27732 vsize=9824732 CPUtime=3.26 cores=1,3,5,7
/proc/27735/task/27744/stat : 27744 (java) R 27732 27735 27578 0 -1 4202560 636 0 0 0 307 19 0 0 20 0 19 0 109648950 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139968021543848 139968062303148 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27735/tid=27745] ppid=27732 vsize=9824732 CPUtime=2.94 cores=1,3,5,7
/proc/27735/task/27745/stat : 27745 (java) R 27732 27735 27578 0 -1 4202560 611 0 0 0 277 17 0 0 20 0 19 0 109648950 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139968020491304 139968059163788 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27746] ppid=27732 vsize=9824732 CPUtime=5.74 cores=1,3,5,7
/proc/27735/task/27746/stat : 27746 (java) S 27732 27735 27578 0 -1 4202560 2381 0 0 0 567 7 0 0 20 0 19 0 109648951 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139967408870408 213423010876 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27735/tid=27747] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27747/stat : 27747 (java) S 27732 27735 27578 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109648951 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139967407817848 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27748] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27748/stat : 27748 (java) S 27732 27735 27578 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109648951 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139967406765192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27749] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27749/stat : 27749 (java) S 27732 27735 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109648954 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139967405713936 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27750] ppid=27732 vsize=9824732 CPUtime=2.27 cores=1,3,5,7
/proc/27735/task/27750/stat : 27750 (java) S 27732 27735 27578 0 -1 4202560 11468 0 0 0 225 2 0 0 20 0 19 0 109648954 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139967404661304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27735/tid=27751] ppid=27732 vsize=9824732 CPUtime=1.4 cores=1,3,5,7
/proc/27735/task/27751/stat : 27751 (java) S 27732 27735 27578 0 -1 4202560 10148 0 0 0 137 3 0 0 20 0 19 0 109648954 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139967403608760 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27752] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27752/stat : 27752 (java) S 27732 27735 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109648954 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139967402556408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27735/tid=27753] ppid=27732 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/27735/task/27753/stat : 27753 (java) S 27732 27735 27578 0 -1 4202560 41 0 0 0 10 18 0 0 20 0 19 0 109648954 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139967401504072 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27735/tid=27756] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27756/stat : 27756 (java) S 27732 27735 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109649001 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139967398343720 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1409.55
Current children cumulated vsize (KiB) 9824732
#
############


[startup+702.301 s]
/proc/loadavg: 4.11 4.20 3.73 5/217 27842
/proc/meminfo: memFree=22461576/32872528 swapFree=16636/1570076
[pid=27735] ppid=27732 vsize=9824732 CPUtime=1409.55 cores=1,3,5,7
/proc/27735/stat : 27735 (java) S 27732 27735 27578 0 -1 4202496 35441 0 1 0 140721 234 0 0 20 0 19 0 109648947 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 140736402142736 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27735/statm: 2456183 953448 2302 9 0 2446860 0
[pid=27735/tid=27737] ppid=27732 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/27735/task/27737/stat : 27737 (java) S 27732 27735 27578 0 -1 4202560 2455 0 1 0 48 4 0 0 20 0 19 0 109648948 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139968055407048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27735/tid=27738] ppid=27732 vsize=9824732 CPUtime=3.49 cores=1,3,5,7
/proc/27735/task/27738/stat : 27738 (java) R 27732 27735 27578 0 -1 4202560 705 0 0 0 330 19 0 0 20 0 19 0 109648950 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139968027859288 139968059582615 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27739] ppid=27732 vsize=9824732 CPUtime=3.47 cores=1,3,5,7
/proc/27735/task/27739/stat : 27739 (java) R 27732 27735 27578 0 -1 4202560 597 0 0 0 328 19 0 0 20 0 19 0 109648950 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139968026806744 139968062303107 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27735/tid=27740] ppid=27732 vsize=9824732 CPUtime=3.21 cores=1,3,5,7
/proc/27735/task/27740/stat : 27740 (java) R 27732 27735 27578 0 -1 4202560 889 0 0 0 301 20 0 0 20 0 19 0 109648950 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139968025754200 139968062303240 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27735/tid=27741] ppid=27732 vsize=9824732 CPUtime=2.86 cores=1,3,5,7
/proc/27735/task/27741/stat : 27741 (java) R 27732 27735 27578 0 -1 4202560 755 0 0 0 271 15 0 0 20 0 19 0 109648950 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139968024701480 139968062302886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27735/tid=27742] ppid=27732 vsize=9824732 CPUtime=3.18 cores=1,3,5,7
/proc/27735/task/27742/stat : 27742 (java) R 27732 27735 27578 0 -1 4202560 681 0 0 0 300 18 0 0 20 0 19 0 109648950 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139968023649112 139968059582639 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=27735/tid=27743] ppid=27732 vsize=9824732 CPUtime=3.06 cores=1,3,5,7
/proc/27735/task/27743/stat : 27743 (java) R 27732 27735 27578 0 -1 4202560 794 0 0 0 287 19 0 0 20 0 19 0 109648950 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139968022596272 139968057878221 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=27735/tid=27744] ppid=27732 vsize=9824732 CPUtime=3.26 cores=1,3,5,7
/proc/27735/task/27744/stat : 27744 (java) R 27732 27735 27578 0 -1 4202560 636 0 0 0 307 19 0 0 20 0 19 0 109648950 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139968021543848 139968062303148 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27735/tid=27745] ppid=27732 vsize=9824732 CPUtime=2.94 cores=1,3,5,7
/proc/27735/task/27745/stat : 27745 (java) R 27732 27735 27578 0 -1 4202560 611 0 0 0 277 17 0 0 20 0 19 0 109648950 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139968020491304 139968059163788 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27746] ppid=27732 vsize=9824732 CPUtime=5.74 cores=1,3,5,7
/proc/27735/task/27746/stat : 27746 (java) S 27732 27735 27578 0 -1 4202560 2381 0 0 0 567 7 0 0 20 0 19 0 109648951 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139967408870408 213423010876 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27735/tid=27747] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27747/stat : 27747 (java) S 27732 27735 27578 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109648951 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139967407817848 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27748] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27748/stat : 27748 (java) S 27732 27735 27578 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109648951 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139967406765192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27749] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27749/stat : 27749 (java) S 27732 27735 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109648954 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139967405713936 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27750] ppid=27732 vsize=9824732 CPUtime=2.27 cores=1,3,5,7
/proc/27735/task/27750/stat : 27750 (java) S 27732 27735 27578 0 -1 4202560 11468 0 0 0 225 2 0 0 20 0 19 0 109648954 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139967404661304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27735/tid=27751] ppid=27732 vsize=9824732 CPUtime=1.4 cores=1,3,5,7
/proc/27735/task/27751/stat : 27751 (java) S 27732 27735 27578 0 -1 4202560 10148 0 0 0 137 3 0 0 20 0 19 0 109648954 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139967403608760 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27752] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27752/stat : 27752 (java) S 27732 27735 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109648954 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139967402556408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27735/tid=27753] ppid=27732 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/27735/task/27753/stat : 27753 (java) S 27732 27735 27578 0 -1 4202560 41 0 0 0 10 18 0 0 20 0 19 0 109648954 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139967401504072 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27735/tid=27756] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27756/stat : 27756 (java) S 27732 27735 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109649001 10060525568 953448 33554432000 1073741824 1073778376 140736402151600 139967398343720 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1409.55
Current children cumulated vsize (KiB) 9824732

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

[startup+702.401 s]
/proc/loadavg: 4.11 4.20 3.73 5/217 27842
/proc/meminfo: memFree=22461576/32872528 swapFree=16636/1570076
[pid=27735] ppid=27732 vsize=9824732 CPUtime=1409.82 cores=1,3,5,7
/proc/27735/stat : 27735 (java) S 27732 27735 27578 0 -1 4202496 35446 0 1 0 140748 234 0 0 20 0 19 0 109648947 10060525568 949377 33554432000 1073741824 1073778376 140736402151600 140736402142736 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27735/statm: 2456183 949377 2302 9 0 2446860 0
[pid=27735/tid=27737] ppid=27732 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/27735/task/27737/stat : 27737 (java) S 27732 27735 27578 0 -1 4202560 2456 0 1 0 49 4 0 0 20 0 19 0 109648948 10060525568 949377 33554432000 1073741824 1073778376 140736402151600 139968055407320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27735/tid=27738] ppid=27732 vsize=9824732 CPUtime=3.5 cores=1,3,5,7
/proc/27735/task/27738/stat : 27738 (java) S 27732 27735 27578 0 -1 4202560 705 0 0 0 331 19 0 0 20 0 19 0 109648950 10060525568 949377 33554432000 1073741824 1073778376 140736402151600 139968027859112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27739] ppid=27732 vsize=9824732 CPUtime=3.48 cores=1,3,5,7
/proc/27735/task/27739/stat : 27739 (java) S 27732 27735 27578 0 -1 4202560 597 0 0 0 329 19 0 0 20 0 19 0 109648950 10060525568 949377 33554432000 1073741824 1073778376 140736402151600 139968026806568 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27735/tid=27740] ppid=27732 vsize=9824732 CPUtime=3.22 cores=1,3,5,7
/proc/27735/task/27740/stat : 27740 (java) S 27732 27735 27578 0 -1 4202560 889 0 0 0 302 20 0 0 20 0 19 0 109648950 10060525568 949377 33554432000 1073741824 1073778376 140736402151600 139968025754024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27735/tid=27741] ppid=27732 vsize=9824732 CPUtime=2.9 cores=1,3,5,7
/proc/27735/task/27741/stat : 27741 (java) S 27732 27735 27578 0 -1 4202560 755 0 0 0 275 15 0 0 20 0 19 0 109648950 10060525568 949377 33554432000 1073741824 1073778376 140736402151600 139968024701480 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27735/tid=27742] ppid=27732 vsize=9824732 CPUtime=3.19 cores=1,3,5,7
/proc/27735/task/27742/stat : 27742 (java) S 27732 27735 27578 0 -1 4202560 681 0 0 0 301 18 0 0 20 0 19 0 109648950 10060525568 949377 33554432000 1073741824 1073778376 140736402151600 139968023648936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27735/tid=27743] ppid=27732 vsize=9824732 CPUtime=3.08 cores=1,3,5,7
/proc/27735/task/27743/stat : 27743 (java) S 27732 27735 27578 0 -1 4202560 794 0 0 0 289 19 0 0 20 0 19 0 109648950 10060525568 949377 33554432000 1073741824 1073778376 140736402151600 139968022596392 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27735/tid=27744] ppid=27732 vsize=9824732 CPUtime=3.28 cores=1,3,5,7
/proc/27735/task/27744/stat : 27744 (java) S 27732 27735 27578 0 -1 4202560 636 0 0 0 309 19 0 0 20 0 19 0 109648950 10060525568 949377 33554432000 1073741824 1073778376 140736402151600 139968021543848 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27735/tid=27745] ppid=27732 vsize=9824732 CPUtime=2.96 cores=1,3,5,7
/proc/27735/task/27745/stat : 27745 (java) S 27732 27735 27578 0 -1 4202560 611 0 0 0 279 17 0 0 20 0 19 0 109648950 10060525568 949377 33554432000 1073741824 1073778376 140736402151600 139968020491304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27746] ppid=27732 vsize=9824732 CPUtime=5.74 cores=1,3,5,7
/proc/27735/task/27746/stat : 27746 (java) S 27732 27735 27578 0 -1 4202560 2381 0 0 0 567 7 0 0 20 0 19 0 109648951 10060525568 949377 33554432000 1073741824 1073778376 140736402151600 139967408871528 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27735/tid=27747] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27747/stat : 27747 (java) S 27732 27735 27578 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109648951 10060525568 949377 33554432000 1073741824 1073778376 140736402151600 139967407817848 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27748] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27748/stat : 27748 (java) S 27732 27735 27578 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109648951 10060525568 949377 33554432000 1073741824 1073778376 140736402151600 139967406765192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27749] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27749/stat : 27749 (java) S 27732 27735 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109648954 10060525568 949377 33554432000 1073741824 1073778376 140736402151600 139967405713936 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27750] ppid=27732 vsize=9824732 CPUtime=2.28 cores=1,3,5,7
/proc/27735/task/27750/stat : 27750 (java) R 27732 27735 27578 0 -1 4202560 11469 0 0 0 226 2 0 0 20 0 19 0 109648954 10060525568 949377 33554432000 1073741824 1073778376 140736402151600 139967404661184 139968059504112 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=27735/tid=27751] ppid=27732 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/27735/task/27751/stat : 27751 (java) R 27732 27735 27578 0 -1 4202560 10148 0 0 0 141 3 0 0 20 0 19 0 109648954 10060525568 949377 33554432000 1073741824 1073778376 140736402151600 139967403608760 139968059537560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27735/tid=27752] ppid=27732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27735/task/27752/stat : 27752 (java) S 27732 27735 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109648954 10060525568 949377 33554432000 1073741824 1073778376 140736402151600 139967402556408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27735/tid=27753] ppid=27732 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/27735/task/27753/stat : 27753 (java) S 27732 27735 27578 0 -1 4202560 41 0 0 0 10 18 0 0 20 0 19 0 109648954 10060525568 949377 33554432000 1073741824 1073778376 140736402151600 139967401504072 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1409.82
Current children cumulated vsize (KiB) 9824732

Child status: 10

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 2.96008
#  lost CPU user time (s): 3.16003
#  lost CPU system time (s): -0.2

Real time (s): 702.44
CPU time (s): 1412.9
CPU user time (s): 1410.58
CPU system time (s): 2.32262
CPU usage (%): 201.142
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1407.42
system time used= 2.52262
maximum resident set size= 3814872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35454
page faults= 1
swaps= 0
block input operations= 0
block output operations= 768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19121
involuntary context switches= 22679

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.84126 second user time and 5.50716 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-07 07:26:06
IDJOB=4080554
IDBENCH=90127
IDSOLVER=2543
FILE ID=node140/4080554-1465277166
RUNJOBID= node140-1465276272-27595
PBS_JOBID= 19843305
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K107.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080554-1465277166/watcher-4080554-1465277166 -o /tmp/evaluation-result-4080554-1465277166/solver-4080554-1465277166 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465276272-27595 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4080554-1465277166.opb

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

MD5SUM BENCH= f523e4bc7acd98550e38ca37c8d9200b
RANDOM SEED=1770834687

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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		: 2666.768
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	: 5334.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26230740 kB
Buffers:          122752 kB
Cached:           302944 kB
SwapCached:         1688 kB
Active:          3974488 kB
Inactive:         353044 kB
Active(anon):    3899972 kB
Inactive(anon):     4504 kB
Active(file):      74516 kB
Inactive(file):   348540 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098688 kB
Dirty:              1260 kB
Writeback:             0 kB
AnonPages:       5580088 kB
Mapped:            15392 kB
Shmem:                 0 kB
Slab:             603236 kB
SReclaimable:      47392 kB
SUnreclaim:       555844 kB
KernelStack:        1808 kB
PageTables:        15332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5810652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5490688 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71740 MiB
End job on node140 at 2016-06-07 07:37:48