Trace number 4519891

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 VeriPB 2025-06-06SAT (TO)-30 3600.4 3658.91

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.12/0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.15	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.15	c See www.sat4j.org for details.
0.12/0.16	c version PB25.v20250606
0.12/0.19	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.19	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.19	c java.vm.version	22.0.1+8-16
0.12/0.19	c java.vm.vendor	Oracle Corporation
0.12/0.19	c sun.arch.data.model	64
0.12/0.19	c java.version		22.0.1
0.12/0.19	c os.name		Linux
0.12/0.19	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.19	c os.arch		amd64
0.12/0.19	c Free memory 		2104792832
0.12/0.19	c Max memory 		16282288128
0.12/0.20	c Total memory 		2113929216
0.12/0.20	c Number of processors 	2
0.27/0.31	c Pseudo Boolean Optimization by upper bound
0.27/0.31	c --- Begin Solver configuration ---
0.27/0.31	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.27/0.31	c Learn all clauses as in MiniSAT
0.27/0.31	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.27/0.31	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.27/0.31	c Expensive reason simplification
0.27/0.31	c Glucose 2.1 dynamic restart strategy
0.27/0.31	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.27/0.31	c timeout=2147483s
0.27/0.31	c DB Simplification allowed=false
0.27/0.31	c Listener: none
0.27/0.31	c --- End Solver configuration ---
0.27/0.31	c solving HOME/instance-4519891-1751563437.opb
0.27/0.31	c reading problem ... 
0.27/0.32	c using VERIPB proof format
0.27/0.32	c  objective function found
0.61/0.50	c ... done. Wall clock time 0.187s.
0.61/0.51	c declared #vars     7260
0.61/0.51	c #constraints  2010
0.61/0.51	c constraints type 
0.61/0.51	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 90
0.61/0.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 60
0.61/0.51	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1860
0.61/0.51	c 2010 constraints processed.
0.61/0.52	c objective function length is 3600 literals
5.35/3.17	c SATISFIABLE
5.35/3.17	c OPTIMIZING...
5.35/3.17	c Got one! Elapsed wall clock time (in seconds):2.86
5.35/3.17	o -30
7.18/4.41	c cleaning 2845 clauses out of 5690 with flag 2488/5690
10.25/6.99	c cleaning 4410 clauses out of 8827 with flag 38595/11672
13.24/9.66	c cleaning 5700 clauses out of 11413 with flag 85947/18668
16.93/13.07	c cleaning 6849 clauses out of 13713 with flag 147103/26668
22.36/18.40	c cleaning 7929 clauses out of 15865 with flag 212661/35669
27.64/23.70	c cleaning 8962 clauses out of 17935 with flag 285430/45668
34.42/30.40	c cleaning 9950 clauses out of 19973 with flag 381892/56668
40.94/37.01	c cleaning 10976 clauses out of 22023 with flag 489163/68668
49.48/45.57	c cleaning 11984 clauses out of 24047 with flag 601918/81668
57.90/53.96	c cleaning 12997 clauses out of 26063 with flag 721217/95668
67.81/63.74	c cleaning 13995 clauses out of 28066 with flag 844352/110668
76.06/71.96	c cleaning 14998 clauses out of 30071 with flag 986899/126668
88.05/83.73	c cleaning 15999 clauses out of 32073 with flag 1142057/143668
100.66/96.31	c cleaning 17031 clauses out of 34074 with flag 1302513/161668
109.44/105.02	c cleaning 17998 clauses out of 36043 with flag 1461507/180668
120.38/115.93	c cleaning 19002 clauses out of 38045 with flag 1647417/200668
131.78/127.41	c cleaning 20000 clauses out of 40043 with flag 1824245/221668
144.33/139.88	c cleaning 21006 clauses out of 42046 with flag 2022885/243671
156.71/152.12	c cleaning 22000 clauses out of 44037 with flag 2249446/266668
170.12/165.73	c cleaning 22996 clauses out of 46038 with flag 2459109/290669
186.05/180.77	c cleaning 24015 clauses out of 48043 with flag 2668634/315670
205.57/204.96	c cleaning 25004 clauses out of 50026 with flag 2858341/341668
224.68/223.90	c cleaning 25999 clauses out of 52022 with flag 3061881/368668
256.95/252.98	c cleaning 27007 clauses out of 54024 with flag 3248666/396669
296.62/289.24	c cleaning 27999 clauses out of 56016 with flag 3399551/425668
313.14/305.68	c cleaning 29001 clauses out of 58017 with flag 3731695/455668
329.62/322.00	c cleaning 30001 clauses out of 60016 with flag 4066557/486668
350.40/342.50	c cleaning 30997 clauses out of 62015 with flag 4420301/518668
368.70/360.75	c cleaning 31998 clauses out of 64018 with flag 4816785/551668
390.37/382.26	c cleaning 33002 clauses out of 66021 with flag 5232510/585669
412.43/404.03	c cleaning 33996 clauses out of 68019 with flag 5690709/620669
441.17/432.69	c cleaning 35001 clauses out of 70022 with flag 6197947/656668
469.51/466.57	c cleaning 36001 clauses out of 72021 with flag 6635126/693668
494.55/491.44	c cleaning 37006 clauses out of 74022 with flag 7060082/731670
518.72/515.57	c cleaning 37995 clauses out of 76016 with flag 7495438/770670
545.01/541.68	c cleaning 39004 clauses out of 78021 with flag 7940659/810670
575.89/572.34	c cleaning 39991 clauses out of 80015 with flag 8465850/851668
606.67/603.06	c cleaning 41005 clauses out of 82026 with flag 8952628/893670
639.17/635.46	c cleaning 41995 clauses out of 84019 with flag 9445444/936668
675.65/671.88	c cleaning 43004 clauses out of 86024 with flag 9992932/980668
714.72/710.60	c cleaning 44000 clauses out of 88020 with flag 10587536/1025668
762.87/758.97	c cleaning 45005 clauses out of 90021 with flag 11242684/1071669
804.89/800.27	c cleaning 46001 clauses out of 92015 with flag 11950812/1118668
846.55/841.79	c cleaning 46999 clauses out of 94014 with flag 12575613/1166668
890.68/886.02	c cleaning 48000 clauses out of 96016 with flag 13167323/1215669
950.29/952.96	c cleaning 49003 clauses out of 98015 with flag 13826163/1265668
1002.00/1005.26	c cleaning 49999 clauses out of 100012 with flag 14360962/1316668
1048.04/1051.12	c cleaning 51003 clauses out of 102015 with flag 15020711/1368670
1096.55/1099.68	c cleaning 52001 clauses out of 104013 with flag 15735581/1421671
1149.81/1166.65	c cleaning 52996 clauses out of 106009 with flag 16496179/1475668
1201.59/1218.26	c cleaning 53993 clauses out of 108015 with flag 17246061/1530670
1257.32/1276.92	c cleaning 55004 clauses out of 110023 with flag 17946740/1586671
1308.64/1328.16	c cleaning 55999 clauses out of 112017 with flag 18726341/1643669
1364.93/1384.52	c cleaning 56999 clauses out of 114019 with flag 19590493/1701670
1425.76/1445.27	c cleaning 58003 clauses out of 116022 with flag 20507113/1760672
1488.03/1507.30	c cleaning 58999 clauses out of 118016 with flag 21388515/1820669
1540.73/1560.07	c cleaning 59996 clauses out of 120017 with flag 22298079/1881669
1605.17/1624.37	c cleaning 61000 clauses out of 122021 with flag 23172288/1943669
1667.44/1686.68	c cleaning 61997 clauses out of 124023 with flag 24053495/2006671
1731.86/1751.24	c cleaning 63003 clauses out of 126024 with flag 25036378/2070669
1798.03/1817.24	c cleaning 64004 clauses out of 128021 with flag 25991643/2135669
1862.39/1881.49	c cleaning 65000 clauses out of 130018 with flag 26945934/2201670
1928.82/1947.92	c cleaning 65999 clauses out of 132017 with flag 27946415/2268669
1999.66/2018.87	c cleaning 66998 clauses out of 134019 with flag 29080255/2336670
2079.81/2102.26	c cleaning 67999 clauses out of 136020 with flag 30137510/2405669
2159.17/2181.60	c cleaning 68997 clauses out of 138020 with flag 31226675/2475668
2242.82/2271.65	c cleaning 70003 clauses out of 140023 with flag 32343661/2546668
2322.97/2351.38	c cleaning 70998 clauses out of 142021 with flag 33446323/2618669
2402.71/2430.84	c cleaning 71999 clauses out of 144024 with flag 34558415/2691670
2494.46/2526.85	c cleaning 72996 clauses out of 146024 with flag 35744903/2765669
2593.74/2626.13	c cleaning 74003 clauses out of 148030 with flag 36930269/2840671
2699.12/2736.29	c cleaning 75003 clauses out of 150026 with flag 38104999/2916670
2797.65/2835.75	c cleaning 76001 clauses out of 152021 with flag 39385302/2993668
2900.53/2938.99	c cleaning 77000 clauses out of 154020 with flag 40722518/3071668
2998.36/3041.80	c cleaning 78001 clauses out of 156020 with flag 42025516/3150668
3099.48/3145.96	c cleaning 78997 clauses out of 158019 with flag 43291422/3230668
3197.73/3249.09	c cleaning 80001 clauses out of 160023 with flag 44678966/3311669
3286.48/3337.60	c cleaning 80998 clauses out of 162021 with flag 45981627/3393668
3397.37/3448.51	c cleaning 82002 clauses out of 164024 with flag 47304042/3476669
3513.77/3568.44	c cleaning 82996 clauses out of 166021 with flag 48715511/3560668
3600.08/3658.72	c starts		: 861
3600.08/3658.74	c conflicts		: 3628738
3600.08/3658.74	c decisions		: 8031394
3600.08/3658.74	c propagations		: 469449698
3600.08/3658.74	c inspects		: 16823575843
3600.08/3658.74	c shortcuts		: 0
3600.08/3658.74	c learnt literals	: 0
3600.08/3658.74	c learnt binary clauses	: 0
3600.08/3658.74	c learnt ternary clauses	: 0
3600.08/3658.74	c learnt constraints	: 3628738
3600.08/3658.74	c ignored constraints	: 0
3600.08/3658.74	c root simplifications	: 0
3600.08/3658.74	c removed literals (reason simplification)	: 102068930
3600.08/3658.74	c reason swapping (by a shorter reason)	: 0
3600.08/3658.74	c Calls to reduceDB	: 80
3600.08/3658.74	c Number of update (reduction) of LBD	: 2417087
3600.08/3658.74	c Imported unit clauses	: 0
3600.08/3658.74	c No decision after first conflict	: false
3600.08/3658.74	c number of reductions to clauses (during analyze)	: 0
3600.08/3658.74	c number of learned constraints concerned by reduction	: 0
3600.08/3658.74	c number of learning phase by resolution	: 0
3600.08/3658.74	c number of learning phase by cutting planes	: 0
3600.08/3658.74	c number of rounding to 1 operations	: 0
3600.08/3658.74	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3658.75	c number of reductions of the coefficients by power 2 	: 0
3600.08/3658.75	c number of right shift for reduction by power 2 	: 0
3600.08/3658.75	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3658.75	c number of ending skipping 	: 0
3600.08/3658.75	c number of internal skipping 	: 0
3600.08/3658.75	c number of derivation steps 	: 0
3600.08/3658.75	c number of skipped derivation steps 	: 0
3600.08/3658.75	c number of remaining unassigned 	: 0
3600.08/3658.75	c number of remaining assigned 	: 0
3600.08/3658.75	c number of falsified literals weakened from reason	: 0
3600.08/3658.75	c number of falsified literals weakened from conflict	: 0
3600.08/3658.75	c time for arithmetic operations	: 0
3600.08/3658.75	c minimum degree of deleted constraints	: null
3600.08/3658.75	c maximum degree of deleted constraints	: null
3600.08/3658.75	c number of deleted constraints	: 0
3600.08/3658.76	c speed (assignments/second)	: 128328.37268475047
3600.08/3658.76	c non guided choices	: 33730
3600.28/3658.82	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 151095
3600.28/3658.82	s SATISFIABLE
3600.28/3658.82	c Found 1 solution(s)
3600.28/3658.83	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.28/3658.84	c objective function=-30
3600.28/3658.84	c Total wall clock time (in seconds): 3658.524

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: 63837 MiB (62825 MiB free)
  memory of node 1: 64465 MiB (63670 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519891-1751563437/watcher-4519891-1751563437 -o /tmp/evaluation-result-4519891-1751563437/solver-4519891-1751563437 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751559731-80602 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4519891-1751563437 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4519891-1751563437.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 FSIZE limit: 102400000 KiB
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
Current StackSize limit: 8192 KiB

solver pid=81181, runsolver pid=81178

[startup+0.100073 s]*
/proc/loadavg: 4.14 4.22 4.23 9/327 81200
/proc/meminfo: memFree=129483568/131382112 swapFree=33010416/33010684
[pid=81181] ppid=81178 vsize=18930384 memory=48516 CPUtime=0.12 cores=5,7
/proc/81181/stat : 81181 (java) S 81178 81181 80589 0 -1 4194304 5840 0 0 0 9 3 0 0 20 0 18 0 72023092 19384713216 12129 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
/proc/81181/statm: 4732596 12129 5308 1 0 547033 0
[pid=81181/tid=81183] ppid=81178 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/81181/task/81183/stat : 81183 (java) R 81178 81181 80589 0 -1 4194368 4727 0 0 0 5 2 0 0 20 0 18 0 72023094 19384713216 12129 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81192] ppid=81178 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/81181/task/81192/stat : 81192 (Finalizer) S 81178 81181 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72023097 19384713216 12129 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81199] ppid=81178 vsize=18930384 memory=58494082630061 CPUtime=0 cores=5,7
/proc/81181/task/81199/stat : 81199 (Common-Cleaner) S 81178 81181 80589 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 72023098 19384713216 12129 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48516 KiB

