Trace number 4427489

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 Partial RoundingSAT 2024 2024-07-12SAT (TO)39162 3600.25 3540.79

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir06_trarea_ac.opb
MD5SUM80638e9ab302f8cbcb0fef344ba23b43
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 benchmark33456
Best CPU time to get the best result obtained on this benchmark0.261171
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4360
Total number of constraints8610
Number of constraints which are clauses8610
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint163
Number of terms in the objective function 2173
Biggest coefficient in the objective function 2124
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 3653850
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 2124
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3653850
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.15	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.14/0.15	 - never skip resolution steps
0.14/0.15	 - Auto-division on coefficients is disabled
0.14/0.15	 - No postprocessing
0.14/0.15	 - Conflict is considered as is when resolving
0.14/0.15	 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.14/0.15	 - Weaken first using unassigned literals
0.14/0.15	 - Bump strategy: ALWAYS_ONE
0.14/0.15	 - Bumper: ASSIGNED
0.14/0.15	--- Begin Solver configuration ---
0.14/0.15	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.14/0.15	Learn all clauses as in MiniSAT
0.14/0.15	LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.15	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.14/0.15	No reason simplification
0.14/0.15	Armin Biere (Picosat) restarts strategy
0.14/0.15	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.14/0.15	timeout=2147483s
0.14/0.15	DB Simplification allowed=false
0.14/0.15	Listener: none
0.14/0.15	--- End Solver configuration ---
0.14/0.15	c Pseudo Boolean Optimization by upper bound
0.14/0.15	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.14/0.15	c  - never skip resolution steps
0.14/0.15	c  - Auto-division on coefficients is disabled
0.14/0.15	c  - No postprocessing
0.14/0.15	c  - Conflict is considered as is when resolving
0.14/0.15	c  - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.14/0.15	c  - Weaken first using unassigned literals
0.14/0.15	c  - Bump strategy: ALWAYS_ONE
0.14/0.15	c  - Bumper: ASSIGNED
0.14/0.15	c --- Begin Solver configuration ---
0.14/0.15	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.14/0.15	c Learn all clauses as in MiniSAT
0.14/0.15	c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.15	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.14/0.15	c No reason simplification
0.14/0.15	c Armin Biere (Picosat) restarts strategy
0.14/0.15	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.14/0.15	c timeout=2147483s
0.14/0.15	c DB Simplification allowed=false
0.14/0.15	c Listener: none
0.14/0.15	c --- End Solver configuration ---
0.14/0.15	c solving HOME/instance-4427489-1720996336.opb
0.14/0.15	c reading problem ... 
0.14/0.15	c  objective function found
0.52/0.37	c ... done. Wall clock time 0.215s.
0.52/0.37	c declared #vars     4360
0.52/0.37	c #constraints  8610
0.52/0.37	c constraints type 
0.52/0.37	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 6419
0.52/0.37	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2188
0.52/0.37	c org.sat4j.pb.constraints.pb.UnitClausePB => 3
0.52/0.37	c 8610 constraints processed.
0.52/0.38	c objective function length is 2173 literals
0.70/0.43	c SATISFIABLE
0.70/0.43	c OPTIMIZING...
0.70/0.43	c Got one! Elapsed wall clock time (in seconds):0.273
0.70/0.43	o 52413
0.91/0.53	c Got one! Elapsed wall clock time (in seconds):0.383
0.91/0.53	o 51111
1.08/0.61	c Got one! Elapsed wall clock time (in seconds):0.461
1.08/0.61	o 49809
1.08/0.67	c Got one! Elapsed wall clock time (in seconds):0.521
1.08/0.67	o 48507
1.26/0.76	c Got one! Elapsed wall clock time (in seconds):0.615
1.26/0.76	o 47263
1.66/0.94	c Got one! Elapsed wall clock time (in seconds):0.797
1.66/0.94	o 47205
9.03/6.01	c Got one! Elapsed wall clock time (in seconds):5.864
9.03/6.01	o 47095
9.48/6.46	c Got one! Elapsed wall clock time (in seconds):6.31
9.48/6.46	o 45961
16.10/12.95	c Got one! Elapsed wall clock time (in seconds):12.798
16.10/12.95	o 45846
24.94/21.78	c Got one! Elapsed wall clock time (in seconds):21.632
24.94/21.78	o 45700
29.10/25.82	c Got one! Elapsed wall clock time (in seconds):25.672
29.10/25.82	o 44711
42.71/39.43	c Got one! Elapsed wall clock time (in seconds):39.278
42.71/39.43	o 43773
80.48/76.72	c Got one! Elapsed wall clock time (in seconds):76.573
80.48/76.72	o 42758
207.24/202.22	c Got one! Elapsed wall clock time (in seconds):202.069
207.24/202.22	o 42563
386.01/381.16	c cleaning 3660 clauses out of 7349 with flag 0/7349
466.46/461.20	c Got one! Elapsed wall clock time (in seconds):461.048
466.46/461.20	o 42180
519.72/514.08	c Got one! Elapsed wall clock time (in seconds):513.932
519.72/514.08	o 41555
855.32/846.73	c Got one! Elapsed wall clock time (in seconds):846.581
855.32/846.73	o 41526
890.38/881.90	c Got one! Elapsed wall clock time (in seconds):881.753
890.38/881.90	o 40663
1009.26/1001.09	c cleaning 5583 clauses out of 11177 with flag 0/14837
1521.05/1509.73	c cleaning 5794 clauses out of 11593 with flag 0/20836
1526.35/1514.96	c Got one! Elapsed wall clock time (in seconds):1514.809
1526.35/1514.96	o 40647
1600.84/1588.28	c Got one! Elapsed wall clock time (in seconds):1588.137
1600.84/1588.28	o 39973
1847.75/1831.66	c cleaning 5598 clauses out of 11236 with flag 0/26273
2199.13/2180.74	c cleaning 5821 clauses out of 11652 with flag 0/32287
2599.93/2578.71	c cleaning 6394 clauses out of 12817 with flag 0/39273
2773.33/2749.60	c Got one! Elapsed wall clock time (in seconds):2749.456
2773.33/2749.60	o 39847
2838.22/2813.13	c cleaning 4607 clauses out of 11735 with flag 0/44585
3214.87/3180.75	c Got one! Elapsed wall clock time (in seconds):3180.604
3214.87/3180.75	o 39162
3600.09/3540.71	c starts		: 97
3600.09/3540.72	c conflicts		: 54892
3600.09/3540.72	c decisions		: 2051079
3600.09/3540.72	c propagations		: 20369322
3600.09/3540.72	c inspects		: 223784264
3600.09/3540.72	c shortcuts		: 0
3600.09/3540.72	c learnt literals	: 0
3600.09/3540.72	c learnt binary clauses	: 0
3600.09/3540.72	c learnt ternary clauses	: 0
3600.09/3540.72	c learnt constraints	: 54891
3600.09/3540.72	c ignored constraints	: 0
3600.09/3540.72	c root simplifications	: 0
3600.09/3540.72	c removed literals (reason simplification)	: 0
3600.09/3540.72	c reason swapping (by a shorter reason)	: 0
3600.09/3540.72	c Calls to reduceDB	: 7
3600.09/3540.72	c Number of update (reduction) of LBD	: 0
3600.09/3540.72	c Imported unit clauses	: 0
3600.09/3540.72	c No decision after first conflict	: false
3600.09/3540.72	c number of reductions to clauses (during analyze)	: 0
3600.09/3540.72	c number of learned constraints concerned by reduction	: 0
3600.09/3540.72	c number of learning phase by resolution	: 0
3600.09/3540.72	c number of learning phase by cutting planes	: 0
3600.09/3540.72	c number of rounding to 1 operations	: 297890
3600.09/3540.72	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3540.72	c number of reductions of the coefficients by power 2 	: 0
3600.09/3540.72	c number of right shift for reduction by power 2 	: 0
3600.09/3540.72	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3540.72	c number of ending skipping 	: 0
3600.09/3540.72	c number of internal skipping 	: 0
3600.09/3540.72	c number of derivation steps 	: 758168
3600.09/3540.72	c number of skipped derivation steps 	: 0
3600.09/3540.72	c number of remaining unassigned 	: 835282
3600.09/3540.72	c number of remaining assigned 	: 111125311
3600.09/3540.72	c number of falsified literals weakened from reason	: 0
3600.09/3540.72	c number of falsified literals weakened from conflict	: 0
3600.09/3540.72	c time for arithmetic operations	: 13932747546
3600.09/3540.72	c minimum degree of deleted constraints	: 4
3600.09/3540.72	c maximum degree of deleted constraints	: 32636858612
3600.09/3540.72	c number of deleted constraints	: 37457
3600.09/3540.72	c speed (assignments/second)	: 5753.504543216697
3600.09/3540.72	c non guided choices	: 0
3600.09/3540.73	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 5840
3600.09/3540.73	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 11594
3600.09/3540.73	s SATISFIABLE
3600.09/3540.73	c Found 22 solution(s)
3600.09/3540.74	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 
3600.09/3540.77	c objective function=39162
3600.09/3540.77	c Total wall clock time (in seconds): 3540.62

