Trace number 4519890

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 2025-06-06SAT (TO)-30 3600.25 3591.04

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_60.opb
MD5SUM8a6dbe9648cdf1a99b0bd946afbbdeb1
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-30
Best CPU time to get the best result obtained on this benchmark0.541281
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7260
Total number of constraints2010
Number of constraints which are clauses1860
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints60
Minimum length of a constraint3
Maximum length of a constraint61
Number of terms in the objective function 3600
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 3600
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 60
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 3600
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.10	c version PB25.v20250606
0.09/0.11	c java.runtime.name	OpenJDK Runtime Environment
0.09/0.11	c java.vm.name		OpenJDK 64-Bit Server VM
0.09/0.11	c java.vm.version	22.0.1+8-16
0.09/0.11	c java.vm.vendor	Oracle Corporation
0.09/0.11	c sun.arch.data.model	64
0.09/0.11	c java.version		22.0.1
0.09/0.11	c os.name		Linux
0.09/0.11	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.09/0.11	c os.arch		amd64
0.09/0.11	c Free memory 		2104792832
0.09/0.11	c Max memory 		16282288128
0.09/0.11	c Total memory 		2113929216
0.09/0.11	c Number of processors 	2
0.09/0.16	c Pseudo Boolean Optimization by upper bound
0.09/0.16	c --- Begin Solver configuration ---
0.09/0.16	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.09/0.16	c Learn all clauses as in MiniSAT
0.09/0.16	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.16	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.16	c Expensive reason simplification
0.09/0.16	c Glucose 2.1 dynamic restart strategy
0.09/0.16	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.16	c timeout=2147483s
0.09/0.16	c DB Simplification allowed=false
0.09/0.16	c Listener: none
0.09/0.16	c --- End Solver configuration ---
0.09/0.16	c solving HOME/instance-4519890-1751565552.opb
0.09/0.16	c reading problem ... 
0.09/0.16	c  objective function found
0.27/0.27	c ... done. Wall clock time 0.102s.
0.27/0.27	c declared #vars     7260
0.27/0.27	c #constraints  2010
0.27/0.27	c constraints type 
0.27/0.27	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 90
0.27/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 60
0.27/0.27	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1860
0.27/0.27	c 2010 constraints processed.
0.27/0.28	c objective function length is 3600 literals
2.53/1.83	c SATISFIABLE
2.53/1.83	c OPTIMIZING...
2.53/1.83	c Got one! Elapsed wall clock time (in seconds):1.67
2.53/1.83	o -30
3.27/2.38	c cleaning 2845 clauses out of 5690 with flag 2488/5690
4.91/3.87	c cleaning 4410 clauses out of 8827 with flag 38595/11672
7.20/6.01	c cleaning 5700 clauses out of 11413 with flag 85947/18668
9.60/8.35	c cleaning 6849 clauses out of 13713 with flag 147103/26668
12.64/11.21	c cleaning 7929 clauses out of 15865 with flag 212661/35669
16.63/15.21	c cleaning 8962 clauses out of 17935 with flag 285430/45668
21.69/20.23	c cleaning 9950 clauses out of 19973 with flag 381892/56668
26.36/24.99	c cleaning 10976 clauses out of 22023 with flag 489163/68668
32.01/30.59	c cleaning 11984 clauses out of 24047 with flag 601918/81668
38.50/37.05	c cleaning 12997 clauses out of 26063 with flag 721217/95668
46.04/44.54	c cleaning 13995 clauses out of 28066 with flag 844352/110668
53.82/52.24	c cleaning 14998 clauses out of 30071 with flag 986899/126668
64.08/62.46	c cleaning 15999 clauses out of 32073 with flag 1142057/143668
74.05/72.45	c cleaning 17031 clauses out of 34074 with flag 1302513/161668
80.62/78.98	c cleaning 17998 clauses out of 36043 with flag 1461507/180668
89.64/87.97	c cleaning 19002 clauses out of 38045 with flag 1647417/200668
98.74/96.97	c cleaning 20000 clauses out of 40043 with flag 1824245/221668
108.77/106.91	c cleaning 21006 clauses out of 42046 with flag 2022885/243671
118.45/116.49	c cleaning 22000 clauses out of 44037 with flag 2249446/266668
129.56/127.52	c cleaning 22996 clauses out of 46038 with flag 2459109/290669
140.03/137.81	c cleaning 24015 clauses out of 48043 with flag 2668634/315670
154.79/152.52	c cleaning 25004 clauses out of 50026 with flag 2858341/341668
169.82/167.46	c cleaning 25999 clauses out of 52022 with flag 3061881/368668
183.11/179.30	c cleaning 27007 clauses out of 54024 with flag 3248666/396669
199.15/194.25	c cleaning 27999 clauses out of 56016 with flag 3399551/425668
212.23/207.31	c cleaning 29001 clauses out of 58017 with flag 3731695/455668
226.54/221.59	c cleaning 30001 clauses out of 60016 with flag 4066557/486668
242.21/237.29	c cleaning 30997 clauses out of 62015 with flag 4420301/518668
257.78/252.63	c cleaning 31998 clauses out of 64018 with flag 4816785/551668
275.25/270.16	c cleaning 33002 clauses out of 66021 with flag 5232510/585669
294.42/288.79	c cleaning 33996 clauses out of 68019 with flag 5690709/620669
319.28/313.56	c cleaning 35001 clauses out of 70022 with flag 6197947/656668
341.63/335.94	c cleaning 36001 clauses out of 72021 with flag 6635126/693668
361.11/355.39	c cleaning 37006 clauses out of 74022 with flag 7060082/731670
381.81/375.95	c cleaning 37995 clauses out of 76016 with flag 7495438/770670
404.06/398.24	c cleaning 39004 clauses out of 78021 with flag 7940659/810670
429.53/423.67	c cleaning 39991 clauses out of 80015 with flag 8465850/851668
455.12/449.13	c cleaning 41005 clauses out of 82026 with flag 8952628/893670
482.13/476.00	c cleaning 41995 clauses out of 84019 with flag 9445444/936668
510.36/504.34	c cleaning 43004 clauses out of 86024 with flag 9992932/980668
543.13/537.05	c cleaning 44000 clauses out of 88020 with flag 10587536/1025668
583.08/576.96	c cleaning 45005 clauses out of 90021 with flag 11242684/1071669
617.62/611.47	c cleaning 46001 clauses out of 92015 with flag 11950812/1118668
653.08/646.86	c cleaning 46999 clauses out of 94014 with flag 12575613/1166668
689.10/682.98	c cleaning 48000 clauses out of 96016 with flag 13167323/1215669
741.13/734.55	c cleaning 49003 clauses out of 98015 with flag 13826163/1265668
785.49/778.86	c cleaning 49999 clauses out of 100012 with flag 14360962/1316668
824.27/817.52	c cleaning 51003 clauses out of 102015 with flag 15020711/1368670
865.79/859.03	c cleaning 52001 clauses out of 104013 with flag 15735581/1421671
909.66/902.82	c cleaning 52996 clauses out of 106009 with flag 16496179/1475668
952.62/945.77	c cleaning 53993 clauses out of 108015 with flag 17246061/1530670
999.28/992.39	c cleaning 55004 clauses out of 110023 with flag 17946740/1586671
1040.87/1033.80	c cleaning 55999 clauses out of 112017 with flag 18726341/1643669
1084.85/1077.76	c cleaning 56999 clauses out of 114019 with flag 19590493/1701670
1133.81/1126.70	c cleaning 58003 clauses out of 116022 with flag 20507113/1760672
1187.12/1179.43	c cleaning 58999 clauses out of 118016 with flag 21388515/1820669
1231.96/1224.28	c cleaning 59996 clauses out of 120017 with flag 22298079/1881669
1284.74/1276.94	c cleaning 61000 clauses out of 122021 with flag 23172288/1943669
1336.42/1328.52	c cleaning 61997 clauses out of 124023 with flag 24053495/2006671
1389.98/1382.03	c cleaning 63003 clauses out of 126024 with flag 25036378/2070669
1445.27/1437.38	c cleaning 64004 clauses out of 128021 with flag 25991643/2135669
1497.34/1489.42	c cleaning 65000 clauses out of 130018 with flag 26945934/2201670
1554.22/1546.34	c cleaning 65999 clauses out of 132017 with flag 27946415/2268669
1612.91/1605.16	c cleaning 66998 clauses out of 134019 with flag 29080255/2336670
1679.99/1672.16	c cleaning 67999 clauses out of 136020 with flag 30137510/2405669
1748.55/1740.29	c cleaning 68997 clauses out of 138020 with flag 31226675/2475668
1819.60/1811.23	c cleaning 70003 clauses out of 140023 with flag 32343661/2546668
1886.57/1878.11	c cleaning 70998 clauses out of 142021 with flag 33446323/2618669
1953.99/1945.51	c cleaning 71999 clauses out of 144024 with flag 34558415/2691670
2033.29/2024.99	c cleaning 72996 clauses out of 146024 with flag 35744903/2765669
2119.89/2111.67	c cleaning 74003 clauses out of 148030 with flag 36930269/2840671
2210.08/2202.00	c cleaning 75003 clauses out of 150026 with flag 38104999/2916670
2293.61/2285.57	c cleaning 76001 clauses out of 152021 with flag 39385302/2993668
2383.77/2375.79	c cleaning 77000 clauses out of 154020 with flag 40722518/3071668
2466.42/2458.03	c cleaning 78001 clauses out of 156020 with flag 42025516/3150668
2555.19/2546.81	c cleaning 78997 clauses out of 158019 with flag 43291422/3230668
2641.19/2632.83	c cleaning 80001 clauses out of 160023 with flag 44678966/3311669
2720.71/2712.35	c cleaning 80998 clauses out of 162021 with flag 45981627/3393668
2818.96/2810.65	c cleaning 82002 clauses out of 164024 with flag 47304042/3476669
2915.84/2907.52	c cleaning 82996 clauses out of 166021 with flag 48715511/3560668
3018.21/3009.91	c cleaning 83997 clauses out of 168027 with flag 50292318/3645670
3129.10/3120.28	c cleaning 85007 clauses out of 170029 with flag 51939298/3731669
3241.62/3232.95	c cleaning 86002 clauses out of 172022 with flag 53529646/3818669
3357.94/3349.15	c cleaning 87000 clauses out of 174021 with flag 55086775/3906670
3471.28/3462.59	c cleaning 87993 clauses out of 176020 with flag 56761072/3995669
3584.58/3575.68	c cleaning 89008 clauses out of 178027 with flag 58188993/4085669
3600.01/3590.91	c starts		: 861
3600.01/3590.91	c conflicts		: 4105397
3600.01/3590.91	c decisions		: 8576618
3600.01/3590.91	c propagations		: 526355623
3600.01/3590.91	c inspects		: 20264534164
3600.01/3590.91	c shortcuts		: 0
3600.01/3590.91	c learnt literals	: 0
3600.01/3590.91	c learnt binary clauses	: 0
3600.01/3590.91	c learnt ternary clauses	: 0
3600.01/3590.91	c learnt constraints	: 4105397
3600.01/3590.91	c ignored constraints	: 0
3600.01/3590.91	c root simplifications	: 0
3600.01/3590.91	c removed literals (reason simplification)	: 121870856
3600.01/3590.91	c reason swapping (by a shorter reason)	: 0
3600.01/3590.91	c Calls to reduceDB	: 86
3600.01/3590.91	c Number of update (reduction) of LBD	: 2714396
3600.01/3590.91	c Imported unit clauses	: 0
3600.01/3590.91	c No decision after first conflict	: false
3600.01/3590.91	c number of reductions to clauses (during analyze)	: 0
3600.01/3590.91	c number of learned constraints concerned by reduction	: 0
3600.01/3590.91	c number of learning phase by resolution	: 0
3600.01/3590.91	c number of learning phase by cutting planes	: 0
3600.01/3590.91	c number of rounding to 1 operations	: 0
3600.01/3590.91	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3590.91	c number of reductions of the coefficients by power 2 	: 0
3600.01/3590.91	c number of right shift for reduction by power 2 	: 0
3600.01/3590.91	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3590.91	c number of ending skipping 	: 0
3600.01/3590.92	c number of internal skipping 	: 0
3600.01/3590.92	c number of derivation steps 	: 0
3600.01/3590.92	c number of skipped derivation steps 	: 0
3600.01/3590.92	c number of remaining unassigned 	: 0
3600.01/3590.92	c number of remaining assigned 	: 0
3600.01/3590.92	c number of falsified literals weakened from reason	: 0
3600.01/3590.92	c number of falsified literals weakened from conflict	: 0
3600.01/3590.92	c time for arithmetic operations	: 0
3600.01/3590.92	c minimum degree of deleted constraints	: null
3600.01/3590.92	c maximum degree of deleted constraints	: null
3600.01/3590.93	c number of deleted constraints	: 0
3600.01/3590.93	c speed (assignments/second)	: 146591.3177425819
3600.01/3590.93	c non guided choices	: 33730
3600.01/3590.98	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 108747
3600.01/3590.98	s SATISFIABLE
3600.01/3590.98	c Found 1 solution(s)
3600.01/3590.99	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 
3600.01/3591.01	c objective function=-30
3600.01/3591.01	c Total wall clock time (in seconds): 3590.846

