Trace number 4103222

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)2026924 1800.82 897.173

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran17x17.opb
MD5SUM041d40ba01d992f8c3bb358df2c9aea9
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2026924
Best CPU time to get the best result obtained on this benchmark1800.82
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2191362
Optimality of the best value was proved NO
Number of variables8959
Total number of constraints323
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 constraints323
Minimum length of a constraint31
Maximum length of a constraint510
Number of terms in the objective function 8959
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 1612776422946
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 1612776422946
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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4103222-1466220621.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
1.14/0.53	c ... done. Wall clock time 0.421s.
1.14/0.53	c declared #vars     8959
1.14/0.53	c #constraints  357
1.14/0.53	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.14/0.53	c constraints type 
1.14/0.53	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 357
1.14/0.53	c 357 constraints processed.
1.14/0.53	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.14/0.53	c constraints type 
1.14/0.53	c org.sat4j.pb.constraints.pb.MaxWatchPb => 357
1.14/0.53	c 357 constraints processed.
1.14/0.53	c objective function length is 8959 literals
3.08/1.01	c And the winner is solver0
3.08/1.04	c SATISFIABLE
3.08/1.04	c OPTIMIZING...
3.08/1.04	c Got one! Elapsed wall clock time (in seconds):0.934
3.08/1.04	o 3542595
3.39/1.12	c And the winner is solver0
3.70/1.56	c Got one! Elapsed wall clock time (in seconds):1.452
3.70/1.56	o 3538305
3.70/1.59	c And the winner is solver0
3.84/2.08	c Got one! Elapsed wall clock time (in seconds):1.969
3.84/2.08	o 2085481
5.36/2.85	c And the winner is solver0
5.64/3.09	c Got one! Elapsed wall clock time (in seconds):2.979
5.64/3.09	o 2083538
7.22/3.85	c cleaning 3231 clauses out of 6464 with flag 9107/6464
8.54/4.46	c And the winner is solver0
8.79/4.64	c Got one! Elapsed wall clock time (in seconds):4.537
8.79/4.64	o 2062217
9.82/5.15	c And the winner is solver0
9.99/5.65	c Got one! Elapsed wall clock time (in seconds):5.545
9.99/5.65	o 2026924
10.37/5.83	c cleaning 4549 clauses out of 9116 with flag 2220/12347
15.49/8.38	c cleaning 5272 clauses out of 10567 with flag 19172/18347
20.57/10.84	c cleaning 6146 clauses out of 12295 with flag 42821/25347
26.78/13.94	c cleaning 7068 clauses out of 14150 with flag 74395/33348
33.42/17.26	c cleaning 8041 clauses out of 16081 with flag 108741/42347
40.32/20.63	c cleaning 9010 clauses out of 18040 with flag 147198/52347
48.63/24.71	c cleaning 10010 clauses out of 20032 with flag 188735/63349
57.83/29.31	c cleaning 11015 clauses out of 22031 with flag 235386/75358
67.02/33.97	c cleaning 12005 clauses out of 24009 with flag 287886/88351
77.96/39.32	c cleaning 12994 clauses out of 26000 with flag 343267/102347
89.16/44.91	c cleaning 13989 clauses out of 28006 with flag 401825/117347
98.96/49.83	c cleaning 14987 clauses out of 30018 with flag 457839/133348
110.89/55.75	c cleaning 16007 clauses out of 32030 with flag 522794/150347
124.90/62.73	c cleaning 17010 clauses out of 34023 with flag 593589/168347
139.18/69.82	c cleaning 17988 clauses out of 36013 with flag 662711/187347
153.30/76.88	c cleaning 19012 clauses out of 38027 with flag 733314/207349
168.83/84.51	c cleaning 20004 clauses out of 40015 with flag 814120/228349
184.73/92.41	c cleaning 20997 clauses out of 42009 with flag 895302/250347
202.63/101.50	c cleaning 21988 clauses out of 44013 with flag 977482/273348
218.05/109.21	c cleaning 23012 clauses out of 46025 with flag 1065877/297348
234.48/117.50	c cleaning 23999 clauses out of 48012 with flag 1152609/322347
255.77/128.03	c cleaning 24989 clauses out of 50013 with flag 1248602/348347
276.00/138.12	c cleaning 26005 clauses out of 52026 with flag 1343059/375349
296.43/148.30	c cleaning 27004 clauses out of 54023 with flag 1443965/403351
319.31/159.78	c cleaning 28006 clauses out of 56015 with flag 1544820/432347
343.28/171.86	c cleaning 29002 clauses out of 58011 with flag 1657789/462349
368.16/184.25	c cleaning 29999 clauses out of 60008 with flag 1760909/493348
393.88/197.05	c cleaning 30991 clauses out of 62008 with flag 1871417/525347
419.12/209.66	c cleaning 31997 clauses out of 64017 with flag 1984341/558347
446.21/223.17	c cleaning 33007 clauses out of 66022 with flag 2117179/592349
475.03/237.61	c cleaning 34004 clauses out of 68013 with flag 2246202/627347
505.81/252.89	c cleaning 34998 clauses out of 70009 with flag 2377937/663347
535.25/267.45	c cleaning 35990 clauses out of 72011 with flag 2501578/700347
567.51/283.49	c cleaning 36986 clauses out of 74021 with flag 2634308/738347
600.37/300.20	c cleaning 38011 clauses out of 76037 with flag 2778158/777349
631.57/315.72	c cleaning 39012 clauses out of 78024 with flag 2933730/817347
666.67/333.25	c cleaning 40008 clauses out of 80017 with flag 3088580/858352
703.32/351.45	c cleaning 40998 clauses out of 82004 with flag 3238997/900347
737.29/368.35	c cleaning 0 clauses out of 5092 with flag 0/5096
741.35/370.06	c cleaning 41997 clauses out of 84007 with flag 3405285/943348
774.39/386.43	c cleaning 42983 clauses out of 86010 with flag 3556883/987348
809.56/403.92	c cleaning 44007 clauses out of 88026 with flag 3711728/1032347
846.52/422.35	c cleaning 45006 clauses out of 90019 with flag 3873113/1078347
888.44/443.10	c cleaning 45995 clauses out of 92018 with flag 4045779/1125352
933.82/465.60	c cleaning 47003 clauses out of 94021 with flag 4224110/1173350
981.02/489.00	c cleaning 48008 clauses out of 96018 with flag 4407331/1222350
1023.67/510.28	c cleaning 49002 clauses out of 98007 with flag 4574458/1272347
1069.41/532.93	c cleaning 49996 clauses out of 100006 with flag 4771468/1323348
1115.53/556.39	c cleaning 50999 clauses out of 102010 with flag 4959641/1375348
1160.53/578.74	c cleaning 51997 clauses out of 104010 with flag 5143871/1428347
1202.66/599.74	c cleaning 53005 clauses out of 106013 with flag 5313438/1482347
1253.35/624.95	c cleaning 54000 clauses out of 108008 with flag 5500839/1537347
1310.40/653.21	c cleaning 54995 clauses out of 110009 with flag 5694233/1593348
1357.28/676.60	c cleaning 56001 clauses out of 112016 with flag 5899340/1650350
1414.64/704.98	c cleaning 57004 clauses out of 114012 with flag 6108558/1708347
1468.99/731.98	c cleaning 57994 clauses out of 116008 with flag 6330345/1767347
1523.50/759.01	c cleaning 58998 clauses out of 118014 with flag 6563126/1827347
1584.75/789.44	c cleaning 60001 clauses out of 120018 with flag 6809070/1888349
1641.66/817.79	c cleaning 60990 clauses out of 122016 with flag 7046317/1950348
1699.60/846.54	c cleaning 62002 clauses out of 124025 with flag 7267986/2013347
1756.37/874.79	c cleaning 63011 clauses out of 126024 with flag 7494612/2077348
1800.13/897.10	c >>>>>>>>>> Solver number 0 (6 answers) <<<<<<<<<<<<<<<<<<
1800.13/897.10	c starts		: 4087
1800.13/897.10	c conflicts		: 2125515
1800.13/897.10	c decisions		: 8358698
1800.13/897.10	c propagations		: 604219830
1800.13/897.10	c inspects		: 3515667409
1800.13/897.10	c shortcuts		: 0
1800.13/897.10	c learnt literals	: 0
1800.13/897.10	c learnt binary clauses	: 0
1800.13/897.10	c learnt ternary clauses	: 0
1800.13/897.10	c learnt constraints	: 2125515
1800.13/897.10	c ignored constraints	: 0
1800.13/897.10	c root simplifications	: 0
1800.13/897.10	c removed literals (reason simplification)	: 7746557
1800.13/897.10	c reason swapping (by a shorter reason)	: 0
1800.13/897.10	c Calls to reduceDB	: 61
1800.13/897.10	c Number of update (reduction) of LBD	: 638981
1800.13/897.10	c Imported unit clauses	: 0
1800.13/897.10	c number of reductions to clauses (during analyze)	: 0
1800.13/897.10	c number of learned constraints concerned by reduction	: 0
1800.13/897.10	c number of learning phase by resolution	: 0
1800.13/897.10	c number of learning phase by cutting planes	: 0
1800.13/897.10	c speed (assignments/second)	: 673971.8752579459
1800.13/897.10	c non guided choices	94
1800.13/897.13	c learnt constraints type 
1800.13/897.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 111180
1800.13/897.13	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.13/897.13	c starts		: 18
1800.13/897.13	c conflicts		: 10703
1800.13/897.13	c decisions		: 237181
1800.13/897.13	c propagations		: 736836
1800.13/897.13	c inspects		: 646495156
1800.13/897.13	c shortcuts		: 0
1800.13/897.13	c learnt literals	: 0
1800.13/897.13	c learnt binary clauses	: 0
1800.13/897.13	c learnt ternary clauses	: 0
1800.13/897.13	c learnt constraints	: 10699
1800.13/897.13	c ignored constraints	: 0
1800.13/897.13	c root simplifications	: 0
1800.13/897.13	c removed literals (reason simplification)	: 0
1800.13/897.13	c reason swapping (by a shorter reason)	: 0
1800.13/897.13	c Calls to reduceDB	: 1
1800.13/897.13	c Number of update (reduction) of LBD	: 0
1800.13/897.13	c Imported unit clauses	: 0
1800.13/897.13	c number of reductions to clauses (during analyze)	: 0
1800.13/897.13	c number of learned constraints concerned by reduction	: 0
1800.13/897.13	c number of learning phase by resolution	: 0
1800.13/897.13	c number of learning phase by cutting planes	: 0
1800.13/897.13	c speed (assignments/second)	: 826.5432147235961
1800.13/897.13	c non guided choices	0
1800.13/897.13	c learnt constraints type 
1800.13/897.13	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1
1800.13/897.13	c org.sat4j.pb.constraints.pb.MaxWatchPb => 10698
1800.13/897.13	s SATISFIABLE
1800.13/897.13	c Found 6 solution(s)
1800.13/897.14	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 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 x8202 x8203 x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 x8401 x8402 x8403 x8404 x8405 x8406 x8407 x8408 x8409 x8410 x8411 x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 x8471 x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 x8651 x8652 x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 x8689 x8690 -x8691 x8692 -x8693 -x8694 -x8695 x8696 x8697 -x8698 x8699 -x8700 -x8701 -x8702 -x8703 -x8704 x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 x8754 -x8755 -x8756 -x8757 -x8758 -x8759 x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 x8795 x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 x8812 x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 x8821 -x8822 -x8823 -x8824 -x8825 x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 x8837 -x8838 -x8839 -x8840 -x8841 x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 x8853 -x8854 x8855 -x8856 -x8857 -x8858 x8859 -x8860 -x8861 -x8862 x8863 -x8864 -x8865 -x8866 -x8867 -x8868 x8869 -x8870 -x8871 -x8872 -x8873 x8874 -x8875 -x8876 x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 x8902 -x8903 x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 x8912 -x8913 x8914 -x8915 -x8916 x8917 -x8918 -x8919 -x8920 x8921 -x8922 -x8923 -x8924 -x8925 -x8926 x8927 -x8928 -x8929 x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 x8951 -x8952 x8953 -x8954 -x8955 x8956 -x8957 -x8958 x8959 
1800.13/897.15	c objective function=2026924
1800.13/897.15	c Total wall clock time (in seconds): 897.046

