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 | 12.4907 | 9.387 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967523--soft-0-100-0.wbo |
| MD5SUM | 41d1b4d4384aa524edb9fde13f69bc5b |
| Bench Category | SOFT-LIN (WBO, only soft constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.628216 |
| 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 | 101 |
| 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 | 4944 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 4943 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1188 |
| 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.13/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.13/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.13/0.10 c See www.sat4j.org for details. 0.13/0.12 c version CUSTOM.v20240707 0.13/0.13 c java.runtime.name OpenJDK Runtime Environment 0.13/0.13 c java.vm.name OpenJDK 64-Bit Server VM 0.13/0.13 c java.vm.version 22.0.1+8-16 0.13/0.13 c java.vm.vendor Oracle Corporation 0.13/0.13 c sun.arch.data.model 64 0.13/0.13 c java.version 22.0.1 0.13/0.13 c os.name Linux 0.13/0.13 c os.version 4.18.0-301.1.el8.x86_64 0.13/0.13 c os.arch amd64 0.13/0.14 c Free memory 2115194816 0.13/0.14 c Max memory 16282288128 0.13/0.14 c Total memory 2122317824 0.13/0.14 c Number of processors 2 0.13/0.18 --- Begin Solver configuration --- 0.13/0.18 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.13/0.18 Learn all clauses as in MiniSAT 0.13/0.18 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.18 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.13/0.18 No reason simplification 0.13/0.18 Glucose 2.1 dynamic restart strategy 0.13/0.18 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.13/0.18 timeout=2147483s 0.13/0.18 DB Simplification allowed=false 0.13/0.18 Listener: none 0.13/0.18 --- End Solver configuration --- 0.13/0.18 c Pseudo Boolean Optimization by upper bound 0.13/0.18 c --- Begin Solver configuration --- 0.13/0.18 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.13/0.18 c Learn all clauses as in MiniSAT 0.13/0.18 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.18 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.13/0.18 c No reason simplification 0.13/0.18 c Glucose 2.1 dynamic restart strategy 0.13/0.18 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.13/0.18 c timeout=2147483s 0.13/0.18 c DB Simplification allowed=false 0.13/0.18 c Listener: none 0.13/0.18 c --- End Solver configuration --- 0.13/0.18 c solving HOME/instance-4425054-1720879367.wbo 0.13/0.18 c reading problem ... 0.32/0.22 c ... done. Wall clock time 0.04s. 0.32/0.22 c declared #vars 169 0.32/0.22 c internal #vars 270 0.32/0.22 c #constraints 102 0.32/0.22 c constraints type 0.32/0.22 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 0.32/0.22 c org.sat4j.specs.Constr$1 => 1 0.32/0.22 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30 0.32/0.22 c 102 constraints processed. 0.32/0.23 c objective function length is 101 literals 0.50/0.40 c SATISFIABLE 0.50/0.40 c OPTIMIZING... 0.69/0.42 c Got one! Elapsed wall clock time (in seconds):0.228 0.69/0.42 o 607 0.69/0.43 c Got one! Elapsed wall clock time (in seconds):0.244 0.69/0.43 o 402 0.69/0.43 c Got one! Elapsed wall clock time (in seconds):0.25 0.69/0.43 o 388 0.69/0.47 c Got one! Elapsed wall clock time (in seconds):0.289 0.69/0.47 o 386 0.69/0.47 c Got one! Elapsed wall clock time (in seconds):0.295 0.69/0.48 o 352 0.69/0.49 c Got one! Elapsed wall clock time (in seconds):0.303 0.69/0.49 o 343 0.69/0.49 c Got one! Elapsed wall clock time (in seconds):0.311 0.69/0.49 o 332 1.27/0.80 c cleaning 3239 clauses out of 6485 with flag 15280/6485 1.46/0.83 c Got one! Elapsed wall clock time (in seconds):0.653 1.46/0.83 o 309 1.46/0.88 c Got one! Elapsed wall clock time (in seconds):0.701 1.46/0.88 o 306 1.65/0.91 c Got one! Elapsed wall clock time (in seconds):0.727 1.65/0.91 o 302 1.65/0.97 c Got one! Elapsed wall clock time (in seconds):0.783 1.65/0.97 o 296 1.85/1.02 c Got one! Elapsed wall clock time (in seconds):0.843 1.85/1.02 o 294 1.85/1.03 c Got one! Elapsed wall clock time (in seconds):0.848 1.85/1.03 o 289 2.06/1.19 c Got one! Elapsed wall clock time (in seconds):1.001 2.06/1.19 o 276 2.24/1.21 c Got one! Elapsed wall clock time (in seconds):1.026 2.24/1.21 o 275 2.24/1.23 c Got one! Elapsed wall clock time (in seconds):1.044 2.24/1.23 o 259 2.24/1.26 c Got one! Elapsed wall clock time (in seconds):1.088 2.24/1.26 o 258 2.24/1.29 c Got one! Elapsed wall clock time (in seconds):1.115 2.24/1.29 o 257 2.44/1.36 c cleaning 7119 clauses out of 14237 with flag 3650/17476 2.44/1.37 c Got one! Elapsed wall clock time (in seconds):1.188 2.44/1.37 o 256 2.44/1.39 c Got one! Elapsed wall clock time (in seconds):1.209 2.44/1.39 o 253 2.63/1.40 c Got one! Elapsed wall clock time (in seconds):1.216 2.63/1.40 o 250 2.63/1.41 c Got one! Elapsed wall clock time (in seconds):1.24 2.63/1.41 o 248 2.63/1.43 c Got one! Elapsed wall clock time (in seconds):1.248 2.63/1.43 o 246 2.63/1.43 c Got one! Elapsed wall clock time (in seconds):1.257 2.63/1.43 o 244 2.63/1.47 c Got one! Elapsed wall clock time (in seconds):1.291 2.63/1.47 o 243 2.84/1.51 c Got one! Elapsed wall clock time (in seconds):1.328 2.84/1.51 o 239 2.84/1.52 c Got one! Elapsed wall clock time (in seconds):1.341 2.84/1.52 o 235 2.84/1.52 c Got one! Elapsed wall clock time (in seconds):1.349 2.84/1.52 o 234 2.99/1.62 c cleaning 8014 clauses out of 16027 with flag 11961/26385 2.99/1.64 c Got one! Elapsed wall clock time (in seconds):1.461 2.99/1.64 o 231 2.99/1.66 c Got one! Elapsed wall clock time (in seconds):1.485 2.99/1.66 o 229 2.99/1.68 c Got one! Elapsed wall clock time (in seconds):1.504 2.99/1.68 o 225 3.18/1.72 c Got one! Elapsed wall clock time (in seconds):1.542 3.18/1.73 o 223 3.18/1.73 c Got one! Elapsed wall clock time (in seconds):1.555 3.18/1.73 o 210 3.18/1.74 c Got one! Elapsed wall clock time (in seconds):1.571 3.18/1.74 o 207 3.18/1.75 c Got one! Elapsed wall clock time (in seconds):1.576 3.18/1.75 o 204 3.18/1.76 c Got one! Elapsed wall clock time (in seconds):1.583 3.18/1.76 o 198 3.18/1.76 c Got one! Elapsed wall clock time (in seconds):1.587 3.18/1.76 o 196 3.32/1.83 c Got one! Elapsed wall clock time (in seconds):1.659 3.32/1.83 o 170 3.32/1.85 c Got one! Elapsed wall clock time (in seconds):1.677 3.32/1.85 o 167 3.48/1.92 c Got one! Elapsed wall clock time (in seconds):1.741 3.48/1.93 o 166 3.48/1.95 c Got one! Elapsed wall clock time (in seconds):1.772 3.48/1.95 o 165 3.48/1.96 c Got one! Elapsed wall clock time (in seconds):1.789 3.48/1.96 o 162 3.63/2.02 c cleaning 10474 clauses out of 20963 with flag 3510/39335 3.63/2.04 c Got one! Elapsed wall clock time (in seconds):1.861 3.63/2.04 o 160 3.63/2.04 c Got one! Elapsed wall clock time (in seconds):1.867 3.63/2.04 o 159 3.63/2.07 c Got one! Elapsed wall clock time (in seconds):1.893 3.63/2.07 o 157 3.63/2.08 c Got one! Elapsed wall clock time (in seconds):1.902 3.63/2.08 o 156 3.63/2.08 c Got one! Elapsed wall clock time (in seconds):1.909 3.63/2.08 o 155 3.82/2.12 c Got one! Elapsed wall clock time (in seconds):1.935 3.82/2.12 o 154 3.82/2.20 c Got one! Elapsed wall clock time (in seconds):2.021 3.82/2.20 o 152 3.96/2.23 c Got one! Elapsed wall clock time (in seconds):2.052 3.96/2.23 o 150 3.96/2.24 c Got one! Elapsed wall clock time (in seconds):2.061 3.96/2.24 o 143 3.96/2.29 c Got one! Elapsed wall clock time (in seconds):2.114 3.96/2.29 o 137 4.06/2.30 c Got one! Elapsed wall clock time (in seconds):2.122 4.06/2.30 o 136 4.06/2.35 c cleaning 10444 clauses out of 20890 with flag 5276/49736 4.16/2.41 c Got one! Elapsed wall clock time (in seconds):2.231 4.16/2.41 o 125 4.16/2.43 c Got one! Elapsed wall clock time (in seconds):2.253 4.16/2.43 o 119 4.16/2.45 c Got one! Elapsed wall clock time (in seconds):2.271 4.16/2.45 o 117 4.32/2.58 c cleaning 8438 clauses out of 16885 with flag 12245/56175 4.48/2.61 c Got one! Elapsed wall clock time (in seconds):2.423 4.48/2.61 o 111 4.48/2.61 c Got one! Elapsed wall clock time (in seconds):2.43 4.48/2.61 o 94 4.68/2.78 c cleaning 7187 clauses out of 14385 with flag 23795/62113 4.88/2.87 c Got one! Elapsed wall clock time (in seconds):2.697 4.88/2.87 o 85 4.88/2.89 c Got one! Elapsed wall clock time (in seconds):2.713 4.88/2.89 o 84 5.08/2.90 c Got one! Elapsed wall clock time (in seconds):2.728 5.08/2.90 o 78 5.08/2.99 c cleaning 7046 clauses out of 14099 with flag 12064/69014 5.19/3.03 c Got one! Elapsed wall clock time (in seconds):2.856 5.19/3.03 o 76 5.36/3.14 c cleaning 6248 clauses out of 12510 with flag 16729/74471 5.36/3.15 c Got one! Elapsed wall clock time (in seconds):2.979 5.36/3.15 o 75 5.48/3.28 c cleaning 6047 clauses out of 12101 with flag 23397/80310 5.64/3.35 c Got one! Elapsed wall clock time (in seconds):3.174 5.64/3.35 o 59 5.64/3.39 c Got one! Elapsed wall clock time (in seconds):3.215 5.64/3.39 o 55 5.74/3.41 c Got one! Elapsed wall clock time (in seconds):3.239 5.74/3.41 o 54 5.74/3.45 c cleaning 6394 clauses out of 12797 with flag 4067/87053 5.84/3.50 c Got one! Elapsed wall clock time (in seconds):3.326 5.84/3.50 o 49 5.84/3.51 c Got one! Elapsed wall clock time (in seconds):3.332 5.84/3.51 o 48 5.84/3.57 c cleaning 6158 clauses out of 12336 with flag 9793/92986 5.94/3.69 c cleaning 6088 clauses out of 12179 with flag 31165/98987 6.04/3.73 c Got one! Elapsed wall clock time (in seconds):3.551 6.04/3.73 o 47 6.04/3.73 c Got one! Elapsed wall clock time (in seconds):3.558 6.04/3.74 o 44 6.04/3.75 c Got one! Elapsed wall clock time (in seconds):3.576 6.04/3.75 o 41 6.16/3.81 c Got one! Elapsed wall clock time (in seconds):3.629 6.16/3.81 o 36 6.16/3.86 c cleaning 6866 clauses out of 13757 with flag 10238/106653 6.16/3.87 c Got one! Elapsed wall clock time (in seconds):3.693 6.16/3.87 o 34 6.16/3.87 c Got one! Elapsed wall clock time (in seconds):3.695 6.16/3.87 o 32 6.16/3.88 c Got one! Elapsed wall clock time (in seconds):3.71 6.16/3.88 o 31 6.26/4.00 c cleaning 6497 clauses out of 12995 with flag 20558/112757 6.38/4.06 c Got one! Elapsed wall clock time (in seconds):3.885 6.38/4.06 o 24 6.54/4.11 c cleaning 5819 clauses out of 11658 with flag 7311/117917 6.70/4.24 c cleaning 5916 clauses out of 11842 with flag 30762/123920 6.80/4.37 c cleaning 6457 clauses out of 12923 with flag 56402/130917 7.00/4.52 c Got one! Elapsed wall clock time (in seconds):4.342 7.00/4.52 o 23 7.00/4.55 c Got one! Elapsed wall clock time (in seconds):4.38 7.00/4.55 o 20 7.10/4.61 c Got one! Elapsed wall clock time (in seconds):4.43 7.10/4.61 o 18 7.10/4.69 c cleaning 9983 clauses out of 19972 with flag 10664/144423 7.30/4.81 c cleaning 7989 clauses out of 15989 with flag 31105/150423 7.30/4.89 c Got one! Elapsed wall clock time (in seconds):4.716 7.30/4.89 o 14 7.40/4.92 c cleaning 6693 clauses out of 13388 with flag 4042/155811 7.50/5.04 c cleaning 6348 clauses out of 12696 with flag 25347/161812 7.60/5.14 c Got one! Elapsed wall clock time (in seconds):4.965 7.60/5.14 o 13 7.70/5.22 c Got one! Elapsed wall clock time (in seconds):5.044 7.70/5.22 o 10 7.70/5.28 c cleaning 8633 clauses out of 17271 with flag 8182/172735 7.89/5.42 c cleaning 7309 clauses out of 14638 with flag 33531/178735 7.89/5.47 c Got one! Elapsed wall clock time (in seconds):5.298 7.89/5.47 o 6 8.03/5.56 c cleaning 6437 clauses out of 12879 with flag 11555/184286 8.22/5.67 c Got one! Elapsed wall clock time (in seconds):5.493 8.22/5.67 o 5 8.22/5.69 c cleaning 5877 clauses out of 11773 with flag 4309/189619 8.42/5.83 c cleaning 5945 clauses out of 11897 with flag 27322/195620 8.52/5.90 c Got one! Elapsed wall clock time (in seconds):5.73 8.52/5.91 o 4 8.52/5.95 c Got one! Elapsed wall clock time (in seconds):5.775 8.52/5.95 o 3 8.52/5.98 c cleaning 6234 clauses out of 12485 with flag 4245/202154 8.83/6.15 c cleaning 6123 clauses out of 12252 with flag 29104/208155 9.21/6.33 c cleaning 6560 clauses out of 13127 with flag 56242/215154 9.58/6.54 c cleaning 7279 clauses out of 14565 with flag 91165/223153 9.88/6.82 c cleaning 8141 clauses out of 16284 with flag 132433/232153 10.38/7.32 c cleaning 9069 clauses out of 18141 with flag 179362/242153 11.09/8.07 c cleaning 10028 clauses out of 20069 with flag 228508/253154 11.67/8.69 c cleaning 11012 clauses out of 22035 with flag 287294/265153 12.27/9.20 c cleaning 12003 clauses out of 24018 with flag 350350/278156 12.37/9.35 c starts : 236 12.37/9.35 c conflicts : 282419 12.37/9.35 c decisions : 454923 12.37/9.35 c propagations : 7398932 12.37/9.35 c inspects : 75521572 12.37/9.35 c shortcuts : 0 12.37/9.35 c learnt literals : 43 12.37/9.35 c learnt binary clauses : 29 12.37/9.35 c learnt ternary clauses : 709 12.37/9.35 c learnt constraints : 282375 12.37/9.35 c ignored constraints : 0 12.37/9.35 c root simplifications : 0 12.37/9.35 c removed literals (reason simplification) : 0 12.37/9.35 c reason swapping (by a shorter reason) : 0 12.37/9.35 c Calls to reduceDB : 36 12.37/9.35 c Number of update (reduction) of LBD : 76973 12.37/9.35 c Imported unit clauses : 0 12.37/9.35 c No decision after first conflict : false 12.37/9.35 c number of reductions to clauses (during analyze) : 0 12.37/9.35 c number of learned constraints concerned by reduction : 0 12.37/9.35 c number of learning phase by resolution : 0 12.37/9.35 c number of learning phase by cutting planes : 0 12.37/9.35 c number of rounding to 1 operations : 0 12.37/9.35 c number of easy rounding to 1 operations (no literal elimination needed) : 0 12.37/9.35 c number of reductions of the coefficients by power 2 : 0 12.37/9.35 c number of right shift for reduction by power 2 : 0 12.37/9.35 c number of reductions of the coefficients by GCD over coefficients : 0 12.37/9.35 c number of ending skipping : 0 12.37/9.35 c number of internal skipping : 0 12.37/9.35 c number of derivation steps : 0 12.37/9.35 c number of skipped derivation steps : 0 12.37/9.35 c number of remaining unassigned : 0 12.37/9.35 c number of remaining assigned : 0 12.37/9.35 c number of falsified literals weakened from reason : 0 12.37/9.36 c number of falsified literals weakened from conflict : 0 12.37/9.36 c time for arithmetic operations : 0 12.37/9.36 c minimum degree of deleted constraints : null 12.37/9.36 c maximum degree of deleted constraints : null 12.37/9.36 c number of deleted constraints : 0 12.37/9.36 c speed (assignments/second) : 811464.356218469 12.37/9.36 c non guided choices : 4305 12.37/9.36 s OPTIMUM FOUND 12.37/9.36 c Found 86 solution(s) 12.37/9.36 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 12.37/9.36 c objective function=3 12.37/9.36 c Total wall clock time (in seconds): 9.189
OK 3
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (63140 MiB free)
memory of node 1: 64510 MiB (63465 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425054-1720879367/watcher-4425054-1720879367 -o /tmp/evaluation-result-4425054-1720879367/solver-4425054-1720879367 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1720879372-701332 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4425054-1720879367.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=701513, runsolver pid=701510
[startup+0.10019 s]*
/proc/loadavg: 1.57 1.23 1.75 5/317 701531
/proc/meminfo: memFree=129608256/131655788 swapFree=131071996/131071996
[pid=701513] ppid=701510 vsize=18975048 memory=57052 CPUtime=0.13 cores=5,7
/proc/701513/stat : 701513 (java) S 701510 701513 696886 0 -1 1077936128 6711 0 0 0 10 3 0 0 20 0 18 0 140095960 19430449152 14263 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
/proc/701513/statm: 4743762 14263 5681 1 0 551027 0
[pid=701513/tid=701515] ppid=701510 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/701513/task/701515/stat : 701515 (java) R 701510 701513 696886 0 -1 1077936192 5557 0 0 0 6 2 0 0 20 0 18 0 140095960 19430449152 14263 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701524] ppid=701510 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/701513/task/701524/stat : 701524 (Finalizer) S 701510 701513 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140095966 19430449152 14263 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701531] ppid=701510 vsize=18975048 memory=15823283178223670 CPUtime=0 cores=5,7
/proc/701513/task/701531/stat : 701531 (Common-Cleaner) S 701510 701513 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140095966 19430449152 14263 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57052 KiB
[startup+0.211369 s]*
/proc/loadavg: 1.57 1.23 1.75 9/317 701531
/proc/meminfo: memFree=129596900/131655788 swapFree=131071996/131071996
[pid=701513] ppid=701510 vsize=18975048 memory=66240 CPUtime=0.32 cores=5,7
/proc/701513/stat : 701513 (java) S 701510 701513 696886 0 -1 1077936128 7412 0 0 0 29 3 0 0 20 0 18 0 140095960 19430449152 16560 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
/proc/701513/statm: 4743762 16560 5734 1 0 551591 0
[pid=701513/tid=701515] ppid=701510 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/701513/task/701515/stat : 701515 (java) R 701510 701513 696886 0 -1 4194368 5942 0 0 0 16 2 0 0 20 0 18 0 140095960 19430449152 16560 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701524] ppid=701510 vsize=18975048 memory=1645 CPUtime=0 cores=5,7
/proc/701513/task/701524/stat : 701524 (Finalizer) S 701510 701513 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140095966 19430449152 16560 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701531] ppid=701510 vsize=18975048 memory=13847460783068500 CPUtime=0 cores=5,7
/proc/701513/task/701531/stat : 701531 (Common-Cleaner) S 701510 701513 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140095966 19430449152 16560 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66240 KiB
[startup+0.306361 s]*
/proc/loadavg: 1.57 1.23 1.75 7/318 701532
/proc/meminfo: memFree=129593956/131655788 swapFree=131071996/131071996
[pid=701513] ppid=701510 vsize=19041612 memory=67052 CPUtime=0.5 cores=5,7
/proc/701513/stat : 701513 (java) S 701510 701513 696886 0 -1 1077936128 7621 0 0 0 46 4 0 0 20 0 19 0 140095960 19498610688 16763 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
/proc/701513/statm: 4760403 16763 5771 1 0 551963 0
[pid=701513/tid=701515] ppid=701510 vsize=19041612 memory=-9177321652761305788 CPUtime=0.26 cores=5,7
/proc/701513/task/701515/stat : 701515 (java) R 701510 701513 696886 0 -1 4194368 6046 0 0 0 23 3 0 0 20 0 19 0 140095960 19498610688 16763 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701524] ppid=701510 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/701513/task/701524/stat : 701524 (Finalizer) S 701510 701513 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140095966 19498610688 16763 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701531] ppid=701510 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/701513/task/701531/stat : 701531 (Common-Cleaner) S 701510 701513 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140095966 19498610688 16763 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701532] ppid=701510 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/701513/task/701532/stat : 701532 (Timer-0) S 701510 701513 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140095984 19498610688 16763 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 67052 KiB
[startup+0.709362 s]
/proc/loadavg: 1.57 1.23 1.75 6/319 701533
/proc/meminfo: memFree=129576880/131655788 swapFree=131071996/131071996
[pid=701513] ppid=701510 vsize=19041612 memory=78644 CPUtime=1.27 cores=5,7
/proc/701513/stat : 701513 (java) S 701510 701513 696886 0 -1 1077936128 9930 0 0 0 123 4 0 0 20 0 19 0 140095960 19498610688 19661 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
/proc/701513/statm: 4760403 19661 5857 1 0 553148 0
[pid=701513/tid=701515] ppid=701510 vsize=19041612 memory=11948 CPUtime=0.64 cores=5,7
/proc/701513/task/701515/stat : 701515 (java) R 701510 701513 696886 0 -1 4194368 6092 0 0 0 61 3 0 0 20 0 19 0 140095960 19498610688 19661 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701524] ppid=701510 vsize=19041612 memory=11948 CPUtime=0 cores=5,7
/proc/701513/task/701524/stat : 701524 (Finalizer) S 701510 701513 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140095966 19498610688 19661 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701531] ppid=701510 vsize=19041612 memory=117636 CPUtime=0 cores=5,7
/proc/701513/task/701531/stat : 701531 (Common-Cleaner) S 701510 701513 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140095966 19498610688 19661 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701532] ppid=701510 vsize=19041612 memory=32604 CPUtime=0 cores=5,7
/proc/701513/task/701532/stat : 701532 (Timer-0) S 701510 701513 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140095984 19498610688 19661 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 78644 KiB
[startup+1.50136 s]
/proc/loadavg: 2.00 1.33 1.78 6/319 701533
/proc/meminfo: memFree=129565092/131655788 swapFree=131071996/131071996
[pid=701513] ppid=701510 vsize=19041612 memory=89808 CPUtime=2.84 cores=5,7
/proc/701513/stat : 701513 (java) S 701510 701513 696886 0 -1 1077936128 14065 0 0 0 279 5 0 0 20 0 19 0 140095960 19498610688 22452 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
/proc/701513/statm: 4760403 22452 5857 1 0 553759 0
[pid=701513/tid=701515] ppid=701510 vsize=19041612 memory=11948 CPUtime=1.4 cores=5,7
/proc/701513/task/701515/stat : 701515 (java) R 701510 701513 696886 0 -1 4194368 6654 0 0 0 137 3 0 0 20 0 19 0 140095960 19498610688 22452 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701524] ppid=701510 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/701513/task/701524/stat : 701524 (Finalizer) S 701510 701513 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140095966 19498610688 22452 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701531] ppid=701510 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/701513/task/701531/stat : 701531 (Common-Cleaner) S 701510 701513 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140095966 19498610688 22452 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701532] ppid=701510 vsize=19041612 memory=65 CPUtime=0 cores=5,7
/proc/701513/task/701532/stat : 701532 (Timer-0) S 701510 701513 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140095984 19498610688 22452 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 89808 KiB
[startup+3.10536 s]
/proc/loadavg: 2.00 1.33 1.78 5/320 701536
/proc/meminfo: memFree=129515196/131655788 swapFree=131071996/131071996
[pid=701513] ppid=701510 vsize=19041612 memory=126212 CPUtime=5.36 cores=5,7
/proc/701513/stat : 701513 (java) S 701510 701513 696886 0 -1 1077936128 20578 0 0 0 529 7 0 0 20 0 19 0 140095960 19498610688 31553 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
/proc/701513/statm: 4760403 31553 5857 1 0 556608 0
[pid=701513/tid=701515] ppid=701510 vsize=19041612 memory=0 CPUtime=2.99 cores=5,7
/proc/701513/task/701515/stat : 701515 (java) R 701510 701513 696886 0 -1 4194368 7493 0 0 0 295 4 0 0 20 0 19 0 140095960 19498610688 31553 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701524] ppid=701510 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/701513/task/701524/stat : 701524 (Finalizer) S 701510 701513 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140095966 19498610688 31553 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701531] ppid=701510 vsize=19041612 memory=96160 CPUtime=0 cores=5,7
/proc/701513/task/701531/stat : 701531 (Common-Cleaner) S 701510 701513 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140095966 19498610688 31553 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701532] ppid=701510 vsize=19041612 memory=11948 CPUtime=0 cores=5,7
/proc/701513/task/701532/stat : 701532 (Timer-0) S 701510 701513 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140095984 19498610688 31553 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
Current children cumulated CPU time: 5.36 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 126212 KiB
[startup+6.30036 s]
/proc/loadavg: 2.32 1.41 1.80 7/320 701603
/proc/meminfo: memFree=129534492/131655788 swapFree=131071996/131071996
[pid=701513] ppid=701510 vsize=19108176 memory=177036 CPUtime=9.21 cores=5,7
/proc/701513/stat : 701513 (java) S 701510 701513 696886 0 -1 1077936128 22175 0 0 0 913 8 0 0 20 0 20 0 140095960 19566772224 44259 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
/proc/701513/statm: 4777044 44259 5885 1 0 556983 0
[pid=701513/tid=701515] ppid=701510 vsize=19108176 memory=11948 CPUtime=6.14 cores=5,7
/proc/701513/task/701515/stat : 701515 (java) R 701510 701513 696886 0 -1 4194368 7602 0 0 0 609 5 0 0 20 0 20 0 140095960 19566772224 44259 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701524] ppid=701510 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/701513/task/701524/stat : 701524 (Finalizer) S 701510 701513 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140095966 19566772224 44259 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701531] ppid=701510 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/701513/task/701531/stat : 701531 (Common-Cleaner) S 701510 701513 696886 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 140095966 19566772224 44259 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701532] ppid=701510 vsize=19108176 memory=11648 CPUtime=0 cores=5,7
/proc/701513/task/701532/stat : 701532 (Timer-0) S 701510 701513 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140095984 19566772224 44259 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
Current children cumulated CPU time: 9.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177036 KiB
[startup+9.38694 s]
# the end of solver process 701513 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=12.3924 s, system=0.098237 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40036 s]
/proc/loadavg: 2.32 1.41 1.80 7/320 701603
/proc/meminfo: memFree=129534492/131655788 swapFree=131071996/131071996
[pid=701513] ppid=701510 vsize=19108176 memory=177036 CPUtime=9.41 cores=5,7
/proc/701513/stat : 701513 (java) S 701510 701513 696886 0 -1 1077936128 22177 0 0 0 933 8 0 0 20 0 20 0 140095960 19566772224 44259 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
/proc/701513/statm: 4777044 44259 5885 1 0 556983 0
[pid=701513/tid=701515] ppid=701510 vsize=19108176 memory=35256 CPUtime=6.24 cores=5,7
/proc/701513/task/701515/stat : 701515 (java) R 701510 701513 696886 0 -1 4194368 7602 0 0 0 619 5 0 0 20 0 20 0 140095960 19566772224 44259 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701524] ppid=701510 vsize=19108176 memory=11948 CPUtime=0 cores=5,7
/proc/701513/task/701524/stat : 701524 (Finalizer) S 701510 701513 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140095966 19566772224 44259 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701531] ppid=701510 vsize=19108176 memory=91856 CPUtime=0 cores=5,7
/proc/701513/task/701531/stat : 701531 (Common-Cleaner) S 701510 701513 696886 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 140095966 19566772224 44259 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701532] ppid=701510 vsize=19108176 memory=228489168109 CPUtime=0 cores=5,7
/proc/701513/task/701532/stat : 701532 (Timer-0) S 701510 701513 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140095984 19566772224 44259 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
Current children cumulated CPU time: 9.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177036 KiB
[startup+8.00037 s]*
/proc/loadavg: 2.32 1.41 1.80 6/320 701603
/proc/meminfo: memFree=129491036/131655788 swapFree=131071996/131071996
[pid=701513] ppid=701510 vsize=19108176 memory=177036 CPUtime=11.09 cores=5,7
/proc/701513/stat : 701513 (java) S 701510 701513 696886 0 -1 1077936128 22185 0 0 0 1101 8 0 0 20 0 20 0 140095960 19566772224 44259 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
/proc/701513/statm: 4777044 44259 5885 1 0 556983 0
[pid=701513/tid=701515] ppid=701510 vsize=19108176 memory=-9175351327924331196 CPUtime=7.84 cores=5,7
/proc/701513/task/701515/stat : 701515 (java) R 701510 701513 696886 0 -1 4194368 7603 0 0 0 779 5 0 0 20 0 20 0 140095960 19566772224 44259 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701524] ppid=701510 vsize=19108176 memory=32608 CPUtime=0 cores=5,7
/proc/701513/task/701524/stat : 701524 (Finalizer) S 701510 701513 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140095966 19566772224 44259 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701531] ppid=701510 vsize=19108176 memory=33164 CPUtime=0 cores=5,7
/proc/701513/task/701531/stat : 701531 (Common-Cleaner) S 701510 701513 696886 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 140095966 19566772224 44259 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701532] ppid=701510 vsize=19108176 memory=32636 CPUtime=0 cores=5,7
/proc/701513/task/701532/stat : 701532 (Timer-0) S 701510 701513 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140095984 19566772224 44259 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
Current children cumulated CPU time: 11.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177036 KiB
[startup+8.80034 s]
/proc/loadavg: 2.32 1.41 1.80 6/320 701603
/proc/meminfo: memFree=129491036/131655788 swapFree=131071996/131071996
[pid=701513] ppid=701510 vsize=19108176 memory=177196 CPUtime=11.87 cores=5,7
/proc/701513/stat : 701513 (java) S 701510 701513 696886 0 -1 1077936128 22382 0 0 0 1179 8 0 0 20 0 20 0 140095960 19566772224 44299 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
/proc/701513/statm: 4777044 44299 5901 1 0 556983 0
[pid=701513/tid=701515] ppid=701510 vsize=19108176 memory=177036 CPUtime=8.62 cores=5,7
/proc/701513/task/701515/stat : 701515 (java) R 701510 701513 696886 0 -1 4194368 7799 0 0 0 857 5 0 0 20 0 20 0 140095960 19566772224 44299 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701524] ppid=701510 vsize=19108176 memory=-9177321652761305788 CPUtime=0 cores=5,7
/proc/701513/task/701524/stat : 701524 (Finalizer) S 701510 701513 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140095966 19566772224 44299 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701531] ppid=701510 vsize=19108176 memory=26164 CPUtime=0 cores=5,7
/proc/701513/task/701531/stat : 701531 (Common-Cleaner) S 701510 701513 696886 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 140095966 19566772224 44299 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701532] ppid=701510 vsize=19108176 memory=11648 CPUtime=0 cores=5,7
/proc/701513/task/701532/stat : 701532 (Timer-0) S 701510 701513 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140095984 19566772224 44299 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
Current children cumulated CPU time: 11.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177196 KiB
[startup+9.20038 s]
/proc/loadavg: 2.32 1.41 1.80 5/320 701603
/proc/meminfo: memFree=129481588/131655788 swapFree=131071996/131071996
[pid=701513] ppid=701510 vsize=19108176 memory=177196 CPUtime=12.27 cores=5,7
/proc/701513/stat : 701513 (java) S 701510 701513 696886 0 -1 1077936128 22396 0 0 0 1219 8 0 0 20 0 20 0 140095960 19566772224 44299 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
/proc/701513/statm: 4777044 44299 5901 1 0 556983 0
[pid=701513/tid=701515] ppid=701510 vsize=19108176 memory=-2245088631185882904 CPUtime=9.02 cores=5,7
/proc/701513/task/701515/stat : 701515 (java) R 701510 701513 696886 0 -1 4194368 7812 0 0 0 897 5 0 0 20 0 20 0 140095960 19566772224 44299 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701524] ppid=701510 vsize=19108176 memory=-9174445032661854264 CPUtime=0 cores=5,7
/proc/701513/task/701524/stat : 701524 (Finalizer) S 701510 701513 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140095966 19566772224 44299 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701531] ppid=701510 vsize=19108176 memory=-3253322038155611931 CPUtime=0 cores=5,7
/proc/701513/task/701531/stat : 701531 (Common-Cleaner) S 701510 701513 696886 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 140095966 19566772224 44299 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701532] ppid=701510 vsize=19108176 memory=-3253322038155611931 CPUtime=0 cores=5,7
/proc/701513/task/701532/stat : 701532 (Timer-0) S 701510 701513 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140095984 19566772224 44299 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
Current children cumulated CPU time: 12.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177196 KiB
[startup+9.3004 s]
/proc/loadavg: 2.32 1.41 1.80 5/320 701603
/proc/meminfo: memFree=129481588/131655788 swapFree=131071996/131071996
[pid=701513] ppid=701510 vsize=19108176 memory=177196 CPUtime=12.37 cores=5,7
/proc/701513/stat : 701513 (java) S 701510 701513 696886 0 -1 1077936128 22397 0 0 0 1229 8 0 0 20 0 20 0 140095960 19566772224 44299 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
/proc/701513/statm: 4777044 44299 5901 1 0 556983 0
[pid=701513/tid=701515] ppid=701510 vsize=19108176 memory=11948 CPUtime=9.12 cores=5,7
/proc/701513/task/701515/stat : 701515 (java) R 701510 701513 696886 0 -1 4194368 7813 0 0 0 907 5 0 0 20 0 20 0 140095960 19566772224 44299 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701524] ppid=701510 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/701513/task/701524/stat : 701524 (Finalizer) S 701510 701513 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140095966 19566772224 44299 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701531] ppid=701510 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/701513/task/701531/stat : 701531 (Common-Cleaner) S 701510 701513 696886 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 140095966 19566772224 44299 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
[pid=701513/tid=701532] ppid=701510 vsize=19108176 memory=177036 CPUtime=0 cores=5,7
/proc/701513/task/701532/stat : 701532 (Timer-0) S 701510 701513 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140095984 19566772224 44299 134679101440 94498670829568 94498670833264 140736580293072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94498670841080 94498670841872 94498700410880 140736580301805 140736580301895 140736580301895 140736580308936 0
Current children cumulated CPU time: 12.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177196 KiB
Child status: 30
Real time (s): 9.387
CPU time (s): 12.4907
CPU user time (s): 12.3924
CPU system time (s): 0.098237
CPU usage (%): 133.063
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 177196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.3924
system time used= 0.098237
maximum resident set size= 179156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24979
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 842
involuntary context switches= 374
# summary of solver processes directly reported to runsolver:
# pid: 701513
# total CPU time (s): 12.4907
# total CPU user time (s): 12.3924
# total CPU system time (s): 0.098237
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037864 second user time and 0.106932 second system time
The end
Begin job on nodeC010 at 2024-07-13 16:02:59 IDJOB=4425054 IDBENCH=143242 IDSOLVER=3037 FILE ID=nodeC010/4425054-1720879367 RUNJOBID= nodeC010-1720879372-701332 SLURM_JOB_ID= 7483758 Free space on /tmp= 723780 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110967523--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425054-1720879367/watcher-4425054-1720879367 -o /tmp/evaluation-result-4425054-1720879367/solver-4425054-1720879367 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1720879372-701332 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4425054-1720879367.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 41d1b4d4384aa524edb9fde13f69bc5b RANDOM SEED=1096020309 nodeC010.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 : 1197.290 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.51 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 : 1197.172 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3593.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 : 6983.51 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 : 3492.017 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.173 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.179 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3591.474 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.787 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 129652776 kB MemAvailable: 129539724 kB Buffers: 319232 kB Cached: 416700 kB SwapCached: 0 kB Active: 473280 kB Inactive: 1029260 kB Active(anon): 1440 kB Inactive(anon): 802896 kB Active(file): 471840 kB Inactive(file): 226364 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 4172 kB Writeback: 0 kB AnonPages: 766668 kB Mapped: 121976 kB Shmem: 37704 kB KReclaimable: 57548 kB Slab: 147188 kB SReclaimable: 57548 kB SUnreclaim: 89640 kB KernelStack: 4816 kB PageTables: 11676 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 7313804 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 45728 kB HardwareCorrupted: 0 kB AnonHugePages: 509952 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: 162632 kB DirectMap2M: 9179136 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 723780 MiB End job on nodeC010 at 2024-07-13 16:03:08