Trace number 4084634

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 Resolution PB16SAT 727.06 723.045

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.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4084634-1465284478.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  no objective function found
0.72/0.40	c ... done. Wall clock time 0.282s.
0.72/0.40	c declared #vars     7276
0.72/0.40	c #constraints  7492
0.72/0.40	c constraints type 
0.72/0.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6005
0.72/0.40	c org.sat4j.minisat.constraints.card.MinWatchCard => 107
0.72/0.40	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.72/0.40	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1378
0.72/0.40	c 7492 constraints processed.
1.83/1.27	c cleaning 2480 clauses out of 4994 with flag 24969/5000
2.79/2.03	c cleaning 4238 clauses out of 8508 with flag 64711/11000
3.79/3.02	c cleaning 5629 clauses out of 11266 with flag 112283/18002
4.90/4.12	c cleaning 6772 clauses out of 13631 with flag 169170/26000
6.11/5.33	c cleaning 7899 clauses out of 15855 with flag 230045/35001
7.52/6.74	c cleaning 8964 clauses out of 17953 with flag 290667/45000
9.11/8.38	c cleaning 9645 clauses out of 19991 with flag 354766/56002
11.01/10.25	c cleaning 10120 clauses out of 22342 with flag 419621/68000
13.03/12.23	c cleaning 11040 clauses out of 25222 with flag 499453/81001
15.13/14.35	c cleaning 11815 clauses out of 28182 with flag 579241/95002
17.42/16.66	c cleaning 12751 clauses out of 31365 with flag 671380/110000
19.91/19.19	c cleaning 13537 clauses out of 34615 with flag 767606/126001
22.82/22.04	c cleaning 14357 clauses out of 38077 with flag 870801/143000
25.73/24.96	c cleaning 15402 clauses out of 41722 with flag 983675/161002
28.83/28.02	c cleaning 16239 clauses out of 45316 with flag 1098566/180000
31.93/31.17	c cleaning 17206 clauses out of 49077 with flag 1223101/200000
35.44/34.62	c cleaning 18027 clauses out of 52870 with flag 1349712/221000
39.14/38.38	c cleaning 18753 clauses out of 56843 with flag 1489752/243002
43.04/42.26	c cleaning 19662 clauses out of 61092 with flag 1629425/266004
47.23/46.44	c cleaning 20400 clauses out of 65427 with flag 1779145/290001
51.73/50.91	c cleaning 21438 clauses out of 70026 with flag 1937655/315001
56.54/55.75	c cleaning 22270 clauses out of 74587 with flag 2098643/341000
61.51/60.63	c cleaning 23324 clauses out of 79317 with flag 2268640/368000
66.91/66.10	c cleaning 24157 clauses out of 83993 with flag 2448544/396001
72.41/71.57	c cleaning 25010 clauses out of 88834 with flag 2642275/425000
78.21/77.36	c cleaning 26015 clauses out of 93824 with flag 2840878/455000
84.52/83.63	c cleaning 26990 clauses out of 98809 with flag 3045247/486000
90.91/90.02	c cleaning 27823 clauses out of 103819 with flag 3256041/518000
97.81/96.88	c cleaning 28692 clauses out of 108998 with flag 3492245/551002
104.70/103.74	c cleaning 29846 clauses out of 114305 with flag 3718717/585001
112.11/111.14	c cleaning 30504 clauses out of 119458 with flag 3965859/620000
119.71/118.71	c cleaning 31688 clauses out of 124958 with flag 4212865/656004
128.01/127.01	c cleaning 32683 clauses out of 130266 with flag 4476103/693000
136.98/135.86	c cleaning 33185 clauses out of 135585 with flag 4762538/731004
145.78/144.68	c cleaning 34696 clauses out of 141396 with flag 5043907/770000
155.08/153.97	c cleaning 35601 clauses out of 146702 with flag 5325297/810002
164.79/163.60	c cleaning 36252 clauses out of 152098 with flag 5617161/851000
174.99/173.87	c cleaning 37447 clauses out of 157846 with flag 5927467/893000
185.97/184.69	c cleaning 38399 clauses out of 163399 with flag 6252108/936000
197.27/195.93	c cleaning 39272 clauses out of 169001 with flag 6582014/980002
208.38/207.02	c cleaning 40313 clauses out of 174727 with flag 6925765/1025000
221.30/219.71	c cleaning 41207 clauses out of 180415 with flag 7293869/1071001
233.60/232.08	c cleaning 42538 clauses out of 186207 with flag 7657412/1118000
246.80/245.27	c cleaning 43377 clauses out of 191674 with flag 8028498/1166005
260.55/258.79	c cleaning 44105 clauses out of 197292 with flag 8403343/1215000
274.67/272.88	c cleaning 45204 clauses out of 203186 with flag 8796127/1265000
289.66/287.83	c cleaning 46223 clauses out of 208982 with flag 9213558/1316000
305.27/303.17	c cleaning 47349 clauses out of 214761 with flag 9631479/1368002
322.07/319.65	c cleaning 48195 clauses out of 220409 with flag 10078536/1421000
340.07/337.64	c cleaning 49350 clauses out of 226214 with flag 10529193/1475000
358.23/355.76	c cleaning 50151 clauses out of 231867 with flag 10995332/1530004
377.22/374.61	c cleaning 51440 clauses out of 237712 with flag 11482857/1586000
396.92/394.29	c cleaning 51943 clauses out of 243274 with flag 11986262/1643002
417.72/414.91	c cleaning 53183 clauses out of 249333 with flag 12490583/1701004
439.21/436.30	c cleaning 54084 clauses out of 255145 with flag 12981463/1760000
460.39/457.50	c cleaning 55198 clauses out of 261061 with flag 13505317/1820000
480.78/477.75	c cleaning 56035 clauses out of 266864 with flag 14043084/1881001
501.66/498.51	c cleaning 57474 clauses out of 272828 with flag 14589878/1943000
524.13/520.98	c cleaning 58122 clauses out of 278356 with flag 15198332/2006002
546.74/543.50	c cleaning 58907 clauses out of 284235 with flag 15786900/2070003
569.31/565.90	c cleaning 60193 clauses out of 290326 with flag 16409417/2135001
593.49/590.07	c cleaning 61351 clauses out of 296133 with flag 17050511/2201001
617.59/614.09	c cleaning 62185 clauses out of 301781 with flag 17661401/2268000
642.90/639.27	c cleaning 63561 clauses out of 307598 with flag 18283639/2336002
667.88/664.11	c cleaning 64446 clauses out of 313035 with flag 18911955/2405000
694.42/690.57	c cleaning 65709 clauses out of 318589 with flag 19561865/2475000
721.20/717.24	c cleaning 66599 clauses out of 323881 with flag 20236172/2546001
726.94/722.96	c SATISFIABLE
726.94/722.96	c starts		: 16512
726.94/722.96	c conflicts		: 2566320
726.94/722.96	c decisions		: 52926191
726.94/722.96	c propagations		: 999534719
726.94/722.96	c inspects		: 6755039422
726.94/722.96	c shortcuts		: 0
726.94/722.96	c learnt literals	: 49
726.94/722.96	c learnt binary clauses	: 105297
726.94/722.96	c learnt ternary clauses	: 105743
726.94/722.96	c learnt constraints	: 2566271
726.94/722.96	c ignored constraints	: 0
726.94/722.96	c root simplifications	: 0
726.94/722.96	c removed literals (reason simplification)	: 0
726.94/722.96	c reason swapping (by a shorter reason)	: 0
726.94/722.96	c Calls to reduceDB	: 67
726.94/722.96	c Number of update (reduction) of LBD	: 1926883
726.94/722.96	c Imported unit clauses	: 0
726.94/722.96	c number of reductions to clauses (during analyze)	: 0
726.94/722.96	c number of learned constraints concerned by reduction	: 0
726.94/722.96	c number of learning phase by resolution	: 0
726.94/722.96	c number of learning phase by cutting planes	: 0
726.94/722.96	c speed (assignments/second)	: 1383326.093786113
726.94/722.96	c non guided choices	10233
727.06/723.02	c learnt constraints type 
727.06/723.02	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 105297
727.06/723.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 172304
727.06/723.02	s SATISFIABLE
727.06/723.02	c Found 1 solution(s)
727.06/723.03	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 x316 -x317 x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 x2625 -x2626 x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 x3611 -x3612 -x3613 -x3614 -x3615 x3616 -x3617 x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 x3722 -x3723 x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 x4618 -x4619 x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 x4666 -x4667 x4668 -x4669 x4670 -x4671 x4672 -x4673 -x4674 -x4675 x4676 -x4677 x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 x5043 -x5044 x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 x5099 -x5100 x5101 -x5102 x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 x5398 -x5399 x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 x5504 -x5505 -x5506 -x5507 x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 x6355 -x6356 x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 x6566 -x6567 x6568 -x6569 -x6570 -x6571 x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 x6750 -x6751 x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 x7276 
727.06/723.04	c Total wall clock time (in seconds): 722.923

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-4084634-1465284478/watcher-4084634-1465284478 -o /tmp/evaluation-result-4084634-1465284478/solver-4084634-1465284478 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1465257785-23301 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084634-1465284478.opb 

