Trace number 4427337

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)-34 3600.73 3321.3

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
MD5SUMdbca78014701662c42e2f44b8d3d4cf2
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-40
Best CPU time to get the best result obtained on this benchmark30.0879
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables760
Total number of constraints41263
Number of constraints which are clauses41263
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 760
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 760
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 760
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.13/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.18	c See www.sat4j.org for details.
0.22/0.30	c version CUSTOM.v20240707
0.27/0.32	c java.runtime.name	OpenJDK Runtime Environment
0.27/0.32	c java.vm.name		OpenJDK 64-Bit Server VM
0.27/0.32	c java.vm.version	22.0.1+8-16
0.27/0.32	c java.vm.vendor	Oracle Corporation
0.27/0.33	c sun.arch.data.model	64
0.27/0.33	c java.version		22.0.1
0.27/0.33	c os.name		Linux
0.27/0.33	c os.version		4.18.0-301.1.el8.x86_64
0.27/0.33	c os.arch		amd64
0.27/0.34	c Free memory 		2115194816
0.27/0.34	c Max memory 		16282288128
0.27/0.34	c Total memory 		2122317824
0.27/0.35	c Number of processors 	2
0.46/0.52	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.46/0.52	 - never skip resolution steps
0.46/0.52	 - Auto-division on coefficients is disabled
0.46/0.52	 - No postprocessing
0.46/0.52	 - Conflict is considered as is when resolving
0.46/0.52	 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.46/0.52	 - Weaken first using unassigned literals
0.46/0.52	 - Bump strategy: ALWAYS_ONE
0.46/0.52	 - Bumper: ASSIGNED
0.46/0.52	--- Begin Solver configuration ---
0.46/0.52	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.46/0.52	Learn all clauses as in MiniSAT
0.46/0.52	LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.46/0.52	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.46/0.52	No reason simplification
0.46/0.52	Armin Biere (Picosat) restarts strategy
0.46/0.52	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.46/0.52	timeout=2147483s
0.46/0.52	DB Simplification allowed=false
0.46/0.52	Listener: none
0.46/0.52	--- End Solver configuration ---
0.46/0.52	c Pseudo Boolean Optimization by upper bound
0.46/0.52	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.46/0.52	c  - never skip resolution steps
0.46/0.52	c  - Auto-division on coefficients is disabled
0.46/0.52	c  - No postprocessing
0.46/0.52	c  - Conflict is considered as is when resolving
0.46/0.52	c  - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.46/0.52	c  - Weaken first using unassigned literals
0.46/0.52	c  - Bump strategy: ALWAYS_ONE
0.46/0.52	c  - Bumper: ASSIGNED
0.46/0.52	c --- Begin Solver configuration ---
0.46/0.52	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.46/0.52	c Learn all clauses as in MiniSAT
0.46/0.52	c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.46/0.52	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.46/0.52	c No reason simplification
0.46/0.52	c Armin Biere (Picosat) restarts strategy
0.46/0.52	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.46/0.52	c timeout=2147483s
0.46/0.52	c DB Simplification allowed=false
0.46/0.52	c Listener: none
0.46/0.52	c --- End Solver configuration ---
0.46/0.52	c solving HOME/instance-4427337-1720994535.opb
0.46/0.52	c reading problem ... 
0.64/0.53	c  objective function found
3.33/1.94	c ... done. Wall clock time 1.415s.
3.33/1.94	c declared #vars     760
3.33/1.94	c #constraints  41263
3.33/1.94	c constraints type 
3.33/1.94	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 41263
3.33/1.94	c 41263 constraints processed.
3.33/1.95	c objective function length is 760 literals
3.33/1.96	c SATISFIABLE
3.33/1.97	c OPTIMIZING...
3.33/1.97	c Got one! Elapsed wall clock time (in seconds):1.453
3.33/1.97	o -28
4.32/2.40	c Got one! Elapsed wall clock time (in seconds):1.877
4.32/2.40	o -29
5.12/2.82	c Got one! Elapsed wall clock time (in seconds):2.303
5.12/2.82	o -30
6.48/3.51	c Got one! Elapsed wall clock time (in seconds):2.996
6.48/3.51	o -31
10.46/6.49	c Got one! Elapsed wall clock time (in seconds):5.969
10.46/6.49	o -32
12.36/8.29	c Got one! Elapsed wall clock time (in seconds):7.77
12.36/8.29	o -33
37.91/32.99	c cleaning 3223 clauses out of 6450 with flag 0/6450
67.56/61.57	c cleaning 4613 clauses out of 9228 with flag 0/12451
101.58/94.13	c cleaning 5582 clauses out of 11617 with flag 0/19453
143.53/133.92	c cleaning 5322 clauses out of 14032 with flag 0/27450
184.61/173.93	c Got one! Elapsed wall clock time (in seconds):173.409
184.61/173.93	o -34
242.16/230.88	c cleaning 8820 clauses out of 22097 with flag 0/40837
266.47/254.36	c cleaning 3963 clauses out of 19276 with flag 0/46836
304.50/291.57	c cleaning 4786 clauses out of 22313 with flag 0/53836
349.20/335.41	c cleaning 5221 clauses out of 25528 with flag 0/61837
401.40/387.08	c cleaning 6049 clauses out of 29306 with flag 0/70836
458.01/442.68	c cleaning 6679 clauses out of 33257 with flag 0/80836
532.16/514.20	c cleaning 6918 clauses out of 37578 with flag 0/91836
616.56/597.31	c cleaning 8079 clauses out of 42660 with flag 0/103836
701.18/680.79	c cleaning 8228 clauses out of 47583 with flag 0/116838
803.70/781.56	c cleaning 9232 clauses out of 53354 with flag 0/130837
916.60/890.08	c cleaning 9681 clauses out of 59123 with flag 0/145838
1043.90/1015.51	c cleaning 10331 clauses out of 65441 with flag 0/161837
1186.10/1155.97	c cleaning 10762 clauses out of 72114 with flag 0/178841
1353.50/1313.01	c cleaning 11566 clauses out of 79347 with flag 0/196836
1537.45/1482.54	c cleaning 12059 clauses out of 86783 with flag 0/215838
1741.90/1670.25	c cleaning 13193 clauses out of 94724 with flag 0/235838
1977.45/1890.68	c cleaning 13580 clauses out of 102530 with flag 0/256837
2264.63/2157.39	c cleaning 14172 clauses out of 110949 with flag 0/278836
2507.29/2379.32	c cleaning 14144 clauses out of 119779 with flag 0/301838
2798.02/2635.43	c cleaning 14237 clauses out of 129634 with flag 0/325837
3140.96/2927.99	c cleaning 15701 clauses out of 140397 with flag 0/350837
3452.35/3196.56	c cleaning 16143 clauses out of 150697 with flag 0/376838
3600.17/3321.06	c starts		: 147
3600.17/3321.10	c conflicts		: 391034
3600.17/3321.10	c decisions		: 405479
3600.17/3321.10	c propagations		: 3095721
3600.17/3321.10	c inspects		: 2928291819
3600.17/3321.10	c shortcuts		: 0
3600.17/3321.10	c learnt literals	: 0
3600.17/3321.10	c learnt binary clauses	: 0
3600.17/3321.10	c learnt ternary clauses	: 0
3600.17/3321.10	c learnt constraints	: 391034
3600.17/3321.10	c ignored constraints	: 0
3600.17/3321.10	c root simplifications	: 0
3600.17/3321.10	c removed literals (reason simplification)	: 0
3600.17/3321.10	c reason swapping (by a shorter reason)	: 0
3600.17/3321.10	c Calls to reduceDB	: 26
3600.17/3321.10	c Number of update (reduction) of LBD	: 0
3600.17/3321.10	c Imported unit clauses	: 0
3600.17/3321.10	c No decision after first conflict	: false
3600.17/3321.10	c number of reductions to clauses (during analyze)	: 0
3600.17/3321.10	c number of learned constraints concerned by reduction	: 0
3600.17/3321.10	c number of learning phase by resolution	: 0
3600.17/3321.10	c number of learning phase by cutting planes	: 0
3600.17/3321.10	c number of rounding to 1 operations	: 1348962
3600.17/3321.10	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.17/3321.10	c number of reductions of the coefficients by power 2 	: 0
3600.17/3321.10	c number of right shift for reduction by power 2 	: 0
3600.17/3321.10	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.17/3321.10	c number of ending skipping 	: 0
3600.17/3321.10	c number of internal skipping 	: 0
3600.17/3321.10	c number of derivation steps 	: 2995032
3600.17/3321.10	c number of skipped derivation steps 	: 0
3600.17/3321.10	c number of remaining unassigned 	: 159860
3600.17/3321.10	c number of remaining assigned 	: 485247389
3600.17/3321.10	c number of falsified literals weakened from reason	: 0
3600.17/3321.10	c number of falsified literals weakened from conflict	: 0
3600.17/3321.10	c time for arithmetic operations	: 17218216904
3600.38/3321.14	c minimum degree of deleted constraints	: 4
3600.38/3321.14	c maximum degree of deleted constraints	: 255747134
3600.38/3321.14	c number of deleted constraints	: 242284
3600.38/3321.14	c speed (assignments/second)	: 932.6778491643254
3600.38/3321.14	c non guided choices	: 0
3600.56/3321.24	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 133591
3600.56/3321.24	c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB	: 2838
3600.56/3321.24	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 12321
3600.56/3321.24	s SATISFIABLE
3600.56/3321.24	c Found 7 solution(s)
3600.56/3321.24	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 
3600.56/3321.26	c objective function=-34
3600.56/3321.26	c Total wall clock time (in seconds): 3320.742

