Trace number 4523248

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)-6631 3600.8 3483.22

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_260_007.opb
MD5SUM19358b71c175af654e98554c4f116d17
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-7944
Best CPU time to get the best result obtained on this benchmark0.165829
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5475
Total number of constraints181
Number of constraints which are clauses9
Number of constraints which are cardinality constraints (but not clauses)172
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint1490
Number of terms in the objective function 5474
Biggest coefficient in the objective function 260
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 629333
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 260
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 629333
Number of bits of the biggest sum of numbers20
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.10/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.19	c See www.sat4j.org for details.
0.10/0.20	c version PB25.v20250606
0.10/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.23	c java.vm.version	22.0.1+8-16
0.28/0.23	c java.vm.vendor	Oracle Corporation
0.28/0.23	c sun.arch.data.model	64
0.28/0.23	c java.version		22.0.1
0.28/0.23	c os.name		Linux
0.28/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.28/0.23	c os.arch		amd64
0.28/0.24	c Free memory 		2104792832
0.28/0.24	c Max memory 		16282288128
0.28/0.24	c Total memory 		2113929216
0.28/0.25	c Number of processors 	2
0.46/0.35	c Pseudo Boolean Optimization by upper bound
0.46/0.35	c --- Begin Solver configuration ---
0.46/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.46/0.35	c Learn all clauses as in MiniSAT
0.46/0.35	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.46/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.46/0.35	c Expensive reason simplification
0.46/0.35	c Glucose 2.1 dynamic restart strategy
0.46/0.35	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.46/0.35	c timeout=2147483s
0.46/0.35	c DB Simplification allowed=false
0.46/0.35	c Listener: none
0.46/0.35	c --- End Solver configuration ---
0.46/0.35	c solving HOME/instance-4523248-1751651141.opb
0.46/0.35	c reading problem ... 
0.46/0.35	c  objective function found
0.79/0.61	c ... done. Wall clock time 0.238s.
0.79/0.61	c declared #vars     5475
0.79/0.61	c #constraints  181
0.79/0.61	c constraints type 
0.79/0.61	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9
0.97/0.61	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 172
0.97/0.61	c 181 constraints processed.
0.97/0.66	c objective function length is 5474 literals
1.14/0.73	c SATISFIABLE
1.14/0.73	c OPTIMIZING...
1.14/0.73	c Got one! Elapsed wall clock time (in seconds):0.38
1.14/0.73	o -6404
3.91/2.54	c Got one! Elapsed wall clock time (in seconds):2.193
3.91/2.54	o -6423
4.87/3.31	c Got one! Elapsed wall clock time (in seconds):2.966
4.87/3.31	o -6436
6.10/4.29	c Got one! Elapsed wall clock time (in seconds):3.944
6.10/4.29	o -6438
6.20/4.32	c Got one! Elapsed wall clock time (in seconds):3.97
6.20/4.32	o -6471
33.85/30.63	c cleaning 2817 clauses out of 5633 with flag 10869/5633
88.72/84.44	c cleaning 4409 clauses out of 8817 with flag 23322/11634
154.91/147.38	c cleaning 5700 clauses out of 11408 with flag 37737/18634
228.43/219.46	c cleaning 6854 clauses out of 13710 with flag 54284/26636
314.31/300.61	c cleaning 7923 clauses out of 15853 with flag 72753/35633
407.83/392.65	c cleaning 8963 clauses out of 17930 with flag 93536/45633
516.84/497.28	c cleaning 9983 clauses out of 19968 with flag 116361/56634
639.11/613.39	c cleaning 10989 clauses out of 21984 with flag 141122/68633
773.52/745.89	c cleaning 11998 clauses out of 23996 with flag 170201/81634
872.45/840.16	c Got one! Elapsed wall clock time (in seconds):839.814
872.45/840.16	o -6482
906.69/873.29	c cleaning 13279 clauses out of 26558 with flag 10074/96194
959.30/925.05	c cleaning 9640 clauses out of 19280 with flag 22175/102195
1028.41/993.12	c cleaning 8319 clauses out of 16640 with flag 36297/109195
1086.58/1047.70	c Got one! Elapsed wall clock time (in seconds):1047.352
1086.58/1047.70	o -6507
1146.97/1107.58	c cleaning 9593 clauses out of 19186 with flag 12708/120060
1154.13/1114.31	c Got one! Elapsed wall clock time (in seconds):1113.965
1154.13/1114.31	o -6509
1168.21/1128.41	c Got one! Elapsed wall clock time (in seconds):1128.064
1168.21/1128.41	o -6512
1200.51/1160.09	c Got one! Elapsed wall clock time (in seconds):1159.746
1200.51/1160.09	o -6514
1200.81/1160.33	c Got one! Elapsed wall clock time (in seconds):1159.978
1200.81/1160.33	o -6520
1200.81/1160.34	c Got one! Elapsed wall clock time (in seconds):1159.994
1200.81/1160.34	o -6547
1211.00/1170.42	c cleaning 8215 clauses out of 16437 with flag 2765/126904
1254.12/1212.59	c cleaning 7113 clauses out of 14227 with flag 15883/132909
1303.49/1261.05	c cleaning 7048 clauses out of 14109 with flag 30056/139904
1366.52/1319.95	c cleaning 7529 clauses out of 15063 with flag 46231/147906
1405.58/1358.41	c Got one! Elapsed wall clock time (in seconds):1358.061
1405.58/1358.41	o -6562
1407.68/1360.46	c Got one! Elapsed wall clock time (in seconds):1360.116
1407.68/1360.46	o -6590
1443.69/1395.60	c cleaning 9148 clauses out of 18305 with flag 10337/158677
1466.48/1417.91	c Got one! Elapsed wall clock time (in seconds):1417.562
1466.48/1417.91	o -6596
1480.18/1431.16	c cleaning 7394 clauses out of 14804 with flag 4076/164324
1521.08/1471.11	c cleaning 6698 clauses out of 13410 with flag 16447/170324
1567.57/1516.74	c cleaning 6855 clauses out of 13715 with flag 30618/177327
1625.59/1571.58	c cleaning 7427 clauses out of 14858 with flag 46765/185325
1692.95/1637.79	c Got one! Elapsed wall clock time (in seconds):1637.444
1692.95/1637.79	o -6605
1694.16/1638.86	c Got one! Elapsed wall clock time (in seconds):1638.514
1694.16/1638.86	o -6618
1738.40/1682.22	c cleaning 10745 clauses out of 21495 with flag 11121/199389
1783.69/1726.59	c cleaning 8370 clauses out of 16749 with flag 24298/205388
1833.43/1775.46	c cleaning 7687 clauses out of 15378 with flag 39319/212387
1835.32/1777.36	c Got one! Elapsed wall clock time (in seconds):1777.011
1835.32/1777.36	o -6619
1854.88/1796.61	c Got one! Elapsed wall clock time (in seconds):1796.257
1854.88/1796.61	o -6620
1870.20/1811.66	c cleaning 6647 clauses out of 13300 with flag 4665/217996
1886.05/1825.10	c Got one! Elapsed wall clock time (in seconds):1824.755
1886.05/1825.10	o -6631
1905.45/1843.76	c cleaning 5857 clauses out of 11719 with flag 6980/223062
1943.33/1881.04	c cleaning 5932 clauses out of 11865 with flag 20467/229065
1990.54/1927.47	c cleaning 6468 clauses out of 12938 with flag 34609/236070
2047.41/1983.14	c cleaning 7229 clauses out of 14461 with flag 50706/244061
2097.98/2032.52	c cleaning 8110 clauses out of 16232 with flag 69048/253061
2155.59/2085.37	c cleaning 9071 clauses out of 18142 with flag 89234/263081
2216.49/2144.90	c cleaning 10023 clauses out of 20052 with flag 111591/274062
2286.03/2212.67	c cleaning 11009 clauses out of 22028 with flag 135963/286061
2370.79/2291.30	c cleaning 12007 clauses out of 24020 with flag 162531/299062
2470.98/2389.70	c cleaning 13006 clauses out of 26013 with flag 191049/313062
2573.45/2490.12	c cleaning 13998 clauses out of 28006 with flag 221622/328061
2707.51/2617.24	c cleaning 15004 clauses out of 30008 with flag 254114/344061
2841.52/2748.96	c cleaning 15991 clauses out of 32004 with flag 288737/361061
3014.19/2911.81	c cleaning 17008 clauses out of 34015 with flag 325224/379063
3200.56/3095.79	c cleaning 17997 clauses out of 36005 with flag 363502/398061
3401.92/3287.59	c cleaning 19004 clauses out of 38009 with flag 403972/418062
3600.45/3483.03	c starts		: 64
3600.45/3483.04	c conflicts		: 438492
3600.45/3483.05	c decisions		: 689941
3600.45/3483.05	c propagations		: 5354069
3600.45/3483.05	c inspects		: 845914738
3600.45/3483.05	c shortcuts		: 0
3600.45/3483.05	c learnt literals	: 0
3600.45/3483.05	c learnt binary clauses	: 0
3600.45/3483.05	c learnt ternary clauses	: 0
3600.45/3483.05	c learnt constraints	: 438492
3600.45/3483.05	c ignored constraints	: 0
3600.45/3483.05	c root simplifications	: 0
3600.45/3483.05	c removed literals (reason simplification)	: 16251187
3600.45/3483.05	c reason swapping (by a shorter reason)	: 0
3600.45/3483.05	c Calls to reduceDB	: 42
3600.45/3483.05	c Number of update (reduction) of LBD	: 4579
3600.45/3483.06	c Imported unit clauses	: 0
3600.45/3483.06	c No decision after first conflict	: false
3600.45/3483.06	c number of reductions to clauses (during analyze)	: 0
3600.45/3483.06	c number of learned constraints concerned by reduction	: 0
3600.45/3483.06	c number of learning phase by resolution	: 0
3600.45/3483.06	c number of learning phase by cutting planes	: 0
3600.45/3483.06	c number of rounding to 1 operations	: 0
3600.45/3483.06	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.45/3483.06	c number of reductions of the coefficients by power 2 	: 0
3600.45/3483.06	c number of right shift for reduction by power 2 	: 0
3600.45/3483.06	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.45/3483.06	c number of ending skipping 	: 0
3600.45/3483.06	c number of internal skipping 	: 0
3600.45/3483.06	c number of derivation steps 	: 0
3600.45/3483.06	c number of skipped derivation steps 	: 0
3600.45/3483.06	c number of remaining unassigned 	: 0
3600.45/3483.07	c number of remaining assigned 	: 0
3600.45/3483.07	c number of falsified literals weakened from reason	: 0
3600.45/3483.07	c number of falsified literals weakened from conflict	: 0
3600.45/3483.07	c time for arithmetic operations	: 0
3600.45/3483.07	c minimum degree of deleted constraints	: null
3600.45/3483.08	c maximum degree of deleted constraints	: null
3600.45/3483.08	c number of deleted constraints	: 0
3600.45/3483.08	c speed (assignments/second)	: 1537.4723178144627
3600.45/3483.08	c non guided choices	: 0
3600.64/3483.14	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 39435
3600.64/3483.14	s SATISFIABLE
3600.64/3483.14	c Found 20 solution(s)
3600.64/3483.15	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 
3600.64/3483.17	c objective function=-6631
3600.64/3483.17	c Total wall clock time (in seconds): 3482.821