Verifier Data 

OK	39162

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (60913 MiB free)
  memory of node 1: 64510 MiB (42572 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427489-1720996336/watcher-4427489-1720996336 -o /tmp/evaluation-result-4427489-1720996336/solver-4427489-1720996336 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1720994549-769724 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427489-1720996336.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100547 s]*
/proc/loadavg: 5.20 4.92 4.09 8/333 771750
/proc/meminfo: memFree=105927696/131524600 swapFree=131071996/131071996
[pid=771732] ppid=771729 vsize=18975048 memory=63704 CPUtime=0.14 cores=4,6
/proc/771732/stat : 771732 (java) S 771729 771732 769713 0 -1 1077936128 7247 0 0 0 13 1 0 0 20 0 18 0 151798573 19430449152 15926 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
/proc/771732/statm: 4743762 15926 5726 1 0 549381 0
[pid=771732/tid=771734] ppid=771729 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/771732/task/771734/stat : 771734 (java) R 771729 771732 769713 0 -1 1077936192 5764 0 0 0 8 0 0 0 20 0 18 0 151798573 19430449152 15926 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771743] ppid=771729 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/771732/task/771743/stat : 771743 (Finalizer) S 771729 771732 769713 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151798576 19430449152 15926 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771750] ppid=771729 vsize=18975048 memory=14979970577492358 CPUtime=0 cores=4,6
/proc/771732/task/771750/stat : 771750 (Common-Cleaner) S 771729 771732 769713 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 151798576 19430449152 15926 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63704 KiB