Verifier Data 

OK	-34

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: 64096 MiB (62879 MiB free)
  memory of node 1: 64473 MiB (63646 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.101489 s]*
/proc/loadavg: 0.15 0.13 0.09 8/272 764004
/proc/meminfo: memFree=129490812/131655788 swapFree=131071996/131071996
[pid=763969] ppid=763963 vsize=18975048 memory=55348 CPUtime=0.13 cores=1,3
/proc/763969/stat : 763969 (java) S 763963 763969 763919 0 -1 1077936128 6355 0 0 0 9 4 0 0 20 0 18 0 151609423 19430449152 13837 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
/proc/763969/statm: 4743762 13837 5578 1 0 550724 0
[pid=763969/tid=763973] ppid=763963 vsize=18975048 memory=4026531959 CPUtime=0.08 cores=1,3
/proc/763969/task/763973/stat : 763973 (java) R 763963 763969 763919 0 -1 4194368 5291 0 0 0 5 3 0 0 20 0 18 0 151609424 19430449152 13837 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=763997] ppid=763963 vsize=18975048 memory=3697 CPUtime=0 cores=1,3
/proc/763969/task/763997/stat : 763997 (Finalizer) S 763963 763969 763919 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151609430 19430449152 13837 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764004] ppid=763963 vsize=18975048 memory=13851867369179884 CPUtime=0 cores=1,3
/proc/763969/task/764004/stat : 764004 (Common-Cleaner) S 763963 763969 763919 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151609431 19430449152 13837 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55348 KiB

