Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j CP 2025-06-06 | SAT (TO) | 1 | 3600.51 | 3439.86 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_021.opb |
| MD5SUM | 13aa29e786187b82093ba5acc80c7659 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.009484 |
| 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 | 84 |
| Total number of constraints | 21 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 21 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 7 |
| Maximum length of a constraint | 7 |
| Number of terms in the objective function | 21 |
| Biggest coefficient in the objective function | 21 |
| Number of bits for the biggest coefficient in the objective function | 5 |
| Sum of the numbers in the objective function | 231 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 21 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 231 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.09/0.19 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.09/0.19 c This is free software under the dual EPL/GNU LGPL licenses. 0.09/0.19 c See www.sat4j.org for details. 0.09/0.20 c version PB25.v20250606 0.27/0.23 c java.runtime.name OpenJDK Runtime Environment 0.27/0.23 c java.vm.name OpenJDK 64-Bit Server VM 0.27/0.23 c java.vm.version 22.0.1+8-16 0.27/0.23 c java.vm.vendor Oracle Corporation 0.27/0.23 c sun.arch.data.model 64 0.27/0.23 c java.version 22.0.1 0.27/0.23 c os.name Linux 0.27/0.23 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.27/0.23 c os.arch amd64 0.27/0.24 c Free memory 2104792832 0.27/0.24 c Max memory 16282288128 0.27/0.25 c Total memory 2113929216 0.27/0.25 c Number of processors 2 0.61/0.44 c Pseudo Boolean Optimization by upper bound 0.61/0.44 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.61/0.44 c - never skip resolution steps 0.61/0.44 c - Auto-division on coefficients is disabled 0.61/0.44 c - No postprocessing 0.61/0.44 c - Conflict is considered as is when resolving 0.61/0.44 c - Use constraints as they come during conflict analysis 0.61/0.44 c - Weaken first using unassigned literals 0.61/0.44 c - Bump strategy: ALWAYS_ONE 0.61/0.44 c - Bumper: ANY 0.61/0.44 c --- Begin Solver configuration --- 0.61/0.44 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5cbc508c 0.61/0.44 c Learn all clauses as in MiniSAT 0.61/0.44 c LOGGER=java.util.logging.Logger@68fb2c38 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.61/0.44 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.61/0.44 c No reason simplification 0.61/0.44 c Armin Biere (Picosat) restarts strategy 0.61/0.44 c Activity based learned constraints deletion strategy with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.61/0.44 c timeout=2147483s 0.61/0.44 c DB Simplification allowed=false 0.61/0.44 c Listener: none 0.61/0.44 c --- End Solver configuration --- 0.61/0.44 c solving HOME/instance-4518416-1751549948.opb 0.61/0.44 c reading problem ... 0.61/0.44 c objective function found 0.61/0.48 c ... done. Wall clock time 0.032s. 0.61/0.48 c declared #vars 84 0.61/0.48 c #constraints 42 0.61/0.48 c constraints type 0.61/0.48 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 42 0.61/0.48 c 42 constraints processed. 0.61/0.51 c objective function length is 21 literals 0.96/0.69 c SATISFIABLE 0.96/0.69 c OPTIMIZING... 0.96/0.69 c Got one! Elapsed wall clock time (in seconds):0.253 0.96/0.69 o 129 1.32/0.89 c Got one! Elapsed wall clock time (in seconds):0.45 1.32/0.89 o 44 1.73/1.05 c Got one! Elapsed wall clock time (in seconds):0.613 1.73/1.05 o 41 2.10/1.20 c Got one! Elapsed wall clock time (in seconds):0.764 2.10/1.20 o 39 2.10/1.30 c Got one! Elapsed wall clock time (in seconds):0.855 2.10/1.30 o 38 2.49/1.40 c Got one! Elapsed wall clock time (in seconds):0.961 2.49/1.40 o 37 3.88/2.19 c Got one! Elapsed wall clock time (in seconds):1.754 3.88/2.19 o 36 5.17/2.86 c Got one! Elapsed wall clock time (in seconds):2.42 5.17/2.86 o 34 7.17/4.49 c cleaning 2497 clauses out of 5000 7.52/4.68 c Got one! Elapsed wall clock time (in seconds):4.237 7.52/4.68 o 33 7.72/4.86 c Got one! Elapsed wall clock time (in seconds):4.42 7.72/4.86 o 32 7.92/5.09 c Got one! Elapsed wall clock time (in seconds):4.65 7.92/5.09 o 31 8.45/5.51 c Got one! Elapsed wall clock time (in seconds):5.065 8.45/5.51 o 29 9.26/6.37 c Got one! Elapsed wall clock time (in seconds):5.927 9.26/6.37 o 13 13.84/10.30 c Got one! Elapsed wall clock time (in seconds):9.857 13.84/10.30 o 6 19.86/15.76 c cleaning 4245 clauses out of 8503 25.50/21.10 c Got one! Elapsed wall clock time (in seconds):20.658 25.50/21.10 o 5 26.60/22.16 c Got one! Elapsed wall clock time (in seconds):21.722 26.60/22.16 o 2 27.38/22.91 c Got one! Elapsed wall clock time (in seconds):22.469 27.38/22.91 o 1 42.84/38.41 c cleaning 5625 clauses out of 11259 73.29/68.73 c cleaning 6812 clauses out of 13634 120.36/115.50 c cleaning 7904 clauses out of 15821 185.80/180.72 c cleaning 8951 clauses out of 17918 279.38/273.58 c cleaning 9979 clauses out of 19967 397.49/389.63 c cleaning 10987 clauses out of 21987 560.63/548.88 c cleaning 11993 clauses out of 24001 771.93/753.16 c cleaning 12998 clauses out of 26009 1029.60/1002.01 c cleaning 13995 clauses out of 28010 1334.81/1296.05 c cleaning 15004 clauses out of 30014 1669.94/1617.88 c cleaning 15998 clauses out of 32010 2097.63/2026.75 c cleaning 16999 clauses out of 34012 2582.77/2486.68 c cleaning 17994 clauses out of 36013 3172.23/3039.97 c cleaning 19005 clauses out of 38020 3600.02/3439.63 c starts : 136 3600.02/3439.66 c conflicts : 214465 3600.02/3439.67 c decisions : 252352 3600.02/3439.67 c propagations : 1186264 3600.02/3439.67 c inspects : 7068037564 3600.02/3439.67 c shortcuts : 0 3600.02/3439.67 c learnt literals : 0 3600.02/3439.67 c learnt binary clauses : 0 3600.02/3439.67 c learnt ternary clauses : 0 3600.02/3439.67 c learnt constraints : 214465 3600.02/3439.67 c ignored constraints : 0 3600.02/3439.68 c root simplifications : 0 3600.02/3439.68 c removed literals (reason simplification) : 0 3600.02/3439.68 c reason swapping (by a shorter reason) : 0 3600.02/3439.68 c Calls to reduceDB : 16 3600.02/3439.68 c Number of update (reduction) of LBD : 0 3600.02/3439.68 c Imported unit clauses : 0 3600.02/3439.68 c No decision after first conflict : false 3600.02/3439.68 c number of reductions to clauses (during analyze) : 0 3600.02/3439.68 c number of learned constraints concerned by reduction : 0 3600.02/3439.68 c number of learning phase by resolution : 0 3600.02/3439.68 c number of learning phase by cutting planes : 0 3600.02/3439.68 c number of rounding to 1 operations : 0 3600.02/3439.69 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.02/3439.69 c number of reductions of the coefficients by power 2 : 0 3600.02/3439.69 c number of right shift for reduction by power 2 : 0 3600.02/3439.69 c number of reductions of the coefficients by GCD over coefficients : 0 3600.02/3439.69 c number of ending skipping : 0 3600.02/3439.69 c number of internal skipping : 0 3600.02/3439.69 c number of derivation steps : 734727 3600.02/3439.69 c number of skipped derivation steps : 0 3600.02/3439.69 c number of remaining unassigned : 729 3600.02/3439.69 c number of remaining assigned : 15497253 3600.02/3439.69 c number of falsified literals weakened from reason : 0 3600.02/3439.69 c number of falsified literals weakened from conflict : 0 3600.02/3439.70 c time for arithmetic operations : 989650127 3600.22/3439.70 c minimum degree of deleted constraints : null 3600.22/3439.71 c maximum degree of deleted constraints : null 3600.22/3439.71 c number of deleted constraints : 0 3600.22/3439.71 c speed (assignments/second) : 344.9257048250066 3600.22/3439.71 c non guided choices : 264 3600.41/3439.82 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 3325 3600.41/3439.82 c learnt constraints type org.sat4j.pb.constraints.pb.MaxWatchPb : 30151 3600.41/3439.82 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 3 3600.41/3439.82 s SATISFIABLE 3600.41/3439.82 c Found 17 solution(s) 3600.41/3439.83 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 3600.41/3439.83 c objective function=1 3600.41/3439.83 c Total wall clock time (in seconds): 3439.392
OK 1
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: 63837 MiB (62889 MiB free)
memory of node 1: 64465 MiB (63438 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518416-1751549948/watcher-4518416-1751549948 -o /tmp/evaluation-result-4518416-1751549948/solver-4518416-1751549948 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751549948-75004 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4518416-1751549948.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=75054, runsolver pid=75045
Current StackSize limit: 8192 KiB
[startup+0.100073 s]*
/proc/loadavg: 1.02 2.36 2.87 10/320 75131
/proc/meminfo: memFree=129283400/131382120 swapFree=33010416/33010684
[pid=75054] ppid=75045 vsize=18930344 memory=45544 CPUtime=0.09 cores=0,2
/proc/75054/stat : 75054 (java) S 75045 75054 74994 0 -1 4194304 5393 0 97 0 5 4 0 0 20 0 18 0 70673675 19384672256 11386 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
/proc/75054/statm: 4732586 11386 4923 1 0 546691 0
[pid=75054/tid=75065] ppid=75045 vsize=18930344 memory=4026532124 CPUtime=0.07 cores=0,2
/proc/75054/task/75065/stat : 75065 (java) D 75045 75054 74994 0 -1 4194368 4519 0 97 0 4 3 0 0 20 0 18 0 70673678 19384672256 11386 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75098] ppid=75045 vsize=18930344 memory=2576 CPUtime=0 cores=0,2
/proc/75054/task/75098/stat : 75098 (Finalizer) S 75045 75054 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70673683 19384672256 11386 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75129] ppid=75045 vsize=18930344 memory=54096036103158 CPUtime=0 cores=0,2
/proc/75054/task/75129/stat : 75129 (Common-Cleaner) S 75045 75054 74994 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 70673685 19384672256 11386 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 45544 KiB
[startup+0.214255 s]*
/proc/loadavg: 1.02 2.36 2.87 9/320 75131
/proc/meminfo: memFree=129274012/131382120 swapFree=33010416/33010684
[pid=75054] ppid=75045 vsize=18930384 memory=51560 CPUtime=0.27 cores=0,2
/proc/75054/stat : 75054 (java) S 75045 75054 74994 0 -1 4194304 6064 0 97 0 22 5 0 0 20 0 18 0 70673675 19384713216 12890 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
/proc/75054/statm: 4732596 12890 5307 1 0 547218 0
[pid=75054/tid=75065] ppid=75045 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=0,2
/proc/75054/task/75065/stat : 75065 (java) R 75045 75054 74994 0 -1 4194368 4925 0 97 0 14 3 0 0 20 0 18 0 70673678 19384713216 12890 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75098] ppid=75045 vsize=18930384 memory=2576 CPUtime=0 cores=0,2
/proc/75054/task/75098/stat : 75098 (Finalizer) S 75045 75054 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70673683 19384713216 12890 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75129] ppid=75045 vsize=18930384 memory=54096036103158 CPUtime=0 cores=0,2
/proc/75054/task/75129/stat : 75129 (Common-Cleaner) S 75045 75054 74994 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 70673685 19384713216 12890 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51560 KiB
[startup+0.31473 s]*
/proc/loadavg: 1.02 2.36 2.87 10/320 75131
/proc/meminfo: memFree=129256696/131382120 swapFree=33010416/33010684
[pid=75054] ppid=75045 vsize=18930384 memory=58080 CPUtime=0.43 cores=0,2
/proc/75054/stat : 75054 (java) S 75045 75054 74994 0 -1 4194304 6622 0 97 0 37 6 0 0 20 0 18 0 70673675 19384713216 14520 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
/proc/75054/statm: 4732596 14520 5339 1 0 547697 0
[pid=75054/tid=75065] ppid=75045 vsize=18930384 memory=-6000919477018584936 CPUtime=0.26 cores=0,2
/proc/75054/task/75065/stat : 75065 (java) R 75045 75054 74994 0 -1 4194368 5096 0 97 0 22 4 0 0 20 0 18 0 70673678 19384713216 14520 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75098] ppid=75045 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/75054/task/75098/stat : 75098 (Finalizer) S 75045 75054 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70673683 19384713216 14552 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75129] ppid=75045 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/75054/task/75129/stat : 75129 (Common-Cleaner) S 75045 75054 74994 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 70673685 19384713216 14552 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58080 KiB
[startup+0.700332 s]
/proc/loadavg: 1.02 2.36 2.87 13/320 75131
/proc/meminfo: memFree=129236596/131382120 swapFree=33010416/33010684
[pid=75054] ppid=75045 vsize=18997300 memory=73384 CPUtime=1.12 cores=0,2
/proc/75054/stat : 75054 (java) S 75045 75054 74994 0 -1 4194304 8197 0 97 0 104 8 0 0 20 0 19 0 70673675 19453235200 18346 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
/proc/75054/statm: 4749325 18346 5435 1 0 548875 0
[pid=75054/tid=75065] ppid=75045 vsize=18997300 memory=17920 CPUtime=0.54 cores=0,2
/proc/75054/task/75065/stat : 75065 (java) R 75045 75054 74994 0 -1 4194368 5466 0 97 0 49 5 0 0 20 0 19 0 70673678 19453235200 18346 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75098] ppid=75045 vsize=18997300 memory=11264 CPUtime=0 cores=0,2
/proc/75054/task/75098/stat : 75098 (Finalizer) S 75045 75054 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70673683 19453235200 18346 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75129] ppid=75045 vsize=18997300 memory=3200 CPUtime=0 cores=0,2
/proc/75054/task/75129/stat : 75129 (Common-Cleaner) S 75045 75054 74994 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 70673685 19453235200 18346 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75132] ppid=75045 vsize=18997300 memory=4896 CPUtime=0 cores=0,2
/proc/75054/task/75132/stat : 75132 (Timer-0) S 75045 75054 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70673727 19453235200 18346 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18997300 KiB
Current children cumulated memory: 73384 KiB
[startup+1.50026 s]
/proc/loadavg: 1.02 2.36 2.87 10/324 75135
/proc/meminfo: memFree=129014976/131382120 swapFree=33010416/33010684
[pid=75054] ppid=75045 vsize=19063512 memory=183196 CPUtime=2.68 cores=0,2
/proc/75054/stat : 75054 (java) S 75045 75054 74994 0 -1 4194304 19886 0 97 0 254 14 0 0 20 0 20 0 70673675 19521036288 45799 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
/proc/75054/statm: 4765878 45799 5499 1 0 553748 0
[pid=75054/tid=75065] ppid=75045 vsize=19063512 memory=0 CPUtime=1.23 cores=0,2
/proc/75054/task/75065/stat : 75065 (java) R 75045 75054 74994 0 -1 4194368 6089 0 97 0 115 8 0 0 20 0 20 0 70673678 19521036288 45799 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75098] ppid=75045 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/75054/task/75098/stat : 75098 (Finalizer) S 75045 75054 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70673683 19521036288 45799 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75129] ppid=75045 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/75054/task/75129/stat : 75129 (Common-Cleaner) S 75045 75054 74994 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 70673685 19521036288 45799 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75132] ppid=75045 vsize=19063512 memory=4896 CPUtime=0 cores=0,2
/proc/75054/task/75132/stat : 75132 (Timer-0) S 75045 75054 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70673727 19521036288 45799 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 183196 KiB
[startup+3.10508 s]
/proc/loadavg: 1.02 2.36 2.87 9/328 75139
/proc/meminfo: memFree=127219404/131382120 swapFree=33010416/33010684
[pid=75054] ppid=75045 vsize=19063512 memory=828336 CPUtime=5.55 cores=0,2
/proc/75054/stat : 75054 (java) S 75045 75054 74994 0 -1 4194304 22474 0 97 0 525 30 0 0 20 0 20 0 70673675 19521036288 207084 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
/proc/75054/statm: 4765878 207084 5499 1 0 554067 0
[pid=75054/tid=75065] ppid=75045 vsize=19063512 memory=11264 CPUtime=2.77 cores=0,2
/proc/75054/task/75065/stat : 75065 (java) R 75045 75054 74994 0 -1 4194368 7107 0 97 0 254 23 0 0 20 0 20 0 70673678 19521036288 207084 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75098] ppid=75045 vsize=19063512 memory=-6000919485608519528 CPUtime=0 cores=0,2
/proc/75054/task/75098/stat : 75098 (Finalizer) S 75045 75054 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70673683 19521036288 207084 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75129] ppid=75045 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/75054/task/75129/stat : 75129 (Common-Cleaner) S 75045 75054 74994 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 70673685 19521036288 207084 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75132] ppid=75045 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/75054/task/75132/stat : 75132 (Timer-0) S 75045 75054 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70673727 19521036288 207084 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
Current children cumulated CPU time: 5.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 828336 KiB
[startup+6.30022 s]
/proc/loadavg: 1.26 2.39 2.88 7/328 75139
/proc/meminfo: memFree=123548376/131382120 swapFree=33010416/33010684
[pid=75054] ppid=75045 vsize=19063512 memory=1783888 CPUtime=9.26 cores=0,2
/proc/75054/stat : 75054 (java) S 75045 75054 74994 0 -1 4194304 24512 0 97 0 876 50 0 0 20 0 20 0 70673675 19521036288 445972 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
/proc/75054/statm: 4765878 445972 5499 1 0 694056 0
[pid=75054/tid=75065] ppid=75045 vsize=19063512 memory=0 CPUtime=5.9 cores=0,2
/proc/75054/task/75065/stat : 75065 (java) R 75045 75054 74994 0 -1 4194368 8187 0 97 0 548 42 0 0 20 0 20 0 70673678 19521036288 445972 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75098] ppid=75045 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/75054/task/75098/stat : 75098 (Finalizer) S 75045 75054 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70673683 19521036288 445972 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75129] ppid=75045 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/75054/task/75129/stat : 75129 (Common-Cleaner) S 75045 75054 74994 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 70673685 19521036288 445972 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75132] ppid=75045 vsize=19063512 memory=189384 CPUtime=0 cores=0,2
/proc/75054/task/75132/stat : 75132 (Timer-0) S 75045 75054 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70673727 19521036288 445972 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
Current children cumulated CPU time: 9.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1783888 KiB
[startup+12.7004 s]
/proc/loadavg: 1.48 2.42 2.88 6/327 75139
/proc/meminfo: memFree=121189808/131382120 swapFree=33010416/33010684
[pid=75054] ppid=75045 vsize=19063512 memory=1784016 CPUtime=16.49 cores=0,2
/proc/75054/stat : 75054 (java) S 75045 75054 74994 0 -1 4194304 24988 0 97 0 1598 51 0 0 20 0 20 0 70673675 19521036288 446004 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
/proc/75054/statm: 4765878 446004 5499 1 0 694056 0
[pid=75054/tid=75065] ppid=75045 vsize=19063512 memory=189384 CPUtime=12.09 cores=0,2
/proc/75054/task/75065/stat : 75065 (java) R 75045 75054 74994 0 -1 4194368 8572 0 97 0 1167 42 0 0 20 0 20 0 70673678 19521036288 446004 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75098] ppid=75045 vsize=19063512 memory=1784016 CPUtime=0 cores=0,2
/proc/75054/task/75098/stat : 75098 (Finalizer) S 75045 75054 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70673683 19521036288 446004 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75129] ppid=75045 vsize=19063512 memory=1784016 CPUtime=0 cores=0,2
/proc/75054/task/75129/stat : 75129 (Common-Cleaner) S 75045 75054 74994 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 70673685 19521036288 446004 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75132] ppid=75045 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/75054/task/75132/stat : 75132 (Timer-0) S 75045 75054 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70673727 19521036288 446004 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
Current children cumulated CPU time: 16.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1784016 KiB
[startup+25.5003 s]
/proc/loadavg: 2.04 2.50 2.90 6/327 75139
/proc/meminfo: memFree=118871816/131382120 swapFree=33010416/33010684
[pid=75054] ppid=75045 vsize=19063512 memory=2415304 CPUtime=29.98 cores=0,2
/proc/75054/stat : 75054 (java) S 75045 75054 74994 0 -1 4194304 34827 0 97 0 2932 66 0 0 20 0 20 0 70673675 19521036288 603826 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
/proc/75054/statm: 4765878 603826 5499 1 0 855320 0
[pid=75054/tid=75065] ppid=75045 vsize=19063512 memory=1784016 CPUtime=24.34 cores=0,2
/proc/75054/task/75065/stat : 75065 (java) R 75045 75054 74994 0 -1 4194368 10946 0 97 0 2379 55 0 0 20 0 20 0 70673678 19521036288 603826 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75098] ppid=75045 vsize=19063512 memory=2415304 CPUtime=0 cores=0,2
/proc/75054/task/75098/stat : 75098 (Finalizer) S 75045 75054 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70673683 19521036288 603826 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75129] ppid=75045 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/75054/task/75129/stat : 75129 (Common-Cleaner) S 75045 75054 74994 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 70673685 19521036288 603826 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75132] ppid=75045 vsize=19063512 memory=2415304 CPUtime=0 cores=0,2
/proc/75054/task/75132/stat : 75132 (Timer-0) S 75045 75054 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70673727 19521036288 603826 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
Current children cumulated CPU time: 29.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2415304 KiB
[startup+51.1132 s]
/proc/loadavg: 2.77 2.63 2.94 6/328 75141
/proc/meminfo: memFree=117944992/131382120 swapFree=33010416/33010684
[pid=75054] ppid=75045 vsize=19063512 memory=2936872 CPUtime=55.63 cores=0,2
/proc/75054/stat : 75054 (java) S 75045 75054 74994 0 -1 4194304 39178 0 97 0 5483 80 0 0 20 0 20 0 70673675 19521036288 734218 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
/proc/75054/statm: 4765878 734218 5499 1 0 984833 0
[pid=75054/tid=75065] ppid=75045 vsize=19063512 memory=2934816 CPUtime=49.16 cores=0,2
/proc/75054/task/75065/stat : 75065 (java) R 75045 75054 74994 0 -1 4194368 13608 0 97 0 4849 67 0 0 20 0 20 0 70673678 19521036288 734218 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75098] ppid=75045 vsize=19063512 memory=2932760 CPUtime=0 cores=0,2
/proc/75054/task/75098/stat : 75098 (Finalizer) S 75045 75054 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70673683 19521036288 734218 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75129] ppid=75045 vsize=19063512 memory=2888 CPUtime=0 cores=0,2
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.40 4.43 4.37 6/330 75301
/proc/meminfo: memFree=111479736/131382120 swapFree=33010416/33010684
[pid=75054] ppid=75045 vsize=19130076 memory=3323528 CPUtime=3239.03 cores=0,2
/proc/75054/stat : 75054 (java) S 75045 75054 74994 0 -1 4194304 112022 0 97 0 323639 264 0 0 20 0 21 0 70673675 19589197824 830882 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
/proc/75054/statm: 4782519 830882 5499 1 0 986035 0
[pid=75054/tid=75065] ppid=75045 vsize=19130076 memory=3319392 CPUtime=3027.61 cores=0,2
/proc/75054/task/75065/stat : 75065 (java) R 75045 75054 74994 0 -1 4194368 60784 0 97 0 302680 81 0 0 20 0 21 0 70673678 19589197824 830882 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75098] ppid=75045 vsize=19130076 memory=3315292 CPUtime=0 cores=0,2
/proc/75054/task/75098/stat : 75098 (Finalizer) S 75045 75054 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673683 19589197824 830882 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75129] ppid=75045 vsize=19130076 memory=3321480 CPUtime=0 cores=0,2
/proc/75054/task/75129/stat : 75129 (Common-Cleaner) S 75045 75054 74994 0 -1 4194368 1955 0 0 0 0 0 0 0 20 0 21 0 70673685 19589197824 830882 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75132] ppid=75045 vsize=19130076 memory=6452091060527850816 CPUtime=0 cores=0,2
/proc/75054/task/75132/stat : 75132 (Timer-0) S 75045 75054 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673727 19589197824 830882 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
Current children cumulated CPU time: 3239.03 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3323528 KiB
[startup+3162.3 s]
/proc/loadavg: 4.51 4.45 4.39 6/330 75303
/proc/meminfo: memFree=111471744/131382120 swapFree=33010416/33010684
[pid=75054] ppid=75045 vsize=19130076 memory=3327728 CPUtime=3302.98 cores=0,2
/proc/75054/stat : 75054 (java) S 75045 75054 74994 0 -1 4194304 113269 0 97 0 330030 268 0 0 20 0 21 0 70673675 19589197824 831932 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
/proc/75054/statm: 4782519 831932 5499 1 0 986037 0
[pid=75054/tid=75065] ppid=75045 vsize=19130076 memory=3315292 CPUtime=3086.19 cores=0,2
/proc/75054/task/75065/stat : 75065 (java) R 75045 75054 74994 0 -1 4194368 61895 0 97 0 308537 82 0 0 20 0 21 0 70673678 19589197824 831932 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75098] ppid=75045 vsize=19130076 memory=3325672 CPUtime=0 cores=0,2
/proc/75054/task/75098/stat : 75098 (Finalizer) S 75045 75054 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673683 19589197824 831932 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75129] ppid=75045 vsize=19130076 memory=14464 CPUtime=0 cores=0,2
/proc/75054/task/75129/stat : 75129 (Common-Cleaner) S 75045 75054 74994 0 -1 4194368 1955 0 0 0 0 0 0 0 20 0 21 0 70673685 19589197824 831932 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75132] ppid=75045 vsize=19130076 memory=6452091060527850816 CPUtime=0 cores=0,2
/proc/75054/task/75132/stat : 75132 (Timer-0) S 75045 75054 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673727 19589197824 831932 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
Current children cumulated CPU time: 3302.98 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3327728 KiB
[startup+3222.3 s]
/proc/loadavg: 4.59 4.48 4.40 6/331 75306
/proc/meminfo: memFree=111455624/131382120 swapFree=33010416/33010684
[pid=75054] ppid=75045 vsize=19130076 memory=3329776 CPUtime=3367.29 cores=0,2
/proc/75054/stat : 75054 (java) S 75045 75054 74994 0 -1 4194304 113622 0 97 0 336459 270 0 0 20 0 21 0 70673675 19589197824 832444 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
/proc/75054/statm: 4782519 832444 5499 1 0 986077 0
[pid=75054/tid=75065] ppid=75045 vsize=19130076 memory=14464 CPUtime=3144.53 cores=0,2
/proc/75054/task/75065/stat : 75065 (java) R 75045 75054 74994 0 -1 4194368 62131 0 97 0 314371 82 0 0 20 0 21 0 70673678 19589197824 832444 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75098] ppid=75045 vsize=19130076 memory=3329776 CPUtime=0 cores=0,2
/proc/75054/task/75098/stat : 75098 (Finalizer) S 75045 75054 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673683 19589197824 832444 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75129] ppid=75045 vsize=19130076 memory=3329776 CPUtime=0 cores=0,2
/proc/75054/task/75129/stat : 75129 (Common-Cleaner) S 75045 75054 74994 0 -1 4194368 2034 0 0 0 0 0 0 0 20 0 21 0 70673685 19589197824 832444 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75132] ppid=75045 vsize=19130076 memory=3329776 CPUtime=0 cores=0,2
/proc/75054/task/75132/stat : 75132 (Timer-0) S 75045 75054 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673727 19589197824 832444 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
Current children cumulated CPU time: 3367.29 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3329776 KiB
[startup+3282.3 s]
/proc/loadavg: 4.54 4.48 4.40 7/331 75308
/proc/meminfo: memFree=111438228/131382120 swapFree=33010416/33010684
[pid=75054] ppid=75045 vsize=19130076 memory=3336060 CPUtime=3431.57 cores=0,2
/proc/75054/stat : 75054 (java) S 75045 75054 74994 0 -1 4194304 115138 0 97 0 342883 274 0 0 20 0 21 0 70673675 19589197824 834015 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
/proc/75054/statm: 4782519 834015 5499 1 0 986077 0
[pid=75054/tid=75065] ppid=75045 vsize=19130076 memory=4252 CPUtime=3202.95 cores=0,2
/proc/75054/task/75065/stat : 75065 (java) R 75045 75054 74994 0 -1 4194368 63551 0 97 0 320213 82 0 0 20 0 21 0 70673678 19589197824 834015 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75098] ppid=75045 vsize=19130076 memory=3334012 CPUtime=0 cores=0,2
/proc/75054/task/75098/stat : 75098 (Finalizer) S 75045 75054 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673683 19589197824 834015 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75129] ppid=75045 vsize=19130076 memory=3334012 CPUtime=0 cores=0,2
/proc/75054/task/75129/stat : 75129 (Common-Cleaner) S 75045 75054 74994 0 -1 4194368 2034 0 0 0 0 0 0 0 20 0 21 0 70673685 19589197824 834015 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75132] ppid=75045 vsize=19130076 memory=3336060 CPUtime=0 cores=0,2
/proc/75054/task/75132/stat : 75132 (Timer-0) S 75045 75054 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673727 19589197824 834015 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
Current children cumulated CPU time: 3431.57 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3336060 KiB
[startup+3342.3 s]
/proc/loadavg: 4.58 4.50 4.41 6/330 75313
/proc/meminfo: memFree=111429784/131382120 swapFree=33010416/33010684
[pid=75054] ppid=75045 vsize=19130076 memory=3340160 CPUtime=3495.78 cores=0,2
/proc/75054/stat : 75054 (java) S 75045 75054 74994 0 -1 4194304 116731 0 97 0 349300 278 0 0 20 0 21 0 70673675 19589197824 835040 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
/proc/75054/statm: 4782519 835040 5499 1 0 986077 0
[pid=75054/tid=75065] ppid=75045 vsize=19130076 memory=1792 CPUtime=3261.49 cores=0,2
/proc/75054/task/75065/stat : 75065 (java) R 75045 75054 74994 0 -1 4194368 64932 0 97 0 326066 83 0 0 20 0 21 0 70673678 19589197824 835040 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75098] ppid=75045 vsize=19130076 memory=3336060 CPUtime=0 cores=0,2
/proc/75054/task/75098/stat : 75098 (Finalizer) S 75045 75054 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673683 19589197824 835040 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75129] ppid=75045 vsize=19130076 memory=3338108 CPUtime=0 cores=0,2
/proc/75054/task/75129/stat : 75129 (Common-Cleaner) S 75045 75054 74994 0 -1 4194368 2068 0 0 0 0 0 0 0 20 0 21 0 70673685 19589197824 835040 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75132] ppid=75045 vsize=19130076 memory=3338108 CPUtime=0 cores=0,2
/proc/75054/task/75132/stat : 75132 (Timer-0) S 75045 75054 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673727 19589197824 835040 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
Current children cumulated CPU time: 3495.78 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3340160 KiB
[startup+3402.3 s]
/proc/loadavg: 4.47 4.48 4.41 6/330 75383
/proc/meminfo: memFree=113781636/131382120 swapFree=33010416/33010684
[pid=75054] ppid=75045 vsize=19130076 memory=3344276 CPUtime=3560.09 cores=0,2
/proc/75054/stat : 75054 (java) S 75045 75054 74994 0 -1 4194304 116905 0 97 0 355728 281 0 0 20 0 21 0 70673675 19589197824 836069 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
/proc/75054/statm: 4782519 836069 5499 1 0 986084 0
[pid=75054/tid=75065] ppid=75045 vsize=19130076 memory=3338108 CPUtime=3319.91 cores=0,2
/proc/75054/task/75065/stat : 75065 (java) R 75045 75054 74994 0 -1 4194368 64983 0 97 0 331908 83 0 0 20 0 21 0 70673678 19589197824 836069 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75098] ppid=75045 vsize=19130076 memory=17920 CPUtime=0 cores=0,2
/proc/75054/task/75098/stat : 75098 (Finalizer) S 75045 75054 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673683 19589197824 836069 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75129] ppid=75045 vsize=19130076 memory=3342216 CPUtime=0 cores=0,2
/proc/75054/task/75129/stat : 75129 (Common-Cleaner) S 75045 75054 74994 0 -1 4194368 2148 0 0 0 0 0 0 0 20 0 21 0 70673685 19589197824 836069 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75132] ppid=75045 vsize=19130076 memory=3344276 CPUtime=0 cores=0,2
/proc/75054/task/75132/stat : 75132 (Timer-0) S 75045 75054 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673727 19589197824 836069 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
Current children cumulated CPU time: 3560.09 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3344276 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3439.6 s]
/proc/loadavg: 4.40 4.46 4.41 7/330 75385
/proc/meminfo: memFree=113596996/131382120 swapFree=33010416/33010684
[pid=75054] ppid=75045 vsize=19130076 memory=3346336 CPUtime=3600.02 cores=0,2
/proc/75054/stat : 75054 (java) S 75045 75054 74994 0 -1 4194304 116936 0 97 0 359719 283 0 0 20 0 21 0 70673675 19589197824 836584 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
/proc/75054/statm: 4782519 836584 5499 1 0 986084 0
[pid=75054/tid=75065] ppid=75045 vsize=19130076 memory=2888 CPUtime=3356.34 cores=0,2
/proc/75054/task/75065/stat : 75065 (java) R 75045 75054 74994 0 -1 4194368 65007 0 97 0 335551 83 0 0 20 0 21 0 70673678 19589197824 836584 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75098] ppid=75045 vsize=19130076 memory=19968 CPUtime=0 cores=0,2
/proc/75054/task/75098/stat : 75098 (Finalizer) S 75045 75054 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673683 19589197824 836584 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75129] ppid=75045 vsize=19130076 memory=4352 CPUtime=0 cores=0,2
/proc/75054/task/75129/stat : 75129 (Common-Cleaner) S 75045 75054 74994 0 -1 4194368 2148 0 0 0 0 0 0 0 20 0 21 0 70673685 19589197824 836584 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75132] ppid=75045 vsize=19130076 memory=1792 CPUtime=0 cores=0,2
/proc/75054/task/75132/stat : 75132 (Timer-0) S 75045 75054 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673727 19589197824 836584 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3346336 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3439.86 s]
# the end of solver process 75054 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.64 s, system=2.86384 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3439.8 s]
/proc/loadavg: 4.40 4.46 4.41 7/330 75385
/proc/meminfo: memFree=113596996/131382120 swapFree=33010416/33010684
[pid=75054] ppid=75045 vsize=19329768 memory=3347232 CPUtime=3600.41 cores=0,2
/proc/75054/stat : 75054 (java) S 75045 75054 74994 0 -1 4194304 119299 0 97 0 359757 284 0 0 20 0 22 0 70673675 19793682432 836808 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
/proc/75054/statm: 4832442 836808 5531 1 0 987003 0
[pid=75054/tid=75065] ppid=75045 vsize=19329768 memory=5504 CPUtime=3356.54 cores=0,2
/proc/75054/task/75065/stat : 75065 (java) R 75045 75054 74994 0 -1 4194368 65077 0 97 0 335571 83 0 0 20 0 22 0 70673678 19793682432 836808 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75098] ppid=75045 vsize=19329768 memory=4252 CPUtime=0 cores=0,2
/proc/75054/task/75098/stat : 75098 (Finalizer) S 75045 75054 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 22 0 70673683 19793682432 836808 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
[pid=75054/tid=75129] ppid=75045 vsize=19329768 memory=3200 CPUtime=0 cores=0,2
/proc/75054/task/75129/stat : 75129 (Common-Cleaner) S 75045 75054 74994 0 -1 4194368 2148 0 0 0 0 0 0 0 20 0 22 0 70673685 19793682432 836808 18446744073709551615 94362419945472 94362419949168 140728213732832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94362419956984 94362419957776 94362442698752 140728213735806 140728213735910 140728213735910 140728213741512 0
Current children cumulated CPU time: 3600.41 s
Current children cumulated vsize: 19329768 KiB
Current children cumulated memory: 3347232 KiB
Child status: 143
Real time (s): 3439.86
CPU time (s): 3600.51
CPU user time (s): 3597.64
CPU system time (s): 2.86384
CPU usage (%): 104.67
Max. virtual memory (cumulated for all children) (KiB): 19329768
Max. memory (cumulated for all children) (KiB): 3347232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.64
system time used= 2.86384
maximum resident set size= 3347488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119579
page faults= 97
swaps= 0
block input operations= 0
block output operations= 3632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 130880
involuntary context switches= 24534
# summary of solver processes directly reported to runsolver:
# pid: 75054
# total CPU time (s): 3600.51
# total CPU user time (s): 3597.64
# total CPU system time (s): 2.86384
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1931 second user time and 35.5794 second system time
The end
Begin job on nodeC002 at 2025-07-03 15:39:09 IDJOB=4518416 IDBENCH=177047 IDSOLVER=3361 FILE ID=nodeC002/4518416-1751549948 RUNJOBID= nodeC002-1751549948-75004 SLURM_JOB_ID= 9598727 Free space on /tmp= 432692 MiB SOLVER NAME= Sat4j CP 2025-06-06 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/linear/normalized-evencolouring_opt_linear_random6regular_nvert_021.opb COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518416-1751549948/watcher-4518416-1751549948 -o /tmp/evaluation-result-4518416-1751549948/solver-4518416-1751549948 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751549948-75004 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4518416-1751549948.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 13aa29e786187b82093ba5acc80c7659 RANDOM SEED=278124886 nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 1197.363 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 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 : 1196.917 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 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.411 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 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.228 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.513 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 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 : 1197.207 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 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.141 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.223 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 129359996 kB MemAvailable: 129933116 kB Buffers: 2128 kB Cached: 1378716 kB SwapCached: 28 kB Active: 368748 kB Inactive: 1075644 kB Active(anon): 75076 kB Inactive(anon): 6404 kB Active(file): 293672 kB Inactive(file): 1069240 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 2600 kB Writeback: 0 kB AnonPages: 66812 kB Mapped: 102976 kB Shmem: 17932 kB KReclaimable: 99668 kB Slab: 183928 kB SReclaimable: 99668 kB SUnreclaim: 84260 kB KernelStack: 3664 kB PageTables: 2688 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 330128 kB VmallocTotal: 34359738367 kB VmallocUsed: 149272 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 181064 kB DirectMap2M: 8110080 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432688 MiB End job on nodeC002 at 2025-07-03 16:36:29