Trace number 4447142

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 NameAnswerCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07SAT 1264.27 1266.79

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K106.opb
MD5SUM24ba6b7b7d8e9ae68244a11b7fe894d2
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.797123
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7208
Total number of constraints7422
Number of constraints which are clauses7316
Number of constraints which are cardinality constraints (but not clauses)106
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint106
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 107
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.06/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.06/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.11	c See www.sat4j.org for details.
0.06/0.12	c version CUSTOM.v20240707
0.06/0.13	c java.runtime.name	OpenJDK Runtime Environment
0.06/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.06/0.13	c java.vm.version	22.0.1+8-16
0.06/0.13	c java.vm.vendor	Oracle Corporation
0.06/0.13	c sun.arch.data.model	64
0.06/0.13	c java.version		22.0.1
0.06/0.13	c os.name		Linux
0.06/0.13	c os.version		4.18.0-301.1.el8.x86_64
0.06/0.13	c os.arch		amd64
0.06/0.13	c Free memory 		2106806208
0.06/0.13	c Max memory 		16282288128
0.06/0.14	c Total memory 		2113929216
0.06/0.14	c Number of processors 	2
0.06/0.18	--- Begin Solver configuration ---
0.06/0.18	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.06/0.18	Learn all clauses as in MiniSAT
0.06/0.18	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.18	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.18	Expensive reason simplification
0.06/0.18	Glucose 2.1 dynamic restart strategy
0.06/0.18	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.06/0.18	timeout=2147483s
0.06/0.18	DB Simplification allowed=false
0.06/0.18	Listener: none
0.06/0.18	--- End Solver configuration ---
0.06/0.18	c Pseudo Boolean Optimization by upper bound
0.06/0.18	c --- Begin Solver configuration ---
0.06/0.18	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.06/0.18	c Learn all clauses as in MiniSAT
0.06/0.18	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.18	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.18	c Expensive reason simplification
0.06/0.18	c Glucose 2.1 dynamic restart strategy
0.06/0.18	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.06/0.18	c timeout=2147483s
0.06/0.18	c DB Simplification allowed=false
0.06/0.18	c Listener: none
0.06/0.18	c --- End Solver configuration ---
0.06/0.18	c solving HOME/instance-4447142-1721824478.opb
0.06/0.18	c reading problem ... 
0.06/0.18	c using VERIPB proof format
0.06/0.18	c  no objective function found
0.42/0.33	c ... done. Wall clock time 0.138s.
0.42/0.33	c declared #vars     7208
0.42/0.33	c #constraints  7422
0.42/0.33	c constraints type 
0.42/0.33	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1365
0.42/0.33	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 106
0.42/0.33	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5949
0.42/0.33	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.42/0.33	c 7422 constraints processed.
4.14/2.26	c cleaning 2494 clauses out of 4993 with flag 27336/5003
6.68/3.68	c cleaning 4241 clauses out of 8490 with flag 66292/11000
8.25/5.06	c cleaning 5591 clauses out of 11242 with flag 115278/18000
10.11/6.79	c cleaning 6819 clauses out of 13645 with flag 171400/26000
12.22/8.67	c cleaning 7857 clauses out of 15823 with flag 228775/35000
14.63/10.80	c cleaning 8936 clauses out of 17964 with flag 289782/45000
16.96/13.10	c cleaning 9592 clauses out of 20023 with flag 354461/56000
19.58/15.75	c cleaning 10139 clauses out of 22430 with flag 420275/68000
22.41/18.59	c cleaning 10985 clauses out of 25286 with flag 491824/81000
25.75/21.84	c cleaning 12027 clauses out of 28300 with flag 568900/95000
29.28/25.33	c cleaning 12731 clauses out of 31271 with flag 650578/110002
33.10/29.16	c cleaning 13474 clauses out of 34538 with flag 743117/126001
37.22/33.22	c cleaning 14240 clauses out of 38061 with flag 842445/143002
42.03/38.44	c cleaning 15358 clauses out of 41813 with flag 947631/161000
46.82/43.17	c cleaning 15962 clauses out of 45454 with flag 1054542/180000
51.97/48.20	c cleaning 17004 clauses out of 49488 with flag 1172270/200001
57.26/53.56	c cleaning 17903 clauses out of 53481 with flag 1299550/221001
62.84/59.03	c cleaning 18786 clauses out of 57574 with flag 1430047/243000
68.97/65.43	c cleaning 19645 clauses out of 61786 with flag 1568387/266001
75.26/71.75	c cleaning 20269 clauses out of 66137 with flag 1715745/290000
82.24/78.69	c cleaning 21323 clauses out of 70864 with flag 1869947/315000
89.83/86.14	c cleaning 22149 clauses out of 75543 with flag 2033519/341005
97.51/93.75	c cleaning 23075 clauses out of 80390 with flag 2200928/368002
105.62/102.11	c cleaning 23915 clauses out of 85311 with flag 2377332/396000
114.29/110.71	c cleaning 24857 clauses out of 90397 with flag 2565449/425001
123.36/119.77	c cleaning 25921 clauses out of 95538 with flag 2757905/455000
132.88/129.32	c cleaning 26760 clauses out of 100616 with flag 2965741/486000
142.78/139.15	c cleaning 27743 clauses out of 105856 with flag 3179237/518000
153.76/150.01	c cleaning 28621 clauses out of 111112 with flag 3395970/551000
164.99/161.29	c cleaning 29449 clauses out of 116491 with flag 3619464/585000
176.84/173.05	c cleaning 30506 clauses out of 122042 with flag 3863602/620000
188.90/185.04	c cleaning 31145 clauses out of 127537 with flag 4105777/656001
202.14/198.78	c cleaning 32096 clauses out of 133388 with flag 4364031/693000
215.62/212.10	c cleaning 33063 clauses out of 139294 with flag 4629006/731003
229.64/226.58	c cleaning 34106 clauses out of 145230 with flag 4904985/770002
244.40/241.23	c cleaning 34895 clauses out of 151122 with flag 5193233/810001
260.60/257.60	c cleaning 36176 clauses out of 157227 with flag 5504959/851002
276.87/273.82	c cleaning 36740 clauses out of 163049 with flag 5822986/893000
293.53/290.74	c cleaning 38042 clauses out of 169308 with flag 6150031/936000
310.89/307.95	c cleaning 39172 clauses out of 175266 with flag 6483318/980000
329.10/326.60	c cleaning 40173 clauses out of 181094 with flag 6820135/1025000
348.07/345.90	c cleaning 40754 clauses out of 186923 with flag 7167697/1071003
367.22/364.91	c cleaning 42092 clauses out of 193166 with flag 7515935/1118001
387.69/385.78	c cleaning 42875 clauses out of 199074 with flag 7883001/1166002
409.06/407.18	c cleaning 44164 clauses out of 205196 with flag 8264389/1215000
430.74/428.77	c cleaning 45068 clauses out of 211038 with flag 8642348/1265006
453.74/452.00	c cleaning 45907 clauses out of 216964 with flag 9053351/1316000
477.32/476.10	c cleaning 46985 clauses out of 223058 with flag 9464708/1368003
501.98/500.77	c cleaning 47878 clauses out of 229070 with flag 9883040/1421001
526.92/526.24	c cleaning 49135 clauses out of 235193 with flag 10323889/1475002
554.15/553.30	c cleaning 49920 clauses out of 241057 with flag 10788674/1530001
582.22/581.53	c cleaning 50991 clauses out of 247136 with flag 11258960/1586001
611.72/611.19	c cleaning 52336 clauses out of 253142 with flag 11742714/1643000
643.40/642.74	c cleaning 52821 clauses out of 258806 with flag 12240885/1701001
675.80/675.14	c cleaning 53844 clauses out of 264984 with flag 12757602/1760000
708.73/708.48	c cleaning 55106 clauses out of 271140 with flag 13271832/1820000
742.98/743.23	c cleaning 56163 clauses out of 277034 with flag 13815116/1881000
778.95/779.00	c cleaning 56789 clauses out of 282869 with flag 14370358/1943000
815.66/815.43	c cleaning 58195 clauses out of 289082 with flag 14938598/2006002
853.36/853.67	c cleaning 59213 clauses out of 294885 with flag 15530815/2070001
891.83/892.15	c cleaning 60382 clauses out of 300673 with flag 16127575/2135002
932.30/933.03	c cleaning 61040 clauses out of 306288 with flag 16729326/2201000
974.64/975.25	c cleaning 61942 clauses out of 312248 with flag 17361991/2268000
1019.04/1020.30	c cleaning 63219 clauses out of 318305 with flag 17984756/2336000
1065.14/1066.33	c cleaning 64147 clauses out of 324085 with flag 18641511/2405000
1112.35/1113.97	c cleaning 65367 clauses out of 329940 with flag 19302102/2475003
1160.13/1162.32	c cleaning 66007 clauses out of 335570 with flag 19961950/2546000
1209.91/1212.50	c cleaning 67276 clauses out of 341563 with flag 20660231/2618000
1262.66/1265.20	c cleaning 68207 clauses out of 347287 with flag 21401061/2691000
1264.05/1266.64	c SATISFIABLE
1264.05/1266.67	c starts		: 19562
1264.05/1266.67	c conflicts		: 2694658
1264.05/1266.67	c decisions		: 51727787
1264.05/1266.67	c propagations		: 1064204323
1264.05/1266.67	c inspects		: 7919544074
1264.05/1266.67	c shortcuts		: 0
1264.05/1266.67	c learnt literals	: 117
1264.05/1266.67	c learnt binary clauses	: 106592
1264.05/1266.68	c learnt ternary clauses	: 117129
1264.05/1266.68	c learnt constraints	: 2694541
1264.05/1266.68	c ignored constraints	: 0
1264.05/1266.68	c root simplifications	: 0
1264.05/1266.68	c removed literals (reason simplification)	: 34552174
1264.05/1266.68	c reason swapping (by a shorter reason)	: 0
1264.05/1266.68	c Calls to reduceDB	: 69
1264.05/1266.68	c Number of update (reduction) of LBD	: 2159258
1264.05/1266.68	c Imported unit clauses	: 0
1264.05/1266.68	c No decision after first conflict	: false
1264.05/1266.68	c number of reductions to clauses (during analyze)	: 0
1264.05/1266.68	c number of learned constraints concerned by reduction	: 0
1264.05/1266.68	c number of learning phase by resolution	: 0
1264.05/1266.68	c number of learning phase by cutting planes	: 0
1264.05/1266.68	c number of rounding to 1 operations	: 0
1264.05/1266.68	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1264.05/1266.68	c number of reductions of the coefficients by power 2 	: 0
1264.05/1266.68	c number of right shift for reduction by power 2 	: 0
1264.05/1266.68	c number of reductions of the coefficients by GCD over coefficients 	: 0
1264.05/1266.68	c number of ending skipping 	: 0
1264.05/1266.68	c number of internal skipping 	: 0
1264.05/1266.68	c number of derivation steps 	: 0
1264.05/1266.68	c number of skipped derivation steps 	: 0
1264.05/1266.68	c number of remaining unassigned 	: 0
1264.05/1266.68	c number of remaining assigned 	: 0
1264.05/1266.68	c number of falsified literals weakened from reason	: 0
1264.05/1266.68	c number of falsified literals weakened from conflict	: 0
1264.05/1266.68	c time for arithmetic operations	: 0
1264.05/1266.68	c minimum degree of deleted constraints	: null
1264.05/1266.68	c maximum degree of deleted constraints	: null
1264.05/1266.68	c number of deleted constraints	: 0
1264.05/1266.68	c speed (assignments/second)	: 840371.4004816994
1264.05/1266.68	c non guided choices	: 8157
1264.17/1266.75	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 176146
1264.17/1266.75	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 106592
1264.17/1266.75	s SATISFIABLE
1264.17/1266.75	c Found 1 solution(s)
1264.17/1266.75	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 
1264.17/1266.75	c Total wall clock time (in seconds): 1266.572

