Trace number 4099786

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)37044 1800.66 901.656

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-air05.opb
MD5SUM7a59cd2d9b82be306fe717119e5558d0
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark33182
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 31955
Optimality of the best value was proved NO
Number of variables7195
Total number of constraints426
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)426
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint404
Number of terms in the objective function 7195
Biggest coefficient in the objective function 2679
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 3908448
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 2679
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3908448
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4099786-1466206152.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.72/0.43	c ... done. Wall clock time 0.313s.
0.72/0.43	c declared #vars     7195
0.72/0.43	c #constraints  852
0.72/0.44	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.72/0.44	c constraints type 
0.72/0.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 426
0.72/0.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 426
0.72/0.44	c 852 constraints processed.
0.72/0.44	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.72/0.44	c constraints type 
0.72/0.44	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 426
0.72/0.44	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 426
0.72/0.44	c 852 constraints processed.
0.72/0.44	c objective function length is 7195 literals
2.10/0.84	c And the winner is solver0
2.43/0.95	c SATISFIABLE
2.43/0.95	c OPTIMIZING...
2.43/0.95	c Got one! Elapsed wall clock time (in seconds):0.826
2.43/0.95	o 46358
11.00/4.78	c cleaning 2821 clauses out of 5655 with flag 17613/5657
21.98/10.13	c cleaning 4408 clauses out of 8834 with flag 36545/11657
37.40/17.84	c And the winner is solver1
37.51/18.00	c Got one! Elapsed wall clock time (in seconds):17.877
37.51/18.00	o 46292
38.02/18.26	c And the winner is solver1
38.21/18.52	c Got one! Elapsed wall clock time (in seconds):18.398
38.21/18.52	o 43658
40.22/19.54	c cleaning 5251 clauses out of 10501 with flag 10587/17738
72.82/35.44	c And the winner is solver1
72.95/35.54	c Got one! Elapsed wall clock time (in seconds):35.419
72.95/35.54	o 43605
73.47/35.87	c cleaning 5356 clauses out of 10775 with flag 6518/23270
108.65/53.08	c cleaning 5705 clauses out of 11418 with flag 29969/29270
154.12/75.61	c cleaning 6353 clauses out of 12714 with flag 59467/36271
213.73/105.43	c cleaning 7176 clauses out of 14359 with flag 94943/44271
263.73/130.46	c And the winner is solver0
263.91/130.57	c Got one! Elapsed wall clock time (in seconds):130.451
263.91/130.57	o 43569
290.19/143.55	c cleaning 9538 clauses out of 19077 with flag 25643/56187
347.70/172.13	c cleaning 7766 clauses out of 15537 with flag 51972/62185
377.30/186.95	c And the winner is solver1
377.43/187.10	c Got one! Elapsed wall clock time (in seconds):186.977
377.43/187.10	o 43374
378.01/187.47	c cleaning 6473 clauses out of 12974 with flag 7778/67403
378.21/187.52	c And the winner is solver0
378.33/187.66	c Got one! Elapsed wall clock time (in seconds):187.544
378.33/187.66	o 43291
405.65/201.64	c cleaning 5793 clauses out of 11601 with flag 29090/72513
426.05/211.80	c And the winner is solver1
426.09/212.09	c Got one! Elapsed wall clock time (in seconds):211.968
426.09/212.09	o 43204
426.28/212.20	c And the winner is solver0
426.37/212.61	c Got one! Elapsed wall clock time (in seconds):212.485
426.37/212.61	o 42720
429.23/214.08	c cleaning 5572 clauses out of 11156 with flag 15728/77870
475.82/237.37	c cleaning 5790 clauses out of 11579 with flag 46316/83865
520.00/259.39	c cleaning 6390 clauses out of 12789 with flag 83810/90865
535.53/267.18	c And the winner is solver0
536.23/267.73	c Got one! Elapsed wall clock time (in seconds):267.609
536.23/267.73	o 42393
543.97/271.68	c cleaning 5749 clauses out of 11517 with flag 21923/96001
581.51/290.32	c cleaning 5880 clauses out of 11767 with flag 51808/102000
637.29/318.25	c cleaning 6443 clauses out of 12885 with flag 83253/108999
697.69/348.40	c cleaning 7213 clauses out of 14440 with flag 130805/116999
759.34/379.12	c cleaning 8114 clauses out of 16228 with flag 177586/126001
809.74/404.39	c And the winner is solver0
810.48/404.99	c Got one! Elapsed wall clock time (in seconds):404.868
810.48/404.99	o 42320
853.92/427.17	c cleaning 9740 clauses out of 19480 with flag 29424/137367
863.72/432.05	c And the winner is solver0
864.05/432.47	c Got one! Elapsed wall clock time (in seconds):432.346
864.05/432.47	o 42300
894.54/447.51	c cleaning 7422 clauses out of 14864 with flag 20410/142492
937.53/469.03	c cleaning 6716 clauses out of 13443 with flag 48286/148493
942.53/471.59	c And the winner is solver0
943.54/472.47	c Got one! Elapsed wall clock time (in seconds):472.353
943.54/472.47	o 42298
967.04/484.16	c cleaning 6149 clauses out of 12306 with flag 32028/154074
976.63/488.98	c And the winner is solver1
976.63/489.00	c Got one! Elapsed wall clock time (in seconds):488.874
976.63/489.00	o 37044
1003.17/502.11	c cleaning 5868 clauses out of 11770 with flag 22772/159688
1037.78/519.41	c cleaning 5944 clauses out of 11899 with flag 58873/165688
1085.62/543.23	c cleaning 6475 clauses out of 12954 with flag 103755/172687
1132.12/567.29	c cleaning 7231 clauses out of 14479 with flag 147568/180687
1181.04/591.65	c cleaning 8122 clauses out of 16250 with flag 194174/189689
1242.44/622.36	c cleaning 9060 clauses out of 18126 with flag 253583/199687
1316.25/659.01	c cleaning 10030 clauses out of 20066 with flag 317465/210687
1405.59/703.36	c cleaning 11012 clauses out of 22038 with flag 378950/222689
1479.02/739.87	c cleaning 12010 clauses out of 24024 with flag 446458/235687
1564.80/782.75	c cleaning 13005 clauses out of 26015 with flag 524843/249688
1633.40/817.09	c cleaning 13999 clauses out of 28009 with flag 602465/264687
1700.70/852.29	c cleaning 15002 clauses out of 30010 with flag 703335/280689
1747.91/875.86	c cleaning 16004 clauses out of 32007 with flag 823862/297688
1795.13/899.11	c cleaning 16991 clauses out of 34002 with flag 951019/315687
1800.13/901.60	c >>>>>>>>>> Solver number 0 (8 answers) <<<<<<<<<<<<<<<<<<
1800.13/901.60	c starts		: 5977
1800.13/901.60	c conflicts		: 317455
1800.13/901.60	c decisions		: 1557690
1800.13/901.60	c propagations		: 54478954
1800.13/901.60	c inspects		: 169992481
1800.13/901.60	c shortcuts		: 0
1800.13/901.60	c learnt literals	: 105
1800.13/901.60	c learnt binary clauses	: 41
1800.13/901.60	c learnt ternary clauses	: 56
1800.13/901.60	c learnt constraints	: 317350
1800.13/901.60	c ignored constraints	: 0
1800.13/901.60	c root simplifications	: 0
1800.13/901.60	c removed literals (reason simplification)	: 85335651
1800.13/901.60	c reason swapping (by a shorter reason)	: 0
1800.13/901.60	c Calls to reduceDB	: 37
1800.13/901.60	c Number of update (reduction) of LBD	: 62490
1800.13/901.60	c Imported unit clauses	: 0
1800.13/901.60	c number of reductions to clauses (during analyze)	: 0
1800.13/901.60	c number of learned constraints concerned by reduction	: 0
1800.13/901.60	c number of learning phase by resolution	: 0
1800.13/901.60	c number of learning phase by cutting planes	: 0
1800.13/901.60	c speed (assignments/second)	: 132042.02255034077
1800.13/901.60	c non guided choices	8
1800.13/901.61	c learnt constraints type 
1800.13/901.61	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 41
1800.13/901.61	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18738
1800.13/901.61	c >>>>>>>>>> Solver number 1 (6 answers) <<<<<<<<<<<<<<<<<<
1800.13/901.61	c starts		: 27
1800.13/901.61	c conflicts		: 2749
1800.13/901.61	c decisions		: 125088
1800.13/901.61	c propagations		: 1106891
1800.13/901.61	c inspects		: 67863583
1800.13/901.61	c shortcuts		: 0
1800.13/901.61	c learnt literals	: 0
1800.13/901.61	c learnt binary clauses	: 3
1800.13/901.61	c learnt ternary clauses	: 0
1800.13/901.61	c learnt constraints	: 2744
1800.13/901.61	c ignored constraints	: 0
1800.13/901.61	c root simplifications	: 0
1800.13/901.61	c removed literals (reason simplification)	: 0
1800.13/901.61	c reason swapping (by a shorter reason)	: 0
1800.13/901.61	c Calls to reduceDB	: 0
1800.13/901.61	c Number of update (reduction) of LBD	: 0
1800.13/901.61	c Imported unit clauses	: 0
1800.13/901.61	c number of reductions to clauses (during analyze)	: 0
1800.13/901.61	c number of learned constraints concerned by reduction	: 0
1800.13/901.61	c number of learning phase by resolution	: 0
1800.13/901.61	c number of learning phase by cutting planes	: 0
1800.13/901.61	c speed (assignments/second)	: 2579.750576247643
1800.13/901.61	c non guided choices	0
1800.13/901.61	c learnt constraints type 
1800.13/901.61	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 3
1800.13/901.61	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 493
1800.13/901.61	c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 1
1800.13/901.61	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2247
1800.13/901.61	s SATISFIABLE
1800.13/901.61	c Found 14 solution(s)
1800.13/901.62	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 
1800.13/901.64	c objective function=37044
1800.13/901.64	c Total wall clock time (in seconds): 901.515

