Trace number 4427333

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)-38 3600.59 3285.82

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
MD5SUM950817fdcb39f28dd0871c21ea836071
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-45
Best CPU time to get the best result obtained on this benchmark1120.33
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables945
Total number of constraints59186
Number of constraints which are clauses59186
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 constraint2
Maximum length of a constraint2
Number of terms in the objective function 945
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 945
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 945
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.10/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.18	c See www.sat4j.org for details.
0.10/0.19	c version CUSTOM.v20240707
0.29/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.29/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.29/0.23	c java.vm.version	22.0.1+8-16
0.29/0.23	c java.vm.vendor	Oracle Corporation
0.29/0.23	c sun.arch.data.model	64
0.29/0.23	c java.version		22.0.1
0.29/0.23	c os.name		Linux
0.29/0.23	c os.version		4.18.0-301.1.el8.x86_64
0.29/0.23	c os.arch		amd64
0.29/0.24	c Free memory 		2115194816
0.29/0.24	c Max memory 		16282288128
0.29/0.24	c Total memory 		2122317824
0.29/0.25	c Number of processors 	2
0.54/0.48	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.54/0.48	 - never skip resolution steps
0.54/0.48	 - Auto-division on coefficients is disabled
0.54/0.48	 - No postprocessing
0.54/0.48	 - Conflict is considered as is when resolving
0.54/0.48	 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.54/0.48	 - Weaken first using unassigned literals
0.54/0.48	 - Bump strategy: ALWAYS_ONE
0.54/0.48	 - Bumper: ASSIGNED
0.54/0.48	--- Begin Solver configuration ---
0.54/0.48	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.54/0.48	Learn all clauses as in MiniSAT
0.54/0.48	LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.54/0.48	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.54/0.48	No reason simplification
0.54/0.48	Armin Biere (Picosat) restarts strategy
0.54/0.48	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.54/0.48	timeout=2147483s
0.54/0.48	DB Simplification allowed=false
0.54/0.48	Listener: none
0.54/0.48	--- End Solver configuration ---
0.54/0.48	c Pseudo Boolean Optimization by upper bound
0.54/0.48	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.54/0.48	c  - never skip resolution steps
0.54/0.48	c  - Auto-division on coefficients is disabled
0.54/0.48	c  - No postprocessing
0.54/0.48	c  - Conflict is considered as is when resolving
0.54/0.48	c  - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.54/0.48	c  - Weaken first using unassigned literals
0.54/0.48	c  - Bump strategy: ALWAYS_ONE
0.54/0.48	c  - Bumper: ASSIGNED
0.54/0.48	c --- Begin Solver configuration ---
0.54/0.48	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.54/0.48	c Learn all clauses as in MiniSAT
0.54/0.48	c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.54/0.48	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.54/0.48	c No reason simplification
0.54/0.48	c Armin Biere (Picosat) restarts strategy
0.54/0.48	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.54/0.48	c timeout=2147483s
0.54/0.48	c DB Simplification allowed=false
0.54/0.48	c Listener: none
0.54/0.48	c --- End Solver configuration ---
0.54/0.48	c solving HOME/instance-4427333-1720994535.opb
0.54/0.48	c reading problem ... 
0.54/0.48	c  objective function found
2.04/1.27	c ... done. Wall clock time 0.778s.
2.04/1.27	c declared #vars     945
2.04/1.27	c #constraints  59186
2.04/1.27	c constraints type 
2.04/1.27	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 59186
2.04/1.27	c 59186 constraints processed.
2.04/1.28	c objective function length is 945 literals
2.04/1.30	c SATISFIABLE
2.04/1.30	c OPTIMIZING...
2.04/1.30	c Got one! Elapsed wall clock time (in seconds):0.818
2.04/1.30	o -33
5.20/2.87	c Got one! Elapsed wall clock time (in seconds):2.398
5.20/2.87	o -34
23.49/18.39	c Got one! Elapsed wall clock time (in seconds):17.914
23.49/18.39	o -35
43.24/37.53	c cleaning 3205 clauses out of 6413 with flag 0/6413
78.84/72.10	c cleaning 4601 clauses out of 9206 with flag 0/12411
90.70/83.46	c Got one! Elapsed wall clock time (in seconds):82.98
90.70/83.46	o -36
116.41/108.40	c cleaning 5200 clauses out of 10518 with flag 0/18324
146.98/137.96	c cleaning 4103 clauses out of 11317 with flag 0/24323
182.56/172.56	c cleaning 4716 clauses out of 14214 with flag 0/31323
186.20/176.07	c Got one! Elapsed wall clock time (in seconds):175.583
186.20/176.07	o -37
211.40/200.53	c cleaning 3744 clauses out of 14996 with flag 0/36821
232.12/220.75	c Got one! Elapsed wall clock time (in seconds):220.277
232.12/220.75	o -38
238.96/227.41	c cleaning 4064 clauses out of 17031 with flag 0/42600
275.88/263.59	c cleaning 4192 clauses out of 18967 with flag 0/48600
324.57/309.70	c cleaning 4984 clauses out of 21774 with flag 0/55599
377.61/361.95	c cleaning 5264 clauses out of 24792 with flag 0/63601
433.45/416.63	c cleaning 5726 clauses out of 28526 with flag 0/72599
506.11/488.10	c cleaning 6672 clauses out of 32802 with flag 0/82601
589.15/568.19	c cleaning 7196 clauses out of 37128 with flag 0/93599
696.05/672.91	c cleaning 8453 clauses out of 41934 with flag 0/105601
812.41/785.45	c cleaning 8954 clauses out of 46481 with flag 0/118601
943.42/912.30	c cleaning 9094 clauses out of 51526 with flag 0/132600
1094.05/1054.34	c cleaning 9972 clauses out of 57434 with flag 0/147602
1261.12/1211.66	c cleaning 10489 clauses out of 63459 with flag 0/163599
1452.48/1384.20	c cleaning 11253 clauses out of 69972 with flag 0/180601
1653.30/1567.57	c cleaning 11896 clauses out of 76720 with flag 0/198602
1887.35/1774.52	c cleaning 12237 clauses out of 83821 with flag 0/217599
2127.05/1985.71	c cleaning 12270 clauses out of 91584 with flag 0/237599
2402.53/2234.64	c cleaning 13116 clauses out of 100314 with flag 0/258599
2730.82/2525.53	c cleaning 14074 clauses out of 109198 with flag 0/280599
3032.07/2791.33	c cleaning 14498 clauses out of 118127 with flag 0/303602
3362.86/3082.57	c cleaning 15181 clauses out of 127626 with flag 0/327599
3600.01/3285.52	c starts		: 141
3600.01/3285.57	c conflicts		: 343729
3600.01/3285.57	c decisions		: 357830
3600.01/3285.57	c propagations		: 2772961
3600.01/3285.57	c inspects		: 2536016534
3600.01/3285.57	c shortcuts		: 0
3600.01/3285.57	c learnt literals	: 0
3600.01/3285.57	c learnt binary clauses	: 0
3600.01/3285.57	c learnt ternary clauses	: 0
3600.01/3285.57	c learnt constraints	: 343728
3600.01/3285.57	c ignored constraints	: 0
3600.01/3285.57	c root simplifications	: 0
3600.01/3285.57	c removed literals (reason simplification)	: 0
3600.01/3285.57	c reason swapping (by a shorter reason)	: 0
3600.01/3285.57	c Calls to reduceDB	: 26
3600.01/3285.57	c Number of update (reduction) of LBD	: 0
3600.01/3285.57	c Imported unit clauses	: 0
3600.01/3285.57	c No decision after first conflict	: false
3600.01/3285.57	c number of reductions to clauses (during analyze)	: 0
3600.01/3285.57	c number of learned constraints concerned by reduction	: 0
3600.01/3285.57	c number of learning phase by resolution	: 0
3600.01/3285.57	c number of learning phase by cutting planes	: 0
3600.01/3285.57	c number of rounding to 1 operations	: 1134744
3600.01/3285.57	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3285.57	c number of reductions of the coefficients by power 2 	: 0
3600.01/3285.57	c number of right shift for reduction by power 2 	: 0
3600.01/3285.57	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3285.57	c number of ending skipping 	: 0
3600.01/3285.57	c number of internal skipping 	: 0
3600.01/3285.57	c number of derivation steps 	: 2560473
3600.01/3285.57	c number of skipped derivation steps 	: 0
3600.01/3285.57	c number of remaining unassigned 	: 145329
3600.01/3285.59	c number of remaining assigned 	: 510761376
3600.01/3285.59	c number of falsified literals weakened from reason	: 0
3600.01/3285.59	c number of falsified literals weakened from conflict	: 0
3600.01/3285.59	c time for arithmetic operations	: 17311469433
3600.01/3285.59	c minimum degree of deleted constraints	: 4
3600.01/3285.59	c maximum degree of deleted constraints	: 13242710520
3600.01/3285.59	c number of deleted constraints	: 215154
3600.01/3285.59	c speed (assignments/second)	: 844.3065292941644
3600.01/3285.59	c non guided choices	: 0
3600.42/3285.75	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 112140
3600.42/3285.75	c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB	: 2728
3600.42/3285.75	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 13706
3600.42/3285.75	s SATISFIABLE
3600.42/3285.75	c Found 6 solution(s)
3600.42/3285.76	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 
3600.42/3285.77	c objective function=-38
3600.42/3285.77	c Total wall clock time (in seconds): 3285.294