Verifier Data 

OK	0

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: 63931 MiB (55182 MiB free)
  memory of node 1: 64510 MiB (51398 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447142-1721824478/watcher-4447142-1721824478 -o /tmp/evaluation-result-4447142-1721824478/solver-4447142-1721824478 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721817186-181709 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4447142-1721824478 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4447142-1721824478.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=186213, runsolver pid=186210

[startup+0.104761 s]*
/proc/loadavg: 4.43 4.24 4.16 7/311 186231
/proc/meminfo: memFree=110593860/131524600 swapFree=131070704/131071996
[pid=186213] ppid=186210 vsize=18975048 memory=56260 CPUtime=0.06 cores=4,6
/proc/186213/stat : 186213 (java) S 186210 186213 181698 0 -1 1077936128 6598 0 0 0 5 1 0 0 20 0 18 0 18970738 19430449152 14065 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
/proc/186213/statm: 4743762 14065 5566 1 0 548842 0
[pid=186213/tid=186215] ppid=186210 vsize=18975048 memory=4026532157 CPUtime=0.04 cores=4,6
/proc/186213/task/186215/stat : 186215 (java) R 186210 186213 181698 0 -1 4194368 5520 0 0 0 3 1 0 0 20 0 18 0 18970740 19430449152 14065 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186224] ppid=186210 vsize=18975048 memory=219966341476 CPUtime=0 cores=4,6
/proc/186213/task/186224/stat : 186224 (Finalizer) S 186210 186213 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18970744 19430449152 14065 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186231] ppid=186210 vsize=18975048 memory=14698487011830664 CPUtime=0 cores=4,6
/proc/186213/task/186231/stat : 186231 (Common-Cleaner) S 186210 186213 181698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18970744 19430449152 14065 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56260 KiB