pid=27832
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.10 2.03 2.01 3/196 27835
/proc/meminfo: memFree=30893832/32872528 swapFree=8144/8144
[pid=27835] ppid=27832 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/27835/stat : 27835 (java) D 27832 27835 23284 0 -1 4202496 317 0 0 0 0 0 0 0 20 0 1 0 110379812 9515008 175 33554432000 1073741824 1073778376 140733867002080 140733866984808 206408860560 0 0 4096 0 18446744072100756772 0 0 17 5 0 0 0 0 0
/proc/27835/statm: 2323 175 133 9 0 71 0

[startup+0.100162 s]
/proc/loadavg: 2.10 2.03 2.01 3/196 27835
/proc/meminfo: memFree=30893832/32872528 swapFree=8144/8144
[pid=27835] ppid=27832 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/27835/stat : 27835 (java) S 27832 27835 23284 0 -1 4202496 4439 0 1 0 8 1 0 0 20 0 18 0 110379812 9787879424 5569 33554432000 1073741824 1073778376 140736509644480 140736509635616 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27835/statm: 2389619 5569 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200372 s]
/proc/loadavg: 2.10 2.03 2.01 3/196 27835
/proc/meminfo: memFree=30893832/32872528 swapFree=8144/8144
[pid=27835] ppid=27832 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/27835/stat : 27835 (java) S 27832 27835 23284 0 -1 4202496 5029 0 1 0 27 1 0 0 20 0 18 0 110379812 9787879424 6515 33554432000 1073741824 1073778376 140736509644480 140736509635616 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27835/statm: 2389619 6515 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300338 s]
/proc/loadavg: 2.10 2.03 2.01 3/196 27835
/proc/meminfo: memFree=30893832/32872528 swapFree=8144/8144
[pid=27835] ppid=27832 vsize=9558476 CPUtime=0.54 cores=1,3,5,7
/proc/27835/stat : 27835 (java) S 27832 27835 23284 0 -1 4202496 7394 0 1 0 53 1 0 0 20 0 18 0 110379812 9787879424 9458 33554432000 1073741824 1073778376 140736509644480 140736509635616 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27835/statm: 2389619 9438 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476

