Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution Default 2024-07-07 | ? (TO) | 3600.21 | 3585.28 |
| Name | PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_8_shg.opb |
| MD5SUM | de975147a543f81642d44481372d34a3 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 278 |
| Best CPU time to get the best result obtained on this benchmark | 3600.5 |
| 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 | 136253 |
| Total number of constraints | 65280 |
| Number of constraints which are clauses | 65280 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 170 |
| Maximum length of a constraint | 1517 |
| Number of terms in the objective function | 136253 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 136253 |
| Number of bits of the sum of numbers in the objective function | 18 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 136253 |
| Number of bits of the biggest sum of numbers | 18 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version CUSTOM.v20240707 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 2104792832 0.00/0.08 c Max memory 16282288128 0.00/0.08 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.13/0.12 --- Begin Solver configuration --- 0.13/0.12 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.13/0.12 Learn all clauses as in MiniSAT 0.13/0.12 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.12 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.13/0.12 No reason simplification 0.13/0.12 Glucose 2.1 dynamic restart strategy 0.13/0.12 Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.13/0.12 timeout=2147483s 0.13/0.12 DB Simplification allowed=false 0.13/0.12 Listener: none 0.13/0.12 --- End Solver configuration --- 0.13/0.12 c Pseudo Boolean Optimization by upper bound 0.13/0.12 c --- Begin Solver configuration --- 0.13/0.12 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.13/0.12 c Learn all clauses as in MiniSAT 0.13/0.12 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.13/0.12 c No reason simplification 0.13/0.12 c Glucose 2.1 dynamic restart strategy 0.13/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.13/0.12 c timeout=2147483s 0.13/0.12 c DB Simplification allowed=false 0.13/0.12 c Listener: none 0.13/0.12 c --- End Solver configuration --- 0.13/0.12 c solving HOME/instance-4432438-1721137828.opb 0.13/0.12 c reading problem ... 0.13/0.12 c objective function found 33.35/30.16 c ... done. Wall clock time 30.036s. 33.35/30.16 c declared #vars 136253 33.35/30.16 c #constraints 65280 33.35/30.16 c constraints type 33.35/30.16 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 65280 33.35/30.16 c 65280 constraints processed. 33.35/30.17 c objective function length is 136253 literals 43.93/40.41 c SATISFIABLE 43.93/40.41 c OPTIMIZING... 43.93/40.41 c Got one! Elapsed wall clock time (in seconds):40.284 43.93/40.42 o 845 44.53/40.72 c Got one! Elapsed wall clock time (in seconds):40.59 44.53/40.72 o 844 45.45/41.20 c Got one! Elapsed wall clock time (in seconds):41.079 45.45/41.20 o 843 69.26/64.91 c cleaning 2672 clauses out of 5348 with flag 19290/5348 114.92/110.24 c cleaning 4351 clauses out of 8714 with flag 45027/11386 172.28/167.62 c cleaning 5645 clauses out of 11325 with flag 66427/18348 235.54/230.74 c cleaning 6789 clauses out of 13680 with flag 92579/26348 307.48/302.56 c cleaning 7941 clauses out of 15904 with flag 131943/35361 384.59/379.71 c cleaning 8959 clauses out of 17950 with flag 187063/45348 472.82/467.85 c cleaning 9871 clauses out of 19991 with flag 223224/56348 571.85/566.71 c cleaning 10590 clauses out of 22120 with flag 270730/68348 676.00/671.03 c cleaning 12075 clauses out of 24530 with flag 332713/81348 789.68/784.69 c cleaning 13021 clauses out of 26455 with flag 406145/95348 910.83/905.60 c cleaning 14114 clauses out of 28436 with flag 489459/110350 1036.07/1030.85 c cleaning 14996 clauses out of 30320 with flag 568779/126348 1170.45/1165.19 c cleaning 16019 clauses out of 32326 with flag 648236/143350 1321.49/1312.14 c cleaning 16953 clauses out of 34305 with flag 737597/161348 1475.20/1465.84 c cleaning 17780 clauses out of 36352 with flag 818824/180348 1632.23/1622.82 c cleaning 19020 clauses out of 38572 with flag 903661/200348 1798.64/1789.04 c cleaning 19695 clauses out of 40552 with flag 989373/221348 1971.52/1961.92 c cleaning 21142 clauses out of 42857 with flag 1067858/243348 2144.15/2134.16 c cleaning 22202 clauses out of 44715 with flag 1241699/266348 2342.87/2332.88 c cleaning 23257 clauses out of 46513 with flag 1433904/290348 2572.62/2558.12 c cleaning 23643 clauses out of 48256 with flag 1532176/315348 2806.55/2792.12 c cleaning 25362 clauses out of 50737 with flag 1635526/341472 3038.54/3023.86 c cleaning 25738 clauses out of 52251 with flag 1754146/368348 3270.87/3256.20 c cleaning 27145 clauses out of 54513 with flag 1862528/396348 3517.29/3502.60 c cleaning 28270 clauses out of 56547 with flag 1995573/425527 3600.07/3585.22 c starts : 72 3600.07/3585.22 c conflicts : 435580 3600.07/3585.22 c decisions : 51843039 3600.07/3585.22 c propagations : 10343878699 3600.07/3585.22 c inspects : 705911035 3600.07/3585.22 c shortcuts : 0 3600.07/3585.22 c learnt literals : 0 3600.07/3585.22 c learnt binary clauses : 0 3600.07/3585.22 c learnt ternary clauses : 0 3600.07/3585.22 c learnt constraints : 435580 3600.07/3585.22 c ignored constraints : 0 3600.07/3585.22 c root simplifications : 0 3600.07/3585.22 c removed literals (reason simplification) : 0 3600.07/3585.22 c reason swapping (by a shorter reason) : 0 3600.07/3585.22 c Calls to reduceDB : 25 3600.07/3585.22 c Number of update (reduction) of LBD : 182732 3600.07/3585.22 c Imported unit clauses : 0 3600.07/3585.22 c No decision after first conflict : false 3600.07/3585.22 c number of reductions to clauses (during analyze) : 0 3600.07/3585.22 c number of learned constraints concerned by reduction : 0 3600.07/3585.22 c number of learning phase by resolution : 0 3600.07/3585.22 c number of learning phase by cutting planes : 0 3600.07/3585.22 c number of rounding to 1 operations : 0 3600.07/3585.22 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.07/3585.22 c number of reductions of the coefficients by power 2 : 0 3600.07/3585.22 c number of right shift for reduction by power 2 : 0 3600.07/3585.22 c number of reductions of the coefficients by GCD over coefficients : 0 3600.07/3585.22 c number of ending skipping : 0 3600.07/3585.22 c number of internal skipping : 0 3600.07/3585.22 c number of derivation steps : 0 3600.07/3585.22 c number of skipped derivation steps : 0 3600.07/3585.22 c number of remaining unassigned : 0 3600.07/3585.22 c number of remaining assigned : 0 3600.07/3585.22 c number of falsified literals weakened from reason : 0 3600.07/3585.22 c number of falsified literals weakened from conflict : 0 3600.07/3585.22 c time for arithmetic operations : 0 3600.07/3585.23 c minimum degree of deleted constraints : null 3600.07/3585.23 c maximum degree of deleted constraints : null 3600.07/3585.23 c number of deleted constraints : 0 3600.07/3585.23 c speed (assignments/second) : 2909671.338585468 3600.07/3585.23 c non guided choices : 0 3600.07/3585.24 c timeout 3600.07/3585.24 Exception in thread "Thread-0" java.lang.NullPointerException: Cannot invoke "org.sat4j.specs.Constr.getClass()" because the return value of "java.util.Iterator.next()" is null 3600.07/3585.25 at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1962) 3600.07/3585.25 at org.sat4j.minisat.core.Solver.printStat(Solver.java:2108) 3600.07/3585.25 at org.sat4j.minisat.core.Solver.printStat(Solver.java:2099) 3600.07/3585.25 at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:180) 3600.07/3585.25 at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93) 3600.07/3585.25 at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122) 3600.07/3585.25 at org.sat4j.AbstractLauncher$1.run(AbstractLauncher.java:91)
ERROR: no interpretation found !
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 (61311 MiB free)
memory of node 1: 64473 MiB (61667 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432438-1721137828/watcher-4432438-1721137828 -o /tmp/evaluation-result-4432438-1721137828/solver-4432438-1721137828 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721137841-861882 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432438-1721137828.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=861998, runsolver pid=861995
[startup+0.100097 s]*
/proc/loadavg: 1.08 2.54 3.49 10/332 862017
/proc/meminfo: memFree=125829848/131524600 swapFree=131071996/131071996
[pid=861998] ppid=861995 vsize=18975048 memory=66632 CPUtime=0.13 cores=5,7
/proc/861998/stat : 861998 (java) S 861995 861998 861869 0 -1 1077936128 7582 0 0 0 11 2 0 0 20 0 18 0 165953993 19430449152 16658 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
/proc/861998/statm: 4743762 16658 5654 1 0 549318 0
[pid=861998/tid=862000] ppid=861995 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/861998/task/862000/stat : 862000 (java) R 861995 861998 861869 0 -1 4194368 6186 0 0 0 7 1 0 0 20 0 18 0 165953993 19430449152 16658 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862009] ppid=861995 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/861998/task/862009/stat : 862009 (Finalizer) S 861995 861998 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 165953996 19430449152 16658 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862016] ppid=861995 vsize=18975048 memory=14971178779437607 CPUtime=0 cores=5,7
/proc/861998/task/862016/stat : 862016 (Common-Cleaner) S 861995 861998 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 165953996 19430449152 16658 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66632 KiB
[startup+0.20663 s]*
/proc/loadavg: 1.08 2.54 3.49 8/332 862017
/proc/meminfo: memFree=125792272/131524600 swapFree=131071996/131071996
[pid=861998] ppid=861995 vsize=18975048 memory=90576 CPUtime=0.33 cores=5,7
/proc/861998/stat : 861998 (java) S 861995 861998 861869 0 -1 1077936128 9408 0 0 0 31 2 0 0 20 0 18 0 165953993 19430449152 22644 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
/proc/861998/statm: 4743762 22644 5805 1 0 550565 0
[pid=861998/tid=862000] ppid=861995 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/861998/task/862000/stat : 862000 (java) R 861995 861998 861869 0 -1 4194368 6310 0 0 0 17 1 0 0 20 0 18 0 165953993 19430449152 22644 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862009] ppid=861995 vsize=18975048 memory=15997 CPUtime=0 cores=5,7
/proc/861998/task/862009/stat : 862009 (Finalizer) S 861995 861998 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 165953996 19430449152 22644 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862016] ppid=861995 vsize=18975048 memory=14689703802701563 CPUtime=0 cores=5,7
/proc/861998/task/862016/stat : 862016 (Common-Cleaner) S 861995 861998 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 165953996 19430449152 22644 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 90576 KiB
[startup+0.306632 s]*
/proc/loadavg: 1.08 2.54 3.49 9/333 862018
/proc/meminfo: memFree=125737684/131524600 swapFree=131071996/131071996
[pid=861998] ppid=861995 vsize=18975048 memory=133272 CPUtime=0.53 cores=5,7
/proc/861998/stat : 861998 (java) S 861995 861998 861869 0 -1 1077936128 10171 0 0 0 49 4 0 0 20 0 18 0 165953993 19430449152 33318 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
/proc/861998/statm: 4743762 33318 5805 1 0 550910 0
[pid=861998/tid=862000] ppid=861995 vsize=18975048 memory=-8814777484610740924 CPUtime=0.28 cores=5,7
/proc/861998/task/862000/stat : 862000 (java) R 861995 861998 861869 0 -1 4194368 6333 0 0 0 25 3 0 0 20 0 18 0 165953993 19430449152 33318 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862009] ppid=861995 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/861998/task/862009/stat : 862009 (Finalizer) S 861995 861998 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 165953996 19430449152 33318 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862016] ppid=861995 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/861998/task/862016/stat : 862016 (Common-Cleaner) S 861995 861998 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 165953996 19430449152 33318 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 133272 KiB
[startup+0.700631 s]
/proc/loadavg: 1.08 2.54 3.49 10/334 862019
/proc/meminfo: memFree=125627208/131524600 swapFree=131071996/131071996
[pid=861998] ppid=861995 vsize=19043540 memory=203440 CPUtime=1.27 cores=5,7
/proc/861998/stat : 861998 (java) S 861995 861998 861869 0 -1 1077936128 11672 0 0 0 122 5 0 0 20 0 19 0 165953993 19500584960 50860 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
/proc/861998/statm: 4760885 50860 5805 1 0 552208 0
[pid=861998/tid=862000] ppid=861995 vsize=19043540 memory=5472 CPUtime=0.6 cores=5,7
/proc/861998/task/862000/stat : 862000 (java) R 861995 861998 861869 0 -1 4194368 6382 0 0 0 57 3 0 0 20 0 19 0 165953993 19500584960 50860 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862009] ppid=861995 vsize=19043540 memory=13184 CPUtime=0 cores=5,7
/proc/861998/task/862009/stat : 862009 (Finalizer) S 861995 861998 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 165953996 19500584960 50860 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862016] ppid=861995 vsize=19043540 memory=0 CPUtime=0 cores=5,7
/proc/861998/task/862016/stat : 862016 (Common-Cleaner) S 861995 861998 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 165953996 19500584960 50860 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19043540 KiB
Current children cumulated memory: 203440 KiB
[startup+1.50026 s]
/proc/loadavg: 1.08 2.54 3.49 7/334 862019
/proc/meminfo: memFree=125560844/131524600 swapFree=131071996/131071996
[pid=861998] ppid=861995 vsize=19041612 memory=436528 CPUtime=2.22 cores=5,7
/proc/861998/stat : 861998 (java) S 861995 861998 861869 0 -1 1077936128 12672 0 0 0 211 11 0 0 20 0 19 0 165953993 19498610688 109132 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
/proc/861998/statm: 4760403 109132 5805 1 0 986489 0
[pid=861998/tid=862000] ppid=861995 vsize=19041612 memory=13184 CPUtime=1.28 cores=5,7
/proc/861998/task/862000/stat : 862000 (java) R 861995 861998 861869 0 -1 4194368 6475 0 0 0 121 7 0 0 20 0 19 0 165953993 19498610688 109132 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862009] ppid=861995 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/861998/task/862009/stat : 862009 (Finalizer) S 861995 861998 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 165953996 19498610688 109132 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862016] ppid=861995 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/861998/task/862016/stat : 862016 (Common-Cleaner) S 861995 861998 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 165953996 19498610688 109132 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
Current children cumulated CPU time: 2.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 436528 KiB
[startup+3.10578 s]
/proc/loadavg: 1.31 2.56 3.50 5/334 862019
/proc/meminfo: memFree=124921100/131524600 swapFree=131071996/131071996
[pid=861998] ppid=861995 vsize=19041612 memory=905820 CPUtime=4.09 cores=5,7
/proc/861998/stat : 861998 (java) S 861995 861998 861869 0 -1 1077936128 15623 0 0 0 389 20 0 0 20 0 19 0 165953993 19498610688 226455 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
/proc/861998/statm: 4760403 226455 5805 1 0 1607970 0
[pid=861998/tid=862000] ppid=861995 vsize=19041612 memory=0 CPUtime=2.69 cores=5,7
/proc/861998/task/862000/stat : 862000 (java) R 861995 861998 861869 0 -1 4194368 6643 0 0 0 255 14 0 0 20 0 19 0 165953993 19498610688 226455 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862009] ppid=861995 vsize=19041612 memory=13184 CPUtime=0 cores=5,7
/proc/861998/task/862009/stat : 862009 (Finalizer) S 861995 861998 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 165953996 19498610688 226455 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862016] ppid=861995 vsize=19041612 memory=469356 CPUtime=0 cores=5,7
/proc/861998/task/862016/stat : 862016 (Common-Cleaner) S 861995 861998 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 165953996 19498610688 226455 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
Current children cumulated CPU time: 4.09 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 905820 KiB
[startup+6.30463 s]
/proc/loadavg: 1.31 2.56 3.50 5/334 862019
/proc/meminfo: memFree=123895160/131524600 swapFree=131071996/131071996
[pid=861998] ppid=861995 vsize=19041612 memory=1999288 CPUtime=7.58 cores=5,7
/proc/861998/stat : 861998 (java) S 861995 861998 861869 0 -1 1077936128 16435 0 0 0 715 43 0 0 20 0 19 0 165953993 19498610688 499822 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
/proc/861998/statm: 4760403 499822 5805 1 0 1912951 0
[pid=861998/tid=862000] ppid=861995 vsize=19041612 memory=0 CPUtime=5.55 cores=5,7
/proc/861998/task/862000/stat : 862000 (java) S 861995 861998 861869 0 -1 1077936192 7016 0 0 0 526 29 0 0 20 0 19 0 165953993 19498610688 499822 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862009] ppid=861995 vsize=19041612 memory=447008 CPUtime=0 cores=5,7
/proc/861998/task/862009/stat : 862009 (Finalizer) S 861995 861998 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 165953996 19498610688 499822 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862016] ppid=861995 vsize=19041612 memory=228489167166 CPUtime=0 cores=5,7
/proc/861998/task/862016/stat : 862016 (Common-Cleaner) S 861995 861998 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 165953996 19498610688 499822 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
Current children cumulated CPU time: 7.58 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1999288 KiB
[startup+12.7003 s]
/proc/loadavg: 1.81 2.63 3.51 5/335 862021
/proc/meminfo: memFree=122967084/131524600 swapFree=131071996/131071996
[pid=861998] ppid=861995 vsize=19041612 memory=3155060 CPUtime=14.49 cores=5,7
/proc/861998/stat : 861998 (java) S 861995 861998 861869 0 -1 1077936128 18059 0 0 0 1382 67 0 0 20 0 19 0 165953993 19498610688 788765 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
/proc/861998/statm: 4760403 788765 5805 1 0 2148991 0
[pid=861998/tid=862000] ppid=861995 vsize=19041612 memory=2775204 CPUtime=11.34 cores=5,7
/proc/861998/task/862000/stat : 862000 (java) R 861995 861998 861869 0 -1 4194368 7587 0 0 0 1085 49 0 0 20 0 19 0 165953993 19498610688 788765 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862009] ppid=861995 vsize=19041612 memory=2719700 CPUtime=0 cores=5,7
/proc/861998/task/862009/stat : 862009 (Finalizer) S 861995 861998 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 165953996 19498610688 788765 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862016] ppid=861995 vsize=19041612 memory=14130043794228969 CPUtime=0 cores=5,7
/proc/861998/task/862016/stat : 862016 (Common-Cleaner) S 861995 861998 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 165953996 19498610688 788765 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
Current children cumulated CPU time: 14.49 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3155060 KiB
[startup+25.5003 s]
/proc/loadavg: 2.22 2.69 3.52 5/335 862023
/proc/meminfo: memFree=121683784/131524600 swapFree=131071996/131071996
[pid=861998] ppid=861995 vsize=19041612 memory=3994468 CPUtime=28.24 cores=5,7
/proc/861998/stat : 861998 (java) S 861995 861998 861869 0 -1 1077936128 22560 0 0 0 2732 92 0 0 20 0 19 0 165953993 19498610688 998617 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
/proc/861998/statm: 4760403 998617 5805 1 0 2232559 0
[pid=861998/tid=862000] ppid=861995 vsize=19041612 memory=3842688 CPUtime=22.95 cores=5,7
/proc/861998/task/862000/stat : 862000 (java) R 861995 861998 861869 0 -1 4194368 8466 0 0 0 2231 64 0 0 20 0 19 0 165953993 19498610688 998617 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862009] ppid=861995 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/861998/task/862009/stat : 862009 (Finalizer) S 861995 861998 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 165953996 19498610688 998617 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862016] ppid=861995 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/861998/task/862016/stat : 862016 (Common-Cleaner) S 861995 861998 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 165953996 19498610688 998617 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
Current children cumulated CPU time: 28.24 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3994468 KiB
[startup+51.1057 s]
/proc/loadavg: 2.83 2.80 3.53 5/336 862028
/proc/meminfo: memFree=120880480/131524600 swapFree=131071996/131071996
[pid=861998] ppid=861995 vsize=19108176 memory=4565508 CPUtime=55.52 cores=5,7
/proc/861998/stat : 861998 (java) S 861995 861998 861869 0 -1 1077936128 31769 0 0 0 5443 109 0 0 20 0 20 0 165953993 19566772224 1141377 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
/proc/861998/statm: 4777044 1141377 5890 1 0 2314472 0
[pid=861998/tid=862000] ppid=861995 vsize=19108176 memory=4565296 CPUtime=47.91 cores=5,7
/proc/861998/task/862000/stat : 862000 (java) R 861995 861998 861869 0 -1 4194368 12903 0 0 0 4716 75 0 0 20 0 20 0 165953993 19566772224 1141377 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862009] ppid=861995 vsize=19108176 memory=3185780 CPUtime=0 cores=5,7
/proc/861998/task/862009/stat : 862009 (Finalizer) S 861995 861998 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165953996 19566772224 1141377 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862016] ppid=861995 vsize=19108176 memory=909916 CPUtime=0 cores=5,7
/proc/861998/task/862016/stat : 862016 (Common-Cleaner) S 861995 861998 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 165953996 19566772224 1141377 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862025] ppid=861995 vsize=19108176 memory=164 CPUtime=0 cores=5,7
/proc/861998/task/862025/stat : 862025 (Timer-0) S 861995 861998 861869 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 165957016 19566772224 1141377 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
Current children cumulated CPU time: 55.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4565508 KiB
[startup+102.3 s]
/proc/loadavg: 3.62 3.02 3.57 5/334 862039
/proc/meminfo: memFree=120527056/131524600 swapFree=131071996/131071996
[pid=861998] ppid=861995 vsize=19108176 memory=4566736 CPUtime=106.96 cores=5,7
################
# More data... #
################
/proc/meminfo: memFree=106273644/131524600 swapFree=131071996/131071996
[pid=861998] ppid=861995 vsize=19108176 memory=9731608 CPUtime=3237.04 cores=5,7
/proc/861998/stat : 861998 (java) S 861995 861998 861869 0 -1 1077936128 292537 0 0 0 323358 346 0 0 20 0 20 0 165953993 19566772224 2432902 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
/proc/861998/statm: 4777044 2432902 5944 1 0 2488217 0
[pid=861998/tid=862000] ppid=861995 vsize=19108176 memory=11588 CPUtime=3204.08 cores=5,7
/proc/861998/task/862000/stat : 862000 (java) R 861995 861998 861869 0 -1 4194368 142497 0 0 0 320310 98 0 0 20 0 20 0 165953993 19566772224 2432902 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862009] ppid=861995 vsize=19108176 memory=9731608 CPUtime=0 cores=5,7
/proc/861998/task/862009/stat : 862009 (Finalizer) S 861995 861998 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165953996 19566772224 2432902 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862016] ppid=861995 vsize=19108176 memory=9731608 CPUtime=0 cores=5,7
/proc/861998/task/862016/stat : 862016 (Common-Cleaner) S 861995 861998 861869 0 -1 1077936192 5792 0 0 0 0 0 0 0 20 0 20 0 165953996 19566772224 2432902 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862025] ppid=861995 vsize=19108176 memory=9731608 CPUtime=0 cores=5,7
/proc/861998/task/862025/stat : 862025 (Timer-0) S 861995 861998 861869 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 165957016 19566772224 2432902 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
Current children cumulated CPU time: 3237.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9731608 KiB
[startup+3282.3 s]
/proc/loadavg: 4.76 4.37 4.19 5/330 863792
/proc/meminfo: memFree=106203112/131524600 swapFree=131071996/131071996
[pid=861998] ppid=861995 vsize=19108176 memory=9733656 CPUtime=3297.12 cores=5,7
/proc/861998/stat : 861998 (java) S 861995 861998 861869 0 -1 1077936128 298157 0 0 0 329364 348 0 0 20 0 20 0 165953993 19566772224 2433414 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
/proc/861998/statm: 4777044 2433414 5944 1 0 2488217 0
[pid=861998/tid=862000] ppid=861995 vsize=19108176 memory=9733656 CPUtime=3263.49 cores=5,7
/proc/861998/task/862000/stat : 862000 (java) R 861995 861998 861869 0 -1 4194368 145109 0 0 0 326251 98 0 0 20 0 20 0 165953993 19566772224 2433414 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862009] ppid=861995 vsize=19108176 memory=9733656 CPUtime=0 cores=5,7
/proc/861998/task/862009/stat : 862009 (Finalizer) S 861995 861998 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165953996 19566772224 2433414 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862016] ppid=861995 vsize=19108176 memory=1928 CPUtime=0 cores=5,7
/proc/861998/task/862016/stat : 862016 (Common-Cleaner) S 861995 861998 861869 0 -1 1077936192 5838 0 0 0 0 0 0 0 20 0 20 0 165953996 19566772224 2433414 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862025] ppid=861995 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/861998/task/862025/stat : 862025 (Timer-0) S 861995 861998 861869 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 165957016 19566772224 2433414 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
Current children cumulated CPU time: 3297.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9733656 KiB
[startup+3342.3 s]
/proc/loadavg: 4.57 4.39 4.21 5/330 863802
/proc/meminfo: memFree=106111608/131524600 swapFree=131071996/131071996
[pid=861998] ppid=861995 vsize=19108176 memory=9733656 CPUtime=3356.89 cores=5,7
/proc/861998/stat : 861998 (java) S 861995 861998 861869 0 -1 1077936128 300312 0 0 0 335339 350 0 0 20 0 20 0 165953993 19566772224 2433414 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
/proc/861998/statm: 4777044 2433414 5944 1 0 2488217 0
[pid=861998/tid=862000] ppid=861995 vsize=19108176 memory=9733656 CPUtime=3323.24 cores=5,7
/proc/861998/task/862000/stat : 862000 (java) R 861995 861998 861869 0 -1 4194368 146980 0 0 0 332225 99 0 0 20 0 20 0 165953993 19566772224 2433414 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862009] ppid=861995 vsize=19108176 memory=9733656 CPUtime=0 cores=5,7
/proc/861998/task/862009/stat : 862009 (Finalizer) S 861995 861998 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165953996 19566772224 2433414 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862016] ppid=861995 vsize=19108176 memory=9733656 CPUtime=0 cores=5,7
/proc/861998/task/862016/stat : 862016 (Common-Cleaner) S 861995 861998 861869 0 -1 1077936192 5960 0 0 0 0 0 0 0 20 0 20 0 165953996 19566772224 2433414 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862025] ppid=861995 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/861998/task/862025/stat : 862025 (Timer-0) S 861995 861998 861869 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 165957016 19566772224 2433414 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
Current children cumulated CPU time: 3356.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9733656 KiB
[startup+3402.3 s]
/proc/loadavg: 4.29 4.35 4.21 5/330 863813
/proc/meminfo: memFree=106106704/131524600 swapFree=131071996/131071996
[pid=861998] ppid=861995 vsize=19108176 memory=9737764 CPUtime=3417.16 cores=5,7
/proc/861998/stat : 861998 (java) S 861995 861998 861869 0 -1 1077936128 304778 0 0 0 341363 353 0 0 20 0 20 0 165953993 19566772224 2434441 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
/proc/861998/statm: 4777044 2434441 5944 1 0 2488217 0
[pid=861998/tid=862000] ppid=861995 vsize=19108176 memory=9733656 CPUtime=3382.74 cores=5,7
/proc/861998/task/862000/stat : 862000 (java) R 861995 861998 861869 0 -1 4194368 148226 0 0 0 338175 99 0 0 20 0 20 0 165953993 19566772224 2434441 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862009] ppid=861995 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/861998/task/862009/stat : 862009 (Finalizer) S 861995 861998 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165953996 19566772224 2434441 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862016] ppid=861995 vsize=19108176 memory=-8814777484610740924 CPUtime=0 cores=5,7
/proc/861998/task/862016/stat : 862016 (Common-Cleaner) S 861995 861998 861869 0 -1 1077936192 6133 0 0 0 0 0 0 0 20 0 20 0 165953996 19566772224 2434441 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862025] ppid=861995 vsize=19108176 memory=9737764 CPUtime=0 cores=5,7
/proc/861998/task/862025/stat : 862025 (Timer-0) S 861995 861998 861869 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 165957016 19566772224 2434441 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
Current children cumulated CPU time: 3417.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9737764 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.31 4.20 5/330 863824
/proc/meminfo: memFree=106105912/131524600 swapFree=131071996/131071996
[pid=861998] ppid=861995 vsize=19108176 memory=9737764 CPUtime=3477.06 cores=5,7
/proc/861998/stat : 861998 (java) S 861995 861998 861869 0 -1 1077936128 306626 0 0 0 347351 355 0 0 20 0 20 0 165953993 19566772224 2434441 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
/proc/861998/statm: 4777044 2434441 5944 1 0 2488217 0
[pid=861998/tid=862000] ppid=861995 vsize=19108176 memory=9733656 CPUtime=3442.61 cores=5,7
/proc/861998/task/862000/stat : 862000 (java) R 861995 861998 861869 0 -1 4194368 150060 0 0 0 344162 99 0 0 20 0 20 0 165953993 19566772224 2434441 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862009] ppid=861995 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/861998/task/862009/stat : 862009 (Finalizer) S 861995 861998 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165953996 19566772224 2434441 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862016] ppid=861995 vsize=19108176 memory=1928 CPUtime=0 cores=5,7
/proc/861998/task/862016/stat : 862016 (Common-Cleaner) S 861995 861998 861869 0 -1 1077936192 6134 0 0 0 0 0 0 0 20 0 20 0 165953996 19566772224 2434441 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862025] ppid=861995 vsize=19108176 memory=-7521142935701054329 CPUtime=0 cores=5,7
/proc/861998/task/862025/stat : 862025 (Timer-0) S 861995 861998 861869 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 165957016 19566772224 2434441 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
Current children cumulated CPU time: 3477.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9737764 KiB
[startup+3522.3 s]
/proc/loadavg: 4.30 4.31 4.21 5/330 863834
/proc/meminfo: memFree=106105320/131524600 swapFree=131071996/131071996
[pid=861998] ppid=861995 vsize=19108176 memory=9737764 CPUtime=3536.96 cores=5,7
/proc/861998/stat : 861998 (java) S 861995 861998 861869 0 -1 1077936128 309543 0 0 0 353339 357 0 0 20 0 20 0 165953993 19566772224 2434441 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
/proc/861998/statm: 4777044 2434441 5944 1 0 2488217 0
[pid=861998/tid=862000] ppid=861995 vsize=19108176 memory=9737764 CPUtime=3502.47 cores=5,7
/proc/861998/task/862000/stat : 862000 (java) R 861995 861998 861869 0 -1 4194368 152722 0 0 0 350148 99 0 0 20 0 20 0 165953993 19566772224 2434441 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862009] ppid=861995 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/861998/task/862009/stat : 862009 (Finalizer) S 861995 861998 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165953996 19566772224 2434441 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862016] ppid=861995 vsize=19108176 memory=9737764 CPUtime=0 cores=5,7
/proc/861998/task/862016/stat : 862016 (Common-Cleaner) S 861995 861998 861869 0 -1 1077936192 6218 0 0 0 0 0 0 0 20 0 20 0 165953996 19566772224 2434441 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862025] ppid=861995 vsize=19108176 memory=9737764 CPUtime=0 cores=5,7
/proc/861998/task/862025/stat : 862025 (Timer-0) S 861995 861998 861869 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 165957016 19566772224 2434441 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
Current children cumulated CPU time: 3536.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9737764 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.25 4.19 5/332 863848
/proc/meminfo: memFree=106102220/131524600 swapFree=131071996/131071996
[pid=861998] ppid=861995 vsize=19108176 memory=9739812 CPUtime=3597.18 cores=5,7
/proc/861998/stat : 861998 (java) S 861995 861998 861869 0 -1 1077936128 314018 0 0 0 359359 359 0 0 20 0 20 0 165953993 19566772224 2434953 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
/proc/861998/statm: 4777044 2434953 5944 1 0 2488217 0
[pid=861998/tid=862000] ppid=861995 vsize=19108176 memory=9739812 CPUtime=3561.98 cores=5,7
/proc/861998/task/862000/stat : 862000 (java) R 861995 861998 861869 0 -1 4194368 154482 0 0 0 356098 100 0 0 20 0 20 0 165953993 19566772224 2434953 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862009] ppid=861995 vsize=19108176 memory=13184 CPUtime=0 cores=5,7
/proc/861998/task/862009/stat : 862009 (Finalizer) S 861995 861998 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165953996 19566772224 2434953 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862016] ppid=861995 vsize=19108176 memory=5516 CPUtime=0 cores=5,7
/proc/861998/task/862016/stat : 862016 (Common-Cleaner) S 861995 861998 861869 0 -1 1077936192 6362 0 0 0 0 0 0 0 20 0 20 0 165953996 19566772224 2434953 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862025] ppid=861995 vsize=19108176 memory=19652 CPUtime=0 cores=5,7
/proc/861998/task/862025/stat : 862025 (Timer-0) S 861995 861998 861869 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 165957016 19566772224 2434953 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
Current children cumulated CPU time: 3597.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9739812 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3585.2 s]
/proc/loadavg: 4.10 4.25 4.19 5/332 863848
/proc/meminfo: memFree=106102220/131524600 swapFree=131071996/131071996
[pid=861998] ppid=861995 vsize=19108176 memory=9739812 CPUtime=3600.07 cores=5,7
/proc/861998/stat : 861998 (java) S 861995 861998 861869 0 -1 1077936128 314096 0 0 0 359648 359 0 0 20 0 20 0 165953993 19566772224 2434953 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
/proc/861998/statm: 4777044 2434953 5944 1 0 2488217 0
[pid=861998/tid=862000] ppid=861995 vsize=19108176 memory=88 CPUtime=3564.88 cores=5,7
/proc/861998/task/862000/stat : 862000 (java) R 861995 861998 861869 0 -1 4194368 154560 0 0 0 356388 100 0 0 20 0 20 0 165953993 19566772224 2434953 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862009] ppid=861995 vsize=19108176 memory=2 CPUtime=0 cores=5,7
/proc/861998/task/862009/stat : 862009 (Finalizer) S 861995 861998 861869 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165953996 19566772224 2434953 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862016] ppid=861995 vsize=19108176 memory=2 CPUtime=0 cores=5,7
/proc/861998/task/862016/stat : 862016 (Common-Cleaner) S 861995 861998 861869 0 -1 1077936192 6362 0 0 0 0 0 0 0 20 0 20 0 165953996 19566772224 2434953 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
[pid=861998/tid=862025] ppid=861995 vsize=19108176 memory=39440 CPUtime=0 cores=5,7
/proc/861998/task/862025/stat : 862025 (Timer-0) S 861995 861998 861869 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 165957016 19566772224 2434953 134679101440 93939081826304 93939081830000 140728795736064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93939081837816 93939081838608 93939084214272 140728795743239 140728795743329 140728795743329 140728795750344 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9739812 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3585.28 s]
# the end of solver process 861998 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.58 s, system=3.62745 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3585.28
CPU time (s): 3600.21
CPU user time (s): 3596.58
CPU system time (s): 3.62745
CPU usage (%): 100.416
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 9739812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.58
system time used= 3.62745
maximum resident set size= 9741360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 317830
page faults= 0
swaps= 0
block input operations= 32
block output operations= 2968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123804
involuntary context switches= 3550
# summary of solver processes directly reported to runsolver:
# pid: 861998
# total CPU time (s): 3600.21
# total CPU user time (s): 3596.58
# total CPU system time (s): 3.62745
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.4063 second user time and 18.6286 second system time
The end
Begin job on nodeC035 at 2024-07-16 15:50:44 IDJOB=4432438 IDBENCH=155401 IDSOLVER=3058 FILE ID=nodeC035/4432438-1721137828 RUNJOBID= nodeC035-1721137841-861882 SLURM_JOB_ID= 7505712 Free space on /tmp= 889368 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-sbox_8_shg.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432438-1721137828/watcher-4432438-1721137828 -o /tmp/evaluation-result-4432438-1721137828/solver-4432438-1721137828 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721137841-861882 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432438-1721137828.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= de975147a543f81642d44481372d34a3 RANDOM SEED=1796931164 nodeC035.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 : 3599.823 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.65 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 : 3672.485 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.79 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 : 3600.084 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.65 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 : 3601.920 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.79 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 : 3599.823 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.65 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 : 3600.202 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.79 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 : 3599.824 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.65 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 : 3601.119 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.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125948696 kB MemAvailable: 127223204 kB Buffers: 393592 kB Cached: 1711032 kB SwapCached: 0 kB Active: 828360 kB Inactive: 4128692 kB Active(anon): 1536 kB Inactive(anon): 2888608 kB Active(file): 826824 kB Inactive(file): 1240084 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 717400 kB Writeback: 0 kB AnonPages: 2852520 kB Mapped: 124732 kB Shmem: 37724 kB KReclaimable: 94844 kB Slab: 200812 kB SReclaimable: 94844 kB SUnreclaim: 105968 kB KernelStack: 5040 kB PageTables: 15232 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 11650700 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 64128 kB HardwareCorrupted: 0 kB AnonHugePages: 2400256 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: 199380 kB DirectMap2M: 18448384 kB DirectMap1G: 117440512 kB Free space on /tmp at the end= 889368 MiB End job on nodeC035 at 2024-07-16 16:50:29