Trace number 4504304

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06OPT5950590 67.1774 65.4152

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_2_mh.opb
MD5SUM1542385ac037132e9cf985b37fe6e57c
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5950590
Best CPU time to get the best result obtained on this benchmark10.1892
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6810
Total number of constraints15202
Number of constraints which are clauses11580
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints3600
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 3795
Biggest coefficient in the objective function 74088000
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 3666159515
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 74088000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 3666159515
Number of bits of the biggest sum of numbers32
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c Expensive reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	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.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4504304-1751447707.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  objective function found
0.52/0.32	c ... done. Wall clock time 0.193s.
0.52/0.32	c declared #vars     6810
0.52/0.32	c #constraints  15629
0.52/0.32	c constraints type 
0.52/0.32	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9465
0.52/0.32	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22
0.52/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075
0.52/0.32	c org.sat4j.specs.Constr$1 => 3
0.52/0.32	c org.sat4j.pb.constraints.pb.UnitClausesPB => 3
0.52/0.32	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3061
0.52/0.32	c 15629 constraints processed.
0.52/0.34	c objective function length is 3795 literals
0.52/0.38	c SATISFIABLE
0.52/0.38	c OPTIMIZING...
0.52/0.38	c Got one! Elapsed wall clock time (in seconds):0.26
0.52/0.38	o 6081270
0.71/0.41	c Got one! Elapsed wall clock time (in seconds):0.287
0.71/0.41	o 6031626
0.71/0.45	c Got one! Elapsed wall clock time (in seconds):0.328
0.71/0.45	o 6027614
0.91/0.52	c Got one! Elapsed wall clock time (in seconds):0.393
0.91/0.52	o 6011495
2.52/1.51	c cleaning 2563 clauses out of 5127 with flag 26668/5127
2.92/1.70	c Got one! Elapsed wall clock time (in seconds):1.581
2.92/1.70	o 6011106
3.66/2.32	c cleaning 3932 clauses out of 7868 with flag 24178/10433
4.07/2.74	c Got one! Elapsed wall clock time (in seconds):2.613
4.07/2.74	o 6010248
4.65/3.22	c cleaning 4856 clauses out of 9720 with flag 19522/16220
5.56/4.14	c cleaning 5431 clauses out of 10863 with flag 71523/22219
6.31/4.82	c Got one! Elapsed wall clock time (in seconds):4.699
6.31/4.82	o 6009369
6.31/4.83	c Got one! Elapsed wall clock time (in seconds):4.709
6.31/4.83	o 5994087
6.64/5.02	c cleaning 5458 clauses out of 10925 with flag 5720/27716
7.59/5.93	c cleaning 5732 clauses out of 11463 with flag 40756/33716
8.60/6.97	c cleaning 6366 clauses out of 12731 with flag 76073/40716
9.71/8.06	c Got one! Elapsed wall clock time (in seconds):7.936
9.71/8.06	o 5961310
10.51/8.87	c cleaning 9236 clauses out of 18482 with flag 31832/52835
11.41/9.75	c cleaning 7614 clauses out of 15246 with flag 63953/58835
12.51/10.81	c cleaning 7309 clauses out of 14634 with flag 107699/65837
13.61/11.96	c cleaning 7649 clauses out of 15323 with flag 152310/73835
14.92/13.27	c cleaning 8336 clauses out of 16674 with flag 205866/82835
16.42/14.75	c cleaning 9166 clauses out of 18339 with flag 261644/92836
18.02/16.39	c cleaning 10086 clauses out of 20172 with flag 319774/103835
19.82/18.18	c cleaning 11029 clauses out of 22084 with flag 387646/115834
21.94/20.22	c cleaning 12022 clauses out of 24055 with flag 457007/128834
24.06/22.31	c cleaning 13012 clauses out of 26033 with flag 527493/142834
26.35/24.68	c cleaning 14004 clauses out of 28020 with flag 612335/157834
28.85/27.16	c cleaning 15004 clauses out of 30017 with flag 700081/173835
31.44/29.76	c cleaning 15999 clauses out of 32014 with flag 793554/190836
34.24/32.51	c cleaning 17000 clauses out of 34015 with flag 885219/208837
37.13/35.47	c cleaning 17987 clauses out of 36012 with flag 999275/227834
40.33/38.64	c cleaning 19013 clauses out of 38025 with flag 1097026/247834
43.64/41.91	c cleaning 19998 clauses out of 40011 with flag 1198903/268834
47.15/45.41	c cleaning 21005 clauses out of 42014 with flag 1305624/290835
49.35/47.66	c Got one! Elapsed wall clock time (in seconds):47.537
49.35/47.66	o 5957862
50.27/48.52	c cleaning 20402 clauses out of 40819 with flag 26951/310649
51.17/49.43	c cleaning 13192 clauses out of 26416 with flag 62349/316648
52.26/50.52	c cleaning 10103 clauses out of 20224 with flag 101432/323648
53.46/51.72	c cleaning 9053 clauses out of 18121 with flag 140912/331648
54.46/52.73	c Got one! Elapsed wall clock time (in seconds):52.607
54.46/52.73	o 5955270
55.26/53.51	c cleaning 10377 clauses out of 20753 with flag 26234/343334
56.06/54.40	c cleaning 8184 clauses out of 16375 with flag 56933/349333
57.16/55.42	c cleaning 7591 clauses out of 15191 with flag 93453/356334
57.66/55.97	c Got one! Elapsed wall clock time (in seconds):55.85
57.66/55.97	o 5950590
57.86/56.14	c cleaning 6302 clauses out of 12611 with flag 4904/361346
58.76/57.01	c cleaning 6141 clauses out of 12306 with flag 36999/367344
59.65/57.99	c cleaning 6579 clauses out of 13165 with flag 72945/374344
60.86/59.16	c cleaning 7290 clauses out of 14585 with flag 117094/382343
62.15/60.40	c cleaning 8139 clauses out of 16294 with flag 162470/391344
63.55/61.80	c cleaning 9074 clauses out of 18153 with flag 216261/401343
65.05/63.34	c cleaning 10033 clauses out of 20077 with flag 268556/412343
66.65/64.92	c cleaning 11012 clauses out of 22036 with flag 327276/424343
67.05/65.36	c starts		: 219
67.05/65.37	c conflicts		: 428026
67.05/65.37	c decisions		: 998740
67.05/65.37	c propagations		: 104481599
67.05/65.37	c inspects		: 346693344
67.05/65.37	c shortcuts		: 0
67.05/65.37	c learnt literals	: 49
67.05/65.37	c learnt binary clauses	: 103
67.05/65.37	c learnt ternary clauses	: 1444
67.05/65.37	c learnt constraints	: 427976
67.05/65.37	c ignored constraints	: 0
67.05/65.37	c root simplifications	: 0
67.05/65.37	c removed literals (reason simplification)	: 11061138
67.05/65.37	c reason swapping (by a shorter reason)	: 0
67.05/65.37	c Calls to reduceDB	: 40
67.05/65.37	c Number of update (reduction) of LBD	: 147954
67.05/65.37	c Imported unit clauses	: 0
67.05/65.37	c No decision after first conflict	: false
67.05/65.37	c number of reductions to clauses (during analyze)	: 0
67.05/65.37	c number of learned constraints concerned by reduction	: 0
67.05/65.37	c number of learning phase by resolution	: 0
67.05/65.37	c number of learning phase by cutting planes	: 0
67.05/65.37	c number of rounding to 1 operations	: 0
67.05/65.37	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
67.05/65.37	c number of reductions of the coefficients by power 2 	: 0
67.05/65.37	c number of right shift for reduction by power 2 	: 0
67.05/65.37	c number of reductions of the coefficients by GCD over coefficients 	: 0
67.05/65.37	c number of ending skipping 	: 0
67.05/65.37	c number of internal skipping 	: 0
67.05/65.37	c number of derivation steps 	: 0
67.05/65.37	c number of skipped derivation steps 	: 0
67.05/65.37	c number of remaining unassigned 	: 0
67.05/65.37	c number of remaining assigned 	: 0
67.05/65.37	c number of falsified literals weakened from reason	: 0
67.05/65.37	c number of falsified literals weakened from conflict	: 0
67.05/65.37	c time for arithmetic operations	: 0
67.05/65.37	c minimum degree of deleted constraints	: null
67.05/65.37	c maximum degree of deleted constraints	: null
67.05/65.37	c number of deleted constraints	: 0
67.05/65.37	c speed (assignments/second)	: 1606840.6410039526
67.05/65.37	c non guided choices	: 2297
67.05/65.37	s OPTIMUM FOUND
67.05/65.37	c Found 12 solution(s)
67.05/65.38	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 
67.05/65.38	c objective function=5950590
67.05/65.38	c Total wall clock time (in seconds): 65.262