[startup+0.700316 s]
/proc/loadavg: 2.10 2.03 2.01 3/196 27835
/proc/meminfo: memFree=30893832/32872528 swapFree=8144/8144
[pid=27835] ppid=27832 vsize=9625040 CPUtime=1.31 cores=1,3,5,7
/proc/27835/stat : 27835 (java) S 27832 27835 23284 0 -1 4202496 8206 0 1 0 129 2 0 0 20 0 19 0 110379812 9856040960 17193 33554432000 1073741824 1073778376 140736509644480 140736509635616 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27835/statm: 2406260 17193 2258 9 0 2396937 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9625040

[startup+1.50084 s]
/proc/loadavg: 2.10 2.03 2.01 3/215 27854
/proc/meminfo: memFree=30831928/32872528 swapFree=8144/8144
[pid=27835] ppid=27832 vsize=9625040 CPUtime=2.25 cores=1,3,5,7
/proc/27835/stat : 27835 (java) S 27832 27835 23284 0 -1 4202496 9887 0 1 0 222 3 0 0 20 0 19 0 110379812 9856040960 19087 33554432000 1073741824 1073778376 140736509644480 140736509635616 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27835/statm: 2406260 19087 2267 9 0 2396937 0
[pid=27835/tid=27837] ppid=27832 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/27835/task/27837/stat : 27837 (java) R 27832 27835 23284 0 -1 4202560 2485 0 1 0 144 2 0 0 20 0 19 0 110379814 9856040960 19087 33554432000 1073741824 1073778376 140736509644480 140469386117448 140469326528296 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27838] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27838/stat : 27838 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379815 9856040960 19087 33554432000 1073741824 1073778376 140736509644480 140469324847784 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27839] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27839/stat : 27839 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379815 9856040960 19087 33554432000 1073741824 1073778376 140736509644480 140469323795240 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27835/tid=27840] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27840/stat : 27840 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379815 9856040960 19087 33554432000 1073741824 1073778376 140736509644480 140469322742696 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27835/tid=27841] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27841/stat : 27841 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379815 9856040960 19087 33554432000 1073741824 1073778376 140736509644480 140469226650664 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27842] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27842/stat : 27842 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379815 9856040960 19087 33554432000 1073741824 1073778376 140736509644480 140469225597096 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27843] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27843/stat : 27843 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379815 9856040960 19087 33554432000 1073741824 1073778376 140736509644480 140469224544552 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27844] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27844/stat : 27844 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379815 9856040960 19087 33554432000 1073741824 1073778376 140736509644480 140469223492008 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27845] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27845/stat : 27845 (java) S 27832 27835 23284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110379815 9856040960 19087 33554432000 1073741824 1073778376 140736509644480 140469222439464 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27846] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27846/stat : 27846 (java) S 27832 27835 23284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110379816 9856040960 19087 33554432000 1073741824 1073778376 140736509644480 140469210241640 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27847] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27847/stat : 27847 (java) S 27832 27835 23284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110379816 9856040960 19087 33554432000 1073741824 1073778376 140736509644480 140469209187960 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27848] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27848/stat : 27848 (java) S 27832 27835 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110379816 9856040960 19087 33554432000 1073741824 1073778376 140736509644480 140469208135304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27849] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27849/stat : 27849 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379819 9856040960 19087 33554432000 1073741824 1073778376 140736509644480 140469207084048 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27850] ppid=27832 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/27835/task/27850/stat : 27850 (java) S 27832 27835 23284 0 -1 4202560 2230 0 0 0 35 0 0 0 20 0 19 0 110379819 9856040960 19087 33554432000 1073741824 1073778376 140736509644480 140469206030392 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27851] ppid=27832 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/27835/task/27851/stat : 27851 (java) S 27832 27835 23284 0 -1 4202560 3896 0 0 0 40 0 0 0 20 0 19 0 110379819 9856040960 19087 33554432000 1073741824 1073778376 140736509644480 140469204977848 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27835/tid=27852] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27852/stat : 27852 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379819 9856040960 19087 33554432000 1073741824 1073778376 140736509644480 140469203925496 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27835/tid=27853] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27853/stat : 27853 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379819 9856040960 19087 33554432000 1073741824 1073778376 140736509644480 140469202873160 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27854] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27854/stat : 27854 (java) S 27832 27835 23284 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110379854 9856040960 19087 33554432000 1073741824 1073778376 140736509644480 140469201818920 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 9625040