Verifier Data 

OK	-38

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: 64059 MiB (63308 MiB free)
  memory of node 1: 64510 MiB (62789 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427333-1720994535/watcher-4427333-1720994535 -o /tmp/evaluation-result-4427333-1720994535/solver-4427333-1720994535 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1720994548-765398 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427333-1720994535.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=765494, runsolver pid=765490

[startup+0.101726 s]*
/proc/loadavg: 0.07 0.08 0.09 11/312 765530
/proc/meminfo: memFree=129072536/131655788 swapFree=131071996/131071996
[pid=765494] ppid=765490 vsize=18975048 memory=54348 CPUtime=0.1 cores=0,2
/proc/765494/stat : 765494 (java) S 765490 765494 765388 0 -1 1077936128 6357 0 0 0 7 3 0 0 20 0 18 0 151609700 19430449152 13587 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
/proc/765494/statm: 4743762 13587 5397 1 0 550739 0
[pid=765494/tid=765502] ppid=765490 vsize=18975048 memory=4026561586 CPUtime=0.07 cores=0,2
/proc/765494/task/765502/stat : 765502 (java) R 765490 765494 765388 0 -1 4194368 5280 0 0 0 4 3 0 0 20 0 18 0 151609701 19430449152 13587 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765523] ppid=765490 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/765494/task/765523/stat : 765523 (Finalizer) S 765490 765494 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151609708 19430449152 13587 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765530] ppid=765490 vsize=18975048 memory=15255952358280619 CPUtime=0 cores=0,2
/proc/765494/task/765530/stat : 765530 (Common-Cleaner) S 765490 765494 765388 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 151609709 19430449152 13587 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 54348 KiB