Verifier Data 

OK	5950590

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: 63708 MiB (60145 MiB free)
  memory of node 1: 64465 MiB (61742 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504304-1751447707/watcher-4504304-1751447707 -o /tmp/evaluation-result-4504304-1751447707/solver-4504304-1751447707 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751440544-63652 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4504304-1751447707.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=64531, runsolver pid=64528
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.09 4.18 4.18 5/337 64549
/proc/meminfo: memFree=124799084/131249996 swapFree=33006296/33010684
[pid=64531] ppid=64528 vsize=18930384 memory=57784 CPUtime=0.13 cores=5,7
/proc/64531/stat : 64531 (java) S 64528 64531 63635 0 -1 4194304 6601 0 0 0 11 2 0 0 20 0 18 0 60448145 19384713216 14446 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
/proc/64531/statm: 4732596 14446 5336 1 0 547642 0
[pid=64531/tid=64533] ppid=64528 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/64531/task/64533/stat : 64533 (java) R 64528 64531 63635 0 -1 4194368 5107 0 0 0 7 1 0 0 20 0 18 0 60448147 19384713216 14446 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64542] ppid=64528 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/64531/task/64542/stat : 64542 (Finalizer) S 64528 64531 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 60448149 19384713216 14446 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64549] ppid=64528 vsize=18930384 memory=58485492697507 CPUtime=0 cores=5,7
/proc/64531/task/64549/stat : 64549 (Common-Cleaner) S 64528 64531 63635 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 60448149 19384713216 14446 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57784 KiB

