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 | 1120 | 417.151 | 410.018 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb |
| MD5SUM | 90387c500b0d1bb6d5365cb6c47f1935 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1120 |
| Best CPU time to get the best result obtained on this benchmark | 0.357517 |
| 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 | 89 |
| Total number of constraints | 28 |
| Number of constraints which are clauses | 2 |
| Number of constraints which are cardinality constraints (but not clauses) | 15 |
| Number of constraints which are nor clauses,nor cardinality constraints | 11 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 47 |
| Number of terms in the objective function | 85 |
| Biggest coefficient in the objective function | 517 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 15494 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 1656 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 15494 |
| Number of bits of the biggest sum of numbers | 14 |
| 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.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 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.14/0.14 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.14/0.14 - never skip resolution steps 0.14/0.14 - Auto-division on coefficients is disabled 0.14/0.14 - No postprocessing 0.14/0.14 - Conflict is considered as is when resolving 0.14/0.14 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.14/0.14 - Weaken first using unassigned literals 0.14/0.14 - Bump strategy: ALWAYS_ONE 0.14/0.14 - Bumper: ASSIGNED 0.14/0.14 --- Begin Solver configuration --- 0.14/0.14 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.14/0.14 Learn all clauses as in MiniSAT 0.14/0.14 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.14 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.14/0.14 No reason simplification 0.14/0.14 Armin Biere (Picosat) restarts strategy 0.14/0.14 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.14/0.14 timeout=2147483s 0.14/0.14 DB Simplification allowed=false 0.14/0.14 Listener: none 0.14/0.14 --- End Solver configuration --- 0.14/0.15 c Pseudo Boolean Optimization by upper bound 0.14/0.15 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.14/0.15 c - never skip resolution steps 0.14/0.15 c - Auto-division on coefficients is disabled 0.14/0.15 c - No postprocessing 0.14/0.15 c - Conflict is considered as is when resolving 0.14/0.15 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.14/0.15 c - Weaken first using unassigned literals 0.14/0.15 c - Bump strategy: ALWAYS_ONE 0.14/0.15 c - Bumper: ASSIGNED 0.14/0.15 c --- Begin Solver configuration --- 0.14/0.15 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.14/0.15 c Learn all clauses as in MiniSAT 0.14/0.15 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.15 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.14/0.15 c No reason simplification 0.14/0.15 c Armin Biere (Picosat) restarts strategy 0.14/0.15 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.14/0.15 c timeout=2147483s 0.14/0.15 c DB Simplification allowed=false 0.14/0.15 c Listener: none 0.14/0.15 c --- End Solver configuration --- 0.14/0.15 c solving HOME/instance-4427360-1720994536.opb 0.14/0.15 c reading problem ... 0.14/0.15 c objective function found 0.14/0.16 c ... done. Wall clock time 0.016s. 0.14/0.16 c declared #vars 89 0.14/0.16 c #constraints 28 0.14/0.16 c constraints type 0.14/0.16 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2 0.14/0.16 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 15 0.14/0.16 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 9 0.14/0.16 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2 0.14/0.16 c 28 constraints processed. 0.14/0.17 c objective function length is 85 literals 0.33/0.25 c SATISFIABLE 0.33/0.25 c OPTIMIZING... 0.33/0.25 c Got one! Elapsed wall clock time (in seconds):0.105 0.33/0.25 o 4874 0.33/0.27 c Got one! Elapsed wall clock time (in seconds):0.128 0.33/0.27 o 1255 2.26/1.29 c Got one! Elapsed wall clock time (in seconds):1.142 2.26/1.29 o 1177 3.86/2.03 c Got one! Elapsed wall clock time (in seconds):1.881 3.86/2.03 o 1174 11.73/8.41 c cleaning 3202 clauses out of 6424 with flag 0/6424 21.57/18.17 c cleaning 4604 clauses out of 9222 with flag 0/12424 32.93/29.48 c cleaning 5801 clauses out of 11618 with flag 0/19424 47.39/43.98 c cleaning 6902 clauses out of 13817 with flag 0/27424 67.53/63.73 c cleaning 7955 clauses out of 15916 with flag 0/36425 70.62/66.79 c Got one! Elapsed wall clock time (in seconds):66.644 70.62/66.79 o 1136 72.15/68.28 c cleaning 6541 clauses out of 13087 with flag 0/41551 80.85/76.82 c cleaning 6259 clauses out of 12546 with flag 0/47551 91.15/87.07 c cleaning 6614 clauses out of 13286 with flag 0/54550 103.20/98.92 c cleaning 7292 clauses out of 14672 with flag 0/62550 119.85/115.43 c cleaning 8149 clauses out of 16382 with flag 0/71552 142.09/137.47 c cleaning 9059 clauses out of 18231 with flag 0/81550 174.86/169.82 c cleaning 10036 clauses out of 20173 with flag 0/92551 204.54/199.20 c cleaning 11006 clauses out of 22137 with flag 0/104551 253.10/247.38 c cleaning 11986 clauses out of 24130 with flag 0/117550 301.72/295.50 c cleaning 12988 clauses out of 26143 with flag 0/131550 304.67/298.48 c Got one! Elapsed wall clock time (in seconds):298.335 304.67/298.48 o 1128 309.54/303.28 c cleaning 4865 clauses out of 18252 with flag 0/136647 319.69/313.39 c cleaning 5407 clauses out of 19389 with flag 0/142649 333.89/327.49 c cleaning 6487 clauses out of 20980 with flag 0/149647 347.84/341.17 c cleaning 7080 clauses out of 22493 with flag 0/157647 367.70/360.87 c cleaning 8036 clauses out of 24413 with flag 0/166647 372.75/365.84 c Got one! Elapsed wall clock time (in seconds):365.695 372.75/365.84 o 1120 374.91/367.92 c cleaning 4860 clauses out of 22002 with flag 0/172272 384.51/377.54 c cleaning 5223 clauses out of 23141 with flag 0/178271 396.15/389.10 c cleaning 6254 clauses out of 24919 with flag 0/185272 411.67/404.67 c cleaning 7018 clauses out of 26664 with flag 0/193271 417.13/410.00 c starts : 121 417.13/410.00 c conflicts : 197151 417.13/410.00 c decisions : 451172 417.13/410.00 c propagations : 2859318 417.13/410.00 c inspects : 464949793 417.13/410.00 c shortcuts : 0 417.13/410.00 c learnt literals : 1 417.13/410.00 c learnt binary clauses : 4 417.13/410.00 c learnt ternary clauses : 4 417.13/410.00 c learnt constraints : 197149 417.13/410.00 c ignored constraints : 0 417.13/410.00 c root simplifications : 0 417.13/410.00 c removed literals (reason simplification) : 0 417.13/410.00 c reason swapping (by a shorter reason) : 0 417.13/410.00 c Calls to reduceDB : 24 417.13/410.00 c Number of update (reduction) of LBD : 1435 417.13/410.00 c Imported unit clauses : 0 417.13/410.00 c No decision after first conflict : false 417.13/410.00 c number of reductions to clauses (during analyze) : 0 417.13/410.00 c number of learned constraints concerned by reduction : 0 417.13/410.00 c number of learning phase by resolution : 0 417.13/410.00 c number of learning phase by cutting planes : 0 417.13/410.00 c number of rounding to 1 operations : 923830 417.13/410.00 c number of easy rounding to 1 operations (no literal elimination needed) : 0 417.13/410.00 c number of reductions of the coefficients by power 2 : 0 417.13/410.00 c number of right shift for reduction by power 2 : 0 417.13/410.00 c number of reductions of the coefficients by GCD over coefficients : 0 417.13/410.00 c number of ending skipping : 0 417.13/410.00 c number of internal skipping : 0 417.13/410.00 c number of derivation steps : 848249 417.13/410.00 c number of skipped derivation steps : 0 417.13/410.00 c number of remaining unassigned : 199287 417.13/410.00 c number of remaining assigned : 17244481 417.13/410.00 c number of falsified literals weakened from reason : 0 417.13/410.00 c number of falsified literals weakened from conflict : 0 417.13/410.00 c time for arithmetic operations : 1061445430 417.13/410.00 c minimum degree of deleted constraints : 4 417.13/410.00 c maximum degree of deleted constraints : 193698340 417.13/410.00 c number of deleted constraints : 173624 417.13/410.00 c speed (assignments/second) : 6976.941321152494 417.13/410.00 c non guided choices : 0 417.13/410.00 s OPTIMUM FOUND 417.13/410.00 c Found 7 solution(s) 417.13/410.00 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 417.13/410.00 c objective function=1120 417.13/410.00 c Total wall clock time (in seconds): 409.855
OK 1120
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 (62224 MiB free)
memory of node 1: 64473 MiB (61597 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427360-1720994536/watcher-4427360-1720994536 -o /tmp/evaluation-result-4427360-1720994536/solver-4427360-1720994536 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1720994548-773379 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427360-1720994536.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=773434, runsolver pid=773426
[startup+0.10038 s]*
/proc/loadavg: 0.10 0.09 0.09 11/326 773512
/proc/meminfo: memFree=126619888/131524600 swapFree=131071996/131071996
[pid=773434] ppid=773426 vsize=18975048 memory=62628 CPUtime=0.14 cores=0,2
/proc/773434/stat : 773434 (java) S 773426 773434 773369 0 -1 1077936128 7318 0 0 0 12 2 0 0 20 0 18 0 151617427 19430449152 15657 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
/proc/773434/statm: 4743762 15657 5556 1 0 549367 0
[pid=773434/tid=773446] ppid=773426 vsize=18975048 memory=4026531971 CPUtime=0.09 cores=0,2
/proc/773434/task/773446/stat : 773446 (java) R 773426 773434 773369 0 -1 4194368 5828 0 0 0 8 1 0 0 20 0 18 0 151617427 19430449152 15657 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 151617428 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773482] ppid=773426 vsize=18975048 memory=3640 CPUtime=0 cores=0,2
/proc/773434/task/773482/stat : 773482 (Finalizer) S 773426 773434 773369 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 151617430 19430449152 15657 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773510] ppid=773426 vsize=18975048 memory=15819993166120615 CPUtime=0 cores=0,2
/proc/773434/task/773510/stat : 773510 (Common-Cleaner) S 773426 773434 773369 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151617431 19430449152 15657 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62628 KiB
[startup+0.210127 s]*
/proc/loadavg: 0.10 0.09 0.09 18/328 773514
/proc/meminfo: memFree=126569700/131524600 swapFree=131071996/131071996
[pid=773434] ppid=773426 vsize=19041612 memory=74636 CPUtime=0.33 cores=0,2
/proc/773434/stat : 773434 (java) S 773426 773434 773369 0 -1 1077936128 8052 0 0 0 31 2 0 0 20 0 19 0 151617427 19498610688 18659 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
/proc/773434/statm: 4760403 18659 5800 1 0 550134 0
[pid=773434/tid=773446] ppid=773426 vsize=19041612 memory=664970851429515395 CPUtime=0.19 cores=0,2
/proc/773434/task/773446/stat : 773446 (java) R 773426 773434 773369 0 -1 4194368 6230 0 0 0 18 1 0 0 20 0 19 0 151617427 19498610688 18659 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 151617428 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773482] ppid=773426 vsize=19041612 memory=3640 CPUtime=0 cores=0,2
/proc/773434/task/773482/stat : 773482 (Finalizer) S 773426 773434 773369 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 151617430 19498610688 18659 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773510] ppid=773426 vsize=19041612 memory=15819993166120615 CPUtime=0 cores=0,2
/proc/773434/task/773510/stat : 773510 (Common-Cleaner) S 773426 773434 773369 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 151617431 19498610688 18659 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773513] ppid=773426 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/773434/task/773513/stat : 773513 (Timer-0) S 773426 773434 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 151617445 19498610688 18659 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 74636 KiB
[startup+0.307477 s]*
/proc/loadavg: 0.10 0.09 0.09 16/330 773516
/proc/meminfo: memFree=126397860/131524600 swapFree=131071996/131071996
[pid=773434] ppid=773426 vsize=19043040 memory=106484 CPUtime=0.52 cores=0,2
/proc/773434/stat : 773434 (java) S 773426 773434 773369 0 -1 1077936128 9951 0 0 0 49 3 0 0 20 0 19 0 151617427 19500072960 26621 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
/proc/773434/statm: 4760760 26621 5800 1 0 551431 0
[pid=773434/tid=773446] ppid=773426 vsize=19043040 memory=-8672638110323352252 CPUtime=0.28 cores=0,2
/proc/773434/task/773446/stat : 773446 (java) D 773426 773434 773369 0 -1 4194368 6262 0 0 0 26 2 0 0 20 0 19 0 151617427 19500072960 26621 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 151617428 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773482] ppid=773426 vsize=19043040 memory=0 CPUtime=0 cores=0,2
/proc/773434/task/773482/stat : 773482 (Finalizer) S 773426 773434 773369 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 151617430 19500072960 26621 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773510] ppid=773426 vsize=19043040 memory=0 CPUtime=0 cores=0,2
/proc/773434/task/773510/stat : 773510 (Common-Cleaner) S 773426 773434 773369 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 151617431 19500072960 26621 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773513] ppid=773426 vsize=19043040 memory=0 CPUtime=0 cores=0,2
/proc/773434/task/773513/stat : 773513 (Timer-0) S 773426 773434 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 151617445 19500072960 26621 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19043040 KiB
Current children cumulated memory: 106484 KiB
[startup+0.701124 s]
/proc/loadavg: 0.10 0.09 0.09 20/332 773518
/proc/meminfo: memFree=126217624/131524600 swapFree=131071996/131071996
[pid=773434] ppid=773426 vsize=19108176 memory=178460 CPUtime=1.27 cores=0,2
/proc/773434/stat : 773434 (java) S 773426 773434 773369 0 -1 1077936128 13810 0 0 0 122 5 0 0 20 0 20 0 151617427 19566772224 44615 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
/proc/773434/statm: 4777044 44615 5821 1 0 554010 0
[pid=773434/tid=773446] ppid=773426 vsize=19108176 memory=39428 CPUtime=0.62 cores=0,2
/proc/773434/task/773446/stat : 773446 (java) R 773426 773434 773369 0 -1 4194368 6327 0 0 0 59 3 0 0 20 0 20 0 151617427 19566772224 44615 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 151617428 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773482] ppid=773426 vsize=19108176 memory=12180 CPUtime=0 cores=0,2
/proc/773434/task/773482/stat : 773482 (Finalizer) S 773426 773434 773369 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151617430 19566772224 44615 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773510] ppid=773426 vsize=19108176 memory=2268 CPUtime=0 cores=0,2
/proc/773434/task/773510/stat : 773510 (Common-Cleaner) S 773426 773434 773369 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151617431 19566772224 44615 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773513] ppid=773426 vsize=19108176 memory=26024 CPUtime=0 cores=0,2
/proc/773434/task/773513/stat : 773513 (Timer-0) S 773426 773434 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617445 19566772224 44615 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178460 KiB
[startup+1.50112 s]
/proc/loadavg: 0.10 0.09 0.09 13/334 773520
/proc/meminfo: memFree=126069124/131524600 swapFree=131071996/131071996
[pid=773434] ppid=773426 vsize=19108176 memory=379864 CPUtime=2.86 cores=0,2
/proc/773434/stat : 773434 (java) S 773426 773434 773369 0 -1 1077936128 27548 0 0 0 276 10 0 0 20 0 20 0 151617427 19566772224 94966 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
/proc/773434/statm: 4777044 94966 5821 1 0 558253 0
[pid=773434/tid=773446] ppid=773426 vsize=19108176 memory=12180 CPUtime=1.38 cores=0,2
/proc/773434/task/773446/stat : 773446 (java) R 773426 773434 773369 0 -1 4194368 6579 0 0 0 132 6 0 0 20 0 20 0 151617427 19566772224 94966 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 151617428 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773482] ppid=773426 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/773434/task/773482/stat : 773482 (Finalizer) S 773426 773434 773369 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151617430 19566772224 94966 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773510] ppid=773426 vsize=19108176 memory=2268 CPUtime=0 cores=0,2
/proc/773434/task/773510/stat : 773510 (Common-Cleaner) S 773426 773434 773369 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151617431 19566772224 94966 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773513] ppid=773426 vsize=19108176 memory=26024 CPUtime=0 cores=0,2
/proc/773434/task/773513/stat : 773513 (Timer-0) S 773426 773434 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617445 19566772224 94966 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 379864 KiB
[startup+3.10712 s]
/proc/loadavg: 0.10 0.09 0.09 8/334 773520
/proc/meminfo: memFree=123694040/131524600 swapFree=131071996/131071996
[pid=773434] ppid=773426 vsize=19108176 memory=957416 CPUtime=6.01 cores=0,2
/proc/773434/stat : 773434 (java) S 773426 773434 773369 0 -1 1077936128 31542 0 0 0 579 22 0 0 20 0 20 0 151617427 19566772224 239354 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
/proc/773434/statm: 4777044 239354 5873 1 0 559123 0
[pid=773434/tid=773446] ppid=773426 vsize=19108176 memory=0 CPUtime=2.93 cores=0,2
/proc/773434/task/773446/stat : 773446 (java) R 773426 773434 773369 0 -1 4194368 7659 0 0 0 277 16 0 0 20 0 20 0 151617427 19566772224 239354 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 151617428 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773482] ppid=773426 vsize=19108176 memory=-8744695704361280188 CPUtime=0 cores=0,2
/proc/773434/task/773482/stat : 773482 (Finalizer) S 773426 773434 773369 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151617430 19566772224 239354 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773510] ppid=773426 vsize=19108176 memory=12180 CPUtime=0 cores=0,2
/proc/773434/task/773510/stat : 773510 (Common-Cleaner) S 773426 773434 773369 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151617431 19566772224 239354 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773513] ppid=773426 vsize=19108176 memory=2268 CPUtime=0 cores=0,2
/proc/773434/task/773513/stat : 773513 (Timer-0) S 773426 773434 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617445 19566772224 239354 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 957416 KiB
[startup+6.30114 s]
/proc/loadavg: 0.42 0.15 0.11 8/334 773520
/proc/meminfo: memFree=122802236/131524600 swapFree=131071996/131071996
[pid=773434] ppid=773426 vsize=19108176 memory=1340332 CPUtime=9.53 cores=0,2
/proc/773434/stat : 773434 (java) S 773426 773434 773369 0 -1 1077936128 31833 0 0 0 923 30 0 0 20 0 20 0 151617427 19566772224 335083 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
/proc/773434/statm: 4777044 335083 5873 1 0 559123 0
[pid=773434/tid=773446] ppid=773426 vsize=19108176 memory=12180 CPUtime=6.06 cores=0,2
/proc/773434/task/773446/stat : 773446 (java) R 773426 773434 773369 0 -1 4194368 7873 0 0 0 582 24 0 0 20 0 20 0 151617427 19566772224 335083 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 151617428 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773482] ppid=773426 vsize=19108176 memory=2268 CPUtime=0 cores=0,2
/proc/773434/task/773482/stat : 773482 (Finalizer) S 773426 773434 773369 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151617430 19566772224 335083 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773510] ppid=773426 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/773434/task/773510/stat : 773510 (Common-Cleaner) S 773426 773434 773369 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151617431 19566772224 335083 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773513] ppid=773426 vsize=19108176 memory=398340 CPUtime=0 cores=0,2
/proc/773434/task/773513/stat : 773513 (Timer-0) S 773426 773434 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617445 19566772224 335083 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
Current children cumulated CPU time: 9.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1340332 KiB
[startup+12.7011 s]
/proc/loadavg: 0.70 0.22 0.13 8/334 773522
/proc/meminfo: memFree=121610556/131524600 swapFree=131071996/131071996
[pid=773434] ppid=773426 vsize=19108176 memory=1345800 CPUtime=16.17 cores=0,2
/proc/773434/stat : 773434 (java) S 773426 773434 773369 0 -1 1077936128 33463 0 0 0 1586 31 0 0 20 0 20 0 151617427 19566772224 336450 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
/proc/773434/statm: 4777044 336450 5873 1 0 559427 0
[pid=773434/tid=773446] ppid=773426 vsize=19108176 memory=398340 CPUtime=12.35 cores=0,2
/proc/773434/task/773446/stat : 773446 (java) R 773426 773434 773369 0 -1 4194368 9127 0 0 0 1211 24 0 0 20 0 20 0 151617427 19566772224 336450 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 151617428 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773482] ppid=773426 vsize=19108176 memory=1345800 CPUtime=0 cores=0,2
/proc/773434/task/773482/stat : 773482 (Finalizer) S 773426 773434 773369 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151617430 19566772224 336450 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773510] ppid=773426 vsize=19108176 memory=12180 CPUtime=0 cores=0,2
/proc/773434/task/773510/stat : 773510 (Common-Cleaner) S 773426 773434 773369 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 151617431 19566772224 336450 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773513] ppid=773426 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/773434/task/773513/stat : 773513 (Timer-0) S 773426 773434 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617445 19566772224 336450 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
Current children cumulated CPU time: 16.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1345800 KiB
[startup+25.5011 s]
/proc/loadavg: 1.58 0.44 0.21 8/334 773524
/proc/meminfo: memFree=120947792/131524600 swapFree=131071996/131071996
[pid=773434] ppid=773426 vsize=19108176 memory=1354116 CPUtime=28.95 cores=0,2
/proc/773434/stat : 773434 (java) S 773426 773434 773369 0 -1 1077936128 38851 0 0 0 2863 32 0 0 20 0 20 0 151617427 19566772224 338529 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
/proc/773434/statm: 4777044 338529 5873 1 0 559443 0
[pid=773434/tid=773446] ppid=773426 vsize=19108176 memory=1354064 CPUtime=24.9 cores=0,2
/proc/773434/task/773446/stat : 773446 (java) R 773426 773434 773369 0 -1 4194368 11398 0 0 0 2466 24 0 0 20 0 20 0 151617427 19566772224 338529 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 151617428 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773482] ppid=773426 vsize=19108176 memory=-8744695704361280188 CPUtime=0 cores=0,2
/proc/773434/task/773482/stat : 773482 (Finalizer) S 773426 773434 773369 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151617430 19566772224 338529 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773510] ppid=773426 vsize=19108176 memory=6655300316396806240 CPUtime=0 cores=0,2
/proc/773434/task/773510/stat : 773510 (Common-Cleaner) S 773426 773434 773369 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 151617431 19566772224 338529 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773513] ppid=773426 vsize=19108176 memory=1354064 CPUtime=0 cores=0,2
/proc/773434/task/773513/stat : 773513 (Timer-0) S 773426 773434 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617445 19566772224 338529 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
Current children cumulated CPU time: 28.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1354116 KiB
[startup+51.1067 s]
/proc/loadavg: 2.41 0.72 0.31 6/333 773529
/proc/meminfo: memFree=120584780/131524600 swapFree=131071996/131071996
[pid=773434] ppid=773426 vsize=19108176 memory=1391268 CPUtime=54.73 cores=0,2
/proc/773434/stat : 773434 (java) S 773426 773434 773369 0 -1 1077936128 48820 0 0 0 5438 35 0 0 20 0 20 0 151617427 19566772224 347817 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
/proc/773434/statm: 4777044 347817 5873 1 0 559443 0
################
# More data... #
################
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2187772 KiB
[startup+342.3 s]
/proc/loadavg: 4.34 2.98 1.40 6/332 773820
/proc/meminfo: memFree=117469316/131524600 swapFree=131071996/131071996
[pid=773434] ppid=773426 vsize=19108176 memory=2259476 CPUtime=349.03 cores=0,2
/proc/773434/stat : 773434 (java) S 773426 773434 773369 0 -1 1077936128 83808 0 0 0 34828 75 0 0 20 0 20 0 151617427 19566772224 564869 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
/proc/773434/statm: 4777044 564869 5877 1 0 665970 0
[pid=773434/tid=773446] ppid=773426 vsize=19108176 memory=11560 CPUtime=334.83 cores=0,2
/proc/773434/task/773446/stat : 773446 (java) R 773426 773434 773369 0 -1 4194368 28908 0 0 0 33444 39 0 0 20 0 20 0 151617427 19566772224 564869 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 151617430 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773482] ppid=773426 vsize=19108176 memory=2243092 CPUtime=0 cores=0,2
/proc/773434/task/773482/stat : 773482 (Finalizer) S 773426 773434 773369 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151617430 19566772224 564869 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773510] ppid=773426 vsize=19108176 memory=2255380 CPUtime=0 cores=0,2
/proc/773434/task/773510/stat : 773510 (Common-Cleaner) S 773426 773434 773369 0 -1 1077936192 229 0 0 0 0 0 0 0 20 0 20 0 151617431 19566772224 564869 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773513] ppid=773426 vsize=19108176 memory=2255380 CPUtime=0 cores=0,2
/proc/773434/task/773513/stat : 773513 (Timer-0) S 773426 773434 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617445 19566772224 564869 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
Current children cumulated CPU time: 349.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2259476 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 3.18 1.57 6/332 773831
/proc/meminfo: memFree=117174004/131524600 swapFree=131071996/131071996
[pid=773434] ppid=773426 vsize=19108176 memory=2349812 CPUtime=409.38 cores=0,2
/proc/773434/stat : 773434 (java) S 773426 773434 773369 0 -1 1077936128 87830 0 0 0 40856 82 0 0 20 0 20 0 151617427 19566772224 587453 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
/proc/773434/statm: 4777044 587453 5877 1 0 665970 0
[pid=773434/tid=773446] ppid=773426 vsize=19108176 memory=11560 CPUtime=393.34 cores=0,2
/proc/773434/task/773446/stat : 773446 (java) R 773426 773434 773369 0 -1 4194368 31105 0 0 0 39294 40 0 0 20 0 20 0 151617427 19566772224 587453 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 151617430 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773482] ppid=773426 vsize=19108176 memory=2277956 CPUtime=0 cores=0,2
/proc/773434/task/773482/stat : 773482 (Finalizer) S 773426 773434 773369 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151617430 19566772224 587453 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773510] ppid=773426 vsize=19108176 memory=2196 CPUtime=0 cores=0,2
/proc/773434/task/773510/stat : 773510 (Common-Cleaner) S 773426 773434 773369 0 -1 1077936192 254 0 0 0 0 0 0 0 20 0 20 0 151617431 19566772224 587453 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773513] ppid=773426 vsize=19108176 memory=11560 CPUtime=0 cores=0,2
/proc/773434/task/773513/stat : 773513 (Timer-0) S 773426 773434 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617445 19566772224 587453 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
Current children cumulated CPU time: 409.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2349812 KiB
[startup+410.018 s]
# the end of solver process 773434 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=416.313 s, system=0.838019 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+403.2 s]
/proc/loadavg: 4.17 3.18 1.57 6/332 773831
/proc/meminfo: memFree=117169924/131524600 swapFree=131071996/131071996
[pid=773434] ppid=773426 vsize=19108176 memory=2349812 CPUtime=410.28 cores=0,2
/proc/773434/stat : 773434 (java) S 773426 773434 773369 0 -1 1077936128 87830 0 0 0 40946 82 0 0 20 0 20 0 151617427 19566772224 587453 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
/proc/773434/statm: 4777044 587453 5877 1 0 665970 0
[pid=773434/tid=773446] ppid=773426 vsize=19108176 memory=2339572 CPUtime=394.24 cores=0,2
/proc/773434/task/773446/stat : 773446 (java) R 773426 773434 773369 0 -1 4194368 31105 0 0 0 39384 40 0 0 20 0 20 0 151617427 19566772224 587453 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 151617430 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773482] ppid=773426 vsize=19108176 memory=2341620 CPUtime=0 cores=0,2
/proc/773434/task/773482/stat : 773482 (Finalizer) S 773426 773434 773369 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151617430 19566772224 587453 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773510] ppid=773426 vsize=19108176 memory=-8744695704361280188 CPUtime=0 cores=0,2
/proc/773434/task/773510/stat : 773510 (Common-Cleaner) S 773426 773434 773369 0 -1 1077936192 254 0 0 0 0 0 0 0 20 0 20 0 151617431 19566772224 587453 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773513] ppid=773426 vsize=19108176 memory=-8744695704361280188 CPUtime=0 cores=0,2
/proc/773434/task/773513/stat : 773513 (Timer-0) S 773426 773434 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617445 19566772224 587453 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
Current children cumulated CPU time: 410.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2349812 KiB
[startup+406.4 s]
/proc/loadavg: 4.15 3.20 1.59 6/332 773831
/proc/meminfo: memFree=117159536/131524600 swapFree=131071996/131071996
[pid=773434] ppid=773426 vsize=19108176 memory=2353908 CPUtime=413.49 cores=0,2
/proc/773434/stat : 773434 (java) S 773426 773434 773369 0 -1 1077936128 88001 0 0 0 41267 82 0 0 20 0 20 0 151617427 19566772224 588477 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
/proc/773434/statm: 4777044 588477 5877 1 0 665970 0
[pid=773434/tid=773446] ppid=773426 vsize=19108176 memory=2353908 CPUtime=397.4 cores=0,2
/proc/773434/task/773446/stat : 773446 (java) R 773426 773434 773369 0 -1 4194368 31273 0 0 0 39700 40 0 0 20 0 20 0 151617427 19566772224 588477 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 151617430 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773482] ppid=773426 vsize=19108176 memory=4804 CPUtime=0 cores=0,2
/proc/773434/task/773482/stat : 773482 (Finalizer) S 773426 773434 773369 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151617430 19566772224 588477 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773510] ppid=773426 vsize=19108176 memory=12180 CPUtime=0 cores=0,2
/proc/773434/task/773510/stat : 773510 (Common-Cleaner) S 773426 773434 773369 0 -1 1077936192 254 0 0 0 0 0 0 0 20 0 20 0 151617431 19566772224 588477 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773513] ppid=773426 vsize=19108176 memory=5496 CPUtime=0 cores=0,2
/proc/773434/task/773513/stat : 773513 (Timer-0) S 773426 773434 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617445 19566772224 588477 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
Current children cumulated CPU time: 413.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2353908 KiB
[startup+408 s]*
/proc/loadavg: 4.15 3.20 1.59 6/332 773833
/proc/meminfo: memFree=117157472/131524600 swapFree=131071996/131071996
[pid=773434] ppid=773426 vsize=19108176 memory=2355956 CPUtime=415.12 cores=0,2
/proc/773434/stat : 773434 (java) S 773426 773434 773369 0 -1 1077936128 88002 0 0 0 41430 82 0 0 20 0 20 0 151617427 19566772224 588989 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
/proc/773434/statm: 4777044 588989 5877 1 0 665970 0
[pid=773434/tid=773446] ppid=773426 vsize=19108176 memory=-8672638110323352252 CPUtime=398.97 cores=0,2
/proc/773434/task/773446/stat : 773446 (java) R 773426 773434 773369 0 -1 4194368 31273 0 0 0 39857 40 0 0 20 0 20 0 151617427 19566772224 588989 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 151617430 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773482] ppid=773426 vsize=19108176 memory=-8693842183326450329 CPUtime=0 cores=0,2
/proc/773434/task/773482/stat : 773482 (Finalizer) S 773426 773434 773369 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151617430 19566772224 588989 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773510] ppid=773426 vsize=19108176 memory=3494 CPUtime=0 cores=0,2
/proc/773434/task/773510/stat : 773510 (Common-Cleaner) S 773426 773434 773369 0 -1 1077936192 254 0 0 0 0 0 0 0 20 0 20 0 151617431 19566772224 588989 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773513] ppid=773426 vsize=19108176 memory=4610 CPUtime=0 cores=0,2
/proc/773434/task/773513/stat : 773513 (Timer-0) S 773426 773434 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617445 19566772224 588989 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
Current children cumulated CPU time: 415.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2355956 KiB
[startup+408.8 s]
/proc/loadavg: 4.15 3.20 1.59 6/332 773833
/proc/meminfo: memFree=117157472/131524600 swapFree=131071996/131071996
[pid=773434] ppid=773426 vsize=19108176 memory=2355956 CPUtime=415.91 cores=0,2
/proc/773434/stat : 773434 (java) S 773426 773434 773369 0 -1 1077936128 88002 0 0 0 41509 82 0 0 20 0 20 0 151617427 19566772224 588989 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
/proc/773434/statm: 4777044 588989 5877 1 0 665970 0
[pid=773434/tid=773446] ppid=773426 vsize=19108176 memory=39428 CPUtime=399.76 cores=0,2
/proc/773434/task/773446/stat : 773446 (java) R 773426 773434 773369 0 -1 4194368 31273 0 0 0 39936 40 0 0 20 0 20 0 151617427 19566772224 588989 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 151617430 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773482] ppid=773426 vsize=19108176 memory=-8744695704361280188 CPUtime=0 cores=0,2
/proc/773434/task/773482/stat : 773482 (Finalizer) S 773426 773434 773369 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151617430 19566772224 588989 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773510] ppid=773426 vsize=19108176 memory=19432 CPUtime=0 cores=0,2
/proc/773434/task/773510/stat : 773510 (Common-Cleaner) S 773426 773434 773369 0 -1 1077936192 254 0 0 0 0 0 0 0 20 0 20 0 151617431 19566772224 588989 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773513] ppid=773426 vsize=19108176 memory=104 CPUtime=0 cores=0,2
/proc/773434/task/773513/stat : 773513 (Timer-0) S 773426 773434 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617445 19566772224 588989 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
Current children cumulated CPU time: 415.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2355956 KiB
[startup+409.6 s]
/proc/loadavg: 4.22 3.23 1.60 6/332 773833
/proc/meminfo: memFree=117157480/131524600 swapFree=131071996/131071996
[pid=773434] ppid=773426 vsize=19108176 memory=2355956 CPUtime=416.71 cores=0,2
/proc/773434/stat : 773434 (java) S 773426 773434 773369 0 -1 1077936128 88002 0 0 0 41589 82 0 0 20 0 20 0 151617427 19566772224 588989 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
/proc/773434/statm: 4777044 588989 5877 1 0 665970 0
[pid=773434/tid=773446] ppid=773426 vsize=19108176 memory=32136 CPUtime=400.56 cores=0,2
/proc/773434/task/773446/stat : 773446 (java) R 773426 773434 773369 0 -1 4194368 31273 0 0 0 40016 40 0 0 20 0 20 0 151617427 19566772224 588989 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 151617430 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773482] ppid=773426 vsize=19108176 memory=5496 CPUtime=0 cores=0,2
/proc/773434/task/773482/stat : 773482 (Finalizer) S 773426 773434 773369 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151617430 19566772224 588989 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773510] ppid=773426 vsize=19108176 memory=12180 CPUtime=0 cores=0,2
/proc/773434/task/773510/stat : 773510 (Common-Cleaner) S 773426 773434 773369 0 -1 1077936192 254 0 0 0 0 0 0 0 20 0 20 0 151617431 19566772224 588989 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773513] ppid=773426 vsize=19108176 memory=2236936 CPUtime=0 cores=0,2
/proc/773434/task/773513/stat : 773513 (Timer-0) S 773426 773434 773369 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151617445 19566772224 588989 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
Current children cumulated CPU time: 416.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2355956 KiB
[startup+410 s]*
/proc/loadavg: 4.22 3.23 1.60 10/333 773835
/proc/meminfo: memFree=117147192/131524600 swapFree=131071996/131071996
[pid=773434] ppid=773426 vsize=19241304 memory=2356356 CPUtime=417.13 cores=0,2
/proc/773434/stat : 773434 (java) S 773426 773434 773369 0 -1 1077936128 90793 0 0 0 41631 82 0 0 20 0 21 0 151617427 19703095296 589089 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
/proc/773434/statm: 4810326 589089 5876 1 0 666604 0
[pid=773434/tid=773446] ppid=773426 vsize=19241304 memory=33652 CPUtime=400.95 cores=0,2
/proc/773434/task/773446/stat : 773446 (java) R 773426 773434 773369 0 -1 1077936192 32680 0 0 0 40055 40 0 0 20 0 21 0 151617427 19703095296 589089 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 151617430 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773482] ppid=773426 vsize=19241304 memory=41824 CPUtime=0 cores=0,2
/proc/773434/task/773482/stat : 773482 (Finalizer) S 773426 773434 773369 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 21 0 151617430 19703095296 589089 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773510] ppid=773426 vsize=19241304 memory=-8693842183326450329 CPUtime=0 cores=0,2
/proc/773434/task/773510/stat : 773510 (Common-Cleaner) S 773426 773434 773369 0 -1 1077936192 254 0 0 0 0 0 0 0 20 0 21 0 151617431 19703095296 589089 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773513] ppid=773426 vsize=19241304 memory=2268 CPUtime=0 cores=0,2
/proc/773434/task/773513/stat : 773513 (Timer-0) R 773426 773434 773369 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 151617445 19703095296 589089 134679101440 94487896387584 94487896391280 140732481429296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94487896399096 94487896399888 94487923163136 140732481430512 140732481430625 140732481430625 140732481437640 0
[pid=773434/tid=773834] ppid=773426 vsize=0 memory=26024 CPUtime=0.01 cores=0,2
/proc/773434/task/773834/stat : 773834 (Thread-0) X 773426 773434 773369 0 -1 4194372 608 0 0 0 1 0 0 0 20 0 21 0 151658426 0 0 134679101440 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time: 417.13 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 2356356 KiB
Child status: 30
Real time (s): 410.018
CPU time (s): 417.151
CPU user time (s): 416.313
CPU system time (s): 0.838019
CPU usage (%): 101.74
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 2356356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 416.313
system time used= 0.838019
maximum resident set size= 2357468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90856
page faults= 0
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19565
involuntary context switches= 4054
# summary of solver processes directly reported to runsolver:
# pid: 773434
# total CPU time (s): 417.151
# total CPU user time (s): 416.313
# total CPU system time (s): 0.838019
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.828458 second user time and 2.3408 second system time
The end
Begin job on nodeC021 at 2024-07-15 00:02:28 IDJOB=4427360 IDBENCH=146908 IDSOLVER=3046 FILE ID=nodeC021/4427360-1720994536 RUNJOBID= nodeC021-1720994548-773379 SLURM_JOB_ID= 7505315 Free space on /tmp= 890084 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427360-1720994536/watcher-4427360-1720994536 -o /tmp/evaluation-result-4427360-1720994536/solver-4427360-1720994536 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1720994548-773379 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427360-1720994536.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 90387c500b0d1bb6d5365cb6c47f1935 RANDOM SEED=1909944225 nodeC021.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 : 3428.289 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.42 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 : 3570.617 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.23 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 : 3490.248 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.42 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 : 3417.250 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.23 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 : 3512.044 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.42 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 : 3571.912 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.23 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 : 3484.297 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.42 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 : 3385.761 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.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126795236 kB MemAvailable: 129698760 kB Buffers: 341532 kB Cached: 3367448 kB SwapCached: 0 kB Active: 536056 kB Inactive: 3537612 kB Active(anon): 1408 kB Inactive(anon): 400668 kB Active(file): 534648 kB Inactive(file): 3136944 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 2800 kB Writeback: 8 kB AnonPages: 363896 kB Mapped: 102064 kB Shmem: 37720 kB KReclaimable: 143508 kB Slab: 253648 kB SReclaimable: 143508 kB SUnreclaim: 110140 kB KernelStack: 3848 kB PageTables: 9532 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 687596 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 58496 kB HardwareCorrupted: 0 kB AnonHugePages: 235520 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: 232148 kB DirectMap2M: 17367040 kB DirectMap1G: 118489088 kB Free space on /tmp at the end= 890080 MiB End job on nodeC021 at 2024-07-15 00:09:18