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) | 189 | 3600.21 | 3577.29 |
| Name | PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=29-P1=61-P2=43-P3=131-P4=2-P5=59-P6=41-B.opb |
| MD5SUM | 47701c69f54c2f86b170fe57c52dc681 |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 0.022746 |
| 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 | 144 |
| Total number of constraints | 13 |
| 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 | 13 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 32768 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 130560 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 384 |
| Sum of products size (including duplicates) | 768 |
| Number of different products | 384 |
| Sum of products size | 768 |
0.08/0.81 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.08/0.81 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.81 c See www.sat4j.org for details. 0.08/0.86 c version PB25.v20250606 0.08/0.87 c java.runtime.name OpenJDK Runtime Environment 0.08/0.87 c java.vm.name OpenJDK 64-Bit Server VM 0.08/0.87 c java.vm.version 22.0.1+8-16 0.08/0.87 c java.vm.vendor Oracle Corporation 0.08/0.87 c sun.arch.data.model 64 0.08/0.87 c java.version 22.0.1 0.08/0.87 c os.name Linux 0.08/0.87 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.08/0.87 c os.arch amd64 0.08/0.87 c Free memory 2104792832 0.08/0.87 c Max memory 16282288128 0.08/0.87 c Total memory 2113929216 0.08/0.88 c Number of processors 2 0.15/0.97 c Pseudo Boolean Optimization by upper bound 0.15/0.97 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.15/0.97 c - never skip resolution steps 0.15/0.97 c - Auto-division on coefficients is disabled 0.15/0.97 c - No postprocessing 0.15/0.97 c - Conflict is considered as is when resolving 0.15/0.97 c - Use constraints as they come during conflict analysis 0.15/0.97 c - Weaken first using unassigned literals 0.15/0.97 c - Bump strategy: ALWAYS_ONE 0.15/0.97 c - Bumper: ANY 0.15/0.97 c --- Begin Solver configuration --- 0.15/0.97 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5cbc508c 0.15/0.97 c Learn all clauses as in MiniSAT 0.15/0.97 c LOGGER=java.util.logging.Logger@68fb2c38 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.15/0.97 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.15/0.97 c No reason simplification 0.15/0.97 c Armin Biere (Picosat) restarts strategy 0.15/0.97 c Activity based learned constraints deletion strategy with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.15/0.97 c timeout=2147483s 0.15/0.97 c DB Simplification allowed=false 0.15/0.97 c Listener: none 0.15/0.97 c --- End Solver configuration --- 0.15/0.97 c solving HOME/instance-4498059-1751272939.opb 0.15/0.97 c reading problem ... 0.15/0.97 c objective function found 0.28/1.02 c ... done. Wall clock time 0.04s. 0.28/1.02 c declared #vars 144 0.28/1.02 c internal #vars 528 0.28/1.02 c #constraints 787 0.28/1.02 c constraints type 0.28/1.02 c org.sat4j.pb.constraints.pb.MaxWatchPb => 403 0.28/1.02 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 384 0.28/1.02 c 787 constraints processed. 0.28/1.03 c objective function length is 8 literals 10.89/9.51 c cleaning 2498 clauses out of 5000 30.55/28.77 c cleaning 4245 clauses out of 8502 35.73/33.88 c SATISFIABLE 35.73/33.88 c OPTIMIZING... 35.73/33.88 c Got one! Elapsed wall clock time (in seconds):32.911 35.73/33.88 o 243 63.94/61.83 c cleaning 5619 clauses out of 11258 115.77/113.21 c cleaning 6814 clauses out of 13639 221.49/218.44 c cleaning 7906 clauses out of 15825 353.09/349.27 c cleaning 8951 clauses out of 17918 431.96/427.55 c Got one! Elapsed wall clock time (in seconds):426.574 431.96/427.55 o 221 549.22/544.36 c cleaning 9980 clauses out of 19968 822.67/817.00 c cleaning 10971 clauses out of 21987 1076.69/1068.55 c cleaning 12003 clauses out of 24017 1521.94/1511.96 c cleaning 12985 clauses out of 26014 1566.20/1555.77 c Got one! Elapsed wall clock time (in seconds):1554.797 1566.20/1555.77 o 189 2392.42/2378.67 c cleaning 14009 clauses out of 28030 3513.12/3490.62 c cleaning 14995 clauses out of 30019 3600.05/3577.21 c starts : 105 3600.05/3577.23 c conflicts : 128062 3600.05/3577.23 c decisions : 135386 3600.05/3577.23 c propagations : 1762565 3600.05/3577.23 c inspects : 5065708204 3600.05/3577.23 c shortcuts : 0 3600.05/3577.23 c learnt literals : 0 3600.05/3577.23 c learnt binary clauses : 0 3600.05/3577.23 c learnt ternary clauses : 0 3600.05/3577.24 c learnt constraints : 128061 3600.05/3577.24 c ignored constraints : 0 3600.05/3577.24 c root simplifications : 0 3600.05/3577.24 c removed literals (reason simplification) : 0 3600.05/3577.24 c reason swapping (by a shorter reason) : 0 3600.05/3577.24 c Calls to reduceDB : 12 3600.05/3577.24 c Number of update (reduction) of LBD : 0 3600.05/3577.24 c Imported unit clauses : 0 3600.05/3577.24 c No decision after first conflict : false 3600.05/3577.24 c number of reductions to clauses (during analyze) : 0 3600.05/3577.24 c number of learned constraints concerned by reduction : 0 3600.05/3577.24 c number of learning phase by resolution : 0 3600.05/3577.24 c number of learning phase by cutting planes : 0 3600.05/3577.24 c number of rounding to 1 operations : 0 3600.05/3577.24 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.05/3577.24 c number of reductions of the coefficients by power 2 : 0 3600.05/3577.24 c number of right shift for reduction by power 2 : 0 3600.05/3577.24 c number of reductions of the coefficients by GCD over coefficients : 0 3600.05/3577.24 c number of ending skipping : 0 3600.05/3577.24 c number of internal skipping : 0 3600.05/3577.24 c number of derivation steps : 1422119 3600.05/3577.24 c number of skipped derivation steps : 0 3600.05/3577.24 c number of remaining unassigned : 95346 3600.05/3577.24 c number of remaining assigned : 36148476 3600.05/3577.24 c number of falsified literals weakened from reason : 0 3600.05/3577.24 c number of falsified literals weakened from conflict : 0 3600.05/3577.24 c time for arithmetic operations : 13880664143 3600.05/3577.24 c minimum degree of deleted constraints : null 3600.05/3577.25 c maximum degree of deleted constraints : null 3600.05/3577.25 c number of deleted constraints : 0 3600.05/3577.25 c speed (assignments/second) : 492.8567074415402 3600.05/3577.25 c non guided choices : 1438 3600.05/3577.27 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 56 3600.05/3577.27 c learnt constraints type org.sat4j.pb.constraints.pb.MaxWatchPb : 17029 3600.05/3577.27 s SATISFIABLE 3600.05/3577.27 c Found 3 solution(s) 3600.05/3577.27 v x1 -x2 x3 x4 x5 x6 -x7 x8 x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 x18 x19 x20 x21 -x22 x23 -x24 x25 -x26 -x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 -x38 -x39 x40 -x41 x42 -x43 -x44 x45 x46 x47 -x48 x49 -x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 -x60 x61 x62 -x63 -x64 x65 -x66 -x67 x68 -x69 x70 x71 -x72 x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 x81 x82 x83 x84 x85 x86 x87 -x88 -x89 x90 x91 x92 -x93 -x94 -x95 x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 x109 -x110 -x111 -x112 -x113 x114 x115 -x116 -x117 x118 x119 -x120 -x121 -x122 x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 x133 x134 -x135 -x136 -x137 -x138 x139 x140 -x141 -x142 -x143 x144 3600.05/3577.27 c objective function=189 3600.05/3577.27 c Total wall clock time (in seconds): 3576.298
OK 189
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: 63708 MiB (62893 MiB free)
memory of node 1: 64465 MiB (63701 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498059-1751272939/watcher-4498059-1751272939 -o /tmp/evaluation-result-4498059-1751272939/solver-4498059-1751272939 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751272939-38560 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4498059-1751272939.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=38610, runsolver pid=38601
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 1.11 1.23 1.85 1/263 38619
/proc/meminfo: memFree=129633204/131250000 swapFree=33010684/33010684
[pid=38610] ppid=38601 vsize=24024 memory=1792 CPUtime=0 cores=4,6
/proc/38610/stat : 38610 (java) D 38601 38610 37963 0 -1 4194304 148 0 4 0 0 0 0 0 20 0 1 0 42970489 24600576 448 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 0 0 0 1 0 0 17 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
/proc/38610/statm: 6006 448 416 1 0 462 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 24024 KiB
Current children cumulated memory: 1792 KiB
[startup+0.204464 s]*
/proc/loadavg: 1.11 1.23 1.85 1/263 38619
/proc/meminfo: memFree=129632964/131250000 swapFree=33010684/33010684
[pid=38610] ppid=38601 vsize=24960 memory=2560 CPUtime=0 cores=4,6
/proc/38610/stat : 38610 (java) D 38601 38610 37963 0 -1 4194304 195 0 14 0 0 0 0 0 20 0 1 0 42970489 25559040 640 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 0 0 0 1 0 0 17 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
/proc/38610/statm: 6240 640 576 1 0 464 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 24960 KiB
Current children cumulated memory: 2560 KiB
[startup+0.304338 s]*
/proc/loadavg: 1.11 1.23 1.85 1/265 38621
/proc/meminfo: memFree=129629184/131250000 swapFree=33010684/33010684
[pid=38610] ppid=38601 vsize=24960 memory=6656 CPUtime=0 cores=4,6
/proc/38610/stat : 38610 (java) D 38601 38610 37963 0 -1 4194304 515 0 60 0 0 0 0 0 20 0 1 0 42970489 25559040 1664 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 0 0 0 1 0 0 17 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
/proc/38610/statm: 6240 1664 1344 1 0 259 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 24960 KiB
Current children cumulated memory: 6656 KiB
[startup+0.700133 s]
/proc/loadavg: 1.11 1.23 1.85 1/290 38646
/proc/meminfo: memFree=129607952/131250000 swapFree=33010684/33010684
[pid=38610] ppid=38601 vsize=18930384 memory=48936 CPUtime=0.05 cores=4,6
/proc/38610/stat : 38610 (java) S 38601 38610 37963 0 -1 4194304 5537 0 402 0 3 2 0 0 20 0 18 0 42970489 19384713216 12234 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
/proc/38610/statm: 4732596 12234 5017 1 0 546941 0
[pid=38610/tid=38624] ppid=38601 vsize=18930384 memory=10752 CPUtime=0.02 cores=4,6
/proc/38610/task/38624/stat : 38624 (java) D 38601 38610 37963 0 -1 4194368 4426 0 292 0 1 1 0 0 20 0 18 0 42970521 19384713216 12234 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48936 KiB
[startup+1.50023 s]
/proc/loadavg: 1.11 1.23 1.85 12/334 38690
/proc/meminfo: memFree=129492944/131250000 swapFree=33010684/33010684
[pid=38610] ppid=38601 vsize=19063512 memory=161528 CPUtime=1.24 cores=4,6
/proc/38610/stat : 38610 (java) S 38601 38610 37963 0 -1 4194304 10355 0 416 0 118 6 0 0 20 0 20 0 42970489 19521036288 40382 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
/proc/38610/statm: 4765878 40382 5465 1 0 550311 0
[pid=38610/tid=38624] ppid=38601 vsize=19063512 memory=10752 CPUtime=0.56 cores=4,6
/proc/38610/task/38624/stat : 38624 (java) R 38601 38610 37963 0 -1 4194368 5377 0 305 0 52 4 0 0 20 0 20 0 42970521 19521036288 40382 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38658] ppid=38601 vsize=19063512 memory=14248 CPUtime=0 cores=4,6
/proc/38610/task/38658/stat : 38658 (Finalizer) S 38601 38610 37963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 42970547 19521036288 40382 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38687] ppid=38601 vsize=19063512 memory=18176 CPUtime=0 cores=4,6
/proc/38610/task/38687/stat : 38687 (Common-Cleaner) S 38601 38610 37963 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 42970552 19521036288 40382 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 161528 KiB
[startup+3.10547 s]
/proc/loadavg: 1.43 1.30 1.87 8/339 38825
/proc/meminfo: memFree=127909140/131250000 swapFree=33010684/33010684
[pid=38610] ppid=38601 vsize=19063512 memory=965572 CPUtime=4.18 cores=4,6
/proc/38610/stat : 38610 (java) S 38601 38610 37963 0 -1 4194304 21647 0 416 0 391 27 0 0 20 0 20 0 42970489 19521036288 241393 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
/proc/38610/statm: 4765878 241393 5465 1 0 553513 0
[pid=38610/tid=38624] ppid=38601 vsize=19063512 memory=14248 CPUtime=2.09 cores=4,6
/proc/38610/task/38624/stat : 38624 (java) R 38601 38610 37963 0 -1 4194368 6692 0 305 0 187 22 0 0 20 0 20 0 42970521 19521036288 241393 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38658] ppid=38601 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/38610/task/38658/stat : 38658 (Finalizer) S 38601 38610 37963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 42970547 19521036288 241393 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38687] ppid=38601 vsize=19063512 memory=-6000919502855103596 CPUtime=0 cores=4,6
/proc/38610/task/38687/stat : 38687 (Common-Cleaner) S 38601 38610 37963 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 42970552 19521036288 241393 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38694] ppid=38601 vsize=19063512 memory=245635481903 CPUtime=0 cores=4,6
/proc/38610/task/38694/stat : 38694 (Timer-0) S 38601 38610 37963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42970592 19521036288 241393 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
Current children cumulated CPU time: 4.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 965572 KiB
[startup+6.30024 s]
/proc/loadavg: 1.43 1.30 1.87 6/342 38894
/proc/meminfo: memFree=127163928/131250000 swapFree=33010684/33010684
[pid=38610] ppid=38601 vsize=19063512 memory=1030820 CPUtime=7.49 cores=4,6
/proc/38610/stat : 38610 (java) S 38601 38610 37963 0 -1 4194304 22945 0 416 0 717 32 0 0 20 0 20 0 42970489 19521036288 257705 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
/proc/38610/statm: 4765878 257705 5465 1 0 553514 0
[pid=38610/tid=38624] ppid=38601 vsize=19063512 memory=0 CPUtime=5.22 cores=4,6
/proc/38610/task/38624/stat : 38624 (java) R 38601 38610 37963 0 -1 4194368 6748 0 305 0 496 26 0 0 20 0 20 0 42970521 19521036288 257705 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38658] ppid=38601 vsize=19063512 memory=14248 CPUtime=0 cores=4,6
/proc/38610/task/38658/stat : 38658 (Finalizer) S 38601 38610 37963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 42970547 19521036288 257705 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38687] ppid=38601 vsize=19063512 memory=482108 CPUtime=0 cores=4,6
/proc/38610/task/38687/stat : 38687 (Common-Cleaner) S 38601 38610 37963 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 42970552 19521036288 257705 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38694] ppid=38601 vsize=19063512 memory=171512 CPUtime=0 cores=4,6
/proc/38610/task/38694/stat : 38694 (Timer-0) S 38601 38610 37963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42970592 19521036288 257705 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
Current children cumulated CPU time: 7.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1030820 KiB
[startup+12.7002 s]
/proc/loadavg: 1.97 1.42 1.90 5/342 38894
/proc/meminfo: memFree=124264356/131250000 swapFree=33010684/33010684
[pid=38610] ppid=38601 vsize=19063512 memory=1330720 CPUtime=14.34 cores=4,6
/proc/38610/stat : 38610 (java) S 38601 38610 37963 0 -1 4194304 34319 0 416 0 1395 39 0 0 20 0 20 0 42970489 19521036288 332680 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
/proc/38610/statm: 4765878 332680 5465 1 0 555207 0
[pid=38610/tid=38624] ppid=38601 vsize=19063512 memory=3200 CPUtime=11.46 cores=4,6
/proc/38610/task/38624/stat : 38624 (java) R 38601 38610 37963 0 -1 4194368 7863 0 305 0 1116 30 0 0 20 0 20 0 42970521 19521036288 332680 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38658] ppid=38601 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/38610/task/38658/stat : 38658 (Finalizer) S 38601 38610 37963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 42970547 19521036288 332680 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38687] ppid=38601 vsize=19063512 memory=5148 CPUtime=0 cores=4,6
/proc/38610/task/38687/stat : 38687 (Common-Cleaner) S 38601 38610 37963 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 42970552 19521036288 332680 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38694] ppid=38601 vsize=19063512 memory=1035328 CPUtime=0 cores=4,6
/proc/38610/task/38694/stat : 38694 (Timer-0) S 38601 38610 37963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42970592 19521036288 332680 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
Current children cumulated CPU time: 14.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1330720 KiB
[startup+25.5002 s]
/proc/loadavg: 2.36 1.52 1.93 5/342 38894
/proc/meminfo: memFree=120919084/131250000 swapFree=33010684/33010684
[pid=38610] ppid=38601 vsize=19063512 memory=1349260 CPUtime=27.33 cores=4,6
/proc/38610/stat : 38610 (java) S 38601 38610 37963 0 -1 4194304 37136 0 416 0 2693 40 0 0 20 0 20 0 42970489 19521036288 337315 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
/proc/38610/statm: 4765878 337315 5465 1 0 555207 0
[pid=38610/tid=38624] ppid=38601 vsize=19063512 memory=1345160 CPUtime=23.93 cores=4,6
/proc/38610/task/38624/stat : 38624 (java) R 38601 38610 37963 0 -1 4194368 9106 0 305 0 2362 31 0 0 20 0 20 0 42970521 19521036288 337315 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38658] ppid=38601 vsize=19063512 memory=1345160 CPUtime=0 cores=4,6
/proc/38610/task/38658/stat : 38658 (Finalizer) S 38601 38610 37963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 42970547 19521036288 337315 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38687] ppid=38601 vsize=19063512 memory=14248 CPUtime=0 cores=4,6
/proc/38610/task/38687/stat : 38687 (Common-Cleaner) S 38601 38610 37963 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 42970552 19521036288 337315 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38694] ppid=38601 vsize=19063512 memory=18176 CPUtime=0 cores=4,6
/proc/38610/task/38694/stat : 38694 (Timer-0) S 38601 38610 37963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42970592 19521036288 337315 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
Current children cumulated CPU time: 27.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1349260 KiB
[startup+51.1056 s]
/proc/loadavg: 2.92 1.72 1.98 5/343 38896
/proc/meminfo: memFree=120351664/131250000 swapFree=33010684/33010684
[pid=38610] ppid=38601 vsize=19063512 memory=1800992 CPUtime=53.19 cores=4,6
/proc/38610/stat : 38610 (java) S 38601 38610 37963 0 -1 4194304 43807 0 416 0 5269 50 0 0 20 0 20 0 42970489 19521036288 450248 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
/proc/38610/statm: 4765878 450248 5465 1 0 661734 0
[pid=38610/tid=38624] ppid=38601 vsize=19063512 memory=1796888 CPUtime=49.07 cores=4,6
/proc/38610/task/38624/stat : 38624 (java) R 38601 38610 37963 0 -1 4194368 12402 0 305 0 4868 39 0 0 20 0 20 0 42970521 19521036288 450248 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38658] ppid=38601 vsize=19063512 memory=1796888 CPUtime=0 cores=4,6
/proc/38610/task/38658/stat : 38658 (Finalizer) S 38601 38610 37963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 42970547 19521036288 450248 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38687] ppid=38601 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/38610/task/38687/stat : 38687 (Common-Cleaner) S 38601 38610 37963 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 42970552 19521036288 450248 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38694] ppid=38601 vsize=19063512 memory=1788664 CPUtime=0 cores=4,6
/proc/38610/task/38694/stat : 38694 (Timer-0) S 38601 38610 37963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42970592 19521036288 450248 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
Current children cumulated CPU time: 53.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1800992 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 2.12 2.11 5/343 38898
/proc/meminfo: memFree=119955100/131250000 swapFree=33010684/33010684
[pid=38610] ppid=38601 vsize=19063512 memory=1854436 CPUtime=104.76 cores=4,6
/proc/38610/stat : 38610 (java) S 38601 38610 37963 0 -1 4194304 46903 0 416 0 10422 54 0 0 20 0 20 0 42970489 19521036288 463609 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
/proc/38610/statm: 4765878 463609 5465 1 0 661735 0
[pid=38610/tid=38624] ppid=38601 vsize=19063512 memory=1852380 CPUtime=99.34 cores=4,6
/proc/38610/task/38624/stat : 38624 (java) R 38601 38610 37963 0 -1 4194368 13934 0 305 0 9894 40 0 0 20 0 20 0 42970521 19521036288 463609 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38658] ppid=38601 vsize=19063512 memory=-6000919502855103596 CPUtime=0 cores=4,6
/proc/38610/task/38658/stat : 38658 (Finalizer) S 38601 38610 37963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 42970547 19521036288 463609 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38687] ppid=38601 vsize=19063512 memory=1846228 CPUtime=0 cores=4,6
/proc/38610/task/38687/stat : 38687 (Common-Cleaner) S 38601 38610 37963 0 -1 4194368 100 0 0 0 0 0 0 0 20 0 20 0 42970552 19521036288 463609 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38694] ppid=38601 vsize=19063512 memory=1842124 CPUtime=0 cores=4,6
/proc/38610/task/38694/stat : 38694 (Timer-0) S 38601 38610 37963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42970592 19521036288 463609 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
Current children cumulated CPU time: 104.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1854436 KiB
[startup+162.3 s]
################
# More data... #
################
/proc/meminfo: memFree=115010648/131250000 swapFree=33010684/33010684
[pid=38610] ppid=38601 vsize=19063512 memory=2572276 CPUtime=3181.91 cores=4,6
/proc/38610/stat : 38610 (java) S 38601 38610 37963 0 -1 4194304 116989 0 416 0 317971 220 0 0 20 0 20 0 42970489 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
/proc/38610/statm: 4765878 643069 5465 1 0 666488 0
[pid=38610/tid=38624] ppid=38601 vsize=19063512 memory=2572276 CPUtime=3127.04 cores=4,6
/proc/38610/task/38624/stat : 38624 (java) R 38601 38610 37963 0 -1 4194368 49093 0 305 0 312636 68 0 0 20 0 20 0 42970521 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38658] ppid=38601 vsize=19063512 memory=2572276 CPUtime=0 cores=4,6
/proc/38610/task/38658/stat : 38658 (Finalizer) S 38601 38610 37963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 42970547 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38687] ppid=38601 vsize=19063512 memory=2572276 CPUtime=0 cores=4,6
/proc/38610/task/38687/stat : 38687 (Common-Cleaner) S 38601 38610 37963 0 -1 4194368 1618 0 0 0 0 0 0 0 20 0 20 0 42970552 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38694] ppid=38601 vsize=19063512 memory=2572276 CPUtime=0 cores=4,6
/proc/38610/task/38694/stat : 38694 (Timer-0) S 38601 38610 37963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42970592 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
Current children cumulated CPU time: 3181.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2572276 KiB
[startup+3222.3 s]
/proc/loadavg: 4.28 4.33 4.18 6/339 39078
/proc/meminfo: memFree=115010584/131250000 swapFree=33010684/33010684
[pid=38610] ppid=38601 vsize=19063512 memory=2572276 CPUtime=3242.61 cores=4,6
/proc/38610/stat : 38610 (java) S 38601 38610 37963 0 -1 4194304 117179 0 416 0 324039 222 0 0 20 0 20 0 42970489 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
/proc/38610/statm: 4765878 643069 5465 1 0 666488 0
[pid=38610/tid=38624] ppid=38601 vsize=19063512 memory=2572276 CPUtime=3186.31 cores=4,6
/proc/38610/task/38624/stat : 38624 (java) R 38601 38610 37963 0 -1 4194368 49200 0 305 0 318563 68 0 0 20 0 20 0 42970521 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38658] ppid=38601 vsize=19063512 memory=2572276 CPUtime=0 cores=4,6
/proc/38610/task/38658/stat : 38658 (Finalizer) S 38601 38610 37963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 42970547 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38687] ppid=38601 vsize=19063512 memory=2572276 CPUtime=0 cores=4,6
/proc/38610/task/38687/stat : 38687 (Common-Cleaner) S 38601 38610 37963 0 -1 4194368 1618 0 0 0 0 0 0 0 20 0 20 0 42970552 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38694] ppid=38601 vsize=19063512 memory=14248 CPUtime=0 cores=4,6
/proc/38610/task/38694/stat : 38694 (Timer-0) S 38601 38610 37963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42970592 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
Current children cumulated CPU time: 3242.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2572276 KiB
[startup+3282.3 s]
/proc/loadavg: 4.26 4.32 4.18 5/340 39081
/proc/meminfo: memFree=115010480/131250000 swapFree=33010684/33010684
[pid=38610] ppid=38601 vsize=19063512 memory=2572276 CPUtime=3302.81 cores=4,6
/proc/38610/stat : 38610 (java) S 38601 38610 37963 0 -1 4194304 118743 0 416 0 330057 224 0 0 20 0 20 0 42970489 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
/proc/38610/statm: 4765878 643069 5465 1 0 666488 0
[pid=38610/tid=38624] ppid=38601 vsize=19063512 memory=2572276 CPUtime=3245.83 cores=4,6
/proc/38610/task/38624/stat : 38624 (java) R 38601 38610 37963 0 -1 4194368 50205 0 305 0 324514 69 0 0 20 0 20 0 42970521 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38658] ppid=38601 vsize=19063512 memory=2572276 CPUtime=0 cores=4,6
/proc/38610/task/38658/stat : 38658 (Finalizer) S 38601 38610 37963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 42970547 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38687] ppid=38601 vsize=19063512 memory=2572276 CPUtime=0 cores=4,6
/proc/38610/task/38687/stat : 38687 (Common-Cleaner) S 38601 38610 37963 0 -1 4194368 1731 0 0 0 0 0 0 0 20 0 20 0 42970552 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38694] ppid=38601 vsize=19063512 memory=14248 CPUtime=0 cores=4,6
/proc/38610/task/38694/stat : 38694 (Timer-0) S 38601 38610 37963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42970592 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
Current children cumulated CPU time: 3302.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2572276 KiB
[startup+3342.3 s]
/proc/loadavg: 4.28 4.31 4.19 6/340 39083
/proc/meminfo: memFree=115010756/131250000 swapFree=33010684/33010684
[pid=38610] ppid=38601 vsize=19063512 memory=2572276 CPUtime=3363.32 cores=4,6
/proc/38610/stat : 38610 (java) S 38601 38610 37963 0 -1 4194304 120008 0 416 0 336104 228 0 0 20 0 20 0 42970489 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
/proc/38610/statm: 4765878 643069 5465 1 0 666489 0
[pid=38610/tid=38624] ppid=38601 vsize=19063512 memory=2572276 CPUtime=3305.11 cores=4,6
/proc/38610/task/38624/stat : 38624 (java) R 38601 38610 37963 0 -1 4194368 51401 0 305 0 330442 69 0 0 20 0 20 0 42970521 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38658] ppid=38601 vsize=19063512 memory=2572276 CPUtime=0 cores=4,6
/proc/38610/task/38658/stat : 38658 (Finalizer) S 38601 38610 37963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 42970547 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38687] ppid=38601 vsize=19063512 memory=2572276 CPUtime=0 cores=4,6
/proc/38610/task/38687/stat : 38687 (Common-Cleaner) S 38601 38610 37963 0 -1 4194368 1731 0 0 0 0 0 0 0 20 0 20 0 42970552 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38694] ppid=38601 vsize=19063512 memory=14248 CPUtime=0 cores=4,6
/proc/38610/task/38694/stat : 38694 (Timer-0) S 38601 38610 37963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42970592 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
Current children cumulated CPU time: 3363.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2572276 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.28 4.18 5/340 39085
/proc/meminfo: memFree=115010724/131250000 swapFree=33010684/33010684
[pid=38610] ppid=38601 vsize=19063512 memory=2572276 CPUtime=3423.8 cores=4,6
/proc/38610/stat : 38610 (java) S 38601 38610 37963 0 -1 4194304 120754 0 416 0 342150 230 0 0 20 0 20 0 42970489 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
/proc/38610/statm: 4765878 643069 5465 1 0 666489 0
[pid=38610/tid=38624] ppid=38601 vsize=19063512 memory=14248 CPUtime=3364.41 cores=4,6
/proc/38610/task/38624/stat : 38624 (java) R 38601 38610 37963 0 -1 4194368 51726 0 305 0 336372 69 0 0 20 0 20 0 42970521 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38658] ppid=38601 vsize=19063512 memory=18176 CPUtime=0 cores=4,6
/proc/38610/task/38658/stat : 38658 (Finalizer) S 38601 38610 37963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 42970547 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38687] ppid=38601 vsize=19063512 memory=14248 CPUtime=0 cores=4,6
/proc/38610/task/38687/stat : 38687 (Common-Cleaner) S 38601 38610 37963 0 -1 4194368 1758 0 0 0 0 0 0 0 20 0 20 0 42970552 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38694] ppid=38601 vsize=19063512 memory=2572276 CPUtime=0 cores=4,6
/proc/38610/task/38694/stat : 38694 (Timer-0) S 38601 38610 37963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42970592 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
Current children cumulated CPU time: 3423.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2572276 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.27 4.18 5/341 39089
/proc/meminfo: memFree=114500520/131250000 swapFree=33010684/33010684
[pid=38610] ppid=38601 vsize=19063512 memory=2572276 CPUtime=3484.52 cores=4,6
/proc/38610/stat : 38610 (java) S 38601 38610 37963 0 -1 4194304 120916 0 416 0 348219 233 0 0 20 0 20 0 42970489 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
/proc/38610/statm: 4765878 643069 5465 1 0 666489 0
[pid=38610/tid=38624] ppid=38601 vsize=19063512 memory=2572276 CPUtime=3423.73 cores=4,6
/proc/38610/task/38624/stat : 38624 (java) R 38601 38610 37963 0 -1 4194368 51809 0 305 0 342303 70 0 0 20 0 20 0 42970521 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38658] ppid=38601 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/38610/task/38658/stat : 38658 (Finalizer) S 38601 38610 37963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 42970547 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38687] ppid=38601 vsize=19063512 memory=18176 CPUtime=0 cores=4,6
/proc/38610/task/38687/stat : 38687 (Common-Cleaner) S 38601 38610 37963 0 -1 4194368 1758 0 0 0 0 0 0 0 20 0 20 0 42970552 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38694] ppid=38601 vsize=19063512 memory=2572276 CPUtime=0 cores=4,6
/proc/38610/task/38694/stat : 38694 (Timer-0) S 38601 38610 37963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42970592 19521036288 643069 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
Current children cumulated CPU time: 3484.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2572276 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.25 4.18 5/341 39159
/proc/meminfo: memFree=119146064/131250000 swapFree=33010684/33010684
[pid=38610] ppid=38601 vsize=19063512 memory=2572404 CPUtime=3545 cores=4,6
/proc/38610/stat : 38610 (java) S 38601 38610 37963 0 -1 4194304 121216 0 416 0 354265 235 0 0 20 0 20 0 42970489 19521036288 643101 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
/proc/38610/statm: 4765878 643101 5465 1 0 666513 0
[pid=38610/tid=38624] ppid=38601 vsize=19063512 memory=5148 CPUtime=3483.08 cores=4,6
/proc/38610/task/38624/stat : 38624 (java) R 38601 38610 37963 0 -1 4194368 52065 0 305 0 348238 70 0 0 20 0 20 0 42970521 19521036288 643101 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38658] ppid=38601 vsize=19063512 memory=2572276 CPUtime=0 cores=4,6
/proc/38610/task/38658/stat : 38658 (Finalizer) S 38601 38610 37963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 42970547 19521036288 643101 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38687] ppid=38601 vsize=19063512 memory=2572276 CPUtime=0 cores=4,6
/proc/38610/task/38687/stat : 38687 (Common-Cleaner) S 38601 38610 37963 0 -1 4194368 1758 0 0 0 0 0 0 0 20 0 20 0 42970552 19521036288 643101 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38694] ppid=38601 vsize=19063512 memory=2572404 CPUtime=0 cores=4,6
/proc/38610/task/38694/stat : 38694 (Timer-0) S 38601 38610 37963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42970592 19521036288 643101 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
Current children cumulated CPU time: 3545 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2572404 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3577.2 s]
/proc/loadavg: 4.12 4.22 4.17 5/340 39161
/proc/meminfo: memFree=118088816/131250000 swapFree=33010684/33010684
[pid=38610] ppid=38601 vsize=19063512 memory=2572404 CPUtime=3600.05 cores=4,6
/proc/38610/stat : 38610 (java) S 38601 38610 37963 0 -1 4194304 122151 0 416 0 359767 238 0 0 20 0 20 0 42970489 19521036288 643101 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
/proc/38610/statm: 4765878 643101 5465 1 0 666513 0
[pid=38610/tid=38624] ppid=38601 vsize=19063512 memory=17496 CPUtime=3537.43 cores=4,6
/proc/38610/task/38624/stat : 38624 (java) R 38601 38610 37963 0 -1 4194368 52924 0 305 0 353672 71 0 0 20 0 20 0 42970521 19521036288 643101 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38658] ppid=38601 vsize=19063512 memory=-6000919502855103596 CPUtime=0 cores=4,6
/proc/38610/task/38658/stat : 38658 (Finalizer) S 38601 38610 37963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 42970547 19521036288 643101 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38687] ppid=38601 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/38610/task/38687/stat : 38687 (Common-Cleaner) S 38601 38610 37963 0 -1 4194368 1759 0 0 0 0 0 0 0 20 0 20 0 42970552 19521036288 643101 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
[pid=38610/tid=38694] ppid=38601 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/38610/task/38694/stat : 38694 (Timer-0) S 38601 38610 37963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42970592 19521036288 643101 18446744073709551615 94715709108224 94715709111920 140725441031872 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94715709119736 94715709120528 94715734667264 140725441038718 140725441038822 140725441038822 140725441044424 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2572404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3577.29 s]
# the end of solver process 38610 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.81 s, system=2.39865 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3577.29
CPU time (s): 3600.21
CPU user time (s): 3597.81
CPU system time (s): 2.39865
CPU usage (%): 100.641
Max. virtual memory (cumulated for all children) (KiB): 19069096
Max. memory (cumulated for all children) (KiB): 2572404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.81
system time used= 2.39865
maximum resident set size= 2573172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124539
page faults= 416
swaps= 0
block input operations= 24832
block output operations= 30352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 147749
involuntary context switches= 13512
# summary of solver processes directly reported to runsolver:
# pid: 38610
# total CPU time (s): 3600.21
# total CPU user time (s): 3597.81
# total CPU system time (s): 2.39865
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.35348 second user time and 16.8402 second system time
The end
Begin job on nodeC014 at 2025-06-30 10:42:19 IDJOB=4498059 IDBENCH=148484 IDSOLVER=3361 FILE ID=nodeC014/4498059-1751272939 RUNJOBID= nodeC014-1751272939-38560 SLURM_JOB_ID= 9594181 Free space on /tmp= 433012 MiB SOLVER NAME= Sat4j CP 2025-06-06 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=29-P1=61-P2=43-P3=131-P4=2-P5=59-P6=41-B.opb COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498059-1751272939/watcher-4498059-1751272939 -o /tmp/evaluation-result-4498059-1751272939/solver-4498059-1751272939 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751272939-38560 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4498059-1751272939.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 47701c69f54c2f86b170fe57c52dc681 RANDOM SEED=481745340 nodeC014 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 : 0xb00002a cpu MHz : 3600.689 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.23 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 : 0xb00002a cpu MHz : 3599.643 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.23 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 : 0xb00002a cpu MHz : 3600.118 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.23 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 : 0xb00002a cpu MHz : 3600.116 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.23 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 : 0xb00002a cpu MHz : 3600.111 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.23 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 : 0xb00002a cpu MHz : 3600.156 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.23 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 : 0xb00002a cpu MHz : 3598.675 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.23 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 : 0xb00002a cpu MHz : 3601.194 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129615208 kB MemAvailable: 129689864 kB Buffers: 3280 kB Cached: 881956 kB SwapCached: 0 kB Active: 288100 kB Inactive: 672648 kB Active(anon): 93304 kB Inactive(anon): 0 kB Active(file): 194796 kB Inactive(file): 672648 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 2644 kB Writeback: 32 kB AnonPages: 78704 kB Mapped: 103780 kB Shmem: 18068 kB KReclaimable: 92904 kB Slab: 179224 kB SReclaimable: 92904 kB SUnreclaim: 86320 kB KernelStack: 4064 kB PageTables: 2868 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 340056 kB VmallocTotal: 34359738367 kB VmallocUsed: 150328 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 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: 203476 kB DirectMap2M: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433000 MiB End job on nodeC014 at 2025-06-30 11:41:56