Verifier Data 

OK	-30

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: 63665 MiB (62075 MiB free)
  memory of node 1: 64507 MiB (59798 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519890-1751565552/watcher-4519890-1751565552 -o /tmp/evaluation-result-4519890-1751565552/solver-4519890-1751565552 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751565552-81261 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4519890-1751565552.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=81310, runsolver pid=81301
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 0.43 0.90 1.43 10/337 81387
/proc/meminfo: memFree=124713584/131249996 swapFree=33010416/33010684
[pid=81310] ppid=81301 vsize=18930384 memory=52048 CPUtime=0.09 cores=4,6
/proc/81310/stat : 81310 (java) S 81301 81310 81250 0 -1 4194304 6162 0 1 0 7 2 0 0 20 0 18 0 72232933 19384713216 13012 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
/proc/81310/statm: 4732596 13012 5350 1 0 547269 0
[pid=81310/tid=81313] ppid=81301 vsize=18930384 memory=4026532124 CPUtime=0.05 cores=4,6
/proc/81310/task/81313/stat : 81313 (java) R 81301 81310 81250 0 -1 4194368 4951 0 0 0 4 1 0 0 20 0 18 0 72232935 19384713216 13012 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81343] ppid=81301 vsize=18930384 memory=16880 CPUtime=0 cores=4,6
/proc/81310/task/81343/stat : 81343 (Finalizer) S 81301 81310 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72232938 19384713216 13012 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81362] ppid=81301 vsize=18930384 memory=59585004307431 CPUtime=0 cores=4,6
/proc/81310/task/81362/stat : 81362 (Common-Cleaner) S 81301 81310 81250 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 72232938 19384713216 13012 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52048 KiB