[startup+0.214606 s]*
/proc/loadavg: 4.14 4.22 4.23 9/328 81201
/proc/meminfo: memFree=129452692/131382112 swapFree=33010416/33010684
[pid=81181] ppid=81178 vsize=18930384 memory=55640 CPUtime=0.27 cores=5,7
/proc/81181/stat : 81181 (java) S 81178 81181 80589 0 -1 4194304 6559 0 0 0 23 4 0 0 20 0 18 0 72023092 19384713216 13910 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
/proc/81181/statm: 4732596 13910 5340 1 0 547612 0
[pid=81181/tid=81183] ppid=81178 vsize=18930384 memory=4026794268 CPUtime=0.18 cores=5,7
/proc/81181/task/81183/stat : 81183 (java) R 81178 81181 80589 0 -1 4194368 5049 0 0 0 15 3 0 0 20 0 18 0 72023094 19384713216 13910 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81192] ppid=81178 vsize=18930384 memory=13926 CPUtime=0 cores=5,7
/proc/81181/task/81192/stat : 81192 (Finalizer) S 81178 81181 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72023097 19384713216 13910 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81199] ppid=81178 vsize=18930384 memory=57394570986489 CPUtime=0 cores=5,7
/proc/81181/task/81199/stat : 81199 (Common-Cleaner) S 81178 81181 80589 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 72023098 19384713216 13910 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55640 KiB