[startup+0.205839 s]*
/proc/loadavg: 4.09 4.18 4.18 6/337 64549
/proc/meminfo: memFree=124786860/131249996 swapFree=33006296/33010684
[pid=64531] ppid=64528 vsize=18930384 memory=68144 CPUtime=0.33 cores=5,7
/proc/64531/stat : 64531 (java) S 64528 64531 63635 0 -1 4194304 7046 0 0 0 30 3 0 0 20 0 18 0 60448145 19384713216 17036 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
/proc/64531/statm: 4732596 17036 5432 1 0 547929 0
[pid=64531/tid=64533] ppid=64528 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=5,7
/proc/64531/task/64533/stat : 64533 (java) R 64528 64531 63635 0 -1 4194368 5298 0 0 0 16 1 0 0 20 0 18 0 60448147 19384713216 17036 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64542] ppid=64528 vsize=18930384 memory=2630 CPUtime=0 cores=5,7
/proc/64531/task/64542/stat : 64542 (Finalizer) S 64528 64531 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 60448149 19384713216 17036 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64549] ppid=64528 vsize=18930384 memory=57385981051877 CPUtime=0 cores=5,7
/proc/64531/task/64549/stat : 64549 (Common-Cleaner) S 64528 64531 63635 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 60448149 19384713216 17036 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68144 KiB

[startup+0.305783 s]*
/proc/loadavg: 4.09 4.18 4.18 6/337 64549
/proc/meminfo: memFree=124754408/131249996 swapFree=33006296/33010684
[pid=64531] ppid=64528 vsize=18930384 memory=103444 CPUtime=0.52 cores=5,7
/proc/64531/stat : 64531 (java) S 64528 64531 63635 0 -1 4194304 8779 0 0 0 48 4 0 0 20 0 18 0 60448145 19384713216 25861 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
/proc/64531/statm: 4732596 25861 5432 1 0 549003 0
[pid=64531/tid=64533] ppid=64528 vsize=18930384 memory=-6000919472756844649 CPUtime=0.24 cores=5,7
/proc/64531/task/64533/stat : 64533 (java) R 64528 64531 63635 0 -1 4194368 5314 0 0 0 22 2 0 0 20 0 18 0 60448147 19384713216 25861 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64542] ppid=64528 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/64531/task/64542/stat : 64542 (Finalizer) S 64528 64531 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 60448149 19384713216 25861 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64549] ppid=64528 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/64531/task/64549/stat : 64549 (Common-Cleaner) S 64528 64531 63635 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 60448149 19384713216 25861 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 103444 KiB

[startup+0.70021 s]
/proc/loadavg: 4.09 4.18 4.18 6/338 64550
/proc/meminfo: memFree=124742644/131249996 swapFree=33006296/33010684
[pid=64531] ppid=64528 vsize=18996948 memory=124540 CPUtime=1.28 cores=5,7
/proc/64531/stat : 64531 (java) S 64528 64531 63635 0 -1 4194304 14716 0 0 0 123 5 0 0 20 0 19 0 60448145 19452874752 31135 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
/proc/64531/statm: 4749237 31135 5464 1 0 551959 0
[pid=64531/tid=64533] ppid=64528 vsize=18996948 memory=14848 CPUtime=0.59 cores=5,7
/proc/64531/task/64533/stat : 64533 (java) R 64528 64531 63635 0 -1 4194368 5436 0 0 0 57 2 0 0 20 0 19 0 60448147 19452874752 31135 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64542] ppid=64528 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/64531/task/64542/stat : 64542 (Finalizer) S 64528 64531 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 60448149 19452874752 31135 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64549] ppid=64528 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/64531/task/64549/stat : 64549 (Common-Cleaner) S 64528 64531 63635 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 60448149 19452874752 31135 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64550] ppid=64528 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/64531/task/64550/stat : 64550 (Timer-0) S 64528 64531 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 60448181 19452874752 31135 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 124540 KiB