[startup+0.212581 s]*
/proc/loadavg: 4.43 4.24 4.16 7/311 186236
/proc/meminfo: memFree=110930016/131524600 swapFree=131070704/131071996
[pid=186213] ppid=186210 vsize=18975048 memory=70796 CPUtime=0.24 cores=4,6
/proc/186213/stat : 186213 (java) S 186210 186213 181698 0 -1 1077936128 7573 0 0 0 22 2 0 0 20 0 18 0 18970738 19430449152 17699 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
/proc/186213/statm: 4743762 17699 5745 1 0 549589 0
[pid=186213/tid=186215] ppid=186210 vsize=18975048 memory=3472328300254199927 CPUtime=0.13 cores=4,6
/proc/186213/task/186215/stat : 186215 (java) R 186210 186213 181698 0 -1 4194368 5940 0 0 0 12 1 0 0 20 0 18 0 18970740 19430449152 17699 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186224] ppid=186210 vsize=18975048 memory=1010550 CPUtime=0 cores=4,6
/proc/186213/task/186224/stat : 186224 (Finalizer) S 186210 186213 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18970744 19430449152 17699 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186231] ppid=186210 vsize=18975048 memory=14972261111170590 CPUtime=0 cores=4,6
/proc/186213/task/186231/stat : 186231 (Common-Cleaner) S 186210 186213 181698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18970744 19430449152 17699 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 70796 KiB

[startup+0.306582 s]*
/proc/loadavg: 4.43 4.24 4.16 8/317 186251
/proc/meminfo: memFree=110847168/131524600 swapFree=131070704/131071996
[pid=186213] ppid=186210 vsize=18975048 memory=99860 CPUtime=0.42 cores=4,6
/proc/186213/stat : 186213 (java) S 186210 186213 181698 0 -1 1077936128 9153 0 0 0 39 3 0 0 20 0 18 0 18970738 19430449152 24965 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
/proc/186213/statm: 4743762 24965 5793 1 0 550611 0
[pid=186213/tid=186215] ppid=186210 vsize=18975048 memory=4943718199893057854 CPUtime=0.22 cores=4,6
/proc/186213/task/186215/stat : 186215 (java) R 186210 186213 181698 0 -1 4194368 5976 0 0 0 20 2 0 0 20 0 18 0 18970740 19430449152 24965 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186224] ppid=186210 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/186213/task/186224/stat : 186224 (Finalizer) S 186210 186213 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18970744 19430449152 24965 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186231] ppid=186210 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/186213/task/186231/stat : 186231 (Common-Cleaner) S 186210 186213 181698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18970744 19430449152 24965 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 99860 KiB