Verifier Data 

OK	37044

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-4099786-1466206152/watcher-4099786-1466206152 -o /tmp/evaluation-result-4099786-1466206152/solver-4099786-1466206152 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466206051-22605 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4099786-1466206152.opb 

pid=25389
running on 4 cores: 0,2,4,6

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: 1.91 0.79 0.29 4/197 25392
/proc/meminfo: memFree=30611148/32872528 swapFree=496868/529572
[pid=25392] ppid=25389 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/25392/stat : 25392 (java) D 25389 25392 22589 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 22660597 9515008 186 33554432000 1073741824 1073778376 140734685008672 140734684997736 211449638183 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/25392/statm: 2323 186 143 9 0 71 0

[startup+0.100152 s]
/proc/loadavg: 1.91 0.79 0.29 4/197 25392
/proc/meminfo: memFree=30611148/32872528 swapFree=496868/529572
[pid=25392] ppid=25389 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/25392/stat : 25392 (java) S 25389 25392 22589 0 -1 4202496 4467 0 1 0 8 1 0 0 20 0 18 0 22660597 9787879424 5591 33554432000 1073741824 1073778376 140734685008672 140734684999808 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25392/statm: 2389619 5591 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200283 s]
/proc/loadavg: 1.91 0.79 0.29 4/197 25392
/proc/meminfo: memFree=30611148/32872528 swapFree=496868/529572
[pid=25392] ppid=25389 vsize=9558476 CPUtime=0.29 cores=0,2,4,6
/proc/25392/stat : 25392 (java) S 25389 25392 22589 0 -1 4202496 5111 0 1 0 27 2 0 0 20 0 18 0 22660597 9787879424 6575 33554432000 1073741824 1073778376 140734685008672 140734684999808 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25392/statm: 2389619 6575 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.30029 s]
/proc/loadavg: 1.91 0.79 0.29 4/197 25392
/proc/meminfo: memFree=30611148/32872528 swapFree=496868/529572
[pid=25392] ppid=25389 vsize=9558476 CPUtime=0.51 cores=0,2,4,6
/proc/25392/stat : 25392 (java) S 25389 25392 22589 0 -1 4202496 7322 0 1 0 49 2 0 0 20 0 18 0 22660597 9787879424 10420 33554432000 1073741824 1073778376 140734685008672 140734684999808 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25392/statm: 2389619 10420 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558476