Verifier Data 

OK	-6631

Watcher Data 

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

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (63102 MiB free)
  memory of node 1: 64465 MiB (62696 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=108737, runsolver pid=108729
Current StackSize limit: 8192 KiB


[startup+0.100074 s]*
/proc/loadavg: 1.11 1.52 2.16 9/281 108775
/proc/meminfo: memFree=128777132/131382116 swapFree=33009904/33010684
[pid=108737] ppid=108729 vsize=18930384 memory=47380 CPUtime=0.1 cores=0,2
/proc/108737/stat : 108737 (java) S 108729 108737 107587 0 -1 4194304 5713 0 0 0 6 4 0 0 20 0 18 0 80793274 19384713216 11845 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
/proc/108737/statm: 4732596 11845 5117 1 0 546940 0
[pid=108737/tid=108739] ppid=108729 vsize=18930384 memory=4026531959 CPUtime=0.06 cores=0,2
/proc/108737/task/108739/stat : 108739 (java) R 108729 108737 107587 0 -1 4194368 4586 0 0 0 3 3 0 0 20 0 18 0 80793276 19384713216 11845 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108760] ppid=108729 vsize=18930384 memory=215637833958 CPUtime=0 cores=0,2
/proc/108737/task/108760/stat : 108760 (Finalizer) S 108729 108737 107587 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 80793282 19384713216 11845 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108774] ppid=108729 vsize=18930384 memory=14007 CPUtime=0 cores=0,2
/proc/108737/task/108774/stat : 108774 (Common-Cleaner) S 108729 108737 107587 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 80793283 19384713216 11845 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47380 KiB