[startup+0.214399 s]*
/proc/loadavg: 0.15 0.13 0.09 6/271 764017
/proc/meminfo: memFree=129491104/131655788 swapFree=131071996/131071996
[pid=763969] ppid=763963 vsize=18975048 memory=56532 CPUtime=0.22 cores=1,3
/proc/763969/stat : 763969 (java) S 763963 763969 763919 0 -1 1077936128 6646 0 0 0 18 4 0 0 20 0 18 0 151609423 19430449152 14133 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
/proc/763969/statm: 4743762 14133 5628 1 0 550926 0
[pid=763969/tid=763973] ppid=763963 vsize=18975048 memory=3472328300254199927 CPUtime=0.14 cores=1,3
/proc/763969/task/763973/stat : 763973 (java) D 763963 763969 763919 0 -1 1078198336 5540 0 0 0 11 3 0 0 20 0 18 0 151609424 19430449152 14133 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=763997] ppid=763963 vsize=18975048 memory=3697 CPUtime=0 cores=1,3
/proc/763969/task/763997/stat : 763997 (Finalizer) S 763963 763969 763919 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151609430 19430449152 14133 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764004] ppid=763963 vsize=18975048 memory=13851867369179884 CPUtime=0 cores=1,3
/proc/763969/task/764004/stat : 764004 (Common-Cleaner) S 763963 763969 763919 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151609431 19430449152 14133 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56532 KiB

[startup+0.315297 s]*
/proc/loadavg: 0.15 0.13 0.09 7/282 764028
/proc/meminfo: memFree=129473372/131655788 swapFree=131071996/131071996
[pid=763969] ppid=763963 vsize=18975048 memory=57224 CPUtime=0.27 cores=1,3
/proc/763969/stat : 763969 (java) S 763963 763969 763919 0 -1 1077936128 6766 0 0 0 23 4 0 0 20 0 18 0 151609423 19430449152 14306 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
/proc/763969/statm: 4743762 14306 5635 1 0 551040 0
[pid=763969/tid=763973] ppid=763963 vsize=18975048 memory=-8744981573106311868 CPUtime=0.18 cores=1,3
/proc/763969/task/763973/stat : 763973 (java) R 763963 763969 763919 0 -1 4194368 5639 0 0 0 15 3 0 0 20 0 18 0 151609424 19430449152 14306 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=763997] ppid=763963 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/763969/task/763997/stat : 763997 (Finalizer) S 763963 763969 763919 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151609430 19430449152 14306 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764004] ppid=763963 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/763969/task/764004/stat : 764004 (Common-Cleaner) S 763963 763969 763919 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151609431 19430449152 14306 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57224 KiB

[startup+0.700537 s]
/proc/loadavg: 0.15 0.13 0.09 16/314 764060
/proc/meminfo: memFree=129392284/131655788 swapFree=131071996/131071996
[pid=763969] ppid=763963 vsize=18975048 memory=77812 CPUtime=0.97 cores=1,3
/proc/763969/stat : 763969 (java) S 763963 763969 763919 0 -1 1077936128 7774 0 0 0 91 6 0 0 20 0 18 0 151609423 19430449152 19453 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
/proc/763969/statm: 4743762 19453 5720 1 0 551754 0
[pid=763969/tid=763973] ppid=763963 vsize=18975048 memory=41196 CPUtime=0.53 cores=1,3
/proc/763969/task/763973/stat : 763973 (java) R 763963 763969 763919 0 -1 4194368 6045 0 0 0 49 4 0 0 20 0 18 0 151609424 19430449152 19453 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=763997] ppid=763963 vsize=18975048 memory=12320 CPUtime=0 cores=1,3
/proc/763969/task/763997/stat : 763997 (Finalizer) S 763963 763969 763919 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151609430 19430449152 19453 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764004] ppid=763963 vsize=18975048 memory=2164 CPUtime=0 cores=1,3
/proc/763969/task/764004/stat : 764004 (Common-Cleaner) S 763963 763969 763919 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151609431 19430449152 19453 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 77812 KiB