[startup+3.10079 s]
/proc/loadavg: 2.10 2.03 2.01 3/215 27854
/proc/meminfo: memFree=30824112/32872528 swapFree=8144/8144
[pid=27835] ppid=27832 vsize=9625040 CPUtime=3.9 cores=1,3,5,7
/proc/27835/stat : 27835 (java) S 27832 27835 23284 0 -1 4202496 9895 0 1 0 387 3 0 0 20 0 19 0 110379812 9856040960 20627 33554432000 1073741824 1073778376 140736509644480 140736509635616 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27835/statm: 2406260 20627 2267 9 0 2396937 0
[pid=27835/tid=27837] ppid=27832 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/27835/task/27837/stat : 27837 (java) R 27832 27835 23284 0 -1 4202560 2489 0 1 0 304 2 0 0 20 0 19 0 110379814 9856040960 20627 33554432000 1073741824 1073778376 140736509644480 140469386117448 140469326541957 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27838] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27838/stat : 27838 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379815 9856040960 20627 33554432000 1073741824 1073778376 140736509644480 140469324847784 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27839] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27839/stat : 27839 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379815 9856040960 20627 33554432000 1073741824 1073778376 140736509644480 140469323795240 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27835/tid=27840] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27840/stat : 27840 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379815 9856040960 20627 33554432000 1073741824 1073778376 140736509644480 140469322742696 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27835/tid=27841] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27841/stat : 27841 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379815 9856040960 20627 33554432000 1073741824 1073778376 140736509644480 140469226650664 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27842] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27842/stat : 27842 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379815 9856040960 20627 33554432000 1073741824 1073778376 140736509644480 140469225597096 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27843] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27843/stat : 27843 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379815 9856040960 20627 33554432000 1073741824 1073778376 140736509644480 140469224544552 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27844] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27844/stat : 27844 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379815 9856040960 20627 33554432000 1073741824 1073778376 140736509644480 140469223492008 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27845] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27845/stat : 27845 (java) S 27832 27835 23284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110379815 9856040960 20627 33554432000 1073741824 1073778376 140736509644480 140469222439464 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27846] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27846/stat : 27846 (java) S 27832 27835 23284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110379816 9856040960 20627 33554432000 1073741824 1073778376 140736509644480 140469210241640 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27847] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27847/stat : 27847 (java) S 27832 27835 23284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110379816 9856040960 20627 33554432000 1073741824 1073778376 140736509644480 140469209187960 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27848] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27848/stat : 27848 (java) S 27832 27835 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110379816 9856040960 20627 33554432000 1073741824 1073778376 140736509644480 140469208135304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27849] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27849/stat : 27849 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379819 9856040960 20627 33554432000 1073741824 1073778376 140736509644480 140469207084048 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27850] ppid=27832 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/27835/task/27850/stat : 27850 (java) S 27832 27835 23284 0 -1 4202560 2232 0 0 0 37 0 0 0 20 0 19 0 110379819 9856040960 20627 33554432000 1073741824 1073778376 140736509644480 140469206030392 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27851] ppid=27832 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/27835/task/27851/stat : 27851 (java) S 27832 27835 23284 0 -1 4202560 3898 0 0 0 43 0 0 0 20 0 19 0 110379819 9856040960 20627 33554432000 1073741824 1073778376 140736509644480 140469204977848 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27835/tid=27852] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27852/stat : 27852 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379819 9856040960 20627 33554432000 1073741824 1073778376 140736509644480 140469203925496 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27835/tid=27853] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27853/stat : 27853 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379819 9856040960 20627 33554432000 1073741824 1073778376 140736509644480 140469202873160 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27854] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27854/stat : 27854 (java) S 27832 27835 23284 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110379854 9856040960 20627 33554432000 1073741824 1073778376 140736509644480 140469201818920 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 9625040