[startup+0.213884 s]*
/proc/loadavg: 1.11 1.52 2.16 8/300 108799
/proc/meminfo: memFree=128776928/131382116 swapFree=33009904/33010684
[pid=108737] ppid=108729 vsize=18930384 memory=52180 CPUtime=0.28 cores=0,2
/proc/108737/stat : 108737 (java) S 108729 108737 107587 0 -1 4194304 6205 0 0 0 23 5 0 0 20 0 18 0 80793274 19384713216 13045 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
/proc/108737/statm: 4732596 13045 5341 1 0 547318 0
[pid=108737/tid=108739] ppid=108729 vsize=18930384 memory=4026859639 CPUtime=0.18 cores=0,2
/proc/108737/task/108739/stat : 108739 (java) R 108729 108737 107587 0 -1 4194368 4978 0 0 0 15 3 0 0 20 0 18 0 80793276 19384713216 13045 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108760] ppid=108729 vsize=18930384 memory=215637833958 CPUtime=0 cores=0,2
/proc/108737/task/108760/stat : 108760 (Finalizer) S 108729 108737 107587 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 80793282 19384713216 13045 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108774] ppid=108729 vsize=18930384 memory=14007 CPUtime=0 cores=0,2
/proc/108737/task/108774/stat : 108774 (Common-Cleaner) S 108729 108737 107587 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 80793283 19384713216 13045 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52180 KiB

[startup+0.318064 s]*
/proc/loadavg: 1.11 1.52 2.16 10/302 108806
/proc/meminfo: memFree=128757620/131382116 swapFree=33009904/33010684
[pid=108737] ppid=108729 vsize=18930384 memory=58608 CPUtime=0.46 cores=0,2
/proc/108737/stat : 108737 (java) S 108729 108737 107587 0 -1 4194304 6759 0 0 0 41 5 0 0 20 0 18 0 80793274 19384713216 14652 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
/proc/108737/statm: 4732596 14652 5373 1 0 547770 0
[pid=108737/tid=108739] ppid=108729 vsize=18930384 memory=-8889369422987043516 CPUtime=0.29 cores=0,2
/proc/108737/task/108739/stat : 108739 (java) R 108729 108737 107587 0 -1 4194368 5225 0 0 0 26 3 0 0 20 0 18 0 80793276 19384713216 14652 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108760] ppid=108729 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/108737/task/108760/stat : 108760 (Finalizer) S 108729 108737 107587 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 80793282 19384713216 14652 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108774] ppid=108729 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/108737/task/108774/stat : 108774 (Common-Cleaner) S 108729 108737 107587 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 80793283 19384713216 14652 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58608 KiB