[startup+1.50453 s]
/proc/loadavg: 0.15 0.13 0.09 12/315 764061
/proc/meminfo: memFree=129145768/131655788 swapFree=131071996/131071996
[pid=763969] ppid=763963 vsize=19045440 memory=179096 CPUtime=2.56 cores=1,3
/proc/763969/stat : 763969 (java) S 763963 763969 763919 0 -1 1077936128 20257 0 0 0 243 13 0 0 20 0 19 0 151609423 19502530560 44774 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
/proc/763969/statm: 4761360 44774 5870 1 0 557772 0
[pid=763969/tid=763973] ppid=763963 vsize=19045440 memory=12320 CPUtime=1.3 cores=1,3
/proc/763969/task/763973/stat : 763973 (java) R 763963 763969 763919 0 -1 4194368 6338 0 0 0 123 7 0 0 20 0 19 0 151609424 19502530560 44774 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=763997] ppid=763963 vsize=19045440 memory=2164 CPUtime=0 cores=1,3
/proc/763969/task/763997/stat : 763997 (Finalizer) S 763963 763969 763919 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 151609430 19502530560 44774 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764004] ppid=763963 vsize=19045440 memory=0 CPUtime=0 cores=1,3
/proc/763969/task/764004/stat : 764004 (Common-Cleaner) S 763963 763969 763919 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 151609431 19502530560 44774 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
Current children cumulated CPU time: 2.56 s
Current children cumulated vsize: 19045440 KiB
Current children cumulated memory: 179096 KiB

[startup+3.11253 s]
/proc/loadavg: 0.15 0.13 0.09 8/322 764070
/proc/meminfo: memFree=126585180/131655788 swapFree=131071996/131071996
[pid=763969] ppid=763963 vsize=19108176 memory=554512 CPUtime=5.73 cores=1,3
/proc/763969/stat : 763969 (java) S 763963 763969 763919 0 -1 1077936128 28242 0 0 0 549 24 0 0 20 0 20 0 151609423 19566772224 138628 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
/proc/763969/statm: 4777044 138628 5907 1 0 559639 0
[pid=763969/tid=763973] ppid=763963 vsize=19108176 memory=198340509722 CPUtime=2.79 cores=1,3
/proc/763969/task/763973/stat : 763973 (java) S 763963 763969 763919 0 -1 1077936192 8683 0 0 0 264 15 0 0 20 0 20 0 151609424 19566772224 138628 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=763997] ppid=763963 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/763969/task/763997/stat : 763997 (Finalizer) S 763963 763969 763919 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151609430 19566772224 138628 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764004] ppid=763963 vsize=19108176 memory=12320 CPUtime=0 cores=1,3
/proc/763969/task/764004/stat : 764004 (Common-Cleaner) S 763963 763969 763919 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151609431 19566772224 138628 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764067] ppid=763963 vsize=19108176 memory=5476 CPUtime=0 cores=1,3
/proc/763969/task/764067/stat : 764067 (Timer-0) S 763963 763969 763919 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151609619 19566772224 138628 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
Current children cumulated CPU time: 5.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 554512 KiB

[startup+6.30045 s]
/proc/loadavg: 0.70 0.24 0.13 6/322 764070
/proc/meminfo: memFree=125169852/131655788 swapFree=131071996/131071996
[pid=763969] ppid=763963 vsize=19108176 memory=1020024 CPUtime=10.36 cores=1,3
/proc/763969/stat : 763969 (java) S 763963 763969 763919 0 -1 1077936128 29510 0 0 0 1001 35 0 0 20 0 20 0 151609423 19566772224 255006 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
/proc/763969/statm: 4777044 255006 5907 1 0 860448 0
[pid=763969/tid=763973] ppid=763963 vsize=19108176 memory=12320 CPUtime=5.81 cores=1,3
/proc/763969/task/763973/stat : 763973 (java) R 763963 763969 763919 0 -1 4194368 8875 0 0 0 557 24 0 0 20 0 20 0 151609424 19566772224 255006 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=763997] ppid=763963 vsize=19108176 memory=5476 CPUtime=0 cores=1,3
/proc/763969/task/763997/stat : 763997 (Finalizer) S 763963 763969 763919 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151609430 19566772224 255006 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764004] ppid=763963 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/763969/task/764004/stat : 764004 (Common-Cleaner) S 763963 763969 763919 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 151609431 19566772224 255006 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764067] ppid=763963 vsize=19108176 memory=-8959737089026859708 CPUtime=0 cores=1,3
/proc/763969/task/764067/stat : 764067 (Timer-0) S 763963 763969 763919 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151609619 19566772224 255006 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
Current children cumulated CPU time: 10.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1020024 KiB