[startup+0.700582 s]
/proc/loadavg: 4.43 4.24 4.16 8/335 186269
/proc/meminfo: memFree=110747684/131524600 swapFree=131070704/131071996
[pid=186213] ppid=186210 vsize=19041612 memory=147108 CPUtime=1.16 cores=4,6
/proc/186213/stat : 186213 (java) S 186210 186213 181698 0 -1 1077936128 15581 0 0 0 112 4 0 0 20 0 19 0 18970738 19498610688 36777 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
/proc/186213/statm: 4760403 36777 5793 1 0 555318 0
[pid=186213/tid=186215] ppid=186210 vsize=19041612 memory=67084 CPUtime=0.58 cores=4,6
/proc/186213/task/186215/stat : 186215 (java) R 186210 186213 181698 0 -1 4194368 6069 0 0 0 56 2 0 0 20 0 19 0 18970740 19498610688 36777 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186224] ppid=186210 vsize=19041612 memory=13524 CPUtime=0 cores=4,6
/proc/186213/task/186224/stat : 186224 (Finalizer) S 186210 186213 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18970744 19498610688 36777 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186231] ppid=186210 vsize=19041612 memory=2212 CPUtime=0 cores=4,6
/proc/186213/task/186231/stat : 186231 (Common-Cleaner) S 186210 186213 181698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18970744 19498610688 36777 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186253] ppid=186210 vsize=19041612 memory=1896 CPUtime=0 cores=4,6
/proc/186213/task/186253/stat : 186253 (Timer-0) S 186210 186213 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18970771 19498610688 36777 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 147108 KiB

[startup+1.50858 s]
/proc/loadavg: 4.72 4.31 4.18 8/336 186270
/proc/meminfo: memFree=110629160/131524600 swapFree=131070704/131071996
[pid=186213] ppid=186210 vsize=19108176 memory=187216 CPUtime=2.77 cores=4,6
/proc/186213/stat : 186213 (java) S 186210 186213 181698 0 -1 1077936128 21090 0 0 0 271 6 0 0 20 0 20 0 18970738 19566772224 46804 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
/proc/186213/statm: 4777044 46804 5841 1 0 555615 0
[pid=186213/tid=186215] ppid=186210 vsize=19108176 memory=13524 CPUtime=1.37 cores=4,6
/proc/186213/task/186215/stat : 186215 (java) R 186210 186213 181698 0 -1 4194368 6491 0 0 0 133 4 0 0 20 0 20 0 18970740 19566772224 46804 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186224] ppid=186210 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/186213/task/186224/stat : 186224 (Finalizer) S 186210 186213 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18970744 19566772224 46804 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186231] ppid=186210 vsize=19108176 memory=33 CPUtime=0 cores=4,6
/proc/186213/task/186231/stat : 186231 (Common-Cleaner) S 186210 186213 181698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18970744 19566772224 46804 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186253] ppid=186210 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/186213/task/186253/stat : 186253 (Timer-0) S 186210 186213 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18970771 19566772224 46804 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187216 KiB

[startup+3.10858 s]
/proc/loadavg: 4.72 4.31 4.18 6/338 186274
/proc/meminfo: memFree=110527728/131524600 swapFree=131070704/131071996
[pid=186213] ppid=186210 vsize=19108176 memory=195452 CPUtime=5.92 cores=4,6
/proc/186213/stat : 186213 (java) S 186210 186213 181698 0 -1 1077936128 24828 0 0 0 585 7 0 0 20 0 20 0 18970738 19566772224 48863 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
/proc/186213/statm: 4777044 48863 5857 1 0 556034 0
[pid=186213/tid=186215] ppid=186210 vsize=19108176 memory=0 CPUtime=2.93 cores=4,6
/proc/186213/task/186215/stat : 186215 (java) R 186210 186213 181698 0 -1 4194368 7652 0 0 0 289 4 0 0 20 0 20 0 18970740 19566772224 48863 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186224] ppid=186210 vsize=19108176 memory=-9177324929687528124 CPUtime=0 cores=4,6
/proc/186213/task/186224/stat : 186224 (Finalizer) S 186210 186213 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18970744 19566772224 48863 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186231] ppid=186210 vsize=19108176 memory=13524 CPUtime=0 cores=4,6
/proc/186213/task/186231/stat : 186231 (Common-Cleaner) S 186210 186213 181698 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 18970744 19566772224 48863 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186253] ppid=186210 vsize=19108176 memory=33 CPUtime=0 cores=4,6
/proc/186213/task/186253/stat : 186253 (Timer-0) S 186210 186213 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18970771 19566772224 48863 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
Current children cumulated CPU time: 5.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195452 KiB