[startup+0.700188 s]
/proc/loadavg: 1.91 0.79 0.29 4/197 25392
/proc/meminfo: memFree=30611148/32872528 swapFree=496868/529572
[pid=25392] ppid=25389 vsize=9824732 CPUtime=1.72 cores=0,2,4,6
/proc/25392/stat : 25392 (java) S 25389 25392 22589 0 -1 4202496 13429 0 1 0 167 5 0 0 20 0 22 0 22660597 10060525568 38559 33554432000 1073741824 1073778376 140734685008672 140734684999808 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25392/statm: 2456183 38559 2257 9 0 2446860 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 9824732

[startup+1.50085 s]
/proc/loadavg: 1.91 0.79 0.29 7/219 25417
/proc/meminfo: memFree=30202368/32872528 swapFree=496868/529572
[pid=25392] ppid=25389 vsize=9824732 CPUtime=4.4 cores=0,2,4,6
/proc/25392/stat : 25392 (java) S 25389 25392 22589 0 -1 4202496 20831 0 1 0 430 10 0 0 20 0 22 0 22660597 10060525568 49050 33554432000 1073741824 1073778376 140734685008672 140734684999808 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25392/statm: 2456183 49050 2281 9 0 2446860 0
[pid=25392/tid=25394] ppid=25389 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/25392/task/25394/stat : 25394 (java) S 25389 25392 22589 0 -1 4202560 2531 0 1 0 43 3 0 0 20 0 22 0 22660598 10060525568 49050 33554432000 1073741824 1073778376 140734685008672 140531932681080 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25392/tid=25395] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25395/stat : 25395 (java) S 25389 25392 22589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 22660599 10060525568 49050 33554432000 1073741824 1073778376 140734685008672 140531871411240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25396] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25396/stat : 25396 (java) S 25389 25392 22589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 22660599 10060525568 49050 33554432000 1073741824 1073778376 140734685008672 140531870358440 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25392/tid=25397] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25397/stat : 25397 (java) S 25389 25392 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22660599 10060525568 49050 33554432000 1073741824 1073778376 140734685008672 140531869305640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25398] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25398/stat : 25398 (java) S 25389 25392 22589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 22660599 10060525568 49050 33554432000 1073741824 1073778376 140734685008672 140531868252840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25392/tid=25399] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25399/stat : 25399 (java) S 25389 25392 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 22660599 10060525568 49050 33554432000 1073741824 1073778376 140734685008672 140531772111400 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25392/tid=25400] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25400/stat : 25400 (java) S 25389 25392 22589 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 22660599 10060525568 49050 33554432000 1073741824 1073778376 140734685008672 140531771058600 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25401] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25401/stat : 25401 (java) S 25389 25392 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22660599 10060525568 49050 33554432000 1073741824 1073778376 140734685008672 140531770005800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25392/tid=25402] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25402/stat : 25402 (java) S 25389 25392 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 22660599 10060525568 49050 33554432000 1073741824 1073778376 140734685008672 140531768953000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25403] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25403/stat : 25403 (java) S 25389 25392 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22660600 10060525568 49050 33554432000 1073741824 1073778376 140734685008672 140531756755944 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25404] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25404/stat : 25404 (java) S 25389 25392 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22660601 10060525568 49050 33554432000 1073741824 1073778376 140734685008672 140531755702008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25405] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25405/stat : 25405 (java) S 25389 25392 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22660601 10060525568 49050 33554432000 1073741824 1073778376 140734685008672 140531754649096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25406] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25406/stat : 25406 (java) S 25389 25392 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22660603 10060525568 49050 33554432000 1073741824 1073778376 140734685008672 140531753597584 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25407] ppid=25389 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/25392/task/25407/stat : 25407 (java) S 25389 25392 22589 0 -1 4202560 7197 0 0 0 95 2 0 0 20 0 22 0 22660603 10060525568 49050 33554432000 1073741824 1073778376 140734685008672 140531752544696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25408] ppid=25389 vsize=9824732 CPUtime=1.08 cores=0,2,4,6
/proc/25392/task/25408/stat : 25408 (java) R 25389 25392 22589 0 -1 4202560 9704 0 0 0 106 2 0 0 20 0 22 0 22660603 10060525568 49050 33554432000 1073741824 1073778376 140734685008672 140531751491896 140531936798104 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25392/tid=25409] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25409/stat : 25409 (java) S 25389 25392 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22660603 10060525568 49050 33554432000 1073741824 1073778376 140734685008672 140531750439288 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25392/tid=25410] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25410/stat : 25410 (java) S 25389 25392 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22660603 10060525568 49050 33554432000 1073741824 1073778376 140734685008672 140531749386696 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25413] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25413/stat : 25413 (java) S 25389 25392 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22660644 10060525568 49050 33554432000 1073741824 1073778376 140734685008672 140531746227624 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25415] ppid=25389 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/25392/task/25415/stat : 25415 (java) R 25389 25392 22589 0 -1 4202560 6 0 0 0 47 0 0 0 20 0 22 0 22660697 10060525568 49050 33554432000 1073741824 1073778376 140734685008672 140531747279592 140531873085821 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25416] ppid=25389 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/25392/task/25416/stat : 25416 (java) R 25389 25392 22589 0 -1 4202560 16 0 0 0 48 0 0 0 20 0 22 0 22660697 10060525568 49050 33554432000 1073741824 1073778376 140734685008672 140531748331640 140531873649185 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25392/tid=25417] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25417/stat : 25417 (java) S 25389 25392 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 22660698 10060525568 49050 33554432000 1073741824 1073778376 140734685008672 140531745174440 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 9824732