[startup+12.7005 s]
/proc/loadavg: 0.97 0.31 0.15 7/322 764070
/proc/meminfo: memFree=122917612/131655788 swapFree=131071996/131071996
[pid=763969] ppid=763963 vsize=19108176 memory=2246032 CPUtime=16.99 cores=1,3
/proc/763969/stat : 763969 (java) S 763963 763969 763919 0 -1 1077936128 30936 0 0 0 1637 62 0 0 20 0 20 0 151609423 19566772224 561508 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
/proc/763969/statm: 4777044 561508 5923 1 0 1148719 0
[pid=763969/tid=763973] ppid=763963 vsize=19108176 memory=1071516 CPUtime=11.58 cores=1,3
/proc/763969/task/763973/stat : 763973 (java) R 763963 763969 763919 0 -1 4194368 9412 0 0 0 1111 47 0 0 20 0 20 0 151609424 19566772224 561508 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=763997] ppid=763963 vsize=19108176 memory=-8744981573106311868 CPUtime=0 cores=1,3
/proc/763969/task/763997/stat : 763997 (Finalizer) S 763963 763969 763919 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151609430 19566772224 561508 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764004] ppid=763963 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/763969/task/764004/stat : 764004 (Common-Cleaner) S 763963 763969 763919 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 151609431 19566772224 561508 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764067] ppid=763963 vsize=19108176 memory=12320 CPUtime=0 cores=1,3
/proc/763969/task/764067/stat : 764067 (Timer-0) S 763963 763969 763919 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151609619 19566772224 561508 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
Current children cumulated CPU time: 16.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2246032 KiB

[startup+25.5005 s]
/proc/loadavg: 1.71 0.50 0.22 5/322 764073
/proc/meminfo: memFree=119512740/131655788 swapFree=131071996/131071996
[pid=763969] ppid=763963 vsize=19108176 memory=4132964 CPUtime=30.32 cores=1,3
/proc/763969/stat : 763969 (java) S 763963 763969 763919 0 -1 1077936128 32701 0 0 0 2932 100 0 0 20 0 20 0 151609423 19566772224 1033241 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
/proc/763969/statm: 4777044 1033241 5923 1 0 1622904 0
[pid=763969/tid=763973] ppid=763963 vsize=19108176 memory=12320 CPUtime=24.02 cores=1,3
/proc/763969/task/763973/stat : 763973 (java) R 763963 763969 763919 0 -1 4194368 10414 0 0 0 2322 80 0 0 20 0 20 0 151609424 19566772224 1033241 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=763997] ppid=763963 vsize=19108176 memory=12720 CPUtime=0 cores=1,3
/proc/763969/task/763997/stat : 763997 (Finalizer) S 763963 763969 763919 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151609430 19566772224 1033241 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764004] ppid=763963 vsize=19108176 memory=4132964 CPUtime=0 cores=1,3
/proc/763969/task/764004/stat : 764004 (Common-Cleaner) S 763963 763969 763919 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 151609431 19566772224 1033241 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764067] ppid=763963 vsize=19108176 memory=41196 CPUtime=0 cores=1,3
/proc/763969/task/764067/stat : 764067 (Timer-0) S 763963 763969 763919 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151609619 19566772224 1033241 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
Current children cumulated CPU time: 30.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4132964 KiB

[startup+51.1137 s]
/proc/loadavg: 2.49 0.79 0.32 5/322 764076
/proc/meminfo: memFree=116133508/131655788 swapFree=131071996/131071996
[pid=763969] ppid=763963 vsize=19108176 memory=4397920 CPUtime=57.03 cores=1,3
/proc/763969/stat : 763969 (java) S 763963 763969 763919 0 -1 1077936128 40731 0 0 0 5593 110 0 0 20 0 20 0 151609423 19566772224 1099480 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
/proc/763969/statm: 4777044 1099480 5923 1 0 1622938 0
[pid=763969/tid=763973] ppid=763963 vsize=19108176 memory=12720 CPUtime=48.68 cores=1,3
/proc/763969/task/763973/stat : 763973 (java) R 763963 763969 763919 0 -1 4194368 13990 0 0 0 4787 81 0 0 20 0 20 0 151609424 19566772224 1099480 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=763997] ppid=763963 vsize=19108176 memory=2246032 CPUtime=0 cores=1,3
/proc/763969/task/763997/stat : 763997 (Finalizer) S 763963 763969 763919 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151609430 19566772224 1099480 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764004] ppid=763963 vsize=19108176 memory=12720 CPUtime=0 cores=1,3
/proc/763969/task/764004/stat : 764004 (Common-Cleaner) S 763963 763969 763919 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 151609431 19566772224 1099480 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764067] ppid=763963 vsize=19108176 memory=2692 CPUtime=0 cores=1,3
/proc/763969/task/764067/stat : 764067 (Timer-0) S 763963 763969 763919 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151609619 19566772224 1099480 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0

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

[startup+2982.3 s]
/proc/loadavg: 4.60 4.53 4.33 5/321 765757
/proc/meminfo: memFree=107060940/131655788 swapFree=131071996/131071996
[pid=763969] ppid=763963 vsize=19108176 memory=5847920 CPUtime=3200.35 cores=1,3
/proc/763969/stat : 763969 (java) S 763963 763969 763919 0 -1 1077936128 701456 0 0 0 319539 496 0 0 20 0 20 0 151609423 19566772224 1461980 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
/proc/763969/statm: 4777044 1461980 5970 1 0 1473961 0
[pid=763969/tid=763973] ppid=763963 vsize=19108176 memory=5847804 CPUtime=2912.07 cores=1,3
/proc/763969/task/763973/stat : 763973 (java) R 763963 763969 763919 0 -1 4194368 260531 0 0 0 291081 126 0 0 20 0 20 0 151609424 19566772224 1461980 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 32 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=763997] ppid=763963 vsize=19108176 memory=5847304 CPUtime=0 cores=1,3
/proc/763969/task/763997/stat : 763997 (Finalizer) S 763963 763969 763919 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151609430 19566772224 1461980 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764004] ppid=763963 vsize=19108176 memory=12720 CPUtime=0 cores=1,3
/proc/763969/task/764004/stat : 764004 (Common-Cleaner) S 763963 763969 763919 0 -1 1077936192 2464 0 0 0 0 0 0 0 20 0 20 0 151609431 19566772224 1461980 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764067] ppid=763963 vsize=19108176 memory=12720 CPUtime=0 cores=1,3
/proc/763969/task/764067/stat : 764067 (Timer-0) S 763963 763969 763919 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151609619 19566772224 1461980 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
Current children cumulated CPU time: 3200.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5847920 KiB