[startup+0.319624 s]*
/proc/loadavg: 4.14 4.22 4.23 11/328 81201
/proc/meminfo: memFree=129433788/131382112 swapFree=33010416/33010684
[pid=81181] ppid=81178 vsize=18930384 memory=59180 CPUtime=0.42 cores=5,7
/proc/81181/stat : 81181 (java) S 81178 81181 80589 0 -1 4194304 6856 0 0 0 37 5 0 0 20 0 18 0 72023092 19384713216 14795 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
/proc/81181/statm: 4732596 14795 5436 1 0 547817 0
[pid=81181/tid=81183] ppid=81178 vsize=18930384 memory=-6000919472673221479 CPUtime=0.26 cores=5,7
/proc/81181/task/81183/stat : 81183 (java) R 81178 81181 80589 0 -1 4194368 5222 0 0 0 23 3 0 0 20 0 18 0 72023094 19384713216 14795 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81192] ppid=81178 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/81181/task/81192/stat : 81192 (Finalizer) S 81178 81181 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72023097 19384713216 14795 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81199] ppid=81178 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/81181/task/81199/stat : 81199 (Common-Cleaner) S 81178 81181 80589 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 72023098 19384713216 14795 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59180 KiB

[startup+0.700282 s]
/proc/loadavg: 4.14 4.22 4.23 11/329 81202
/proc/meminfo: memFree=129376132/131382112 swapFree=33010416/33010684
[pid=81181] ppid=81178 vsize=18996948 memory=96180 CPUtime=1.12 cores=5,7
/proc/81181/stat : 81181 (java) S 81178 81181 80589 0 -1 4194304 8820 0 0 0 105 7 0 0 20 0 19 0 72023092 19452874752 24045 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
/proc/81181/statm: 4749237 24045 5468 1 0 549383 0
[pid=81181/tid=81183] ppid=81178 vsize=18996948 memory=19072 CPUtime=0.57 cores=5,7
/proc/81181/task/81183/stat : 81183 (java) R 81178 81181 80589 0 -1 4194368 5443 0 0 0 53 4 0 0 20 0 19 0 72023094 19452874752 24045 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81192] ppid=81178 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/81181/task/81192/stat : 81192 (Finalizer) S 81178 81181 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 72023097 19452874752 24045 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81199] ppid=81178 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/81181/task/81199/stat : 81199 (Common-Cleaner) S 81178 81181 80589 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 72023098 19452874752 24045 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 96180 KiB