[startup+6.30082 s]
/proc/loadavg: 2.09 2.03 2.01 3/215 27854
/proc/meminfo: memFree=30811528/32872528 swapFree=8144/8144
[pid=27835] ppid=27832 vsize=9625040 CPUtime=7.11 cores=1,3,5,7
/proc/27835/stat : 27835 (java) S 27832 27835 23284 0 -1 4202496 9908 0 1 0 708 3 0 0 20 0 19 0 110379812 9856040960 23590 33554432000 1073741824 1073778376 140736509644480 140736509635616 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27835/statm: 2406260 23590 2269 9 0 2396937 0
[pid=27835/tid=27837] ppid=27832 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/27835/task/27837/stat : 27837 (java) R 27832 27835 23284 0 -1 4202560 2497 0 1 0 622 2 0 0 20 0 19 0 110379814 9856040960 23590 33554432000 1073741824 1073778376 140736509644480 140469386108608 140469326075284 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27838] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27838/stat : 27838 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379815 9856040960 23590 33554432000 1073741824 1073778376 140736509644480 140469324847784 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27839] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27839/stat : 27839 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379815 9856040960 23590 33554432000 1073741824 1073778376 140736509644480 140469323795240 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27835/tid=27840] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27840/stat : 27840 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379815 9856040960 23590 33554432000 1073741824 1073778376 140736509644480 140469322742696 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27835/tid=27841] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27841/stat : 27841 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379815 9856040960 23590 33554432000 1073741824 1073778376 140736509644480 140469226650664 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27842] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27842/stat : 27842 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379815 9856040960 23590 33554432000 1073741824 1073778376 140736509644480 140469225597096 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27843] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27843/stat : 27843 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379815 9856040960 23590 33554432000 1073741824 1073778376 140736509644480 140469224544552 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27844] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27844/stat : 27844 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379815 9856040960 23590 33554432000 1073741824 1073778376 140736509644480 140469223492008 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27845] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27845/stat : 27845 (java) S 27832 27835 23284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110379815 9856040960 23590 33554432000 1073741824 1073778376 140736509644480 140469222439464 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27846] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27846/stat : 27846 (java) S 27832 27835 23284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110379816 9856040960 23590 33554432000 1073741824 1073778376 140736509644480 140469210241640 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27847] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27847/stat : 27847 (java) S 27832 27835 23284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110379816 9856040960 23590 33554432000 1073741824 1073778376 140736509644480 140469209187960 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27848] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27848/stat : 27848 (java) S 27832 27835 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110379816 9856040960 23590 33554432000 1073741824 1073778376 140736509644480 140469208135304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27849] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27849/stat : 27849 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379819 9856040960 23590 33554432000 1073741824 1073778376 140736509644480 140469207084048 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27850] ppid=27832 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/27835/task/27850/stat : 27850 (java) S 27832 27835 23284 0 -1 4202560 2232 0 0 0 38 0 0 0 20 0 19 0 110379819 9856040960 23590 33554432000 1073741824 1073778376 140736509644480 140469206030392 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27851] ppid=27832 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/27835/task/27851/stat : 27851 (java) S 27832 27835 23284 0 -1 4202560 3902 0 0 0 44 0 0 0 20 0 19 0 110379819 9856040960 23590 33554432000 1073741824 1073778376 140736509644480 140469204977848 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27835/tid=27852] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27852/stat : 27852 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379819 9856040960 23590 33554432000 1073741824 1073778376 140736509644480 140469203925496 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27835/tid=27853] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27853/stat : 27853 (java) S 27832 27835 23284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 110379819 9856040960 23590 33554432000 1073741824 1073778376 140736509644480 140469202873160 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27854] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27854/stat : 27854 (java) S 27832 27835 23284 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110379854 9856040960 23590 33554432000 1073741824 1073778376 140736509644480 140469201818920 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.11
Current children cumulated vsize (KiB) 9625040


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

[pid=27835/tid=27846] ppid=27832 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/27835/task/27846/stat : 27846 (java) S 27832 27835 23284 0 -1 4202560 247 0 0 0 56 0 0 0 20 0 19 0 110379816 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469210241640 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27847] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27847/stat : 27847 (java) S 27832 27835 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110379816 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469209187960 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27848] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27848/stat : 27848 (java) S 27832 27835 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110379816 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469208135304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27849] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27849/stat : 27849 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379819 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469207084048 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27850] ppid=27832 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/27835/task/27850/stat : 27850 (java) S 27832 27835 23284 0 -1 4202560 2304 0 0 0 40 0 0 0 20 0 19 0 110379819 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469206030392 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27851] ppid=27832 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/27835/task/27851/stat : 27851 (java) S 27832 27835 23284 0 -1 4202560 3902 0 0 0 44 0 0 0 20 0 19 0 110379819 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469204977848 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27835/tid=27852] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27852/stat : 27852 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379819 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469203925496 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27835/tid=27853] ppid=27832 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/27835/task/27853/stat : 27853 (java) S 27832 27835 23284 0 -1 4202560 42 0 0 0 9 17 0 0 20 0 19 0 110379819 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469202873160 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27854] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27854/stat : 27854 (java) S 27832 27835 23284 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110379854 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469201818920 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 725.6
Current children cumulated vsize (KiB) 9625040