[startup+0.20578 s]*
/proc/loadavg: 5.20 4.92 4.09 8/333 771750
/proc/meminfo: memFree=105908996/131524600 swapFree=131071996/131071996
[pid=771732] ppid=771729 vsize=18975048 memory=82260 CPUtime=0.34 cores=4,6
/proc/771732/stat : 771732 (java) S 771729 771732 769713 0 -1 1077936128 7776 0 0 0 32 2 0 0 20 0 18 0 151798573 19430449152 20565 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
/proc/771732/statm: 4743762 20565 5845 1 0 549692 0
[pid=771732/tid=771734] ppid=771729 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/771732/task/771734/stat : 771734 (java) R 771729 771732 769713 0 -1 4194368 6038 0 0 0 17 1 0 0 20 0 18 0 151798573 19430449152 20565 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771743] ppid=771729 vsize=18975048 memory=17986 CPUtime=0 cores=4,6
/proc/771732/task/771743/stat : 771743 (Finalizer) S 771729 771732 769713 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151798576 19430449152 20565 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771750] ppid=771729 vsize=18975048 memory=13855165887284967 CPUtime=0 cores=4,6
/proc/771732/task/771750/stat : 771750 (Common-Cleaner) S 771729 771732 769713 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 151798576 19430449152 20565 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 82260 KiB

[startup+0.305888 s]*
/proc/loadavg: 5.20 4.92 4.09 7/334 771751
/proc/meminfo: memFree=105828032/131524600 swapFree=131071996/131071996
[pid=771732] ppid=771729 vsize=19041612 memory=163084 CPUtime=0.52 cores=4,6
/proc/771732/stat : 771732 (java) S 771729 771732 769713 0 -1 1077936128 9581 0 0 0 49 3 0 0 20 0 19 0 151798573 19498610688 40771 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
/proc/771732/statm: 4760403 40771 5861 1 0 551072 0
[pid=771732/tid=771734] ppid=771729 vsize=19041612 memory=-8528519632302547644 CPUtime=0.24 cores=4,6
/proc/771732/task/771734/stat : 771734 (java) R 771729 771732 769713 0 -1 4194368 6093 0 0 0 22 2 0 0 20 0 19 0 151798573 19498610688 40771 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771743] ppid=771729 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/771732/task/771743/stat : 771743 (Finalizer) S 771729 771732 769713 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 151798576 19498610688 40771 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771750] ppid=771729 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/771732/task/771750/stat : 771750 (Common-Cleaner) S 771729 771732 769713 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 151798576 19498610688 40771 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 163084 KiB

[startup+0.70024 s]
/proc/loadavg: 5.20 4.92 4.09 7/335 771752
/proc/meminfo: memFree=105799448/131524600 swapFree=131071996/131071996
[pid=771732] ppid=771729 vsize=19108176 memory=191524 CPUtime=1.26 cores=4,6
/proc/771732/stat : 771732 (java) S 771729 771732 769713 0 -1 1077936128 10148 0 0 0 123 3 0 0 20 0 20 0 151798573 19566772224 47881 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
/proc/771732/statm: 4777044 47881 5914 1 0 551543 0
[pid=771732/tid=771734] ppid=771729 vsize=19108176 memory=5516 CPUtime=0.58 cores=4,6
/proc/771732/task/771734/stat : 771734 (java) R 771729 771732 769713 0 -1 4194368 6251 0 0 0 56 2 0 0 20 0 20 0 151798573 19566772224 47881 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771743] ppid=771729 vsize=19108176 memory=13072 CPUtime=0 cores=4,6
/proc/771732/task/771743/stat : 771743 (Finalizer) S 771729 771732 769713 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 47881 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771750] ppid=771729 vsize=19108176 memory=164 CPUtime=0 cores=4,6
/proc/771732/task/771750/stat : 771750 (Common-Cleaner) S 771729 771732 769713 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 47881 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771752] ppid=771729 vsize=19108176 memory=117636 CPUtime=0 cores=4,6
/proc/771732/task/771752/stat : 771752 (Timer-0) S 771729 771732 769713 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151798612 19566772224 47881 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 191524 KiB