[startup+0.704935 s]
/proc/loadavg: 1.11 1.52 2.16 14/322 108826
/proc/meminfo: memFree=128711740/131382116 swapFree=33009904/33010684
[pid=108737] ppid=108729 vsize=18996948 memory=87152 CPUtime=1.14 cores=0,2
/proc/108737/stat : 108737 (java) S 108729 108737 107587 0 -1 4194304 8757 0 0 0 107 7 0 0 20 0 19 0 80793274 19452874752 21788 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
/proc/108737/statm: 4749237 21788 5469 1 0 549381 0
[pid=108737/tid=108739] ppid=108729 vsize=18996948 memory=19328 CPUtime=0.54 cores=0,2
/proc/108737/task/108739/stat : 108739 (java) R 108729 108737 107587 0 -1 4194368 5379 0 0 0 50 4 0 0 20 0 19 0 80793276 19452874752 21788 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108760] ppid=108729 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/108737/task/108760/stat : 108760 (Finalizer) S 108729 108737 107587 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 80793282 19452874752 21788 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108774] ppid=108729 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/108737/task/108774/stat : 108774 (Common-Cleaner) S 108729 108737 107587 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 80793283 19452874752 21788 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 87152 KiB

[startup+1.50029 s]
/proc/loadavg: 1.11 1.52 2.16 8/319 108830
/proc/meminfo: memFree=128538956/131382116 swapFree=33009904/33010684
[pid=108737] ppid=108729 vsize=18996948 memory=110648 CPUtime=2.7 cores=0,2
/proc/108737/stat : 108737 (java) S 108729 108737 107587 0 -1 4194304 15510 0 0 0 260 10 0 0 20 0 19 0 80793274 19452874752 27662 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
/proc/108737/statm: 4749237 27662 5501 1 0 551995 0
[pid=108737/tid=108739] ppid=108729 vsize=18996948 memory=3200 CPUtime=1.29 cores=0,2
/proc/108737/task/108739/stat : 108739 (java) R 108729 108737 107587 0 -1 4194368 5655 0 0 0 124 5 0 0 20 0 19 0 80793276 19452874752 27662 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108760] ppid=108729 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/108737/task/108760/stat : 108760 (Finalizer) S 108729 108737 107587 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 80793282 19452874752 27662 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108774] ppid=108729 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/108737/task/108774/stat : 108774 (Common-Cleaner) S 108729 108737 107587 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 80793283 19452874752 27662 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108827] ppid=108729 vsize=18996948 memory=14080 CPUtime=0 cores=0,2
/proc/108737/task/108827/stat : 108827 (Timer-0) S 108729 108737 107587 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 80793344 19452874752 27662 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 110648 KiB

[startup+3.10555 s]
/proc/loadavg: 1.11 1.52 2.16 6/306 108856
/proc/meminfo: memFree=127324560/131382116 swapFree=33009904/33010684
[pid=108737] ppid=108729 vsize=18996948 memory=156376 CPUtime=4.68 cores=0,2
/proc/108737/stat : 108737 (java) S 108729 108737 107587 0 -1 4194304 16760 0 0 0 457 11 0 0 20 0 19 0 80793274 19452874752 39094 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
/proc/108737/statm: 4749237 39094 5501 1 0 552014 0
[pid=108737/tid=108739] ppid=108729 vsize=18996948 memory=11264 CPUtime=2.88 cores=0,2
/proc/108737/task/108739/stat : 108739 (java) R 108729 108737 107587 0 -1 4194368 6401 0 0 0 282 6 0 0 20 0 19 0 80793276 19452874752 39094 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108760] ppid=108729 vsize=18996948 memory=14080 CPUtime=0 cores=0,2
/proc/108737/task/108760/stat : 108760 (Finalizer) S 108729 108737 107587 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 80793282 19452874752 39094 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108774] ppid=108729 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/108737/task/108774/stat : 108774 (Common-Cleaner) S 108729 108737 107587 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 80793283 19452874752 39094 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108827] ppid=108729 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/108737/task/108827/stat : 108827 (Timer-0) S 108729 108737 107587 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 80793344 19452874752 39094 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
Current children cumulated CPU time: 4.68 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 156376 KiB

