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 | OPT | 62 | 860.204 | 841.774 |
| Name | PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb |
| MD5SUM | 747698da0f593f637a147af56db5f584 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 62 |
| Best CPU time to get the best result obtained on this benchmark | 0.061267 |
| 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 | 672 |
| Total number of constraints | 2028 |
| Number of constraints which are clauses | 2004 |
| Number of constraints which are cardinality constraints (but not clauses) | 24 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 28 |
| Number of terms in the objective function | 672 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 672 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 672 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.11/0.17 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.11/0.17 c This is free software under the dual EPL/GNU LGPL licenses. 0.11/0.17 c See www.sat4j.org for details. 0.11/0.19 c version PB25.v20250606 0.27/0.23 c java.runtime.name OpenJDK Runtime Environment 0.27/0.23 c java.vm.name OpenJDK 64-Bit Server VM 0.27/0.23 c java.vm.version 22.0.1+8-16 0.27/0.23 c java.vm.vendor Oracle Corporation 0.27/0.23 c sun.arch.data.model 64 0.27/0.23 c java.version 22.0.1 0.27/0.23 c os.name Linux 0.27/0.23 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.27/0.23 c os.arch amd64 0.27/0.24 c Free memory 2106806208 0.27/0.24 c Max memory 16282288128 0.27/0.24 c Total memory 2113929216 0.27/0.24 c Number of processors 2 0.43/0.41 c Pseudo Boolean Optimization by upper bound 0.43/0.41 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.43/0.41 c - never skip resolution steps 0.43/0.41 c - Auto-division on coefficients is disabled 0.43/0.41 c - No postprocessing 0.43/0.41 c - Conflict is considered as is when resolving 0.43/0.41 c - Use constraints as they come during conflict analysis 0.43/0.41 c - Weaken first using unassigned literals 0.43/0.41 c - Bump strategy: ALWAYS_ONE 0.43/0.41 c - Bumper: ANY 0.43/0.41 c --- Begin Solver configuration --- 0.43/0.41 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5cbc508c 0.43/0.41 c Learn all clauses as in MiniSAT 0.43/0.41 c LOGGER=java.util.logging.Logger@68fb2c38 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.43/0.41 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.43/0.41 c No reason simplification 0.43/0.41 c Armin Biere (Picosat) restarts strategy 0.43/0.41 c Activity based learned constraints deletion strategy with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.43/0.41 c timeout=2147483s 0.43/0.41 c DB Simplification allowed=false 0.43/0.41 c Listener: none 0.43/0.41 c --- End Solver configuration --- 0.43/0.41 c solving HOME/instance-4487120-1751324128.opb 0.43/0.41 c reading problem ... 0.43/0.41 c objective function found 0.77/0.56 c ... done. Wall clock time 0.154s. 0.77/0.56 c declared #vars 672 0.77/0.56 c #constraints 2028 0.77/0.56 c constraints type 0.77/0.57 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 386 0.77/0.57 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 24 0.77/0.57 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1618 0.77/0.57 c 2028 constraints processed. 0.77/0.59 c objective function length is 672 literals 2.09/1.22 c SATISFIABLE 2.09/1.22 c OPTIMIZING... 2.09/1.22 c Got one! Elapsed wall clock time (in seconds):0.813 2.09/1.22 o 70 2.09/1.25 c Got one! Elapsed wall clock time (in seconds):0.846 2.09/1.25 o 68 3.87/2.11 c Got one! Elapsed wall clock time (in seconds):1.704 3.87/2.11 o 66 14.08/9.80 c Got one! Elapsed wall clock time (in seconds):9.389 14.08/9.80 o 64 32.91/27.76 c Got one! Elapsed wall clock time (in seconds):27.35 32.91/27.76 o 62 44.14/38.35 c cleaning 2477 clauses out of 5004 194.25/185.93 c cleaning 4222 clauses out of 8525 580.47/569.55 c cleaning 5597 clauses out of 11309 860.13/841.71 c starts : 41 860.13/841.71 c conflicts : 21637 860.13/841.71 c decisions : 86487 860.13/841.71 c propagations : 980149 860.13/841.71 c inspects : 844222619 860.13/841.71 c shortcuts : 0 860.13/841.71 c learnt literals : 0 860.13/841.71 c learnt binary clauses : 0 860.13/841.71 c learnt ternary clauses : 5 860.13/841.71 c learnt constraints : 21636 860.13/841.71 c ignored constraints : 0 860.13/841.71 c root simplifications : 0 860.13/841.71 c removed literals (reason simplification) : 0 860.13/841.71 c reason swapping (by a shorter reason) : 0 860.13/841.71 c Calls to reduceDB : 3 860.13/841.71 c Number of update (reduction) of LBD : 0 860.13/841.71 c Imported unit clauses : 0 860.13/841.72 c No decision after first conflict : false 860.13/841.72 c number of reductions to clauses (during analyze) : 0 860.13/841.72 c number of learned constraints concerned by reduction : 0 860.13/841.72 c number of learning phase by resolution : 0 860.13/841.72 c number of learning phase by cutting planes : 0 860.13/841.72 c number of rounding to 1 operations : 0 860.13/841.72 c number of easy rounding to 1 operations (no literal elimination needed) : 0 860.13/841.72 c number of reductions of the coefficients by power 2 : 0 860.13/841.72 c number of right shift for reduction by power 2 : 0 860.13/841.72 c number of reductions of the coefficients by GCD over coefficients : 0 860.13/841.72 c number of ending skipping : 0 860.13/841.72 c number of internal skipping : 0 860.13/841.72 c number of derivation steps : 208182 860.13/841.72 c number of skipped derivation steps : 0 860.13/841.72 c number of remaining unassigned : 379151 860.13/841.72 c number of remaining assigned : 5486986 860.13/841.72 c number of falsified literals weakened from reason : 0 860.13/841.72 c number of falsified literals weakened from conflict : 0 860.13/841.72 c time for arithmetic operations : 8939255981 860.13/841.72 c minimum degree of deleted constraints : null 860.13/841.72 c maximum degree of deleted constraints : null 860.13/841.72 c number of deleted constraints : 0 860.13/841.72 c speed (assignments/second) : 1165.2834002080547 860.13/841.72 c non guided choices : 0 860.13/841.72 s OPTIMUM FOUND 860.13/841.72 c Found 5 solution(s) 860.13/841.72 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 860.13/841.73 c objective function=62 860.13/841.73 c Total wall clock time (in seconds): 841.328
OK 62
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: 63794 MiB (55789 MiB free)
memory of node 1: 64507 MiB (60843 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4487120-1751324128/watcher-4487120-1751324128 -o /tmp/evaluation-result-4487120-1751324128/solver-4487120-1751324128 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751317014-45976 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4487120-1751324128.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=47411, runsolver pid=47408
[startup+0.100074 s]*
/proc/loadavg: 4.34 4.40 4.36 6/325 47429
/proc/meminfo: memFree=119416088/131382116 swapFree=33010684/33010684
[pid=47411] ppid=47408 vsize=18930384 memory=47944 CPUtime=0.11 cores=5,7
/proc/47411/stat : 47411 (java) S 47408 47411 45963 0 -1 4194304 5715 0 0 0 8 3 0 0 20 0 18 0 48092525 19384713216 11986 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
/proc/47411/statm: 4732596 11986 5273 1 0 546923 0
[pid=47411/tid=47413] ppid=47408 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/47411/task/47413/stat : 47413 (java) R 47408 47411 45963 0 -1 4194368 4608 0 0 0 4 2 0 0 20 0 18 0 48092526 19384713216 11986 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47422] ppid=47408 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/47411/task/47422/stat : 47422 (Finalizer) S 47408 47411 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 48092531 19384713216 11986 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47429] ppid=47408 vsize=18930384 memory=59593594265959 CPUtime=0 cores=5,7
/proc/47411/task/47429/stat : 47429 (Common-Cleaner) S 47408 47411 45963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 48092532 19384713216 11986 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47944 KiB
[startup+0.213778 s]*
/proc/loadavg: 4.34 4.40 4.36 6/325 47429
/proc/meminfo: memFree=119414324/131382116 swapFree=33010684/33010684
[pid=47411] ppid=47408 vsize=18930384 memory=51016 CPUtime=0.27 cores=5,7
/proc/47411/stat : 47411 (java) S 47408 47411 45963 0 -1 4194304 6433 0 0 0 23 4 0 0 20 0 18 0 48092525 19384713216 12754 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
/proc/47411/statm: 4732596 12754 5337 1 0 547529 0
[pid=47411/tid=47413] ppid=47408 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=5,7
/proc/47411/task/47413/stat : 47413 (java) R 47408 47411 45963 0 -1 4194368 4969 0 0 0 14 2 0 0 20 0 18 0 48092526 19384713216 12754 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47422] ppid=47408 vsize=18930384 memory=1641 CPUtime=0 cores=5,7
/proc/47411/task/47422/stat : 47422 (Finalizer) S 47408 47411 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 48092531 19384713216 12754 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47429] ppid=47408 vsize=18930384 memory=58494082614266 CPUtime=0 cores=5,7
/proc/47411/task/47429/stat : 47429 (Common-Cleaner) S 47408 47411 45963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 48092532 19384713216 12754 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51016 KiB
[startup+0.314714 s]*
/proc/loadavg: 4.34 4.40 4.36 7/325 47429
/proc/meminfo: memFree=119404684/131382116 swapFree=33010684/33010684
[pid=47411] ppid=47408 vsize=18930384 memory=56200 CPUtime=0.43 cores=5,7
/proc/47411/stat : 47411 (java) S 47408 47411 45963 0 -1 4194304 6714 0 0 0 39 4 0 0 20 0 18 0 48092525 19384713216 14050 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
/proc/47411/statm: 4732596 14050 5337 1 0 547728 0
[pid=47411/tid=47413] ppid=47408 vsize=18930384 memory=-6000919472790463851 CPUtime=0.24 cores=5,7
/proc/47411/task/47413/stat : 47413 (java) R 47408 47411 45963 0 -1 4194368 5142 0 0 0 22 2 0 0 20 0 18 0 48092526 19384713216 14050 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47422] ppid=47408 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/47411/task/47422/stat : 47422 (Finalizer) S 47408 47411 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 48092531 19384713216 14050 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47429] ppid=47408 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/47411/task/47429/stat : 47429 (Common-Cleaner) S 47408 47411 45963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 48092532 19384713216 14050 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 56200 KiB
[startup+0.70037 s]
/proc/loadavg: 4.34 4.40 4.36 7/325 47429
/proc/meminfo: memFree=119400588/131382116 swapFree=33010684/33010684
[pid=47411] ppid=47408 vsize=18996948 memory=69808 CPUtime=1.11 cores=5,7
/proc/47411/stat : 47411 (java) S 47408 47411 45963 0 -1 4194304 7436 0 0 0 105 6 0 0 20 0 19 0 48092525 19452874752 17452 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
/proc/47411/statm: 4749237 17452 5465 1 0 548451 0
[pid=47411/tid=47413] ppid=47408 vsize=18996948 memory=17664 CPUtime=0.57 cores=5,7
/proc/47411/task/47413/stat : 47413 (java) R 47408 47411 45963 0 -1 4194368 5507 0 0 0 54 3 0 0 20 0 19 0 48092526 19452874752 17452 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47422] ppid=47408 vsize=18996948 memory=11136 CPUtime=0 cores=5,7
/proc/47411/task/47422/stat : 47422 (Finalizer) S 47408 47411 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 48092531 19452874752 17452 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47429] ppid=47408 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/47411/task/47429/stat : 47429 (Common-Cleaner) S 47408 47411 45963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 48092532 19452874752 17452 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 69808 KiB
[startup+1.50028 s]
/proc/loadavg: 4.39 4.41 4.36 6/326 47430
/proc/meminfo: memFree=119336376/131382116 swapFree=33010684/33010684
[pid=47411] ppid=47408 vsize=19063512 memory=166856 CPUtime=2.66 cores=5,7
/proc/47411/stat : 47411 (java) S 47408 47411 45963 0 -1 4194304 15398 0 0 0 256 10 0 0 20 0 20 0 48092525 19521036288 41714 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
/proc/47411/statm: 4765878 41714 5497 1 0 550642 0
[pid=47411/tid=47413] ppid=47408 vsize=19063512 memory=3328 CPUtime=1.3 cores=5,7
/proc/47411/task/47413/stat : 47413 (java) R 47408 47411 45963 0 -1 4194368 6791 0 0 0 125 5 0 0 20 0 20 0 48092526 19521036288 41714 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47422] ppid=47408 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/47411/task/47422/stat : 47422 (Finalizer) S 47408 47411 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48092531 19521036288 41714 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47429] ppid=47408 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/47411/task/47429/stat : 47429 (Common-Cleaner) S 47408 47411 45963 0 -1 4194368 34 0 0 0 0 0 0 0 20 0 20 0 48092532 19521036288 41714 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47430] ppid=47408 vsize=19063512 memory=14336 CPUtime=0 cores=5,7
/proc/47411/task/47430/stat : 47430 (Timer-0) S 47408 47411 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 48092584 19521036288 41714 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 166856 KiB
[startup+3.10556 s]
/proc/loadavg: 4.39 4.41 4.36 6/327 47431
/proc/meminfo: memFree=119103984/131382116 swapFree=33010684/33010684
[pid=47411] ppid=47408 vsize=19063512 memory=372936 CPUtime=5.85 cores=5,7
/proc/47411/stat : 47411 (java) S 47408 47411 45963 0 -1 4194304 25088 0 0 0 569 16 0 0 20 0 20 0 48092525 19521036288 93234 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
/proc/47411/statm: 4765878 93234 5529 1 0 829801 0
[pid=47411/tid=47413] ppid=47408 vsize=19063512 memory=14336 CPUtime=2.75 cores=5,7
/proc/47411/task/47413/stat : 47413 (java) R 47408 47411 45963 0 -1 4194368 7312 0 0 0 267 8 0 0 20 0 20 0 48092526 19521036288 93234 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47422] ppid=47408 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/47411/task/47422/stat : 47422 (Finalizer) S 47408 47411 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48092531 19521036288 93234 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47429] ppid=47408 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/47411/task/47429/stat : 47429 (Common-Cleaner) S 47408 47411 45963 0 -1 4194368 34 0 0 0 0 0 0 0 20 0 20 0 48092532 19521036288 93234 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47430] ppid=47408 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/47411/task/47430/stat : 47430 (Timer-0) S 47408 47411 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 48092584 19521036288 93234 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
Current children cumulated CPU time: 5.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 372936 KiB
[startup+6.30044 s]
/proc/loadavg: 4.36 4.40 4.36 5/327 47431
/proc/meminfo: memFree=118825276/131382116 swapFree=33010684/33010684
[pid=47411] ppid=47408 vsize=19063512 memory=676604 CPUtime=9.95 cores=5,7
/proc/47411/stat : 47411 (java) S 47408 47411 45963 0 -1 4194304 25400 0 0 0 972 23 0 0 20 0 20 0 48092525 19521036288 169151 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
/proc/47411/statm: 4765878 169151 5529 1 0 829816 0
[pid=47411/tid=47413] ppid=47408 vsize=19063512 memory=0 CPUtime=5.81 cores=5,7
/proc/47411/task/47413/stat : 47413 (java) R 47408 47411 45963 0 -1 4194368 7463 0 0 0 569 12 0 0 20 0 20 0 48092526 19521036288 169151 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47422] ppid=47408 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/47411/task/47422/stat : 47422 (Finalizer) S 47408 47411 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48092531 19521036288 169151 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47429] ppid=47408 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/47411/task/47429/stat : 47429 (Common-Cleaner) S 47408 47411 45963 0 -1 4194368 34 0 0 0 0 0 0 0 20 0 20 0 48092532 19521036288 169151 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47430] ppid=47408 vsize=19063512 memory=170000 CPUtime=0 cores=5,7
/proc/47411/task/47430/stat : 47430 (Timer-0) S 47408 47411 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 48092584 19521036288 169151 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
Current children cumulated CPU time: 9.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 676604 KiB
[startup+12.7005 s]
/proc/loadavg: 4.33 4.39 4.36 5/327 47431
/proc/meminfo: memFree=117162680/131382116 swapFree=33010684/33010684
[pid=47411] ppid=47408 vsize=19063512 memory=2001924 CPUtime=17.29 cores=5,7
/proc/47411/stat : 47411 (java) S 47408 47411 45963 0 -1 4194304 26966 0 0 0 1679 50 0 0 20 0 20 0 48092525 19521036288 500481 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
/proc/47411/statm: 4765878 500481 5529 1 0 1040799 0
[pid=47411/tid=47413] ppid=47408 vsize=19063512 memory=170000 CPUtime=11.98 cores=5,7
/proc/47411/task/47413/stat : 47413 (java) R 47408 47411 45963 0 -1 4194368 8327 0 0 0 1162 36 0 0 20 0 20 0 48092526 19521036288 500481 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47422] ppid=47408 vsize=19063512 memory=1997828 CPUtime=0 cores=5,7
/proc/47411/task/47422/stat : 47422 (Finalizer) S 47408 47411 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48092531 19521036288 500481 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47429] ppid=47408 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/47411/task/47429/stat : 47429 (Common-Cleaner) S 47408 47411 45963 0 -1 4194368 34 0 0 0 0 0 0 0 20 0 20 0 48092532 19521036288 500481 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47430] ppid=47408 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/47411/task/47430/stat : 47430 (Timer-0) S 47408 47411 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 48092584 19521036288 500481 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
Current children cumulated CPU time: 17.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2001924 KiB
[startup+25.5005 s]
/proc/loadavg: 4.28 4.38 4.35 8/329 47434
/proc/meminfo: memFree=116814520/131382116 swapFree=33010684/33010684
[pid=47411] ppid=47408 vsize=19063512 memory=2231472 CPUtime=30.63 cores=5,7
/proc/47411/stat : 47411 (java) S 47408 47411 45963 0 -1 4194304 32523 0 0 0 3006 57 0 0 20 0 20 0 48092525 19521036288 557868 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
/proc/47411/statm: 4765878 557868 5529 1 0 1040803 0
[pid=47411/tid=47413] ppid=47408 vsize=19063512 memory=0 CPUtime=24.4 cores=5,7
/proc/47411/task/47413/stat : 47413 (java) R 47408 47411 45963 0 -1 4194368 10333 0 0 0 2400 40 0 0 20 0 20 0 48092526 19521036288 557868 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47422] ppid=47408 vsize=19063512 memory=14336 CPUtime=0 cores=5,7
/proc/47411/task/47422/stat : 47422 (Finalizer) S 47408 47411 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48092531 19521036288 557868 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47429] ppid=47408 vsize=19063512 memory=2231472 CPUtime=0 cores=5,7
/proc/47411/task/47429/stat : 47429 (Common-Cleaner) S 47408 47411 45963 0 -1 4194368 34 0 0 0 0 0 0 0 20 0 20 0 48092532 19521036288 557868 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47430] ppid=47408 vsize=19063512 memory=2178180 CPUtime=0 cores=5,7
/proc/47411/task/47430/stat : 47430 (Timer-0) S 47408 47411 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 48092584 19521036288 557868 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
Current children cumulated CPU time: 30.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2231472 KiB
[startup+51.1134 s]
/proc/loadavg: 4.59 4.45 4.38 5/326 47826
/proc/meminfo: memFree=120053152/131382116 swapFree=33010684/33010684
[pid=47411] ppid=47408 vsize=19063512 memory=2808472 CPUtime=57.52 cores=5,7
/proc/47411/stat : 47411 (java) S 47408 47411 45963 0 -1 4194304 41936 0 0 0 5679 73 0 0 20 0 20 0 48092525 19521036288 702118 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
/proc/47411/statm: 4765878 702118 5529 1 0 1164105 0
[pid=47411/tid=47413] ppid=47408 vsize=19063512 memory=2231472 CPUtime=49.13 cores=5,7
/proc/47411/task/47413/stat : 47413 (java) R 47408 47411 45963 0 -1 4194368 14904 0 0 0 4862 51 0 0 20 0 20 0 48092526 19521036288 702118 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47422] ppid=47408 vsize=19063512 memory=7596002882804339300 CPUtime=0 cores=5,7
/proc/47411/task/47422/stat : 47422 (Finalizer) S 47408 47411 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48092531 19521036288 702118 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47429] ppid=47408 vsize=19063512 memory=-6000919472790463851 CPUtime=0 cores=5,7
/proc/47411/task/47429/stat : 47429 (Common-Cleaner) S 47408 47411 45963 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 48092532 19521036288 702118 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47430] ppid=47408 vsize=19063512 memory=2231728 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/47411/task/47430/stat : 47430 (Timer-0) S 47408 47411 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 48092584 19521036288 1010908 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
Current children cumulated CPU time: 779.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4043632 KiB
[startup+822.3 s]
/proc/loadavg: 4.20 4.31 4.37 5/327 48074
/proc/meminfo: memFree=113357552/131382116 swapFree=33010684/33010684
[pid=47411] ppid=47408 vsize=19063512 memory=4111264 CPUtime=840.53 cores=5,7
/proc/47411/stat : 47411 (java) S 47408 47411 45963 0 -1 4194304 93796 0 0 0 83885 168 0 0 20 0 20 0 48092525 19521036288 1027816 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
/proc/47411/statm: 4765878 1027816 5529 1 0 1169063 0
[pid=47411/tid=47413] ppid=47408 vsize=19063512 memory=-6000919472790463851 CPUtime=805.02 cores=5,7
/proc/47411/task/47413/stat : 47413 (java) R 47408 47411 45963 0 -1 4194368 37749 0 0 0 80432 70 0 0 20 0 20 0 48092526 19521036288 1027816 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47422] ppid=47408 vsize=19063512 memory=-6000919472790463851 CPUtime=0 cores=5,7
/proc/47411/task/47422/stat : 47422 (Finalizer) S 47408 47411 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48092531 19521036288 1027816 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47429] ppid=47408 vsize=19063512 memory=4111264 CPUtime=0 cores=5,7
/proc/47411/task/47429/stat : 47429 (Common-Cleaner) S 47408 47411 45963 0 -1 4194368 623 0 0 0 0 0 0 0 20 0 20 0 48092532 19521036288 1027816 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47430] ppid=47408 vsize=19063512 memory=4111264 CPUtime=0 cores=5,7
/proc/47411/task/47430/stat : 47430 (Timer-0) S 47408 47411 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 48092584 19521036288 1027816 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
Current children cumulated CPU time: 840.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4111264 KiB
[startup+841.774 s]
# the end of solver process 47411 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=858.47 s, system=1.73404 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+832 s]*
/proc/loadavg: 4.17 4.30 4.37 5/327 48074
/proc/meminfo: memFree=113165040/131382116 swapFree=33010684/33010684
[pid=47411] ppid=47408 vsize=19063512 memory=4123552 CPUtime=850.44 cores=5,7
/proc/47411/stat : 47411 (java) S 47408 47411 45963 0 -1 4194304 95102 0 0 0 84875 169 0 0 20 0 20 0 48092525 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
/proc/47411/statm: 4765878 1030888 5529 1 0 1169088 0
[pid=47411/tid=47413] ppid=47408 vsize=19063512 memory=-6000919507083355243 CPUtime=814.5 cores=5,7
/proc/47411/task/47413/stat : 47413 (java) R 47408 47411 45963 0 -1 4194368 37940 0 0 0 81380 70 0 0 20 0 20 0 48092526 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47422] ppid=47408 vsize=19063512 memory=7511234102860750356 CPUtime=0 cores=5,7
/proc/47411/task/47422/stat : 47422 (Finalizer) S 47408 47411 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48092531 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47429] ppid=47408 vsize=19063512 memory=6772 CPUtime=0 cores=5,7
/proc/47411/task/47429/stat : 47429 (Common-Cleaner) S 47408 47411 45963 0 -1 4194368 623 0 0 0 0 0 0 0 20 0 20 0 48092532 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47430] ppid=47408 vsize=19063512 memory=4123552 CPUtime=0 cores=5,7
/proc/47411/task/47430/stat : 47430 (Timer-0) S 47408 47411 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 48092584 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
Current children cumulated CPU time: 850.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4123552 KiB
[startup+838.4 s]
/proc/loadavg: 4.15 4.29 4.36 5/327 48074
/proc/meminfo: memFree=113144316/131382116 swapFree=33010684/33010684
[pid=47411] ppid=47408 vsize=19063512 memory=4123552 CPUtime=856.82 cores=5,7
/proc/47411/stat : 47411 (java) S 47408 47411 45963 0 -1 4194304 95104 0 0 0 85512 170 0 0 20 0 20 0 48092525 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
/proc/47411/statm: 4765878 1030888 5529 1 0 1169088 0
[pid=47411/tid=47413] ppid=47408 vsize=19063512 memory=4123552 CPUtime=820.87 cores=5,7
/proc/47411/task/47413/stat : 47413 (java) R 47408 47411 45963 0 -1 4194368 37941 0 0 0 82017 70 0 0 20 0 20 0 48092526 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47422] ppid=47408 vsize=19063512 memory=17664 CPUtime=0 cores=5,7
/proc/47411/task/47422/stat : 47422 (Finalizer) S 47408 47411 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48092531 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47429] ppid=47408 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/47411/task/47429/stat : 47429 (Common-Cleaner) S 47408 47411 45963 0 -1 4194368 623 0 0 0 0 0 0 0 20 0 20 0 48092532 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47430] ppid=47408 vsize=19063512 memory=4752 CPUtime=0 cores=5,7
/proc/47411/task/47430/stat : 47430 (Timer-0) S 47408 47411 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 48092584 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
Current children cumulated CPU time: 856.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4123552 KiB
[startup+840.001 s]*
/proc/loadavg: 4.15 4.29 4.36 5/327 48074
/proc/meminfo: memFree=113144316/131382116 swapFree=33010684/33010684
[pid=47411] ppid=47408 vsize=19063512 memory=4123552 CPUtime=858.42 cores=5,7
/proc/47411/stat : 47411 (java) S 47408 47411 45963 0 -1 4194304 95111 0 0 0 85672 170 0 0 20 0 20 0 48092525 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
/proc/47411/statm: 4765878 1030888 5529 1 0 1169088 0
[pid=47411/tid=47413] ppid=47408 vsize=19063512 memory=4944 CPUtime=822.47 cores=5,7
/proc/47411/task/47413/stat : 47413 (java) R 47408 47411 45963 0 -1 4194368 37943 0 0 0 82177 70 0 0 20 0 20 0 48092526 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47422] ppid=47408 vsize=19063512 memory=7028 CPUtime=0 cores=5,7
/proc/47411/task/47422/stat : 47422 (Finalizer) S 47408 47411 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48092531 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47429] ppid=47408 vsize=19063512 memory=5496704 CPUtime=0 cores=5,7
/proc/47411/task/47429/stat : 47429 (Common-Cleaner) S 47408 47411 45963 0 -1 4194368 623 0 0 0 0 0 0 0 20 0 20 0 48092532 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47430] ppid=47408 vsize=19063512 memory=-4050210904893538454 CPUtime=0 cores=5,7
/proc/47411/task/47430/stat : 47430 (Timer-0) S 47408 47411 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 48092584 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
Current children cumulated CPU time: 858.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4123552 KiB
[startup+840.8 s]
/proc/loadavg: 4.15 4.29 4.36 5/327 48074
/proc/meminfo: memFree=113144316/131382116 swapFree=33010684/33010684
[pid=47411] ppid=47408 vsize=19063512 memory=4123552 CPUtime=859.22 cores=5,7
/proc/47411/stat : 47411 (java) S 47408 47411 45963 0 -1 4194304 95115 0 0 0 85751 171 0 0 20 0 20 0 48092525 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
/proc/47411/statm: 4765878 1030888 5529 1 0 1169088 0
[pid=47411/tid=47413] ppid=47408 vsize=19063512 memory=-6000919472790463851 CPUtime=823.26 cores=5,7
/proc/47411/task/47413/stat : 47413 (java) R 47408 47411 45963 0 -1 4194368 37943 0 0 0 82256 70 0 0 20 0 20 0 48092526 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47422] ppid=47408 vsize=19063512 memory=12416 CPUtime=0 cores=5,7
/proc/47411/task/47422/stat : 47422 (Finalizer) S 47408 47411 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48092531 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47429] ppid=47408 vsize=19063512 memory=2704 CPUtime=0 cores=5,7
/proc/47411/task/47429/stat : 47429 (Common-Cleaner) S 47408 47411 45963 0 -1 4194368 623 0 0 0 0 0 0 0 20 0 20 0 48092532 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47430] ppid=47408 vsize=19063512 memory=-6000919472790463851 CPUtime=0 cores=5,7
/proc/47411/task/47430/stat : 47430 (Timer-0) S 47408 47411 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 48092584 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
Current children cumulated CPU time: 859.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4123552 KiB
[startup+841.2 s]
/proc/loadavg: 4.15 4.29 4.36 5/327 48074
/proc/meminfo: memFree=113144316/131382116 swapFree=33010684/33010684
[pid=47411] ppid=47408 vsize=19063512 memory=4123552 CPUtime=859.62 cores=5,7
/proc/47411/stat : 47411 (java) S 47408 47411 45963 0 -1 4194304 95115 0 0 0 85791 171 0 0 20 0 20 0 48092525 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
/proc/47411/statm: 4765878 1030888 5529 1 0 1169088 0
[pid=47411/tid=47413] ppid=47408 vsize=19063512 memory=21672 CPUtime=823.66 cores=5,7
/proc/47411/task/47413/stat : 47413 (java) R 47408 47411 45963 0 -1 4194368 37943 0 0 0 82296 70 0 0 20 0 20 0 48092526 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47422] ppid=47408 vsize=19063512 memory=4352 CPUtime=0 cores=5,7
/proc/47411/task/47422/stat : 47422 (Finalizer) S 47408 47411 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48092531 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47429] ppid=47408 vsize=19063512 memory=1792 CPUtime=0 cores=5,7
/proc/47411/task/47429/stat : 47429 (Common-Cleaner) S 47408 47411 45963 0 -1 4194368 623 0 0 0 0 0 0 0 20 0 20 0 48092532 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47430] ppid=47408 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/47411/task/47430/stat : 47430 (Timer-0) S 47408 47411 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 48092584 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
Current children cumulated CPU time: 859.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4123552 KiB
[startup+841.6 s]
/proc/loadavg: 4.15 4.29 4.36 5/327 48074
/proc/meminfo: memFree=113144316/131382116 swapFree=33010684/33010684
[pid=47411] ppid=47408 vsize=19063512 memory=4123552 CPUtime=860.02 cores=5,7
/proc/47411/stat : 47411 (java) S 47408 47411 45963 0 -1 4194304 95115 0 0 0 85831 171 0 0 20 0 20 0 48092525 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
/proc/47411/statm: 4765878 1030888 5529 1 0 1169088 0
[pid=47411/tid=47413] ppid=47408 vsize=19063512 memory=4123552 CPUtime=824.05 cores=5,7
/proc/47411/task/47413/stat : 47413 (java) R 47408 47411 45963 0 -1 4194368 37943 0 0 0 82335 70 0 0 20 0 20 0 48092526 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47422] ppid=47408 vsize=19063512 memory=4123552 CPUtime=0 cores=5,7
/proc/47411/task/47422/stat : 47422 (Finalizer) S 47408 47411 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48092531 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47429] ppid=47408 vsize=19063512 memory=-6000919472790463851 CPUtime=0 cores=5,7
/proc/47411/task/47429/stat : 47429 (Common-Cleaner) S 47408 47411 45963 0 -1 4194368 623 0 0 0 0 0 0 0 20 0 20 0 48092532 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47430] ppid=47408 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/47411/task/47430/stat : 47430 (Timer-0) S 47408 47411 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 48092584 19521036288 1030888 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
Current children cumulated CPU time: 860.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4123552 KiB
[startup+841.71 s]
/proc/loadavg: 4.15 4.29 4.36 5/327 48074
/proc/meminfo: memFree=113144316/131382116 swapFree=33010684/33010684
[pid=47411] ppid=47408 vsize=19064540 memory=4123680 CPUtime=860.13 cores=5,7
/proc/47411/stat : 47411 (java) S 47408 47411 45963 0 -1 4194304 96516 0 0 0 85842 171 0 0 20 0 21 0 48092525 19522088960 1030920 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
/proc/47411/statm: 4766135 1030920 5529 1 0 1169382 0
[pid=47411/tid=47413] ppid=47408 vsize=19064540 memory=-6000919472790463851 CPUtime=824.15 cores=5,7
/proc/47411/task/47413/stat : 47413 (java) S 47408 47411 45963 0 -1 4194368 39295 0 0 0 82345 70 0 0 20 0 21 0 48092526 19522088960 1030920 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47422] ppid=47408 vsize=19064540 memory=4111264 CPUtime=0 cores=5,7
/proc/47411/task/47422/stat : 47422 (Finalizer) S 47408 47411 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 48092531 19522088960 1030920 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47429] ppid=47408 vsize=19064540 memory=4123552 CPUtime=0 cores=5,7
/proc/47411/task/47429/stat : 47429 (Common-Cleaner) S 47408 47411 45963 0 -1 4194368 623 0 0 0 0 0 0 0 20 0 21 0 48092532 19522088960 1030920 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
[pid=47411/tid=47430] ppid=47408 vsize=19064540 memory=-6000919472790463851 CPUtime=0 cores=5,7
/proc/47411/task/47430/stat : 47430 (Timer-0) S 47408 47411 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 48092584 19522088960 1030920 18446744073709551615 94001344450560 94001344454256 140737255645504 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94001344462072 94001344462864 94001350848512 140737255651710 140737255651814 140737255651814 140737255657416 0
Current children cumulated CPU time: 860.13 s
Current children cumulated vsize: 19064540 KiB
Current children cumulated memory: 4123680 KiB
Child status: 30
Real time (s): 841.774
CPU time (s): 860.204
CPU user time (s): 858.47
CPU system time (s): 1.73404
CPU usage (%): 102.189
Max. virtual memory (cumulated for all children) (KiB): 19069220
Max. memory (cumulated for all children) (KiB): 4123680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 858.47
system time used= 1.73404
maximum resident set size= 4124192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97649
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31136
involuntary context switches= 8006
# summary of solver processes directly reported to runsolver:
# pid: 47411
# total CPU time (s): 860.204
# total CPU user time (s): 858.47
# total CPU system time (s): 1.73404
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.51537 second user time and 7.90955 second system time
The end
Begin job on nodeC011 at 2025-07-01 00:55:28 IDJOB=4487120 IDBENCH=147183 IDSOLVER=3361 FILE ID=nodeC011/4487120-1751324128 RUNJOBID= nodeC011-1751317014-45976 SLURM_JOB_ID= 9594340 Free space on /tmp= 433052 MiB SOLVER NAME= Sat4j CP 2025-06-06 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4487120-1751324128/watcher-4487120-1751324128 -o /tmp/evaluation-result-4487120-1751324128/solver-4487120-1751324128 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751317014-45976 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4487120-1751324128.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 747698da0f593f637a147af56db5f584 RANDOM SEED=1896585834 nodeC011 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 : 0xb00001f cpu MHz : 3662.984 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3513.327 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.480 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.351 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3662.936 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1206.112 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.296 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 119432028 kB MemAvailable: 119295772 kB Buffers: 3280 kB Cached: 671648 kB SwapCached: 0 kB Active: 11002808 kB Inactive: 372648 kB Active(anon): 10718488 kB Inactive(anon): 0 kB Active(file): 284320 kB Inactive(file): 372648 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 1128 kB Writeback: 0 kB AnonPages: 10703524 kB Mapped: 122524 kB Shmem: 17960 kB KReclaimable: 92424 kB Slab: 174344 kB SReclaimable: 92424 kB SUnreclaim: 81920 kB KernelStack: 4940 kB PageTables: 24888 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 14980240 kB VmallocTotal: 34359738367 kB VmallocUsed: 150328 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 10452992 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: 191304 kB DirectMap2M: 8099840 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433052 MiB End job on nodeC011 at 2025-07-01 01:09:30