[startup+1.50025 s]
/proc/loadavg: 4.14 4.22 4.23 9/330 81203
/proc/meminfo: memFree=129258676/131382112 swapFree=33010416/33010684
[pid=81181] ppid=81178 vsize=19063512 memory=169468 CPUtime=2.7 cores=5,7
/proc/81181/stat : 81181 (java) S 81178 81181 80589 0 -1 4194304 15032 0 0 0 259 11 0 0 20 0 20 0 72023092 19521036288 42367 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
/proc/81181/statm: 4765878 42367 5500 1 0 551273 0
[pid=81181/tid=81183] ppid=81178 vsize=19063512 memory=3200 CPUtime=1.32 cores=5,7
/proc/81181/task/81183/stat : 81183 (java) R 81178 81181 80589 0 -1 4194368 5841 0 0 0 126 6 0 0 20 0 20 0 72023094 19521036288 42367 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81192] ppid=81178 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/81181/task/81192/stat : 81192 (Finalizer) S 81178 81181 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72023097 19521036288 42367 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81199] ppid=81178 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/81181/task/81199/stat : 81199 (Common-Cleaner) S 81178 81181 80589 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 72023098 19521036288 42367 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81203] ppid=81178 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/81181/task/81203/stat : 81203 (Timer-0) S 81178 81181 80589 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72023148 19521036288 42367 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 169468 KiB

[startup+3.10591 s]
/proc/loadavg: 4.14 4.22 4.23 9/332 81206
/proc/meminfo: memFree=128187904/131382112 swapFree=33010416/33010684
[pid=81181] ppid=81178 vsize=19063512 memory=193348 CPUtime=5.35 cores=5,7
/proc/81181/stat : 81181 (java) S 81178 81181 80589 0 -1 4194304 17470 0 0 0 522 13 0 0 20 0 20 0 72023092 19521036288 48337 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
/proc/81181/statm: 4765878 48337 5500 1 0 551412 0
[pid=81181/tid=81183] ppid=81178 vsize=19063512 memory=14720 CPUtime=2.84 cores=5,7
/proc/81181/task/81183/stat : 81183 (java) R 81178 81181 80589 0 -1 4194368 6232 0 0 0 277 7 0 0 20 0 20 0 72023094 19521036288 48337 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81192] ppid=81178 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/81181/task/81192/stat : 81192 (Finalizer) S 81178 81181 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72023097 19521036288 48337 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81199] ppid=81178 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/81181/task/81199/stat : 81199 (Common-Cleaner) S 81178 81181 80589 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 72023098 19521036288 48337 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81203] ppid=81178 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/81181/task/81203/stat : 81203 (Timer-0) S 81178 81181 80589 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72023148 19521036288 48337 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
Current children cumulated CPU time: 5.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 193348 KiB