[startup+6.30047 s]
/proc/loadavg: 1.34 1.57 2.17 4/304 108865
/proc/meminfo: memFree=127208928/131382116 swapFree=33009904/33010684
[pid=108737] ppid=108729 vsize=19063512 memory=304656 CPUtime=8.41 cores=0,2
/proc/108737/stat : 108737 (java) S 108729 108737 107587 0 -1 4194304 17932 0 0 0 826 15 0 0 20 0 20 0 80793274 19521036288 76164 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
/proc/108737/statm: 4765878 76164 5501 1 0 552306 0
[pid=108737/tid=108739] ppid=108729 vsize=19063512 memory=0 CPUtime=5.88 cores=0,2
/proc/108737/task/108739/stat : 108739 (java) R 108729 108737 107587 0 -1 4194368 6427 0 0 0 581 7 0 0 20 0 20 0 80793276 19521036288 76164 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108760] ppid=108729 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/108737/task/108760/stat : 108760 (Finalizer) S 108729 108737 107587 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80793282 19521036288 76164 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108774] ppid=108729 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/108737/task/108774/stat : 108774 (Common-Cleaner) S 108729 108737 107587 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 80793283 19521036288 76164 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108827] ppid=108729 vsize=19063512 memory=6944663189525127226 CPUtime=0 cores=0,2
/proc/108737/task/108827/stat : 108827 (Timer-0) S 108729 108737 107587 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80793344 19521036288 76164 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
Current children cumulated CPU time: 8.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 304656 KiB

[startup+12.7004 s]
/proc/loadavg: 1.47 1.59 2.18 4/304 108865
/proc/meminfo: memFree=126799416/131382116 swapFree=33009904/33010684
[pid=108737] ppid=108729 vsize=19063512 memory=617264 CPUtime=15.6 cores=0,2
/proc/108737/stat : 108737 (java) S 108729 108737 107587 0 -1 4194304 19915 0 0 0 1537 23 0 0 20 0 20 0 80793274 19521036288 154316 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
/proc/108737/statm: 4765878 154316 5501 1 0 1045262 0
[pid=108737/tid=108739] ppid=108729 vsize=19063512 memory=600880 CPUtime=11.91 cores=0,2
/proc/108737/task/108739/stat : 108739 (java) R 108729 108737 107587 0 -1 4194368 6652 0 0 0 1183 8 0 0 20 0 20 0 80793276 19521036288 154316 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108760] ppid=108729 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/108737/task/108760/stat : 108760 (Finalizer) S 108729 108737 107587 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80793282 19521036288 154316 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108774] ppid=108729 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/108737/task/108774/stat : 108774 (Common-Cleaner) S 108729 108737 107587 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 80793283 19521036288 154316 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108827] ppid=108729 vsize=19063512 memory=582448 CPUtime=0 cores=0,2
/proc/108737/task/108827/stat : 108827 (Timer-0) S 108729 108737 107587 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80793344 19521036288 154316 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
Current children cumulated CPU time: 15.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 617264 KiB

[startup+25.5005 s]
/proc/loadavg: 1.81 1.66 2.19 4/304 108866
/proc/meminfo: memFree=126131516/131382116 swapFree=33009904/33010684
[pid=108737] ppid=108729 vsize=19063512 memory=930980 CPUtime=28.74 cores=0,2
/proc/108737/stat : 108737 (java) S 108729 108737 107587 0 -1 4194304 24342 0 0 0 2844 30 0 0 20 0 20 0 80793274 19521036288 232745 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
/proc/108737/statm: 4765878 232745 5501 1 0 1045271 0
[pid=108737/tid=108739] ppid=108729 vsize=19063512 memory=930980 CPUtime=24.46 cores=0,2
/proc/108737/task/108739/stat : 108739 (java) R 108729 108737 107587 0 -1 4194368 7546 0 0 0 2435 11 0 0 20 0 20 0 80793276 19521036288 232745 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108760] ppid=108729 vsize=19063512 memory=930980 CPUtime=0 cores=0,2
/proc/108737/task/108760/stat : 108760 (Finalizer) S 108729 108737 107587 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80793282 19521036288 232745 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108774] ppid=108729 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/108737/task/108774/stat : 108774 (Common-Cleaner) S 108729 108737 107587 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 80793283 19521036288 232745 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108827] ppid=108729 vsize=19063512 memory=19328 CPUtime=0 cores=0,2
/proc/108737/task/108827/stat : 108827 (Timer-0) S 108729 108737 107587 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80793344 19521036288 232745 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
Current children cumulated CPU time: 28.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 930980 KiB

[startup+51.1131 s]
/proc/loadavg: 2.28 1.78 2.22 4/304 108866
/proc/meminfo: memFree=125579312/131382116 swapFree=33009904/33010684
[pid=108737] ppid=108729 vsize=19063512 memory=1289864 CPUtime=54.81 cores=0,2
/proc/108737/stat : 108737 (java) S 108729 108737 107587 0 -1 4194304 27310 0 0 0 5441 40 0 0 20 0 20 0 80793274 19521036288 322466 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
/proc/108737/statm: 4765878 322466 5501 1 0 1045289 0
[pid=108737/tid=108739] ppid=108729 vsize=19063512 memory=1289864 CPUtime=49.57 cores=0,2
/proc/108737/task/108739/stat : 108739 (java) R 108729 108737 107587 0 -1 4194368 8971 0 0 0 4945 12 0 0 20 0 20 0 80793276 19521036288 322466 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108760] ppid=108729 vsize=19063512 memory=1117808 CPUtime=0 cores=0,2
/proc/108737/task/108760/stat : 108760 (Finalizer) S 108729 108737 107587 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80793282 19521036288 322466 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108774] ppid=108729 vsize=19063512 memory=1117808 CPUtime=0 cores=0,2
/proc/108737/task/108774/stat : 108774 (Common-Cleaner) S 108729 108737 107587 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 80793283 19521036288 322466 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108827] ppid=108729 vsize=19063512 memory=930980 CPUtime=0 cores=0,2

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