[startup+6.30026 s]
/proc/loadavg: 4.66 4.30 4.18 5/338 186274
/proc/meminfo: memFree=110264152/131524600 swapFree=131070704/131071996
[pid=186213] ppid=186210 vsize=19108176 memory=327220 CPUtime=9.7 cores=4,6
/proc/186213/stat : 186213 (java) S 186210 186213 181698 0 -1 1077936128 25789 0 0 0 958 12 0 0 20 0 20 0 18970738 19566772224 81805 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
/proc/186213/statm: 4777044 81805 5857 1 0 556040 0
[pid=186213/tid=186215] ppid=186210 vsize=19108176 memory=13524 CPUtime=6.08 cores=4,6
/proc/186213/task/186215/stat : 186215 (java) R 186210 186213 181698 0 -1 4194368 7774 0 0 0 600 8 0 0 20 0 20 0 18970740 19566772224 81805 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186224] ppid=186210 vsize=19108176 memory=33 CPUtime=0 cores=4,6
/proc/186213/task/186224/stat : 186224 (Finalizer) S 186210 186213 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18970744 19566772224 81805 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186231] ppid=186210 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/186213/task/186231/stat : 186231 (Common-Cleaner) S 186210 186213 181698 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 18970744 19566772224 81805 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186253] ppid=186210 vsize=19108176 memory=12156 CPUtime=0 cores=4,6
/proc/186213/task/186253/stat : 186253 (Timer-0) S 186210 186213 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18970771 19566772224 81805 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
Current children cumulated CPU time: 9.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 327220 KiB

[startup+12.7003 s]
/proc/loadavg: 4.77 4.33 4.19 5/338 186274
/proc/meminfo: memFree=109721032/131524600 swapFree=131070704/131071996
[pid=186213] ppid=186210 vsize=19108176 memory=523196 CPUtime=16.54 cores=4,6
/proc/186213/stat : 186213 (java) S 186210 186213 181698 0 -1 1077936128 33479 0 0 0 1634 20 0 0 20 0 20 0 18970738 19566772224 130799 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
/proc/186213/statm: 4777044 130799 5872 1 0 556949 0
[pid=186213/tid=186215] ppid=186210 vsize=19108176 memory=12156 CPUtime=12.36 cores=4,6
/proc/186213/task/186215/stat : 186215 (java) R 186210 186213 181698 0 -1 4194368 8509 0 0 0 1221 15 0 0 20 0 20 0 18970740 19566772224 130799 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186224] ppid=186210 vsize=19108176 memory=13524 CPUtime=0 cores=4,6
/proc/186213/task/186224/stat : 186224 (Finalizer) S 186210 186213 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18970744 19566772224 130799 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186231] ppid=186210 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/186213/task/186231/stat : 186231 (Common-Cleaner) S 186210 186213 181698 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 18970744 19566772224 130799 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186253] ppid=186210 vsize=19108176 memory=3471342830208770224 CPUtime=0 cores=4,6
/proc/186213/task/186253/stat : 186253 (Timer-0) S 186210 186213 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18970771 19566772224 130799 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
Current children cumulated CPU time: 16.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 523196 KiB

[startup+25.5006 s]
/proc/loadavg: 4.65 4.32 4.19 5/338 186277
/proc/meminfo: memFree=108685620/131524600 swapFree=131070704/131071996
[pid=186213] ppid=186210 vsize=19108176 memory=797940 CPUtime=29.48 cores=4,6
/proc/186213/stat : 186213 (java) S 186210 186213 181698 0 -1 1077936128 38043 0 0 0 2915 33 0 0 20 0 20 0 18970738 19566772224 199485 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
/proc/186213/statm: 4777044 199485 5872 1 0 556949 0
[pid=186213/tid=186215] ppid=186210 vsize=19108176 memory=0 CPUtime=24.89 cores=4,6
/proc/186213/task/186215/stat : 186215 (java) R 186210 186213 181698 0 -1 4194368 10046 0 0 0 2467 22 0 0 20 0 20 0 18970740 19566772224 199485 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186224] ppid=186210 vsize=19108176 memory=12156 CPUtime=0 cores=4,6
/proc/186213/task/186224/stat : 186224 (Finalizer) S 186210 186213 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18970744 19566772224 199485 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186231] ppid=186210 vsize=19108176 memory=760972 CPUtime=0 cores=4,6
/proc/186213/task/186231/stat : 186231 (Common-Cleaner) S 186210 186213 181698 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 18970744 19566772224 199485 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186253] ppid=186210 vsize=19108176 memory=-9177324929687528124 CPUtime=0 cores=4,6
/proc/186213/task/186253/stat : 186253 (Timer-0) S 186210 186213 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18970771 19566772224 199485 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
Current children cumulated CPU time: 29.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 797940 KiB

[startup+51.1059 s]
/proc/loadavg: 4.46 4.30 4.19 5/338 186280
/proc/meminfo: memFree=107033536/131524600 swapFree=131070704/131071996
[pid=186213] ppid=186210 vsize=19108176 memory=1269216 CPUtime=54.87 cores=4,6
/proc/186213/stat : 186213 (java) S 186210 186213 181698 0 -1 1077936128 43961 0 0 0 5435 52 0 0 20 0 20 0 18970738 19566772224 317304 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
/proc/186213/statm: 4777044 317304 5872 1 0 556949 0
[pid=186213/tid=186215] ppid=186210 vsize=19108176 memory=1025360 CPUtime=49.59 cores=4,6
/proc/186213/task/186215/stat : 186215 (java) R 186210 186213 181698 0 -1 4194368 11601 0 0 0 4925 34 0 0 20 0 20 0 18970740 19566772224 317304 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 47 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186224] ppid=186210 vsize=19108176 memory=1176992 CPUtime=0 cores=4,6
/proc/186213/task/186224/stat : 186224 (Finalizer) S 186210 186213 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18970744 19566772224 317304 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0

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