[startup+722.401 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 27935
/proc/meminfo: memFree=31012352/32872528 swapFree=8144/8144
[pid=27835] ppid=27832 vsize=9625040 CPUtime=726.39 cores=1,3,5,7
/proc/27835/stat : 27835 (java) S 27832 27835 23284 0 -1 4202496 13019 0 1 0 72545 94 0 0 20 0 19 0 110379812 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140736509635616 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27835/statm: 2406260 127638 2291 9 0 2396937 0
[pid=27835/tid=27837] ppid=27832 vsize=9625040 CPUtime=718.75 cores=1,3,5,7
/proc/27835/task/27837/stat : 27837 (java) R 27832 27835 23284 0 -1 4202560 2560 0 1 0 71859 16 0 0 20 0 19 0 110379814 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469386108704 140469326520176 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27838] ppid=27832 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/27835/task/27838/stat : 27838 (java) S 27832 27835 23284 0 -1 4202560 332 0 0 0 39 11 0 0 20 0 19 0 110379815 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469324847784 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27835/tid=27839] ppid=27832 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/27835/task/27839/stat : 27839 (java) S 27832 27835 23284 0 -1 4202560 312 0 0 0 40 8 0 0 20 0 19 0 110379815 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469323795240 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27840] ppid=27832 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/27835/task/27840/stat : 27840 (java) S 27832 27835 23284 0 -1 4202560 457 0 0 0 38 9 0 0 20 0 19 0 110379815 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469322742696 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27841] ppid=27832 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/27835/task/27841/stat : 27841 (java) S 27832 27835 23284 0 -1 4202560 266 0 0 0 40 9 0 0 20 0 19 0 110379815 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469226650664 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27835/tid=27842] ppid=27832 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/27835/task/27842/stat : 27842 (java) S 27832 27835 23284 0 -1 4202560 370 0 0 0 41 8 0 0 20 0 19 0 110379815 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469225597096 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27843] ppid=27832 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/27835/task/27843/stat : 27843 (java) S 27832 27835 23284 0 -1 4202560 450 0 0 0 47 12 0 0 20 0 19 0 110379815 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469224544552 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27844] ppid=27832 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/27835/task/27844/stat : 27844 (java) S 27832 27835 23284 0 -1 4202560 316 0 0 0 48 11 0 0 20 0 19 0 110379815 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469223492008 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27845] ppid=27832 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/27835/task/27845/stat : 27845 (java) S 27832 27835 23284 0 -1 4202560 199 0 0 0 44 8 0 0 20 0 19 0 110379815 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469222439464 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27846] ppid=27832 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/27835/task/27846/stat : 27846 (java) S 27832 27835 23284 0 -1 4202560 247 0 0 0 56 0 0 0 20 0 19 0 110379816 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469210241640 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27847] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27847/stat : 27847 (java) S 27832 27835 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110379816 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469209187960 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27848] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27848/stat : 27848 (java) S 27832 27835 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110379816 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469208135304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27849] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27849/stat : 27849 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379819 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469207084048 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27850] ppid=27832 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/27835/task/27850/stat : 27850 (java) S 27832 27835 23284 0 -1 4202560 2304 0 0 0 40 0 0 0 20 0 19 0 110379819 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469206030392 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27851] ppid=27832 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/27835/task/27851/stat : 27851 (java) S 27832 27835 23284 0 -1 4202560 3902 0 0 0 44 0 0 0 20 0 19 0 110379819 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469204977848 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27835/tid=27852] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27852/stat : 27852 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379819 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469203925496 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27835/tid=27853] ppid=27832 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/27835/task/27853/stat : 27853 (java) S 27832 27835 23284 0 -1 4202560 42 0 0 0 9 17 0 0 20 0 19 0 110379819 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469202873160 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27854] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27854/stat : 27854 (java) S 27832 27835 23284 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110379854 9856040960 127638 33554432000 1073741824 1073778376 140736509644480 140469201818920 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 726.39
Current children cumulated vsize (KiB) 9625040

[startup+722.808 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 27935
/proc/meminfo: memFree=31019300/32872528 swapFree=8144/8144
[pid=27835] ppid=27832 vsize=9625040 CPUtime=726.85 cores=1,3,5,7
/proc/27835/stat : 27835 (java) S 27832 27835 23284 0 -1 4202496 13025 0 1 0 72591 94 0 0 20 0 19 0 110379812 9856040960 125896 33554432000 1073741824 1073778376 140736509644480 140736509635616 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27835/statm: 2406260 125896 2291 9 0 2396937 0
[pid=27835/tid=27837] ppid=27832 vsize=9625040 CPUtime=719.13 cores=1,3,5,7
/proc/27835/task/27837/stat : 27837 (java) R 27832 27835 23284 0 -1 4202560 2561 0 1 0 71897 16 0 0 20 0 19 0 110379814 9856040960 125896 33554432000 1073741824 1073778376 140736509644480 140469386116536 140469326481035 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27838] ppid=27832 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/27835/task/27838/stat : 27838 (java) S 27832 27835 23284 0 -1 4202560 335 0 0 0 40 11 0 0 20 0 19 0 110379815 9856040960 125896 33554432000 1073741824 1073778376 140736509644480 140469324847784 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27839] ppid=27832 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/27835/task/27839/stat : 27839 (java) S 27832 27835 23284 0 -1 4202560 312 0 0 0 41 8 0 0 20 0 19 0 110379815 9856040960 125896 33554432000 1073741824 1073778376 140736509644480 140469323795240 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27840] ppid=27832 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/27835/task/27840/stat : 27840 (java) S 27832 27835 23284 0 -1 4202560 457 0 0 0 38 9 0 0 20 0 19 0 110379815 9856040960 125896 33554432000 1073741824 1073778376 140736509644480 140469322742696 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27841] ppid=27832 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/27835/task/27841/stat : 27841 (java) S 27832 27835 23284 0 -1 4202560 266 0 0 0 42 9 0 0 20 0 19 0 110379815 9856040960 125896 33554432000 1073741824 1073778376 140736509644480 140469226650664 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27835/tid=27842] ppid=27832 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/27835/task/27842/stat : 27842 (java) S 27832 27835 23284 0 -1 4202560 370 0 0 0 43 8 0 0 20 0 19 0 110379815 9856040960 125896 33554432000 1073741824 1073778376 140736509644480 140469225597096 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27843] ppid=27832 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/27835/task/27843/stat : 27843 (java) S 27832 27835 23284 0 -1 4202560 450 0 0 0 48 12 0 0 20 0 19 0 110379815 9856040960 125896 33554432000 1073741824 1073778376 140736509644480 140469224544552 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27844] ppid=27832 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/27835/task/27844/stat : 27844 (java) S 27832 27835 23284 0 -1 4202560 316 0 0 0 48 11 0 0 20 0 19 0 110379815 9856040960 125896 33554432000 1073741824 1073778376 140736509644480 140469223492008 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27835/tid=27845] ppid=27832 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/27835/task/27845/stat : 27845 (java) S 27832 27835 23284 0 -1 4202560 201 0 0 0 45 8 0 0 20 0 19 0 110379815 9856040960 125896 33554432000 1073741824 1073778376 140736509644480 140469222439464 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27846] ppid=27832 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/27835/task/27846/stat : 27846 (java) S 27832 27835 23284 0 -1 4202560 247 0 0 0 56 0 0 0 20 0 19 0 110379816 9856040960 125896 33554432000 1073741824 1073778376 140736509644480 140469210241640 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27835/tid=27847] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27847/stat : 27847 (java) S 27832 27835 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110379816 9856040960 125896 33554432000 1073741824 1073778376 140736509644480 140469209187960 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27848] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27848/stat : 27848 (java) S 27832 27835 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110379816 9856040960 125896 33554432000 1073741824 1073778376 140736509644480 140469208135304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27849] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27849/stat : 27849 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379819 9856040960 125896 33554432000 1073741824 1073778376 140736509644480 140469207084048 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27850] ppid=27832 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/27835/task/27850/stat : 27850 (java) S 27832 27835 23284 0 -1 4202560 2304 0 0 0 40 0 0 0 20 0 19 0 110379819 9856040960 125896 33554432000 1073741824 1073778376 140736509644480 140469206030392 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27851] ppid=27832 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/27835/task/27851/stat : 27851 (java) S 27832 27835 23284 0 -1 4202560 3902 0 0 0 44 0 0 0 20 0 19 0 110379819 9856040960 125896 33554432000 1073741824 1073778376 140736509644480 140469204977848 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27835/tid=27852] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27852/stat : 27852 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379819 9856040960 125896 33554432000 1073741824 1073778376 140736509644480 140469203925496 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27835/tid=27853] ppid=27832 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/27835/task/27853/stat : 27853 (java) S 27832 27835 23284 0 -1 4202560 42 0 0 0 9 17 0 0 20 0 19 0 110379819 9856040960 125896 33554432000 1073741824 1073778376 140736509644480 140469202873160 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27854] ppid=27832 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27854/stat : 27854 (java) S 27832 27835 23284 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110379854 9856040960 125896 33554432000 1073741824 1073778376 140736509644480 140469201818920 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 726.85
Current children cumulated vsize (KiB) 9625040

