Trace number 4080688

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)10399243 1800.18 895.673

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran12x21.opb
MD5SUM291088d217a1998c91be99350439e903
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5928600
Best CPU time to get the best result obtained on this benchmark1800
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5965824
Optimality of the best value was proved NO
Number of variables7812
Total number of constraints285
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints285
Minimum length of a constraint31
Maximum length of a constraint630
Number of terms in the objective function 7812
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1543007621731
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1543007621731
Number of bits of the biggest sum of numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	10399243

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-4080688-1465228833/watcher-4080688-1465228833 -o /tmp/evaluation-result-4080688-1465228833/solver-4080688-1465228833 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465220812-974 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080688-1465228833.opb 

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

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


[startup+0 s]
/proc/loadavg: 4.91 4.66 4.39 4/196 3125
/proc/meminfo: memFree=25906156/32872528 swapFree=13256/481332
[pid=3125] ppid=3122 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/3125/stat : 3125 (java) R 3122 3125 955 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 104818151 278528 34 33554432000 1073741824 1073778376 140736403655984 140735297912648 235365559591 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3125/statm: 68 35 26 9 0 25 0

[startup+0.100059 s]
/proc/loadavg: 4.91 4.66 4.39 4/196 3125
/proc/meminfo: memFree=25906156/32872528 swapFree=13256/481332
[pid=3125] ppid=3122 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/3125/stat : 3125 (java) S 3122 3125 955 0 -1 4202496 4428 0 1 0 8 0 0 0 20 0 18 0 104818151 9787879424 6050 33554432000 1073741824 1073778376 140736403655984 140736403647120 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3125/statm: 2389619 6050 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.20022 s]
/proc/loadavg: 4.91 4.66 4.39 4/196 3125
/proc/meminfo: memFree=25906156/32872528 swapFree=13256/481332
[pid=3125] ppid=3122 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/3125/stat : 3125 (java) S 3122 3125 955 0 -1 4202496 5071 0 1 0 28 1 0 0 20 0 18 0 104818151 9787879424 7025 33554432000 1073741824 1073778376 140736403655984 140736403647120 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3125/statm: 2389619 7025 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300238 s]
/proc/loadavg: 4.91 4.66 4.39 4/196 3125
/proc/meminfo: memFree=25906156/32872528 swapFree=13256/481332
[pid=3125] ppid=3122 vsize=9558476 CPUtime=0.5 cores=1,3,5,7
/proc/3125/stat : 3125 (java) S 3122 3125 955 0 -1 4202496 10216 0 1 0 48 2 0 0 20 0 18 0 104818151 9787879424 12460 33554432000 1073741824 1073778376 140736403655984 140736403647120 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3125/statm: 2389619 12460 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476

[startup+0.700195 s]
/proc/loadavg: 4.91 4.66 4.39 4/196 3125
/proc/meminfo: memFree=25906156/32872528 swapFree=13256/481332
[pid=3125] ppid=3122 vsize=9824732 CPUtime=1.86 cores=1,3,5,7
/proc/3125/stat : 3125 (java) S 3122 3125 955 0 -1 4202496 19986 0 1 0 181 5 0 0 20 0 22 0 104818151 10060525568 25351 33554432000 1073741824 1073778376 140736403655984 140736403647120 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3125/statm: 2456183 25351 2266 9 0 2446860 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 9824732

