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 | -7 | 261.044 | 252.741 |
| Name | PB24/normalized-PB07/OPT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_3.opb |
| MD5SUM | ebac5252404fb179fdef7d7346a4bcb7 |
| 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 | -7 |
| Best CPU time to get the best result obtained on this benchmark | 49.9793 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 100 |
| Total number of constraints | 151 |
| Number of constraints which are clauses | 50 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 101 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 50 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 50 |
| Number of bits of the sum of numbers in the objective function | 6 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 2952 |
| Sum of products size (including duplicates) | 5904 |
| Number of different products | 1476 |
| Sum of products size | 2952 |
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 2104792832 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.15 c Pseudo Boolean Optimization by upper bound 0.13/0.15 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.13/0.15 c - never skip resolution steps 0.13/0.15 c - Auto-division on coefficients is disabled 0.13/0.15 c - No postprocessing 0.13/0.15 c - Conflict is considered as is when resolving 0.13/0.15 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.13/0.15 c - Weaken first using unassigned literals 0.13/0.15 c - Bump strategy: ALWAYS_ONE 0.13/0.15 c - Bumper: ASSIGNED 0.13/0.15 c --- Begin Solver configuration --- 0.13/0.15 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.13/0.15 c Learn all clauses as in MiniSAT 0.13/0.15 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.15 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.13/0.15 c No reason simplification 0.13/0.15 c Armin Biere (Picosat) restarts strategy 0.13/0.15 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.13/0.15 c timeout=2147483s 0.13/0.15 c DB Simplification allowed=false 0.13/0.15 c Listener: none 0.13/0.15 c --- End Solver configuration --- 0.13/0.15 c solving HOME/instance-4459909-1721939615.opb 0.13/0.15 c reading problem ... 0.13/0.15 c objective function found 0.33/0.25 c ... done. Wall clock time 0.087s. 0.33/0.25 c declared #vars 100 0.33/0.25 c internal #vars 1576 0.33/0.25 c #constraints 3104 0.33/0.25 c constraints type 0.33/0.25 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 50 0.33/0.25 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 102 0.33/0.25 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 1476 0.33/0.25 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1476 0.33/0.25 c 3104 constraints processed. 0.33/0.26 c objective function length is 50 literals 0.52/0.31 c SATISFIABLE 0.52/0.31 c OPTIMIZING... 0.52/0.31 c Got one! Elapsed wall clock time (in seconds):0.16 0.52/0.31 o -3 0.52/0.40 c Got one! Elapsed wall clock time (in seconds):0.242 0.52/0.40 o -4 0.90/0.56 c Got one! Elapsed wall clock time (in seconds):0.405 0.90/0.56 o -5 4.05/2.10 c Got one! Elapsed wall clock time (in seconds):1.951 4.05/2.11 o -6 10.76/8.10 c cleaning 3129 clauses out of 6267 with flag 0/6267 20.57/17.54 c cleaning 4545 clauses out of 9138 with flag 0/12267 27.13/24.02 c Got one! Elapsed wall clock time (in seconds):23.863 27.13/24.02 o -7 29.68/26.50 c cleaning 5024 clauses out of 10080 with flag 0/17754 40.09/36.90 c cleaning 5509 clauses out of 11055 with flag 0/23753 54.58/49.46 c cleaning 6251 clauses out of 12547 with flag 0/30754 71.65/66.11 c cleaning 7121 clauses out of 14295 with flag 0/38753 102.93/96.97 c cleaning 7978 clauses out of 16175 with flag 0/47754 128.97/122.69 c cleaning 8104 clauses out of 18196 with flag 0/57753 156.01/149.14 c cleaning 8378 clauses out of 21094 with flag 0/68755 188.31/181.04 c cleaning 8859 clauses out of 24714 with flag 0/80753 226.37/218.67 c cleaning 10204 clauses out of 28856 with flag 0/93754 260.98/252.71 c starts : 95 260.98/252.72 c conflicts : 105955 260.98/252.72 c decisions : 200028 260.98/252.72 c propagations : 12642348 260.98/252.72 c inspects : 323236731 260.98/252.72 c shortcuts : 0 260.98/252.72 c learnt literals : 0 260.98/252.72 c learnt binary clauses : 2 260.98/252.72 c learnt ternary clauses : 10 260.98/252.72 c learnt constraints : 105954 260.98/252.72 c ignored constraints : 0 260.98/252.72 c root simplifications : 0 260.98/252.72 c removed literals (reason simplification) : 0 260.98/252.72 c reason swapping (by a shorter reason) : 0 260.98/252.72 c Calls to reduceDB : 11 260.98/252.72 c Number of update (reduction) of LBD : 2 260.98/252.72 c Imported unit clauses : 0 260.98/252.72 c No decision after first conflict : false 260.98/252.72 c number of reductions to clauses (during analyze) : 0 260.98/252.72 c number of learned constraints concerned by reduction : 0 260.98/252.72 c number of learning phase by resolution : 0 260.98/252.72 c number of learning phase by cutting planes : 0 260.98/252.72 c number of rounding to 1 operations : 450066 260.98/252.72 c number of easy rounding to 1 operations (no literal elimination needed) : 0 260.98/252.72 c number of reductions of the coefficients by power 2 : 0 260.98/252.72 c number of right shift for reduction by power 2 : 0 260.98/252.72 c number of reductions of the coefficients by GCD over coefficients : 0 260.98/252.72 c number of ending skipping : 0 260.98/252.72 c number of internal skipping : 0 260.98/252.72 c number of derivation steps : 997487 260.98/252.72 c number of skipped derivation steps : 0 260.98/252.72 c number of remaining unassigned : 31911 260.98/252.72 c number of remaining assigned : 7385476 260.98/252.72 c number of falsified literals weakened from reason : 0 260.98/252.72 c number of falsified literals weakened from conflict : 0 260.98/252.72 c time for arithmetic operations : 1180577026 260.98/252.72 c minimum degree of deleted constraints : 4 260.98/252.72 c maximum degree of deleted constraints : 242972843634 260.98/252.72 c number of deleted constraints : 75102 260.98/252.72 c speed (assignments/second) : 50075.05109558439 260.98/252.72 c non guided choices : 58 260.98/252.72 s OPTIMUM FOUND 260.98/252.72 c Found 5 solution(s) 260.98/252.72 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 260.98/252.72 c objective function=-7 260.98/252.72 c Total wall clock time (in seconds): 252.571
OK -7
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 (59528 MiB free)
memory of node 1: 64473 MiB (50759 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459909-1721939615/watcher-4459909-1721939615 -o /tmp/evaluation-result-4459909-1721939615/solver-4459909-1721939615 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721939462-252722 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4459909-1721939615.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
Current StackSize limit: 8192 KiB
solver pid=252936, runsolver pid=252933
[startup+0.100433 s]*
/proc/loadavg: 3.97 1.85 0.89 7/330 252954
/proc/meminfo: memFree=112833296/131524600 swapFree=131055836/131071996
[pid=252936] ppid=252933 vsize=18975048 memory=66752 CPUtime=0.13 cores=0,2
/proc/252936/stat : 252936 (java) S 252933 252936 252712 0 -1 1077936128 7071 0 0 0 11 2 0 0 20 0 18 0 30491204 19430449152 16688 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
/proc/252936/statm: 4743762 16688 5706 1 0 549322 0
[pid=252936/tid=252938] ppid=252933 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/252936/task/252938/stat : 252938 (java) R 252933 252936 252712 0 -1 1077936192 5645 0 0 0 7 1 0 0 20 0 18 0 30491205 19430449152 16688 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252947] ppid=252933 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/252936/task/252947/stat : 252947 (Finalizer) S 252933 252936 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30491207 19430449152 16688 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252954] ppid=252933 vsize=18975048 memory=14131147602236477 CPUtime=0 cores=0,2
/proc/252936/task/252954/stat : 252954 (Common-Cleaner) S 252933 252936 252712 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30491208 19430449152 16688 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66752 KiB
[startup+0.206525 s]*
/proc/loadavg: 3.97 1.85 0.89 7/330 252954
/proc/meminfo: memFree=112822864/131524600 swapFree=131055836/131071996
[pid=252936] ppid=252933 vsize=18975048 memory=75560 CPUtime=0.33 cores=0,2
/proc/252936/stat : 252936 (java) S 252933 252936 252712 0 -1 1077936128 7620 0 0 0 31 2 0 0 20 0 18 0 30491204 19430449152 18890 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
/proc/252936/statm: 4743762 18890 5840 1 0 549690 0
[pid=252936/tid=252938] ppid=252933 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=0,2
/proc/252936/task/252938/stat : 252938 (java) R 252933 252936 252712 0 -1 4194368 5947 0 0 0 16 1 0 0 20 0 18 0 30491205 19430449152 18890 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252947] ppid=252933 vsize=18975048 memory=1416227 CPUtime=0 cores=0,2
/proc/252936/task/252947/stat : 252947 (Finalizer) S 252933 252936 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30491207 19430449152 18890 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252954] ppid=252933 vsize=18975048 memory=15537422972749500 CPUtime=0 cores=0,2
/proc/252936/task/252954/stat : 252954 (Common-Cleaner) S 252933 252936 252712 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30491208 19430449152 18890 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 75560 KiB
[startup+0.306404 s]*
/proc/loadavg: 3.97 1.85 0.89 7/331 252955
/proc/meminfo: memFree=112798768/131524600 swapFree=131055836/131071996
[pid=252936] ppid=252933 vsize=19041612 memory=101640 CPUtime=0.52 cores=0,2
/proc/252936/stat : 252936 (java) S 252933 252936 252712 0 -1 1077936128 8264 0 0 0 49 3 0 0 20 0 19 0 30491204 19498610688 25410 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
/proc/252936/statm: 4760403 25410 5885 1 0 550205 0
[pid=252936/tid=252938] ppid=252933 vsize=19041612 memory=-8960581518269063868 CPUtime=0.27 cores=0,2
/proc/252936/task/252938/stat : 252938 (java) R 252933 252936 252712 0 -1 4194368 6072 0 0 0 25 2 0 0 20 0 19 0 30491205 19498610688 25410 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252947] ppid=252933 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/252936/task/252947/stat : 252947 (Finalizer) S 252933 252936 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30491207 19498610688 25410 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252954] ppid=252933 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/252936/task/252954/stat : 252954 (Common-Cleaner) S 252933 252936 252712 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30491208 19498610688 25410 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252955] ppid=252933 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/252936/task/252955/stat : 252955 (Timer-0) S 252933 252936 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30491230 19498610688 25410 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 101640 KiB
[startup+0.706525 s]
/proc/loadavg: 3.97 1.85 0.89 7/331 252955
/proc/meminfo: memFree=112739536/131524600 swapFree=131055836/131071996
[pid=252936] ppid=252933 vsize=19108176 memory=175976 CPUtime=1.28 cores=0,2
/proc/252936/stat : 252936 (java) S 252933 252936 252712 0 -1 1077936128 12661 0 0 0 123 5 0 0 20 0 20 0 30491204 19566772224 43994 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
/proc/252936/statm: 4777044 43994 5885 1 0 552937 0
[pid=252936/tid=252938] ppid=252933 vsize=19108176 memory=12928 CPUtime=0.61 cores=0,2
/proc/252936/task/252938/stat : 252938 (java) R 252933 252936 252712 0 -1 4194368 6129 0 0 0 58 3 0 0 20 0 20 0 30491205 19566772224 43994 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252947] ppid=252933 vsize=19108176 memory=12928 CPUtime=0 cores=0,2
/proc/252936/task/252947/stat : 252947 (Finalizer) S 252933 252936 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30491207 19566772224 43994 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252954] ppid=252933 vsize=19108176 memory=117636 CPUtime=0 cores=0,2
/proc/252936/task/252954/stat : 252954 (Common-Cleaner) S 252933 252936 252712 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30491208 19566772224 43994 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252955] ppid=252933 vsize=19108176 memory=39048 CPUtime=0 cores=0,2
/proc/252936/task/252955/stat : 252955 (Timer-0) S 252933 252936 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30491230 19566772224 43994 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 175976 KiB
[startup+1.50053 s]
/proc/loadavg: 3.97 1.85 0.89 6/332 252956
/proc/meminfo: memFree=112700360/131524600 swapFree=131055836/131071996
[pid=252936] ppid=252933 vsize=19108176 memory=353304 CPUtime=2.85 cores=0,2
/proc/252936/stat : 252936 (java) S 252933 252936 252712 0 -1 1077936128 23438 0 0 0 275 10 0 0 20 0 20 0 30491204 19566772224 88326 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
/proc/252936/statm: 4777044 88326 5885 1 0 557681 0
[pid=252936/tid=252938] ppid=252933 vsize=19108176 memory=12928 CPUtime=1.35 cores=0,2
/proc/252936/task/252938/stat : 252938 (java) R 252933 252936 252712 0 -1 4194368 6282 0 0 0 129 6 0 0 20 0 20 0 30491205 19566772224 88326 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252947] ppid=252933 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/252936/task/252947/stat : 252947 (Finalizer) S 252933 252936 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30491207 19566772224 88326 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252954] ppid=252933 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/252936/task/252954/stat : 252954 (Common-Cleaner) S 252933 252936 252712 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30491208 19566772224 88326 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252955] ppid=252933 vsize=19108176 memory=65 CPUtime=0 cores=0,2
/proc/252936/task/252955/stat : 252955 (Timer-0) S 252933 252936 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30491230 19566772224 88326 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 353304 KiB
[startup+3.10564 s]
/proc/loadavg: 3.97 1.85 0.89 5/332 252956
/proc/meminfo: memFree=111985232/131524600 swapFree=131055836/131071996
[pid=252936] ppid=252933 vsize=19108176 memory=960180 CPUtime=5.77 cores=0,2
/proc/252936/stat : 252936 (java) S 252933 252936 252712 0 -1 1077936128 25528 0 0 0 554 23 0 0 20 0 20 0 30491204 19566772224 240045 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
/proc/252936/statm: 4777044 240045 5885 1 0 557687 0
[pid=252936/tid=252938] ppid=252933 vsize=19108176 memory=0 CPUtime=2.94 cores=0,2
/proc/252936/task/252938/stat : 252938 (java) R 252933 252936 252712 0 -1 4194368 7229 0 0 0 275 19 0 0 20 0 20 0 30491205 19566772224 240045 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252947] ppid=252933 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/252936/task/252947/stat : 252947 (Finalizer) S 252933 252936 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30491207 19566772224 240045 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252954] ppid=252933 vsize=19108176 memory=505104 CPUtime=0 cores=0,2
/proc/252936/task/252954/stat : 252954 (Common-Cleaner) S 252933 252936 252712 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30491208 19566772224 240045 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252955] ppid=252933 vsize=19108176 memory=12928 CPUtime=0 cores=0,2
/proc/252936/task/252955/stat : 252955 (Timer-0) S 252933 252936 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30491230 19566772224 240045 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
Current children cumulated CPU time: 5.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 960180 KiB
[startup+6.30028 s]
/proc/loadavg: 3.97 1.89 0.90 5/332 252957
/proc/meminfo: memFree=111599436/131524600 swapFree=131055836/131071996
[pid=252936] ppid=252933 vsize=19108176 memory=1281624 CPUtime=9.03 cores=0,2
/proc/252936/stat : 252936 (java) S 252933 252936 252712 0 -1 1077936128 27054 0 0 0 873 30 0 0 20 0 20 0 30491204 19566772224 320406 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
/proc/252936/statm: 4777044 320406 5885 1 0 557688 0
[pid=252936/tid=252938] ppid=252933 vsize=19108176 memory=12928 CPUtime=6.07 cores=0,2
/proc/252936/task/252938/stat : 252938 (java) R 252933 252936 252712 0 -1 4194368 7400 0 0 0 583 24 0 0 20 0 20 0 30491205 19566772224 320406 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252947] ppid=252933 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/252936/task/252947/stat : 252947 (Finalizer) S 252933 252936 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30491207 19566772224 320406 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252954] ppid=252933 vsize=19108176 memory=6225499060848513619 CPUtime=0 cores=0,2
/proc/252936/task/252954/stat : 252954 (Common-Cleaner) S 252933 252936 252712 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30491208 19566772224 320406 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252955] ppid=252933 vsize=19108176 memory=5476 CPUtime=0 cores=0,2
/proc/252936/task/252955/stat : 252955 (Timer-0) S 252933 252936 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30491230 19566772224 320406 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
Current children cumulated CPU time: 9.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1281624 KiB
[startup+12.7003 s]
/proc/loadavg: 3.98 1.92 0.92 5/332 252957
/proc/meminfo: memFree=111533416/131524600 swapFree=131055836/131071996
[pid=252936] ppid=252933 vsize=19108176 memory=1335148 CPUtime=15.68 cores=0,2
/proc/252936/stat : 252936 (java) S 252933 252936 252712 0 -1 1077936128 28866 0 0 0 1536 32 0 0 20 0 20 0 30491204 19566772224 333787 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
/proc/252936/statm: 4777044 333787 5885 1 0 557704 0
[pid=252936/tid=252938] ppid=252933 vsize=19108176 memory=0 CPUtime=12.4 cores=0,2
/proc/252936/task/252938/stat : 252938 (java) R 252933 252936 252712 0 -1 4194368 8540 0 0 0 1215 25 0 0 20 0 20 0 30491205 19566772224 333787 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252947] ppid=252933 vsize=19108176 memory=1335124 CPUtime=0 cores=0,2
/proc/252936/task/252947/stat : 252947 (Finalizer) S 252933 252936 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30491207 19566772224 333787 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252954] ppid=252933 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/252936/task/252954/stat : 252954 (Common-Cleaner) S 252933 252936 252712 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 30491208 19566772224 333787 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252955] ppid=252933 vsize=19108176 memory=16024 CPUtime=0 cores=0,2
/proc/252936/task/252955/stat : 252955 (Timer-0) S 252933 252936 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30491230 19566772224 333787 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
Current children cumulated CPU time: 15.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1335148 KiB
[startup+25.5003 s]
/proc/loadavg: 3.98 2.03 0.97 5/332 252960
/proc/meminfo: memFree=111351964/131524600 swapFree=131055836/131071996
[pid=252936] ppid=252933 vsize=19108176 memory=1351660 CPUtime=28.63 cores=0,2
/proc/252936/stat : 252936 (java) S 252933 252936 252712 0 -1 1077936128 34961 0 0 0 2829 34 0 0 20 0 20 0 30491204 19566772224 337915 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
/proc/252936/statm: 4777044 337915 5885 1 0 557704 0
[pid=252936/tid=252938] ppid=252933 vsize=19108176 memory=1335124 CPUtime=24.98 cores=0,2
/proc/252936/task/252938/stat : 252938 (java) R 252933 252936 252712 0 -1 4194368 10959 0 0 0 2473 25 0 0 20 0 20 0 30491205 19566772224 337915 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252947] ppid=252933 vsize=19108176 memory=16024 CPUtime=0 cores=0,2
/proc/252936/task/252947/stat : 252947 (Finalizer) S 252933 252936 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30491207 19566772224 337915 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252954] ppid=252933 vsize=19108176 memory=1347548 CPUtime=0 cores=0,2
/proc/252936/task/252954/stat : 252954 (Common-Cleaner) S 252933 252936 252712 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 30491208 19566772224 337915 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252955] ppid=252933 vsize=19108176 memory=11588 CPUtime=0 cores=0,2
/proc/252936/task/252955/stat : 252955 (Timer-0) S 252933 252936 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30491230 19566772224 337915 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
Current children cumulated CPU time: 28.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1351660 KiB
[startup+51.1057 s]
/proc/loadavg: 4.04 2.20 1.06 5/331 252964
/proc/meminfo: memFree=111010312/131524600 swapFree=131055836/131071996
[pid=252936] ppid=252933 vsize=19108176 memory=1388772 CPUtime=56.37 cores=0,2
/proc/252936/stat : 252936 (java) S 252933 252936 252712 0 -1 1077936128 49201 0 0 0 5599 38 0 0 20 0 20 0 30491204 19566772224 347193 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
/proc/252936/statm: 4777044 347193 5885 1 0 557818 0
[pid=252936/tid=252938] ppid=252933 vsize=19108176 memory=1364640 CPUtime=50.08 cores=0,2
/proc/252936/task/252938/stat : 252938 (java) R 252933 252936 252712 0 -1 4194368 13776 0 0 0 4982 26 0 0 20 0 20 0 30491205 19566772224 347193 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
################
# More data... #
################
/proc/252936/task/252955/stat : 252955 (Timer-0) S 252933 252936 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30491230 19566772224 526957 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
Current children cumulated CPU time: 230.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2107828 KiB
[startup+252.741 s]
# the end of solver process 252936 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=260.324 s, system=0.720223 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.23 3.13 1.62 5/331 252996
/proc/meminfo: memFree=108652496/131524600 swapFree=131055836/131071996
[pid=252936] ppid=252933 vsize=19108176 memory=2128308 CPUtime=238.3 cores=0,2
/proc/252936/stat : 252936 (java) S 252933 252936 252712 0 -1 1077936128 77862 0 0 0 23763 67 0 0 20 0 20 0 30491204 19566772224 532077 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
/proc/252936/statm: 4777044 532077 5885 1 0 664393 0
[pid=252936/tid=252938] ppid=252933 vsize=19108176 memory=2103732 CPUtime=225.53 cores=0,2
/proc/252936/task/252938/stat : 252938 (java) R 252933 252936 252712 0 -1 4194368 23981 0 0 0 22515 38 0 0 20 0 20 0 30491205 19566772224 532077 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252947] ppid=252933 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/252936/task/252947/stat : 252947 (Finalizer) S 252933 252936 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30491207 19566772224 532077 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252954] ppid=252933 vsize=19108176 memory=2122164 CPUtime=0 cores=0,2
/proc/252936/task/252954/stat : 252954 (Common-Cleaner) S 252933 252936 252712 0 -1 1077936192 194 0 0 0 0 0 0 0 20 0 20 0 30491208 19566772224 532077 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252955] ppid=252933 vsize=19108176 memory=-8960581518269063868 CPUtime=0 cores=0,2
/proc/252936/task/252955/stat : 252955 (Timer-0) S 252933 252936 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30491230 19566772224 532077 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
Current children cumulated CPU time: 238.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2128308 KiB
[startup+243.2 s]
/proc/loadavg: 4.19 3.16 1.65 5/331 252999
/proc/meminfo: memFree=108578520/131524600 swapFree=131055836/131071996
[pid=252936] ppid=252933 vsize=19108176 memory=2146872 CPUtime=251.3 cores=0,2
/proc/252936/stat : 252936 (java) S 252933 252936 252712 0 -1 1077936128 82787 0 0 0 25060 70 0 0 20 0 20 0 30491204 19566772224 536718 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
/proc/252936/statm: 4777044 536718 5885 1 0 664393 0
[pid=252936/tid=252938] ppid=252933 vsize=19108176 memory=68904 CPUtime=238.09 cores=0,2
/proc/252936/task/252938/stat : 252938 (java) R 252933 252936 252712 0 -1 4194368 24887 0 0 0 23771 38 0 0 20 0 20 0 30491205 19566772224 536718 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252947] ppid=252933 vsize=19108176 memory=2142772 CPUtime=0 cores=0,2
/proc/252936/task/252947/stat : 252947 (Finalizer) S 252933 252936 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30491207 19566772224 536718 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252954] ppid=252933 vsize=19108176 memory=16024 CPUtime=0 cores=0,2
/proc/252936/task/252954/stat : 252954 (Common-Cleaner) S 252933 252936 252712 0 -1 1077936192 194 0 0 0 0 0 0 0 20 0 20 0 30491208 19566772224 536718 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252955] ppid=252933 vsize=19108176 memory=5476 CPUtime=0 cores=0,2
/proc/252936/task/252955/stat : 252955 (Timer-0) S 252933 252936 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30491230 19566772224 536718 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
Current children cumulated CPU time: 251.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2146872 KiB
[startup+249.6 s]
/proc/loadavg: 4.24 3.20 1.68 5/331 253000
/proc/meminfo: memFree=108570184/131524600 swapFree=131055836/131071996
[pid=252936] ppid=252933 vsize=19108176 memory=2155112 CPUtime=257.82 cores=0,2
/proc/252936/stat : 252936 (java) S 252933 252936 252712 0 -1 1077936128 85531 0 0 0 25712 70 0 0 20 0 20 0 30491204 19566772224 538778 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
/proc/252936/statm: 4777044 538778 5885 1 0 664393 0
[pid=252936/tid=252938] ppid=252933 vsize=19108176 memory=68904 CPUtime=244.35 cores=0,2
/proc/252936/task/252938/stat : 252938 (java) R 252933 252936 252712 0 -1 4194368 25043 0 0 0 24397 38 0 0 20 0 20 0 30491205 19566772224 538778 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252947] ppid=252933 vsize=19108176 memory=12928 CPUtime=0 cores=0,2
/proc/252936/task/252947/stat : 252947 (Finalizer) S 252933 252936 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30491207 19566772224 538778 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252954] ppid=252933 vsize=19108176 memory=11588 CPUtime=0 cores=0,2
/proc/252936/task/252954/stat : 252954 (Common-Cleaner) S 252933 252936 252712 0 -1 1077936192 194 0 0 0 0 0 0 0 20 0 20 0 30491208 19566772224 538778 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252955] ppid=252933 vsize=19108176 memory=68904 CPUtime=0 cores=0,2
/proc/252936/task/252955/stat : 252955 (Timer-0) S 252933 252936 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30491230 19566772224 538778 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
Current children cumulated CPU time: 257.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2155112 KiB
[startup+251.2 s]
/proc/loadavg: 4.24 3.20 1.68 5/331 253000
/proc/meminfo: memFree=108565964/131524600 swapFree=131055836/131071996
[pid=252936] ppid=252933 vsize=19108176 memory=2159208 CPUtime=259.46 cores=0,2
/proc/252936/stat : 252936 (java) S 252933 252936 252712 0 -1 1077936128 85604 0 0 0 25876 70 0 0 20 0 20 0 30491204 19566772224 539802 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
/proc/252936/statm: 4777044 539802 5885 1 0 664393 0
[pid=252936/tid=252938] ppid=252933 vsize=19108176 memory=2159208 CPUtime=245.89 cores=0,2
/proc/252936/task/252938/stat : 252938 (java) R 252933 252936 252712 0 -1 4194368 25043 0 0 0 24551 38 0 0 20 0 20 0 30491205 19566772224 539802 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252947] ppid=252933 vsize=19108176 memory=2155112 CPUtime=0 cores=0,2
/proc/252936/task/252947/stat : 252947 (Finalizer) S 252933 252936 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30491207 19566772224 539802 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252954] ppid=252933 vsize=19108176 memory=68904 CPUtime=0 cores=0,2
/proc/252936/task/252954/stat : 252954 (Common-Cleaner) S 252933 252936 252712 0 -1 1077936192 255 0 0 0 0 0 0 0 20 0 20 0 30491208 19566772224 539802 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252955] ppid=252933 vsize=19108176 memory=11588 CPUtime=0 cores=0,2
/proc/252936/task/252955/stat : 252955 (Timer-0) S 252933 252936 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30491230 19566772224 539802 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
Current children cumulated CPU time: 259.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2159208 KiB
[startup+252 s]*
/proc/loadavg: 4.24 3.20 1.68 5/331 253000
/proc/meminfo: memFree=108565992/131524600 swapFree=131055836/131071996
[pid=252936] ppid=252933 vsize=19108176 memory=2159208 CPUtime=260.27 cores=0,2
/proc/252936/stat : 252936 (java) S 252933 252936 252712 0 -1 1077936128 85606 0 0 0 25957 70 0 0 20 0 20 0 30491204 19566772224 539802 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
/proc/252936/statm: 4777044 539802 5885 1 0 664393 0
[pid=252936/tid=252938] ppid=252933 vsize=19108176 memory=-8960581518269063868 CPUtime=246.7 cores=0,2
/proc/252936/task/252938/stat : 252938 (java) R 252933 252936 252712 0 -1 4194368 25045 0 0 0 24632 38 0 0 20 0 20 0 30491205 19566772224 539802 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252947] ppid=252933 vsize=19108176 memory=-7593488601785196407 CPUtime=0 cores=0,2
/proc/252936/task/252947/stat : 252947 (Finalizer) S 252933 252936 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30491207 19566772224 539802 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252954] ppid=252933 vsize=19108176 memory=43204 CPUtime=0 cores=0,2
/proc/252936/task/252954/stat : 252954 (Common-Cleaner) S 252933 252936 252712 0 -1 1077936192 255 0 0 0 0 0 0 0 20 0 20 0 30491208 19566772224 539802 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252955] ppid=252933 vsize=19108176 memory=28028 CPUtime=0 cores=0,2
/proc/252936/task/252955/stat : 252955 (Timer-0) S 252933 252936 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30491230 19566772224 539802 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
Current children cumulated CPU time: 260.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2159208 KiB
[startup+252.4 s]
/proc/loadavg: 4.24 3.20 1.68 5/331 253000
/proc/meminfo: memFree=108565992/131524600 swapFree=131055836/131071996
[pid=252936] ppid=252933 vsize=19108176 memory=2159208 CPUtime=260.66 cores=0,2
/proc/252936/stat : 252936 (java) S 252933 252936 252712 0 -1 1077936128 85606 0 0 0 25996 70 0 0 20 0 20 0 30491204 19566772224 539802 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
/proc/252936/statm: 4777044 539802 5885 1 0 664393 0
[pid=252936/tid=252938] ppid=252933 vsize=19108176 memory=-8960581518269063868 CPUtime=247.09 cores=0,2
/proc/252936/task/252938/stat : 252938 (java) R 252933 252936 252712 0 -1 4194368 25045 0 0 0 24671 38 0 0 20 0 20 0 30491205 19566772224 539802 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252947] ppid=252933 vsize=19108176 memory=39048 CPUtime=0 cores=0,2
/proc/252936/task/252947/stat : 252947 (Finalizer) S 252933 252936 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30491207 19566772224 539802 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252954] ppid=252933 vsize=19108176 memory=32692 CPUtime=0 cores=0,2
/proc/252936/task/252954/stat : 252954 (Common-Cleaner) S 252933 252936 252712 0 -1 1077936192 255 0 0 0 0 0 0 0 20 0 20 0 30491208 19566772224 539802 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252955] ppid=252933 vsize=19108176 memory=108 CPUtime=0 cores=0,2
/proc/252936/task/252955/stat : 252955 (Timer-0) S 252933 252936 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30491230 19566772224 539802 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
Current children cumulated CPU time: 260.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2159208 KiB
[startup+252.604 s]
/proc/loadavg: 4.24 3.20 1.68 5/331 253000
/proc/meminfo: memFree=108565992/131524600 swapFree=131055836/131071996
[pid=252936] ppid=252933 vsize=19108176 memory=2159220 CPUtime=260.87 cores=0,2
/proc/252936/stat : 252936 (java) S 252933 252936 252712 0 -1 1077936128 85885 0 0 0 26017 70 0 0 20 0 20 0 30491204 19566772224 539805 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
/proc/252936/statm: 4777044 539805 5885 1 0 664393 0
[pid=252936/tid=252938] ppid=252933 vsize=19108176 memory=39048 CPUtime=247.29 cores=0,2
/proc/252936/task/252938/stat : 252938 (java) R 252933 252936 252712 0 -1 4194368 25068 0 0 0 24691 38 0 0 20 0 20 0 30491205 19566772224 539805 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252947] ppid=252933 vsize=19108176 memory=32692 CPUtime=0 cores=0,2
/proc/252936/task/252947/stat : 252947 (Finalizer) S 252933 252936 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30491207 19566772224 539805 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252954] ppid=252933 vsize=19108176 memory=108 CPUtime=0 cores=0,2
/proc/252936/task/252954/stat : 252954 (Common-Cleaner) S 252933 252936 252712 0 -1 1077936192 255 0 0 0 0 0 0 0 20 0 20 0 30491208 19566772224 539805 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252955] ppid=252933 vsize=19108176 memory=5528 CPUtime=0 cores=0,2
/proc/252936/task/252955/stat : 252955 (Timer-0) S 252933 252936 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30491230 19566772224 539805 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
Current children cumulated CPU time: 260.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2159220 KiB
[startup+252.7 s]
/proc/loadavg: 4.24 3.20 1.68 5/331 253000
/proc/meminfo: memFree=108565992/131524600 swapFree=131055836/131071996
[pid=252936] ppid=252933 vsize=19108176 memory=2159228 CPUtime=260.98 cores=0,2
/proc/252936/stat : 252936 (java) S 252933 252936 252712 0 -1 1077936128 86122 0 0 0 26028 70 0 0 20 0 20 0 30491204 19566772224 539807 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
/proc/252936/statm: 4777044 539807 5885 1 0 664393 0
[pid=252936/tid=252938] ppid=252933 vsize=19108176 memory=2159208 CPUtime=247.39 cores=0,2
/proc/252936/task/252938/stat : 252938 (java) R 252933 252936 252712 0 -1 4194368 25076 0 0 0 24701 38 0 0 20 0 20 0 30491205 19566772224 539807 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252947] ppid=252933 vsize=19108176 memory=16024 CPUtime=0 cores=0,2
/proc/252936/task/252947/stat : 252947 (Finalizer) S 252933 252936 252712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30491207 19566772224 539807 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252954] ppid=252933 vsize=19108176 memory=2159208 CPUtime=0 cores=0,2
/proc/252936/task/252954/stat : 252954 (Common-Cleaner) S 252933 252936 252712 0 -1 1077936192 255 0 0 0 0 0 0 0 20 0 20 0 30491208 19566772224 539807 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
[pid=252936/tid=252955] ppid=252933 vsize=19108176 memory=6944656592455360604 CPUtime=0 cores=0,2
/proc/252936/task/252955/stat : 252955 (Timer-0) S 252933 252936 252712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30491230 19566772224 539807 134679101440 94166063378432 94166063382128 140732744380400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94166063389944 94166063390736 94166066597888 140732744385519 140732744385632 140732744385632 140732744392648 0
Current children cumulated CPU time: 260.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2159228 KiB
Child status: 30
Real time (s): 252.741
CPU time (s): 261.044
CPU user time (s): 260.324
CPU system time (s): 0.720223
CPU usage (%): 103.285
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2159228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 260.324
system time used= 0.720223
maximum resident set size= 2160712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88338
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12646
involuntary context switches= 2375
# summary of solver processes directly reported to runsolver:
# pid: 252936
# total CPU time (s): 261.044
# total CPU user time (s): 260.324
# total CPU system time (s): 0.720223
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.463775 second user time and 1.41087 second system time
The end
Begin job on nodeC033 at 2024-07-25 22:33:35 IDJOB=4459909 IDBENCH=148663 IDSOLVER=3046 FILE ID=nodeC033/4459909-1721939615 RUNJOBID= nodeC033-1721939462-252722 SLURM_JOB_ID= 8247253 Free space on /tmp= 890080 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_3.opb COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459909-1721939615/watcher-4459909-1721939615 -o /tmp/evaluation-result-4459909-1721939615/solver-4459909-1721939615 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721939462-252722 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4459909-1721939615.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ebac5252404fb179fdef7d7346a4bcb7 RANDOM SEED=694240006 nodeC033.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 : 3603.352 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.99 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 : 3613.767 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.76 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 : 3626.243 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.99 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.298 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.76 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 : 3634.288 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.99 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 : 3613.792 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.76 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 : 3611.600 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.99 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.999 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.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 112965272 kB MemAvailable: 116818112 kB Buffers: 332988 kB Cached: 4317524 kB SwapCached: 300 kB Active: 2550208 kB Inactive: 15322292 kB Active(anon): 2236 kB Inactive(anon): 13272488 kB Active(file): 2547972 kB Inactive(file): 2049804 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131055836 kB Dirty: 1000 kB Writeback: 0 kB AnonPages: 13221208 kB Mapped: 129264 kB Shmem: 53064 kB KReclaimable: 189772 kB Slab: 306964 kB SReclaimable: 189772 kB SUnreclaim: 117192 kB KernelStack: 4988 kB PageTables: 36032 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 19237396 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16704 kB HardwareCorrupted: 0 kB AnonHugePages: 12875776 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: 391892 kB DirectMap2M: 39227392 kB DirectMap1G: 96468992 kB Free space on /tmp at the end= 890080 MiB End job on nodeC033 at 2024-07-25 22:37:48