Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Partial RoundingSAT 2024 2024-07-12 | MSAT (TO) | 3600.26 | 3564 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900582300--soft-0-100-0.wbo |
| MD5SUM | 65d50eee5968fd8142e7f90f77179a12 |
| Bench Category | SOFT-LIN (WBO, only soft constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 20.0357 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 134314 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 134313 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 683 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.08/0.94 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.08/0.94 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.94 c See www.sat4j.org for details. 0.10/1.01 c version CUSTOM.v20240707 0.10/1.02 c java.runtime.name OpenJDK Runtime Environment 0.10/1.02 c java.vm.name OpenJDK 64-Bit Server VM 0.10/1.02 c java.vm.version 22.0.1+8-16 0.10/1.02 c java.vm.vendor Oracle Corporation 0.10/1.02 c sun.arch.data.model 64 0.10/1.02 c java.version 22.0.1 0.10/1.02 c os.name Linux 0.10/1.02 c os.version 4.18.0-301.1.el8.x86_64 0.10/1.02 c os.arch amd64 0.10/1.03 c Free memory 2106806208 0.10/1.03 c Max memory 16282288128 0.10/1.03 c Total memory 2113929216 0.10/1.03 c Number of processors 2 0.16/1.16 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.16/1.16 - never skip resolution steps 0.16/1.16 - Auto-division on coefficients is disabled 0.16/1.16 - No postprocessing 0.16/1.16 - Conflict is considered as is when resolving 0.16/1.16 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.16/1.16 - Weaken first using unassigned literals 0.16/1.16 - Bump strategy: ALWAYS_ONE 0.16/1.16 - Bumper: ASSIGNED 0.16/1.16 --- Begin Solver configuration --- 0.16/1.16 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.16/1.16 Learn all clauses as in MiniSAT 0.16/1.16 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.16/1.16 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.16/1.16 No reason simplification 0.16/1.16 Armin Biere (Picosat) restarts strategy 0.16/1.16 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.16/1.16 timeout=2147483s 0.16/1.16 DB Simplification allowed=false 0.16/1.16 Listener: none 0.16/1.16 --- End Solver configuration --- 0.16/1.16 c Pseudo Boolean Optimization by upper bound 0.16/1.16 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.16/1.16 c - never skip resolution steps 0.16/1.16 c - Auto-division on coefficients is disabled 0.16/1.16 c - No postprocessing 0.16/1.16 c - Conflict is considered as is when resolving 0.16/1.16 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.16/1.16 c - Weaken first using unassigned literals 0.16/1.16 c - Bump strategy: ALWAYS_ONE 0.16/1.16 c - Bumper: ASSIGNED 0.16/1.16 c --- Begin Solver configuration --- 0.16/1.16 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.16/1.16 c Learn all clauses as in MiniSAT 0.16/1.16 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.16/1.16 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.16/1.16 c No reason simplification 0.16/1.16 c Armin Biere (Picosat) restarts strategy 0.16/1.16 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.16/1.16 c timeout=2147483s 0.16/1.16 c DB Simplification allowed=false 0.16/1.16 c Listener: none 0.16/1.16 c --- End Solver configuration --- 0.16/1.16 c solving HOME/instance-4424498-1720874152.wbo 0.16/1.16 c reading problem ... 0.31/1.27 c ... done. Wall clock time 0.1s. 0.31/1.27 c declared #vars 231 0.31/1.27 c internal #vars 2938 0.31/1.27 c #constraints 2708 0.31/1.27 c constraints type 0.31/1.27 c org.sat4j.specs.Constr$1 => 1 0.31/1.27 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 23 0.31/1.27 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2684 0.31/1.27 c 2708 constraints processed. 0.31/1.28 c objective function length is 2707 literals 0.68/1.43 c SATISFIABLE 0.68/1.43 c OPTIMIZING... 0.68/1.43 c Got one! Elapsed wall clock time (in seconds):0.273 0.68/1.44 o 27884 1.09/1.69 c Got one! Elapsed wall clock time (in seconds):0.529 1.09/1.69 o 27869 1.87/2.09 c Got one! Elapsed wall clock time (in seconds):0.925 1.87/2.09 o 27859 6.75/5.19 c Got one! Elapsed wall clock time (in seconds):4.03 6.86/5.20 o 5021 8.69/7.00 c Got one! Elapsed wall clock time (in seconds):5.844 8.69/7.00 o 842 12.34/10.68 c Got one! Elapsed wall clock time (in seconds):9.521 12.34/10.68 o 390 15.94/13.90 c Got one! Elapsed wall clock time (in seconds):12.735 15.94/13.90 o 387 17.07/15.02 c Got one! Elapsed wall clock time (in seconds):13.861 17.07/15.02 o 379 19.58/17.54 c Got one! Elapsed wall clock time (in seconds):16.384 19.58/17.54 o 375 21.59/19.50 c Got one! Elapsed wall clock time (in seconds):18.342 21.59/19.50 o 373 28.73/26.67 c Got one! Elapsed wall clock time (in seconds):25.514 28.73/26.68 o 266 31.36/29.22 c Got one! Elapsed wall clock time (in seconds):28.058 31.36/29.22 o 252 35.71/33.59 c Got one! Elapsed wall clock time (in seconds):32.43 35.71/33.59 o 239 41.55/39.33 c Got one! Elapsed wall clock time (in seconds):38.169 41.55/39.33 o 236 55.27/52.75 c Got one! Elapsed wall clock time (in seconds):51.586 55.27/52.75 o 228 84.15/81.52 c Got one! Elapsed wall clock time (in seconds):80.358 84.15/81.52 o 226 98.42/95.65 c Got one! Elapsed wall clock time (in seconds):94.491 98.42/95.65 o 215 115.08/112.16 c Got one! Elapsed wall clock time (in seconds):110.998 115.08/112.16 o 210 142.79/139.77 c Got one! Elapsed wall clock time (in seconds):138.606 142.79/139.77 o 176 199.50/196.25 c Got one! Elapsed wall clock time (in seconds):195.094 199.50/196.25 o 174 210.63/207.33 c Got one! Elapsed wall clock time (in seconds):206.168 210.63/207.33 o 172 244.16/240.74 c Got one! Elapsed wall clock time (in seconds):239.579 244.16/240.74 o 170 277.08/273.55 c Got one! Elapsed wall clock time (in seconds):272.39 277.08/273.55 o 154 303.85/300.20 c Got one! Elapsed wall clock time (in seconds):299.04 303.85/300.20 o 153 401.43/397.68 c Got one! Elapsed wall clock time (in seconds):396.517 401.43/397.68 o 151 505.93/502.07 c Got one! Elapsed wall clock time (in seconds):500.905 505.93/502.07 o 149 560.46/556.48 c Got one! Elapsed wall clock time (in seconds):555.316 560.46/556.48 o 146 593.67/589.57 c Got one! Elapsed wall clock time (in seconds):588.405 593.67/589.57 o 139 614.40/610.26 c Got one! Elapsed wall clock time (in seconds):609.099 614.40/610.26 o 138 707.11/703.11 c cleaning 7783 clauses out of 15574 with flag 0/15574 710.38/706.30 c Got one! Elapsed wall clock time (in seconds):705.144 710.38/706.30 o 135 718.96/714.87 c Got one! Elapsed wall clock time (in seconds):713.713 718.96/714.87 o 132 780.44/775.98 c Got one! Elapsed wall clock time (in seconds):774.815 780.44/775.98 o 130 882.50/877.60 c Got one! Elapsed wall clock time (in seconds):876.441 882.50/877.60 o 129 910.43/905.59 c Got one! Elapsed wall clock time (in seconds):904.425 910.43/905.59 o 117 965.99/961.16 c Got one! Elapsed wall clock time (in seconds):959.996 965.99/961.16 o 112 1071.44/1066.19 c cleaning 7520 clauses out of 15057 with flag 0/22840 1077.89/1072.53 c Got one! Elapsed wall clock time (in seconds):1071.374 1077.89/1072.54 o 111 1107.69/1102.22 c Got one! Elapsed wall clock time (in seconds):1101.061 1107.69/1102.22 o 108 1172.35/1166.75 c Got one! Elapsed wall clock time (in seconds):1165.586 1172.35/1166.75 o 104 1220.74/1214.73 c cleaning 6954 clauses out of 13916 with flag 0/29219 1254.55/1248.41 c Got one! Elapsed wall clock time (in seconds):1247.249 1254.55/1248.41 o 102 1284.14/1277.84 c Got one! Elapsed wall clock time (in seconds):1276.681 1284.14/1277.84 o 101 1440.50/1433.51 c Got one! Elapsed wall clock time (in seconds):1432.351 1440.50/1433.51 o 99 1492.92/1485.86 c Got one! Elapsed wall clock time (in seconds):1484.701 1492.92/1485.86 o 96 1589.75/1582.47 c cleaning 6884 clauses out of 14034 with flag 0/36291 1594.40/1587.06 c Got one! Elapsed wall clock time (in seconds):1585.898 1594.40/1587.06 o 77 1647.57/1639.85 c Got one! Elapsed wall clock time (in seconds):1638.689 1647.57/1639.85 o 74 1798.28/1790.21 c cleaning 5291 clauses out of 13793 with flag 0/42934 1803.86/1795.70 c Got one! Elapsed wall clock time (in seconds):1794.537 1803.86/1795.70 o 73 1977.34/1968.12 c cleaning 4382 clauses out of 13984 with flag 0/48416 1998.03/1988.64 c Got one! Elapsed wall clock time (in seconds):1987.484 1998.03/1988.64 o 72 2098.73/2088.94 c Got one! Elapsed wall clock time (in seconds):2087.778 2098.73/2088.94 o 70 2305.14/2294.90 c Got one! Elapsed wall clock time (in seconds):2293.74 2305.14/2294.90 o 69 2590.36/2580.28 c cleaning 5274 clauses out of 15734 with flag 0/54548 2595.40/2585.26 c Got one! Elapsed wall clock time (in seconds):2584.097 2595.40/2585.26 o 58 2727.06/2716.03 c Got one! Elapsed wall clock time (in seconds):2714.873 2727.06/2716.03 o 52 2903.78/2890.44 c cleaning 4571 clauses out of 15972 with flag 0/60060 3377.43/3352.05 c cleaning 5111 clauses out of 17401 with flag 0/66060 3600.09/3563.92 c starts : 128 3600.09/3563.93 c conflicts : 71064 3600.09/3563.93 c decisions : 687432 3600.09/3563.93 c propagations : 7819454 3600.09/3563.93 c inspects : 822762437 3600.09/3563.93 c shortcuts : 0 3600.09/3563.93 c learnt literals : 0 3600.09/3563.93 c learnt binary clauses : 0 3600.09/3563.93 c learnt ternary clauses : 0 3600.09/3563.93 c learnt constraints : 71064 3600.09/3563.93 c ignored constraints : 0 3600.09/3563.93 c root simplifications : 0 3600.09/3563.93 c removed literals (reason simplification) : 0 3600.09/3563.93 c reason swapping (by a shorter reason) : 0 3600.09/3563.93 c Calls to reduceDB : 9 3600.09/3563.93 c Number of update (reduction) of LBD : 0 3600.09/3563.93 c Imported unit clauses : 0 3600.09/3563.93 c No decision after first conflict : false 3600.09/3563.93 c number of reductions to clauses (during analyze) : 0 3600.09/3563.93 c number of learned constraints concerned by reduction : 0 3600.09/3563.93 c number of learning phase by resolution : 0 3600.09/3563.93 c number of learning phase by cutting planes : 0 3600.09/3563.93 c number of rounding to 1 operations : 166430 3600.09/3563.93 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.09/3563.93 c number of reductions of the coefficients by power 2 : 0 3600.09/3563.93 c number of right shift for reduction by power 2 : 0 3600.09/3563.93 c number of reductions of the coefficients by GCD over coefficients : 0 3600.09/3563.93 c number of ending skipping : 0 3600.09/3563.93 c number of internal skipping : 0 3600.09/3563.93 c number of derivation steps : 656297 3600.09/3563.93 c number of skipped derivation steps : 0 3600.09/3563.93 c number of remaining unassigned : 416124 3600.09/3563.93 c number of remaining assigned : 30061865 3600.09/3563.93 c number of falsified literals weakened from reason : 0 3600.09/3563.93 c number of falsified literals weakened from conflict : 0 3600.09/3563.93 c time for arithmetic operations : 2277544704 3600.09/3563.93 c minimum degree of deleted constraints : 4 3600.09/3563.93 c maximum degree of deleted constraints : 122235649 3600.09/3563.93 c number of deleted constraints : 53770 3600.09/3563.95 c speed (assignments/second) : 2194.851563519698 3600.09/3563.95 c non guided choices : 4836 3600.09/3563.96 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 11755 3600.09/3563.96 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 4 3600.09/3563.96 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 5535 3600.09/3563.96 s SATISFIABLE 3600.09/3563.96 c Found 50 solution(s) 3600.09/3563.96 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 3600.09/3563.98 c objective function=52 3600.09/3563.98 c Total wall clock time (in seconds): 3562.817
OK 52
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 (63269 MiB free)
memory of node 1: 64473 MiB (63614 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424498-1720874152/watcher-4424498-1720874152 -o /tmp/evaluation-result-4424498-1720874152/solver-4424498-1720874152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1720874164-704474 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424498-1720874152.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=704537, runsolver pid=704534
Current StackSize limit: 8192 KiB
[startup+0.100055 s]*
/proc/loadavg: 0.11 0.11 0.09 2/267 704545
/proc/meminfo: memFree=129925308/131524600 swapFree=131071996/131071996
[pid=704537] ppid=704534 vsize=239396 memory=8832 CPUtime=0 cores=4,6
/proc/704537/stat : 704537 (java) S 704534 704537 704463 0 -1 1077936128 589 0 10 0 0 0 0 0 20 0 2 0 139578659 245141504 2208 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
/proc/704537/statm: 59849 2208 1824 1 0 583 0
[pid=704537/tid=704542] ppid=704534 vsize=239396 memory=4026561586 CPUtime=0 cores=4,6
/proc/704537/task/704542/stat : 704542 (java) D 704534 704537 704463 0 -1 4194368 33 0 10 0 0 0 0 0 20 0 2 0 139578660 245141504 2208 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 0 0 0 0 0 0 -1 6 0 0 7 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 239396 KiB
Current children cumulated memory: 8832 KiB
[startup+0.204594 s]*
/proc/loadavg: 0.11 0.11 0.09 1/267 704545
/proc/meminfo: memFree=129892820/131524600 swapFree=131071996/131071996
[pid=704537] ppid=704534 vsize=280580 memory=20076 CPUtime=0 cores=4,6
/proc/704537/stat : 704537 (java) S 704534 704537 704463 0 -1 1077936128 1342 0 34 0 0 0 0 0 20 0 2 0 139578659 287313920 5019 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 0 0 16784588 0 0 0 17 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
/proc/704537/statm: 70145 5019 2955 1 0 2312 0
[pid=704537/tid=704542] ppid=704534 vsize=280580 memory=8737651120394928259 CPUtime=0 cores=4,6
/proc/704537/task/704542/stat : 704542 (java) D 704534 704537 704463 0 -1 4194368 786 0 34 0 0 0 0 0 20 0 2 0 139578660 287313920 5019 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16784588 0 0 0 -1 4 0 0 16 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 280580 KiB
Current children cumulated memory: 20076 KiB
[startup+0.304614 s]*
/proc/loadavg: 0.11 0.11 0.09 1/288 704566
/proc/meminfo: memFree=129865052/131524600 swapFree=131071996/131071996
[pid=704537] ppid=704534 vsize=18175400 memory=28896 CPUtime=0.01 cores=4,6
/proc/704537/stat : 704537 (java) S 704534 704537 704463 0 -1 1077936128 2404 0 49 0 0 1 0 0 20 0 7 0 139578659 18611609600 7224 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 0 0 16784588 0 0 0 17 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
/proc/704537/statm: 4543850 7224 3652 1 0 542675 0
[pid=704537/tid=704542] ppid=704534 vsize=18175400 memory=-8888528313771270844 CPUtime=0 cores=4,6
/proc/704537/task/704542/stat : 704542 (java) D 704534 704537 704463 0 -1 4194368 1843 0 49 0 0 0 0 0 20 0 7 0 139578660 18611609600 7224 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16784588 0 0 0 -1 6 0 0 25 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 28896 KiB
[startup+0.700145 s]
/proc/loadavg: 0.11 0.11 0.09 2/288 704566
/proc/meminfo: memFree=129833108/131524600 swapFree=131071996/131071996
[pid=704537] ppid=704534 vsize=18907468 memory=47088 CPUtime=0.03 cores=4,6
/proc/704537/stat : 704537 (java) S 704534 704537 704463 0 -1 1077936128 5904 0 71 0 1 2 0 0 20 0 17 0 139578659 19361247232 11772 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
/proc/704537/statm: 4726867 11772 4464 1 0 548035 0
[pid=704537/tid=704542] ppid=704534 vsize=18907468 memory=2548 CPUtime=0.02 cores=4,6
/proc/704537/task/704542/stat : 704542 (java) D 704534 704537 704463 0 -1 4194368 5206 0 68 0 1 1 0 0 20 0 17 0 139578660 19361247232 11772 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 63 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 18907468 KiB
Current children cumulated memory: 47088 KiB
[startup+1.50424 s]
/proc/loadavg: 0.11 0.11 0.09 1/332 704610
/proc/meminfo: memFree=129758540/131524600 swapFree=131071996/131071996
[pid=704537] ppid=704534 vsize=19041612 memory=151264 CPUtime=0.89 cores=4,6
/proc/704537/stat : 704537 (java) S 704534 704537 704463 0 -1 1077936128 12204 0 88 0 84 5 0 0 20 0 19 0 139578659 19498610688 37816 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
/proc/704537/statm: 4760403 37816 5831 1 0 552250 0
[pid=704537/tid=704542] ppid=704534 vsize=19041612 memory=2548 CPUtime=0.43 cores=4,6
/proc/704537/task/704542/stat : 704542 (java) R 704534 704537 704463 0 -1 4194368 6299 0 77 0 40 3 0 0 20 0 19 0 139578660 19498610688 37816 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 97 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704578] ppid=704534 vsize=19041612 memory=12056 CPUtime=0 cores=4,6
/proc/704537/task/704578/stat : 704578 (Finalizer) S 704534 704537 704463 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 139578728 19498610688 37816 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704608] ppid=704534 vsize=19041612 memory=35452 CPUtime=0 cores=4,6
/proc/704537/task/704608/stat : 704608 (Common-Cleaner) S 704534 704537 704463 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 139578731 19498610688 37816 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
Current children cumulated CPU time: 0.89 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 151264 KiB
[startup+3.10975 s]
/proc/loadavg: 0.90 0.28 0.14 8/318 704686
/proc/meminfo: memFree=126618616/131524600 swapFree=131071996/131071996
[pid=704537] ppid=704534 vsize=19108176 memory=190736 CPUtime=4.06 cores=4,6
/proc/704537/stat : 704537 (java) S 704534 704537 704463 0 -1 1077936128 21141 0 88 0 399 7 0 0 20 0 20 0 139578659 19566772224 47684 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
/proc/704537/statm: 4777044 47684 5836 1 0 555139 0
[pid=704537/tid=704542] ppid=704534 vsize=19108176 memory=12056 CPUtime=1.97 cores=4,6
/proc/704537/task/704542/stat : 704542 (java) R 704534 704537 704463 0 -1 4194368 6681 0 77 0 193 4 0 0 20 0 20 0 139578660 19566772224 47684 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 97 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704578] ppid=704534 vsize=19108176 memory=52608 CPUtime=0 cores=4,6
/proc/704537/task/704578/stat : 704578 (Finalizer) S 704534 704537 704463 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139578728 19566772224 47684 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704608] ppid=704534 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/704537/task/704608/stat : 704608 (Common-Cleaner) S 704534 704537 704463 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139578731 19566772224 47684 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704614] ppid=704534 vsize=19108176 memory=-7965668635013062304 CPUtime=0 cores=4,6
/proc/704537/task/704614/stat : 704614 (Timer-0) S 704534 704537 704463 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139578789 19566772224 47684 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
Current children cumulated CPU time: 4.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 190736 KiB
[startup+6.30073 s]
/proc/loadavg: 0.90 0.28 0.14 7/337 704820
/proc/meminfo: memFree=124480488/131524600 swapFree=131071996/131071996
[pid=704537] ppid=704534 vsize=19108176 memory=337204 CPUtime=7.98 cores=4,6
/proc/704537/stat : 704537 (java) S 704534 704537 704463 0 -1 1077936128 23352 0 88 0 788 10 0 0 20 0 20 0 139578659 19566772224 84301 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
/proc/704537/statm: 4777044 84301 5839 1 0 555141 0
[pid=704537/tid=704542] ppid=704534 vsize=19108176 memory=52608 CPUtime=5.05 cores=4,6
/proc/704537/task/704542/stat : 704542 (java) R 704534 704537 704463 0 -1 4194368 7367 0 77 0 499 6 0 0 20 0 20 0 139578660 19566772224 84301 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 97 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704578] ppid=704534 vsize=19108176 memory=178092 CPUtime=0 cores=4,6
/proc/704537/task/704578/stat : 704578 (Finalizer) S 704534 704537 704463 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139578728 19566772224 84301 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704608] ppid=704534 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/704537/task/704608/stat : 704608 (Common-Cleaner) S 704534 704537 704463 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139578731 19566772224 84301 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704614] ppid=704534 vsize=19108176 memory=190816 CPUtime=0 cores=4,6
/proc/704537/task/704614/stat : 704614 (Timer-0) S 704534 704537 704463 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139578789 19566772224 84301 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
Current children cumulated CPU time: 7.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 337204 KiB
[startup+12.7002 s]
/proc/loadavg: 1.23 0.36 0.17 5/337 704820
/proc/meminfo: memFree=124076604/131524600 swapFree=131071996/131071996
[pid=704537] ppid=704534 vsize=19108176 memory=679976 CPUtime=14.59 cores=4,6
/proc/704537/stat : 704537 (java) S 704534 704537 704463 0 -1 1077936128 28593 0 88 0 1441 18 0 0 20 0 20 0 139578659 19566772224 169994 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
/proc/704537/statm: 4777044 169994 5840 1 0 555157 0
[pid=704537/tid=704542] ppid=704534 vsize=19108176 memory=52608 CPUtime=11.35 cores=4,6
/proc/704537/task/704542/stat : 704542 (java) R 704534 704537 704463 0 -1 4194368 8607 0 77 0 1123 12 0 0 20 0 20 0 139578660 19566772224 169994 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 97 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704578] ppid=704534 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/704537/task/704578/stat : 704578 (Finalizer) S 704534 704537 704463 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139578728 19566772224 169994 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704608] ppid=704534 vsize=19108176 memory=601616 CPUtime=0 cores=4,6
/proc/704537/task/704608/stat : 704608 (Common-Cleaner) S 704534 704537 704463 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139578731 19566772224 169994 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704614] ppid=704534 vsize=19108176 memory=-8888528313771270844 CPUtime=0 cores=4,6
/proc/704537/task/704614/stat : 704614 (Timer-0) S 704534 704537 704463 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139578789 19566772224 169994 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
Current children cumulated CPU time: 14.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 679976 KiB
[startup+25.5003 s]
/proc/loadavg: 1.93 0.55 0.24 5/337 704821
/proc/meminfo: memFree=123097520/131524600 swapFree=131071996/131071996
[pid=704537] ppid=704534 vsize=19108176 memory=1395576 CPUtime=27.63 cores=4,6
/proc/704537/stat : 704537 (java) S 704534 704537 704463 0 -1 1077936128 32363 0 88 0 2728 35 0 0 20 0 20 0 139578659 19566772224 348894 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
/proc/704537/statm: 4777044 348894 5840 1 0 555157 0
[pid=704537/tid=704542] ppid=704534 vsize=19108176 memory=52608 CPUtime=23.97 cores=4,6
/proc/704537/task/704542/stat : 704542 (java) R 704534 704537 704463 0 -1 4194368 10283 0 77 0 2372 25 0 0 20 0 20 0 139578660 19566772224 348894 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 97 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704578] ppid=704534 vsize=19108176 memory=601616 CPUtime=0 cores=4,6
/proc/704537/task/704578/stat : 704578 (Finalizer) S 704534 704537 704463 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139578728 19566772224 348894 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704608] ppid=704534 vsize=19108176 memory=-8888528313771270844 CPUtime=0 cores=4,6
/proc/704537/task/704608/stat : 704608 (Common-Cleaner) S 704534 704537 704463 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139578731 19566772224 348894 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704614] ppid=704534 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/704537/task/704614/stat : 704614 (Timer-0) S 704534 704537 704463 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139578789 19566772224 348894 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
Current children cumulated CPU time: 27.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1395576 KiB
[startup+51.1062 s]
/proc/loadavg: 2.76 0.86 0.35 5/337 704826
/proc/meminfo: memFree=122336376/131524600 swapFree=131071996/131071996
[pid=704537] ppid=704534 vsize=19108176 memory=1436524 CPUtime=53.62 cores=4,6
/proc/704537/stat : 704537 (java) S 704534 704537 704463 0 -1 1077936128 40402 0 88 0 5325 37 0 0 20 0 20 0 139578659 19566772224 359131 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
/proc/704537/statm: 4777044 359131 5840 1 0 555157 0
[pid=704537/tid=704542] ppid=704534 vsize=19108176 memory=1436524 CPUtime=49.29 cores=4,6
/proc/704537/task/704542/stat : 704542 (java) R 704534 704537 704463 0 -1 4194368 12968 0 77 0 4904 25 0 0 20 0 20 0 139578660 19566772224 359131 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 97 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704578] ppid=704534 vsize=19108176 memory=35452 CPUtime=0 cores=4,6
/proc/704537/task/704578/stat : 704578 (Finalizer) S 704534 704537 704463 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139578728 19566772224 359131 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704608] ppid=704534 vsize=19108176 memory=12292 CPUtime=0 cores=4,6
/proc/704537/task/704608/stat : 704608 (Common-Cleaner) S 704534 704537 704463 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139578731 19566772224 359131 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704614] ppid=704534 vsize=19108176 memory=701468 CPUtime=0 cores=4,6
/proc/704537/task/704614/stat : 704614 (Timer-0) S 704534 704537 704463 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139578789 19566772224 359131 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
Current children cumulated CPU time: 53.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1436524 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 1.39 0.56 5/337 704834
/proc/meminfo: memFree=121604668/131524600 swapFree=131071996/131071996
[pid=704537] ppid=704534 vsize=19108176 memory=1529080 CPUtime=105.17 cores=4,6
/proc/704537/stat : 704537 (java) S 704534 704537 704463 0 -1 1077936128 48272 0 88 0 10476 41 0 0 20 0 20 0 139578659 19566772224 382270 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
/proc/704537/statm: 4777044 382270 5841 1 0 555157 0
[pid=704537/tid=704542] ppid=704534 vsize=19108176 memory=1377008 CPUtime=99.89 cores=4,6
/proc/704537/task/704542/stat : 704542 (java) R 704534 704537 704463 0 -1 4194368 15927 0 77 0 9963 26 0 0 20 0 20 0 139578660 19566772224 382270 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 97 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704578] ppid=704534 vsize=19108176 memory=1512652 CPUtime=0 cores=4,6
/proc/704537/task/704578/stat : 704578 (Finalizer) S 704534 704537 704463 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139578728 19566772224 382270 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704608] ppid=704534 vsize=19108176 memory=1529080 CPUtime=0 cores=4,6
/proc/704537/task/704608/stat : 704608 (Common-Cleaner) S 704534 704537 704463 0 -1 1077936192 124 0 0 0 0 0 0 0 20 0 20 0 139578731 19566772224 382270 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704614] ppid=704534 vsize=19108176 memory=12056 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/meminfo: memFree=119272360/131524600 swapFree=131071996/131071996
[pid=704537] ppid=704534 vsize=19108176 memory=2184436 CPUtime=3244.87 cores=4,6
/proc/704537/stat : 704537 (java) S 704534 704537 704463 0 -1 1077936128 256572 0 88 0 324284 203 0 0 20 0 20 0 139578659 19566772224 546109 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
/proc/704537/statm: 4777044 546109 5891 1 0 555671 0
[pid=704537/tid=704542] ppid=704534 vsize=19108176 memory=35452 CPUtime=3188.02 cores=4,6
/proc/704537/task/704542/stat : 704542 (java) R 704534 704537 704463 0 -1 4194368 112266 0 77 0 318761 41 0 0 20 0 20 0 139578660 19566772224 546109 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 105 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704578] ppid=704534 vsize=19108176 memory=2184436 CPUtime=0 cores=4,6
/proc/704537/task/704578/stat : 704578 (Finalizer) S 704534 704537 704463 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139578728 19566772224 546109 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704608] ppid=704534 vsize=19108176 memory=5436 CPUtime=0 cores=4,6
/proc/704537/task/704608/stat : 704608 (Common-Cleaner) S 704534 704537 704463 0 -1 1077936192 3137 0 0 0 0 0 0 0 20 0 20 0 139578731 19566772224 546109 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704614] ppid=704534 vsize=19108176 memory=2184436 CPUtime=0 cores=4,6
/proc/704537/task/704614/stat : 704614 (Timer-0) S 704534 704537 704463 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139578789 19566772224 546109 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
Current children cumulated CPU time: 3244.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184436 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.19 4.08 5/334 706738
/proc/meminfo: memFree=119271656/131524600 swapFree=131071996/131071996
[pid=704537] ppid=704534 vsize=19108176 memory=2184512 CPUtime=3305.96 cores=4,6
/proc/704537/stat : 704537 (java) S 704534 704537 704463 0 -1 1077936128 260472 0 88 0 330390 206 0 0 20 0 20 0 139578659 19566772224 546128 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
/proc/704537/statm: 4777044 546128 5891 1 0 555672 0
[pid=704537/tid=704542] ppid=704534 vsize=19108176 memory=35452 CPUtime=3247.7 cores=4,6
/proc/704537/task/704542/stat : 704542 (java) R 704534 704537 704463 0 -1 4194368 113576 0 77 0 324728 42 0 0 20 0 20 0 139578660 19566772224 546128 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 105 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704578] ppid=704534 vsize=19108176 memory=2184512 CPUtime=0 cores=4,6
/proc/704537/task/704578/stat : 704578 (Finalizer) S 704534 704537 704463 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139578728 19566772224 546128 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704608] ppid=704534 vsize=19108176 memory=35452 CPUtime=0 cores=4,6
/proc/704537/task/704608/stat : 704608 (Common-Cleaner) S 704534 704537 704463 0 -1 1077936192 3166 0 0 0 0 0 0 0 20 0 20 0 139578731 19566772224 546128 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704614] ppid=704534 vsize=19108176 memory=164 CPUtime=0 cores=4,6
/proc/704537/task/704614/stat : 704614 (Timer-0) S 704534 704537 704463 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139578789 19566772224 546128 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
Current children cumulated CPU time: 3305.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184512 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.20 4.09 5/333 706804
/proc/meminfo: memFree=119271324/131524600 swapFree=131071996/131071996
[pid=704537] ppid=704534 vsize=19108176 memory=2184516 CPUtime=3367.74 cores=4,6
/proc/704537/stat : 704537 (java) S 704534 704537 704463 0 -1 1077936128 265683 0 88 0 336564 210 0 0 20 0 20 0 139578659 19566772224 546129 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
/proc/704537/statm: 4777044 546129 5891 1 0 555672 0
[pid=704537/tid=704542] ppid=704534 vsize=19108176 memory=35452 CPUtime=3306.94 cores=4,6
/proc/704537/task/704542/stat : 704542 (java) R 704534 704537 704463 0 -1 4194368 115508 0 77 0 330652 42 0 0 20 0 20 0 139578660 19566772224 546129 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 106 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704578] ppid=704534 vsize=19108176 memory=12056 CPUtime=0 cores=4,6
/proc/704537/task/704578/stat : 704578 (Finalizer) S 704534 704537 704463 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139578728 19566772224 546129 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704608] ppid=704534 vsize=19108176 memory=2184516 CPUtime=0 cores=4,6
/proc/704537/task/704608/stat : 704608 (Common-Cleaner) S 704534 704537 704463 0 -1 1077936192 3191 0 0 0 0 0 0 0 20 0 20 0 139578731 19566772224 546129 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704614] ppid=704534 vsize=19108176 memory=2184516 CPUtime=0 cores=4,6
/proc/704537/task/704614/stat : 704614 (Timer-0) S 704534 704537 704463 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139578789 19566772224 546129 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
Current children cumulated CPU time: 3367.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184516 KiB
[startup+3402.3 s]
/proc/loadavg: 4.25 4.21 4.10 5/334 706815
/proc/meminfo: memFree=119202540/131524600 swapFree=131071996/131071996
[pid=704537] ppid=704534 vsize=19108176 memory=2184528 CPUtime=3431.42 cores=4,6
/proc/704537/stat : 704537 (java) S 704534 704537 704463 0 -1 1077936128 271632 0 88 0 342928 214 0 0 20 0 20 0 139578659 19566772224 546132 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
/proc/704537/statm: 4777044 546132 5891 1 0 555672 0
[pid=704537/tid=704542] ppid=704534 vsize=19108176 memory=35452 CPUtime=3366.25 cores=4,6
/proc/704537/task/704542/stat : 704542 (java) R 704534 704537 704463 0 -1 4194368 117781 0 77 0 336583 42 0 0 20 0 20 0 139578660 19566772224 546132 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 106 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704578] ppid=704534 vsize=19108176 memory=442 CPUtime=0 cores=4,6
/proc/704537/task/704578/stat : 704578 (Finalizer) S 704534 704537 704463 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139578728 19566772224 546132 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704608] ppid=704534 vsize=19108176 memory=2184528 CPUtime=0 cores=4,6
/proc/704537/task/704608/stat : 704608 (Common-Cleaner) S 704534 704537 704463 0 -1 1077936192 3245 0 0 0 0 0 0 0 20 0 20 0 139578731 19566772224 546132 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704614] ppid=704534 vsize=19108176 memory=2184528 CPUtime=0 cores=4,6
/proc/704537/task/704614/stat : 704614 (Timer-0) S 704534 704537 704463 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139578789 19566772224 546132 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
Current children cumulated CPU time: 3431.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184528 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.18 4.09 5/334 706825
/proc/meminfo: memFree=119202064/131524600 swapFree=131071996/131071996
[pid=704537] ppid=704534 vsize=19108176 memory=2184632 CPUtime=3494.14 cores=4,6
/proc/704537/stat : 704537 (java) S 704534 704537 704463 0 -1 1077936128 277041 0 88 0 349196 218 0 0 20 0 20 0 139578659 19566772224 546158 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
/proc/704537/statm: 4777044 546158 5914 1 0 555672 0
[pid=704537/tid=704542] ppid=704534 vsize=19108176 memory=35452 CPUtime=3425.16 cores=4,6
/proc/704537/task/704542/stat : 704542 (java) R 704534 704537 704463 0 -1 4194368 119881 0 77 0 342474 42 0 0 20 0 20 0 139578660 19566772224 546158 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 106 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704578] ppid=704534 vsize=19108176 memory=-8888528313771270844 CPUtime=0 cores=4,6
/proc/704537/task/704578/stat : 704578 (Finalizer) S 704534 704537 704463 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139578728 19566772224 546158 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704608] ppid=704534 vsize=19108176 memory=2184632 CPUtime=0 cores=4,6
/proc/704537/task/704608/stat : 704608 (Common-Cleaner) S 704534 704537 704463 0 -1 1077936192 3291 0 0 0 0 0 0 0 20 0 20 0 139578731 19566772224 546158 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704614] ppid=704534 vsize=19108176 memory=2184632 CPUtime=0 cores=4,6
/proc/704537/task/704614/stat : 704614 (Timer-0) S 704534 704537 704463 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139578789 19566772224 546158 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
Current children cumulated CPU time: 3494.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184632 KiB
[startup+3522.3 s]
/proc/loadavg: 4.31 4.23 4.11 5/332 706838
/proc/meminfo: memFree=119197776/131524600 swapFree=131071996/131071996
[pid=704537] ppid=704534 vsize=19108176 memory=2184636 CPUtime=3556.45 cores=4,6
/proc/704537/stat : 704537 (java) S 704534 704537 704463 0 -1 1077936128 282330 0 88 0 355422 223 0 0 20 0 20 0 139578659 19566772224 546159 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
/proc/704537/statm: 4777044 546159 5914 1 0 555672 0
[pid=704537/tid=704542] ppid=704534 vsize=19108176 memory=35452 CPUtime=3484.4 cores=4,6
/proc/704537/task/704542/stat : 704542 (java) R 704534 704537 704463 0 -1 4194368 121824 0 77 0 348397 43 0 0 20 0 20 0 139578660 19566772224 546159 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 106 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704578] ppid=704534 vsize=19108176 memory=2184636 CPUtime=0 cores=4,6
/proc/704537/task/704578/stat : 704578 (Finalizer) S 704534 704537 704463 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139578728 19566772224 546159 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704608] ppid=704534 vsize=19108176 memory=1976 CPUtime=0 cores=4,6
/proc/704537/task/704608/stat : 704608 (Common-Cleaner) S 704534 704537 704463 0 -1 1077936192 3345 0 0 0 0 0 0 0 20 0 20 0 139578731 19566772224 546159 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704614] ppid=704534 vsize=19108176 memory=2184636 CPUtime=0 cores=4,6
/proc/704537/task/704614/stat : 704614 (Timer-0) S 704534 704537 704463 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139578789 19566772224 546159 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
Current children cumulated CPU time: 3556.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184636 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3563.9 s]
/proc/loadavg: 4.27 4.23 4.11 5/332 706845
/proc/meminfo: memFree=119197592/131524600 swapFree=131071996/131071996
[pid=704537] ppid=704534 vsize=19108176 memory=2184636 CPUtime=3600.09 cores=4,6
/proc/704537/stat : 704537 (java) S 704534 704537 704463 0 -1 1077936128 283312 0 88 0 359783 226 0 0 20 0 20 0 139578659 19566772224 546159 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
/proc/704537/statm: 4777044 546159 5914 1 0 555680 0
[pid=704537/tid=704542] ppid=704534 vsize=19108176 memory=35452 CPUtime=3525.48 cores=4,6
/proc/704537/task/704542/stat : 704542 (java) R 704534 704537 704463 0 -1 4194368 122619 0 77 0 352505 43 0 0 20 0 20 0 139578660 19566772224 546159 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 106 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704578] ppid=704534 vsize=19108176 memory=2184636 CPUtime=0 cores=4,6
/proc/704537/task/704578/stat : 704578 (Finalizer) S 704534 704537 704463 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139578728 19566772224 546159 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704608] ppid=704534 vsize=19108176 memory=2184636 CPUtime=0 cores=4,6
/proc/704537/task/704608/stat : 704608 (Common-Cleaner) S 704534 704537 704463 0 -1 1077936192 3399 0 0 0 0 0 0 0 20 0 20 0 139578731 19566772224 546159 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704614] ppid=704534 vsize=19108176 memory=1976 CPUtime=0 cores=4,6
/proc/704537/task/704614/stat : 704614 (Timer-0) S 704534 704537 704463 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139578789 19566772224 546159 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184636 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3564 s]
# the end of solver process 704537 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.99 s, system=2.27266 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3563.9 s]
/proc/loadavg: 4.27 4.23 4.11 5/332 706845
/proc/meminfo: memFree=119197592/131524600 swapFree=131071996/131071996
[pid=704537] ppid=704534 vsize=19108176 memory=2184636 CPUtime=3600.09 cores=4,6
/proc/704537/stat : 704537 (java) S 704534 704537 704463 0 -1 1077936128 283312 0 88 0 359783 226 0 0 20 0 20 0 139578659 19566772224 546159 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
/proc/704537/statm: 4777044 546159 5914 1 0 555680 0
[pid=704537/tid=704542] ppid=704534 vsize=19108176 memory=35452 CPUtime=3525.48 cores=4,6
/proc/704537/task/704542/stat : 704542 (java) R 704534 704537 704463 0 -1 4194368 122619 0 77 0 352505 43 0 0 20 0 20 0 139578660 19566772224 546159 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 106 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704578] ppid=704534 vsize=19108176 memory=2184636 CPUtime=0 cores=4,6
/proc/704537/task/704578/stat : 704578 (Finalizer) S 704534 704537 704463 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139578728 19566772224 546159 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704608] ppid=704534 vsize=19108176 memory=2184636 CPUtime=0 cores=4,6
/proc/704537/task/704608/stat : 704608 (Common-Cleaner) S 704534 704537 704463 0 -1 1077936192 3399 0 0 0 0 0 0 0 20 0 20 0 139578731 19566772224 546159 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
[pid=704537/tid=704614] ppid=704534 vsize=19108176 memory=1976 CPUtime=0 cores=4,6
/proc/704537/task/704614/stat : 704614 (Timer-0) S 704534 704537 704463 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139578789 19566772224 546159 134679101440 94655467839488 94655467843184 140731541780976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655467851000 94655467851792 94655471071232 140731541787606 140731541787719 140731541787719 140731541794760 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184636 KiB
Child status: 143
Real time (s): 3564
CPU time (s): 3600.26
CPU user time (s): 3597.99
CPU system time (s): 2.27266
CPU usage (%): 101.017
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2184636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.99
system time used= 2.27266
maximum resident set size= 2185312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285649
page faults= 88
swaps= 0
block input operations= 22696
block output operations= 3808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126283
involuntary context switches= 14136
# summary of solver processes directly reported to runsolver:
# pid: 704537
# total CPU time (s): 3600.26
# total CPU user time (s): 3597.99
# total CPU system time (s): 2.27266
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.04157 second user time and 18.1786 second system time
The end
Begin job on nodeC020 at 2024-07-13 14:36:05 IDJOB=4424498 IDBENCH=143212 IDSOLVER=3035 FILE ID=nodeC020/4424498-1720874152 RUNJOBID= nodeC020-1720874164-704474 SLURM_JOB_ID= 7483761 Free space on /tmp= 890080 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900582300--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424498-1720874152/watcher-4424498-1720874152 -o /tmp/evaluation-result-4424498-1720874152/solver-4424498-1720874152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1720874164-704474 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424498-1720874152.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 65d50eee5968fd8142e7f90f77179a12 RANDOM SEED=1824152677 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 : 3003.641 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 : 2303.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.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 : 3149.357 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 : 3217.984 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 : 3321.945 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 : 2838.457 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 : 3263.865 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 : 3296.618 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: 129931580 kB MemAvailable: 129771892 kB Buffers: 321664 kB Cached: 368296 kB SwapCached: 0 kB Active: 449564 kB Inactive: 594580 kB Active(anon): 1444 kB Inactive(anon): 390820 kB Active(file): 448120 kB Inactive(file): 203760 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 4208 kB Writeback: 0 kB AnonPages: 353972 kB Mapped: 104048 kB Shmem: 37720 kB KReclaimable: 56508 kB Slab: 151776 kB SReclaimable: 56508 kB SUnreclaim: 95268 kB KernelStack: 4092 kB PageTables: 9844 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 735436 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 52448 kB HardwareCorrupted: 0 kB AnonHugePages: 217088 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: 166612 kB DirectMap2M: 9043968 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 890076 MiB End job on nodeC020 at 2024-07-13 15:35:29