Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution 2025-06-06 | MSAT (TO) | 3600.25 | 3599.23 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/celar/ normalized-celar7-sub4-22_wcsp.wbo |
| MD5SUM | d7d01ec0794d07991a9972239b49c230 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 202342 |
| Best CPU time to get the best result obtained on this benchmark | 9.55977 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 444 |
| Total number of constraints | 80644 |
| Number of soft constraints | 80622 |
| Number of constraints which are clauses | 80622 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 22 |
| Top cost | 54058235 |
| Min constraint cost | 1 |
| Max constraint cost | 1000000 |
| Sum of constraints costs | 6107276475 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 23 |
| Number of bits of the biggest sum of numbers | 5 |
| 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.12 c version PB25.v20250606 0.11/0.13 c java.runtime.name OpenJDK Runtime Environment 0.11/0.13 c java.vm.name OpenJDK 64-Bit Server VM 0.11/0.13 c java.vm.version 22.0.1+8-16 0.11/0.13 c java.vm.vendor Oracle Corporation 0.11/0.13 c sun.arch.data.model 64 0.11/0.13 c java.version 22.0.1 0.11/0.13 c os.name Linux 0.11/0.13 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.11/0.13 c os.arch amd64 0.11/0.13 c Free memory 2104792832 0.11/0.13 c Max memory 16282288128 0.11/0.13 c Total memory 2113929216 0.11/0.13 c Number of processors 2 0.11/0.19 c Pseudo Boolean Optimization by upper bound 0.11/0.19 c --- Begin Solver configuration --- 0.11/0.19 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.11/0.19 c Learn all clauses as in MiniSAT 0.11/0.19 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.19 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.19 c Expensive reason simplification 0.11/0.19 c Glucose 2.1 dynamic restart strategy 0.11/0.19 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.11/0.19 c timeout=2147483s 0.11/0.19 c DB Simplification allowed=false 0.11/0.19 c Listener: none 0.11/0.19 c --- End Solver configuration --- 0.11/0.19 c solving HOME/instance-4525721-1751627278.wbo 0.11/0.19 c reading problem ... 1.96/1.12 c ... done. Wall clock time 0.925s. 1.96/1.12 c declared #vars 444 1.96/1.12 c internal #vars 81066 1.96/1.12 c #constraints 80667 1.96/1.12 c constraints type 1.96/1.12 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.96/1.12 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 1.96/1.12 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 80644 1.96/1.12 c 80667 constraints processed. 1.96/1.14 c objective function length is 80622 literals 2.74/1.53 c SATISFIABLE 2.74/1.53 c OPTIMIZING... 2.74/1.53 c Got one! Elapsed wall clock time (in seconds):1.341 2.74/1.53 o 754072 3.14/1.78 c Got one! Elapsed wall clock time (in seconds):1.594 3.14/1.78 o 753754 3.54/1.96 c Got one! Elapsed wall clock time (in seconds):1.77 3.54/1.96 o 524070 10.11/7.60 c cleaning 2634 clauses out of 5282 with flag 19155/5282 16.71/13.89 c cleaning 4306 clauses out of 8648 with flag 41618/11282 24.10/20.73 c cleaning 5658 clauses out of 11342 with flag 78289/18282 31.36/27.93 c cleaning 6831 clauses out of 13686 with flag 128394/26284 39.75/36.39 c cleaning 7927 clauses out of 15853 with flag 181985/35282 50.04/46.61 c cleaning 8961 clauses out of 17926 with flag 223564/45282 61.93/58.50 c cleaning 9975 clauses out of 19965 with flag 269978/56282 74.53/71.17 c cleaning 10972 clauses out of 21990 with flag 320099/68282 88.81/85.47 c cleaning 11989 clauses out of 24018 with flag 375324/81282 103.91/100.53 c cleaning 13006 clauses out of 26029 with flag 430940/95282 119.59/116.26 c cleaning 13997 clauses out of 28023 with flag 492671/110282 136.98/133.69 c cleaning 14995 clauses out of 30026 with flag 555324/126282 154.72/151.38 c cleaning 16002 clauses out of 32031 with flag 619649/143282 173.48/170.10 c cleaning 16990 clauses out of 34029 with flag 707647/161282 380.85/377.16 c cleaning 18002 clauses out of 36036 with flag 893389/180282 712.34/708.60 c cleaning 19001 clauses out of 38037 with flag 1073985/200285 1075.86/1072.27 c cleaning 20013 clauses out of 40035 with flag 1309486/221284 1422.12/1418.49 c cleaning 21007 clauses out of 42020 with flag 1545011/243282 1832.82/1829.56 c cleaning 22002 clauses out of 44013 with flag 1821139/266282 2248.63/2246.00 c cleaning 23001 clauses out of 46012 with flag 2094444/290283 2655.40/2653.24 c cleaning 24005 clauses out of 48010 with flag 2366549/315282 3084.42/3082.78 c cleaning 25002 clauses out of 50005 with flag 2674412/341282 3547.83/3546.87 c cleaning 26000 clauses out of 52003 with flag 3006646/368282 3600.07/3599.14 c starts : 3220 3600.07/3599.17 c conflicts : 371382 3600.07/3599.18 c decisions : 4020318 3600.07/3599.18 c propagations : 5272726404 3600.07/3599.18 c inspects : 280425278 3600.07/3599.18 c shortcuts : 0 3600.07/3599.18 c learnt literals : 3 3600.07/3599.18 c learnt binary clauses : 4 3600.07/3599.18 c learnt ternary clauses : 2 3600.07/3599.18 c learnt constraints : 371379 3600.07/3599.18 c ignored constraints : 0 3600.07/3599.18 c root simplifications : 0 3600.07/3599.18 c removed literals (reason simplification) : 2106083 3600.07/3599.18 c reason swapping (by a shorter reason) : 0 3600.07/3599.18 c Calls to reduceDB : 23 3600.07/3599.18 c Number of update (reduction) of LBD : 135463 3600.07/3599.18 c Imported unit clauses : 0 3600.07/3599.18 c No decision after first conflict : false 3600.07/3599.18 c number of reductions to clauses (during analyze) : 0 3600.07/3599.18 c number of learned constraints concerned by reduction : 0 3600.07/3599.18 c number of learning phase by resolution : 0 3600.07/3599.18 c number of learning phase by cutting planes : 0 3600.07/3599.18 c number of rounding to 1 operations : 0 3600.07/3599.19 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.07/3599.19 c number of reductions of the coefficients by power 2 : 0 3600.07/3599.19 c number of right shift for reduction by power 2 : 0 3600.07/3599.19 c number of reductions of the coefficients by GCD over coefficients : 0 3600.07/3599.19 c number of ending skipping : 0 3600.07/3599.19 c number of internal skipping : 0 3600.07/3599.19 c number of derivation steps : 0 3600.07/3599.19 c number of skipped derivation steps : 0 3600.07/3599.19 c number of remaining unassigned : 0 3600.07/3599.19 c number of remaining assigned : 0 3600.07/3599.19 c number of falsified literals weakened from reason : 0 3600.07/3599.19 c number of falsified literals weakened from conflict : 0 3600.07/3599.19 c time for arithmetic operations : 0 3600.07/3599.19 c minimum degree of deleted constraints : null 3600.07/3599.19 c maximum degree of deleted constraints : null 3600.07/3599.19 c number of deleted constraints : 0 3600.07/3599.19 c speed (assignments/second) : 1465459.5533854624 3600.07/3599.19 c non guided choices : 861 3600.07/3599.19 s SATISFIABLE 3600.07/3599.19 c Found 3 solution(s) 3600.07/3599.19 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 3600.07/3599.19 c objective function=524070 3600.07/3599.19 c Total wall clock time (in seconds): 3599.005
OK 503562
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: 63837 MiB (60379 MiB free)
memory of node 1: 64465 MiB (61948 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525721-1751627278/watcher-4525721-1751627278 -o /tmp/evaluation-result-4525721-1751627278/solver-4525721-1751627278 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751623235-97337 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4525721-1751627278.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=100349, runsolver pid=100346
[startup+0.100071 s]*
/proc/loadavg: 4.10 4.18 4.20 5/326 100367
/proc/meminfo: memFree=125241228/131382116 swapFree=33009904/33010684
[pid=100349] ppid=100346 vsize=18930384 memory=51376 CPUtime=0.11 cores=1,3
/proc/100349/stat : 100349 (java) S 100346 100349 97320 0 -1 4194304 6006 0 0 0 9 2 0 0 20 0 18 0 78406938 19384713216 12844 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
/proc/100349/statm: 4732596 12844 5329 1 0 547159 0
[pid=100349/tid=100351] ppid=100346 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/100349/task/100351/stat : 100351 (java) R 100346 100349 97320 0 -1 4194368 4864 0 0 0 6 1 0 0 20 0 18 0 78406940 19384713216 12844 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100360] ppid=100346 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/100349/task/100360/stat : 100360 (Finalizer) S 100346 100349 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78406942 19384713216 12844 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100367] ppid=100346 vsize=18930384 memory=60693105881846 CPUtime=0 cores=1,3
/proc/100349/task/100367/stat : 100367 (Common-Cleaner) S 100346 100349 97320 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78406943 19384713216 12844 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51376 KiB
[startup+0.21391 s]*
/proc/loadavg: 4.10 4.18 4.20 7/326 100367
/proc/meminfo: memFree=125233036/131382116 swapFree=33009904/33010684
[pid=100349] ppid=100346 vsize=18930384 memory=61020 CPUtime=0.32 cores=1,3
/proc/100349/stat : 100349 (java) S 100346 100349 97320 0 -1 4194304 6804 0 0 0 29 3 0 0 20 0 18 0 78406938 19384713216 15255 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
/proc/100349/statm: 4732596 15255 5425 1 0 547825 0
[pid=100349/tid=100351] ppid=100346 vsize=18930384 memory=4026794268 CPUtime=0.18 cores=1,3
/proc/100349/task/100351/stat : 100351 (java) R 100346 100349 97320 0 -1 4194368 5283 0 0 0 17 1 0 0 20 0 18 0 78406940 19384713216 15255 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100360] ppid=100346 vsize=18930384 memory=14857 CPUtime=0 cores=1,3
/proc/100349/task/100360/stat : 100360 (Finalizer) S 100346 100349 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78406942 19384713216 15255 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100367] ppid=100346 vsize=18930384 memory=59593594242043 CPUtime=0 cores=1,3
/proc/100349/task/100367/stat : 100367 (Common-Cleaner) S 100346 100349 97320 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78406943 19384713216 15255 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61020 KiB
[startup+0.313775 s]*
/proc/loadavg: 4.10 4.18 4.20 7/326 100367
/proc/meminfo: memFree=125228940/131382116 swapFree=33009904/33010684
[pid=100349] ppid=100346 vsize=18930384 memory=65428 CPUtime=0.5 cores=1,3
/proc/100349/stat : 100349 (java) S 100346 100349 97320 0 -1 4194304 6870 0 0 0 47 3 0 0 20 0 18 0 78406938 19384713216 16357 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
/proc/100349/statm: 4732596 16357 5425 1 0 547841 0
[pid=100349/tid=100351] ppid=100346 vsize=18930384 memory=-8744133866922222268 CPUtime=0.28 cores=1,3
/proc/100349/task/100351/stat : 100351 (java) R 100346 100349 97320 0 -1 4194368 5296 0 0 0 27 1 0 0 20 0 18 0 78406940 19384713216 16357 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100360] ppid=100346 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/100349/task/100360/stat : 100360 (Finalizer) S 100346 100349 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78406942 19384713216 16357 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100367] ppid=100346 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/100349/task/100367/stat : 100367 (Common-Cleaner) S 100346 100349 97320 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78406943 19384713216 16869 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65428 KiB
[startup+0.70037 s]
/proc/loadavg: 4.10 4.18 4.20 6/326 100367
/proc/meminfo: memFree=125187980/131382116 swapFree=33009904/33010684
[pid=100349] ppid=100346 vsize=18996948 memory=170732 CPUtime=1.19 cores=1,3
/proc/100349/stat : 100349 (java) S 100346 100349 97320 0 -1 4194304 8568 0 0 0 113 6 0 0 20 0 19 0 78406938 19452874752 42683 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
/proc/100349/statm: 4749237 42683 5457 1 0 549155 0
[pid=100349/tid=100351] ppid=100346 vsize=18996948 memory=18560 CPUtime=0.62 cores=1,3
/proc/100349/task/100351/stat : 100351 (java) R 100346 100349 97320 0 -1 4194368 5339 0 0 0 59 3 0 0 20 0 19 0 78406940 19452874752 42683 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100360] ppid=100346 vsize=18996948 memory=11264 CPUtime=0 cores=1,3
/proc/100349/task/100360/stat : 100360 (Finalizer) S 100346 100349 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78406942 19452874752 42683 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100367] ppid=100346 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/100349/task/100367/stat : 100367 (Common-Cleaner) S 100346 100349 97320 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 78406943 19452874752 42683 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 170732 KiB
[startup+1.50021 s]
/proc/loadavg: 4.10 4.18 4.20 6/327 100368
/proc/meminfo: memFree=125110156/131382116 swapFree=33009904/33010684
[pid=100349] ppid=100346 vsize=19063512 memory=197144 CPUtime=2.74 cores=1,3
/proc/100349/stat : 100349 (java) S 100346 100349 97320 0 -1 4194304 13230 0 0 0 267 7 0 0 20 0 20 0 78406938 19521036288 49286 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
/proc/100349/statm: 4765878 49286 5489 1 0 552156 0
[pid=100349/tid=100351] ppid=100346 vsize=19063512 memory=3200 CPUtime=1.31 cores=1,3
/proc/100349/task/100351/stat : 100351 (java) R 100346 100349 97320 0 -1 4194368 5473 0 0 0 128 3 0 0 20 0 20 0 78406940 19521036288 49286 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100360] ppid=100346 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/100349/task/100360/stat : 100360 (Finalizer) S 100346 100349 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78406942 19521036288 49286 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100367] ppid=100346 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/100349/task/100367/stat : 100367 (Common-Cleaner) S 100346 100349 97320 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 78406943 19521036288 49286 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 197144 KiB
[startup+3.10554 s]
/proc/loadavg: 4.18 4.19 4.20 5/328 100369
/proc/meminfo: memFree=125083072/131382116 swapFree=33009904/33010684
[pid=100349] ppid=100346 vsize=19063512 memory=223492 CPUtime=5.38 cores=1,3
/proc/100349/stat : 100349 (java) S 100346 100349 97320 0 -1 4194304 17063 0 0 0 529 9 0 0 20 0 20 0 78406938 19521036288 55873 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
/proc/100349/statm: 4765878 55873 5489 1 0 552360 0
[pid=100349/tid=100351] ppid=100346 vsize=19063512 memory=11264 CPUtime=2.86 cores=1,3
/proc/100349/task/100351/stat : 100351 (java) R 100346 100349 97320 0 -1 4194368 5658 0 0 0 282 4 0 0 20 0 20 0 78406940 19521036288 55873 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100360] ppid=100346 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/100349/task/100360/stat : 100360 (Finalizer) S 100346 100349 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78406942 19521036288 55873 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100367] ppid=100346 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/100349/task/100367/stat : 100367 (Common-Cleaner) S 100346 100349 97320 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 78406943 19521036288 55873 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100369] ppid=100346 vsize=19063512 memory=5276 CPUtime=0 cores=1,3
/proc/100349/task/100369/stat : 100369 (Timer-0) S 100346 100349 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78407057 19521036288 55873 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
Current children cumulated CPU time: 5.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 223492 KiB
[startup+6.30043 s]
/proc/loadavg: 4.18 4.19 4.20 5/328 100369
/proc/meminfo: memFree=125017284/131382116 swapFree=33009904/33010684
[pid=100349] ppid=100346 vsize=19063512 memory=223748 CPUtime=8.78 cores=1,3
/proc/100349/stat : 100349 (java) S 100346 100349 97320 0 -1 4194304 17923 0 0 0 868 10 0 0 20 0 20 0 78406938 19521036288 55937 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
/proc/100349/statm: 4765878 55937 5489 1 0 552362 0
[pid=100349/tid=100351] ppid=100346 vsize=19063512 memory=0 CPUtime=6.05 cores=1,3
/proc/100349/task/100351/stat : 100351 (java) R 100346 100349 97320 0 -1 4194368 5951 0 0 0 601 4 0 0 20 0 20 0 78406940 19521036288 55937 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100360] ppid=100346 vsize=19063512 memory=7100839887185286273 CPUtime=0 cores=1,3
/proc/100349/task/100360/stat : 100360 (Finalizer) S 100346 100349 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78406942 19521036288 55937 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100367] ppid=100346 vsize=19063512 memory=-8744133866922222268 CPUtime=0 cores=1,3
/proc/100349/task/100367/stat : 100367 (Common-Cleaner) S 100346 100349 97320 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 78406943 19521036288 55937 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100369] ppid=100346 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/100349/task/100369/stat : 100369 (Timer-0) S 100346 100349 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78407057 19521036288 55937 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
Current children cumulated CPU time: 8.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 223748 KiB
[startup+12.7004 s]
/proc/loadavg: 4.16 4.19 4.20 5/328 100369
/proc/meminfo: memFree=125017284/131382116 swapFree=33009904/33010684
[pid=100349] ppid=100346 vsize=19063512 memory=224260 CPUtime=15.6 cores=1,3
/proc/100349/stat : 100349 (java) S 100346 100349 97320 0 -1 4194304 25313 0 0 0 1548 12 0 0 20 0 20 0 78406938 19521036288 56065 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
/proc/100349/statm: 4765878 56065 5521 1 0 552435 0
[pid=100349/tid=100351] ppid=100346 vsize=19063512 memory=0 CPUtime=12.43 cores=1,3
/proc/100349/task/100351/stat : 100351 (java) R 100346 100349 97320 0 -1 4194368 7844 0 0 0 1239 4 0 0 20 0 20 0 78406940 19521036288 56065 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100360] ppid=100346 vsize=19063512 memory=224260 CPUtime=0 cores=1,3
/proc/100349/task/100360/stat : 100360 (Finalizer) S 100346 100349 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78406942 19521036288 56065 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100367] ppid=100346 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/100349/task/100367/stat : 100367 (Common-Cleaner) S 100346 100349 97320 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 78406943 19521036288 56065 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100369] ppid=100346 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/100349/task/100369/stat : 100369 (Timer-0) S 100346 100349 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78407057 19521036288 56065 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
Current children cumulated CPU time: 15.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 224260 KiB
[startup+25.5004 s]
/proc/loadavg: 4.20 4.19 4.20 5/328 100369
/proc/meminfo: memFree=125004996/131382116 swapFree=33009904/33010684
[pid=100349] ppid=100346 vsize=19063512 memory=238800 CPUtime=28.91 cores=1,3
/proc/100349/stat : 100349 (java) S 100346 100349 97320 0 -1 4194304 27766 0 0 0 2877 14 0 0 20 0 20 0 78406938 19521036288 59700 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
/proc/100349/statm: 4765878 59700 5521 1 0 552435 0
[pid=100349/tid=100351] ppid=100346 vsize=19063512 memory=-8744133866922222268 CPUtime=25.09 cores=1,3
/proc/100349/task/100351/stat : 100351 (java) R 100346 100349 97320 0 -1 4194368 8350 0 0 0 2505 4 0 0 20 0 20 0 78406940 19521036288 59700 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100360] ppid=100346 vsize=19063512 memory=3198 CPUtime=0 cores=1,3
/proc/100349/task/100360/stat : 100360 (Finalizer) S 100346 100349 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78406942 19521036288 59700 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100367] ppid=100346 vsize=19063512 memory=238800 CPUtime=0 cores=1,3
/proc/100349/task/100367/stat : 100367 (Common-Cleaner) S 100346 100349 97320 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 78406943 19521036288 59700 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100369] ppid=100346 vsize=19063512 memory=238800 CPUtime=0 cores=1,3
/proc/100349/task/100369/stat : 100369 (Timer-0) S 100346 100349 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78407057 19521036288 59700 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
Current children cumulated CPU time: 28.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 238800 KiB
[startup+51.1135 s]
/proc/loadavg: 4.13 4.18 4.20 5/328 100370
/proc/meminfo: memFree=124923092/131382116 swapFree=33009904/33010684
[pid=100349] ppid=100346 vsize=19063512 memory=238800 CPUtime=54.56 cores=1,3
/proc/100349/stat : 100349 (java) S 100346 100349 97320 0 -1 4194304 29443 0 0 0 5439 17 0 0 20 0 20 0 78406938 19521036288 59700 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
/proc/100349/statm: 4765878 59700 5521 1 0 552435 0
[pid=100349/tid=100351] ppid=100346 vsize=19063512 memory=238800 CPUtime=50.64 cores=1,3
/proc/100349/task/100351/stat : 100351 (java) R 100346 100349 97320 0 -1 4194368 8736 0 0 0 5060 4 0 0 20 0 20 0 78406940 19521036288 59700 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100360] ppid=100346 vsize=19063512 memory=-8744133866922222268 CPUtime=0 cores=1,3
/proc/100349/task/100360/stat : 100360 (Finalizer) S 100346 100349 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78406942 19521036288 59700 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100367] ppid=100346 vsize=19063512 memory=238800 CPUtime=0 cores=1,3
/proc/100349/task/100367/stat : 100367 (Common-Cleaner) S 100346 100349 97320 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 78406943 19521036288 59700 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100369] ppid=100346 vsize=19063512 memory=238800 CPUtime=0 cores=1,3
/proc/100349/task/100369/stat : 100369 (Timer-0) S 100346 100349 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78407057 19521036288 59700 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
Current children cumulated CPU time: 54.56 s
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.15 4.18 4.17 5/327 100673
/proc/meminfo: memFree=125803252/131382116 swapFree=33009904/33010684
[pid=100349] ppid=100346 vsize=19063512 memory=519660 CPUtime=3283.73 cores=1,3
/proc/100349/stat : 100349 (java) S 100346 100349 97320 0 -1 4194304 51804 0 0 0 328128 245 0 0 20 0 20 0 78406938 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
/proc/100349/statm: 4765878 129915 5521 1 0 554351 0
[pid=100349/tid=100351] ppid=100346 vsize=19063512 memory=519660 CPUtime=3273.74 cores=1,3
/proc/100349/task/100351/stat : 100351 (java) R 100346 100349 97320 0 -1 4194368 15834 0 0 0 327343 31 0 0 20 0 20 0 78406940 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100360] ppid=100346 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/100349/task/100360/stat : 100360 (Finalizer) S 100346 100349 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78406942 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100367] ppid=100346 vsize=19063512 memory=519660 CPUtime=0 cores=1,3
/proc/100349/task/100367/stat : 100367 (Common-Cleaner) S 100346 100349 97320 0 -1 4194368 1116 0 0 0 0 0 0 0 20 0 20 0 78406943 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100369] ppid=100346 vsize=19063512 memory=519660 CPUtime=0 cores=1,3
/proc/100349/task/100369/stat : 100369 (Timer-0) S 100346 100349 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78407057 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
Current children cumulated CPU time: 3283.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 519660 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.16 4.16 5/326 100675
/proc/meminfo: memFree=125196580/131382116 swapFree=33009904/33010684
[pid=100349] ppid=100346 vsize=19063512 memory=519660 CPUtime=3343.64 cores=1,3
/proc/100349/stat : 100349 (java) S 100346 100349 97320 0 -1 4194304 51909 0 0 0 334116 248 0 0 20 0 20 0 78406938 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
/proc/100349/statm: 4765878 129915 5521 1 0 554351 0
[pid=100349/tid=100351] ppid=100346 vsize=19063512 memory=14080 CPUtime=3333.61 cores=1,3
/proc/100349/task/100351/stat : 100351 (java) R 100346 100349 97320 0 -1 4194368 15934 0 0 0 333329 32 0 0 20 0 20 0 78406940 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100360] ppid=100346 vsize=19063512 memory=519660 CPUtime=0 cores=1,3
/proc/100349/task/100360/stat : 100360 (Finalizer) S 100346 100349 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78406942 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100367] ppid=100346 vsize=19063512 memory=519660 CPUtime=0 cores=1,3
/proc/100349/task/100367/stat : 100367 (Common-Cleaner) S 100346 100349 97320 0 -1 4194368 1116 0 0 0 0 0 0 0 20 0 20 0 78406943 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100369] ppid=100346 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/100349/task/100369/stat : 100369 (Timer-0) S 100346 100349 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78407057 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
Current children cumulated CPU time: 3343.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 519660 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.17 4.17 5/326 100744
/proc/meminfo: memFree=125541156/131382116 swapFree=33009904/33010684
[pid=100349] ppid=100346 vsize=19063512 memory=519660 CPUtime=3403.56 cores=1,3
/proc/100349/stat : 100349 (java) S 100346 100349 97320 0 -1 4194304 52023 0 0 0 340103 253 0 0 20 0 20 0 78406938 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
/proc/100349/statm: 4765878 129915 5521 1 0 554351 0
[pid=100349/tid=100351] ppid=100346 vsize=19063512 memory=14080 CPUtime=3393.46 cores=1,3
/proc/100349/task/100351/stat : 100351 (java) R 100346 100349 97320 0 -1 4194368 16008 0 0 0 339313 33 0 0 20 0 20 0 78406940 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100360] ppid=100346 vsize=19063512 memory=519660 CPUtime=0 cores=1,3
/proc/100349/task/100360/stat : 100360 (Finalizer) S 100346 100349 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78406942 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100367] ppid=100346 vsize=19063512 memory=14080 CPUtime=0 cores=1,3
/proc/100349/task/100367/stat : 100367 (Common-Cleaner) S 100346 100349 97320 0 -1 4194368 1116 0 0 0 0 0 0 0 20 0 20 0 78406943 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100369] ppid=100346 vsize=19063512 memory=519660 CPUtime=0 cores=1,3
/proc/100349/task/100369/stat : 100369 (Timer-0) S 100346 100349 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78407057 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
Current children cumulated CPU time: 3403.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 519660 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.17 4.17 5/326 100746
/proc/meminfo: memFree=125356092/131382116 swapFree=33009904/33010684
[pid=100349] ppid=100346 vsize=19063512 memory=519660 CPUtime=3463.46 cores=1,3
/proc/100349/stat : 100349 (java) S 100346 100349 97320 0 -1 4194304 52059 0 0 0 346089 257 0 0 20 0 20 0 78406938 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
/proc/100349/statm: 4765878 129915 5521 1 0 554351 0
[pid=100349/tid=100351] ppid=100346 vsize=19063512 memory=519660 CPUtime=3453.3 cores=1,3
/proc/100349/task/100351/stat : 100351 (java) R 100346 100349 97320 0 -1 4194368 16021 0 0 0 345297 33 0 0 20 0 20 0 78406940 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100360] ppid=100346 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/100349/task/100360/stat : 100360 (Finalizer) S 100346 100349 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78406942 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100367] ppid=100346 vsize=19063512 memory=519660 CPUtime=0 cores=1,3
/proc/100349/task/100367/stat : 100367 (Common-Cleaner) S 100346 100349 97320 0 -1 4194368 1129 0 0 0 0 0 0 0 20 0 20 0 78406943 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100369] ppid=100346 vsize=19063512 memory=519660 CPUtime=0 cores=1,3
/proc/100349/task/100369/stat : 100369 (Timer-0) S 100346 100349 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78407057 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
Current children cumulated CPU time: 3463.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 519660 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.15 4.16 6/327 100751
/proc/meminfo: memFree=124921208/131382116 swapFree=33009904/33010684
[pid=100349] ppid=100346 vsize=19063512 memory=519660 CPUtime=3523.36 cores=1,3
/proc/100349/stat : 100349 (java) S 100346 100349 97320 0 -1 4194304 52068 0 0 0 352076 260 0 0 20 0 20 0 78406938 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
/proc/100349/statm: 4765878 129915 5521 1 0 554351 0
[pid=100349/tid=100351] ppid=100346 vsize=19063512 memory=519660 CPUtime=3513.14 cores=1,3
/proc/100349/task/100351/stat : 100351 (java) R 100346 100349 97320 0 -1 4194368 16025 0 0 0 351280 34 0 0 20 0 20 0 78406940 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100360] ppid=100346 vsize=19063512 memory=2884 CPUtime=0 cores=1,3
/proc/100349/task/100360/stat : 100360 (Finalizer) S 100346 100349 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78406942 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100367] ppid=100346 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/100349/task/100367/stat : 100367 (Common-Cleaner) S 100346 100349 97320 0 -1 4194368 1129 0 0 0 0 0 0 0 20 0 20 0 78406943 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100369] ppid=100346 vsize=19063512 memory=519660 CPUtime=0 cores=1,3
/proc/100349/task/100369/stat : 100369 (Timer-0) S 100346 100349 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78407057 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
Current children cumulated CPU time: 3523.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 519660 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/327 100753
/proc/meminfo: memFree=124527740/131382116 swapFree=33009904/33010684
[pid=100349] ppid=100346 vsize=19063512 memory=519660 CPUtime=3583.28 cores=1,3
/proc/100349/stat : 100349 (java) S 100346 100349 97320 0 -1 4194304 52340 0 0 0 358064 264 0 0 20 0 20 0 78406938 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
/proc/100349/statm: 4765878 129915 5521 1 0 554351 0
[pid=100349/tid=100351] ppid=100346 vsize=19063512 memory=11264 CPUtime=3572.98 cores=1,3
/proc/100349/task/100351/stat : 100351 (java) R 100346 100349 97320 0 -1 4194368 16259 0 0 0 357264 34 0 0 20 0 20 0 78406940 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100360] ppid=100346 vsize=19063512 memory=18560 CPUtime=0 cores=1,3
/proc/100349/task/100360/stat : 100360 (Finalizer) S 100346 100349 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78406942 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100367] ppid=100346 vsize=19063512 memory=14080 CPUtime=0 cores=1,3
/proc/100349/task/100367/stat : 100367 (Common-Cleaner) S 100346 100349 97320 0 -1 4194368 1129 0 0 0 0 0 0 0 20 0 20 0 78406943 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100369] ppid=100346 vsize=19063512 memory=519660 CPUtime=0 cores=1,3
/proc/100349/task/100369/stat : 100369 (Timer-0) S 100346 100349 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78407057 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
Current children cumulated CPU time: 3583.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 519660 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3599.11 s]
/proc/loadavg: 4.16 4.16 4.17 5/327 100753
/proc/meminfo: memFree=124347012/131382116 swapFree=33009904/33010684
[pid=100349] ppid=100346 vsize=19063512 memory=519660 CPUtime=3600.07 cores=1,3
/proc/100349/stat : 100349 (java) S 100346 100349 97320 0 -1 4194304 52343 0 0 0 359742 265 0 0 20 0 20 0 78406938 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
/proc/100349/statm: 4765878 129915 5521 1 0 554351 0
[pid=100349/tid=100351] ppid=100346 vsize=19063512 memory=14080 CPUtime=3589.74 cores=1,3
/proc/100349/task/100351/stat : 100351 (java) R 100346 100349 97320 0 -1 4194368 16260 0 0 0 358940 34 0 0 20 0 20 0 78406940 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100360] ppid=100346 vsize=19063512 memory=519660 CPUtime=0 cores=1,3
/proc/100349/task/100360/stat : 100360 (Finalizer) S 100346 100349 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78406942 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100367] ppid=100346 vsize=19063512 memory=14080 CPUtime=0 cores=1,3
/proc/100349/task/100367/stat : 100367 (Common-Cleaner) S 100346 100349 97320 0 -1 4194368 1129 0 0 0 0 0 0 0 20 0 20 0 78406943 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100369] ppid=100346 vsize=19063512 memory=519660 CPUtime=0 cores=1,3
/proc/100349/task/100369/stat : 100369 (Timer-0) S 100346 100349 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78407057 19521036288 129915 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 519660 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3599.23 s]
# the end of solver process 100349 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.58 s, system=2.67139 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3599.21 s]
/proc/loadavg: 4.16 4.16 4.17 5/327 100753
/proc/meminfo: memFree=124347012/131382116 swapFree=33009904/33010684
[pid=100349] ppid=100346 vsize=19263204 memory=520428 CPUtime=3600.23 cores=1,3
/proc/100349/stat : 100349 (java) S 100346 100349 97320 0 -1 4194304 54963 0 0 0 359757 266 0 0 20 0 15 0 78406938 19725520896 130107 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
/proc/100349/statm: 4815801 130107 5521 1 0 555271 0
[pid=100349/tid=100351] ppid=100346 vsize=19263204 memory=-5155633680935826750 CPUtime=3589.8 cores=1,3
/proc/100349/task/100351/stat : 100351 (java) S 100346 100349 97320 0 -1 4194368 16409 0 0 0 358946 34 0 0 20 0 15 0 78406940 19725520896 130107 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100360] ppid=100346 vsize=19263204 memory=1920 CPUtime=0 cores=1,3
/proc/100349/task/100360/stat : 100360 (Finalizer) S 100346 100349 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 15 0 78406942 19725520896 130107 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
[pid=100349/tid=100367] ppid=100346 vsize=19263204 memory=-8744133866922222268 CPUtime=0 cores=1,3
/proc/100349/task/100367/stat : 100367 (Common-Cleaner) S 100346 100349 97320 0 -1 4194368 1129 0 0 0 0 0 0 0 20 0 15 0 78406943 19725520896 130107 18446744073709551615 94272840822784 94272840826480 140720943647904 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94272840834296 94272840835088 94272863404032 140720943651199 140720943651300 140720943651300 140720943656904 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 520428 KiB
Child status: 143
Real time (s): 3599.23
CPU time (s): 3600.25
CPU user time (s): 3597.58
CPU system time (s): 2.67139
CPU usage (%): 100.028
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 520428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.58
system time used= 2.67139
maximum resident set size= 520556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54990
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 142371
involuntary context switches= 2293
# summary of solver processes directly reported to runsolver:
# pid: 100349
# total CPU time (s): 3600.25
# total CPU user time (s): 3597.58
# total CPU system time (s): 2.67139
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9855 second user time and 36.7145 second system time
The end
Begin job on nodeC004 at 2025-07-04 13:07:58 IDJOB=4525721 IDBENCH=143881 IDSOLVER=3380 FILE ID=nodeC004/4525721-1751627278 RUNJOBID= nodeC004-1751623235-97337 SLURM_JOB_ID= 9598942 Free space on /tmp= 431636 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-sub4-22_wcsp.wbo COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525721-1751627278/watcher-4525721-1751627278 -o /tmp/evaluation-result-4525721-1751627278/solver-4525721-1751627278 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751623235-97337 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4525721-1751627278.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d7d01ec0794d07991a9972239b49c230 RANDOM SEED=1639824871 nodeC004 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3662.661 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 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 : 3493.105 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 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.336 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 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.210 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3662.592 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 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 : 3591.636 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.289 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 125264076 kB MemAvailable: 126197612 kB Buffers: 2128 kB Cached: 1681312 kB SwapCached: 32 kB Active: 4349292 kB Inactive: 1086328 kB Active(anon): 3759380 kB Inactive(anon): 10736 kB Active(file): 589912 kB Inactive(file): 1075592 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 3348 kB Writeback: 0 kB AnonPages: 3754500 kB Mapped: 123568 kB Shmem: 17932 kB KReclaimable: 215316 kB Slab: 303052 kB SReclaimable: 215316 kB SUnreclaim: 87736 kB KernelStack: 5024 kB PageTables: 11128 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 19877136 kB VmallocTotal: 34359738367 kB VmallocUsed: 150344 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 3532800 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 197448 kB DirectMap2M: 10190848 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 431664 MiB End job on nodeC004 at 2025-07-04 14:07:57