[startup+1.50779 s]
/proc/loadavg: 5.20 4.92 4.09 7/335 771752
/proc/meminfo: memFree=105786624/131524600 swapFree=131071996/131071996
[pid=771732] ppid=771729 vsize=19108176 memory=234564 CPUtime=2.87 cores=4,6
/proc/771732/stat : 771732 (java) S 771729 771732 769713 0 -1 1077936128 21247 0 0 0 282 5 0 0 20 0 20 0 151798573 19566772224 58641 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
/proc/771732/statm: 4777044 58641 5914 1 0 554979 0
[pid=771732/tid=771734] ppid=771729 vsize=19108176 memory=13072 CPUtime=1.39 cores=4,6
/proc/771732/task/771734/stat : 771734 (java) R 771729 771732 769713 0 -1 4194368 6491 0 0 0 136 3 0 0 20 0 20 0 151798573 19566772224 58641 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771743] ppid=771729 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/771732/task/771743/stat : 771743 (Finalizer) S 771729 771732 769713 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 58641 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771750] ppid=771729 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/771732/task/771750/stat : 771750 (Common-Cleaner) S 771729 771732 769713 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 58641 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771752] ppid=771729 vsize=19108176 memory=281248148923664 CPUtime=0 cores=4,6
/proc/771732/task/771752/stat : 771752 (Timer-0) S 771729 771732 769713 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151798612 19566772224 58641 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 234564 KiB

[startup+3.10563 s]
/proc/loadavg: 5.35 4.96 4.11 5/335 771752
/proc/meminfo: memFree=105501052/131524600 swapFree=131071996/131071996
[pid=771732] ppid=771729 vsize=19108176 memory=497528 CPUtime=5.76 cores=4,6
/proc/771732/stat : 771732 (java) S 771729 771732 769713 0 -1 1077936128 22616 0 0 0 566 10 0 0 20 0 20 0 151798573 19566772224 124382 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
/proc/771732/statm: 4777044 124382 5914 1 0 554986 0
[pid=771732/tid=771734] ppid=771729 vsize=19108176 memory=0 CPUtime=2.98 cores=4,6
/proc/771732/task/771734/stat : 771734 (java) R 771729 771732 769713 0 -1 4194368 7109 0 0 0 290 8 0 0 20 0 20 0 151798573 19566772224 124382 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771743] ppid=771729 vsize=19108176 memory=13072 CPUtime=0 cores=4,6
/proc/771732/task/771743/stat : 771743 (Finalizer) S 771729 771732 769713 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 124382 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771750] ppid=771729 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/771732/task/771750/stat : 771750 (Common-Cleaner) S 771729 771732 769713 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 124382 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771752] ppid=771729 vsize=19108176 memory=11436 CPUtime=0 cores=4,6
/proc/771732/task/771752/stat : 771752 (Timer-0) S 771729 771732 769713 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151798612 19566772224 124382 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
Current children cumulated CPU time: 5.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 497528 KiB

[startup+6.30026 s]
/proc/loadavg: 5.35 4.96 4.11 6/335 771753
/proc/meminfo: memFree=105102168/131524600 swapFree=131071996/131071996
[pid=771732] ppid=771729 vsize=19108176 memory=920088 CPUtime=9.37 cores=4,6
/proc/771732/stat : 771732 (java) S 771729 771732 769713 0 -1 1077936128 23609 0 0 0 917 20 0 0 20 0 20 0 151798573 19566772224 230022 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
/proc/771732/statm: 4777044 230022 5914 1 0 554988 0
[pid=771732/tid=771734] ppid=771729 vsize=19108176 memory=13072 CPUtime=6.16 cores=4,6
/proc/771732/task/771734/stat : 771734 (java) R 771729 771732 769713 0 -1 4194368 7822 0 0 0 599 17 0 0 20 0 20 0 151798573 19566772224 230022 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771743] ppid=771729 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/771732/task/771743/stat : 771743 (Finalizer) S 771729 771732 769713 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 230022 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771750] ppid=771729 vsize=19108176 memory=257240 CPUtime=0 cores=4,6
/proc/771732/task/771750/stat : 771750 (Common-Cleaner) S 771729 771732 769713 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 230022 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771752] ppid=771729 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/771732/task/771752/stat : 771752 (Timer-0) S 771729 771732 769713 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151798612 19566772224 230022 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
Current children cumulated CPU time: 9.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 920088 KiB