Verifier Data 

OK	2026924

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

pid=29480
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.08 4.12 4.08 4/198 29483
/proc/meminfo: memFree=27883644/32872528 swapFree=496868/529572
[pid=29483] ppid=29480 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/29483/stat : 29483 (java) S 29480 29483 22589 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 24107582 98570240 978 33554432000 1073741824 1073778376 140736173260064 140736173251200 211462160445 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29483/statm: 24065 978 743 9 0 16771 0
[pid=29483/tid=29484] ppid=29480 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29484/stat : 29484 (java) R 29480 29483 22589 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 24107583 98570240 978 33554432000 1073741824 1073778376 140736173260064 140514293407272 211458803072 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.100114 s]
/proc/loadavg: 4.08 4.12 4.08 4/198 29483
/proc/meminfo: memFree=27883644/32872528 swapFree=496868/529572
[pid=29483] ppid=29480 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/29483/stat : 29483 (java) S 29480 29483 22589 0 -1 4202496 4525 0 1 0 10 1 0 0 20 0 18 0 24107582 9787879424 5646 33554432000 1073741824 1073778376 140736173260064 140736173251200 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29483/statm: 2389619 5646 2156 9 0 2380296 0
[pid=29483/tid=29484] ppid=29480 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/29483/task/29484/stat : 29484 (java) R 29480 29483 22589 0 -1 4202560 2443 0 1 0 7 0 0 0 20 0 18 0 24107583 9787879424 5646 33554432000 1073741824 1073778376 140736173260064 140514293410720 211462186253 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200276 s]
/proc/loadavg: 4.08 4.12 4.08 4/198 29483
/proc/meminfo: memFree=27883644/32872528 swapFree=496868/529572
[pid=29483] ppid=29480 vsize=9558476 CPUtime=0.31 cores=1,3,5,7
/proc/29483/stat : 29483 (java) S 29480 29483 22589 0 -1 4202496 5179 0 1 0 30 1 0 0 20 0 18 0 24107582 9787879424 7074 33554432000 1073741824 1073778376 140736173260064 140736173251200 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29483/statm: 2389619 7074 2227 9 0 2380296 0
[pid=29483/tid=29484] ppid=29480 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/29483/task/29484/stat : 29484 (java) R 29480 29483 22589 0 -1 4202560 2459 0 1 0 17 0 0 0 20 0 18 0 24107583 9787879424 7074 33554432000 1073741824 1073778376 140736173260064 140514293410720 140514165725862 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9558476