/proc/186213/task/186231/stat : 186231 (Common-Cleaner) S 186210 186213 181698 0 -1 1077936192 1075 0 0 0 0 0 0 0 20 0 20 0 18970744 19566772224 544584 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186253] ppid=186210 vsize=19108176 memory=12156 CPUtime=0 cores=4,6
/proc/186213/task/186253/stat : 186253 (Timer-0) S 186210 186213 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18970771 19566772224 544584 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
Current children cumulated CPU time: 1179.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178336 KiB

[startup+1242.3 s]
/proc/loadavg: 5.02 4.67 4.38 6/338 186987
/proc/meminfo: memFree=82684512/131524600 swapFree=131070704/131071996
[pid=186213] ppid=186210 vsize=19108176 memory=2178340 CPUtime=1239.89 cores=4,6
/proc/186213/stat : 186213 (java) S 186210 186213 181698 0 -1 1077936128 148858 0 0 0 123578 411 0 0 20 0 20 0 18970738 19566772224 544585 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
/proc/186213/statm: 4777044 544585 5872 1 0 558687 0
[pid=186213/tid=186215] ppid=186210 vsize=19108176 memory=2178340 CPUtime=1211.78 cores=4,6
/proc/186213/task/186215/stat : 186215 (java) R 186210 186213 181698 0 -1 4194368 46641 0 0 0 120838 340 0 0 20 0 20 0 18970740 19566772224 544585 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1383 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186224] ppid=186210 vsize=19108176 memory=2178336 CPUtime=0 cores=4,6
/proc/186213/task/186224/stat : 186224 (Finalizer) S 186210 186213 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18970744 19566772224 544585 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186231] ppid=186210 vsize=19108176 memory=2178336 CPUtime=0 cores=4,6
/proc/186213/task/186231/stat : 186231 (Common-Cleaner) S 186210 186213 181698 0 -1 1077936192 1136 0 0 0 0 0 0 0 20 0 20 0 18970744 19566772224 544585 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186253] ppid=186210 vsize=19108176 memory=2178340 CPUtime=0 cores=4,6
/proc/186213/task/186253/stat : 186253 (Timer-0) S 186210 186213 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18970771 19566772224 544585 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
Current children cumulated CPU time: 1239.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178340 KiB

[startup+1266.79 s]
# the end of solver process 186213 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=1260.08 s, system=4.18992 s

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

[startup+1254.4 s]
/proc/loadavg: 5.01 4.68 4.39 6/338 186990
/proc/meminfo: memFree=82618704/131524600 swapFree=131070704/131071996
[pid=186213] ppid=186210 vsize=19108176 memory=2178340 CPUtime=1252.09 cores=4,6
/proc/186213/stat : 186213 (java) S 186210 186213 181698 0 -1 1077936128 149000 0 0 0 124795 414 0 0 20 0 20 0 18970738 19566772224 544585 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
/proc/186213/statm: 4777044 544585 5872 1 0 558687 0
[pid=186213/tid=186215] ppid=186210 vsize=19108176 memory=104 CPUtime=1223.7 cores=4,6
/proc/186213/task/186215/stat : 186215 (java) R 186210 186213 181698 0 -1 4194368 46724 0 0 0 122028 342 0 0 20 0 20 0 18970740 19566772224 544585 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1383 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186224] ppid=186210 vsize=19108176 memory=2178336 CPUtime=0 cores=4,6
/proc/186213/task/186224/stat : 186224 (Finalizer) S 186210 186213 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18970744 19566772224 544585 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186231] ppid=186210 vsize=19108176 memory=13524 CPUtime=0 cores=4,6
/proc/186213/task/186231/stat : 186231 (Common-Cleaner) S 186210 186213 181698 0 -1 1077936192 1136 0 0 0 0 0 0 0 20 0 20 0 18970744 19566772224 544585 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186253] ppid=186210 vsize=19108176 memory=2178336 CPUtime=0 cores=4,6
/proc/186213/task/186253/stat : 186253 (Timer-0) S 186210 186213 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18970771 19566772224 544585 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
Current children cumulated CPU time: 1252.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178340 KiB

[startup+1260.8 s]
/proc/loadavg: 5.01 4.68 4.39 6/338 186990
/proc/meminfo: memFree=82596100/131524600 swapFree=131070704/131071996
[pid=186213] ppid=186210 vsize=19108176 memory=2178340 CPUtime=1258.47 cores=4,6
/proc/186213/stat : 186213 (java) S 186210 186213 181698 0 -1 1077936128 149046 0 0 0 125432 415 0 0 20 0 20 0 18970738 19566772224 544585 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
/proc/186213/statm: 4777044 544585 5872 1 0 558687 0
[pid=186213/tid=186215] ppid=186210 vsize=19108176 memory=67084 CPUtime=1230.09 cores=4,6
/proc/186213/task/186215/stat : 186215 (java) R 186210 186213 181698 0 -1 4194368 46769 0 0 0 122665 344 0 0 20 0 20 0 18970740 19566772224 544585 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1383 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186224] ppid=186210 vsize=19108176 memory=2178340 CPUtime=0 cores=4,6
/proc/186213/task/186224/stat : 186224 (Finalizer) S 186210 186213 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18970744 19566772224 544585 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186231] ppid=186210 vsize=19108176 memory=2178340 CPUtime=0 cores=4,6
/proc/186213/task/186231/stat : 186231 (Common-Cleaner) S 186210 186213 181698 0 -1 1077936192 1136 0 0 0 0 0 0 0 20 0 20 0 18970744 19566772224 544585 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186253] ppid=186210 vsize=19108176 memory=-9177324929687528124 CPUtime=0 cores=4,6
/proc/186213/task/186253/stat : 186253 (Timer-0) S 186210 186213 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18970771 19566772224 544585 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
Current children cumulated CPU time: 1258.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178340 KiB