[startup+1.5008 s]
/proc/loadavg: 4.91 4.66 4.39 6/218 3147
/proc/meminfo: memFree=25767440/32872528 swapFree=13256/481332
[pid=3125] ppid=3122 vsize=9824732 CPUtime=4.29 cores=1,3,5,7
/proc/3125/stat : 3125 (java) S 3122 3125 955 0 -1 4202496 24409 0 1 0 420 9 0 0 20 0 22 0 104818151 10060525568 51179 33554432000 1073741824 1073778376 140736403655984 140736403647120 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3125/statm: 2456183 51179 2286 9 0 2446860 0
[pid=3125/tid=3127] ppid=3122 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/3125/task/3127/stat : 3127 (java) S 3122 3125 955 0 -1 4202560 2433 0 1 0 51 0 0 0 20 0 22 0 104818152 10060525568 51179 33554432000 1073741824 1073778376 140736403655984 139847274955640 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3125/tid=3128] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3128/stat : 3128 (java) S 3122 3125 955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 104818153 10060525568 51179 33554432000 1073741824 1073778376 140736403655984 139847236446632 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3125/tid=3129] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3129/stat : 3129 (java) S 3122 3125 955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 104818153 10060525568 51179 33554432000 1073741824 1073778376 140736403655984 139847235394088 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3125/tid=3130] ppid=3122 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/3125/task/3130/stat : 3130 (java) S 3122 3125 955 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 104818153 10060525568 51179 33554432000 1073741824 1073778376 140736403655984 139847234341032 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3131] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3131/stat : 3131 (java) S 3122 3125 955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104818153 10060525568 51179 33554432000 1073741824 1073778376 140736403655984 139847233288488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3125/tid=3132] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3132/stat : 3132 (java) S 3122 3125 955 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 104818153 10060525568 51179 33554432000 1073741824 1073778376 140736403655984 139847232236456 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3133] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3133/stat : 3133 (java) S 3122 3125 955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104818153 10060525568 51179 33554432000 1073741824 1073778376 140736403655984 139847231183912 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3134] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3134/stat : 3134 (java) S 3122 3125 955 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 104818153 10060525568 51179 33554432000 1073741824 1073778376 140736403655984 139847230130856 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3125/tid=3135] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3135/stat : 3135 (java) S 3122 3125 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104818153 10060525568 51179 33554432000 1073741824 1073778376 140736403655984 139847229078312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3136] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3136/stat : 3136 (java) S 3122 3125 955 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 104818154 10060525568 51179 33554432000 1073741824 1073778376 140736403655984 139847098403176 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3137] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3137/stat : 3137 (java) S 3122 3125 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104818155 10060525568 51179 33554432000 1073741824 1073778376 140736403655984 139847097349496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3138] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3138/stat : 3138 (java) S 3122 3125 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104818155 10060525568 51179 33554432000 1073741824 1073778376 140736403655984 139847096296328 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3139] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3139/stat : 3139 (java) S 3122 3125 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104818157 10060525568 51179 33554432000 1073741824 1073778376 140736403655984 139847095245072 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3140] ppid=3122 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/3125/task/3140/stat : 3140 (java) R 3122 3125 955 0 -1 4202560 11211 0 0 0 88 3 0 0 20 0 22 0 104818157 10060525568 51179 33554432000 1073741824 1073778376 140736403655984 139847094192952 235378106805 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3141] ppid=3122 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/3125/task/3141/stat : 3141 (java) S 3122 3125 955 0 -1 4202560 9263 0 0 0 88 3 0 0 20 0 22 0 104818157 10060525568 51179 33554432000 1073741824 1073778376 140736403655984 139847093140408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3142] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3142/stat : 3142 (java) S 3122 3125 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104818157 10060525568 51179 33554432000 1073741824 1073778376 140736403655984 139847092087544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3143] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3143/stat : 3143 (java) S 3122 3125 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104818157 10060525568 51179 33554432000 1073741824 1073778376 140736403655984 139847091035208 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3144] ppid=3122 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/3125/task/3144/stat : 3144 (java) R 3122 3125 955 0 -1 4202560 25 0 0 0 91 0 0 0 20 0 22 0 104818206 10060525568 51179 33554432000 1073741824 1073778376 140736403655984 139847089979944 235378097208 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3125/tid=3145] ppid=3122 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/3125/task/3145/stat : 3145 (java) R 3122 3125 955 0 -1 4202560 74 0 0 0 89 1 0 0 20 0 22 0 104818206 10060525568 51179 33554432000 1073741824 1073778376 140736403655984 139845947089704 139847105615843 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=3125/tid=3146] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3146/stat : 3146 (java) S 3122 3125 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104818212 10060525568 51179 33554432000 1073741824 1073778376 140736403655984 139845946037032 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3125/tid=3147] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3147/stat : 3147 (java) S 3122 3125 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104818212 10060525568 51179 33554432000 1073741824 1073778376 140736403655984 139845944984488 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 9824732