[startup+1.50021 s]
/proc/loadavg: 4.09 4.18 4.18 6/338 64550
/proc/meminfo: memFree=124723428/131249996 swapFree=33006296/33010684
[pid=64531] ppid=64528 vsize=18996948 memory=130352 CPUtime=2.52 cores=5,7
/proc/64531/stat : 64531 (java) S 64528 64531 63635 0 -1 4194304 18873 0 0 0 247 5 0 0 20 0 19 0 60448145 19452874752 32588 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
/proc/64531/statm: 4749237 32588 5496 1 0 552741 0
[pid=64531/tid=64533] ppid=64528 vsize=18996948 memory=0 CPUtime=1.39 cores=5,7
/proc/64531/task/64533/stat : 64533 (java) R 64528 64531 63635 0 -1 4194368 5652 0 0 0 137 2 0 0 20 0 19 0 60448147 19452874752 32588 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64542] ppid=64528 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/64531/task/64542/stat : 64542 (Finalizer) S 64528 64531 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 60448149 19452874752 32588 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64549] ppid=64528 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/64531/task/64549/stat : 64549 (Common-Cleaner) S 64528 64531 63635 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 60448149 19452874752 32588 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64550] ppid=64528 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/64531/task/64550/stat : 64550 (Timer-0) S 64528 64531 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 60448181 19452874752 32588 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
Current children cumulated CPU time: 2.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 130352 KiB

[startup+3.10561 s]
/proc/loadavg: 4.09 4.18 4.18 5/338 64550
/proc/meminfo: memFree=124703396/131249996 swapFree=33006296/33010684
[pid=64531] ppid=64528 vsize=18996948 memory=144372 CPUtime=4.55 cores=5,7
/proc/64531/stat : 64531 (java) S 64528 64531 63635 0 -1 4194304 25590 0 0 0 449 6 0 0 20 0 19 0 60448145 19452874752 36093 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
/proc/64531/statm: 4749237 36093 5496 1 0 553910 0
[pid=64531/tid=64533] ppid=64528 vsize=18996948 memory=10752 CPUtime=2.99 cores=5,7
/proc/64531/task/64533/stat : 64533 (java) R 64528 64531 63635 0 -1 4194368 7313 0 0 0 297 2 0 0 20 0 19 0 60448147 19452874752 36093 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64542] ppid=64528 vsize=18996948 memory=-6000919472756844649 CPUtime=0 cores=5,7
/proc/64531/task/64542/stat : 64542 (Finalizer) S 64528 64531 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 60448149 19452874752 36093 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64549] ppid=64528 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/64531/task/64549/stat : 64549 (Common-Cleaner) S 64528 64531 63635 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 60448149 19452874752 36093 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64550] ppid=64528 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/64531/task/64550/stat : 64550 (Timer-0) S 64528 64531 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 60448181 19452874752 36093 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
Current children cumulated CPU time: 4.55 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 144372 KiB

[startup+6.30019 s]
/proc/loadavg: 4.08 4.17 4.18 5/338 64550
/proc/meminfo: memFree=124691508/131249996 swapFree=33006296/33010684
[pid=64531] ppid=64528 vsize=18996948 memory=158964 CPUtime=8 cores=5,7
/proc/64531/stat : 64531 (java) S 64528 64531 63635 0 -1 4194304 26197 0 0 0 794 6 0 0 20 0 19 0 60448145 19452874752 39741 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
/proc/64531/statm: 4749237 39741 5528 1 0 553910 0
[pid=64531/tid=64533] ppid=64528 vsize=18996948 memory=0 CPUtime=6.18 cores=5,7
/proc/64531/task/64533/stat : 64533 (java) R 64528 64531 63635 0 -1 4194368 7421 0 0 0 615 3 0 0 20 0 19 0 60448147 19452874752 39741 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64542] ppid=64528 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/64531/task/64542/stat : 64542 (Finalizer) S 64528 64531 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 60448149 19452874752 39741 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64549] ppid=64528 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/64531/task/64549/stat : 64549 (Common-Cleaner) S 64528 64531 63635 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 60448149 19452874752 39741 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64550] ppid=64528 vsize=18996948 memory=135600 CPUtime=0 cores=5,7
/proc/64531/task/64550/stat : 64550 (Timer-0) S 64528 64531 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 60448181 19452874752 39741 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
Current children cumulated CPU time: 8 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 158964 KiB

