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.5856 | 8.51654 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212272--soft-0-100-0.wbo |
| MD5SUM | eaf96ee6198d5284013e332932f4fc98 |
| Bench Category | SOFT-LIN (WBO, only soft constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 0.97909 |
| 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 | 5180 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 5179 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1210 |
| 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.06 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version CUSTOM.v20240707 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 2106806208 0.00/0.08 c Max memory 16282288128 0.00/0.08 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.13/0.12 --- Begin Solver configuration --- 0.13/0.12 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.13/0.12 Learn all clauses as in MiniSAT 0.13/0.12 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.12 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.13/0.12 No reason simplification 0.13/0.12 Glucose 2.1 dynamic restart strategy 0.13/0.12 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.12 timeout=2147483s 0.13/0.12 DB Simplification allowed=false 0.13/0.12 Listener: none 0.13/0.12 --- End Solver configuration --- 0.13/0.13 c Pseudo Boolean Optimization by upper bound 0.13/0.13 c --- Begin Solver configuration --- 0.13/0.13 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.13/0.13 c Learn all clauses as in MiniSAT 0.13/0.13 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.13/0.13 c No reason simplification 0.13/0.13 c Glucose 2.1 dynamic restart strategy 0.13/0.13 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.13 c timeout=2147483s 0.13/0.13 c DB Simplification allowed=false 0.13/0.13 c Listener: none 0.13/0.13 c --- End Solver configuration --- 0.13/0.13 c solving HOME/instance-4456161-1721718652.wbo 0.13/0.13 c reading problem ... 0.13/0.15 c ... done. Wall clock time 0.022s. 0.13/0.15 c declared #vars 169 0.13/0.15 c internal #vars 270 0.13/0.15 c #constraints 102 0.13/0.15 c constraints type 0.13/0.15 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 0.13/0.15 c org.sat4j.specs.Constr$1 => 1 0.13/0.15 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30 0.13/0.15 c 102 constraints processed. 0.13/0.16 c objective function length is 101 literals 0.13/0.21 c SATISFIABLE 0.13/0.21 c OPTIMIZING... 0.33/0.22 c Got one! Elapsed wall clock time (in seconds):0.08 0.33/0.22 o 780 0.33/0.22 c Got one! Elapsed wall clock time (in seconds):0.09 0.33/0.22 o 577 0.33/0.24 c Got one! Elapsed wall clock time (in seconds):0.109 0.33/0.24 o 571 0.33/0.24 c Got one! Elapsed wall clock time (in seconds):0.112 0.33/0.24 o 504 0.33/0.25 c Got one! Elapsed wall clock time (in seconds):0.115 0.33/0.25 o 469 0.33/0.25 c Got one! Elapsed wall clock time (in seconds):0.123 0.33/0.25 o 468 0.33/0.27 c Got one! Elapsed wall clock time (in seconds):0.146 0.33/0.27 o 461 0.52/0.33 c Got one! Elapsed wall clock time (in seconds):0.205 0.52/0.33 o 458 0.72/0.43 c Got one! Elapsed wall clock time (in seconds):0.301 0.72/0.43 o 451 0.72/0.43 c Got one! Elapsed wall clock time (in seconds):0.306 0.72/0.43 o 447 0.72/0.43 c Got one! Elapsed wall clock time (in seconds):0.308 0.72/0.43 o 413 0.72/0.46 c Got one! Elapsed wall clock time (in seconds):0.333 0.72/0.46 o 408 0.72/0.47 c Got one! Elapsed wall clock time (in seconds):0.341 0.72/0.47 o 399 0.90/0.55 c Got one! Elapsed wall clock time (in seconds):0.419 0.90/0.55 o 396 1.10/0.61 c Got one! Elapsed wall clock time (in seconds):0.483 1.10/0.62 o 378 1.29/0.71 c cleaning 5077 clauses out of 10158 with flag 7779/10158 1.29/0.73 c Got one! Elapsed wall clock time (in seconds):0.605 1.29/0.73 o 369 1.69/0.92 c cleaning 5410 clauses out of 10839 with flag 21474/15916 1.69/0.97 c Got one! Elapsed wall clock time (in seconds):0.842 1.69/0.97 o 368 1.69/0.97 c Got one! Elapsed wall clock time (in seconds):0.845 1.69/0.97 o 359 1.69/1.00 c Got one! Elapsed wall clock time (in seconds):0.871 1.69/1.00 o 358 1.86/1.01 c Got one! Elapsed wall clock time (in seconds):0.875 1.86/1.01 o 347 1.86/1.02 c Got one! Elapsed wall clock time (in seconds):0.893 1.86/1.02 o 346 1.86/1.03 c Got one! Elapsed wall clock time (in seconds):0.896 1.86/1.03 o 333 1.86/1.03 c Got one! Elapsed wall clock time (in seconds):0.906 1.86/1.03 o 326 1.86/1.04 c Got one! Elapsed wall clock time (in seconds):0.911 1.86/1.04 o 310 1.86/1.06 c Got one! Elapsed wall clock time (in seconds):0.929 1.86/1.06 o 309 1.86/1.06 c Got one! Elapsed wall clock time (in seconds):0.934 1.86/1.06 o 296 1.99/1.14 c cleaning 6964 clauses out of 13930 with flag 10626/24417 2.15/1.22 c Got one! Elapsed wall clock time (in seconds):1.091 2.15/1.22 o 288 2.15/1.24 c Got one! Elapsed wall clock time (in seconds):1.11 2.15/1.24 o 287 2.26/1.30 c cleaning 6446 clauses out of 12905 with flag 8343/30356 2.26/1.34 c Got one! Elapsed wall clock time (in seconds):1.216 2.26/1.34 o 283 2.26/1.38 c Got one! Elapsed wall clock time (in seconds):1.249 2.26/1.38 o 276 2.43/1.41 c Got one! Elapsed wall clock time (in seconds):1.286 2.43/1.42 o 273 2.43/1.46 c Got one! Elapsed wall clock time (in seconds):1.334 2.43/1.46 o 265 2.43/1.47 c Got one! Elapsed wall clock time (in seconds):1.346 2.43/1.47 o 256 2.56/1.51 c cleaning 7215 clauses out of 14435 with flag 3494/38332 2.56/1.52 c Got one! Elapsed wall clock time (in seconds):1.394 2.56/1.52 o 250 2.66/1.66 c cleaning 6432 clauses out of 12873 with flag 21690/43985 2.76/1.71 c Got one! Elapsed wall clock time (in seconds):1.58 2.76/1.71 o 244 2.76/1.77 c Got one! Elapsed wall clock time (in seconds):1.643 2.76/1.77 o 238 2.86/1.80 c cleaning 6080 clauses out of 12166 with flag 3875/49710 2.86/1.88 c Got one! Elapsed wall clock time (in seconds):1.756 2.86/1.88 o 230 2.97/1.94 c cleaning 5707 clauses out of 11440 with flag 9191/55064 2.97/1.98 c Got one! Elapsed wall clock time (in seconds):1.849 2.97/1.98 o 228 3.08/2.04 c Got one! Elapsed wall clock time (in seconds):1.916 3.08/2.04 o 227 3.08/2.05 c Got one! Elapsed wall clock time (in seconds):1.919 3.08/2.05 o 209 3.08/2.10 c cleaning 6081 clauses out of 12174 with flag 8226/61505 3.18/2.12 c Got one! Elapsed wall clock time (in seconds):1.989 3.18/2.12 o 199 3.18/2.16 c Got one! Elapsed wall clock time (in seconds):2.031 3.18/2.16 o 189 3.28/2.22 c Got one! Elapsed wall clock time (in seconds):2.092 3.28/2.22 o 187 3.28/2.28 c cleaning 6439 clauses out of 12889 with flag 8531/68301 3.39/2.30 c Got one! Elapsed wall clock time (in seconds):2.175 3.39/2.30 o 184 3.39/2.32 c Got one! Elapsed wall clock time (in seconds):2.191 3.39/2.32 o 181 3.39/2.33 c Got one! Elapsed wall clock time (in seconds):2.199 3.39/2.33 o 177 3.39/2.33 c Got one! Elapsed wall clock time (in seconds):2.203 3.39/2.33 o 171 3.39/2.38 c Got one! Elapsed wall clock time (in seconds):2.252 3.39/2.38 o 164 3.39/2.39 c Got one! Elapsed wall clock time (in seconds):2.266 3.39/2.39 o 159 3.50/2.43 c Got one! Elapsed wall clock time (in seconds):2.3 3.50/2.43 o 157 3.50/2.44 c Got one! Elapsed wall clock time (in seconds):2.314 3.50/2.44 o 155 3.50/2.45 c Got one! Elapsed wall clock time (in seconds):2.328 3.50/2.45 o 149 3.50/2.47 c Got one! Elapsed wall clock time (in seconds):2.34 3.50/2.47 o 125 3.50/2.47 c Got one! Elapsed wall clock time (in seconds):2.349 3.50/2.48 o 122 3.60/2.50 c Got one! Elapsed wall clock time (in seconds):2.369 3.60/2.50 o 112 3.60/2.56 c Got one! Elapsed wall clock time (in seconds):2.432 3.60/2.56 o 95 3.73/2.60 c Got one! Elapsed wall clock time (in seconds):2.462 3.73/2.60 o 89 3.73/2.62 c Got one! Elapsed wall clock time (in seconds):2.493 3.73/2.62 o 82 3.73/2.64 c Got one! Elapsed wall clock time (in seconds):2.514 3.73/2.64 o 78 3.87/2.72 c cleaning 9986 clauses out of 19986 with flag 9489/81837 3.97/2.80 c Got one! Elapsed wall clock time (in seconds):2.676 3.97/2.80 o 58 3.97/2.82 c Got one! Elapsed wall clock time (in seconds):2.693 3.97/2.83 o 51 4.15/2.95 c cleaning 7743 clauses out of 15492 with flag 7378/87329 4.56/3.15 c cleaning 6872 clauses out of 13748 with flag 27704/93328 4.95/3.34 c cleaning 6936 clauses out of 13876 with flag 52510/100328 5.23/3.51 c cleaning 7467 clauses out of 14940 with flag 81973/108328 5.34/3.61 c Got one! Elapsed wall clock time (in seconds):3.487 5.34/3.61 o 48 5.45/3.74 c cleaning 8800 clauses out of 17604 with flag 18216/118459 5.45/3.80 c Got one! Elapsed wall clock time (in seconds):3.669 5.57/3.80 o 45 5.57/3.84 c cleaning 7024 clauses out of 14058 with flag 8069/123713 5.68/3.98 c cleaning 6510 clauses out of 13034 with flag 31748/129713 5.90/4.12 c cleaning 6757 clauses out of 13525 with flag 63203/136714 5.90/4.18 c Got one! Elapsed wall clock time (in seconds):4.054 5.90/4.18 o 40 6.00/4.25 c cleaning 6351 clauses out of 12717 with flag 11535/142663 6.00/4.29 c Got one! Elapsed wall clock time (in seconds):4.161 6.00/4.29 o 37 6.10/4.35 c cleaning 5786 clauses out of 11574 with flag 11552/147871 6.10/4.37 c Got one! Elapsed wall clock time (in seconds):4.242 6.10/4.37 o 34 6.20/4.48 c cleaning 5842 clauses out of 11689 with flag 17684/153772 6.51/4.61 c cleaning 5918 clauses out of 11846 with flag 39246/159772 6.62/4.77 c cleaning 6459 clauses out of 12927 with flag 65106/166771 6.62/4.78 c Got one! Elapsed wall clock time (in seconds):4.648 6.62/4.78 o 33 6.72/4.87 c cleaning 5972 clauses out of 11951 with flag 18995/172254 6.82/4.99 c cleaning 5988 clauses out of 11978 with flag 40099/178254 7.03/5.14 c cleaning 6483 clauses out of 12989 with flag 66228/185255 7.29/5.33 c cleaning 7250 clauses out of 14505 with flag 99220/193254 7.29/5.37 c Got one! Elapsed wall clock time (in seconds):5.241 7.29/5.38 o 23 7.45/5.47 c cleaning 6610 clauses out of 13229 with flag 16482/199228 7.65/5.62 c cleaning 6308 clauses out of 12620 with flag 40827/205229 7.75/5.79 c cleaning 6652 clauses out of 13310 with flag 71623/212228 7.96/5.97 c cleaning 7325 clauses out of 14658 with flag 105238/220229 8.16/6.20 c cleaning 8164 clauses out of 16331 with flag 142970/229228 8.45/6.46 c cleaning 9080 clauses out of 18168 with flag 186990/239230 8.55/6.54 c Got one! Elapsed wall clock time (in seconds):6.416 8.55/6.54 o 14 8.66/6.61 c cleaning 7308 clauses out of 14629 with flag 9220/244771 8.76/6.74 c cleaning 6658 clauses out of 13319 with flag 35146/250771 8.95/6.91 c cleaning 6823 clauses out of 13660 with flag 67882/257771 9.16/7.12 c cleaning 7413 clauses out of 14835 with flag 105858/265771 9.35/7.34 c cleaning 8201 clauses out of 16420 with flag 144379/274771 9.65/7.61 c cleaning 9098 clauses out of 18215 with flag 191790/284771 9.85/7.89 c Got one! Elapsed wall clock time (in seconds):7.767 9.85/7.89 o 7 10.16/8.12 c cleaning 12164 clauses out of 24330 with flag 25107/299990 10.35/8.32 c cleaning 9076 clauses out of 18167 with flag 56545/305991 10.45/8.45 c Got one! Elapsed wall clock time (in seconds):8.326 10.45/8.45 o 6 10.45/8.46 c Got one! Elapsed wall clock time (in seconds):8.33 10.45/8.46 o 5 10.45/8.47 c starts : 217 10.45/8.48 c conflicts : 310706 10.45/8.48 c decisions : 514517 10.45/8.48 c propagations : 8611584 10.45/8.48 c inspects : 74158390 10.45/8.48 c shortcuts : 0 10.45/8.48 c learnt literals : 28 10.45/8.48 c learnt binary clauses : 8 10.45/8.48 c learnt ternary clauses : 790 10.45/8.48 c learnt constraints : 310678 10.45/8.48 c ignored constraints : 0 10.45/8.48 c root simplifications : 0 10.45/8.48 c removed literals (reason simplification) : 0 10.45/8.48 c reason swapping (by a shorter reason) : 0 10.45/8.48 c Calls to reduceDB : 42 10.45/8.48 c Number of update (reduction) of LBD : 87240 10.45/8.48 c Imported unit clauses : 0 10.45/8.48 c No decision after first conflict : false 10.45/8.48 c number of reductions to clauses (during analyze) : 0 10.45/8.48 c number of learned constraints concerned by reduction : 0 10.45/8.48 c number of learning phase by resolution : 0 10.45/8.48 c number of learning phase by cutting planes : 0 10.45/8.48 c number of rounding to 1 operations : 0 10.45/8.48 c number of easy rounding to 1 operations (no literal elimination needed) : 0 10.45/8.48 c number of reductions of the coefficients by power 2 : 0 10.45/8.48 c number of right shift for reduction by power 2 : 0 10.45/8.48 c number of reductions of the coefficients by GCD over coefficients : 0 10.45/8.48 c number of ending skipping : 0 10.45/8.48 c number of internal skipping : 0 10.45/8.49 c number of derivation steps : 0 10.45/8.49 c number of skipped derivation steps : 0 10.45/8.49 c number of remaining unassigned : 0 10.45/8.49 c number of remaining assigned : 0 10.45/8.49 c number of falsified literals weakened from reason : 0 10.45/8.49 c number of falsified literals weakened from conflict : 0 10.45/8.49 c time for arithmetic operations : 0 10.45/8.49 c minimum degree of deleted constraints : null 10.45/8.49 c maximum degree of deleted constraints : null 10.45/8.49 c number of deleted constraints : 0 10.45/8.49 c speed (assignments/second) : 1033927.7224156561 10.45/8.49 c non guided choices : 3139 10.45/8.49 s OPTIMUM FOUND 10.45/8.49 c Found 72 solution(s) 10.45/8.49 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.45/8.50 c objective function=5 10.45/8.50 c Total wall clock time (in seconds): 8.369
OK 5
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: 63968 MiB (48824 MiB free)
memory of node 1: 64473 MiB (49923 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456161-1721718652/watcher-4456161-1721718652 -o /tmp/evaluation-result-4456161-1721718652/solver-4456161-1721718652 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721718407-86039 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4456161-1721718652.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=86876, runsolver pid=86873
[startup+0.100695 s]*
/proc/loadavg: 4.12 3.18 2.52 5/335 86894
/proc/meminfo: memFree=101074316/131524600 swapFree=131071996/131071996
[pid=86876] ppid=86873 vsize=18975048 memory=64644 CPUtime=0.13 cores=0,2
/proc/86876/stat : 86876 (java) S 86873 86876 86029 0 -1 1077936128 7089 0 0 0 11 2 0 0 20 0 18 0 8387709 19430449152 16161 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
/proc/86876/statm: 4743762 16161 5645 1 0 549308 0
[pid=86876/tid=86878] ppid=86873 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/86876/task/86878/stat : 86878 (java) R 86873 86876 86029 0 -1 1077936192 5668 0 0 0 7 1 0 0 20 0 18 0 8387710 19430449152 16161 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86887] ppid=86873 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/86876/task/86887/stat : 86887 (Finalizer) S 86873 86876 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 8387712 19430449152 16161 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86894] ppid=86873 vsize=18975048 memory=15542920530909205 CPUtime=0 cores=0,2
/proc/86876/task/86894/stat : 86894 (Common-Cleaner) S 86873 86876 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 8387713 19430449152 16161 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64644 KiB
[startup+0.210769 s]*
/proc/loadavg: 4.12 3.18 2.52 8/336 86895
/proc/meminfo: memFree=101069564/131524600 swapFree=131071996/131071996
[pid=86876] ppid=86873 vsize=19041612 memory=69928 CPUtime=0.33 cores=0,2
/proc/86876/stat : 86876 (java) S 86873 86876 86029 0 -1 1077936128 8272 0 0 0 31 2 0 0 20 0 19 0 8387709 19498610688 17482 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
/proc/86876/statm: 4760403 17482 5839 1 0 550036 0
[pid=86876/tid=86878] ppid=86873 vsize=19041612 memory=664970838410264707 CPUtime=0.18 cores=0,2
/proc/86876/task/86878/stat : 86878 (java) R 86873 86876 86029 0 -1 4194368 5941 0 0 0 17 1 0 0 20 0 19 0 8387710 19498610688 17482 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86887] ppid=86873 vsize=19041612 memory=18993 CPUtime=0 cores=0,2
/proc/86876/task/86887/stat : 86887 (Finalizer) S 86873 86876 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8387712 19498610688 17482 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86894] ppid=86873 vsize=19041612 memory=15261445554177769 CPUtime=0 cores=0,2
/proc/86876/task/86894/stat : 86894 (Common-Cleaner) S 86873 86876 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8387713 19498610688 17482 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86895] ppid=86873 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/86876/task/86895/stat : 86895 (Timer-0) S 86873 86876 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8387726 19498610688 17482 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69928 KiB
[startup+0.306766 s]*
/proc/loadavg: 4.12 3.18 2.52 7/336 86895
/proc/meminfo: memFree=101061272/131524600 swapFree=131071996/131071996
[pid=86876] ppid=86873 vsize=19041612 memory=77536 CPUtime=0.52 cores=0,2
/proc/86876/stat : 86876 (java) S 86873 86876 86029 0 -1 1077936128 10265 0 0 0 49 3 0 0 20 0 19 0 8387709 19498610688 19384 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
/proc/86876/statm: 4760403 19384 5855 1 0 551478 0
[pid=86876/tid=86878] ppid=86873 vsize=19041612 memory=-6000919494147597927 CPUtime=0.27 cores=0,2
/proc/86876/task/86878/stat : 86878 (java) R 86873 86876 86029 0 -1 4194368 5995 0 0 0 26 1 0 0 20 0 19 0 8387710 19498610688 19384 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86887] ppid=86873 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/86876/task/86887/stat : 86887 (Finalizer) S 86873 86876 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8387712 19498610688 19384 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86894] ppid=86873 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/86876/task/86894/stat : 86894 (Common-Cleaner) S 86873 86876 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8387713 19498610688 19384 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86895] ppid=86873 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/86876/task/86895/stat : 86895 (Timer-0) S 86873 86876 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8387726 19498610688 19384 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 77536 KiB
[startup+0.700739 s]
/proc/loadavg: 4.12 3.18 2.52 7/336 86895
/proc/meminfo: memFree=101054068/131524600 swapFree=131071996/131071996
[pid=86876] ppid=86873 vsize=19041612 memory=88260 CPUtime=1.29 cores=0,2
/proc/86876/stat : 86876 (java) S 86873 86876 86029 0 -1 1077936128 11679 0 0 0 125 4 0 0 20 0 19 0 8387709 19498610688 22065 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
/proc/86876/statm: 4760403 22065 5871 1 0 552395 0
[pid=86876/tid=86878] ppid=86873 vsize=19041612 memory=34836 CPUtime=0.64 cores=0,2
/proc/86876/task/86878/stat : 86878 (java) R 86873 86876 86029 0 -1 4194368 6014 0 0 0 62 2 0 0 20 0 19 0 8387710 19498610688 22065 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86887] ppid=86873 vsize=19041612 memory=13048 CPUtime=0 cores=0,2
/proc/86876/task/86887/stat : 86887 (Finalizer) S 86873 86876 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8387712 19498610688 22065 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86894] ppid=86873 vsize=19041612 memory=2268 CPUtime=0 cores=0,2
/proc/86876/task/86894/stat : 86894 (Common-Cleaner) S 86873 86876 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8387713 19498610688 22065 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86895] ppid=86873 vsize=19041612 memory=39748 CPUtime=0 cores=0,2
/proc/86876/task/86895/stat : 86895 (Timer-0) S 86873 86876 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8387726 19498610688 22065 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 88260 KiB
[startup+1.50029 s]
/proc/loadavg: 4.12 3.18 2.52 5/336 86895
/proc/meminfo: memFree=101026460/131524600 swapFree=131071996/131071996
[pid=86876] ppid=86873 vsize=19041612 memory=104736 CPUtime=2.56 cores=0,2
/proc/86876/stat : 86876 (java) S 86873 86876 86029 0 -1 1077936128 16177 0 0 0 252 4 0 0 20 0 19 0 8387709 19498610688 26184 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
/proc/86876/statm: 4760403 26184 5871 1 0 552852 0
[pid=86876/tid=86878] ppid=86873 vsize=19041612 memory=13048 CPUtime=1.43 cores=0,2
/proc/86876/task/86878/stat : 86878 (java) R 86873 86876 86029 0 -1 4194368 6699 0 0 0 141 2 0 0 20 0 19 0 8387710 19498610688 26184 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86887] ppid=86873 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/86876/task/86887/stat : 86887 (Finalizer) S 86873 86876 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8387712 19498610688 26184 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86894] ppid=86873 vsize=19041612 memory=2268 CPUtime=0 cores=0,2
/proc/86876/task/86894/stat : 86894 (Common-Cleaner) S 86873 86876 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8387713 19498610688 26184 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86895] ppid=86873 vsize=19041612 memory=39748 CPUtime=0 cores=0,2
/proc/86876/task/86895/stat : 86895 (Timer-0) S 86873 86876 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8387726 19498610688 26184 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
Current children cumulated CPU time: 2.56 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 104736 KiB
[startup+3.10677 s]
/proc/loadavg: 4.12 3.18 2.52 6/336 86895
/proc/meminfo: memFree=100935540/131524600 swapFree=131071996/131071996
[pid=86876] ppid=86873 vsize=19041612 memory=142556 CPUtime=4.56 cores=0,2
/proc/86876/stat : 86876 (java) S 86873 86876 86029 0 -1 1077936128 23640 0 0 0 450 6 0 0 20 0 19 0 8387709 19498610688 35639 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
/proc/86876/statm: 4760403 35639 5875 1 0 556367 0
[pid=86876/tid=86878] ppid=86873 vsize=19041612 memory=0 CPUtime=3.04 cores=0,2
/proc/86876/task/86878/stat : 86878 (java) R 86873 86876 86029 0 -1 4194368 7603 0 0 0 301 3 0 0 20 0 19 0 8387710 19498610688 35639 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86887] ppid=86873 vsize=19041612 memory=-6000919494147597927 CPUtime=0 cores=0,2
/proc/86876/task/86887/stat : 86887 (Finalizer) S 86873 86876 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8387712 19498610688 35639 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86894] ppid=86873 vsize=19041612 memory=13048 CPUtime=0 cores=0,2
/proc/86876/task/86894/stat : 86894 (Common-Cleaner) S 86873 86876 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8387713 19498610688 35639 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86895] ppid=86873 vsize=19041612 memory=2268 CPUtime=0 cores=0,2
/proc/86876/task/86895/stat : 86895 (Timer-0) S 86873 86876 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8387726 19498610688 35639 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
Current children cumulated CPU time: 4.56 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 142556 KiB
[startup+6.30023 s]
/proc/loadavg: 4.11 3.20 2.53 5/337 86896
/proc/meminfo: memFree=100875616/131524600 swapFree=131071996/131071996
[pid=86876] ppid=86873 vsize=19108176 memory=187292 CPUtime=8.36 cores=0,2
/proc/86876/stat : 86876 (java) S 86873 86876 86029 0 -1 1077936128 31477 0 0 0 827 9 0 0 20 0 20 0 8387709 19566772224 46823 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
/proc/86876/statm: 4777044 46823 5891 1 0 556829 0
[pid=86876/tid=86878] ppid=86873 vsize=19108176 memory=2268 CPUtime=6.21 cores=0,2
/proc/86876/task/86878/stat : 86878 (java) R 86873 86876 86029 0 -1 4194368 8896 0 0 0 617 4 0 0 20 0 20 0 8387710 19566772224 46823 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86887] ppid=86873 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/86876/task/86887/stat : 86887 (Finalizer) S 86873 86876 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8387712 19566772224 46823 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86894] ppid=86873 vsize=19108176 memory=13048 CPUtime=0 cores=0,2
/proc/86876/task/86894/stat : 86894 (Common-Cleaner) S 86873 86876 86029 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 8387713 19566772224 46823 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86895] ppid=86873 vsize=19108176 memory=7754043902811500216 CPUtime=0 cores=0,2
/proc/86876/task/86895/stat : 86895 (Timer-0) S 86873 86876 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8387726 19566772224 46823 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
Current children cumulated CPU time: 8.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187292 KiB
[startup+8.51649 s]
# the end of solver process 86876 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=10.4833 s, system=0.102358 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40033 s]
/proc/loadavg: 4.11 3.20 2.53 5/337 86896
/proc/meminfo: memFree=100875616/131524600 swapFree=131071996/131071996
[pid=86876] ppid=86873 vsize=19108176 memory=187292 CPUtime=8.45 cores=0,2
/proc/86876/stat : 86876 (java) S 86873 86876 86029 0 -1 1077936128 31477 0 0 0 836 9 0 0 20 0 20 0 8387709 19566772224 46823 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
/proc/86876/statm: 4777044 46823 5891 1 0 556829 0
[pid=86876/tid=86878] ppid=86873 vsize=19108176 memory=228489167166 CPUtime=6.31 cores=0,2
/proc/86876/task/86878/stat : 86878 (java) R 86873 86876 86029 0 -1 4194368 8896 0 0 0 627 4 0 0 20 0 20 0 8387710 19566772224 46823 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86887] ppid=86873 vsize=19108176 memory=11684 CPUtime=0 cores=0,2
/proc/86876/task/86887/stat : 86887 (Finalizer) S 86873 86876 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8387712 19566772224 46823 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86894] ppid=86873 vsize=19108176 memory=34836 CPUtime=0 cores=0,2
/proc/86876/task/86894/stat : 86894 (Common-Cleaner) S 86873 86876 86029 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 8387713 19566772224 46823 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86895] ppid=86873 vsize=19108176 memory=-6000919494147597927 CPUtime=0 cores=0,2
/proc/86876/task/86895/stat : 86895 (Timer-0) S 86873 86876 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8387726 19566772224 46823 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
Current children cumulated CPU time: 8.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187292 KiB
[startup+7.20025 s]
/proc/loadavg: 4.11 3.20 2.53 5/337 86896
/proc/meminfo: memFree=100875512/131524600 swapFree=131071996/131071996
[pid=86876] ppid=86873 vsize=19108176 memory=187292 CPUtime=9.25 cores=0,2
/proc/86876/stat : 86876 (java) S 86873 86876 86029 0 -1 1077936128 31486 0 0 0 916 9 0 0 20 0 20 0 8387709 19566772224 46823 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
/proc/86876/statm: 4777044 46823 5891 1 0 556829 0
[pid=86876/tid=86878] ppid=86873 vsize=19108176 memory=34836 CPUtime=7.11 cores=0,2
/proc/86876/task/86878/stat : 86878 (java) R 86873 86876 86029 0 -1 4194368 8899 0 0 0 707 4 0 0 20 0 20 0 8387710 19566772224 46823 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86887] ppid=86873 vsize=19108176 memory=11684 CPUtime=0 cores=0,2
/proc/86876/task/86887/stat : 86887 (Finalizer) S 86873 86876 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8387712 19566772224 46823 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86894] ppid=86873 vsize=19108176 memory=-2970219127290161514 CPUtime=0 cores=0,2
/proc/86876/task/86894/stat : 86894 (Common-Cleaner) S 86873 86876 86029 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 8387713 19566772224 46823 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86895] ppid=86873 vsize=19108176 memory=24119 CPUtime=0 cores=0,2
/proc/86876/task/86895/stat : 86895 (Timer-0) S 86873 86876 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8387726 19566772224 46823 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
Current children cumulated CPU time: 9.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187292 KiB
[startup+8.00025 s]*
/proc/loadavg: 4.11 3.20 2.53 5/337 86896
/proc/meminfo: memFree=100875632/131524600 swapFree=131071996/131071996
[pid=86876] ppid=86873 vsize=19108176 memory=187356 CPUtime=10.06 cores=0,2
/proc/86876/stat : 86876 (java) S 86873 86876 86029 0 -1 1077936128 32013 0 0 0 997 9 0 0 20 0 20 0 8387709 19566772224 46839 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
/proc/86876/statm: 4777044 46839 5907 1 0 556829 0
[pid=86876/tid=86878] ppid=86873 vsize=19108176 memory=-6000919494147597927 CPUtime=7.91 cores=0,2
/proc/86876/task/86878/stat : 86878 (java) R 86873 86876 86029 0 -1 4194368 9422 0 0 0 787 4 0 0 20 0 20 0 8387710 19566772224 46839 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86887] ppid=86873 vsize=19108176 memory=4412239589609736249 CPUtime=0 cores=0,2
/proc/86876/task/86887/stat : 86887 (Finalizer) S 86873 86876 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8387712 19566772224 46839 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86894] ppid=86873 vsize=19108176 memory=-3839181671311825811 CPUtime=0 cores=0,2
/proc/86876/task/86894/stat : 86894 (Common-Cleaner) S 86873 86876 86029 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 8387713 19566772224 46839 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86895] ppid=86873 vsize=19108176 memory=-6592257622982968468 CPUtime=0 cores=0,2
/proc/86876/task/86895/stat : 86895 (Timer-0) S 86873 86876 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8387726 19566772224 46839 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
Current children cumulated CPU time: 10.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187356 KiB
[startup+8.40025 s]
/proc/loadavg: 4.11 3.20 2.53 5/337 86896
/proc/meminfo: memFree=100875632/131524600 swapFree=131071996/131071996
[pid=86876] ppid=86873 vsize=19108176 memory=187644 CPUtime=10.45 cores=0,2
/proc/86876/stat : 86876 (java) S 86873 86876 86029 0 -1 1077936128 32090 0 0 0 1036 9 0 0 20 0 20 0 8387709 19566772224 46911 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
/proc/86876/statm: 4777044 46911 5907 1 0 556829 0
[pid=86876/tid=86878] ppid=86873 vsize=19108176 memory=-6000919494147597927 CPUtime=8.3 cores=0,2
/proc/86876/task/86878/stat : 86878 (java) R 86873 86876 86029 0 -1 4194368 9437 0 0 0 826 4 0 0 20 0 20 0 8387710 19566772224 46911 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86887] ppid=86873 vsize=19108176 memory=16140 CPUtime=0 cores=0,2
/proc/86876/task/86887/stat : 86887 (Finalizer) S 86873 86876 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8387712 19566772224 46911 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86894] ppid=86873 vsize=19108176 memory=2268 CPUtime=0 cores=0,2
/proc/86876/task/86894/stat : 86894 (Common-Cleaner) S 86873 86876 86029 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 8387713 19566772224 46911 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86895] ppid=86873 vsize=19108176 memory=39748 CPUtime=0 cores=0,2
/proc/86876/task/86895/stat : 86895 (Timer-0) S 86873 86876 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8387726 19566772224 46911 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
Current children cumulated CPU time: 10.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187644 KiB
[startup+8.50029 s]
/proc/loadavg: 4.11 3.20 2.53 5/337 86896
/proc/meminfo: memFree=100875632/131524600 swapFree=131071996/131071996
[pid=86876] ppid=86873 vsize=19241304 memory=188268 CPUtime=10.57 cores=0,2
/proc/86876/stat : 86876 (java) S 86873 86876 86029 0 -1 1077936128 34329 0 0 0 1048 9 0 0 20 0 19 0 8387709 19703095296 47066 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
/proc/86876/statm: 4810326 47067 5906 1 0 557447 0
[pid=86876/tid=86878] ppid=86873 vsize=19241304 memory=2268 CPUtime=8.37 cores=0,2
/proc/86876/task/86878/stat : 86878 (java) S 86873 86876 86029 0 -1 1077936192 10498 0 0 0 833 4 0 0 20 0 17 0 8387710 19703095296 47067 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86887] ppid=86873 vsize=19241304 memory=0 CPUtime=0 cores=0,2
/proc/86876/task/86887/stat : 86887 (Finalizer) S 86873 86876 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 17 0 8387712 19703095296 47067 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
[pid=86876/tid=86894] ppid=86873 vsize=19241304 memory=13048 CPUtime=0 cores=0,2
/proc/86876/task/86894/stat : 86894 (Common-Cleaner) S 86873 86876 86029 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 17 0 8387713 19703095296 47067 134679101440 94408535187456 94408535191152 140730146006336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94408535198968 94408535199760 94408554278912 140730146010118 140730146010208 140730146010208 140730146017224 0
Current children cumulated CPU time: 10.57 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 188268 KiB
Child status: 30
Real time (s): 8.51654
CPU time (s): 10.5856
CPU user time (s): 10.4833
CPU system time (s): 0.102358
CPU usage (%): 124.295
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 188268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.4833
system time used= 0.102358
maximum resident set size= 189480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34407
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= 934
involuntary context switches= 238
# summary of solver processes directly reported to runsolver:
# pid: 86876
# total CPU time (s): 10.5856
# total CPU user time (s): 10.4833
# total CPU system time (s): 0.102358
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.02915 second user time and 0.07947 second system time
The end
Begin job on nodeC017 at 2024-07-23 09:10:52 IDJOB=4456161 IDBENCH=143234 IDSOLVER=3037 FILE ID=nodeC017/4456161-1721718652 RUNJOBID= nodeC017-1721718407-86039 SLURM_JOB_ID= 7770408 Free space on /tmp= 890080 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111212272--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456161-1721718652/watcher-4456161-1721718652 -o /tmp/evaluation-result-4456161-1721718652/solver-4456161-1721718652 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721718407-86039 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4456161-1721718652.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= eaf96ee6198d5284013e332932f4fc98 RANDOM SEED=711107159 nodeC017.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 : 0xb00002a cpu MHz : 3631.306 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.61 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 : 0xb00002a cpu MHz : 3690.243 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3653.694 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.61 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 : 0xb00002a cpu MHz : 3600.606 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3680.287 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.61 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 : 0xb00002a cpu MHz : 3690.271 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3615.963 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.61 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 : 0xb00002a cpu MHz : 3600.355 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 101118544 kB MemAvailable: 121985584 kB Buffers: 141156 kB Cached: 21461948 kB SwapCached: 0 kB Active: 896560 kB Inactive: 28750300 kB Active(anon): 1536 kB Inactive(anon): 8079916 kB Active(file): 895024 kB Inactive(file): 20670384 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 880 kB Writeback: 24 kB AnonPages: 8041864 kB Mapped: 119884 kB Shmem: 37720 kB KReclaimable: 282912 kB Slab: 389732 kB SReclaimable: 282912 kB SUnreclaim: 106820 kB KernelStack: 5072 kB PageTables: 25832 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 10385516 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18272 kB HardwareCorrupted: 0 kB AnonHugePages: 7686144 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: 277204 kB DirectMap2M: 21516288 kB DirectMap1G: 114294784 kB Free space on /tmp at the end= 890076 MiB End job on nodeC017 at 2024-07-23 09:11:00