[startup+3.10078 s]
/proc/loadavg: 4.91 4.66 4.39 5/218 3147
/proc/meminfo: memFree=25686700/32872528 swapFree=13256/481332
[pid=3125] ppid=3122 vsize=9824732 CPUtime=7.69 cores=1,3,5,7
/proc/3125/stat : 3125 (java) S 3122 3125 955 0 -1 4202496 26211 0 1 0 754 15 0 0 20 0 22 0 104818151 10060525568 65004 33554432000 1073741824 1073778376 140736403655984 140736403647120 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3125/statm: 2456183 65004 2292 9 0 2446860 0
[pid=3125/tid=3127] ppid=3122 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/3125/task/3127/stat : 3127 (java) S 3122 3125 955 0 -1 4202560 2433 0 1 0 53 0 0 0 20 0 22 0 104818152 10060525568 65004 33554432000 1073741824 1073778376 140736403655984 139847274955640 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3128] ppid=3122 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/3125/task/3128/stat : 3128 (java) S 3122 3125 955 0 -1 4202560 20 0 0 0 2 1 0 0 20 0 22 0 104818153 10060525568 65004 33554432000 1073741824 1073778376 140736403655984 139847236446632 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3125/tid=3129] ppid=3122 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/3125/task/3129/stat : 3129 (java) S 3122 3125 955 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 104818153 10060525568 65004 33554432000 1073741824 1073778376 140736403655984 139847235394088 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3130] ppid=3122 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/3125/task/3130/stat : 3130 (java) S 3122 3125 955 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 104818153 10060525568 65004 33554432000 1073741824 1073778376 140736403655984 139847234341032 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3125/tid=3131] ppid=3122 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/3125/task/3131/stat : 3131 (java) S 3122 3125 955 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 104818153 10060525568 65004 33554432000 1073741824 1073778376 140736403655984 139847233288488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3125/tid=3132] ppid=3122 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/3125/task/3132/stat : 3132 (java) S 3122 3125 955 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 104818153 10060525568 65004 33554432000 1073741824 1073778376 140736403655984 139847232236456 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3133] ppid=3122 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/3125/task/3133/stat : 3133 (java) S 3122 3125 955 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 104818153 10060525568 65004 33554432000 1073741824 1073778376 140736403655984 139847231183912 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3134] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3134/stat : 3134 (java) S 3122 3125 955 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 104818153 10060525568 65004 33554432000 1073741824 1073778376 140736403655984 139847230130856 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3135] ppid=3122 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/3125/task/3135/stat : 3135 (java) S 3122 3125 955 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 104818153 10060525568 65004 33554432000 1073741824 1073778376 140736403655984 139847229078312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3125/tid=3136] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3136/stat : 3136 (java) S 3122 3125 955 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 104818154 10060525568 65004 33554432000 1073741824 1073778376 140736403655984 139847098403176 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3137] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3137/stat : 3137 (java) S 3122 3125 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104818155 10060525568 65004 33554432000 1073741824 1073778376 140736403655984 139847097349496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3138] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3138/stat : 3138 (java) S 3122 3125 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104818155 10060525568 65004 33554432000 1073741824 1073778376 140736403655984 139847096296328 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3139] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3139/stat : 3139 (java) S 3122 3125 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104818157 10060525568 65004 33554432000 1073741824 1073778376 140736403655984 139847095245072 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3140] ppid=3122 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/3125/task/3140/stat : 3140 (java) S 3122 3125 955 0 -1 4202560 12941 0 0 0 108 3 0 0 20 0 22 0 104818157 10060525568 65004 33554432000 1073741824 1073778376 140736403655984 139847094192952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3125/tid=3141] ppid=3122 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/3125/task/3141/stat : 3141 (java) S 3122 3125 955 0 -1 4202560 9264 0 0 0 105 3 0 0 20 0 22 0 104818157 10060525568 65004 33554432000 1073741824 1073778376 140736403655984 139847093140408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3142] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3142/stat : 3142 (java) S 3122 3125 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104818157 10060525568 65004 33554432000 1073741824 1073778376 140736403655984 139847092087544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3143] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3143/stat : 3143 (java) S 3122 3125 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104818157 10060525568 65004 33554432000 1073741824 1073778376 140736403655984 139847091035208 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3147] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3147/stat : 3147 (java) S 3122 3125 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104818212 10060525568 65004 33554432000 1073741824 1073778376 140736403655984 139845944984488 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (KiB) 9824732

