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.28 | 3598.82 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar7-sub1_wcsp.wbo |
| MD5SUM | daf2f1ed087a94b78160429ad112bf14 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MSAT |
| Best cost obtained on this benchmark | 212742 |
| Best CPU time to get the best result obtained on this benchmark | 3600.31 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 616 |
| Total number of constraints | 249748 |
| Number of soft constraints | 249734 |
| Number of constraints which are clauses | 249734 |
| Number of constraints which are cardinality constraints (but not clauses) | 14 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 44 |
| Top cost | 39275680 |
| Min constraint cost | 1 |
| Max constraint cost | 1000000 |
| Sum of constraints costs | 19104596930 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 45 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.11/0.11 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.11/0.11 c This is free software under the dual EPL/GNU LGPL licenses. 0.11/0.11 c See www.sat4j.org for details. 0.11/0.13 c version CUSTOM.v20240707 0.11/0.15 c java.runtime.name OpenJDK Runtime Environment 0.11/0.15 c java.vm.name OpenJDK 64-Bit Server VM 0.11/0.15 c java.vm.version 22.0.1+8-16 0.11/0.15 c java.vm.vendor Oracle Corporation 0.11/0.15 c sun.arch.data.model 64 0.11/0.15 c java.version 22.0.1 0.11/0.15 c os.name Linux 0.11/0.15 c os.version 4.18.0-301.1.el8.x86_64 0.11/0.15 c os.arch amd64 0.11/0.16 c Free memory 2113181440 0.11/0.16 c Max memory 16282288128 0.11/0.16 c Total memory 2122317824 0.11/0.16 c Number of processors 2 0.25/0.24 --- Begin Solver configuration --- 0.25/0.24 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.25/0.24 Learn all clauses as in MiniSAT 0.25/0.24 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.25/0.24 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.25/0.24 No reason simplification 0.25/0.24 Glucose 2.1 dynamic restart strategy 0.25/0.24 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.25/0.24 timeout=2147483s 0.25/0.24 DB Simplification allowed=false 0.25/0.24 Listener: none 0.25/0.24 --- End Solver configuration --- 0.25/0.25 c Pseudo Boolean Optimization by upper bound 0.25/0.25 c --- Begin Solver configuration --- 0.25/0.25 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.25/0.25 c Learn all clauses as in MiniSAT 0.25/0.25 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.25/0.25 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.25/0.25 c No reason simplification 0.25/0.25 c Glucose 2.1 dynamic restart strategy 0.25/0.25 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.25/0.25 c timeout=2147483s 0.25/0.25 c DB Simplification allowed=false 0.25/0.25 c Listener: none 0.25/0.25 c --- End Solver configuration --- 0.25/0.25 c solving HOME/instance-4424903-1720882661.wbo 0.25/0.25 c reading problem ... 3.15/1.76 c ... done. Wall clock time 1.509s. 3.15/1.76 c declared #vars 616 3.15/1.76 c internal #vars 250350 3.15/1.76 c #constraints 249763 3.15/1.76 c constraints type 3.15/1.76 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 14 3.15/1.76 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 3.15/1.76 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 249748 3.15/1.76 c 249763 constraints processed. 3.15/1.77 c objective function length is 249734 literals 4.94/2.66 c SATISFIABLE 4.94/2.66 c OPTIMIZING... 4.94/2.66 c Got one! Elapsed wall clock time (in seconds):2.408 4.94/2.66 o 503864 5.68/3.07 c Got one! Elapsed wall clock time (in seconds):2.821 5.68/3.07 o 483541 6.37/3.42 c Got one! Elapsed wall clock time (in seconds):3.177 6.37/3.42 o 483540 107.81/104.26 c cleaning 2667 clauses out of 5338 with flag 24068/5338 240.55/236.99 c cleaning 4333 clauses out of 8670 with flag 57926/11337 401.11/397.39 c cleaning 5668 clauses out of 11337 with flag 91295/18337 569.00/565.06 c cleaning 6831 clauses out of 13672 with flag 134043/26340 764.77/760.69 c cleaning 7914 clauses out of 15841 with flag 178113/35340 1624.87/1621.66 c cleaning 8924 clauses out of 17924 with flag 254035/45337 3444.28/3443.26 c cleaning 9701 clauses out of 20000 with flag 380701/56337 3600.05/3598.72 c starts : 61 3600.05/3598.76 c conflicts : 57167 3600.05/3598.76 c decisions : 2579225 3600.05/3598.76 c propagations : 3405361606 3600.05/3598.76 c inspects : 158852007 3600.05/3598.76 c shortcuts : 0 3600.05/3598.76 c learnt literals : 0 3600.05/3598.76 c learnt binary clauses : 1 3600.05/3598.76 c learnt ternary clauses : 1 3600.05/3598.76 c learnt constraints : 57166 3600.05/3598.76 c ignored constraints : 0 3600.05/3598.76 c root simplifications : 0 3600.05/3598.76 c removed literals (reason simplification) : 0 3600.05/3598.76 c reason swapping (by a shorter reason) : 0 3600.05/3598.76 c Calls to reduceDB : 7 3600.05/3598.76 c Number of update (reduction) of LBD : 18164 3600.05/3598.76 c Imported unit clauses : 0 3600.05/3598.76 c No decision after first conflict : false 3600.05/3598.76 c number of reductions to clauses (during analyze) : 0 3600.05/3598.76 c number of learned constraints concerned by reduction : 0 3600.05/3598.77 c number of learning phase by resolution : 0 3600.05/3598.77 c number of learning phase by cutting planes : 0 3600.05/3598.77 c number of rounding to 1 operations : 0 3600.05/3598.77 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.05/3598.77 c number of reductions of the coefficients by power 2 : 0 3600.05/3598.77 c number of right shift for reduction by power 2 : 0 3600.05/3598.77 c number of reductions of the coefficients by GCD over coefficients : 0 3600.05/3598.77 c number of ending skipping : 0 3600.05/3598.77 c number of internal skipping : 0 3600.05/3598.77 c number of derivation steps : 0 3600.05/3598.77 c number of skipped derivation steps : 0 3600.05/3598.77 c number of remaining unassigned : 0 3600.05/3598.77 c number of remaining assigned : 0 3600.05/3598.77 c number of falsified literals weakened from reason : 0 3600.05/3598.77 c number of falsified literals weakened from conflict : 0 3600.05/3598.77 c time for arithmetic operations : 0 3600.05/3598.79 c timeout 3600.05/3598.80 c minimum degree of deleted constraints : null 3600.05/3598.80 c maximum degree of deleted constraints : null 3600.05/3598.80 c number of deleted constraints : 0 3600.05/3598.80 c speed (assignments/second) : 946738.7703822611 3600.05/3598.80 c non guided choices : 1592 3600.05/3598.80 s SATISFIABLE 3600.05/3598.80 c Found 3 solution(s) 3600.05/3598.80 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.05/3598.80 c objective function=483540 3600.05/3598.80 c Total wall clock time (in seconds): 3598.552
OK 453037
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 (61893 MiB free)
memory of node 1: 64510 MiB (62973 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424903-1720882661/watcher-4424903-1720882661 -o /tmp/evaluation-result-4424903-1720882661/solver-4424903-1720882661 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1720879115-709550 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424903-1720882661.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=711785, runsolver pid=711782
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.36 4.21 4.12 6/319 711803
/proc/meminfo: memFree=127825252/131655788 swapFree=131071996/131071996
[pid=711785] ppid=711782 vsize=18975048 memory=57172 CPUtime=0.11 cores=5,7
/proc/711785/stat : 711785 (java) S 711782 711785 706088 0 -1 1077936128 6495 0 0 0 9 2 0 0 20 0 18 0 140424201 19430449152 14293 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
/proc/711785/statm: 4743762 14293 5423 1 0 550925 0
[pid=711785/tid=711787] ppid=711782 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/711785/task/711787/stat : 711787 (java) R 711782 711785 706088 0 -1 4194368 5430 0 0 0 7 1 0 0 20 0 18 0 140424201 19430449152 14293 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711796] ppid=711782 vsize=18975048 memory=228556276070 CPUtime=0 cores=5,7
/proc/711785/task/711796/stat : 711796 (Finalizer) S 711782 711785 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140424204 19430449152 14293 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711803] ppid=711782 vsize=18975048 memory=14135562894496790 CPUtime=0 cores=5,7
/proc/711785/task/711803/stat : 711803 (Common-Cleaner) S 711782 711785 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140424205 19430449152 14293 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57172 KiB
[startup+0.20585 s]*
/proc/loadavg: 4.36 4.21 4.12 10/319 711803
/proc/meminfo: memFree=127815440/131655788 swapFree=131071996/131071996
[pid=711785] ppid=711782 vsize=18975048 memory=65752 CPUtime=0.25 cores=5,7
/proc/711785/stat : 711785 (java) S 711782 711785 706088 0 -1 1077936128 7103 0 0 0 22 3 0 0 20 0 18 0 140424201 19430449152 16438 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
/proc/711785/statm: 4743762 16438 5427 1 0 551438 0
[pid=711785/tid=711787] ppid=711782 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/711785/task/711787/stat : 711787 (java) R 711782 711785 706088 0 -1 4194368 5651 0 0 0 17 2 0 0 20 0 18 0 140424201 19430449152 16438 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711796] ppid=711782 vsize=18975048 memory=694 CPUtime=0 cores=5,7
/proc/711785/task/711796/stat : 711796 (Finalizer) S 711782 711785 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140424204 19430449152 16438 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711803] ppid=711782 vsize=18975048 memory=15536340708104212 CPUtime=0 cores=5,7
/proc/711785/task/711803/stat : 711803 (Common-Cleaner) S 711782 711785 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140424205 19430449152 16438 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65752 KiB
[startup+0.306478 s]*
/proc/loadavg: 4.36 4.21 4.12 9/319 711803
/proc/meminfo: memFree=127809464/131655788 swapFree=131071996/131071996
[pid=711785] ppid=711782 vsize=18975048 memory=70796 CPUtime=0.42 cores=5,7
/proc/711785/stat : 711785 (java) S 711782 711785 706088 0 -1 1077936128 7441 0 0 0 39 3 0 0 20 0 18 0 140424201 19430449152 17699 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
/proc/711785/statm: 4743762 17699 5800 1 0 551660 0
[pid=711785/tid=711787] ppid=711782 vsize=18975048 memory=-9031233940808442556 CPUtime=0.29 cores=5,7
/proc/711785/task/711787/stat : 711787 (java) R 711782 711785 706088 0 -1 4194368 5787 0 0 0 27 2 0 0 20 0 18 0 140424201 19430449152 17699 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711796] ppid=711782 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/711785/task/711796/stat : 711796 (Finalizer) S 711782 711785 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140424204 19430449152 17699 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711803] ppid=711782 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/711785/task/711803/stat : 711803 (Common-Cleaner) S 711782 711785 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140424205 19430449152 17699 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 70796 KiB
[startup+0.700479 s]
/proc/loadavg: 4.36 4.21 4.12 7/319 711803
/proc/meminfo: memFree=127769980/131655788 swapFree=131071996/131071996
[pid=711785] ppid=711782 vsize=18975048 memory=160956 CPUtime=1.18 cores=5,7
/proc/711785/stat : 711785 (java) S 711782 711785 706088 0 -1 1077936128 9058 0 0 0 112 6 0 0 20 0 18 0 140424201 19430449152 40239 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
/proc/711785/statm: 4743762 40239 5800 1 0 552660 0
[pid=711785/tid=711787] ppid=711782 vsize=18975048 memory=5576 CPUtime=0.66 cores=5,7
/proc/711785/task/711787/stat : 711787 (java) R 711782 711785 706088 0 -1 4194368 5839 0 0 0 62 4 0 0 20 0 18 0 140424201 19430449152 40239 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711796] ppid=711782 vsize=18975048 memory=12676 CPUtime=0 cores=5,7
/proc/711785/task/711796/stat : 711796 (Finalizer) S 711782 711785 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140424204 19430449152 40239 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711803] ppid=711782 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/711785/task/711803/stat : 711803 (Common-Cleaner) S 711782 711785 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140424205 19430449152 40239 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 160956 KiB
[startup+1.50048 s]
/proc/loadavg: 4.36 4.21 4.12 8/320 711806
/proc/meminfo: memFree=127639904/131655788 swapFree=131071996/131071996
[pid=711785] ppid=711782 vsize=19041612 memory=362236 CPUtime=2.74 cores=5,7
/proc/711785/stat : 711785 (java) S 711782 711785 706088 0 -1 1077936128 17992 0 0 0 262 12 0 0 20 0 19 0 140424201 19498610688 90559 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
/proc/711785/statm: 4760403 90559 5816 1 0 1285255 0
[pid=711785/tid=711787] ppid=711782 vsize=19041612 memory=12676 CPUtime=1.24 cores=5,7
/proc/711785/task/711787/stat : 711787 (java) R 711782 711785 706088 0 -1 4194368 5887 0 0 0 117 7 0 0 20 0 19 0 140424201 19498610688 90559 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711796] ppid=711782 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/711785/task/711796/stat : 711796 (Finalizer) S 711782 711785 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140424204 19498610688 90559 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711803] ppid=711782 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/711785/task/711803/stat : 711803 (Common-Cleaner) S 711782 711785 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140424205 19498610688 90559 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 362236 KiB
[startup+3.10548 s]
/proc/loadavg: 4.36 4.21 4.12 5/321 711807
/proc/meminfo: memFree=127258068/131655788 swapFree=131071996/131071996
[pid=711785] ppid=711782 vsize=19108176 memory=594544 CPUtime=5.82 cores=5,7
/proc/711785/stat : 711785 (java) S 711782 711785 706088 0 -1 1077936128 18831 0 0 0 565 17 0 0 20 0 20 0 140424201 19566772224 148636 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
/proc/711785/statm: 4777044 148636 5869 1 0 1285802 0
[pid=711785/tid=711787] ppid=711782 vsize=19108176 memory=198340509722 CPUtime=2.72 cores=5,7
/proc/711785/task/711787/stat : 711787 (java) R 711782 711785 706088 0 -1 4194368 6193 0 0 0 263 9 0 0 20 0 20 0 140424201 19566772224 148636 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711796] ppid=711782 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/711785/task/711796/stat : 711796 (Finalizer) S 711782 711785 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140424204 19566772224 148636 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711803] ppid=711782 vsize=19108176 memory=12676 CPUtime=0 cores=5,7
/proc/711785/task/711803/stat : 711803 (Common-Cleaner) S 711782 711785 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140424205 19566772224 148636 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711807] ppid=711782 vsize=19108176 memory=500476 CPUtime=0 cores=5,7
/proc/711785/task/711807/stat : 711807 (Timer-0) S 711782 711785 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140424387 19566772224 148636 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
Current children cumulated CPU time: 5.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 594544 KiB
[startup+6.30047 s]
/proc/loadavg: 4.33 4.20 4.12 6/321 711807
/proc/meminfo: memFree=127207996/131655788 swapFree=131071996/131071996
[pid=711785] ppid=711782 vsize=19108176 memory=651564 CPUtime=9.53 cores=5,7
/proc/711785/stat : 711785 (java) S 711782 711785 706088 0 -1 1077936128 19493 0 0 0 934 19 0 0 20 0 20 0 140424201 19566772224 162891 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
/proc/711785/statm: 4777044 162891 5869 1 0 1285807 0
[pid=711785/tid=711787] ppid=711782 vsize=19108176 memory=0 CPUtime=5.83 cores=5,7
/proc/711785/task/711787/stat : 711787 (java) R 711782 711785 706088 0 -1 4194368 6273 0 0 0 573 10 0 0 20 0 20 0 140424201 19566772224 162891 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711796] ppid=711782 vsize=19108176 memory=12676 CPUtime=0 cores=5,7
/proc/711785/task/711796/stat : 711796 (Finalizer) S 711782 711785 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140424204 19566772224 162891 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711803] ppid=711782 vsize=19108176 memory=507604 CPUtime=0 cores=5,7
/proc/711785/task/711803/stat : 711803 (Common-Cleaner) S 711782 711785 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140424205 19566772224 162891 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711807] ppid=711782 vsize=19108176 memory=651516 CPUtime=0 cores=5,7
/proc/711785/task/711807/stat : 711807 (Timer-0) S 711782 711785 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140424387 19566772224 162891 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
Current children cumulated CPU time: 9.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 651564 KiB
[startup+12.7005 s]
/proc/loadavg: 4.31 4.20 4.12 5/321 711808
/proc/meminfo: memFree=127207780/131655788 swapFree=131071996/131071996
[pid=711785] ppid=711782 vsize=19108176 memory=651736 CPUtime=16.03 cores=5,7
/proc/711785/stat : 711785 (java) S 711782 711785 706088 0 -1 1077936128 20782 0 0 0 1583 20 0 0 20 0 20 0 140424201 19566772224 162934 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
/proc/711785/statm: 4777044 162934 5869 1 0 1285807 0
[pid=711785/tid=711787] ppid=711782 vsize=19108176 memory=651732 CPUtime=12.22 cores=5,7
/proc/711785/task/711787/stat : 711787 (java) R 711782 711785 706088 0 -1 4194368 6536 0 0 0 1212 10 0 0 20 0 20 0 140424201 19566772224 162934 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711796] ppid=711782 vsize=19108176 memory=12440 CPUtime=0 cores=5,7
/proc/711785/task/711796/stat : 711796 (Finalizer) S 711782 711785 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140424204 19566772224 162934 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711803] ppid=711782 vsize=19108176 memory=6083347604180656979 CPUtime=0 cores=5,7
/proc/711785/task/711803/stat : 711803 (Common-Cleaner) S 711782 711785 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140424205 19566772224 162934 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711807] ppid=711782 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/711785/task/711807/stat : 711807 (Timer-0) S 711782 711785 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140424387 19566772224 162934 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
Current children cumulated CPU time: 16.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 651736 KiB
[startup+25.5005 s]
/proc/loadavg: 4.24 4.19 4.12 5/321 711810
/proc/meminfo: memFree=127207068/131655788 swapFree=131071996/131071996
[pid=711785] ppid=711782 vsize=19108176 memory=651844 CPUtime=28.87 cores=5,7
/proc/711785/stat : 711785 (java) S 711782 711785 706088 0 -1 1077936128 22387 0 0 0 2866 21 0 0 20 0 20 0 140424201 19566772224 162961 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
/proc/711785/statm: 4777044 162961 5869 1 0 1285807 0
[pid=711785/tid=711787] ppid=711782 vsize=19108176 memory=6083347604180656979 CPUtime=24.99 cores=5,7
/proc/711785/task/711787/stat : 711787 (java) R 711782 711785 706088 0 -1 4194368 6933 0 0 0 2489 10 0 0 20 0 20 0 140424201 19566772224 162961 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711796] ppid=711782 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/711785/task/711796/stat : 711796 (Finalizer) S 711782 711785 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140424204 19566772224 162961 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711803] ppid=711782 vsize=19108176 memory=19312 CPUtime=0 cores=5,7
/proc/711785/task/711803/stat : 711803 (Common-Cleaner) S 711782 711785 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140424205 19566772224 162961 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711807] ppid=711782 vsize=19108176 memory=-9031233940808442556 CPUtime=0 cores=5,7
/proc/711785/task/711807/stat : 711807 (Timer-0) S 711782 711785 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140424387 19566772224 162961 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
Current children cumulated CPU time: 28.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 651844 KiB
[startup+51.1135 s]
/proc/loadavg: 4.16 4.17 4.11 5/322 711985
/proc/meminfo: memFree=127204996/131655788 swapFree=131071996/131071996
[pid=711785] ppid=711782 vsize=19108176 memory=651868 CPUtime=54.49 cores=5,7
/proc/711785/stat : 711785 (java) S 711782 711785 706088 0 -1 1077936128 24263 0 0 0 5426 23 0 0 20 0 20 0 140424201 19566772224 162967 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
/proc/711785/statm: 4777044 162967 5869 1 0 1285807 0
[pid=711785/tid=711787] ppid=711782 vsize=19108176 memory=651868 CPUtime=50.55 cores=5,7
/proc/711785/task/711787/stat : 711787 (java) R 711782 711785 706088 0 -1 4194368 7618 0 0 0 5045 10 0 0 20 0 20 0 140424201 19566772224 162967 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711796] ppid=711782 vsize=19108176 memory=12440 CPUtime=0 cores=5,7
/proc/711785/task/711796/stat : 711796 (Finalizer) S 711782 711785 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140424204 19566772224 162967 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711803] ppid=711782 vsize=19108176 memory=12440 CPUtime=0 cores=5,7
/proc/711785/task/711803/stat : 711803 (Common-Cleaner) S 711782 711785 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140424205 19566772224 162967 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711807] ppid=711782 vsize=19108176 memory=12440 CPUtime=0 cores=5,7
/proc/711785/task/711807/stat : 711807 (Timer-0) S 711782 711785 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140424387 19566772224 162967 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
Current children cumulated CPU time: 54.49 s
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.12 4.20 4.21 5/321 713282
/proc/meminfo: memFree=125121564/131655788 swapFree=131071996/131071996
[pid=711785] ppid=711782 vsize=19108176 memory=739368 CPUtime=3283.57 cores=5,7
/proc/711785/stat : 711785 (java) S 711782 711785 706088 0 -1 1077936128 70910 0 0 0 328145 212 0 0 20 0 20 0 140424201 19566772224 184842 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
/proc/711785/statm: 4777044 184842 5917 1 0 1285929 0
[pid=711785/tid=711787] ppid=711782 vsize=19108176 memory=12440 CPUtime=3274.62 cores=5,7
/proc/711785/task/711787/stat : 711787 (java) R 711782 711785 706088 0 -1 4194368 23522 0 0 0 327449 13 0 0 20 0 20 0 140424201 19566772224 184842 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711796] ppid=711782 vsize=19108176 memory=5576 CPUtime=0 cores=5,7
/proc/711785/task/711796/stat : 711796 (Finalizer) S 711782 711785 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140424204 19566772224 184842 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711803] ppid=711782 vsize=19108176 memory=7752835189650529183 CPUtime=0 cores=5,7
/proc/711785/task/711803/stat : 711803 (Common-Cleaner) S 711782 711785 706088 0 -1 1077936192 3577 0 0 0 0 0 0 0 20 0 20 0 140424205 19566772224 184842 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711807] ppid=711782 vsize=19108176 memory=739368 CPUtime=0 cores=5,7
/proc/711785/task/711807/stat : 711807 (Timer-0) S 711782 711785 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140424387 19566772224 184842 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
Current children cumulated CPU time: 3283.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 739368 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.19 4.20 5/321 713293
/proc/meminfo: memFree=125070688/131655788 swapFree=131071996/131071996
[pid=711785] ppid=711782 vsize=19108176 memory=739368 CPUtime=3343.5 cores=5,7
/proc/711785/stat : 711785 (java) S 711782 711785 706088 0 -1 1077936128 71095 0 0 0 334135 215 0 0 20 0 20 0 140424201 19566772224 184842 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
/proc/711785/statm: 4777044 184842 5917 1 0 1285929 0
[pid=711785/tid=711787] ppid=711782 vsize=19108176 memory=0 CPUtime=3334.49 cores=5,7
/proc/711785/task/711787/stat : 711787 (java) R 711782 711785 706088 0 -1 4194368 23666 0 0 0 333436 13 0 0 20 0 20 0 140424201 19566772224 184842 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711796] ppid=711782 vsize=19108176 memory=5576 CPUtime=0 cores=5,7
/proc/711785/task/711796/stat : 711796 (Finalizer) S 711782 711785 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140424204 19566772224 184842 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711803] ppid=711782 vsize=19108176 memory=2692 CPUtime=0 cores=5,7
/proc/711785/task/711803/stat : 711803 (Common-Cleaner) S 711782 711785 706088 0 -1 1077936192 3577 0 0 0 0 0 0 0 20 0 20 0 140424205 19566772224 184842 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711807] ppid=711782 vsize=19108176 memory=739368 CPUtime=0 cores=5,7
/proc/711785/task/711807/stat : 711807 (Timer-0) S 711782 711785 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140424387 19566772224 184842 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
Current children cumulated CPU time: 3343.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 739368 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.17 4.19 6/321 713303
/proc/meminfo: memFree=125069940/131655788 swapFree=131071996/131071996
[pid=711785] ppid=711782 vsize=19108176 memory=739372 CPUtime=3403.44 cores=5,7
/proc/711785/stat : 711785 (java) S 711782 711785 706088 0 -1 1077936128 71737 0 0 0 340126 218 0 0 20 0 20 0 140424201 19566772224 184843 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
/proc/711785/statm: 4777044 184843 5917 1 0 1285929 0
[pid=711785/tid=711787] ppid=711782 vsize=19108176 memory=5576 CPUtime=3394.35 cores=5,7
/proc/711785/task/711787/stat : 711787 (java) R 711782 711785 706088 0 -1 4194368 23975 0 0 0 339422 13 0 0 20 0 20 0 140424201 19566772224 184843 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711796] ppid=711782 vsize=19108176 memory=739368 CPUtime=0 cores=5,7
/proc/711785/task/711796/stat : 711796 (Finalizer) S 711782 711785 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140424204 19566772224 184843 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711803] ppid=711782 vsize=19108176 memory=37036 CPUtime=0 cores=5,7
/proc/711785/task/711803/stat : 711803 (Common-Cleaner) S 711782 711785 706088 0 -1 1077936192 3701 0 0 0 0 0 0 0 20 0 20 0 140424205 19566772224 184843 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711807] ppid=711782 vsize=19108176 memory=739372 CPUtime=0 cores=5,7
/proc/711785/task/711807/stat : 711807 (Timer-0) S 711782 711785 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140424387 19566772224 184843 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
Current children cumulated CPU time: 3403.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 739372 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.17 4.19 6/321 713315
/proc/meminfo: memFree=125068004/131655788 swapFree=131071996/131071996
[pid=711785] ppid=711782 vsize=19108176 memory=740528 CPUtime=3463.77 cores=5,7
/proc/711785/stat : 711785 (java) S 711782 711785 706088 0 -1 1077936128 77859 0 0 0 346156 221 0 0 20 0 20 0 140424201 19566772224 185132 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
/proc/711785/statm: 4777044 185132 5917 1 0 1285929 0
[pid=711785/tid=711787] ppid=711782 vsize=19108176 memory=5576 CPUtime=3454.22 cores=5,7
/proc/711785/task/711787/stat : 711787 (java) R 711782 711785 706088 0 -1 4194368 24558 0 0 0 345409 13 0 0 20 0 20 0 140424201 19566772224 185132 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711796] ppid=711782 vsize=19108176 memory=739368 CPUtime=0 cores=5,7
/proc/711785/task/711796/stat : 711796 (Finalizer) S 711782 711785 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140424204 19566772224 185132 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711803] ppid=711782 vsize=19108176 memory=37036 CPUtime=0 cores=5,7
/proc/711785/task/711803/stat : 711803 (Common-Cleaner) S 711782 711785 706088 0 -1 1077936192 3701 0 0 0 0 0 0 0 20 0 20 0 140424205 19566772224 185132 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711807] ppid=711782 vsize=19108176 memory=739372 CPUtime=0 cores=5,7
/proc/711785/task/711807/stat : 711807 (Timer-0) S 711782 711785 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140424387 19566772224 185132 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
Current children cumulated CPU time: 3463.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 740528 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.15 4.18 6/319 713709
/proc/meminfo: memFree=124899060/131655788 swapFree=131071996/131071996
[pid=711785] ppid=711782 vsize=19108176 memory=740528 CPUtime=3523.71 cores=5,7
/proc/711785/stat : 711785 (java) S 711782 711785 706088 0 -1 1077936128 78342 0 0 0 352146 225 0 0 20 0 20 0 140424201 19566772224 185132 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
/proc/711785/statm: 4777044 185132 5917 1 0 1285929 0
[pid=711785/tid=711787] ppid=711782 vsize=19108176 memory=740528 CPUtime=3514.11 cores=5,7
/proc/711785/task/711787/stat : 711787 (java) R 711782 711785 706088 0 -1 4194368 24872 0 0 0 351398 13 0 0 20 0 20 0 140424201 19566772224 185132 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711796] ppid=711782 vsize=19108176 memory=740528 CPUtime=0 cores=5,7
/proc/711785/task/711796/stat : 711796 (Finalizer) S 711782 711785 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140424204 19566772224 185132 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711803] ppid=711782 vsize=19108176 memory=740528 CPUtime=0 cores=5,7
/proc/711785/task/711803/stat : 711803 (Common-Cleaner) S 711782 711785 706088 0 -1 1077936192 3797 0 0 0 0 0 0 0 20 0 20 0 140424205 19566772224 185132 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711807] ppid=711782 vsize=19108176 memory=5608 CPUtime=0 cores=5,7
/proc/711785/task/711807/stat : 711807 (Timer-0) S 711782 711785 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140424387 19566772224 185132 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
Current children cumulated CPU time: 3523.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 740528 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.14 4.17 5/320 713720
/proc/meminfo: memFree=124898472/131655788 swapFree=131071996/131071996
[pid=711785] ppid=711782 vsize=19108176 memory=740528 CPUtime=3583.66 cores=5,7
/proc/711785/stat : 711785 (java) S 711782 711785 706088 0 -1 1077936128 78528 0 0 0 358138 228 0 0 20 0 20 0 140424201 19566772224 185132 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
/proc/711785/statm: 4777044 185132 5917 1 0 1285929 0
[pid=711785/tid=711787] ppid=711782 vsize=19108176 memory=740528 CPUtime=3574 cores=5,7
/proc/711785/task/711787/stat : 711787 (java) R 711782 711785 706088 0 -1 4194368 25012 0 0 0 357387 13 0 0 20 0 20 0 140424201 19566772224 185132 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711796] ppid=711782 vsize=19108176 memory=740528 CPUtime=0 cores=5,7
/proc/711785/task/711796/stat : 711796 (Finalizer) S 711782 711785 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140424204 19566772224 185132 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711803] ppid=711782 vsize=19108176 memory=2216 CPUtime=0 cores=5,7
/proc/711785/task/711803/stat : 711803 (Common-Cleaner) S 711782 711785 706088 0 -1 1077936192 3797 0 0 0 0 0 0 0 20 0 20 0 140424205 19566772224 185132 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711807] ppid=711782 vsize=19108176 memory=740528 CPUtime=0 cores=5,7
/proc/711785/task/711807/stat : 711807 (Timer-0) S 711782 711785 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140424387 19566772224 185132 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
Current children cumulated CPU time: 3583.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 740528 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3598.7 s]
/proc/loadavg: 3.99 4.11 4.16 3/267 713790
/proc/meminfo: memFree=127610316/131655788 swapFree=131071996/131071996
[pid=711785] ppid=711782 vsize=19108176 memory=740528 CPUtime=3600.05 cores=5,7
/proc/711785/stat : 711785 (java) S 711782 711785 706088 0 -1 1077936128 78757 0 0 0 359775 230 0 0 20 0 20 0 140424201 19566772224 185132 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
/proc/711785/statm: 4777044 185132 5917 1 0 1285929 0
[pid=711785/tid=711787] ppid=711782 vsize=19108176 memory=12676 CPUtime=3590.36 cores=5,7
/proc/711785/task/711787/stat : 711787 (java) R 711782 711785 706088 0 -1 4194368 25176 0 0 0 359023 13 0 0 20 0 20 0 140424201 19566772224 185132 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711796] ppid=711782 vsize=19108176 memory=740528 CPUtime=0 cores=5,7
/proc/711785/task/711796/stat : 711796 (Finalizer) S 711782 711785 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140424204 19566772224 185132 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711803] ppid=711782 vsize=19108176 memory=740528 CPUtime=0 cores=5,7
/proc/711785/task/711803/stat : 711803 (Common-Cleaner) S 711782 711785 706088 0 -1 1077936192 3797 0 0 0 0 0 0 0 20 0 20 0 140424205 19566772224 185132 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711807] ppid=711782 vsize=19108176 memory=740528 CPUtime=0 cores=5,7
/proc/711785/task/711807/stat : 711807 (Timer-0) S 711782 711785 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140424387 19566772224 185132 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 740528 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3598.82 s]
# the end of solver process 711785 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.96 s, system=2.31513 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3598.81 s]
/proc/loadavg: 3.99 4.11 4.16 3/267 713790
/proc/meminfo: memFree=127610316/131655788 swapFree=131071996/131071996
[pid=711785] ppid=711782 vsize=19307868 memory=741380 CPUtime=3600.25 cores=5,7
/proc/711785/stat : 711785 (java) S 711782 711785 706088 0 -1 1077936128 82385 0 0 0 359795 230 0 0 20 0 19 0 140424201 19771256832 185345 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
/proc/711785/statm: 4826967 185345 5916 1 0 1286832 0
[pid=711785/tid=711787] ppid=711782 vsize=19307868 memory=2008 CPUtime=3590.46 cores=5,7
/proc/711785/task/711787/stat : 711787 (java) S 711782 711785 706088 0 -1 1077936192 25312 0 0 0 359033 13 0 0 20 0 19 0 140424201 19771256832 185345 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711796] ppid=711782 vsize=19307868 memory=31900 CPUtime=0 cores=5,7
/proc/711785/task/711796/stat : 711796 (Finalizer) S 711782 711785 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140424204 19771256832 185345 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
[pid=711785/tid=711803] ppid=711782 vsize=19307868 memory=-9031233940808442556 CPUtime=0 cores=5,7
/proc/711785/task/711803/stat : 711803 (Common-Cleaner) S 711782 711785 706088 0 -1 1077936192 3797 0 0 0 0 0 0 0 20 0 19 0 140424205 19771256832 185345 134679101440 94135965106176 94135965109872 140721889664144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94135965117688 94135965118480 94135972990976 140721889666029 140721889666119 140721889666119 140721889673160 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 741380 KiB
Child status: 143
Real time (s): 3598.82
CPU time (s): 3600.28
CPU user time (s): 3597.96
CPU system time (s): 2.31513
CPU usage (%): 100.04
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 741380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.96
system time used= 2.31513
maximum resident set size= 742300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82466
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 159065
involuntary context switches= 1452
# summary of solver processes directly reported to runsolver:
# pid: 711785
# total CPU time (s): 3600.28
# total CPU user time (s): 3597.96
# total CPU system time (s): 2.31513
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3628 second user time and 37.1083 second system time
The end
Begin job on nodeC002 at 2024-07-13 16:57:54 IDJOB=4424903 IDBENCH=143884 IDSOLVER=3037 FILE ID=nodeC002/4424903-1720882661 RUNJOBID= nodeC002-1720879115-709550 SLURM_JOB_ID= 7483750 Free space on /tmp= 723760 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-sub1_wcsp.wbo COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424903-1720882661/watcher-4424903-1720882661 -o /tmp/evaluation-result-4424903-1720882661/solver-4424903-1720882661 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1720879115-709550 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424903-1720882661.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= daf2f1ed087a94b78160429ad112bf14 RANDOM SEED=934798744 nodeC002.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 : 2394.303 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.38 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 : 3637.442 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.31 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 : 3092.642 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.38 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.281 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.31 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 : 3497.680 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.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.171 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.31 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.355 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.38 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 : 3491.696 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.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 127864472 kB MemAvailable: 127804160 kB Buffers: 329020 kB Cached: 458960 kB SwapCached: 0 kB Active: 495880 kB Inactive: 2788836 kB Active(anon): 2692 kB Inactive(anon): 2531768 kB Active(file): 493188 kB Inactive(file): 257068 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 21256 kB Writeback: 0 kB AnonPages: 2496360 kB Mapped: 121896 kB Shmem: 37704 kB KReclaimable: 58928 kB Slab: 150044 kB SReclaimable: 58928 kB SUnreclaim: 91116 kB KernelStack: 4896 kB PageTables: 14880 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 10277532 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 47392 kB HardwareCorrupted: 0 kB AnonHugePages: 2177024 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: 160584 kB DirectMap2M: 7084032 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 723768 MiB End job on nodeC002 at 2024-07-13 17:57:53