Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j CP 2025-06-06 | SAT (TO) | -198 | 3600.23 | 3108.72 |
| Name | PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/ instances/normalized-QPLIB_3877.opb |
| MD5SUM | 2da2e651da52fe2a5e7f901cf56b111b |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -300 |
| Best CPU time to get the best result obtained on this benchmark | 3587.03 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 0 |
| Total number of constraints | 0 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | -1 |
| Maximum length of a constraint | 0 |
| Number of terms in the objective function | 1608 |
| Biggest coefficient in the objective function | 2 |
| Number of bits for the biggest coefficient in the objective function | 2 |
| Sum of the numbers in the objective function | 1732 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1732 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 1224 |
| Sum of products size (including duplicates) | 2448 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version PB25.v20250606 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 5.14.0-503.14.1.el9_5.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 2104792832 0.00/0.09 c Max memory 16282288128 0.00/0.09 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.13/0.15 c Pseudo Boolean Optimization by upper bound 0.13/0.15 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.13/0.15 c - never skip resolution steps 0.13/0.15 c - Auto-division on coefficients is disabled 0.13/0.15 c - No postprocessing 0.13/0.15 c - Conflict is considered as is when resolving 0.13/0.15 c - Use constraints as they come during conflict analysis 0.13/0.15 c - Weaken first using unassigned literals 0.13/0.15 c - Bump strategy: ALWAYS_ONE 0.13/0.15 c - Bumper: ANY 0.13/0.15 c --- Begin Solver configuration --- 0.13/0.15 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5cbc508c 0.13/0.15 c Learn all clauses as in MiniSAT 0.13/0.15 c LOGGER=java.util.logging.Logger@68fb2c38 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.15 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.13/0.15 c No reason simplification 0.13/0.15 c Armin Biere (Picosat) restarts strategy 0.13/0.15 c Activity based learned constraints deletion strategy with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.13/0.15 c timeout=2147483s 0.13/0.15 c DB Simplification allowed=false 0.13/0.15 c Listener: none 0.13/0.15 c --- End Solver configuration --- 0.13/0.15 c solving HOME/instance-4524415-1751616211.opb 0.13/0.15 c reading problem ... 0.13/0.16 c objective function found 0.32/0.22 c ... done. Wall clock time 0.065s. 0.32/0.22 c declared #vars 630 0.32/0.22 c internal #vars 1854 0.32/0.22 c #constraints 2448 0.32/0.22 c constraints type 0.32/0.22 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1224 0.32/0.22 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1224 0.32/0.22 c 2448 constraints processed. 0.32/0.23 c objective function length is 1608 literals 0.32/0.25 c SATISFIABLE 0.32/0.25 c OPTIMIZING... 0.32/0.25 c Got one! Elapsed wall clock time (in seconds):0.096 0.32/0.25 o -183 28.16/23.65 c Got one! Elapsed wall clock time (in seconds):23.492 28.16/23.65 o -192 70.54/65.37 c Got one! Elapsed wall clock time (in seconds):65.211 70.54/65.37 o -193 210.45/203.46 c cleaning 2494 clauses out of 5004 340.80/324.96 c Got one! Elapsed wall clock time (in seconds):324.811 340.80/324.96 o -194 532.52/490.56 c Got one! Elapsed wall clock time (in seconds):490.409 532.52/490.56 o -195 661.96/603.62 c cleaning 4252 clauses out of 8508 1606.10/1408.12 c cleaning 5619 clauses out of 11254 1644.43/1441.19 c Got one! Elapsed wall clock time (in seconds):1441.039 1644.43/1441.19 o -196 2136.15/1856.95 c Got one! Elapsed wall clock time (in seconds):1856.794 2136.15/1856.95 o -197 2483.52/2150.84 c Got one! Elapsed wall clock time (in seconds):2150.688 2483.52/2150.84 o -198 2893.77/2493.39 c cleaning 6814 clauses out of 13636 3600.01/3108.61 c starts : 65 3600.01/3108.63 c conflicts : 32204 3600.01/3108.63 c decisions : 205212 3600.01/3108.63 c propagations : 1056406 3600.01/3108.63 c inspects : 1899562820 3600.01/3108.63 c shortcuts : 0 3600.01/3108.63 c learnt literals : 0 3600.01/3108.63 c learnt binary clauses : 0 3600.01/3108.63 c learnt ternary clauses : 0 3600.01/3108.63 c learnt constraints : 32203 3600.01/3108.63 c ignored constraints : 0 3600.01/3108.63 c root simplifications : 0 3600.01/3108.63 c removed literals (reason simplification) : 0 3600.01/3108.63 c reason swapping (by a shorter reason) : 0 3600.01/3108.63 c Calls to reduceDB : 4 3600.01/3108.63 c Number of update (reduction) of LBD : 0 3600.01/3108.63 c Imported unit clauses : 0 3600.01/3108.64 c No decision after first conflict : false 3600.01/3108.64 c number of reductions to clauses (during analyze) : 0 3600.01/3108.64 c number of learned constraints concerned by reduction : 0 3600.01/3108.64 c number of learning phase by resolution : 0 3600.01/3108.64 c number of learning phase by cutting planes : 0 3600.01/3108.64 c number of rounding to 1 operations : 0 3600.01/3108.64 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.01/3108.64 c number of reductions of the coefficients by power 2 : 0 3600.01/3108.64 c number of right shift for reduction by power 2 : 0 3600.01/3108.64 c number of reductions of the coefficients by GCD over coefficients : 0 3600.01/3108.64 c number of ending skipping : 0 3600.01/3108.64 c number of internal skipping : 0 3600.01/3108.64 c number of derivation steps : 201640 3600.01/3108.64 c number of skipped derivation steps : 0 3600.01/3108.64 c number of remaining unassigned : 145176 3600.01/3108.64 c number of remaining assigned : 53122571 3600.01/3108.64 c number of falsified literals weakened from reason : 0 3600.01/3108.64 c number of falsified literals weakened from conflict : 0 3600.01/3108.64 c time for arithmetic operations : 23684562509 3600.01/3108.65 c minimum degree of deleted constraints : null 3600.01/3108.65 c maximum degree of deleted constraints : null 3600.01/3108.65 c number of deleted constraints : 0 3600.01/3108.65 c speed (assignments/second) : 339.853153644988 3600.01/3108.66 c non guided choices : 48 3600.01/3108.68 c learnt constraints type org.sat4j.pb.constraints.pb.MaxWatchPb : 13024 3600.01/3108.68 s SATISFIABLE 3600.01/3108.68 c Found 8 solution(s) 3600.01/3108.68 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 3600.01/3108.68 c objective function=-198 3600.01/3108.68 c Total wall clock time (in seconds): 3108.529
OK -198
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: 63708 MiB (50596 MiB free)
memory of node 1: 64465 MiB (61561 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524415-1751616211/watcher-4524415-1751616211 -o /tmp/evaluation-result-4524415-1751616211/solver-4524415-1751616211 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751609432-87443 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4524415-1751616211.opb
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=88378, runsolver pid=88375
[startup+0.100059 s]*
/proc/loadavg: 4.69 4.74 4.68 5/339 88396
/proc/meminfo: memFree=114824008/131249996 swapFree=33006296/33010684
[pid=88378] ppid=88375 vsize=18930384 memory=57708 CPUtime=0.13 cores=5,7
/proc/88378/stat : 88378 (java) S 88375 88378 87430 0 -1 4194304 6568 0 0 0 11 2 0 0 20 0 18 0 77298574 19384713216 14427 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
/proc/88378/statm: 4732596 14427 5337 1 0 547620 0
[pid=88378/tid=88380] ppid=88375 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/88378/task/88380/stat : 88380 (java) R 88375 88378 87430 0 -1 4194368 5072 0 0 0 7 1 0 0 20 0 18 0 77298576 19384713216 14427 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88389] ppid=88375 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/88378/task/88389/stat : 88389 (Finalizer) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77298578 19384713216 14427 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88396] ppid=88375 vsize=18930384 memory=58485492697507 CPUtime=0 cores=5,7
/proc/88378/task/88396/stat : 88396 (Common-Cleaner) S 88375 88378 87430 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77298578 19384713216 14427 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57708 KiB
[startup+0.205816 s]*
/proc/loadavg: 4.69 4.74 4.68 7/339 88396
/proc/meminfo: memFree=114816388/131249996 swapFree=33006296/33010684
[pid=88378] ppid=88375 vsize=18930384 memory=64368 CPUtime=0.32 cores=5,7
/proc/88378/stat : 88378 (java) S 88375 88378 87430 0 -1 4194304 7114 0 0 0 30 2 0 0 20 0 18 0 77298574 19384713216 16092 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
/proc/88378/statm: 4732596 16092 5433 1 0 547957 0
[pid=88378/tid=88380] ppid=88375 vsize=18930384 memory=4026794268 CPUtime=0.18 cores=5,7
/proc/88378/task/88380/stat : 88380 (java) R 88375 88378 87430 0 -1 4194368 5381 0 0 0 17 1 0 0 20 0 18 0 77298576 19384713216 16092 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88389] ppid=88375 vsize=18930384 memory=2630 CPUtime=0 cores=5,7
/proc/88378/task/88389/stat : 88389 (Finalizer) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77298578 19384713216 16092 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88396] ppid=88375 vsize=18930384 memory=57385981051877 CPUtime=0 cores=5,7
/proc/88378/task/88396/stat : 88396 (Common-Cleaner) S 88375 88378 87430 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77298578 19384713216 16092 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64368 KiB
[startup+0.30575 s]*
/proc/loadavg: 4.69 4.74 4.68 6/340 88397
/proc/meminfo: memFree=114810276/131249996 swapFree=33006296/33010684
[pid=88378] ppid=88375 vsize=18996948 memory=69840 CPUtime=0.51 cores=5,7
/proc/88378/stat : 88378 (java) S 88375 88378 87430 0 -1 4194304 7635 0 0 0 49 2 0 0 20 0 19 0 77298574 19452874752 17460 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
/proc/88378/statm: 4749237 17460 5465 1 0 548512 0
[pid=88378/tid=88380] ppid=88375 vsize=18996948 memory=-6000919485557990503 CPUtime=0.27 cores=5,7
/proc/88378/task/88380/stat : 88380 (java) R 88375 88378 87430 0 -1 4194368 5506 0 0 0 26 1 0 0 20 0 19 0 77298576 19452874752 17460 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88389] ppid=88375 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/88378/task/88389/stat : 88389 (Finalizer) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77298578 19452874752 17460 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88396] ppid=88375 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/88378/task/88396/stat : 88396 (Common-Cleaner) S 88375 88378 87430 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77298578 19452874752 17460 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88397] ppid=88375 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/88378/task/88397/stat : 88397 (Timer-0) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77298598 19452874752 17460 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 69840 KiB
[startup+0.70022 s]
/proc/loadavg: 4.69 4.74 4.68 6/340 88397
/proc/meminfo: memFree=114796540/131249996 swapFree=33006296/33010684
[pid=88378] ppid=88375 vsize=18996948 memory=108144 CPUtime=1.28 cores=5,7
/proc/88378/stat : 88378 (java) S 88375 88378 87430 0 -1 4194304 12707 0 0 0 124 4 0 0 20 0 19 0 77298574 19452874752 27036 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
/proc/88378/statm: 4749237 27036 5497 1 0 552239 0
[pid=88378/tid=88380] ppid=88375 vsize=18996948 memory=15104 CPUtime=0.67 cores=5,7
/proc/88378/task/88380/stat : 88380 (java) R 88375 88378 87430 0 -1 4194368 5526 0 0 0 65 2 0 0 20 0 19 0 77298576 19452874752 27036 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88389] ppid=88375 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/88378/task/88389/stat : 88389 (Finalizer) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77298578 19452874752 27036 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88396] ppid=88375 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/88378/task/88396/stat : 88396 (Common-Cleaner) S 88375 88378 87430 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77298578 19452874752 27036 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88397] ppid=88375 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/88378/task/88397/stat : 88397 (Timer-0) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77298598 19452874752 27036 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 108144 KiB
[startup+1.50023 s]
/proc/loadavg: 4.69 4.74 4.68 7/340 88397
/proc/meminfo: memFree=114759740/131249996 swapFree=33006296/33010684
[pid=88378] ppid=88375 vsize=18996948 memory=164764 CPUtime=2.81 cores=5,7
/proc/88378/stat : 88378 (java) S 88375 88378 87430 0 -1 4194304 17809 0 0 0 276 5 0 0 20 0 19 0 77298574 19452874752 41191 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
/proc/88378/statm: 4749237 41191 5497 1 0 552423 0
[pid=88378/tid=88380] ppid=88375 vsize=18996948 memory=10752 CPUtime=1.45 cores=5,7
/proc/88378/task/88380/stat : 88380 (java) R 88375 88378 87430 0 -1 4194368 5812 0 0 0 142 3 0 0 20 0 19 0 77298576 19452874752 41191 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88389] ppid=88375 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/88378/task/88389/stat : 88389 (Finalizer) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77298578 19452874752 41191 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88396] ppid=88375 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/88378/task/88396/stat : 88396 (Common-Cleaner) S 88375 88378 87430 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77298578 19452874752 41191 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88397] ppid=88375 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/88378/task/88397/stat : 88397 (Timer-0) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77298598 19452874752 41191 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 164764 KiB
[startup+3.1056 s]
/proc/loadavg: 4.69 4.74 4.68 5/341 88398
/proc/meminfo: memFree=114678180/131249996 swapFree=33006296/33010684
[pid=88378] ppid=88375 vsize=19063512 memory=192252 CPUtime=4.98 cores=5,7
/proc/88378/stat : 88378 (java) S 88375 88378 87430 0 -1 4194304 20148 0 0 0 492 6 0 0 20 0 20 0 77298574 19521036288 48063 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
/proc/88378/statm: 4765878 48063 5529 1 0 552714 0
[pid=88378/tid=88380] ppid=88375 vsize=19063512 memory=10752 CPUtime=3.02 cores=5,7
/proc/88378/task/88380/stat : 88380 (java) R 88375 88378 87430 0 -1 4194368 6232 0 0 0 299 3 0 0 20 0 20 0 77298576 19521036288 48063 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88389] ppid=88375 vsize=19063512 memory=-6000919485557990503 CPUtime=0 cores=5,7
/proc/88378/task/88389/stat : 88389 (Finalizer) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77298578 19521036288 48063 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88396] ppid=88375 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/88378/task/88396/stat : 88396 (Common-Cleaner) S 88375 88378 87430 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 77298578 19521036288 48063 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88397] ppid=88375 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/88378/task/88397/stat : 88397 (Timer-0) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77298598 19521036288 48063 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
Current children cumulated CPU time: 4.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 192252 KiB
[startup+6.30023 s]
/proc/loadavg: 4.64 4.73 4.67 5/341 88398
/proc/meminfo: memFree=114646180/131249996 swapFree=33006296/33010684
[pid=88378] ppid=88375 vsize=19063512 memory=217000 CPUtime=8.87 cores=5,7
/proc/88378/stat : 88378 (java) S 88375 88378 87430 0 -1 4194304 23529 0 0 0 880 7 0 0 20 0 20 0 77298574 19521036288 54250 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
/proc/88378/statm: 4765878 54250 5529 1 0 554179 0
[pid=88378/tid=88380] ppid=88375 vsize=19063512 memory=0 CPUtime=6.17 cores=5,7
/proc/88378/task/88380/stat : 88380 (java) R 88375 88378 87430 0 -1 4194368 6270 0 0 0 614 3 0 0 20 0 20 0 77298576 19521036288 54250 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88389] ppid=88375 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/88378/task/88389/stat : 88389 (Finalizer) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77298578 19521036288 54250 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88396] ppid=88375 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/88378/task/88396/stat : 88396 (Common-Cleaner) S 88375 88378 87430 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 77298578 19521036288 54250 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88397] ppid=88375 vsize=19063512 memory=179700 CPUtime=0 cores=5,7
/proc/88378/task/88397/stat : 88397 (Timer-0) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77298598 19521036288 54250 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
Current children cumulated CPU time: 8.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 217000 KiB
[startup+12.7002 s]
/proc/loadavg: 4.59 4.71 4.67 5/341 88398
/proc/meminfo: memFree=114425752/131249996 swapFree=33006296/33010684
[pid=88378] ppid=88375 vsize=19063512 memory=429880 CPUtime=15.74 cores=5,7
/proc/88378/stat : 88378 (java) S 88375 88378 87430 0 -1 4194304 28717 0 0 0 1562 12 0 0 20 0 20 0 77298574 19521036288 107470 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
/proc/88378/statm: 4765878 107470 5529 1 0 554197 0
[pid=88378/tid=88380] ppid=88375 vsize=19063512 memory=179700 CPUtime=12.42 cores=5,7
/proc/88378/task/88380/stat : 88380 (java) R 88375 88378 87430 0 -1 4194368 7586 0 0 0 1237 5 0 0 20 0 20 0 77298576 19521036288 107470 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88389] ppid=88375 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/88378/task/88389/stat : 88389 (Finalizer) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77298578 19521036288 107470 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88396] ppid=88375 vsize=19063512 memory=366344 CPUtime=0 cores=5,7
/proc/88378/task/88396/stat : 88396 (Common-Cleaner) S 88375 88378 87430 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 77298578 19521036288 107470 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88397] ppid=88375 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/88378/task/88397/stat : 88397 (Timer-0) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77298598 19521036288 107470 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
Current children cumulated CPU time: 15.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 429880 KiB
[startup+25.5003 s]
/proc/loadavg: 4.46 4.68 4.66 5/341 88398
/proc/meminfo: memFree=113717652/131249996 swapFree=33006296/33010684
[pid=88378] ppid=88375 vsize=19063512 memory=1083252 CPUtime=30.2 cores=5,7
/proc/88378/stat : 88378 (java) S 88375 88378 87430 0 -1 4194304 41439 0 0 0 2990 30 0 0 20 0 20 0 77298574 19521036288 270813 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
/proc/88378/statm: 4765878 270813 5529 1 0 663393 0
[pid=88378/tid=88380] ppid=88375 vsize=19063512 memory=10752 CPUtime=24.94 cores=5,7
/proc/88378/task/88380/stat : 88380 (java) R 88375 88378 87430 0 -1 4194368 9204 0 0 0 2480 14 0 0 20 0 20 0 77298576 19521036288 270813 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88389] ppid=88375 vsize=19063512 memory=366344 CPUtime=0 cores=5,7
/proc/88378/task/88389/stat : 88389 (Finalizer) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77298578 19521036288 270813 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88396] ppid=88375 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/88378/task/88396/stat : 88396 (Common-Cleaner) S 88375 88378 87430 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 77298578 19521036288 270813 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88397] ppid=88375 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/88378/task/88397/stat : 88397 (Timer-0) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77298598 19521036288 270813 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
Current children cumulated CPU time: 30.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1083252 KiB
[startup+51.1056 s]
/proc/loadavg: 4.44 4.66 4.65 5/341 88398
/proc/meminfo: memFree=113283880/131249996 swapFree=33006296/33010684
[pid=88378] ppid=88375 vsize=19063512 memory=1443932 CPUtime=56.16 cores=5,7
/proc/88378/stat : 88378 (java) S 88375 88378 87430 0 -1 4194304 46417 0 0 0 5579 37 0 0 20 0 20 0 77298574 19521036288 360983 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
/proc/88378/statm: 4765878 360983 5529 1 0 663396 0
[pid=88378/tid=88380] ppid=88375 vsize=19063512 memory=14848 CPUtime=50.16 cores=5,7
/proc/88378/task/88380/stat : 88380 (java) R 88375 88378 87430 0 -1 4194368 10458 0 0 0 4999 17 0 0 20 0 20 0 77298576 19521036288 360983 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88389] ppid=88375 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/88378/task/88389/stat : 88389 (Finalizer) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77298578 19521036288 2219031 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88396] ppid=88375 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/88378/task/88396/stat : 88396 (Common-Cleaner) S 88375 88378 87430 0 -1 4194368 1648 0 0 0 0 0 0 0 20 0 20 0 77298578 19521036288 2219031 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88397] ppid=88375 vsize=19063512 memory=8876124 CPUtime=0 cores=5,7
/proc/88378/task/88397/stat : 88397 (Timer-0) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77298598 19521036288 2219031 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
Current children cumulated CPU time: 3189.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8876124 KiB
[startup+2802.3 s]
/proc/loadavg: 4.78 4.83 4.75 5/341 88593
/proc/meminfo: memFree=103724156/131249996 swapFree=33006296/33010684
[pid=88378] ppid=88375 vsize=19063512 memory=9001448 CPUtime=3257.55 cores=5,7
/proc/88378/stat : 88378 (java) S 88375 88378 87430 0 -1 4194304 288162 0 0 0 325186 569 0 0 20 0 20 0 77298574 19521036288 2250362 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
/proc/88378/statm: 4765878 2250362 5529 1 0 2264727 0
[pid=88378/tid=88380] ppid=88375 vsize=19063512 memory=9001448 CPUtime=2760.23 cores=5,7
/proc/88378/task/88380/stat : 88380 (java) R 88375 88378 87430 0 -1 4194368 131168 0 0 0 275861 162 0 0 20 0 20 0 77298576 19521036288 2250362 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88389] ppid=88375 vsize=19063512 memory=9001448 CPUtime=0 cores=5,7
/proc/88378/task/88389/stat : 88389 (Finalizer) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77298578 19521036288 2250362 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88396] ppid=88375 vsize=19063512 memory=21824 CPUtime=0 cores=5,7
/proc/88378/task/88396/stat : 88396 (Common-Cleaner) S 88375 88378 87430 0 -1 4194368 1688 0 0 0 0 0 0 0 20 0 20 0 77298578 19521036288 2250362 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88397] ppid=88375 vsize=19063512 memory=9001448 CPUtime=0 cores=5,7
/proc/88378/task/88397/stat : 88397 (Timer-0) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77298598 19521036288 2250362 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
Current children cumulated CPU time: 3257.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9001448 KiB
[startup+2862.3 s]
/proc/loadavg: 4.95 4.85 4.76 5/341 88598
/proc/meminfo: memFree=103245212/131249996 swapFree=33006296/33010684
[pid=88378] ppid=88375 vsize=19063512 memory=9360096 CPUtime=3325.95 cores=5,7
/proc/88378/stat : 88378 (java) S 88375 88378 87430 0 -1 4194304 295826 0 0 0 332011 584 0 0 20 0 20 0 77298574 19521036288 2340024 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
/proc/88378/statm: 4765878 2340024 5529 1 0 2354546 0
[pid=88378/tid=88380] ppid=88375 vsize=19063512 memory=9001448 CPUtime=2819.43 cores=5,7
/proc/88378/task/88380/stat : 88380 (java) R 88375 88378 87430 0 -1 4194368 135309 0 0 0 281772 171 0 0 20 0 20 0 77298576 19521036288 2340024 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88389] ppid=88375 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/88378/task/88389/stat : 88389 (Finalizer) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77298578 19521036288 2340024 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88396] ppid=88375 vsize=19063512 memory=9001448 CPUtime=0 cores=5,7
/proc/88378/task/88396/stat : 88396 (Common-Cleaner) S 88375 88378 87430 0 -1 4194368 1773 0 0 0 0 0 0 0 20 0 20 0 77298578 19521036288 2340024 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88397] ppid=88375 vsize=19063512 memory=9001448 CPUtime=0 cores=5,7
/proc/88378/task/88397/stat : 88397 (Timer-0) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77298598 19521036288 2340024 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
Current children cumulated CPU time: 3325.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9360096 KiB
[startup+2922.3 s]
/proc/loadavg: 4.88 4.85 4.77 5/341 88600
/proc/meminfo: memFree=102984844/131249996 swapFree=33006296/33010684
[pid=88378] ppid=88375 vsize=19063512 memory=9485408 CPUtime=3394.61 cores=5,7
/proc/88378/stat : 88378 (java) S 88375 88378 87430 0 -1 4194304 302955 0 0 0 338869 592 0 0 20 0 20 0 77298574 19521036288 2371352 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
/proc/88378/statm: 4765878 2371352 5529 1 0 2385971 0
[pid=88378/tid=88380] ppid=88375 vsize=19063512 memory=3200 CPUtime=2878.59 cores=5,7
/proc/88378/task/88380/stat : 88380 (java) R 88375 88378 87430 0 -1 4194368 139983 0 0 0 287685 174 0 0 20 0 20 0 77298576 19521036288 2371352 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88389] ppid=88375 vsize=19063512 memory=9001448 CPUtime=0 cores=5,7
/proc/88378/task/88389/stat : 88389 (Finalizer) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77298578 19521036288 2371352 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88396] ppid=88375 vsize=19063512 memory=9485408 CPUtime=0 cores=5,7
/proc/88378/task/88396/stat : 88396 (Common-Cleaner) S 88375 88378 87430 0 -1 4194368 1846 0 0 0 0 0 0 0 20 0 20 0 77298578 19521036288 2371352 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88397] ppid=88375 vsize=19063512 memory=9485408 CPUtime=0 cores=5,7
/proc/88378/task/88397/stat : 88397 (Timer-0) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77298598 19521036288 2371352 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
Current children cumulated CPU time: 3394.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9485408 KiB
[startup+2982.3 s]
/proc/loadavg: 4.95 4.88 4.79 5/342 88605
/proc/meminfo: memFree=102855564/131249996 swapFree=33006296/33010684
[pid=88378] ppid=88375 vsize=19063512 memory=9485408 CPUtime=3455.2 cores=5,7
/proc/88378/stat : 88378 (java) S 88375 88378 87430 0 -1 4194304 307609 0 0 0 344926 594 0 0 20 0 20 0 77298574 19521036288 2371352 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
/proc/88378/statm: 4765878 2371352 5529 1 0 2385971 0
[pid=88378/tid=88380] ppid=88375 vsize=19063512 memory=9485408 CPUtime=2937.75 cores=5,7
/proc/88378/task/88380/stat : 88380 (java) R 88375 88378 87430 0 -1 4194368 143523 0 0 0 293600 175 0 0 20 0 20 0 77298576 19521036288 2371352 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88389] ppid=88375 vsize=19063512 memory=9485408 CPUtime=0 cores=5,7
/proc/88378/task/88389/stat : 88389 (Finalizer) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77298578 19521036288 2371352 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88396] ppid=88375 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/88378/task/88396/stat : 88396 (Common-Cleaner) S 88375 88378 87430 0 -1 4194368 1899 0 0 0 0 0 0 0 20 0 20 0 77298578 19521036288 2371352 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88397] ppid=88375 vsize=19063512 memory=344440 CPUtime=0 cores=5,7
/proc/88378/task/88397/stat : 88397 (Timer-0) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77298598 19521036288 2371352 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
Current children cumulated CPU time: 3455.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9485408 KiB
[startup+3042.3 s]
/proc/loadavg: 4.87 4.86 4.78 6/342 88611
/proc/meminfo: memFree=102220608/131249996 swapFree=33006296/33010684
[pid=88378] ppid=88375 vsize=19063512 memory=9904624 CPUtime=3524.25 cores=5,7
/proc/88378/stat : 88378 (java) S 88375 88378 87430 0 -1 4194304 312834 0 0 0 351814 611 0 0 20 0 20 0 77298574 19521036288 2476156 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
/proc/88378/statm: 4765878 2476156 5529 1 0 2490415 0
[pid=88378/tid=88380] ppid=88375 vsize=19063512 memory=9904624 CPUtime=2996.91 cores=5,7
/proc/88378/task/88380/stat : 88380 (java) R 88375 88378 87430 0 -1 4194368 147520 0 0 0 299508 183 0 0 20 0 20 0 77298576 19521036288 2476156 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88389] ppid=88375 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/88378/task/88389/stat : 88389 (Finalizer) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77298578 19521036288 2476156 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88396] ppid=88375 vsize=19063512 memory=9485408 CPUtime=0 cores=5,7
/proc/88378/task/88396/stat : 88396 (Common-Cleaner) S 88375 88378 87430 0 -1 4194368 1901 0 0 0 0 0 0 0 20 0 20 0 77298578 19521036288 2476156 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88397] ppid=88375 vsize=19063512 memory=15104 CPUtime=0 cores=5,7
/proc/88378/task/88397/stat : 88397 (Timer-0) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77298598 19521036288 2476156 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
Current children cumulated CPU time: 3524.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9904624 KiB
[startup+3102.3 s]
/proc/loadavg: 4.47 4.76 4.76 4/317 88647
/proc/meminfo: memFree=107485856/131249996 swapFree=33006296/33010684
[pid=88378] ppid=88375 vsize=19063512 memory=10021488 CPUtime=3593.47 cores=5,7
/proc/88378/stat : 88378 (java) S 88375 88378 87430 0 -1 4194304 320223 0 0 0 358724 623 0 0 20 0 20 0 77298574 19521036288 2505372 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
/proc/88378/statm: 4765878 2505372 5529 1 0 2519720 0
[pid=88378/tid=88380] ppid=88375 vsize=19063512 memory=9904624 CPUtime=3056.04 cores=5,7
/proc/88378/task/88380/stat : 88380 (java) R 88375 88378 87430 0 -1 4194368 152926 0 0 0 305417 187 0 0 20 0 20 0 77298576 19521036288 2505372 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88389] ppid=88375 vsize=19063512 memory=10021488 CPUtime=0 cores=5,7
/proc/88378/task/88389/stat : 88389 (Finalizer) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77298578 19521036288 2505372 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88396] ppid=88375 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/88378/task/88396/stat : 88396 (Common-Cleaner) S 88375 88378 87430 0 -1 4194368 1906 0 0 0 0 0 0 0 20 0 20 0 77298578 19521036288 2505372 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88397] ppid=88375 vsize=19063512 memory=10021488 CPUtime=0 cores=5,7
/proc/88378/task/88397/stat : 88397 (Timer-0) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77298598 19521036288 2505372 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
Current children cumulated CPU time: 3593.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10021488 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3108.6 s]
/proc/loadavg: 4.35 4.73 4.75 4/317 88647
/proc/meminfo: memFree=107485856/131249996 swapFree=33006296/33010684
[pid=88378] ppid=88375 vsize=19063512 memory=10021488 CPUtime=3600.01 cores=5,7
/proc/88378/stat : 88378 (java) S 88375 88378 87430 0 -1 4194304 320822 0 0 0 359378 623 0 0 20 0 20 0 77298574 19521036288 2505372 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
/proc/88378/statm: 4765878 2505372 5529 1 0 2519720 0
[pid=88378/tid=88380] ppid=88375 vsize=19063512 memory=6900 CPUtime=3062.19 cores=5,7
/proc/88378/task/88380/stat : 88380 (java) R 88375 88378 87430 0 -1 4194368 153394 0 0 0 306032 187 0 0 20 0 20 0 77298576 19521036288 2505372 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88389] ppid=88375 vsize=19063512 memory=8850140 CPUtime=0 cores=5,7
/proc/88378/task/88389/stat : 88389 (Finalizer) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77298578 19521036288 2505372 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88396] ppid=88375 vsize=19063512 memory=6900 CPUtime=0 cores=5,7
/proc/88378/task/88396/stat : 88396 (Common-Cleaner) S 88375 88378 87430 0 -1 4194368 1906 0 0 0 0 0 0 0 20 0 20 0 77298578 19521036288 2505372 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
[pid=88378/tid=88397] ppid=88375 vsize=19063512 memory=8850140 CPUtime=0 cores=5,7
/proc/88378/task/88397/stat : 88397 (Timer-0) S 88375 88378 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77298598 19521036288 2505372 18446744073709551615 94829489684480 94829489688176 140723851041920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829489695992 94829489696784 94829509345280 140723851049342 140723851049446 140723851049446 140723851055048 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10021488 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3108.72 s]
# the end of solver process 88378 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3593.96 s, system=6.26911 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3108.71 s]*
/proc/loadavg: 4.35 4.73 4.75 4/299 88650
/proc/meminfo: memFree=114299148/131249996 swapFree=33006296/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3108.72
CPU time (s): 3600.23
CPU user time (s): 3593.96
CPU system time (s): 6.26911
CPU usage (%): 115.81
Max. virtual memory (cumulated for all children) (KiB): 19068932
Max. memory (cumulated for all children) (KiB): 10021488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.96
system time used= 6.26912
maximum resident set size= 10022384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 322448
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112800
involuntary context switches= 31962
# summary of solver processes directly reported to runsolver:
# pid: 88378
# total CPU time (s): 3600.23
# total CPU user time (s): 3593.96
# total CPU system time (s): 6.26911
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.39442 second user time and 14.8363 second system time
The end
Begin job on nodeC015 at 2025-07-04 10:03:31 IDJOB=4524415 IDBENCH=180984 IDSOLVER=3361 FILE ID=nodeC015/4524415-1751616211 RUNJOBID= nodeC015-1751609432-87443 SLURM_JOB_ID= 9598905 Free space on /tmp= 432308 MiB SOLVER NAME= Sat4j CP 2025-06-06 BENCH NAME= PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/instances/normalized-QPLIB_3877.opb COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524415-1751616211/watcher-4524415-1751616211 -o /tmp/evaluation-result-4524415-1751616211/solver-4524415-1751616211 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751609432-87443 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4524415-1751616211.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 2da2e651da52fe2a5e7f901cf56b111b RANDOM SEED=393522915 nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.056 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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.14 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 : 3600.089 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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.14 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 : 3592.971 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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.14 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 : 3600.350 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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.14 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 : 3600.064 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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.856 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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.14 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.543 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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.14 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 : 3600.075 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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 114849204 kB MemAvailable: 115622408 kB Buffers: 1508 kB Cached: 1555588 kB SwapCached: 3880 kB Active: 14416420 kB Inactive: 1317708 kB Active(anon): 14142388 kB Inactive(anon): 48804 kB Active(file): 274032 kB Inactive(file): 1268904 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33006296 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 684 kB Writeback: 56 kB AnonPages: 14176328 kB Mapped: 120452 kB Shmem: 14152 kB KReclaimable: 139016 kB Slab: 231052 kB SReclaimable: 139016 kB SUnreclaim: 92036 kB KernelStack: 5216 kB PageTables: 31484 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 17813928 kB VmallocTotal: 34359738367 kB VmallocUsed: 151432 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 13942784 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 205524 kB DirectMap2M: 11100160 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432368 MiB End job on nodeC015 at 2025-07-04 10:55:20