[startup+12.7002 s]
/proc/loadavg: 4.31 4.22 4.19 5/339 64618
/proc/meminfo: memFree=125932648/131249996 swapFree=33006296/33010684
[pid=64531] ppid=64528 vsize=19063512 memory=178952 CPUtime=14.42 cores=5,7
/proc/64531/stat : 64531 (java) S 64528 64531 63635 0 -1 4194304 31673 0 0 0 1435 7 0 0 20 0 20 0 60448145 19521036288 44738 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
/proc/64531/statm: 4765878 44738 5528 1 0 554199 0
[pid=64531/tid=64533] ppid=64528 vsize=19063512 memory=135600 CPUtime=12.55 cores=5,7
/proc/64531/task/64533/stat : 64533 (java) R 64528 64531 63635 0 -1 4194368 9045 0 0 0 1252 3 0 0 20 0 20 0 60448147 19521036288 44738 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64542] ppid=64528 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/64531/task/64542/stat : 64542 (Finalizer) S 64528 64531 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60448149 19521036288 44738 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64549] ppid=64528 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/64531/task/64549/stat : 64549 (Common-Cleaner) S 64528 64531 63635 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 60448149 19521036288 44738 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64550] ppid=64528 vsize=19063512 memory=-6000919472756844649 CPUtime=0 cores=5,7
/proc/64531/task/64550/stat : 64550 (Timer-0) S 64528 64531 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60448181 19521036288 44738 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
Current children cumulated CPU time: 14.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178952 KiB

[startup+25.5002 s]
/proc/loadavg: 4.31 4.23 4.19 5/339 64618
/proc/meminfo: memFree=125931892/131249996 swapFree=33006296/33010684
[pid=64531] ppid=64528 vsize=19063512 memory=179080 CPUtime=27.25 cores=5,7
/proc/64531/stat : 64531 (java) S 64528 64531 63635 0 -1 4194304 33265 0 0 0 2717 8 0 0 20 0 20 0 60448145 19521036288 44770 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
/proc/64531/statm: 4765878 44770 5528 1 0 554199 0
[pid=64531/tid=64533] ppid=64528 vsize=19063512 memory=-6000919472756844649 CPUtime=25.32 cores=5,7
/proc/64531/task/64533/stat : 64533 (java) R 64528 64531 63635 0 -1 4194368 9446 0 0 0 2529 3 0 0 20 0 20 0 60448147 19521036288 44770 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64542] ppid=64528 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/64531/task/64542/stat : 64542 (Finalizer) S 64528 64531 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60448149 19521036288 44770 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64549] ppid=64528 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/64531/task/64549/stat : 64549 (Common-Cleaner) S 64528 64531 63635 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 60448149 19521036288 44770 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64550] ppid=64528 vsize=19063512 memory=135600 CPUtime=0 cores=5,7
/proc/64531/task/64550/stat : 64550 (Timer-0) S 64528 64531 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60448181 19521036288 44770 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
Current children cumulated CPU time: 27.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179080 KiB

[startup+51.1059 s]
/proc/loadavg: 4.20 4.21 4.19 5/339 64686
/proc/meminfo: memFree=127205676/131249996 swapFree=33006296/33010684
[pid=64531] ppid=64528 vsize=19063512 memory=185304 CPUtime=52.87 cores=5,7
/proc/64531/stat : 64531 (java) S 64528 64531 63635 0 -1 4194304 34995 0 0 0 5279 8 0 0 20 0 20 0 60448145 19521036288 46326 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
/proc/64531/statm: 4765878 46326 5528 1 0 554199 0
[pid=64531/tid=64533] ppid=64528 vsize=19063512 memory=135600 CPUtime=50.83 cores=5,7
/proc/64531/task/64533/stat : 64533 (java) R 64528 64531 63635 0 -1 4194368 9756 0 0 0 5080 3 0 0 20 0 20 0 60448147 19521036288 46326 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64542] ppid=64528 vsize=19063512 memory=185304 CPUtime=0 cores=5,7
/proc/64531/task/64542/stat : 64542 (Finalizer) S 64528 64531 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60448149 19521036288 46326 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64549] ppid=64528 vsize=19063512 memory=179080 CPUtime=0 cores=5,7

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

/proc/64531/task/64550/stat : 64550 (Timer-0) S 64528 64531 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60448181 19521036288 46326 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
Current children cumulated CPU time: 52.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 185304 KiB

[startup+65.4151 s]
# the end of solver process 64531 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=67.0758 s, system=0.101617 s

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