/proc/108737/task/108760/stat : 108760 (Finalizer) S 108729 108737 107587 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80793282 19521036288 2418869 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108774] ppid=108729 vsize=19063512 memory=9675476 CPUtime=0 cores=0,2
/proc/108737/task/108774/stat : 108774 (Common-Cleaner) S 108729 108737 107587 0 -1 4194368 2432 0 0 0 0 0 0 0 20 0 20 0 80793283 19521036288 2418869 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108827] ppid=108729 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/108737/task/108827/stat : 108827 (Timer-0) S 108729 108737 107587 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80793344 19521036288 2418869 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
Current children cumulated CPU time: 3207.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9675476 KiB

[startup+3162.3 s]
/proc/loadavg: 2.19 2.18 2.35 3/278 109062
/proc/meminfo: memFree=104266208/131382116 swapFree=33009904/33010684
[pid=108737] ppid=108729 vsize=19063512 memory=9675476 CPUtime=3268.02 cores=0,2
/proc/108737/stat : 108737 (java) S 108729 108737 107587 0 -1 4194304 272461 0 0 0 326379 423 0 0 20 0 20 0 80793274 19521036288 2418869 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
/proc/108737/statm: 4765878 2418869 5565 1 0 2454062 0
[pid=108737/tid=108739] ppid=108729 vsize=19063512 memory=9675476 CPUtime=3093.58 cores=0,2
/proc/108737/task/108739/stat : 108739 (java) R 108729 108737 107587 0 -1 4194368 107485 0 0 0 309270 88 0 0 20 0 20 0 80793276 19521036288 2418869 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108760] ppid=108729 vsize=19063512 memory=9675476 CPUtime=0 cores=0,2
/proc/108737/task/108760/stat : 108760 (Finalizer) S 108729 108737 107587 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80793282 19521036288 2418869 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108774] ppid=108729 vsize=19063512 memory=9675476 CPUtime=0 cores=0,2
/proc/108737/task/108774/stat : 108774 (Common-Cleaner) S 108729 108737 107587 0 -1 4194368 2441 0 0 0 0 0 0 0 20 0 20 0 80793283 19521036288 2418869 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108827] ppid=108729 vsize=19063512 memory=9675476 CPUtime=0 cores=0,2
/proc/108737/task/108827/stat : 108827 (Timer-0) S 108729 108737 107587 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80793344 19521036288 2418869 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
Current children cumulated CPU time: 3268.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9675476 KiB

[startup+3222.3 s]
/proc/loadavg: 2.21 2.19 2.34 3/278 109064
/proc/meminfo: memFree=103590008/131382116 swapFree=33009904/33010684
[pid=108737] ppid=108729 vsize=19063512 memory=9929820 CPUtime=3335.8 cores=0,2
/proc/108737/stat : 108737 (java) S 108729 108737 107587 0 -1 4194304 292992 0 0 0 333143 437 0 0 20 0 20 0 80793274 19521036288 2482455 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
/proc/108737/statm: 4765878 2482455 5565 1 0 2631642 0
[pid=108737/tid=108739] ppid=108729 vsize=19063512 memory=9675476 CPUtime=3152.36 cores=0,2
/proc/108737/task/108739/stat : 108739 (java) R 108729 108737 107587 0 -1 4194368 114204 0 0 0 315144 92 0 0 20 0 20 0 80793276 19521036288 2482455 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108760] ppid=108729 vsize=19063512 memory=9675476 CPUtime=0 cores=0,2
/proc/108737/task/108760/stat : 108760 (Finalizer) S 108729 108737 107587 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80793282 19521036288 2482455 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108774] ppid=108729 vsize=19063512 memory=1920 CPUtime=0 cores=0,2
/proc/108737/task/108774/stat : 108774 (Common-Cleaner) S 108729 108737 107587 0 -1 4194368 2571 0 0 0 0 0 0 0 20 0 20 0 80793283 19521036288 2482455 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108827] ppid=108729 vsize=19063512 memory=9829468 CPUtime=0 cores=0,2
/proc/108737/task/108827/stat : 108827 (Timer-0) S 108729 108737 107587 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80793344 19521036288 2482455 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
Current children cumulated CPU time: 3335.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9929820 KiB