[startup+12.7003 s]
/proc/loadavg: 5.32 4.96 4.11 6/335 771753
/proc/meminfo: memFree=104898664/131524600 swapFree=131071996/131071996
[pid=771732] ppid=771729 vsize=19108176 memory=1086388 CPUtime=15.9 cores=4,6
/proc/771732/stat : 771732 (java) S 771729 771732 769713 0 -1 1077936128 24757 0 0 0 1566 24 0 0 20 0 20 0 151798573 19566772224 271597 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
/proc/771732/statm: 4777044 271597 5914 1 0 555004 0
[pid=771732/tid=771734] ppid=771729 vsize=19108176 memory=0 CPUtime=12.41 cores=4,6
/proc/771732/task/771734/stat : 771734 (java) R 771729 771732 769713 0 -1 4194368 7860 0 0 0 1223 18 0 0 20 0 20 0 151798573 19566772224 271597 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771743] ppid=771729 vsize=19108176 memory=-8528519632302547644 CPUtime=0 cores=4,6
/proc/771732/task/771743/stat : 771743 (Finalizer) S 771729 771732 769713 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 271597 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771750] ppid=771729 vsize=19108176 memory=2280 CPUtime=0 cores=4,6
/proc/771732/task/771750/stat : 771750 (Common-Cleaner) S 771729 771732 769713 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 271597 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771752] ppid=771729 vsize=19108176 memory=11436 CPUtime=0 cores=4,6
/proc/771732/task/771752/stat : 771752 (Timer-0) S 771729 771732 769713 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151798612 19566772224 271597 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
Current children cumulated CPU time: 15.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1086388 KiB

[startup+25.5003 s]
/proc/loadavg: 5.17 4.94 4.12 6/335 771756
/proc/meminfo: memFree=104370300/131524600 swapFree=131071996/131071996
[pid=771732] ppid=771729 vsize=19108176 memory=1646388 CPUtime=28.79 cores=4,6
/proc/771732/stat : 771732 (java) S 771729 771732 769713 0 -1 1077936128 30012 0 0 0 2843 36 0 0 20 0 20 0 151798573 19566772224 411597 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
/proc/771732/statm: 4777044 411597 5914 1 0 847441 0
[pid=771732/tid=771734] ppid=771729 vsize=19108176 memory=11436 CPUtime=25.06 cores=4,6
/proc/771732/task/771734/stat : 771734 (java) R 771729 771732 769713 0 -1 4194368 9496 0 0 0 2478 28 0 0 20 0 20 0 151798573 19566772224 411597 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771743] ppid=771729 vsize=19108176 memory=11436 CPUtime=0 cores=4,6
/proc/771732/task/771743/stat : 771743 (Finalizer) S 771729 771732 769713 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 411597 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771750] ppid=771729 vsize=19108176 memory=936472 CPUtime=0 cores=4,6
/proc/771732/task/771750/stat : 771750 (Common-Cleaner) S 771729 771732 769713 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 411597 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771752] ppid=771729 vsize=19108176 memory=281248148870448 CPUtime=0 cores=4,6
/proc/771732/task/771752/stat : 771752 (Timer-0) S 771729 771732 769713 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151798612 19566772224 411597 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
Current children cumulated CPU time: 28.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1646388 KiB

[startup+51.1057 s]
/proc/loadavg: 5.27 4.98 4.16 5/336 771761
/proc/meminfo: memFree=103766236/131524600 swapFree=131071996/131071996
[pid=771732] ppid=771729 vsize=19108176 memory=2158572 CPUtime=54.53 cores=4,6
/proc/771732/stat : 771732 (java) S 771729 771732 769713 0 -1 1077936128 37443 0 0 0 5406 47 0 0 20 0 20 0 151798573 19566772224 539643 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
/proc/771732/statm: 4777044 539643 5914 1 0 847441 0
[pid=771732/tid=771734] ppid=771729 vsize=19108176 memory=2121696 CPUtime=50.36 cores=4,6
/proc/771732/task/771734/stat : 771734 (java) R 771729 771732 769713 0 -1 4194368 12511 0 0 0 5001 35 0 0 20 0 20 0 151798573 19566772224 539643 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771743] ppid=771729 vsize=19108176 memory=38948 CPUtime=0 cores=4,6
/proc/771732/task/771743/stat : 771743 (Finalizer) S 771729 771732 769713 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 539643 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0

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