[startup+6.30095 s]
/proc/loadavg: 4.84 4.65 4.39 10/218 3150
/proc/meminfo: memFree=25446364/32872528 swapFree=13256/481332
[pid=3125] ppid=3122 vsize=9824732 CPUtime=14.32 cores=1,3,5,7
/proc/3125/stat : 3125 (java) S 3122 3125 955 0 -1 4202496 26562 0 1 0 1409 23 0 0 20 0 22 0 104818151 10060525568 100324 33554432000 1073741824 1073778376 140736403655984 140736403647120 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3125/statm: 2456183 100324 2292 9 0 2446860 0
[pid=3125/tid=3127] ppid=3122 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/3125/task/3127/stat : 3127 (java) S 3122 3125 955 0 -1 4202560 2433 0 1 0 53 0 0 0 20 0 22 0 104818152 10060525568 100324 33554432000 1073741824 1073778376 140736403655984 139847274955640 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3128] ppid=3122 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/3125/task/3128/stat : 3128 (java) S 3122 3125 955 0 -1 4202560 79 0 0 0 6 2 0 0 20 0 22 0 104818153 10060525568 100324 33554432000 1073741824 1073778376 140736403655984 139847236446632 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3129] ppid=3122 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/3125/task/3129/stat : 3129 (java) S 3122 3125 955 0 -1 4202560 24 0 0 0 1 2 0 0 20 0 22 0 104818153 10060525568 100324 33554432000 1073741824 1073778376 140736403655984 139847235394088 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3130] ppid=3122 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/3125/task/3130/stat : 3130 (java) S 3122 3125 955 0 -1 4202560 36 0 0 0 3 2 0 0 20 0 22 0 104818153 10060525568 100324 33554432000 1073741824 1073778376 140736403655984 139847234341032 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3131] ppid=3122 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/3125/task/3131/stat : 3131 (java) S 3122 3125 955 0 -1 4202560 37 0 0 0 3 2 0 0 20 0 22 0 104818153 10060525568 100324 33554432000 1073741824 1073778376 140736403655984 139847233288488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3125/tid=3132] ppid=3122 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/3125/task/3132/stat : 3132 (java) S 3122 3125 955 0 -1 4202560 30 0 0 0 2 2 0 0 20 0 22 0 104818153 10060525568 100324 33554432000 1073741824 1073778376 140736403655984 139847232236456 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3133] ppid=3122 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/3125/task/3133/stat : 3133 (java) S 3122 3125 955 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 22 0 104818153 10060525568 100324 33554432000 1073741824 1073778376 140736403655984 139847231183912 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3125/tid=3134] ppid=3122 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/3125/task/3134/stat : 3134 (java) S 3122 3125 955 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 104818153 10060525568 100324 33554432000 1073741824 1073778376 140736403655984 139847230130856 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3135] ppid=3122 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/3125/task/3135/stat : 3135 (java) S 3122 3125 955 0 -1 4202560 40 0 0 0 3 2 0 0 20 0 22 0 104818153 10060525568 100324 33554432000 1073741824 1073778376 140736403655984 139847229078312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3136] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3136/stat : 3136 (java) S 3122 3125 955 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 104818154 10060525568 100324 33554432000 1073741824 1073778376 140736403655984 139847098403176 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3137] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3137/stat : 3137 (java) S 3122 3125 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104818155 10060525568 100324 33554432000 1073741824 1073778376 140736403655984 139847097349496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3138] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3138/stat : 3138 (java) S 3122 3125 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104818155 10060525568 100324 33554432000 1073741824 1073778376 140736403655984 139847096296328 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3139] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3139/stat : 3139 (java) S 3122 3125 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104818157 10060525568 100324 33554432000 1073741824 1073778376 140736403655984 139847095245072 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3140] ppid=3122 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/3125/task/3140/stat : 3140 (java) S 3122 3125 955 0 -1 4202560 12941 0 0 0 111 3 0 0 20 0 22 0 104818157 10060525568 100324 33554432000 1073741824 1073778376 140736403655984 139847094192952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3125/tid=3141] ppid=3122 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/3125/task/3141/stat : 3141 (java) S 3122 3125 955 0 -1 4202560 9264 0 0 0 115 3 0 0 20 0 22 0 104818157 10060525568 100324 33554432000 1073741824 1073778376 140736403655984 139847093140408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3142] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3142/stat : 3142 (java) S 3122 3125 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104818157 10060525568 100324 33554432000 1073741824 1073778376 140736403655984 139847092087544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3143] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7

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