[startup+51.2003 s]
/proc/loadavg: 4.20 4.21 4.19 5/339 64686
/proc/meminfo: memFree=127205676/131249996 swapFree=33006296/33010684
[pid=64531] ppid=64528 vsize=19063512 memory=185304 CPUtime=52.96 cores=5,7
/proc/64531/stat : 64531 (java) S 64528 64531 63635 0 -1 4194304 34995 0 0 0 5288 8 0 0 20 0 20 0 60448145 19521036288 46326 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
/proc/64531/statm: 4765878 46326 5528 1 0 554199 0
[pid=64531/tid=64533] ppid=64528 vsize=19063512 memory=14848 CPUtime=50.93 cores=5,7
/proc/64531/task/64533/stat : 64533 (java) R 64528 64531 63635 0 -1 4194368 9756 0 0 0 5090 3 0 0 20 0 20 0 60448147 19521036288 46326 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64542] ppid=64528 vsize=19063512 memory=185304 CPUtime=0 cores=5,7
/proc/64531/task/64542/stat : 64542 (Finalizer) S 64528 64531 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60448149 19521036288 46326 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64549] ppid=64528 vsize=19063512 memory=-6000919472756844649 CPUtime=0 cores=5,7
/proc/64531/task/64549/stat : 64549 (Common-Cleaner) S 64528 64531 63635 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 60448149 19521036288 46326 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64550] ppid=64528 vsize=19063512 memory=7220 CPUtime=0 cores=5,7
/proc/64531/task/64550/stat : 64550 (Timer-0) S 64528 64531 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60448181 19521036288 46326 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
Current children cumulated CPU time: 52.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 185304 KiB

[startup+57.6002 s]
/proc/loadavg: 4.27 4.22 4.19 5/339 64686
/proc/meminfo: memFree=127205676/131249996 swapFree=33006296/33010684
[pid=64531] ppid=64528 vsize=19063512 memory=185304 CPUtime=59.36 cores=5,7
/proc/64531/stat : 64531 (java) S 64528 64531 63635 0 -1 4194304 35016 0 0 0 5928 8 0 0 20 0 20 0 60448145 19521036288 46326 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
/proc/64531/statm: 4765878 46326 5528 1 0 554199 0
[pid=64531/tid=64533] ppid=64528 vsize=19063512 memory=10752 CPUtime=57.31 cores=5,7
/proc/64531/task/64533/stat : 64533 (java) R 64528 64531 63635 0 -1 4194368 9761 0 0 0 5728 3 0 0 20 0 20 0 60448147 19521036288 46326 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64542] ppid=64528 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/64531/task/64542/stat : 64542 (Finalizer) S 64528 64531 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60448149 19521036288 46326 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64549] ppid=64528 vsize=19063512 memory=-6000919472756844649 CPUtime=0 cores=5,7
/proc/64531/task/64549/stat : 64549 (Common-Cleaner) S 64528 64531 63635 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 60448149 19521036288 46326 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64550] ppid=64528 vsize=19063512 memory=4976 CPUtime=0 cores=5,7
/proc/64531/task/64550/stat : 64550 (Timer-0) S 64528 64531 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60448181 19521036288 46326 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
Current children cumulated CPU time: 59.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 185304 KiB

[startup+60.8002 s]
/proc/loadavg: 4.25 4.22 4.19 5/339 64686
/proc/meminfo: memFree=127204668/131249996 swapFree=33006296/33010684
[pid=64531] ppid=64528 vsize=19063512 memory=185304 CPUtime=62.55 cores=5,7
/proc/64531/stat : 64531 (java) S 64528 64531 63635 0 -1 4194304 35021 0 0 0 6246 9 0 0 20 0 20 0 60448145 19521036288 46326 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
/proc/64531/statm: 4765878 46326 5528 1 0 554199 0
[pid=64531/tid=64533] ppid=64528 vsize=19063512 memory=185304 CPUtime=60.5 cores=5,7
/proc/64531/task/64533/stat : 64533 (java) R 64528 64531 63635 0 -1 4194368 9762 0 0 0 6047 3 0 0 20 0 20 0 60448147 19521036288 46326 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64542] ppid=64528 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/64531/task/64542/stat : 64542 (Finalizer) S 64528 64531 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60448149 19521036288 46326 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64549] ppid=64528 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/64531/task/64549/stat : 64549 (Common-Cleaner) S 64528 64531 63635 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 60448149 19521036288 46326 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64550] ppid=64528 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/64531/task/64550/stat : 64550 (Timer-0) S 64528 64531 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60448181 19521036288 46326 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
Current children cumulated CPU time: 62.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 185304 KiB