/proc/meminfo: memFree=113358544/131524600 swapFree=131071996/131071996
[pid=771732] ppid=771729 vsize=19108176 memory=2828656 CPUtime=3257.93 cores=4,6
/proc/771732/stat : 771732 (java) S 771729 771732 769713 0 -1 1077936128 471544 0 0 0 325574 219 0 0 20 0 20 0 151798573 19566772224 707164 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
/proc/771732/statm: 4777044 707164 5958 1 0 720213 0
[pid=771732/tid=771734] ppid=771729 vsize=19108176 memory=2828444 CPUtime=3180.97 cores=4,6
/proc/771732/task/771734/stat : 771734 (java) R 771729 771732 769713 0 -1 4194368 171963 0 0 0 318039 58 0 0 20 0 20 0 151798573 19566772224 707164 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771743] ppid=771729 vsize=19108176 memory=2828444 CPUtime=0 cores=4,6
/proc/771732/task/771743/stat : 771743 (Finalizer) S 771729 771732 769713 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 707164 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771750] ppid=771729 vsize=19108176 memory=2828640 CPUtime=0 cores=4,6
/proc/771732/task/771750/stat : 771750 (Common-Cleaner) S 771729 771732 769713 0 -1 1077936192 3723 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 707164 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771752] ppid=771729 vsize=19108176 memory=2828656 CPUtime=0 cores=4,6
/proc/771732/task/771752/stat : 771752 (Timer-0) S 771729 771732 769713 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151798612 19566772224 707164 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
Current children cumulated CPU time: 3257.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2828656 KiB

[startup+3282.3 s]
/proc/loadavg: 4.37 4.35 4.32 5/332 773512
/proc/meminfo: memFree=113358096/131524600 swapFree=131071996/131071996
[pid=771732] ppid=771729 vsize=19108176 memory=2828836 CPUtime=3320.89 cores=4,6
/proc/771732/stat : 771732 (java) S 771729 771732 769713 0 -1 1077936128 484438 0 0 0 331867 222 0 0 20 0 20 0 151798573 19566772224 707209 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
/proc/771732/statm: 4777044 707209 5958 1 0 720213 0
[pid=771732/tid=771734] ppid=771729 vsize=19108176 memory=20136 CPUtime=3240.2 cores=4,6
/proc/771732/task/771734/stat : 771734 (java) R 771729 771732 769713 0 -1 4194368 175333 0 0 0 323962 58 0 0 20 0 20 0 151798573 19566772224 707209 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771743] ppid=771729 vsize=19108176 memory=2828836 CPUtime=0 cores=4,6
/proc/771732/task/771743/stat : 771743 (Finalizer) S 771729 771732 769713 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 707209 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771750] ppid=771729 vsize=19108176 memory=2828836 CPUtime=0 cores=4,6
/proc/771732/task/771750/stat : 771750 (Common-Cleaner) S 771729 771732 769713 0 -1 1077936192 3821 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 707209 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771752] ppid=771729 vsize=19108176 memory=13072 CPUtime=0 cores=4,6
/proc/771732/task/771752/stat : 771752 (Timer-0) S 771729 771732 769713 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151798612 19566772224 707209 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
Current children cumulated CPU time: 3320.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2828836 KiB

[startup+3342.3 s]
/proc/loadavg: 4.24 4.31 4.31 5/335 773694
/proc/meminfo: memFree=113262308/131524600 swapFree=131071996/131071996
[pid=771732] ppid=771729 vsize=19108176 memory=2828840 CPUtime=3382.37 cores=4,6
/proc/771732/stat : 771732 (java) S 771729 771732 769713 0 -1 1077936128 496979 0 0 0 338012 225 0 0 20 0 20 0 151798573 19566772224 707210 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
/proc/771732/statm: 4777044 707210 5958 1 0 720213 0
[pid=771732/tid=771734] ppid=771729 vsize=19108176 memory=2828836 CPUtime=3299.45 cores=4,6
/proc/771732/task/771734/stat : 771734 (java) R 771729 771732 769713 0 -1 4194368 180707 0 0 0 329887 58 0 0 20 0 20 0 151798573 19566772224 707210 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771743] ppid=771729 vsize=19108176 memory=2828836 CPUtime=0 cores=4,6
/proc/771732/task/771743/stat : 771743 (Finalizer) S 771729 771732 769713 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 707210 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771750] ppid=771729 vsize=19108176 memory=5528 CPUtime=0 cores=4,6
/proc/771732/task/771750/stat : 771750 (Common-Cleaner) S 771729 771732 769713 0 -1 1077936192 3877 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 707210 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771752] ppid=771729 vsize=19108176 memory=2828840 CPUtime=0 cores=4,6
/proc/771732/task/771752/stat : 771752 (Timer-0) S 771729 771732 769713 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151798612 19566772224 707210 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
Current children cumulated CPU time: 3382.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2828840 KiB