[startup+6.30026 s]
/proc/loadavg: 4.29 4.25 4.24 7/332 81206
/proc/meminfo: memFree=125218432/131382112 swapFree=33010416/33010684
[pid=81181] ppid=81178 vsize=19063512 memory=1549692 CPUtime=9.56 cores=5,7
/proc/81181/stat : 81181 (java) S 81178 81181 80589 0 -1 4194304 25532 0 0 0 911 45 0 0 20 0 20 0 72023092 19521036288 387423 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
/proc/81181/statm: 4765878 387423 5500 1 0 1604451 0
[pid=81181/tid=81183] ppid=81178 vsize=19063512 memory=0 CPUtime=5.76 cores=5,7
/proc/81181/task/81183/stat : 81183 (java) R 81178 81181 80589 0 -1 4194368 7816 0 0 0 543 33 0 0 20 0 20 0 72023094 19521036288 387423 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81192] ppid=81178 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/81181/task/81192/stat : 81192 (Finalizer) S 81178 81181 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72023097 19521036288 387423 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81199] ppid=81178 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/81181/task/81199/stat : 81199 (Common-Cleaner) S 81178 81181 80589 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 72023098 19521036288 387423 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81203] ppid=81178 vsize=19063512 memory=169468 CPUtime=0 cores=5,7
/proc/81181/task/81203/stat : 81203 (Timer-0) S 81178 81181 80589 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72023148 19521036288 387423 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
Current children cumulated CPU time: 9.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1549692 KiB

[startup+12.7002 s]
/proc/loadavg: 4.27 4.25 4.24 6/332 81206
/proc/meminfo: memFree=119942076/131382112 swapFree=33010416/33010684
[pid=81181] ppid=81178 vsize=19063512 memory=2496032 CPUtime=16.62 cores=5,7
/proc/81181/stat : 81181 (java) S 81178 81181 80589 0 -1 4194304 26082 0 0 0 1594 68 0 0 20 0 20 0 72023092 19521036288 624008 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
/proc/81181/statm: 4765878 624008 5500 1 0 1604451 0
[pid=81181/tid=81183] ppid=81178 vsize=19063512 memory=169468 CPUtime=12.1 cores=5,7
/proc/81181/task/81183/stat : 81183 (java) R 81178 81181 80589 0 -1 4194368 8319 0 0 0 1154 56 0 0 20 0 20 0 72023094 19521036288 624008 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81192] ppid=81178 vsize=19063512 memory=2387452 CPUtime=0 cores=5,7
/proc/81181/task/81192/stat : 81192 (Finalizer) S 81178 81181 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72023097 19521036288 624008 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81199] ppid=81178 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/81181/task/81199/stat : 81199 (Common-Cleaner) S 81178 81181 80589 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 72023098 19521036288 624008 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81203] ppid=81178 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/81181/task/81203/stat : 81203 (Timer-0) S 81178 81181 80589 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72023148 19521036288 624008 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
Current children cumulated CPU time: 16.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2496032 KiB

[startup+25.5004 s]
/proc/loadavg: 4.27 4.25 4.24 6/332 81206
/proc/meminfo: memFree=113699496/131382112 swapFree=33010416/33010684
[pid=81181] ppid=81178 vsize=19063512 memory=3819208 CPUtime=29.44 cores=5,7
/proc/81181/stat : 81181 (java) S 81178 81181 80589 0 -1 4194304 28263 0 0 0 2845 99 0 0 20 0 20 0 72023092 19521036288 954802 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
/proc/81181/statm: 4765878 954802 5532 1 0 1604451 0
[pid=81181/tid=81183] ppid=81178 vsize=19063512 memory=0 CPUtime=24.76 cores=5,7
/proc/81181/task/81183/stat : 81183 (java) R 81178 81181 80589 0 -1 4194368 10129 0 0 0 2390 86 0 0 20 0 20 0 72023094 19521036288 954802 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81192] ppid=81178 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/81181/task/81192/stat : 81192 (Finalizer) S 81178 81181 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72023097 19521036288 954802 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81199] ppid=81178 vsize=19063512 memory=3673800 CPUtime=0 cores=5,7
/proc/81181/task/81199/stat : 81199 (Common-Cleaner) S 81178 81181 80589 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 72023098 19521036288 954802 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81203] ppid=81178 vsize=19063512 memory=3272392 CPUtime=0 cores=5,7
/proc/81181/task/81203/stat : 81203 (Timer-0) S 81178 81181 80589 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72023148 19521036288 954802 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
Current children cumulated CPU time: 29.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3819208 KiB