[startup+0.219896 s]*
/proc/loadavg: 0.07 0.08 0.09 12/312 765530
/proc/meminfo: memFree=129049468/131655788 swapFree=131071996/131071996
[pid=765494] ppid=765490 vsize=18975048 memory=58644 CPUtime=0.29 cores=0,2
/proc/765494/stat : 765494 (java) S 765490 765494 765388 0 -1 1077936128 7070 0 0 0 25 4 0 0 20 0 18 0 151609700 19430449152 14661 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
/proc/765494/statm: 4743762 14661 5701 1 0 551319 0
[pid=765494/tid=765502] ppid=765490 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/765494/task/765502/stat : 765502 (java) R 765490 765494 765388 0 -1 4194368 5651 0 0 0 15 3 0 0 20 0 18 0 151609701 19430449152 14661 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765523] ppid=765490 vsize=18975048 memory=3711 CPUtime=0 cores=0,2
/proc/765494/task/765523/stat : 765523 (Finalizer) S 765490 765494 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151609708 19430449152 14661 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765530] ppid=765490 vsize=18975048 memory=13572595761026746 CPUtime=0 cores=0,2
/proc/765494/task/765530/stat : 765530 (Common-Cleaner) S 765490 765494 765388 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 151609709 19430449152 14661 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58644 KiB

[startup+0.314699 s]*
/proc/loadavg: 0.07 0.08 0.09 9/312 765530
/proc/meminfo: memFree=129039660/131655788 swapFree=131071996/131071996
[pid=765494] ppid=765490 vsize=18975048 memory=63300 CPUtime=0.39 cores=0,2
/proc/765494/stat : 765494 (java) S 765490 765494 765388 0 -1 1077936128 7251 0 0 0 34 5 0 0 20 0 18 0 151609700 19430449152 15825 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
/proc/765494/statm: 4743762 15825 5698 1 0 551447 0
[pid=765494/tid=765502] ppid=765490 vsize=18975048 memory=-9175070935178715836 CPUtime=0.23 cores=0,2
/proc/765494/task/765502/stat : 765502 (java) D 765490 765494 765388 0 -1 1078198336 5773 0 0 0 20 3 0 0 20 0 18 0 151609701 19430449152 15825 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765523] ppid=765490 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/765494/task/765523/stat : 765523 (Finalizer) S 765490 765494 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151609708 19430449152 15825 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765530] ppid=765490 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/765494/task/765530/stat : 765530 (Common-Cleaner) S 765490 765494 765388 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 151609709 19430449152 15825 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63300 KiB

[startup+0.70104 s]
/proc/loadavg: 0.07 0.08 0.09 12/312 765530
/proc/meminfo: memFree=129011172/131655788 swapFree=131071996/131071996
[pid=765494] ppid=765490 vsize=18975048 memory=102488 CPUtime=1.05 cores=0,2
/proc/765494/stat : 765494 (java) S 765490 765494 765388 0 -1 1077936128 7811 0 0 0 98 7 0 0 20 0 18 0 151609700 19430449152 25622 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
/proc/765494/statm: 4743762 25622 5747 1 0 551754 0
[pid=765494/tid=765502] ppid=765490 vsize=18975048 memory=5616 CPUtime=0.52 cores=0,2
/proc/765494/task/765502/stat : 765502 (java) R 765490 765494 765388 0 -1 4194368 6054 0 0 0 47 5 0 0 20 0 18 0 151609701 19430449152 25622 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765523] ppid=765490 vsize=18975048 memory=11884 CPUtime=0 cores=0,2
/proc/765494/task/765523/stat : 765523 (Finalizer) S 765490 765494 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151609708 19430449152 25622 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765530] ppid=765490 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/765494/task/765530/stat : 765530 (Common-Cleaner) S 765490 765494 765388 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 151609709 19430449152 25622 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 102488 KiB

