Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution 2025-06-06 | OPTIMUM | 37.8712 | 33.5771 |
| Name | PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552735--soft-66-100-0.wbo |
| MD5SUM | 2efdb5877ff4f95c4d1dead4991e69a5 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 6 |
| Best CPU time to get the best result obtained on this benchmark | 20.2588 |
| 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 | 906 |
| 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 | 44801 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 44800 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 739 |
| 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.10/0.18 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.10/0.18 c This is free software under the dual EPL/GNU LGPL licenses. 0.10/0.18 c See www.sat4j.org for details. 0.10/0.20 c version PB25.v20250606 0.27/0.23 c java.runtime.name OpenJDK Runtime Environment 0.27/0.23 c java.vm.name OpenJDK 64-Bit Server VM 0.27/0.23 c java.vm.version 22.0.1+8-16 0.27/0.23 c java.vm.vendor Oracle Corporation 0.27/0.23 c sun.arch.data.model 64 0.27/0.23 c java.version 22.0.1 0.27/0.23 c os.name Linux 0.27/0.23 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.27/0.23 c os.arch amd64 0.27/0.24 c Free memory 2104792832 0.27/0.24 c Max memory 16282288128 0.27/0.24 c Total memory 2113929216 0.27/0.25 c Number of processors 2 0.44/0.37 c Pseudo Boolean Optimization by upper bound 0.44/0.37 c --- Begin Solver configuration --- 0.44/0.37 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.44/0.37 c Learn all clauses as in MiniSAT 0.44/0.37 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.44/0.37 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.44/0.37 c Expensive reason simplification 0.44/0.37 c Glucose 2.1 dynamic restart strategy 0.44/0.37 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.44/0.37 c timeout=2147483s 0.44/0.37 c DB Simplification allowed=false 0.44/0.37 c Listener: none 0.44/0.37 c --- End Solver configuration --- 0.44/0.37 c solving HOME/instance-4525280-1751623235.wbo 0.44/0.37 c reading problem ... 0.78/0.61 c ... done. Wall clock time 0.228s. 0.78/0.61 c declared #vars 231 0.97/0.61 c internal #vars 1137 0.97/0.61 c #constraints 2708 0.97/0.61 c constraints type 0.97/0.62 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 154 0.97/0.62 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 12 0.97/0.62 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 11 0.97/0.62 c org.sat4j.specs.Constr$1 => 1 0.97/0.62 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2530 0.97/0.62 c 2708 constraints processed. 0.97/0.65 c objective function length is 906 literals 1.12/0.73 c SATISFIABLE 1.12/0.73 c OPTIMIZING... 1.12/0.73 c Got one! Elapsed wall clock time (in seconds):0.357 1.12/0.73 o 333 1.32/0.81 c Got one! Elapsed wall clock time (in seconds):0.437 1.32/0.81 o 318 1.32/0.89 c Got one! Elapsed wall clock time (in seconds):0.523 1.32/0.89 o 316 1.53/0.91 c Got one! Elapsed wall clock time (in seconds):0.542 1.53/0.91 o 311 1.53/0.94 c Got one! Elapsed wall clock time (in seconds):0.574 1.53/0.95 o 306 1.53/0.97 c Got one! Elapsed wall clock time (in seconds):0.596 1.53/0.97 o 291 1.73/1.02 c Got one! Elapsed wall clock time (in seconds):0.65 1.73/1.02 o 281 1.73/1.05 c Got one! Elapsed wall clock time (in seconds):0.677 1.73/1.05 o 273 1.73/1.06 c Got one! Elapsed wall clock time (in seconds):0.692 1.73/1.06 o 266 1.73/1.08 c Got one! Elapsed wall clock time (in seconds):0.709 1.73/1.08 o 264 1.73/1.09 c Got one! Elapsed wall clock time (in seconds):0.725 1.73/1.09 o 257 1.93/1.11 c Got one! Elapsed wall clock time (in seconds):0.737 1.93/1.11 o 252 1.93/1.13 c Got one! Elapsed wall clock time (in seconds):0.757 1.93/1.13 o 250 3.10/1.74 c cleaning 3345 clauses out of 6690 with flag 26341/6690 3.30/1.83 c Got one! Elapsed wall clock time (in seconds):1.457 3.30/1.83 o 223 3.30/1.87 c Got one! Elapsed wall clock time (in seconds):1.499 3.30/1.87 o 222 3.88/2.18 c cleaning 4827 clauses out of 9675 with flag 26674/13020 4.61/2.60 c cleaning 5416 clauses out of 10853 with flag 76554/19025 5.38/3.22 c cleaning 6210 clauses out of 12434 with flag 145512/26022 5.60/3.46 c Got one! Elapsed wall clock time (in seconds):3.087 5.60/3.46 o 213 5.82/3.61 c Got one! Elapsed wall clock time (in seconds):3.241 5.82/3.61 o 185 5.82/3.62 c Got one! Elapsed wall clock time (in seconds):3.249 5.82/3.62 o 166 6.00/3.70 c cleaning 5918 clauses out of 11853 with flag 6565/31651 6.11/3.83 c Got one! Elapsed wall clock time (in seconds):3.458 6.11/3.83 o 160 6.28/3.91 c Got one! Elapsed wall clock time (in seconds):3.545 6.28/3.91 o 159 6.43/4.05 c Got one! Elapsed wall clock time (in seconds):3.681 6.43/4.05 o 155 6.61/4.13 c cleaning 6055 clauses out of 12126 with flag 9690/37842 6.61/4.16 c Got one! Elapsed wall clock time (in seconds):3.786 6.61/4.16 o 154 6.72/4.21 c Got one! Elapsed wall clock time (in seconds):3.836 6.72/4.21 o 153 6.72/4.25 c Got one! Elapsed wall clock time (in seconds):3.877 6.72/4.25 o 151 6.92/4.43 c Got one! Elapsed wall clock time (in seconds):4.064 6.92/4.43 o 148 7.02/4.56 c Got one! Elapsed wall clock time (in seconds):4.187 7.02/4.56 o 122 7.12/4.63 c cleaning 7065 clauses out of 14141 with flag 7259/45912 7.49/4.85 c Got one! Elapsed wall clock time (in seconds):4.484 7.49/4.85 o 120 7.69/5.00 c cleaning 6145 clauses out of 12313 with flag 25233/51149 8.34/5.39 c cleaning 6078 clauses out of 12167 with flag 79730/57148 8.76/5.72 c Got one! Elapsed wall clock time (in seconds):5.349 8.76/5.72 o 119 8.96/5.91 c Got one! Elapsed wall clock time (in seconds):5.538 8.96/5.91 o 118 9.28/6.12 c cleaning 8451 clauses out of 16930 with flag 21579/67989 9.47/6.36 c Got one! Elapsed wall clock time (in seconds):5.99 9.47/6.36 o 117 9.57/6.44 c cleaning 6829 clauses out of 13662 with flag 13584/73172 9.67/6.58 c Got one! Elapsed wall clock time (in seconds):6.209 9.67/6.58 o 115 9.79/6.66 c Got one! Elapsed wall clock time (in seconds):6.293 9.79/6.66 o 111 9.90/6.78 c cleaning 6345 clauses out of 12715 with flag 14797/79054 10.33/7.18 c cleaning 6178 clauses out of 12375 with flag 68751/85059 10.82/7.67 c Got one! Elapsed wall clock time (in seconds):7.296 10.82/7.67 o 109 11.11/7.97 c Got one! Elapsed wall clock time (in seconds):7.601 11.11/7.97 o 108 11.23/8.06 c cleaning 9004 clauses out of 18022 with flag 8253/96884 11.71/8.50 c cleaning 7492 clauses out of 15018 with flag 60552/102884 12.22/9.04 c cleaning 7258 clauses out of 14527 with flag 123971/109885 12.78/9.53 c cleaning 7617 clauses out of 15268 with flag 189179/117884 13.54/10.20 c cleaning 8305 clauses out of 16651 with flag 272114/126884 14.24/10.98 c cleaning 9156 clauses out of 18346 with flag 373773/136884 15.14/11.86 c cleaning 10086 clauses out of 20192 with flag 483765/147886 15.25/11.97 c Got one! Elapsed wall clock time (in seconds):11.598 15.25/11.97 o 106 15.36/12.05 c Got one! Elapsed wall clock time (in seconds):11.683 15.36/12.05 o 94 15.88/12.31 c cleaning 7899 clauses out of 15822 with flag 25673/153602 15.88/12.32 c Got one! Elapsed wall clock time (in seconds):11.951 15.88/12.32 o 91 16.27/12.52 c Got one! Elapsed wall clock time (in seconds):12.153 16.27/12.52 o 88 16.61/12.79 c cleaning 6715 clauses out of 13452 with flag 27354/159131 17.20/13.33 c cleaning 6353 clauses out of 12738 with flag 86593/165132 17.81/13.93 c cleaning 6679 clauses out of 13386 with flag 155112/172133 18.11/14.22 c Got one! Elapsed wall clock time (in seconds):13.851 18.11/14.22 o 87 18.21/14.39 c cleaning 5939 clauses out of 11881 with flag 21016/177307 18.31/14.46 c Got one! Elapsed wall clock time (in seconds):14.086 18.31/14.46 o 84 18.31/14.49 c Got one! Elapsed wall clock time (in seconds):14.124 18.31/14.49 o 83 18.71/14.88 c cleaning 6218 clauses out of 12462 with flag 43110/183827 19.02/15.18 c Got one! Elapsed wall clock time (in seconds):14.806 19.02/15.18 o 82 19.11/15.26 c cleaning 5661 clauses out of 11331 with flag 12289/188914 19.61/15.76 c cleaning 5832 clauses out of 11671 with flag 71434/194915 20.22/16.39 c cleaning 6406 clauses out of 12840 with flag 138857/201916 21.12/17.26 c cleaning 7202 clauses out of 14434 with flag 232478/209916 21.22/17.34 c Got one! Elapsed wall clock time (in seconds):16.971 21.22/17.34 o 81 21.55/17.64 c Got one! Elapsed wall clock time (in seconds):17.274 21.55/17.64 o 71 21.75/17.85 c cleaning 6727 clauses out of 13477 with flag 17953/216161 21.96/18.10 c Got one! Elapsed wall clock time (in seconds):17.729 21.96/18.10 o 69 22.15/18.26 c Got one! Elapsed wall clock time (in seconds):17.887 22.15/18.26 o 65 22.35/18.43 c cleaning 6666 clauses out of 13345 with flag 18060/222756 22.85/18.93 c cleaning 6323 clauses out of 12680 with flag 68798/228757 23.55/19.62 c cleaning 6669 clauses out of 13356 with flag 137187/235756 23.55/19.64 c Got one! Elapsed wall clock time (in seconds):19.267 23.55/19.64 o 64 23.85/19.98 c cleaning 5902 clauses out of 11848 with flag 40895/240917 24.25/20.36 c cleaning 5967 clauses out of 11946 with flag 87372/246917 24.45/20.57 c Got one! Elapsed wall clock time (in seconds):20.203 24.45/20.58 o 63 24.65/20.71 c cleaning 5799 clauses out of 11619 with flag 16202/252557 24.65/20.78 c Got one! Elapsed wall clock time (in seconds):20.405 24.65/20.78 o 54 25.06/21.18 c cleaning 5841 clauses out of 11695 with flag 39411/258432 25.54/21.69 c Got one! Elapsed wall clock time (in seconds):21.319 25.54/21.69 o 53 25.95/22.08 c Got one! Elapsed wall clock time (in seconds):21.712 25.95/22.08 o 52 26.05/22.19 c cleaning 8800 clauses out of 17614 with flag 7905/270192 26.34/22.48 c Got one! Elapsed wall clock time (in seconds):22.111 26.34/22.48 o 50 26.65/22.68 c cleaning 7125 clauses out of 14264 with flag 18415/275642 26.97/22.90 c Got one! Elapsed wall clock time (in seconds):22.532 26.97/22.90 o 49 27.24/23.13 c cleaning 6394 clauses out of 12800 with flag 21482/281303 27.63/23.55 c cleaning 6196 clauses out of 12409 with flag 63576/287306 27.93/23.80 c Got one! Elapsed wall clock time (in seconds):23.427 27.93/23.80 o 37 28.30/24.07 c cleaning 6024 clauses out of 12067 with flag 25759/293160 28.40/24.15 c Got one! Elapsed wall clock time (in seconds):23.776 28.40/24.15 o 36 28.78/24.51 c cleaning 5515 clauses out of 11053 with flag 34784/298170 28.88/24.68 c Got one! Elapsed wall clock time (in seconds):24.313 28.88/24.68 o 34 29.19/24.92 c Got one! Elapsed wall clock time (in seconds):24.554 29.19/24.92 o 33 29.30/25.07 c cleaning 6141 clauses out of 12323 with flag 13576/304955 29.69/25.48 c cleaning 6084 clauses out of 12182 with flag 57377/310955 30.09/25.86 c Got one! Elapsed wall clock time (in seconds):25.488 30.09/25.86 o 23 30.19/25.94 c cleaning 5538 clauses out of 11100 with flag 7600/315957 30.30/26.06 c Got one! Elapsed wall clock time (in seconds):25.693 30.30/26.06 o 22 30.59/26.32 c cleaning 5555 clauses out of 11128 with flag 26155/321523 30.78/26.50 c Got one! Elapsed wall clock time (in seconds):26.134 30.78/26.50 o 19 30.89/26.60 c Got one! Elapsed wall clock time (in seconds):26.23 30.89/26.60 o 18 30.99/26.75 c cleaning 5880 clauses out of 11786 with flag 12256/327736 31.48/27.23 c cleaning 5950 clauses out of 11907 with flag 54464/333737 31.68/27.43 c Got one! Elapsed wall clock time (in seconds):27.058 31.68/27.43 o 17 31.89/27.62 c Got one! Elapsed wall clock time (in seconds):27.245 31.89/27.62 o 10 31.89/27.68 c cleaning 5899 clauses out of 11822 with flag 5953/339602 32.30/28.01 c cleaning 5950 clauses out of 11923 with flag 40059/345602 32.58/28.39 c cleaning 6485 clauses out of 12973 with flag 82624/352602 33.09/28.80 c Got one! Elapsed wall clock time (in seconds):28.432 33.09/28.80 o 9 33.40/29.14 c cleaning 8276 clauses out of 16567 with flag 31598/362681 33.78/29.51 c cleaning 7142 clauses out of 14296 with flag 70100/368686 34.08/29.86 c Got one! Elapsed wall clock time (in seconds):29.487 34.08/29.86 o 8 34.18/29.93 c cleaning 6316 clauses out of 12654 with flag 5815/374186 34.58/30.32 c cleaning 6163 clauses out of 12340 with flag 41536/380188 34.88/30.70 c cleaning 6582 clauses out of 13175 with flag 80468/387186 35.39/31.13 c cleaning 7286 clauses out of 14593 with flag 126537/395186 35.98/31.72 c cleaning 8154 clauses out of 16309 with flag 182129/404188 36.58/32.30 c cleaning 9077 clauses out of 18153 with flag 243531/414186 37.18/32.96 c cleaning 10023 clauses out of 20075 with flag 308051/425185 37.68/33.49 c Got one! Elapsed wall clock time (in seconds):33.112 37.68/33.49 o 7 37.68/33.49 c Got one! Elapsed wall clock time (in seconds):33.115 37.68/33.49 o 6 37.79/33.51 c starts : 215 37.79/33.52 c conflicts : 434315 37.79/33.52 c decisions : 765205 37.79/33.52 c propagations : 43987851 37.79/33.52 c inspects : 379119045 37.79/33.52 c shortcuts : 0 37.79/33.52 c learnt literals : 1 37.79/33.52 c learnt binary clauses : 45 37.79/33.52 c learnt ternary clauses : 757 37.79/33.52 c learnt constraints : 434314 37.79/33.52 c ignored constraints : 0 37.79/33.52 c root simplifications : 0 37.79/33.52 c removed literals (reason simplification) : 2714742 37.79/33.52 c reason swapping (by a shorter reason) : 0 37.79/33.52 c Calls to reduceDB : 62 37.79/33.52 c Number of update (reduction) of LBD : 203958 37.79/33.52 c Imported unit clauses : 0 37.79/33.52 c No decision after first conflict : false 37.79/33.52 c number of reductions to clauses (during analyze) : 0 37.79/33.52 c number of learned constraints concerned by reduction : 0 37.79/33.52 c number of learning phase by resolution : 0 37.79/33.53 c number of learning phase by cutting planes : 0 37.79/33.53 c number of rounding to 1 operations : 0 37.79/33.53 c number of easy rounding to 1 operations (no literal elimination needed) : 0 37.79/33.53 c number of reductions of the coefficients by power 2 : 0 37.79/33.53 c number of right shift for reduction by power 2 : 0 37.79/33.53 c number of reductions of the coefficients by GCD over coefficients : 0 37.79/33.53 c number of ending skipping : 0 37.79/33.53 c number of internal skipping : 0 37.79/33.53 c number of derivation steps : 0 37.79/33.53 c number of skipped derivation steps : 0 37.79/33.53 c number of remaining unassigned : 0 37.79/33.53 c number of remaining assigned : 0 37.79/33.53 c number of falsified literals weakened from reason : 0 37.79/33.53 c number of falsified literals weakened from conflict : 0 37.79/33.53 c time for arithmetic operations : 0 37.79/33.53 c minimum degree of deleted constraints : null 37.79/33.53 c maximum degree of deleted constraints : null 37.79/33.53 c number of deleted constraints : 0 37.79/33.53 c speed (assignments/second) : 1338196.3128593592 37.79/33.53 c non guided choices : 8318 37.79/33.53 s OPTIMUM FOUND 37.79/33.53 c Found 67 solution(s) 37.79/33.54 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 37.79/33.54 c objective function=6 37.79/33.54 c Total wall clock time (in seconds): 33.167
OK 6
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: 63837 MiB (63143 MiB free)
memory of node 1: 64465 MiB (62787 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525280-1751623235/watcher-4525280-1751623235 -o /tmp/evaluation-result-4525280-1751623235/solver-4525280-1751623235 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751623235-97337 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4525280-1751623235.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=97394, runsolver pid=97379
[startup+0.100066 s]*
/proc/loadavg: 0.97 3.67 6.00 13/320 97463
/proc/meminfo: memFree=128884788/131382116 swapFree=33009904/33010684
[pid=97394] ppid=97379 vsize=18930384 memory=49104 CPUtime=0.1 cores=1,3
/proc/97394/stat : 97394 (java) S 97379 97394 97320 0 -1 4194304 5649 0 0 0 7 3 0 0 20 0 18 0 78002674 19384713216 12276 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
/proc/97394/statm: 4732596 12276 5120 1 0 546874 0
[pid=97394/tid=97408] ppid=97379 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=1,3
/proc/97394/task/97408/stat : 97408 (java) R 97379 97394 97320 0 -1 4194368 4584 0 0 0 4 2 0 0 20 0 18 0 78002676 19384713216 12276 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97453] ppid=97379 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/97394/task/97453/stat : 97453 (Finalizer) S 97379 97394 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78002681 19384713216 12276 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97463] ppid=97379 vsize=18930384 memory=60693105881846 CPUtime=0 cores=1,3
/proc/97394/task/97463/stat : 97463 (Common-Cleaner) S 97379 97394 97320 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78002682 19384713216 12276 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49104 KiB
[startup+0.213995 s]*
/proc/loadavg: 0.97 3.67 6.00 10/320 97463
/proc/meminfo: memFree=128878928/131382116 swapFree=33009904/33010684
[pid=97394] ppid=97379 vsize=18930384 memory=51792 CPUtime=0.27 cores=1,3
/proc/97394/stat : 97394 (java) S 97379 97394 97320 0 -1 4194304 6102 0 0 0 23 4 0 0 20 0 18 0 78002674 19384713216 12948 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
/proc/97394/statm: 4732596 12948 5344 1 0 547247 0
[pid=97394/tid=97408] ppid=97379 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=1,3
/proc/97394/task/97408/stat : 97408 (java) R 97379 97394 97320 0 -1 4194368 4958 0 0 0 14 3 0 0 20 0 18 0 78002676 19384713216 12948 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97453] ppid=97379 vsize=18930384 memory=14857 CPUtime=0 cores=1,3
/proc/97394/task/97453/stat : 97453 (Finalizer) S 97379 97394 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78002681 19384713216 12948 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97463] ppid=97379 vsize=18930384 memory=59593594242043 CPUtime=0 cores=1,3
/proc/97394/task/97463/stat : 97463 (Common-Cleaner) S 97379 97394 97320 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78002682 19384713216 12948 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51792 KiB
[startup+0.313476 s]*
/proc/loadavg: 0.97 3.67 6.00 13/320 97463
/proc/meminfo: memFree=128855492/131382116 swapFree=33009904/33010684
[pid=97394] ppid=97379 vsize=18930384 memory=59944 CPUtime=0.44 cores=1,3
/proc/97394/stat : 97394 (java) S 97379 97394 97320 0 -1 4194304 6597 0 0 0 39 5 0 0 20 0 18 0 78002674 19384713216 14986 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
/proc/97394/statm: 4732596 14986 5344 1 0 547710 0
[pid=97394/tid=97408] ppid=97379 vsize=18930384 memory=-6000919468378121574 CPUtime=0.26 cores=1,3
/proc/97394/task/97408/stat : 97408 (java) R 97379 97394 97320 0 -1 4194368 5148 0 0 0 23 3 0 0 20 0 18 0 78002676 19384713216 14986 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97453] ppid=97379 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/97394/task/97453/stat : 97453 (Finalizer) S 97379 97394 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78002681 19384713216 14986 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97463] ppid=97379 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/97394/task/97463/stat : 97463 (Common-Cleaner) S 97379 97394 97320 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78002682 19384713216 14986 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59944 KiB
[startup+0.700353 s]
/proc/loadavg: 0.97 3.67 6.00 13/321 97464
/proc/meminfo: memFree=128850640/131382116 swapFree=33009904/33010684
[pid=97394] ppid=97379 vsize=18996948 memory=74012 CPUtime=1.12 cores=1,3
/proc/97394/stat : 97394 (java) S 97379 97394 97320 0 -1 4194304 8413 0 0 0 105 7 0 0 20 0 19 0 78002674 19452874752 18503 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
/proc/97394/statm: 4749237 18503 5472 1 0 549301 0
[pid=97394/tid=97408] ppid=97379 vsize=18996948 memory=18560 CPUtime=0.53 cores=1,3
/proc/97394/task/97408/stat : 97408 (java) R 97379 97394 97320 0 -1 4194368 5401 0 0 0 49 4 0 0 20 0 19 0 78002676 19452874752 18503 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97453] ppid=97379 vsize=18996948 memory=11264 CPUtime=0 cores=1,3
/proc/97394/task/97453/stat : 97453 (Finalizer) S 97379 97394 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78002681 19452874752 18503 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97463] ppid=97379 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/97394/task/97463/stat : 97463 (Common-Cleaner) S 97379 97394 97320 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78002682 19452874752 18503 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 74012 KiB
[startup+1.50026 s]
/proc/loadavg: 0.97 3.67 6.00 9/324 97467
/proc/meminfo: memFree=128799288/131382116 swapFree=33009904/33010684
[pid=97394] ppid=97379 vsize=18996948 memory=91508 CPUtime=2.71 cores=1,3
/proc/97394/stat : 97394 (java) S 97379 97394 97320 0 -1 4194304 15479 0 0 0 262 9 0 0 20 0 19 0 78002674 19452874752 22877 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
/proc/97394/statm: 4749237 22877 5472 1 0 551528 0
[pid=97394/tid=97408] ppid=97379 vsize=18996948 memory=3200 CPUtime=1.29 cores=1,3
/proc/97394/task/97408/stat : 97408 (java) R 97379 97394 97320 0 -1 4194368 5613 0 0 0 125 4 0 0 20 0 19 0 78002676 19452874752 22877 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97453] ppid=97379 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/97394/task/97453/stat : 97453 (Finalizer) S 97379 97394 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78002681 19452874752 22877 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97463] ppid=97379 vsize=18996948 memory=11264 CPUtime=0 cores=1,3
/proc/97394/task/97463/stat : 97463 (Common-Cleaner) S 97379 97394 97320 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78002682 19452874752 22877 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97467] ppid=97379 vsize=18996948 memory=14080 CPUtime=0 cores=1,3
/proc/97394/task/97467/stat : 97467 (Timer-0) S 97379 97394 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78002740 19452874752 22877 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 91508 KiB
[startup+3.105 s]
/proc/loadavg: 0.97 3.67 6.00 6/324 97467
/proc/meminfo: memFree=128649748/131382116 swapFree=33009904/33010684
[pid=97394] ppid=97379 vsize=18996948 memory=110332 CPUtime=5.29 cores=1,3
/proc/97394/stat : 97394 (java) S 97379 97394 97320 0 -1 4194304 20189 0 0 0 518 11 0 0 20 0 19 0 78002674 19452874752 27583 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
/proc/97394/statm: 4749237 27583 5472 1 0 553043 0
[pid=97394/tid=97408] ppid=97379 vsize=18996948 memory=14080 CPUtime=2.86 cores=1,3
/proc/97394/task/97408/stat : 97408 (java) R 97379 97394 97320 0 -1 4194368 6969 0 0 0 281 5 0 0 20 0 19 0 78002676 19452874752 27583 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97453] ppid=97379 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/97394/task/97453/stat : 97453 (Finalizer) S 97379 97394 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78002681 19452874752 27583 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97463] ppid=97379 vsize=18996948 memory=11264 CPUtime=0 cores=1,3
/proc/97394/task/97463/stat : 97463 (Common-Cleaner) S 97379 97394 97320 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78002682 19452874752 27583 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97467] ppid=97379 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/97394/task/97467/stat : 97467 (Timer-0) S 97379 97394 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78002740 19452874752 27583 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
Current children cumulated CPU time: 5.29 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 110332 KiB
[startup+6.30038 s]
/proc/loadavg: 1.21 3.68 5.99 9/325 97468
/proc/meminfo: memFree=128468012/131382116 swapFree=33009904/33010684
[pid=97394] ppid=97379 vsize=18996948 memory=137732 CPUtime=9.47 cores=1,3
/proc/97394/stat : 97394 (java) S 97379 97394 97320 0 -1 4194304 25544 0 0 0 934 13 0 0 20 0 19 0 78002674 19452874752 34433 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
/proc/97394/statm: 4749237 34433 5472 1 0 553204 0
[pid=97394/tid=97408] ppid=97379 vsize=18996948 memory=0 CPUtime=6.05 cores=1,3
/proc/97394/task/97408/stat : 97408 (java) R 97379 97394 97320 0 -1 4194368 7726 0 0 0 599 6 0 0 20 0 19 0 78002676 19452874752 34433 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97453] ppid=97379 vsize=18996948 memory=11264 CPUtime=0 cores=1,3
/proc/97394/task/97453/stat : 97453 (Finalizer) S 97379 97394 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78002681 19452874752 34433 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97463] ppid=97379 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/97394/task/97463/stat : 97463 (Common-Cleaner) S 97379 97394 97320 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78002682 19452874752 34433 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97467] ppid=97379 vsize=18996948 memory=93568 CPUtime=0 cores=1,3
/proc/97394/task/97467/stat : 97467 (Timer-0) S 97379 97394 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78002740 19452874752 34433 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
Current children cumulated CPU time: 9.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 137732 KiB
[startup+12.7004 s]
/proc/loadavg: 1.51 3.70 5.99 5/304 97480
/proc/meminfo: memFree=128356308/131382116 swapFree=33009904/33010684
[pid=97394] ppid=97379 vsize=19063512 memory=173068 CPUtime=16.61 cores=1,3
/proc/97394/stat : 97394 (java) S 97379 97394 97320 0 -1 4194304 32629 0 0 0 1644 17 0 0 20 0 20 0 78002674 19521036288 43267 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
/proc/97394/statm: 4765878 43267 5536 1 0 553509 0
[pid=97394/tid=97408] ppid=97379 vsize=19063512 memory=93568 CPUtime=12.42 cores=1,3
/proc/97394/task/97408/stat : 97408 (java) R 97379 97394 97320 0 -1 4194368 8945 0 0 0 1235 7 0 0 20 0 20 0 78002676 19521036288 43267 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97453] ppid=97379 vsize=19063512 memory=166392 CPUtime=0 cores=1,3
/proc/97394/task/97453/stat : 97453 (Finalizer) S 97379 97394 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78002681 19521036288 43267 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97463] ppid=97379 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/97394/task/97463/stat : 97463 (Common-Cleaner) S 97379 97394 97320 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 78002682 19521036288 43267 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97467] ppid=97379 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/97394/task/97467/stat : 97467 (Timer-0) S 97379 97394 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78002740 19521036288 43267 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
Current children cumulated CPU time: 16.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173068 KiB
[startup+25.5004 s]
/proc/loadavg: 2.56 3.83 5.99 5/306 97672
/proc/meminfo: memFree=128046204/131382116 swapFree=33009904/33010684
[pid=97394] ppid=97379 vsize=19063512 memory=173324 CPUtime=29.79 cores=1,3
/proc/97394/stat : 97394 (java) S 97379 97394 97320 0 -1 4194304 34061 0 0 0 2960 19 0 0 20 0 20 0 78002674 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
/proc/97394/statm: 4765878 43331 5568 1 0 553509 0
[pid=97394/tid=97408] ppid=97379 vsize=19063512 memory=166392 CPUtime=25.16 cores=1,3
/proc/97394/task/97408/stat : 97408 (java) R 97379 97394 97320 0 -1 4194368 9961 0 0 0 2508 8 0 0 20 0 20 0 78002676 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97453] ppid=97379 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/97394/task/97453/stat : 97453 (Finalizer) S 97379 97394 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78002681 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97463] ppid=97379 vsize=19063512 memory=-6000919468378121574 CPUtime=0 cores=1,3
/proc/97394/task/97463/stat : 97463 (Common-Cleaner) S 97379 97394 97320 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 78002682 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97467] ppid=97379 vsize=19063512 memory=173196 CPUtime=0 cores=1,3
/proc/97394/task/97467/stat : 97467 (Timer-0) S 97379 97394 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78002740 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
Current children cumulated CPU time: 29.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173324 KiB
[startup+33.5771 s]
# the end of solver process 97394 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=37.6635 s, system=0.207744 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6005 s]
/proc/loadavg: 2.56 3.83 5.99 5/306 97672
/proc/meminfo: memFree=128046204/131382116 swapFree=33009904/33010684
[pid=97394] ppid=97379 vsize=19063512 memory=173324 CPUtime=29.89 cores=1,3
/proc/97394/stat : 97394 (java) S 97379 97394 97320 0 -1 4194304 34062 0 0 0 2970 19 0 0 20 0 20 0 78002674 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
/proc/97394/statm: 4765878 43331 5568 1 0 553509 0
[pid=97394/tid=97408] ppid=97379 vsize=19063512 memory=173196 CPUtime=25.26 cores=1,3
/proc/97394/task/97408/stat : 97408 (java) R 97379 97394 97320 0 -1 4194368 9962 0 0 0 2518 8 0 0 20 0 20 0 78002676 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97453] ppid=97379 vsize=19063512 memory=173324 CPUtime=0 cores=1,3
/proc/97394/task/97453/stat : 97453 (Finalizer) S 97379 97394 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78002681 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97463] ppid=97379 vsize=19063512 memory=93568 CPUtime=0 cores=1,3
/proc/97394/task/97463/stat : 97463 (Common-Cleaner) S 97379 97394 97320 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 78002682 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97467] ppid=97379 vsize=19063512 memory=139780 CPUtime=0 cores=1,3
/proc/97394/task/97467/stat : 97467 (Timer-0) S 97379 97394 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78002740 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
Current children cumulated CPU time: 29.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173324 KiB
[startup+28.8004 s]
/proc/loadavg: 2.56 3.83 5.99 5/326 97742
/proc/meminfo: memFree=127815952/131382116 swapFree=33009904/33010684
[pid=97394] ppid=97379 vsize=19063512 memory=173324 CPUtime=33.09 cores=1,3
/proc/97394/stat : 97394 (java) S 97379 97394 97320 0 -1 4194304 34731 0 0 0 3290 19 0 0 20 0 20 0 78002674 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
/proc/97394/statm: 4765878 43331 5568 1 0 553509 0
[pid=97394/tid=97408] ppid=97379 vsize=19063512 memory=173324 CPUtime=28.43 cores=1,3
/proc/97394/task/97408/stat : 97408 (java) R 97379 97394 97320 0 -1 4194368 9970 0 0 0 2835 8 0 0 20 0 20 0 78002676 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97453] ppid=97379 vsize=19063512 memory=14080 CPUtime=0 cores=1,3
/proc/97394/task/97453/stat : 97453 (Finalizer) S 97379 97394 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78002681 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97463] ppid=97379 vsize=19063512 memory=18560 CPUtime=0 cores=1,3
/proc/97394/task/97463/stat : 97463 (Common-Cleaner) S 97379 97394 97320 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 78002682 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97467] ppid=97379 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/97394/task/97467/stat : 97467 (Timer-0) S 97379 97394 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78002740 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
Current children cumulated CPU time: 33.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173324 KiB
[startup+32.0003 s]*
/proc/loadavg: 2.68 3.83 5.98 6/326 97743
/proc/meminfo: memFree=127771708/131382116 swapFree=33009904/33010684
[pid=97394] ppid=97379 vsize=19063512 memory=173324 CPUtime=36.29 cores=1,3
/proc/97394/stat : 97394 (java) S 97379 97394 97320 0 -1 4194304 34743 0 0 0 3610 19 0 0 20 0 20 0 78002674 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
/proc/97394/statm: 4765878 43331 5568 1 0 553509 0
[pid=97394/tid=97408] ppid=97379 vsize=19063512 memory=-6000919507116451174 CPUtime=31.63 cores=1,3
/proc/97394/task/97408/stat : 97408 (java) R 97379 97394 97320 0 -1 4194368 9973 0 0 0 3155 8 0 0 20 0 20 0 78002676 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97453] ppid=97379 vsize=19063512 memory=5704 CPUtime=0 cores=1,3
/proc/97394/task/97453/stat : 97453 (Finalizer) S 97379 97394 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78002681 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97463] ppid=97379 vsize=19063512 memory=22768 CPUtime=0 cores=1,3
/proc/97394/task/97463/stat : 97463 (Common-Cleaner) S 97379 97394 97320 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 78002682 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97467] ppid=97379 vsize=19063512 memory=9752 CPUtime=0 cores=1,3
/proc/97394/task/97467/stat : 97467 (Timer-0) S 97379 97394 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78002740 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
Current children cumulated CPU time: 36.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173324 KiB
[startup+32.8004 s]
/proc/loadavg: 2.68 3.83 5.98 6/326 97743
/proc/meminfo: memFree=127771708/131382116 swapFree=33009904/33010684
[pid=97394] ppid=97379 vsize=19063512 memory=173324 CPUtime=37.08 cores=1,3
/proc/97394/stat : 97394 (java) S 97379 97394 97320 0 -1 4194304 34743 0 0 0 3689 19 0 0 20 0 20 0 78002674 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
/proc/97394/statm: 4765878 43331 5568 1 0 553509 0
[pid=97394/tid=97408] ppid=97379 vsize=19063512 memory=5632 CPUtime=32.42 cores=1,3
/proc/97394/task/97408/stat : 97408 (java) R 97379 97394 97320 0 -1 4194368 9973 0 0 0 3234 8 0 0 20 0 20 0 78002676 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97453] ppid=97379 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/97394/task/97453/stat : 97453 (Finalizer) S 97379 97394 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78002681 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97463] ppid=97379 vsize=19063512 memory=14080 CPUtime=0 cores=1,3
/proc/97394/task/97463/stat : 97463 (Common-Cleaner) S 97379 97394 97320 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 78002682 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97467] ppid=97379 vsize=19063512 memory=18560 CPUtime=0 cores=1,3
/proc/97394/task/97467/stat : 97467 (Timer-0) S 97379 97394 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78002740 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
Current children cumulated CPU time: 37.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173324 KiB
[startup+33.2003 s]
/proc/loadavg: 2.68 3.83 5.98 6/326 97743
/proc/meminfo: memFree=127763516/131382116 swapFree=33009904/33010684
[pid=97394] ppid=97379 vsize=19063512 memory=173324 CPUtime=37.48 cores=1,3
/proc/97394/stat : 97394 (java) S 97379 97394 97320 0 -1 4194304 34743 0 0 0 3729 19 0 0 20 0 20 0 78002674 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
/proc/97394/statm: 4765878 43331 5568 1 0 553509 0
[pid=97394/tid=97408] ppid=97379 vsize=19063512 memory=173324 CPUtime=32.82 cores=1,3
/proc/97394/task/97408/stat : 97408 (java) R 97379 97394 97320 0 -1 4194368 9973 0 0 0 3274 8 0 0 20 0 20 0 78002676 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97453] ppid=97379 vsize=19063512 memory=173324 CPUtime=0 cores=1,3
/proc/97394/task/97453/stat : 97453 (Finalizer) S 97379 97394 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78002681 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97463] ppid=97379 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/97394/task/97463/stat : 97463 (Common-Cleaner) S 97379 97394 97320 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 78002682 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97467] ppid=97379 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/97394/task/97467/stat : 97467 (Timer-0) S 97379 97394 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78002740 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
Current children cumulated CPU time: 37.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173324 KiB
[startup+33.4003 s]
/proc/loadavg: 2.68 3.83 5.98 6/326 97743
/proc/meminfo: memFree=127763516/131382116 swapFree=33009904/33010684
[pid=97394] ppid=97379 vsize=19063512 memory=173324 CPUtime=37.68 cores=1,3
/proc/97394/stat : 97394 (java) S 97379 97394 97320 0 -1 4194304 34743 0 0 0 3749 19 0 0 20 0 20 0 78002674 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
/proc/97394/statm: 4765878 43331 5568 1 0 553509 0
[pid=97394/tid=97408] ppid=97379 vsize=19063512 memory=6640 CPUtime=33.02 cores=1,3
/proc/97394/task/97408/stat : 97408 (java) R 97379 97394 97320 0 -1 4194368 9973 0 0 0 3294 8 0 0 20 0 20 0 78002676 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97453] ppid=97379 vsize=19063512 memory=6340 CPUtime=0 cores=1,3
/proc/97394/task/97453/stat : 97453 (Finalizer) S 97379 97394 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78002681 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97463] ppid=97379 vsize=19063512 memory=-6000919468378121574 CPUtime=0 cores=1,3
/proc/97394/task/97463/stat : 97463 (Common-Cleaner) S 97379 97394 97320 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 78002682 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97467] ppid=97379 vsize=19063512 memory=6944656592455360569 CPUtime=0 cores=1,3
/proc/97394/task/97467/stat : 97467 (Timer-0) S 97379 97394 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78002740 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
Current children cumulated CPU time: 37.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173324 KiB
[startup+33.5003 s]
/proc/loadavg: 2.68 3.83 5.98 6/326 97743
/proc/meminfo: memFree=127763516/131382116 swapFree=33009904/33010684
[pid=97394] ppid=97379 vsize=19063512 memory=173324 CPUtime=37.79 cores=1,3
/proc/97394/stat : 97394 (java) S 97379 97394 97320 0 -1 4194304 35114 0 0 0 3760 19 0 0 20 0 20 0 78002674 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
/proc/97394/statm: 4765878 43331 5568 1 0 553509 0
[pid=97394/tid=97408] ppid=97379 vsize=19063512 memory=166392 CPUtime=33.11 cores=1,3
/proc/97394/task/97408/stat : 97408 (java) R 97379 97394 97320 0 -1 4194368 10317 0 0 0 3303 8 0 0 20 0 20 0 78002676 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97453] ppid=97379 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/97394/task/97453/stat : 97453 (Finalizer) S 97379 97394 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78002681 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97463] ppid=97379 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/97394/task/97463/stat : 97463 (Common-Cleaner) S 97379 97394 97320 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 78002682 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
[pid=97394/tid=97467] ppid=97379 vsize=19063512 memory=173324 CPUtime=0 cores=1,3
/proc/97394/task/97467/stat : 97467 (Timer-0) S 97379 97394 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78002740 19521036288 43331 18446744073709551615 94669191901184 94669191904880 140735564488000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94669191912696 94669191913488 94669213351936 140735564491135 140735564491236 140735564491236 140735564496840 0
Current children cumulated CPU time: 37.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173324 KiB
Child status: 30
Real time (s): 33.5771
CPU time (s): 37.8712
CPU user time (s): 37.6635
CPU system time (s): 0.207744
CPU usage (%): 112.789
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 173324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.6635
system time used= 0.207744
maximum resident set size= 174092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36284
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= 2648
involuntary context switches= 1448
# summary of solver processes directly reported to runsolver:
# pid: 97394
# total CPU time (s): 37.8712
# total CPU user time (s): 37.6635
# total CPU system time (s): 0.207744
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.203185 second user time and 0.402454 second system time
The end
Begin job on nodeC004 at 2025-07-04 12:00:35 IDJOB=4525280 IDBENCH=143545 IDSOLVER=3380 FILE ID=nodeC004/4525280-1751623235 RUNJOBID= nodeC004-1751623235-97337 SLURM_JOB_ID= 9598942 Free space on /tmp= 431680 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552735--soft-66-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525280-1751623235/watcher-4525280-1751623235 -o /tmp/evaluation-result-4525280-1751623235/solver-4525280-1751623235 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751623235-97337 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4525280-1751623235.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 2efdb5877ff4f95c4d1dead4991e69a5 RANDOM SEED=431240398 nodeC004 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 0xb00001f cpu MHz : 1197.205 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 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 : 0xb00001f cpu MHz : 1197.197 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 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 : 0xb00001f cpu MHz : 1197.214 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 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 : 0xb00001f cpu MHz : 1194.169 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 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 : 0xb00001f cpu MHz : 1197.248 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 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 : 0xb00001f cpu MHz : 1197.202 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 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 : 0xb00001f cpu MHz : 1197.197 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 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 : 0xb00001f cpu MHz : 1197.033 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 128958616 kB MemAvailable: 129848300 kB Buffers: 2128 kB Cached: 1637832 kB SwapCached: 32 kB Active: 664596 kB Inactive: 1042872 kB Active(anon): 74704 kB Inactive(anon): 10736 kB Active(file): 589892 kB Inactive(file): 1032136 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 3240 kB Writeback: 0 kB AnonPages: 70588 kB Mapped: 103168 kB Shmem: 17932 kB KReclaimable: 214568 kB Slab: 300880 kB SReclaimable: 214568 kB SUnreclaim: 86312 kB KernelStack: 3716 kB PageTables: 2408 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 341524 kB VmallocTotal: 34359738367 kB VmallocUsed: 149272 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 197448 kB DirectMap2M: 10190848 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 431676 MiB End job on nodeC004 at 2025-07-04 12:01:09