[startup+51.1058 s]
/proc/loadavg: 4.24 4.25 4.24 6/332 81206
/proc/meminfo: memFree=109833364/131382112 swapFree=33010416/33010684
[pid=81181] ppid=81178 vsize=19063512 memory=4356056 CPUtime=55.13 cores=5,7
/proc/81181/stat : 81181 (java) S 81178 81181 80589 0 -1 4194304 32241 0 0 0 5392 121 0 0 20 0 20 0 72023092 19521036288 1089014 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
/proc/81181/statm: 4765878 1089014 5532 1 0 1604470 0
[pid=81181/tid=81183] ppid=81178 vsize=19063512 memory=4005576 CPUtime=49.35 cores=5,7
/proc/81181/task/81183/stat : 81183 (java) R 81178 81181 80589 0 -1 4194368 11429 0 0 0 4836 99 0 0 20 0 20 0 72023094 19521036288 1089014 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81192] ppid=81178 vsize=19063512 memory=12544 CPUtime=0 cores=5,7
/proc/81181/task/81192/stat : 81192 (Finalizer) S 81178 81181 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72023097 19521036288 1089014 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81199] ppid=81178 vsize=19063512 memory=2308 CPUtime=0 cores=5,7
/proc/81181/task/81199/stat : 81199 (Common-Cleaner) S 81178 81181 80589 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 72023098 19521036288 1089014 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0

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

/proc/81181/task/81183/stat : 81183 (java) R 81178 81181 80589 0 -1 4194368 198531 0 0 0 319850 1367 0 0 20 0 20 0 72023094 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81192] ppid=81178 vsize=19063512 memory=-6000919472673221479 CPUtime=0 cores=5,7
/proc/81181/task/81192/stat : 81192 (Finalizer) S 81178 81181 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72023097 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81199] ppid=81178 vsize=19063512 memory=7151274847247108718 CPUtime=0 cores=5,7
/proc/81181/task/81199/stat : 81199 (Common-Cleaner) S 81178 81181 80589 0 -1 4194368 3731 0 0 0 0 0 0 0 20 0 20 0 72023098 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81203] ppid=81178 vsize=19063512 memory=3456 CPUtime=0 cores=5,7
/proc/81181/task/81203/stat : 81203 (Timer-0) S 81178 81181 80589 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72023148 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
Current children cumulated CPU time: 3291.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11257076 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.35 4.47 6/333 81466
/proc/meminfo: memFree=53580292/131382112 swapFree=33007844/33010684
[pid=81181] ppid=81178 vsize=19063512 memory=11257076 CPUtime=3351.13 cores=5,7
/proc/81181/stat : 81181 (java) S 81178 81181 80589 0 -1 4194304 360224 0 0 0 333447 1666 0 0 20 0 20 0 72023092 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
/proc/81181/statm: 4765878 2814269 5564 1 0 3220630 0
[pid=81181/tid=81183] ppid=81178 vsize=19063512 memory=-6000919472673221479 CPUtime=3271.49 cores=5,7
/proc/81181/task/81183/stat : 81183 (java) R 81178 81181 80589 0 -1 4194368 201280 0 0 0 325763 1386 0 0 20 0 20 0 72023094 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81192] ppid=81178 vsize=19063512 memory=16768 CPUtime=0 cores=5,7
/proc/81181/task/81192/stat : 81192 (Finalizer) S 81178 81181 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72023097 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81199] ppid=81178 vsize=19063512 memory=11257076 CPUtime=0.01 cores=5,7
/proc/81181/task/81199/stat : 81199 (Common-Cleaner) S 81178 81181 80589 0 -1 4194368 3818 0 0 0 0 1 0 0 20 0 20 0 72023098 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81203] ppid=81178 vsize=19063512 memory=11257076 CPUtime=0 cores=5,7
/proc/81181/task/81203/stat : 81203 (Timer-0) S 81178 81181 80589 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72023148 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
Current children cumulated CPU time: 3351.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11257076 KiB

[startup+3462.3 s]
/proc/loadavg: 4.30 4.35 4.46 6/333 81468
/proc/meminfo: memFree=48262208/131382112 swapFree=33007844/33010684
[pid=81181] ppid=81178 vsize=19063512 memory=11257076 CPUtime=3411.1 cores=5,7
/proc/81181/stat : 81181 (java) S 81178 81181 80589 0 -1 4194304 365595 0 0 0 339422 1688 0 0 20 0 20 0 72023092 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
/proc/81181/statm: 4765878 2814269 5564 1 0 3220630 0
[pid=81181/tid=81183] ppid=81178 vsize=19063512 memory=-6000919472673221479 CPUtime=3330.67 cores=5,7
/proc/81181/task/81183/stat : 81183 (java) R 81178 81181 80589 0 -1 4194368 205674 0 0 0 331663 1404 0 0 20 0 20 0 72023094 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81192] ppid=81178 vsize=19063512 memory=16768 CPUtime=0 cores=5,7
/proc/81181/task/81192/stat : 81192 (Finalizer) S 81178 81181 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72023097 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81199] ppid=81178 vsize=19063512 memory=11257076 CPUtime=0.01 cores=5,7
/proc/81181/task/81199/stat : 81199 (Common-Cleaner) S 81178 81181 80589 0 -1 4194368 3864 0 0 0 0 1 0 0 20 0 20 0 72023098 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81203] ppid=81178 vsize=19063512 memory=16768 CPUtime=0 cores=5,7
/proc/81181/task/81203/stat : 81203 (Timer-0) S 81178 81181 80589 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72023148 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
Current children cumulated CPU time: 3411.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11257076 KiB

