Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Partial RoundingSAT 2024 2024-07-12 | OPT | 2 | 416.77 | 405.498 |
| Name | PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=53-P1=17-P2=109-P3=2-P4=191-P5=191-P6=47-P7=101-P8=97-B.opb |
| MD5SUM | 1c04f93ff6e2db7ac940de3c219b1dcf |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 0.072821 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 192 |
| Total number of constraints | 17 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 17 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 32768 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 130560 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 512 |
| Sum of products size (including duplicates) | 1024 |
| Number of different products | 512 |
| Sum of products size | 1024 |
0.06/0.43 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.06/0.43 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.43 c See www.sat4j.org for details. 0.06/0.47 c version CUSTOM.v20240707 0.06/0.48 c java.runtime.name OpenJDK Runtime Environment 0.06/0.48 c java.vm.name OpenJDK 64-Bit Server VM 0.06/0.48 c java.vm.version 22.0.1+8-16 0.06/0.48 c java.vm.vendor Oracle Corporation 0.06/0.48 c sun.arch.data.model 64 0.06/0.48 c java.version 22.0.1 0.06/0.48 c os.name Linux 0.06/0.48 c os.version 4.18.0-301.1.el8.x86_64 0.06/0.48 c os.arch amd64 0.06/0.49 c Free memory 2106806208 0.06/0.49 c Max memory 16282288128 0.06/0.49 c Total memory 2113929216 0.06/0.49 c Number of processors 2 0.14/0.56 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.14/0.56 - never skip resolution steps 0.14/0.56 - Auto-division on coefficients is disabled 0.14/0.56 - No postprocessing 0.14/0.56 - Conflict is considered as is when resolving 0.14/0.56 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.14/0.56 - Weaken first using unassigned literals 0.14/0.56 - Bump strategy: ALWAYS_ONE 0.14/0.56 - Bumper: ASSIGNED 0.14/0.56 --- Begin Solver configuration --- 0.14/0.56 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.14/0.56 Learn all clauses as in MiniSAT 0.14/0.56 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.56 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.14/0.56 No reason simplification 0.14/0.56 Armin Biere (Picosat) restarts strategy 0.14/0.56 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.14/0.56 timeout=2147483s 0.14/0.56 DB Simplification allowed=false 0.14/0.56 Listener: none 0.14/0.56 --- End Solver configuration --- 0.14/0.56 c Pseudo Boolean Optimization by upper bound 0.14/0.56 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.14/0.56 c - never skip resolution steps 0.14/0.56 c - Auto-division on coefficients is disabled 0.14/0.56 c - No postprocessing 0.14/0.56 c - Conflict is considered as is when resolving 0.14/0.56 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.14/0.56 c - Weaken first using unassigned literals 0.14/0.56 c - Bump strategy: ALWAYS_ONE 0.14/0.56 c - Bumper: ASSIGNED 0.14/0.56 c --- Begin Solver configuration --- 0.14/0.56 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.14/0.56 c Learn all clauses as in MiniSAT 0.14/0.56 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.56 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.14/0.56 c No reason simplification 0.14/0.56 c Armin Biere (Picosat) restarts strategy 0.14/0.56 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.14/0.56 c timeout=2147483s 0.14/0.56 c DB Simplification allowed=false 0.14/0.56 c Listener: none 0.14/0.56 c --- End Solver configuration --- 0.14/0.56 c solving HOME/instance-4459693-1721939462.opb 0.14/0.56 c reading problem ... 0.14/0.56 c objective function found 0.32/0.61 c ... done. Wall clock time 0.049s. 0.32/0.61 c declared #vars 192 0.32/0.61 c internal #vars 704 0.32/0.61 c #constraints 1049 0.32/0.61 c constraints type 0.32/0.61 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 537 0.32/0.61 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 512 0.32/0.61 c 1049 constraints processed. 0.32/0.65 c objective function length is 8 literals 5.16/3.20 c cleaning 1466 clauses out of 5000 with flag 0/5000 7.63/5.22 c cleaning 1612 clauses out of 9534 with flag 0/11000 10.93/8.46 c cleaning 2182 clauses out of 14923 with flag 0/18001 14.12/11.59 c cleaning 2214 clauses out of 20741 with flag 0/26001 18.67/16.02 c cleaning 2714 clauses out of 27527 with flag 0/35001 22.03/19.10 c cleaning 2824 clauses out of 34813 with flag 0/45001 27.34/24.25 c cleaning 3352 clauses out of 42989 with flag 0/56001 37.42/34.10 c cleaning 4155 clauses out of 51636 with flag 0/68000 53.92/50.28 c cleaning 5413 clauses out of 60481 with flag 0/81000 64.50/60.52 c cleaning 4782 clauses out of 69068 with flag 0/95000 66.34/62.35 c SATISFIABLE 66.34/62.35 c OPTIMIZING... 66.34/62.35 c Got one! Elapsed wall clock time (in seconds):61.788 66.34/62.35 o 153 69.99/65.83 c cleaning 3519 clauses out of 76649 with flag 0/107363 73.43/69.23 c cleaning 1936 clauses out of 79131 with flag 0/113364 78.20/73.81 c cleaning 1894 clauses out of 84195 with flag 0/120364 81.05/76.68 c cleaning 1671 clauses out of 90300 with flag 0/128363 86.17/81.52 c cleaning 2490 clauses out of 97629 with flag 0/137363 91.31/86.56 c cleaning 3111 clauses out of 105139 with flag 0/147363 102.10/97.12 c cleaning 4866 clauses out of 113029 with flag 0/158364 112.38/107.19 c cleaning 4841 clauses out of 120163 with flag 0/170364 117.91/112.59 c Got one! Elapsed wall clock time (in seconds):112.037 117.91/112.59 o 125 122.23/116.78 c cleaning 5622 clauses out of 130961 with flag 0/186003 126.08/120.52 c cleaning 2221 clauses out of 131339 with flag 0/192003 133.63/127.92 c cleaning 2813 clauses out of 136117 with flag 0/199002 141.35/135.58 c cleaning 2425 clauses out of 141304 with flag 0/207002 147.75/141.88 c cleaning 3558 clauses out of 147879 with flag 0/216002 169.73/163.54 c cleaning 4417 clauses out of 154321 with flag 0/226002 177.32/170.96 c cleaning 3457 clauses out of 160905 with flag 0/237003 199.45/192.76 c cleaning 5286 clauses out of 169447 with flag 0/249002 216.20/209.21 c cleaning 5349 clauses out of 177161 with flag 0/262002 225.67/218.50 c cleaning 4704 clauses out of 185812 with flag 0/276002 240.93/233.46 c cleaning 4543 clauses out of 196108 with flag 0/291002 244.51/236.99 c Got one! Elapsed wall clock time (in seconds):236.436 244.51/236.99 o 119 245.32/237.75 c cleaning 1684 clauses out of 196903 with flag 0/296340 246.22/238.63 c Got one! Elapsed wall clock time (in seconds):238.069 246.22/238.63 o 3 249.34/241.65 c cleaning 1859 clauses out of 201124 with flag 0/302245 256.39/248.43 c cleaning 1938 clauses out of 205265 with flag 0/308245 266.95/258.71 c cleaning 2238 clauses out of 210328 with flag 0/315246 272.03/263.64 c cleaning 1981 clauses out of 216089 with flag 0/323245 277.89/269.31 c cleaning 2742 clauses out of 223109 with flag 0/332246 284.73/275.96 c cleaning 2607 clauses out of 230366 with flag 0/342245 300.98/291.87 c cleaning 3107 clauses out of 238760 with flag 0/353246 317.14/307.67 c cleaning 3622 clauses out of 247654 with flag 0/365247 335.49/325.64 c cleaning 5346 clauses out of 257030 with flag 0/378245 371.02/360.78 c cleaning 5736 clauses out of 265684 with flag 0/392245 392.46/381.97 c cleaning 6788 clauses out of 274949 with flag 0/407246 414.01/402.99 c cleaning 5925 clauses out of 284162 with flag 0/423247 415.70/404.58 c Got one! Elapsed wall clock time (in seconds):404.019 415.70/404.58 o 2 416.65/405.46 c starts : 152 416.65/405.46 c conflicts : 426468 416.65/405.46 c decisions : 559728 416.65/405.46 c propagations : 6729763 416.65/405.46 c inspects : 608068326 416.65/405.46 c shortcuts : 0 416.65/405.46 c learnt literals : 0 416.65/405.46 c learnt binary clauses : 4 416.65/405.46 c learnt ternary clauses : 11 416.65/405.46 c learnt constraints : 426468 416.65/405.46 c ignored constraints : 0 416.65/405.46 c root simplifications : 0 416.65/405.46 c removed literals (reason simplification) : 0 416.65/405.46 c reason swapping (by a shorter reason) : 0 416.65/405.46 c Calls to reduceDB : 42 416.65/405.46 c Number of update (reduction) of LBD : 60 416.65/405.46 c Imported unit clauses : 0 416.65/405.46 c No decision after first conflict : false 416.65/405.46 c number of reductions to clauses (during analyze) : 0 416.65/405.46 c number of learned constraints concerned by reduction : 0 416.65/405.46 c number of learning phase by resolution : 0 416.65/405.46 c number of learning phase by cutting planes : 0 416.65/405.46 c number of rounding to 1 operations : 1988058 416.65/405.46 c number of easy rounding to 1 operations (no literal elimination needed) : 0 416.65/405.46 c number of reductions of the coefficients by power 2 : 0 416.65/405.46 c number of right shift for reduction by power 2 : 0 416.65/405.46 c number of reductions of the coefficients by GCD over coefficients : 0 416.65/405.46 c number of ending skipping : 0 416.65/405.47 c number of internal skipping : 0 416.65/405.47 c number of derivation steps : 2659828 416.65/405.47 c number of skipped derivation steps : 0 416.65/405.47 c number of remaining unassigned : 108207 416.65/405.47 c number of remaining assigned : 39532842 416.65/405.47 c number of falsified literals weakened from reason : 0 416.65/405.47 c number of falsified literals weakened from conflict : 0 416.65/405.47 c time for arithmetic operations : 2924895915 416.65/405.47 c minimum degree of deleted constraints : 4 416.65/405.47 c maximum degree of deleted constraints : 465557119 416.65/405.47 c number of deleted constraints : 145010 416.65/405.47 c speed (assignments/second) : 16624.456845293236 416.65/405.47 c non guided choices : 4222 416.65/405.47 s OPTIMUM FOUND 416.65/405.47 c Found 5 solution(s) 416.65/405.47 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 x11 -x12 -x13 -x14 x15 x16 x17 x18 -x19 x20 -x21 -x22 -x23 x24 x25 -x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 -x36 x37 -x38 -x39 -x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 -x50 x51 -x52 -x53 x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 x72 -x73 x74 -x75 x76 -x77 -x78 -x79 x80 -x81 x82 x83 x84 -x85 x86 x87 x88 -x89 x90 x91 -x92 x93 x94 -x95 -x96 -x97 x98 -x99 x100 x101 -x102 x103 x104 -x105 x106 x107 -x108 -x109 x110 -x111 -x112 -x113 x114 x115 x116 x117 x118 x119 -x120 -x121 x122 x123 x124 x125 x126 -x127 x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 x140 -x141 -x142 x143 -x144 x145 x146 -x147 x148 -x149 x150 x151 x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 x164 x165 -x166 x167 x168 x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 x177 x178 x179 x180 -x181 x182 -x183 -x184 -x185 x186 x187 x188 x189 -x190 -x191 x192 416.65/405.47 c objective function=2 416.65/405.47 c Total wall clock time (in seconds): 404.912
OK 2
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (53458 MiB free)
memory of node 1: 64473 MiB (54607 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459693-1721939462/watcher-4459693-1721939462 -o /tmp/evaluation-result-4459693-1721939462/solver-4459693-1721939462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721939462-300226 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4459693-1721939462.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
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=300274, runsolver pid=300271
[startup+0.100093 s]*
/proc/loadavg: 0.12 0.09 0.26 1/254 300279
/proc/meminfo: memFree=110651592/131524600 swapFree=131063756/131071996
[pid=300274] ppid=300271 vsize=239396 memory=8588 CPUtime=0 cores=4,6
/proc/300274/stat : 300274 (java) S 300271 300274 300215 0 -1 1077936128 577 0 21 0 0 0 0 0 20 0 2 0 30474531 245141504 2147 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 0 0 0 0 0 0 17 6 0 0 1 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
/proc/300274/statm: 59849 2147 1762 1 0 583 0
[pid=300274/tid=300278] ppid=300271 vsize=239396 memory=4026532157 CPUtime=0 cores=4,6
/proc/300274/task/300278/stat : 300278 (java) D 300271 300274 300215 0 -1 4194368 30 0 11 0 0 0 0 0 20 0 2 0 30474532 245141504 2147 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 0 0 0 0 0 0 -1 4 0 0 6 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 239396 KiB
Current children cumulated memory: 8588 KiB
[startup+0.204659 s]*
/proc/loadavg: 0.12 0.09 0.26 2/284 300318
/proc/meminfo: memFree=110579700/131524600 swapFree=131063756/131071996
[pid=300274] ppid=300271 vsize=18194260 memory=32712 CPUtime=0.01 cores=4,6
/proc/300274/stat : 300274 (java) S 300271 300274 300215 0 -1 1077936128 3168 0 68 0 0 1 0 0 20 0 7 0 30474531 18630922240 8178 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 0 0 16784588 0 0 0 17 6 0 0 1 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
/proc/300274/statm: 4548565 8178 3874 1 0 542698 0
[pid=300274/tid=300278] ppid=300271 vsize=18194260 memory=8737651120394928259 CPUtime=0.01 cores=4,6
/proc/300274/task/300278/stat : 300278 (java) R 300271 300274 300215 0 -1 4194368 2622 0 58 0 0 1 0 0 20 0 7 0 30474532 18630922240 8178 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16784588 0 0 0 -1 4 0 0 17 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18194260 KiB
Current children cumulated memory: 32712 KiB
[startup+0.305829 s]*
/proc/loadavg: 0.12 0.09 0.26 1/324 300358
/proc/meminfo: memFree=110501900/131524600 swapFree=131063756/131071996
[pid=300274] ppid=300271 vsize=18927160 memory=49520 CPUtime=0.03 cores=4,6
/proc/300274/stat : 300274 (java) S 300271 300274 300215 0 -1 1077936128 6026 0 108 0 1 2 0 0 20 0 17 0 30474531 19381411840 12380 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
/proc/300274/statm: 4731790 12380 4940 1 0 548086 0
[pid=300274/tid=300278] ppid=300271 vsize=18927160 memory=-9030957967701877436 CPUtime=0.02 cores=4,6
/proc/300274/task/300278/stat : 300278 (java) D 300271 300274 300215 0 -1 4194368 5274 0 87 0 1 1 0 0 20 0 17 0 30474532 19381411840 12380 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 26 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300332] ppid=300271 vsize=18927160 memory=1471061262406878041 CPUtime=0 cores=4,6
/proc/300274/task/300332/stat : 300332 (Finalizer) S 300271 300274 300215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 17 0 30474559 19381411840 12380 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 18927160 KiB
Current children cumulated memory: 49520 KiB
[startup+0.700216 s]
/proc/loadavg: 0.12 0.09 0.26 5/328 300362
/proc/meminfo: memFree=110453556/131524600 swapFree=131063756/131071996
[pid=300274] ppid=300271 vsize=19060472 memory=78388 CPUtime=0.45 cores=4,6
/proc/300274/stat : 300274 (java) S 300271 300274 300215 0 -1 1077936128 8235 0 119 0 42 3 0 0 20 0 19 0 30474531 19517923328 19597 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
/proc/300274/statm: 4765118 19597 6086 1 0 550177 0
[pid=300274/tid=300278] ppid=300271 vsize=19060472 memory=0 CPUtime=0.23 cores=4,6
/proc/300274/task/300278/stat : 300278 (java) R 300271 300274 300215 0 -1 4194368 6287 0 93 0 21 2 0 0 20 0 19 0 30474532 19517923328 19597 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 42 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300332] ppid=300271 vsize=19060472 memory=12944 CPUtime=0 cores=4,6
/proc/300274/task/300332/stat : 300332 (Finalizer) S 300271 300274 300215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 30474559 19517923328 19597 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300361] ppid=300271 vsize=19060472 memory=5728 CPUtime=0 cores=4,6
/proc/300274/task/300361/stat : 300361 (Common-Cleaner) S 300271 300274 300215 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30474562 19517923328 19597 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 78388 KiB
[startup+1.50037 s]
/proc/loadavg: 0.67 0.21 0.30 9/315 300371
/proc/meminfo: memFree=110161496/131524600 swapFree=131063756/131071996
[pid=300274] ppid=300271 vsize=19127036 memory=257280 CPUtime=2 cores=4,6
/proc/300274/stat : 300274 (java) S 300271 300274 300215 0 -1 1077936128 18497 0 119 0 191 9 0 0 20 0 20 0 30474531 19586084864 64320 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
/proc/300274/statm: 4781759 64320 6087 1 0 556937 0
[pid=300274/tid=300278] ppid=300271 vsize=19127036 memory=0 CPUtime=0.98 cores=4,6
/proc/300274/task/300278/stat : 300278 (java) R 300271 300274 300215 0 -1 4194368 6387 0 93 0 93 5 0 0 20 0 20 0 30474532 19586084864 64320 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 42 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300332] ppid=300271 vsize=19127036 memory=5728 CPUtime=0 cores=4,6
/proc/300274/task/300332/stat : 300332 (Finalizer) S 300271 300274 300215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30474559 19586084864 64320 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300361] ppid=300271 vsize=19127036 memory=12944 CPUtime=0 cores=4,6
/proc/300274/task/300361/stat : 300361 (Common-Cleaner) S 300271 300274 300215 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30474562 19586084864 64320 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300363] ppid=300271 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/300274/task/300363/stat : 300363 (Timer-0) S 300271 300274 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30474597 19586084864 64320 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
Current children cumulated CPU time: 2 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 257280 KiB
[startup+3.10638 s]
/proc/loadavg: 0.67 0.21 0.30 11/335 300437
/proc/meminfo: memFree=106624408/131524600 swapFree=131063756/131071996
[pid=300274] ppid=300271 vsize=19127036 memory=951316 CPUtime=5.16 cores=4,6
/proc/300274/stat : 300274 (java) S 300271 300274 300215 0 -1 1077936128 28129 0 119 0 490 26 0 0 20 0 20 0 30474531 19586084864 237829 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
/proc/300274/statm: 4781759 237829 6104 1 0 557068 0
[pid=300274/tid=300278] ppid=300271 vsize=19127036 memory=0 CPUtime=2.54 cores=4,6
/proc/300274/task/300278/stat : 300278 (java) R 300271 300274 300215 0 -1 4194368 7473 0 93 0 234 20 0 0 20 0 20 0 30474532 19586084864 237829 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 42 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300332] ppid=300271 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/300274/task/300332/stat : 300332 (Finalizer) S 300271 300274 300215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30474559 19586084864 237829 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300361] ppid=300271 vsize=19127036 memory=12944 CPUtime=0 cores=4,6
/proc/300274/task/300361/stat : 300361 (Common-Cleaner) S 300271 300274 300215 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30474562 19586084864 237829 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300363] ppid=300271 vsize=19127036 memory=69304 CPUtime=0 cores=4,6
/proc/300274/task/300363/stat : 300363 (Timer-0) S 300271 300274 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30474597 19586084864 237829 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
Current children cumulated CPU time: 5.16 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 951316 KiB
[startup+6.30039 s]
/proc/loadavg: 1.10 0.30 0.33 7/336 300438
/proc/meminfo: memFree=103388736/131524600 swapFree=131063756/131071996
[pid=300274] ppid=300271 vsize=19127036 memory=1329360 CPUtime=8.81 cores=4,6
/proc/300274/stat : 300274 (java) S 300271 300274 300215 0 -1 1077936128 30235 0 119 0 849 32 0 0 20 0 20 0 30474531 19586084864 332340 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
/proc/300274/statm: 4781759 332340 6121 1 0 557132 0
[pid=300274/tid=300278] ppid=300271 vsize=19127036 memory=0 CPUtime=5.67 cores=4,6
/proc/300274/task/300278/stat : 300278 (java) R 300271 300274 300215 0 -1 4194368 8680 0 93 0 541 26 0 0 20 0 20 0 30474532 19586084864 332340 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 42 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300332] ppid=300271 vsize=19127036 memory=12944 CPUtime=0 cores=4,6
/proc/300274/task/300332/stat : 300332 (Finalizer) S 300271 300274 300215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30474559 19586084864 332340 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300361] ppid=300271 vsize=19127036 memory=39364 CPUtime=0 cores=4,6
/proc/300274/task/300361/stat : 300361 (Common-Cleaner) S 300271 300274 300215 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 30474562 19586084864 332340 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300363] ppid=300271 vsize=19127036 memory=19916 CPUtime=0 cores=4,6
/proc/300274/task/300363/stat : 300363 (Timer-0) S 300271 300274 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30474597 19586084864 332340 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
Current children cumulated CPU time: 8.81 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1329360 KiB
[startup+12.7004 s]
/proc/loadavg: 1.49 0.40 0.36 5/336 300438
/proc/meminfo: memFree=101820696/131524600 swapFree=131063756/131071996
[pid=300274] ppid=300271 vsize=19127036 memory=1754212 CPUtime=15.35 cores=4,6
/proc/300274/stat : 300274 (java) S 300271 300274 300215 0 -1 1077936128 31475 0 119 0 1495 40 0 0 20 0 20 0 30474531 19586084864 438553 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
/proc/300274/statm: 4781759 438553 6121 1 0 663680 0
[pid=300274/tid=300278] ppid=300271 vsize=19127036 memory=-9103578511693226684 CPUtime=11.88 cores=4,6
/proc/300274/task/300278/stat : 300278 (java) R 300271 300274 300215 0 -1 4194368 9408 0 93 0 1155 33 0 0 20 0 20 0 30474532 19586084864 438553 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 42 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300332] ppid=300271 vsize=19127036 memory=1754212 CPUtime=0 cores=4,6
/proc/300274/task/300332/stat : 300332 (Finalizer) S 300271 300274 300215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30474559 19586084864 438553 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300361] ppid=300271 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/300274/task/300361/stat : 300361 (Common-Cleaner) S 300271 300274 300215 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 30474562 19586084864 438553 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300363] ppid=300271 vsize=19127036 memory=69304 CPUtime=0 cores=4,6
/proc/300274/task/300363/stat : 300363 (Timer-0) S 300271 300274 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30474597 19586084864 438553 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
Current children cumulated CPU time: 15.35 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1754212 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 0.53 0.40 5/336 300441
/proc/meminfo: memFree=100737568/131524600 swapFree=131063756/131071996
[pid=300274] ppid=300271 vsize=19127036 memory=2261832 CPUtime=28.64 cores=4,6
/proc/300274/stat : 300274 (java) S 300271 300274 300215 0 -1 1077936128 38591 0 119 0 2812 52 0 0 20 0 20 0 30474531 19586084864 565458 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
/proc/300274/statm: 4781759 565458 6137 1 0 791103 0
[pid=300274/tid=300278] ppid=300271 vsize=19127036 memory=0 CPUtime=24.34 cores=4,6
/proc/300274/task/300278/stat : 300278 (java) R 300271 300274 300215 0 -1 4194368 11428 0 93 0 2391 43 0 0 20 0 20 0 30474532 19586084864 565458 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 42 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300332] ppid=300271 vsize=19127036 memory=2261784 CPUtime=0 cores=4,6
/proc/300274/task/300332/stat : 300332 (Finalizer) S 300271 300274 300215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30474559 19586084864 565458 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300361] ppid=300271 vsize=19127036 memory=2261784 CPUtime=0 cores=4,6
/proc/300274/task/300361/stat : 300361 (Common-Cleaner) S 300271 300274 300215 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 30474562 19586084864 565458 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300363] ppid=300271 vsize=19127036 memory=-9103578511693226684 CPUtime=0 cores=4,6
/proc/300274/task/300363/stat : 300363 (Timer-0) S 300271 300274 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30474597 19586084864 565458 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
Current children cumulated CPU time: 28.64 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2261832 KiB
[startup+51.1059 s]
/proc/loadavg: 2.95 0.91 0.53 5/336 300512
/proc/meminfo: memFree=98639852/131524600 swapFree=131063756/131071996
[pid=300274] ppid=300271 vsize=19127036 memory=2319592 CPUtime=54.93 cores=4,6
/proc/300274/stat : 300274 (java) S 300271 300274 300215 0 -1 1077936128 47036 0 119 0 5438 55 0 0 20 0 20 0 30474531 19586084864 579898 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
/proc/300274/statm: 4781759 579898 6137 1 0 791103 0
[pid=300274/tid=300278] ppid=300271 vsize=19127036 memory=2299040 CPUtime=49.24 cores=4,6
/proc/300274/task/300278/stat : 300278 (java) R 300271 300274 300215 0 -1 4194368 14157 0 93 0 4880 44 0 0 20 0 20 0 30474532 19586084864 579898 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 42 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300332] ppid=300271 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/300274/task/300332/stat : 300332 (Finalizer) S 300271 300274 300215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30474559 19586084864 579898 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300361] ppid=300271 vsize=19127036 memory=2309280 CPUtime=0 cores=4,6
/proc/300274/task/300361/stat : 300361 (Common-Cleaner) S 300271 300274 300215 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 30474562 19586084864 579898 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300363] ppid=300271 vsize=19127036 memory=2271968 CPUtime=0 cores=4,6
/proc/300274/task/300363/stat : 300363 (Timer-0) S 300271 300274 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30474597 19586084864 579898 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
Current children cumulated CPU time: 54.93 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2319592 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 1.41 0.72 5/336 300521
/proc/meminfo: memFree=96657524/131524600 swapFree=131063756/131071996
[pid=300274] ppid=300271 vsize=19127036 memory=2970660 CPUtime=107.38 cores=4,6
################
# More data... #
################
/proc/300274/task/300363/stat : 300363 (Timer-0) S 300271 300274 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30474597 19586084864 906429 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
Current children cumulated CPU time: 168.54 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3625716 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 2.34 1.15 6/335 300542
/proc/meminfo: memFree=95298344/131524600 swapFree=131063756/131071996
[pid=300274] ppid=300271 vsize=19127036 memory=3767532 CPUtime=229.62 cores=4,6
/proc/300274/stat : 300274 (java) S 300271 300274 300215 0 -1 1077936128 81782 0 119 0 22867 95 0 0 20 0 20 0 30474531 19586084864 941883 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
/proc/300274/statm: 4781759 941883 6138 1 0 1052274 0
[pid=300274/tid=300278] ppid=300271 vsize=19127036 memory=3685336 CPUtime=214.4 cores=4,6
/proc/300274/task/300278/stat : 300278 (java) R 300271 300274 300215 0 -1 4194368 28050 0 93 0 21376 64 0 0 20 0 20 0 30474532 19586084864 941883 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 42 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300332] ppid=300271 vsize=19127036 memory=3728448 CPUtime=0 cores=4,6
/proc/300274/task/300332/stat : 300332 (Finalizer) S 300271 300274 300215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30474559 19586084864 941883 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300361] ppid=300271 vsize=19127036 memory=3749028 CPUtime=0 cores=4,6
/proc/300274/task/300361/stat : 300361 (Common-Cleaner) S 300271 300274 300215 0 -1 1077936192 183 0 0 0 0 0 0 0 20 0 20 0 30474562 19586084864 941883 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300363] ppid=300271 vsize=19127036 memory=3757220 CPUtime=0 cores=4,6
/proc/300274/task/300363/stat : 300363 (Timer-0) S 300271 300274 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30474597 19586084864 941883 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
Current children cumulated CPU time: 229.62 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3767532 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 2.67 1.34 5/333 300552
/proc/meminfo: memFree=94921276/131524600 swapFree=131063756/131071996
[pid=300274] ppid=300271 vsize=19127036 memory=3917920 CPUtime=291.24 cores=4,6
/proc/300274/stat : 300274 (java) S 300271 300274 300215 0 -1 1077936128 90822 0 119 0 29023 101 0 0 20 0 20 0 30474531 19586084864 979480 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
/proc/300274/statm: 4781759 979480 6154 1 0 1052371 0
[pid=300274/tid=300278] ppid=300271 vsize=19127036 memory=3819240 CPUtime=272.34 cores=4,6
/proc/300274/task/300278/stat : 300278 (java) R 300271 300274 300215 0 -1 4194368 32833 0 93 0 27169 65 0 0 20 0 20 0 30474532 19586084864 979480 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 42 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300332] ppid=300271 vsize=19127036 memory=164 CPUtime=0 cores=4,6
/proc/300274/task/300332/stat : 300332 (Finalizer) S 300271 300274 300215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30474559 19586084864 979480 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300361] ppid=300271 vsize=19127036 memory=3798732 CPUtime=0 cores=4,6
/proc/300274/task/300361/stat : 300361 (Common-Cleaner) S 300271 300274 300215 0 -1 1077936192 225 0 0 0 0 0 0 0 20 0 20 0 30474562 19586084864 979480 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300363] ppid=300271 vsize=19127036 memory=3905400 CPUtime=0 cores=4,6
/proc/300274/task/300363/stat : 300363 (Timer-0) S 300271 300274 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30474597 19586084864 979480 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
Current children cumulated CPU time: 291.24 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3917920 KiB
[startup+342.3 s]
/proc/loadavg: 4.34 3.00 1.54 5/327 300629
/proc/meminfo: memFree=96527752/131524600 swapFree=131063756/131071996
[pid=300274] ppid=300271 vsize=19127036 memory=4032996 CPUtime=352.51 cores=4,6
/proc/300274/stat : 300274 (java) S 300271 300274 300215 0 -1 1077936128 101233 0 119 0 35143 108 0 0 20 0 20 0 30474531 19586084864 1008249 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
/proc/300274/statm: 4781759 1008249 6154 1 0 1052381 0
[pid=300274/tid=300278] ppid=300271 vsize=19127036 memory=3969332 CPUtime=330.52 cores=4,6
/proc/300274/task/300278/stat : 300278 (java) R 300271 300274 300215 0 -1 4194368 35926 0 93 0 32987 65 0 0 20 0 20 0 30474532 19586084864 1008249 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 42 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300332] ppid=300271 vsize=19127036 memory=4002196 CPUtime=0 cores=4,6
/proc/300274/task/300332/stat : 300332 (Finalizer) S 300271 300274 300215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30474559 19586084864 1008249 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300361] ppid=300271 vsize=19127036 memory=3977528 CPUtime=0 cores=4,6
/proc/300274/task/300361/stat : 300361 (Common-Cleaner) S 300271 300274 300215 0 -1 1077936192 274 0 0 0 0 0 0 0 20 0 20 0 30474562 19586084864 1008249 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300363] ppid=300271 vsize=19127036 memory=12336 CPUtime=0 cores=4,6
/proc/300274/task/300363/stat : 300363 (Timer-0) S 300271 300274 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30474597 19586084864 1008249 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
Current children cumulated CPU time: 352.51 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4032996 KiB
[startup+402.3 s]
/proc/loadavg: 4.28 3.23 1.71 6/327 300640
/proc/meminfo: memFree=95277348/131524600 swapFree=131063756/131071996
[pid=300274] ppid=300271 vsize=19127036 memory=4091336 CPUtime=413.41 cores=4,6
/proc/300274/stat : 300274 (java) S 300271 300274 300215 0 -1 1077936128 109785 0 119 0 41226 115 0 0 20 0 20 0 30474531 19586084864 1022834 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
/proc/300274/statm: 4781759 1022834 6154 1 0 1052593 0
[pid=300274/tid=300278] ppid=300271 vsize=19127036 memory=3969332 CPUtime=388.91 cores=4,6
/proc/300274/task/300278/stat : 300278 (java) R 300271 300274 300215 0 -1 4194368 39077 0 93 0 38825 66 0 0 20 0 20 0 30474532 19586084864 1022834 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 42 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300332] ppid=300271 vsize=19127036 memory=4051464 CPUtime=0 cores=4,6
/proc/300274/task/300332/stat : 300332 (Finalizer) S 300271 300274 300215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30474559 19586084864 1022834 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300361] ppid=300271 vsize=19127036 memory=2712 CPUtime=0 cores=4,6
/proc/300274/task/300361/stat : 300361 (Common-Cleaner) S 300271 300274 300215 0 -1 1077936192 323 0 0 0 0 0 0 0 20 0 20 0 30474562 19586084864 1022834 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300363] ppid=300271 vsize=19127036 memory=4091336 CPUtime=0 cores=4,6
/proc/300274/task/300363/stat : 300363 (Timer-0) S 300271 300274 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30474597 19586084864 1022834 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
Current children cumulated CPU time: 413.41 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4091336 KiB
[startup+405.498 s]
# the end of solver process 300274 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=415.603 s, system=1.16747 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+403.2 s]
/proc/loadavg: 4.28 3.23 1.71 5/327 300642
/proc/meminfo: memFree=95277372/131524600 swapFree=131063756/131071996
[pid=300274] ppid=300271 vsize=19127036 memory=4091336 CPUtime=414.31 cores=4,6
/proc/300274/stat : 300274 (java) S 300271 300274 300215 0 -1 1077936128 110040 0 119 0 41316 115 0 0 20 0 20 0 30474531 19586084864 1022834 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
/proc/300274/statm: 4781759 1022834 6154 1 0 1052593 0
[pid=300274/tid=300278] ppid=300271 vsize=19127036 memory=4091068 CPUtime=389.81 cores=4,6
/proc/300274/task/300278/stat : 300278 (java) R 300271 300274 300215 0 -1 4194368 39332 0 93 0 38915 66 0 0 20 0 20 0 30474532 19586084864 1022834 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 42 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300332] ppid=300271 vsize=19127036 memory=4091072 CPUtime=0 cores=4,6
/proc/300274/task/300332/stat : 300332 (Finalizer) S 300271 300274 300215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30474559 19586084864 1022834 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300361] ppid=300271 vsize=19127036 memory=4091336 CPUtime=0 cores=4,6
/proc/300274/task/300361/stat : 300361 (Common-Cleaner) S 300271 300274 300215 0 -1 1077936192 323 0 0 0 0 0 0 0 20 0 20 0 30474562 19586084864 1022834 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300363] ppid=300271 vsize=19127036 memory=39364 CPUtime=0 cores=4,6
/proc/300274/task/300363/stat : 300363 (Timer-0) S 300271 300274 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30474597 19586084864 1022834 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
Current children cumulated CPU time: 414.31 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4091336 KiB
[startup+404.8 s]
/proc/loadavg: 4.28 3.23 1.71 5/327 300642
/proc/meminfo: memFree=95277232/131524600 swapFree=131063756/131071996
[pid=300274] ppid=300271 vsize=19127036 memory=4091340 CPUtime=416.01 cores=4,6
/proc/300274/stat : 300274 (java) S 300271 300274 300215 0 -1 1077936128 110701 0 119 0 41486 115 0 0 20 0 20 0 30474531 19586084864 1022835 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
/proc/300274/statm: 4781759 1022835 6154 1 0 1052593 0
[pid=300274/tid=300278] ppid=300271 vsize=19127036 memory=5452 CPUtime=391.32 cores=4,6
/proc/300274/task/300278/stat : 300278 (java) R 300271 300274 300215 0 -1 4194368 39770 0 93 0 39066 66 0 0 20 0 20 0 30474532 19586084864 1022835 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 42 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300332] ppid=300271 vsize=19127036 memory=4091336 CPUtime=0 cores=4,6
/proc/300274/task/300332/stat : 300332 (Finalizer) S 300271 300274 300215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30474559 19586084864 1022835 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300361] ppid=300271 vsize=19127036 memory=69304 CPUtime=0 cores=4,6
/proc/300274/task/300361/stat : 300361 (Common-Cleaner) S 300271 300274 300215 0 -1 1077936192 323 0 0 0 0 0 0 0 20 0 20 0 30474562 19586084864 1022835 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300363] ppid=300271 vsize=19127036 memory=4091224 CPUtime=0 cores=4,6
/proc/300274/task/300363/stat : 300363 (Timer-0) S 300271 300274 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30474597 19586084864 1022835 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
Current children cumulated CPU time: 416.01 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4091340 KiB
[startup+405.2 s]
/proc/loadavg: 4.28 3.23 1.71 5/327 300642
/proc/meminfo: memFree=95269064/131524600 swapFree=131063756/131071996
[pid=300274] ppid=300271 vsize=19127036 memory=4091352 CPUtime=416.42 cores=4,6
/proc/300274/stat : 300274 (java) S 300271 300274 300215 0 -1 1077936128 110869 0 119 0 41527 115 0 0 20 0 20 0 30474531 19586084864 1022838 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
/proc/300274/statm: 4781759 1022838 6154 1 0 1052593 0
[pid=300274/tid=300278] ppid=300271 vsize=19127036 memory=1816 CPUtime=391.72 cores=4,6
/proc/300274/task/300278/stat : 300278 (java) R 300271 300274 300215 0 -1 4194368 39783 0 93 0 39106 66 0 0 20 0 20 0 30474532 19586084864 1022838 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 42 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300332] ppid=300271 vsize=19127036 memory=2032 CPUtime=0 cores=4,6
/proc/300274/task/300332/stat : 300332 (Finalizer) S 300271 300274 300215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30474559 19586084864 1022838 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300361] ppid=300271 vsize=19127036 memory=25620 CPUtime=0 cores=4,6
/proc/300274/task/300361/stat : 300361 (Common-Cleaner) S 300271 300274 300215 0 -1 1077936192 323 0 0 0 0 0 0 0 20 0 20 0 30474562 19586084864 1022838 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300363] ppid=300271 vsize=19127036 memory=39364 CPUtime=0 cores=4,6
/proc/300274/task/300363/stat : 300363 (Timer-0) S 300271 300274 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30474597 19586084864 1022838 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
Current children cumulated CPU time: 416.42 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4091352 KiB
[startup+405.4 s]
/proc/loadavg: 4.28 3.23 1.71 5/327 300642
/proc/meminfo: memFree=95269064/131524600 swapFree=131063756/131071996
[pid=300274] ppid=300271 vsize=19127036 memory=4091356 CPUtime=416.65 cores=4,6
/proc/300274/stat : 300274 (java) S 300271 300274 300215 0 -1 1077936128 110943 0 119 0 41550 115 0 0 20 0 20 0 30474531 19586084864 1022839 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
/proc/300274/statm: 4781759 1022839 6154 1 0 1052593 0
[pid=300274/tid=300278] ppid=300271 vsize=19127036 memory=1512563 CPUtime=391.92 cores=4,6
/proc/300274/task/300278/stat : 300278 (java) R 300271 300274 300215 0 -1 4194368 39784 0 93 0 39126 66 0 0 20 0 20 0 30474532 19586084864 1022839 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 42 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300332] ppid=300271 vsize=19127036 memory=1513161 CPUtime=0 cores=4,6
/proc/300274/task/300332/stat : 300332 (Finalizer) S 300271 300274 300215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30474559 19586084864 1022839 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300361] ppid=300271 vsize=19127036 memory=4048795654209345047 CPUtime=0 cores=4,6
/proc/300274/task/300361/stat : 300361 (Common-Cleaner) S 300271 300274 300215 0 -1 1077936192 323 0 0 0 0 0 0 0 20 0 20 0 30474562 19586084864 1022839 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
[pid=300274/tid=300363] ppid=300271 vsize=19127036 memory=5793154587626465874 CPUtime=0 cores=4,6
/proc/300274/task/300363/stat : 300363 (Timer-0) S 300271 300274 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30474597 19586084864 1022839 134679101440 94673488797696 94673488801392 140726186876000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94673488809208 94673488810000 94673502126080 140726186882035 140726186882148 140726186882148 140726186889160 0
Current children cumulated CPU time: 416.65 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4091356 KiB
Child status: 30
Real time (s): 405.498
CPU time (s): 416.77
CPU user time (s): 415.603
CPU system time (s): 1.16747
CPU usage (%): 102.78
Max. virtual memory (cumulated for all children) (KiB): 19127036
Max. memory (cumulated for all children) (KiB): 4091356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 415.603
system time used= 1.16747
maximum resident set size= 4092992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112901
page faults= 119
swaps= 0
block input operations= 22488
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19682
involuntary context switches= 3869
# summary of solver processes directly reported to runsolver:
# pid: 300274
# total CPU time (s): 416.77
# total CPU user time (s): 415.603
# total CPU system time (s): 1.16747
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.966027 second user time and 2.01856 second system time
The end
Begin job on nodeC027 at 2024-07-25 22:31:03 IDJOB=4459693 IDBENCH=148404 IDSOLVER=3046 FILE ID=nodeC027/4459693-1721939462 RUNJOBID= nodeC027-1721939462-300226 SLURM_JOB_ID= 8247247 Free space on /tmp= 890080 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=53-P1=17-P2=109-P3=2-P4=191-P5=191-P6=47-P7=101-P8=97-B.opb COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459693-1721939462/watcher-4459693-1721939462 -o /tmp/evaluation-result-4459693-1721939462/solver-4459693-1721939462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721939462-300226 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4459693-1721939462.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1c04f93ff6e2db7ac940de3c219b1dcf RANDOM SEED=1503976896 nodeC027.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 : 3508.226 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 : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2644.770 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 : 7005.65 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 : 3432.907 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 : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2303.854 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 : 7005.65 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 : 3200.429 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 : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3562.332 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 : 7005.65 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 : 3515.712 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 : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3361.572 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 : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 110664564 kB MemAvailable: 129681092 kB Buffers: 325520 kB Cached: 19372036 kB SwapCached: 472 kB Active: 2609932 kB Inactive: 17353128 kB Active(anon): 1608 kB Inactive(anon): 317352 kB Active(file): 2608324 kB Inactive(file): 17035776 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131063756 kB Dirty: 2360 kB Writeback: 0 kB AnonPages: 265056 kB Mapped: 116444 kB Shmem: 53416 kB KReclaimable: 424504 kB Slab: 547616 kB SReclaimable: 424504 kB SUnreclaim: 123112 kB KernelStack: 3972 kB PageTables: 9640 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 673048 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17376 kB HardwareCorrupted: 0 kB AnonHugePages: 147456 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: 359124 kB DirectMap2M: 40308736 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 890080 MiB End job on nodeC027 at 2024-07-25 22:37:48