Trace number 4458415

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 Resolution Default 2024-07-07SAT (TO)-88 3602.3 2444.98

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_50.opb
MD5SUM2373b25163347951ef97566f5f53795c
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-98
Best CPU time to get the best result obtained on this benchmark0.495475
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7450
Total number of constraints2649
Number of constraints which are clauses2500
Number of constraints which are cardinality constraints (but not clauses)99
Number of constraints which are nor clauses,nor cardinality constraints50
Minimum length of a constraint3
Maximum length of a constraint51
Number of terms in the objective function 4950
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4950
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 50
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 4950
Number of bits of the biggest sum of numbers13
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.14/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.14/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.14/0.12	c See www.sat4j.org for details.
0.14/0.13	c version CUSTOM.v20240707
0.14/0.16	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.16	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.16	c java.vm.version	22.0.1+8-16
0.14/0.16	c java.vm.vendor	Oracle Corporation
0.14/0.16	c sun.arch.data.model	64
0.14/0.16	c java.version		22.0.1
0.14/0.16	c os.name		Linux
0.14/0.16	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.16	c os.arch		amd64
0.14/0.16	c Free memory 		2115194816
0.14/0.17	c Max memory 		16282288128
0.14/0.17	c Total memory 		2122317824
0.14/0.17	c Number of processors 	2
0.32/0.26	--- Begin Solver configuration ---
0.32/0.26	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.32/0.26	Learn all clauses as in MiniSAT
0.32/0.26	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.32/0.26	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.32/0.26	No reason simplification
0.32/0.26	Glucose 2.1 dynamic restart strategy
0.32/0.26	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.32/0.26	timeout=2147483s
0.32/0.26	DB Simplification allowed=false
0.32/0.26	Listener: none
0.32/0.26	--- End Solver configuration ---
0.32/0.26	c Pseudo Boolean Optimization by upper bound
0.32/0.26	c --- Begin Solver configuration ---
0.32/0.26	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.32/0.26	c Learn all clauses as in MiniSAT
0.32/0.26	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.32/0.26	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.32/0.26	c No reason simplification
0.32/0.26	c Glucose 2.1 dynamic restart strategy
0.32/0.26	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.32/0.26	c timeout=2147483s
0.32/0.26	c DB Simplification allowed=false
0.32/0.26	c Listener: none
0.32/0.26	c --- End Solver configuration ---
0.32/0.26	c solving HOME/instance-4458415-1721877742.opb
0.32/0.27	c reading problem ... 
0.32/0.27	c  objective function found
0.86/0.55	c ... done. Wall clock time 0.286s.
0.86/0.55	c declared #vars     7450
0.86/0.55	c #constraints  2649
0.86/0.55	c constraints type 
0.86/0.55	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 99
0.86/0.55	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 50
0.86/0.55	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2500
0.86/0.55	c 2649 constraints processed.
0.86/0.59	c objective function length is 4950 literals
3.27/1.94	c cleaning 2498 clauses out of 5004 with flag 31911/5004
4.57/3.06	c cleaning 4251 clauses out of 8506 with flag 72157/11004
6.00/4.50	c cleaning 5620 clauses out of 11251 with flag 120534/18000
6.10/4.56	c SATISFIABLE
6.10/4.56	c OPTIMIZING...
6.10/4.57	c Got one! Elapsed wall clock time (in seconds):4.3
6.10/4.57	o -61
7.20/5.50	c Got one! Elapsed wall clock time (in seconds):5.238
7.20/5.50	o -84
7.63/5.81	c cleaning 5658 clauses out of 11320 with flag 6771/23689
8.48/6.65	c Got one! Elapsed wall clock time (in seconds):6.394
8.48/6.65	o -88
10.01/7.63	c cleaning 5399 clauses out of 10805 with flag 6019/28832
14.21/10.72	c cleaning 5698 clauses out of 11406 with flag 22683/34832
17.84/13.67	c cleaning 6351 clauses out of 12709 with flag 41911/41833
23.07/17.55	c cleaning 7179 clauses out of 14357 with flag 62333/49832
28.41/21.79	c cleaning 8084 clauses out of 16178 with flag 88458/58832
34.18/26.47	c cleaning 9045 clauses out of 18095 with flag 121566/68833
40.63/31.81	c cleaning 10022 clauses out of 20050 with flag 153067/79833
49.20/38.51	c cleaning 11013 clauses out of 22028 with flag 184227/91833
58.98/45.06	c cleaning 12003 clauses out of 24014 with flag 216505/104832
67.83/52.17	c cleaning 13006 clauses out of 26011 with flag 254254/118832
77.25/60.18	c cleaning 14003 clauses out of 28005 with flag 295675/133832
91.69/72.30	c cleaning 15001 clauses out of 30002 with flag 341464/149832
110.24/86.01	c cleaning 15998 clauses out of 32002 with flag 390075/166833
125.05/99.03	c cleaning 17001 clauses out of 34003 with flag 441556/184832
146.42/115.05	c cleaning 17999 clauses out of 36003 with flag 495977/203833
165.44/129.82	c cleaning 19002 clauses out of 38003 with flag 553114/223832
184.45/146.14	c cleaning 19997 clauses out of 40001 with flag 613171/244832
204.96/164.00	c cleaning 21001 clauses out of 42004 with flag 676237/266832
230.98/183.00	c cleaning 22001 clauses out of 44004 with flag 729162/289833
254.24/201.11	c cleaning 22999 clauses out of 46004 with flag 783632/313834
275.69/219.61	c cleaning 24000 clauses out of 48005 with flag 840413/338834
297.84/238.90	c cleaning 25001 clauses out of 50006 with flag 899461/364835
328.08/260.85	c cleaning 26001 clauses out of 52003 with flag 960782/391833
353.70/283.32	c cleaning 26997 clauses out of 54002 with flag 1024368/419833
379.67/305.41	c cleaning 27998 clauses out of 56004 with flag 1090253/448832
412.19/328.27	c cleaning 28998 clauses out of 58007 with flag 1157930/478833
440.19/352.33	c cleaning 30004 clauses out of 60010 with flag 1225661/509834
475.80/378.59	c cleaning 30997 clauses out of 62004 with flag 1295491/541832
509.69/404.25	c cleaning 32000 clauses out of 64007 with flag 1367449/574832
540.20/430.03	c cleaning 32998 clauses out of 66007 with flag 1441543/608832
580.03/459.32	c cleaning 34004 clauses out of 68009 with flag 1517745/643832
613.54/487.70	c cleaning 34999 clauses out of 70005 with flag 1596126/679832
660.44/522.92	c cleaning 36003 clauses out of 72008 with flag 1676693/716834
713.96/565.72	c cleaning 36996 clauses out of 74003 with flag 1759427/754832
768.15/607.89	c cleaning 38001 clauses out of 76008 with flag 1844339/793833
823.79/647.88	c cleaning 39001 clauses out of 78008 with flag 1931519/833834
873.32/684.02	c cleaning 39999 clauses out of 80005 with flag 2020796/874832
914.58/715.72	c cleaning 41001 clauses out of 82006 with flag 2112260/916832
967.75/756.83	c cleaning 42000 clauses out of 84005 with flag 2205892/959832
1018.09/791.86	c cleaning 43001 clauses out of 86005 with flag 2301709/1003832
1064.50/829.92	c cleaning 43998 clauses out of 88004 with flag 2399916/1048832
1119.59/873.43	c cleaning 45002 clauses out of 90006 with flag 2500322/1094832
1174.11/910.47	c cleaning 45999 clauses out of 92004 with flag 2602907/1141832
1219.72/950.48	c cleaning 47001 clauses out of 94005 with flag 2707680/1189832
1282.29/1000.93	c cleaning 48001 clauses out of 96004 with flag 2814636/1238832
1341.88/1043.29	c cleaning 48999 clauses out of 98004 with flag 2923779/1288833
1410.16/1096.36	c cleaning 50001 clauses out of 100006 with flag 3035096/1339834
1471.97/1141.90	c cleaning 51000 clauses out of 102003 with flag 3148561/1391832
1546.50/1195.09	c cleaning 52002 clauses out of 104003 with flag 3264108/1444832
1610.83/1241.55	c cleaning 53001 clauses out of 106001 with flag 3382923/1498832
1695.86/1300.46	c cleaning 53997 clauses out of 108000 with flag 3504758/1553832
1798.80/1362.39	c cleaning 55000 clauses out of 110003 with flag 3628809/1609832
1896.39/1421.21	c cleaning 55998 clauses out of 112003 with flag 3755003/1666832
2001.78/1483.73	c cleaning 57002 clauses out of 114007 with flag 3881541/1724834
2105.34/1547.34	c cleaning 57999 clauses out of 116003 with flag 4010241/1783832
2211.53/1611.56	c cleaning 59002 clauses out of 118005 with flag 4141140/1843833
2311.54/1671.71	c cleaning 60000 clauses out of 120003 with flag 4274213/1904833
2412.59/1732.95	c cleaning 60998 clauses out of 122002 with flag 4409464/1966832
2521.66/1797.43	c cleaning 61998 clauses out of 124004 with flag 4546902/2029832
2634.59/1866.27	c cleaning 63001 clauses out of 126006 with flag 4686519/2093832
2744.14/1931.94	c cleaning 63999 clauses out of 128005 with flag 4828309/2158832
2851.69/2000.19	c cleaning 64999 clauses out of 130006 with flag 4972302/2224832
2962.31/2067.94	c cleaning 66004 clauses out of 132008 with flag 5118450/2291833
3101.08/2153.48	c cleaning 67002 clauses out of 134003 with flag 5268341/2359832
3238.39/2233.51	c cleaning 67998 clauses out of 136001 with flag 5421194/2428832
3376.91/2312.73	c cleaning 68999 clauses out of 138006 with flag 5576264/2498835
3512.55/2392.93	c cleaning 69999 clauses out of 140005 with flag 5733540/2569833
3601.63/2444.65	c starts		: 1938
3601.63/2444.66	c conflicts		: 2624981
3601.63/2444.66	c decisions		: 12148219
3601.63/2444.66	c propagations		: 84133218
3601.63/2444.66	c inspects		: 1462751884
3601.63/2444.66	c shortcuts		: 0
3601.63/2444.69	c learnt literals	: 0
3601.63/2444.69	c learnt binary clauses	: 0
3601.63/2444.69	c learnt ternary clauses	: 0
3601.63/2444.69	c learnt constraints	: 2624981
3601.63/2444.69	c ignored constraints	: 0
3601.63/2444.69	c root simplifications	: 0
3601.63/2444.69	c removed literals (reason simplification)	: 0
3601.63/2444.69	c reason swapping (by a shorter reason)	: 0
3601.63/2444.69	c Calls to reduceDB	: 71
3601.63/2444.69	c Number of update (reduction) of LBD	: 37788
3601.63/2444.69	c Imported unit clauses	: 0
3601.63/2444.69	c No decision after first conflict	: false
3601.63/2444.69	c number of reductions to clauses (during analyze)	: 0
3601.63/2444.69	c number of learned constraints concerned by reduction	: 0
3601.63/2444.69	c number of learning phase by resolution	: 0
3601.63/2444.69	c number of learning phase by cutting planes	: 0
3601.63/2444.69	c number of rounding to 1 operations	: 0
3601.63/2444.69	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3601.63/2444.69	c number of reductions of the coefficients by power 2 	: 0
3601.63/2444.69	c number of right shift for reduction by power 2 	: 0
3601.63/2444.69	c number of reductions of the coefficients by GCD over coefficients 	: 0
3601.63/2444.69	c number of ending skipping 	: 0
3601.63/2444.69	c number of internal skipping 	: 0
3601.63/2444.69	c number of derivation steps 	: 0
3601.63/2444.69	c number of skipped derivation steps 	: 0
3601.63/2444.69	c number of remaining unassigned 	: 0
3601.63/2444.69	c number of remaining assigned 	: 0
3601.63/2444.69	c number of falsified literals weakened from reason	: 0
3601.63/2444.69	c number of falsified literals weakened from conflict	: 0
3601.63/2444.69	c time for arithmetic operations	: 0
3601.81/2444.71	c minimum degree of deleted constraints	: null
3601.81/2444.71	c maximum degree of deleted constraints	: null
3601.81/2444.71	c number of deleted constraints	: 0
3601.81/2444.71	c speed (assignments/second)	: 34423.02740030367
3601.81/2444.71	c non guided choices	: 14610
3602.01/2444.82	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 125154
3602.01/2444.83	s SATISFIABLE
3602.01/2444.83	c Found 3 solution(s)
3602.01/2444.88	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 
3602.01/2444.88	c objective function=-88
3602.01/2444.88	c Total wall clock time (in seconds): 2444.618