[startup+62.4002 s]
/proc/loadavg: 4.25 4.22 4.19 5/339 64686
/proc/meminfo: memFree=127204668/131249996 swapFree=33006296/33010684
[pid=64531] ppid=64528 vsize=19063512 memory=185304 CPUtime=64.15 cores=5,7
/proc/64531/stat : 64531 (java) S 64528 64531 63635 0 -1 4194304 35022 0 0 0 6406 9 0 0 20 0 20 0 60448145 19521036288 46326 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
/proc/64531/statm: 4765878 46326 5528 1 0 554199 0
[pid=64531/tid=64533] ppid=64528 vsize=19063512 memory=185304 CPUtime=62.09 cores=5,7
/proc/64531/task/64533/stat : 64533 (java) R 64528 64531 63635 0 -1 4194368 9763 0 0 0 6206 3 0 0 20 0 20 0 60448147 19521036288 46326 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64542] ppid=64528 vsize=19063512 memory=6896 CPUtime=0 cores=5,7
/proc/64531/task/64542/stat : 64542 (Finalizer) S 64528 64531 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60448149 19521036288 46326 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64549] ppid=64528 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/64531/task/64549/stat : 64549 (Common-Cleaner) S 64528 64531 63635 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 60448149 19521036288 46326 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64550] ppid=64528 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/64531/task/64550/stat : 64550 (Timer-0) S 64528 64531 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60448181 19521036288 46326 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
Current children cumulated CPU time: 64.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 185304 KiB

[startup+64.0002 s]*
/proc/loadavg: 4.25 4.22 4.19 5/339 64686
/proc/meminfo: memFree=127192380/131249996 swapFree=33006296/33010684
[pid=64531] ppid=64528 vsize=19063512 memory=195716 CPUtime=65.76 cores=5,7
/proc/64531/stat : 64531 (java) S 64528 64531 63635 0 -1 4194304 35055 0 0 0 6567 9 0 0 20 0 20 0 60448145 19521036288 48929 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
/proc/64531/statm: 4765878 48929 5528 1 0 554199 0
[pid=64531/tid=64533] ppid=64528 vsize=19063512 memory=-6000919494164506729 CPUtime=63.68 cores=5,7
/proc/64531/task/64533/stat : 64533 (java) R 64528 64531 63635 0 -1 4194368 9763 0 0 0 6365 3 0 0 20 0 20 0 60448147 19521036288 48929 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64542] ppid=64528 vsize=19063512 memory=4976 CPUtime=0 cores=5,7
/proc/64531/task/64542/stat : 64542 (Finalizer) S 64528 64531 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60448149 19521036288 48929 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64549] ppid=64528 vsize=19063512 memory=5268 CPUtime=0 cores=5,7
/proc/64531/task/64549/stat : 64549 (Common-Cleaner) S 64528 64531 63635 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 60448149 19521036288 48929 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64550] ppid=64528 vsize=19063512 memory=5296 CPUtime=0 cores=5,7
/proc/64531/task/64550/stat : 64550 (Timer-0) S 64528 64531 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60448181 19521036288 48929 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
Current children cumulated CPU time: 65.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 195716 KiB

[startup+64.8002 s]
/proc/loadavg: 4.25 4.22 4.19 5/339 64686
/proc/meminfo: memFree=127192380/131249996 swapFree=33006296/33010684
[pid=64531] ppid=64528 vsize=19063512 memory=195716 CPUtime=66.55 cores=5,7
/proc/64531/stat : 64531 (java) S 64528 64531 63635 0 -1 4194304 35055 0 0 0 6646 9 0 0 20 0 20 0 60448145 19521036288 48929 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
/proc/64531/statm: 4765878 48929 5528 1 0 554199 0
[pid=64531/tid=64533] ppid=64528 vsize=19063512 memory=724556 CPUtime=64.47 cores=5,7
/proc/64531/task/64533/stat : 64533 (java) R 64528 64531 63635 0 -1 4194368 9763 0 0 0 6444 3 0 0 20 0 20 0 60448147 19521036288 48929 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64542] ppid=64528 vsize=19063512 memory=-6000919472756844649 CPUtime=0 cores=5,7
/proc/64531/task/64542/stat : 64542 (Finalizer) S 64528 64531 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60448149 19521036288 48929 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64549] ppid=64528 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/64531/task/64549/stat : 64549 (Common-Cleaner) S 64528 64531 63635 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 60448149 19521036288 48929 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64550] ppid=64528 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/64531/task/64550/stat : 64550 (Timer-0) S 64528 64531 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60448181 19521036288 48929 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
Current children cumulated CPU time: 66.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 195716 KiB