[startup+0.205403 s]*
/proc/loadavg: 1.28 1.07 1.49 14/337 81387
/proc/meminfo: memFree=124686160/131249996 swapFree=33010416/33010684
[pid=81310] ppid=81301 vsize=18930384 memory=67816 CPUtime=0.27 cores=4,6
/proc/81310/stat : 81310 (java) S 81301 81310 81250 0 -1 4194304 6937 0 1 0 24 3 0 0 20 0 18 0 72232933 19384713216 16954 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
/proc/81310/statm: 4732596 16954 5446 1 0 547842 0
[pid=81310/tid=81313] ppid=81301 vsize=18930384 memory=4026728732 CPUtime=0.14 cores=4,6
/proc/81310/task/81313/stat : 81313 (java) R 81301 81310 81250 0 -1 4194368 5258 0 0 0 13 1 0 0 20 0 18 0 72232935 19384713216 16954 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81343] ppid=81301 vsize=18930384 memory=16880 CPUtime=0 cores=4,6
/proc/81310/task/81343/stat : 81343 (Finalizer) S 81301 81310 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72232938 19384713216 16954 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81362] ppid=81301 vsize=18930384 memory=59585004307431 CPUtime=0 cores=4,6
/proc/81310/task/81362/stat : 81362 (Common-Cleaner) S 81301 81310 81250 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 72232938 19384713216 16954 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 67816 KiB