Verifier Data 

OK	-88

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (24087 MiB free)
  memory of node 1: 64510 MiB (59246 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458415-1721877742/watcher-4458415-1721877742 -o /tmp/evaluation-result-4458415-1721877742/solver-4458415-1721877742 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721877730-262299 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4458415-1721877742.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=262483, runsolver pid=262480

[startup+0.10007 s]*
/proc/loadavg: 2.14 1.36 1.67 9/318 262501
/proc/meminfo: memFree=85295060/131655788 swapFree=131059112/131071996
[pid=262483] ppid=262480 vsize=18975048 memory=58428 CPUtime=0.14 cores=5,7
/proc/262483/stat : 262483 (java) S 262480 262483 262286 0 -1 1077936128 6514 0 0 0 11 3 0 0 20 0 18 0 23763737 19430449152 14607 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
/proc/262483/statm: 4743762 14607 5708 1 0 550933 0
[pid=262483/tid=262485] ppid=262480 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/262483/task/262485/stat : 262485 (java) S 262480 262483 262286 0 -1 1077936192 5464 0 0 0 7 2 0 0 20 0 18 0 23763737 19430449152 14607 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262494] ppid=262480 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/262483/task/262494/stat : 262494 (Finalizer) S 262480 262483 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23763742 19430449152 14607 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262501] ppid=262480 vsize=18975048 memory=14128957269627868 CPUtime=0 cores=5,7
/proc/262483/task/262501/stat : 262501 (Common-Cleaner) S 262480 262483 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 23763743 19430449152 14607 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58428 KiB