[startup+3522.3 s]
/proc/loadavg: 4.35 4.34 4.45 6/334 81538
/proc/meminfo: memFree=78899508/131382112 swapFree=33007844/33010684
[pid=81181] ppid=81178 vsize=19063512 memory=11257076 CPUtime=3467.54 cores=5,7
/proc/81181/stat : 81181 (java) S 81178 81181 80589 0 -1 4194304 370640 0 0 0 345042 1712 0 0 20 0 20 0 72023092 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
/proc/81181/statm: 4765878 2814269 5564 1 0 3220630 0
[pid=81181/tid=81183] ppid=81178 vsize=19063512 memory=11257076 CPUtime=3386.38 cores=5,7
/proc/81181/task/81183/stat : 81183 (java) R 81178 81181 80589 0 -1 4194368 209804 0 0 0 337213 1425 0 0 20 0 20 0 72023094 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81192] ppid=81178 vsize=19063512 memory=11257076 CPUtime=0 cores=5,7
/proc/81181/task/81192/stat : 81192 (Finalizer) S 81178 81181 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72023097 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81199] ppid=81178 vsize=19063512 memory=11257076 CPUtime=0.01 cores=5,7
/proc/81181/task/81199/stat : 81199 (Common-Cleaner) S 81178 81181 80589 0 -1 4194368 3947 0 0 0 0 1 0 0 20 0 20 0 72023098 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81203] ppid=81178 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/81181/task/81203/stat : 81203 (Timer-0) S 81178 81181 80589 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72023148 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
Current children cumulated CPU time: 3467.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11257076 KiB

[startup+3582.3 s]
/proc/loadavg: 4.52 4.40 4.46 7/335 81543
/proc/meminfo: memFree=68661776/131382112 swapFree=33007844/33010684
[pid=81181] ppid=81178 vsize=19063512 memory=11257076 CPUtime=3527.57 cores=5,7
/proc/81181/stat : 81181 (java) S 81178 81181 80589 0 -1 4194304 375966 0 0 0 351023 1734 0 0 20 0 20 0 72023092 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
/proc/81181/statm: 4765878 2814269 5564 1 0 3220630 0
[pid=81181/tid=81183] ppid=81178 vsize=19063512 memory=6644 CPUtime=3445.55 cores=5,7
/proc/81181/task/81183/stat : 81183 (java) R 81178 81181 80589 0 -1 4194368 214674 0 0 0 343112 1443 0 0 20 0 20 0 72023094 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81192] ppid=81178 vsize=19063512 memory=11257076 CPUtime=0 cores=5,7
/proc/81181/task/81192/stat : 81192 (Finalizer) S 81178 81181 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72023097 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81199] ppid=81178 vsize=19063512 memory=14720 CPUtime=0.01 cores=5,7
/proc/81181/task/81199/stat : 81199 (Common-Cleaner) S 81178 81181 80589 0 -1 4194368 3948 0 0 0 0 1 0 0 20 0 20 0 72023098 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81203] ppid=81178 vsize=19063512 memory=-6000919472673221479 CPUtime=0 cores=5,7
/proc/81181/task/81203/stat : 81203 (Timer-0) S 81178 81181 80589 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72023148 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
Current children cumulated CPU time: 3527.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11257076 KiB

[startup+3642.3 s]
/proc/loadavg: 4.81 4.51 4.50 7/334 81545
/proc/meminfo: memFree=62454948/131382112 swapFree=33007844/33010684
[pid=81181] ppid=81178 vsize=19063512 memory=11257076 CPUtime=3583.66 cores=5,7
/proc/81181/stat : 81181 (java) S 81178 81181 80589 0 -1 4194304 380234 0 0 0 356611 1755 0 0 20 0 20 0 72023092 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
/proc/81181/statm: 4765878 2814269 5564 1 0 3220630 0
[pid=81181/tid=81183] ppid=81178 vsize=19063512 memory=11257076 CPUtime=3500.84 cores=5,7
/proc/81181/task/81183/stat : 81183 (java) R 81178 81181 80589 0 -1 4194368 217407 0 0 0 348623 1461 0 0 20 0 20 0 72023094 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81192] ppid=81178 vsize=19063512 memory=11257076 CPUtime=0 cores=5,7
/proc/81181/task/81192/stat : 81192 (Finalizer) S 81178 81181 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72023097 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81199] ppid=81178 vsize=19063512 memory=11257076 CPUtime=0.01 cores=5,7
/proc/81181/task/81199/stat : 81199 (Common-Cleaner) S 81178 81181 80589 0 -1 4194368 3978 0 0 0 0 1 0 0 20 0 20 0 72023098 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81203] ppid=81178 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/81181/task/81203/stat : 81203 (Timer-0) S 81178 81181 80589 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72023148 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
Current children cumulated CPU time: 3583.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11257076 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3658.7 s]
/proc/loadavg: 4.92 4.55 4.51 6/334 81545
/proc/meminfo: memFree=61378968/131382112 swapFree=33007844/33010684
[pid=81181] ppid=81178 vsize=19063512 memory=11257076 CPUtime=3600.08 cores=5,7
/proc/81181/stat : 81181 (java) S 81178 81181 80589 0 -1 4194304 381949 0 0 0 358246 1762 0 0 20 0 20 0 72023092 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
/proc/81181/statm: 4765878 2814269 5564 1 0 3220630 0
[pid=81181/tid=81183] ppid=81178 vsize=19063512 memory=11257076 CPUtime=3516.93 cores=5,7
/proc/81181/task/81183/stat : 81183 (java) R 81178 81181 80589 0 -1 4194368 218957 0 0 0 350226 1467 0 0 20 0 20 0 72023094 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81192] ppid=81178 vsize=19063512 memory=11257076 CPUtime=0 cores=5,7
/proc/81181/task/81192/stat : 81192 (Finalizer) S 81178 81181 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72023097 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81199] ppid=81178 vsize=19063512 memory=14720 CPUtime=0.01 cores=5,7
/proc/81181/task/81199/stat : 81199 (Common-Cleaner) S 81178 81181 80589 0 -1 4194368 3978 0 0 0 0 1 0 0 20 0 20 0 72023098 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81203] ppid=81178 vsize=19063512 memory=11257076 CPUtime=0 cores=5,7
/proc/81181/task/81203/stat : 81203 (Timer-0) S 81178 81181 80589 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72023148 19521036288 2814269 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11257076 KiB

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

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

