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.38 | 3600.21 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mds/normalized-mds_500_60_3.opb |
| MD5SUM | 473f4f01ea80639962d90e3c1fd9a037 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 14 |
| Best CPU time to get the best result obtained on this benchmark | 3588.18 |
| 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 | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 61 |
| Maximum length of a constraint | 111 |
| Number of terms in the objective function | 500 |
| 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 | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 37460 |
| Sum of products size (including duplicates) | 74920 |
| Number of different products | 37460 |
| Sum of products size | 74920 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.12/0.13 c version CUSTOM.v20240707 0.12/0.14 c java.runtime.name OpenJDK Runtime Environment 0.12/0.14 c java.vm.name OpenJDK 64-Bit Server VM 0.12/0.14 c java.vm.version 22.0.1+8-16 0.12/0.14 c java.vm.vendor Oracle Corporation 0.12/0.14 c sun.arch.data.model 64 0.12/0.14 c java.version 22.0.1 0.12/0.14 c os.name Linux 0.12/0.14 c os.version 4.18.0-301.1.el8.x86_64 0.12/0.14 c os.arch amd64 0.12/0.14 c Free memory 2113181440 0.12/0.14 c Max memory 16282288128 0.12/0.14 c Total memory 2122317824 0.12/0.14 c Number of processors 2 0.12/0.18 --- Begin Solver configuration --- 0.12/0.18 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.12/0.18 Learn all clauses as in MiniSAT 0.12/0.18 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.18 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.18 No reason simplification 0.12/0.18 Glucose 2.1 dynamic restart strategy 0.12/0.18 Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.12/0.18 timeout=2147483s 0.12/0.18 DB Simplification allowed=false 0.12/0.18 Listener: none 0.12/0.18 --- End Solver configuration --- 0.12/0.18 c Pseudo Boolean Optimization by upper bound 0.12/0.18 c --- Begin Solver configuration --- 0.12/0.18 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.12/0.18 c Learn all clauses as in MiniSAT 0.12/0.18 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.18 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.18 c No reason simplification 0.12/0.18 c Glucose 2.1 dynamic restart strategy 0.12/0.18 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.12/0.18 c timeout=2147483s 0.12/0.18 c DB Simplification allowed=false 0.12/0.18 c Listener: none 0.12/0.18 c --- End Solver configuration --- 0.12/0.18 c solving HOME/instance-4459847-1721943058.opb 0.12/0.18 c reading problem ... 0.12/0.19 c objective function found 1.04/0.63 c ... done. Wall clock time 0.441s. 1.04/0.63 c declared #vars 500 1.04/0.63 c internal #vars 37960 1.04/0.63 c #constraints 75420 1.04/0.63 c constraints type 1.04/0.63 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37460 1.04/0.63 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 37960 1.04/0.63 c 75420 constraints processed. 1.04/0.64 c objective function length is 500 literals 1.37/0.81 c SATISFIABLE 1.37/0.81 c OPTIMIZING... 1.37/0.81 c Got one! Elapsed wall clock time (in seconds):0.627 1.37/0.81 o 24 1.57/0.96 c Got one! Elapsed wall clock time (in seconds):0.776 1.57/0.97 o 23 2.55/1.41 c Got one! Elapsed wall clock time (in seconds):1.217 2.55/1.41 o 22 16.46/13.69 c cleaning 2915 clauses out of 5832 with flag 18843/5832 49.99/46.73 c cleaning 4406 clauses out of 8916 with flag 41775/11831 86.80/83.44 c cleaning 5754 clauses out of 11509 with flag 68104/18830 131.64/128.38 c cleaning 6876 clauses out of 13760 with flag 102692/26835 178.12/174.63 c cleaning 7934 clauses out of 15879 with flag 144536/35830 235.78/232.31 c cleaning 8974 clauses out of 17948 with flag 184418/45833 292.61/289.20 c cleaning 9961 clauses out of 19973 with flag 238318/56832 358.42/355.15 c cleaning 10978 clauses out of 22010 with flag 290920/68830 437.55/434.32 c cleaning 11994 clauses out of 24033 with flag 342256/81831 524.00/520.85 c cleaning 13003 clauses out of 26038 with flag 401564/95830 616.20/613.16 c cleaning 14007 clauses out of 28035 with flag 461340/110830 714.03/711.10 c cleaning 14996 clauses out of 30031 with flag 527697/126833 823.81/820.83 c cleaning 16019 clauses out of 32038 with flag 598051/143836 935.31/932.30 c cleaning 17007 clauses out of 34013 with flag 672870/161830 1062.33/1059.47 c cleaning 18003 clauses out of 36006 with flag 751076/180830 1188.37/1185.68 c cleaning 18985 clauses out of 38003 with flag 832521/200830 1327.01/1324.43 c cleaning 19990 clauses out of 40018 with flag 918885/221830 1465.75/1463.31 c cleaning 21008 clauses out of 42030 with flag 1010447/243832 1616.65/1614.40 c cleaning 22000 clauses out of 44022 with flag 1108875/266832 1763.54/1761.41 c cleaning 23007 clauses out of 46020 with flag 1220446/290830 1912.22/1910.23 c cleaning 23970 clauses out of 48013 with flag 1334925/315830 2069.19/2067.48 c cleaning 25002 clauses out of 50043 with flag 1453178/341830 2232.68/2231.03 c cleaning 26013 clauses out of 52041 with flag 1575159/368830 2399.62/2398.11 c cleaning 26992 clauses out of 54028 with flag 1695308/396830 2596.59/2595.40 c cleaning 27997 clauses out of 56036 with flag 1819558/425830 2787.38/2786.46 c cleaning 29018 clauses out of 58039 with flag 1947636/455830 2984.08/2983.35 c cleaning 29968 clauses out of 60021 with flag 2074576/486830 3175.77/3175.21 c cleaning 31014 clauses out of 62054 with flag 2218477/518831 3386.22/3386.04 c cleaning 31985 clauses out of 64040 with flag 2360672/551831 3600.00/3600.03 c starts : 1486 3600.00/3600.06 c conflicts : 585408 3600.00/3600.06 c decisions : 3657904 3600.00/3600.06 c propagations : 4646300902 3600.00/3600.06 c inspects : 21711685666 3600.00/3600.06 c shortcuts : 0 3600.00/3600.06 c learnt literals : 0 3600.00/3600.06 c learnt binary clauses : 0 3600.00/3600.06 c learnt ternary clauses : 2 3600.00/3600.06 c learnt constraints : 585408 3600.00/3600.06 c ignored constraints : 0 3600.00/3600.07 c root simplifications : 0 3600.00/3600.07 c removed literals (reason simplification) : 0 3600.00/3600.08 c reason swapping (by a shorter reason) : 0 3600.00/3600.08 c Calls to reduceDB : 29 3600.00/3600.08 c Number of update (reduction) of LBD : 408128 3600.00/3600.08 c Imported unit clauses : 0 3600.00/3600.08 c No decision after first conflict : false 3600.00/3600.08 c number of reductions to clauses (during analyze) : 0 3600.00/3600.08 c number of learned constraints concerned by reduction : 0 3600.00/3600.08 c number of learning phase by resolution : 0 3600.00/3600.08 c number of learning phase by cutting planes : 0 3600.00/3600.08 c number of rounding to 1 operations : 0 3600.00/3600.08 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.00/3600.08 c number of reductions of the coefficients by power 2 : 0 3600.00/3600.08 c number of right shift for reduction by power 2 : 0 3600.00/3600.08 c number of reductions of the coefficients by GCD over coefficients : 0 3600.00/3600.08 c number of ending skipping : 0 3600.00/3600.08 c number of internal skipping : 0 3600.00/3600.08 c number of derivation steps : 0 3600.00/3600.08 c number of skipped derivation steps : 0 3600.00/3600.08 c number of remaining unassigned : 0 3600.00/3600.08 c number of remaining assigned : 0 3600.00/3600.08 c number of falsified literals weakened from reason : 0 3600.00/3600.08 c number of falsified literals weakened from conflict : 0 3600.00/3600.08 c time for arithmetic operations : 0 3600.00/3600.08 c minimum degree of deleted constraints : null 3600.00/3600.09 c maximum degree of deleted constraints : null 3600.00/3600.10 c number of deleted constraints : 0 3600.00/3600.10 c speed (assignments/second) : 1290840.6540132097 3600.00/3600.11 c non guided choices : 0 3600.19/3600.20 c timeout 3600.19/3600.20 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.36/3600.20 at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1962) 3600.36/3600.20 at org.sat4j.minisat.core.Solver.printStat(Solver.java:2108) 3600.36/3600.20 at org.sat4j.minisat.core.Solver.printStat(Solver.java:2099) 3600.36/3600.20 at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:180) 3600.36/3600.20 at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93) 3600.36/3600.20 at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122) 3600.36/3600.20 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: 64059 MiB (40904 MiB free)
memory of node 1: 64510 MiB (52744 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459847-1721943058/watcher-4459847-1721943058 -o /tmp/evaluation-result-4459847-1721943058/solver-4459847-1721943058 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721939462-251132 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4459847-1721943058.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=253480, runsolver pid=253477
[startup+0.100634 s]*
/proc/loadavg: 4.19 4.22 4.17 4/319 253498
/proc/meminfo: memFree=95858300/131655788 swapFree=131062644/131071996
[pid=253480] ppid=253477 vsize=18975048 memory=57748 CPUtime=0.12 cores=5,7
/proc/253480/stat : 253480 (java) S 253477 253480 251119 0 -1 1077936128 6521 0 0 0 9 3 0 0 20 0 18 0 30294832 19430449152 14437 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
/proc/253480/statm: 4743762 14437 5543 1 0 550924 0
[pid=253480/tid=253482] ppid=253477 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/253480/task/253482/stat : 253482 (java) R 253477 253480 251119 0 -1 1078198336 5497 0 0 0 6 2 0 0 20 0 18 0 30294833 19430449152 14437 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253491] ppid=253477 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/253480/task/253491/stat : 253491 (Finalizer) S 253477 253480 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30294837 19430449152 14437 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253498] ppid=253477 vsize=18975048 memory=3834596516937596960 CPUtime=0 cores=5,7
/proc/253480/task/253498/stat : 253498 (Common-Cleaner) S 253477 253480 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 30294838 19430449152 14437 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57748 KiB
[startup+0.213558 s]*
/proc/loadavg: 4.19 4.22 4.17 7/319 253498
/proc/meminfo: memFree=95848740/131655788 swapFree=131062644/131071996
[pid=253480] ppid=253477 vsize=18975048 memory=70132 CPUtime=0.35 cores=5,7
/proc/253480/stat : 253480 (java) S 253477 253480 251119 0 -1 1077936128 7361 0 0 0 31 4 0 0 20 0 18 0 30294832 19430449152 17533 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
/proc/253480/statm: 4743762 17533 5755 1 0 551658 0
[pid=253480/tid=253482] ppid=253477 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/253480/task/253482/stat : 253482 (java) R 253477 253480 251119 0 -1 4194368 5865 0 0 0 17 2 0 0 20 0 18 0 30294833 19430449152 17533 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253491] ppid=253477 vsize=18975048 memory=1122407 CPUtime=0 cores=5,7
/proc/253480/task/253491/stat : 253491 (Finalizer) S 253477 253480 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30294837 19430449152 17533 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253498] ppid=253477 vsize=18975048 memory=14131147651172177 CPUtime=0 cores=5,7
/proc/253480/task/253498/stat : 253498 (Common-Cleaner) S 253477 253480 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 30294838 19430449152 17533 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 70132 KiB
[startup+0.327295 s]*
/proc/loadavg: 4.19 4.22 4.17 7/319 253498
/proc/meminfo: memFree=95842148/131655788 swapFree=131062644/131071996
[pid=253480] ppid=253477 vsize=18975048 memory=75136 CPUtime=0.52 cores=5,7
/proc/253480/stat : 253480 (java) S 253477 253480 251119 0 -1 1077936128 7450 0 0 0 48 4 0 0 20 0 18 0 30294832 19430449152 18784 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
/proc/253480/statm: 4743762 18784 5841 1 0 551688 0
[pid=253480/tid=253482] ppid=253477 vsize=18975048 memory=-8671230735473681084 CPUtime=0.3 cores=5,7
/proc/253480/task/253482/stat : 253482 (java) R 253477 253480 251119 0 -1 4194368 5882 0 0 0 27 3 0 0 20 0 18 0 30294833 19430449152 18784 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253491] ppid=253477 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/253480/task/253491/stat : 253491 (Finalizer) S 253477 253480 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30294837 19430449152 18784 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253498] ppid=253477 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/253480/task/253498/stat : 253498 (Common-Cleaner) S 253477 253480 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 30294838 19430449152 18784 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 75136 KiB
[startup+0.701291 s]
/proc/loadavg: 4.19 4.22 4.17 6/319 253498
/proc/meminfo: memFree=95795956/131655788 swapFree=131062644/131071996
[pid=253480] ppid=253477 vsize=19108436 memory=176536 CPUtime=1.18 cores=5,7
/proc/253480/stat : 253480 (java) S 253477 253480 251119 0 -1 1077936128 12737 0 0 0 110 8 0 0 20 0 20 0 30294832 19567038464 44134 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
/proc/253480/statm: 4777109 44134 5878 1 0 555758 0
[pid=253480/tid=253482] ppid=253477 vsize=19108436 memory=5456 CPUtime=0.61 cores=5,7
/proc/253480/task/253482/stat : 253482 (java) S 253477 253480 251119 0 -1 1077936192 6028 0 0 0 57 4 0 0 20 0 20 0 30294833 19567038464 44134 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253491] ppid=253477 vsize=19108436 memory=12108 CPUtime=0 cores=5,7
/proc/253480/task/253491/stat : 253491 (Finalizer) S 253477 253480 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30294837 19567038464 44134 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253498] ppid=253477 vsize=19108436 memory=0 CPUtime=0 cores=5,7
/proc/253480/task/253498/stat : 253498 (Common-Cleaner) S 253477 253480 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30294838 19567038464 44134 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 19108436 KiB
Current children cumulated memory: 176536 KiB
[startup+1.50129 s]
/proc/loadavg: 4.19 4.22 4.17 6/321 253500
/proc/meminfo: memFree=95700156/131655788 swapFree=131062644/131071996
[pid=253480] ppid=253477 vsize=19108176 memory=217436 CPUtime=2.75 cores=5,7
/proc/253480/stat : 253480 (java) S 253477 253480 251119 0 -1 1077936128 16833 0 0 0 265 10 0 0 20 0 20 0 30294832 19566772224 54359 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
/proc/253480/statm: 4777044 54359 5894 1 0 558399 0
[pid=253480/tid=253482] ppid=253477 vsize=19108176 memory=12108 CPUtime=1.32 cores=5,7
/proc/253480/task/253482/stat : 253482 (java) R 253477 253480 251119 0 -1 4194368 6074 0 0 0 128 4 0 0 20 0 20 0 30294833 19566772224 54359 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253491] ppid=253477 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/253480/task/253491/stat : 253491 (Finalizer) S 253477 253480 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30294837 19566772224 54359 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253498] ppid=253477 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/253480/task/253498/stat : 253498 (Common-Cleaner) S 253477 253480 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30294838 19566772224 54359 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253499] ppid=253477 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/253480/task/253499/stat : 253499 (Timer-0) S 253477 253480 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30294897 19566772224 54359 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 217436 KiB
[startup+3.10556 s]
/proc/loadavg: 4.33 4.25 4.18 6/321 253500
/proc/meminfo: memFree=95695948/131655788 swapFree=131062644/131071996
[pid=253480] ppid=253477 vsize=19108176 memory=220348 CPUtime=5.85 cores=5,7
/proc/253480/stat : 253480 (java) S 253477 253480 251119 0 -1 1077936128 25740 0 0 0 573 12 0 0 20 0 20 0 30294832 19566772224 55087 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
/proc/253480/statm: 4777044 55087 5894 1 0 558926 0
[pid=253480/tid=253482] ppid=253477 vsize=19108176 memory=0 CPUtime=2.92 cores=5,7
/proc/253480/task/253482/stat : 253482 (java) R 253477 253480 251119 0 -1 4194368 6160 0 0 0 288 4 0 0 20 0 20 0 30294833 19566772224 55087 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253491] ppid=253477 vsize=19108176 memory=11756 CPUtime=0 cores=5,7
/proc/253480/task/253491/stat : 253491 (Finalizer) S 253477 253480 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30294837 19566772224 55087 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253498] ppid=253477 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/253480/task/253498/stat : 253498 (Common-Cleaner) S 253477 253480 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30294838 19566772224 55087 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253499] ppid=253477 vsize=19108176 memory=12108 CPUtime=0 cores=5,7
/proc/253480/task/253499/stat : 253499 (Timer-0) S 253477 253480 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30294897 19566772224 55087 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
Current children cumulated CPU time: 5.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 220348 KiB
[startup+6.30046 s]
/proc/loadavg: 4.33 4.25 4.18 5/321 253500
/proc/meminfo: memFree=95701304/131655788 swapFree=131062644/131071996
[pid=253480] ppid=253477 vsize=19108176 memory=214760 CPUtime=9.13 cores=5,7
/proc/253480/stat : 253480 (java) S 253477 253480 251119 0 -1 1077936128 26332 0 0 0 901 12 0 0 20 0 20 0 30294832 19566772224 53690 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
/proc/253480/statm: 4777044 53690 5894 1 0 558926 0
[pid=253480/tid=253482] ppid=253477 vsize=19108176 memory=0 CPUtime=6.1 cores=5,7
/proc/253480/task/253482/stat : 253482 (java) R 253477 253480 251119 0 -1 4194368 6403 0 0 0 606 4 0 0 20 0 20 0 30294833 19566772224 53690 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253491] ppid=253477 vsize=19108176 memory=12108 CPUtime=0 cores=5,7
/proc/253480/task/253491/stat : 253491 (Finalizer) S 253477 253480 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30294837 19566772224 53690 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253498] ppid=253477 vsize=19108176 memory=11756 CPUtime=0 cores=5,7
/proc/253480/task/253498/stat : 253498 (Common-Cleaner) S 253477 253480 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30294838 19566772224 53690 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253499] ppid=253477 vsize=19108176 memory=69356 CPUtime=0 cores=5,7
/proc/253480/task/253499/stat : 253499 (Timer-0) S 253477 253480 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30294897 19566772224 53690 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
Current children cumulated CPU time: 9.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 214760 KiB
[startup+12.7005 s]
/proc/loadavg: 4.30 4.24 4.18 5/321 253501
/proc/meminfo: memFree=95701300/131655788 swapFree=131062644/131071996
[pid=253480] ppid=253477 vsize=19108176 memory=214944 CPUtime=15.56 cores=5,7
/proc/253480/stat : 253480 (java) S 253477 253480 251119 0 -1 1077936128 26954 0 0 0 1544 12 0 0 20 0 20 0 30294832 19566772224 53736 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
/proc/253480/statm: 4777044 53736 5894 1 0 558926 0
[pid=253480/tid=253482] ppid=253477 vsize=19108176 memory=210440 CPUtime=12.49 cores=5,7
/proc/253480/task/253482/stat : 253482 (java) R 253477 253480 251119 0 -1 4194368 6701 0 0 0 1245 4 0 0 20 0 20 0 30294833 19566772224 53736 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253491] ppid=253477 vsize=19108176 memory=214944 CPUtime=0 cores=5,7
/proc/253480/task/253491/stat : 253491 (Finalizer) S 253477 253480 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30294837 19566772224 53736 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253498] ppid=253477 vsize=19108176 memory=220488 CPUtime=0 cores=5,7
/proc/253480/task/253498/stat : 253498 (Common-Cleaner) S 253477 253480 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30294838 19566772224 53736 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253499] ppid=253477 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/253480/task/253499/stat : 253499 (Timer-0) S 253477 253480 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30294897 19566772224 53736 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
Current children cumulated CPU time: 15.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 214944 KiB
[startup+25.5005 s]
/proc/loadavg: 4.32 4.25 4.18 5/321 253503
/proc/meminfo: memFree=95647244/131655788 swapFree=131062644/131071996
[pid=253480] ppid=253477 vsize=19108176 memory=215616 CPUtime=28.49 cores=5,7
/proc/253480/stat : 253480 (java) S 253477 253480 251119 0 -1 1077936128 31430 0 0 0 2835 14 0 0 20 0 20 0 30294832 19566772224 53904 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
/proc/253480/statm: 4777044 53904 5894 1 0 559058 0
[pid=253480/tid=253482] ppid=253477 vsize=19108176 memory=214944 CPUtime=25.27 cores=5,7
/proc/253480/task/253482/stat : 253482 (java) R 253477 253480 251119 0 -1 4194368 8710 0 0 0 2522 5 0 0 20 0 20 0 30294833 19566772224 53904 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253491] ppid=253477 vsize=19108176 memory=215600 CPUtime=0 cores=5,7
/proc/253480/task/253491/stat : 253491 (Finalizer) S 253477 253480 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30294837 19566772224 53904 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253498] ppid=253477 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/253480/task/253498/stat : 253498 (Common-Cleaner) S 253477 253480 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30294838 19566772224 53904 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253499] ppid=253477 vsize=19108176 memory=6944656575208382560 CPUtime=0 cores=5,7
/proc/253480/task/253499/stat : 253499 (Timer-0) S 253477 253480 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30294897 19566772224 53904 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
Current children cumulated CPU time: 28.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 215616 KiB
[startup+51.1133 s]
/proc/loadavg: 4.27 4.24 4.18 5/321 253645
/proc/meminfo: memFree=98860072/131655788 swapFree=131062644/131071996
[pid=253480] ppid=253477 vsize=19108176 memory=215792 CPUtime=54.4 cores=5,7
/proc/253480/stat : 253480 (java) S 253477 253480 251119 0 -1 1077936128 37383 0 0 0 5424 16 0 0 20 0 20 0 30294832 19566772224 53948 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
/proc/253480/statm: 4777044 53948 5910 1 0 559058 0
[pid=253480/tid=253482] ppid=253477 vsize=19108176 memory=215792 CPUtime=50.82 cores=5,7
/proc/253480/task/253482/stat : 253482 (java) R 253477 253480 251119 0 -1 4194368 10009 0 0 0 5077 5 0 0 20 0 20 0 30294833 19566772224 53948 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253491] ppid=253477 vsize=19108176 memory=215752 CPUtime=0 cores=5,7
/proc/253480/task/253491/stat : 253491 (Finalizer) S 253477 253480 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30294837 19566772224 53948 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253498] ppid=253477 vsize=19108176 memory=215792 CPUtime=0 cores=5,7
/proc/253480/task/253498/stat : 253498 (Common-Cleaner) S 253477 253480 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30294838 19566772224 53948 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.17 5/320 255782
/proc/meminfo: memFree=89551048/131655788 swapFree=131062644/131071996
[pid=253480] ppid=253477 vsize=19108176 memory=994252 CPUtime=3282.69 cores=5,7
/proc/253480/stat : 253480 (java) S 253477 253480 251119 0 -1 1077936128 90727 0 0 0 327984 285 0 0 20 0 20 0 30294832 19566772224 248563 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
/proc/253480/statm: 4777044 248563 5952 1 0 559058 0
[pid=253480/tid=253482] ppid=253477 vsize=19108176 memory=497540 CPUtime=3272.16 cores=5,7
/proc/253480/task/253482/stat : 253482 (java) R 253477 253480 251119 0 -1 4194368 33242 0 0 0 327196 20 0 0 20 0 20 0 30294833 19566772224 248563 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253491] ppid=253477 vsize=19108176 memory=11756 CPUtime=0 cores=5,7
/proc/253480/task/253491/stat : 253491 (Finalizer) S 253477 253480 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30294837 19566772224 248563 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253498] ppid=253477 vsize=19108176 memory=994252 CPUtime=0 cores=5,7
/proc/253480/task/253498/stat : 253498 (Common-Cleaner) S 253477 253480 251119 0 -1 1077936192 3659 0 0 0 0 0 0 0 20 0 20 0 30294838 19566772224 248563 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253499] ppid=253477 vsize=19108176 memory=994252 CPUtime=0 cores=5,7
/proc/253480/task/253499/stat : 253499 (Timer-0) S 253477 253480 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30294897 19566772224 248563 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
Current children cumulated CPU time: 3282.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 994252 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/320 255792
/proc/meminfo: memFree=89513780/131655788 swapFree=131062644/131071996
[pid=253480] ppid=253477 vsize=19108176 memory=994252 CPUtime=3342.59 cores=5,7
/proc/253480/stat : 253480 (java) S 253477 253480 251119 0 -1 1077936128 91246 0 0 0 333970 289 0 0 20 0 20 0 30294832 19566772224 248563 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
/proc/253480/statm: 4777044 248563 5952 1 0 559058 0
[pid=253480/tid=253482] ppid=253477 vsize=19108176 memory=497540 CPUtime=3332 cores=5,7
/proc/253480/task/253482/stat : 253482 (java) R 253477 253480 251119 0 -1 4194368 33606 0 0 0 333179 21 0 0 20 0 20 0 30294833 19566772224 248563 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253491] ppid=253477 vsize=19108176 memory=994252 CPUtime=0 cores=5,7
/proc/253480/task/253491/stat : 253491 (Finalizer) S 253477 253480 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30294837 19566772224 248563 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253498] ppid=253477 vsize=19108176 memory=994252 CPUtime=0 cores=5,7
/proc/253480/task/253498/stat : 253498 (Common-Cleaner) S 253477 253480 251119 0 -1 1077936192 3758 0 0 0 0 0 0 0 20 0 20 0 30294838 19566772224 248563 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253499] ppid=253477 vsize=19108176 memory=994252 CPUtime=0 cores=5,7
/proc/253480/task/253499/stat : 253499 (Timer-0) S 253477 253480 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30294897 19566772224 248563 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
Current children cumulated CPU time: 3342.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 994252 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.14 4.17 5/320 255802
/proc/meminfo: memFree=89437424/131655788 swapFree=131062644/131071996
[pid=253480] ppid=253477 vsize=19108176 memory=994252 CPUtime=3402.49 cores=5,7
/proc/253480/stat : 253480 (java) S 253477 253480 251119 0 -1 1077936128 91890 0 0 0 339956 293 0 0 20 0 20 0 30294832 19566772224 248563 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
/proc/253480/statm: 4777044 248563 5952 1 0 559058 0
[pid=253480/tid=253482] ppid=253477 vsize=19108176 memory=497540 CPUtime=3391.84 cores=5,7
/proc/253480/task/253482/stat : 253482 (java) R 253477 253480 251119 0 -1 4194368 34128 0 0 0 339163 21 0 0 20 0 20 0 30294833 19566772224 248563 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253491] ppid=253477 vsize=19108176 memory=994252 CPUtime=0 cores=5,7
/proc/253480/task/253491/stat : 253491 (Finalizer) S 253477 253480 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30294837 19566772224 248563 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253498] ppid=253477 vsize=19108176 memory=994252 CPUtime=0 cores=5,7
/proc/253480/task/253498/stat : 253498 (Common-Cleaner) S 253477 253480 251119 0 -1 1077936192 3870 0 0 0 0 0 0 0 20 0 20 0 30294838 19566772224 248563 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253499] ppid=253477 vsize=19108176 memory=11756 CPUtime=0 cores=5,7
/proc/253480/task/253499/stat : 253499 (Timer-0) S 253477 253480 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30294897 19566772224 248563 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
Current children cumulated CPU time: 3402.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 994252 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.17 5/321 255982
/proc/meminfo: memFree=89278636/131655788 swapFree=131062644/131071996
[pid=253480] ppid=253477 vsize=19108176 memory=994252 CPUtime=3462.41 cores=5,7
/proc/253480/stat : 253480 (java) S 253477 253480 251119 0 -1 1077936128 92399 0 0 0 345943 298 0 0 20 0 20 0 30294832 19566772224 248563 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
/proc/253480/statm: 4777044 248563 5952 1 0 559058 0
[pid=253480/tid=253482] ppid=253477 vsize=19108176 memory=497540 CPUtime=3451.69 cores=5,7
/proc/253480/task/253482/stat : 253482 (java) R 253477 253480 251119 0 -1 4194368 34568 0 0 0 345147 22 0 0 20 0 20 0 30294833 19566772224 248563 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253491] ppid=253477 vsize=19108176 memory=994252 CPUtime=0 cores=5,7
/proc/253480/task/253491/stat : 253491 (Finalizer) S 253477 253480 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30294837 19566772224 248563 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253498] ppid=253477 vsize=19108176 memory=994252 CPUtime=0 cores=5,7
/proc/253480/task/253498/stat : 253498 (Common-Cleaner) S 253477 253480 251119 0 -1 1077936192 3882 0 0 0 0 0 0 0 20 0 20 0 30294838 19566772224 248563 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253499] ppid=253477 vsize=19108176 memory=994252 CPUtime=0 cores=5,7
/proc/253480/task/253499/stat : 253499 (Timer-0) S 253477 253480 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30294897 19566772224 248563 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
Current children cumulated CPU time: 3462.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 994252 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.15 4.17 5/321 255992
/proc/meminfo: memFree=89099892/131655788 swapFree=131062644/131071996
[pid=253480] ppid=253477 vsize=19108176 memory=1053644 CPUtime=3522.4 cores=5,7
/proc/253480/stat : 253480 (java) S 253477 253480 251119 0 -1 1077936128 93273 0 0 0 351937 303 0 0 20 0 20 0 30294832 19566772224 263411 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
/proc/253480/statm: 4777044 263411 5952 1 0 559058 0
[pid=253480/tid=253482] ppid=253477 vsize=19108176 memory=497540 CPUtime=3511.45 cores=5,7
/proc/253480/task/253482/stat : 253482 (java) R 253477 253480 251119 0 -1 4194368 34930 0 0 0 351123 22 0 0 20 0 20 0 30294833 19566772224 263411 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253491] ppid=253477 vsize=19108176 memory=994252 CPUtime=0 cores=5,7
/proc/253480/task/253491/stat : 253491 (Finalizer) S 253477 253480 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30294837 19566772224 263411 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253498] ppid=253477 vsize=19108176 memory=1053644 CPUtime=0 cores=5,7
/proc/253480/task/253498/stat : 253498 (Common-Cleaner) S 253477 253480 251119 0 -1 1077936192 3943 0 0 0 0 0 0 0 20 0 20 0 30294838 19566772224 263411 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253499] ppid=253477 vsize=19108176 memory=11756 CPUtime=0 cores=5,7
/proc/253480/task/253499/stat : 253499 (Timer-0) S 253477 253480 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30294897 19566772224 263411 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
Current children cumulated CPU time: 3522.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1053644 KiB
[startup+3582.3 s]
/proc/loadavg: 3.82 4.07 4.14 4/295 256094
/proc/meminfo: memFree=94451788/131655788 swapFree=131062644/131071996
[pid=253480] ppid=253477 vsize=19108176 memory=1053644 CPUtime=3582.31 cores=5,7
/proc/253480/stat : 253480 (java) S 253477 253480 251119 0 -1 1077936128 93729 0 0 0 357924 307 0 0 20 0 20 0 30294832 19566772224 263411 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
/proc/253480/statm: 4777044 263411 5952 1 0 559058 0
[pid=253480/tid=253482] ppid=253477 vsize=19108176 memory=497540 CPUtime=3571.3 cores=5,7
/proc/253480/task/253482/stat : 253482 (java) R 253477 253480 251119 0 -1 4194368 35266 0 0 0 357108 22 0 0 20 0 20 0 30294833 19566772224 263411 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253491] ppid=253477 vsize=19108176 memory=994252 CPUtime=0 cores=5,7
/proc/253480/task/253491/stat : 253491 (Finalizer) S 253477 253480 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30294837 19566772224 263411 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253498] ppid=253477 vsize=19108176 memory=1053644 CPUtime=0 cores=5,7
/proc/253480/task/253498/stat : 253498 (Common-Cleaner) S 253477 253480 251119 0 -1 1077936192 4053 0 0 0 0 0 0 0 20 0 20 0 30294838 19566772224 263411 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253499] ppid=253477 vsize=19108176 memory=11756 CPUtime=0 cores=5,7
/proc/253480/task/253499/stat : 253499 (Timer-0) S 253477 253480 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30294897 19566772224 263411 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
Current children cumulated CPU time: 3582.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1053644 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3600 s]*
/proc/loadavg: 3.59 4.00 4.11 4/295 256097
/proc/meminfo: memFree=94451840/131655788 swapFree=131062644/131071996
[pid=253480] ppid=253477 vsize=19108176 memory=1053644 CPUtime=3600 cores=5,7
/proc/253480/stat : 253480 (java) S 253477 253480 251119 0 -1 1077936128 93975 0 0 0 359691 309 0 0 20 0 20 0 30294832 19566772224 263411 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
/proc/253480/statm: 4777044 263411 5952 1 0 559058 0
[pid=253480/tid=253482] ppid=253477 vsize=19108176 memory=-9032921682500362940 CPUtime=3588.97 cores=5,7
/proc/253480/task/253482/stat : 253482 (java) R 253477 253480 251119 0 -1 4194368 35470 0 0 0 358875 22 0 0 20 0 20 0 30294833 19566772224 263411 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253491] ppid=253477 vsize=19108176 memory=13884 CPUtime=0 cores=5,7
/proc/253480/task/253491/stat : 253491 (Finalizer) S 253477 253480 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30294837 19566772224 263411 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253498] ppid=253477 vsize=19108176 memory=1053644 CPUtime=0 cores=5,7
/proc/253480/task/253498/stat : 253498 (Common-Cleaner) S 253477 253480 251119 0 -1 1077936192 4053 0 0 0 0 0 0 0 20 0 20 0 30294838 19566772224 263411 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253499] ppid=253477 vsize=19108176 memory=2676 CPUtime=0 cores=5,7
/proc/253480/task/253499/stat : 253499 (Timer-0) S 253477 253480 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30294897 19566772224 263411 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1053644 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3600.21 s]
# the end of solver process 253480 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.27 s, system=3.10656 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3600.2 s]
/proc/loadavg: 3.59 4.00 4.11 4/295 256097
/proc/meminfo: memFree=94451840/131655788 swapFree=131062644/131071996
[pid=253480] ppid=253477 vsize=19307868 memory=1054556 CPUtime=3600.36 cores=5,7
/proc/253480/stat : 253480 (java) S 253477 253480 251119 0 -1 1077936128 96544 0 0 0 359727 309 0 0 20 0 21 0 30294832 19771256832 263639 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
/proc/253480/statm: 4826967 263639 5951 1 0 559993 0
[pid=253480/tid=253482] ppid=253477 vsize=19307868 memory=100 CPUtime=3589.15 cores=5,7
/proc/253480/task/253482/stat : 253482 (java) S 253477 253480 251119 0 -1 1077936192 35603 0 0 0 358893 22 0 0 20 0 21 0 30294833 19771256832 263639 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253491] ppid=253477 vsize=19307868 memory=1828 CPUtime=0 cores=5,7
/proc/253480/task/253491/stat : 253491 (Finalizer) S 253477 253480 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 30294837 19771256832 263639 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
[pid=253480/tid=253498] ppid=253477 vsize=19307868 memory=2248 CPUtime=0 cores=5,7
/proc/253480/task/253498/stat : 253498 (Common-Cleaner) S 253477 253480 251119 0 -1 1077936192 4053 0 0 0 0 0 0 0 20 0 21 0 30294838 19771256832 263639 134679101440 94810404593664 94810404597360 140737006588512 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94810404605176 94810404605968 94810436608000 140737006597126 140737006597216 140737006597216 140737006604232 0
Current children cumulated CPU time: 3600.36 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1054556 KiB
Child status: 143
Real time (s): 3600.21
CPU time (s): 3600.38
CPU user time (s): 3597.27
CPU system time (s): 3.10656
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 1054556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.27
system time used= 3.10656
maximum resident set size= 1055324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96619
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 130186
involuntary context switches= 1393
# summary of solver processes directly reported to runsolver:
# pid: 253480
# total CPU time (s): 3600.38
# total CPU user time (s): 3597.27
# total CPU system time (s): 3.10656
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3255 second user time and 37.9706 second system time
The end
Begin job on nodeC003 at 2024-07-25 23:30:58 IDJOB=4459847 IDBENCH=148610 IDSOLVER=3058 FILE ID=nodeC003/4459847-1721943058 RUNJOBID= nodeC003-1721939462-251132 SLURM_JOB_ID= 8247257 Free space on /tmp= 723780 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_3.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459847-1721943058/watcher-4459847-1721943058 -o /tmp/evaluation-result-4459847-1721943058/solver-4459847-1721943058 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721939462-251132 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4459847-1721943058.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 473f4f01ea80639962d90e3c1fd9a037 RANDOM SEED=533500584 nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3628.776 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3544.441 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.419 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.307 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3661.106 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3494.188 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.442 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.276 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 95895720 kB MemAvailable: 125679444 kB Buffers: 341744 kB Cached: 29985416 kB SwapCached: 968 kB Active: 2551256 kB Inactive: 32196524 kB Active(anon): 2588 kB Inactive(anon): 4471500 kB Active(file): 2548668 kB Inactive(file): 27725024 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131062644 kB Dirty: 1124 kB Writeback: 0 kB AnonPages: 4419872 kB Mapped: 130872 kB Shmem: 53440 kB KReclaimable: 571776 kB Slab: 687388 kB SReclaimable: 571776 kB SUnreclaim: 115612 kB KernelStack: 4852 kB PageTables: 19036 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 7334260 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14752 kB HardwareCorrupted: 0 kB AnonHugePages: 4124672 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: 394056 kB DirectMap2M: 40404992 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 723780 MiB End job on nodeC003 at 2024-07-26 00:30:58