Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Partial RoundingSAT 2024 2024-07-12 | MSAT (TO) | 3600.12 | 3596.37 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar7-sub1_wcsp.wbo |
| MD5SUM | daf2f1ed087a94b78160429ad112bf14 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MSAT |
| Best cost obtained on this benchmark | 212742 |
| Best CPU time to get the best result obtained on this benchmark | 3600.31 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 616 |
| Total number of constraints | 249748 |
| Number of soft constraints | 249734 |
| Number of constraints which are clauses | 249734 |
| Number of constraints which are cardinality constraints (but not clauses) | 14 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 44 |
| Top cost | 39275680 |
| Min constraint cost | 1 |
| Max constraint cost | 1000000 |
| Sum of constraints costs | 19104596930 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 45 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version CUSTOM.v20240707 0.00/0.09 c java.runtime.name OpenJDK Runtime Environment 0.00/0.09 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.09 c java.vm.version 22.0.1+8-16 0.00/0.09 c java.vm.vendor Oracle Corporation 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 22.0.1 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.09 c os.arch amd64 0.00/0.10 c Free memory 2106806208 0.00/0.10 c Max memory 16282288128 0.00/0.10 c Total memory 2113929216 0.12/0.10 c Number of processors 2 0.12/0.16 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.12/0.16 - never skip resolution steps 0.12/0.16 - Auto-division on coefficients is disabled 0.12/0.16 - No postprocessing 0.12/0.16 - Conflict is considered as is when resolving 0.12/0.16 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.12/0.16 - Weaken first using unassigned literals 0.12/0.16 - Bump strategy: ALWAYS_ONE 0.12/0.16 - Bumper: ASSIGNED 0.12/0.16 --- Begin Solver configuration --- 0.12/0.16 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.12/0.16 Learn all clauses as in MiniSAT 0.12/0.16 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.16 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.12/0.16 No reason simplification 0.12/0.16 Armin Biere (Picosat) restarts strategy 0.12/0.16 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.12/0.16 timeout=2147483s 0.12/0.16 DB Simplification allowed=false 0.12/0.16 Listener: none 0.12/0.16 --- End Solver configuration --- 0.12/0.16 c Pseudo Boolean Optimization by upper bound 0.12/0.16 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.12/0.16 c - never skip resolution steps 0.12/0.16 c - Auto-division on coefficients is disabled 0.12/0.16 c - No postprocessing 0.12/0.16 c - Conflict is considered as is when resolving 0.12/0.16 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.12/0.16 c - Weaken first using unassigned literals 0.12/0.16 c - Bump strategy: ALWAYS_ONE 0.12/0.16 c - Bumper: ASSIGNED 0.12/0.16 c --- Begin Solver configuration --- 0.12/0.16 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.12/0.16 c Learn all clauses as in MiniSAT 0.12/0.16 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.16 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.12/0.16 c No reason simplification 0.12/0.16 c Armin Biere (Picosat) restarts strategy 0.12/0.16 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.12/0.16 c timeout=2147483s 0.12/0.16 c DB Simplification allowed=false 0.12/0.16 c Listener: none 0.12/0.16 c --- End Solver configuration --- 0.12/0.16 c solving HOME/instance-4424349-1720874154.wbo 0.12/0.16 c reading problem ... 52.66/50.76 c ... done. Wall clock time 50.598s. 52.66/50.77 c declared #vars 616 52.66/50.77 c internal #vars 250350 52.66/50.77 c #constraints 249763 52.66/50.77 c constraints type 52.66/50.77 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 14 52.66/50.77 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 1 52.66/50.77 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 249748 52.66/50.77 c 249763 constraints processed. 52.66/50.78 c objective function length is 249734 literals 393.17/386.73 c SATISFIABLE 393.17/386.73 c OPTIMIZING... 393.17/386.74 c Got one! Elapsed wall clock time (in seconds):386.574 393.17/386.74 o 944165 1734.98/1728.60 c Got one! Elapsed wall clock time (in seconds):1728.442 1734.98/1728.60 o 451939 3600.00/3596.32 c starts : 11 3600.00/3596.32 c conflicts : 1265 3600.00/3596.32 c decisions : 2908500 3600.00/3596.32 c propagations : 11016047 3600.00/3596.32 c inspects : 2215141 3600.00/3596.32 c shortcuts : 0 3600.00/3596.32 c learnt literals : 0 3600.00/3596.32 c learnt binary clauses : 0 3600.00/3596.32 c learnt ternary clauses : 0 3600.00/3596.32 c learnt constraints : 1264 3600.00/3596.32 c ignored constraints : 0 3600.00/3596.32 c root simplifications : 0 3600.00/3596.32 c removed literals (reason simplification) : 0 3600.00/3596.32 c reason swapping (by a shorter reason) : 0 3600.00/3596.32 c Calls to reduceDB : 0 3600.00/3596.32 c Number of update (reduction) of LBD : 43 3600.00/3596.32 c Imported unit clauses : 0 3600.00/3596.32 c No decision after first conflict : false 3600.00/3596.32 c number of reductions to clauses (during analyze) : 0 3600.00/3596.32 c number of learned constraints concerned by reduction : 0 3600.00/3596.32 c number of learning phase by resolution : 0 3600.00/3596.32 c number of learning phase by cutting planes : 0 3600.00/3596.32 c number of rounding to 1 operations : 102 3600.00/3596.32 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.00/3596.32 c number of reductions of the coefficients by power 2 : 0 3600.00/3596.32 c number of right shift for reduction by power 2 : 0 3600.00/3596.32 c number of reductions of the coefficients by GCD over coefficients : 0 3600.00/3596.32 c number of ending skipping : 0 3600.00/3596.32 c number of internal skipping : 0 3600.00/3596.32 c number of derivation steps : 19592 3600.00/3596.32 c number of skipped derivation steps : 0 3600.00/3596.32 c number of remaining unassigned : 91644 3600.00/3596.32 c number of remaining assigned : 790800 3600.00/3596.32 c number of falsified literals weakened from reason : 0 3600.00/3596.32 c number of falsified literals weakened from conflict : 0 3600.00/3596.32 c time for arithmetic operations : 15197958 3600.00/3596.33 c minimum degree of deleted constraints : null 3600.00/3596.33 c maximum degree of deleted constraints : null 3600.00/3596.33 c number of deleted constraints : 0 3600.00/3596.34 c speed (assignments/second) : 3107.0678723332244 3600.00/3596.34 c non guided choices : 1342 3600.00/3596.34 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 1022 3600.00/3596.34 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 6 3600.00/3596.34 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 236 3600.00/3596.34 s SATISFIABLE 3600.00/3596.34 c Found 2 solution(s) 3600.00/3596.34 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 3600.00/3596.34 c objective function=451939 3600.00/3596.34 c Total wall clock time (in seconds): 3596.171
OK 321635
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: 63968 MiB (61250 MiB free)
memory of node 1: 64473 MiB (61501 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424349-1720874154/watcher-4424349-1720874154 -o /tmp/evaluation-result-4424349-1720874154/solver-4424349-1720874154 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1720874164-703816 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424349-1720874154.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=704200, runsolver pid=704197
Current StackSize limit: 8192 KiB
[startup+0.100965 s]*
/proc/loadavg: 0.09 0.11 0.09 9/331 704218
/proc/meminfo: memFree=125525012/131524600 swapFree=131071996/131071996
[pid=704200] ppid=704197 vsize=18975048 memory=62644 CPUtime=0.12 cores=5,7
/proc/704200/stat : 704200 (java) S 704197 704200 703803 0 -1 1077936128 7138 0 0 0 10 2 0 0 20 0 18 0 139580392 19430449152 15661 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
/proc/704200/statm: 4743762 15661 5597 1 0 549285 0
[pid=704200/tid=704202] ppid=704197 vsize=18975048 memory=4026561586 CPUtime=0.07 cores=5,7
/proc/704200/task/704202/stat : 704202 (java) R 704197 704200 703803 0 -1 4194368 5696 0 0 0 6 1 0 0 20 0 18 0 139580392 19430449152 15661 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704211] ppid=704197 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/704200/task/704211/stat : 704211 (Finalizer) S 704197 704200 703803 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 139580396 19430449152 15661 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704218] ppid=704197 vsize=18975048 memory=13846374089254215 CPUtime=0 cores=5,7
/proc/704200/task/704218/stat : 704218 (Common-Cleaner) S 704197 704200 703803 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 139580397 19430449152 15661 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62644 KiB
[startup+0.211834 s]*
/proc/loadavg: 1.05 0.30 0.15 12/333 704220
/proc/meminfo: memFree=125478740/131524600 swapFree=131071996/131071996
[pid=704200] ppid=704197 vsize=18975048 memory=76312 CPUtime=0.33 cores=5,7
/proc/704200/stat : 704200 (java) S 704197 704200 703803 0 -1 1077936128 7796 0 0 0 30 3 0 0 20 0 18 0 139580392 19430449152 19078 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
/proc/704200/statm: 4743762 19078 5840 1 0 549753 0
[pid=704200/tid=704202] ppid=704197 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/704200/task/704202/stat : 704202 (java) R 704197 704200 703803 0 -1 4194368 6022 0 0 0 16 2 0 0 20 0 18 0 139580392 19430449152 19078 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704211] ppid=704197 vsize=18975048 memory=5714 CPUtime=0 cores=5,7
/proc/704200/task/704211/stat : 704211 (Finalizer) S 704197 704200 703803 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 139580396 19430449152 19078 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704218] ppid=704197 vsize=18975048 memory=15252649461155485 CPUtime=0 cores=5,7
/proc/704200/task/704218/stat : 704218 (Common-Cleaner) S 704197 704200 703803 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 139580397 19430449152 19078 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 76312 KiB
[startup+0.312834 s]*
/proc/loadavg: 1.05 0.30 0.15 13/334 704221
/proc/meminfo: memFree=125366420/131524600 swapFree=131071996/131071996
[pid=704200] ppid=704197 vsize=19041612 memory=165856 CPUtime=0.51 cores=5,7
/proc/704200/stat : 704200 (java) S 704197 704200 703803 0 -1 1077936128 9292 0 0 0 46 5 0 0 20 0 19 0 139580392 19498610688 41464 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
/proc/704200/statm: 4760403 41464 5840 1 0 550927 0
[pid=704200/tid=704202] ppid=704197 vsize=19041612 memory=-8670671079843734204 CPUtime=0.26 cores=5,7
/proc/704200/task/704202/stat : 704202 (java) R 704197 704200 703803 0 -1 4194368 6072 0 0 0 22 4 0 0 20 0 19 0 139580392 19498610688 41464 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704211] ppid=704197 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/704200/task/704211/stat : 704211 (Finalizer) S 704197 704200 703803 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139580396 19498610688 41464 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704218] ppid=704197 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/704200/task/704218/stat : 704218 (Common-Cleaner) R 704197 704200 703803 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 139580397 19498610688 41464 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 165856 KiB
[startup+0.700833 s]
/proc/loadavg: 1.05 0.30 0.15 8/334 704221
/proc/meminfo: memFree=125144092/131524600 swapFree=131071996/131071996
[pid=704200] ppid=704197 vsize=19041612 memory=922032 CPUtime=1.23 cores=5,7
/proc/704200/stat : 704200 (java) S 704197 704200 703803 0 -1 1077936128 14140 0 0 0 103 20 0 0 20 0 19 0 139580392 19498610688 230508 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
/proc/704200/statm: 4760403 230508 5856 1 0 1150448 0
[pid=704200/tid=704202] ppid=704197 vsize=19041612 memory=5432 CPUtime=0.59 cores=5,7
/proc/704200/task/704202/stat : 704202 (java) R 704197 704200 703803 0 -1 4194368 6428 0 0 0 41 18 0 0 20 0 19 0 139580392 19498610688 230508 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704211] ppid=704197 vsize=19041612 memory=12952 CPUtime=0 cores=5,7
/proc/704200/task/704211/stat : 704211 (Finalizer) S 704197 704200 703803 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139580396 19498610688 230508 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704218] ppid=704197 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/704200/task/704218/stat : 704218 (Common-Cleaner) S 704197 704200 703803 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 139580397 19498610688 230508 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 922032 KiB
[startup+1.50084 s]
/proc/loadavg: 1.05 0.30 0.15 9/334 704221
/proc/meminfo: memFree=123728992/131524600 swapFree=131071996/131071996
[pid=704200] ppid=704197 vsize=19041612 memory=2712360 CPUtime=2.63 cores=5,7
/proc/704200/stat : 704200 (java) S 704197 704200 703803 0 -1 1077936128 23086 0 0 0 206 57 0 0 20 0 19 0 139580392 19498610688 678090 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
/proc/704200/statm: 4760403 678090 5856 1 0 1154679 0
[pid=704200/tid=704202] ppid=704197 vsize=19041612 memory=0 CPUtime=1.34 cores=5,7
/proc/704200/task/704202/stat : 704202 (java) R 704197 704200 703803 0 -1 4194368 7279 0 0 0 82 52 0 0 20 0 19 0 139580392 19498610688 678090 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704211] ppid=704197 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/704200/task/704211/stat : 704211 (Finalizer) S 704197 704200 703803 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139580396 19498610688 678090 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704218] ppid=704197 vsize=19041612 memory=12952 CPUtime=0 cores=5,7
/proc/704200/task/704218/stat : 704218 (Common-Cleaner) S 704197 704200 703803 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 139580397 19498610688 678090 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
Current children cumulated CPU time: 2.63 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2712360 KiB
[startup+3.10572 s]
/proc/loadavg: 1.05 0.30 0.15 5/314 704224
/proc/meminfo: memFree=124613556/131524600 swapFree=131071996/131071996
[pid=704200] ppid=704197 vsize=19041612 memory=2988840 CPUtime=4.27 cores=5,7
/proc/704200/stat : 704200 (java) S 704197 704200 703803 0 -1 1077936128 23296 0 0 0 364 63 0 0 20 0 19 0 139580392 19498610688 747210 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
/proc/704200/statm: 4760403 747210 5856 1 0 1154685 0
[pid=704200/tid=704202] ppid=704197 vsize=19041612 memory=12952 CPUtime=2.88 cores=5,7
/proc/704200/task/704202/stat : 704202 (java) R 704197 704200 703803 0 -1 4194368 7451 0 0 0 230 58 0 0 20 0 19 0 139580392 19498610688 747210 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704211] ppid=704197 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/704200/task/704211/stat : 704211 (Finalizer) S 704197 704200 703803 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139580396 19498610688 747210 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704218] ppid=704197 vsize=19041612 memory=3164248436555464 CPUtime=0 cores=5,7
/proc/704200/task/704218/stat : 704218 (Common-Cleaner) S 704197 704200 703803 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 139580397 19498610688 747210 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
Current children cumulated CPU time: 4.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2988840 KiB
[startup+6.30085 s]
/proc/loadavg: 1.36 0.38 0.18 7/335 704289
/proc/meminfo: memFree=121849244/131524600 swapFree=131071996/131071996
[pid=704200] ppid=704197 vsize=19041612 memory=4043932 CPUtime=7.51 cores=5,7
/proc/704200/stat : 704200 (java) S 704197 704200 703803 0 -1 1077936128 24878 0 0 0 667 84 0 0 20 0 19 0 139580392 19498610688 1010983 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
/proc/704200/statm: 4760403 1010983 5856 1 0 1426247 0
[pid=704200/tid=704202] ppid=704197 vsize=19041612 memory=12952 CPUtime=5.85 cores=5,7
/proc/704200/task/704202/stat : 704202 (java) S 704197 704200 703803 0 -1 1077936192 8356 0 0 0 507 78 0 0 20 0 19 0 139580392 19498610688 1010983 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704211] ppid=704197 vsize=19041612 memory=2988840 CPUtime=0 cores=5,7
/proc/704200/task/704211/stat : 704211 (Finalizer) S 704197 704200 703803 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139580396 19498610688 1010983 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704218] ppid=704197 vsize=19041612 memory=11640 CPUtime=0 cores=5,7
/proc/704200/task/704218/stat : 704218 (Common-Cleaner) S 704197 704200 703803 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 139580397 19498610688 1010983 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
Current children cumulated CPU time: 7.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4043932 KiB
[startup+12.7003 s]
/proc/loadavg: 1.65 0.46 0.21 5/335 704291
/proc/meminfo: memFree=120610572/131524600 swapFree=131071996/131071996
[pid=704200] ppid=704197 vsize=19041612 memory=4680648 CPUtime=14.02 cores=5,7
/proc/704200/stat : 704200 (java) S 704197 704200 703803 0 -1 1077936128 26415 0 0 0 1304 98 0 0 20 0 19 0 139580392 19498610688 1170162 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
/proc/704200/statm: 4760403 1170162 5856 1 0 1582917 0
[pid=704200/tid=704202] ppid=704197 vsize=19041612 memory=11640 CPUtime=11.88 cores=5,7
/proc/704200/task/704202/stat : 704202 (java) R 704197 704200 703803 0 -1 4194368 9420 0 0 0 1097 91 0 0 20 0 19 0 139580392 19498610688 1170162 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704211] ppid=704197 vsize=19041612 memory=4674504 CPUtime=0 cores=5,7
/proc/704200/task/704211/stat : 704211 (Finalizer) S 704197 704200 703803 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139580396 19498610688 1170162 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704218] ppid=704197 vsize=19041612 memory=4670408 CPUtime=0 cores=5,7
/proc/704200/task/704218/stat : 704218 (Common-Cleaner) S 704197 704200 703803 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 139580397 19498610688 1170162 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
Current children cumulated CPU time: 14.02 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4680648 KiB
[startup+25.5003 s]
/proc/loadavg: 2.01 0.58 0.25 5/335 704292
/proc/meminfo: memFree=119663400/131524600 swapFree=131071996/131071996
[pid=704200] ppid=704197 vsize=19041612 memory=4720164 CPUtime=27.05 cores=5,7
/proc/704200/stat : 704200 (java) S 704197 704200 703803 0 -1 1077936128 30183 0 0 0 2604 101 0 0 20 0 19 0 139580392 19498610688 1180041 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
/proc/704200/statm: 4760403 1180041 5856 1 0 1582917 0
[pid=704200/tid=704202] ppid=704197 vsize=19041612 memory=4714020 CPUtime=24.12 cores=5,7
/proc/704200/task/704202/stat : 704202 (java) R 704197 704200 703803 0 -1 4194368 11244 0 0 0 2320 92 0 0 20 0 19 0 139580392 19498610688 1180041 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704211] ppid=704197 vsize=19041612 memory=2712360 CPUtime=0 cores=5,7
/proc/704200/task/704211/stat : 704211 (Finalizer) S 704197 704200 703803 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139580396 19498610688 1180041 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704218] ppid=704197 vsize=19041612 memory=4713772 CPUtime=0 cores=5,7
/proc/704200/task/704218/stat : 704218 (Common-Cleaner) S 704197 704200 703803 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 139580397 19498610688 1180041 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
Current children cumulated CPU time: 27.05 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4720164 KiB
[startup+51.1058 s]
/proc/loadavg: 2.80 0.90 0.37 6/336 704298
/proc/meminfo: memFree=118732048/131524600 swapFree=131071996/131071996
[pid=704200] ppid=704197 vsize=19108176 memory=4776676 CPUtime=53.45 cores=5,7
/proc/704200/stat : 704200 (java) S 704197 704200 703803 0 -1 1077936128 42230 0 0 0 5240 105 0 0 20 0 20 0 139580392 19566772224 1194169 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
/proc/704200/statm: 4777044 1194169 5894 1 0 1583362 0
[pid=704200/tid=704202] ppid=704197 vsize=19108176 memory=4703176 CPUtime=48.99 cores=5,7
/proc/704200/task/704202/stat : 704202 (java) R 704197 704200 703803 0 -1 4194368 17628 0 0 0 4806 93 0 0 20 0 20 0 139580392 19566772224 1194169 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704211] ppid=704197 vsize=19108176 memory=-8670671079843734204 CPUtime=0 cores=5,7
/proc/704200/task/704211/stat : 704211 (Finalizer) S 704197 704200 703803 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139580396 19566772224 1194169 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704218] ppid=704197 vsize=19108176 memory=4757332 CPUtime=0 cores=5,7
/proc/704200/task/704218/stat : 704218 (Common-Cleaner) S 704197 704200 703803 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139580397 19566772224 1194169 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704298] ppid=704197 vsize=19108176 memory=11640 CPUtime=0 cores=5,7
/proc/704200/task/704298/stat : 704298 (Timer-0) S 704197 704200 703803 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 139585477 19566772224 1194169 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
Current children cumulated CPU time: 53.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4776676 KiB
[startup+102.3 s]
/proc/loadavg: 3.63 1.43 0.58 5/337 704307
/proc/meminfo: memFree=118026352/131524600 swapFree=131071996/131071996
[pid=704200] ppid=704197 vsize=19174740 memory=4775008 CPUtime=106.6 cores=5,7
/proc/704200/stat : 704200 (java) S 704197 704200 703803 0 -1 1077936128 46425 0 0 0 10551 109 0 0 20 0 21 0 139580392 19634933760 1193752 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
################
# More data... #
################
/proc/meminfo: memFree=112652928/131524600 swapFree=131071996/131071996
[pid=704200] ppid=704197 vsize=19174740 memory=6159512 CPUtime=3286.5 cores=5,7
/proc/704200/stat : 704200 (java) S 704197 704200 703803 0 -1 1077936128 203616 0 0 0 328375 275 0 0 20 0 21 0 139580392 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
/proc/704200/statm: 4793685 1539878 5910 1 0 1584468 0
[pid=704200/tid=704202] ppid=704197 vsize=19174740 memory=6159512 CPUtime=3266.6 cores=5,7
/proc/704200/task/704202/stat : 704202 (java) R 704197 704200 703803 0 -1 4194368 80588 0 0 0 326561 99 0 0 20 0 21 0 139580392 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704211] ppid=704197 vsize=19174740 memory=6159512 CPUtime=0 cores=5,7
/proc/704200/task/704211/stat : 704211 (Finalizer) S 704197 704200 703803 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139580396 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704218] ppid=704197 vsize=19174740 memory=11640 CPUtime=0 cores=5,7
/proc/704200/task/704218/stat : 704218 (Common-Cleaner) S 704197 704200 703803 0 -1 1077936192 7133 0 0 0 0 0 0 0 20 0 21 0 139580397 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704298] ppid=704197 vsize=19174740 memory=6159512 CPUtime=0 cores=5,7
/proc/704200/task/704298/stat : 704298 (Timer-0) S 704197 704200 703803 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 139585477 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
Current children cumulated CPU time: 3286.5 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 6159512 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.14 4.05 5/335 706072
/proc/meminfo: memFree=112652720/131524600 swapFree=131071996/131071996
[pid=704200] ppid=704197 vsize=19174740 memory=6159512 CPUtime=3346.39 cores=5,7
/proc/704200/stat : 704200 (java) S 704197 704200 703803 0 -1 1077936128 205953 0 0 0 334363 276 0 0 20 0 21 0 139580392 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
/proc/704200/statm: 4793685 1539878 5910 1 0 1584468 0
[pid=704200/tid=704202] ppid=704197 vsize=19174740 memory=1912 CPUtime=3326.45 cores=5,7
/proc/704200/task/704202/stat : 704202 (java) R 704197 704200 703803 0 -1 4194368 82364 0 0 0 332546 99 0 0 20 0 21 0 139580392 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704211] ppid=704197 vsize=19174740 memory=6159512 CPUtime=0 cores=5,7
/proc/704200/task/704211/stat : 704211 (Finalizer) S 704197 704200 703803 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139580396 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704218] ppid=704197 vsize=19174740 memory=6159512 CPUtime=0 cores=5,7
/proc/704200/task/704218/stat : 704218 (Common-Cleaner) S 704197 704200 703803 0 -1 1077936192 7254 0 0 0 0 0 0 0 20 0 21 0 139580397 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704298] ppid=704197 vsize=19174740 memory=6159512 CPUtime=0 cores=5,7
/proc/704200/task/704298/stat : 704298 (Timer-0) S 704197 704200 703803 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 139585477 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
Current children cumulated CPU time: 3346.39 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 6159512 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.05 5/335 706082
/proc/meminfo: memFree=112649792/131524600 swapFree=131071996/131071996
[pid=704200] ppid=704197 vsize=19174740 memory=6159512 CPUtime=3406.3 cores=5,7
/proc/704200/stat : 704200 (java) S 704197 704200 703803 0 -1 1077936128 206546 0 0 0 340351 279 0 0 20 0 21 0 139580392 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
/proc/704200/statm: 4793685 1539878 5910 1 0 1584468 0
[pid=704200/tid=704202] ppid=704197 vsize=19174740 memory=11640 CPUtime=3386.31 cores=5,7
/proc/704200/task/704202/stat : 704202 (java) R 704197 704200 703803 0 -1 4194368 82475 0 0 0 338532 99 0 0 20 0 21 0 139580392 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704211] ppid=704197 vsize=19174740 memory=6159512 CPUtime=0 cores=5,7
/proc/704200/task/704211/stat : 704211 (Finalizer) S 704197 704200 703803 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139580396 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704218] ppid=704197 vsize=19174740 memory=6159512 CPUtime=0 cores=5,7
/proc/704200/task/704218/stat : 704218 (Common-Cleaner) S 704197 704200 703803 0 -1 1077936192 7398 0 0 0 0 0 0 0 20 0 21 0 139580397 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704298] ppid=704197 vsize=19174740 memory=12952 CPUtime=0 cores=5,7
/proc/704200/task/704298/stat : 704298 (Timer-0) S 704197 704200 703803 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 139585477 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
Current children cumulated CPU time: 3406.3 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 6159512 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.05 5/334 706093
/proc/meminfo: memFree=112649352/131524600 swapFree=131071996/131071996
[pid=704200] ppid=704197 vsize=19174740 memory=6159512 CPUtime=3466.2 cores=5,7
/proc/704200/stat : 704200 (java) S 704197 704200 703803 0 -1 1077936128 207304 0 0 0 346339 281 0 0 20 0 21 0 139580392 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
/proc/704200/statm: 4793685 1539878 5910 1 0 1584468 0
[pid=704200/tid=704202] ppid=704197 vsize=19174740 memory=6159512 CPUtime=3446.17 cores=5,7
/proc/704200/task/704202/stat : 704202 (java) R 704197 704200 703803 0 -1 4194368 82615 0 0 0 344518 99 0 0 20 0 21 0 139580392 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704211] ppid=704197 vsize=19174740 memory=1912 CPUtime=0 cores=5,7
/proc/704200/task/704211/stat : 704211 (Finalizer) S 704197 704200 703803 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139580396 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704218] ppid=704197 vsize=19174740 memory=6159512 CPUtime=0 cores=5,7
/proc/704200/task/704218/stat : 704218 (Common-Cleaner) S 704197 704200 703803 0 -1 1077936192 7543 0 0 0 0 0 0 0 20 0 21 0 139580397 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704298] ppid=704197 vsize=19174740 memory=6159512 CPUtime=0 cores=5,7
/proc/704200/task/704298/stat : 704298 (Timer-0) S 704197 704200 703803 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 139585477 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
Current children cumulated CPU time: 3466.2 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 6159512 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.05 5/334 706104
/proc/meminfo: memFree=112648940/131524600 swapFree=131071996/131071996
[pid=704200] ppid=704197 vsize=19174740 memory=6159512 CPUtime=3526.11 cores=5,7
/proc/704200/stat : 704200 (java) S 704197 704200 703803 0 -1 1077936128 208068 0 0 0 352328 283 0 0 20 0 21 0 139580392 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
/proc/704200/statm: 4793685 1539878 5910 1 0 1584468 0
[pid=704200/tid=704202] ppid=704197 vsize=19174740 memory=1912 CPUtime=3506.03 cores=5,7
/proc/704200/task/704202/stat : 704202 (java) R 704197 704200 703803 0 -1 4194368 82749 0 0 0 350504 99 0 0 20 0 21 0 139580392 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704211] ppid=704197 vsize=19174740 memory=6159512 CPUtime=0 cores=5,7
/proc/704200/task/704211/stat : 704211 (Finalizer) S 704197 704200 703803 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139580396 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704218] ppid=704197 vsize=19174740 memory=6159512 CPUtime=0 cores=5,7
/proc/704200/task/704218/stat : 704218 (Common-Cleaner) S 704197 704200 703803 0 -1 1077936192 7688 0 0 0 0 0 0 0 20 0 21 0 139580397 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704298] ppid=704197 vsize=19174740 memory=35296 CPUtime=0 cores=5,7
/proc/704200/task/704298/stat : 704298 (Timer-0) S 704197 704200 703803 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 139585477 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
Current children cumulated CPU time: 3526.11 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 6159512 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.06 5/331 706114
/proc/meminfo: memFree=112603116/131524600 swapFree=131071996/131071996
[pid=704200] ppid=704197 vsize=19174740 memory=6159512 CPUtime=3586.02 cores=5,7
/proc/704200/stat : 704200 (java) S 704197 704200 703803 0 -1 1077936128 208876 0 0 0 358317 285 0 0 20 0 21 0 139580392 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
/proc/704200/statm: 4793685 1539878 5910 1 0 1584468 0
[pid=704200/tid=704202] ppid=704197 vsize=19174740 memory=4593 CPUtime=3565.89 cores=5,7
/proc/704200/task/704202/stat : 704202 (java) R 704197 704200 703803 0 -1 4194368 82912 0 0 0 356490 99 0 0 20 0 21 0 139580392 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704211] ppid=704197 vsize=19174740 memory=6159512 CPUtime=0 cores=5,7
/proc/704200/task/704211/stat : 704211 (Finalizer) S 704197 704200 703803 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139580396 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704218] ppid=704197 vsize=19174740 memory=19140 CPUtime=0 cores=5,7
/proc/704200/task/704218/stat : 704218 (Common-Cleaner) S 704197 704200 703803 0 -1 1077936192 7833 0 0 0 0 0 0 0 20 0 21 0 139580397 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704298] ppid=704197 vsize=19174740 memory=8027495268623282274 CPUtime=0 cores=5,7
/proc/704200/task/704298/stat : 704298 (Timer-0) S 704197 704200 703803 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 139585477 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
Current children cumulated CPU time: 3586.02 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 6159512 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3596.3 s]
/proc/loadavg: 4.12 4.12 4.06 5/331 706116
/proc/meminfo: memFree=112603108/131524600 swapFree=131071996/131071996
[pid=704200] ppid=704197 vsize=19174740 memory=6159512 CPUtime=3600 cores=5,7
/proc/704200/stat : 704200 (java) S 704197 704200 703803 0 -1 1077936128 208932 0 0 0 359714 286 0 0 20 0 21 0 139580392 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
/proc/704200/statm: 4793685 1539878 5910 1 0 1584468 0
[pid=704200/tid=704202] ppid=704197 vsize=19174740 memory=6159512 CPUtime=3579.85 cores=5,7
/proc/704200/task/704202/stat : 704202 (java) R 704197 704200 703803 0 -1 4194368 82968 0 0 0 357886 99 0 0 20 0 21 0 139580392 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704211] ppid=704197 vsize=19174740 memory=1980 CPUtime=0 cores=5,7
/proc/704200/task/704211/stat : 704211 (Finalizer) S 704197 704200 703803 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139580396 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704218] ppid=704197 vsize=19174740 memory=6159512 CPUtime=0 cores=5,7
/proc/704200/task/704218/stat : 704218 (Common-Cleaner) S 704197 704200 703803 0 -1 1077936192 7833 0 0 0 0 0 0 0 20 0 21 0 139580397 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704298] ppid=704197 vsize=19174740 memory=6159512 CPUtime=0 cores=5,7
/proc/704200/task/704298/stat : 704298 (Timer-0) S 704197 704200 703803 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 139585477 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 6159512 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3596.37 s]
# the end of solver process 704200 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.24 s, system=2.88772 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3596.3 s]
/proc/loadavg: 4.12 4.12 4.06 5/331 706116
/proc/meminfo: memFree=112603108/131524600 swapFree=131071996/131071996
[pid=704200] ppid=704197 vsize=19174740 memory=6159512 CPUtime=3600 cores=5,7
/proc/704200/stat : 704200 (java) S 704197 704200 703803 0 -1 1077936128 208932 0 0 0 359714 286 0 0 20 0 21 0 139580392 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
/proc/704200/statm: 4793685 1539878 5910 1 0 1584468 0
[pid=704200/tid=704202] ppid=704197 vsize=19174740 memory=6159512 CPUtime=3579.85 cores=5,7
/proc/704200/task/704202/stat : 704202 (java) R 704197 704200 703803 0 -1 4194368 82968 0 0 0 357886 99 0 0 20 0 21 0 139580392 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704211] ppid=704197 vsize=19174740 memory=1980 CPUtime=0 cores=5,7
/proc/704200/task/704211/stat : 704211 (Finalizer) S 704197 704200 703803 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139580396 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704218] ppid=704197 vsize=19174740 memory=6159512 CPUtime=0 cores=5,7
/proc/704200/task/704218/stat : 704218 (Common-Cleaner) S 704197 704200 703803 0 -1 1077936192 7833 0 0 0 0 0 0 0 20 0 21 0 139580397 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
[pid=704200/tid=704298] ppid=704197 vsize=19174740 memory=6159512 CPUtime=0 cores=5,7
/proc/704200/task/704298/stat : 704298 (Timer-0) S 704197 704200 703803 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 139585477 19634933760 1539878 134679101440 94154690637824 94154690641520 140723738141472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94154690649336 94154690650128 94154696507392 140723738145750 140723738145863 140723738145863 140723738152904 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 6159512 KiB
Child status: 143
Real time (s): 3596.37
CPU time (s): 3600.12
CPU user time (s): 3597.24
CPU system time (s): 2.88772
CPU usage (%): 100.104
Max. virtual memory (cumulated for all children) (KiB): 19174740
Max. memory (cumulated for all children) (KiB): 6159512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.24
system time used= 2.88772
maximum resident set size= 6160968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212891
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126885
involuntary context switches= 2576
# summary of solver processes directly reported to runsolver:
# pid: 704200
# total CPU time (s): 3600.12
# total CPU user time (s): 3597.24
# total CPU system time (s): 2.88772
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.8759 second user time and 18.2562 second system time
The end
Begin job on nodeC023 at 2024-07-13 14:36:07 IDJOB=4424349 IDBENCH=143884 IDSOLVER=3035 FILE ID=nodeC023/4424349-1720874154 RUNJOBID= nodeC023-1720874164-703816 SLURM_JOB_ID= 7483764 Free space on /tmp= 890072 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-sub1_wcsp.wbo COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424349-1720874154/watcher-4424349-1720874154 -o /tmp/evaluation-result-4424349-1720874154/solver-4424349-1720874154 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1720874164-703816 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424349-1720874154.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= daf2f1ed087a94b78160429ad112bf14 RANDOM SEED=171353454 nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.805 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3637.208 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.803 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3637.452 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.804 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3621.368 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.803 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.810 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125802928 kB MemAvailable: 125913040 kB Buffers: 319544 kB Cached: 635848 kB SwapCached: 0 kB Active: 477456 kB Inactive: 4672812 kB Active(anon): 1580 kB Inactive(anon): 4231336 kB Active(file): 475876 kB Inactive(file): 441476 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 13612 kB Writeback: 36 kB AnonPages: 4195300 kB Mapped: 121264 kB Shmem: 37720 kB KReclaimable: 65164 kB Slab: 162412 kB SReclaimable: 65164 kB SUnreclaim: 97248 kB KernelStack: 5056 kB PageTables: 18164 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 10358124 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 54176 kB HardwareCorrupted: 0 kB AnonHugePages: 3684352 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: 164564 kB DirectMap2M: 5900288 kB DirectMap1G: 130023424 kB Free space on /tmp at the end= 890068 MiB End job on nodeC023 at 2024-07-13 15:36:03