[startup+1.5048 s]
/proc/loadavg: 0.07 0.08 0.09 9/316 765534
/proc/meminfo: memFree=128673296/131655788 swapFree=131071996/131071996
[pid=765494] ppid=765490 vsize=19108176 memory=377484 CPUtime=2.61 cores=0,2
/proc/765494/stat : 765494 (java) S 765490 765494 765388 0 -1 1077936128 24111 0 0 0 241 20 0 0 20 0 20 0 151609700 19566772224 94371 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
/proc/765494/statm: 4777044 94371 5871 1 0 558493 0
[pid=765494/tid=765502] ppid=765490 vsize=19108176 memory=11884 CPUtime=1.29 cores=0,2
/proc/765494/task/765502/stat : 765502 (java) R 765490 765494 765388 0 -1 4194368 8603 0 0 0 115 14 0 0 20 0 20 0 151609701 19566772224 94371 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765523] ppid=765490 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/765494/task/765523/stat : 765523 (Finalizer) S 765490 765494 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151609708 19566772224 94371 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765530] ppid=765490 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/765494/task/765530/stat : 765530 (Common-Cleaner) S 765490 765494 765388 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 151609709 19566772224 94371 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 377484 KiB

[startup+3.10604 s]
/proc/loadavg: 0.71 0.21 0.13 8/319 765537
/proc/meminfo: memFree=127284068/131655788 swapFree=131071996/131071996
[pid=765494] ppid=765490 vsize=19108176 memory=738248 CPUtime=5.78 cores=0,2
/proc/765494/stat : 765494 (java) S 765490 765494 765388 0 -1 1077936128 29330 0 0 0 549 29 0 0 20 0 20 0 151609700 19566772224 184562 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
/proc/765494/statm: 4777044 184562 5871 1 0 917050 0
[pid=765494/tid=765502] ppid=765490 vsize=19108176 memory=198340509722 CPUtime=2.77 cores=0,2
/proc/765494/task/765502/stat : 765502 (java) R 765490 765494 765388 0 -1 4194368 9215 0 0 0 255 22 0 0 20 0 20 0 151609701 19566772224 184562 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765523] ppid=765490 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/765494/task/765523/stat : 765523 (Finalizer) S 765490 765494 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151609708 19566772224 184562 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765530] ppid=765490 vsize=19108176 memory=11884 CPUtime=0 cores=0,2
/proc/765494/task/765530/stat : 765530 (Common-Cleaner) S 765490 765494 765388 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 151609709 19566772224 184562 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765535] ppid=765490 vsize=19108176 memory=455656 CPUtime=0 cores=0,2
/proc/765494/task/765535/stat : 765535 (Timer-0) S 765490 765494 765388 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 151609829 19566772224 184562 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
Current children cumulated CPU time: 5.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 738248 KiB

[startup+6.30043 s]
/proc/loadavg: 0.71 0.21 0.13 6/320 765538
/proc/meminfo: memFree=126173348/131655788 swapFree=131071996/131071996
[pid=765494] ppid=765490 vsize=19108176 memory=1785392 CPUtime=10.53 cores=0,2
/proc/765494/stat : 765494 (java) S 765490 765494 765388 0 -1 1077936128 30647 0 1 0 1001 52 0 0 20 0 20 0 151609700 19566772224 446348 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
/proc/765494/statm: 4777044 446348 5871 1 0 1201150 0
[pid=765494/tid=765502] ppid=765490 vsize=19108176 memory=0 CPUtime=5.77 cores=0,2
/proc/765494/task/765502/stat : 765502 (java) R 765490 765494 765388 0 -1 4194368 9646 0 0 0 536 41 0 0 20 0 20 0 151609701 19566772224 446348 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765523] ppid=765490 vsize=19108176 memory=11884 CPUtime=0 cores=0,2
/proc/765494/task/765523/stat : 765523 (Finalizer) S 765490 765494 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151609708 19566772224 446348 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765530] ppid=765490 vsize=19108176 memory=623088 CPUtime=0 cores=0,2
/proc/765494/task/765530/stat : 765530 (Common-Cleaner) S 765490 765494 765388 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 151609709 19566772224 446348 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765535] ppid=765490 vsize=19108176 memory=1572060 CPUtime=0 cores=0,2
/proc/765494/task/765535/stat : 765535 (Timer-0) S 765490 765494 765388 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 151609829 19566772224 446348 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
Current children cumulated CPU time: 10.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1785392 KiB