[startup+3042.3 s]
/proc/loadavg: 4.62 4.54 4.35 5/321 765769
/proc/meminfo: memFree=107052320/131655788 swapFree=131071996/131071996
[pid=763969] ppid=763963 vsize=19108176 memory=5847956 CPUtime=3270.32 cores=1,3
/proc/763969/stat : 763969 (java) S 763963 763969 763919 0 -1 1077936128 710412 0 0 0 326527 505 0 0 20 0 20 0 151609423 19566772224 1461989 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
/proc/763969/statm: 4777044 1461989 5970 1 0 1473961 0
[pid=763969/tid=763973] ppid=763963 vsize=19108176 memory=5847940 CPUtime=2970.23 cores=1,3
/proc/763969/task/763973/stat : 763973 (java) R 763963 763969 763919 0 -1 4194368 264107 0 0 0 296897 126 0 0 20 0 20 0 151609424 19566772224 1461989 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 32 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=763997] ppid=763963 vsize=19108176 memory=5847920 CPUtime=0 cores=1,3
/proc/763969/task/763997/stat : 763997 (Finalizer) S 763963 763969 763919 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151609430 19566772224 1461989 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764004] ppid=763963 vsize=19108176 memory=5847940 CPUtime=0 cores=1,3
/proc/763969/task/764004/stat : 764004 (Common-Cleaner) S 763963 763969 763919 0 -1 1077936192 2500 0 0 0 0 0 0 0 20 0 20 0 151609431 19566772224 1461989 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764067] ppid=763963 vsize=19108176 memory=1900 CPUtime=0 cores=1,3
/proc/763969/task/764067/stat : 764067 (Timer-0) S 763963 763969 763919 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151609619 19566772224 1461989 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
Current children cumulated CPU time: 3270.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5847956 KiB

[startup+3102.3 s]
/proc/loadavg: 4.56 4.54 4.36 5/320 765779
/proc/meminfo: memFree=106634420/131655788 swapFree=131071996/131071996
[pid=763969] ppid=763963 vsize=19108176 memory=5847972 CPUtime=3341.03 cores=1,3
/proc/763969/stat : 763969 (java) S 763963 763969 763919 0 -1 1077936128 723489 0 0 0 333590 513 0 0 20 0 20 0 151609423 19566772224 1461993 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
/proc/763969/statm: 4777044 1461993 5970 1 0 1473977 0
[pid=763969/tid=763973] ppid=763963 vsize=19108176 memory=12720 CPUtime=3029.31 cores=1,3
/proc/763969/task/763973/stat : 763973 (java) R 763963 763969 763919 0 -1 4194368 271044 0 0 0 302805 126 0 0 20 0 20 0 151609424 19566772224 1461993 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 32 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=763997] ppid=763963 vsize=19108176 memory=5847972 CPUtime=0 cores=1,3
/proc/763969/task/763997/stat : 763997 (Finalizer) S 763963 763969 763919 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151609430 19566772224 1461993 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764004] ppid=763963 vsize=19108176 memory=5847972 CPUtime=0 cores=1,3
/proc/763969/task/764004/stat : 764004 (Common-Cleaner) S 763963 763969 763919 0 -1 1077936192 2514 0 0 0 0 0 0 0 20 0 20 0 151609431 19566772224 1461993 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764067] ppid=763963 vsize=19108176 memory=12320 CPUtime=0 cores=1,3
/proc/763969/task/764067/stat : 764067 (Timer-0) S 763963 763969 763919 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151609619 19566772224 1461993 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
Current children cumulated CPU time: 3341.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5847972 KiB