[startup+0.218628 s]*
/proc/loadavg: 2.53 1.45 1.70 8/318 262501
/proc/meminfo: memFree=85281660/131655788 swapFree=131059112/131071996
[pid=262483] ppid=262480 vsize=18975048 memory=66968 CPUtime=0.32 cores=5,7
/proc/262483/stat : 262483 (java) S 262480 262483 262286 0 -1 1077936128 7125 0 0 0 28 4 0 0 20 0 18 0 23763737 19430449152 16742 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
/proc/262483/statm: 4743762 16742 5696 1 0 551443 0
[pid=262483/tid=262485] ppid=262480 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=5,7
/proc/262483/task/262485/stat : 262485 (java) S 262480 262483 262286 0 -1 1077936192 5696 0 0 0 17 3 0 0 20 0 18 0 23763737 19430449152 16742 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262494] ppid=262480 vsize=18975048 memory=1466016 CPUtime=0 cores=5,7
/proc/262483/task/262494/stat : 262494 (Finalizer) S 262480 262483 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23763742 19430449152 16742 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262501] ppid=262480 vsize=18975048 memory=16102571999764192 CPUtime=0 cores=5,7
/proc/262483/task/262501/stat : 262501 (Common-Cleaner) S 262480 262483 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 23763743 19430449152 16742 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66968 KiB