[startup+3402.31 s]
/proc/loadavg: 4.18 4.28 4.30 6/335 773704
/proc/meminfo: memFree=113085664/131524600 swapFree=131071996/131071996
[pid=771732] ppid=771729 vsize=19108176 memory=2828868 CPUtime=3448.01 cores=4,6
/proc/771732/stat : 771732 (java) S 771729 771732 769713 0 -1 1077936128 509583 0 0 0 344571 230 0 0 20 0 20 0 151798573 19566772224 707217 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
/proc/771732/statm: 4777044 707217 5958 1 0 720213 0
[pid=771732/tid=771734] ppid=771729 vsize=19108176 memory=2828836 CPUtime=3358.24 cores=4,6
/proc/771732/task/771734/stat : 771734 (java) R 771729 771732 769713 0 -1 4194368 183275 0 0 0 335765 59 0 0 20 0 20 0 151798573 19566772224 707217 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771743] ppid=771729 vsize=19108176 memory=5528 CPUtime=0 cores=4,6
/proc/771732/task/771743/stat : 771743 (Finalizer) S 771729 771732 769713 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 707217 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771750] ppid=771729 vsize=19108176 memory=2828868 CPUtime=0 cores=4,6
/proc/771732/task/771750/stat : 771750 (Common-Cleaner) S 771729 771732 769713 0 -1 1077936192 3974 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 707217 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771752] ppid=771729 vsize=19108176 memory=2828868 CPUtime=0 cores=4,6
/proc/771732/task/771752/stat : 771752 (Timer-0) S 771729 771732 769713 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151798612 19566772224 707217 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
Current children cumulated CPU time: 3448.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2828868 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.28 4.29 5/335 773770
/proc/meminfo: memFree=113084788/131524600 swapFree=131071996/131071996
[pid=771732] ppid=771729 vsize=19108176 memory=2828868 CPUtime=3514.34 cores=4,6
/proc/771732/stat : 771732 (java) S 771729 771732 769713 0 -1 1077936128 521960 0 0 0 351196 238 0 0 20 0 20 0 151798573 19566772224 707217 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
/proc/771732/statm: 4777044 707217 5958 1 0 720213 0
[pid=771732/tid=771734] ppid=771729 vsize=19108176 memory=2828836 CPUtime=3417.25 cores=4,6
/proc/771732/task/771734/stat : 771734 (java) R 771729 771732 769713 0 -1 4194368 186123 0 0 0 341666 59 0 0 20 0 20 0 151798573 19566772224 707217 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771743] ppid=771729 vsize=19108176 memory=5528 CPUtime=0 cores=4,6
/proc/771732/task/771743/stat : 771743 (Finalizer) S 771729 771732 769713 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 707217 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771750] ppid=771729 vsize=19108176 memory=2828868 CPUtime=0 cores=4,6
/proc/771732/task/771750/stat : 771750 (Common-Cleaner) S 771729 771732 769713 0 -1 1077936192 3974 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 707217 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771752] ppid=771729 vsize=19108176 memory=11436 CPUtime=0 cores=4,6
/proc/771732/task/771752/stat : 771752 (Timer-0) S 771729 771732 769713 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151798612 19566772224 707217 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
Current children cumulated CPU time: 3514.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2828868 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.25 4.28 5/333 773781
/proc/meminfo: memFree=113084816/131524600 swapFree=131071996/131071996
[pid=771732] ppid=771729 vsize=19108176 memory=2828868 CPUtime=3581.59 cores=4,6
/proc/771732/stat : 771732 (java) S 771729 771732 769713 0 -1 1077936128 534547 0 0 0 357916 243 0 0 20 0 20 0 151798573 19566772224 707217 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
/proc/771732/statm: 4777044 707217 5958 1 0 720215 0
[pid=771732/tid=771734] ppid=771729 vsize=19108176 memory=2828868 CPUtime=3476.14 cores=4,6
/proc/771732/task/771734/stat : 771734 (java) R 771729 771732 769713 0 -1 4194368 189009 0 0 0 347555 59 0 0 20 0 20 0 151798573 19566772224 707217 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771743] ppid=771729 vsize=19108176 memory=2828868 CPUtime=0 cores=4,6
/proc/771732/task/771743/stat : 771743 (Finalizer) S 771729 771732 769713 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 707217 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771750] ppid=771729 vsize=19108176 memory=5516 CPUtime=0 cores=4,6
/proc/771732/task/771750/stat : 771750 (Common-Cleaner) S 771729 771732 769713 0 -1 1077936192 4014 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 707217 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771752] ppid=771729 vsize=19108176 memory=2828868 CPUtime=0 cores=4,6
/proc/771732/task/771752/stat : 771752 (Timer-0) S 771729 771732 769713 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151798612 19566772224 707217 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
Current children cumulated CPU time: 3581.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2828868 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3540.7 s]
/proc/loadavg: 4.19 4.25 4.28 5/333 773786
/proc/meminfo: memFree=113084528/131524600 swapFree=131071996/131071996
[pid=771732] ppid=771729 vsize=19108176 memory=2828868 CPUtime=3600.09 cores=4,6
/proc/771732/stat : 771732 (java) S 771729 771732 769713 0 -1 1077936128 535125 0 0 0 359765 244 0 0 20 0 20 0 151798573 19566772224 707217 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
/proc/771732/statm: 4777044 707217 5958 1 0 720215 0
[pid=771732/tid=771734] ppid=771729 vsize=19108176 memory=13072 CPUtime=3494.35 cores=4,6
/proc/771732/task/771734/stat : 771734 (java) R 771729 771732 769713 0 -1 4194368 189528 0 0 0 349376 59 0 0 20 0 20 0 151798573 19566772224 707217 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771743] ppid=771729 vsize=19108176 memory=2828868 CPUtime=0 cores=4,6
/proc/771732/task/771743/stat : 771743 (Finalizer) S 771729 771732 769713 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 707217 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771750] ppid=771729 vsize=19108176 memory=11436 CPUtime=0 cores=4,6
/proc/771732/task/771750/stat : 771750 (Common-Cleaner) S 771729 771732 769713 0 -1 1077936192 4014 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 707217 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771752] ppid=771729 vsize=19108176 memory=2828868 CPUtime=0 cores=4,6
/proc/771732/task/771752/stat : 771752 (Timer-0) S 771729 771732 769713 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151798612 19566772224 707217 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2828868 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.79 s, system=2.46129 s

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