[startup+3162.3 s]
/proc/loadavg: 4.58 4.56 4.38 5/322 766174
/proc/meminfo: memFree=106281744/131655788 swapFree=131071996/131071996
[pid=763969] ppid=763963 vsize=19108176 memory=5847972 CPUtime=3412.5 cores=1,3
/proc/763969/stat : 763969 (java) S 763963 763969 763919 0 -1 1077936128 724750 0 0 0 340729 521 0 0 20 0 20 0 151609423 19566772224 1461993 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
/proc/763969/statm: 4777044 1461993 5970 1 0 1473991 0
[pid=763969/tid=763973] ppid=763963 vsize=19108176 memory=5847972 CPUtime=3087.95 cores=1,3
/proc/763969/task/763973/stat : 763973 (java) R 763963 763969 763919 0 -1 4194368 271780 0 0 0 308669 126 0 0 20 0 20 0 151609424 19566772224 1461993 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 32 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=763997] ppid=763963 vsize=19108176 memory=2008 CPUtime=0 cores=1,3
/proc/763969/task/763997/stat : 763997 (Finalizer) S 763963 763969 763919 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151609430 19566772224 1461993 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764004] ppid=763963 vsize=19108176 memory=-8959737089026859708 CPUtime=0 cores=1,3
/proc/763969/task/764004/stat : 764004 (Common-Cleaner) S 763963 763969 763919 0 -1 1077936192 2514 0 0 0 0 0 0 0 20 0 20 0 151609431 19566772224 1461993 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764067] ppid=763963 vsize=19108176 memory=5847972 CPUtime=0 cores=1,3
/proc/763969/task/764067/stat : 764067 (Timer-0) S 763963 763969 763919 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151609619 19566772224 1461993 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
Current children cumulated CPU time: 3412.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5847972 KiB

[startup+3222.3 s]
/proc/loadavg: 4.58 4.56 4.39 5/319 766185
/proc/meminfo: memFree=106181716/131655788 swapFree=131071996/131071996
[pid=763969] ppid=763963 vsize=19108176 memory=5848036 CPUtime=3483.29 cores=1,3
/proc/763969/stat : 763969 (java) S 763963 763969 763919 0 -1 1077936128 745568 0 0 0 347796 533 0 0 20 0 20 0 151609423 19566772224 1462009 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
/proc/763969/statm: 4777044 1462009 5970 1 0 1473991 0
[pid=763969/tid=763973] ppid=763963 vsize=19108176 memory=5847972 CPUtime=3146.83 cores=1,3
/proc/763969/task/763973/stat : 763973 (java) R 763963 763969 763919 0 -1 4194368 279673 0 0 0 314556 127 0 0 20 0 20 0 151609424 19566772224 1462009 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 32 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=763997] ppid=763963 vsize=19108176 memory=5847972 CPUtime=0 cores=1,3
/proc/763969/task/763997/stat : 763997 (Finalizer) S 763963 763969 763919 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151609430 19566772224 1462009 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764004] ppid=763963 vsize=19108176 memory=5476 CPUtime=0 cores=1,3
/proc/763969/task/764004/stat : 764004 (Common-Cleaner) S 763963 763969 763919 0 -1 1077936192 2561 0 0 0 0 0 0 0 20 0 20 0 151609431 19566772224 1462009 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764067] ppid=763963 vsize=19108176 memory=5848036 CPUtime=0 cores=1,3
/proc/763969/task/764067/stat : 764067 (Timer-0) S 763963 763969 763919 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151609619 19566772224 1462009 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
Current children cumulated CPU time: 3483.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5848036 KiB

[startup+3282.3 s]
/proc/loadavg: 4.47 4.55 4.39 5/318 766262
/proc/meminfo: memFree=107817480/131655788 swapFree=131071996/131071996
[pid=763969] ppid=763963 vsize=19108176 memory=5848056 CPUtime=3553.88 cores=1,3
/proc/763969/stat : 763969 (java) S 763963 763969 763919 0 -1 1077936128 747115 0 0 0 354847 541 0 0 20 0 20 0 151609423 19566772224 1462014 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
/proc/763969/statm: 4777044 1462014 5970 1 0 1473991 0
[pid=763969/tid=763973] ppid=763963 vsize=19108176 memory=5848056 CPUtime=3205.32 cores=1,3
/proc/763969/task/763973/stat : 763973 (java) R 763963 763969 763919 0 -1 4194368 280965 0 0 0 320404 128 0 0 20 0 20 0 151609424 19566772224 1462014 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 37 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=763997] ppid=763963 vsize=19108176 memory=5848036 CPUtime=0 cores=1,3
/proc/763969/task/763997/stat : 763997 (Finalizer) S 763963 763969 763919 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151609430 19566772224 1462014 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764004] ppid=763963 vsize=19108176 memory=5848036 CPUtime=0 cores=1,3
/proc/763969/task/764004/stat : 764004 (Common-Cleaner) S 763963 763969 763919 0 -1 1077936192 2561 0 0 0 0 0 0 0 20 0 20 0 151609431 19566772224 1462014 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764067] ppid=763963 vsize=19108176 memory=5848036 CPUtime=0 cores=1,3
/proc/763969/task/764067/stat : 764067 (Timer-0) S 763963 763969 763919 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151609619 19566772224 1462014 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
Current children cumulated CPU time: 3553.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5848056 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3321 s]*
/proc/loadavg: 4.38 4.51 4.39 6/318 766268
/proc/meminfo: memFree=106959740/131655788 swapFree=131071996/131071996
[pid=763969] ppid=763963 vsize=19108176 memory=5848816 CPUtime=3600.17 cores=1,3
/proc/763969/stat : 763969 (java) S 763963 763969 763919 0 -1 1077936128 748242 0 0 0 359468 549 0 0 20 0 20 0 151609423 19566772224 1462204 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
/proc/763969/statm: 4777044 1462204 5970 1 0 1474235 0
[pid=763969/tid=763973] ppid=763963 vsize=19108176 memory=-8672358821501772476 CPUtime=3243.13 cores=1,3
/proc/763969/task/763973/stat : 763973 (java) R 763963 763969 763919 0 -1 4194368 281946 0 0 0 324185 128 0 0 20 0 20 0 151609424 19566772224 1462204 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 37 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=763997] ppid=763963 vsize=19108176 memory=20409 CPUtime=0 cores=1,3
/proc/763969/task/763997/stat : 763997 (Finalizer) S 763963 763969 763919 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151609430 19566772224 1462204 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764004] ppid=763963 vsize=19108176 memory=3690476926620926039 CPUtime=0 cores=1,3
/proc/763969/task/764004/stat : 764004 (Common-Cleaner) S 763963 763969 763919 0 -1 1077936192 2561 0 0 0 0 0 0 0 20 0 20 0 151609431 19566772224 1462204 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764067] ppid=763963 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/763969/task/764067/stat : 764067 (Timer-0) S 763963 763969 763919 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151609619 19566772224 1462204 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5848816 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.21 s, system=5.51387 s

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

