Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Partial RoundingSAT 2024 2024-07-12 | OPT | -954077 | 4.72579 | 2.47312 |
| Name | PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_2g-0044-1601.lin.opb |
| MD5SUM | ddd3ca5bcbcd96dde3f7ce7a9efaa0ef |
| 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 | -954077 |
| Best CPU time to get the best result obtained on this benchmark | 0.039789 |
| 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 | 208 |
| Number of constraints which are clauses | 96 |
| Number of constraints which are cardinality constraints (but not clauses) | 16 |
| Number of constraints which are nor clauses,nor cardinality constraints | 96 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 96 |
| Biggest coefficient in the objective function | 178500 |
| Number of bits for the biggest coefficient in the objective function | 18 |
| Sum of the numbers in the objective function | 6182604 |
| Number of bits of the sum of numbers in the objective function | 23 |
| Biggest number in a constraint | 178500 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 6182604 |
| Number of bits of the biggest sum of numbers | 23 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version CUSTOM.v20240707 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 2106806208 0.00/0.08 c Max memory 16282288128 0.00/0.08 c Total memory 2113929216 0.00/0.08 c Number of processors 2 0.13/0.15 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.13/0.15 - never skip resolution steps 0.13/0.15 - Auto-division on coefficients is disabled 0.13/0.15 - No postprocessing 0.13/0.15 - Conflict is considered as is when resolving 0.13/0.15 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.13/0.15 - Weaken first using unassigned literals 0.13/0.15 - Bump strategy: ALWAYS_ONE 0.13/0.15 - Bumper: ASSIGNED 0.13/0.15 --- Begin Solver configuration --- 0.13/0.15 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.13/0.15 Learn all clauses as in MiniSAT 0.13/0.15 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.15 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.13/0.15 No reason simplification 0.13/0.15 Armin Biere (Picosat) restarts strategy 0.13/0.15 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.13/0.15 timeout=2147483s 0.13/0.15 DB Simplification allowed=false 0.13/0.15 Listener: none 0.13/0.15 --- End Solver configuration --- 0.13/0.16 c Pseudo Boolean Optimization by upper bound 0.13/0.16 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.13/0.16 c - never skip resolution steps 0.13/0.16 c - Auto-division on coefficients is disabled 0.13/0.16 c - No postprocessing 0.13/0.16 c - Conflict is considered as is when resolving 0.13/0.16 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.13/0.16 c - Weaken first using unassigned literals 0.13/0.16 c - Bump strategy: ALWAYS_ONE 0.13/0.16 c - Bumper: ASSIGNED 0.13/0.16 c --- Begin Solver configuration --- 0.13/0.16 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.13/0.16 c Learn all clauses as in MiniSAT 0.13/0.16 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.16 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.13/0.16 c No reason simplification 0.13/0.16 c Armin Biere (Picosat) restarts strategy 0.13/0.16 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.13/0.16 c timeout=2147483s 0.13/0.16 c DB Simplification allowed=false 0.13/0.16 c Listener: none 0.13/0.16 c --- End Solver configuration --- 0.13/0.16 c solving HOME/instance-4427686-1721000770.opb 0.13/0.16 c reading problem ... 0.13/0.16 c objective function found 0.13/0.19 c ... done. Wall clock time 0.027s. 0.13/0.19 c declared #vars 144 0.13/0.19 c #constraints 224 0.13/0.19 c constraints type 0.13/0.19 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 16 0.13/0.19 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 96 0.13/0.19 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 112 0.13/0.19 c 224 constraints processed. 0.13/0.20 c objective function length is 96 literals 0.13/0.20 c SATISFIABLE 0.13/0.20 c OPTIMIZING... 0.13/0.20 c Got one! Elapsed wall clock time (in seconds):0.044 0.13/0.20 o -728407 0.32/0.21 c Got one! Elapsed wall clock time (in seconds):0.059 0.32/0.21 o -734320 0.32/0.22 c Got one! Elapsed wall clock time (in seconds):0.061 0.32/0.22 o -812939 0.32/0.23 c Got one! Elapsed wall clock time (in seconds):0.074 0.32/0.23 o -839947 0.32/0.25 c Got one! Elapsed wall clock time (in seconds):0.096 0.32/0.25 o -841356 0.32/0.26 c Got one! Elapsed wall clock time (in seconds):0.097 0.32/0.26 o -866379 0.32/0.26 c Got one! Elapsed wall clock time (in seconds):0.1 0.32/0.26 o -919798 1.86/1.03 c Got one! Elapsed wall clock time (in seconds):0.871 1.86/1.03 o -954077 4.62/2.43 c starts : 23 4.62/2.43 c conflicts : 3385 4.62/2.43 c decisions : 3886 4.62/2.43 c propagations : 84351 4.62/2.43 c inspects : 2838969 4.62/2.43 c shortcuts : 0 4.62/2.43 c learnt literals : 1 4.62/2.43 c learnt binary clauses : 1 4.62/2.43 c learnt ternary clauses : 2 4.62/2.43 c learnt constraints : 3383 4.62/2.43 c ignored constraints : 0 4.62/2.43 c root simplifications : 0 4.62/2.43 c removed literals (reason simplification) : 0 4.62/2.43 c reason swapping (by a shorter reason) : 0 4.62/2.43 c Calls to reduceDB : 0 4.62/2.43 c Number of update (reduction) of LBD : 0 4.62/2.43 c Imported unit clauses : 0 4.62/2.43 c No decision after first conflict : false 4.62/2.43 c number of reductions to clauses (during analyze) : 0 4.62/2.43 c number of learned constraints concerned by reduction : 0 4.62/2.43 c number of learning phase by resolution : 0 4.62/2.43 c number of learning phase by cutting planes : 0 4.62/2.43 c number of rounding to 1 operations : 22920 4.62/2.44 c number of easy rounding to 1 operations (no literal elimination needed) : 0 4.62/2.44 c number of reductions of the coefficients by power 2 : 0 4.62/2.44 c number of right shift for reduction by power 2 : 0 4.62/2.44 c number of reductions of the coefficients by GCD over coefficients : 0 4.62/2.44 c number of ending skipping : 0 4.62/2.44 c number of internal skipping : 0 4.62/2.44 c number of derivation steps : 35412 4.62/2.44 c number of skipped derivation steps : 0 4.62/2.44 c number of remaining unassigned : 3340 4.62/2.44 c number of remaining assigned : 196351 4.62/2.44 c number of falsified literals weakened from reason : 0 4.62/2.44 c number of falsified literals weakened from conflict : 0 4.62/2.44 c time for arithmetic operations : 42141123 4.62/2.44 c minimum degree of deleted constraints : null 4.62/2.44 c maximum degree of deleted constraints : null 4.62/2.44 c number of deleted constraints : 0 4.62/2.44 c speed (assignments/second) : 37673.51496203663 4.62/2.44 c non guided choices : 3 4.62/2.44 s OPTIMUM FOUND 4.62/2.44 c Found 8 solution(s) 4.62/2.44 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 4.62/2.44 c objective function=-954077 4.62/2.44 c Total wall clock time (in seconds): 2.283
OK -954077
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: 63968 MiB (59048 MiB free)
memory of node 1: 64473 MiB (60423 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427686-1721000770/watcher-4427686-1721000770 -o /tmp/evaluation-result-4427686-1721000770/solver-4427686-1721000770 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1720994549-776108 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427686-1721000770.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=780581, runsolver pid=780578
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.38 4.37 4.37 5/330 780599
/proc/meminfo: memFree=122296848/131524600 swapFree=131071996/131071996
[pid=780581] ppid=780578 vsize=18975048 memory=62808 CPUtime=0.13 cores=0,2
/proc/780581/stat : 780581 (java) S 780578 780581 776098 0 -1 1077936128 7226 0 0 0 12 1 0 0 20 0 18 0 152247865 19430449152 15702 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
/proc/780581/statm: 4743762 15702 5611 1 0 549323 0
[pid=780581/tid=780583] ppid=780578 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/780581/task/780583/stat : 780583 (java) R 780578 780581 776098 0 -1 1077936192 5750 0 0 0 7 1 0 0 20 0 18 0 152247866 19430449152 15702 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
[pid=780581/tid=780592] ppid=780578 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/780581/task/780592/stat : 780592 (Finalizer) S 780578 780581 776098 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 152247868 19430449152 15702 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
[pid=780581/tid=780599] ppid=780578 vsize=18975048 memory=14971178779437607 CPUtime=0 cores=0,2
/proc/780581/task/780599/stat : 780599 (Common-Cleaner) S 780578 780581 776098 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 152247869 19430449152 15702 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62808 KiB
[startup+0.209365 s]*
/proc/loadavg: 4.38 4.37 4.37 7/331 780600
/proc/meminfo: memFree=122290036/131524600 swapFree=131071996/131071996
[pid=780581] ppid=780578 vsize=19041612 memory=70376 CPUtime=0.32 cores=0,2
/proc/780581/stat : 780581 (java) S 780578 780581 776098 0 -1 1077936128 7926 0 0 0 30 2 0 0 20 0 19 0 152247865 19498610688 17594 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
/proc/780581/statm: 4760403 17594 5808 1 0 550048 0
[pid=780581/tid=780583] ppid=780578 vsize=19041612 memory=4782652875487838339 CPUtime=0.17 cores=0,2
/proc/780581/task/780583/stat : 780583 (java) R 780578 780581 776098 0 -1 1077936192 6153 0 0 0 16 1 0 0 20 0 19 0 152247866 19498610688 17594 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
[pid=780581/tid=780592] ppid=780578 vsize=19041612 memory=15997 CPUtime=0 cores=0,2
/proc/780581/task/780592/stat : 780592 (Finalizer) S 780578 780581 776098 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 152247868 19498610688 17594 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
[pid=780581/tid=780599] ppid=780578 vsize=19041612 memory=14689703802701563 CPUtime=0 cores=0,2
/proc/780581/task/780599/stat : 780599 (Common-Cleaner) S 780578 780581 776098 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 152247869 19498610688 17594 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
[pid=780581/tid=780600] ppid=780578 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/780581/task/780600/stat : 780600 (Timer-0) S 780578 780581 776098 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 152247885 19498610688 17594 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70376 KiB
[startup+0.309888 s]*
/proc/loadavg: 4.38 4.37 4.37 7/331 780600
/proc/meminfo: memFree=122257452/131524600 swapFree=131071996/131071996
[pid=780581] ppid=780578 vsize=19041612 memory=102696 CPUtime=0.52 cores=0,2
/proc/780581/stat : 780581 (java) S 780578 780581 776098 0 -1 1077936128 10403 0 0 0 49 3 0 0 20 0 19 0 152247865 19498610688 25674 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
/proc/780581/statm: 4760403 25674 5894 1 0 551839 0
[pid=780581/tid=780583] ppid=780578 vsize=19041612 memory=-8599172054758367932 CPUtime=0.26 cores=0,2
/proc/780581/task/780583/stat : 780583 (java) R 780578 780581 776098 0 -1 4194368 6193 0 0 0 25 1 0 0 20 0 19 0 152247866 19498610688 25739 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
[pid=780581/tid=780592] ppid=780578 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/780581/task/780592/stat : 780592 (Finalizer) S 780578 780581 776098 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 152247868 19498610688 25739 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
[pid=780581/tid=780599] ppid=780578 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/780581/task/780599/stat : 780599 (Common-Cleaner) S 780578 780581 776098 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 152247869 19498610688 25739 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
[pid=780581/tid=780600] ppid=780578 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/780581/task/780600/stat : 780600 (Timer-0) S 780578 780581 776098 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 152247885 19498610688 25739 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 102696 KiB
[startup+0.705375 s]
/proc/loadavg: 4.38 4.37 4.37 8/332 780601
/proc/meminfo: memFree=122171576/131524600 swapFree=131071996/131071996
[pid=780581] ppid=780578 vsize=19108176 memory=183436 CPUtime=1.27 cores=0,2
/proc/780581/stat : 780581 (java) S 780578 780581 776098 0 -1 1077936128 16139 0 0 0 122 5 0 0 20 0 20 0 152247865 19566772224 45859 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
/proc/780581/statm: 4777044 45859 5910 1 0 555690 0
[pid=780581/tid=780583] ppid=780578 vsize=19108176 memory=38888 CPUtime=0.6 cores=0,2
/proc/780581/task/780583/stat : 780583 (java) R 780578 780581 776098 0 -1 4194368 6234 0 0 0 57 3 0 0 20 0 20 0 152247866 19566772224 45859 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
[pid=780581/tid=780592] ppid=780578 vsize=19108176 memory=13184 CPUtime=0 cores=0,2
/proc/780581/task/780592/stat : 780592 (Finalizer) S 780578 780581 776098 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 152247868 19566772224 45859 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
[pid=780581/tid=780599] ppid=780578 vsize=19108176 memory=2164 CPUtime=0 cores=0,2
/proc/780581/task/780599/stat : 780599 (Common-Cleaner) S 780578 780581 776098 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 152247869 19566772224 45859 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
[pid=780581/tid=780600] ppid=780578 vsize=19108176 memory=32812 CPUtime=0 cores=0,2
/proc/780581/task/780600/stat : 780600 (Timer-0) S 780578 780581 776098 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 152247885 19566772224 45859 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183436 KiB
[startup+1.50089 s]
/proc/loadavg: 4.43 4.38 4.37 6/332 780601
/proc/meminfo: memFree=122129048/131524600 swapFree=131071996/131071996
[pid=780581] ppid=780578 vsize=19108176 memory=467148 CPUtime=2.84 cores=0,2
/proc/780581/stat : 780581 (java) S 780578 780581 776098 0 -1 1077936128 26202 0 0 0 273 11 0 0 20 0 20 0 152247865 19566772224 116787 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
/proc/780581/statm: 4777044 116787 5910 1 0 557849 0
[pid=780581/tid=780583] ppid=780578 vsize=19108176 memory=13184 CPUtime=1.37 cores=0,2
/proc/780581/task/780583/stat : 780583 (java) R 780578 780581 776098 0 -1 4194368 7088 0 0 0 128 9 0 0 20 0 20 0 152247866 19566772224 116787 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
[pid=780581/tid=780592] ppid=780578 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/780581/task/780592/stat : 780592 (Finalizer) S 780578 780581 776098 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 152247868 19566772224 116787 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
[pid=780581/tid=780599] ppid=780578 vsize=19108176 memory=2164 CPUtime=0 cores=0,2
/proc/780581/task/780599/stat : 780599 (Common-Cleaner) S 780578 780581 776098 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 152247869 19566772224 116787 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
[pid=780581/tid=780600] ppid=780578 vsize=19108176 memory=32812 CPUtime=0 cores=0,2
/proc/780581/task/780600/stat : 780600 (Timer-0) S 780578 780581 776098 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 152247885 19566772224 116787 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 467148 KiB
[startup+2.47307 s]
# the end of solver process 780581 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=4.54003 s, system=0.185764 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60089 s]
/proc/loadavg: 4.43 4.38 4.37 6/332 780601
/proc/meminfo: memFree=122129048/131524600 swapFree=131071996/131071996
[pid=780581] ppid=780578 vsize=19108176 memory=545032 CPUtime=3.04 cores=0,2
/proc/780581/stat : 780581 (java) S 780578 780581 776098 0 -1 1077936128 26427 0 0 0 291 13 0 0 20 0 20 0 152247865 19566772224 136258 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
/proc/780581/statm: 4777044 136258 5910 1 0 557850 0
[pid=780581/tid=780583] ppid=780578 vsize=19108176 memory=228489167166 CPUtime=1.46 cores=0,2
/proc/780581/task/780583/stat : 780583 (java) R 780578 780581 776098 0 -1 4194368 7133 0 0 0 136 10 0 0 20 0 20 0 152247866 19566772224 136258 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
[pid=780581/tid=780592] ppid=780578 vsize=19108176 memory=-8599172054758367932 CPUtime=0 cores=0,2
/proc/780581/task/780592/stat : 780592 (Finalizer) S 780578 780581 776098 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 152247868 19566772224 136258 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
[pid=780581/tid=780599] ppid=780578 vsize=19108176 memory=38888 CPUtime=0 cores=0,2
/proc/780581/task/780599/stat : 780599 (Common-Cleaner) S 780578 780581 776098 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 152247869 19566772224 136258 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
[pid=780581/tid=780600] ppid=780578 vsize=19108176 memory=13184 CPUtime=0 cores=0,2
/proc/780581/task/780600/stat : 780600 (Timer-0) S 780578 780581 776098 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 152247885 19566772224 136258 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 545032 KiB
[startup+2.00089 s]*
/proc/loadavg: 4.43 4.38 4.37 6/332 780601
/proc/meminfo: memFree=121592492/131524600 swapFree=131071996/131071996
[pid=780581] ppid=780578 vsize=19108176 memory=758284 CPUtime=3.84 cores=0,2
/proc/780581/stat : 780581 (java) S 780578 780581 776098 0 -1 1077936128 27168 0 0 0 367 17 0 0 20 0 20 0 152247865 19566772224 189571 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
/proc/780581/statm: 4777044 189571 5910 1 0 557851 0
[pid=780581/tid=780583] ppid=780578 vsize=19108176 memory=-8599172054758367932 CPUtime=1.85 cores=0,2
/proc/780581/task/780583/stat : 780583 (java) R 780578 780581 776098 0 -1 4194368 7235 0 0 0 171 14 0 0 20 0 20 0 152247866 19566772224 189571 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
[pid=780581/tid=780592] ppid=780578 vsize=19108176 memory=1586984 CPUtime=0 cores=0,2
/proc/780581/task/780592/stat : 780592 (Finalizer) S 780578 780581 776098 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 152247868 19566772224 189571 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
[pid=780581/tid=780599] ppid=780578 vsize=19108176 memory=2760 CPUtime=0 cores=0,2
/proc/780581/task/780599/stat : 780599 (Common-Cleaner) S 780578 780581 776098 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 152247869 19566772224 189571 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
[pid=780581/tid=780600] ppid=780578 vsize=19108176 memory=4636 CPUtime=0 cores=0,2
/proc/780581/task/780600/stat : 780600 (Timer-0) S 780578 780581 776098 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 152247885 19566772224 189571 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
Current children cumulated CPU time: 3.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 758284 KiB
[startup+2.40189 s]
/proc/loadavg: 4.43 4.38 4.37 6/332 780601
/proc/meminfo: memFree=121592492/131524600 swapFree=131071996/131071996
[pid=780581] ppid=780578 vsize=19108176 memory=762576 CPUtime=4.62 cores=0,2
/proc/780581/stat : 780581 (java) S 780578 780581 776098 0 -1 1077936128 28262 0 0 0 445 17 0 0 20 0 20 0 152247865 19566772224 190644 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
/proc/780581/statm: 4777044 190644 5910 1 0 557852 0
[pid=780581/tid=780583] ppid=780578 vsize=19108176 memory=1928 CPUtime=2.24 cores=0,2
/proc/780581/task/780583/stat : 780583 (java) R 780578 780581 776098 0 -1 4194368 7841 0 0 0 210 14 0 0 20 0 20 0 152247866 19566772224 190644 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
[pid=780581/tid=780592] ppid=780578 vsize=19108176 memory=2164 CPUtime=0 cores=0,2
/proc/780581/task/780592/stat : 780592 (Finalizer) S 780578 780581 776098 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 152247868 19566772224 190644 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
[pid=780581/tid=780599] ppid=780578 vsize=19108176 memory=32812 CPUtime=0 cores=0,2
/proc/780581/task/780599/stat : 780599 (Common-Cleaner) S 780578 780581 776098 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 152247869 19566772224 190644 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
[pid=780581/tid=780600] ppid=780578 vsize=19108176 memory=19640 CPUtime=0 cores=0,2
/proc/780581/task/780600/stat : 780600 (Timer-0) S 780578 780581 776098 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 152247885 19566772224 190644 134679101440 93923101872128 93923101875824 140720760405024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93923101883640 93923101884432 93923117690880 140720760407024 140720760407137 140720760407137 140720760414152 0
Current children cumulated CPU time: 4.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 762576 KiB
Child status: 30
Real time (s): 2.47312
CPU time (s): 4.72579
CPU user time (s): 4.54003
CPU system time (s): 0.185764
CPU usage (%): 191.086
Max. virtual memory (cumulated for all children) (KiB): 19110132
Max. memory (cumulated for all children) (KiB): 762576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.54003
system time used= 0.185764
maximum resident set size= 764324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29986
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 788
involuntary context switches= 233
# summary of solver processes directly reported to runsolver:
# pid: 780581
# total CPU time (s): 4.72579
# total CPU user time (s): 4.54003
# total CPU system time (s): 0.185764
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.019729 second user time and 0.038323 second system time
The end
Begin job on nodeC035 at 2024-07-15 01:46:23 IDJOB=4427686 IDBENCH=158481 IDSOLVER=3046 FILE ID=nodeC035/4427686-1721000770 RUNJOBID= nodeC035-1720994549-776108 SLURM_JOB_ID= 7505329 Free space on /tmp= 890080 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2g-0044-1601.lin.opb COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427686-1721000770/watcher-4427686-1721000770 -o /tmp/evaluation-result-4427686-1721000770/solver-4427686-1721000770 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1720994549-776108 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427686-1721000770.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ddd3ca5bcbcd96dde3f7ce7a9efaa0ef RANDOM SEED=284081616 nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3639.854 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.65 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 : 3687.751 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 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 : 3631.919 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.65 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.004 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 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 : 3682.675 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.65 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 : 3687.825 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 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 : 3606.924 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.65 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 : 3599.960 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122338960 kB MemAvailable: 122598408 kB Buffers: 338024 kB Cached: 764196 kB SwapCached: 0 kB Active: 540880 kB Inactive: 8055356 kB Active(anon): 1544 kB Inactive(anon): 7530184 kB Active(file): 539336 kB Inactive(file): 525172 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 1316 kB Writeback: 8 kB AnonPages: 7494060 kB Mapped: 123124 kB Shmem: 37720 kB KReclaimable: 69524 kB Slab: 170232 kB SReclaimable: 69524 kB SUnreclaim: 100708 kB KernelStack: 5032 kB PageTables: 24908 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 9423712 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 59648 kB HardwareCorrupted: 0 kB AnonHugePages: 7198720 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 174804 kB DirectMap2M: 7987200 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 890080 MiB End job on nodeC035 at 2024-07-15 01:46:25