[startup+12.7004 s]
/proc/loadavg: 1.36 0.37 0.18 5/320 765540
/proc/meminfo: memFree=124873032/131655788 swapFree=131071996/131071996
[pid=765494] ppid=765490 vsize=19108176 memory=2336560 CPUtime=17.54 cores=0,2
/proc/765494/stat : 765494 (java) S 765490 765494 765388 0 -1 1077936128 31031 0 1 0 1690 64 0 0 20 0 20 0 151609700 19566772224 584140 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
/proc/765494/statm: 4777044 584140 5871 1 0 1201154 0
[pid=765494/tid=765502] ppid=765490 vsize=19108176 memory=2322224 CPUtime=11.86 cores=0,2
/proc/765494/task/765502/stat : 765502 (java) R 765490 765494 765388 0 -1 4194368 9844 0 0 0 1139 47 0 0 20 0 20 0 151609701 19566772224 584140 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765523] ppid=765490 vsize=19108176 memory=11596 CPUtime=0 cores=0,2
/proc/765494/task/765523/stat : 765523 (Finalizer) S 765490 765494 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151609708 19566772224 584140 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765530] ppid=765490 vsize=19108176 memory=6083907238419325779 CPUtime=0 cores=0,2
/proc/765494/task/765530/stat : 765530 (Common-Cleaner) S 765490 765494 765388 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 151609709 19566772224 584140 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765535] ppid=765490 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/765494/task/765535/stat : 765535 (Timer-0) S 765490 765494 765388 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 151609829 19566772224 584140 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
Current children cumulated CPU time: 17.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2336560 KiB

[startup+25.5005 s]
/proc/loadavg: 1.84 0.51 0.23 6/320 765541
/proc/meminfo: memFree=123423680/131655788 swapFree=131071996/131071996
[pid=765494] ppid=765490 vsize=19108176 memory=3123268 CPUtime=30.9 cores=0,2
/proc/765494/stat : 765494 (java) S 765490 765494 765388 0 -1 1077936128 34278 0 1 0 3009 81 0 0 20 0 20 0 151609700 19566772224 780817 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
/proc/765494/statm: 4777044 780817 5887 1 0 1201160 0
[pid=765494/tid=765502] ppid=765490 vsize=19108176 memory=6083907238419325779 CPUtime=24.3 cores=0,2
/proc/765494/task/765502/stat : 765502 (java) R 765490 765494 765388 0 -1 4194368 11698 0 0 0 2370 60 0 0 20 0 20 0 151609701 19566772224 780817 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765523] ppid=765490 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/765494/task/765523/stat : 765523 (Finalizer) S 765490 765494 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151609708 19566772224 780817 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765530] ppid=765490 vsize=19108176 memory=1808 CPUtime=0 cores=0,2
/proc/765494/task/765530/stat : 765530 (Common-Cleaner) S 765490 765494 765388 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 151609709 19566772224 780817 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765535] ppid=765490 vsize=19108176 memory=-9175070935178715836 CPUtime=0 cores=0,2
/proc/765494/task/765535/stat : 765535 (Timer-0) S 765490 765494 765388 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 151609829 19566772224 780817 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
Current children cumulated CPU time: 30.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3123268 KiB

[startup+51.1132 s]
/proc/loadavg: 2.58 0.79 0.33 6/319 765546
/proc/meminfo: memFree=122532136/131655788 swapFree=131071996/131071996
[pid=765494] ppid=765490 vsize=19108176 memory=3498932 CPUtime=57.48 cores=0,2
/proc/765494/stat : 765494 (java) S 765490 765494 765388 0 -1 1077936128 42725 0 1 0 5656 92 0 0 20 0 20 0 151609700 19566772224 874733 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
/proc/765494/statm: 4777044 874733 5887 1 0 1201240 0
[pid=765494/tid=765502] ppid=765490 vsize=19108176 memory=3396392 CPUtime=48.97 cores=0,2
/proc/765494/task/765502/stat : 765502 (java) R 765490 765494 765388 0 -1 4194368 15241 0 0 0 4836 61 0 0 20 0 20 0 151609701 19566772224 874733 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765523] ppid=765490 vsize=19108176 memory=11596 CPUtime=0 cores=0,2
/proc/765494/task/765523/stat : 765523 (Finalizer) S 765490 765494 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151609708 19566772224 874733 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765530] ppid=765490 vsize=19108176 memory=11596 CPUtime=0 cores=0,2
/proc/765494/task/765530/stat : 765530 (Common-Cleaner) S 765490 765494 765388 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 151609709 19566772224 874733 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765535] ppid=765490 vsize=19108176 memory=11596 CPUtime=0 cores=0,2
/proc/765494/task/765535/stat : 765535 (Timer-0) S 765490 765494 765388 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 151609829 19566772224 874733 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0

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

/proc/765494/task/765502/stat : 765502 (java) R 765490 765494 765388 0 -1 4194368 163050 0 0 0 289995 112 0 0 20 0 20 0 151609701 19566772224 1512098 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765523] ppid=765490 vsize=19108176 memory=6048380 CPUtime=0 cores=0,2
/proc/765494/task/765523/stat : 765523 (Finalizer) S 765490 765494 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151609708 19566772224 1512098 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765530] ppid=765490 vsize=19108176 memory=6048380 CPUtime=0.01 cores=0,2
/proc/765494/task/765530/stat : 765530 (Common-Cleaner) S 765490 765494 765388 0 -1 1077936192 1433 0 0 0 1 0 0 0 20 0 20 0 151609709 19566772224 1512098 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765535] ppid=765490 vsize=19108176 memory=6048392 CPUtime=0 cores=0,2
/proc/765494/task/765535/stat : 765535 (Timer-0) S 765490 765494 765388 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 151609829 19566772224 1512098 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
Current children cumulated CPU time: 3249.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6048392 KiB