[startup+0.300277 s]
/proc/loadavg: 4.08 4.12 4.08 4/198 29483
/proc/meminfo: memFree=27883644/32872528 swapFree=496868/529572
[pid=29483] ppid=29480 vsize=9558476 CPUtime=0.54 cores=1,3,5,7
/proc/29483/stat : 29483 (java) S 29480 29483 22589 0 -1 4202496 9173 0 1 0 52 2 0 0 20 0 18 0 24107582 9787879424 12397 33554432000 1073741824 1073778376 140736173260064 140736173251200 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29483/statm: 2389619 12397 2235 9 0 2380296 0
[pid=29483/tid=29484] ppid=29480 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/29483/task/29484/stat : 29484 (java) R 29480 29483 22589 0 -1 4202560 2469 0 1 0 26 1 0 0 20 0 18 0 24107583 9787879424 12397 33554432000 1073741824 1073778376 140736173260064 140514293410720 140514165826336 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476

[startup+0.700241 s]
/proc/loadavg: 4.08 4.12 4.08 4/198 29483
/proc/meminfo: memFree=27883644/32872528 swapFree=496868/529572
[pid=29483] ppid=29480 vsize=9824732 CPUtime=1.9 cores=1,3,5,7
/proc/29483/stat : 29483 (java) S 29480 29483 22589 0 -1 4202496 20101 0 1 0 186 4 0 0 20 0 22 0 24107582 10060525568 25463 33554432000 1073741824 1073778376 140736173260064 140736173251200 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29483/statm: 2456183 25463 2267 9 0 2446860 0
[pid=29483/tid=29484] ppid=29480 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/29483/task/29484/stat : 29484 (java) S 29480 29483 22589 0 -1 4202560 2537 0 1 0 49 2 0 0 20 0 22 0 24107583 10060525568 25463 33554432000 1073741824 1073778376 140736173260064 140514293412728 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 9824732

