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) | -38 | 3600.8 | 3513.21 |
| Name | PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/ opb/normalized-graphpart_2pm-0077-0777.opb |
| MD5SUM | 20fa93affc94a67fb8933aa7bef3dd14 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -40 |
| Best CPU time to get the best result obtained on this benchmark | 0.877505 |
| 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 | 147 |
| Total number of constraints | 49 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 49 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 294 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 294 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 294 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 294 |
| Sum of products size (including duplicates) | 588 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version CUSTOM.v20240707 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 2115194816 0.00/0.08 c Max memory 16282288128 0.00/0.08 c Total memory 2122317824 0.00/0.09 c Number of processors 2 0.13/0.15 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.13/0.15 - never skip resolution steps 0.13/0.15 - Auto-division on coefficients is disabled 0.13/0.15 - No postprocessing 0.13/0.15 - Conflict is considered as is when resolving 0.13/0.15 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.13/0.15 - Weaken first using unassigned literals 0.13/0.15 - Bump strategy: ALWAYS_ONE 0.13/0.15 - Bumper: ASSIGNED 0.13/0.15 --- Begin Solver configuration --- 0.13/0.15 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.13/0.15 Learn all clauses as in MiniSAT 0.13/0.15 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.15 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.13/0.15 No reason simplification 0.13/0.15 Armin Biere (Picosat) restarts strategy 0.13/0.15 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.13/0.15 timeout=2147483s 0.13/0.15 DB Simplification allowed=false 0.13/0.15 Listener: none 0.13/0.15 --- End Solver configuration --- 0.13/0.15 c Pseudo Boolean Optimization by upper bound 0.13/0.15 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.13/0.15 c - never skip resolution steps 0.13/0.15 c - Auto-division on coefficients is disabled 0.13/0.15 c - No postprocessing 0.13/0.15 c - Conflict is considered as is when resolving 0.13/0.15 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.13/0.15 c - Weaken first using unassigned literals 0.13/0.15 c - Bump strategy: ALWAYS_ONE 0.13/0.15 c - Bumper: ASSIGNED 0.13/0.15 c --- Begin Solver configuration --- 0.13/0.15 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.13/0.15 c Learn all clauses as in MiniSAT 0.13/0.15 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.15 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.13/0.15 c No reason simplification 0.13/0.15 c Armin Biere (Picosat) restarts strategy 0.13/0.15 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.13/0.15 c timeout=2147483s 0.13/0.15 c DB Simplification allowed=false 0.13/0.15 c Listener: none 0.13/0.15 c --- End Solver configuration --- 0.13/0.15 c solving HOME/instance-4460005-1721942741.opb 0.13/0.15 c reading problem ... 0.13/0.16 c objective function found 0.33/0.22 c ... done. Wall clock time 0.065s. 0.33/0.22 c declared #vars 147 0.33/0.22 c internal #vars 441 0.33/0.22 c #constraints 686 0.33/0.22 c constraints type 0.33/0.22 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 49 0.33/0.22 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 294 0.33/0.22 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 343 0.33/0.22 c 686 constraints processed. 0.33/0.24 c objective function length is 294 literals 0.33/0.24 c SATISFIABLE 0.33/0.24 c OPTIMIZING... 0.33/0.24 c Got one! Elapsed wall clock time (in seconds):0.09 0.33/0.24 o -30 0.33/0.28 c Got one! Elapsed wall clock time (in seconds):0.12 0.33/0.28 o -31 0.53/0.35 c Got one! Elapsed wall clock time (in seconds):0.184 0.53/0.35 o -32 1.08/0.69 c Got one! Elapsed wall clock time (in seconds):0.539 1.08/0.69 o -33 20.64/16.35 c cleaning 2619 clauses out of 5237 with flag 0/5237 20.89/16.57 c Got one! Elapsed wall clock time (in seconds):16.413 20.89/16.57 o -34 21.45/17.04 c Got one! Elapsed wall clock time (in seconds):16.887 21.45/17.04 o -35 35.32/30.36 c cleaning 3714 clauses out of 8356 with flag 0/10975 41.17/36.17 c Got one! Elapsed wall clock time (in seconds):36.019 41.17/36.17 o -36 48.38/43.33 c cleaning 3187 clauses out of 10594 with flag 0/16927 62.74/57.38 c cleaning 3334 clauses out of 13407 with flag 0/22927 80.51/74.83 c cleaning 3795 clauses out of 17073 with flag 0/29927 105.72/99.17 c cleaning 4357 clauses out of 21279 with flag 0/37928 107.00/100.44 c Got one! Elapsed wall clock time (in seconds):100.292 107.00/100.44 o -37 117.24/110.36 c cleaning 2762 clauses out of 22217 with flag 0/43223 129.81/122.42 c cleaning 2843 clauses out of 25453 with flag 0/49221 151.40/143.67 c cleaning 3798 clauses out of 29611 with flag 0/56222 173.73/165.72 c cleaning 4177 clauses out of 33812 with flag 0/64221 204.57/196.02 c cleaning 4511 clauses out of 38637 with flag 0/73223 236.52/227.68 c Got one! Elapsed wall clock time (in seconds):227.527 236.52/227.68 o -38 283.61/274.08 c cleaning 7984 clauses out of 48261 with flag 0/87358 298.89/288.93 c cleaning 3284 clauses out of 46277 with flag 0/93358 318.52/308.23 c cleaning 3898 clauses out of 49994 with flag 0/100359 344.86/333.92 c cleaning 4467 clauses out of 54095 with flag 0/108358 375.45/363.91 c cleaning 5395 clauses out of 58628 with flag 0/117358 408.62/396.35 c cleaning 5471 clauses out of 63234 with flag 0/127359 458.32/445.12 c cleaning 6119 clauses out of 68768 with flag 0/138364 511.93/497.15 c cleaning 6211 clauses out of 74644 with flag 0/150359 565.49/549.78 c cleaning 7009 clauses out of 81433 with flag 0/163359 630.61/613.67 c cleaning 7919 clauses out of 88424 with flag 0/177359 713.84/695.99 c cleaning 8179 clauses out of 95505 with flag 0/192359 782.13/762.96 c cleaning 8276 clauses out of 103325 with flag 0/208358 883.57/862.71 c cleaning 8832 clauses out of 112049 with flag 0/225358 985.59/962.83 c cleaning 9477 clauses out of 121217 with flag 0/243358 1110.84/1085.78 c cleaning 10110 clauses out of 130740 with flag 0/262358 1230.46/1202.02 c cleaning 10718 clauses out of 140630 with flag 0/282358 1373.88/1341.44 c cleaning 11154 clauses out of 150912 with flag 0/303358 1537.99/1501.33 c cleaning 12092 clauses out of 161759 with flag 0/325359 1744.88/1703.10 c cleaning 13659 clauses out of 172666 with flag 0/348358 1982.76/1935.41 c cleaning 13237 clauses out of 183007 with flag 0/372358 2219.11/2165.63 c cleaning 14157 clauses out of 194771 with flag 0/397359 2425.55/2366.86 c cleaning 14150 clauses out of 206614 with flag 0/423359 2693.27/2628.57 c cleaning 15012 clauses out of 219463 with flag 0/450358 2914.56/2843.70 c cleaning 12744 clauses out of 232451 with flag 0/478358 3218.77/3141.81 c cleaning 15832 clauses out of 248707 with flag 0/507358 3567.65/3481.63 c cleaning 17049 clauses out of 262877 with flag 0/537360 3600.04/3512.82 c starts : 162 3600.04/3512.87 c conflicts : 544839 3600.04/3512.87 c decisions : 1494294 3600.04/3512.87 c propagations : 27856298 3600.04/3512.87 c inspects : 3347217908 3600.04/3512.87 c shortcuts : 0 3600.04/3512.87 c learnt literals : 0 3600.04/3512.87 c learnt binary clauses : 0 3600.04/3512.87 c learnt ternary clauses : 0 3600.04/3512.87 c learnt constraints : 544839 3600.04/3512.87 c ignored constraints : 0 3600.04/3512.87 c root simplifications : 0 3600.04/3512.87 c removed literals (reason simplification) : 0 3600.04/3512.87 c reason swapping (by a shorter reason) : 0 3600.04/3512.87 c Calls to reduceDB : 37 3600.04/3512.87 c Number of update (reduction) of LBD : 29 3600.04/3512.87 c Imported unit clauses : 0 3600.04/3512.87 c No decision after first conflict : false 3600.04/3512.87 c number of reductions to clauses (during analyze) : 0 3600.04/3512.87 c number of learned constraints concerned by reduction : 0 3600.04/3512.88 c number of learning phase by resolution : 0 3600.04/3512.88 c number of learning phase by cutting planes : 0 3600.04/3512.88 c number of rounding to 1 operations : 3843754 3600.04/3512.88 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.04/3512.88 c number of reductions of the coefficients by power 2 : 0 3600.04/3512.88 c number of right shift for reduction by power 2 : 0 3600.04/3512.88 c number of reductions of the coefficients by GCD over coefficients : 0 3600.04/3512.88 c number of ending skipping : 0 3600.04/3512.88 c number of internal skipping : 0 3600.04/3512.88 c number of derivation steps : 5724088 3600.04/3512.88 c number of skipped derivation steps : 0 3600.04/3512.88 c number of remaining unassigned : 2748317 3600.04/3512.88 c number of remaining assigned : 140195764 3600.04/3512.88 c number of falsified literals weakened from reason : 0 3600.04/3512.88 c number of falsified literals weakened from conflict : 0 3600.04/3512.88 c time for arithmetic operations : 16732585856 3600.04/3512.88 c minimum degree of deleted constraints : 4 3600.04/3512.88 c maximum degree of deleted constraints : 30458499 3600.04/3512.88 c number of deleted constraints : 291532 3600.25/3512.91 c speed (assignments/second) : 7930.286760952637 3600.25/3512.91 c non guided choices : 8 3600.65/3513.17 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 142031 3600.65/3513.17 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 1061 3600.65/3513.17 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 110215 3600.65/3513.17 s SATISFIABLE 3600.65/3513.17 c Found 9 solution(s) 3600.65/3513.17 v -x1 x2 -x3 -x4 -x5 x6 -x7 -x8 x9 -x10 x11 -x12 -x13 x14 -x15 -x16 -x17 x18 -x19 x20 -x21 -x22 -x23 x24 x25 -x26 -x27 -x28 -x29 x30 x31 -x32 -x33 -x34 x35 -x36 x37 -x38 -x39 x40 -x41 -x42 x43 -x44 -x45 x46 -x47 -x48 x49 -x50 -x51 -x52 x53 -x54 -x55 x56 -x57 -x58 x59 -x60 x61 -x62 -x63 -x64 x65 -x66 -x67 x68 -x69 -x70 x71 -x72 -x73 -x74 x75 -x76 x77 -x78 -x79 x80 -x81 -x82 -x83 x84 -x85 -x86 x87 -x88 x89 -x90 -x91 x92 -x93 -x94 -x95 x96 -x97 -x98 x99 -x100 -x101 x102 -x103 -x104 x105 x106 -x107 -x108 -x109 x110 -x111 -x112 x113 -x114 -x115 -x116 x117 -x118 -x119 x120 -x121 -x122 x123 x124 -x125 -x126 -x127 x128 -x129 -x130 x131 -x132 -x133 -x134 x135 -x136 -x137 x138 x139 -x140 -x141 -x142 -x143 x144 x145 -x146 -x147 3600.65/3513.17 c objective function=-38 3600.65/3513.17 c Total wall clock time (in seconds): 3513.01
OK -38
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 (49999 MiB free)
memory of node 1: 64473 MiB (52557 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460005-1721942741/watcher-4460005-1721942741 -o /tmp/evaluation-result-4460005-1721942741/solver-4460005-1721942741 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721939462-252132 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4460005-1721942741.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=254211, runsolver pid=254208
Current StackSize limit: 8192 KiB
[startup+0.100079 s]*
/proc/loadavg: 4.92 4.73 4.50 5/319 254229
/proc/meminfo: memFree=104976836/131655788 swapFree=131071472/131071996
[pid=254211] ppid=254208 vsize=18975048 memory=62296 CPUtime=0.13 cores=5,7
/proc/254211/stat : 254211 (java) S 254208 254211 252119 0 -1 1077936128 7227 0 0 0 12 1 0 0 20 0 18 0 30263029 19430449152 15574 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
/proc/254211/statm: 4743762 15574 5485 1 0 551411 0
[pid=254211/tid=254213] ppid=254208 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/254211/task/254213/stat : 254213 (java) R 254208 254211 252119 0 -1 4194368 5761 0 0 0 8 1 0 0 20 0 18 0 30263029 19430449152 15574 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254222] ppid=254208 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/254211/task/254222/stat : 254222 (Finalizer) S 254208 254211 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30263032 19430449152 15574 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254229] ppid=254208 vsize=18975048 memory=3905244537068716064 CPUtime=0 cores=5,7
/proc/254211/task/254229/stat : 254229 (Common-Cleaner) S 254208 254211 252119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30263032 19430449152 15574 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62296 KiB
[startup+0.206195 s]*
/proc/loadavg: 4.92 4.73 4.50 8/319 254229
/proc/meminfo: memFree=104970460/131655788 swapFree=131071472/131071996
[pid=254211] ppid=254208 vsize=18975048 memory=69232 CPUtime=0.33 cores=5,7
/proc/254211/stat : 254211 (java) S 254208 254211 252119 0 -1 1077936128 7755 0 0 0 31 2 0 0 20 0 18 0 30263029 19430449152 17308 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
/proc/254211/statm: 4743762 17308 5688 1 0 551767 0
[pid=254211/tid=254213] ppid=254208 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=5,7
/proc/254211/task/254213/stat : 254213 (java) R 254208 254211 252119 0 -1 1077936192 6061 0 0 0 16 1 0 0 20 0 18 0 30263029 19430449152 17308 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254222] ppid=254208 vsize=18975048 memory=880909 CPUtime=0 cores=5,7
/proc/254211/task/254222/stat : 254222 (Finalizer) S 254208 254211 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30263032 19430449152 17308 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254229] ppid=254208 vsize=18975048 memory=15260341797930584 CPUtime=0 cores=5,7
/proc/254211/task/254229/stat : 254229 (Common-Cleaner) S 254208 254211 252119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30263032 19430449152 17308 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 69232 KiB
[startup+0.307732 s]*
/proc/loadavg: 5.01 4.75 4.51 7/320 254230
/proc/meminfo: memFree=104960780/131655788 swapFree=131071472/131071996
[pid=254211] ppid=254208 vsize=19041612 memory=79292 CPUtime=0.53 cores=5,7
/proc/254211/stat : 254211 (java) S 254208 254211 252119 0 -1 1077936128 8070 0 0 0 50 3 0 0 20 0 19 0 30263029 19498610688 19823 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
/proc/254211/statm: 4760403 19823 5827 1 0 552211 0
[pid=254211/tid=254213] ppid=254208 vsize=19041612 memory=-8601145661001015996 CPUtime=0.27 cores=5,7
/proc/254211/task/254213/stat : 254213 (java) R 254208 254211 252119 0 -1 4194368 6195 0 0 0 25 2 0 0 20 0 19 0 30263029 19498610688 19823 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254222] ppid=254208 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/254211/task/254222/stat : 254222 (Finalizer) S 254208 254211 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30263032 19498610688 19823 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254229] ppid=254208 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/254211/task/254229/stat : 254229 (Common-Cleaner) S 254208 254211 252119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30263032 19498610688 19823 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254230] ppid=254208 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/254211/task/254230/stat : 254230 (Timer-0) S 254208 254211 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30263053 19498610688 19823 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 79292 KiB
[startup+0.709714 s]
/proc/loadavg: 5.01 4.75 4.51 7/320 254230
/proc/meminfo: memFree=104891776/131655788 swapFree=131071472/131071996
[pid=254211] ppid=254208 vsize=19108176 memory=172248 CPUtime=1.29 cores=5,7
/proc/254211/stat : 254211 (java) S 254208 254211 252119 0 -1 1077936128 12765 0 0 0 123 6 0 0 20 0 20 0 30263029 19566772224 43062 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
/proc/254211/statm: 4777044 43062 5843 1 0 555055 0
[pid=254211/tid=254213] ppid=254208 vsize=19108176 memory=11652 CPUtime=0.62 cores=5,7
/proc/254211/task/254213/stat : 254213 (java) R 254208 254211 252119 0 -1 4194368 6250 0 0 0 59 3 0 0 20 0 20 0 30263029 19566772224 43062 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254222] ppid=254208 vsize=19108176 memory=11652 CPUtime=0 cores=5,7
/proc/254211/task/254222/stat : 254222 (Finalizer) S 254208 254211 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30263032 19566772224 43062 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254229] ppid=254208 vsize=19108176 memory=117636 CPUtime=0 cores=5,7
/proc/254211/task/254229/stat : 254229 (Common-Cleaner) S 254208 254211 252119 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 30263032 19566772224 43062 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254230] ppid=254208 vsize=19108176 memory=1848 CPUtime=0 cores=5,7
/proc/254211/task/254230/stat : 254230 (Timer-0) S 254208 254211 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30263053 19566772224 43062 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 172248 KiB
[startup+1.50073 s]
/proc/loadavg: 5.01 4.75 4.51 6/321 254231
/proc/meminfo: memFree=104863428/131655788 swapFree=131071472/131071996
[pid=254211] ppid=254208 vsize=19108176 memory=266680 CPUtime=2.85 cores=5,7
/proc/254211/stat : 254211 (java) S 254208 254211 252119 0 -1 1077936128 22721 0 0 0 275 10 0 0 20 0 20 0 30263029 19566772224 66670 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
/proc/254211/statm: 4777044 66670 5843 1 0 557986 0
[pid=254211/tid=254213] ppid=254208 vsize=19108176 memory=11652 CPUtime=1.36 cores=5,7
/proc/254211/task/254213/stat : 254213 (java) R 254208 254211 252119 0 -1 4194368 6577 0 0 0 131 5 0 0 20 0 20 0 30263029 19566772224 66670 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254222] ppid=254208 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/254211/task/254222/stat : 254222 (Finalizer) S 254208 254211 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30263032 19566772224 66670 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254229] ppid=254208 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/254211/task/254229/stat : 254229 (Common-Cleaner) S 254208 254211 252119 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 30263032 19566772224 66670 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254230] ppid=254208 vsize=19108176 memory=65 CPUtime=0 cores=5,7
/proc/254211/task/254230/stat : 254230 (Timer-0) S 254208 254211 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30263053 19566772224 66670 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 266680 KiB
[startup+3.10573 s]
/proc/loadavg: 5.01 4.75 4.51 6/321 254231
/proc/meminfo: memFree=104024056/131655788 swapFree=131071472/131071996
[pid=254211] ppid=254208 vsize=19108176 memory=1065628 CPUtime=5.99 cores=5,7
/proc/254211/stat : 254211 (java) S 254208 254211 252119 0 -1 1077936128 25407 0 0 0 573 26 0 0 20 0 20 0 30263029 19566772224 266407 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
/proc/254211/statm: 4777044 266407 5859 1 0 710456 0
[pid=254211/tid=254213] ppid=254208 vsize=19108176 memory=0 CPUtime=2.93 cores=5,7
/proc/254211/task/254213/stat : 254213 (java) R 254208 254211 252119 0 -1 4194368 7555 0 0 0 272 21 0 0 20 0 20 0 30263029 19566772224 266407 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254222] ppid=254208 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/254211/task/254222/stat : 254222 (Finalizer) S 254208 254211 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30263032 19566772224 266407 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254229] ppid=254208 vsize=19108176 memory=354908 CPUtime=0 cores=5,7
/proc/254211/task/254229/stat : 254229 (Common-Cleaner) S 254208 254211 252119 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 30263032 19566772224 266407 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254230] ppid=254208 vsize=19108176 memory=11652 CPUtime=0 cores=5,7
/proc/254211/task/254230/stat : 254230 (Timer-0) S 254208 254211 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30263053 19566772224 266407 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1065628 KiB
[startup+6.30027 s]
/proc/loadavg: 4.93 4.74 4.51 5/321 254231
/proc/meminfo: memFree=103777772/131655788 swapFree=131071472/131071996
[pid=254211] ppid=254208 vsize=19108176 memory=1263976 CPUtime=9.55 cores=5,7
/proc/254211/stat : 254211 (java) S 254208 254211 252119 0 -1 1077936128 25616 0 0 0 924 31 0 0 20 0 20 0 30263029 19566772224 315994 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
/proc/254211/statm: 4777044 315994 5859 1 0 710468 0
[pid=254211/tid=254213] ppid=254208 vsize=19108176 memory=11652 CPUtime=5.89 cores=5,7
/proc/254211/task/254213/stat : 254213 (java) S 254208 254211 252119 0 -1 1077936192 7647 0 0 0 565 24 0 0 20 0 20 0 30263029 19566772224 315994 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254222] ppid=254208 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/254211/task/254222/stat : 254222 (Finalizer) S 254208 254211 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30263032 19566772224 315994 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254229] ppid=254208 vsize=19108176 memory=5866610751781163608 CPUtime=0 cores=5,7
/proc/254211/task/254229/stat : 254229 (Common-Cleaner) S 254208 254211 252119 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 30263032 19566772224 315994 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254230] ppid=254208 vsize=19108176 memory=5572 CPUtime=0 cores=5,7
/proc/254211/task/254230/stat : 254230 (Timer-0) S 254208 254211 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30263053 19566772224 315994 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1263976 KiB
[startup+12.7005 s]
/proc/loadavg: 4.93 4.75 4.51 5/321 254232
/proc/meminfo: memFree=102808652/131655788 swapFree=131071472/131071996
[pid=254211] ppid=254208 vsize=19108176 memory=2227108 CPUtime=16.74 cores=5,7
/proc/254211/stat : 254211 (java) S 254208 254211 252119 0 -1 1077936128 27871 0 0 0 1622 52 0 0 20 0 20 0 30263029 19566772224 556777 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
/proc/254211/statm: 4777044 556777 5859 1 0 1009181 0
[pid=254211/tid=254213] ppid=254208 vsize=19108176 memory=0 CPUtime=12.05 cores=5,7
/proc/254211/task/254213/stat : 254213 (java) R 254208 254211 252119 0 -1 4194368 8119 0 0 0 1163 42 0 0 20 0 20 0 30263029 19566772224 556777 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254222] ppid=254208 vsize=19108176 memory=2227108 CPUtime=0 cores=5,7
/proc/254211/task/254222/stat : 254222 (Finalizer) S 254208 254211 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30263032 19566772224 556777 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254229] ppid=254208 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/254211/task/254229/stat : 254229 (Common-Cleaner) S 254208 254211 252119 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 30263032 19566772224 556777 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254230] ppid=254208 vsize=19108176 memory=16072 CPUtime=0 cores=5,7
/proc/254211/task/254230/stat : 254230 (Timer-0) S 254208 254211 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30263053 19566772224 556777 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
Current children cumulated CPU time: 16.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2227108 KiB
[startup+25.5005 s]
/proc/loadavg: 4.86 4.74 4.51 5/320 254234
/proc/meminfo: memFree=102520328/131655788 swapFree=131071472/131071996
[pid=254211] ppid=254208 vsize=19108176 memory=2738708 CPUtime=30.36 cores=5,7
/proc/254211/stat : 254211 (java) S 254208 254211 252119 0 -1 1077936128 34846 0 0 0 2973 63 0 0 20 0 20 0 30263029 19566772224 684677 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
/proc/254211/statm: 4777044 684677 5859 1 0 1132471 0
[pid=254211/tid=254213] ppid=254208 vsize=19108176 memory=2227108 CPUtime=24.12 cores=5,7
/proc/254211/task/254213/stat : 254213 (java) R 254208 254211 252119 0 -1 4194368 11377 0 0 0 2360 52 0 0 20 0 20 0 30263029 19566772224 684677 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254222] ppid=254208 vsize=19108176 memory=16072 CPUtime=0 cores=5,7
/proc/254211/task/254222/stat : 254222 (Finalizer) S 254208 254211 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30263032 19566772224 684677 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254229] ppid=254208 vsize=19108176 memory=2450368 CPUtime=0 cores=5,7
/proc/254211/task/254229/stat : 254229 (Common-Cleaner) S 254208 254211 252119 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 30263032 19566772224 684677 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254230] ppid=254208 vsize=19108176 memory=13560 CPUtime=0 cores=5,7
/proc/254211/task/254230/stat : 254230 (Timer-0) S 254208 254211 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30263053 19566772224 684677 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
Current children cumulated CPU time: 30.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2738708 KiB
[startup+51.1138 s]
/proc/loadavg: 4.87 4.75 4.52 5/320 254238
/proc/meminfo: memFree=100224144/131655788 swapFree=131071472/131071996
[pid=254211] ppid=254208 vsize=19108176 memory=4806844 CPUtime=56.42 cores=5,7
/proc/254211/stat : 254211 (java) S 254208 254211 252119 0 -1 1077936128 42614 0 0 0 5539 103 0 0 20 0 20 0 30263029 19566772224 1201711 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
/proc/254211/statm: 4777044 1201711 5859 1 0 1723675 0
[pid=254211/tid=254213] ppid=254208 vsize=19108176 memory=3011272 CPUtime=48.59 cores=5,7
/proc/254211/task/254213/stat : 254213 (java) R 254208 254211 252119 0 -1 4194368 16545 0 0 0 4773 86 0 0 20 0 20 0 30263029 19566772224 1201711 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
################
# More data... #
################
/proc/254211/task/254222/stat : 254222 (Finalizer) S 254208 254211 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30263032 19566772224 1709609 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254229] ppid=254208 vsize=19108176 memory=13560 CPUtime=0 cores=5,7
/proc/254211/task/254229/stat : 254229 (Common-Cleaner) S 254208 254211 252119 0 -1 1077936192 3885 0 0 0 0 0 0 0 20 0 20 0 30263032 19566772224 1709609 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254230] ppid=254208 vsize=19108176 memory=6838436 CPUtime=0 cores=5,7
/proc/254211/task/254230/stat : 254230 (Timer-0) S 254208 254211 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30263053 19566772224 1709609 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
Current children cumulated CPU time: 3178.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6838436 KiB
[startup+3162.3 s]
/proc/loadavg: 2.23 2.25 2.35 3/266 256259
/proc/meminfo: memFree=110560568/131655788 swapFree=131071472/131071996
[pid=254211] ppid=254208 vsize=19108176 memory=6838436 CPUtime=3239.77 cores=5,7
/proc/254211/stat : 254211 (java) S 254208 254211 252119 0 -1 1077936128 415988 0 0 0 323616 361 0 0 20 0 20 0 30263029 19566772224 1709609 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
/proc/254211/statm: 4777044 1709609 5906 1 0 1725875 0
[pid=254211/tid=254213] ppid=254208 vsize=19108176 memory=6838404 CPUtime=3091.22 cores=5,7
/proc/254211/task/254213/stat : 254213 (java) R 254208 254211 252119 0 -1 4194368 234333 0 0 0 308985 137 0 0 20 0 20 0 30263029 19566772224 1709609 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 211 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254222] ppid=254208 vsize=19108176 memory=13560 CPUtime=0 cores=5,7
/proc/254211/task/254222/stat : 254222 (Finalizer) S 254208 254211 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30263032 19566772224 1709609 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254229] ppid=254208 vsize=19108176 memory=7825741585190262173 CPUtime=0 cores=5,7
/proc/254211/task/254229/stat : 254229 (Common-Cleaner) S 254208 254211 252119 0 -1 1077936192 4011 0 0 0 0 0 0 0 20 0 20 0 30263032 19566772224 1709609 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254230] ppid=254208 vsize=19108176 memory=6838436 CPUtime=0 cores=5,7
/proc/254211/task/254230/stat : 254230 (Timer-0) S 254208 254211 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30263053 19566772224 1709609 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
Current children cumulated CPU time: 3239.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6838436 KiB
[startup+3222.3 s]
/proc/loadavg: 2.16 2.22 2.33 3/266 256270
/proc/meminfo: memFree=110551976/131655788 swapFree=131071472/131071996
[pid=254211] ppid=254208 vsize=19108176 memory=6838504 CPUtime=3301.38 cores=5,7
/proc/254211/stat : 254211 (java) S 254208 254211 252119 0 -1 1077936128 422925 0 0 0 329774 364 0 0 20 0 20 0 30263029 19566772224 1709626 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
/proc/254211/statm: 4777044 1709626 5906 1 0 1725875 0
[pid=254211/tid=254213] ppid=254208 vsize=19108176 memory=6838404 CPUtime=3149.59 cores=5,7
/proc/254211/task/254213/stat : 254213 (java) R 254208 254211 252119 0 -1 4194368 238953 0 0 0 314822 137 0 0 20 0 20 0 30263029 19566772224 1709626 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 216 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254222] ppid=254208 vsize=19108176 memory=-8601145661001015996 CPUtime=0 cores=5,7
/proc/254211/task/254222/stat : 254222 (Finalizer) S 254208 254211 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30263032 19566772224 1709626 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254229] ppid=254208 vsize=19108176 memory=6838436 CPUtime=0 cores=5,7
/proc/254211/task/254229/stat : 254229 (Common-Cleaner) S 254208 254211 252119 0 -1 1077936192 4151 0 0 0 0 0 0 0 20 0 20 0 30263032 19566772224 1709626 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254230] ppid=254208 vsize=19108176 memory=6838436 CPUtime=0 cores=5,7
/proc/254211/task/254230/stat : 254230 (Timer-0) S 254208 254211 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30263053 19566772224 1709626 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
Current children cumulated CPU time: 3301.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6838504 KiB
[startup+3282.3 s]
/proc/loadavg: 2.15 2.21 2.32 3/266 256280
/proc/meminfo: memFree=110541280/131655788 swapFree=131071472/131071996
[pid=254211] ppid=254208 vsize=19108176 memory=6838540 CPUtime=3362.88 cores=5,7
/proc/254211/stat : 254211 (java) S 254208 254211 252119 0 -1 1077936128 429896 0 0 0 335920 368 0 0 20 0 20 0 30263029 19566772224 1709635 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
/proc/254211/statm: 4777044 1709635 5906 1 0 1725892 0
[pid=254211/tid=254213] ppid=254208 vsize=19108176 memory=5572 CPUtime=3208.7 cores=5,7
/proc/254211/task/254213/stat : 254213 (java) R 254208 254211 252119 0 -1 4194368 243628 0 0 0 320732 138 0 0 20 0 20 0 30263029 19566772224 1709635 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 223 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254222] ppid=254208 vsize=19108176 memory=6838540 CPUtime=0 cores=5,7
/proc/254211/task/254222/stat : 254222 (Finalizer) S 254208 254211 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30263032 19566772224 1709635 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254229] ppid=254208 vsize=19108176 memory=6838504 CPUtime=0 cores=5,7
/proc/254211/task/254229/stat : 254229 (Common-Cleaner) S 254208 254211 252119 0 -1 1077936192 4297 0 0 0 0 0 0 0 20 0 20 0 30263032 19566772224 1709635 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254230] ppid=254208 vsize=19108176 memory=6838540 CPUtime=0 cores=5,7
/proc/254211/task/254230/stat : 254230 (Timer-0) S 254208 254211 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30263053 19566772224 1709635 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
Current children cumulated CPU time: 3362.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6838540 KiB
[startup+3342.3 s]
/proc/loadavg: 2.10 2.18 2.30 3/268 256294
/proc/meminfo: memFree=110526580/131655788 swapFree=131071472/131071996
[pid=254211] ppid=254208 vsize=19108176 memory=6838556 CPUtime=3424.76 cores=5,7
/proc/254211/stat : 254211 (java) S 254208 254211 252119 0 -1 1077936128 436680 0 0 0 342105 371 0 0 20 0 20 0 30263029 19566772224 1709639 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
/proc/254211/statm: 4777044 1709639 5906 1 0 1725892 0
[pid=254211/tid=254213] ppid=254208 vsize=19108176 memory=70052 CPUtime=3267.56 cores=5,7
/proc/254211/task/254213/stat : 254213 (java) R 254208 254211 252119 0 -1 4194368 248268 0 0 0 326617 139 0 0 20 0 20 0 30263029 19566772224 1709639 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 231 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254222] ppid=254208 vsize=19108176 memory=6838540 CPUtime=0 cores=5,7
/proc/254211/task/254222/stat : 254222 (Finalizer) S 254208 254211 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30263032 19566772224 1709639 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254229] ppid=254208 vsize=19108176 memory=6838540 CPUtime=0 cores=5,7
/proc/254211/task/254229/stat : 254229 (Common-Cleaner) S 254208 254211 252119 0 -1 1077936192 4437 0 0 0 0 0 0 0 20 0 20 0 30263032 19566772224 1709639 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254230] ppid=254208 vsize=19108176 memory=6838540 CPUtime=0 cores=5,7
/proc/254211/task/254230/stat : 254230 (Timer-0) S 254208 254211 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30263053 19566772224 1709639 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
Current children cumulated CPU time: 3424.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6838556 KiB
[startup+3402.3 s]
/proc/loadavg: 2.07 2.16 2.28 3/267 256307
/proc/meminfo: memFree=110518008/131655788 swapFree=131071472/131071996
[pid=254211] ppid=254208 vsize=19108176 memory=6838556 CPUtime=3486.61 cores=5,7
/proc/254211/stat : 254211 (java) S 254208 254211 252119 0 -1 1077936128 443646 0 0 0 348286 375 0 0 20 0 20 0 30263029 19566772224 1709639 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
/proc/254211/statm: 4777044 1709639 5906 1 0 1725892 0
[pid=254211/tid=254213] ppid=254208 vsize=19108176 memory=6838540 CPUtime=3326.43 cores=5,7
/proc/254211/task/254213/stat : 254213 (java) R 254208 254211 252119 0 -1 4194368 252762 0 0 0 332504 139 0 0 20 0 20 0 30263029 19566772224 1709639 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 236 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254222] ppid=254208 vsize=19108176 memory=70052 CPUtime=0 cores=5,7
/proc/254211/task/254222/stat : 254222 (Finalizer) S 254208 254211 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30263032 19566772224 1709639 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254229] ppid=254208 vsize=19108176 memory=6838556 CPUtime=0 cores=5,7
/proc/254211/task/254229/stat : 254229 (Common-Cleaner) S 254208 254211 252119 0 -1 1077936192 4531 0 0 0 0 0 0 0 20 0 20 0 30263032 19566772224 1709639 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254230] ppid=254208 vsize=19108176 memory=6838556 CPUtime=0 cores=5,7
/proc/254211/task/254230/stat : 254230 (Timer-0) S 254208 254211 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30263053 19566772224 1709639 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
Current children cumulated CPU time: 3486.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6838556 KiB
[startup+3462.3 s]
/proc/loadavg: 2.14 2.17 2.28 3/267 256317
/proc/meminfo: memFree=110509524/131655788 swapFree=131071472/131071996
[pid=254211] ppid=254208 vsize=19108176 memory=6838556 CPUtime=3548.1 cores=5,7
/proc/254211/stat : 254211 (java) S 254208 254211 252119 0 -1 1077936128 450269 0 0 0 354431 379 0 0 20 0 20 0 30263029 19566772224 1709639 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
/proc/254211/statm: 4777044 1709639 5906 1 0 1725892 0
[pid=254211/tid=254213] ppid=254208 vsize=19108176 memory=6838540 CPUtime=3385.46 cores=5,7
/proc/254211/task/254213/stat : 254213 (java) R 254208 254211 252119 0 -1 4194368 256616 0 0 0 338407 139 0 0 20 0 20 0 30263029 19566772224 1709639 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 243 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254222] ppid=254208 vsize=19108176 memory=2148 CPUtime=0 cores=5,7
/proc/254211/task/254222/stat : 254222 (Finalizer) S 254208 254211 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30263032 19566772224 1709639 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254229] ppid=254208 vsize=19108176 memory=6838556 CPUtime=0 cores=5,7
/proc/254211/task/254229/stat : 254229 (Common-Cleaner) S 254208 254211 252119 0 -1 1077936192 4626 0 0 0 0 0 0 0 20 0 20 0 30263032 19566772224 1709639 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254230] ppid=254208 vsize=19108176 memory=8044 CPUtime=0 cores=5,7
/proc/254211/task/254230/stat : 254230 (Timer-0) S 254208 254211 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30263053 19566772224 1709639 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
Current children cumulated CPU time: 3548.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6838556 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3512.8 s]
/proc/loadavg: 2.16 2.17 2.27 3/268 256326
/proc/meminfo: memFree=110500924/131655788 swapFree=131071472/131071996
[pid=254211] ppid=254208 vsize=19174740 memory=6838604 CPUtime=3600.04 cores=5,7
/proc/254211/stat : 254211 (java) S 254208 254211 252119 0 -1 1077936128 457256 0 0 0 359623 381 0 0 20 0 21 0 30263029 19634933760 1709651 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
/proc/254211/statm: 4793685 1709651 5906 1 0 1726181 0
[pid=254211/tid=254213] ppid=254208 vsize=19174740 memory=39140 CPUtime=3434.97 cores=5,7
/proc/254211/task/254213/stat : 254213 (java) R 254208 254211 252119 0 -1 4194368 261089 0 0 0 343357 140 0 0 20 0 21 0 30263029 19634933760 1709651 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 249 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254222] ppid=254208 vsize=19174740 memory=6838604 CPUtime=0 cores=5,7
/proc/254211/task/254222/stat : 254222 (Finalizer) S 254208 254211 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 30263032 19634933760 1709651 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254229] ppid=254208 vsize=19174740 memory=16072 CPUtime=0 cores=5,7
/proc/254211/task/254229/stat : 254229 (Common-Cleaner) S 254208 254211 252119 0 -1 1077936192 4719 0 0 0 0 0 0 0 20 0 21 0 30263032 19634933760 1709651 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
[pid=254211/tid=254230] ppid=254208 vsize=19174740 memory=2148 CPUtime=0 cores=5,7
/proc/254211/task/254230/stat : 254230 (Timer-0) S 254208 254211 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 30263053 19634933760 1709651 134679101440 94579465166848 94579465170544 140731511113856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94579465178360 94579465179152 94579496222720 140731511116783 140731511116896 140731511116896 140731511123912 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 6838604 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3513.21 s]
# the end of solver process 254211 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.94 s, system=3.85679 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3513.2 s]*
/proc/loadavg: 2.16 2.17 2.27 3/249 256329
/proc/meminfo: memFree=117167876/131655788 swapFree=131071472/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): 3513.21
CPU time (s): 3600.8
CPU user time (s): 3596.94
CPU system time (s): 3.85679
CPU usage (%): 102.493
Max. virtual memory (cumulated for all children) (KiB): 19374432
Max. memory (cumulated for all children) (KiB): 6839504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.94
system time used= 3.85679
maximum resident set size= 6840648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 461534
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 124006
involuntary context switches= 6179
# summary of solver processes directly reported to runsolver:
# pid: 254211
# total CPU time (s): 3600.8
# total CPU user time (s): 3596.94
# total CPU system time (s): 3.85679
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9984 second user time and 34.1446 second system time
The end
Begin job on nodeC004 at 2024-07-25 23:25:41 IDJOB=4460005 IDBENCH=160541 IDSOLVER=3046 FILE ID=nodeC004/4460005-1721942741 RUNJOBID= nodeC004-1721939462-252132 SLURM_JOB_ID= 8247258 Free space on /tmp= 723780 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0077-0777.opb COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460005-1721942741/watcher-4460005-1721942741 -o /tmp/evaluation-result-4460005-1721942741/solver-4460005-1721942741 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721939462-252132 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4460005-1721942741.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 20fa93affc94a67fb8933aa7bef3dd14 RANDOM SEED=1762117574 nodeC004.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 : 3566.564 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.13 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 : 3604.493 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.36 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.289 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.307 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 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 : 3630.942 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.13 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 : 3492.078 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.36 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.413 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.13 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 : 3492.071 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 105019000 kB MemAvailable: 115850636 kB Buffers: 341656 kB Cached: 11277448 kB SwapCached: 60 kB Active: 2751196 kB Inactive: 23208192 kB Active(anon): 1452 kB Inactive(anon): 14392724 kB Active(file): 2749744 kB Inactive(file): 8815468 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 1060 kB Writeback: 0 kB AnonPages: 14336672 kB Mapped: 135912 kB Shmem: 53860 kB KReclaimable: 213244 kB Slab: 327084 kB SReclaimable: 213244 kB SUnreclaim: 113840 kB KernelStack: 4864 kB PageTables: 38232 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 14896356 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20128 kB HardwareCorrupted: 0 kB AnonHugePages: 13969408 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: 392008 kB DirectMap2M: 50892800 kB DirectMap1G: 84934656 kB Free space on /tmp at the end= 723780 MiB End job on nodeC004 at 2024-07-26 00:24:14