[startup+3282.3 s]
/proc/loadavg: 2.13 2.17 2.33 3/279 109067
/proc/meminfo: memFree=103180300/131382116 swapFree=33009904/33010684
[pid=108737] ppid=108729 vsize=19063512 memory=10329180 CPUtime=3396.73 cores=0,2
/proc/108737/stat : 108737 (java) S 108729 108737 107587 0 -1 4194304 296723 0 0 0 339225 448 0 0 20 0 20 0 80793274 19521036288 2582295 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
/proc/108737/statm: 4765878 2582295 5565 1 0 2631642 0
[pid=108737/tid=108739] ppid=108729 vsize=19063512 memory=10232924 CPUtime=3211.17 cores=0,2
/proc/108737/task/108739/stat : 108739 (java) R 108729 108737 107587 0 -1 4194368 116073 0 0 0 321019 98 0 0 20 0 20 0 80793276 19521036288 2582295 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108760] ppid=108729 vsize=19063512 memory=129 CPUtime=0 cores=0,2
/proc/108737/task/108760/stat : 108760 (Finalizer) S 108729 108737 107587 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80793282 19521036288 2582295 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108774] ppid=108729 vsize=19063512 memory=10329180 CPUtime=0 cores=0,2
/proc/108737/task/108774/stat : 108774 (Common-Cleaner) S 108729 108737 107587 0 -1 4194368 2698 0 0 0 0 0 0 0 20 0 20 0 80793283 19521036288 2582295 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108827] ppid=108729 vsize=19063512 memory=10329180 CPUtime=0 cores=0,2
/proc/108737/task/108827/stat : 108827 (Timer-0) S 108729 108737 107587 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80793344 19521036288 2582295 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
Current children cumulated CPU time: 3396.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10329180 KiB

[startup+3342.3 s]
/proc/loadavg: 2.16 2.17 2.31 3/279 109069
/proc/meminfo: memFree=102995996/131382116 swapFree=33009904/33010684
[pid=108737] ppid=108729 vsize=19063512 memory=10329180 CPUtime=3457.59 cores=0,2
/proc/108737/stat : 108737 (java) S 108729 108737 107587 0 -1 4194304 300934 0 0 0 345308 451 0 0 20 0 20 0 80793274 19521036288 2582295 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
/proc/108737/statm: 4765878 2582295 5565 1 0 2631642 0
[pid=108737/tid=108739] ppid=108729 vsize=19063512 memory=14080 CPUtime=3270.03 cores=0,2
/proc/108737/task/108739/stat : 108739 (java) R 108729 108737 107587 0 -1 4194368 119055 0 0 0 326904 99 0 0 20 0 20 0 80793276 19521036288 2582295 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108760] ppid=108729 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/108737/task/108760/stat : 108760 (Finalizer) S 108729 108737 107587 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80793282 19521036288 2582295 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108774] ppid=108729 vsize=19063512 memory=10329180 CPUtime=0 cores=0,2
/proc/108737/task/108774/stat : 108774 (Common-Cleaner) S 108729 108737 107587 0 -1 4194368 2698 0 0 0 0 0 0 0 20 0 20 0 80793283 19521036288 2582295 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108827] ppid=108729 vsize=19063512 memory=10329180 CPUtime=0 cores=0,2
/proc/108737/task/108827/stat : 108827 (Timer-0) S 108729 108737 107587 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80793344 19521036288 2582295 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
Current children cumulated CPU time: 3457.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10329180 KiB

[startup+3402.3 s]
/proc/loadavg: 2.17 2.16 2.30 3/279 109071
/proc/meminfo: memFree=102996012/131382116 swapFree=33009904/33010684
[pid=108737] ppid=108729 vsize=19063512 memory=10329180 CPUtime=3518.6 cores=0,2
/proc/108737/stat : 108737 (java) S 108729 108737 107587 0 -1 4194304 306466 0 0 0 351405 455 0 0 20 0 20 0 80793274 19521036288 2582295 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
/proc/108737/statm: 4765878 2582295 5565 1 0 2631642 0
[pid=108737/tid=108739] ppid=108729 vsize=19063512 memory=10329180 CPUtime=3328.73 cores=0,2
/proc/108737/task/108739/stat : 108739 (java) R 108729 108737 107587 0 -1 4194368 121880 0 0 0 332774 99 0 0 20 0 20 0 80793276 19521036288 2582295 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108760] ppid=108729 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/108737/task/108760/stat : 108760 (Finalizer) S 108729 108737 107587 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80793282 19521036288 2582295 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108774] ppid=108729 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/108737/task/108774/stat : 108774 (Common-Cleaner) S 108729 108737 107587 0 -1 4194368 2776 0 0 0 0 0 0 0 20 0 20 0 80793283 19521036288 2582295 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108827] ppid=108729 vsize=19063512 memory=10329180 CPUtime=0 cores=0,2
/proc/108737/task/108827/stat : 108827 (Timer-0) S 108729 108737 107587 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80793344 19521036288 2582295 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
Current children cumulated CPU time: 3518.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10329180 KiB

