Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Cutting Planes 2024 2024-07-12 | SAT | 5 | 371.257 | 367.986 |
| Name | PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=107-P1=13-P2=17-P3=127-P4=13-P5=53-P6=73-P7=59-B.opb |
| MD5SUM | d15a7b77594613e525f13087b0fed45e |
| 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 | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.067988 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 147 |
| Total number of constraints | 15 |
| 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 | 15 |
| Minimum length of a constraint | 7 |
| Maximum length of a constraint | 63 |
| Number of terms in the objective function | 7 |
| Biggest coefficient in the objective function | 64 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 127 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 8192 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 32512 |
| Number of bits of the biggest sum of numbers | 15 |
| Number of products (including duplicates) | 343 |
| Sum of products size (including duplicates) | 686 |
| Number of different products | 343 |
| Sum of products size | 686 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.09/0.10 c version CUSTOM.v20240707 0.09/0.11 c java.runtime.name OpenJDK Runtime Environment 0.09/0.11 c java.vm.name OpenJDK 64-Bit Server VM 0.09/0.11 c java.vm.version 22.0.1+8-16 0.09/0.11 c java.vm.vendor Oracle Corporation 0.09/0.11 c sun.arch.data.model 64 0.09/0.11 c java.version 22.0.1 0.09/0.11 c os.name Linux 0.09/0.11 c os.version 4.18.0-301.1.el8.x86_64 0.09/0.11 c os.arch amd64 0.09/0.11 c Free memory 2104792832 0.09/0.11 c Max memory 16282288128 0.09/0.11 c Total memory 2113929216 0.09/0.11 c Number of processors 2 0.09/0.18 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.18 - never skip resolution steps 0.09/0.18 - Auto-division on coefficients is disabled 0.09/0.18 - No postprocessing 0.09/0.18 - Conflict is considered as is when resolving 0.09/0.18 - Use constraints as they come during conflict analysis 0.09/0.18 - Weaken first using unassigned literals 0.09/0.18 - Bump strategy: ALWAYS_ONE 0.09/0.18 - Bumper: EFFECTIVE 0.09/0.18 --- Begin Solver configuration --- 0.09/0.18 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f 0.09/0.18 Learn all clauses as in MiniSAT 0.09/0.18 LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.18 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.18 No reason simplification 0.09/0.18 Dynamic restart strategy considering the size of the coefficients 0.09/0.18 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27 0.09/0.18 timeout=2147483s 0.09/0.18 DB Simplification allowed=false 0.09/0.18 Listener: none 0.09/0.18 --- End Solver configuration --- 0.09/0.18 c Pseudo Boolean Optimization by upper bound 0.09/0.18 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.18 c - never skip resolution steps 0.09/0.18 c - Auto-division on coefficients is disabled 0.09/0.18 c - No postprocessing 0.09/0.18 c - Conflict is considered as is when resolving 0.09/0.18 c - Use constraints as they come during conflict analysis 0.09/0.18 c - Weaken first using unassigned literals 0.09/0.18 c - Bump strategy: ALWAYS_ONE 0.09/0.18 c - Bumper: EFFECTIVE 0.09/0.18 c --- Begin Solver configuration --- 0.09/0.18 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f 0.09/0.18 c Learn all clauses as in MiniSAT 0.09/0.18 c LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.18 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.18 c No reason simplification 0.09/0.18 c Dynamic restart strategy considering the size of the coefficients 0.09/0.18 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27 0.09/0.18 c timeout=2147483s 0.09/0.18 c DB Simplification allowed=false 0.09/0.18 c Listener: none 0.09/0.18 c --- End Solver configuration --- 0.09/0.18 c solving HOME/instance-4459702-1721939462.opb 0.09/0.18 c reading problem ... 0.09/0.18 c objective function found 0.29/0.23 c ... done. Wall clock time 0.048s. 0.29/0.23 c declared #vars 147 0.29/0.23 c internal #vars 490 0.29/0.23 c #constraints 708 0.29/0.23 c constraints type 0.29/0.23 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 365 0.29/0.23 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 343 0.29/0.23 c 708 constraints processed. 0.29/0.24 c objective function length is 7 literals 20.46/18.48 c cleaning 2496 clauses out of 5000 with flag 0/5000 62.05/59.57 c cleaning 4222 clauses out of 8504 with flag 0/11000 102.38/99.79 c cleaning 5627 clauses out of 11283 with flag 0/18001 170.23/167.58 c cleaning 6802 clauses out of 13655 with flag 0/26000 176.77/174.07 c SATISFIABLE 176.77/174.07 c OPTIMIZING... 176.77/174.07 c Got one! Elapsed wall clock time (in seconds):173.895 176.77/174.07 o 13 198.55/195.74 c cleaning 5955 clauses out of 11959 with flag 0/31106 272.64/269.69 c cleaning 5990 clauses out of 12003 with flag 0/37105 301.08/298.03 c cleaning 6479 clauses out of 13013 with flag 0/44105 367.36/364.17 c Got one! Elapsed wall clock time (in seconds):363.99 367.36/364.17 o 5 371.15/367.93 Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: Index 150 out of bounds for length 148 371.15/367.93 at org.sat4j.pb.lcds.AbstractLBDComputerStrategy.computeLBD(AbstractLBDComputerStrategy.java:32) 371.15/367.93 at org.sat4j.pb.lcds.PBGlucoseLCDS.computeLBD(PBGlucoseLCDS.java:98) 371.15/367.94 at org.sat4j.minisat.core.Glucose2LCDS.onPropagation(Glucose2LCDS.java:54) 371.15/367.94 at org.sat4j.minisat.core.Solver.enqueue(Solver.java:573) 371.15/367.94 at org.sat4j.pb.constraints.pb.MinWatchPb.propagate(MinWatchPb.java:329) 371.15/367.94 at org.sat4j.minisat.core.Solver.reduceClausesContainingTheNegationOf(Solver.java:1133) 371.15/367.94 at org.sat4j.minisat.core.Solver.propagate(Solver.java:1114) 371.15/367.94 at org.sat4j.minisat.core.Solver.search(Solver.java:1235) 371.15/367.94 at org.sat4j.minisat.core.Solver.isSatisfiable(Solver.java:1903) 371.15/367.94 at org.sat4j.tools.SolverDecorator.isSatisfiable(SolverDecorator.java:106) 371.15/367.94 at org.sat4j.pb.PseudoOptDecorator.admitABetterSolution(PseudoOptDecorator.java:180) 371.15/367.94 at org.sat4j.pb.PseudoOptDecorator.admitABetterSolution(PseudoOptDecorator.java:173) 371.15/367.94 at org.sat4j.OptimizationMode.solve(OptimizationMode.java:141) 371.15/367.94 at org.sat4j.AbstractLauncher.solve(AbstractLauncher.java:323) 371.15/367.94 at org.sat4j.AbstractLauncher.run(AbstractLauncher.java:267) 371.15/367.94 at org.sat4j.pb.LanceurPseudo2007.main(LanceurPseudo2007.java:118) 371.15/367.94 c starts : 17 371.15/367.95 c conflicts : 52049 371.15/367.95 c decisions : 54767 371.15/367.95 c propagations : 760694 371.15/367.95 c inspects : 291582899 371.15/367.95 c shortcuts : 0 371.15/367.95 c learnt literals : 0 371.15/367.95 c learnt binary clauses : 0 371.15/367.95 c learnt ternary clauses : 0 371.15/367.95 c learnt constraints : 52049 371.15/367.95 c ignored constraints : 0 371.15/367.95 c root simplifications : 0 371.15/367.95 c removed literals (reason simplification) : 0 371.15/367.95 c reason swapping (by a shorter reason) : 0 371.15/367.95 c Calls to reduceDB : 7 371.15/367.95 c Number of update (reduction) of LBD : 29013 371.15/367.95 c Imported unit clauses : 0 371.15/367.95 c No decision after first conflict : false 371.15/367.95 c number of reductions to clauses (during analyze) : 0 371.15/367.95 c number of learned constraints concerned by reduction : 0 371.15/367.95 c number of learning phase by resolution : 0 371.15/367.95 c number of learning phase by cutting planes : 0 371.15/367.95 c number of rounding to 1 operations : 0 371.15/367.95 c number of easy rounding to 1 operations (no literal elimination needed) : 0 371.15/367.95 c number of reductions of the coefficients by power 2 : 0 371.15/367.95 c number of right shift for reduction by power 2 : 0 371.15/367.95 c number of reductions of the coefficients by GCD over coefficients : 0 371.15/367.95 c number of ending skipping : 0 371.15/367.95 c number of internal skipping : 0 371.15/367.95 c number of derivation steps : 636444 371.15/367.95 c number of skipped derivation steps : 0 371.15/367.95 c number of remaining unassigned : 29375 371.15/367.95 c number of remaining assigned : 9141215 371.15/367.95 c number of falsified literals weakened from reason : 0 371.15/367.95 c number of falsified literals weakened from conflict : 0 371.15/367.95 c time for arithmetic operations : 1786872906 371.15/367.95 c minimum degree of deleted constraints : 1 371.15/367.95 c maximum degree of deleted constraints : 70822024470693577798062863918238018647726433437413933781196664542240203736317846302205202412015538421624822395848311026772946275507111200998856113110171988657250184501895208381202088451750608053619043181562500 371.15/367.95 c number of deleted constraints : 37571 371.15/367.96 c speed (assignments/second) : 2068.733512822605 371.15/367.96 c non guided choices : 851 371.15/367.96 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 46 371.15/367.96 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 14432 371.15/367.96 s SATISFIABLE 371.15/367.96 c Found 2 solution(s) 371.15/367.96 v x1 -x2 x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 x11 -x12 -x13 x14 x15 x16 x17 -x18 -x19 x20 x21 x22 x23 x24 -x25 -x26 x27 x28 x29 x30 -x31 -x32 -x33 x34 x35 x36 x37 -x38 x39 -x40 x41 -x42 x43 x44 x45 -x46 -x47 x48 -x49 x50 -x51 -x52 x53 -x54 x55 x56 x57 -x58 x59 x60 -x61 x62 x63 x64 x65 -x66 x67 x68 -x69 x70 x71 -x72 x73 x74 x75 -x76 -x77 x78 x79 x80 -x81 x82 x83 -x84 x85 -x86 x87 x88 x89 x90 -x91 x92 x93 -x94 x95 -x96 -x97 x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 x106 x107 x108 -x109 x110 -x111 x112 x113 -x114 -x115 x116 -x117 -x118 x119 -x120 x121 x122 -x123 x124 -x125 -x126 -x127 x128 -x129 -x130 x131 -x132 -x133 -x134 x135 -x136 -x137 x138 -x139 -x140 x141 -x142 x143 x144 x145 x146 -x147 371.15/367.96 c objective function=5 371.15/367.96 c Total wall clock time (in seconds): 367.786
OK 5
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 (61638 MiB free)
memory of node 1: 64473 MiB (61676 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459702-1721939462/watcher-4459702-1721939462 -o /tmp/evaluation-result-4459702-1721939462/solver-4459702-1721939462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721939462-308135 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4459702-1721939462.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=308149, runsolver pid=308146
Current StackSize limit: 8192 KiB
[startup+0.100075 s]*
/proc/loadavg: 0.06 0.08 0.18 2/260 308170
/proc/meminfo: memFree=126236516/131524600 swapFree=131057784/131071996
[pid=308149] ppid=308146 vsize=18975048 memory=56504 CPUtime=0.09 cores=5,7
/proc/308149/stat : 308149 (java) S 308146 308149 308122 0 -1 1077936128 6725 0 21 0 8 1 0 0 20 0 18 0 30469219 19430449152 14126 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
/proc/308149/statm: 4743762 14126 5507 1 0 548930 0
[pid=308149/tid=308152] ppid=308146 vsize=18975048 memory=4026532033 CPUtime=0.06 cores=5,7
/proc/308149/task/308152/stat : 308152 (java) R 308146 308149 308122 0 -1 4194368 5598 0 20 0 5 1 0 0 20 0 18 0 30469219 19430449152 14126 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308163] ppid=308146 vsize=18975048 memory=224227754321 CPUtime=0 cores=5,7
/proc/308149/task/308163/stat : 308163 (Finalizer) S 308146 308149 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30469224 19430449152 14126 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308170] ppid=308146 vsize=18975048 memory=62900754244410 CPUtime=0 cores=5,7
/proc/308149/task/308170/stat : 308170 (Common-Cleaner) S 308146 308149 308122 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30469224 19430449152 14126 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56504 KiB
[startup+0.209203 s]*
/proc/loadavg: 0.06 0.08 0.18 7/273 308192
/proc/meminfo: memFree=126191332/131524600 swapFree=131057784/131071996
[pid=308149] ppid=308146 vsize=18975048 memory=71788 CPUtime=0.29 cores=5,7
/proc/308149/stat : 308149 (java) S 308146 308149 308122 0 -1 1077936128 7715 0 21 0 27 2 0 0 20 0 18 0 30469219 19430449152 17947 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
/proc/308149/statm: 4743762 17947 5798 1 0 549671 0
[pid=308149/tid=308152] ppid=308146 vsize=18975048 memory=4028210170 CPUtime=0.16 cores=5,7
/proc/308149/task/308152/stat : 308152 (java) R 308146 308149 308122 0 -1 4194368 6025 0 20 0 15 1 0 0 20 0 18 0 30469219 19430449152 17947 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308163] ppid=308146 vsize=18975048 memory=1631240 CPUtime=0 cores=5,7
/proc/308149/task/308163/stat : 308163 (Finalizer) S 308146 308149 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30469224 19430449152 17947 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308170] ppid=308146 vsize=18975048 memory=15822179304473929 CPUtime=0 cores=5,7
/proc/308149/task/308170/stat : 308170 (Common-Cleaner) S 308146 308149 308122 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30469224 19430449152 17947 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 71788 KiB
[startup+0.311793 s]*
/proc/loadavg: 0.06 0.08 0.18 12/307 308235
/proc/meminfo: memFree=126126356/131524600 swapFree=131057784/131071996
[pid=308149] ppid=308146 vsize=19041612 memory=83568 CPUtime=0.47 cores=5,7
/proc/308149/stat : 308149 (java) S 308146 308149 308122 0 -1 1077936128 8663 0 21 0 45 2 0 0 20 0 19 0 30469219 19498610688 20892 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
/proc/308149/statm: 4760403 20892 5836 1 0 550333 0
[pid=308149/tid=308152] ppid=308146 vsize=19041612 memory=-8889094545079968444 CPUtime=0.24 cores=5,7
/proc/308149/task/308152/stat : 308152 (java) R 308146 308149 308122 0 -1 4194368 6163 0 20 0 23 1 0 0 20 0 19 0 30469219 19498610688 20892 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308163] ppid=308146 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/308149/task/308163/stat : 308163 (Finalizer) S 308146 308149 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30469224 19498610688 20892 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308170] ppid=308146 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/308149/task/308170/stat : 308170 (Common-Cleaner) S 308146 308149 308122 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30469224 19498610688 20892 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308212] ppid=308146 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/308149/task/308212/stat : 308212 (Timer-0) S 308146 308149 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30469243 19498610688 20892 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 83568 KiB
[startup+0.700408 s]
/proc/loadavg: 0.06 0.08 0.18 13/331 308268
/proc/meminfo: memFree=125938888/131524600 swapFree=131057784/131071996
[pid=308149] ppid=308146 vsize=19108928 memory=174680 CPUtime=1.2 cores=5,7
/proc/308149/stat : 308149 (java) S 308146 308149 308122 0 -1 1077936128 12713 0 21 0 116 4 0 0 20 0 20 0 30469219 19567542272 43670 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
/proc/308149/statm: 4777232 43670 5836 1 0 553100 0
[pid=308149/tid=308152] ppid=308146 vsize=19108928 memory=75776 CPUtime=0.57 cores=5,7
/proc/308149/task/308152/stat : 308152 (java) R 308146 308149 308122 0 -1 4194368 6207 0 20 0 55 2 0 0 20 0 20 0 30469219 19567542272 43670 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308163] ppid=308146 vsize=19108928 memory=12264 CPUtime=0 cores=5,7
/proc/308149/task/308163/stat : 308163 (Finalizer) S 308146 308149 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30469224 19567542272 43670 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308170] ppid=308146 vsize=19108928 memory=2248 CPUtime=0 cores=5,7
/proc/308149/task/308170/stat : 308170 (Common-Cleaner) S 308146 308149 308122 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30469224 19567542272 43670 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308212] ppid=308146 vsize=19108928 memory=25656 CPUtime=0 cores=5,7
/proc/308149/task/308212/stat : 308212 (Timer-0) S 308146 308149 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30469243 19567542272 43670 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 19108928 KiB
Current children cumulated memory: 174680 KiB
[startup+1.50127 s]
/proc/loadavg: 0.06 0.08 0.18 11/336 308273
/proc/meminfo: memFree=125322060/131524600 swapFree=131057784/131071996
[pid=308149] ppid=308146 vsize=19108176 memory=266616 CPUtime=2.75 cores=5,7
/proc/308149/stat : 308149 (java) S 308146 308149 308122 0 -1 1077936128 21334 0 21 0 269 6 0 0 20 0 20 0 30469219 19566772224 66654 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
/proc/308149/statm: 4777044 66654 5868 1 0 555391 0
[pid=308149/tid=308152] ppid=308146 vsize=19108176 memory=12264 CPUtime=1.33 cores=5,7
/proc/308149/task/308152/stat : 308152 (java) R 308146 308149 308122 0 -1 4194368 6420 0 20 0 130 3 0 0 20 0 20 0 30469219 19566772224 66654 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308163] ppid=308146 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/308149/task/308163/stat : 308163 (Finalizer) S 308146 308149 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30469224 19566772224 66654 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308170] ppid=308146 vsize=19108176 memory=2248 CPUtime=0 cores=5,7
/proc/308149/task/308170/stat : 308170 (Common-Cleaner) S 308146 308149 308122 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30469224 19566772224 66654 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308212] ppid=308146 vsize=19108176 memory=25656 CPUtime=0 cores=5,7
/proc/308149/task/308212/stat : 308212 (Timer-0) S 308146 308149 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30469243 19566772224 66654 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 266616 KiB
[startup+3.1064 s]
/proc/loadavg: 0.06 0.08 0.18 9/337 308276
/proc/meminfo: memFree=123045144/131524600 swapFree=131057784/131071996
[pid=308149] ppid=308146 vsize=19108176 memory=673532 CPUtime=4.94 cores=5,7
/proc/308149/stat : 308149 (java) S 308146 308149 308122 0 -1 1077936128 25744 0 21 0 480 14 0 0 20 0 20 0 30469219 19566772224 168383 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
/proc/308149/statm: 4777044 168383 5868 1 0 555731 0
[pid=308149/tid=308152] ppid=308146 vsize=19108176 memory=-7304967656975993948 CPUtime=2.92 cores=5,7
/proc/308149/task/308152/stat : 308152 (java) R 308146 308149 308122 0 -1 4194368 7300 0 20 0 281 11 0 0 20 0 20 0 30469219 19566772224 168383 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308163] ppid=308146 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/308149/task/308163/stat : 308163 (Finalizer) S 308146 308149 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30469224 19566772224 168383 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308170] ppid=308146 vsize=19108176 memory=12264 CPUtime=0 cores=5,7
/proc/308149/task/308170/stat : 308170 (Common-Cleaner) S 308146 308149 308122 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30469224 19566772224 168383 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308212] ppid=308146 vsize=19108176 memory=2248 CPUtime=0 cores=5,7
/proc/308149/task/308212/stat : 308212 (Timer-0) S 308146 308149 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30469243 19566772224 168383 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
Current children cumulated CPU time: 4.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 673532 KiB
[startup+6.30028 s]
/proc/loadavg: 0.37 0.15 0.20 6/337 308276
/proc/meminfo: memFree=121750440/131524600 swapFree=131057784/131071996
[pid=308149] ppid=308146 vsize=19108176 memory=1067028 CPUtime=8.14 cores=5,7
/proc/308149/stat : 308149 (java) S 308146 308149 308122 0 -1 1077936128 26910 0 21 0 791 23 0 0 20 0 20 0 30469219 19566772224 266757 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
/proc/308149/statm: 4777044 266757 5868 1 0 555732 0
[pid=308149/tid=308152] ppid=308146 vsize=19108176 memory=2248 CPUtime=6.08 cores=5,7
/proc/308149/task/308152/stat : 308152 (java) R 308146 308149 308122 0 -1 4194368 7806 0 20 0 589 19 0 0 20 0 20 0 30469219 19566772224 266757 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308163] ppid=308146 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/308149/task/308163/stat : 308163 (Finalizer) S 308146 308149 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30469224 19566772224 266757 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308170] ppid=308146 vsize=19108176 memory=1232660 CPUtime=0 cores=5,7
/proc/308149/task/308170/stat : 308170 (Common-Cleaner) S 308146 308149 308122 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30469224 19566772224 266757 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308212] ppid=308146 vsize=19108176 memory=-8744136031585608380 CPUtime=0 cores=5,7
/proc/308149/task/308212/stat : 308212 (Timer-0) S 308146 308149 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30469243 19566772224 266757 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
Current children cumulated CPU time: 8.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1067028 KiB
[startup+12.7003 s]
/proc/loadavg: 0.66 0.21 0.22 5/337 308277
/proc/meminfo: memFree=120034320/131524600 swapFree=131057784/131071996
[pid=308149] ppid=308146 vsize=19108176 memory=1327140 CPUtime=14.61 cores=5,7
/proc/308149/stat : 308149 (java) S 308146 308149 308122 0 -1 1077936128 30042 0 21 0 1432 29 0 0 20 0 20 0 30469219 19566772224 331785 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
/proc/308149/statm: 4777044 331785 5868 1 0 555732 0
[pid=308149/tid=308152] ppid=308146 vsize=19108176 memory=1327128 CPUtime=12.4 cores=5,7
/proc/308149/task/308152/stat : 308152 (java) R 308146 308149 308122 0 -1 4194368 9115 0 20 0 1217 23 0 0 20 0 20 0 30469219 19566772224 331785 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308163] ppid=308146 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/308149/task/308163/stat : 308163 (Finalizer) S 308146 308149 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30469224 19566772224 331785 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308170] ppid=308146 vsize=19108176 memory=75776 CPUtime=0 cores=5,7
/proc/308149/task/308170/stat : 308170 (Common-Cleaner) S 308146 308149 308122 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30469224 19566772224 331785 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308212] ppid=308146 vsize=19108176 memory=-8744134932073980604 CPUtime=0 cores=5,7
/proc/308149/task/308212/stat : 308212 (Timer-0) S 308146 308149 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30469243 19566772224 331785 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
Current children cumulated CPU time: 14.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1327140 KiB
[startup+25.5003 s]
/proc/loadavg: 1.64 0.45 0.29 7/337 308279
/proc/meminfo: memFree=118737508/131524600 swapFree=131057784/131071996
[pid=308149] ppid=308146 vsize=19108176 memory=1329808 CPUtime=27.87 cores=5,7
/proc/308149/stat : 308149 (java) S 308146 308149 308122 0 -1 1077936128 42228 0 21 0 2756 31 0 0 20 0 20 0 30469219 19566772224 332452 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
/proc/308149/statm: 4777044 332452 5868 1 0 557669 0
[pid=308149/tid=308152] ppid=308146 vsize=19108176 memory=1327128 CPUtime=25.09 cores=5,7
/proc/308149/task/308152/stat : 308152 (java) R 308146 308149 308122 0 -1 4194368 11600 0 20 0 2486 23 0 0 20 0 20 0 30469219 19566772224 332452 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308163] ppid=308146 vsize=19108176 memory=-8744134932073980604 CPUtime=0 cores=5,7
/proc/308149/task/308163/stat : 308163 (Finalizer) S 308146 308149 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30469224 19566772224 332452 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308170] ppid=308146 vsize=19108176 memory=1332556 CPUtime=0 cores=5,7
/proc/308149/task/308170/stat : 308170 (Common-Cleaner) S 308146 308149 308122 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 30469224 19566772224 332452 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308212] ppid=308146 vsize=19108176 memory=12264 CPUtime=0 cores=5,7
/proc/308149/task/308212/stat : 308212 (Timer-0) S 308146 308149 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30469243 19566772224 332452 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
Current children cumulated CPU time: 27.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1329808 KiB
[startup+51.1063 s]
/proc/loadavg: 2.45 0.73 0.39 5/337 308282
/proc/meminfo: memFree=118026188/131524600 swapFree=131057784/131071996
[pid=308149] ppid=308146 vsize=19108176 memory=1340172 CPUtime=53.6 cores=5,7
/proc/308149/stat : 308149 (java) S 308146 308149 308122 0 -1 1077936128 52068 0 21 0 5326 34 0 0 20 0 20 0 30469219 19566772224 335043 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
/proc/308149/statm: 4777044 335043 5868 1 0 557669 0
[pid=308149/tid=308152] ppid=308146 vsize=19108176 memory=-8744136031585608380 CPUtime=50.44 cores=5,7
/proc/308149/task/308152/stat : 308152 (java) R 308146 308149 308122 0 -1 4194368 13706 0 20 0 5020 24 0 0 20 0 20 0 30469219 19566772224 335043 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
################
# More data... #
################
/proc/308149/task/308212/stat : 308212 (Timer-0) S 308146 308149 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30469243 19566772224 378761 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
Current children cumulated CPU time: 345.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1515044 KiB
[startup+367.986 s]
# the end of solver process 308149 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=370.701 s, system=0.556456 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+345.6 s]
/proc/loadavg: 4.20 2.90 1.43 5/331 308336
/proc/meminfo: memFree=115112756/131524600 swapFree=131057784/131071996
[pid=308149] ppid=308146 vsize=19108176 memory=1519140 CPUtime=348.77 cores=5,7
/proc/308149/stat : 308149 (java) S 308146 308149 308122 0 -1 1077936128 82802 0 21 0 34825 52 0 0 20 0 20 0 30469219 19566772224 379785 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
/proc/308149/statm: 4777044 379785 5868 1 0 557669 0
[pid=308149/tid=308152] ppid=308146 vsize=19108176 memory=11616 CPUtime=341.18 cores=5,7
/proc/308149/task/308152/stat : 308152 (java) R 308146 308149 308122 0 -1 4194368 27049 0 20 0 34092 26 0 0 20 0 20 0 30469219 19566772224 379785 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308163] ppid=308146 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/308149/task/308163/stat : 308163 (Finalizer) S 308146 308149 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30469224 19566772224 379785 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308170] ppid=308146 vsize=19108176 memory=31076 CPUtime=0 cores=5,7
/proc/308149/task/308170/stat : 308170 (Common-Cleaner) S 308146 308149 308122 0 -1 1077936192 293 0 0 0 0 0 0 0 20 0 20 0 30469224 19566772224 379785 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308212] ppid=308146 vsize=19108176 memory=1468802869952611161 CPUtime=0 cores=5,7
/proc/308149/task/308212/stat : 308212 (Timer-0) S 308146 308149 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30469243 19566772224 379785 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
Current children cumulated CPU time: 348.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1519140 KiB
[startup+358.4 s]
/proc/loadavg: 4.25 2.95 1.47 5/331 308339
/proc/meminfo: memFree=115042764/131524600 swapFree=131057784/131071996
[pid=308149] ppid=308146 vsize=19108176 memory=1529380 CPUtime=361.64 cores=5,7
/proc/308149/stat : 308149 (java) S 308146 308149 308122 0 -1 1077936128 85571 0 21 0 36110 54 0 0 20 0 20 0 30469219 19566772224 382345 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
/proc/308149/statm: 4777044 382345 5868 1 0 557669 0
[pid=308149/tid=308152] ppid=308146 vsize=19108176 memory=1469852 CPUtime=353.87 cores=5,7
/proc/308149/task/308152/stat : 308152 (java) R 308146 308149 308122 0 -1 4194368 27225 0 20 0 35361 26 0 0 20 0 20 0 30469219 19566772224 382345 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308163] ppid=308146 vsize=19108176 memory=1486292 CPUtime=0 cores=5,7
/proc/308149/task/308163/stat : 308163 (Finalizer) S 308146 308149 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30469224 19566772224 382345 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308170] ppid=308146 vsize=19108176 memory=1494496 CPUtime=0 cores=5,7
/proc/308149/task/308170/stat : 308170 (Common-Cleaner) S 308146 308149 308122 0 -1 1077936192 361 0 0 0 0 0 0 0 20 0 20 0 30469224 19566772224 382345 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308212] ppid=308146 vsize=19108176 memory=1506828 CPUtime=0 cores=5,7
/proc/308149/task/308212/stat : 308212 (Timer-0) S 308146 308149 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30469243 19566772224 382345 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
Current children cumulated CPU time: 361.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1529380 KiB
[startup+364.8 s]
/proc/loadavg: 4.21 2.99 1.50 6/331 308342
/proc/meminfo: memFree=115021892/131524600 swapFree=131057784/131071996
[pid=308149] ppid=308146 vsize=19108176 memory=1533504 CPUtime=368.05 cores=5,7
/proc/308149/stat : 308149 (java) S 308146 308149 308122 0 -1 1077936128 86317 0 21 0 36751 54 0 0 20 0 20 0 30469219 19566772224 383376 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
/proc/308149/statm: 4777044 383376 5868 1 0 557669 0
[pid=308149/tid=308152] ppid=308146 vsize=19108176 memory=5592 CPUtime=360.21 cores=5,7
/proc/308149/task/308152/stat : 308152 (java) R 308146 308149 308122 0 -1 4194368 27762 0 20 0 35995 26 0 0 20 0 20 0 30469219 19566772224 383376 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308163] ppid=308146 vsize=19108176 memory=16084 CPUtime=0 cores=5,7
/proc/308149/task/308163/stat : 308163 (Finalizer) S 308146 308149 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30469224 19566772224 383376 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308170] ppid=308146 vsize=19108176 memory=2248 CPUtime=0 cores=5,7
/proc/308149/task/308170/stat : 308170 (Common-Cleaner) S 308146 308149 308122 0 -1 1077936192 361 0 0 0 0 0 0 0 20 0 20 0 30469224 19566772224 383376 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308212] ppid=308146 vsize=19108176 memory=11616 CPUtime=0 cores=5,7
/proc/308149/task/308212/stat : 308212 (Timer-0) S 308146 308149 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30469243 19566772224 383376 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
Current children cumulated CPU time: 368.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1533504 KiB
[startup+366.4 s]
/proc/loadavg: 4.21 2.99 1.50 5/331 308342
/proc/meminfo: memFree=115021892/131524600 swapFree=131057784/131071996
[pid=308149] ppid=308146 vsize=19108176 memory=1533504 CPUtime=369.65 cores=5,7
/proc/308149/stat : 308149 (java) S 308146 308149 308122 0 -1 1077936128 86447 0 21 0 36911 54 0 0 20 0 20 0 30469219 19566772224 383376 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
/proc/308149/statm: 4777044 383376 5868 1 0 557669 0
[pid=308149/tid=308152] ppid=308146 vsize=19108176 memory=11616 CPUtime=361.8 cores=5,7
/proc/308149/task/308152/stat : 308152 (java) R 308146 308149 308122 0 -1 4194368 27890 0 20 0 36154 26 0 0 20 0 20 0 30469219 19566772224 383376 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308163] ppid=308146 vsize=19108176 memory=75776 CPUtime=0 cores=5,7
/proc/308149/task/308163/stat : 308163 (Finalizer) S 308146 308149 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30469224 19566772224 383376 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308170] ppid=308146 vsize=19108176 memory=1533504 CPUtime=0 cores=5,7
/proc/308149/task/308170/stat : 308170 (Common-Cleaner) S 308146 308149 308122 0 -1 1077936192 361 0 0 0 0 0 0 0 20 0 20 0 30469224 19566772224 383376 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308212] ppid=308146 vsize=19108176 memory=11268 CPUtime=0 cores=5,7
/proc/308149/task/308212/stat : 308212 (Timer-0) S 308146 308149 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30469243 19566772224 383376 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
Current children cumulated CPU time: 369.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1533504 KiB
[startup+367.2 s]
/proc/loadavg: 4.21 2.99 1.50 5/331 308342
/proc/meminfo: memFree=115021892/131524600 swapFree=131057784/131071996
[pid=308149] ppid=308146 vsize=19108176 memory=1533516 CPUtime=370.45 cores=5,7
/proc/308149/stat : 308149 (java) S 308146 308149 308122 0 -1 1077936128 86460 0 21 0 36991 54 0 0 20 0 20 0 30469219 19566772224 383379 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
/proc/308149/statm: 4777044 383379 5868 1 0 557669 0
[pid=308149/tid=308152] ppid=308146 vsize=19108176 memory=8088 CPUtime=362.56 cores=5,7
/proc/308149/task/308152/stat : 308152 (java) R 308146 308149 308122 0 -1 4194368 27890 0 20 0 36230 26 0 0 20 0 20 0 30469219 19566772224 383379 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308163] ppid=308146 vsize=19108176 memory=2212 CPUtime=0 cores=5,7
/proc/308149/task/308163/stat : 308163 (Finalizer) S 308146 308149 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30469224 19566772224 383379 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308170] ppid=308146 vsize=19108176 memory=3192 CPUtime=0 cores=5,7
/proc/308149/task/308170/stat : 308170 (Common-Cleaner) S 308146 308149 308122 0 -1 1077936192 361 0 0 0 0 0 0 0 20 0 20 0 30469224 19566772224 383379 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308212] ppid=308146 vsize=19108176 memory=1712 CPUtime=0 cores=5,7
/proc/308149/task/308212/stat : 308212 (Timer-0) S 308146 308149 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30469243 19566772224 383379 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
Current children cumulated CPU time: 370.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1533516 KiB
[startup+367.6 s]
/proc/loadavg: 4.21 2.99 1.50 5/331 308342
/proc/meminfo: memFree=115021892/131524600 swapFree=131057784/131071996
[pid=308149] ppid=308146 vsize=19108176 memory=1533516 CPUtime=370.85 cores=5,7
/proc/308149/stat : 308149 (java) S 308146 308149 308122 0 -1 1077936128 86460 0 21 0 37031 54 0 0 20 0 20 0 30469219 19566772224 383379 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
/proc/308149/statm: 4777044 383379 5868 1 0 557669 0
[pid=308149/tid=308152] ppid=308146 vsize=19108176 memory=75776 CPUtime=362.96 cores=5,7
/proc/308149/task/308152/stat : 308152 (java) R 308146 308149 308122 0 -1 4194368 27890 0 20 0 36270 26 0 0 20 0 20 0 30469219 19566772224 383379 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308163] ppid=308146 vsize=19108176 memory=12264 CPUtime=0 cores=5,7
/proc/308149/task/308163/stat : 308163 (Finalizer) S 308146 308149 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30469224 19566772224 383379 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308170] ppid=308146 vsize=19108176 memory=5592 CPUtime=0 cores=5,7
/proc/308149/task/308170/stat : 308170 (Common-Cleaner) S 308146 308149 308122 0 -1 1077936192 361 0 0 0 0 0 0 0 20 0 20 0 30469224 19566772224 383379 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308212] ppid=308146 vsize=19108176 memory=16084 CPUtime=0 cores=5,7
/proc/308149/task/308212/stat : 308212 (Timer-0) S 308146 308149 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30469243 19566772224 383379 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
Current children cumulated CPU time: 370.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1533516 KiB
[startup+367.8 s]
/proc/loadavg: 4.21 2.99 1.50 5/331 308342
/proc/meminfo: memFree=115021892/131524600 swapFree=131057784/131071996
[pid=308149] ppid=308146 vsize=19108176 memory=1533516 CPUtime=371.05 cores=5,7
/proc/308149/stat : 308149 (java) S 308146 308149 308122 0 -1 1077936128 86460 0 21 0 37051 54 0 0 20 0 20 0 30469219 19566772224 383379 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
/proc/308149/statm: 4777044 383379 5868 1 0 557669 0
[pid=308149/tid=308152] ppid=308146 vsize=19108176 memory=20296 CPUtime=363.16 cores=5,7
/proc/308149/task/308152/stat : 308152 (java) R 308146 308149 308122 0 -1 4194368 27890 0 20 0 36290 26 0 0 20 0 20 0 30469219 19566772224 383379 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308163] ppid=308146 vsize=19108176 memory=7020 CPUtime=0 cores=5,7
/proc/308149/task/308163/stat : 308163 (Finalizer) S 308146 308149 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30469224 19566772224 383379 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308170] ppid=308146 vsize=19108176 memory=7152 CPUtime=0 cores=5,7
/proc/308149/task/308170/stat : 308170 (Common-Cleaner) S 308146 308149 308122 0 -1 1077936192 361 0 0 0 0 0 0 0 20 0 20 0 30469224 19566772224 383379 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308212] ppid=308146 vsize=19108176 memory=27824 CPUtime=0 cores=5,7
/proc/308149/task/308212/stat : 308212 (Timer-0) S 308146 308149 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30469243 19566772224 383379 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
Current children cumulated CPU time: 371.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1533516 KiB
[startup+367.9 s]
/proc/loadavg: 4.21 2.99 1.50 5/331 308342
/proc/meminfo: memFree=115021892/131524600 swapFree=131057784/131071996
[pid=308149] ppid=308146 vsize=19108176 memory=1533516 CPUtime=371.15 cores=5,7
/proc/308149/stat : 308149 (java) S 308146 308149 308122 0 -1 1077936128 86461 0 21 0 37061 54 0 0 20 0 20 0 30469219 19566772224 383379 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
/proc/308149/statm: 4777044 383379 5868 1 0 557669 0
[pid=308149/tid=308152] ppid=308146 vsize=19108176 memory=1480092 CPUtime=363.26 cores=5,7
/proc/308149/task/308152/stat : 308152 (java) R 308146 308149 308122 0 -1 4194368 27891 0 20 0 36300 26 0 0 20 0 20 0 30469219 19566772224 383379 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308163] ppid=308146 vsize=19108176 memory=1525284 CPUtime=0 cores=5,7
/proc/308149/task/308163/stat : 308163 (Finalizer) S 308146 308149 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30469224 19566772224 383379 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308170] ppid=308146 vsize=19108176 memory=1521188 CPUtime=0 cores=5,7
/proc/308149/task/308170/stat : 308170 (Common-Cleaner) S 308146 308149 308122 0 -1 1077936192 361 0 0 0 0 0 0 0 20 0 20 0 30469224 19566772224 383379 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
[pid=308149/tid=308212] ppid=308146 vsize=19108176 memory=75776 CPUtime=0 cores=5,7
/proc/308149/task/308212/stat : 308212 (Timer-0) S 308146 308149 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30469243 19566772224 383379 134679101440 94809712570368 94809712574064 140720363920976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94809712581880 94809712582672 94809736118272 140720363922420 140720363922528 140720363922528 140720363929544 0
Current children cumulated CPU time: 371.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1533516 KiB
Child status: 1
Real time (s): 367.986
CPU time (s): 371.257
CPU user time (s): 370.701
CPU system time (s): 0.556456
CPU usage (%): 100.889
Max. virtual memory (cumulated for all children) (KiB): 19108928
Max. memory (cumulated for all children) (KiB): 1533516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 370.701
system time used= 0.556456
maximum resident set size= 1534772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88511
page faults= 21
swaps= 0
block input operations= 5472
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16776
involuntary context switches= 926
# summary of solver processes directly reported to runsolver:
# pid: 308149
# total CPU time (s): 371.257
# total CPU user time (s): 370.701
# total CPU system time (s): 0.556456
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.916406 second user time and 1.85635 second system time
The end
Begin job on nodeC024 at 2024-07-25 22:31:02 IDJOB=4459702 IDBENCH=148464 IDSOLVER=3052 FILE ID=nodeC024/4459702-1721939462 RUNJOBID= nodeC024-1721939462-308135 SLURM_JOB_ID= 8247245 Free space on /tmp= 890084 MiB SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=107-P1=13-P2=17-P3=127-P4=13-P5=53-P6=73-P7=59-B.opb COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459702-1721939462/watcher-4459702-1721939462 -o /tmp/evaluation-result-4459702-1721939462/solver-4459702-1721939462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721939462-308135 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4459702-1721939462.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d15a7b77594613e525f13087b0fed45e RANDOM SEED=1503976896 nodeC024.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 : 1899.842 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.87 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 : 2033.174 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.58 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 : 1981.374 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.87 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 : 2602.664 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.58 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 : 1375.978 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.87 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 : 3355.594 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.58 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 : 2134.798 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.87 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 : 3497.825 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.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126275192 kB MemAvailable: 129702860 kB Buffers: 330880 kB Cached: 3902876 kB SwapCached: 228 kB Active: 2619100 kB Inactive: 1981276 kB Active(anon): 3976 kB Inactive(anon): 416104 kB Active(file): 2615124 kB Inactive(file): 1565172 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131057784 kB Dirty: 2060 kB Writeback: 0 kB AnonPages: 365860 kB Mapped: 103604 kB Shmem: 53464 kB KReclaimable: 174388 kB Slab: 291684 kB SReclaimable: 174388 kB SUnreclaim: 117296 kB KernelStack: 3872 kB PageTables: 9776 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 662260 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20032 kB HardwareCorrupted: 0 kB AnonHugePages: 237568 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: 408276 kB DirectMap2M: 48648192 kB DirectMap1G: 87031808 kB Free space on /tmp at the end= 890080 MiB End job on nodeC024 at 2024-07-25 22:37:10