[startup+3042.3 s]
/proc/loadavg: 4.28 4.27 4.12 5/321 767230
/proc/meminfo: memFree=119019356/131655788 swapFree=131071996/131071996
[pid=765494] ppid=765490 vsize=19108176 memory=6050508 CPUtime=3316.46 cores=0,2
/proc/765494/stat : 765494 (java) S 765490 765494 765388 0 -1 1077936128 480639 0 1 0 331188 458 0 0 20 0 20 0 151609700 19566772224 1512627 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
/proc/765494/statm: 4777044 1512627 5937 1 0 1524490 0
[pid=765494/tid=765502] ppid=765490 vsize=19108176 memory=11596 CPUtime=2959.33 cores=0,2
/proc/765494/task/765502/stat : 765502 (java) R 765490 765494 765388 0 -1 4194368 170366 0 0 0 295820 113 0 0 20 0 20 0 151609701 19566772224 1512627 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765523] ppid=765490 vsize=19108176 memory=5616 CPUtime=0 cores=0,2
/proc/765494/task/765523/stat : 765523 (Finalizer) S 765490 765494 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151609708 19566772224 1512627 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765530] ppid=765490 vsize=19108176 memory=6050468 CPUtime=0.01 cores=0,2
/proc/765494/task/765530/stat : 765530 (Common-Cleaner) S 765490 765494 765388 0 -1 1077936192 1487 0 0 0 1 0 0 0 20 0 20 0 151609709 19566772224 1512627 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765535] ppid=765490 vsize=19108176 memory=6050468 CPUtime=0 cores=0,2
/proc/765494/task/765535/stat : 765535 (Timer-0) S 765490 765494 765388 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 151609829 19566772224 1512627 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
Current children cumulated CPU time: 3316.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6050508 KiB

[startup+3102.3 s]
/proc/loadavg: 4.27 4.28 4.13 5/321 767240
/proc/meminfo: memFree=119021840/131655788 swapFree=131071996/131071996
[pid=765494] ppid=765490 vsize=19108176 memory=6047660 CPUtime=3387.82 cores=0,2
/proc/765494/stat : 765494 (java) S 765490 765494 765388 0 -1 1077936128 487366 0 1 0 338318 464 0 0 20 0 20 0 151609700 19566772224 1511915 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
/proc/765494/statm: 4777044 1511915 5937 1 0 1524684 0
[pid=765494/tid=765502] ppid=765490 vsize=19108176 memory=5636 CPUtime=3017.25 cores=0,2
/proc/765494/task/765502/stat : 765502 (java) R 765490 765494 765388 0 -1 4194368 171689 0 0 0 301612 113 0 0 20 0 20 0 151609701 19566772224 1511915 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765523] ppid=765490 vsize=19108176 memory=6047660 CPUtime=0 cores=0,2
/proc/765494/task/765523/stat : 765523 (Finalizer) S 765490 765494 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151609708 19566772224 1511915 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765530] ppid=765490 vsize=19108176 memory=6047660 CPUtime=0.01 cores=0,2
/proc/765494/task/765530/stat : 765530 (Common-Cleaner) S 765490 765494 765388 0 -1 1077936192 1487 0 0 0 1 0 0 0 20 0 20 0 151609709 19566772224 1511915 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765535] ppid=765490 vsize=19108176 memory=6047660 CPUtime=0 cores=0,2
/proc/765494/task/765535/stat : 765535 (Timer-0) S 765490 765494 765388 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 151609829 19566772224 1511915 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
Current children cumulated CPU time: 3387.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6047660 KiB

[startup+3162.3 s]
/proc/loadavg: 4.31 4.30 4.14 5/320 767251
/proc/meminfo: memFree=119019348/131655788 swapFree=131071996/131071996
[pid=765494] ppid=765490 vsize=19108176 memory=6047660 CPUtime=3458.93 cores=0,2
/proc/765494/stat : 765494 (java) S 765490 765494 765388 0 -1 1077936128 488646 0 1 0 345419 474 0 0 20 0 20 0 151609700 19566772224 1511915 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
/proc/765494/statm: 4777044 1511915 5937 1 0 1524684 0
[pid=765494/tid=765502] ppid=765490 vsize=19108176 memory=6047660 CPUtime=3075.82 cores=0,2
/proc/765494/task/765502/stat : 765502 (java) R 765490 765494 765388 0 -1 4194368 172857 0 0 0 307469 113 0 0 20 0 20 0 151609701 19566772224 1511915 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765523] ppid=765490 vsize=19108176 memory=6047660 CPUtime=0 cores=0,2
/proc/765494/task/765523/stat : 765523 (Finalizer) S 765490 765494 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151609708 19566772224 1511915 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765530] ppid=765490 vsize=19108176 memory=6047660 CPUtime=0.01 cores=0,2
/proc/765494/task/765530/stat : 765530 (Common-Cleaner) S 765490 765494 765388 0 -1 1077936192 1487 0 0 0 1 0 0 0 20 0 20 0 151609709 19566772224 1511915 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765535] ppid=765490 vsize=19108176 memory=6047660 CPUtime=0 cores=0,2
/proc/765494/task/765535/stat : 765535 (Timer-0) S 765490 765494 765388 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 151609829 19566772224 1511915 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
Current children cumulated CPU time: 3458.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6047660 KiB