[startup+0.317439 s]*
/proc/loadavg: 2.53 1.45 1.70 7/318 262501
/proc/meminfo: memFree=85274436/131655788 swapFree=131059112/131071996
[pid=262483] ppid=262480 vsize=18975048 memory=69432 CPUtime=0.49 cores=5,7
/proc/262483/stat : 262483 (java) S 262480 262483 262286 0 -1 1077936128 7287 0 0 0 45 4 0 0 20 0 18 0 23763737 19430449152 17358 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
/proc/262483/statm: 4743762 17358 5713 1 0 551548 0
[pid=262483/tid=262485] ppid=262480 vsize=18975048 memory=-9175352423040656060 CPUtime=0.29 cores=5,7
/proc/262483/task/262485/stat : 262485 (java) R 262480 262483 262286 0 -1 4194368 5777 0 0 0 26 3 0 0 20 0 18 0 23763737 19430449152 17358 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262494] ppid=262480 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/262483/task/262494/stat : 262494 (Finalizer) S 262480 262483 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23763742 19430449152 17358 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262501] ppid=262480 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/262483/task/262501/stat : 262501 (Common-Cleaner) S 262480 262483 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 23763743 19430449152 17358 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 69432 KiB

[startup+0.70043 s]
/proc/loadavg: 2.53 1.45 1.70 8/318 262501
/proc/meminfo: memFree=85254552/131655788 swapFree=131059112/131071996
[pid=262483] ppid=262480 vsize=19041612 memory=96136 CPUtime=1.18 cores=5,7
/proc/262483/stat : 262483 (java) S 262480 262483 262286 0 -1 1077936128 9211 0 0 0 112 6 0 0 20 0 19 0 23763737 19498610688 24034 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
/proc/262483/statm: 4760403 24034 5868 1 0 553095 0
[pid=262483/tid=262485] ppid=262480 vsize=19041612 memory=5468 CPUtime=0.6 cores=5,7
/proc/262483/task/262485/stat : 262485 (java) R 262480 262483 262286 0 -1 4194368 5953 0 0 0 56 4 0 0 20 0 19 0 23763737 19498610688 24034 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262494] ppid=262480 vsize=19041612 memory=11904 CPUtime=0 cores=5,7
/proc/262483/task/262494/stat : 262494 (Finalizer) S 262480 262483 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23763742 19498610688 24034 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262501] ppid=262480 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/262483/task/262501/stat : 262501 (Common-Cleaner) S 262480 262483 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 23763743 19498610688 24034 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 96136 KiB

[startup+1.50506 s]
/proc/loadavg: 2.53 1.45 1.70 8/319 262502
/proc/meminfo: memFree=85217108/131655788 swapFree=131059112/131071996
[pid=262483] ppid=262480 vsize=19041612 memory=110672 CPUtime=2.77 cores=5,7
/proc/262483/stat : 262483 (java) S 262480 262483 262286 0 -1 1077936128 12503 0 0 0 270 7 0 0 20 0 19 0 23763737 19498610688 27668 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
/proc/262483/statm: 4760403 27668 5871 1 0 553917 0
[pid=262483/tid=262485] ppid=262480 vsize=19041612 memory=11904 CPUtime=1.39 cores=5,7
/proc/262483/task/262485/stat : 262485 (java) R 262480 262483 262286 0 -1 4194368 6139 0 0 0 135 4 0 0 20 0 19 0 23763737 19498610688 27668 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262494] ppid=262480 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/262483/task/262494/stat : 262494 (Finalizer) S 262480 262483 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23763742 19498610688 27668 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262501] ppid=262480 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/262483/task/262501/stat : 262501 (Common-Cleaner) S 262480 262483 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 23763743 19498610688 27668 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262502] ppid=262480 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/262483/task/262502/stat : 262502 (Timer-0) S 262480 262483 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23763798 19498610688 27668 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 110672 KiB

[startup+3.11314 s]
/proc/loadavg: 2.53 1.45 1.70 5/319 262503
/proc/meminfo: memFree=84873156/131655788 swapFree=131059112/131071996
[pid=262483] ppid=262480 vsize=19041612 memory=160360 CPUtime=4.7 cores=5,7
/proc/262483/stat : 262483 (java) S 262480 262483 262286 0 -1 1077936128 15821 0 0 0 461 9 0 0 20 0 19 0 23763737 19498610688 40090 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
/proc/262483/statm: 4760403 40090 5871 1 0 554520 0
[pid=262483/tid=262485] ppid=262480 vsize=19041612 memory=0 CPUtime=2.99 cores=5,7
/proc/262483/task/262485/stat : 262485 (java) R 262480 262483 262286 0 -1 4194368 7260 0 0 0 294 5 0 0 20 0 19 0 23763737 19498610688 40090 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262494] ppid=262480 vsize=19041612 memory=11644 CPUtime=0 cores=5,7
/proc/262483/task/262494/stat : 262494 (Finalizer) S 262480 262483 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23763742 19498610688 40090 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262501] ppid=262480 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/262483/task/262501/stat : 262501 (Common-Cleaner) S 262480 262483 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 23763743 19498610688 40090 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262502] ppid=262480 vsize=19041612 memory=11904 CPUtime=0 cores=5,7
/proc/262483/task/262502/stat : 262502 (Timer-0) S 262480 262483 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23763798 19498610688 40090 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
Current children cumulated CPU time: 4.7 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 160360 KiB