[startup+1.50076 s]
/proc/loadavg: 4.08 4.12 4.08 7/220 29508
/proc/meminfo: memFree=27742432/32872528 swapFree=496868/529572
[pid=29483] ppid=29480 vsize=9824732 CPUtime=3.7 cores=1,3,5,7
/proc/29483/stat : 29483 (java) S 29480 29483 22589 0 -1 4202496 23815 0 1 0 361 9 0 0 20 0 19 0 24107582 10060525568 38554 33554432000 1073741824 1073778376 140736173260064 140736173251200 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29483/statm: 2456183 38554 2274 9 0 2446860 0
[pid=29483/tid=29484] ppid=29480 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/29483/task/29484/stat : 29484 (java) S 29480 29483 22589 0 -1 4202560 2539 0 1 0 52 2 0 0 20 0 19 0 24107583 10060525568 38554 33554432000 1073741824 1073778376 140736173260064 140514293412728 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29483/tid=29486] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29486/stat : 29486 (java) S 29480 29483 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24107583 10060525568 38554 33554432000 1073741824 1073778376 140736173260064 140514137340584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29487] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29487/stat : 29487 (java) S 29480 29483 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24107583 10060525568 38554 33554432000 1073741824 1073778376 140736173260064 140514136288040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29483/tid=29488] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29488/stat : 29488 (java) S 29480 29483 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24107583 10060525568 38554 33554432000 1073741824 1073778376 140736173260064 140514135235496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29483/tid=29489] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29489/stat : 29489 (java) S 29480 29483 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24107583 10060525568 38554 33554432000 1073741824 1073778376 140736173260064 140514134182952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29490] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29490/stat : 29490 (java) S 29480 29483 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24107583 10060525568 38554 33554432000 1073741824 1073778376 140736173260064 140514133129384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29491] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29491/stat : 29491 (java) S 29480 29483 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24107583 10060525568 38554 33554432000 1073741824 1073778376 140736173260064 140514132076840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29492] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29492/stat : 29492 (java) S 29480 29483 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24107583 10060525568 38554 33554432000 1073741824 1073778376 140736173260064 140514131024296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29493] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29493/stat : 29493 (java) S 29480 29483 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24107583 10060525568 38554 33554432000 1073741824 1073778376 140736173260064 140514129971752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29494] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29494/stat : 29494 (java) S 29480 29483 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24107584 10060525568 38554 33554432000 1073741824 1073778376 140736173260064 140514117560936 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29495] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29495/stat : 29495 (java) S 29480 29483 22589 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24107585 10060525568 38554 33554432000 1073741824 1073778376 140736173260064 140514116507256 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29496] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29496/stat : 29496 (java) S 29480 29483 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24107585 10060525568 38554 33554432000 1073741824 1073778376 140736173260064 140514115454600 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29497] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29497/stat : 29497 (java) S 29480 29483 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24107587 10060525568 38554 33554432000 1073741824 1073778376 140736173260064 140514114403344 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29498] ppid=29480 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/29483/task/29498/stat : 29498 (java) S 29480 29483 22589 0 -1 4202560 9096 0 0 0 99 2 0 0 20 0 19 0 24107587 10060525568 38554 33554432000 1073741824 1073778376 140736173260064 140514113349688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29499] ppid=29480 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/29483/task/29499/stat : 29499 (java) S 29480 29483 22589 0 -1 4202560 10820 0 0 0 101 1 0 0 20 0 19 0 24107587 10060525568 38554 33554432000 1073741824 1073778376 140736173260064 140514112297144 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29483/tid=29500] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29500/stat : 29500 (java) S 29480 29483 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24107587 10060525568 38554 33554432000 1073741824 1073778376 140736173260064 140514111244792 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29483/tid=29501] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29501/stat : 29501 (java) S 29480 29483 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24107587 10060525568 38554 33554432000 1073741824 1073778376 140736173260064 140514110192456 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29483/tid=29505] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29505/stat : 29505 (java) S 29480 29483 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24107642 10060525568 38554 33554432000 1073741824 1073778376 140736173260064 140514105980584 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 9824732

[startup+3.10072 s]
/proc/loadavg: 4.08 4.12 4.08 6/220 29514
/proc/meminfo: memFree=27708936/32872528 swapFree=496868/529572
[pid=29483] ppid=29480 vsize=9824732 CPUtime=5.77 cores=1,3,5,7
/proc/29483/stat : 29483 (java) S 29480 29483 22589 0 -1 4202496 24180 0 1 0 563 14 0 0 20 0 22 0 24107582 10060525568 51980 33554432000 1073741824 1073778376 140736173260064 140736173251200 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29483/statm: 2456183 51980 2288 9 0 2446860 0
[pid=29483/tid=29484] ppid=29480 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/29483/task/29484/stat : 29484 (java) S 29480 29483 22589 0 -1 4202560 2543 0 1 0 55 2 0 0 20 0 22 0 24107583 10060525568 51980 33554432000 1073741824 1073778376 140736173260064 140514293412728 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29483/tid=29486] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29486/stat : 29486 (java) S 29480 29483 22589 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 24107583 10060525568 51980 33554432000 1073741824 1073778376 140736173260064 140514137340584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29487] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29487/stat : 29487 (java) S 29480 29483 22589 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 24107583 10060525568 51980 33554432000 1073741824 1073778376 140736173260064 140514136288040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29483/tid=29488] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29488/stat : 29488 (java) S 29480 29483 22589 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 24107583 10060525568 51980 33554432000 1073741824 1073778376 140736173260064 140514135235496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29483/tid=29489] ppid=29480 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29483/task/29489/stat : 29489 (java) S 29480 29483 22589 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 24107583 10060525568 51980 33554432000 1073741824 1073778376 140736173260064 140514134182952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29483/tid=29490] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29490/stat : 29490 (java) S 29480 29483 22589 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 24107583 10060525568 51980 33554432000 1073741824 1073778376 140736173260064 140514133129384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29483/tid=29491] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29491/stat : 29491 (java) S 29480 29483 22589 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 24107583 10060525568 51980 33554432000 1073741824 1073778376 140736173260064 140514132076840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29483/tid=29492] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29492/stat : 29492 (java) S 29480 29483 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24107583 10060525568 51980 33554432000 1073741824 1073778376 140736173260064 140514131024296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29483/tid=29493] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29493/stat : 29493 (java) S 29480 29483 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 24107583 10060525568 51980 33554432000 1073741824 1073778376 140736173260064 140514129971752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29494] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29494/stat : 29494 (java) S 29480 29483 22589 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 24107584 10060525568 51980 33554432000 1073741824 1073778376 140736173260064 140514117560936 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29495] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29495/stat : 29495 (java) S 29480 29483 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24107585 10060525568 51980 33554432000 1073741824 1073778376 140736173260064 140514116507256 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29496] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29496/stat : 29496 (java) S 29480 29483 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24107585 10060525568 51980 33554432000 1073741824 1073778376 140736173260064 140514115454600 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29497] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29497/stat : 29497 (java) S 29480 29483 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24107587 10060525568 51980 33554432000 1073741824 1073778376 140736173260064 140514114403344 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29498] ppid=29480 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/29483/task/29498/stat : 29498 (java) S 29480 29483 22589 0 -1 4202560 9102 0 0 0 105 2 0 0 20 0 22 0 24107587 10060525568 51980 33554432000 1073741824 1073778376 140736173260064 140514113349688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29499] ppid=29480 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/29483/task/29499/stat : 29499 (java) R 29480 29483 22589 0 -1 4202560 11015 0 0 0 114 2 0 0 20 0 22 0 24107587 10060525568 51980 33554432000 1073741824 1073778376 140736173260064 140514112297144 140514296319570 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29500] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29500/stat : 29500 (java) S 29480 29483 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24107587 10060525568 51980 33554432000 1073741824 1073778376 140736173260064 140514111244792 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29483/tid=29501] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29501/stat : 29501 (java) S 29480 29483 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24107587 10060525568 51980 33554432000 1073741824 1073778376 140736173260064 140514110192456 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29483/tid=29505] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29505/stat : 29505 (java) S 29480 29483 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24107642 10060525568 51980 33554432000 1073741824 1073778376 140736173260064 140514105980584 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (KiB) 9824732