# cumulated CPU time of all completed processes:  user=3582.73 s, system=17.6676 s

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

[startup+3658.8 s]
/proc/loadavg: 4.92 4.55 4.51 6/334 81545
/proc/meminfo: memFree=61378968/131382112 swapFree=33007844/33010684
[pid=81181] ppid=81178 vsize=19263204 memory=11258100 CPUtime=3600.28 cores=5,7
/proc/81181/stat : 81181 (java) S 81178 81181 80589 0 -1 4194304 384655 0 0 0 358265 1763 0 0 20 0 21 0 72023092 19725520896 2814525 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
/proc/81181/statm: 4815801 2814525 5596 1 0 3221592 0
[pid=81181/tid=81183] ppid=81178 vsize=19263204 memory=8514726395714820749 CPUtime=3517.03 cores=5,7
/proc/81181/task/81183/stat : 81183 (java) R 81178 81181 80589 0 -1 4194368 219153 0 0 0 350236 1467 0 0 20 0 21 0 72023094 19725520896 2814525 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81192] ppid=81178 vsize=19263204 memory=7245577299922993209 CPUtime=0 cores=5,7
/proc/81181/task/81192/stat : 81192 (Finalizer) S 81178 81181 80589 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 72023097 19725520896 2814525 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
[pid=81181/tid=81199] ppid=81178 vsize=19263204 memory=-8253387840380694172 CPUtime=0.01 cores=5,7
/proc/81181/task/81199/stat : 81199 (Common-Cleaner) S 81178 81181 80589 0 -1 4194368 3978 0 0 0 0 1 0 0 20 0 21 0 72023098 19725520896 2814525 18446744073709551615 94739207143424 94739207147120 140733041324416 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94739207154936 94739207155728 94739231305728 140733041326384 140733041326566 140733041326566 140733041332168 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 11258100 KiB

[startup+3658.9 s]*
/proc/loadavg: 4.92 4.55 4.51 5/316 81548
/proc/meminfo: memFree=72619992/131382112 swapFree=33007844/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3658.91
CPU time (s): 3600.4
CPU user time (s): 3582.73
CPU system time (s): 17.6676
CPU usage (%): 98.4008
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 12921444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.73
system time used= 17.6676
maximum resident set size= 12922340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 385106
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17473872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119869
involuntary context switches= 18816


# summary of solver processes directly reported to runsolver:
#   pid: 81181
#   total CPU time (s): 3600.4
#   total CPU user time (s): 3582.73
#   total CPU system time (s): 17.6676

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.806 second user time and 37.2942 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-07-03 19:23:57
IDJOB=4519891
IDBENCH=177532
IDSOLVER=3364
FILE ID=nodeC005/4519891-1751563437
RUNJOBID= nodeC005-1751559731-80602
SLURM_JOB_ID= 9598757
Free space on /tmp= 429484 MiB

SOLVER NAME= Sat4j Resolution VeriPB 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 -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519891-1751563437/watcher-4519891-1751563437 -o /tmp/evaluation-result-4519891-1751563437/solver-4519891-1751563437 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751559731-80602 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4519891-1751563437 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4519891-1751563437.opb

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

MD5SUM BENCH= 8a6dbe9648cdf1a99b0bd946afbbdeb1
RANDOM SEED=1972396788

nodeC005 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	: 0xb00001f
cpu MHz		: 1795.863
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 2993.111
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1795.854
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.237
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1696.083
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1796.184
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1795.862
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.242
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129540400 kB
MemAvailable:   129669740 kB
Buffers:            2128 kB
Cached:           917632 kB
SwapCached:           24 kB
Active:           985784 kB
Inactive:         271044 kB
Active(anon):     351888 kB
Inactive(anon):     3164 kB
Active(file):     633896 kB
Inactive(file):   267880 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5404 kB
Writeback:             0 kB
AnonPages:        340000 kB
Mapped:           123764 kB
Shmem:             17936 kB
KReclaimable:     134384 kB
Slab:             222084 kB
SReclaimable:     134384 kB
SUnreclaim:        87700 kB
KernelStack:        4992 kB
PageTables:         4292 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    7025156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150280 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    172032 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:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429480 MiB
End job on nodeC005 at 2025-07-03 20:24:56