Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution Default 2024-07-07 | OPT | 12 | 19.0467 | 16.9505 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g7x7.opb |
| MD5SUM | 9bebbb2f3ef932ac86719feab6e824eb |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 12 |
| Best CPU time to get the best result obtained on this benchmark | 0.005159 |
| 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 | 49 |
| Total number of constraints | 49 |
| Number of constraints which are clauses | 49 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 49 |
| 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 | 49 |
| 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 | 49 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.06 c version CUSTOM.v20240707 0.00/0.07 c java.runtime.name OpenJDK Runtime Environment 0.00/0.07 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.07 c java.vm.version 22.0.1+8-16 0.00/0.07 c java.vm.vendor Oracle Corporation 0.00/0.07 c sun.arch.data.model 64 0.00/0.07 c java.version 22.0.1 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.07 c os.arch amd64 0.00/0.08 c Free memory 2106806208 0.00/0.08 c Max memory 16282288128 0.00/0.08 c Total memory 2113929216 0.00/0.08 c Number of processors 2 0.15/0.11 --- Begin Solver configuration --- 0.15/0.11 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.15/0.11 Learn all clauses as in MiniSAT 0.15/0.11 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.15/0.11 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.15/0.11 No reason simplification 0.15/0.11 Glucose 2.1 dynamic restart strategy 0.15/0.11 Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.15/0.11 timeout=2147483s 0.15/0.11 DB Simplification allowed=false 0.15/0.11 Listener: none 0.15/0.11 --- End Solver configuration --- 0.15/0.11 c Pseudo Boolean Optimization by upper bound 0.15/0.11 c --- Begin Solver configuration --- 0.15/0.11 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.15/0.11 c Learn all clauses as in MiniSAT 0.15/0.11 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.15/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.15/0.11 c No reason simplification 0.15/0.11 c Glucose 2.1 dynamic restart strategy 0.15/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.15/0.11 c timeout=2147483s 0.15/0.11 c DB Simplification allowed=false 0.15/0.11 c Listener: none 0.15/0.11 c --- End Solver configuration --- 0.15/0.11 c solving HOME/instance-4432221-1721077658.opb 0.15/0.11 c reading problem ... 0.15/0.12 c objective function found 0.15/0.13 c ... done. Wall clock time 0.012s. 0.15/0.13 c declared #vars 49 0.15/0.13 c #constraints 49 0.15/0.13 c constraints type 0.15/0.13 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 49 0.15/0.13 c 49 constraints processed. 0.15/0.14 c objective function length is 49 literals 0.15/0.14 c SATISFIABLE 0.15/0.14 c OPTIMIZING... 0.15/0.14 c Got one! Elapsed wall clock time (in seconds):0.026 0.15/0.14 o 17 0.15/0.15 c Got one! Elapsed wall clock time (in seconds):0.031 0.15/0.15 o 16 0.15/0.15 c Got one! Elapsed wall clock time (in seconds):0.033 0.15/0.15 o 15 0.15/0.17 c Got one! Elapsed wall clock time (in seconds):0.054 0.15/0.17 o 14 0.53/0.31 c cleaning 2726 clauses out of 5451 with flag 12006/5451 0.73/0.43 c cleaning 4361 clauses out of 8726 with flag 25625/11452 0.73/0.44 c Got one! Elapsed wall clock time (in seconds):0.322 0.73/0.44 o 13 0.93/0.54 c cleaning 4760 clauses out of 9520 with flag 11712/16607 1.11/0.62 c cleaning 5379 clauses out of 10760 with flag 25315/22607 1.29/0.72 c cleaning 6188 clauses out of 12380 with flag 41009/29606 1.50/0.81 c cleaning 7096 clauses out of 14193 with flag 59680/37607 1.50/0.89 c cleaning 8045 clauses out of 16096 with flag 80551/46606 1.80/1.00 c cleaning 9023 clauses out of 18051 with flag 102975/56606 1.90/1.13 c cleaning 10011 clauses out of 20028 with flag 127688/67606 2.10/1.30 c cleaning 11008 clauses out of 22017 with flag 154928/79606 2.20/1.46 c cleaning 12003 clauses out of 24009 with flag 185193/92606 2.40/1.65 c cleaning 12995 clauses out of 26006 with flag 217474/106606 2.60/1.87 c cleaning 14004 clauses out of 28012 with flag 251972/121607 3.10/2.10 c cleaning 15001 clauses out of 30008 with flag 287929/137607 3.30/2.36 c cleaning 16003 clauses out of 32007 with flag 326681/154607 3.60/2.64 c cleaning 16999 clauses out of 34004 with flag 368830/172607 3.90/2.96 c cleaning 17994 clauses out of 36004 with flag 413720/191606 4.22/3.29 c cleaning 19003 clauses out of 38011 with flag 459541/211607 4.52/3.59 c cleaning 20002 clauses out of 40008 with flag 506919/232607 4.93/3.96 c cleaning 20998 clauses out of 42005 with flag 558173/254606 5.37/4.38 c cleaning 22000 clauses out of 44007 with flag 612432/277606 5.87/4.83 c cleaning 23003 clauses out of 46007 with flag 669420/301606 6.37/5.33 c cleaning 24000 clauses out of 48004 with flag 726021/326606 6.87/5.84 c cleaning 24999 clauses out of 50004 with flag 787803/352606 7.47/6.48 c cleaning 25999 clauses out of 52006 with flag 850801/379607 8.07/7.02 c cleaning 27000 clauses out of 54006 with flag 915964/407606 8.78/7.77 c cleaning 28000 clauses out of 56007 with flag 983623/436607 9.48/8.47 c cleaning 29000 clauses out of 58006 with flag 1053509/466606 10.37/9.37 c cleaning 29999 clauses out of 60007 with flag 1127865/497607 11.27/10.22 c cleaning 31003 clauses out of 62007 with flag 1204800/529606 12.42/11.08 c cleaning 32001 clauses out of 64005 with flag 1282906/562607 13.64/12.08 c cleaning 33001 clauses out of 66004 with flag 1364529/596607 14.57/12.88 c cleaning 34000 clauses out of 68004 with flag 1446422/631608 15.17/13.43 c Got one! Elapsed wall clock time (in seconds):13.32 15.17/13.43 o 12 15.57/13.82 c cleaning 36083 clauses out of 72173 with flag 11949/669777 15.78/14.01 c cleaning 21043 clauses out of 42090 with flag 25719/675777 15.88/14.12 c cleaning 14019 clauses out of 28047 with flag 41453/682777 15.97/14.23 c cleaning 11011 clauses out of 22029 with flag 59780/690778 16.07/14.33 c cleaning 10007 clauses out of 20017 with flag 80172/699777 16.17/14.42 c cleaning 10005 clauses out of 20010 with flag 102570/709777 16.27/14.54 c cleaning 10496 clauses out of 21005 with flag 128470/720777 16.37/14.67 c cleaning 11254 clauses out of 22509 with flag 155938/732777 16.57/14.82 c cleaning 12125 clauses out of 24256 with flag 185919/745778 16.67/14.99 c cleaning 13065 clauses out of 26132 with flag 219135/759779 17.11/15.25 c cleaning 14032 clauses out of 28068 with flag 255736/774781 17.40/15.44 c cleaning 15013 clauses out of 30032 with flag 293456/790777 17.66/15.68 c cleaning 16008 clauses out of 32019 with flag 334399/807777 17.98/15.97 c cleaning 17001 clauses out of 34010 with flag 376594/825777 18.38/16.30 c cleaning 18002 clauses out of 36009 with flag 422312/844778 18.68/16.62 c cleaning 19003 clauses out of 38006 with flag 470698/864777 18.98/16.91 c starts : 143 18.98/16.92 c conflicts : 881474 18.98/16.92 c decisions : 1292109 18.98/16.92 c propagations : 6046578 18.98/16.92 c inspects : 227000324 18.98/16.92 c shortcuts : 0 18.98/16.92 c learnt literals : 18 18.98/16.92 c learnt binary clauses : 18 18.98/16.92 c learnt ternary clauses : 33 18.98/16.92 c learnt constraints : 881455 18.98/16.92 c ignored constraints : 0 18.98/16.92 c root simplifications : 0 18.98/16.92 c removed literals (reason simplification) : 0 18.98/16.92 c reason swapping (by a shorter reason) : 0 18.98/16.92 c Calls to reduceDB : 49 18.98/16.92 c Number of update (reduction) of LBD : 84884 18.98/16.92 c Imported unit clauses : 0 18.98/16.92 c No decision after first conflict : false 18.98/16.92 c number of reductions to clauses (during analyze) : 0 18.98/16.92 c number of learned constraints concerned by reduction : 0 18.98/16.92 c number of learning phase by resolution : 0 18.98/16.92 c number of learning phase by cutting planes : 0 18.98/16.92 c number of rounding to 1 operations : 0 18.98/16.92 c number of easy rounding to 1 operations (no literal elimination needed) : 0 18.98/16.92 c number of reductions of the coefficients by power 2 : 0 18.98/16.92 c number of right shift for reduction by power 2 : 0 18.98/16.92 c number of reductions of the coefficients by GCD over coefficients : 0 18.98/16.92 c number of ending skipping : 0 18.98/16.92 c number of internal skipping : 0 18.98/16.92 c number of derivation steps : 0 18.98/16.92 c number of skipped derivation steps : 0 18.98/16.92 c number of remaining unassigned : 0 18.98/16.92 c number of remaining assigned : 0 18.98/16.92 c number of falsified literals weakened from reason : 0 18.98/16.92 c number of falsified literals weakened from conflict : 0 18.98/16.92 c time for arithmetic operations : 0 18.98/16.92 c minimum degree of deleted constraints : null 18.98/16.92 c maximum degree of deleted constraints : null 18.98/16.92 c number of deleted constraints : 0 18.98/16.92 c speed (assignments/second) : 360301.3943510905 18.98/16.92 c non guided choices : 0 18.98/16.92 s OPTIMUM FOUND 18.98/16.92 c Found 6 solution(s) 18.98/16.92 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 18.98/16.92 c objective function=12 18.98/16.92 c Total wall clock time (in seconds): 16.809
OK 12
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 (56934 MiB free)
memory of node 1: 64473 MiB (61161 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432221-1721077658/watcher-4432221-1721077658 -o /tmp/evaluation-result-4432221-1721077658/solver-4432221-1721077658 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721070467-815593 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432221-1721077658.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=821055, runsolver pid=821052
[startup+0.10269 s]*
/proc/loadavg: 4.39 4.28 4.31 5/328 821073
/proc/meminfo: memFree=120887660/131524600 swapFree=131071996/131071996
[pid=821055] ppid=821052 vsize=18975048 memory=62564 CPUtime=0.15 cores=4,6
/proc/821055/stat : 821055 (java) S 821052 821055 815582 0 -1 1077936128 7272 0 0 0 13 2 0 0 20 0 18 0 159929308 19430449152 15641 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
/proc/821055/statm: 4743762 15641 5526 1 0 549345 0
[pid=821055/tid=821057] ppid=821052 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/821055/task/821057/stat : 821057 (java) R 821052 821055 815582 0 -1 4194368 5770 0 0 0 7 1 0 0 20 0 18 0 159929308 19430449152 15641 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821066] ppid=821052 vsize=18975048 memory=228556276070 CPUtime=0 cores=4,6
/proc/821055/task/821066/stat : 821066 (Finalizer) S 821052 821055 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159929311 19430449152 15641 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821073] ppid=821052 vsize=18975048 memory=16102567654487328 CPUtime=0 cores=4,6
/proc/821055/task/821073/stat : 821073 (Common-Cleaner) S 821052 821055 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 159929311 19430449152 15641 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62564 KiB
[startup+0.205738 s]*
/proc/loadavg: 4.39 4.28 4.31 7/329 821074
/proc/meminfo: memFree=120881620/131524600 swapFree=131071996/131071996
[pid=821055] ppid=821052 vsize=19041612 memory=69784 CPUtime=0.34 cores=4,6
/proc/821055/stat : 821055 (java) S 821052 821055 815582 0 -1 1077936128 9066 0 0 0 31 3 0 0 20 0 19 0 159929308 19498610688 17446 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
/proc/821055/statm: 4760403 17446 5873 1 0 550459 0
[pid=821055/tid=821057] ppid=821052 vsize=19041612 memory=4782652875487838339 CPUtime=0.19 cores=4,6
/proc/821055/task/821057/stat : 821057 (java) R 821052 821055 815582 0 -1 4194368 6007 0 0 0 17 2 0 0 20 0 19 0 159929308 19498610688 17446 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821066] ppid=821052 vsize=19041612 memory=1623 CPUtime=0 cores=4,6
/proc/821055/task/821066/stat : 821066 (Finalizer) S 821052 821055 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159929311 19498610688 17446 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821073] ppid=821052 vsize=19041612 memory=14695192770905705 CPUtime=0 cores=4,6
/proc/821055/task/821073/stat : 821073 (Common-Cleaner) S 821052 821055 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159929311 19498610688 17446 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821074] ppid=821052 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/821055/task/821074/stat : 821074 (Timer-0) S 821052 821055 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159929322 19498610688 17446 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69784 KiB
[startup+0.306267 s]*
/proc/loadavg: 4.39 4.28 4.31 7/329 821074
/proc/meminfo: memFree=120876796/131524600 swapFree=131071996/131071996
[pid=821055] ppid=821052 vsize=19041612 memory=74348 CPUtime=0.53 cores=4,6
/proc/821055/stat : 821055 (java) S 821052 821055 815582 0 -1 1077936128 9721 0 0 0 50 3 0 0 20 0 19 0 159929308 19498610688 18587 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
/proc/821055/statm: 4760403 18587 5873 1 0 551031 0
[pid=821055/tid=821057] ppid=821052 vsize=19041612 memory=-9032086062303126204 CPUtime=0.29 cores=4,6
/proc/821055/task/821057/stat : 821057 (java) R 821052 821055 815582 0 -1 4194368 6052 0 0 0 27 2 0 0 20 0 19 0 159929308 19498610688 18587 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821066] ppid=821052 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/821055/task/821066/stat : 821066 (Finalizer) S 821052 821055 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159929311 19498610688 18587 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821073] ppid=821052 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/821055/task/821073/stat : 821073 (Common-Cleaner) S 821052 821055 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159929311 19498610688 18587 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821074] ppid=821052 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/821055/task/821074/stat : 821074 (Timer-0) S 821052 821055 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159929322 19498610688 18587 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 74348 KiB
[startup+0.701268 s]
/proc/loadavg: 4.39 4.28 4.31 7/329 821074
/proc/meminfo: memFree=120744612/131524600 swapFree=131071996/131071996
[pid=821055] ppid=821052 vsize=19041612 memory=88288 CPUtime=1.29 cores=4,6
/proc/821055/stat : 821055 (java) S 821052 821055 815582 0 -1 1077936128 11555 0 0 0 126 3 0 0 20 0 19 0 159929308 19498610688 22072 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
/proc/821055/statm: 4760403 22072 5873 1 0 552366 0
[pid=821055/tid=821057] ppid=821052 vsize=19041612 memory=41036 CPUtime=0.67 cores=4,6
/proc/821055/task/821057/stat : 821057 (java) R 821052 821055 815582 0 -1 4194368 6064 0 0 0 65 2 0 0 20 0 19 0 159929308 19498610688 22072 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821066] ppid=821052 vsize=19041612 memory=12292 CPUtime=0 cores=4,6
/proc/821055/task/821066/stat : 821066 (Finalizer) S 821052 821055 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159929311 19498610688 22072 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821073] ppid=821052 vsize=19041612 memory=2236 CPUtime=0 cores=4,6
/proc/821055/task/821073/stat : 821073 (Common-Cleaner) S 821052 821055 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159929311 19498610688 22072 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821074] ppid=821052 vsize=19041612 memory=5484 CPUtime=0 cores=4,6
/proc/821055/task/821074/stat : 821074 (Timer-0) S 821052 821055 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159929322 19498610688 22072 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 88288 KiB
[startup+1.50029 s]
/proc/loadavg: 4.39 4.28 4.31 5/329 821074
/proc/meminfo: memFree=120389816/131524600 swapFree=131071996/131071996
[pid=821055] ppid=821052 vsize=19041612 memory=104244 CPUtime=2.3 cores=4,6
/proc/821055/stat : 821055 (java) S 821052 821055 815582 0 -1 1077936128 12744 0 0 0 226 4 0 0 20 0 19 0 159929308 19498610688 26061 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
/proc/821055/statm: 4760403 26061 5873 1 0 552744 0
[pid=821055/tid=821057] ppid=821052 vsize=19041612 memory=12292 CPUtime=1.46 cores=4,6
/proc/821055/task/821057/stat : 821057 (java) R 821052 821055 815582 0 -1 4194368 6385 0 0 0 144 2 0 0 20 0 19 0 159929308 19498610688 26061 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821066] ppid=821052 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/821055/task/821066/stat : 821066 (Finalizer) S 821052 821055 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159929311 19498610688 26061 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821073] ppid=821052 vsize=19041612 memory=2236 CPUtime=0 cores=4,6
/proc/821055/task/821073/stat : 821073 (Common-Cleaner) S 821052 821055 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159929311 19498610688 26061 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821074] ppid=821052 vsize=19041612 memory=5484 CPUtime=0 cores=4,6
/proc/821055/task/821074/stat : 821074 (Timer-0) S 821052 821055 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159929322 19498610688 26061 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 104244 KiB
[startup+3.10587 s]
/proc/loadavg: 4.35 4.27 4.31 5/329 821074
/proc/meminfo: memFree=119424860/131524600 swapFree=131071996/131071996
[pid=821055] ppid=821052 vsize=19041612 memory=127528 CPUtime=4.11 cores=4,6
/proc/821055/stat : 821055 (java) S 821052 821055 815582 0 -1 1077936128 16618 0 0 0 407 4 0 0 20 0 19 0 159929308 19498610688 31882 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
/proc/821055/statm: 4760403 31882 5885 1 0 552836 0
[pid=821055/tid=821057] ppid=821052 vsize=19041612 memory=0 CPUtime=3.07 cores=4,6
/proc/821055/task/821057/stat : 821057 (java) R 821052 821055 815582 0 -1 4194368 6687 0 0 0 304 3 0 0 20 0 19 0 159929308 19498610688 31882 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821066] ppid=821052 vsize=19041612 memory=-9032086062303126204 CPUtime=0 cores=4,6
/proc/821055/task/821066/stat : 821066 (Finalizer) S 821052 821055 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159929311 19498610688 31882 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821073] ppid=821052 vsize=19041612 memory=12292 CPUtime=0 cores=4,6
/proc/821055/task/821073/stat : 821073 (Common-Cleaner) S 821052 821055 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159929311 19498610688 31882 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821074] ppid=821052 vsize=19041612 memory=2236 CPUtime=0 cores=4,6
/proc/821055/task/821074/stat : 821074 (Timer-0) S 821052 821055 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159929322 19498610688 31882 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
Current children cumulated CPU time: 4.11 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 127528 KiB
[startup+6.30028 s]
/proc/loadavg: 4.35 4.27 4.31 6/329 821074
/proc/meminfo: memFree=119040364/131524600 swapFree=131071996/131071996
[pid=821055] ppid=821052 vsize=19041612 memory=160736 CPUtime=7.37 cores=4,6
/proc/821055/stat : 821055 (java) S 821052 821055 815582 0 -1 1077936128 16793 0 0 0 732 5 0 0 20 0 19 0 159929308 19498610688 40184 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
/proc/821055/statm: 4760403 40184 5885 1 0 552836 0
[pid=821055/tid=821057] ppid=821052 vsize=19041612 memory=12292 CPUtime=6.25 cores=4,6
/proc/821055/task/821057/stat : 821057 (java) R 821052 821055 815582 0 -1 4194368 6828 0 0 0 622 3 0 0 20 0 19 0 159929308 19498610688 40184 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821066] ppid=821052 vsize=19041612 memory=2236 CPUtime=0 cores=4,6
/proc/821055/task/821066/stat : 821066 (Finalizer) S 821052 821055 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159929311 19498610688 40184 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821073] ppid=821052 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/821055/task/821073/stat : 821073 (Common-Cleaner) S 821052 821055 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159929311 19498610688 40184 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821074] ppid=821052 vsize=19041612 memory=106292 CPUtime=0 cores=4,6
/proc/821055/task/821074/stat : 821074 (Timer-0) S 821052 821055 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159929322 19498610688 40184 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
Current children cumulated CPU time: 7.37 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 160736 KiB
[startup+12.7003 s]
/proc/loadavg: 4.30 4.26 4.31 6/330 821077
/proc/meminfo: memFree=117450240/131524600 swapFree=131071996/131071996
[pid=821055] ppid=821052 vsize=19108176 memory=193720 CPUtime=14.36 cores=4,6
/proc/821055/stat : 821055 (java) S 821052 821055 815582 0 -1 1077936128 34249 0 0 0 1429 7 0 0 20 0 20 0 159929308 19566772224 48430 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
/proc/821055/statm: 4777044 48430 5933 1 0 556186 0
[pid=821055/tid=821057] ppid=821052 vsize=19108176 memory=106292 CPUtime=12.63 cores=4,6
/proc/821055/task/821057/stat : 821057 (java) R 821052 821055 815582 0 -1 4194368 8218 0 0 0 1259 4 0 0 20 0 20 0 159929308 19566772224 48430 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821066] ppid=821052 vsize=19108176 memory=190772 CPUtime=0 cores=4,6
/proc/821055/task/821066/stat : 821066 (Finalizer) S 821052 821055 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159929311 19566772224 48430 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821073] ppid=821052 vsize=19108176 memory=177572 CPUtime=0 cores=4,6
/proc/821055/task/821073/stat : 821073 (Common-Cleaner) S 821052 821055 815582 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 159929311 19566772224 48430 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821074] ppid=821052 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/821055/task/821074/stat : 821074 (Timer-0) S 821052 821055 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159929322 19566772224 48430 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
Current children cumulated CPU time: 14.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 193720 KiB
[startup+16.9504 s]
# the end of solver process 821055 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=18.9583 s, system=0.088414 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8073 s]
/proc/loadavg: 4.30 4.26 4.31 6/330 821077
/proc/meminfo: memFree=117450240/131524600 swapFree=131071996/131071996
[pid=821055] ppid=821052 vsize=19108176 memory=193756 CPUtime=14.57 cores=4,6
/proc/821055/stat : 821055 (java) S 821052 821055 815582 0 -1 1077936128 34419 0 0 0 1450 7 0 0 20 0 20 0 159929308 19566772224 48439 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
/proc/821055/statm: 4777044 48439 5933 1 0 556186 0
[pid=821055/tid=821057] ppid=821052 vsize=19108176 memory=0 CPUtime=12.74 cores=4,6
/proc/821055/task/821057/stat : 821057 (java) R 821052 821055 815582 0 -1 4194368 8218 0 0 0 1270 4 0 0 20 0 20 0 159929308 19566772224 48439 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821066] ppid=821052 vsize=19108176 memory=2236 CPUtime=0 cores=4,6
/proc/821055/task/821066/stat : 821066 (Finalizer) S 821052 821055 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159929311 19566772224 48439 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821073] ppid=821052 vsize=19108176 memory=5484 CPUtime=0 cores=4,6
/proc/821055/task/821073/stat : 821073 (Common-Cleaner) S 821052 821055 815582 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 159929311 19566772224 48439 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821074] ppid=821052 vsize=19108176 memory=1888 CPUtime=0 cores=4,6
/proc/821055/task/821074/stat : 821074 (Timer-0) S 821052 821055 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159929322 19566772224 48439 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
Current children cumulated CPU time: 14.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 193756 KiB
[startup+14.4002 s]
/proc/loadavg: 4.30 4.26 4.31 6/330 821077
/proc/meminfo: memFree=116859212/131524600 swapFree=131071996/131071996
[pid=821055] ppid=821052 vsize=19108176 memory=193776 CPUtime=16.17 cores=4,6
/proc/821055/stat : 821055 (java) S 821052 821055 815582 0 -1 1077936128 35379 0 0 0 1610 7 0 0 20 0 20 0 159929308 19566772224 48444 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
/proc/821055/statm: 4777044 48444 5933 1 0 556186 0
[pid=821055/tid=821057] ppid=821052 vsize=19108176 memory=39408 CPUtime=14.33 cores=4,6
/proc/821055/task/821057/stat : 821057 (java) R 821052 821055 815582 0 -1 4194368 8872 0 0 0 1429 4 0 0 20 0 20 0 159929308 19566772224 48444 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821066] ppid=821052 vsize=19108176 memory=32412 CPUtime=0 cores=4,6
/proc/821055/task/821066/stat : 821066 (Finalizer) S 821052 821055 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159929311 19566772224 48444 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821073] ppid=821052 vsize=19108176 memory=-9032086062303126204 CPUtime=0 cores=4,6
/proc/821055/task/821073/stat : 821073 (Common-Cleaner) S 821052 821055 815582 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 159929311 19566772224 48444 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821074] ppid=821052 vsize=19108176 memory=12292 CPUtime=0 cores=4,6
/proc/821055/task/821074/stat : 821074 (Timer-0) S 821052 821055 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159929322 19566772224 48444 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
Current children cumulated CPU time: 16.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 193776 KiB
[startup+16.0003 s]*
/proc/loadavg: 4.30 4.26 4.31 6/330 821077
/proc/meminfo: memFree=116456880/131524600 swapFree=131071996/131071996
[pid=821055] ppid=821052 vsize=19108176 memory=197984 CPUtime=18.08 cores=4,6
/proc/821055/stat : 821055 (java) S 821052 821055 815582 0 -1 1077936128 41949 0 0 0 1800 8 0 0 20 0 20 0 159929308 19566772224 49496 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
/proc/821055/statm: 4777044 49496 5933 1 0 556186 0
[pid=821055/tid=821057] ppid=821052 vsize=19108176 memory=-9032086062303126204 CPUtime=15.92 cores=4,6
/proc/821055/task/821057/stat : 821057 (java) R 821052 821055 815582 0 -1 4194368 9778 0 0 0 1588 4 0 0 20 0 20 0 159929308 19566772224 49496 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821066] ppid=821052 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/821055/task/821066/stat : 821066 (Finalizer) S 821052 821055 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159929311 19566772224 49496 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821073] ppid=821052 vsize=19108176 memory=279656729325728 CPUtime=0 cores=4,6
/proc/821055/task/821073/stat : 821073 (Common-Cleaner) S 821052 821055 815582 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 159929311 19566772224 49496 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821074] ppid=821052 vsize=19108176 memory=8174723239089013032 CPUtime=0 cores=4,6
/proc/821055/task/821074/stat : 821074 (Timer-0) S 821052 821055 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159929322 19566772224 49496 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
Current children cumulated CPU time: 18.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 197984 KiB
[startup+16.4003 s]
/proc/loadavg: 4.30 4.26 4.31 6/330 821077
/proc/meminfo: memFree=116456880/131524600 swapFree=131071996/131071996
[pid=821055] ppid=821052 vsize=19108176 memory=197984 CPUtime=18.48 cores=4,6
/proc/821055/stat : 821055 (java) S 821052 821055 815582 0 -1 1077936128 41949 0 0 0 1840 8 0 0 20 0 20 0 159929308 19566772224 49496 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
/proc/821055/statm: 4777044 49496 5933 1 0 556186 0
[pid=821055/tid=821057] ppid=821052 vsize=19108176 memory=-9032086062303126204 CPUtime=16.32 cores=4,6
/proc/821055/task/821057/stat : 821057 (java) R 821052 821055 815582 0 -1 4194368 9778 0 0 0 1628 4 0 0 20 0 20 0 159929308 19566772224 49496 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821066] ppid=821052 vsize=19108176 memory=7440 CPUtime=0 cores=4,6
/proc/821055/task/821066/stat : 821066 (Finalizer) S 821052 821055 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159929311 19566772224 49496 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821073] ppid=821052 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/821055/task/821073/stat : 821073 (Common-Cleaner) S 821052 821055 815582 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 159929311 19566772224 49496 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821074] ppid=821052 vsize=19108176 memory=41036 CPUtime=0 cores=4,6
/proc/821055/task/821074/stat : 821074 (Timer-0) S 821052 821055 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159929322 19566772224 49496 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
Current children cumulated CPU time: 18.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 197984 KiB
[startup+16.8002 s]
/proc/loadavg: 4.30 4.26 4.31 6/330 821077
/proc/meminfo: memFree=116456880/131524600 swapFree=131071996/131071996
[pid=821055] ppid=821052 vsize=19108176 memory=197988 CPUtime=18.88 cores=4,6
/proc/821055/stat : 821055 (java) S 821052 821055 815582 0 -1 1077936128 42154 0 0 0 1880 8 0 0 20 0 20 0 159929308 19566772224 49497 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
/proc/821055/statm: 4777044 49497 5933 1 0 556186 0
[pid=821055/tid=821057] ppid=821052 vsize=19108176 memory=-9032086062303126204 CPUtime=16.71 cores=4,6
/proc/821055/task/821057/stat : 821057 (java) R 821052 821055 815582 0 -1 4194368 9916 0 0 0 1667 4 0 0 20 0 20 0 159929308 19566772224 49497 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821066] ppid=821052 vsize=19108176 memory=1888 CPUtime=0 cores=4,6
/proc/821055/task/821066/stat : 821066 (Finalizer) S 821052 821055 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159929311 19566772224 49497 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821073] ppid=821052 vsize=19108176 memory=197984 CPUtime=0 cores=4,6
/proc/821055/task/821073/stat : 821073 (Common-Cleaner) S 821052 821055 815582 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 159929311 19566772224 49497 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821074] ppid=821052 vsize=19108176 memory=-9032086062303126204 CPUtime=0 cores=4,6
/proc/821055/task/821074/stat : 821074 (Timer-0) S 821052 821055 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159929322 19566772224 49497 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
Current children cumulated CPU time: 18.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 197988 KiB
[startup+16.9002 s]
/proc/loadavg: 4.30 4.26 4.31 6/330 821077
/proc/meminfo: memFree=116456880/131524600 swapFree=131071996/131071996
[pid=821055] ppid=821052 vsize=19108176 memory=197988 CPUtime=18.98 cores=4,6
/proc/821055/stat : 821055 (java) S 821052 821055 815582 0 -1 1077936128 42277 0 0 0 1890 8 0 0 20 0 20 0 159929308 19566772224 49497 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
/proc/821055/statm: 4777044 49497 5933 1 0 556186 0
[pid=821055/tid=821057] ppid=821052 vsize=19108176 memory=106292 CPUtime=16.81 cores=4,6
/proc/821055/task/821057/stat : 821057 (java) R 821052 821055 815582 0 -1 4194368 9986 0 0 0 1677 4 0 0 20 0 20 0 159929308 19566772224 49497 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821066] ppid=821052 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/821055/task/821066/stat : 821066 (Finalizer) S 821052 821055 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159929311 19566772224 49497 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821073] ppid=821052 vsize=19108176 memory=190772 CPUtime=0 cores=4,6
/proc/821055/task/821073/stat : 821073 (Common-Cleaner) S 821052 821055 815582 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 159929311 19566772224 49497 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
[pid=821055/tid=821074] ppid=821052 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/821055/task/821074/stat : 821074 (Timer-0) S 821052 821055 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159929322 19566772224 49497 134679101440 94480825839616 94480825843312 140734579302208 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94480825851128 94480825851920 94480855433216 140734579307527 140734579307617 140734579307617 140734579314632 0
Current children cumulated CPU time: 18.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 197988 KiB
Child status: 30
Real time (s): 16.9505
CPU time (s): 19.0467
CPU user time (s): 18.9583
CPU system time (s): 0.088414
CPU usage (%): 112.367
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 197988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.9583
system time used= 0.088414
maximum resident set size= 199396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44118
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1082
involuntary context switches= 187
# summary of solver processes directly reported to runsolver:
# pid: 821055
# total CPU time (s): 19.0467
# total CPU user time (s): 18.9583
# total CPU system time (s): 0.088414
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.082153 second user time and 0.078694 second system time
The end
Begin job on nodeC020 at 2024-07-15 23:07:51 IDJOB=4432221 IDBENCH=147225 IDSOLVER=3058 FILE ID=nodeC020/4432221-1721077658 RUNJOBID= nodeC020-1721070467-815593 SLURM_JOB_ID= 7505528 Free space on /tmp= 890080 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/sorensson/garden/normalized-g7x7.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432221-1721077658/watcher-4432221-1721077658 -o /tmp/evaluation-result-4432221-1721077658/solver-4432221-1721077658 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721070467-815593 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432221-1721077658.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9bebbb2f3ef932ac86719feab6e824eb RANDOM SEED=1417497892 nodeC020.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 : 3638.577 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 : 7000.05 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 : 3686.030 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.84 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 : 3677.907 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 : 7000.05 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.431 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.84 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 : 3619.406 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 : 7000.05 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3687.989 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.84 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 : 3653.153 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 : 7000.05 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 : 3600.186 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.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 120930280 kB MemAvailable: 122456276 kB Buffers: 382368 kB Cached: 1968824 kB SwapCached: 0 kB Active: 610208 kB Inactive: 9353272 kB Active(anon): 1568 kB Inactive(anon): 7648472 kB Active(file): 608640 kB Inactive(file): 1704800 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 1116 kB Writeback: 0 kB AnonPages: 7611604 kB Mapped: 123732 kB Shmem: 37720 kB KReclaimable: 104760 kB Slab: 211276 kB SReclaimable: 104760 kB SUnreclaim: 106516 kB KernelStack: 5008 kB PageTables: 25032 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 15320400 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 59008 kB HardwareCorrupted: 0 kB AnonHugePages: 7321600 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: 189140 kB DirectMap2M: 15312896 kB DirectMap1G: 120586240 kB Free space on /tmp at the end= 890080 MiB End job on nodeC020 at 2024-07-15 23:08:08