[startup+723.001 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 27935
/proc/meminfo: memFree=31019300/32872528 swapFree=8144/8144
[pid=27835] ppid=27832 vsize=9691604 CPUtime=727.06 cores=1,3,5,7
/proc/27835/stat : 27835 (java) S 27832 27835 23284 0 -1 4202496 13044 0 1 0 72612 94 0 0 20 0 19 0 110379812 9924202496 125912 33554432000 1073741824 1073778376 140736509644480 140736509635616 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27835/statm: 2422901 125912 2295 9 0 2413578 0
[pid=27835/tid=27837] ppid=27832 vsize=9691604 CPUtime=719.29 cores=1,3,5,7
/proc/27835/task/27837/stat : 27837 (java) S 27832 27835 23284 0 -1 4202560 2563 0 1 0 71913 16 0 0 20 0 19 0 110379814 9924202496 125912 33554432000 1073741824 1073778376 140736509644480 140469386117848 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27838] ppid=27832 vsize=9691604 CPUtime=0.51 cores=1,3,5,7
/proc/27835/task/27838/stat : 27838 (java) S 27832 27835 23284 0 -1 4202560 335 0 0 0 40 11 0 0 20 0 19 0 110379815 9924202496 125912 33554432000 1073741824 1073778376 140736509644480 140469324847784 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27839] ppid=27832 vsize=9691604 CPUtime=0.49 cores=1,3,5,7
/proc/27835/task/27839/stat : 27839 (java) S 27832 27835 23284 0 -1 4202560 312 0 0 0 41 8 0 0 20 0 19 0 110379815 9924202496 125912 33554432000 1073741824 1073778376 140736509644480 140469323795240 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27840] ppid=27832 vsize=9691604 CPUtime=0.47 cores=1,3,5,7
/proc/27835/task/27840/stat : 27840 (java) S 27832 27835 23284 0 -1 4202560 457 0 0 0 38 9 0 0 20 0 19 0 110379815 9924202496 125912 33554432000 1073741824 1073778376 140736509644480 140469322742696 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27841] ppid=27832 vsize=9691604 CPUtime=0.51 cores=1,3,5,7
/proc/27835/task/27841/stat : 27841 (java) S 27832 27835 23284 0 -1 4202560 266 0 0 0 42 9 0 0 20 0 19 0 110379815 9924202496 125912 33554432000 1073741824 1073778376 140736509644480 140469226650664 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27835/tid=27842] ppid=27832 vsize=9691604 CPUtime=0.51 cores=1,3,5,7
/proc/27835/task/27842/stat : 27842 (java) S 27832 27835 23284 0 -1 4202560 370 0 0 0 43 8 0 0 20 0 19 0 110379815 9924202496 125912 33554432000 1073741824 1073778376 140736509644480 140469225597096 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27843] ppid=27832 vsize=9691604 CPUtime=0.6 cores=1,3,5,7
/proc/27835/task/27843/stat : 27843 (java) S 27832 27835 23284 0 -1 4202560 450 0 0 0 48 12 0 0 20 0 19 0 110379815 9924202496 125912 33554432000 1073741824 1073778376 140736509644480 140469224544552 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27844] ppid=27832 vsize=9691604 CPUtime=0.59 cores=1,3,5,7
/proc/27835/task/27844/stat : 27844 (java) S 27832 27835 23284 0 -1 4202560 316 0 0 0 48 11 0 0 20 0 19 0 110379815 9924202496 125912 33554432000 1073741824 1073778376 140736509644480 140469223492008 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27835/tid=27845] ppid=27832 vsize=9691604 CPUtime=0.53 cores=1,3,5,7
/proc/27835/task/27845/stat : 27845 (java) S 27832 27835 23284 0 -1 4202560 201 0 0 0 45 8 0 0 20 0 19 0 110379815 9924202496 125912 33554432000 1073741824 1073778376 140736509644480 140469222439464 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27835/tid=27846] ppid=27832 vsize=9691604 CPUtime=0.56 cores=1,3,5,7
/proc/27835/task/27846/stat : 27846 (java) S 27832 27835 23284 0 -1 4202560 247 0 0 0 56 0 0 0 20 0 19 0 110379816 9924202496 125912 33554432000 1073741824 1073778376 140736509644480 140469210241640 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27835/tid=27847] ppid=27832 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27847/stat : 27847 (java) S 27832 27835 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110379816 9924202496 125912 33554432000 1073741824 1073778376 140736509644480 140469209187960 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27848] ppid=27832 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27848/stat : 27848 (java) S 27832 27835 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110379816 9924202496 125912 33554432000 1073741824 1073778376 140736509644480 140469208135304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27849] ppid=27832 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27849/stat : 27849 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379819 9924202496 125912 33554432000 1073741824 1073778376 140736509644480 140469207084048 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27850] ppid=27832 vsize=9691604 CPUtime=0.41 cores=1,3,5,7
/proc/27835/task/27850/stat : 27850 (java) S 27832 27835 23284 0 -1 4202560 2309 0 0 0 41 0 0 0 20 0 19 0 110379819 9924202496 125912 33554432000 1073741824 1073778376 140736509644480 140469206030392 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27835/tid=27851] ppid=27832 vsize=9691604 CPUtime=0.47 cores=1,3,5,7
/proc/27835/task/27851/stat : 27851 (java) R 27832 27835 23284 0 -1 4202560 3905 0 0 0 47 0 0 0 20 0 19 0 110379819 9924202496 125912 33554432000 1073741824 1073778376 140736509644480 140469204977848 140469392080036 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27835/tid=27852] ppid=27832 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/27835/task/27852/stat : 27852 (java) S 27832 27835 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110379819 9924202496 125912 33554432000 1073741824 1073778376 140736509644480 140469203925496 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27835/tid=27853] ppid=27832 vsize=9691604 CPUtime=0.26 cores=1,3,5,7
/proc/27835/task/27853/stat : 27853 (java) S 27832 27835 23284 0 -1 4202560 42 0 0 0 9 17 0 0 20 0 19 0 110379819 9924202496 125912 33554432000 1073741824 1073778376 140736509644480 140469202873160 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 727.06
Current children cumulated vsize (KiB) 9691604