[startup+6.30443 s]
/proc/loadavg: 2.65 1.49 1.72 5/320 262504
/proc/meminfo: memFree=84598176/131655788 swapFree=131059112/131071996
[pid=262483] ppid=262480 vsize=19108176 memory=201156 CPUtime=8.13 cores=5,7
/proc/262483/stat : 262483 (java) S 262480 262483 262286 0 -1 1077936128 17320 0 0 0 803 10 0 0 20 0 20 0 23763737 19566772224 50289 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
/proc/262483/statm: 4777044 50289 5903 1 0 554812 0
[pid=262483/tid=262485] ppid=262480 vsize=19108176 memory=0 CPUtime=6.02 cores=5,7
/proc/262483/task/262485/stat : 262485 (java) S 262480 262483 262286 0 -1 1077936192 7730 0 0 0 597 5 0 0 20 0 20 0 23763737 19566772224 50289 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262494] ppid=262480 vsize=19108176 memory=11904 CPUtime=0 cores=5,7
/proc/262483/task/262494/stat : 262494 (Finalizer) S 262480 262483 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23763742 19566772224 50289 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262501] ppid=262480 vsize=19108176 memory=11644 CPUtime=0 cores=5,7
/proc/262483/task/262501/stat : 262501 (Common-Cleaner) S 262480 262483 262286 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 23763743 19566772224 50289 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262502] ppid=262480 vsize=19108176 memory=72028 CPUtime=0 cores=5,7
/proc/262483/task/262502/stat : 262502 (Timer-0) S 262480 262483 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23763798 19566772224 50289 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
Current children cumulated CPU time: 8.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 201156 KiB

[startup+12.7004 s]
/proc/loadavg: 2.83 1.55 1.73 5/320 262506
/proc/meminfo: memFree=82591936/131655788 swapFree=131059112/131071996
[pid=262483] ppid=262480 vsize=19108176 memory=2027344 CPUtime=16.63 cores=5,7
/proc/262483/stat : 262483 (java) S 262480 262483 262286 0 -1 1077936128 22390 0 0 0 1612 51 0 0 20 0 20 0 23763737 19566772224 506836 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
/proc/262483/statm: 4777044 506836 5919 1 0 2197001 0
[pid=262483/tid=262485] ppid=262480 vsize=19108176 memory=96676 CPUtime=10.66 cores=5,7
/proc/262483/task/262485/stat : 262485 (java) S 262480 262483 262286 0 -1 1077936192 8173 0 0 0 1048 18 0 0 20 0 20 0 23763737 19566772224 506836 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262494] ppid=262480 vsize=19108176 memory=1580872 CPUtime=0 cores=5,7
/proc/262483/task/262494/stat : 262494 (Finalizer) S 262480 262483 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23763742 19566772224 506836 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262501] ppid=262480 vsize=19108176 memory=164456 CPUtime=0 cores=5,7
/proc/262483/task/262501/stat : 262501 (Common-Cleaner) S 262480 262483 262286 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 23763743 19566772224 506836 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262502] ppid=262480 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/262483/task/262502/stat : 262502 (Timer-0) S 262480 262483 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23763798 19566772224 506836 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
Current children cumulated CPU time: 16.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2027344 KiB

[startup+25.5004 s]
/proc/loadavg: 3.01 1.63 1.76 6/320 262508
/proc/meminfo: memFree=77896776/131655788 swapFree=131059112/131071996
[pid=262483] ppid=262480 vsize=19108176 memory=5515344 CPUtime=33.18 cores=5,7
/proc/262483/stat : 262483 (java) S 262480 262483 262286 0 -1 1077936128 24916 0 0 0 3197 121 0 0 20 0 20 0 23763737 19566772224 1378836 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
/proc/262483/statm: 4777044 1378836 5919 1 0 2825779 0
[pid=262483/tid=262485] ppid=262480 vsize=19108176 memory=1580872 CPUtime=19.53 cores=5,7
/proc/262483/task/262485/stat : 262485 (java) S 262480 262483 262286 0 -1 1077936192 8718 0 0 0 1925 28 0 0 20 0 20 0 23763737 19566772224 1378836 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262494] ppid=262480 vsize=19108176 memory=4237388 CPUtime=0 cores=5,7
/proc/262483/task/262494/stat : 262494 (Finalizer) S 262480 262483 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23763742 19566772224 1378836 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262501] ppid=262480 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/262483/task/262501/stat : 262501 (Common-Cleaner) S 262480 262483 262286 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 23763743 19566772224 1378836 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262502] ppid=262480 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=5,7
/proc/262483/task/262502/stat : 262502 (Timer-0) S 262480 262483 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23763798 19566772224 1378836 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
Current children cumulated CPU time: 33.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5515344 KiB

[startup+51.1134 s]
/proc/loadavg: 3.58 1.91 1.85 8/320 262511
/proc/meminfo: memFree=70663436/131655788 swapFree=131059112/131071996
[pid=262483] ppid=262480 vsize=19108176 memory=10537796 CPUtime=66.58 cores=5,7
/proc/262483/stat : 262483 (java) S 262480 262483 262286 0 -1 1077936128 57674 0 0 0 6431 227 0 0 20 0 20 0 23763737 19566772224 2634449 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
/proc/262483/statm: 4777044 2634449 5919 1 0 3705566 0
[pid=262483/tid=262485] ppid=262480 vsize=19108176 memory=8204240 CPUtime=39.02 cores=5,7
/proc/262483/task/262485/stat : 262485 (java) S 262480 262483 262286 0 -1 1077936192 10475 0 0 0 3843 59 0 0 20 0 20 0 23763737 19566772224 2634449 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262494] ppid=262480 vsize=19108176 memory=9011164 CPUtime=0 cores=5,7
/proc/262483/task/262494/stat : 262494 (Finalizer) S 262480 262483 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23763742 19566772224 2634449 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262501] ppid=262480 vsize=19108176 memory=11644 CPUtime=0 cores=5,7

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