[startup+65.2002 s]
/proc/loadavg: 4.23 4.21 4.19 5/339 64686
/proc/meminfo: memFree=127192380/131249996 swapFree=33006296/33010684
[pid=64531] ppid=64528 vsize=19063512 memory=195716 CPUtime=66.95 cores=5,7
/proc/64531/stat : 64531 (java) S 64528 64531 63635 0 -1 4194304 35055 0 0 0 6686 9 0 0 20 0 20 0 60448145 19521036288 48929 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
/proc/64531/statm: 4765878 48929 5528 1 0 554199 0
[pid=64531/tid=64533] ppid=64528 vsize=19063512 memory=0 CPUtime=64.87 cores=5,7
/proc/64531/task/64533/stat : 64533 (java) R 64528 64531 63635 0 -1 4194368 9763 0 0 0 6484 3 0 0 20 0 20 0 60448147 19521036288 48929 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64542] ppid=64528 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/64531/task/64542/stat : 64542 (Finalizer) S 64528 64531 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60448149 19521036288 48929 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64549] ppid=64528 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/64531/task/64549/stat : 64549 (Common-Cleaner) S 64528 64531 63635 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 60448149 19521036288 48929 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64550] ppid=64528 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/64531/task/64550/stat : 64550 (Timer-0) S 64528 64531 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60448181 19521036288 48929 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
Current children cumulated CPU time: 66.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 195716 KiB

[startup+65.3002 s]
/proc/loadavg: 4.23 4.21 4.19 5/339 64686
/proc/meminfo: memFree=127192380/131249996 swapFree=33006296/33010684
[pid=64531] ppid=64528 vsize=19063512 memory=195716 CPUtime=67.05 cores=5,7
/proc/64531/stat : 64531 (java) S 64528 64531 63635 0 -1 4194304 35055 0 0 0 6696 9 0 0 20 0 20 0 60448145 19521036288 48929 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
/proc/64531/statm: 4765878 48929 5528 1 0 554199 0
[pid=64531/tid=64533] ppid=64528 vsize=19063512 memory=135600 CPUtime=64.97 cores=5,7
/proc/64531/task/64533/stat : 64533 (java) R 64528 64531 63635 0 -1 4194368 9763 0 0 0 6494 3 0 0 20 0 20 0 60448147 19521036288 48929 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64542] ppid=64528 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/64531/task/64542/stat : 64542 (Finalizer) S 64528 64531 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60448149 19521036288 48929 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64549] ppid=64528 vsize=19063512 memory=179080 CPUtime=0 cores=5,7
/proc/64531/task/64549/stat : 64549 (Common-Cleaner) S 64528 64531 63635 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 60448149 19521036288 48929 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
[pid=64531/tid=64550] ppid=64528 vsize=19063512 memory=185304 CPUtime=0 cores=5,7
/proc/64531/task/64550/stat : 64550 (Timer-0) S 64528 64531 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60448181 19521036288 48929 18446744073709551615 94802758782976 94802758786672 140721825604512 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94802758794488 94802758795280 94802781368320 140721825610113 140721825610214 140721825610214 140721825615816 0
Current children cumulated CPU time: 67.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 195716 KiB

Child status: 30

Real time (s): 65.4152
CPU time (s): 67.1774
CPU user time (s): 67.0758
CPU system time (s): 0.101617
CPU usage (%): 102.694
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 195716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67.0758
system time used= 0.101617
maximum resident set size= 196612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36651
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3506
involuntary context switches= 1206


# summary of solver processes directly reported to runsolver:
#   pid: 64531
#   total CPU time (s): 67.1774
#   total CPU user time (s): 67.0758
#   total CPU system time (s): 0.101617

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.148488 second user time and 0.357619 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-07-02 11:15:07
IDJOB=4504304
IDBENCH=155651
IDSOLVER=3363
FILE ID=nodeC015/4504304-1751447707
RUNJOBID= nodeC015-1751440544-63652
SLURM_JOB_ID= 9598400
Free space on /tmp= 432364 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat15_5_3_2_mh.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504304-1751447707/watcher-4504304-1751447707 -o /tmp/evaluation-result-4504304-1751447707/solver-4504304-1751447707 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751440544-63652 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4504304-1751447707.opb

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

MD5SUM BENCH= 1542385ac037132e9cf985b37fe6e57c
RANDOM SEED=179225836

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        124813916 kB
MemAvailable:   125263460 kB
Buffers:            1508 kB
Cached:          1234072 kB
SwapCached:         3880 kB
Active:          4784136 kB
Inactive:         996272 kB
Active(anon):    4510120 kB
Inactive(anon):    48860 kB
Active(file):     274016 kB
Inactive(file):   947412 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33006296 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1176 kB
Writeback:             0 kB
AnonPages:       4544000 kB
Mapped:           120152 kB
Shmem:             14152 kB
KReclaimable:     134708 kB
Slab:             225600 kB
SReclaimable:     134708 kB
SUnreclaim:        90892 kB
KernelStack:        5132 kB
PageTables:        12588 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7075844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4352000 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432316 MiB
End job on nodeC015 at 2025-07-02 11:16:12