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.51 | 3375.06 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-sp98ic.opb |
| MD5SUM | f5b507fec305347e12cc700790213fb8 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2807154740 |
| Best CPU time to get the best result obtained on this benchmark | 87.1436 |
| 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 | 10894 |
| Total number of constraints | 825 |
| Number of constraints which are clauses | 20 |
| Number of constraints which are cardinality constraints (but not clauses) | 624 |
| Number of constraints which are nor clauses,nor cardinality constraints | 181 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 5038 |
| Number of terms in the objective function | 10894 |
| Biggest coefficient in the objective function | 1079902210 |
| Number of bits for the biggest coefficient in the objective function | 31 |
| Sum of the numbers in the objective function | 3040671454286 |
| Number of bits of the sum of numbers in the objective function | 42 |
| Biggest number in a constraint | 1079902210 |
| Number of bits of the biggest number in a constraint | 31 |
| Biggest sum of numbers in a constraint | 3040671454286 |
| Number of bits of the biggest sum of numbers | 42 |
| 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.10 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.10 c See www.sat4j.org for details. 0.00/0.11 c version CUSTOM.v20240707 0.14/0.12 c java.runtime.name OpenJDK Runtime Environment 0.14/0.12 c java.vm.name OpenJDK 64-Bit Server VM 0.14/0.12 c java.vm.version 22.0.1+8-16 0.14/0.12 c java.vm.vendor Oracle Corporation 0.14/0.12 c sun.arch.data.model 64 0.14/0.12 c java.version 22.0.1 0.14/0.12 c os.name Linux 0.14/0.12 c os.version 4.18.0-301.1.el8.x86_64 0.14/0.12 c os.arch amd64 0.14/0.12 c Free memory 2115194816 0.14/0.12 c Max memory 16282288128 0.14/0.12 c Total memory 2122317824 0.14/0.12 c Number of processors 2 0.14/0.16 --- Begin Solver configuration --- 0.14/0.16 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.14/0.16 Learn all clauses as in MiniSAT 0.14/0.16 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.16 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.14/0.16 No reason simplification 0.14/0.16 Glucose 2.1 dynamic restart strategy 0.14/0.16 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.14/0.16 timeout=2147483s 0.14/0.16 DB Simplification allowed=false 0.14/0.16 Listener: none 0.14/0.16 --- End Solver configuration --- 0.14/0.16 c Pseudo Boolean Optimization by upper bound 0.14/0.16 c --- Begin Solver configuration --- 0.14/0.16 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.14/0.16 c Learn all clauses as in MiniSAT 0.14/0.16 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.16 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.14/0.16 c No reason simplification 0.14/0.16 c Glucose 2.1 dynamic restart strategy 0.14/0.16 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.14/0.16 c timeout=2147483s 0.14/0.16 c DB Simplification allowed=false 0.14/0.16 c Listener: none 0.14/0.16 c --- End Solver configuration --- 0.14/0.16 c solving HOME/instance-4432173-1721069549.opb 0.14/0.16 c reading problem ... 0.14/0.16 c objective function found 1.40/0.81 c ... done. Wall clock time 0.639s. 1.40/0.81 c declared #vars 10894 1.40/0.81 c #constraints 825 1.40/0.81 c constraints type 1.40/0.81 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3 1.40/0.81 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 624 1.40/0.81 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 181 1.40/0.81 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 17 1.40/0.81 c 825 constraints processed. 1.40/0.81 c objective function length is 10894 literals 1.80/1.04 c SATISFIABLE 1.80/1.04 c OPTIMIZING... 1.80/1.04 c Got one! Elapsed wall clock time (in seconds):0.873 1.80/1.04 o 4008421198 2.20/1.22 c Got one! Elapsed wall clock time (in seconds):1.055 2.20/1.22 o 4001631105 2.37/1.35 c Got one! Elapsed wall clock time (in seconds):1.191 2.37/1.35 o 3897566335 19.37/16.50 c cleaning 2554 clauses out of 5107 with flag 18561/5107 40.20/36.34 c cleaning 4266 clauses out of 8555 with flag 41249/11109 62.66/57.32 c cleaning 5648 clauses out of 11304 with flag 66030/18124 90.29/83.68 c cleaning 6820 clauses out of 13641 with flag 96218/26109 123.58/113.27 c cleaning 7906 clauses out of 15819 with flag 129430/35107 153.28/141.63 c cleaning 8957 clauses out of 17914 with flag 164285/45108 187.05/174.80 c cleaning 9970 clauses out of 19958 with flag 201348/56109 229.69/213.56 c cleaning 10967 clauses out of 21986 with flag 242820/68107 270.20/252.57 c cleaning 12010 clauses out of 24019 with flag 290256/81107 317.57/296.32 c cleaning 12986 clauses out of 26012 with flag 339875/95110 364.78/341.96 c cleaning 14008 clauses out of 28023 with flag 392217/110107 394.29/370.34 c Got one! Elapsed wall clock time (in seconds):370.176 394.29/370.34 o 3891927241 408.93/384.14 c cleaning 14394 clauses out of 28803 with flag 16690/124895 435.82/410.48 c cleaning 10198 clauses out of 20403 with flag 36753/130889 459.53/433.62 c cleaning 8563 clauses out of 17203 with flag 60805/137887 480.95/454.24 c cleaning 8313 clauses out of 16640 with flag 88547/145887 509.29/481.69 c cleaning 8667 clauses out of 17333 with flag 118999/154893 550.76/520.48 c cleaning 9317 clauses out of 18663 with flag 155164/164890 580.93/549.13 c cleaning 10168 clauses out of 20343 with flag 193391/175887 615.36/582.48 c cleaning 11088 clauses out of 22175 with flag 235385/187887 653.82/619.35 c cleaning 11990 clauses out of 24087 with flag 280318/200887 693.26/657.28 c cleaning 13037 clauses out of 26098 with flag 328498/214888 749.69/712.07 c cleaning 14016 clauses out of 28060 with flag 391710/229887 803.84/760.99 c cleaning 15003 clauses out of 30044 with flag 453219/245887 860.76/815.51 c cleaning 15970 clauses out of 32041 with flag 521418/262887 914.50/867.15 c cleaning 16938 clauses out of 34071 with flag 589409/280887 974.97/925.32 c cleaning 18064 clauses out of 36133 with flag 666691/299887 1031.74/980.07 c cleaning 19011 clauses out of 38069 with flag 743406/319887 1099.44/1041.72 c cleaning 20031 clauses out of 40062 with flag 823576/340891 1166.68/1106.22 c cleaning 21000 clauses out of 42031 with flag 904201/362891 1245.74/1182.47 c cleaning 22012 clauses out of 44030 with flag 994237/385890 1331.52/1264.87 c cleaning 22905 clauses out of 46016 with flag 1091748/409888 1423.51/1353.48 c cleaning 23921 clauses out of 48110 with flag 1200315/434887 1526.71/1447.57 c cleaning 25041 clauses out of 50189 with flag 1305007/460887 1637.64/1553.86 c cleaning 26055 clauses out of 52152 with flag 1420578/487891 1811.96/1723.86 c cleaning 27004 clauses out of 54093 with flag 1531848/515887 1964.34/1862.72 c cleaning 28020 clauses out of 56089 with flag 1643121/544887 2067.75/1961.82 c cleaning 29035 clauses out of 58071 with flag 1748664/574889 2178.81/2068.89 c cleaning 30018 clauses out of 60040 with flag 1868464/605893 2319.99/2198.20 c cleaning 30951 clauses out of 62016 with flag 1999448/637887 2431.39/2304.68 c cleaning 32035 clauses out of 64069 with flag 2126236/670891 2564.51/2423.61 c cleaning 33014 clauses out of 66031 with flag 2250209/704888 2713.29/2566.74 c cleaning 34008 clauses out of 68018 with flag 2388704/739889 2854.89/2692.68 c cleaning 35005 clauses out of 70010 with flag 2538511/775889 2998.35/2829.85 c cleaning 35963 clauses out of 72003 with flag 2681901/812887 3151.15/2968.04 c cleaning 37019 clauses out of 74042 with flag 2829483/850889 3383.77/3181.80 c cleaning 38006 clauses out of 76021 with flag 2998201/889887 3540.28/3317.81 c cleaning 39005 clauses out of 78015 with flag 3152778/929887 3600.08/3374.82 c starts : 4852 3600.08/3374.85 c conflicts : 945987 3600.08/3374.85 c decisions : 13470561 3600.08/3374.85 c propagations : 295877722 3600.08/3374.85 c inspects : 6655805968 3600.08/3374.85 c shortcuts : 0 3600.08/3374.85 c learnt literals : 0 3600.08/3374.85 c learnt binary clauses : 0 3600.08/3374.85 c learnt ternary clauses : 0 3600.08/3374.85 c learnt constraints : 945987 3600.08/3374.85 c ignored constraints : 0 3600.08/3374.85 c root simplifications : 0 3600.08/3374.86 c removed literals (reason simplification) : 0 3600.08/3374.86 c reason swapping (by a shorter reason) : 0 3600.08/3374.86 c Calls to reduceDB : 47 3600.08/3374.86 c Number of update (reduction) of LBD : 634473 3600.08/3374.86 c Imported unit clauses : 0 3600.08/3374.87 c No decision after first conflict : false 3600.08/3374.87 c number of reductions to clauses (during analyze) : 0 3600.08/3374.87 c number of learned constraints concerned by reduction : 0 3600.08/3374.87 c number of learning phase by resolution : 0 3600.08/3374.87 c number of learning phase by cutting planes : 0 3600.08/3374.87 c number of rounding to 1 operations : 0 3600.08/3374.87 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.08/3374.87 c number of reductions of the coefficients by power 2 : 0 3600.08/3374.87 c number of right shift for reduction by power 2 : 0 3600.08/3374.87 c number of reductions of the coefficients by GCD over coefficients : 0 3600.08/3374.87 c number of ending skipping : 0 3600.08/3374.89 c number of internal skipping : 0 3600.08/3374.89 c number of derivation steps : 0 3600.08/3374.89 c number of skipped derivation steps : 0 3600.08/3374.89 c number of remaining unassigned : 0 3600.08/3374.89 c number of remaining assigned : 0 3600.08/3374.89 c number of falsified literals weakened from reason : 0 3600.08/3374.89 c number of falsified literals weakened from conflict : 0 3600.08/3374.89 c time for arithmetic operations : 0 3600.08/3374.89 c minimum degree of deleted constraints : null 3600.08/3374.89 c maximum degree of deleted constraints : null 3600.08/3374.89 c number of deleted constraints : 0 3600.08/3374.89 c speed (assignments/second) : 87691.76705250195 3600.28/3374.91 c non guided choices : 15 3600.28/3374.98 c timeout 3600.28/3374.98 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.28/3374.98 at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1962) 3600.28/3374.98 at org.sat4j.minisat.core.Solver.printStat(Solver.java:2108) 3600.28/3374.98 at org.sat4j.minisat.core.Solver.printStat(Solver.java:2099) 3600.28/3374.98 at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:180) 3600.28/3374.98 at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93) 3600.28/3374.98 at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122) 3600.28/3374.98 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: 64096 MiB (43334 MiB free)
memory of node 1: 64473 MiB (59942 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432173-1721069549/watcher-4432173-1721069549 -o /tmp/evaluation-result-4432173-1721069549/solver-4432173-1721069549 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721062551-806266 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432173-1721069549.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=810042, runsolver pid=810039
[startup+0.100071 s]*
/proc/loadavg: 4.11 4.19 4.26 7/317 810060
/proc/meminfo: memFree=105719320/131655788 swapFree=131071996/131071996
[pid=810042] ppid=810039 vsize=18975048 memory=58764 CPUtime=0.14 cores=1,3
/proc/810042/stat : 810042 (java) S 810039 810042 806254 0 -1 1077936128 6594 0 0 0 11 3 0 0 20 0 18 0 159112079 19430449152 14691 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
/proc/810042/statm: 4743762 14691 5686 1 0 551002 0
[pid=810042/tid=810044] ppid=810039 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/810042/task/810044/stat : 810044 (java) R 810039 810042 806254 0 -1 4194368 5561 0 0 0 7 2 0 0 20 0 18 0 159112079 19430449152 14691 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810053] ppid=810039 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/810042/task/810053/stat : 810053 (Finalizer) S 810039 810042 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159112084 19430449152 14691 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810060] ppid=810039 vsize=18975048 memory=14698495668050282 CPUtime=0 cores=1,3
/proc/810042/task/810060/stat : 810060 (Common-Cleaner) S 810039 810042 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 159112085 19430449152 14691 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58764 KiB
[startup+0.217611 s]*
/proc/loadavg: 4.11 4.19 4.26 7/317 810060
/proc/meminfo: memFree=105710740/131655788 swapFree=131071996/131071996
[pid=810042] ppid=810039 vsize=18975048 memory=70560 CPUtime=0.37 cores=1,3
/proc/810042/stat : 810042 (java) S 810039 810042 806254 0 -1 1077936128 7057 0 0 0 34 3 0 0 20 0 18 0 159112079 19430449152 17640 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
/proc/810042/statm: 4743762 17640 5716 1 0 551356 0
[pid=810042/tid=810044] ppid=810039 vsize=18975048 memory=4782652875487838339 CPUtime=0.22 cores=1,3
/proc/810042/task/810044/stat : 810044 (java) R 810039 810042 806254 0 -1 4194368 5807 0 0 0 19 3 0 0 20 0 18 0 159112079 19430449152 17640 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810053] ppid=810039 vsize=18975048 memory=4674 CPUtime=0 cores=1,3
/proc/810042/task/810053/stat : 810053 (Finalizer) S 810039 810042 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159112084 19430449152 17640 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810060] ppid=810039 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=1,3
/proc/810042/task/810060/stat : 810060 (Common-Cleaner) S 810039 810042 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 159112085 19430449152 17640 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 70560 KiB
[startup+0.329799 s]*
/proc/loadavg: 4.11 4.19 4.26 7/317 810060
/proc/meminfo: memFree=105691048/131655788 swapFree=131071996/131071996
[pid=810042] ppid=810039 vsize=18975048 memory=90552 CPUtime=0.56 cores=1,3
/proc/810042/stat : 810042 (java) S 810039 810042 806254 0 -1 1077936128 7333 0 0 0 52 4 0 0 20 0 18 0 159112079 19430449152 22638 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
/proc/810042/statm: 4743762 22638 5789 1 0 551603 0
[pid=810042/tid=810044] ppid=810039 vsize=18975048 memory=-8528245858302796476 CPUtime=0.31 cores=1,3
/proc/810042/task/810044/stat : 810044 (java) R 810039 810042 806254 0 -1 4194368 5867 0 0 0 28 3 0 0 20 0 18 0 159112079 19430449152 22638 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810053] ppid=810039 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/810042/task/810053/stat : 810053 (Finalizer) S 810039 810042 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159112084 19430449152 22638 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810060] ppid=810039 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/810042/task/810060/stat : 810060 (Common-Cleaner) S 810039 810042 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 159112085 19430449152 22638 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 90552 KiB
[startup+0.700295 s]
/proc/loadavg: 4.11 4.19 4.26 7/317 810060
/proc/meminfo: memFree=105630628/131655788 swapFree=131071996/131071996
[pid=810042] ppid=810039 vsize=19041612 memory=188088 CPUtime=1.21 cores=1,3
/proc/810042/stat : 810042 (java) S 810039 810042 806254 0 -1 1077936128 9417 0 0 0 114 7 0 0 20 0 19 0 159112079 19498610688 47022 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
/proc/810042/statm: 4760403 47022 5789 1 0 553088 0
[pid=810042/tid=810044] ppid=810039 vsize=19041612 memory=5540 CPUtime=0.61 cores=1,3
/proc/810042/task/810044/stat : 810044 (java) S 810039 810042 806254 0 -1 1077936192 5915 0 0 0 57 4 0 0 20 0 19 0 159112079 19498610688 47022 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810053] ppid=810039 vsize=19041612 memory=12508 CPUtime=0 cores=1,3
/proc/810042/task/810053/stat : 810053 (Finalizer) S 810039 810042 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159112084 19498610688 47022 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810060] ppid=810039 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/810042/task/810060/stat : 810060 (Common-Cleaner) S 810039 810042 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159112085 19498610688 47022 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 188088 KiB
[startup+1.50079 s]
/proc/loadavg: 4.11 4.19 4.26 7/319 810062
/proc/meminfo: memFree=105585324/131655788 swapFree=131071996/131071996
[pid=810042] ppid=810039 vsize=19108176 memory=205572 CPUtime=2.78 cores=1,3
/proc/810042/stat : 810042 (java) S 810039 810042 806254 0 -1 1077936128 14911 0 0 0 270 8 0 0 20 0 20 0 159112079 19566772224 51393 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
/proc/810042/statm: 4777044 51393 5858 1 0 556034 0
[pid=810042/tid=810044] ppid=810039 vsize=19108176 memory=12508 CPUtime=1.37 cores=1,3
/proc/810042/task/810044/stat : 810044 (java) R 810039 810042 806254 0 -1 4194368 6038 0 0 0 133 4 0 0 20 0 20 0 159112079 19566772224 51393 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810053] ppid=810039 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/810042/task/810053/stat : 810053 (Finalizer) S 810039 810042 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159112084 19566772224 51393 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810060] ppid=810039 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/810042/task/810060/stat : 810060 (Common-Cleaner) S 810039 810042 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 159112085 19566772224 51393 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810062] ppid=810039 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/810042/task/810062/stat : 810062 (Timer-0) S 810039 810042 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159112161 19566772224 51393 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 205572 KiB
[startup+3.11296 s]
/proc/loadavg: 4.18 4.20 4.26 5/319 810062
/proc/meminfo: memFree=105454984/131655788 swapFree=131071996/131071996
[pid=810042] ppid=810039 vsize=19108176 memory=334044 CPUtime=4.8 cores=1,3
/proc/810042/stat : 810042 (java) S 810039 810042 806254 0 -1 1077936128 16267 0 0 0 469 11 0 0 20 0 20 0 159112079 19566772224 83511 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
/proc/810042/statm: 4777044 83511 5874 1 0 1084524 0
[pid=810042/tid=810044] ppid=810039 vsize=19108176 memory=0 CPUtime=2.91 cores=1,3
/proc/810042/task/810044/stat : 810044 (java) R 810039 810042 806254 0 -1 4194368 6195 0 0 0 284 7 0 0 20 0 20 0 159112079 19566772224 83511 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810053] ppid=810039 vsize=19108176 memory=11420 CPUtime=0 cores=1,3
/proc/810042/task/810053/stat : 810053 (Finalizer) S 810039 810042 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159112084 19566772224 83511 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810060] ppid=810039 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/810042/task/810060/stat : 810060 (Common-Cleaner) S 810039 810042 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 159112085 19566772224 83511 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810062] ppid=810039 vsize=19108176 memory=12508 CPUtime=0 cores=1,3
/proc/810042/task/810062/stat : 810062 (Timer-0) S 810039 810042 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159112161 19566772224 83511 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
Current children cumulated CPU time: 4.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 334044 KiB
[startup+6.30041 s]
/proc/loadavg: 4.18 4.20 4.26 5/319 810064
/proc/meminfo: memFree=105145544/131655788 swapFree=131071996/131071996
[pid=810042] ppid=810039 vsize=19108176 memory=567300 CPUtime=8.19 cores=1,3
/proc/810042/stat : 810042 (java) S 810039 810042 806254 0 -1 1077936128 18816 0 0 0 802 17 0 0 20 0 20 0 159112079 19566772224 141825 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
/proc/810042/statm: 4777044 141825 5874 1 0 1084535 0
[pid=810042/tid=810044] ppid=810039 vsize=19108176 memory=0 CPUtime=5.81 cores=1,3
/proc/810042/task/810044/stat : 810044 (java) R 810039 810042 806254 0 -1 4194368 6672 0 0 0 572 9 0 0 20 0 20 0 159112079 19566772224 141825 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810053] ppid=810039 vsize=19108176 memory=12508 CPUtime=0 cores=1,3
/proc/810042/task/810053/stat : 810053 (Finalizer) S 810039 810042 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159112084 19566772224 141825 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810060] ppid=810039 vsize=19108176 memory=11420 CPUtime=0 cores=1,3
/proc/810042/task/810060/stat : 810060 (Common-Cleaner) S 810039 810042 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 159112085 19566772224 141825 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810062] ppid=810039 vsize=19108176 memory=42536 CPUtime=0 cores=1,3
/proc/810042/task/810062/stat : 810062 (Timer-0) S 810039 810042 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159112161 19566772224 141825 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
Current children cumulated CPU time: 8.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 567300 KiB
[startup+12.7019 s]
/proc/loadavg: 4.17 4.20 4.26 5/319 810064
/proc/meminfo: memFree=104891964/131655788 swapFree=131071996/131071996
[pid=810042] ppid=810039 vsize=19108176 memory=896144 CPUtime=15.11 cores=1,3
/proc/810042/stat : 810042 (java) S 810039 810042 806254 0 -1 1077936128 24042 0 0 0 1486 25 0 0 20 0 20 0 159112079 19566772224 224036 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
/proc/810042/statm: 4777044 224036 5890 1 0 1320570 0
[pid=810042/tid=810044] ppid=810039 vsize=19108176 memory=190400 CPUtime=11.93 cores=1,3
/proc/810042/task/810044/stat : 810044 (java) R 810039 810042 806254 0 -1 4194368 7309 0 0 0 1181 12 0 0 20 0 20 0 159112079 19566772224 224036 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810053] ppid=810039 vsize=19108176 memory=742544 CPUtime=0 cores=1,3
/proc/810042/task/810053/stat : 810053 (Finalizer) S 810039 810042 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159112084 19566772224 224036 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810060] ppid=810039 vsize=19108176 memory=344284 CPUtime=0 cores=1,3
/proc/810042/task/810060/stat : 810060 (Common-Cleaner) S 810039 810042 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 159112085 19566772224 224036 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810062] ppid=810039 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/810042/task/810062/stat : 810062 (Timer-0) S 810039 810042 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159112161 19566772224 224036 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
Current children cumulated CPU time: 15.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 896144 KiB
[startup+25.5004 s]
/proc/loadavg: 4.27 4.22 4.27 8/317 810131
/proc/meminfo: memFree=118205660/131655788 swapFree=131071996/131071996
[pid=810042] ppid=810039 vsize=19108176 memory=1328500 CPUtime=28.79 cores=1,3
/proc/810042/stat : 810042 (java) S 810039 810042 806254 0 -1 1077936128 28786 0 0 0 2844 35 0 0 20 0 20 0 159112079 19566772224 332125 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
/proc/810042/statm: 4777044 332125 5890 1 0 1320629 0
[pid=810042/tid=810044] ppid=810039 vsize=19108176 memory=742544 CPUtime=24.15 cores=1,3
/proc/810042/task/810044/stat : 810044 (java) R 810039 810042 806254 0 -1 4194368 8848 0 0 0 2402 13 0 0 20 0 20 0 159112079 19566772224 332125 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810053] ppid=810039 vsize=19108176 memory=1254644 CPUtime=0 cores=1,3
/proc/810042/task/810053/stat : 810053 (Finalizer) S 810039 810042 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159112084 19566772224 332125 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810060] ppid=810039 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/810042/task/810060/stat : 810060 (Common-Cleaner) S 810039 810042 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 159112085 19566772224 332125 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810062] ppid=810039 vsize=19108176 memory=1328496 CPUtime=0 cores=1,3
/proc/810042/task/810062/stat : 810062 (Timer-0) S 810039 810042 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159112161 19566772224 332125 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
Current children cumulated CPU time: 28.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1328500 KiB
[startup+51.1131 s]
/proc/loadavg: 4.23 4.22 4.26 5/319 810138
/proc/meminfo: memFree=116138372/131655788 swapFree=131071996/131071996
[pid=810042] ppid=810039 vsize=19108176 memory=2333280 CPUtime=56.1 cores=1,3
/proc/810042/stat : 810042 (java) S 810039 810042 806254 0 -1 1077936128 39359 0 0 0 5552 58 0 0 20 0 20 0 159112079 19566772224 583320 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
/proc/810042/statm: 4777044 583320 5890 1 0 1431341 0
[pid=810042/tid=810044] ppid=810039 vsize=19108176 memory=906384 CPUtime=48.37 cores=1,3
/proc/810042/task/810044/stat : 810044 (java) R 810039 810042 806254 0 -1 4194368 10553 0 0 0 4818 19 0 0 20 0 20 0 159112079 19566772224 583320 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810053] ppid=810039 vsize=19108176 memory=280569544400208 CPUtime=0 cores=1,3
/proc/810042/task/810053/stat : 810053 (Finalizer) S 810039 810042 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159112084 19566772224 583320 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810060] ppid=810039 vsize=19108176 memory=2224688 CPUtime=0 cores=1,3
/proc/810042/task/810060/stat : 810060 (Common-Cleaner) S 810039 810042 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 159112085 19566772224 583320 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
################
# More data... #
################
/proc/810042/task/810053/stat : 810053 (Finalizer) S 810039 810042 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159112084 19566772224 3734002 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810060] ppid=810039 vsize=19108176 memory=14936008 CPUtime=0 cores=1,3
/proc/810042/task/810060/stat : 810060 (Common-Cleaner) S 810039 810042 806254 0 -1 1077936192 711 0 0 0 0 0 0 0 20 0 20 0 159112085 19566772224 3734002 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810062] ppid=810039 vsize=19108176 memory=42536 CPUtime=0 cores=1,3
/proc/810042/task/810062/stat : 810062 (Timer-0) S 810039 810042 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159112161 19566772224 3734002 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
Current children cumulated CPU time: 3166.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14936008 KiB
[startup+3042.3 s]
/proc/loadavg: 4.25 4.31 4.29 5/320 811926
/proc/meminfo: memFree=89738324/131655788 swapFree=131071996/131071996
[pid=810042] ppid=810039 vsize=19108176 memory=14936008 CPUtime=3228.45 cores=1,3
/proc/810042/stat : 810042 (java) S 810039 810042 806254 0 -1 1077936128 382394 0 0 0 322343 502 0 0 20 0 20 0 159112079 19566772224 3734002 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
/proc/810042/statm: 4777044 3734002 5924 1 0 4086432 0
[pid=810042/tid=810044] ppid=810039 vsize=19108176 memory=14936008 CPUtime=2896.25 cores=1,3
/proc/810042/task/810044/stat : 810044 (java) R 810039 810042 806254 0 -1 4194368 92786 0 0 0 289533 92 0 0 20 0 20 0 159112079 19566772224 3734002 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810053] ppid=810039 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/810042/task/810053/stat : 810053 (Finalizer) S 810039 810042 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159112084 19566772224 3734002 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810060] ppid=810039 vsize=19108176 memory=42536 CPUtime=0 cores=1,3
/proc/810042/task/810060/stat : 810060 (Common-Cleaner) S 810039 810042 806254 0 -1 1077936192 711 0 0 0 0 0 0 0 20 0 20 0 159112085 19566772224 3734002 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810062] ppid=810039 vsize=19108176 memory=14936008 CPUtime=0 cores=1,3
/proc/810042/task/810062/stat : 810062 (Timer-0) S 810039 810042 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159112161 19566772224 3734002 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
Current children cumulated CPU time: 3228.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14936008 KiB
[startup+3102.3 s]
/proc/loadavg: 4.20 4.28 4.28 5/319 811936
/proc/meminfo: memFree=89733964/131655788 swapFree=131071996/131071996
[pid=810042] ppid=810039 vsize=19108176 memory=14936008 CPUtime=3290.07 cores=1,3
/proc/810042/stat : 810042 (java) S 810039 810042 806254 0 -1 1077936128 386100 0 0 0 328501 506 0 0 20 0 20 0 159112079 19566772224 3734002 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
/proc/810042/statm: 4777044 3734002 5924 1 0 4086432 0
[pid=810042/tid=810044] ppid=810039 vsize=19108176 memory=42536 CPUtime=2954.3 cores=1,3
/proc/810042/task/810044/stat : 810044 (java) R 810039 810042 806254 0 -1 4194368 93607 0 0 0 295338 92 0 0 20 0 20 0 159112079 19566772224 3734002 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810053] ppid=810039 vsize=19108176 memory=16192 CPUtime=0 cores=1,3
/proc/810042/task/810053/stat : 810053 (Finalizer) S 810039 810042 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159112084 19566772224 3734002 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810060] ppid=810039 vsize=19108176 memory=11420 CPUtime=0 cores=1,3
/proc/810042/task/810060/stat : 810060 (Common-Cleaner) S 810039 810042 806254 0 -1 1077936192 711 0 0 0 0 0 0 0 20 0 20 0 159112085 19566772224 3734002 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810062] ppid=810039 vsize=19108176 memory=14936008 CPUtime=0 cores=1,3
/proc/810042/task/810062/stat : 810062 (Timer-0) S 810039 810042 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159112161 19566772224 3734002 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
Current children cumulated CPU time: 3290.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14936008 KiB
[startup+3162.3 s]
/proc/loadavg: 4.30 4.29 4.28 5/319 811947
/proc/meminfo: memFree=89731312/131655788 swapFree=131071996/131071996
[pid=810042] ppid=810039 vsize=19108176 memory=14936168 CPUtime=3363.99 cores=1,3
/proc/810042/stat : 810042 (java) S 810039 810042 806254 0 -1 1077936128 405037 0 0 0 335887 512 0 0 20 0 20 0 159112079 19566772224 3734042 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
/proc/810042/statm: 4777044 3734042 5924 1 0 4086466 0
[pid=810042/tid=810044] ppid=810039 vsize=19108176 memory=42536 CPUtime=3012.59 cores=1,3
/proc/810042/task/810044/stat : 810044 (java) R 810039 810042 806254 0 -1 4194368 94521 0 0 0 301167 92 0 0 20 0 20 0 159112079 19566772224 3734042 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810053] ppid=810039 vsize=19108176 memory=16192 CPUtime=0 cores=1,3
/proc/810042/task/810053/stat : 810053 (Finalizer) S 810039 810042 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159112084 19566772224 3734042 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810060] ppid=810039 vsize=19108176 memory=14936008 CPUtime=0 cores=1,3
/proc/810042/task/810060/stat : 810060 (Common-Cleaner) S 810039 810042 806254 0 -1 1077936192 811 0 0 0 0 0 0 0 20 0 20 0 159112085 19566772224 3734042 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810062] ppid=810039 vsize=19108176 memory=14936168 CPUtime=0 cores=1,3
/proc/810042/task/810062/stat : 810062 (Timer-0) S 810039 810042 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159112161 19566772224 3734042 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
Current children cumulated CPU time: 3363.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14936168 KiB
[startup+3222.3 s]
/proc/loadavg: 4.95 4.47 4.34 6/317 811958
/proc/meminfo: memFree=89711852/131655788 swapFree=131071996/131071996
[pid=810042] ppid=810039 vsize=19108176 memory=14936168 CPUtime=3426.56 cores=1,3
/proc/810042/stat : 810042 (java) S 810039 810042 806254 0 -1 1077936128 407997 0 0 0 342141 515 0 0 20 0 20 0 159112079 19566772224 3734042 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
/proc/810042/statm: 4777044 3734042 5924 1 0 4086466 0
[pid=810042/tid=810044] ppid=810039 vsize=19108176 memory=16192 CPUtime=3069.56 cores=1,3
/proc/810042/task/810044/stat : 810044 (java) S 810039 810042 806254 0 -1 1077936192 95810 0 0 0 306863 93 0 0 20 0 20 0 159112079 19566772224 3734042 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810053] ppid=810039 vsize=19108176 memory=14936008 CPUtime=0 cores=1,3
/proc/810042/task/810053/stat : 810053 (Finalizer) S 810039 810042 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159112084 19566772224 3734042 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810060] ppid=810039 vsize=19108176 memory=14936168 CPUtime=0 cores=1,3
/proc/810042/task/810060/stat : 810060 (Common-Cleaner) S 810039 810042 806254 0 -1 1077936192 811 0 0 0 0 0 0 0 20 0 20 0 159112085 19566772224 3734042 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810062] ppid=810039 vsize=19108176 memory=14936168 CPUtime=0 cores=1,3
/proc/810042/task/810062/stat : 810062 (Timer-0) S 810039 810042 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159112161 19566772224 3734042 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
Current children cumulated CPU time: 3426.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14936168 KiB
[startup+3282.3 s]
/proc/loadavg: 4.66 4.49 4.36 5/317 811968
/proc/meminfo: memFree=89203212/131655788 swapFree=131071996/131071996
[pid=810042] ppid=810039 vsize=19108176 memory=14936168 CPUtime=3489.55 cores=1,3
/proc/810042/stat : 810042 (java) S 810039 810042 806254 0 -1 1077936128 409898 0 0 0 348437 518 0 0 20 0 20 0 159112079 19566772224 3734042 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
/proc/810042/statm: 4777044 3734042 5924 1 0 4086466 0
[pid=810042/tid=810044] ppid=810039 vsize=19108176 memory=11420 CPUtime=3126.15 cores=1,3
/proc/810042/task/810044/stat : 810044 (java) R 810039 810042 806254 0 -1 4194368 96556 0 0 0 312522 93 0 0 20 0 20 0 159112079 19566772224 3734042 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810053] ppid=810039 vsize=19108176 memory=2340 CPUtime=0 cores=1,3
/proc/810042/task/810053/stat : 810053 (Finalizer) S 810039 810042 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159112084 19566772224 3734042 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810060] ppid=810039 vsize=19108176 memory=14936168 CPUtime=0 cores=1,3
/proc/810042/task/810060/stat : 810060 (Common-Cleaner) S 810039 810042 806254 0 -1 1077936192 811 0 0 0 0 0 0 0 20 0 20 0 159112085 19566772224 3734042 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810062] ppid=810039 vsize=19108176 memory=14936168 CPUtime=0 cores=1,3
/proc/810042/task/810062/stat : 810062 (Timer-0) S 810039 810042 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159112161 19566772224 3734042 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
Current children cumulated CPU time: 3489.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14936168 KiB
[startup+3342.3 s]
/proc/loadavg: 4.55 4.49 4.37 5/317 811979
/proc/meminfo: memFree=88909364/131655788 swapFree=131071996/131071996
[pid=810042] ppid=810039 vsize=19108176 memory=14958792 CPUtime=3565.81 cores=1,3
/proc/810042/stat : 810042 (java) S 810039 810042 806254 0 -1 1077936128 413455 0 0 0 356057 524 0 0 20 0 20 0 159112079 19566772224 3739698 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
/proc/810042/statm: 4777044 3739698 5939 1 0 4086467 0
[pid=810042/tid=810044] ppid=810039 vsize=19108176 memory=-8528245858302796476 CPUtime=3183.19 cores=1,3
/proc/810042/task/810044/stat : 810044 (java) R 810039 810042 806254 0 -1 4194368 97779 0 0 0 318226 93 0 0 20 0 20 0 159112079 19566772224 3739698 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810053] ppid=810039 vsize=19108176 memory=5540 CPUtime=0 cores=1,3
/proc/810042/task/810053/stat : 810053 (Finalizer) S 810039 810042 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159112084 19566772224 3739698 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810060] ppid=810039 vsize=19108176 memory=14936168 CPUtime=0 cores=1,3
/proc/810042/task/810060/stat : 810060 (Common-Cleaner) S 810039 810042 806254 0 -1 1077936192 811 0 0 0 0 0 0 0 20 0 20 0 159112085 19566772224 3739698 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810062] ppid=810039 vsize=19108176 memory=16192 CPUtime=0 cores=1,3
/proc/810042/task/810062/stat : 810062 (Timer-0) S 810039 810042 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159112161 19566772224 3739698 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
Current children cumulated CPU time: 3565.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14958792 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3374.8 s]
/proc/loadavg: 4.37 4.45 4.36 6/317 811983
/proc/meminfo: memFree=88806648/131655788 swapFree=131071996/131071996
[pid=810042] ppid=810039 vsize=19108176 memory=14958816 CPUtime=3600.08 cores=1,3
/proc/810042/stat : 810042 (java) S 810039 810042 806254 0 -1 1077936128 414300 0 0 0 359482 526 0 0 20 0 20 0 159112079 19566772224 3739704 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
/proc/810042/statm: 4777044 3739704 5939 1 0 4086467 0
[pid=810042/tid=810044] ppid=810039 vsize=19108176 memory=5540 CPUtime=3213.69 cores=1,3
/proc/810042/task/810044/stat : 810044 (java) R 810039 810042 806254 0 -1 4194368 98154 0 0 0 321276 93 0 0 20 0 20 0 159112079 19566772224 3739704 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810053] ppid=810039 vsize=19108176 memory=-8528245858302796476 CPUtime=0 cores=1,3
/proc/810042/task/810053/stat : 810053 (Finalizer) S 810039 810042 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159112084 19566772224 3739704 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810060] ppid=810039 vsize=19108176 memory=1936 CPUtime=0 cores=1,3
/proc/810042/task/810060/stat : 810060 (Common-Cleaner) S 810039 810042 806254 0 -1 1077936192 812 0 0 0 0 0 0 0 20 0 20 0 159112085 19566772224 3739704 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
[pid=810042/tid=810062] ppid=810039 vsize=19108176 memory=26652 CPUtime=0 cores=1,3
/proc/810042/task/810062/stat : 810062 (Timer-0) S 810039 810042 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159112161 19566772224 3739704 134679101440 94908539125760 94908539129456 140727455388992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94908539137272 94908539138064 94908566601728 140727455396871 140727455396961 140727455396961 140727455403976 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14958816 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3375.06 s]
# the end of solver process 810042 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.18 s, system=5.33035 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3375.04 s]*
/proc/loadavg: 4.37 4.45 4.36 5/299 811986
/proc/meminfo: memFree=103403880/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3375.06
CPU time (s): 3600.51
CPU user time (s): 3595.18
CPU system time (s): 5.33035
CPU usage (%): 106.68
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 14959440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.18
system time used= 5.33035
maximum resident set size= 14960384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 415941
page faults= 0
swaps= 0
block input operations= 8
block output operations= 3584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125111
involuntary context switches= 16965
# summary of solver processes directly reported to runsolver:
# pid: 810042
# total CPU time (s): 3600.51
# total CPU user time (s): 3595.18
# total CPU system time (s): 5.33035
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7613 second user time and 33.4976 second system time
The end
Begin job on nodeC011 at 2024-07-15 20:52:42 IDJOB=4432173 IDBENCH=146793 IDSOLVER=3058 FILE ID=nodeC011/4432173-1721069549 RUNJOBID= nodeC011-1721062551-806266 SLURM_JOB_ID= 7505516 Free space on /tmp= 723768 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ic.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432173-1721069549/watcher-4432173-1721069549 -o /tmp/evaluation-result-4432173-1721069549/solver-4432173-1721069549 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721062551-806266 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432173-1721069549.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f5b507fec305347e12cc700790213fb8 RANDOM SEED=686452337 nodeC011.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 : 3671.241 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 : 6983.20 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 : 3560.004 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.270 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 : 6983.20 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.121 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 : 3672.132 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 : 6983.20 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 : 3662.046 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.324 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 : 6983.20 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 : 1757.785 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: 105756424 kB MemAvailable: 110889288 kB Buffers: 395056 kB Cached: 5515992 kB SwapCached: 0 kB Active: 672188 kB Inactive: 24522400 kB Active(anon): 1444 kB Inactive(anon): 19319840 kB Active(file): 670744 kB Inactive(file): 5202560 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 3800 kB Writeback: 0 kB AnonPages: 19281288 kB Mapped: 124024 kB Shmem: 37704 kB KReclaimable: 199520 kB Slab: 309932 kB SReclaimable: 199520 kB SUnreclaim: 110412 kB KernelStack: 4848 kB PageTables: 47692 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 23413696 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51392 kB HardwareCorrupted: 0 kB AnonHugePages: 18855936 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: 262984 kB DirectMap2M: 33196032 kB DirectMap1G: 102760448 kB Free space on /tmp at the end= 723772 MiB End job on nodeC011 at 2024-07-15 21:48:57