[startup+0.306398 s]*
/proc/loadavg: 1.28 1.07 1.49 11/341 81391
/proc/meminfo: memFree=124655160/131249996 swapFree=33010416/33010684
[pid=81310] ppid=81301 vsize=18996948 memory=85408 CPUtime=0.46 cores=4,6
/proc/81310/stat : 81310 (java) S 81301 81310 81250 0 -1 4194304 8706 0 1 0 42 4 0 0 20 0 19 0 72232933 19452874752 21352 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
/proc/81310/statm: 4749237 21352 5478 1 0 549332 0
[pid=81310/tid=81313] ppid=81301 vsize=18996948 memory=-6000919494265367399 CPUtime=0.21 cores=4,6
/proc/81310/task/81313/stat : 81313 (java) R 81301 81310 81250 0 -1 4194368 5379 0 0 0 19 2 0 0 20 0 19 0 72232935 19452874752 21352 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81343] ppid=81301 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/81310/task/81343/stat : 81343 (Finalizer) S 81301 81310 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 72232938 19452874752 21352 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81362] ppid=81301 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/81310/task/81362/stat : 81362 (Common-Cleaner) S 81301 81310 81250 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 72232938 19452874752 21352 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81391] ppid=81301 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/81310/task/81391/stat : 81391 (Timer-0) S 81301 81310 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 72232962 19452874752 21352 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 85408 KiB

[startup+0.700213 s]
/proc/loadavg: 1.28 1.07 1.49 10/341 81391
/proc/meminfo: memFree=124622748/131249996 swapFree=33010416/33010684
[pid=81310] ppid=81301 vsize=18996948 memory=97388 CPUtime=1.22 cores=4,6
/proc/81310/stat : 81310 (java) S 81301 81310 81250 0 -1 4194304 10536 0 1 0 117 5 0 0 20 0 19 0 72232933 19452874752 24347 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
/proc/81310/statm: 4749237 24347 5510 1 0 550620 0
[pid=81310/tid=81313] ppid=81301 vsize=18996948 memory=18688 CPUtime=0.58 cores=4,6
/proc/81310/task/81313/stat : 81313 (java) R 81301 81310 81250 0 -1 4194368 5394 0 0 0 56 2 0 0 20 0 19 0 72232935 19452874752 24347 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81343] ppid=81301 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/81310/task/81343/stat : 81343 (Finalizer) S 81301 81310 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 72232938 19452874752 24347 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81362] ppid=81301 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/81310/task/81362/stat : 81362 (Common-Cleaner) S 81301 81310 81250 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 72232938 19452874752 24347 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81391] ppid=81301 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/81310/task/81391/stat : 81391 (Timer-0) S 81301 81310 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 72232962 19452874752 24347 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 97388 KiB

[startup+1.5002 s]
/proc/loadavg: 1.28 1.07 1.49 7/341 81391
/proc/meminfo: memFree=124515500/131249996 swapFree=33010416/33010684
[pid=81310] ppid=81301 vsize=18996948 memory=111852 CPUtime=2.16 cores=4,6
/proc/81310/stat : 81310 (java) S 81301 81310 81250 0 -1 4194304 11705 0 1 0 211 5 0 0 20 0 19 0 72232933 19452874752 27963 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
/proc/81310/statm: 4749237 27963 5510 1 0 550621 0
[pid=81310/tid=81313] ppid=81301 vsize=18996948 memory=10752 CPUtime=1.37 cores=4,6
/proc/81310/task/81313/stat : 81313 (java) R 81301 81310 81250 0 -1 4194368 5522 0 0 0 135 2 0 0 20 0 19 0 72232935 19452874752 27963 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81343] ppid=81301 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/81310/task/81343/stat : 81343 (Finalizer) S 81301 81310 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 72232938 19452874752 27963 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81362] ppid=81301 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/81310/task/81362/stat : 81362 (Common-Cleaner) S 81301 81310 81250 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 72232938 19452874752 27963 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81391] ppid=81301 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/81310/task/81391/stat : 81391 (Timer-0) S 81301 81310 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 72232962 19452874752 27963 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
Current children cumulated CPU time: 2.16 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 111852 KiB

[startup+3.10525 s]
/proc/loadavg: 1.28 1.07 1.49 6/344 81394
/proc/meminfo: memFree=123942708/131249996 swapFree=33010416/33010684
[pid=81310] ppid=81301 vsize=19063512 memory=303864 CPUtime=4.21 cores=4,6
/proc/81310/stat : 81310 (java) S 81301 81310 81250 0 -1 4194304 17396 0 1 0 411 10 0 0 20 0 20 0 72232933 19521036288 75966 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
/proc/81310/statm: 4765878 75966 5510 1 0 551032 0
[pid=81310/tid=81313] ppid=81301 vsize=19063512 memory=10752 CPUtime=2.84 cores=4,6
/proc/81310/task/81313/stat : 81313 (java) R 81301 81310 81250 0 -1 4194368 7444 0 0 0 281 3 0 0 20 0 20 0 72232935 19521036288 75966 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81343] ppid=81301 vsize=19063512 memory=-6000919502855301991 CPUtime=0 cores=4,6
/proc/81310/task/81343/stat : 81343 (Finalizer) S 81301 81310 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72232938 19521036288 75966 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81362] ppid=81301 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/81310/task/81362/stat : 81362 (Common-Cleaner) S 81301 81310 81250 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 72232938 19521036288 75966 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81391] ppid=81301 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/81310/task/81391/stat : 81391 (Timer-0) S 81301 81310 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72232962 19521036288 75966 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
Current children cumulated CPU time: 4.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 303864 KiB