[startup+3.10077 s]
/proc/loadavg: 1.91 0.79 0.29 5/219 25417
/proc/meminfo: memFree=30181392/32872528 swapFree=496868/529572
[pid=25392] ppid=25389 vsize=9824732 CPUtime=7.79 cores=0,2,4,6
/proc/25392/stat : 25392 (java) S 25389 25392 22589 0 -1 4202496 20955 0 1 0 766 13 0 0 20 0 22 0 22660597 10060525568 54254 33554432000 1073741824 1073778376 140734685008672 140734684999808 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25392/statm: 2456183 54254 2281 9 0 2446860 0
[pid=25392/tid=25394] ppid=25389 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/25392/task/25394/stat : 25394 (java) S 25389 25392 22589 0 -1 4202560 2531 0 1 0 43 3 0 0 20 0 22 0 22660598 10060525568 54254 33554432000 1073741824 1073778376 140734685008672 140531932681080 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25392/tid=25395] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25395/stat : 25395 (java) S 25389 25392 22589 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 22660599 10060525568 54254 33554432000 1073741824 1073778376 140734685008672 140531871411240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25396] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25396/stat : 25396 (java) S 25389 25392 22589 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 22660599 10060525568 54254 33554432000 1073741824 1073778376 140734685008672 140531870358440 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25392/tid=25397] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25397/stat : 25397 (java) S 25389 25392 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22660599 10060525568 54254 33554432000 1073741824 1073778376 140734685008672 140531869305640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25398] ppid=25389 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/25392/task/25398/stat : 25398 (java) S 25389 25392 22589 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 22660599 10060525568 54254 33554432000 1073741824 1073778376 140734685008672 140531868252840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25399] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25399/stat : 25399 (java) S 25389 25392 22589 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 22660599 10060525568 54254 33554432000 1073741824 1073778376 140734685008672 140531772111400 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25392/tid=25400] ppid=25389 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/25392/task/25400/stat : 25400 (java) S 25389 25392 22589 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 22660599 10060525568 54254 33554432000 1073741824 1073778376 140734685008672 140531771058600 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25401] ppid=25389 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/25392/task/25401/stat : 25401 (java) S 25389 25392 22589 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 22660599 10060525568 54254 33554432000 1073741824 1073778376 140734685008672 140531770005800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25392/tid=25402] ppid=25389 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/25392/task/25402/stat : 25402 (java) S 25389 25392 22589 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 22660599 10060525568 54254 33554432000 1073741824 1073778376 140734685008672 140531768953000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25403] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25403/stat : 25403 (java) S 25389 25392 22589 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 22660600 10060525568 54254 33554432000 1073741824 1073778376 140734685008672 140531756755944 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25404] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25404/stat : 25404 (java) S 25389 25392 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22660601 10060525568 54254 33554432000 1073741824 1073778376 140734685008672 140531755702008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25405] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25405/stat : 25405 (java) S 25389 25392 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22660601 10060525568 54254 33554432000 1073741824 1073778376 140734685008672 140531754649096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25406] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25406/stat : 25406 (java) S 25389 25392 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22660603 10060525568 54254 33554432000 1073741824 1073778376 140734685008672 140531753597584 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25407] ppid=25389 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/25392/task/25407/stat : 25407 (java) S 25389 25392 22589 0 -1 4202560 7197 0 0 0 96 2 0 0 20 0 22 0 22660603 10060525568 54254 33554432000 1073741824 1073778376 140734685008672 140531752544696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25408] ppid=25389 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/25392/task/25408/stat : 25408 (java) S 25389 25392 22589 0 -1 4202560 9725 0 0 0 121 2 0 0 20 0 22 0 22660603 10060525568 54254 33554432000 1073741824 1073778376 140734685008672 140531751491896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25392/tid=25409] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25409/stat : 25409 (java) S 25389 25392 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22660603 10060525568 54254 33554432000 1073741824 1073778376 140734685008672 140531750439288 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25392/tid=25410] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25410/stat : 25410 (java) S 25389 25392 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22660603 10060525568 54254 33554432000 1073741824 1073778376 140734685008672 140531749386696 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25413] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25413/stat : 25413 (java) S 25389 25392 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22660644 10060525568 54254 33554432000 1073741824 1073778376 140734685008672 140531746227624 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25415] ppid=25389 vsize=9824732 CPUtime=2.03 cores=0,2,4,6
/proc/25392/task/25415/stat : 25415 (java) R 25389 25392 22589 0 -1 4202560 7 0 0 0 203 0 0 0 20 0 22 0 22660697 10060525568 54254 33554432000 1073741824 1073778376 140734685008672 140531747279736 140531873085835 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25392/tid=25416] ppid=25389 vsize=9824732 CPUtime=2.04 cores=0,2,4,6
/proc/25392/task/25416/stat : 25416 (java) R 25389 25392 22589 0 -1 4202560 16 0 0 0 204 0 0 0 20 0 22 0 22660697 10060525568 54254 33554432000 1073741824 1073778376 140734685008672 140531748331472 140531873649212 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25417] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25417/stat : 25417 (java) S 25389 25392 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 22660698 10060525568 54254 33554432000 1073741824 1073778376 140734685008672 140531745174440 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.79
Current children cumulated vsize (KiB) 9824732