Child status: 10

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27835 and gives
#  childrusage.ru_utime.tv_sec=724
#  childrusage.ru_utime.tv_usec=321886
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=231812
# CPU time returned by wait4() is 725.554
# while last known CPU time is 727.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 723.045
CPU time (s): 727.06
CPU user time (s): 726.12
CPU system time (s): 0.94
CPU usage (%): 100.555
Max. virtual memory (cumulated for all children) (KiB): 9691604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 724.322
system time used= 1.23181
maximum resident set size= 753372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13056
page faults= 1
swaps= 0
block input operations= 0
block output operations= 728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16347
involuntary context switches= 10164

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.08123 second user time and 6.74198 second system time

The end

Launcher Data 

Begin job on node133 at 2016-06-07 09:27:58
IDJOB=4084634
IDBENCH=90127
IDSOLVER=2546
FILE ID=node133/4084634-1465284478
RUNJOBID= node133-1465257785-23301
PBS_JOBID= 19843288
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K107.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4084634-1465284478/watcher-4084634-1465284478 -o /tmp/evaluation-result-4084634-1465284478/solver-4084634-1465284478 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1465257785-23301 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4084634-1465284478.opb

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

MD5SUM BENCH= f523e4bc7acd98550e38ca37c8d9200b
RANDOM SEED=1172346367

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30894368 kB
Buffers:           93836 kB
Cached:           340332 kB
SwapCached:         2064 kB
Active:           859564 kB
Inactive:         366460 kB
Active(anon):     792460 kB
Inactive(anon):     1428 kB
Active(file):      67104 kB
Inactive(file):   365032 kB
Unevictable:        8144 kB
Mlocked:            8144 kB
SwapTotal:      67108856 kB
SwapFree:       67098268 kB
Dirty:               960 kB
Writeback:             0 kB
AnonPages:        798980 kB
Mapped:            15548 kB
Shmem:                 0 kB
Slab:             601224 kB
SReclaimable:      44568 kB
SUnreclaim:       556656 kB
KernelStack:        1616 kB
PageTables:         5564 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     976092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    768000 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= 71744 MiB
End job on node133 at 2016-06-07 09:40:01