[startup+6.30017 s]
/proc/loadavg: 1.50 1.12 1.50 7/345 81395
/proc/meminfo: memFree=123585556/131249996 swapFree=33010416/33010684
[pid=81310] ppid=81301 vsize=19063512 memory=307160 CPUtime=7.59 cores=4,6
/proc/81310/stat : 81310 (java) S 81301 81310 81250 0 -1 4194304 19187 0 1 0 749 10 0 0 20 0 20 0 72232933 19521036288 76790 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
/proc/81310/statm: 4765878 76790 5510 1 0 551849 0
[pid=81310/tid=81313] ppid=81301 vsize=19063512 memory=0 CPUtime=6.02 cores=4,6
/proc/81310/task/81313/stat : 81313 (java) R 81301 81310 81250 0 -1 4194368 7544 0 0 0 599 3 0 0 20 0 20 0 72232935 19521036288 76790 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81343] ppid=81301 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/81310/task/81343/stat : 81343 (Finalizer) S 81301 81310 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72232938 19521036288 76790 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81362] ppid=81301 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/81310/task/81362/stat : 81362 (Common-Cleaner) S 81301 81310 81250 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 72232938 19521036288 76790 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81391] ppid=81301 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/81310/task/81391/stat : 81391 (Timer-0) S 81301 81310 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72232962 19521036288 76790 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
Current children cumulated CPU time: 7.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 307160 KiB

[startup+12.7002 s]
/proc/loadavg: 1.70 1.17 1.51 6/345 81395
/proc/meminfo: memFree=122709756/131249996 swapFree=33010416/33010684
[pid=81310] ppid=81301 vsize=19063512 memory=363456 CPUtime=14.14 cores=4,6
/proc/81310/stat : 81310 (java) S 81301 81310 81250 0 -1 4194304 24333 0 1 0 1402 12 0 0 20 0 20 0 72232933 19521036288 90864 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
/proc/81310/statm: 4765878 90864 5542 1 0 551849 0
[pid=81310/tid=81313] ppid=81301 vsize=19063512 memory=363456 CPUtime=12.35 cores=4,6
/proc/81310/task/81313/stat : 81313 (java) R 81301 81310 81250 0 -1 4194368 8684 0 0 0 1232 3 0 0 20 0 20 0 72232935 19521036288 90864 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81343] ppid=81301 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/81310/task/81343/stat : 81343 (Finalizer) S 81301 81310 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72232938 19521036288 90864 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81362] ppid=81301 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/81310/task/81362/stat : 81362 (Common-Cleaner) S 81301 81310 81250 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 72232938 19521036288 90864 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81391] ppid=81301 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/81310/task/81391/stat : 81391 (Timer-0) S 81301 81310 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72232962 19521036288 90864 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
Current children cumulated CPU time: 14.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 363456 KiB

[startup+25.5002 s]
/proc/loadavg: 2.05 1.26 1.54 6/345 81395
/proc/meminfo: memFree=120938876/131249996 swapFree=33010416/33010684
[pid=81310] ppid=81301 vsize=19063512 memory=443400 CPUtime=26.96 cores=4,6
/proc/81310/stat : 81310 (java) S 81301 81310 81250 0 -1 4194304 25941 0 1 0 2682 14 0 0 20 0 20 0 72232933 19521036288 110850 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
/proc/81310/statm: 4765878 110850 5542 1 0 551849 0
[pid=81310/tid=81313] ppid=81301 vsize=19063512 memory=443400 CPUtime=25.05 cores=4,6
/proc/81310/task/81313/stat : 81313 (java) R 81301 81310 81250 0 -1 4194368 9362 0 0 0 2501 4 0 0 20 0 20 0 72232935 19521036288 110850 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81343] ppid=81301 vsize=19063512 memory=443400 CPUtime=0 cores=4,6
/proc/81310/task/81343/stat : 81343 (Finalizer) S 81301 81310 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72232938 19521036288 110850 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81362] ppid=81301 vsize=19063512 memory=363456 CPUtime=0 cores=4,6
/proc/81310/task/81362/stat : 81362 (Common-Cleaner) S 81301 81310 81250 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 72232938 19521036288 110850 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81391] ppid=81301 vsize=19063512 memory=-6000919502855301991 CPUtime=0 cores=4,6
/proc/81310/task/81391/stat : 81391 (Timer-0) S 81301 81310 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72232962 19521036288 110850 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
Current children cumulated CPU time: 26.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 443400 KiB