Current children cumulated memory: 16296812 KiB

[startup+2322.3 s]
/proc/loadavg: 4.99 4.91 4.57 6/320 264096
/proc/meminfo: memFree=40127828/131655788 swapFree=131059112/131071996
[pid=262483] ppid=262480 vsize=19108176 memory=16296932 CPUtime=3395.97 cores=5,7
/proc/262483/stat : 262483 (java) S 262480 262483 262286 0 -1 1077936128 582073 0 1 0 338940 657 0 0 20 0 20 0 23763737 19566772224 4074233 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
/proc/262483/statm: 4777044 4074233 5960 1 0 4085964 0
[pid=262483/tid=262485] ppid=262480 vsize=19108176 memory=16296820 CPUtime=1815.26 cores=5,7
/proc/262483/task/262485/stat : 262485 (java) S 262480 262483 262286 0 -1 1077936192 118248 0 0 0 181408 118 0 0 20 0 20 0 23763737 19566772224 4074233 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262494] ppid=262480 vsize=19108176 memory=16296820 CPUtime=0 cores=5,7
/proc/262483/task/262494/stat : 262494 (Finalizer) S 262480 262483 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23763742 19566772224 4074233 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262501] ppid=262480 vsize=19108176 memory=16296820 CPUtime=0 cores=5,7
/proc/262483/task/262501/stat : 262501 (Common-Cleaner) S 262480 262483 262286 0 -1 1077936192 608 0 0 0 0 0 0 0 20 0 20 0 23763743 19566772224 4074233 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262502] ppid=262480 vsize=19108176 memory=16296932 CPUtime=0 cores=5,7
/proc/262483/task/262502/stat : 262502 (Timer-0) S 262480 262483 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23763798 19566772224 4074233 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
Current children cumulated CPU time: 3395.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16296932 KiB

[startup+2382.3 s]
/proc/loadavg: 5.00 4.92 4.60 6/320 264107
/proc/meminfo: memFree=39004588/131655788 swapFree=131059112/131071996
[pid=262483] ppid=262480 vsize=19108176 memory=16296852 CPUtime=3491.47 cores=5,7
/proc/262483/stat : 262483 (java) S 262480 262483 262286 0 -1 1077936128 615873 0 1 0 348478 669 0 0 20 0 20 0 23763737 19566772224 4074213 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
/proc/262483/statm: 4777044 4074213 5960 1 0 4085964 0
[pid=262483/tid=262485] ppid=262480 vsize=19108176 memory=16296824 CPUtime=1864.89 cores=5,7
/proc/262483/task/262485/stat : 262485 (java) R 262480 262483 262286 0 -1 4194368 127283 0 0 0 186370 119 0 0 20 0 20 0 23763737 19566772224 4074213 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262494] ppid=262480 vsize=19108176 memory=16296852 CPUtime=0 cores=5,7
/proc/262483/task/262494/stat : 262494 (Finalizer) S 262480 262483 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23763742 19566772224 4074213 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262501] ppid=262480 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/262483/task/262501/stat : 262501 (Common-Cleaner) S 262480 262483 262286 0 -1 1077936192 608 0 0 0 0 0 0 0 20 0 20 0 23763743 19566772224 4074213 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262502] ppid=262480 vsize=19108176 memory=16296852 CPUtime=0 cores=5,7
/proc/262483/task/262502/stat : 262502 (Timer-0) S 262480 262483 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23763798 19566772224 4074213 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
Current children cumulated CPU time: 3491.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16296852 KiB

