Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Partial RoundingSAT 2024 2024-07-12 | SAT (TO) | -3683 | 3600.27 | 3591.94 |
| Name | PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern35-18.opb |
| MD5SUM | f5c432639ff617f018d9bdeeea2281b7 |
| 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 | -3891 |
| Best CPU time to get the best result obtained on this benchmark | 69915.9 |
| 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 | 0 |
| Total number of constraints | 0 |
| 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 | 0 |
| Minimum length of a constraint | -1 |
| Maximum length of a constraint | 0 |
| Number of terms in the objective function | 5002 |
| Biggest coefficient in the objective function | 1560 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 270432 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 1560 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 270432 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 4967 |
| Sum of products size (including duplicates) | 15919 |
| Number of different products | 0 |
| Sum of products size | 0 |
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.13/0.10 c version CUSTOM.v20240707 0.13/0.11 c java.runtime.name OpenJDK Runtime Environment 0.13/0.11 c java.vm.name OpenJDK 64-Bit Server VM 0.13/0.11 c java.vm.version 22.0.1+8-16 0.13/0.11 c java.vm.vendor Oracle Corporation 0.13/0.11 c sun.arch.data.model 64 0.13/0.11 c java.version 22.0.1 0.13/0.11 c os.name Linux 0.13/0.11 c os.version 4.18.0-301.1.el8.x86_64 0.13/0.11 c os.arch amd64 0.13/0.12 c Free memory 2115194816 0.13/0.12 c Max memory 16282288128 0.13/0.12 c Total memory 2122317824 0.13/0.12 c Number of processors 2 0.13/0.20 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.13/0.20 - never skip resolution steps 0.13/0.20 - Auto-division on coefficients is disabled 0.13/0.20 - No postprocessing 0.13/0.20 - Conflict is considered as is when resolving 0.13/0.20 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.13/0.20 - Weaken first using unassigned literals 0.13/0.20 - Bump strategy: ALWAYS_ONE 0.13/0.20 - Bumper: ASSIGNED 0.13/0.20 --- Begin Solver configuration --- 0.13/0.20 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.13/0.20 Learn all clauses as in MiniSAT 0.13/0.20 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.20 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.13/0.20 No reason simplification 0.13/0.20 Armin Biere (Picosat) restarts strategy 0.13/0.20 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.13/0.20 timeout=2147483s 0.13/0.20 DB Simplification allowed=false 0.13/0.20 Listener: none 0.13/0.20 --- End Solver configuration --- 0.13/0.20 c Pseudo Boolean Optimization by upper bound 0.13/0.20 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.13/0.20 c - never skip resolution steps 0.13/0.20 c - Auto-division on coefficients is disabled 0.13/0.20 c - No postprocessing 0.13/0.20 c - Conflict is considered as is when resolving 0.13/0.20 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.13/0.20 c - Weaken first using unassigned literals 0.13/0.20 c - Bump strategy: ALWAYS_ONE 0.13/0.20 c - Bumper: ASSIGNED 0.13/0.20 c --- Begin Solver configuration --- 0.13/0.20 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.13/0.20 c Learn all clauses as in MiniSAT 0.13/0.20 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.20 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.13/0.20 c No reason simplification 0.13/0.20 c Armin Biere (Picosat) restarts strategy 0.13/0.20 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.13/0.20 c timeout=2147483s 0.13/0.20 c DB Simplification allowed=false 0.13/0.20 c Listener: none 0.13/0.20 c --- End Solver configuration --- 0.13/0.20 c solving HOME/instance-4460037-1721942848.opb 0.13/0.20 c reading problem ... 0.13/0.20 c objective function found 1.45/0.80 c ... done. Wall clock time 0.602s. 1.45/0.80 c declared #vars 35 1.45/0.80 c internal #vars 5002 1.45/0.80 c #constraints 9934 1.45/0.80 c constraints type 1.45/0.80 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 4967 1.45/0.80 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4967 1.45/0.80 c 9934 constraints processed. 1.45/0.81 c objective function length is 5002 literals 1.45/0.87 c SATISFIABLE 1.45/0.88 c OPTIMIZING... 1.45/0.88 c Got one! Elapsed wall clock time (in seconds):0.677 1.45/0.88 o 0 1.84/1.08 c Got one! Elapsed wall clock time (in seconds):0.873 1.84/1.08 o -68 2.62/1.48 c Got one! Elapsed wall clock time (in seconds):1.284 2.62/1.48 o -136 3.42/1.86 c Got one! Elapsed wall clock time (in seconds):1.659 3.42/1.86 o -249 4.59/2.49 c Got one! Elapsed wall clock time (in seconds):2.29 4.59/2.49 o -324 6.18/3.30 c Got one! Elapsed wall clock time (in seconds):3.098 6.18/3.30 o -362 6.88/3.71 c Got one! Elapsed wall clock time (in seconds):3.513 6.88/3.71 o -501 9.40/5.34 c Got one! Elapsed wall clock time (in seconds):5.141 9.40/5.34 o -583 14.02/9.24 c Got one! Elapsed wall clock time (in seconds):9.048 14.02/9.24 o -640 15.57/10.75 c Got one! Elapsed wall clock time (in seconds):10.556 15.57/10.75 o -790 22.48/17.37 c Got one! Elapsed wall clock time (in seconds):17.175 22.48/17.37 o -2542 41.85/36.04 c Got one! Elapsed wall clock time (in seconds):35.849 41.85/36.04 o -2719 83.63/76.05 c Got one! Elapsed wall clock time (in seconds):75.847 83.63/76.05 o -2997 145.93/138.13 c Got one! Elapsed wall clock time (in seconds):137.928 145.93/138.13 o -3010 179.02/171.15 c Got one! Elapsed wall clock time (in seconds):170.954 179.02/171.15 o -3036 246.33/238.36 c Got one! Elapsed wall clock time (in seconds):238.16 246.33/238.36 o -3042 337.24/329.32 c Got one! Elapsed wall clock time (in seconds):329.123 337.24/329.32 o -3044 483.89/475.98 c Got one! Elapsed wall clock time (in seconds):475.786 483.89/475.98 o -3256 553.67/545.55 c Got one! Elapsed wall clock time (in seconds):545.35 553.67/545.55 o -3311 689.14/680.89 c Got one! Elapsed wall clock time (in seconds):680.69 689.14/680.89 o -3373 1304.99/1297.04 c Got one! Elapsed wall clock time (in seconds):1296.834 1304.99/1297.04 o -3405 1851.49/1843.66 c Got one! Elapsed wall clock time (in seconds):1843.456 1851.49/1843.66 o -3524 2886.38/2879.97 c Got one! Elapsed wall clock time (in seconds):2879.769 2886.38/2879.97 o -3667 3291.14/3284.27 c Got one! Elapsed wall clock time (in seconds):3284.064 3291.14/3284.27 o -3683 3600.03/3591.83 c starts : 47 3600.03/3591.85 c conflicts : 5267 3600.03/3591.85 c decisions : 6694 3600.03/3591.85 c propagations : 1398488 3600.03/3591.85 c inspects : 181235191 3600.03/3591.85 c shortcuts : 0 3600.03/3591.85 c learnt literals : 0 3600.03/3591.85 c learnt binary clauses : 0 3600.03/3591.85 c learnt ternary clauses : 0 3600.03/3591.85 c learnt constraints : 5267 3600.03/3591.85 c ignored constraints : 0 3600.03/3591.85 c root simplifications : 0 3600.03/3591.85 c removed literals (reason simplification) : 0 3600.03/3591.85 c reason swapping (by a shorter reason) : 0 3600.03/3591.85 c Calls to reduceDB : 0 3600.03/3591.85 c Number of update (reduction) of LBD : 0 3600.03/3591.85 c Imported unit clauses : 0 3600.03/3591.85 c No decision after first conflict : false 3600.03/3591.85 c number of reductions to clauses (during analyze) : 0 3600.03/3591.85 c number of learned constraints concerned by reduction : 0 3600.03/3591.85 c number of learning phase by resolution : 0 3600.03/3591.85 c number of learning phase by cutting planes : 0 3600.03/3591.85 c number of rounding to 1 operations : 465498 3600.03/3591.85 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.03/3591.86 c number of reductions of the coefficients by power 2 : 0 3600.03/3591.86 c number of right shift for reduction by power 2 : 0 3600.03/3591.86 c number of reductions of the coefficients by GCD over coefficients : 0 3600.03/3591.86 c number of ending skipping : 0 3600.03/3591.86 c number of internal skipping : 0 3600.03/3591.86 c number of derivation steps : 730936 3600.03/3591.86 c number of skipped derivation steps : 0 3600.03/3591.86 c number of remaining unassigned : 720 3600.03/3591.86 c number of remaining assigned : 18307822 3600.03/3591.86 c number of falsified literals weakened from reason : 0 3600.03/3591.86 c number of falsified literals weakened from conflict : 0 3600.03/3591.86 c time for arithmetic operations : 58838334004 3600.03/3591.86 c minimum degree of deleted constraints : null 3600.03/3591.86 c maximum degree of deleted constraints : null 3600.03/3591.86 c number of deleted constraints : 0 3600.03/3591.90 c speed (assignments/second) : 389.43978390570936 3600.03/3591.90 c non guided choices : 0 3600.24/3591.91 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 2007 3600.24/3591.91 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 3260 3600.24/3591.91 s SATISFIABLE 3600.24/3591.91 c Found 24 solution(s) 3600.24/3591.91 v -x1 x2 -x3 x4 x5 x6 -x7 -x8 -x9 x10 x11 -x12 -x13 x14 x15 x16 x17 x18 x19 x20 x21 -x22 -x23 x24 x25 x26 x27 -x28 x29 -x30 -x31 -x32 x33 x34 x35 3600.24/3591.91 c objective function=-3683 3600.24/3591.91 c Total wall clock time (in seconds): 3591.709
OK -3683
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 (46239 MiB free)
memory of node 1: 64510 MiB (47972 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460037-1721942848/watcher-4460037-1721942848 -o /tmp/evaluation-result-4460037-1721942848/solver-4460037-1721942848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721939462-301727 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4460037-1721942848.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=303620, runsolver pid=303617
[startup+0.100924 s]*
/proc/loadavg: 4.87 4.81 4.65 8/316 303638
/proc/meminfo: memFree=96437352/131655788 swapFree=131070704/131071996
[pid=303620] ppid=303617 vsize=18975048 memory=56548 CPUtime=0.13 cores=0,2
/proc/303620/stat : 303620 (java) S 303617 303620 301717 0 -1 1077936128 6702 0 0 0 10 3 0 0 20 0 18 0 30274119 19430449152 14137 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
/proc/303620/statm: 4743762 14137 5583 1 0 550998 0
[pid=303620/tid=303622] ppid=303617 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/303620/task/303622/stat : 303622 (java) R 303617 303620 301717 0 -1 4194368 5634 0 0 0 6 2 0 0 20 0 18 0 30274120 19430449152 14137 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303631] ppid=303617 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/303620/task/303631/stat : 303631 (Finalizer) S 303617 303620 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30274124 19430449152 14137 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303638] ppid=303617 vsize=18975048 memory=4121981368647548960 CPUtime=0 cores=0,2
/proc/303620/task/303638/stat : 303638 (Common-Cleaner) S 303617 303620 301717 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30274125 19430449152 14137 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56548 KiB
[startup+0.213999 s]*
/proc/loadavg: 4.87 4.81 4.65 8/316 303638
/proc/meminfo: memFree=96427512/131655788 swapFree=131070704/131071996
[pid=303620] ppid=303617 vsize=18975048 memory=67596 CPUtime=0.34 cores=0,2
/proc/303620/stat : 303620 (java) S 303617 303620 301717 0 -1 1077936128 7646 0 0 0 31 3 0 0 20 0 18 0 30274119 19430449152 16899 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
/proc/303620/statm: 4743762 16899 5841 1 0 551765 0
[pid=303620/tid=303622] ppid=303617 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/303620/task/303622/stat : 303622 (java) R 303617 303620 301717 0 -1 4194368 6093 0 0 0 16 3 0 0 20 0 18 0 30274120 19430449152 16899 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303631] ppid=303617 vsize=18975048 memory=605730 CPUtime=0 cores=0,2
/proc/303620/task/303631/stat : 303631 (Finalizer) S 303617 303620 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30274124 19430449152 16899 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303638] ppid=303617 vsize=18975048 memory=15539622046353107 CPUtime=0 cores=0,2
/proc/303620/task/303638/stat : 303638 (Common-Cleaner) S 303617 303620 301717 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30274125 19430449152 16899 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67596 KiB
[startup+0.314064 s]*
/proc/loadavg: 4.87 4.81 4.65 9/316 303638
/proc/meminfo: memFree=96422800/131655788 swapFree=131070704/131071996
[pid=303620] ppid=303617 vsize=18975048 memory=71968 CPUtime=0.53 cores=0,2
/proc/303620/stat : 303620 (java) S 303617 303620 301717 0 -1 1077936128 7744 0 0 0 50 3 0 0 20 0 18 0 30274119 19430449152 17992 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
/proc/303620/statm: 4743762 17992 5841 1 0 551803 0
[pid=303620/tid=303622] ppid=303617 vsize=18975048 memory=-8672917386394510012 CPUtime=0.28 cores=0,2
/proc/303620/task/303622/stat : 303622 (java) R 303617 303620 301717 0 -1 4194368 6111 0 0 0 25 3 0 0 20 0 18 0 30274120 19430449152 17992 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303631] ppid=303617 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/303620/task/303631/stat : 303631 (Finalizer) S 303617 303620 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30274124 19430449152 17992 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303638] ppid=303617 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/303620/task/303638/stat : 303638 (Common-Cleaner) S 303617 303620 301717 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30274125 19430449152 17992 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 71968 KiB
[startup+0.70206 s]
/proc/loadavg: 4.87 4.81 4.65 8/316 303638
/proc/meminfo: memFree=96400992/131655788 swapFree=131070704/131071996
[pid=303620] ppid=303617 vsize=18975048 memory=145112 CPUtime=1.27 cores=0,2
/proc/303620/stat : 303620 (java) S 303617 303620 301717 0 -1 1077936128 8794 0 0 0 122 5 0 0 20 0 18 0 30274119 19430449152 36278 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
/proc/303620/statm: 4743762 36278 5873 1 0 552079 0
[pid=303620/tid=303622] ppid=303617 vsize=18975048 memory=5472 CPUtime=0.63 cores=0,2
/proc/303620/task/303622/stat : 303622 (java) R 303617 303620 301717 0 -1 4194368 6161 0 0 0 59 4 0 0 20 0 18 0 30274120 19430449152 36278 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303631] ppid=303617 vsize=18975048 memory=12928 CPUtime=0 cores=0,2
/proc/303620/task/303631/stat : 303631 (Finalizer) S 303617 303620 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30274124 19430449152 36278 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303638] ppid=303617 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/303620/task/303638/stat : 303638 (Common-Cleaner) S 303617 303620 301717 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30274125 19430449152 36278 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 145112 KiB
[startup+1.50106 s]
/proc/loadavg: 4.87 4.81 4.65 7/318 303640
/proc/meminfo: memFree=96069668/131655788 swapFree=131070704/131071996
[pid=303620] ppid=303617 vsize=19108176 memory=187392 CPUtime=2.81 cores=0,2
/proc/303620/stat : 303620 (java) S 303617 303620 301717 0 -1 1077936128 15603 0 0 0 274 7 0 0 20 0 20 0 30274119 19566772224 46848 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
/proc/303620/statm: 4777044 46848 5943 1 0 554585 0
[pid=303620/tid=303622] ppid=303617 vsize=19108176 memory=0 CPUtime=1.34 cores=0,2
/proc/303620/task/303622/stat : 303622 (java) R 303617 303620 301717 0 -1 4194368 6792 0 0 0 129 5 0 0 20 0 20 0 30274120 19566772224 46848 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303631] ppid=303617 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/303620/task/303631/stat : 303631 (Finalizer) S 303617 303620 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30274124 19566772224 46848 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303638] ppid=303617 vsize=19108176 memory=12928 CPUtime=0 cores=0,2
/proc/303620/task/303638/stat : 303638 (Common-Cleaner) S 303617 303620 301717 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 30274125 19566772224 46848 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303640] ppid=303617 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/303620/task/303640/stat : 303640 (Timer-0) S 303617 303620 301717 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30274202 19566772224 46848 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187392 KiB
[startup+3.10607 s]
/proc/loadavg: 4.87 4.81 4.65 6/318 303640
/proc/meminfo: memFree=94510628/131655788 swapFree=131070704/131071996
[pid=303620] ppid=303617 vsize=19108176 memory=1571836 CPUtime=5.99 cores=0,2
/proc/303620/stat : 303620 (java) S 303617 303620 301717 0 -1 1077936128 26306 0 0 0 564 35 0 0 20 0 20 0 30274119 19566772224 392959 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
/proc/303620/statm: 4777044 392959 5943 1 0 770452 0
[pid=303620/tid=303622] ppid=303617 vsize=19108176 memory=0 CPUtime=2.88 cores=0,2
/proc/303620/task/303622/stat : 303622 (java) R 303617 303620 301717 0 -1 4194368 8332 0 0 0 258 30 0 0 20 0 20 0 30274120 19566772224 392959 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303631] ppid=303617 vsize=19108176 memory=12928 CPUtime=0 cores=0,2
/proc/303620/task/303631/stat : 303631 (Finalizer) S 303617 303620 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30274124 19566772224 392959 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303638] ppid=303617 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/303620/task/303638/stat : 303638 (Common-Cleaner) S 303617 303620 301717 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 30274125 19566772224 392959 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303640] ppid=303617 vsize=19108176 memory=11672 CPUtime=0 cores=0,2
/proc/303620/task/303640/stat : 303640 (Timer-0) S 303617 303620 301717 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30274202 19566772224 392959 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1571836 KiB
[startup+6.30106 s]
/proc/loadavg: 4.88 4.82 4.65 5/318 303641
/proc/meminfo: memFree=93943096/131655788 swapFree=131070704/131071996
[pid=303620] ppid=303617 vsize=19108176 memory=2043424 CPUtime=10.8 cores=0,2
/proc/303620/stat : 303620 (java) S 303617 303620 301717 0 -1 1077936128 26749 0 0 0 1035 45 0 0 20 0 20 0 30274119 19566772224 510856 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
/proc/303620/statm: 4777044 510856 5943 1 0 770487 0
[pid=303620/tid=303622] ppid=303617 vsize=19108176 memory=12928 CPUtime=6.03 cores=0,2
/proc/303620/task/303622/stat : 303622 (java) R 303617 303620 301717 0 -1 4194368 8581 0 0 0 563 40 0 0 20 0 20 0 30274120 19566772224 510856 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303631] ppid=303617 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/303620/task/303631/stat : 303631 (Finalizer) S 303617 303620 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30274124 19566772224 510856 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303638] ppid=303617 vsize=19108176 memory=2043424 CPUtime=0 cores=0,2
/proc/303620/task/303638/stat : 303638 (Common-Cleaner) S 303617 303620 301717 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 30274125 19566772224 510856 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303640] ppid=303617 vsize=19108176 memory=605646 CPUtime=0 cores=0,2
/proc/303620/task/303640/stat : 303640 (Timer-0) S 303617 303620 301717 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30274202 19566772224 510856 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
Current children cumulated CPU time: 10.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2043424 KiB
[startup+12.7004 s]
/proc/loadavg: 4.81 4.80 4.65 6/318 303641
/proc/meminfo: memFree=93946948/131655788 swapFree=131070704/131071996
[pid=303620] ppid=303617 vsize=19108176 memory=2039528 CPUtime=17.66 cores=0,2
/proc/303620/stat : 303620 (java) S 303617 303620 301717 0 -1 1077936128 27179 0 0 0 1720 46 0 0 20 0 20 0 30274119 19566772224 509882 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
/proc/303620/statm: 4777044 509882 5943 1 0 770487 0
[pid=303620/tid=303622] ppid=303617 vsize=19108176 memory=0 CPUtime=12.34 cores=0,2
/proc/303620/task/303622/stat : 303622 (java) R 303617 303620 301717 0 -1 4194368 8915 0 0 0 1194 40 0 0 20 0 20 0 30274120 19566772224 509882 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303631] ppid=303617 vsize=19108176 memory=12928 CPUtime=0 cores=0,2
/proc/303620/task/303631/stat : 303631 (Finalizer) S 303617 303620 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30274124 19566772224 509882 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303638] ppid=303617 vsize=19108176 memory=2039528 CPUtime=0 cores=0,2
/proc/303620/task/303638/stat : 303638 (Common-Cleaner) S 303617 303620 301717 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 30274125 19566772224 509882 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303640] ppid=303617 vsize=19108176 memory=1670336 CPUtime=0 cores=0,2
/proc/303620/task/303640/stat : 303640 (Timer-0) S 303617 303620 301717 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30274202 19566772224 509882 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
Current children cumulated CPU time: 17.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2039528 KiB
[startup+25.5005 s]
/proc/loadavg: 4.92 4.83 4.66 5/318 303644
/proc/meminfo: memFree=93417728/131655788 swapFree=131070704/131071996
[pid=303620] ppid=303617 vsize=19108176 memory=2565352 CPUtime=31.02 cores=0,2
/proc/303620/stat : 303620 (java) S 303617 303620 301717 0 -1 1077936128 33529 0 0 0 3044 58 0 0 20 0 20 0 30274119 19566772224 641338 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
/proc/303620/statm: 4777044 641338 5943 1 0 904176 0
[pid=303620/tid=303622] ppid=303617 vsize=19108176 memory=1670336 CPUtime=24.64 cores=0,2
/proc/303620/task/303622/stat : 303622 (java) R 303617 303620 301717 0 -1 4194368 10979 0 0 0 2414 50 0 0 20 0 20 0 30274120 19566772224 641338 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303631] ppid=303617 vsize=19108176 memory=2469096 CPUtime=0 cores=0,2
/proc/303620/task/303631/stat : 303631 (Finalizer) S 303617 303620 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30274124 19566772224 641338 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303638] ppid=303617 vsize=19108176 memory=2039528 CPUtime=0 cores=0,2
/proc/303620/task/303638/stat : 303638 (Common-Cleaner) S 303617 303620 301717 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 30274125 19566772224 641338 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303640] ppid=303617 vsize=19108176 memory=11672 CPUtime=0 cores=0,2
/proc/303620/task/303640/stat : 303640 (Timer-0) S 303617 303620 301717 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30274202 19566772224 641338 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
Current children cumulated CPU time: 31.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2565352 KiB
[startup+51.1141 s]
/proc/loadavg: 4.83 4.81 4.66 5/318 303648
/proc/meminfo: memFree=92890464/131655788 swapFree=131070704/131071996
[pid=303620] ppid=303617 vsize=19108176 memory=3082980 CPUtime=58.18 cores=0,2
/proc/303620/stat : 303620 (java) S 303617 303620 301717 0 -1 1077936128 43647 0 0 0 5746 72 0 0 20 0 20 0 30274119 19566772224 770745 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
/proc/303620/statm: 4777044 770745 5943 1 0 1031602 0
[pid=303620/tid=303622] ppid=303617 vsize=19108176 memory=3076780 CPUtime=49.67 cores=0,2
/proc/303620/task/303622/stat : 303622 (java) R 303617 303620 301717 0 -1 4194368 13936 0 0 0 4906 61 0 0 20 0 20 0 30274120 19566772224 770745 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303631] ppid=303617 vsize=19108176 memory=2032 CPUtime=0 cores=0,2
/proc/303620/task/303631/stat : 303631 (Finalizer) S 303617 303620 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30274124 19566772224 770745 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303638] ppid=303617 vsize=19108176 memory=3076752 CPUtime=0 cores=0,2
/proc/303620/task/303638/stat : 303638 (Common-Cleaner) S 303617 303620 301717 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 30274125 19566772224 770745 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 3.17 3.18 3.26 4/293 305663
/proc/meminfo: memFree=99006104/131655788 swapFree=131070704/131071996
[pid=303620] ppid=303617 vsize=19108176 memory=3706880 CPUtime=3289.14 cores=0,2
/proc/303620/stat : 303620 (java) S 303617 303620 301717 0 -1 1077936128 315863 0 0 0 328619 295 0 0 20 0 20 0 30274119 19566772224 926720 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
/proc/303620/statm: 4777044 926720 5975 1 0 1031602 0
[pid=303620/tid=303622] ppid=303617 vsize=19108176 memory=3706880 CPUtime=3252.26 cores=0,2
/proc/303620/task/303622/stat : 303622 (java) R 303617 303620 301717 0 -1 4194368 163507 0 0 0 325141 85 0 0 20 0 20 0 30274120 19566772224 926720 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303631] ppid=303617 vsize=19108176 memory=3704832 CPUtime=0 cores=0,2
/proc/303620/task/303631/stat : 303631 (Finalizer) S 303617 303620 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30274124 19566772224 926720 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303638] ppid=303617 vsize=19108176 memory=73644 CPUtime=0.01 cores=0,2
/proc/303620/task/303638/stat : 303638 (Common-Cleaner) S 303617 303620 301717 0 -1 1077936192 4593 0 0 0 1 0 0 0 20 0 20 0 30274125 19566772224 926720 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303640] ppid=303617 vsize=19108176 memory=11672 CPUtime=0 cores=0,2
/proc/303620/task/303640/stat : 303640 (Timer-0) S 303617 303620 301717 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30274202 19566772224 926720 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
Current children cumulated CPU time: 3289.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3706880 KiB
[startup+3342.3 s]
/proc/loadavg: 3.54 3.26 3.28 4/293 305673
/proc/meminfo: memFree=99001404/131655788 swapFree=131070704/131071996
[pid=303620] ppid=303617 vsize=19108176 memory=3711192 CPUtime=3349.96 cores=0,2
/proc/303620/stat : 303620 (java) S 303617 303620 301717 0 -1 1077936128 327947 0 0 0 334697 299 0 0 20 0 20 0 30274119 19566772224 927798 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
/proc/303620/statm: 4777044 927798 5975 1 0 1031603 0
[pid=303620/tid=303622] ppid=303617 vsize=19108176 memory=11672 CPUtime=3311.77 cores=0,2
/proc/303620/task/303622/stat : 303622 (java) R 303617 303620 301717 0 -1 4194368 166454 0 0 0 331092 85 0 0 20 0 20 0 30274120 19566772224 927798 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303631] ppid=303617 vsize=19108176 memory=3708956 CPUtime=0 cores=0,2
/proc/303620/task/303631/stat : 303631 (Finalizer) S 303617 303620 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30274124 19566772224 927798 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303638] ppid=303617 vsize=19108176 memory=12928 CPUtime=0.01 cores=0,2
/proc/303620/task/303638/stat : 303638 (Common-Cleaner) S 303617 303620 301717 0 -1 1077936192 4632 0 0 0 1 0 0 0 20 0 20 0 30274125 19566772224 927798 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303640] ppid=303617 vsize=19108176 memory=11672 CPUtime=0 cores=0,2
/proc/303620/task/303640/stat : 303640 (Timer-0) S 303617 303620 301717 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30274202 19566772224 927798 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
Current children cumulated CPU time: 3349.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3711192 KiB
[startup+3402.3 s]
/proc/loadavg: 3.68 3.38 3.32 4/294 305684
/proc/meminfo: memFree=98996712/131655788 swapFree=131070704/131071996
[pid=303620] ppid=303617 vsize=19108176 memory=3715312 CPUtime=3410.02 cores=0,2
/proc/303620/stat : 303620 (java) S 303617 303620 301717 0 -1 1077936128 332346 0 0 0 340698 304 0 0 20 0 20 0 30274119 19566772224 928828 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
/proc/303620/statm: 4777044 928828 5975 1 0 1031603 0
[pid=303620/tid=303622] ppid=303617 vsize=19108176 memory=3708956 CPUtime=3371.21 cores=0,2
/proc/303620/task/303622/stat : 303622 (java) R 303617 303620 301717 0 -1 4194368 168784 0 0 0 337035 86 0 0 20 0 20 0 30274120 19566772224 928828 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303631] ppid=303617 vsize=19108176 memory=3713240 CPUtime=0 cores=0,2
/proc/303620/task/303631/stat : 303631 (Finalizer) S 303617 303620 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30274124 19566772224 928828 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303638] ppid=303617 vsize=19108176 memory=3715312 CPUtime=0.01 cores=0,2
/proc/303620/task/303638/stat : 303638 (Common-Cleaner) S 303617 303620 301717 0 -1 1077936192 4695 0 0 0 1 0 0 0 20 0 20 0 30274125 19566772224 928828 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303640] ppid=303617 vsize=19108176 memory=3715312 CPUtime=0 cores=0,2
/proc/303620/task/303640/stat : 303640 (Timer-0) S 303617 303620 301717 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30274202 19566772224 928828 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
Current children cumulated CPU time: 3410.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3715312 KiB
[startup+3462.3 s]
/proc/loadavg: 3.53 3.37 3.32 4/294 305694
/proc/meminfo: memFree=98977920/131655788 swapFree=131070704/131071996
[pid=303620] ppid=303617 vsize=19108176 memory=3733776 CPUtime=3470.08 cores=0,2
/proc/303620/stat : 303620 (java) S 303617 303620 301717 0 -1 1077936128 336003 0 0 0 346701 307 0 0 20 0 20 0 30274119 19566772224 933444 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
/proc/303620/statm: 4777044 933444 5975 1 0 1031603 0
[pid=303620/tid=303622] ppid=303617 vsize=19108176 memory=3708956 CPUtime=3430.72 cores=0,2
/proc/303620/task/303622/stat : 303622 (java) R 303617 303620 301717 0 -1 4194368 171387 0 0 0 342986 86 0 0 20 0 20 0 30274120 19566772224 933444 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303631] ppid=303617 vsize=19108176 memory=3713240 CPUtime=0 cores=0,2
/proc/303620/task/303631/stat : 303631 (Finalizer) S 303617 303620 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30274124 19566772224 933444 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303638] ppid=303617 vsize=19108176 memory=11672 CPUtime=0.01 cores=0,2
/proc/303620/task/303638/stat : 303638 (Common-Cleaner) S 303617 303620 301717 0 -1 1077936192 4764 0 0 0 1 0 0 0 20 0 20 0 30274125 19566772224 933444 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303640] ppid=303617 vsize=19108176 memory=3733776 CPUtime=0 cores=0,2
/proc/303620/task/303640/stat : 303640 (Timer-0) S 303617 303620 301717 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30274202 19566772224 933444 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
Current children cumulated CPU time: 3470.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3733776 KiB
[startup+3522.3 s]
/proc/loadavg: 2.64 3.15 3.25 3/266 306121
/proc/meminfo: memFree=103499720/131655788 swapFree=131070704/131071996
[pid=303620] ppid=303617 vsize=19108176 memory=3784976 CPUtime=3530.27 cores=0,2
/proc/303620/stat : 303620 (java) S 303617 303620 301717 0 -1 1077936128 339302 0 0 0 352714 313 0 0 20 0 20 0 30274119 19566772224 946244 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
/proc/303620/statm: 4777044 946244 5975 1 0 1031603 0
[pid=303620/tid=303622] ppid=303617 vsize=19108176 memory=3733776 CPUtime=3490.19 cores=0,2
/proc/303620/task/303622/stat : 303622 (java) R 303617 303620 301717 0 -1 4194368 173027 0 0 0 348933 86 0 0 20 0 20 0 30274120 19566772224 946244 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303631] ppid=303617 vsize=19108176 memory=3752208 CPUtime=0 cores=0,2
/proc/303620/task/303631/stat : 303631 (Finalizer) S 303617 303620 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30274124 19566772224 946244 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303638] ppid=303617 vsize=19108176 memory=3784976 CPUtime=0.01 cores=0,2
/proc/303620/task/303638/stat : 303638 (Common-Cleaner) S 303617 303620 301717 0 -1 1077936192 4837 0 0 0 1 0 0 0 20 0 20 0 30274125 19566772224 946244 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303640] ppid=303617 vsize=19108176 memory=3768592 CPUtime=0 cores=0,2
/proc/303620/task/303640/stat : 303640 (Timer-0) S 303617 303620 301717 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30274202 19566772224 946244 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
Current children cumulated CPU time: 3530.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3784976 KiB
[startup+3582.3 s]
/proc/loadavg: 2.29 2.95 3.17 3/266 306132
/proc/meminfo: memFree=103458776/131655788 swapFree=131070704/131071996
[pid=303620] ppid=303617 vsize=19108176 memory=3825956 CPUtime=3590.52 cores=0,2
/proc/303620/stat : 303620 (java) S 303617 303620 301717 0 -1 1077936128 346016 0 0 0 358733 319 0 0 20 0 20 0 30274119 19566772224 956489 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
/proc/303620/statm: 4777044 956489 5975 1 0 1031603 0
[pid=303620/tid=303622] ppid=303617 vsize=19108176 memory=3825956 CPUtime=3549.67 cores=0,2
/proc/303620/task/303622/stat : 303622 (java) R 303617 303620 301717 0 -1 4194368 175475 0 0 0 354881 86 0 0 20 0 20 0 30274120 19566772224 956489 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303631] ppid=303617 vsize=19108176 memory=2316 CPUtime=0 cores=0,2
/proc/303620/task/303631/stat : 303631 (Finalizer) S 303617 303620 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30274124 19566772224 956489 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303638] ppid=303617 vsize=19108176 memory=73644 CPUtime=0.01 cores=0,2
/proc/303620/task/303638/stat : 303638 (Common-Cleaner) S 303617 303620 301717 0 -1 1077936192 4909 0 0 0 1 0 0 0 20 0 20 0 30274125 19566772224 956489 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303640] ppid=303617 vsize=19108176 memory=12928 CPUtime=0 cores=0,2
/proc/303620/task/303640/stat : 303640 (Timer-0) S 303617 303620 301717 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30274202 19566772224 956489 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
Current children cumulated CPU time: 3590.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3825956 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3591.8 s]
/proc/loadavg: 2.33 2.94 3.16 3/266 306134
/proc/meminfo: memFree=103444272/131655788 swapFree=131070704/131071996
[pid=303620] ppid=303617 vsize=19108176 memory=3840292 CPUtime=3600.03 cores=0,2
/proc/303620/stat : 303620 (java) S 303617 303620 301717 0 -1 1077936128 346132 0 0 0 359683 320 0 0 20 0 20 0 30274119 19566772224 960073 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
/proc/303620/statm: 4777044 960073 5975 1 0 1031603 0
[pid=303620/tid=303622] ppid=303617 vsize=19108176 memory=100 CPUtime=3558.97 cores=0,2
/proc/303620/task/303622/stat : 303622 (java) R 303617 303620 301717 0 -1 4194368 175571 0 0 0 355811 86 0 0 20 0 20 0 30274120 19566772224 960073 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303631] ppid=303617 vsize=19108176 memory=-8672917386394510012 CPUtime=0 cores=0,2
/proc/303620/task/303631/stat : 303631 (Finalizer) S 303617 303620 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30274124 19566772224 960073 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303638] ppid=303617 vsize=19108176 memory=16108 CPUtime=0.01 cores=0,2
/proc/303620/task/303638/stat : 303638 (Common-Cleaner) S 303617 303620 301717 0 -1 1077936192 4909 0 0 0 1 0 0 0 20 0 20 0 30274125 19566772224 960073 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303640] ppid=303617 vsize=19108176 memory=2316 CPUtime=0 cores=0,2
/proc/303620/task/303640/stat : 303640 (Timer-0) S 303617 303620 301717 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30274202 19566772224 960073 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3840292 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3591.94 s]
# the end of solver process 303620 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.04 s, system=3.22803 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3591.91 s]
/proc/loadavg: 2.33 2.94 3.16 3/266 306134
/proc/meminfo: memFree=103444272/131655788 swapFree=131070704/131071996
[pid=303620] ppid=303617 vsize=19307868 memory=3841116 CPUtime=3600.24 cores=0,2
/proc/303620/stat : 303620 (java) S 303617 303620 301717 0 -1 1077936128 348622 0 0 0 359704 320 0 0 20 0 21 0 30274119 19771256832 960279 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
/proc/303620/statm: 4826967 960279 5974 1 0 1032554 0
[pid=303620/tid=303622] ppid=303617 vsize=19307868 memory=3801360 CPUtime=3559.07 cores=0,2
/proc/303620/task/303622/stat : 303622 (java) R 303617 303620 301717 0 -1 4194368 175628 0 0 0 355821 86 0 0 20 0 21 0 30274120 19771256832 960279 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303631] ppid=303617 vsize=19307868 memory=73644 CPUtime=0 cores=0,2
/proc/303620/task/303631/stat : 303631 (Finalizer) S 303617 303620 301717 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 30274124 19771256832 960279 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
[pid=303620/tid=303638] ppid=303617 vsize=19307868 memory=11672 CPUtime=0.01 cores=0,2
/proc/303620/task/303638/stat : 303638 (Common-Cleaner) S 303617 303620 301717 0 -1 1077936192 4909 0 0 0 1 0 0 0 20 0 21 0 30274125 19771256832 960279 134679101440 94014794682368 94014794686064 140723661619680 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94014794693880 94014794694672 94014797287424 140723661624303 140723661624416 140723661624416 140723661631432 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3841116 KiB
Child status: 143
Real time (s): 3591.94
CPU time (s): 3600.27
CPU user time (s): 3597.04
CPU system time (s): 3.22803
CPU usage (%): 100.232
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3841116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.04
system time used= 3.22803
maximum resident set size= 3841980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 348700
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118034
involuntary context switches= 26519
# summary of solver processes directly reported to runsolver:
# pid: 303620
# total CPU time (s): 3600.27
# total CPU user time (s): 3597.04
# total CPU system time (s): 3.22803
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.566 second user time and 37.0412 second system time
The end
Begin job on nodeC008 at 2024-07-25 23:27:28 IDJOB=4460037 IDBENCH=160600 IDSOLVER=3046 FILE ID=nodeC008/4460037-1721942848 RUNJOBID= nodeC008-1721939462-301727 SLURM_JOB_ID= 8247262 Free space on /tmp= 723764 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-18.opb COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460037-1721942848/watcher-4460037-1721942848 -o /tmp/evaluation-result-4460037-1721942848/solver-4460037-1721942848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721939462-301727 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4460037-1721942848.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f5c432639ff617f018d9bdeeea2281b7 RANDOM SEED=694240006 nodeC008.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 : 1396.651 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.19 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 : 3591.357 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.33 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 : 3491.615 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.19 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 : 3591.357 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.33 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 : 1197.349 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.19 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 : 3583.055 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.33 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 : 3577.679 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.19 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.200 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.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 96473392 kB MemAvailable: 116492456 kB Buffers: 341200 kB Cached: 20438588 kB SwapCached: 732 kB Active: 2787184 kB Inactive: 31659140 kB Active(anon): 1628 kB Inactive(anon): 13718764 kB Active(file): 2785556 kB Inactive(file): 17940376 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070704 kB Dirty: 1952 kB Writeback: 44 kB AnonPages: 13658828 kB Mapped: 140232 kB Shmem: 53860 kB KReclaimable: 266328 kB Slab: 387212 kB SReclaimable: 266328 kB SUnreclaim: 120884 kB KernelStack: 4780 kB PageTables: 36928 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 15216252 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 19456 kB HardwareCorrupted: 0 kB AnonHugePages: 13225984 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: 400200 kB DirectMap2M: 49836032 kB DirectMap1G: 85983232 kB Free space on /tmp at the end= 723768 MiB End job on nodeC008 at 2024-07-26 00:27:20