[startup+51.1054 s]
/proc/loadavg: 2.88 1.54 1.63 6/345 81396
/proc/meminfo: memFree=118514508/131249996 swapFree=33010416/33010684
[pid=81310] ppid=81301 vsize=19063512 memory=666796 CPUtime=52.69 cores=4,6
/proc/81310/stat : 81310 (java) S 81301 81310 81250 0 -1 4194304 28020 0 1 0 5251 18 0 0 20 0 20 0 72232933 19521036288 166699 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
/proc/81310/statm: 4765878 166699 5542 1 0 551849 0
[pid=81310/tid=81313] ppid=81301 vsize=19063512 memory=515080 CPUtime=50.39 cores=4,6
/proc/81310/task/81313/stat : 81313 (java) R 81301 81310 81250 0 -1 4194368 9990 0 0 0 5035 4 0 0 20 0 20 0 72232935 19521036288 166699 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81343] ppid=81301 vsize=19063512 memory=666796 CPUtime=0 cores=4,6

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

[startup+3282.3 s]
/proc/loadavg: 4.08 4.14 4.08 6/339 81559
/proc/meminfo: memFree=88128276/131249996 swapFree=33010416/33010684
[pid=81310] ppid=81301 vsize=19063512 memory=4258428 CPUtime=3291.06 cores=4,6
/proc/81310/stat : 81310 (java) S 81301 81310 81250 0 -1 4194304 137623 0 1 0 328898 208 0 0 20 0 20 0 72232933 19521036288 1064607 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
/proc/81310/statm: 4765878 1064607 5574 1 0 1218980 0
[pid=81310/tid=81313] ppid=81301 vsize=19063512 memory=4258428 CPUtime=3260.67 cores=4,6
/proc/81310/task/81313/stat : 81313 (java) R 81301 81310 81250 0 -1 4194368 58896 0 0 0 326015 52 0 0 20 0 20 0 72232935 19521036288 1064607 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81343] ppid=81301 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/81310/task/81343/stat : 81343 (Finalizer) S 81301 81310 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72232938 19521036288 1064607 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81362] ppid=81301 vsize=19063512 memory=4258428 CPUtime=0 cores=4,6
/proc/81310/task/81362/stat : 81362 (Common-Cleaner) S 81301 81310 81250 0 -1 4194368 2324 0 0 0 0 0 0 0 20 0 20 0 72232938 19521036288 1064607 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81391] ppid=81301 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/81310/task/81391/stat : 81391 (Timer-0) S 81301 81310 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72232962 19521036288 1064607 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
Current children cumulated CPU time: 3291.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4258428 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.13 4.08 6/339 81561
/proc/meminfo: memFree=88128016/131249996 swapFree=33010416/33010684
[pid=81310] ppid=81301 vsize=19063512 memory=4258428 CPUtime=3350.93 cores=4,6
/proc/81310/stat : 81310 (java) S 81301 81310 81250 0 -1 4194304 138069 0 1 0 334883 210 0 0 20 0 20 0 72232933 19521036288 1064607 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
/proc/81310/statm: 4765878 1064607 5574 1 0 1218980 0
[pid=81310/tid=81313] ppid=81301 vsize=19063512 memory=4258428 CPUtime=3320.51 cores=4,6
/proc/81310/task/81313/stat : 81313 (java) R 81301 81310 81250 0 -1 4194368 59194 0 0 0 331999 52 0 0 20 0 20 0 72232935 19521036288 1064607 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81343] ppid=81301 vsize=19063512 memory=4258428 CPUtime=0 cores=4,6
/proc/81310/task/81343/stat : 81343 (Finalizer) S 81301 81310 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72232938 19521036288 1064607 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81362] ppid=81301 vsize=19063512 memory=18688 CPUtime=0 cores=4,6
/proc/81310/task/81362/stat : 81362 (Common-Cleaner) S 81301 81310 81250 0 -1 4194368 2440 0 0 0 0 0 0 0 20 0 20 0 72232938 19521036288 1064607 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81391] ppid=81301 vsize=19063512 memory=4498979072990932640 CPUtime=0 cores=4,6
/proc/81310/task/81391/stat : 81391 (Timer-0) S 81301 81310 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72232962 19521036288 1064607 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
Current children cumulated CPU time: 3350.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4258428 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.09 6/339 81565
/proc/meminfo: memFree=88130972/131249996 swapFree=33010416/33010684
[pid=81310] ppid=81301 vsize=19063512 memory=4258556 CPUtime=3411.03 cores=4,6
/proc/81310/stat : 81310 (java) S 81301 81310 81250 0 -1 4194304 140066 0 1 0 340891 212 0 0 20 0 20 0 72232933 19521036288 1064639 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
/proc/81310/statm: 4765878 1064639 5574 1 0 1218980 0
[pid=81310/tid=81313] ppid=81301 vsize=19063512 memory=4258428 CPUtime=3380.14 cores=4,6
/proc/81310/task/81313/stat : 81313 (java) R 81301 81310 81250 0 -1 4194368 60240 0 0 0 337961 53 0 0 20 0 20 0 72232935 19521036288 1064639 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81343] ppid=81301 vsize=19063512 memory=4258556 CPUtime=0 cores=4,6
/proc/81310/task/81343/stat : 81343 (Finalizer) S 81301 81310 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72232938 19521036288 1064639 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81362] ppid=81301 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/81310/task/81362/stat : 81362 (Common-Cleaner) S 81301 81310 81250 0 -1 4194368 2440 0 0 0 0 0 0 0 20 0 20 0 72232938 19521036288 1064639 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81391] ppid=81301 vsize=19063512 memory=4258556 CPUtime=0 cores=4,6
/proc/81310/task/81391/stat : 81391 (Timer-0) S 81301 81310 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72232962 19521036288 1064639 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
Current children cumulated CPU time: 3411.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4258556 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.09 6/340 81572
/proc/meminfo: memFree=88130716/131249996 swapFree=33010416/33010684
[pid=81310] ppid=81301 vsize=19063512 memory=4258556 CPUtime=3471.08 cores=4,6
/proc/81310/stat : 81310 (java) S 81301 81310 81250 0 -1 4194304 141433 0 1 0 346894 214 0 0 20 0 20 0 72232933 19521036288 1064639 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
/proc/81310/statm: 4765878 1064639 5574 1 0 1218980 0
[pid=81310/tid=81313] ppid=81301 vsize=19063512 memory=4258428 CPUtime=3439.8 cores=4,6
/proc/81310/task/81313/stat : 81313 (java) R 81301 81310 81250 0 -1 4194368 60628 0 0 0 343927 53 0 0 20 0 20 0 72232935 19521036288 1064639 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81343] ppid=81301 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/81310/task/81343/stat : 81343 (Finalizer) S 81301 81310 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72232938 19521036288 1064639 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81362] ppid=81301 vsize=19063512 memory=4258556 CPUtime=0 cores=4,6
/proc/81310/task/81362/stat : 81362 (Common-Cleaner) S 81301 81310 81250 0 -1 4194368 2555 0 0 0 0 0 0 0 20 0 20 0 72232938 19521036288 1064639 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81391] ppid=81301 vsize=19063512 memory=-6000919502855301991 CPUtime=0 cores=4,6
/proc/81310/task/81391/stat : 81391 (Timer-0) S 81301 81310 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72232962 19521036288 1064639 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
Current children cumulated CPU time: 3471.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4258556 KiB