[startup+3222.3 s]
/proc/loadavg: 4.24 4.29 4.15 5/319 767646
/proc/meminfo: memFree=119017092/131655788 swapFree=131071996/131071996
[pid=765494] ppid=765490 vsize=19108176 memory=6047784 CPUtime=3524.88 cores=0,2
/proc/765494/stat : 765494 (java) S 765490 765494 765388 0 -1 1077936128 506677 0 1 0 352007 481 0 0 20 0 20 0 151609700 19566772224 1511946 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
/proc/765494/statm: 4777044 1511946 5937 1 0 1524684 0
[pid=765494/tid=765502] ppid=765490 vsize=19108176 memory=6047660 CPUtime=3134.42 cores=0,2
/proc/765494/task/765502/stat : 765502 (java) R 765490 765494 765388 0 -1 4194368 182001 0 0 0 313328 114 0 0 20 0 20 0 151609701 19566772224 1511946 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765523] ppid=765490 vsize=19108176 memory=39916 CPUtime=0 cores=0,2
/proc/765494/task/765523/stat : 765523 (Finalizer) S 765490 765494 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151609708 19566772224 1511946 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765530] ppid=765490 vsize=19108176 memory=11596 CPUtime=0.01 cores=0,2
/proc/765494/task/765530/stat : 765530 (Common-Cleaner) S 765490 765494 765388 0 -1 1077936192 1540 0 0 0 1 0 0 0 20 0 20 0 151609709 19566772224 1511946 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765535] ppid=765490 vsize=19108176 memory=6047784 CPUtime=0 cores=0,2
/proc/765494/task/765535/stat : 765535 (Timer-0) S 765490 765494 765388 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 151609829 19566772224 1511946 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
Current children cumulated CPU time: 3524.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6047784 KiB

[startup+3282.3 s]
/proc/loadavg: 4.32 4.31 4.17 5/319 767656
/proc/meminfo: memFree=119014488/131655788 swapFree=131071996/131071996
[pid=765494] ppid=765490 vsize=19108176 memory=6047784 CPUtime=3596.82 cores=0,2
/proc/765494/stat : 765494 (java) S 765490 765494 765388 0 -1 1077936128 507844 0 1 0 359193 489 0 0 20 0 20 0 151609700 19566772224 1511946 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
/proc/765494/statm: 4777044 1511946 5937 1 0 1524684 0
[pid=765494/tid=765502] ppid=765490 vsize=19108176 memory=6047784 CPUtime=3193.15 cores=0,2
/proc/765494/task/765502/stat : 765502 (java) R 765490 765494 765388 0 -1 4194368 182745 0 0 0 319201 114 0 0 20 0 20 0 151609701 19566772224 1511946 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765523] ppid=765490 vsize=19108176 memory=11596 CPUtime=0 cores=0,2
/proc/765494/task/765523/stat : 765523 (Finalizer) S 765490 765494 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151609708 19566772224 1511946 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765530] ppid=765490 vsize=19108176 memory=6047784 CPUtime=0.01 cores=0,2
/proc/765494/task/765530/stat : 765530 (Common-Cleaner) S 765490 765494 765388 0 -1 1077936192 1541 0 0 0 1 0 0 0 20 0 20 0 151609709 19566772224 1511946 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765535] ppid=765490 vsize=19108176 memory=6972 CPUtime=0 cores=0,2
/proc/765494/task/765535/stat : 765535 (Timer-0) S 765490 765494 765388 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 151609829 19566772224 1511946 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
Current children cumulated CPU time: 3596.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6047784 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3285.5 s]
/proc/loadavg: 4.32 4.31 4.17 5/319 767656
/proc/meminfo: memFree=119014504/131655788 swapFree=131071996/131071996
[pid=765494] ppid=765490 vsize=19108176 memory=6047784 CPUtime=3600.01 cores=0,2
/proc/765494/stat : 765494 (java) S 765490 765494 765388 0 -1 1077936128 507844 0 1 0 359512 489 0 0 20 0 20 0 151609700 19566772224 1511946 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
/proc/765494/statm: 4777044 1511946 5937 1 0 1524684 0
[pid=765494/tid=765502] ppid=765490 vsize=19108176 memory=6047784 CPUtime=3196.34 cores=0,2
/proc/765494/task/765502/stat : 765502 (java) R 765490 765494 765388 0 -1 4194368 182745 0 0 0 319520 114 0 0 20 0 20 0 151609701 19566772224 1511946 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765523] ppid=765490 vsize=19108176 memory=6047784 CPUtime=0 cores=0,2
/proc/765494/task/765523/stat : 765523 (Finalizer) S 765490 765494 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151609708 19566772224 1511946 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765530] ppid=765490 vsize=19108176 memory=5636 CPUtime=0.01 cores=0,2
/proc/765494/task/765530/stat : 765530 (Common-Cleaner) S 765490 765494 765388 0 -1 1077936192 1541 0 0 0 1 0 0 0 20 0 20 0 151609709 19566772224 1511946 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765535] ppid=765490 vsize=19108176 memory=26108 CPUtime=0 cores=0,2
/proc/765494/task/765535/stat : 765535 (Timer-0) S 765490 765494 765388 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 151609829 19566772224 1511946 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6047784 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.66 s, system=4.93299 s

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