/proc/3125/task/3130/stat : 3130 (java) S 3122 3125 955 0 -1 4202560 596 0 0 0 230 18 0 0 20 0 22 0 104818153 10060525568 903232 33554432000 1073741824 1073778376 140736403655984 139847234341032 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3131] ppid=3122 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/3125/task/3131/stat : 3131 (java) S 3122 3125 955 0 -1 4202560 634 0 0 0 222 18 0 0 20 0 22 0 104818153 10060525568 903232 33554432000 1073741824 1073778376 140736403655984 139847233288488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3125/tid=3132] ppid=3122 vsize=9824732 CPUtime=2.36 cores=1,3,5,7
/proc/3125/task/3132/stat : 3132 (java) S 3122 3125 955 0 -1 4202560 698 0 0 0 217 19 0 0 20 0 22 0 104818153 10060525568 903232 33554432000 1073741824 1073778376 140736403655984 139847232236456 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3125/tid=3133] ppid=3122 vsize=9824732 CPUtime=2.64 cores=1,3,5,7
/proc/3125/task/3133/stat : 3133 (java) S 3122 3125 955 0 -1 4202560 592 0 0 0 244 20 0 0 20 0 22 0 104818153 10060525568 903232 33554432000 1073741824 1073778376 140736403655984 139847231183912 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3134] ppid=3122 vsize=9824732 CPUtime=2.42 cores=1,3,5,7
/proc/3125/task/3134/stat : 3134 (java) S 3122 3125 955 0 -1 4202560 673 0 0 0 225 17 0 0 20 0 22 0 104818153 10060525568 903232 33554432000 1073741824 1073778376 140736403655984 139847230130856 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3135] ppid=3122 vsize=9824732 CPUtime=2.28 cores=1,3,5,7
/proc/3125/task/3135/stat : 3135 (java) S 3122 3125 955 0 -1 4202560 550 0 0 0 212 16 0 0 20 0 22 0 104818153 10060525568 903232 33554432000 1073741824 1073778376 140736403655984 139847229078312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3136] ppid=3122 vsize=9824732 CPUtime=3.91 cores=1,3,5,7
/proc/3125/task/3136/stat : 3136 (java) S 3122 3125 955 0 -1 4202560 2301 0 0 0 386 5 0 0 20 0 22 0 104818154 10060525568 903232 33554432000 1073741824 1073778376 140736403655984 139847098403176 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3125/tid=3137] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3137/stat : 3137 (java) S 3122 3125 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104818155 10060525568 903232 33554432000 1073741824 1073778376 140736403655984 139847097349496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3138] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3138/stat : 3138 (java) S 3122 3125 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104818155 10060525568 903232 33554432000 1073741824 1073778376 140736403655984 139847096296328 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3139] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3139/stat : 3139 (java) S 3122 3125 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104818157 10060525568 903232 33554432000 1073741824 1073778376 140736403655984 139847095245072 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3140] ppid=3122 vsize=9824732 CPUtime=2.42 cores=1,3,5,7
/proc/3125/task/3140/stat : 3140 (java) S 3122 3125 955 0 -1 4202560 20838 0 0 0 237 5 0 0 20 0 22 0 104818157 10060525568 903232 33554432000 1073741824 1073778376 140736403655984 139847094192952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3125/tid=3141] ppid=3122 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/3125/task/3141/stat : 3141 (java) S 3122 3125 955 0 -1 4202560 9363 0 0 0 160 3 0 0 20 0 22 0 104818157 10060525568 903232 33554432000 1073741824 1073778376 140736403655984 139847093140408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3142] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3142/stat : 3142 (java) S 3122 3125 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104818157 10060525568 903232 33554432000 1073741824 1073778376 140736403655984 139847092087544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3143] ppid=3122 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/3125/task/3143/stat : 3143 (java) S 3122 3125 955 0 -1 4202560 47 0 0 0 16 14 0 0 20 0 22 0 104818157 10060525568 903232 33554432000 1073741824 1073778376 140736403655984 139847091035208 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3147] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3147/stat : 3147 (java) S 3122 3125 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104818212 10060525568 903232 33554432000 1073741824 1073778376 140736403655984 139845944984488 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3125/tid=3148] ppid=3122 vsize=9824732 CPUtime=808.52 cores=1,3,5,7
/proc/3125/task/3148/stat : 3148 (java) R 3122 3125 955 0 -1 4202560 259 0 0 0 80831 21 0 0 20 0 22 0 104818408 10060525568 903232 33554432000 1073741824 1073778376 140736403655984 139845947088000 139847105734920 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3149] ppid=3122 vsize=9824732 CPUtime=808.39 cores=1,3,5,7
/proc/3125/task/3149/stat : 3149 (java) R 3122 3125 955 0 -1 4202560 1253 0 0 0 80803 36 0 0 20 0 22 0 104818408 10060525568 903232 33554432000 1073741824 1073778376 140736403655984 139847089979312 139847105614869 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3125/tid=3150] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3150/stat : 3150 (java) S 3122 3125 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104818408 10060525568 903232 33554432000 1073741824 1073778376 140736403655984 139845946037544 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1653.08
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.64 4.46 4.37 5/217 3271
/proc/meminfo: memFree=24561648/32872528 swapFree=13256/481332
[pid=3125] ppid=3122 vsize=9824732 CPUtime=1773.46 cores=1,3,5,7
/proc/3125/stat : 3125 (java) S 3122 3125 955 0 -1 4202496 42824 0 1 0 177133 213 0 0 20 0 22 0 104818151 10060525568 903236 33554432000 1073741824 1073778376 140736403655984 140736403647120 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3125/statm: 2456183 903236 2301 9 0 2446860 0
[pid=3125/tid=3127] ppid=3122 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/3125/task/3127/stat : 3127 (java) S 3122 3125 955 0 -1 4202560 2447 0 1 0 54 3 0 0 20 0 22 0 104818152 10060525568 903236 33554432000 1073741824 1073778376 140736403655984 139847274955640 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3128] ppid=3122 vsize=9824732 CPUtime=2.7 cores=1,3,5,7
/proc/3125/task/3128/stat : 3128 (java) S 3122 3125 955 0 -1 4202560 649 0 0 0 248 22 0 0 20 0 22 0 104818153 10060525568 903236 33554432000 1073741824 1073778376 140736403655984 139847236446632 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3125/tid=3129] ppid=3122 vsize=9824732 CPUtime=2.34 cores=1,3,5,7
/proc/3125/task/3129/stat : 3129 (java) S 3122 3125 955 0 -1 4202560 510 0 0 0 218 16 0 0 20 0 22 0 104818153 10060525568 903236 33554432000 1073741824 1073778376 140736403655984 139847235394088 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3130] ppid=3122 vsize=9824732 CPUtime=2.6 cores=1,3,5,7
/proc/3125/task/3130/stat : 3130 (java) S 3122 3125 955 0 -1 4202560 596 0 0 0 242 18 0 0 20 0 22 0 104818153 10060525568 903236 33554432000 1073741824 1073778376 140736403655984 139847234341032 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3131] ppid=3122 vsize=9824732 CPUtime=2.48 cores=1,3,5,7
/proc/3125/task/3131/stat : 3131 (java) S 3122 3125 955 0 -1 4202560 634 0 0 0 230 18 0 0 20 0 22 0 104818153 10060525568 903236 33554432000 1073741824 1073778376 140736403655984 139847233288488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3132] ppid=3122 vsize=9824732 CPUtime=2.5 cores=1,3,5,7
/proc/3125/task/3132/stat : 3132 (java) S 3122 3125 955 0 -1 4202560 698 0 0 0 231 19 0 0 20 0 22 0 104818153 10060525568 903236 33554432000 1073741824 1073778376 140736403655984 139847232236456 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3125/tid=3133] ppid=3122 vsize=9824732 CPUtime=2.73 cores=1,3,5,7
/proc/3125/task/3133/stat : 3133 (java) S 3122 3125 955 0 -1 4202560 592 0 0 0 253 20 0 0 20 0 22 0 104818153 10060525568 903236 33554432000 1073741824 1073778376 140736403655984 139847231183912 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3134] ppid=3122 vsize=9824732 CPUtime=2.55 cores=1,3,5,7
/proc/3125/task/3134/stat : 3134 (java) S 3122 3125 955 0 -1 4202560 673 0 0 0 238 17 0 0 20 0 22 0 104818153 10060525568 903236 33554432000 1073741824 1073778376 140736403655984 139847230130856 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3125/tid=3135] ppid=3122 vsize=9824732 CPUtime=2.37 cores=1,3,5,7
/proc/3125/task/3135/stat : 3135 (java) S 3122 3125 955 0 -1 4202560 550 0 0 0 221 16 0 0 20 0 22 0 104818153 10060525568 903236 33554432000 1073741824 1073778376 140736403655984 139847229078312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3136] ppid=3122 vsize=9824732 CPUtime=3.92 cores=1,3,5,7
/proc/3125/task/3136/stat : 3136 (java) S 3122 3125 955 0 -1 4202560 2334 0 0 0 387 5 0 0 20 0 22 0 104818154 10060525568 903236 33554432000 1073741824 1073778376 140736403655984 139847098403176 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3137] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3137/stat : 3137 (java) S 3122 3125 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104818155 10060525568 903236 33554432000 1073741824 1073778376 140736403655984 139847097349496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3138] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3138/stat : 3138 (java) S 3122 3125 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104818155 10060525568 903236 33554432000 1073741824 1073778376 140736403655984 139847096296328 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3139] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3139/stat : 3139 (java) S 3122 3125 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104818157 10060525568 903236 33554432000 1073741824 1073778376 140736403655984 139847095245072 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3140] ppid=3122 vsize=9824732 CPUtime=2.42 cores=1,3,5,7
/proc/3125/task/3140/stat : 3140 (java) S 3122 3125 955 0 -1 4202560 20838 0 0 0 237 5 0 0 20 0 22 0 104818157 10060525568 903236 33554432000 1073741824 1073778376 140736403655984 139847094192952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3125/tid=3141] ppid=3122 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/3125/task/3141/stat : 3141 (java) S 3122 3125 955 0 -1 4202560 9363 0 0 0 160 3 0 0 20 0 22 0 104818157 10060525568 903236 33554432000 1073741824 1073778376 140736403655984 139847093140408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3142] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3142/stat : 3142 (java) S 3122 3125 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104818157 10060525568 903236 33554432000 1073741824 1073778376 140736403655984 139847092087544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3143] ppid=3122 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/3125/task/3143/stat : 3143 (java) S 3122 3125 955 0 -1 4202560 51 0 0 0 17 15 0 0 20 0 22 0 104818157 10060525568 903236 33554432000 1073741824 1073778376 140736403655984 139847091035208 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3147] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3147/stat : 3147 (java) S 3122 3125 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104818212 10060525568 903236 33554432000 1073741824 1073778376 140736403655984 139845944984488 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3125/tid=3148] ppid=3122 vsize=9824732 CPUtime=868.16 cores=1,3,5,7
/proc/3125/task/3148/stat : 3148 (java) R 3122 3125 955 0 -1 4202560 260 0 0 0 86794 22 0 0 20 0 22 0 104818408 10060525568 903236 33554432000 1073741824 1073778376 140736403655984 139845947088000 139847105723041 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3149] ppid=3122 vsize=9824732 CPUtime=867.99 cores=1,3,5,7
/proc/3125/task/3149/stat : 3149 (java) R 3122 3125 955 0 -1 4202560 1257 0 0 0 86762 37 0 0 20 0 22 0 104818408 10060525568 903236 33554432000 1073741824 1073778376 140736403655984 139847089979392 139847105615502 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3150] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3150/stat : 3150 (java) S 3122 3125 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104818408 10060525568 903236 33554432000 1073741824 1073778376 140736403655984 139845946037544 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1773.46
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+895.601 s]
/proc/loadavg: 4.58 4.46 4.37 5/217 3271
/proc/meminfo: memFree=24553332/32872528 swapFree=13256/481332
[pid=3125] ppid=3122 vsize=9824732 CPUtime=1800.18 cores=1,3,5,7
/proc/3125/stat : 3125 (java) S 3122 3125 955 0 -1 4202496 42837 0 1 0 179804 214 0 0 20 0 22 0 104818151 10060525568 903229 33554432000 1073741824 1073778376 140736403655984 140736403647120 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3125/statm: 2456183 903229 2301 9 0 2446860 0
[pid=3125/tid=3127] ppid=3122 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/3125/task/3127/stat : 3127 (java) S 3122 3125 955 0 -1 4202560 2447 0 1 0 54 3 0 0 20 0 22 0 104818152 10060525568 903229 33554432000 1073741824 1073778376 140736403655984 139847274955640 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3128] ppid=3122 vsize=9824732 CPUtime=2.74 cores=1,3,5,7
/proc/3125/task/3128/stat : 3128 (java) S 3122 3125 955 0 -1 4202560 649 0 0 0 252 22 0 0 20 0 22 0 104818153 10060525568 903229 33554432000 1073741824 1073778376 140736403655984 139847236446632 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3125/tid=3129] ppid=3122 vsize=9824732 CPUtime=2.36 cores=1,3,5,7
/proc/3125/task/3129/stat : 3129 (java) S 3122 3125 955 0 -1 4202560 510 0 0 0 220 16 0 0 20 0 22 0 104818153 10060525568 903229 33554432000 1073741824 1073778376 140736403655984 139847235394088 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3130] ppid=3122 vsize=9824732 CPUtime=2.62 cores=1,3,5,7
/proc/3125/task/3130/stat : 3130 (java) S 3122 3125 955 0 -1 4202560 608 0 0 0 244 18 0 0 20 0 22 0 104818153 10060525568 903229 33554432000 1073741824 1073778376 140736403655984 139847234341032 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3131] ppid=3122 vsize=9824732 CPUtime=2.5 cores=1,3,5,7
/proc/3125/task/3131/stat : 3131 (java) S 3122 3125 955 0 -1 4202560 634 0 0 0 232 18 0 0 20 0 22 0 104818153 10060525568 903229 33554432000 1073741824 1073778376 140736403655984 139847233288488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3132] ppid=3122 vsize=9824732 CPUtime=2.57 cores=1,3,5,7
/proc/3125/task/3132/stat : 3132 (java) S 3122 3125 955 0 -1 4202560 698 0 0 0 238 19 0 0 20 0 22 0 104818153 10060525568 903229 33554432000 1073741824 1073778376 140736403655984 139847232236456 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3125/tid=3133] ppid=3122 vsize=9824732 CPUtime=2.8 cores=1,3,5,7
/proc/3125/task/3133/stat : 3133 (java) S 3122 3125 955 0 -1 4202560 592 0 0 0 260 20 0 0 20 0 22 0 104818153 10060525568 903229 33554432000 1073741824 1073778376 140736403655984 139847231183912 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3134] ppid=3122 vsize=9824732 CPUtime=2.59 cores=1,3,5,7
/proc/3125/task/3134/stat : 3134 (java) S 3122 3125 955 0 -1 4202560 673 0 0 0 242 17 0 0 20 0 22 0 104818153 10060525568 903229 33554432000 1073741824 1073778376 140736403655984 139847230130856 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3125/tid=3135] ppid=3122 vsize=9824732 CPUtime=2.39 cores=1,3,5,7
/proc/3125/task/3135/stat : 3135 (java) S 3122 3125 955 0 -1 4202560 550 0 0 0 223 16 0 0 20 0 22 0 104818153 10060525568 903229 33554432000 1073741824 1073778376 140736403655984 139847229078312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3136] ppid=3122 vsize=9824732 CPUtime=3.92 cores=1,3,5,7
/proc/3125/task/3136/stat : 3136 (java) S 3122 3125 955 0 -1 4202560 2334 0 0 0 387 5 0 0 20 0 22 0 104818154 10060525568 903229 33554432000 1073741824 1073778376 140736403655984 139847098403176 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3137] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3137/stat : 3137 (java) S 3122 3125 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104818155 10060525568 903229 33554432000 1073741824 1073778376 140736403655984 139847097349496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3138] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3138/stat : 3138 (java) S 3122 3125 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104818155 10060525568 903229 33554432000 1073741824 1073778376 140736403655984 139847096296328 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3139] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3139/stat : 3139 (java) S 3122 3125 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104818157 10060525568 903229 33554432000 1073741824 1073778376 140736403655984 139847095245072 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3140] ppid=3122 vsize=9824732 CPUtime=2.42 cores=1,3,5,7
/proc/3125/task/3140/stat : 3140 (java) S 3122 3125 955 0 -1 4202560 20838 0 0 0 237 5 0 0 20 0 22 0 104818157 10060525568 903229 33554432000 1073741824 1073778376 140736403655984 139847094192952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3125/tid=3141] ppid=3122 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/3125/task/3141/stat : 3141 (java) S 3122 3125 955 0 -1 4202560 9363 0 0 0 160 3 0 0 20 0 22 0 104818157 10060525568 903229 33554432000 1073741824 1073778376 140736403655984 139847093140408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3142] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3142/stat : 3142 (java) S 3122 3125 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104818157 10060525568 903229 33554432000 1073741824 1073778376 140736403655984 139847092087544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3143] ppid=3122 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/3125/task/3143/stat : 3143 (java) S 3122 3125 955 0 -1 4202560 51 0 0 0 18 15 0 0 20 0 22 0 104818157 10060525568 903229 33554432000 1073741824 1073778376 140736403655984 139847091035208 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3147] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3147/stat : 3147 (java) S 3122 3125 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104818212 10060525568 903229 33554432000 1073741824 1073778376 140736403655984 139845944984488 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3125/tid=3148] ppid=3122 vsize=9824732 CPUtime=881.34 cores=1,3,5,7
/proc/3125/task/3148/stat : 3148 (java) R 3122 3125 955 0 -1 4202560 261 0 0 0 88112 22 0 0 20 0 22 0 104818408 10060525568 903229 33554432000 1073741824 1073778376 140736403655984 139845947081104 139847105610999 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3125/tid=3149] ppid=3122 vsize=9824732 CPUtime=881.17 cores=1,3,5,7
/proc/3125/task/3149/stat : 3149 (java) R 3122 3125 955 0 -1 4202560 1257 0 0 0 88080 37 0 0 20 0 22 0 104818408 10060525568 903229 33554432000 1073741824 1073778376 140736403655984 139847089978512 139847105615977 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3125/tid=3150] ppid=3122 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3125/task/3150/stat : 3150 (java) S 3122 3125 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104818408 10060525568 903229 33554432000 1073741824 1073778376 140736403655984 139845946037544 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
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 3125 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3125 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=520343
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=560610
# CPU time returned by wait4() is 1796.08
# while last known CPU time is 1800.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 895.673
CPU time (s): 1800.18
CPU user time (s): 1798.04
CPU system time (s): 2.14
CPU usage (%): 200.986
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.52
system time used= 2.56061
maximum resident set size= 3613028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42874
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23108
involuntary context switches= 18247

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.44302 second user time and 6.33304 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-06 18:00:33
IDJOB=4080688
IDBENCH=2297
IDSOLVER=2543
FILE ID=node104/4080688-1465228833
RUNJOBID= node104-1465220812-974
PBS_JOBID= 19843225
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x21.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080688-1465228833/watcher-4080688-1465228833 -o /tmp/evaluation-result-4080688-1465228833/solver-4080688-1465228833 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465220812-974 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4080688-1465228833.opb

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

MD5SUM BENCH= 291088d217a1998c91be99350439e903
RANDOM SEED=2106064330

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.775
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.775
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.775
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:        25906692 kB
Buffers:           16912 kB
Cached:            87160 kB
SwapCached:         1728 kB
Active:          5694052 kB
Inactive:          45404 kB
Active(anon):    5635128 kB
Inactive(anon):     2356 kB
Active(file):      58924 kB
Inactive(file):    43048 kB
Unevictable:      481332 kB
Mlocked:           13256 kB
SwapTotal:      67108856 kB
SwapFree:       67097224 kB
Dirty:               884 kB
Writeback:             0 kB
AnonPages:       6154284 kB
Mapped:            15464 kB
Shmem:                 0 kB
Slab:             565504 kB
SReclaimable:       9700 kB
SUnreclaim:       555804 kB
KernelStack:        1616 kB
PageTables:        16008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6527640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6047744 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= 71736 MiB
End job on node104 at 2016-06-06 18:15:29