[startup+1264 s]*
/proc/loadavg: 5.01 4.69 4.40 6/338 187373
/proc/meminfo: memFree=82568520/131524600 swapFree=131070704/131071996
[pid=186213] ppid=186210 vsize=19108176 memory=2178340 CPUtime=1261.46 cores=4,6
/proc/186213/stat : 186213 (java) S 186210 186213 181698 0 -1 1077936128 149063 0 0 0 125730 416 0 0 20 0 20 0 18970738 19566772224 544585 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
/proc/186213/statm: 4777044 544585 5872 1 0 558687 0
[pid=186213/tid=186215] ppid=186210 vsize=19108176 memory=6960 CPUtime=1233.08 cores=4,6
/proc/186213/task/186215/stat : 186215 (java) R 186210 186213 181698 0 -1 4194368 46769 0 0 0 122963 345 0 0 20 0 20 0 18970740 19566772224 544585 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1405 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186224] ppid=186210 vsize=19108176 memory=7068 CPUtime=0 cores=4,6
/proc/186213/task/186224/stat : 186224 (Finalizer) S 186210 186213 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18970744 19566772224 544585 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186231] ppid=186210 vsize=19108176 memory=27800 CPUtime=0 cores=4,6
/proc/186213/task/186231/stat : 186231 (Common-Cleaner) S 186210 186213 181698 0 -1 1077936192 1153 0 0 0 0 0 0 0 20 0 20 0 18970744 19566772224 544585 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186253] ppid=186210 vsize=19108176 memory=-4421386521983870303 CPUtime=0 cores=4,6
/proc/186213/task/186253/stat : 186253 (Timer-0) S 186210 186213 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18970771 19566772224 544585 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
Current children cumulated CPU time: 1261.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178340 KiB

[startup+1265.6 s]
/proc/loadavg: 5.01 4.69 4.40 6/338 187373
/proc/meminfo: memFree=82564584/131524600 swapFree=131070704/131071996
[pid=186213] ppid=186210 vsize=19108176 memory=2178356 CPUtime=1263.06 cores=4,6
/proc/186213/stat : 186213 (java) S 186210 186213 181698 0 -1 1077936128 149125 0 0 0 125889 417 0 0 20 0 20 0 18970738 19566772224 544589 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
/proc/186213/statm: 4777044 544589 5872 1 0 558687 0
[pid=186213/tid=186215] ppid=186210 vsize=19108176 memory=5516 CPUtime=1234.66 cores=4,6
/proc/186213/task/186215/stat : 186215 (java) R 186210 186213 181698 0 -1 4194368 46831 0 0 0 123121 345 0 0 20 0 20 0 18970740 19566772224 544589 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1405 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186224] ppid=186210 vsize=19108176 memory=-9177324929687528124 CPUtime=0 cores=4,6
/proc/186213/task/186224/stat : 186224 (Finalizer) S 186210 186213 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18970744 19566772224 544589 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186231] ppid=186210 vsize=19108176 memory=27796 CPUtime=0 cores=4,6
/proc/186213/task/186231/stat : 186231 (Common-Cleaner) S 186210 186213 181698 0 -1 1077936192 1153 0 0 0 0 0 0 0 20 0 20 0 18970744 19566772224 544589 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186253] ppid=186210 vsize=19108176 memory=30924 CPUtime=0 cores=4,6
/proc/186213/task/186253/stat : 186253 (Timer-0) S 186210 186213 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18970771 19566772224 544589 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
Current children cumulated CPU time: 1263.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178356 KiB

[startup+1266.4 s]
/proc/loadavg: 5.01 4.70 4.40 6/338 187373
/proc/meminfo: memFree=82558480/131524600 swapFree=131070704/131071996
[pid=186213] ppid=186210 vsize=19108176 memory=2178356 CPUtime=1263.85 cores=4,6
/proc/186213/stat : 186213 (java) S 186210 186213 181698 0 -1 1077936128 149164 0 0 0 125968 417 0 0 20 0 20 0 18970738 19566772224 544589 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
/proc/186213/statm: 4777044 544589 5872 1 0 558687 0
[pid=186213/tid=186215] ppid=186210 vsize=19108176 memory=2178356 CPUtime=1235.46 cores=4,6
/proc/186213/task/186215/stat : 186215 (java) R 186210 186213 181698 0 -1 4194368 46870 0 0 0 123201 345 0 0 20 0 20 0 18970740 19566772224 544589 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1405 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186224] ppid=186210 vsize=19108176 memory=2178340 CPUtime=0 cores=4,6
/proc/186213/task/186224/stat : 186224 (Finalizer) S 186210 186213 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18970744 19566772224 544589 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186231] ppid=186210 vsize=19108176 memory=16100 CPUtime=0 cores=4,6
/proc/186213/task/186231/stat : 186231 (Common-Cleaner) S 186210 186213 181698 0 -1 1077936192 1153 0 0 0 0 0 0 0 20 0 20 0 18970744 19566772224 544589 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186253] ppid=186210 vsize=19108176 memory=-9177324929687528124 CPUtime=0 cores=4,6
/proc/186213/task/186253/stat : 186253 (Timer-0) S 186210 186213 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18970771 19566772224 544589 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
Current children cumulated CPU time: 1263.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178356 KiB