[startup+2442.3 s]
/proc/loadavg: 5.09 4.97 4.64 5/320 264117
/proc/meminfo: memFree=38746724/131655788 swapFree=131059112/131071996
[pid=262483] ppid=262480 vsize=19108176 memory=16296864 CPUtime=3598.54 cores=5,7
/proc/262483/stat : 262483 (java) S 262480 262483 262286 0 -1 1077936128 624161 0 1 0 359176 678 0 0 20 0 20 0 23763737 19566772224 4074216 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
/proc/262483/statm: 4777044 4074216 5960 1 0 4085964 0
[pid=262483/tid=262485] ppid=262480 vsize=19108176 memory=189317 CPUtime=1911.31 cores=5,7
/proc/262483/task/262485/stat : 262485 (java) R 262480 262483 262286 0 -1 4194368 128069 0 0 0 191012 119 0 0 20 0 20 0 23763737 19566772224 4074216 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262494] ppid=262480 vsize=19108176 memory=72028 CPUtime=0 cores=5,7
/proc/262483/task/262494/stat : 262494 (Finalizer) S 262480 262483 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23763742 19566772224 4074216 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262501] ppid=262480 vsize=19108176 memory=16296864 CPUtime=0 cores=5,7
/proc/262483/task/262501/stat : 262501 (Common-Cleaner) S 262480 262483 262286 0 -1 1077936192 673 0 0 0 0 0 0 0 20 0 20 0 23763743 19566772224 4074216 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262502] ppid=262480 vsize=19108176 memory=-9175352423040656060 CPUtime=0 cores=5,7
/proc/262483/task/262502/stat : 262502 (Timer-0) S 262480 262483 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23763798 19566772224 4074216 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
Current children cumulated CPU time: 3598.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16296864 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2443.81 s]
/proc/loadavg: 5.09 4.97 4.64 5/320 264118
/proc/meminfo: memFree=38746660/131655788 swapFree=131059112/131071996
[pid=262483] ppid=262480 vsize=19108176 memory=16296864 CPUtime=3600.05 cores=5,7
/proc/262483/stat : 262483 (java) S 262480 262483 262286 0 -1 1077936128 624161 0 1 0 359327 678 0 0 20 0 20 0 23763737 19566772224 4074216 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
/proc/262483/statm: 4777044 4074216 5960 1 0 4085964 0
[pid=262483/tid=262485] ppid=262480 vsize=19108176 memory=26124 CPUtime=1912.78 cores=5,7
/proc/262483/task/262485/stat : 262485 (java) S 262480 262483 262286 0 -1 1077936192 128069 0 0 0 191159 119 0 0 20 0 20 0 23763737 19566772224 4074216 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262494] ppid=262480 vsize=19108176 memory=24980 CPUtime=0 cores=5,7
/proc/262483/task/262494/stat : 262494 (Finalizer) S 262480 262483 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23763742 19566772224 4074216 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262501] ppid=262480 vsize=19108176 memory=-9175352423040656060 CPUtime=0 cores=5,7
/proc/262483/task/262501/stat : 262501 (Common-Cleaner) S 262480 262483 262286 0 -1 1077936192 673 0 0 0 0 0 0 0 20 0 20 0 23763743 19566772224 4074216 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262502] ppid=262480 vsize=19108176 memory=72028 CPUtime=0 cores=5,7
/proc/262483/task/262502/stat : 262502 (Timer-0) S 262480 262483 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23763798 19566772224 4074216 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16296864 KiB

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

[startup+2444.98 s]
# the end of solver process 262483 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3595.45 s, system=6.8532 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2444 s]*
/proc/loadavg: 5.09 4.97 4.64 6/320 264118
/proc/meminfo: memFree=38746708/131655788 swapFree=131059112/131071996
[pid=262483] ppid=262480 vsize=19108176 memory=16296864 CPUtime=3600.44 cores=5,7
/proc/262483/stat : 262483 (java) S 262480 262483 262286 0 -1 1077936128 624166 0 1 0 359366 678 0 0 20 0 20 0 23763737 19566772224 4074216 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
/proc/262483/statm: 4777044 4074216 5960 1 0 4085964 0
[pid=262483/tid=262485] ppid=262480 vsize=19108176 memory=-9175352423040656060 CPUtime=1912.78 cores=5,7
/proc/262483/task/262485/stat : 262485 (java) S 262480 262483 262286 0 -1 1077936192 128069 0 0 0 191159 119 0 0 20 0 20 0 23763737 19566772224 4074216 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262494] ppid=262480 vsize=19108176 memory=-7449091938733023616 CPUtime=0 cores=5,7
/proc/262483/task/262494/stat : 262494 (Finalizer) S 262480 262483 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23763742 19566772224 4074216 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262501] ppid=262480 vsize=19108176 memory=3473176045493421484 CPUtime=0 cores=5,7
/proc/262483/task/262501/stat : 262501 (Common-Cleaner) S 262480 262483 262286 0 -1 1077936192 673 0 0 0 0 0 0 0 20 0 20 0 23763743 19566772224 4074216 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262502] ppid=262480 vsize=19108176 memory=4279135703980218792 CPUtime=0 cores=5,7
/proc/262483/task/262502/stat : 262502 (Timer-0) S 262480 262483 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23763798 19566772224 4074216 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
Current children cumulated CPU time: 3600.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16296864 KiB

[startup+2444.4 s]
/proc/loadavg: 5.09 4.97 4.64 6/320 264118
/proc/meminfo: memFree=38746708/131655788 swapFree=131059112/131071996
[pid=262483] ppid=262480 vsize=19108176 memory=16296864 CPUtime=3601.23 cores=5,7
/proc/262483/stat : 262483 (java) S 262480 262483 262286 0 -1 1077936128 624166 0 1 0 359445 678 0 0 20 0 20 0 23763737 19566772224 4074216 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
/proc/262483/statm: 4777044 4074216 5960 1 0 4085964 0
[pid=262483/tid=262485] ppid=262480 vsize=19108176 memory=72028 CPUtime=1912.78 cores=5,7
/proc/262483/task/262485/stat : 262485 (java) S 262480 262483 262286 0 -1 1077936192 128069 0 0 0 191159 119 0 0 20 0 20 0 23763737 19566772224 4074216 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262494] ppid=262480 vsize=19108176 memory=16296864 CPUtime=0 cores=5,7
/proc/262483/task/262494/stat : 262494 (Finalizer) S 262480 262483 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23763742 19566772224 4074216 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262501] ppid=262480 vsize=19108176 memory=26124 CPUtime=0 cores=5,7
/proc/262483/task/262501/stat : 262501 (Common-Cleaner) S 262480 262483 262286 0 -1 1077936192 673 0 0 0 0 0 0 0 20 0 20 0 23763743 19566772224 4074216 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262502] ppid=262480 vsize=19108176 memory=24980 CPUtime=0 cores=5,7
/proc/262483/task/262502/stat : 262502 (Timer-0) S 262480 262483 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23763798 19566772224 4074216 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
Current children cumulated CPU time: 3601.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16296864 KiB

