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) | 11 | 3600.53 | 3274.18 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mds/normalized-mds_100_10_5.opb |
| MD5SUM | 2bd1635b55c594c1b059c8ee34f0ff3b |
| 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 | 10 |
| Best CPU time to get the best result obtained on this benchmark | 2.1171 |
| 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 | 100 |
| Total number of constraints | 100 |
| 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 | 100 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 19 |
| Number of terms in the objective function | 100 |
| 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 | 100 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 1252 |
| Sum of products size (including duplicates) | 2504 |
| Number of different products | 1252 |
| Sum of products size | 2504 |
0.13/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.13/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.13/0.14 c See www.sat4j.org for details. 0.13/0.15 c version CUSTOM.v20240707 0.13/0.19 c java.runtime.name OpenJDK Runtime Environment 0.13/0.19 c java.vm.name OpenJDK 64-Bit Server VM 0.13/0.19 c java.vm.version 22.0.1+8-16 0.13/0.19 c java.vm.vendor Oracle Corporation 0.13/0.19 c sun.arch.data.model 64 0.13/0.19 c java.version 22.0.1 0.13/0.19 c os.name Linux 0.13/0.19 c os.version 4.18.0-301.1.el8.x86_64 0.13/0.19 c os.arch amd64 0.13/0.19 c Free memory 2115194816 0.13/0.19 c Max memory 16282288128 0.13/0.19 c Total memory 2122317824 0.13/0.20 c Number of processors 2 0.49/0.36 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.49/0.36 - never skip resolution steps 0.49/0.36 - Auto-division on coefficients is disabled 0.49/0.36 - No postprocessing 0.49/0.36 - Conflict is considered as is when resolving 0.49/0.36 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.49/0.36 - Weaken first using unassigned literals 0.49/0.36 - Bump strategy: ALWAYS_ONE 0.49/0.36 - Bumper: ASSIGNED 0.49/0.36 --- Begin Solver configuration --- 0.49/0.36 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.49/0.36 Learn all clauses as in MiniSAT 0.49/0.36 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.49/0.36 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.49/0.36 No reason simplification 0.49/0.36 Armin Biere (Picosat) restarts strategy 0.49/0.36 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.49/0.36 timeout=2147483s 0.49/0.36 DB Simplification allowed=false 0.49/0.36 Listener: none 0.49/0.36 --- End Solver configuration --- 0.49/0.36 c Pseudo Boolean Optimization by upper bound 0.49/0.36 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.49/0.36 c - never skip resolution steps 0.49/0.36 c - Auto-division on coefficients is disabled 0.49/0.36 c - No postprocessing 0.49/0.36 c - Conflict is considered as is when resolving 0.49/0.36 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.49/0.36 c - Weaken first using unassigned literals 0.49/0.36 c - Bump strategy: ALWAYS_ONE 0.49/0.36 c - Bumper: ASSIGNED 0.49/0.36 c --- Begin Solver configuration --- 0.49/0.36 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.49/0.36 c Learn all clauses as in MiniSAT 0.49/0.36 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.49/0.36 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.49/0.36 c No reason simplification 0.49/0.36 c Armin Biere (Picosat) restarts strategy 0.49/0.36 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.49/0.36 c timeout=2147483s 0.49/0.36 c DB Simplification allowed=false 0.49/0.36 c Listener: none 0.49/0.36 c --- End Solver configuration --- 0.49/0.37 c solving HOME/instance-4459877-1721939465.opb 0.49/0.37 c reading problem ... 0.49/0.38 c objective function found 0.81/0.57 c ... done. Wall clock time 0.202s. 0.81/0.57 c declared #vars 100 0.81/0.57 c internal #vars 1352 0.81/0.57 c #constraints 2604 0.81/0.57 c constraints type 0.81/0.57 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 1252 0.81/0.57 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1352 0.81/0.57 c 2604 constraints processed. 0.81/0.59 c objective function length is 100 literals 0.81/0.61 c SATISFIABLE 0.81/0.61 c OPTIMIZING... 0.81/0.61 c Got one! Elapsed wall clock time (in seconds):0.24 0.99/0.62 o 18 0.99/0.63 c Got one! Elapsed wall clock time (in seconds):0.266 0.99/0.63 o 17 0.99/0.64 c Got one! Elapsed wall clock time (in seconds):0.272 0.99/0.64 o 16 0.99/0.66 c Got one! Elapsed wall clock time (in seconds):0.291 0.99/0.66 o 15 0.99/0.67 c Got one! Elapsed wall clock time (in seconds):0.3 0.99/0.67 o 14 2.32/1.38 c Got one! Elapsed wall clock time (in seconds):1.018 2.32/1.39 o 13 13.67/9.86 c cleaning 2717 clauses out of 5435 with flag 0/5435 25.56/21.21 c cleaning 3577 clauses out of 8718 with flag 0/11435 25.56/21.29 c Got one! Elapsed wall clock time (in seconds):20.93 25.66/21.31 o 12 34.40/29.78 c cleaning 2745 clauses out of 10313 with flag 0/16607 46.34/41.48 c cleaning 3237 clauses out of 13567 with flag 0/22606 62.59/57.32 c cleaning 3477 clauses out of 17330 with flag 0/29606 83.84/77.50 c cleaning 4244 clauses out of 21853 with flag 0/37606 108.09/100.74 c cleaning 4327 clauses out of 26609 with flag 0/46606 115.91/108.24 c Got one! Elapsed wall clock time (in seconds):107.871 115.91/108.24 o 11 120.16/112.31 c cleaning 2882 clauses out of 27719 with flag 0/52043 133.96/125.78 c cleaning 3083 clauses out of 30830 with flag 0/58036 153.88/144.97 c cleaning 3961 clauses out of 34747 with flag 0/65036 177.54/168.15 c cleaning 4188 clauses out of 38786 with flag 0/73036 204.18/193.95 c cleaning 4954 clauses out of 43600 with flag 0/82038 239.88/228.58 c cleaning 5111 clauses out of 48645 with flag 0/92037 286.79/274.19 c cleaning 5651 clauses out of 54535 with flag 0/103038 341.78/328.01 c cleaning 6138 clauses out of 60884 with flag 0/115038 400.17/385.60 c cleaning 7262 clauses out of 67744 with flag 0/128036 468.19/452.49 c cleaning 6967 clauses out of 74486 with flag 0/142040 543.10/526.39 c cleaning 7416 clauses out of 82519 with flag 0/157040 634.47/615.80 c cleaning 8516 clauses out of 91102 with flag 0/173039 719.52/699.38 c cleaning 9270 clauses out of 99583 with flag 0/190036 807.10/784.30 c cleaning 9624 clauses out of 108314 with flag 0/208037 945.78/917.88 c cleaning 8889 clauses out of 117691 with flag 0/227038 1046.16/1015.87 c cleaning 11076 clauses out of 128801 with flag 0/247037 1194.71/1161.22 c cleaning 11730 clauses out of 138728 with flag 0/268040 1342.77/1305.55 c cleaning 11623 clauses out of 148995 with flag 0/290037 1481.05/1438.87 c cleaning 13062 clauses out of 160371 with flag 0/313036 1691.26/1644.55 c cleaning 13155 clauses out of 171309 with flag 0/337036 1886.42/1816.01 c cleaning 12974 clauses out of 183154 with flag 0/362036 2126.43/2021.02 c cleaning 13288 clauses out of 196181 with flag 0/388037 2395.03/2245.88 c cleaning 14154 clauses out of 209893 with flag 0/415037 2709.70/2505.02 c cleaning 14158 clauses out of 223738 with flag 0/443036 3034.63/2772.89 c cleaning 14946 clauses out of 238580 with flag 0/472036 3360.73/3059.57 c cleaning 15581 clauses out of 253635 with flag 0/502037 3600.01/3274.01 c starts : 161 3600.01/3274.01 c conflicts : 530735 3600.01/3274.01 c decisions : 735830 3600.01/3274.01 c propagations : 78337934 3600.01/3274.01 c inspects : 3913428397 3600.01/3274.01 c shortcuts : 0 3600.01/3274.01 c learnt literals : 0 3600.01/3274.01 c learnt binary clauses : 0 3600.01/3274.01 c learnt ternary clauses : 0 3600.01/3274.01 c learnt constraints : 530734 3600.01/3274.01 c ignored constraints : 0 3600.01/3274.01 c root simplifications : 0 3600.01/3274.01 c removed literals (reason simplification) : 0 3600.01/3274.01 c reason swapping (by a shorter reason) : 0 3600.01/3274.01 c Calls to reduceDB : 33 3600.01/3274.01 c Number of update (reduction) of LBD : 0 3600.01/3274.01 c Imported unit clauses : 0 3600.01/3274.01 c No decision after first conflict : false 3600.01/3274.01 c number of reductions to clauses (during analyze) : 0 3600.01/3274.01 c number of learned constraints concerned by reduction : 0 3600.01/3274.01 c number of learning phase by resolution : 0 3600.01/3274.01 c number of learning phase by cutting planes : 0 3600.01/3274.01 c number of rounding to 1 operations : 6926218 3600.01/3274.01 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.01/3274.01 c number of reductions of the coefficients by power 2 : 0 3600.01/3274.01 c number of right shift for reduction by power 2 : 0 3600.01/3274.01 c number of reductions of the coefficients by GCD over coefficients : 0 3600.01/3274.01 c number of ending skipping : 0 3600.01/3274.01 c number of internal skipping : 0 3600.01/3274.01 c number of derivation steps : 7671059 3600.01/3274.01 c number of skipped derivation steps : 0 3600.01/3274.01 c number of remaining unassigned : 557654 3600.01/3274.01 c number of remaining assigned : 108465595 3600.01/3274.01 c number of falsified literals weakened from reason : 0 3600.01/3274.01 c number of falsified literals weakened from conflict : 0 3600.01/3274.01 c time for arithmetic operations : 50372541883 3600.01/3274.01 c minimum degree of deleted constraints : 4 3600.01/3274.01 c maximum degree of deleted constraints : 20558665 3600.01/3274.01 c number of deleted constraints : 263983 3600.25/3274.02 c speed (assignments/second) : 23931.576614377715 3600.25/3274.02 c non guided choices : 0 3600.45/3274.13 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 136176 3600.45/3274.13 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 4206 3600.45/3274.13 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 126369 3600.45/3274.13 s SATISFIABLE 3600.45/3274.13 c Found 8 solution(s) 3600.45/3274.13 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 3600.45/3274.13 c objective function=11 3600.45/3274.13 c Total wall clock time (in seconds): 3273.767
OK 11
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 (58904 MiB free)
memory of node 1: 64473 MiB (56301 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459877-1721939465/watcher-4459877-1721939465 -o /tmp/evaluation-result-4459877-1721939465/solver-4459877-1721939465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721939462-252132 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4459877-1721939465.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=252419, runsolver pid=252416
[startup+0.100366 s]*
/proc/loadavg: 0.78 0.24 0.23 8/305 252454
/proc/meminfo: memFree=117754148/131655788 swapFree=131071472/131071996
[pid=252419] ppid=252416 vsize=18975048 memory=55908 CPUtime=0.13 cores=5,7
/proc/252419/stat : 252419 (java) S 252416 252419 252119 0 -1 1077936128 6532 0 0 0 11 2 0 0 20 0 18 0 29935497 19430449152 13977 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
/proc/252419/statm: 4743762 13977 5590 1 0 550857 0
[pid=252419/tid=252422] ppid=252416 vsize=18975048 memory=4026531971 CPUtime=0.07 cores=5,7
/proc/252419/task/252422/stat : 252422 (java) R 252416 252419 252119 0 -1 4194368 5440 0 0 0 6 1 0 0 20 0 18 0 29935497 19430449152 13977 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252434] ppid=252416 vsize=18975048 memory=880909 CPUtime=0 cores=5,7
/proc/252419/task/252434/stat : 252434 (Finalizer) S 252416 252419 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29935501 19430449152 13977 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252447] ppid=252416 vsize=18975048 memory=15260341797930584 CPUtime=0 cores=5,7
/proc/252419/task/252447/stat : 252447 (Common-Cleaner) S 252416 252419 252119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 29935502 19430449152 13977 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55908 KiB
[startup+0.214647 s]*
/proc/loadavg: 0.78 0.24 0.23 10/315 252464
/proc/meminfo: memFree=117583136/131655788 swapFree=131071472/131071996
[pid=252419] ppid=252416 vsize=18975048 memory=64824 CPUtime=0.3 cores=5,7
/proc/252419/stat : 252419 (java) S 252416 252419 252119 0 -1 1077936128 7195 0 0 0 28 2 0 0 20 0 18 0 29935497 19430449152 16206 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
/proc/252419/statm: 4743762 16206 5598 1 0 551406 0
[pid=252419/tid=252422] ppid=252416 vsize=18975048 memory=8737651120394928259 CPUtime=0.18 cores=5,7
/proc/252419/task/252422/stat : 252422 (java) R 252416 252419 252119 0 -1 4194368 5743 0 0 0 17 1 0 0 20 0 18 0 29935497 19430449152 16206 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252434] ppid=252416 vsize=18975048 memory=880909 CPUtime=0 cores=5,7
/proc/252419/task/252434/stat : 252434 (Finalizer) S 252416 252419 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29935501 19430449152 16206 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252447] ppid=252416 vsize=18975048 memory=15260341797930584 CPUtime=0 cores=5,7
/proc/252419/task/252447/stat : 252447 (Common-Cleaner) S 252416 252419 252119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 29935502 19430449152 16206 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64824 KiB
[startup+0.320371 s]*
/proc/loadavg: 0.78 0.24 0.23 9/315 252464
/proc/meminfo: memFree=117427552/131655788 swapFree=131071472/131071996
[pid=252419] ppid=252416 vsize=18975048 memory=66912 CPUtime=0.49 cores=5,7
/proc/252419/stat : 252419 (java) S 252416 252419 252119 0 -1 1077936128 7494 0 0 0 46 3 0 0 20 0 18 0 29935497 19430449152 16728 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
/proc/252419/statm: 4743762 16728 5827 1 0 551631 0
[pid=252419/tid=252422] ppid=252416 vsize=18975048 memory=-9032363134888420028 CPUtime=0.29 cores=5,7
/proc/252419/task/252422/stat : 252422 (java) R 252416 252419 252119 0 -1 4194368 5938 0 0 0 27 2 0 0 20 0 18 0 29935497 19430449152 16728 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252434] ppid=252416 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/252419/task/252434/stat : 252434 (Finalizer) S 252416 252419 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29935501 19430449152 16728 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252447] ppid=252416 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/252419/task/252447/stat : 252447 (Common-Cleaner) S 252416 252419 252119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 29935502 19430449152 16728 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66912 KiB
[startup+0.700301 s]
/proc/loadavg: 0.78 0.24 0.23 10/315 252464
/proc/meminfo: memFree=117301032/131655788 swapFree=131071472/131071996
[pid=252419] ppid=252416 vsize=19041612 memory=89840 CPUtime=1.14 cores=5,7
/proc/252419/stat : 252419 (java) S 252416 252419 252119 0 -1 1077936128 8195 0 0 0 110 4 0 0 20 0 19 0 29935497 19498610688 22460 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
/proc/252419/statm: 4760403 22460 5874 1 0 552255 0
[pid=252419/tid=252422] ppid=252416 vsize=19041612 memory=5572 CPUtime=0.59 cores=5,7
/proc/252419/task/252422/stat : 252422 (java) R 252416 252419 252119 0 -1 4194368 6215 0 0 0 57 2 0 0 20 0 19 0 29935497 19498610688 22460 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252434] ppid=252416 vsize=19041612 memory=11652 CPUtime=0 cores=5,7
/proc/252419/task/252434/stat : 252434 (Finalizer) S 252416 252419 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29935501 19498610688 22460 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252447] ppid=252416 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/252419/task/252447/stat : 252447 (Common-Cleaner) S 252416 252419 252119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 29935502 19498610688 22460 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 89840 KiB
[startup+1.50636 s]
/proc/loadavg: 0.78 0.24 0.23 8/317 252466
/proc/meminfo: memFree=117066096/131655788 swapFree=131071472/131071996
[pid=252419] ppid=252416 vsize=19108176 memory=184012 CPUtime=2.72 cores=5,7
/proc/252419/stat : 252419 (java) S 252416 252419 252119 0 -1 1077936128 20551 0 0 0 264 8 0 0 20 0 20 0 29935497 19566772224 46003 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
/proc/252419/statm: 4777044 46003 5897 1 0 557238 0
[pid=252419/tid=252422] ppid=252416 vsize=19108176 memory=11652 CPUtime=1.26 cores=5,7
/proc/252419/task/252422/stat : 252422 (java) S 252416 252419 252119 0 -1 1077936192 6597 0 0 0 122 4 0 0 20 0 20 0 29935497 19566772224 46003 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252434] ppid=252416 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/252419/task/252434/stat : 252434 (Finalizer) S 252416 252419 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935501 19566772224 46003 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252447] ppid=252416 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/252419/task/252447/stat : 252447 (Common-Cleaner) S 252416 252419 252119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 29935502 19566772224 46003 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252465] ppid=252416 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/252419/task/252465/stat : 252465 (Timer-0) S 252416 252419 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29935556 19566772224 46003 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 184012 KiB
[startup+3.11536 s]
/proc/loadavg: 0.78 0.24 0.23 8/319 252468
/proc/meminfo: memFree=115133684/131655788 swapFree=131071472/131071996
[pid=252419] ppid=252416 vsize=19108176 memory=952124 CPUtime=5.9 cores=5,7
/proc/252419/stat : 252419 (java) S 252416 252419 252119 0 -1 1077936128 25367 0 0 0 565 25 0 0 20 0 20 0 29935497 19566772224 238031 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
/proc/252419/statm: 4777044 238031 5897 1 0 558167 0
[pid=252419/tid=252422] ppid=252416 vsize=19108176 memory=0 CPUtime=2.82 cores=5,7
/proc/252419/task/252422/stat : 252422 (java) R 252416 252419 252119 0 -1 4194368 7835 0 0 0 262 20 0 0 20 0 20 0 29935497 19566772224 238031 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252434] ppid=252416 vsize=19108176 memory=13560 CPUtime=0 cores=5,7
/proc/252419/task/252434/stat : 252434 (Finalizer) S 252416 252419 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935501 19566772224 238031 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252447] ppid=252416 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/252419/task/252447/stat : 252447 (Common-Cleaner) S 252416 252419 252119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 29935502 19566772224 238031 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252465] ppid=252416 vsize=19108176 memory=11652 CPUtime=0 cores=5,7
/proc/252419/task/252465/stat : 252465 (Timer-0) S 252416 252419 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29935556 19566772224 238031 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
Current children cumulated CPU time: 5.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 952124 KiB
[startup+6.30029 s]
/proc/loadavg: 1.04 0.31 0.25 5/319 252470
/proc/meminfo: memFree=112628328/131655788 swapFree=131071472/131071996
[pid=252419] ppid=252416 vsize=19108176 memory=1828352 CPUtime=9.78 cores=5,7
/proc/252419/stat : 252419 (java) S 252416 252419 252119 0 -1 1077936128 27194 0 0 0 934 44 0 0 20 0 20 0 29935497 19566772224 457088 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
/proc/252419/statm: 4777044 457088 5897 1 0 714827 0
[pid=252419/tid=252422] ppid=252416 vsize=19108176 memory=0 CPUtime=5.88 cores=5,7
/proc/252419/task/252422/stat : 252422 (java) R 252416 252419 252119 0 -1 4194368 8288 0 0 0 551 37 0 0 20 0 20 0 29935497 19566772224 457088 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252434] ppid=252416 vsize=19108176 memory=11652 CPUtime=0 cores=5,7
/proc/252419/task/252434/stat : 252434 (Finalizer) S 252416 252419 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935501 19566772224 457088 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252447] ppid=252416 vsize=19108176 memory=13560 CPUtime=0 cores=5,7
/proc/252419/task/252447/stat : 252447 (Common-Cleaner) S 252416 252419 252119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 29935502 19566772224 457088 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252465] ppid=252416 vsize=19108176 memory=70052 CPUtime=0 cores=5,7
/proc/252419/task/252465/stat : 252465 (Timer-0) S 252416 252419 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29935556 19566772224 457088 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
Current children cumulated CPU time: 9.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1828352 KiB
[startup+12.7005 s]
/proc/loadavg: 1.36 0.38 0.27 5/319 252470
/proc/meminfo: memFree=110866088/131655788 swapFree=131071472/131071996
[pid=252419] ppid=252416 vsize=19108176 memory=2430660 CPUtime=16.76 cores=5,7
/proc/252419/stat : 252419 (java) S 252416 252419 252119 0 -1 1077936128 28917 0 0 0 1619 57 0 0 20 0 20 0 29935497 19566772224 607665 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
/proc/252419/statm: 4777044 607665 5897 1 0 900782 0
[pid=252419/tid=252422] ppid=252416 vsize=19108176 memory=1828836 CPUtime=11.91 cores=5,7
/proc/252419/task/252422/stat : 252422 (java) R 252416 252419 252119 0 -1 4194368 9348 0 0 0 1142 49 0 0 20 0 20 0 29935497 19566772224 607665 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252434] ppid=252416 vsize=19108176 memory=1828836 CPUtime=0 cores=5,7
/proc/252419/task/252434/stat : 252434 (Finalizer) S 252416 252419 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935501 19566772224 607665 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252447] ppid=252416 vsize=19108176 memory=13560 CPUtime=0 cores=5,7
/proc/252419/task/252447/stat : 252447 (Common-Cleaner) S 252416 252419 252119 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 29935502 19566772224 607665 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252465] ppid=252416 vsize=19108176 memory=11652 CPUtime=0 cores=5,7
/proc/252419/task/252465/stat : 252465 (Timer-0) S 252416 252419 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29935556 19566772224 607665 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
Current children cumulated CPU time: 16.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2430660 KiB
[startup+25.5022 s]
/proc/loadavg: 2.01 0.58 0.34 5/319 252471
/proc/meminfo: memFree=105988620/131655788 swapFree=131071472/131071996
[pid=252419] ppid=252416 vsize=19108176 memory=3867760 CPUtime=30.1 cores=5,7
/proc/252419/stat : 252419 (java) S 252416 252419 252119 0 -1 1077936128 31191 0 0 0 2925 85 0 0 20 0 20 0 29935497 19566772224 966940 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
/proc/252419/statm: 4777044 966940 5912 1 0 1226667 0
[pid=252419/tid=252422] ppid=252416 vsize=19108176 memory=3867760 CPUtime=24.1 cores=5,7
/proc/252419/task/252422/stat : 252422 (java) R 252416 252419 252119 0 -1 4194368 10639 0 0 0 2336 74 0 0 20 0 20 0 29935497 19566772224 966940 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252434] ppid=252416 vsize=19108176 memory=13560 CPUtime=0 cores=5,7
/proc/252419/task/252434/stat : 252434 (Finalizer) S 252416 252419 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935501 19566772224 966940 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252447] ppid=252416 vsize=19108176 memory=70052 CPUtime=0 cores=5,7
/proc/252419/task/252447/stat : 252447 (Common-Cleaner) S 252416 252419 252119 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 29935502 19566772224 966940 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252465] ppid=252416 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/252419/task/252465/stat : 252465 (Timer-0) S 252416 252419 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29935556 19566772224 966940 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
Current children cumulated CPU time: 30.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3867760 KiB
[startup+51.1135 s]
/proc/loadavg: 2.82 0.89 0.45 5/319 252477
/proc/meminfo: memFree=105326788/131655788 swapFree=131071472/131071996
[pid=252419] ppid=252416 vsize=19108176 memory=3944028 CPUtime=56.23 cores=5,7
/proc/252419/stat : 252419 (java) S 252416 252419 252119 0 -1 1077936128 37255 0 0 0 5534 89 0 0 20 0 20 0 29935497 19566772224 986007 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
/proc/252419/statm: 4777044 986007 5912 1 0 1226670 0
[pid=252419/tid=252422] ppid=252416 vsize=19108176 memory=2681 CPUtime=48.85 cores=5,7
/proc/252419/task/252422/stat : 252422 (java) R 252416 252419 252119 0 -1 4194368 14611 0 0 0 4810 75 0 0 20 0 20 0 29935497 19566772224 986007 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252434] ppid=252416 vsize=19108176 memory=3944028 CPUtime=0 cores=5,7
/proc/252419/task/252434/stat : 252434 (Finalizer) S 252416 252419 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935501 19566772224 986007 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252447] ppid=252416 vsize=19108176 memory=3944028 CPUtime=0 cores=5,7
/proc/252419/task/252447/stat : 252447 (Common-Cleaner) S 252416 252419 252119 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 29935502 19566772224 986007 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
################
# More data... #
################
/proc/252419/stat : 252419 (java) S 252416 252419 252119 0 -1 1077936128 506835 0 0 0 326813 537 0 0 20 0 21 0 29935497 19634933760 1877935 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
/proc/252419/statm: 4793685 1877935 5944 1 0 1893907 0
[pid=252419/tid=252422] ppid=252416 vsize=19174740 memory=2681 CPUtime=2892.59 cores=5,7
/proc/252419/task/252422/stat : 252422 (java) R 252416 252419 252119 0 -1 4194368 233568 0 0 0 289092 167 0 0 20 0 21 0 29935497 19634933760 1877935 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 188 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252434] ppid=252416 vsize=19174740 memory=70052 CPUtime=0 cores=5,7
/proc/252419/task/252434/stat : 252434 (Finalizer) S 252416 252419 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 29935501 19634933760 1877935 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252447] ppid=252416 vsize=19174740 memory=7511740 CPUtime=0 cores=5,7
/proc/252419/task/252447/stat : 252447 (Common-Cleaner) S 252416 252419 252119 0 -1 1077936192 2497 0 0 0 0 0 0 0 20 0 21 0 29935502 19634933760 1877935 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252465] ppid=252416 vsize=19174740 memory=7511740 CPUtime=0 cores=5,7
/proc/252419/task/252465/stat : 252465 (Timer-0) S 252416 252419 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 29935556 19634933760 1877935 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
Current children cumulated CPU time: 3273.5 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 7511740 KiB
[startup+3042.3 s]
/proc/loadavg: 4.41 4.53 4.39 5/320 253668
/proc/meminfo: memFree=97515692/131655788 swapFree=131071472/131071996
[pid=252419] ppid=252416 vsize=19174740 memory=7511780 CPUtime=3338.74 cores=5,7
/proc/252419/stat : 252419 (java) S 252416 252419 252119 0 -1 1077936128 513000 0 0 0 333329 545 0 0 20 0 21 0 29935497 19634933760 1877945 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
/proc/252419/statm: 4793685 1877945 5944 1 0 1893907 0
[pid=252419/tid=252422] ppid=252416 vsize=19174740 memory=2681 CPUtime=2951.63 cores=5,7
/proc/252419/task/252422/stat : 252422 (java) R 252416 252419 252119 0 -1 4194368 236750 0 0 0 294995 168 0 0 20 0 21 0 29935497 19634933760 1877945 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 189 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252434] ppid=252416 vsize=19174740 memory=70052 CPUtime=0 cores=5,7
/proc/252419/task/252434/stat : 252434 (Finalizer) S 252416 252419 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 29935501 19634933760 1877945 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252447] ppid=252416 vsize=19174740 memory=2148 CPUtime=0 cores=5,7
/proc/252419/task/252447/stat : 252447 (Common-Cleaner) S 252416 252419 252119 0 -1 1077936192 2581 0 0 0 0 0 0 0 20 0 21 0 29935502 19634933760 1877945 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252465] ppid=252416 vsize=19174740 memory=7511780 CPUtime=0 cores=5,7
/proc/252419/task/252465/stat : 252465 (Timer-0) S 252416 252419 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 29935556 19634933760 1877945 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
Current children cumulated CPU time: 3338.74 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 7511780 KiB
[startup+3102.3 s]
/proc/loadavg: 4.60 4.57 4.41 5/321 253681
/proc/meminfo: memFree=97515400/131655788 swapFree=131071472/131071996
[pid=252419] ppid=252416 vsize=19174740 memory=7511860 CPUtime=3408.79 cores=5,7
/proc/252419/stat : 252419 (java) S 252416 252419 252119 0 -1 1077936128 528729 0 0 0 340323 556 0 0 20 0 21 0 29935497 19634933760 1877965 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
/proc/252419/statm: 4793685 1877965 5944 1 0 1893909 0
[pid=252419/tid=252422] ppid=252416 vsize=19174740 memory=2681 CPUtime=3010.38 cores=5,7
/proc/252419/task/252422/stat : 252422 (java) R 252416 252419 252119 0 -1 4194368 241232 0 0 0 300870 168 0 0 20 0 21 0 29935497 19634933760 1877965 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 190 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252434] ppid=252416 vsize=19174740 memory=11652 CPUtime=0 cores=5,7
/proc/252419/task/252434/stat : 252434 (Finalizer) S 252416 252419 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 29935501 19634933760 1877965 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252447] ppid=252416 vsize=19174740 memory=5460 CPUtime=0 cores=5,7
/proc/252419/task/252447/stat : 252447 (Common-Cleaner) S 252416 252419 252119 0 -1 1077936192 2584 0 0 0 0 0 0 0 20 0 21 0 29935502 19634933760 1877965 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252465] ppid=252416 vsize=19174740 memory=13560 CPUtime=0 cores=5,7
/proc/252419/task/252465/stat : 252465 (Timer-0) S 252416 252419 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 29935556 19634933760 1877965 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
Current children cumulated CPU time: 3408.79 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 7511860 KiB
[startup+3162.3 s]
/proc/loadavg: 4.45 4.54 4.41 5/321 253691
/proc/meminfo: memFree=97514912/131655788 swapFree=131071472/131071996
[pid=252419] ppid=252416 vsize=19174740 memory=7511860 CPUtime=3474.4 cores=5,7
/proc/252419/stat : 252419 (java) S 252416 252419 252119 0 -1 1077936128 549069 0 0 0 346875 565 0 0 20 0 21 0 29935497 19634933760 1877965 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
/proc/252419/statm: 4793685 1877965 5944 1 0 1893909 0
[pid=252419/tid=252422] ppid=252416 vsize=19174740 memory=2681 CPUtime=3069.14 cores=5,7
/proc/252419/task/252422/stat : 252422 (java) R 252416 252419 252119 0 -1 4194368 248723 0 0 0 306745 169 0 0 20 0 21 0 29935497 19634933760 1877965 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 201 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252434] ppid=252416 vsize=19174740 memory=5460 CPUtime=0 cores=5,7
/proc/252419/task/252434/stat : 252434 (Finalizer) S 252416 252419 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 29935501 19634933760 1877965 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252447] ppid=252416 vsize=19174740 memory=7511860 CPUtime=0 cores=5,7
/proc/252419/task/252447/stat : 252447 (Common-Cleaner) S 252416 252419 252119 0 -1 1077936192 2706 0 0 0 0 0 0 0 20 0 21 0 29935502 19634933760 1877965 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252465] ppid=252416 vsize=19174740 memory=7511860 CPUtime=0 cores=5,7
/proc/252419/task/252465/stat : 252465 (Timer-0) S 252416 252419 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 29935556 19634933760 1877965 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
Current children cumulated CPU time: 3474.4 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 7511860 KiB
[startup+3222.3 s]
/proc/loadavg: 5.24 4.72 4.48 6/321 253702
/proc/meminfo: memFree=97514596/131655788 swapFree=131071472/131071996
[pid=252419] ppid=252416 vsize=19174740 memory=7511888 CPUtime=3544.73 cores=5,7
/proc/252419/stat : 252419 (java) S 252416 252419 252119 0 -1 1077936128 568392 0 0 0 353896 577 0 0 20 0 21 0 29935497 19634933760 1877972 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
/proc/252419/statm: 4793685 1877972 5944 1 0 1893910 0
[pid=252419/tid=252422] ppid=252416 vsize=19174740 memory=2681 CPUtime=3127.91 cores=5,7
/proc/252419/task/252422/stat : 252422 (java) R 252416 252419 252119 0 -1 4194368 253063 0 0 0 312621 170 0 0 20 0 21 0 29935497 19634933760 1877972 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 204 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252434] ppid=252416 vsize=19174740 memory=5460 CPUtime=0 cores=5,7
/proc/252419/task/252434/stat : 252434 (Finalizer) S 252416 252419 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 29935501 19634933760 1877972 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252447] ppid=252416 vsize=19174740 memory=7511876 CPUtime=0 cores=5,7
/proc/252419/task/252447/stat : 252447 (Common-Cleaner) S 252416 252419 252119 0 -1 1077936192 2706 0 0 0 0 0 0 0 20 0 21 0 29935502 19634933760 1877972 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252465] ppid=252416 vsize=19174740 memory=7511888 CPUtime=0 cores=5,7
/proc/252419/task/252465/stat : 252465 (Timer-0) S 252416 252419 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 29935556 19634933760 1877972 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
Current children cumulated CPU time: 3544.73 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 7511888 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3273.9 s]
/proc/loadavg: 4.92 4.73 4.50 6/321 253712
/proc/meminfo: memFree=97514256/131655788 swapFree=131071472/131071996
[pid=252419] ppid=252416 vsize=19174740 memory=7511932 CPUtime=3600.01 cores=5,7
/proc/252419/stat : 252419 (java) S 252416 252419 252119 0 -1 1077936128 571100 0 0 0 359419 582 0 0 20 0 21 0 29935497 19634933760 1877983 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
/proc/252419/statm: 4793685 1877983 5944 1 0 1893910 0
[pid=252419/tid=252422] ppid=252416 vsize=19174740 memory=2681 CPUtime=3178.05 cores=5,7
/proc/252419/task/252422/stat : 252422 (java) R 252416 252419 252119 0 -1 4194368 255210 0 0 0 317634 171 0 0 20 0 21 0 29935497 19634933760 1877983 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 207 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252434] ppid=252416 vsize=19174740 memory=7511884 CPUtime=0 cores=5,7
/proc/252419/task/252434/stat : 252434 (Finalizer) S 252416 252419 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 29935501 19634933760 1877983 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252447] ppid=252416 vsize=19174740 memory=7511888 CPUtime=0 cores=5,7
/proc/252419/task/252447/stat : 252447 (Common-Cleaner) S 252416 252419 252119 0 -1 1077936192 2778 0 0 0 0 0 0 0 20 0 21 0 29935502 19634933760 1877983 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252465] ppid=252416 vsize=19174740 memory=70052 CPUtime=0 cores=5,7
/proc/252419/task/252465/stat : 252465 (Timer-0) S 252416 252419 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 29935556 19634933760 1877983 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 7511932 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3274.18 s]
# the end of solver process 252419 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.67 s, system=5.85913 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3274.02 s]*
/proc/loadavg: 4.92 4.73 4.50 9/325 253739
/proc/meminfo: memFree=97512900/131655788 swapFree=131071472/131071996
[pid=252419] ppid=252416 vsize=19374432 memory=7512496 CPUtime=3600.25 cores=5,7
/proc/252419/stat : 252419 (java) S 252416 252419 252119 0 -1 1077936128 573051 0 0 0 359442 583 0 0 20 0 23 0 29935497 19839418368 1878124 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
/proc/252419/statm: 4843608 1878124 5943 1 0 1894813 0
[pid=252419/tid=252422] ppid=252416 vsize=19374432 memory=-4421386513461176418 CPUtime=3178.15 cores=5,7
/proc/252419/task/252422/stat : 252422 (java) R 252416 252419 252119 0 -1 4194368 255210 0 0 0 317644 171 0 0 20 0 23 0 29935497 19839418368 1878130 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 207 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252434] ppid=252416 vsize=19374432 memory=2772 CPUtime=0 cores=5,7
/proc/252419/task/252434/stat : 252434 (Finalizer) S 252416 252419 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 23 0 29935501 19839418368 1878130 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252447] ppid=252416 vsize=19374432 memory=5164 CPUtime=0 cores=5,7
/proc/252419/task/252447/stat : 252447 (Common-Cleaner) S 252416 252419 252119 0 -1 1077936192 2778 0 0 0 0 0 0 0 20 0 23 0 29935502 19839418368 1878130 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=253715] ppid=252416 vsize=19374432 memory=4891532 CPUtime=0.01 cores=5,7
/proc/252419/task/253715/stat : 253715 (Thread-0) R 252416 252419 252119 0 -1 4194368 408 0 0 0 1 0 0 0 20 0 23 0 30262892 19839418368 1878130 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=253726] ppid=252416 vsize=0 memory=-8599453521195803324 CPUtime=0 cores=5,7
/proc/252419/task/253726/stat : 253726 (Logging-Cleaner) X 252416 252419 252119 0 -1 4194372 33 0 0 0 0 0 0 0 20 0 23 0 30262895 0 0 134679101440 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19374432 KiB
Current children cumulated memory: 7512496 KiB
[startup+3274.12 s]
/proc/loadavg: 4.92 4.73 4.50 9/325 253739
/proc/meminfo: memFree=97512900/131655788 swapFree=131071472/131071996
[pid=252419] ppid=252416 vsize=19374432 memory=7512616 CPUtime=3600.45 cores=5,7
/proc/252419/stat : 252419 (java) S 252416 252419 252119 0 -1 1077936128 573603 0 0 0 359462 583 0 0 20 0 22 0 29935497 19839418368 1878154 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
/proc/252419/statm: 4843608 1878154 5943 1 0 1894845 0
[pid=252419/tid=252422] ppid=252416 vsize=19374432 memory=2681 CPUtime=3178.19 cores=5,7
/proc/252419/task/252422/stat : 252422 (java) R 252416 252419 252119 0 -1 4194368 255272 0 0 0 317648 171 0 0 20 0 22 0 29935497 19839418368 1878154 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 207 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252434] ppid=252416 vsize=19374432 memory=7511884 CPUtime=0 cores=5,7
/proc/252419/task/252434/stat : 252434 (Finalizer) S 252416 252419 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 22 0 29935501 19839418368 1878154 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=252447] ppid=252416 vsize=19374432 memory=7511888 CPUtime=0 cores=5,7
/proc/252419/task/252447/stat : 252447 (Common-Cleaner) S 252416 252419 252119 0 -1 1077936192 2778 0 0 0 0 0 0 0 20 0 22 0 29935502 19839418368 1878154 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
[pid=252419/tid=253715] ppid=252416 vsize=19374432 memory=70052 CPUtime=0.07 cores=5,7
/proc/252419/task/253715/stat : 253715 (Thread-0) R 252416 252419 252119 0 -1 4194368 427 0 0 0 7 0 0 0 20 0 22 0 30262892 19839418368 1878154 134679101440 94262581346304 94262581350000 140722234865760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94262581357816 94262581358608 94262604607488 140722234872815 140722234872928 140722234872928 140722234879944 0
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 19374432 KiB
Current children cumulated memory: 7512616 KiB
Child status: 143
Real time (s): 3274.18
CPU time (s): 3600.53
CPU user time (s): 3594.67
CPU system time (s): 5.85913
CPU usage (%): 109.968
Max. virtual memory (cumulated for all children) (KiB): 19374432
Max. memory (cumulated for all children) (KiB): 7512616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.67
system time used= 5.85913
maximum resident set size= 7513660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 574194
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126604
involuntary context switches= 20871
# summary of solver processes directly reported to runsolver:
# pid: 252419
# total CPU time (s): 3600.53
# total CPU user time (s): 3594.67
# total CPU system time (s): 5.85913
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9514 second user time and 32.0243 second system time
The end
Begin job on nodeC004 at 2024-07-25 22:31:06 IDJOB=4459877 IDBENCH=148625 IDSOLVER=3046 FILE ID=nodeC004/4459877-1721939465 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-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_5.opb COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459877-1721939465/watcher-4459877-1721939465 -o /tmp/evaluation-result-4459877-1721939465/solver-4459877-1721939465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721939462-252132 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4459877-1721939465.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 2bd1635b55c594c1b059c8ee34f0ff3b RANDOM SEED=1956819754 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 : 1496.626 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 : 3492.065 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 : 1795.988 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 : 3492.066 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 : 3492.066 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.092 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 : 3492.065 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.073 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: 118008952 kB MemAvailable: 128819224 kB Buffers: 337248 kB Cached: 11260488 kB SwapCached: 60 kB Active: 2745856 kB Inactive: 10251208 kB Active(anon): 1412 kB Inactive(anon): 1451756 kB Active(file): 2744444 kB Inactive(file): 8799452 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 2852 kB Writeback: 8 kB AnonPages: 1396600 kB Mapped: 135640 kB Shmem: 53860 kB KReclaimable: 213148 kB Slab: 326300 kB SReclaimable: 213148 kB SUnreclaim: 113152 kB KernelStack: 4448 kB PageTables: 12376 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 7527032 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20128 kB HardwareCorrupted: 0 kB AnonHugePages: 991232 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= 723776 MiB End job on nodeC004 at 2024-07-25 23:25:40