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 | OPTIMUM | 10.9826 | 7.93347 |
| Name | PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221203--soft-33-100-0.wbo |
| MD5SUM | a01c9ef9d0240b56467a0aa37bdb71bd |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 0.226904 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 69 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 3204 |
| Min constraint cost | 1 |
| Max constraint cost | 97 |
| Sum of constraints costs | 3203 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1228 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.13/0.12 c version CUSTOM.v20240707 0.13/0.15 c java.runtime.name OpenJDK Runtime Environment 0.13/0.15 c java.vm.name OpenJDK 64-Bit Server VM 0.13/0.15 c java.vm.version 22.0.1+8-16 0.13/0.15 c java.vm.vendor Oracle Corporation 0.13/0.15 c sun.arch.data.model 64 0.13/0.15 c java.version 22.0.1 0.13/0.15 c os.name Linux 0.13/0.15 c os.version 4.18.0-301.1.el8.x86_64 0.13/0.15 c os.arch amd64 0.13/0.16 c Free memory 2113181440 0.13/0.16 c Max memory 16282288128 0.13/0.16 c Total memory 2122317824 0.13/0.16 c Number of processors 2 0.28/0.26 --- Begin Solver configuration --- 0.28/0.26 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.28/0.26 Learn all clauses as in MiniSAT 0.28/0.26 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.28/0.26 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.28/0.26 No reason simplification 0.28/0.26 Glucose 2.1 dynamic restart strategy 0.28/0.26 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.28/0.26 timeout=2147483s 0.28/0.26 DB Simplification allowed=false 0.28/0.26 Listener: none 0.28/0.26 --- End Solver configuration --- 0.28/0.26 c Pseudo Boolean Optimization by upper bound 0.28/0.26 c --- Begin Solver configuration --- 0.28/0.26 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.28/0.26 c Learn all clauses as in MiniSAT 0.28/0.26 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.28/0.26 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.28/0.26 c No reason simplification 0.28/0.26 c Glucose 2.1 dynamic restart strategy 0.28/0.26 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.28/0.26 c timeout=2147483s 0.28/0.26 c DB Simplification allowed=false 0.28/0.26 c Listener: none 0.28/0.26 c --- End Solver configuration --- 0.28/0.26 c solving HOME/instance-4424844-1720881510.wbo 0.28/0.26 c reading problem ... 0.41/0.34 c ... done. Wall clock time 0.068s. 0.41/0.34 c declared #vars 169 0.41/0.34 c internal #vars 238 0.41/0.34 c #constraints 102 0.41/0.34 c constraints type 0.41/0.34 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3 0.41/0.34 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 20 0.41/0.34 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 51 0.41/0.34 c org.sat4j.specs.Constr$1 => 1 0.41/0.34 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 27 0.41/0.34 c 102 constraints processed. 0.41/0.36 c objective function length is 69 literals 0.58/0.44 c SATISFIABLE 0.58/0.44 c OPTIMIZING... 0.58/0.44 c Got one! Elapsed wall clock time (in seconds):0.176 0.58/0.44 o 1127 0.94/0.69 c Got one! Elapsed wall clock time (in seconds):0.426 0.94/0.69 o 581 0.94/0.70 c Got one! Elapsed wall clock time (in seconds):0.432 1.10/0.71 o 577 1.10/0.71 c Got one! Elapsed wall clock time (in seconds):0.443 1.10/0.71 o 569 1.10/0.71 c Got one! Elapsed wall clock time (in seconds):0.451 1.10/0.72 o 564 1.10/0.72 c Got one! Elapsed wall clock time (in seconds):0.455 1.10/0.72 o 529 1.10/0.72 c Got one! Elapsed wall clock time (in seconds):0.459 1.10/0.72 o 524 1.10/0.73 c Got one! Elapsed wall clock time (in seconds):0.466 1.10/0.73 o 518 1.10/0.75 c Got one! Elapsed wall clock time (in seconds):0.485 1.10/0.75 o 503 1.10/0.77 c Got one! Elapsed wall clock time (in seconds):0.505 1.10/0.78 o 501 1.30/0.81 c Got one! Elapsed wall clock time (in seconds):0.545 1.30/0.81 o 492 1.30/0.83 c Got one! Elapsed wall clock time (in seconds):0.565 1.30/0.83 o 490 1.30/0.83 c Got one! Elapsed wall clock time (in seconds):0.57 1.30/0.83 o 489 1.30/0.85 c Got one! Elapsed wall clock time (in seconds):0.582 1.30/0.85 o 482 1.30/0.85 c Got one! Elapsed wall clock time (in seconds):0.586 1.30/0.85 o 475 1.30/0.85 c Got one! Elapsed wall clock time (in seconds):0.589 1.30/0.85 o 399 1.30/0.86 c Got one! Elapsed wall clock time (in seconds):0.593 1.30/0.86 o 380 1.30/0.87 c Got one! Elapsed wall clock time (in seconds):0.596 1.30/0.87 o 378 1.30/0.87 c Got one! Elapsed wall clock time (in seconds):0.603 1.30/0.87 o 370 1.46/0.90 c Got one! Elapsed wall clock time (in seconds):0.64 1.46/0.90 o 321 1.46/0.92 c Got one! Elapsed wall clock time (in seconds):0.659 1.46/0.92 o 308 1.46/0.93 c Got one! Elapsed wall clock time (in seconds):0.668 1.46/0.93 o 257 1.46/0.98 c Got one! Elapsed wall clock time (in seconds):0.717 1.46/0.98 o 255 1.46/0.99 c Got one! Elapsed wall clock time (in seconds):0.726 1.46/0.99 o 250 1.67/1.02 c Got one! Elapsed wall clock time (in seconds):0.755 1.67/1.02 o 244 1.67/1.03 c Got one! Elapsed wall clock time (in seconds):0.764 1.67/1.03 o 242 1.67/1.03 c Got one! Elapsed wall clock time (in seconds):0.771 1.67/1.03 o 239 1.67/1.04 c Got one! Elapsed wall clock time (in seconds):0.778 1.67/1.04 o 236 1.67/1.05 c Got one! Elapsed wall clock time (in seconds):0.785 1.67/1.05 o 235 1.67/1.07 c Got one! Elapsed wall clock time (in seconds):0.805 1.67/1.07 o 226 1.67/1.08 c Got one! Elapsed wall clock time (in seconds):0.82 1.67/1.08 o 221 1.80/1.16 c cleaning 6776 clauses out of 13564 with flag 3182/13564 1.80/1.18 c Got one! Elapsed wall clock time (in seconds):0.921 1.80/1.18 o 218 1.96/1.20 c Got one! Elapsed wall clock time (in seconds):0.925 1.96/1.20 o 197 1.96/1.22 c Got one! Elapsed wall clock time (in seconds):0.952 1.96/1.22 o 192 1.96/1.24 c Got one! Elapsed wall clock time (in seconds):0.973 1.96/1.24 o 190 1.96/1.24 c Got one! Elapsed wall clock time (in seconds):0.98 1.96/1.24 o 185 1.96/1.26 c Got one! Elapsed wall clock time (in seconds):0.994 1.96/1.26 o 178 2.09/1.39 c Got one! Elapsed wall clock time (in seconds):1.131 2.09/1.39 o 177 2.22/1.42 c Got one! Elapsed wall clock time (in seconds):1.158 2.22/1.42 o 171 2.22/1.43 c Got one! Elapsed wall clock time (in seconds):1.17 2.22/1.43 o 168 2.31/1.52 c cleaning 8313 clauses out of 16629 with flag 8637/23405 2.31/1.54 c Got one! Elapsed wall clock time (in seconds):1.281 2.31/1.54 o 165 2.31/1.56 c Got one! Elapsed wall clock time (in seconds):1.289 2.31/1.56 o 162 2.31/1.57 c Got one! Elapsed wall clock time (in seconds):1.294 2.31/1.57 o 137 2.31/1.58 c Got one! Elapsed wall clock time (in seconds):1.311 2.31/1.58 o 136 2.31/1.59 c Got one! Elapsed wall clock time (in seconds):1.325 2.31/1.59 o 135 2.51/1.61 c Got one! Elapsed wall clock time (in seconds):1.345 2.51/1.61 o 108 2.51/1.62 c Got one! Elapsed wall clock time (in seconds):1.35 2.51/1.62 o 101 2.51/1.64 c Got one! Elapsed wall clock time (in seconds):1.374 2.51/1.64 o 100 2.90/1.88 c cleaning 8529 clauses out of 17057 with flag 19046/32146 3.10/1.97 c Got one! Elapsed wall clock time (in seconds):1.708 3.10/1.97 o 99 3.10/1.99 c Got one! Elapsed wall clock time (in seconds):1.724 3.10/1.99 o 97 3.33/2.03 c Got one! Elapsed wall clock time (in seconds):1.766 3.33/2.03 o 96 3.33/2.05 c Got one! Elapsed wall clock time (in seconds):1.789 3.33/2.05 o 93 3.33/2.10 c Got one! Elapsed wall clock time (in seconds):1.831 3.33/2.10 o 91 3.53/2.12 c Got one! Elapsed wall clock time (in seconds):1.85 3.53/2.12 o 81 3.69/2.20 c cleaning 8459 clauses out of 16927 with flag 4052/40545 3.69/2.24 c Got one! Elapsed wall clock time (in seconds):1.977 3.69/2.24 o 73 3.89/2.33 c Got one! Elapsed wall clock time (in seconds):2.065 3.89/2.33 o 72 4.09/2.44 c cleaning 7367 clauses out of 14750 with flag 8492/46827 4.49/2.61 c cleaning 6687 clauses out of 13383 with flag 31948/52827 4.49/2.64 c Got one! Elapsed wall clock time (in seconds):2.381 4.49/2.64 o 71 4.49/2.69 c Got one! Elapsed wall clock time (in seconds):2.419 4.49/2.69 o 61 4.69/2.74 c Got one! Elapsed wall clock time (in seconds):2.48 4.69/2.74 o 58 4.69/2.78 c cleaning 6441 clauses out of 12882 with flag 4837/59013 5.01/2.93 c cleaning 6218 clauses out of 12442 with flag 31052/65014 5.01/2.96 c Got one! Elapsed wall clock time (in seconds):2.695 5.01/2.96 o 48 5.01/2.98 c Got one! Elapsed wall clock time (in seconds):2.715 5.01/2.98 o 47 5.11/3.05 c Got one! Elapsed wall clock time (in seconds):2.785 5.11/3.05 o 46 5.22/3.11 c cleaning 6197 clauses out of 12395 with flag 8244/71185 5.22/3.13 c Got one! Elapsed wall clock time (in seconds):2.862 5.22/3.13 o 44 5.22/3.17 c Got one! Elapsed wall clock time (in seconds):2.904 5.22/3.17 o 42 5.22/3.19 c Got one! Elapsed wall clock time (in seconds):2.925 5.22/3.19 o 41 5.32/3.23 c Got one! Elapsed wall clock time (in seconds):2.963 5.32/3.23 o 37 5.32/3.25 c Got one! Elapsed wall clock time (in seconds):2.992 5.32/3.25 o 35 5.42/3.32 c cleaning 7018 clauses out of 14045 with flag 9181/79032 5.52/3.40 c Got one! Elapsed wall clock time (in seconds):3.137 5.52/3.40 o 34 5.52/3.45 c cleaning 6247 clauses out of 12509 with flag 8045/84514 5.52/3.49 c Got one! Elapsed wall clock time (in seconds):3.23 5.52/3.49 o 32 5.62/3.56 c cleaning 5734 clauses out of 11470 with flag 12343/89722 5.72/3.69 c cleaning 5866 clauses out of 11736 with flag 36172/95722 5.99/3.82 c Got one! Elapsed wall clock time (in seconds):3.557 5.99/3.82 o 27 5.99/3.83 c Got one! Elapsed wall clock time (in seconds):3.57 5.99/3.83 o 26 6.39/4.04 c cleaning 8132 clauses out of 16275 with flag 21016/106128 6.39/4.07 c Got one! Elapsed wall clock time (in seconds):3.808 6.39/4.07 o 25 6.39/4.09 c Got one! Elapsed wall clock time (in seconds):3.822 6.39/4.09 o 24 6.77/4.21 c Got one! Elapsed wall clock time (in seconds):3.943 6.77/4.21 o 23 6.77/4.24 c cleaning 7250 clauses out of 14516 with flag 4466/112502 6.93/4.31 c Got one! Elapsed wall clock time (in seconds):4.048 6.93/4.31 o 22 6.93/4.32 c Got one! Elapsed wall clock time (in seconds):4.056 6.93/4.32 o 19 6.93/4.33 c Got one! Elapsed wall clock time (in seconds):4.065 6.93/4.33 o 17 6.93/4.39 c cleaning 6613 clauses out of 13240 with flag 9079/118476 7.06/4.41 c Got one! Elapsed wall clock time (in seconds):4.148 7.06/4.41 o 16 7.06/4.45 c Got one! Elapsed wall clock time (in seconds):4.185 7.06/4.45 o 10 7.21/4.52 c cleaning 6385 clauses out of 12773 with flag 13457/124622 7.21/4.58 c Got one! Elapsed wall clock time (in seconds):4.319 7.21/4.58 o 8 7.21/4.59 c Got one! Elapsed wall clock time (in seconds):4.331 7.31/4.60 o 6 7.31/4.65 c cleaning 6049 clauses out of 12102 with flag 9999/130337 7.65/4.81 c cleaning 6021 clauses out of 12050 with flag 36137/136337 7.85/4.98 c cleaning 6511 clauses out of 13027 with flag 68695/143336 8.23/5.20 c cleaning 7255 clauses out of 14518 with flag 105264/151339 8.43/5.46 c cleaning 8128 clauses out of 16257 with flag 149142/160336 8.72/5.76 c cleaning 9058 clauses out of 18126 with flag 198933/170336 9.32/6.31 c cleaning 10028 clauses out of 20064 with flag 257294/181336 10.03/7.01 c Got one! Elapsed wall clock time (in seconds):6.75 10.03/7.01 o 4 10.32/7.38 c cleaning 12727 clauses out of 25458 with flag 27428/196760 10.32/7.38 c Got one! Elapsed wall clock time (in seconds):7.115 10.32/7.38 o 3 10.42/7.44 c Got one! Elapsed wall clock time (in seconds):7.177 10.42/7.44 o 2 10.62/7.67 c cleaning 9099 clauses out of 18208 with flag 22770/202239 10.82/7.88 c starts : 198 10.82/7.89 c conflicts : 207532 10.82/7.89 c decisions : 331702 10.82/7.89 c propagations : 4764721 10.82/7.89 c inspects : 56996388 10.82/7.89 c shortcuts : 0 10.82/7.89 c learnt literals : 40 10.82/7.89 c learnt binary clauses : 20 10.82/7.89 c learnt ternary clauses : 450 10.82/7.89 c learnt constraints : 207491 10.82/7.89 c ignored constraints : 0 10.82/7.89 c root simplifications : 0 10.94/7.90 c removed literals (reason simplification) : 0 10.94/7.90 c reason swapping (by a shorter reason) : 0 10.94/7.90 c Calls to reduceDB : 26 10.94/7.90 c Number of update (reduction) of LBD : 56237 10.94/7.90 c Imported unit clauses : 0 10.94/7.90 c No decision after first conflict : false 10.94/7.90 c number of reductions to clauses (during analyze) : 0 10.94/7.90 c number of learned constraints concerned by reduction : 0 10.94/7.90 c number of learning phase by resolution : 0 10.94/7.90 c number of learning phase by cutting planes : 0 10.94/7.90 c number of rounding to 1 operations : 0 10.94/7.90 c number of easy rounding to 1 operations (no literal elimination needed) : 0 10.94/7.90 c number of reductions of the coefficients by power 2 : 0 10.94/7.90 c number of right shift for reduction by power 2 : 0 10.94/7.90 c number of reductions of the coefficients by GCD over coefficients : 0 10.94/7.90 c number of ending skipping : 0 10.94/7.90 c number of internal skipping : 0 10.94/7.90 c number of derivation steps : 0 10.94/7.90 c number of skipped derivation steps : 0 10.94/7.90 c number of remaining unassigned : 0 10.94/7.90 c number of remaining assigned : 0 10.94/7.90 c number of falsified literals weakened from reason : 0 10.94/7.90 c number of falsified literals weakened from conflict : 0 10.94/7.90 c time for arithmetic operations : 0 10.94/7.90 c minimum degree of deleted constraints : null 10.94/7.90 c maximum degree of deleted constraints : null 10.94/7.90 c number of deleted constraints : 0 10.94/7.90 c speed (assignments/second) : 632345.1891174519 10.94/7.90 c non guided choices : 2909 10.94/7.90 s OPTIMUM FOUND 10.94/7.90 c Found 84 solution(s) 10.94/7.90 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 10.94/7.91 c objective function=2 10.94/7.91 c Total wall clock time (in seconds): 7.643
OK 2
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: 64096 MiB (59427 MiB free)
memory of node 1: 64473 MiB (60771 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424844-1720881510/watcher-4424844-1720881510 -o /tmp/evaluation-result-4424844-1720881510/solver-4424844-1720881510 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1720881342-702392 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424844-1720881510.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
Current StackSize limit: 8192 KiB
solver pid=703077, runsolver pid=703074
[startup+0.102534 s]*
/proc/loadavg: 4.44 2.63 1.76 8/318 703095
/proc/meminfo: memFree=123048192/131655788 swapFree=131071996/131071996
[pid=703077] ppid=703074 vsize=18975048 memory=56744 CPUtime=0.13 cores=5,7
/proc/703077/stat : 703077 (java) S 703074 703077 698245 0 -1 1077936128 6640 0 0 0 10 3 0 0 20 0 18 0 140306859 19430449152 14186 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
/proc/703077/statm: 4743762 14186 5675 1 0 550931 0
[pid=703077/tid=703079] ppid=703074 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/703077/task/703079/stat : 703079 (java) R 703074 703077 698245 0 -1 1077936192 5581 0 0 0 6 2 0 0 20 0 18 0 140306859 19430449152 14186 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703088] ppid=703074 vsize=18975048 memory=228556276070 CPUtime=0 cores=5,7
/proc/703077/task/703088/stat : 703088 (Finalizer) S 703074 703077 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140306864 19430449152 14186 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703095] ppid=703074 vsize=18975048 memory=15815599515270057 CPUtime=0 cores=5,7
/proc/703077/task/703095/stat : 703095 (Common-Cleaner) S 703074 703077 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140306865 19430449152 14186 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56744 KiB
[startup+0.217707 s]*
/proc/loadavg: 4.44 2.63 1.76 7/318 703095
/proc/meminfo: memFree=123039472/131655788 swapFree=131071996/131071996
[pid=703077] ppid=703074 vsize=18975048 memory=65288 CPUtime=0.28 cores=5,7
/proc/703077/stat : 703077 (java) S 703074 703077 698245 0 -1 1077936128 7313 0 0 0 24 4 0 0 20 0 18 0 140306859 19430449152 16322 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
/proc/703077/statm: 4743762 16322 5660 1 0 551482 0
[pid=703077/tid=703079] ppid=703074 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/703077/task/703079/stat : 703079 (java) R 703074 703077 698245 0 -1 1077936192 5798 0 0 0 15 3 0 0 20 0 18 0 140306859 19430449152 16322 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703088] ppid=703074 vsize=18975048 memory=3715 CPUtime=0 cores=5,7
/proc/703077/task/703088/stat : 703088 (Finalizer) S 703074 703077 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140306864 19430449152 16322 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703095] ppid=703074 vsize=18975048 memory=14973377819450890 CPUtime=0 cores=5,7
/proc/703077/task/703095/stat : 703095 (Common-Cleaner) S 703074 703077 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140306865 19430449152 16322 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65288 KiB
[startup+0.313907 s]*
/proc/loadavg: 4.44 2.63 1.76 9/318 703095
/proc/meminfo: memFree=123038072/131655788 swapFree=131071996/131071996
[pid=703077] ppid=703074 vsize=18975048 memory=69364 CPUtime=0.41 cores=5,7
/proc/703077/stat : 703077 (java) S 703074 703077 698245 0 -1 1077936128 7579 0 0 0 37 4 0 0 20 0 18 0 140306859 19430449152 17341 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
/proc/703077/statm: 4743762 17341 5844 1 0 551647 0
[pid=703077/tid=703079] ppid=703074 vsize=18975048 memory=-8887407915717534396 CPUtime=0.26 cores=5,7
/proc/703077/task/703079/stat : 703079 (java) R 703074 703077 698245 0 -1 1077936192 5941 0 0 0 23 3 0 0 20 0 18 0 140306859 19430449152 17341 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703088] ppid=703074 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/703077/task/703088/stat : 703088 (Finalizer) S 703074 703077 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140306864 19430449152 17341 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703095] ppid=703074 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/703077/task/703095/stat : 703095 (Common-Cleaner) S 703074 703077 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140306865 19430449152 17341 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 69364 KiB
[startup+0.701239 s]
/proc/loadavg: 4.44 2.63 1.76 7/319 703096
/proc/meminfo: memFree=123031768/131655788 swapFree=131071996/131071996
[pid=703077] ppid=703074 vsize=19041612 memory=82948 CPUtime=1.1 cores=5,7
/proc/703077/stat : 703077 (java) S 703074 703077 698245 0 -1 1077936128 11390 0 0 0 105 5 0 0 20 0 19 0 140306859 19498610688 20737 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
/proc/703077/statm: 4760403 20737 5896 1 0 554084 0
[pid=703077/tid=703079] ppid=703074 vsize=19041612 memory=5476 CPUtime=0.6 cores=5,7
/proc/703077/task/703079/stat : 703079 (java) R 703074 703077 698245 0 -1 4194368 6059 0 0 0 56 4 0 0 20 0 19 0 140306859 19498610688 20737 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703088] ppid=703074 vsize=19041612 memory=12320 CPUtime=0 cores=5,7
/proc/703077/task/703088/stat : 703088 (Finalizer) S 703074 703077 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140306864 19498610688 20737 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703095] ppid=703074 vsize=19041612 memory=164 CPUtime=0 cores=5,7
/proc/703077/task/703095/stat : 703095 (Common-Cleaner) S 703074 703077 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140306865 19498610688 20737 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703096] ppid=703074 vsize=19041612 memory=117636 CPUtime=0 cores=5,7
/proc/703077/task/703096/stat : 703096 (Timer-0) S 703074 703077 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140306896 19498610688 20737 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 82948 KiB
[startup+1.50038 s]
/proc/loadavg: 4.44 2.63 1.76 6/319 703096
/proc/meminfo: memFree=123016184/131655788 swapFree=131071996/131071996
[pid=703077] ppid=703074 vsize=19041612 memory=96700 CPUtime=2.31 cores=5,7
/proc/703077/stat : 703077 (java) S 703074 703077 698245 0 -1 1077936128 16109 0 0 0 226 5 0 0 20 0 19 0 140306859 19498610688 24175 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
/proc/703077/statm: 4760403 24175 5896 1 0 554815 0
[pid=703077/tid=703079] ppid=703074 vsize=19041612 memory=12320 CPUtime=1.38 cores=5,7
/proc/703077/task/703079/stat : 703079 (java) R 703074 703077 698245 0 -1 4194368 7275 0 0 0 134 4 0 0 20 0 19 0 140306859 19498610688 24175 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703088] ppid=703074 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/703077/task/703088/stat : 703088 (Finalizer) S 703074 703077 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140306864 19498610688 24175 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703095] ppid=703074 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/703077/task/703095/stat : 703095 (Common-Cleaner) S 703074 703077 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140306865 19498610688 24175 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703096] ppid=703074 vsize=19041612 memory=281309083772176 CPUtime=0 cores=5,7
/proc/703077/task/703096/stat : 703096 (Timer-0) S 703074 703077 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140306896 19498610688 24175 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
Current children cumulated CPU time: 2.31 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 96700 KiB
[startup+3.10636 s]
/proc/loadavg: 4.57 2.69 1.78 5/319 703096
/proc/meminfo: memFree=122978364/131655788 swapFree=131071996/131071996
[pid=703077] ppid=703074 vsize=19041612 memory=128952 CPUtime=5.22 cores=5,7
/proc/703077/stat : 703077 (java) S 703074 703077 698245 0 -1 1077936128 23912 0 0 0 514 8 0 0 20 0 19 0 140306859 19498610688 32238 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
/proc/703077/statm: 4760403 32238 5896 1 0 557644 0
[pid=703077/tid=703079] ppid=703074 vsize=19041612 memory=0 CPUtime=2.97 cores=5,7
/proc/703077/task/703079/stat : 703079 (java) R 703074 703077 698245 0 -1 4194368 7945 0 0 0 292 5 0 0 20 0 19 0 140306859 19498610688 32238 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703088] ppid=703074 vsize=19041612 memory=12320 CPUtime=0 cores=5,7
/proc/703077/task/703088/stat : 703088 (Finalizer) S 703074 703077 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140306864 19498610688 32238 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703095] ppid=703074 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/703077/task/703095/stat : 703095 (Common-Cleaner) S 703074 703077 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140306865 19498610688 32238 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703096] ppid=703074 vsize=19041612 memory=12712 CPUtime=0 cores=5,7
/proc/703077/task/703096/stat : 703096 (Timer-0) S 703074 703077 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140306896 19498610688 32238 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
Current children cumulated CPU time: 5.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 128952 KiB
[startup+6.30028 s]
/proc/loadavg: 4.57 2.69 1.78 5/319 703096
/proc/meminfo: memFree=122929532/131655788 swapFree=131071996/131071996
[pid=703077] ppid=703074 vsize=19041612 memory=165140 CPUtime=9.32 cores=5,7
/proc/703077/stat : 703077 (java) S 703074 703077 698245 0 -1 1077936128 24322 0 0 0 923 9 0 0 20 0 19 0 140306859 19498610688 41285 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
/proc/703077/statm: 4760403 41285 5896 1 0 557651 0
[pid=703077/tid=703079] ppid=703074 vsize=19041612 memory=12320 CPUtime=6.13 cores=5,7
/proc/703077/task/703079/stat : 703079 (java) R 703074 703077 698245 0 -1 4194368 8188 0 0 0 607 6 0 0 20 0 19 0 140306859 19498610688 41285 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703088] ppid=703074 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/703077/task/703088/stat : 703088 (Finalizer) S 703074 703077 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140306864 19498610688 41285 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703095] ppid=703074 vsize=19041612 memory=98796 CPUtime=0 cores=5,7
/proc/703077/task/703095/stat : 703095 (Common-Cleaner) S 703074 703077 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140306865 19498610688 41285 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703096] ppid=703074 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/703077/task/703096/stat : 703096 (Timer-0) S 703074 703077 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140306896 19498610688 41285 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
Current children cumulated CPU time: 9.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 165140 KiB
[startup+7.9334 s]
# the end of solver process 703077 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=10.8657 s, system=0.116887 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40032 s]
/proc/loadavg: 4.57 2.69 1.78 5/319 703096
/proc/meminfo: memFree=122929532/131655788 swapFree=131071996/131071996
[pid=703077] ppid=703074 vsize=19041612 memory=167296 CPUtime=9.42 cores=5,7
/proc/703077/stat : 703077 (java) S 703074 703077 698245 0 -1 1077936128 24436 0 0 0 933 9 0 0 20 0 19 0 140306859 19498610688 41824 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
/proc/703077/statm: 4760403 41824 5896 1 0 557651 0
[pid=703077/tid=703079] ppid=703074 vsize=19041612 memory=0 CPUtime=6.23 cores=5,7
/proc/703077/task/703079/stat : 703079 (java) R 703074 703077 698245 0 -1 4194368 8201 0 0 0 617 6 0 0 20 0 19 0 140306859 19498610688 41824 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703088] ppid=703074 vsize=19041612 memory=224194199869 CPUtime=0 cores=5,7
/proc/703077/task/703088/stat : 703088 (Finalizer) S 703074 703077 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140306864 19498610688 41824 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703095] ppid=703074 vsize=19041612 memory=12712 CPUtime=0 cores=5,7
/proc/703077/task/703095/stat : 703095 (Common-Cleaner) S 703074 703077 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140306865 19498610688 41824 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703096] ppid=703074 vsize=19041612 memory=37200 CPUtime=0 cores=5,7
/proc/703077/task/703096/stat : 703096 (Timer-0) S 703074 703077 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140306896 19498610688 41824 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
Current children cumulated CPU time: 9.42 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 167296 KiB
[startup+7.20038 s]
/proc/loadavg: 4.52 2.71 1.79 5/319 703096
/proc/meminfo: memFree=122925436/131655788 swapFree=131071996/131071996
[pid=703077] ppid=703074 vsize=19041612 memory=171392 CPUtime=10.22 cores=5,7
/proc/703077/stat : 703077 (java) S 703074 703077 698245 0 -1 1077936128 24447 0 0 0 1013 9 0 0 20 0 19 0 140306859 19498610688 42848 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
/proc/703077/statm: 4760403 42848 5896 1 0 557651 0
[pid=703077/tid=703079] ppid=703074 vsize=19041612 memory=12320 CPUtime=7.03 cores=5,7
/proc/703077/task/703079/stat : 703079 (java) R 703074 703077 698245 0 -1 4194368 8212 0 0 0 697 6 0 0 20 0 19 0 140306859 19498610688 42848 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703088] ppid=703074 vsize=19041612 memory=12712 CPUtime=0 cores=5,7
/proc/703077/task/703088/stat : 703088 (Finalizer) S 703074 703077 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140306864 19498610688 42848 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703095] ppid=703074 vsize=19041612 memory=3473 CPUtime=0 cores=5,7
/proc/703077/task/703095/stat : 703095 (Common-Cleaner) S 703074 703077 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140306865 19498610688 42848 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703096] ppid=703074 vsize=19041612 memory=2244 CPUtime=0 cores=5,7
/proc/703077/task/703096/stat : 703096 (Timer-0) S 703074 703077 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140306896 19498610688 42848 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
Current children cumulated CPU time: 10.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 171392 KiB
[startup+7.60041 s]
/proc/loadavg: 4.52 2.71 1.79 5/319 703096
/proc/meminfo: memFree=122925436/131655788 swapFree=131071996/131071996
[pid=703077] ppid=703074 vsize=19041612 memory=173448 CPUtime=10.62 cores=5,7
/proc/703077/stat : 703077 (java) S 703074 703077 698245 0 -1 1077936128 25483 0 0 0 1053 9 0 0 20 0 19 0 140306859 19498610688 43362 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
/proc/703077/statm: 4760403 43362 5896 1 0 557651 0
[pid=703077/tid=703079] ppid=703074 vsize=19041612 memory=37200 CPUtime=7.43 cores=5,7
/proc/703077/task/703079/stat : 703079 (java) R 703074 703077 698245 0 -1 4194368 9147 0 0 0 737 6 0 0 20 0 19 0 140306859 19498610688 43362 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703088] ppid=703074 vsize=19041612 memory=12320 CPUtime=0 cores=5,7
/proc/703077/task/703088/stat : 703088 (Finalizer) S 703074 703077 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140306864 19498610688 43362 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703095] ppid=703074 vsize=19041612 memory=-8887407915717534396 CPUtime=0 cores=5,7
/proc/703077/task/703095/stat : 703095 (Common-Cleaner) S 703074 703077 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140306865 19498610688 43362 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703096] ppid=703074 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/703077/task/703096/stat : 703096 (Timer-0) S 703074 703077 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140306896 19498610688 43362 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
Current children cumulated CPU time: 10.62 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 173448 KiB
[startup+7.80041 s]
/proc/loadavg: 4.52 2.71 1.79 5/319 703096
/proc/meminfo: memFree=122925436/131655788 swapFree=131071996/131071996
[pid=703077] ppid=703074 vsize=19108176 memory=184240 CPUtime=10.82 cores=5,7
/proc/703077/stat : 703077 (java) S 703074 703077 698245 0 -1 1077936128 26660 0 0 0 1072 10 0 0 20 0 20 0 140306859 19566772224 46060 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
/proc/703077/statm: 4777044 46060 5928 1 0 557940 0
[pid=703077/tid=703079] ppid=703074 vsize=19108176 memory=0 CPUtime=7.6 cores=5,7
/proc/703077/task/703079/stat : 703079 (java) R 703074 703077 698245 0 -1 4194368 9159 0 0 0 754 6 0 0 20 0 20 0 140306859 19566772224 46060 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703088] ppid=703074 vsize=19108176 memory=-8887407915717534396 CPUtime=0 cores=5,7
/proc/703077/task/703088/stat : 703088 (Finalizer) S 703074 703077 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140306864 19566772224 46060 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703095] ppid=703074 vsize=19108176 memory=8547710663883855229 CPUtime=0 cores=5,7
/proc/703077/task/703095/stat : 703095 (Common-Cleaner) S 703074 703077 698245 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 140306865 19566772224 46060 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703096] ppid=703074 vsize=19108176 memory=-7662980745959663145 CPUtime=0 cores=5,7
/proc/703077/task/703096/stat : 703096 (Timer-0) S 703074 703077 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140306896 19566772224 46060 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
Current children cumulated CPU time: 10.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 184240 KiB
[startup+7.90038 s]
/proc/loadavg: 4.52 2.71 1.79 5/319 703096
/proc/meminfo: memFree=122925436/131655788 swapFree=131071996/131071996
[pid=703077] ppid=703074 vsize=19241304 memory=184884 CPUtime=10.94 cores=5,7
/proc/703077/stat : 703077 (java) S 703074 703077 698245 0 -1 1077936128 28412 0 0 0 1084 10 0 0 20 0 20 0 140306859 19703095296 46221 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
/proc/703077/statm: 4810326 46221 5943 1 0 558565 0
[pid=703077/tid=703079] ppid=703074 vsize=19241304 memory=12320 CPUtime=7.67 cores=5,7
/proc/703077/task/703079/stat : 703079 (java) S 703074 703077 698245 0 -1 1077936192 10153 0 0 0 761 6 0 0 20 0 20 0 140306859 19703095296 46221 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703088] ppid=703074 vsize=19241304 memory=0 CPUtime=0 cores=5,7
/proc/703077/task/703088/stat : 703088 (Finalizer) S 703074 703077 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140306864 19703095296 46221 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
[pid=703077/tid=703095] ppid=703074 vsize=19241304 memory=0 CPUtime=0 cores=5,7
/proc/703077/task/703095/stat : 703095 (Common-Cleaner) S 703074 703077 698245 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 140306865 19703095296 46221 134679101440 94027349225472 94027349229168 140730239489024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94027349236984 94027349237776 94027366764544 140730239497197 140730239497287 140730239497287 140730239504328 0
Current children cumulated CPU time: 10.94 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 184884 KiB
Child status: 30
Real time (s): 7.93347
CPU time (s): 10.9826
CPU user time (s): 10.8657
CPU system time (s): 0.116887
CPU usage (%): 138.433
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 184884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.8657
system time used= 0.116887
maximum resident set size= 185944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28803
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1179
involuntary context switches= 317
# summary of solver processes directly reported to runsolver:
# pid: 703077
# total CPU time (s): 10.9826
# total CPU user time (s): 10.8657
# total CPU system time (s): 0.116887
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.055663 second user time and 0.113318 second system time
The end
Begin job on nodeC004 at 2024-07-13 16:38:43 IDJOB=4424844 IDBENCH=143751 IDSOLVER=3037 FILE ID=nodeC004/4424844-1720881510 RUNJOBID= nodeC004-1720881342-702392 SLURM_JOB_ID= 7483752 Free space on /tmp= 723780 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111221203--soft-33-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424844-1720881510/watcher-4424844-1720881510 -o /tmp/evaluation-result-4424844-1720881510/solver-4424844-1720881510 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1720881342-702392 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424844-1720881510.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a01c9ef9d0240b56467a0aa37bdb71bd RANDOM SEED=980901187 nodeC004.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 : 3556.369 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 : 6984.29 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 : 3626.002 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.37 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.433 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 : 6984.29 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.378 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.37 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 : 3551.322 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 : 6984.29 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 : 3621.811 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.37 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.377 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 : 6984.29 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.311 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 123084076 kB MemAvailable: 122983820 kB Buffers: 323160 kB Cached: 425816 kB SwapCached: 0 kB Active: 480212 kB Inactive: 7579724 kB Active(anon): 3360 kB Inactive(anon): 7344980 kB Active(file): 476852 kB Inactive(file): 234744 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 960 kB Writeback: 216 kB AnonPages: 7309972 kB Mapped: 121956 kB Shmem: 37700 kB KReclaimable: 56696 kB Slab: 146032 kB SReclaimable: 56696 kB SUnreclaim: 89336 kB KernelStack: 4880 kB PageTables: 24444 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 10986612 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 45920 kB HardwareCorrupted: 0 kB AnonHugePages: 6959104 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: 166728 kB DirectMap2M: 7077888 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 723780 MiB End job on nodeC004 at 2024-07-13 16:38:51