[startup+1266.6 s]
/proc/loadavg: 5.01 4.70 4.40 6/338 187373
/proc/meminfo: memFree=82558480/131524600 swapFree=131070704/131071996
[pid=186213] ppid=186210 vsize=19108176 memory=2178356 CPUtime=1264.05 cores=4,6
/proc/186213/stat : 186213 (java) S 186210 186213 181698 0 -1 1077936128 149175 0 0 0 125988 417 0 0 20 0 20 0 18970738 19566772224 544589 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
/proc/186213/statm: 4777044 544589 5872 1 0 558687 0
[pid=186213/tid=186215] ppid=186210 vsize=19108176 memory=1676 CPUtime=1235.66 cores=4,6
/proc/186213/task/186215/stat : 186215 (java) R 186210 186213 181698 0 -1 4194368 46881 0 0 0 123221 345 0 0 20 0 20 0 18970740 19566772224 544589 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1405 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186224] ppid=186210 vsize=19108176 memory=1936 CPUtime=0 cores=4,6
/proc/186213/task/186224/stat : 186224 (Finalizer) S 186210 186213 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18970744 19566772224 544589 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186231] ppid=186210 vsize=19108176 memory=2178340 CPUtime=0 cores=4,6
/proc/186213/task/186231/stat : 186231 (Common-Cleaner) S 186210 186213 181698 0 -1 1077936192 1153 0 0 0 0 0 0 0 20 0 20 0 18970744 19566772224 544589 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186253] ppid=186210 vsize=19108176 memory=2178340 CPUtime=0 cores=4,6
/proc/186213/task/186253/stat : 186253 (Timer-0) S 186210 186213 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18970771 19566772224 544589 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
Current children cumulated CPU time: 1264.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178356 KiB

[startup+1266.71 s]
/proc/loadavg: 5.01 4.70 4.40 6/338 187373
/proc/meminfo: memFree=82558480/131524600 swapFree=131070704/131071996
[pid=186213] ppid=186210 vsize=19241304 memory=2178824 CPUtime=1264.17 cores=4,6
/proc/186213/stat : 186213 (java) S 186210 186213 181698 0 -1 1077936128 151037 0 0 0 126000 417 0 0 20 0 20 0 18970738 19703095296 544706 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
/proc/186213/statm: 4810326 544706 5871 1 0 559329 0
[pid=186213/tid=186215] ppid=186210 vsize=19241304 memory=67084 CPUtime=1235.72 cores=4,6
/proc/186213/task/186215/stat : 186215 (java) S 186210 186213 181698 0 -1 1077936192 47919 0 0 0 123226 346 0 0 20 0 20 0 18970740 19703095296 544706 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 1406 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186224] ppid=186210 vsize=19241304 memory=2178340 CPUtime=0 cores=4,6
/proc/186213/task/186224/stat : 186224 (Finalizer) S 186210 186213 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18970744 19703095296 544706 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
[pid=186213/tid=186231] ppid=186210 vsize=19241304 memory=2178340 CPUtime=0 cores=4,6
/proc/186213/task/186231/stat : 186231 (Common-Cleaner) S 186210 186213 181698 0 -1 1077936192 1153 0 0 0 0 0 0 0 20 0 20 0 18970744 19703095296 544706 134679101440 94097051189248 94097051192944 140733405248256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94097051200760 94097051201552 94097068249088 140733405250475 140733405250657 140733405250657 140733405257672 0
Current children cumulated CPU time: 1264.17 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 2178824 KiB

Child status: 10

Real time (s): 1266.79
CPU time (s): 1264.27
CPU user time (s): 1260.08
CPU system time (s): 4.18992
CPU usage (%): 99.8014
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 2178824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1260.08
system time used= 4.18992
maximum resident set size= 2179920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151606
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6576104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43710
involuntary context switches= 5577


# summary of solver processes directly reported to runsolver:
#   pid: 186213
#   total CPU time (s): 1264.27
#   total CPU user time (s): 1260.08
#   total CPU system time (s): 4.18992

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.29269 second user time and 6.75691 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-24 14:34:38
IDJOB=4447142
IDBENCH=158362
IDSOLVER=3079
FILE ID=nodeC022/4447142-1721824478
RUNJOBID= nodeC022-1721817186-181709
SLURM_JOB_ID= 7816878
Free space on /tmp= 890020 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K106.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447142-1721824478/watcher-4447142-1721824478 -o /tmp/evaluation-result-4447142-1721824478/solver-4447142-1721824478 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721817186-181709 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4447142-1721824478 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4447142-1721824478.opb

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

MD5SUM BENCH= 24ba6b7b7d8e9ae68244a11b7fe894d2
RANDOM SEED=1019234138

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        108724008 kB
MemAvailable:   126879724 kB
Buffers:          257832 kB
Cached:         18614968 kB
SwapCached:          296 kB
Active:          2599332 kB
Inactive:       19362448 kB
Active(anon):       3848 kB
Inactive(anon):  3139428 kB
Active(file):    2595484 kB
Inactive(file): 16223020 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:             21472 kB
Writeback:             0 kB
AnonPages:       3087964 kB
Mapped:           134296 kB
Shmem:             53884 kB
KReclaimable:     352420 kB
Slab:             476860 kB
SReclaimable:     352420 kB
SUnreclaim:       124440 kB
KernelStack:        4720 kB
PageTables:        15748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    5217244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21344 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2820096 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      334548 kB
DirectMap2M:    36139008 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC022 at 2024-07-24 14:55:45