[startup+6.30084 s]
/proc/loadavg: 2.07 0.84 0.31 5/219 25417
/proc/meminfo: memFree=30176176/32872528 swapFree=496868/529572
[pid=25392] ppid=25389 vsize=9824732 CPUtime=14.23 cores=0,2,4,6
/proc/25392/stat : 25392 (java) S 25389 25392 22589 0 -1 4202496 20963 0 1 0 1410 13 0 0 20 0 22 0 22660597 10060525568 53830 33554432000 1073741824 1073778376 140734685008672 140734684999808 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25392/statm: 2456183 53830 2285 9 0 2446860 0
[pid=25392/tid=25394] ppid=25389 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/25392/task/25394/stat : 25394 (java) S 25389 25392 22589 0 -1 4202560 2531 0 1 0 43 3 0 0 20 0 22 0 22660598 10060525568 53830 33554432000 1073741824 1073778376 140734685008672 140531932681080 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25392/tid=25395] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25395/stat : 25395 (java) S 25389 25392 22589 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 22660599 10060525568 53830 33554432000 1073741824 1073778376 140734685008672 140531871411240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25396] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25396/stat : 25396 (java) S 25389 25392 22589 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 22660599 10060525568 53830 33554432000 1073741824 1073778376 140734685008672 140531870358440 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25392/tid=25397] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25397/stat : 25397 (java) S 25389 25392 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22660599 10060525568 53830 33554432000 1073741824 1073778376 140734685008672 140531869305640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25398] ppid=25389 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/25392/task/25398/stat : 25398 (java) S 25389 25392 22589 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 22660599 10060525568 53830 33554432000 1073741824 1073778376 140734685008672 140531868252840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25399] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25399/stat : 25399 (java) S 25389 25392 22589 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 22660599 10060525568 53830 33554432000 1073741824 1073778376 140734685008672 140531772111400 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25392/tid=25400] ppid=25389 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/25392/task/25400/stat : 25400 (java) S 25389 25392 22589 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 22660599 10060525568 53830 33554432000 1073741824 1073778376 140734685008672 140531771058600 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25401] ppid=25389 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/25392/task/25401/stat : 25401 (java) S 25389 25392 22589 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 22660599 10060525568 53830 33554432000 1073741824 1073778376 140734685008672 140531770005800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25392/tid=25402] ppid=25389 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/25392/task/25402/stat : 25402 (java) S 25389 25392 22589 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 22660599 10060525568 53830 33554432000 1073741824 1073778376 140734685008672 140531768953000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25403] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25403/stat : 25403 (java) S 25389 25392 22589 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 22660600 10060525568 53830 33554432000 1073741824 1073778376 140734685008672 140531756755944 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25404] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25404/stat : 25404 (java) S 25389 25392 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22660601 10060525568 53830 33554432000 1073741824 1073778376 140734685008672 140531755702008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25405] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25405/stat : 25405 (java) S 25389 25392 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22660601 10060525568 53830 33554432000 1073741824 1073778376 140734685008672 140531754649096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25406] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25406/stat : 25406 (java) S 25389 25392 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22660603 10060525568 53830 33554432000 1073741824 1073778376 140734685008672 140531753597584 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25407] ppid=25389 vsize=9824732 CPUtime=1 cores=0,2,4,6

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