[startup+3321.2 s]
/proc/loadavg: 4.38 4.51 4.39 6/318 766268
/proc/meminfo: memFree=106959740/131655788 swapFree=131071996/131071996
[pid=763969] ppid=763963 vsize=19307868 memory=5849808 CPUtime=3600.56 cores=1,3
/proc/763969/stat : 763969 (java) S 763963 763969 763919 0 -1 1077936128 750209 0 0 0 359507 549 0 0 20 0 21 0 151609423 19771256832 1462452 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
/proc/763969/statm: 4826967 1462452 5969 1 0 1475185 0
[pid=763969/tid=763973] ppid=763963 vsize=19307868 memory=-8959737089026859708 CPUtime=3243.26 cores=1,3
/proc/763969/task/763973/stat : 763973 (java) R 763963 763969 763919 0 -1 4194368 282017 0 0 0 324198 128 0 0 20 0 21 0 151609424 19771256832 1462452 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 37 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=763997] ppid=763963 vsize=19307868 memory=31984 CPUtime=0 cores=1,3
/proc/763969/task/763997/stat : 763997 (Finalizer) S 763963 763969 763919 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 151609430 19771256832 1462452 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
[pid=763969/tid=764004] ppid=763963 vsize=19307868 memory=19428 CPUtime=0 cores=1,3
/proc/763969/task/764004/stat : 764004 (Common-Cleaner) S 763963 763969 763919 0 -1 1077936192 2561 0 0 0 0 0 0 0 20 0 21 0 151609431 19771256832 1462452 134679101440 94582987452416 94582987456112 140723798046992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94582987463928 94582987464720 94582996611072 140723798049776 140723798049889 140723798049889 140723798056904 0
Current children cumulated CPU time: 3600.56 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 5849808 KiB

Child status: 143

Real time (s): 3321.3
CPU time (s): 3600.73
CPU user time (s): 3595.21
CPU system time (s): 5.51387
CPU usage (%): 108.413
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 6436400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.21
system time used= 5.51387
maximum resident set size= 6436412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 750581
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120561
involuntary context switches= 20902


# summary of solver processes directly reported to runsolver:
#   pid: 763969
#   total CPU time (s): 3600.73
#   total CPU user time (s): 3595.21
#   total CPU system time (s): 5.51387

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8124 second user time and 28.0338 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-15 00:02:28
IDJOB=4427337
IDBENCH=146695
IDSOLVER=3046
FILE ID=nodeC004/4427337-1720994535
RUNJOBID= nodeC004-1720994548-763931
SLURM_JOB_ID= 7505305
Free space on /tmp= 723780 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/frb40-19-opb/normalized-frb40-19-2.opb
COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427337-1720994535/watcher-4427337-1720994535 -o /tmp/evaluation-result-4427337-1720994535/solver-4427337-1720994535 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1720994548-763931 --watchdog 3760  java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427337-1720994535.opb

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

MD5SUM BENCH= dbca78014701662c42e2f44b8d3d4cf2
RANDOM SEED=77768655

nodeC004.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.470
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	: 6984.29
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.309
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.37
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.494
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	: 6984.29
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.319
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.37
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.324
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	: 6984.29
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.310
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.37
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.308
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	: 6984.29
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.314
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129572256 kB
MemAvailable:   129946756 kB
Buffers:          339800 kB
Cached:           877084 kB
SwapCached:            0 kB
Active:           537208 kB
Inactive:        1028532 kB
Active(anon):       3240 kB
Inactive(anon):   383308 kB
Active(file):     533968 kB
Inactive(file):   645224 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4556 kB
Writeback:             0 kB
AnonPages:        348924 kB
Mapped:           102276 kB
Shmem:             37700 kB
KReclaimable:      71016 kB
Slab:             163188 kB
SReclaimable:      71016 kB
SUnreclaim:        92172 kB
KernelStack:        3584 kB
PageTables:         9456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     671344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            49088 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 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:      168776 kB
DirectMap2M:     8124416 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC004 at 2024-07-15 00:57:50