[startup+2444.8 s]
/proc/loadavg: 5.09 4.97 4.64 6/320 264118
/proc/meminfo: memFree=38746708/131655788 swapFree=131059112/131071996
[pid=262483] ppid=262480 vsize=19307868 memory=16297512 CPUtime=3602.01 cores=5,7
/proc/262483/stat : 262483 (java) S 262480 262483 262286 0 -1 1077936128 626083 0 1 0 359523 678 0 0 20 0 21 0 23763737 19771256832 4074378 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
/proc/262483/statm: 4826967 4074378 5959 1 0 4086870 0
[pid=262483/tid=262485] ppid=262480 vsize=19307868 memory=16296804 CPUtime=1912.95 cores=5,7
/proc/262483/task/262485/stat : 262485 (java) R 262480 262483 262286 0 -1 4194368 128190 0 0 0 191176 119 0 0 20 0 21 0 23763737 19771256832 4074378 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262494] ppid=262480 vsize=19307868 memory=-9175352423040656060 CPUtime=0 cores=5,7
/proc/262483/task/262494/stat : 262494 (Finalizer) S 262480 262483 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 23763742 19771256832 4074378 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262501] ppid=262480 vsize=19307868 memory=11644 CPUtime=0 cores=5,7
/proc/262483/task/262501/stat : 262501 (Common-Cleaner) S 262480 262483 262286 0 -1 1077936192 673 0 0 0 0 0 0 0 20 0 21 0 23763743 19771256832 4074378 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 16297512 KiB

[startup+2444.9 s]
/proc/loadavg: 5.09 4.97 4.64 6/320 264118
/proc/meminfo: memFree=38746708/131655788 swapFree=131059112/131071996
[pid=262483] ppid=262480 vsize=19307868 memory=16297608 CPUtime=3602.21 cores=5,7
/proc/262483/stat : 262483 (java) S 262480 262483 262286 0 -1 1077936128 626674 0 1 0 359543 678 0 0 20 0 17 0 23763737 19771256832 4074402 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
/proc/262483/statm: 4826967 4074402 5959 1 0 4086886 0
[pid=262483/tid=262485] ppid=262480 vsize=19307868 memory=72028 CPUtime=1913.05 cores=5,7
/proc/262483/task/262485/stat : 262485 (java) R 262480 262483 262286 0 -1 4194368 128190 0 0 0 191186 119 0 0 20 0 17 0 23763737 19771256832 4074402 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262494] ppid=262480 vsize=19307868 memory=-9175352423040656060 CPUtime=0 cores=5,7
/proc/262483/task/262494/stat : 262494 (Finalizer) S 262480 262483 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 17 0 23763742 19771256832 4074402 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
[pid=262483/tid=262501] ppid=262480 vsize=19307868 memory=16296864 CPUtime=0 cores=5,7
/proc/262483/task/262501/stat : 262501 (Common-Cleaner) S 262480 262483 262286 0 -1 1077936192 673 0 0 0 0 0 0 0 20 0 17 0 23763743 19771256832 4074402 134679101440 93873590341632 93873590345328 140723446374928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873590353144 93873590353936 93873613750272 140723446383623 140723446383713 140723446383713 140723446390728 0
Current children cumulated CPU time: 3602.21 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 16297608 KiB

Child status: 143

Real time (s): 2444.98
CPU time (s): 3602.3
CPU user time (s): 3595.45
CPU system time (s): 6.8532
CPU usage (%): 147.334
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 16297608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.45
system time used= 6.8532
maximum resident set size= 16298420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 626738
page faults= 1
swaps= 0
block input operations= 8
block output operations= 2592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 93791
involuntary context switches= 58173


# summary of solver processes directly reported to runsolver:
#   pid: 262483
#   total CPU time (s): 3602.3
#   total CPU user time (s): 3595.45
#   total CPU system time (s): 6.8532

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.06928 second user time and 16.5834 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-25 05:22:22
IDJOB=4458415
IDBENCH=177419
IDSOLVER=3058
FILE ID=nodeC010/4458415-1721877742
RUNJOBID= nodeC010-1721877730-262299
SLURM_JOB_ID= 8089272
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_50.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458415-1721877742/watcher-4458415-1721877742 -o /tmp/evaluation-result-4458415-1721877742/solver-4458415-1721877742 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721877730-262299 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4458415-1721877742.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 2373b25163347951ef97566f5f53795c
RANDOM SEED=899169023

nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.805
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3656.055
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.373
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1596.402
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3675.463
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.840
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.309
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1296.959
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        85336620 kB
MemAvailable:   128851956 kB
Buffers:          278376 kB
Cached:         43576272 kB
SwapCached:          216 kB
Active:          2156900 kB
Inactive:       42949052 kB
Active(anon):       1700 kB
Inactive(anon):  1303156 kB
Active(file):    2155200 kB
Inactive(file): 41645896 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131059112 kB
Dirty:              5152 kB
Writeback:            12 kB
AnonPages:       1250928 kB
Mapped:           119744 kB
Shmem:             53556 kB
KReclaimable:     775984 kB
Slab:             895888 kB
SReclaimable:     775984 kB
SUnreclaim:       119904 kB
KernelStack:        4848 kB
PageTables:        12780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    8350884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14784 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1044480 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      412488 kB
DirectMap2M:    54018048 kB
DirectMap1G:    81788928 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC010 at 2024-07-25 06:03:07