[startup+822.301 s]
/proc/loadavg: 4.13 3.90 2.49 5/219 25505
/proc/meminfo: memFree=25645604/32872528 swapFree=496868/529572
[pid=25392] ppid=25389 vsize=9824732 CPUtime=1643.22 cores=0,2,4,6
/proc/25392/stat : 25392 (java) S 25389 25392 22589 0 -1 4202496 42771 0 1 0 164022 300 0 0 20 0 22 0 22660597 10060525568 951678 33554432000 1073741824 1073778376 140734685008672 140734684999808 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25392/statm: 2456183 951678 2295 9 0 2446860 0
[pid=25392/tid=25394] ppid=25389 vsize=9824732 CPUtime=0.72 cores=0,2,4,6
/proc/25392/task/25394/stat : 25394 (java) S 25389 25392 22589 0 -1 4202560 2552 0 1 0 67 5 0 0 20 0 22 0 22660598 10060525568 951678 33554432000 1073741824 1073778376 140734685008672 140531932680792 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25392/tid=25395] ppid=25389 vsize=9824732 CPUtime=1.81 cores=0,2,4,6
/proc/25392/task/25395/stat : 25395 (java) S 25389 25392 22589 0 -1 4202560 1395 0 0 0 153 28 0 0 20 0 22 0 22660599 10060525568 951678 33554432000 1073741824 1073778376 140734685008672 140531871411240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25396] ppid=25389 vsize=9824732 CPUtime=1.56 cores=0,2,4,6
/proc/25392/task/25396/stat : 25396 (java) S 25389 25392 22589 0 -1 4202560 1513 0 0 0 135 21 0 0 20 0 22 0 22660599 10060525568 951678 33554432000 1073741824 1073778376 140734685008672 140531870358440 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25397] ppid=25389 vsize=9824732 CPUtime=1.82 cores=0,2,4,6
/proc/25392/task/25397/stat : 25397 (java) S 25389 25392 22589 0 -1 4202560 1535 0 0 0 153 29 0 0 20 0 22 0 22660599 10060525568 951678 33554432000 1073741824 1073778376 140734685008672 140531869305640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25398] ppid=25389 vsize=9824732 CPUtime=1.76 cores=0,2,4,6
/proc/25392/task/25398/stat : 25398 (java) S 25389 25392 22589 0 -1 4202560 1583 0 0 0 147 29 0 0 20 0 22 0 22660599 10060525568 951678 33554432000 1073741824 1073778376 140734685008672 140531868252840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25399] ppid=25389 vsize=9824732 CPUtime=1.35 cores=0,2,4,6
/proc/25392/task/25399/stat : 25399 (java) S 25389 25392 22589 0 -1 4202560 923 0 0 0 112 23 0 0 20 0 22 0 22660599 10060525568 951678 33554432000 1073741824 1073778376 140734685008672 140531772111400 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25400] ppid=25389 vsize=9824732 CPUtime=1.64 cores=0,2,4,6
/proc/25392/task/25400/stat : 25400 (java) S 25389 25392 22589 0 -1 4202560 834 0 0 0 135 29 0 0 20 0 22 0 22660599 10060525568 951678 33554432000 1073741824 1073778376 140734685008672 140531771058600 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25392/tid=25401] ppid=25389 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/25392/task/25401/stat : 25401 (java) S 25389 25392 22589 0 -1 4202560 1357 0 0 0 120 26 0 0 20 0 22 0 22660599 10060525568 951678 33554432000 1073741824 1073778376 140734685008672 140531770005800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25402] ppid=25389 vsize=9824732 CPUtime=2.06 cores=0,2,4,6
/proc/25392/task/25402/stat : 25402 (java) S 25389 25392 22589 0 -1 4202560 1987 0 0 0 168 38 0 0 20 0 22 0 22660599 10060525568 951678 33554432000 1073741824 1073778376 140734685008672 140531768953000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25392/tid=25403] ppid=25389 vsize=9824732 CPUtime=5.28 cores=0,2,4,6
/proc/25392/task/25403/stat : 25403 (java) R 25389 25392 22589 0 -1 4202560 2845 0 0 0 521 7 0 0 20 0 22 0 22660600 10060525568 951678 33554432000 1073741824 1073778376 140734685008672 140531756754696 140531939535048 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25392/tid=25404] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25404/stat : 25404 (java) S 25389 25392 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22660601 10060525568 951678 33554432000 1073741824 1073778376 140734685008672 140531755702008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25405] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25405/stat : 25405 (java) S 25389 25392 22589 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 22660601 10060525568 951678 33554432000 1073741824 1073778376 140734685008672 140531754649096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25406] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25406/stat : 25406 (java) S 25389 25392 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22660603 10060525568 951678 33554432000 1073741824 1073778376 140734685008672 140531753597584 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25407] ppid=25389 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/25392/task/25407/stat : 25407 (java) S 25389 25392 22589 0 -1 4202560 7218 0 0 0 127 2 0 0 20 0 22 0 22660603 10060525568 951678 33554432000 1073741824 1073778376 140734685008672 140531752544696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25408] ppid=25389 vsize=9824732 CPUtime=2.61 cores=0,2,4,6
/proc/25392/task/25408/stat : 25408 (java) S 25389 25392 22589 0 -1 4202560 16098 0 0 0 257 4 0 0 20 0 22 0 22660603 10060525568 951678 33554432000 1073741824 1073778376 140734685008672 140531751491896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25409] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25409/stat : 25409 (java) S 25389 25392 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22660603 10060525568 951678 33554432000 1073741824 1073778376 140734685008672 140531750439288 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25392/tid=25410] ppid=25389 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/25392/task/25410/stat : 25410 (java) S 25389 25392 22589 0 -1 4202560 47 0 0 0 6 9 0 0 20 0 22 0 22660603 10060525568 951678 33554432000 1073741824 1073778376 140734685008672 140531749386696 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25486] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25486/stat : 25486 (java) S 25389 25392 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 22707852 10060525568 951678 33554432000 1073741824 1073778376 140734685008672 140531746227624 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25488] ppid=25389 vsize=9824732 CPUtime=328.55 cores=0,2,4,6
/proc/25392/task/25488/stat : 25488 (java) S 25389 25392 22589 0 -1 4202560 3 0 0 0 32851 4 0 0 20 0 22 0 22709499 10060525568 951678 33554432000 1073741824 1073778376 140734685008672 140531745172360 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25392/tid=25489] ppid=25389 vsize=9824732 CPUtime=328.5 cores=0,2,4,6
/proc/25392/task/25489/stat : 25489 (java) S 25389 25392 22589 0 -1 4202560 20 0 0 0 32846 4 0 0 20 0 22 0 22709499 10060525568 951678 33554432000 1073741824 1073778376 140734685008672 140531747277864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25392/tid=25490] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25490/stat : 25490 (java) S 25389 25392 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 22709499 10060525568 951678 33554432000 1073741824 1073778376 140734685008672 140531748332584 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1643.22
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.02 3.90 2.58 5/219 25506
/proc/meminfo: memFree=25700932/32872528 swapFree=496868/529572
[pid=25392] ppid=25389 vsize=9824732 CPUtime=1760.92 cores=0,2,4,6
/proc/25392/stat : 25392 (java) S 25389 25392 22589 0 -1 4202496 43399 0 1 0 175791 301 0 0 20 0 22 0 22660597 10060525568 952302 33554432000 1073741824 1073778376 140734685008672 140734684999808 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25392/statm: 2456183 952302 2295 9 0 2446860 0
[pid=25392/tid=25394] ppid=25389 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/25392/task/25394/stat : 25394 (java) S 25389 25392 22589 0 -1 4202560 2552 0 1 0 68 5 0 0 20 0 22 0 22660598 10060525568 952302 33554432000 1073741824 1073778376 140734685008672 140531932681080 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25395] ppid=25389 vsize=9824732 CPUtime=1.81 cores=0,2,4,6
/proc/25392/task/25395/stat : 25395 (java) S 25389 25392 22589 0 -1 4202560 1395 0 0 0 153 28 0 0 20 0 22 0 22660599 10060525568 952302 33554432000 1073741824 1073778376 140734685008672 140531871411240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25396] ppid=25389 vsize=9824732 CPUtime=1.56 cores=0,2,4,6
/proc/25392/task/25396/stat : 25396 (java) S 25389 25392 22589 0 -1 4202560 1513 0 0 0 135 21 0 0 20 0 22 0 22660599 10060525568 952302 33554432000 1073741824 1073778376 140734685008672 140531870358440 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25397] ppid=25389 vsize=9824732 CPUtime=1.82 cores=0,2,4,6
/proc/25392/task/25397/stat : 25397 (java) S 25389 25392 22589 0 -1 4202560 1535 0 0 0 153 29 0 0 20 0 22 0 22660599 10060525568 952302 33554432000 1073741824 1073778376 140734685008672 140531869305640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25398] ppid=25389 vsize=9824732 CPUtime=1.76 cores=0,2,4,6
/proc/25392/task/25398/stat : 25398 (java) S 25389 25392 22589 0 -1 4202560 1583 0 0 0 147 29 0 0 20 0 22 0 22660599 10060525568 952302 33554432000 1073741824 1073778376 140734685008672 140531868252840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25399] ppid=25389 vsize=9824732 CPUtime=1.35 cores=0,2,4,6
/proc/25392/task/25399/stat : 25399 (java) S 25389 25392 22589 0 -1 4202560 923 0 0 0 112 23 0 0 20 0 22 0 22660599 10060525568 952302 33554432000 1073741824 1073778376 140734685008672 140531772111400 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25400] ppid=25389 vsize=9824732 CPUtime=1.64 cores=0,2,4,6
/proc/25392/task/25400/stat : 25400 (java) S 25389 25392 22589 0 -1 4202560 834 0 0 0 135 29 0 0 20 0 22 0 22660599 10060525568 952302 33554432000 1073741824 1073778376 140734685008672 140531771058600 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25392/tid=25401] ppid=25389 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/25392/task/25401/stat : 25401 (java) S 25389 25392 22589 0 -1 4202560 1357 0 0 0 120 26 0 0 20 0 22 0 22660599 10060525568 952302 33554432000 1073741824 1073778376 140734685008672 140531770005800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25402] ppid=25389 vsize=9824732 CPUtime=2.06 cores=0,2,4,6
/proc/25392/task/25402/stat : 25402 (java) S 25389 25392 22589 0 -1 4202560 1987 0 0 0 168 38 0 0 20 0 22 0 22660599 10060525568 952302 33554432000 1073741824 1073778376 140734685008672 140531768953000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25392/tid=25403] ppid=25389 vsize=9824732 CPUtime=7.58 cores=0,2,4,6
/proc/25392/task/25403/stat : 25403 (java) S 25389 25392 22589 0 -1 4202560 3469 0 0 0 751 7 0 0 20 0 22 0 22660600 10060525568 952302 33554432000 1073741824 1073778376 140734685008672 140531756755944 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25392/tid=25404] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25404/stat : 25404 (java) S 25389 25392 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22660601 10060525568 952302 33554432000 1073741824 1073778376 140734685008672 140531755702008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25405] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25405/stat : 25405 (java) S 25389 25392 22589 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 22660601 10060525568 952302 33554432000 1073741824 1073778376 140734685008672 140531754649096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25406] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25406/stat : 25406 (java) S 25389 25392 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22660603 10060525568 952302 33554432000 1073741824 1073778376 140734685008672 140531753597584 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25407] ppid=25389 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/25392/task/25407/stat : 25407 (java) S 25389 25392 22589 0 -1 4202560 7218 0 0 0 127 2 0 0 20 0 22 0 22660603 10060525568 952302 33554432000 1073741824 1073778376 140734685008672 140531752544696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25408] ppid=25389 vsize=9824732 CPUtime=2.61 cores=0,2,4,6
/proc/25392/task/25408/stat : 25408 (java) S 25389 25392 22589 0 -1 4202560 16098 0 0 0 257 4 0 0 20 0 22 0 22660603 10060525568 952302 33554432000 1073741824 1073778376 140734685008672 140531751491896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25409] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25409/stat : 25409 (java) S 25389 25392 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22660603 10060525568 952302 33554432000 1073741824 1073778376 140734685008672 140531750439288 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25392/tid=25410] ppid=25389 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/25392/task/25410/stat : 25410 (java) S 25389 25392 22589 0 -1 4202560 51 0 0 0 6 11 0 0 20 0 22 0 22660603 10060525568 952302 33554432000 1073741824 1073778376 140734685008672 140531749386696 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25486] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25486/stat : 25486 (java) S 25389 25392 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 22707852 10060525568 952302 33554432000 1073741824 1073778376 140734685008672 140531746227624 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25488] ppid=25389 vsize=9824732 CPUtime=386.26 cores=0,2,4,6
/proc/25392/task/25488/stat : 25488 (java) R 25389 25392 22589 0 -1 4202560 3 0 0 0 38621 5 0 0 20 0 22 0 22709499 10060525568 952302 33554432000 1073741824 1073778376 140734685008672 140531745165456 140531872971257 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25392/tid=25489] ppid=25389 vsize=9824732 CPUtime=386.21 cores=0,2,4,6
/proc/25392/task/25489/stat : 25489 (java) R 25389 25392 22589 0 -1 4202560 20 0 0 0 38614 7 0 0 20 0 22 0 22709499 10060525568 952302 33554432000 1073741824 1073778376 140734685008672 140531747278064 140531873626638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25392/tid=25490] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25490/stat : 25490 (java) S 25389 25392 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 22709499 10060525568 952302 33554432000 1073741824 1073778376 140734685008672 140531748332584 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1760.92
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+901.601 s]
/proc/loadavg: 3.91 3.89 2.60 5/219 25575
/proc/meminfo: memFree=26216204/32872528 swapFree=496868/529572
[pid=25392] ppid=25389 vsize=9824732 CPUtime=1800.13 cores=0,2,4,6
/proc/25392/stat : 25392 (java) S 25389 25392 22589 0 -1 4202496 43411 0 1 0 179711 302 0 0 20 0 22 0 22660597 10060525568 952307 33554432000 1073741824 1073778376 140734685008672 140734684999808 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25392/statm: 2456183 952307 2295 9 0 2446860 0
[pid=25392/tid=25394] ppid=25389 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/25392/task/25394/stat : 25394 (java) S 25389 25392 22589 0 -1 4202560 2552 0 1 0 68 5 0 0 20 0 22 0 22660598 10060525568 952307 33554432000 1073741824 1073778376 140734685008672 140531932681080 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25395] ppid=25389 vsize=9824732 CPUtime=1.92 cores=0,2,4,6
/proc/25392/task/25395/stat : 25395 (java) S 25389 25392 22589 0 -1 4202560 1395 0 0 0 164 28 0 0 20 0 22 0 22660599 10060525568 952307 33554432000 1073741824 1073778376 140734685008672 140531871411240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25392/tid=25396] ppid=25389 vsize=9824732 CPUtime=1.68 cores=0,2,4,6
/proc/25392/task/25396/stat : 25396 (java) S 25389 25392 22589 0 -1 4202560 1513 0 0 0 146 22 0 0 20 0 22 0 22660599 10060525568 952307 33554432000 1073741824 1073778376 140734685008672 140531870358440 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25397] ppid=25389 vsize=9824732 CPUtime=1.95 cores=0,2,4,6
/proc/25392/task/25397/stat : 25397 (java) S 25389 25392 22589 0 -1 4202560 1535 0 0 0 166 29 0 0 20 0 22 0 22660599 10060525568 952307 33554432000 1073741824 1073778376 140734685008672 140531869305640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25398] ppid=25389 vsize=9824732 CPUtime=1.9 cores=0,2,4,6
/proc/25392/task/25398/stat : 25398 (java) S 25389 25392 22589 0 -1 4202560 1583 0 0 0 161 29 0 0 20 0 22 0 22660599 10060525568 952307 33554432000 1073741824 1073778376 140734685008672 140531868252840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25392/tid=25399] ppid=25389 vsize=9824732 CPUtime=1.57 cores=0,2,4,6
/proc/25392/task/25399/stat : 25399 (java) S 25389 25392 22589 0 -1 4202560 923 0 0 0 134 23 0 0 20 0 22 0 22660599 10060525568 952307 33554432000 1073741824 1073778376 140734685008672 140531772111400 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25400] ppid=25389 vsize=9824732 CPUtime=1.81 cores=0,2,4,6
/proc/25392/task/25400/stat : 25400 (java) S 25389 25392 22589 0 -1 4202560 843 0 0 0 152 29 0 0 20 0 22 0 22660599 10060525568 952307 33554432000 1073741824 1073778376 140734685008672 140531771058600 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25401] ppid=25389 vsize=9824732 CPUtime=1.64 cores=0,2,4,6
/proc/25392/task/25401/stat : 25401 (java) S 25389 25392 22589 0 -1 4202560 1357 0 0 0 138 26 0 0 20 0 22 0 22660599 10060525568 952307 33554432000 1073741824 1073778376 140734685008672 140531770005800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25402] ppid=25389 vsize=9824732 CPUtime=2.27 cores=0,2,4,6
/proc/25392/task/25402/stat : 25402 (java) S 25389 25392 22589 0 -1 4202560 1987 0 0 0 189 38 0 0 20 0 22 0 22660599 10060525568 952307 33554432000 1073741824 1073778376 140734685008672 140531768953000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25403] ppid=25389 vsize=9824732 CPUtime=7.58 cores=0,2,4,6
/proc/25392/task/25403/stat : 25403 (java) S 25389 25392 22589 0 -1 4202560 3471 0 0 0 751 7 0 0 20 0 22 0 22660600 10060525568 952307 33554432000 1073741824 1073778376 140734685008672 140531756755944 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25392/tid=25404] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25404/stat : 25404 (java) S 25389 25392 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22660601 10060525568 952307 33554432000 1073741824 1073778376 140734685008672 140531755702008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25405] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25405/stat : 25405 (java) S 25389 25392 22589 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 22660601 10060525568 952307 33554432000 1073741824 1073778376 140734685008672 140531754649096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25406] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25406/stat : 25406 (java) S 25389 25392 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22660603 10060525568 952307 33554432000 1073741824 1073778376 140734685008672 140531753597584 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25407] ppid=25389 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/25392/task/25407/stat : 25407 (java) S 25389 25392 22589 0 -1 4202560 7218 0 0 0 127 2 0 0 20 0 22 0 22660603 10060525568 952307 33554432000 1073741824 1073778376 140734685008672 140531752544696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25408] ppid=25389 vsize=9824732 CPUtime=2.61 cores=0,2,4,6
/proc/25392/task/25408/stat : 25408 (java) S 25389 25392 22589 0 -1 4202560 16098 0 0 0 257 4 0 0 20 0 22 0 22660603 10060525568 952307 33554432000 1073741824 1073778376 140734685008672 140531751491896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25409] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25409/stat : 25409 (java) S 25389 25392 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22660603 10060525568 952307 33554432000 1073741824 1073778376 140734685008672 140531750439288 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25392/tid=25410] ppid=25389 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/25392/task/25410/stat : 25410 (java) S 25389 25392 22589 0 -1 4202560 51 0 0 0 7 11 0 0 20 0 22 0 22660603 10060525568 952307 33554432000 1073741824 1073778376 140734685008672 140531749386696 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25392/tid=25486] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25486/stat : 25486 (java) S 25389 25392 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 22707852 10060525568 952307 33554432000 1073741824 1073778376 140734685008672 140531746227624 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25392/tid=25488] ppid=25389 vsize=9824732 CPUtime=405.23 cores=0,2,4,6
/proc/25392/task/25488/stat : 25488 (java) R 25389 25392 22589 0 -1 4202560 3 0 0 0 40517 6 0 0 20 0 22 0 22709499 10060525568 952307 33554432000 1073741824 1073778376 140734685008672 140531745165456 140531873086365 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25392/tid=25489] ppid=25389 vsize=9824732 CPUtime=405.18 cores=0,2,4,6
/proc/25392/task/25489/stat : 25489 (java) R 25389 25392 22589 0 -1 4202560 21 0 0 0 40510 8 0 0 20 0 22 0 22709499 10060525568 952307 33554432000 1073741824 1073778376 140734685008672 140531747278272 140531873657278 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25392/tid=25490] ppid=25389 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25392/task/25490/stat : 25490 (java) S 25389 25392 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 22709499 10060525568 952307 33554432000 1073741824 1073778376 140734685008672 140531748332584 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 9824732

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

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