[startup+3285.61 s]
/proc/loadavg: 4.32 4.31 4.17 5/319 767656
/proc/meminfo: memFree=119014504/131655788 swapFree=131071996/131071996
[pid=765494] ppid=765490 vsize=19307868 memory=6048400 CPUtime=3600.22 cores=0,2
/proc/765494/stat : 765494 (java) S 765490 765494 765388 0 -1 1077936128 509867 0 1 0 359533 489 0 0 20 0 21 0 151609700 19771256832 1512100 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
/proc/765494/statm: 4826967 1512100 5936 1 0 1525619 0
[pid=765494/tid=765502] ppid=765490 vsize=19307868 memory=6047784 CPUtime=3196.45 cores=0,2
/proc/765494/task/765502/stat : 765502 (java) R 765490 765494 765388 0 -1 4194368 182840 0 0 0 319531 114 0 0 20 0 21 0 151609701 19771256832 1512100 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765523] ppid=765490 vsize=19307868 memory=6047784 CPUtime=0 cores=0,2
/proc/765494/task/765523/stat : 765523 (Finalizer) S 765490 765494 765388 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 151609708 19771256832 1512100 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
[pid=765494/tid=765530] ppid=765490 vsize=19307868 memory=38920 CPUtime=0.01 cores=0,2
/proc/765494/task/765530/stat : 765530 (Common-Cleaner) S 765490 765494 765388 0 -1 1077936192 1541 0 0 0 1 0 0 0 20 0 21 0 151609709 19771256832 1512100 134679101440 94575462866944 94575462870640 140732632275072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94575462878456 94575462879248 94575468724224 140732632282096 140732632282209 140732632282209 140732632289224 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 6048400 KiB

[startup+3285.8 s]*
/proc/loadavg: 4.32 4.31 4.17 5/301 767659
/proc/meminfo: memFree=124899500/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3285.82
CPU time (s): 3600.59
CPU user time (s): 3595.66
CPU system time (s): 4.93299
CPU usage (%): 109.58
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 6057520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.66
system time used= 4.93299
maximum resident set size= 6057520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510358
page faults= 1
swaps= 0
block input operations= 256
block output operations= 3456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121698
involuntary context switches= 41856


# summary of solver processes directly reported to runsolver:
#   pid: 765494
#   total CPU time (s): 3600.59
#   total CPU user time (s): 3595.66
#   total CPU system time (s): 4.93299

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8395 second user time and 28.0838 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-15 00:02:28
IDJOB=4427333
IDBENCH=146680
IDSOLVER=3046
FILE ID=nodeC003/4427333-1720994535
RUNJOBID= nodeC003-1720994548-765398
SLURM_JOB_ID= 7505304
Free space on /tmp= 723776 MiB

SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427333-1720994535/watcher-4427333-1720994535 -o /tmp/evaluation-result-4427333-1720994535/solver-4427333-1720994535 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1720994548-765398 --watchdog 3760  java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427333-1720994535.opb

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

MD5SUM BENCH= 950817fdcb39f28dd0871c21ea836071
RANDOM SEED=77768655

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129190668 kB
MemAvailable:   129917936 kB
Buffers:          349472 kB
Cached:          1214956 kB
SwapCached:            0 kB
Active:           515520 kB
Inactive:        1421684 kB
Active(anon):       1452 kB
Inactive(anon):   409020 kB
Active(file):     514068 kB
Inactive(file):  1012664 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5696 kB
Writeback:             4 kB
AnonPages:        372592 kB
Mapped:           113352 kB
Shmem:             37704 kB
KReclaimable:      81136 kB
Slab:             174736 kB
SReclaimable:      81136 kB
SUnreclaim:        93600 kB
KernelStack:        3920 kB
PageTables:        10160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2829636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            48736 kB
HardwareCorrupted:     0 kB
AnonHugePages:    227328 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:      207688 kB
DirectMap2M:     9134080 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC003 at 2024-07-15 00:57:14