[startup+3462.3 s]
/proc/loadavg: 2.12 2.15 2.29 3/278 109073
/proc/meminfo: memFree=102996044/131382116 swapFree=33009904/33010684
[pid=108737] ppid=108729 vsize=19063512 memory=10329180 CPUtime=3579.12 cores=0,2
/proc/108737/stat : 108737 (java) S 108729 108737 107587 0 -1 4194304 309679 0 0 0 357454 458 0 0 20 0 20 0 80793274 19521036288 2582295 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
/proc/108737/statm: 4765878 2582295 5565 1 0 2631642 0
[pid=108737/tid=108739] ppid=108729 vsize=19063512 memory=14080 CPUtime=3387.95 cores=0,2
/proc/108737/task/108739/stat : 108739 (java) R 108729 108737 107587 0 -1 4194368 124706 0 0 0 338696 99 0 0 20 0 20 0 80793276 19521036288 2582295 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108760] ppid=108729 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/108737/task/108760/stat : 108760 (Finalizer) S 108729 108737 107587 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80793282 19521036288 2582295 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108774] ppid=108729 vsize=19063512 memory=10329180 CPUtime=0 cores=0,2
/proc/108737/task/108774/stat : 108774 (Common-Cleaner) S 108729 108737 107587 0 -1 4194368 2809 0 0 0 0 0 0 0 20 0 20 0 80793283 19521036288 2582295 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108827] ppid=108729 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/108737/task/108827/stat : 108827 (Timer-0) S 108729 108737 107587 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80793344 19521036288 2582295 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
Current children cumulated CPU time: 3579.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10329180 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3482.8 s]
/proc/loadavg: 2.16 2.15 2.28 3/277 109073
/proc/meminfo: memFree=102996044/131382116 swapFree=33009904/33010684
[pid=108737] ppid=108729 vsize=19063512 memory=10331232 CPUtime=3600.04 cores=0,2
/proc/108737/stat : 108737 (java) S 108729 108737 107587 0 -1 4194304 311876 0 0 0 359545 459 0 0 20 0 20 0 80793274 19521036288 2582808 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
/proc/108737/statm: 4765878 2582808 5565 1 0 2631642 0
[pid=108737/tid=108739] ppid=108729 vsize=19063512 memory=7372 CPUtime=3407.96 cores=0,2
/proc/108737/task/108739/stat : 108739 (java) S 108729 108737 107587 0 -1 4194368 126030 0 0 0 340696 100 0 0 20 0 20 0 80793276 19521036288 2582808 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108760] ppid=108729 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/108737/task/108760/stat : 108760 (Finalizer) S 108729 108737 107587 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80793282 19521036288 2582808 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108774] ppid=108729 vsize=19063512 memory=3072 CPUtime=0 cores=0,2
/proc/108737/task/108774/stat : 108774 (Common-Cleaner) S 108729 108737 107587 0 -1 4194368 2809 0 0 0 0 0 0 0 20 0 20 0 80793283 19521036288 2582808 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
[pid=108737/tid=108827] ppid=108729 vsize=19063512 memory=10329180 CPUtime=0 cores=0,2
/proc/108737/task/108827/stat : 108827 (Timer-0) S 108729 108737 107587 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80793344 19521036288 2582808 18446744073709551615 94094199992320 94094199996016 140728815710720 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094200003832 94094200004624 94094202277888 140728815716735 140728815716836 140728815716836 140728815722440 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10331232 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.17 s, system=4.62876 s

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

[startup+3483.2 s]*
/proc/loadavg: 2.16 2.15 2.28 3/259 109076
/proc/meminfo: memFree=108860016/131382116 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3483.22
CPU time (s): 3600.8
CPU user time (s): 3596.17
CPU system time (s): 4.62876
CPU usage (%): 103.376
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 10332000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.17
system time used= 4.62876
maximum resident set size= 10332128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 315019
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113203
involuntary context switches= 15535


# summary of solver processes directly reported to runsolver:
#   pid: 108737
#   total CPU time (s): 3600.8
#   total CPU user time (s): 3596.17
#   total CPU system time (s): 4.62876

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2392 second user time and 35.4481 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-07-04 19:45:41
IDJOB=4523248
IDBENCH=179855
IDSOLVER=3363
FILE ID=nodeC004/4523248-1751651141
RUNJOBID= nodeC004-1751651141-108696
SLURM_JOB_ID= 9672309
Free space on /tmp= 431680 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_260_007.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523248-1751651141/watcher-4523248-1751651141 -o /tmp/evaluation-result-4523248-1751651141/solver-4523248-1751651141 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751651141-108696 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4523248-1751651141.opb

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

MD5SUM BENCH= 19358b71c175af654e98554c4f116d17
RANDOM SEED=1390628815

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        128828484 kB
MemAvailable:   129787660 kB
Buffers:            2128 kB
Cached:          1705332 kB
SwapCached:           32 kB
Active:           680036 kB
Inactive:        1104920 kB
Active(anon):      84692 kB
Inactive(anon):    10736 kB
Active(file):     595344 kB
Inactive(file):  1094184 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2604 kB
Writeback:             0 kB
AnonPages:         80072 kB
Mapped:           104460 kB
Shmem:             17932 kB
KReclaimable:     218552 kB
Slab:             305796 kB
SReclaimable:     218552 kB
SUnreclaim:        87244 kB
KernelStack:        3840 kB
PageTables:         2804 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     360464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149336 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 431668 MiB
End job on nodeC004 at 2025-07-04 20:43:44