Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution Default 2024-07-07 | MSAT (TO) | 3600.37 | 3597.47 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar6-sub1_wcsp.wbo |
| MD5SUM | 4332859c61197d8e78afa6b8b48bb73c |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MSAT |
| Best cost obtained on this benchmark | 2927 |
| Best CPU time to get the best result obtained on this benchmark | 3600.42 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 616 |
| Total number of constraints | 241978 |
| Number of soft constraints | 241964 |
| Number of constraints which are clauses | 241964 |
| Number of constraints which are cardinality constraints (but not clauses) | 14 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 44 |
| Top cost | 48694 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 34489736 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 45 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.14/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.14/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.14/0.14 c See www.sat4j.org for details. 0.14/0.15 c version CUSTOM.v20240707 0.14/0.17 c java.runtime.name OpenJDK Runtime Environment 0.14/0.17 c java.vm.name OpenJDK 64-Bit Server VM 0.14/0.17 c java.vm.version 22.0.1+8-16 0.14/0.17 c java.vm.vendor Oracle Corporation 0.14/0.17 c sun.arch.data.model 64 0.14/0.17 c java.version 22.0.1 0.14/0.17 c os.name Linux 0.14/0.17 c os.version 4.18.0-301.1.el8.x86_64 0.14/0.17 c os.arch amd64 0.14/0.18 c Free memory 2115194816 0.14/0.18 c Max memory 16282288128 0.14/0.18 c Total memory 2122317824 0.14/0.18 c Number of processors 2 0.32/0.28 --- Begin Solver configuration --- 0.32/0.28 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.32/0.28 Learn all clauses as in MiniSAT 0.32/0.28 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.32/0.28 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.32/0.28 No reason simplification 0.32/0.28 Glucose 2.1 dynamic restart strategy 0.32/0.28 Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.32/0.28 timeout=2147483s 0.32/0.28 DB Simplification allowed=false 0.32/0.28 Listener: none 0.32/0.28 --- End Solver configuration --- 0.32/0.28 c Pseudo Boolean Optimization by upper bound 0.32/0.28 c --- Begin Solver configuration --- 0.32/0.28 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.32/0.28 c Learn all clauses as in MiniSAT 0.32/0.28 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.32/0.28 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.32/0.28 c No reason simplification 0.32/0.28 c Glucose 2.1 dynamic restart strategy 0.32/0.28 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.32/0.28 c timeout=2147483s 0.32/0.28 c DB Simplification allowed=false 0.32/0.28 c Listener: none 0.32/0.28 c --- End Solver configuration --- 0.32/0.28 c solving HOME/instance-4424899-1720883473.wbo 0.32/0.28 c reading problem ... 3.71/2.04 c ... done. Wall clock time 1.76s. 3.71/2.04 c declared #vars 616 3.71/2.04 c internal #vars 242580 3.71/2.05 c #constraints 241993 3.71/2.05 c constraints type 3.71/2.05 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 14 3.71/2.05 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 3.71/2.05 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 241978 3.71/2.05 c 241993 constraints processed. 3.71/2.06 c objective function length is 241964 literals 5.08/2.73 c SATISFIABLE 5.08/2.74 c OPTIMIZING... 5.08/2.74 c Got one! Elapsed wall clock time (in seconds):2.454 5.08/2.74 o 8027 5.66/3.06 c Got one! Elapsed wall clock time (in seconds):2.779 5.66/3.06 o 6635 32.52/29.17 c cleaning 2573 clauses out of 5180 with flag 19919/5180 312.86/309.47 c cleaning 4305 clauses out of 8609 with flag 71012/11182 1216.88/1215.09 c cleaning 5649 clauses out of 11302 with flag 111830/18180 1248.02/1245.81 c cleaning 6823 clauses out of 13653 with flag 148215/26180 1345.85/1343.32 c cleaning 7873 clauses out of 15830 with flag 218998/35180 1449.96/1447.46 c cleaning 8953 clauses out of 17959 with flag 284534/45182 1501.37/1498.70 c cleaning 10002 clauses out of 20004 with flag 336057/56180 2134.00/2132.02 c cleaning 10998 clauses out of 22003 with flag 415309/68181 2182.96/2180.92 c cleaning 12000 clauses out of 24004 with flag 473686/81180 2831.69/2830.20 c cleaning 12966 clauses out of 26007 with flag 554311/95183 2982.97/2981.33 c cleaning 14009 clauses out of 28039 with flag 658521/110181 3119.51/3117.57 c cleaning 15011 clauses out of 30030 with flag 751237/126181 3600.03/3597.32 c starts : 110 3600.03/3597.36 c conflicts : 130352 3600.03/3597.36 c decisions : 1801001 3600.03/3597.36 c propagations : 2230099663 3600.03/3597.36 c inspects : 137452995 3600.03/3597.36 c shortcuts : 0 3600.03/3597.36 c learnt literals : 0 3600.03/3597.36 c learnt binary clauses : 0 3600.03/3597.36 c learnt ternary clauses : 0 3600.03/3597.36 c learnt constraints : 130351 3600.03/3597.36 c ignored constraints : 0 3600.03/3597.37 c root simplifications : 0 3600.03/3597.37 c removed literals (reason simplification) : 0 3600.03/3597.37 c reason swapping (by a shorter reason) : 0 3600.03/3597.37 c Calls to reduceDB : 12 3600.03/3597.37 c Number of update (reduction) of LBD : 27553 3600.03/3597.37 c Imported unit clauses : 0 3600.03/3597.37 c No decision after first conflict : false 3600.03/3597.37 c number of reductions to clauses (during analyze) : 0 3600.03/3597.37 c number of learned constraints concerned by reduction : 0 3600.03/3597.37 c number of learning phase by resolution : 0 3600.03/3597.37 c number of learning phase by cutting planes : 0 3600.03/3597.37 c number of rounding to 1 operations : 0 3600.03/3597.37 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.03/3597.37 c number of reductions of the coefficients by power 2 : 0 3600.03/3597.37 c number of right shift for reduction by power 2 : 0 3600.03/3597.38 c number of reductions of the coefficients by GCD over coefficients : 0 3600.03/3597.38 c number of ending skipping : 0 3600.03/3597.38 c number of internal skipping : 0 3600.03/3597.38 c number of derivation steps : 0 3600.03/3597.38 c number of skipped derivation steps : 0 3600.03/3597.38 c number of remaining unassigned : 0 3600.03/3597.38 c number of remaining assigned : 0 3600.03/3597.38 c number of falsified literals weakened from reason : 0 3600.03/3597.38 c number of falsified literals weakened from conflict : 0 3600.03/3597.38 c time for arithmetic operations : 0 3600.03/3597.38 c minimum degree of deleted constraints : null 3600.03/3597.38 c maximum degree of deleted constraints : null 3600.03/3597.38 c number of deleted constraints : 0 3600.23/3597.40 c speed (assignments/second) : 620303.8526935978 3600.23/3597.40 c non guided choices : 1327 3600.23/3597.43 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 19189 3600.23/3597.43 s SATISFIABLE 3600.23/3597.43 c Found 2 solution(s) 3600.23/3597.45 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 3600.23/3597.45 c objective function=6635 3600.23/3597.45 c Total wall clock time (in seconds): 3597.16
OK 6090
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62921 MiB free)
memory of node 1: 64510 MiB (44931 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424899-1720883473/watcher-4424899-1720883473 -o /tmp/evaluation-result-4424899-1720883473/solver-4424899-1720883473 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1720877762-699779 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424899-1720883473.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=705028, runsolver pid=705025
Current StackSize limit: 8192 KiB
[startup+0.100072 s]*
/proc/loadavg: 4.13 4.25 4.29 7/317 705046
/proc/meminfo: memFree=110407216/131655788 swapFree=131071996/131071996
[pid=705028] ppid=705025 vsize=18975048 memory=56004 CPUtime=0.14 cores=0,2
/proc/705028/stat : 705028 (java) S 705025 705028 697515 0 -1 1077936128 6498 0 0 0 11 3 0 0 20 0 18 0 140503963 19430449152 14001 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
/proc/705028/statm: 4743762 14001 5626 1 0 550841 0
[pid=705028/tid=705030] ppid=705025 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/705028/task/705030/stat : 705030 (java) R 705025 705028 697515 0 -1 4194368 5439 0 0 0 7 2 0 0 20 0 18 0 140503964 19430449152 14001 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705039] ppid=705025 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/705028/task/705039/stat : 705039 (Finalizer) S 705025 705028 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140503969 19430449152 14001 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705046] ppid=705025 vsize=18975048 memory=13563812552942208 CPUtime=0 cores=0,2
/proc/705028/task/705046/stat : 705046 (Common-Cleaner) S 705025 705028 697515 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 140503970 19430449152 14001 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56004 KiB
[startup+0.222609 s]*
/proc/loadavg: 4.13 4.25 4.29 6/317 705046
/proc/meminfo: memFree=110397712/131655788 swapFree=131071996/131071996
[pid=705028] ppid=705025 vsize=18975048 memory=64980 CPUtime=0.32 cores=0,2
/proc/705028/stat : 705028 (java) S 705025 705028 697515 0 -1 1077936128 7187 0 0 0 28 4 0 0 20 0 18 0 140503963 19430449152 16245 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
/proc/705028/statm: 4743762 16245 5631 1 0 551437 0
[pid=705028/tid=705030] ppid=705025 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=0,2
/proc/705028/task/705030/stat : 705030 (java) R 705025 705028 697515 0 -1 4194368 5763 0 0 0 17 3 0 0 20 0 18 0 140503964 19430449152 16245 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705039] ppid=705025 vsize=18975048 memory=5822 CPUtime=0 cores=0,2
/proc/705028/task/705039/stat : 705039 (Finalizer) S 705025 705028 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140503969 19430449152 16245 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705046] ppid=705025 vsize=18975048 memory=13849655494580062 CPUtime=0 cores=0,2
/proc/705028/task/705046/stat : 705046 (Common-Cleaner) S 705025 705028 697515 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 140503970 19430449152 16245 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64980 KiB
[startup+0.313295 s]*
/proc/loadavg: 4.13 4.25 4.29 7/317 705046
/proc/meminfo: memFree=110394656/131655788 swapFree=131071996/131071996
[pid=705028] ppid=705025 vsize=18975048 memory=68340 CPUtime=0.49 cores=0,2
/proc/705028/stat : 705028 (java) S 705025 705028 697515 0 -1 1077936128 7395 0 0 0 45 4 0 0 20 0 18 0 140503963 19430449152 17085 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
/proc/705028/statm: 4743762 17085 5729 1 0 551607 0
[pid=705028/tid=705030] ppid=705025 vsize=18975048 memory=-8816757687973225148 CPUtime=0.28 cores=0,2
/proc/705028/task/705030/stat : 705030 (java) R 705025 705028 697515 0 -1 4194368 5905 0 0 0 25 3 0 0 20 0 18 0 140503964 19430449152 17085 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705039] ppid=705025 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/705028/task/705039/stat : 705039 (Finalizer) S 705025 705028 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140503969 19430449152 17085 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705046] ppid=705025 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/705028/task/705046/stat : 705046 (Common-Cleaner) S 705025 705028 697515 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 140503970 19430449152 17085 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68340 KiB
[startup+0.707459 s]
/proc/loadavg: 4.13 4.25 4.29 7/317 705046
/proc/meminfo: memFree=110374544/131655788 swapFree=131071996/131071996
[pid=705028] ppid=705025 vsize=18975048 memory=136224 CPUtime=1.21 cores=0,2
/proc/705028/stat : 705028 (java) S 705025 705028 697515 0 -1 1077936128 8947 0 0 0 115 6 0 0 20 0 18 0 140503963 19430449152 34056 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
/proc/705028/statm: 4743762 34056 5830 1 0 552655 0
[pid=705028/tid=705030] ppid=705025 vsize=18975048 memory=5620 CPUtime=0.63 cores=0,2
/proc/705028/task/705030/stat : 705030 (java) R 705025 705028 697515 0 -1 4194368 5949 0 0 0 58 5 0 0 20 0 18 0 140503964 19430449152 34056 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705039] ppid=705025 vsize=18975048 memory=12724 CPUtime=0 cores=0,2
/proc/705028/task/705039/stat : 705039 (Finalizer) S 705025 705028 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140503969 19430449152 34056 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705046] ppid=705025 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/705028/task/705046/stat : 705046 (Common-Cleaner) S 705025 705028 697515 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 140503970 19430449152 34056 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 136224 KiB
[startup+1.51046 s]
/proc/loadavg: 4.13 4.25 4.29 6/318 705047
/proc/meminfo: memFree=110282280/131655788 swapFree=131071996/131071996
[pid=705028] ppid=705025 vsize=19041612 memory=254492 CPUtime=2.73 cores=0,2
/proc/705028/stat : 705028 (java) S 705025 705028 697515 0 -1 1077936128 16530 0 0 0 262 11 0 0 20 0 19 0 140503963 19498610688 63623 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
/proc/705028/statm: 4760403 63623 5862 1 0 557879 0
[pid=705028/tid=705030] ppid=705025 vsize=19041612 memory=0 CPUtime=1.24 cores=0,2
/proc/705028/task/705030/stat : 705030 (java) R 705025 705028 697515 0 -1 4194368 6114 0 0 0 118 6 0 0 20 0 19 0 140503964 19498610688 63623 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705039] ppid=705025 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/705028/task/705039/stat : 705039 (Finalizer) S 705025 705028 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140503969 19498610688 63623 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705046] ppid=705025 vsize=19041612 memory=12724 CPUtime=0 cores=0,2
/proc/705028/task/705046/stat : 705046 (Common-Cleaner) S 705025 705028 697515 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140503970 19498610688 63623 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 254492 KiB
[startup+3.11281 s]
/proc/loadavg: 4.28 4.28 4.30 5/319 705048
/proc/meminfo: memFree=109910488/131655788 swapFree=131071996/131071996
[pid=705028] ppid=705025 vsize=19108176 memory=551500 CPUtime=5.83 cores=0,2
/proc/705028/stat : 705028 (java) S 705025 705028 697515 0 -1 1077936128 18674 0 0 0 565 18 0 0 20 0 20 0 140503963 19566772224 137875 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
/proc/705028/statm: 4777044 137875 5915 1 0 1152087 0
[pid=705028/tid=705030] ppid=705025 vsize=19108176 memory=12724 CPUtime=2.65 cores=0,2
/proc/705028/task/705030/stat : 705030 (java) R 705025 705028 697515 0 -1 4194368 6438 0 0 0 255 10 0 0 20 0 20 0 140503964 19566772224 137875 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705039] ppid=705025 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/705028/task/705039/stat : 705039 (Finalizer) S 705025 705028 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140503969 19566772224 137875 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705046] ppid=705025 vsize=19108176 memory=3168277115879940 CPUtime=0 cores=0,2
/proc/705028/task/705046/stat : 705046 (Common-Cleaner) S 705025 705028 697515 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 140503970 19566772224 137875 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705048] ppid=705025 vsize=19108176 memory=381344 CPUtime=0 cores=0,2
/proc/705028/task/705048/stat : 705048 (Timer-0) S 705025 705028 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140504184 19566772224 137875 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
Current children cumulated CPU time: 5.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 551500 KiB
[startup+6.30047 s]
/proc/loadavg: 4.28 4.28 4.30 5/319 705048
/proc/meminfo: memFree=109834696/131655788 swapFree=131071996/131071996
[pid=705028] ppid=705025 vsize=19108176 memory=627424 CPUtime=9.43 cores=0,2
/proc/705028/stat : 705028 (java) S 705025 705028 697515 0 -1 1077936128 20533 0 0 0 923 20 0 0 20 0 20 0 140503963 19566772224 156856 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
/proc/705028/statm: 4777044 156856 5915 1 0 1152100 0
[pid=705028/tid=705030] ppid=705025 vsize=19108176 memory=12724 CPUtime=5.72 cores=0,2
/proc/705028/task/705030/stat : 705030 (java) R 705025 705028 697515 0 -1 4194368 6711 0 0 0 562 10 0 0 20 0 20 0 140503964 19566772224 156856 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705039] ppid=705025 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/705028/task/705039/stat : 705039 (Finalizer) S 705025 705028 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140503969 19566772224 156856 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705046] ppid=705025 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/705028/task/705046/stat : 705046 (Common-Cleaner) S 705025 705028 697515 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 140503970 19566772224 156856 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705048] ppid=705025 vsize=19108176 memory=11408 CPUtime=0 cores=0,2
/proc/705028/task/705048/stat : 705048 (Timer-0) S 705025 705028 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140504184 19566772224 156856 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
Current children cumulated CPU time: 9.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 627424 KiB
[startup+12.7005 s]
/proc/loadavg: 4.23 4.27 4.29 5/319 705049
/proc/meminfo: memFree=109834556/131655788 swapFree=131071996/131071996
[pid=705028] ppid=705025 vsize=19108176 memory=627444 CPUtime=15.9 cores=0,2
/proc/705028/stat : 705028 (java) S 705025 705028 697515 0 -1 1077936128 21535 0 0 0 1569 21 0 0 20 0 20 0 140503963 19566772224 156861 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
/proc/705028/statm: 4777044 156861 5915 1 0 1152100 0
[pid=705028/tid=705030] ppid=705025 vsize=19108176 memory=11408 CPUtime=12.07 cores=0,2
/proc/705028/task/705030/stat : 705030 (java) R 705025 705028 697515 0 -1 4194368 7038 0 0 0 1197 10 0 0 20 0 20 0 140503964 19566772224 156861 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705039] ppid=705025 vsize=19108176 memory=627440 CPUtime=0 cores=0,2
/proc/705028/task/705039/stat : 705039 (Finalizer) S 705025 705028 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140503969 19566772224 156861 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705046] ppid=705025 vsize=19108176 memory=627440 CPUtime=0 cores=0,2
/proc/705028/task/705046/stat : 705046 (Common-Cleaner) S 705025 705028 697515 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 140503970 19566772224 156861 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705048] ppid=705025 vsize=19108176 memory=11408 CPUtime=0 cores=0,2
/proc/705028/task/705048/stat : 705048 (Timer-0) S 705025 705028 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140504184 19566772224 156861 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
Current children cumulated CPU time: 15.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 627444 KiB
[startup+25.5005 s]
/proc/loadavg: 4.27 4.28 4.30 5/319 705051
/proc/meminfo: memFree=109614888/131655788 swapFree=131071996/131071996
[pid=705028] ppid=705025 vsize=19108176 memory=627628 CPUtime=28.91 cores=0,2
/proc/705028/stat : 705028 (java) S 705025 705028 697515 0 -1 1077936128 25491 0 0 0 2869 22 0 0 20 0 20 0 140503963 19566772224 156907 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
/proc/705028/statm: 4777044 156907 5929 1 0 1152100 0
[pid=705028/tid=705030] ppid=705025 vsize=19108176 memory=627440 CPUtime=24.84 cores=0,2
/proc/705028/task/705030/stat : 705030 (java) R 705025 705028 697515 0 -1 4194368 7683 0 0 0 2474 10 0 0 20 0 20 0 140503964 19566772224 156907 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705039] ppid=705025 vsize=19108176 memory=3957 CPUtime=0 cores=0,2
/proc/705028/task/705039/stat : 705039 (Finalizer) S 705025 705028 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140503969 19566772224 156907 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705046] ppid=705025 vsize=19108176 memory=158010 CPUtime=0 cores=0,2
/proc/705028/task/705046/stat : 705046 (Common-Cleaner) S 705025 705028 697515 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 140503970 19566772224 156907 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705048] ppid=705025 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/705028/task/705048/stat : 705048 (Timer-0) S 705025 705028 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140504184 19566772224 156907 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
Current children cumulated CPU time: 28.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 627628 KiB
[startup+51.112 s]
/proc/loadavg: 4.18 4.26 4.29 5/319 705055
/proc/meminfo: memFree=109614496/131655788 swapFree=131071996/131071996
[pid=705028] ppid=705025 vsize=19108176 memory=627784 CPUtime=54.62 cores=0,2
/proc/705028/stat : 705028 (java) S 705025 705028 697515 0 -1 1077936128 29187 0 0 0 5439 23 0 0 20 0 20 0 140503963 19566772224 156946 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
/proc/705028/statm: 4777044 156946 5929 1 0 1152148 0
[pid=705028/tid=705030] ppid=705025 vsize=19108176 memory=-8816757687973225148 CPUtime=50.38 cores=0,2
/proc/705028/task/705030/stat : 705030 (java) R 705025 705028 697515 0 -1 4194368 9677 0 0 0 5028 10 0 0 20 0 20 0 140503964 19566772224 156946 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705039] ppid=705025 vsize=19108176 memory=11408 CPUtime=0 cores=0,2
/proc/705028/task/705039/stat : 705039 (Finalizer) S 705025 705028 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140503969 19566772224 156946 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705046] ppid=705025 vsize=19108176 memory=35284 CPUtime=0 cores=0,2
/proc/705028/task/705046/stat : 705046 (Common-Cleaner) S 705025 705028 697515 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 140503970 19566772224 156946 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705048] ppid=705025 vsize=19108176 memory=627444 CPUtime=0 cores=0,2
/proc/705028/task/705048/stat : 705048 (Timer-0) S 705025 705028 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140504184 19566772224 156946 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 1.19 1.72 2.16 2/239 706916
/proc/meminfo: memFree=127677300/131655788 swapFree=131071996/131071996
[pid=705028] ppid=705025 vsize=19108176 memory=2384560 CPUtime=3284.12 cores=0,2
/proc/705028/stat : 705028 (java) S 705025 705028 697515 0 -1 1077936128 89271 0 0 0 328184 228 0 0 20 0 20 0 140503963 19566772224 596140 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
/proc/705028/statm: 4777044 596140 5942 1 0 1152156 0
[pid=705028/tid=705030] ppid=705025 vsize=19108176 memory=2384560 CPUtime=3270.44 cores=0,2
/proc/705028/task/705030/stat : 705030 (java) R 705025 705028 697515 0 -1 4194368 31787 0 0 0 327031 13 0 0 20 0 20 0 140503964 19566772224 596140 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705039] ppid=705025 vsize=19108176 memory=12724 CPUtime=0 cores=0,2
/proc/705028/task/705039/stat : 705039 (Finalizer) S 705025 705028 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140503969 19566772224 596140 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705046] ppid=705025 vsize=19108176 memory=1828 CPUtime=0 cores=0,2
/proc/705028/task/705046/stat : 705046 (Common-Cleaner) S 705025 705028 697515 0 -1 1077936192 4250 0 0 0 0 0 0 0 20 0 20 0 140503970 19566772224 596140 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705048] ppid=705025 vsize=19108176 memory=2384560 CPUtime=0 cores=0,2
/proc/705028/task/705048/stat : 705048 (Timer-0) S 705025 705028 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140504184 19566772224 596140 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
Current children cumulated CPU time: 3284.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2384560 KiB
[startup+3342.3 s]
/proc/loadavg: 1.17 1.62 2.09 2/240 706927
/proc/meminfo: memFree=127677020/131655788 swapFree=131071996/131071996
[pid=705028] ppid=705025 vsize=19108176 memory=2384560 CPUtime=3344.04 cores=0,2
/proc/705028/stat : 705028 (java) S 705025 705028 697515 0 -1 1077936128 89791 0 0 0 334173 231 0 0 20 0 20 0 140503963 19566772224 596140 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
/proc/705028/statm: 4777044 596140 5942 1 0 1152156 0
[pid=705028/tid=705030] ppid=705025 vsize=19108176 memory=1828 CPUtime=3330.31 cores=0,2
/proc/705028/task/705030/stat : 705030 (java) R 705025 705028 697515 0 -1 4194368 32067 0 0 0 333018 13 0 0 20 0 20 0 140503964 19566772224 596140 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705039] ppid=705025 vsize=19108176 memory=11408 CPUtime=0 cores=0,2
/proc/705028/task/705039/stat : 705039 (Finalizer) S 705025 705028 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140503969 19566772224 596140 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705046] ppid=705025 vsize=19108176 memory=2384560 CPUtime=0 cores=0,2
/proc/705028/task/705046/stat : 705046 (Common-Cleaner) S 705025 705028 697515 0 -1 1077936192 4386 0 0 0 0 0 0 0 20 0 20 0 140503970 19566772224 596140 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705048] ppid=705025 vsize=19108176 memory=11408 CPUtime=0 cores=0,2
/proc/705028/task/705048/stat : 705048 (Timer-0) S 705025 705028 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140504184 19566772224 596140 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
Current children cumulated CPU time: 3344.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2384560 KiB
[startup+3402.3 s]
/proc/loadavg: 1.11 1.52 2.03 2/240 706937
/proc/meminfo: memFree=127676676/131655788 swapFree=131071996/131071996
[pid=705028] ppid=705025 vsize=19108176 memory=2384560 CPUtime=3403.94 cores=0,2
/proc/705028/stat : 705028 (java) S 705025 705028 697515 0 -1 1077936128 90250 0 0 0 340162 232 0 0 20 0 20 0 140503963 19566772224 596140 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
/proc/705028/statm: 4777044 596140 5942 1 0 1152156 0
[pid=705028/tid=705030] ppid=705025 vsize=19108176 memory=2384560 CPUtime=3390.18 cores=0,2
/proc/705028/task/705030/stat : 705030 (java) R 705025 705028 697515 0 -1 4194368 32343 0 0 0 339005 13 0 0 20 0 20 0 140503964 19566772224 596140 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705039] ppid=705025 vsize=19108176 memory=2384560 CPUtime=0 cores=0,2
/proc/705028/task/705039/stat : 705039 (Finalizer) S 705025 705028 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140503969 19566772224 596140 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705046] ppid=705025 vsize=19108176 memory=2384560 CPUtime=0 cores=0,2
/proc/705028/task/705046/stat : 705046 (Common-Cleaner) S 705025 705028 697515 0 -1 1077936192 4522 0 0 0 0 0 0 0 20 0 20 0 140503970 19566772224 596140 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705048] ppid=705025 vsize=19108176 memory=2384560 CPUtime=0 cores=0,2
/proc/705028/task/705048/stat : 705048 (Timer-0) S 705025 705028 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140504184 19566772224 596140 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
Current children cumulated CPU time: 3403.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2384560 KiB
[startup+3462.3 s]
/proc/loadavg: 1.60 1.57 2.01 2/240 706948
/proc/meminfo: memFree=127676452/131655788 swapFree=131071996/131071996
[pid=705028] ppid=705025 vsize=19108176 memory=2384560 CPUtime=3463.85 cores=0,2
/proc/705028/stat : 705028 (java) S 705025 705028 697515 0 -1 1077936128 90822 0 0 0 346150 235 0 0 20 0 20 0 140503963 19566772224 596140 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
/proc/705028/statm: 4777044 596140 5942 1 0 1152156 0
[pid=705028/tid=705030] ppid=705025 vsize=19108176 memory=2384560 CPUtime=3450.06 cores=0,2
/proc/705028/task/705030/stat : 705030 (java) R 705025 705028 697515 0 -1 4194368 32695 0 0 0 344993 13 0 0 20 0 20 0 140503964 19566772224 596140 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705039] ppid=705025 vsize=19108176 memory=2384560 CPUtime=0 cores=0,2
/proc/705028/task/705039/stat : 705039 (Finalizer) S 705025 705028 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140503969 19566772224 596140 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705046] ppid=705025 vsize=19108176 memory=-7306660102959359095 CPUtime=0 cores=0,2
/proc/705028/task/705046/stat : 705046 (Common-Cleaner) S 705025 705028 697515 0 -1 1077936192 4658 0 0 0 0 0 0 0 20 0 20 0 140503970 19566772224 596140 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705048] ppid=705025 vsize=19108176 memory=2384560 CPUtime=0 cores=0,2
/proc/705028/task/705048/stat : 705048 (Timer-0) S 705025 705028 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140504184 19566772224 596140 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
Current children cumulated CPU time: 3463.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2384560 KiB
[startup+3522.3 s]
/proc/loadavg: 1.50 1.57 1.98 2/240 706958
/proc/meminfo: memFree=127676076/131655788 swapFree=131071996/131071996
[pid=705028] ppid=705025 vsize=19108176 memory=2384560 CPUtime=3523.78 cores=0,2
/proc/705028/stat : 705028 (java) S 705025 705028 697515 0 -1 1077936128 91474 0 0 0 352140 238 0 0 20 0 20 0 140503963 19566772224 596140 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
/proc/705028/statm: 4777044 596140 5942 1 0 1152156 0
[pid=705028/tid=705030] ppid=705025 vsize=19108176 memory=2384560 CPUtime=3509.93 cores=0,2
/proc/705028/task/705030/stat : 705030 (java) R 705025 705028 697515 0 -1 4194368 33097 0 0 0 350980 13 0 0 20 0 20 0 140503964 19566772224 596140 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705039] ppid=705025 vsize=19108176 memory=2384560 CPUtime=0 cores=0,2
/proc/705028/task/705039/stat : 705039 (Finalizer) S 705025 705028 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140503969 19566772224 596140 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705046] ppid=705025 vsize=19108176 memory=2384560 CPUtime=0 cores=0,2
/proc/705028/task/705046/stat : 705046 (Common-Cleaner) S 705025 705028 697515 0 -1 1077936192 4794 0 0 0 0 0 0 0 20 0 20 0 140503970 19566772224 596140 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705048] ppid=705025 vsize=19108176 memory=2384560 CPUtime=0 cores=0,2
/proc/705028/task/705048/stat : 705048 (Timer-0) S 705025 705028 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140504184 19566772224 596140 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
Current children cumulated CPU time: 3523.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2384560 KiB
[startup+3582.3 s]
/proc/loadavg: 1.23 1.48 1.92 2/242 706972
/proc/meminfo: memFree=127484876/131655788 swapFree=131071996/131071996
[pid=705028] ppid=705025 vsize=19108176 memory=2574844 CPUtime=3585.06 cores=0,2
/proc/705028/stat : 705028 (java) S 705025 705028 697515 0 -1 1077936128 105828 0 0 0 358258 248 0 0 20 0 20 0 140503963 19566772224 643711 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
/proc/705028/statm: 4777044 643711 5958 1 0 1152845 0
[pid=705028/tid=705030] ppid=705025 vsize=19108176 memory=2288 CPUtime=3569.58 cores=0,2
/proc/705028/task/705030/stat : 705030 (java) R 705025 705028 697515 0 -1 4194368 34462 0 0 0 356945 13 0 0 20 0 20 0 140503964 19566772224 643711 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705039] ppid=705025 vsize=19108176 memory=2574672 CPUtime=0 cores=0,2
/proc/705028/task/705039/stat : 705039 (Finalizer) S 705025 705028 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140503969 19566772224 643711 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705046] ppid=705025 vsize=19108176 memory=2574844 CPUtime=0.01 cores=0,2
/proc/705028/task/705046/stat : 705046 (Common-Cleaner) S 705025 705028 697515 0 -1 1077936192 4940 0 0 0 0 1 0 0 20 0 20 0 140503970 19566772224 643711 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705048] ppid=705025 vsize=19108176 memory=2574844 CPUtime=0 cores=0,2
/proc/705028/task/705048/stat : 705048 (Timer-0) S 705025 705028 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140504184 19566772224 643711 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
Current children cumulated CPU time: 3585.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2574844 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3597.3 s]
/proc/loadavg: 1.25 1.47 1.91 2/242 706973
/proc/meminfo: memFree=127484824/131655788 swapFree=131071996/131071996
[pid=705028] ppid=705025 vsize=19108176 memory=2574844 CPUtime=3600.03 cores=0,2
/proc/705028/stat : 705028 (java) S 705025 705028 697515 0 -1 1077936128 105870 0 0 0 359755 248 0 0 20 0 20 0 140503963 19566772224 643711 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
/proc/705028/statm: 4777044 643711 5958 1 0 1152845 0
[pid=705028/tid=705030] ppid=705025 vsize=19108176 memory=2384560 CPUtime=3584.54 cores=0,2
/proc/705028/task/705030/stat : 705030 (java) R 705025 705028 697515 0 -1 4194368 34502 0 0 0 358441 13 0 0 20 0 20 0 140503964 19566772224 643711 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705039] ppid=705025 vsize=19108176 memory=12724 CPUtime=0 cores=0,2
/proc/705028/task/705039/stat : 705039 (Finalizer) S 705025 705028 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140503969 19566772224 643711 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705046] ppid=705025 vsize=19108176 memory=11408 CPUtime=0.01 cores=0,2
/proc/705028/task/705046/stat : 705046 (Common-Cleaner) S 705025 705028 697515 0 -1 1077936192 4940 0 0 0 0 1 0 0 20 0 20 0 140503970 19566772224 643711 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705048] ppid=705025 vsize=19108176 memory=2574844 CPUtime=0 cores=0,2
/proc/705028/task/705048/stat : 705048 (Timer-0) S 705025 705028 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140504184 19566772224 643711 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2574844 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3597.47 s]
# the end of solver process 705028 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.86 s, system=2.50834 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3597.4 s]
/proc/loadavg: 1.25 1.47 1.91 2/242 706973
/proc/meminfo: memFree=127484824/131655788 swapFree=131071996/131071996
[pid=705028] ppid=705025 vsize=19307868 memory=2575520 CPUtime=3600.23 cores=0,2
/proc/705028/stat : 705028 (java) S 705025 705028 697515 0 -1 1077936128 108008 0 0 0 359774 249 0 0 20 0 21 0 140503963 19771256832 643880 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
/proc/705028/statm: 4826967 643880 5957 1 0 1153732 0
[pid=705028/tid=705030] ppid=705025 vsize=19307868 memory=25972 CPUtime=3584.65 cores=0,2
/proc/705028/task/705030/stat : 705030 (java) R 705025 705028 697515 0 -1 4194368 34502 0 0 0 358452 13 0 0 20 0 21 0 140503964 19771256832 643880 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705039] ppid=705025 vsize=19307868 memory=28964 CPUtime=0 cores=0,2
/proc/705028/task/705039/stat : 705039 (Finalizer) S 705025 705028 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 140503969 19771256832 643880 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
[pid=705028/tid=705046] ppid=705025 vsize=19307868 memory=19496 CPUtime=0.01 cores=0,2
/proc/705028/task/705046/stat : 705046 (Common-Cleaner) S 705025 705028 697515 0 -1 1077936192 4940 0 0 0 0 1 0 0 20 0 21 0 140503970 19771256832 643880 134679101440 94457792040960 94457792044656 140735574702544 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94457792052472 94457792053264 94457820925952 140735574705133 140735574705223 140735574705223 140735574712264 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2575520 KiB
Child status: 143
Real time (s): 3597.47
CPU time (s): 3600.37
CPU user time (s): 3597.86
CPU system time (s): 2.50834
CPU usage (%): 100.08
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2575520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.86
system time used= 2.50833
maximum resident set size= 2576644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108453
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 143822
involuntary context switches= 25752
# summary of solver processes directly reported to runsolver:
# pid: 705028
# total CPU time (s): 3600.37
# total CPU user time (s): 3597.86
# total CPU system time (s): 2.50834
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.6981 second user time and 32.0499 second system time
The end
Begin job on nodeC007 at 2024-07-13 17:11:26 IDJOB=4424899 IDBENCH=143893 IDSOLVER=3037 FILE ID=nodeC007/4424899-1720883473 RUNJOBID= nodeC007-1720877762-699779 SLURM_JOB_ID= 7483755 Free space on /tmp= 723768 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub1_wcsp.wbo COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424899-1720883473/watcher-4424899-1720883473 -o /tmp/evaluation-result-4424899-1720883473/solver-4424899-1720883473 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1720877762-699779 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424899-1720883473.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4332859c61197d8e78afa6b8b48bb73c RANDOM SEED=1192689444 nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 2249.451 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 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.661 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.131 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 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.240 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3654.919 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 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 : 1471.468 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.150 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 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 : 2465.271 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 110441748 kB MemAvailable: 110367548 kB Buffers: 325720 kB Cached: 449216 kB SwapCached: 0 kB Active: 483600 kB Inactive: 20192968 kB Active(anon): 1452 kB Inactive(anon): 19937876 kB Active(file): 482148 kB Inactive(file): 255092 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 7724 kB Writeback: 64 kB AnonPages: 19901380 kB Mapped: 121800 kB Shmem: 37704 kB KReclaimable: 57180 kB Slab: 147264 kB SReclaimable: 57180 kB SUnreclaim: 90084 kB KernelStack: 4816 kB PageTables: 49284 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 26298928 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 45728 kB HardwareCorrupted: 0 kB AnonHugePages: 19505152 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 203592 kB DirectMap2M: 11235328 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 723776 MiB End job on nodeC007 at 2024-07-13 18:11:23