[startup+3522.3 s]
/proc/loadavg: 4.29 4.17 4.10 6/340 81642
/proc/meminfo: memFree=102635040/131249996 swapFree=33010416/33010684
[pid=81310] ppid=81301 vsize=19063512 memory=4258556 CPUtime=3531.41 cores=4,6
/proc/81310/stat : 81310 (java) S 81301 81310 81250 0 -1 4194304 144054 0 1 0 352924 217 0 0 20 0 20 0 72232933 19521036288 1064639 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
/proc/81310/statm: 4765878 1064639 5574 1 0 1218980 0
[pid=81310/tid=81313] ppid=81301 vsize=19063512 memory=14384 CPUtime=3499.53 cores=4,6
/proc/81310/task/81313/stat : 81313 (java) R 81301 81310 81250 0 -1 4194368 61573 0 0 0 349900 53 0 0 20 0 20 0 72232935 19521036288 1064639 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81343] ppid=81301 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/81310/task/81343/stat : 81343 (Finalizer) S 81301 81310 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72232938 19521036288 1064639 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81362] ppid=81301 vsize=19063512 memory=-6000919502855301991 CPUtime=0 cores=4,6
/proc/81310/task/81362/stat : 81362 (Common-Cleaner) S 81301 81310 81250 0 -1 4194368 2555 0 0 0 0 0 0 0 20 0 20 0 72232938 19521036288 1064639 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81391] ppid=81301 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/81310/task/81391/stat : 81391 (Timer-0) S 81301 81310 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72232962 19521036288 1064639 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
Current children cumulated CPU time: 3531.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4258556 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.17 4.10 6/340 81710
/proc/meminfo: memFree=112456936/131249996 swapFree=33010416/33010684
[pid=81310] ppid=81301 vsize=19063512 memory=4258556 CPUtime=3591.27 cores=4,6
/proc/81310/stat : 81310 (java) S 81301 81310 81250 0 -1 4194304 145528 0 1 0 358907 220 0 0 20 0 20 0 72232933 19521036288 1064639 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
/proc/81310/statm: 4765878 1064639 5574 1 0 1218980 0
[pid=81310/tid=81313] ppid=81301 vsize=19063512 memory=18688 CPUtime=3559.37 cores=4,6
/proc/81310/task/81313/stat : 81313 (java) R 81301 81310 81250 0 -1 4194368 62998 0 0 0 355882 55 0 0 20 0 20 0 72232935 19521036288 1064639 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81343] ppid=81301 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/81310/task/81343/stat : 81343 (Finalizer) S 81301 81310 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72232938 19521036288 1064639 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81362] ppid=81301 vsize=19063512 memory=4258556 CPUtime=0 cores=4,6
/proc/81310/task/81362/stat : 81362 (Common-Cleaner) S 81301 81310 81250 0 -1 4194368 2555 0 0 0 0 0 0 0 20 0 20 0 72232938 19521036288 1064639 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81391] ppid=81301 vsize=19063512 memory=4352 CPUtime=0 cores=4,6
/proc/81310/task/81391/stat : 81391 (Timer-0) S 81301 81310 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72232962 19521036288 1064639 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
Current children cumulated CPU time: 3591.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4258556 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3590.9 s]
/proc/loadavg: 4.34 4.20 4.11 6/340 81710
/proc/meminfo: memFree=112007716/131249996 swapFree=33010416/33010684
[pid=81310] ppid=81301 vsize=19063512 memory=4258556 CPUtime=3600.01 cores=4,6
/proc/81310/stat : 81310 (java) S 81301 81310 81250 0 -1 4194304 146329 0 1 0 359781 220 0 0 20 0 20 0 72232933 19521036288 1064639 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
/proc/81310/statm: 4765878 1064639 5574 1 0 1218980 0
[pid=81310/tid=81313] ppid=81301 vsize=19063512 memory=10752 CPUtime=3567.78 cores=4,6
/proc/81310/task/81313/stat : 81313 (java) R 81301 81310 81250 0 -1 4194368 63144 0 0 0 356723 55 0 0 20 0 20 0 72232935 19521036288 1064639 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81343] ppid=81301 vsize=19063512 memory=18688 CPUtime=0 cores=4,6
/proc/81310/task/81343/stat : 81343 (Finalizer) S 81301 81310 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72232938 19521036288 1064639 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81362] ppid=81301 vsize=19063512 memory=4258556 CPUtime=0 cores=4,6
/proc/81310/task/81362/stat : 81362 (Common-Cleaner) S 81301 81310 81250 0 -1 4194368 2555 0 0 0 0 0 0 0 20 0 20 0 72232938 19521036288 1064639 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81391] ppid=81301 vsize=19063512 memory=4258556 CPUtime=0 cores=4,6
/proc/81310/task/81391/stat : 81391 (Timer-0) S 81301 81310 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72232962 19521036288 1064639 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4258556 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.02 s, system=2.22391 s

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