[startup+6.30079 s]
/proc/loadavg: 4.31 4.16 4.09 4/217 29520
/proc/meminfo: memFree=27653848/32872528 swapFree=496868/529572
[pid=29483] ppid=29480 vsize=9824732 CPUtime=11.38 cores=1,3,5,7
/proc/29483/stat : 29483 (java) S 29480 29483 22589 0 -1 4202496 24853 0 1 0 1116 22 0 0 20 0 22 0 24107582 10060525568 59322 33554432000 1073741824 1073778376 140736173260064 140736173251200 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29483/statm: 2456183 59322 2293 9 0 2446860 0
[pid=29483/tid=29484] ppid=29480 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/29483/task/29484/stat : 29484 (java) S 29480 29483 22589 0 -1 4202560 2543 0 1 0 57 2 0 0 20 0 22 0 24107583 10060525568 59322 33554432000 1073741824 1073778376 140736173260064 140514293412728 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29483/tid=29486] ppid=29480 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/29483/task/29486/stat : 29486 (java) S 29480 29483 22589 0 -1 4202560 134 0 0 0 3 0 0 0 20 0 22 0 24107583 10060525568 59322 33554432000 1073741824 1073778376 140736173260064 140514137340584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29487] ppid=29480 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29483/task/29487/stat : 29487 (java) S 29480 29483 22589 0 -1 4202560 73 0 0 0 1 0 0 0 20 0 22 0 24107583 10060525568 59322 33554432000 1073741824 1073778376 140736173260064 140514136288040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29488] ppid=29480 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29483/task/29488/stat : 29488 (java) S 29480 29483 22589 0 -1 4202560 95 0 0 0 1 0 0 0 20 0 22 0 24107583 10060525568 59322 33554432000 1073741824 1073778376 140736173260064 140514135235496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29489] ppid=29480 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29483/task/29489/stat : 29489 (java) S 29480 29483 22589 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 22 0 24107583 10060525568 59322 33554432000 1073741824 1073778376 140736173260064 140514134182952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29490] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29490/stat : 29490 (java) S 29480 29483 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24107583 10060525568 59322 33554432000 1073741824 1073778376 140736173260064 140514133129384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29491] ppid=29480 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29483/task/29491/stat : 29491 (java) S 29480 29483 22589 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 22 0 24107583 10060525568 59322 33554432000 1073741824 1073778376 140736173260064 140514132076840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29492] ppid=29480 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29483/task/29492/stat : 29492 (java) S 29480 29483 22589 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 24107583 10060525568 59322 33554432000 1073741824 1073778376 140736173260064 140514131024296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29493] ppid=29480 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29483/task/29493/stat : 29493 (java) S 29480 29483 22589 0 -1 4202560 82 0 0 0 1 0 0 0 20 0 22 0 24107583 10060525568 59322 33554432000 1073741824 1073778376 140736173260064 140514129971752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29494] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29494/stat : 29494 (java) S 29480 29483 22589 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 24107584 10060525568 59322 33554432000 1073741824 1073778376 140736173260064 140514117560936 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29495] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29495/stat : 29495 (java) S 29480 29483 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24107585 10060525568 59322 33554432000 1073741824 1073778376 140736173260064 140514116507256 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29496] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29496/stat : 29496 (java) S 29480 29483 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24107585 10060525568 59322 33554432000 1073741824 1073778376 140736173260064 140514115454600 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29497] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29497/stat : 29497 (java) S 29480 29483 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24107587 10060525568 59322 33554432000 1073741824 1073778376 140736173260064 140514114403344 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29498] ppid=29480 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/29483/task/29498/stat : 29498 (java) S 29480 29483 22589 0 -1 4202560 9114 0 0 0 116 2 0 0 20 0 22 0 24107587 10060525568 59322 33554432000 1073741824 1073778376 140736173260064 140514113349688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29499] ppid=29480 vsize=9824732 CPUtime=1.36 cores=1,3,5,7

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