[startup+3540.7 s]
/proc/loadavg: 4.19 4.25 4.28 5/333 773786
/proc/meminfo: memFree=113084528/131524600 swapFree=131071996/131071996
[pid=771732] ppid=771729 vsize=19108176 memory=2828868 CPUtime=3600.09 cores=4,6
/proc/771732/stat : 771732 (java) S 771729 771732 769713 0 -1 1077936128 535125 0 0 0 359765 244 0 0 20 0 20 0 151798573 19566772224 707217 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
/proc/771732/statm: 4777044 707217 5958 1 0 720215 0
[pid=771732/tid=771734] ppid=771729 vsize=19108176 memory=13072 CPUtime=3494.35 cores=4,6
/proc/771732/task/771734/stat : 771734 (java) R 771729 771732 769713 0 -1 4194368 189528 0 0 0 349376 59 0 0 20 0 20 0 151798573 19566772224 707217 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771743] ppid=771729 vsize=19108176 memory=2828868 CPUtime=0 cores=4,6
/proc/771732/task/771743/stat : 771743 (Finalizer) S 771729 771732 769713 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 707217 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771750] ppid=771729 vsize=19108176 memory=11436 CPUtime=0 cores=4,6
/proc/771732/task/771750/stat : 771750 (Common-Cleaner) S 771729 771732 769713 0 -1 1077936192 4014 0 0 0 0 0 0 0 20 0 20 0 151798576 19566772224 707217 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
[pid=771732/tid=771752] ppid=771729 vsize=19108176 memory=2828868 CPUtime=0 cores=4,6
/proc/771732/task/771752/stat : 771752 (Timer-0) S 771729 771732 769713 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151798612 19566772224 707217 134679101440 94569940492288 94569940495984 140736656437824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94569940503800 94569940504592 94569956528128 140736656442352 140736656442465 140736656442465 140736656449480 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2828868 KiB

Child status: 143

Real time (s): 3540.79
CPU time (s): 3600.25
CPU user time (s): 3597.79
CPU system time (s): 2.46129
CPU usage (%): 101.679
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 3370088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.79
system time used= 2.46129
maximum resident set size= 3370104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 538215
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123052
involuntary context switches= 14877


# summary of solver processes directly reported to runsolver:
#   pid: 771732
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3597.79
#   total CPU system time (s): 2.46129

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.62589 second user time and 17.1518 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-15 00:32:30
IDJOB=4427489
IDBENCH=148147
IDSOLVER=3046
FILE ID=nodeC024/4427489-1720996336
RUNJOBID= nodeC024-1720994549-769724
SLURM_JOB_ID= 7505318
Free space on /tmp= 890060 MiB

SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir06_trarea_ac.opb
COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427489-1720996336/watcher-4427489-1720996336 -o /tmp/evaluation-result-4427489-1720996336/solver-4427489-1720996336 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1720994549-769724 --watchdog 3760  java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427489-1720996336.opb

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

MD5SUM BENCH= 80638e9ab302f8cbcb0fef344ba23b43
RANDOM SEED=1820505086

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        105970144 kB
MemAvailable:   108179828 kB
Buffers:          335172 kB
Cached:          2689840 kB
SwapCached:            0 kB
Active:           529772 kB
Inactive:       24350308 kB
Active(anon):       1540 kB
Inactive(anon): 21891252 kB
Active(file):     528232 kB
Inactive(file):  2459056 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1248 kB
Writeback:             0 kB
AnonPages:      21854992 kB
Mapped:           123040 kB
Shmem:             37720 kB
KReclaimable:     124084 kB
Slab:             231000 kB
SReclaimable:     124084 kB
SUnreclaim:       106916 kB
KernelStack:        5072 kB
PageTables:        52712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   22992304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            57248 kB
HardwareCorrupted:     0 kB
AnonHugePages:  21448704 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:    13201408 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC024 at 2024-07-15 01:31:31