Child status: 143
Real time (s): 901.656
CPU time (s): 1800.66
CPU user time (s): 1797.26
CPU system time (s): 3.40148
CPU usage (%): 199.706
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.26
system time used= 3.40148
maximum resident set size= 3809396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43463
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22526
involuntary context switches= 15058

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.39518 second user time and 7.07192 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-18 01:29:12
IDJOB=4099786
IDBENCH=1521
IDSOLVER=2543
FILE ID=node141/4099786-1466206152
RUNJOBID= node141-1466206051-22605
PBS_JOBID= 19918136
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air05.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099786-1466206152/watcher-4099786-1466206152 -o /tmp/evaluation-result-4099786-1466206152/solver-4099786-1466206152 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466206051-22605 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4099786-1466206152.opb

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

MD5SUM BENCH= 7a59cd2d9b82be306fe717119e5558d0
RANDOM SEED=122582320

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30613972 kB
Buffers:           41728 kB
Cached:            67800 kB
SwapCached:         2552 kB
Active:           920788 kB
Inactive:          66120 kB
Active(anon):     877236 kB
Inactive(anon):     1984 kB
Active(file):      43552 kB
Inactive(file):    64136 kB
Unevictable:      529572 kB
Mlocked:          496868 kB
SwapTotal:      67108856 kB
SwapFree:       67099000 kB
Dirty:              2036 kB
Writeback:             4 kB
AnonPages:       1390124 kB
Mapped:            15236 kB
Shmem:                 0 kB
Slab:             573688 kB
SReclaimable:      16848 kB
SUnreclaim:       556840 kB
KernelStack:        1696 kB
PageTables:         6724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2121632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    847872 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= 71720 MiB
End job on node141 at 2016-06-18 01:44:13