[startup+882.308 s]
/proc/loadavg: 4.18 4.21 4.13 5/219 29618
/proc/meminfo: memFree=25783508/32872528 swapFree=496868/529572
[pid=29483] ppid=29480 vsize=9824732 CPUtime=1770.49 cores=1,3,5,7
/proc/29483/stat : 29483 (java) S 29480 29483 22589 0 -1 4202496 39277 0 1 0 176761 288 0 0 20 0 22 0 24107582 10060525568 946957 33554432000 1073741824 1073778376 140736173260064 140736173251200 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29483/statm: 2456183 946957 2301 9 0 2446860 0
[pid=29483/tid=29484] ppid=29480 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/29483/task/29484/stat : 29484 (java) S 29480 29483 22589 0 -1 4202560 2558 0 1 0 60 3 0 0 20 0 22 0 24107583 10060525568 946957 33554432000 1073741824 1073778376 140736173260064 140514293412728 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29483/tid=29486] ppid=29480 vsize=9824732 CPUtime=2.92 cores=1,3,5,7
/proc/29483/task/29486/stat : 29486 (java) S 29480 29483 22589 0 -1 4202560 1533 0 0 0 268 24 0 0 20 0 22 0 24107583 10060525568 946957 33554432000 1073741824 1073778376 140736173260064 140514137340584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29487] ppid=29480 vsize=9824732 CPUtime=2.92 cores=1,3,5,7
/proc/29483/task/29487/stat : 29487 (java) S 29480 29483 22589 0 -1 4202560 1005 0 0 0 265 27 0 0 20 0 22 0 24107583 10060525568 946957 33554432000 1073741824 1073778376 140736173260064 140514136288040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29488] ppid=29480 vsize=9824732 CPUtime=2.85 cores=1,3,5,7
/proc/29483/task/29488/stat : 29488 (java) S 29480 29483 22589 0 -1 4202560 874 0 0 0 259 26 0 0 20 0 22 0 24107583 10060525568 946957 33554432000 1073741824 1073778376 140736173260064 140514135235496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29489] ppid=29480 vsize=9824732 CPUtime=2.87 cores=1,3,5,7
/proc/29483/task/29489/stat : 29489 (java) S 29480 29483 22589 0 -1 4202560 974 0 0 0 259 28 0 0 20 0 22 0 24107583 10060525568 946957 33554432000 1073741824 1073778376 140736173260064 140514134182952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29490] ppid=29480 vsize=9824732 CPUtime=3.12 cores=1,3,5,7
/proc/29483/task/29490/stat : 29490 (java) S 29480 29483 22589 0 -1 4202560 914 0 0 0 287 25 0 0 20 0 22 0 24107583 10060525568 946957 33554432000 1073741824 1073778376 140736173260064 140514133129384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29491] ppid=29480 vsize=9824732 CPUtime=2.87 cores=1,3,5,7
/proc/29483/task/29491/stat : 29491 (java) S 29480 29483 22589 0 -1 4202560 745 0 0 0 263 24 0 0 20 0 22 0 24107583 10060525568 946957 33554432000 1073741824 1073778376 140736173260064 140514132076840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29492] ppid=29480 vsize=9824732 CPUtime=2.96 cores=1,3,5,7
/proc/29483/task/29492/stat : 29492 (java) S 29480 29483 22589 0 -1 4202560 933 0 0 0 271 25 0 0 20 0 22 0 24107583 10060525568 946957 33554432000 1073741824 1073778376 140736173260064 140514131024296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29493] ppid=29480 vsize=9824732 CPUtime=3.03 cores=1,3,5,7
/proc/29483/task/29493/stat : 29493 (java) S 29480 29483 22589 0 -1 4202560 1088 0 0 0 276 27 0 0 20 0 22 0 24107583 10060525568 946957 33554432000 1073741824 1073778376 140736173260064 140514129971752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29483/tid=29494] ppid=29480 vsize=9824732 CPUtime=4.44 cores=1,3,5,7
/proc/29483/task/29494/stat : 29494 (java) S 29480 29483 22589 0 -1 4202560 2682 0 0 0 434 10 0 0 20 0 22 0 24107584 10060525568 946957 33554432000 1073741824 1073778376 140736173260064 140514117560936 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29495] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29495/stat : 29495 (java) S 29480 29483 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24107585 10060525568 946957 33554432000 1073741824 1073778376 140736173260064 140514116507256 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29496] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29496/stat : 29496 (java) S 29480 29483 22589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 24107585 10060525568 946957 33554432000 1073741824 1073778376 140736173260064 140514115454600 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29497] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29497/stat : 29497 (java) S 29480 29483 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24107587 10060525568 946957 33554432000 1073741824 1073778376 140736173260064 140514114403344 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29498] ppid=29480 vsize=9824732 CPUtime=1.97 cores=1,3,5,7
/proc/29483/task/29498/stat : 29498 (java) S 29480 29483 22589 0 -1 4202560 11273 0 0 0 194 3 0 0 20 0 22 0 24107587 10060525568 946957 33554432000 1073741824 1073778376 140736173260064 140514113349688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29499] ppid=29480 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/29483/task/29499/stat : 29499 (java) S 29480 29483 22589 0 -1 4202560 11277 0 0 0 144 2 0 0 20 0 22 0 24107587 10060525568 946957 33554432000 1073741824 1073778376 140736173260064 140514112297144 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29500] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29500/stat : 29500 (java) S 29480 29483 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24107587 10060525568 946957 33554432000 1073741824 1073778376 140736173260064 140514111244792 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29483/tid=29501] ppid=29480 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/29483/task/29501/stat : 29501 (java) S 29480 29483 22589 0 -1 4202560 51 0 0 0 16 17 0 0 20 0 22 0 24107587 10060525568 946957 33554432000 1073741824 1073778376 140736173260064 140514110192456 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29483/tid=29505] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29505/stat : 29505 (java) S 29480 29483 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24107642 10060525568 946957 33554432000 1073741824 1073778376 140736173260064 140514105980584 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29483/tid=29521] ppid=29480 vsize=9824732 CPUtime=865.82 cores=1,3,5,7
/proc/29483/task/29521/stat : 29521 (java) R 29480 29483 22589 0 -1 4202560 1071 0 0 0 86556 26 0 0 20 0 22 0 24108148 10060525568 946957 33554432000 1073741824 1073778376 140736173260064 140514107030688 140514166638466 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29522] ppid=29480 vsize=9824732 CPUtime=865.83 cores=1,3,5,7
/proc/29483/task/29522/stat : 29522 (java) R 29480 29483 22589 0 -1 4202560 895 0 0 0 86544 39 0 0 20 0 22 0 24108148 10060525568 946957 33554432000 1073741824 1073778376 140736173260064 140514108083264 140514166592810 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29483/tid=29523] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29523/stat : 29523 (java) S 29480 29483 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 24108149 10060525568 946957 33554432000 1073741824 1073778376 140736173260064 140514109137832 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1770.49
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+897.101 s]
/proc/loadavg: 4.14 4.20 4.12 5/219 29618
/proc/meminfo: memFree=25697808/32872528 swapFree=496868/529572
[pid=29483] ppid=29480 vsize=9824732 CPUtime=1800.13 cores=1,3,5,7
/proc/29483/stat : 29483 (java) S 29480 29483 22589 0 -1 4202496 39280 0 1 0 179724 289 0 0 20 0 22 0 24107582 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140736173251200 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29483/statm: 2456183 946959 2301 9 0 2446860 0
[pid=29483/tid=29484] ppid=29480 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/29483/task/29484/stat : 29484 (java) S 29480 29483 22589 0 -1 4202560 2558 0 1 0 60 3 0 0 20 0 22 0 24107583 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514293412728 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29483/tid=29486] ppid=29480 vsize=9824732 CPUtime=2.93 cores=1,3,5,7
/proc/29483/task/29486/stat : 29486 (java) S 29480 29483 22589 0 -1 4202560 1533 0 0 0 269 24 0 0 20 0 22 0 24107583 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514137340584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29487] ppid=29480 vsize=9824732 CPUtime=2.95 cores=1,3,5,7
/proc/29483/task/29487/stat : 29487 (java) S 29480 29483 22589 0 -1 4202560 1005 0 0 0 268 27 0 0 20 0 22 0 24107583 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514136288040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29483/tid=29488] ppid=29480 vsize=9824732 CPUtime=2.88 cores=1,3,5,7
/proc/29483/task/29488/stat : 29488 (java) S 29480 29483 22589 0 -1 4202560 875 0 0 0 262 26 0 0 20 0 22 0 24107583 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514135235496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29489] ppid=29480 vsize=9824732 CPUtime=2.88 cores=1,3,5,7
/proc/29483/task/29489/stat : 29489 (java) S 29480 29483 22589 0 -1 4202560 974 0 0 0 260 28 0 0 20 0 22 0 24107583 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514134182952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29483/tid=29490] ppid=29480 vsize=9824732 CPUtime=3.14 cores=1,3,5,7
/proc/29483/task/29490/stat : 29490 (java) S 29480 29483 22589 0 -1 4202560 914 0 0 0 289 25 0 0 20 0 22 0 24107583 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514133129384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29491] ppid=29480 vsize=9824732 CPUtime=2.87 cores=1,3,5,7
/proc/29483/task/29491/stat : 29491 (java) S 29480 29483 22589 0 -1 4202560 745 0 0 0 263 24 0 0 20 0 22 0 24107583 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514132076840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29492] ppid=29480 vsize=9824732 CPUtime=2.96 cores=1,3,5,7
/proc/29483/task/29492/stat : 29492 (java) S 29480 29483 22589 0 -1 4202560 933 0 0 0 271 25 0 0 20 0 22 0 24107583 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514131024296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29493] ppid=29480 vsize=9824732 CPUtime=3.04 cores=1,3,5,7
/proc/29483/task/29493/stat : 29493 (java) S 29480 29483 22589 0 -1 4202560 1088 0 0 0 277 27 0 0 20 0 22 0 24107583 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514129971752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29483/tid=29494] ppid=29480 vsize=9824732 CPUtime=4.44 cores=1,3,5,7
/proc/29483/task/29494/stat : 29494 (java) S 29480 29483 22589 0 -1 4202560 2683 0 0 0 434 10 0 0 20 0 22 0 24107584 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514117560936 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29495] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29495/stat : 29495 (java) S 29480 29483 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24107585 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514116507256 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29496] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29496/stat : 29496 (java) S 29480 29483 22589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 24107585 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514115454600 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29497] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29497/stat : 29497 (java) S 29480 29483 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24107587 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514114403344 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29498] ppid=29480 vsize=9824732 CPUtime=1.97 cores=1,3,5,7
/proc/29483/task/29498/stat : 29498 (java) S 29480 29483 22589 0 -1 4202560 11273 0 0 0 194 3 0 0 20 0 22 0 24107587 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514113349688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29499] ppid=29480 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/29483/task/29499/stat : 29499 (java) S 29480 29483 22589 0 -1 4202560 11277 0 0 0 144 2 0 0 20 0 22 0 24107587 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514112297144 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29500] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29500/stat : 29500 (java) S 29480 29483 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24107587 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514111244792 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29483/tid=29501] ppid=29480 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/29483/task/29501/stat : 29501 (java) S 29480 29483 22589 0 -1 4202560 51 0 0 0 16 18 0 0 20 0 22 0 24107587 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514110192456 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29483/tid=29505] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29505/stat : 29505 (java) S 29480 29483 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24107642 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514105980584 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29483/tid=29521] ppid=29480 vsize=9824732 CPUtime=880.59 cores=1,3,5,7
/proc/29483/task/29521/stat : 29521 (java) R 29480 29483 22589 0 -1 4202560 1072 0 0 0 88033 26 0 0 20 0 22 0 24108148 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514107032672 140514166625591 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29522] ppid=29480 vsize=9824732 CPUtime=880.58 cores=1,3,5,7
/proc/29483/task/29522/stat : 29522 (java) R 29480 29483 22589 0 -1 4202560 895 0 0 0 88019 39 0 0 20 0 22 0 24108148 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514108083264 140514166638882 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29483/tid=29523] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29523/stat : 29523 (java) S 29480 29483 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 24108149 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514109137832 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 9824732

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

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