[startup+3591.01 s]*
/proc/loadavg: 4.40 4.22 4.12 8/341 81713
/proc/meminfo: memFree=111974956/131249996 swapFree=33010416/33010684
[pid=81310] ppid=81301 vsize=19263204 memory=4259324 CPUtime=3600.22 cores=4,6
/proc/81310/stat : 81310 (java) S 81301 81310 81250 0 -1 4194304 148551 0 1 0 359802 220 0 0 20 0 15 0 72232933 19725520896 1064831 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
/proc/81310/statm: 4815801 1064831 5574 1 0 1219927 0
[pid=81310/tid=81313] ppid=81301 vsize=19263204 memory=-6000919481246051175 CPUtime=3567.86 cores=4,6
/proc/81310/task/81313/stat : 81313 (java) R 81301 81310 81250 0 -1 4194368 63244 0 0 0 356731 55 0 0 20 0 15 0 72232935 19725520896 1064831 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81343] ppid=81301 vsize=19263204 memory=0 CPUtime=0 cores=4,6
/proc/81310/task/81343/stat : 81343 (Finalizer) S 81301 81310 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 15 0 72232938 19725520896 1064831 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
[pid=81310/tid=81362] ppid=81301 vsize=19263204 memory=0 CPUtime=0 cores=4,6
/proc/81310/task/81362/stat : 81362 (Common-Cleaner) S 81301 81310 81250 0 -1 4194368 2555 0 0 0 0 0 0 0 20 0 15 0 72232938 19725520896 1064831 18446744073709551615 94305360338944 94305360342640 140725520118656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94305360350456 94305360351248 94305366179840 140725520124289 140725520124390 140725520124390 140725520129992 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4259324 KiB

Child status: 143

Real time (s): 3591.04
CPU time (s): 3600.25
CPU user time (s): 3598.02
CPU system time (s): 2.22391
CPU usage (%): 100.256
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4259324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.02
system time used= 2.22391
maximum resident set size= 4259452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148578
page faults= 1
swaps= 0
block input operations= 0
block output operations= 15440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111190
involuntary context switches= 4812


# summary of solver processes directly reported to runsolver:
#   pid: 81310
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3598.02
#   total CPU system time (s): 2.22391

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.67741 second user time and 14.1045 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-07-03 19:59:12
IDJOB=4519890
IDBENCH=177532
IDSOLVER=3363
FILE ID=nodeC022/4519890-1751565552
RUNJOBID= nodeC022-1751565552-81261
SLURM_JOB_ID= 9598772
Free space on /tmp= 432392 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_60.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519890-1751565552/watcher-4519890-1751565552 -o /tmp/evaluation-result-4519890-1751565552/solver-4519890-1751565552 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751565552-81261 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4519890-1751565552.opb

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

MD5SUM BENCH= 8a6dbe9648cdf1a99b0bd946afbbdeb1
RANDOM SEED=1703102833

nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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	: 0xb00002a
cpu MHz		: 3599.791
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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	: 0xb00002a
cpu MHz		: 1826.044
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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	: 0xb00002a
cpu MHz		: 3599.973
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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	: 0xb00002a
cpu MHz		: 3600.064
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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	: 0xb00002a
cpu MHz		: 3599.697
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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	: 0xb00002a
cpu MHz		: 1872.610
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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	: 0xb00002a
cpu MHz		: 3599.486
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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	: 0xb00002a
cpu MHz		: 3595.376
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        124794308 kB
MemAvailable:   129711308 kB
Buffers:            2128 kB
Cached:          5692848 kB
SwapCached:           32 kB
Active:           608744 kB
Inactive:        5150508 kB
Active(anon):      78128 kB
Inactive(anon):     4176 kB
Active(file):     530616 kB
Inactive(file):  5146332 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1960 kB
Writeback:             0 kB
AnonPages:         67360 kB
Mapped:           103204 kB
Shmem:             18028 kB
KReclaimable:     158184 kB
Slab:             248632 kB
SReclaimable:     158184 kB
SUnreclaim:        90448 kB
KernelStack:        4212 kB
PageTables:         2532 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     331260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432384 MiB
End job on nodeC022 at 2025-07-03 20:59:03