[startup+897.101 s]
/proc/loadavg: 4.14 4.20 4.12 5/219 29618
/proc/meminfo: memFree=25697808/32872528 swapFree=496868/529572
[pid=29483] ppid=29480 vsize=9824732 CPUtime=1800.13 cores=1,3,5,7
/proc/29483/stat : 29483 (java) S 29480 29483 22589 0 -1 4202496 39280 0 1 0 179724 289 0 0 20 0 22 0 24107582 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140736173251200 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29483/statm: 2456183 946959 2301 9 0 2446860 0
[pid=29483/tid=29484] ppid=29480 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/29483/task/29484/stat : 29484 (java) S 29480 29483 22589 0 -1 4202560 2558 0 1 0 60 3 0 0 20 0 22 0 24107583 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514293412728 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29483/tid=29486] ppid=29480 vsize=9824732 CPUtime=2.93 cores=1,3,5,7
/proc/29483/task/29486/stat : 29486 (java) S 29480 29483 22589 0 -1 4202560 1533 0 0 0 269 24 0 0 20 0 22 0 24107583 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514137340584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29487] ppid=29480 vsize=9824732 CPUtime=2.95 cores=1,3,5,7
/proc/29483/task/29487/stat : 29487 (java) S 29480 29483 22589 0 -1 4202560 1005 0 0 0 268 27 0 0 20 0 22 0 24107583 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514136288040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29483/tid=29488] ppid=29480 vsize=9824732 CPUtime=2.88 cores=1,3,5,7
/proc/29483/task/29488/stat : 29488 (java) S 29480 29483 22589 0 -1 4202560 875 0 0 0 262 26 0 0 20 0 22 0 24107583 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514135235496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29489] ppid=29480 vsize=9824732 CPUtime=2.88 cores=1,3,5,7
/proc/29483/task/29489/stat : 29489 (java) S 29480 29483 22589 0 -1 4202560 974 0 0 0 260 28 0 0 20 0 22 0 24107583 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514134182952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29483/tid=29490] ppid=29480 vsize=9824732 CPUtime=3.14 cores=1,3,5,7
/proc/29483/task/29490/stat : 29490 (java) S 29480 29483 22589 0 -1 4202560 914 0 0 0 289 25 0 0 20 0 22 0 24107583 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514133129384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29491] ppid=29480 vsize=9824732 CPUtime=2.87 cores=1,3,5,7
/proc/29483/task/29491/stat : 29491 (java) S 29480 29483 22589 0 -1 4202560 745 0 0 0 263 24 0 0 20 0 22 0 24107583 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514132076840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29492] ppid=29480 vsize=9824732 CPUtime=2.96 cores=1,3,5,7
/proc/29483/task/29492/stat : 29492 (java) S 29480 29483 22589 0 -1 4202560 933 0 0 0 271 25 0 0 20 0 22 0 24107583 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514131024296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29493] ppid=29480 vsize=9824732 CPUtime=3.04 cores=1,3,5,7
/proc/29483/task/29493/stat : 29493 (java) S 29480 29483 22589 0 -1 4202560 1088 0 0 0 277 27 0 0 20 0 22 0 24107583 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514129971752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29483/tid=29494] ppid=29480 vsize=9824732 CPUtime=4.44 cores=1,3,5,7
/proc/29483/task/29494/stat : 29494 (java) S 29480 29483 22589 0 -1 4202560 2683 0 0 0 434 10 0 0 20 0 22 0 24107584 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514117560936 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29495] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29495/stat : 29495 (java) S 29480 29483 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24107585 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514116507256 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29496] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29496/stat : 29496 (java) S 29480 29483 22589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 24107585 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514115454600 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29497] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29497/stat : 29497 (java) S 29480 29483 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24107587 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514114403344 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29498] ppid=29480 vsize=9824732 CPUtime=1.97 cores=1,3,5,7
/proc/29483/task/29498/stat : 29498 (java) S 29480 29483 22589 0 -1 4202560 11273 0 0 0 194 3 0 0 20 0 22 0 24107587 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514113349688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29499] ppid=29480 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/29483/task/29499/stat : 29499 (java) S 29480 29483 22589 0 -1 4202560 11277 0 0 0 144 2 0 0 20 0 22 0 24107587 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514112297144 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29483/tid=29500] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29500/stat : 29500 (java) S 29480 29483 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24107587 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514111244792 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29483/tid=29501] ppid=29480 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/29483/task/29501/stat : 29501 (java) S 29480 29483 22589 0 -1 4202560 51 0 0 0 16 18 0 0 20 0 22 0 24107587 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514110192456 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29483/tid=29505] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29505/stat : 29505 (java) S 29480 29483 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24107642 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514105980584 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29483/tid=29521] ppid=29480 vsize=9824732 CPUtime=880.59 cores=1,3,5,7
/proc/29483/task/29521/stat : 29521 (java) R 29480 29483 22589 0 -1 4202560 1072 0 0 0 88033 26 0 0 20 0 22 0 24108148 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514107032672 140514166625591 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29483/tid=29522] ppid=29480 vsize=9824732 CPUtime=880.58 cores=1,3,5,7
/proc/29483/task/29522/stat : 29522 (java) R 29480 29483 22589 0 -1 4202560 895 0 0 0 88019 39 0 0 20 0 22 0 24108148 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514108083264 140514166638882 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29483/tid=29523] ppid=29480 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29483/task/29523/stat : 29523 (java) S 29480 29483 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 24108149 10060525568 946959 33554432000 1073741824 1073778376 140736173260064 140514109137832 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 897.173
CPU time (s): 1800.82
CPU user time (s): 1797.46
CPU system time (s): 3.36149
CPU usage (%): 200.722
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.46
system time used= 3.36149
maximum resident set size= 3787948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39317
page faults= 1
swaps= 0
block input operations= 0
block output operations= 896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25212
involuntary context switches= 30986

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.64314 second user time and 7.54485 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-18 05:30:22
IDJOB=4103222
IDBENCH=2302
IDSOLVER=2543
FILE ID=node141/4103222-1466220621
RUNJOBID= node141-1466206051-22606
PBS_JOBID= 19918136
Free space on /tmp= 71720 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-ran17x17.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103222-1466220621/watcher-4103222-1466220621 -o /tmp/evaluation-result-4103222-1466220621/solver-4103222-1466220621 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466206051-22606 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4103222-1466220621.opb

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

MD5SUM BENCH= 041d40ba01d992f8c3bb358df2c9aea9
RANDOM SEED=372763269

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27883908 kB
Buffers:           98336 kB
Cached:           104888 kB
SwapCached:         2524 kB
Active:          3580096 kB
Inactive:         135712 kB
Active(anon):    3513044 kB
Inactive(anon):     2020 kB
Active(file):      67052 kB
Inactive(file):   133692 kB
Unevictable:      529572 kB
Mlocked:          496868 kB
SwapTotal:      67108856 kB
SwapFree:       67099064 kB
Dirty:              1364 kB
Writeback:             0 kB
AnonPages:       4040904 kB
Mapped:            15372 kB
Shmem:                 0 kB
Slab:             604292 kB
SReclaimable:      47456 kB
SUnreclaim:       556836 kB
KernelStack:        1600 kB
PageTables:        12132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4451904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3491840 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= 71728 MiB
End job on node141 at 2016-06-18 05:45:19