Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j CP VeriPB 2025-06-06 | SAT (TO) | 12 | 3600.43 | 3694.71 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=14-t=2.opb |
| MD5SUM | 0eb4af5d9d6a7991e65a6bdba739f56a |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 12 |
| Best CPU time to get the best result obtained on this benchmark | 0.372509 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 329 |
| Total number of constraints | 16786 |
| Number of constraints which are clauses | 16772 |
| Number of constraints which are cardinality constraints (but not clauses) | 14 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 15 |
| Number of terms in the objective function | 14 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 14 |
| Number of bits of the sum of numbers in the objective function | 4 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 16 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.12/0.13 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.12/0.13 c This is free software under the dual EPL/GNU LGPL licenses. 0.12/0.13 c See www.sat4j.org for details. 0.12/0.14 c version PB25.v20250606 0.12/0.15 c java.runtime.name OpenJDK Runtime Environment 0.12/0.15 c java.vm.name OpenJDK 64-Bit Server VM 0.12/0.15 c java.vm.version 22.0.1+8-16 0.12/0.15 c java.vm.vendor Oracle Corporation 0.12/0.15 c sun.arch.data.model 64 0.12/0.15 c java.version 22.0.1 0.12/0.15 c os.name Linux 0.12/0.15 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.12/0.15 c os.arch amd64 0.12/0.16 c Free memory 2106806208 0.12/0.16 c Max memory 16282288128 0.12/0.16 c Total memory 2113929216 0.12/0.16 c Number of processors 2 0.36/0.27 c Pseudo Boolean Optimization by upper bound 0.36/0.27 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.36/0.27 c - never skip resolution steps 0.36/0.27 c - Auto-division on coefficients is disabled 0.36/0.27 c - No postprocessing 0.36/0.27 c - Conflict is considered as is when resolving 0.36/0.27 c - Use constraints as they come during conflict analysis 0.36/0.27 c - Weaken first using unassigned literals 0.36/0.27 c - Bump strategy: ALWAYS_ONE 0.36/0.27 c - Bumper: EFFECTIVE 0.36/0.27 c --- Begin Solver configuration --- 0.36/0.27 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@768debd 0.36/0.27 c Learn all clauses as in MiniSAT 0.36/0.27 c LOGGER=java.util.logging.Logger@449b2d27 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.36/0.27 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.36/0.27 c No reason simplification 0.36/0.27 c Dynamic restart strategy considering the size of the coefficients 0.36/0.27 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@18ef96 0.36/0.27 c timeout=2147483s 0.36/0.27 c DB Simplification allowed=false 0.36/0.27 c Listener: none 0.36/0.27 c --- End Solver configuration --- 0.36/0.27 c solving HOME/instance-4517865-1751542843.opb 0.36/0.27 c reading problem ... 0.36/0.27 c using VERIPB proof format 0.36/0.28 c objective function found 1.03/0.69 c ... done. Wall clock time 0.408s. 1.03/0.69 c declared #vars 329 1.03/0.69 c #constraints 16786 1.03/0.69 c constraints type 1.20/0.70 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14 1.20/0.70 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 14 1.20/0.70 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 16758 1.20/0.70 c 16786 constraints processed. 1.20/0.72 c objective function length is 14 literals 1.38/0.86 c SATISFIABLE 1.38/0.86 c OPTIMIZING... 1.38/0.86 c Got one! Elapsed wall clock time (in seconds):0.591 1.38/0.86 o 14 1.59/0.91 c Got one! Elapsed wall clock time (in seconds):0.644 1.59/0.91 o 13 1.59/0.96 c Got one! Elapsed wall clock time (in seconds):0.69 1.59/0.96 o 12 5.94/3.11 c cleaning 2584 clauses out of 5179 with flag 0/5179 9.23/5.37 c cleaning 4297 clauses out of 8595 with flag 0/11179 11.22/6.84 c cleaning 5647 clauses out of 11298 with flag 0/18179 13.09/8.25 c cleaning 6804 clauses out of 13651 with flag 0/26179 14.92/10.09 c cleaning 7921 clauses out of 15847 with flag 0/35179 17.09/12.28 c cleaning 8957 clauses out of 17926 with flag 0/45179 19.66/14.75 c cleaning 9979 clauses out of 19969 with flag 0/56179 22.77/17.69 c cleaning 10982 clauses out of 21991 with flag 0/68180 26.15/20.98 c cleaning 11990 clauses out of 24008 with flag 0/81179 30.19/24.99 c cleaning 12729 clauses out of 26018 with flag 0/95179 34.06/28.71 c cleaning 13746 clauses out of 28289 with flag 0/110179 38.65/33.34 c cleaning 14833 clauses out of 30545 with flag 0/126181 44.34/41.10 c cleaning 15891 clauses out of 32712 with flag 0/143181 49.46/46.03 c cleaning 16904 clauses out of 34819 with flag 0/161179 54.76/51.31 c cleaning 17884 clauses out of 36915 with flag 0/180179 61.38/57.93 c cleaning 18880 clauses out of 39032 with flag 0/200180 69.29/65.73 c cleaning 19883 clauses out of 41152 with flag 0/221180 77.97/78.91 c cleaning 20872 clauses out of 43269 with flag 0/243180 85.71/86.50 c cleaning 21893 clauses out of 45396 with flag 0/266179 93.77/94.49 c cleaning 22906 clauses out of 47506 with flag 0/290182 103.44/103.95 c cleaning 23836 clauses out of 49597 with flag 0/315179 113.35/113.53 c cleaning 24814 clauses out of 51761 with flag 0/341179 123.48/123.31 c cleaning 25809 clauses out of 53947 with flag 0/368179 134.57/134.29 c cleaning 26862 clauses out of 56138 with flag 0/396179 146.23/145.53 c cleaning 27848 clauses out of 58276 with flag 0/425179 158.69/157.65 c cleaning 28830 clauses out of 60428 with flag 0/455179 170.43/169.09 c cleaning 29798 clauses out of 62598 with flag 0/486179 183.95/182.25 c cleaning 30809 clauses out of 64800 with flag 0/518179 197.23/195.01 c cleaning 31827 clauses out of 66991 with flag 0/551179 212.76/210.21 c cleaning 32814 clauses out of 69164 with flag 0/585179 230.17/227.26 c cleaning 33817 clauses out of 71351 with flag 0/620180 250.00/246.65 c cleaning 34825 clauses out of 73533 with flag 0/656179 267.60/263.09 c cleaning 35809 clauses out of 75708 with flag 0/693179 287.18/281.93 c cleaning 36864 clauses out of 77899 with flag 0/731179 306.34/300.69 c cleaning 37874 clauses out of 80035 with flag 0/770179 330.32/324.07 c cleaning 38831 clauses out of 82161 with flag 0/810179 349.69/346.68 c cleaning 39870 clauses out of 84330 with flag 0/851179 372.96/369.35 c cleaning 40852 clauses out of 86460 with flag 0/893179 395.63/391.42 c cleaning 41833 clauses out of 88608 with flag 0/936179 420.73/415.82 c cleaning 42883 clauses out of 90775 with flag 0/980179 448.78/443.27 c cleaning 43825 clauses out of 92892 with flag 0/1025179 476.62/470.53 c cleaning 44871 clauses out of 95068 with flag 0/1071180 505.85/499.27 c cleaning 45842 clauses out of 97196 with flag 0/1118179 538.28/531.03 c cleaning 46880 clauses out of 99354 with flag 0/1166179 569.67/561.73 c cleaning 47899 clauses out of 101474 with flag 0/1215179 602.33/596.31 c cleaning 48870 clauses out of 103581 with flag 0/1265185 635.02/632.98 c cleaning 49826 clauses out of 105705 with flag 0/1316179 676.48/673.75 c cleaning 50821 clauses out of 107880 with flag 0/1368180 714.97/711.67 c cleaning 51813 clauses out of 110058 with flag 0/1421179 759.81/755.60 c cleaning 52850 clauses out of 112245 with flag 0/1475179 799.42/798.92 c cleaning 53843 clauses out of 114396 with flag 0/1530180 837.84/836.59 c cleaning 54852 clauses out of 116552 with flag 0/1586179 881.72/883.63 c cleaning 55863 clauses out of 118700 with flag 0/1643179 929.44/930.47 c cleaning 56838 clauses out of 120837 with flag 0/1701179 978.90/979.20 c cleaning 57842 clauses out of 122999 with flag 0/1760179 1025.26/1026.83 c cleaning 58850 clauses out of 125157 with flag 0/1820179 1075.69/1076.35 c cleaning 59837 clauses out of 127307 with flag 0/1881179 1125.63/1125.32 c cleaning 60879 clauses out of 129470 with flag 0/1943179 1174.28/1173.35 c cleaning 61888 clauses out of 131593 with flag 0/2006181 1233.30/1231.57 c cleaning 62793 clauses out of 133707 with flag 0/2070183 1294.91/1292.21 c cleaning 63873 clauses out of 135910 with flag 0/2135179 1357.94/1354.44 c cleaning 64867 clauses out of 138043 with flag 0/2201185 1420.12/1417.75 c cleaning 65843 clauses out of 140170 with flag 0/2268179 1480.53/1484.08 c cleaning 66899 clauses out of 142327 with flag 0/2336179 1551.36/1568.61 c cleaning 67834 clauses out of 144428 with flag 0/2405179 1617.40/1634.10 c cleaning 68868 clauses out of 146596 with flag 0/2475181 1685.28/1718.07 c cleaning 69899 clauses out of 148727 with flag 0/2546180 1752.41/1784.35 c cleaning 70791 clauses out of 150827 with flag 0/2618179 1828.93/1862.75 c cleaning 71913 clauses out of 153036 with flag 0/2691179 1892.12/1924.60 c cleaning 72891 clauses out of 155123 with flag 0/2765179 1966.40/1999.43 c cleaning 73880 clauses out of 157232 with flag 0/2840179 2035.67/2067.64 c cleaning 74883 clauses out of 159352 with flag 0/2916179 2106.92/2137.96 c cleaning 75894 clauses out of 161469 with flag 0/2993179 2188.69/2222.84 c cleaning 76904 clauses out of 163575 with flag 0/3071179 2259.50/2292.62 c cleaning 77926 clauses out of 165671 with flag 0/3150179 2352.85/2384.42 c cleaning 78859 clauses out of 167745 with flag 0/3230179 2434.38/2464.54 c cleaning 79907 clauses out of 169888 with flag 0/3311181 2524.24/2571.87 c cleaning 80876 clauses out of 171979 with flag 0/3393179 2614.20/2660.34 c cleaning 81882 clauses out of 174103 with flag 0/3476179 2706.57/2750.95 c cleaning 82882 clauses out of 176221 with flag 0/3560179 2798.22/2841.49 c cleaning 83923 clauses out of 178339 with flag 0/3645179 2898.47/2942.95 c cleaning 84911 clauses out of 180416 with flag 0/3731179 3004.28/3068.22 c cleaning 85904 clauses out of 182505 with flag 0/3818179 3103.38/3171.86 c cleaning 86881 clauses out of 184601 with flag 0/3906179 3217.44/3285.19 c cleaning 87939 clauses out of 186723 with flag 0/3995182 3332.95/3399.08 c cleaning 88848 clauses out of 188781 with flag 0/4085179 3441.88/3506.53 c cleaning 89932 clauses out of 190933 with flag 0/4176179 3565.72/3660.47 c cleaning 90919 clauses out of 193001 with flag 0/4268179 3600.09/3694.52 c starts : 7291 3600.09/3694.52 c conflicts : 4319501 3600.09/3694.52 c decisions : 22217487 3600.09/3694.52 c propagations : 123639472 3600.09/3694.52 c inspects : 10815590953 3600.09/3694.52 c shortcuts : 0 3600.09/3694.52 c learnt literals : 0 3600.09/3694.52 c learnt binary clauses : 0 3600.09/3694.52 c learnt ternary clauses : 136198 3600.09/3694.52 c learnt constraints : 4319500 3600.09/3694.53 c ignored constraints : 0 3600.09/3694.53 c root simplifications : 0 3600.09/3694.53 c removed literals (reason simplification) : 0 3600.09/3694.53 c reason swapping (by a shorter reason) : 0 3600.09/3694.53 c Calls to reduceDB : 88 3600.09/3694.53 c Number of update (reduction) of LBD : 5441291 3600.09/3694.53 c Imported unit clauses : 0 3600.09/3694.53 c No decision after first conflict : false 3600.09/3694.53 c number of reductions to clauses (during analyze) : 0 3600.09/3694.53 c number of learned constraints concerned by reduction : 0 3600.09/3694.53 c number of learning phase by resolution : 0 3600.09/3694.53 c number of learning phase by cutting planes : 0 3600.09/3694.53 c number of rounding to 1 operations : 0 3600.09/3694.53 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.09/3694.53 c number of reductions of the coefficients by power 2 : 0 3600.09/3694.53 c number of right shift for reduction by power 2 : 0 3600.09/3694.53 c number of reductions of the coefficients by GCD over coefficients : 0 3600.09/3694.53 c number of ending skipping : 0 3600.09/3694.53 c number of internal skipping : 0 3600.09/3694.53 c number of derivation steps : 29585662 3600.09/3694.53 c number of skipped derivation steps : 0 3600.09/3694.53 c number of remaining unassigned : 3994 3600.09/3694.53 c number of remaining assigned : 236027495 3600.09/3694.53 c number of falsified literals weakened from reason : 0 3600.09/3694.53 c number of falsified literals weakened from conflict : 0 3600.09/3694.53 c time for arithmetic operations : 3128480032 3600.09/3694.53 c minimum degree of deleted constraints : 1 3600.09/3694.53 c maximum degree of deleted constraints : 8312523 3600.09/3694.53 c number of deleted constraints : 4166097 3600.09/3694.53 c speed (assignments/second) : 33472.34323646779 3600.09/3694.53 c non guided choices : 558 3600.27/3694.65 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 130843 3600.27/3694.65 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 5620 3600.27/3694.65 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 16940 3600.27/3694.65 s SATISFIABLE 3600.27/3694.65 c Found 3 solution(s) 3600.27/3694.66 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 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 x316 -x317 x318 -x319 x320 -x321 -x322 x323 x324 -x325 x326 -x327 x328 -x329 3600.27/3694.66 c objective function=12 3600.27/3694.66 c Total wall clock time (in seconds): 3694.39
OK 12
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (60851 MiB free)
memory of node 1: 64465 MiB (55755 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517865-1751542843/watcher-4517865-1751542843 -o /tmp/evaluation-result-4517865-1751542843/solver-4517865-1751542843 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751542805-78678 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517865-1751542843 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4517865-1751542843.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 FSIZE limit: 102400000 KiB
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
solver pid=78863, runsolver pid=78860
Current StackSize limit: 8192 KiB
[startup+0.100072 s]*
/proc/loadavg: 2.22 1.30 2.37 8/326 78881
/proc/meminfo: memFree=119384848/131382116 swapFree=33009904/33010684
[pid=78863] ppid=78860 vsize=18930384 memory=49352 CPUtime=0.12 cores=0,2
/proc/78863/stat : 78863 (java) S 78860 78863 78032 0 -1 4194304 5996 0 0 0 8 4 0 0 20 0 18 0 69963472 19384713216 12338 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
/proc/78863/statm: 4732596 12338 5336 1 0 547207 0
[pid=78863/tid=78865] ppid=78860 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/78863/task/78865/stat : 78865 (java) R 78860 78863 78032 0 -1 4194368 4838 0 0 0 6 2 0 0 20 0 18 0 69963474 19384713216 12338 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78874] ppid=78860 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/78863/task/78874/stat : 78874 (Finalizer) S 78860 78863 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69963479 19384713216 12338 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78881] ppid=78860 vsize=18930384 memory=60693105881846 CPUtime=0 cores=0,2
/proc/78863/task/78881/stat : 78881 (Common-Cleaner) S 78860 78863 78032 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69963480 19384713216 12338 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49352 KiB
[startup+0.215605 s]*
/proc/loadavg: 2.22 1.30 2.37 7/326 78881
/proc/meminfo: memFree=119383084/131382116 swapFree=33009904/33010684
[pid=78863] ppid=78860 vsize=18930384 memory=58972 CPUtime=0.36 cores=0,2
/proc/78863/stat : 78863 (java) S 78860 78863 78032 0 -1 4194304 6804 0 0 0 32 4 0 0 20 0 18 0 69963472 19384713216 14743 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
/proc/78863/statm: 4732596 14743 5432 1 0 547809 0
[pid=78863/tid=78865] ppid=78860 vsize=18930384 memory=4026728732 CPUtime=0.21 cores=0,2
/proc/78863/task/78865/stat : 78865 (java) R 78860 78863 78032 0 -1 4194368 5314 0 0 0 19 2 0 0 20 0 18 0 69963474 19384713216 14743 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78874] ppid=78860 vsize=18930384 memory=14857 CPUtime=0 cores=0,2
/proc/78863/task/78874/stat : 78874 (Finalizer) S 78860 78863 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69963479 19384713216 14743 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78881] ppid=78860 vsize=18930384 memory=59593594242043 CPUtime=0 cores=0,2
/proc/78863/task/78881/stat : 78881 (Common-Cleaner) S 78860 78863 78032 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69963480 19384713216 14743 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58972 KiB
[startup+0.333605 s]*
/proc/loadavg: 2.61 1.39 2.39 7/326 78881
/proc/meminfo: memFree=119378484/131382116 swapFree=33009904/33010684
[pid=78863] ppid=78860 vsize=18930384 memory=64072 CPUtime=0.53 cores=0,2
/proc/78863/stat : 78863 (java) S 78860 78863 78032 0 -1 4194304 7037 0 0 0 48 5 0 0 20 0 18 0 69963472 19384713216 16018 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
/proc/78863/statm: 4732596 16018 5432 1 0 547964 0
[pid=78863/tid=78865] ppid=78860 vsize=18930384 memory=-6000919507049276520 CPUtime=0.29 cores=0,2
/proc/78863/task/78865/stat : 78865 (java) R 78860 78863 78032 0 -1 4194368 5442 0 0 0 26 3 0 0 20 0 18 0 69963474 19384713216 16018 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78874] ppid=78860 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/78863/task/78874/stat : 78874 (Finalizer) S 78860 78863 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69963479 19384713216 16018 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78881] ppid=78860 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/78863/task/78881/stat : 78881 (Common-Cleaner) S 78860 78863 78032 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69963480 19384713216 16018 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64072 KiB
[startup+0.700269 s]
/proc/loadavg: 2.61 1.39 2.39 6/326 78881
/proc/meminfo: memFree=119352900/131382116 swapFree=33009904/33010684
[pid=78863] ppid=78860 vsize=18930384 memory=153296 CPUtime=1.2 cores=0,2
/proc/78863/stat : 78863 (java) S 78860 78863 78032 0 -1 4194304 8833 0 0 0 113 7 0 0 20 0 18 0 69963472 19384713216 38324 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
/proc/78863/statm: 4732596 38324 5464 1 0 549146 0
[pid=78863/tid=78865] ppid=78860 vsize=18930384 memory=18432 CPUtime=0.57 cores=0,2
/proc/78863/task/78865/stat : 78865 (java) R 78860 78863 78032 0 -1 4194368 5517 0 0 0 53 4 0 0 20 0 18 0 69963474 19384713216 38324 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78874] ppid=78860 vsize=18930384 memory=11264 CPUtime=0 cores=0,2
/proc/78863/task/78874/stat : 78874 (Finalizer) S 78860 78863 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69963479 19384713216 38324 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78881] ppid=78860 vsize=18930384 memory=3200 CPUtime=0 cores=0,2
/proc/78863/task/78881/stat : 78881 (Common-Cleaner) S 78860 78863 78032 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69963480 19384713216 38324 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 153296 KiB
[startup+1.50028 s]
/proc/loadavg: 2.61 1.39 2.39 6/328 78883
/proc/meminfo: memFree=119279048/131382116 swapFree=33009904/33010684
[pid=78863] ppid=78860 vsize=19063512 memory=173296 CPUtime=2.75 cores=0,2
/proc/78863/stat : 78863 (java) S 78860 78863 78032 0 -1 4194304 17842 0 0 0 265 10 0 0 20 0 20 0 69963472 19521036288 43324 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
/proc/78863/statm: 4765878 43324 5528 1 0 552117 0
[pid=78863/tid=78865] ppid=78860 vsize=19063512 memory=3200 CPUtime=1.24 cores=0,2
/proc/78863/task/78865/stat : 78865 (java) R 78860 78863 78032 0 -1 4194368 6048 0 0 0 119 5 0 0 20 0 20 0 69963474 19521036288 43324 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78874] ppid=78860 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/78863/task/78874/stat : 78874 (Finalizer) S 78860 78863 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69963479 19521036288 43324 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78881] ppid=78860 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/78863/task/78881/stat : 78881 (Common-Cleaner) S 78860 78863 78032 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 69963480 19521036288 43324 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78883] ppid=78860 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/78863/task/78883/stat : 78883 (Timer-0) S 78860 78863 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69963548 19521036288 43324 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173296 KiB
[startup+3.10596 s]
/proc/loadavg: 2.61 1.39 2.39 6/328 78883
/proc/meminfo: memFree=118975220/131382116 swapFree=33009904/33010684
[pid=78863] ppid=78860 vsize=19063512 memory=461464 CPUtime=5.94 cores=0,2
/proc/78863/stat : 78863 (java) S 78860 78863 78032 0 -1 4194304 26554 0 0 0 576 18 0 0 20 0 20 0 69963472 19521036288 115366 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
/proc/78863/statm: 4765878 115366 5528 1 0 556783 0
[pid=78863/tid=78865] ppid=78860 vsize=19063512 memory=11264 CPUtime=2.76 cores=0,2
/proc/78863/task/78865/stat : 78865 (java) R 78860 78863 78032 0 -1 4194368 7417 0 0 0 267 9 0 0 20 0 20 0 69963474 19521036288 115366 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78874] ppid=78860 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/78863/task/78874/stat : 78874 (Finalizer) S 78860 78863 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69963479 19521036288 115366 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78881] ppid=78860 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/78863/task/78881/stat : 78881 (Common-Cleaner) S 78860 78863 78032 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 69963480 19521036288 115366 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78883] ppid=78860 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/78863/task/78883/stat : 78883 (Timer-0) S 78860 78863 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69963548 19521036288 115366 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
Current children cumulated CPU time: 5.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 461464 KiB
[startup+6.30042 s]
/proc/loadavg: 2.80 1.45 2.41 5/328 78883
/proc/meminfo: memFree=118056396/131382116 swapFree=33009904/33010684
[pid=78863] ppid=78860 vsize=19063512 memory=1369324 CPUtime=10.71 cores=0,2
/proc/78863/stat : 78863 (java) S 78860 78863 78032 0 -1 4194304 28302 0 0 0 1032 39 0 0 20 0 20 0 69963472 19521036288 342331 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
/proc/78863/statm: 4765878 342331 5528 1 0 663631 0
[pid=78863/tid=78865] ppid=78860 vsize=19063512 memory=0 CPUtime=5.92 cores=0,2
/proc/78863/task/78865/stat : 78865 (java) R 78860 78863 78032 0 -1 4194368 8253 0 0 0 563 29 0 0 20 0 20 0 69963474 19521036288 342331 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78874] ppid=78860 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/78863/task/78874/stat : 78874 (Finalizer) S 78860 78863 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69963479 19521036288 342331 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78881] ppid=78860 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/78863/task/78881/stat : 78881 (Common-Cleaner) S 78860 78863 78032 0 -1 4194368 39 0 0 0 0 0 0 0 20 0 20 0 69963480 19521036288 342331 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78883] ppid=78860 vsize=19063512 memory=182728 CPUtime=0 cores=0,2
/proc/78863/task/78883/stat : 78883 (Timer-0) S 78860 78863 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69963548 19521036288 342331 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
Current children cumulated CPU time: 10.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1369324 KiB
[startup+12.7005 s]
/proc/loadavg: 2.89 1.50 2.42 6/328 78883
/proc/meminfo: memFree=117308240/131382116 swapFree=33009904/33010684
[pid=78863] ppid=78860 vsize=19063512 memory=1578400 CPUtime=17.59 cores=0,2
/proc/78863/stat : 78863 (java) S 78860 78863 78032 0 -1 4194304 28989 0 0 0 1715 44 0 0 20 0 20 0 69963472 19521036288 394600 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
/proc/78863/statm: 4765878 394600 5528 1 0 663633 0
[pid=78863/tid=78865] ppid=78860 vsize=19063512 memory=11264 CPUtime=12.08 cores=0,2
/proc/78863/task/78865/stat : 78865 (java) R 78860 78863 78032 0 -1 4194368 8882 0 0 0 1174 34 0 0 20 0 20 0 69963474 19521036288 394600 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78874] ppid=78860 vsize=19063512 memory=182728 CPUtime=0 cores=0,2
/proc/78863/task/78874/stat : 78874 (Finalizer) S 78860 78863 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69963479 19521036288 394600 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78881] ppid=78860 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/78863/task/78881/stat : 78881 (Common-Cleaner) S 78860 78863 78032 0 -1 4194368 39 0 0 0 0 0 0 0 20 0 20 0 69963480 19521036288 394600 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78883] ppid=78860 vsize=19063512 memory=1578400 CPUtime=0 cores=0,2
/proc/78863/task/78883/stat : 78883 (Timer-0) S 78860 78863 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69963548 19521036288 394600 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
Current children cumulated CPU time: 17.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1578400 KiB
[startup+25.5004 s]
/proc/loadavg: 3.14 1.59 2.44 5/328 78883
/proc/meminfo: memFree=116266428/131382116 swapFree=33009904/33010684
[pid=78863] ppid=78860 vsize=19063512 memory=2085784 CPUtime=30.79 cores=0,2
/proc/78863/stat : 78863 (java) S 78860 78863 78032 0 -1 4194304 35908 0 0 0 3021 58 0 0 20 0 20 0 69963472 19521036288 521446 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
/proc/78863/statm: 4765878 521446 5560 1 0 791089 0
[pid=78863/tid=78865] ppid=78860 vsize=19063512 memory=1578400 CPUtime=24.43 cores=0,2
/proc/78863/task/78865/stat : 78865 (java) R 78860 78863 78032 0 -1 4194368 11427 0 0 0 2397 46 0 0 20 0 20 0 69963474 19521036288 521446 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78874] ppid=78860 vsize=19063512 memory=2081620 CPUtime=0 cores=0,2
/proc/78863/task/78874/stat : 78874 (Finalizer) S 78860 78863 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69963479 19521036288 521446 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78881] ppid=78860 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/78863/task/78881/stat : 78881 (Common-Cleaner) S 78860 78863 78032 0 -1 4194368 39 0 0 0 0 0 0 0 20 0 20 0 69963480 19521036288 521446 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78883] ppid=78860 vsize=19063512 memory=2081492 CPUtime=0 cores=0,2
/proc/78863/task/78883/stat : 78883 (Timer-0) S 78860 78863 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69963548 19521036288 521446 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
Current children cumulated CPU time: 30.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2085784 KiB
[startup+51.1436 s]
/proc/loadavg: 3.54 1.84 2.50 5/328 78883
/proc/meminfo: memFree=114633380/131382116 swapFree=33009904/33010684
[pid=78863] ppid=78860 vsize=19063512 memory=2613496 CPUtime=54.61 cores=0,2
/proc/78863/stat : 78863 (java) S 78860 78863 78032 0 -1 4194304 40898 0 0 0 5386 75 0 0 20 0 20 0 69963472 19521036288 653374 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
/proc/78863/statm: 4765878 653374 5560 1 0 924782 0
[pid=78863/tid=78865] ppid=78860 vsize=19063512 memory=2611364 CPUtime=47.18 cores=0,2
/proc/78863/task/78865/stat : 78865 (java) R 78860 78863 78032 0 -1 4194368 14111 0 0 0 4656 62 0 0 20 0 20 0 69963474 19521036288 653374 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78874] ppid=78860 vsize=19063512 memory=2611364 CPUtime=0 cores=0,2
/proc/78863/task/78874/stat : 78874 (Finalizer) S 78860 78863 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69963479 19521036288 653374 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78881] ppid=78860 vsize=19063512 memory=2085784 CPUtime=0 cores=0,2
################
# More data... #
################
[startup+3342.3 s]
/proc/loadavg: 4.22 4.18 4.13 5/327 79066
/proc/meminfo: memFree=107834472/131382116 swapFree=33009904/33010684
[pid=78863] ppid=78860 vsize=19063512 memory=4152676 CPUtime=3275.29 cores=0,2
/proc/78863/stat : 78863 (java) S 78860 78863 78032 0 -1 4194304 153461 0 0 0 327054 475 0 0 20 0 20 0 69963472 19521036288 1038169 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
/proc/78863/statm: 4765878 1038169 5560 1 0 1053054 0
[pid=78863/tid=78865] ppid=78860 vsize=19063512 memory=14080 CPUtime=3131.32 cores=0,2
/proc/78863/task/78865/stat : 78865 (java) R 78860 78863 78032 0 -1 4194368 78039 0 0 0 312884 248 0 0 20 0 20 0 69963474 19521036288 1038169 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78874] ppid=78860 vsize=19063512 memory=4152676 CPUtime=0 cores=0,2
/proc/78863/task/78874/stat : 78874 (Finalizer) S 78860 78863 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69963479 19521036288 1038169 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78881] ppid=78860 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/78863/task/78881/stat : 78881 (Common-Cleaner) S 78860 78863 78032 0 -1 4194368 2187 0 0 0 0 0 0 0 20 0 20 0 69963480 19521036288 1038169 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78883] ppid=78860 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/78863/task/78883/stat : 78883 (Timer-0) S 78860 78863 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69963548 19521036288 1038169 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
Current children cumulated CPU time: 3275.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4152676 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.18 4.13 5/328 79069
/proc/meminfo: memFree=107821884/131382116 swapFree=33009904/33010684
[pid=78863] ppid=78860 vsize=19063512 memory=4152804 CPUtime=3336.22 cores=0,2
/proc/78863/stat : 78863 (java) S 78860 78863 78032 0 -1 4194304 154050 0 0 0 333141 481 0 0 20 0 20 0 69963472 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
/proc/78863/statm: 4765878 1038201 5560 1 0 1053058 0
[pid=78863/tid=78865] ppid=78860 vsize=19063512 memory=4152804 CPUtime=3189.98 cores=0,2
/proc/78863/task/78865/stat : 78865 (java) R 78860 78863 78032 0 -1 4194368 78559 0 0 0 318748 250 0 0 20 0 20 0 69963474 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78874] ppid=78860 vsize=19063512 memory=18432 CPUtime=0 cores=0,2
/proc/78863/task/78874/stat : 78874 (Finalizer) S 78860 78863 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69963479 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78881] ppid=78860 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/78863/task/78881/stat : 78881 (Common-Cleaner) S 78860 78863 78032 0 -1 4194368 2187 0 0 0 0 0 0 0 20 0 20 0 69963480 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78883] ppid=78860 vsize=19063512 memory=4152804 CPUtime=0 cores=0,2
/proc/78863/task/78883/stat : 78883 (Timer-0) S 78860 78863 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69963548 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
Current children cumulated CPU time: 3336.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4152804 KiB
[startup+3462.3 s]
/proc/loadavg: 4.36 4.22 4.15 5/329 79074
/proc/meminfo: memFree=107801168/131382116 swapFree=33009904/33010684
[pid=78863] ppid=78860 vsize=19063512 memory=4152804 CPUtime=3396.94 cores=0,2
/proc/78863/stat : 78863 (java) S 78860 78863 78032 0 -1 4194304 156569 0 0 0 339207 487 0 0 20 0 20 0 69963472 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
/proc/78863/statm: 4765878 1038201 5560 1 0 1053058 0
[pid=78863/tid=78865] ppid=78860 vsize=19063512 memory=22768 CPUtime=3248.49 cores=0,2
/proc/78863/task/78865/stat : 78865 (java) R 78860 78863 78032 0 -1 4194368 80237 0 0 0 324596 253 0 0 20 0 20 0 69963474 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78874] ppid=78860 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/78863/task/78874/stat : 78874 (Finalizer) S 78860 78863 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69963479 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78881] ppid=78860 vsize=19063512 memory=4152804 CPUtime=0 cores=0,2
/proc/78863/task/78881/stat : 78881 (Common-Cleaner) S 78860 78863 78032 0 -1 4194368 2263 0 0 0 0 0 0 0 20 0 20 0 69963480 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78883] ppid=78860 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/78863/task/78883/stat : 78883 (Timer-0) S 78860 78863 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69963548 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
Current children cumulated CPU time: 3396.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4152804 KiB
[startup+3522.3 s]
/proc/loadavg: 4.26 4.21 4.15 1/328 79076
/proc/meminfo: memFree=107763088/131382116 swapFree=33009904/33010684
[pid=78863] ppid=78860 vsize=19063512 memory=4152804 CPUtime=3455.98 cores=0,2
/proc/78863/stat : 78863 (java) S 78860 78863 78032 0 -1 4194304 158777 0 0 0 345104 494 0 0 20 0 20 0 69963472 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
/proc/78863/statm: 4765878 1038201 5560 1 0 1053058 0
[pid=78863/tid=78865] ppid=78860 vsize=19063512 memory=22768 CPUtime=3305.44 cores=0,2
/proc/78863/task/78865/stat : 78865 (java) D 78860 78863 78032 0 -1 4194368 82118 0 0 0 330288 256 0 0 20 0 20 0 69963474 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78874] ppid=78860 vsize=19063512 memory=4152804 CPUtime=0 cores=0,2
/proc/78863/task/78874/stat : 78874 (Finalizer) S 78860 78863 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69963479 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78881] ppid=78860 vsize=19063512 memory=4152804 CPUtime=0 cores=0,2
/proc/78863/task/78881/stat : 78881 (Common-Cleaner) S 78860 78863 78032 0 -1 4194368 2263 0 0 0 0 0 0 0 20 0 20 0 69963480 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78883] ppid=78860 vsize=19063512 memory=4152804 CPUtime=0 cores=0,2
/proc/78863/task/78883/stat : 78883 (Timer-0) S 78860 78863 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69963548 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
Current children cumulated CPU time: 3455.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4152804 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.22 4.16 1/328 79078
/proc/meminfo: memFree=108396064/131382116 swapFree=33009904/33010684
[pid=78863] ppid=78860 vsize=19063512 memory=4152804 CPUtime=3497.74 cores=0,2
/proc/78863/stat : 78863 (java) S 78860 78863 78032 0 -1 4194304 159596 0 0 0 349275 499 0 0 20 0 20 0 69963472 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
/proc/78863/statm: 4765878 1038201 5560 1 0 1053058 0
[pid=78863/tid=78865] ppid=78860 vsize=19063512 memory=14080 CPUtime=3345.82 cores=0,2
/proc/78863/task/78865/stat : 78865 (java) D 78860 78863 78032 0 -1 4194368 82215 0 0 0 334325 257 0 0 20 0 20 0 69963474 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78874] ppid=78860 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/78863/task/78874/stat : 78874 (Finalizer) S 78860 78863 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69963479 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78881] ppid=78860 vsize=19063512 memory=4152804 CPUtime=0 cores=0,2
/proc/78863/task/78881/stat : 78881 (Common-Cleaner) S 78860 78863 78032 0 -1 4194368 2338 0 0 0 0 0 0 0 20 0 20 0 69963480 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78883] ppid=78860 vsize=19063512 memory=18432 CPUtime=0 cores=0,2
/proc/78863/task/78883/stat : 78883 (Timer-0) S 78860 78863 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69963548 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
Current children cumulated CPU time: 3497.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4152804 KiB
[startup+3642.3 s]
/proc/loadavg: 4.24 4.22 4.16 5/329 79085
/proc/meminfo: memFree=108392500/131382116 swapFree=33009904/33010684
[pid=78863] ppid=78860 vsize=19063512 memory=4152804 CPUtime=3547.39 cores=0,2
/proc/78863/stat : 78863 (java) S 78860 78863 78032 0 -1 4194304 160002 0 0 0 354235 504 0 0 20 0 20 0 69963472 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
/proc/78863/statm: 4765878 1038201 5560 1 0 1053058 0
[pid=78863/tid=78865] ppid=78860 vsize=19063512 memory=0 CPUtime=3393.69 cores=0,2
/proc/78863/task/78865/stat : 78865 (java) R 78860 78863 78032 0 -1 4194368 82583 0 0 0 339110 259 0 0 20 0 20 0 69963474 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78874] ppid=78860 vsize=19063512 memory=4152804 CPUtime=0 cores=0,2
/proc/78863/task/78874/stat : 78874 (Finalizer) S 78860 78863 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69963479 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78881] ppid=78860 vsize=19063512 memory=4152804 CPUtime=0 cores=0,2
/proc/78863/task/78881/stat : 78881 (Common-Cleaner) S 78860 78863 78032 0 -1 4194368 2338 0 0 0 0 0 0 0 20 0 20 0 69963480 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78883] ppid=78860 vsize=19063512 memory=4152804 CPUtime=0 cores=0,2
/proc/78863/task/78883/stat : 78883 (Timer-0) S 78860 78863 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69963548 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
Current children cumulated CPU time: 3547.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4152804 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3694.5 s]
/proc/loadavg: 4.55 4.31 4.20 5/330 79354
/proc/meminfo: memFree=122315840/131382116 swapFree=33009904/33010684
[pid=78863] ppid=78860 vsize=19063512 memory=4152804 CPUtime=3600.09 cores=0,2
/proc/78863/stat : 78863 (java) S 78860 78863 78032 0 -1 4194304 162507 0 0 0 359498 511 0 0 20 0 20 0 69963472 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
/proc/78863/statm: 4765878 1038201 5560 1 0 1053058 0
[pid=78863/tid=78865] ppid=78860 vsize=19063512 memory=0 CPUtime=3444.72 cores=0,2
/proc/78863/task/78865/stat : 78865 (java) R 78860 78863 78032 0 -1 4194368 84407 0 0 0 344210 262 0 0 20 0 20 0 69963474 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78874] ppid=78860 vsize=19063512 memory=4152804 CPUtime=0 cores=0,2
/proc/78863/task/78874/stat : 78874 (Finalizer) S 78860 78863 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69963479 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78881] ppid=78860 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/78863/task/78881/stat : 78881 (Common-Cleaner) S 78860 78863 78032 0 -1 4194368 2338 0 0 0 0 0 0 0 20 0 20 0 69963480 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78883] ppid=78860 vsize=19063512 memory=4152804 CPUtime=0 cores=0,2
/proc/78863/task/78883/stat : 78883 (Timer-0) S 78860 78863 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69963548 19521036288 1038201 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4152804 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3694.71 s]
# the end of solver process 78863 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.29 s, system=5.14707 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3694.6 s]
/proc/loadavg: 4.55 4.31 4.20 5/330 79354
/proc/meminfo: memFree=122315840/131382116 swapFree=33009904/33010684
[pid=78863] ppid=78860 vsize=19263204 memory=4153572 CPUtime=3600.27 cores=0,2
/proc/78863/stat : 78863 (java) S 78860 78863 78032 0 -1 4194304 165024 0 0 0 359516 511 0 0 20 0 21 0 69963472 19725520896 1038393 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
/proc/78863/statm: 4815801 1038393 5592 1 0 1053980 0
[pid=78863/tid=78865] ppid=78860 vsize=19263204 memory=5276 CPUtime=3444.79 cores=0,2
/proc/78863/task/78865/stat : 78865 (java) R 78860 78863 78032 0 -1 4194368 84483 0 0 0 344217 262 0 0 20 0 21 0 69963474 19725520896 1038393 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78874] ppid=78860 vsize=19263204 memory=1792 CPUtime=0 cores=0,2
/proc/78863/task/78874/stat : 78874 (Finalizer) S 78860 78863 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 69963479 19725520896 1038393 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
[pid=78863/tid=78881] ppid=78860 vsize=19263204 memory=1920 CPUtime=0 cores=0,2
/proc/78863/task/78881/stat : 78881 (Common-Cleaner) S 78860 78863 78032 0 -1 4194368 2338 0 0 0 0 0 0 0 20 0 21 0 69963480 19725520896 1038393 18446744073709551615 94627347472384 94627347476080 140732542191152 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627347483896 94627347484688 94627366187008 140732542196013 140732542196198 140732542196198 140732542201800 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4153572 KiB
Child status: 143
Real time (s): 3694.71
CPU time (s): 3600.43
CPU user time (s): 3595.29
CPU system time (s): 5.14707
CPU usage (%): 97.4483
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4153572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.29
system time used= 5.14707
maximum resident set size= 4153700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165325
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1049144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145699
involuntary context switches= 17350
# summary of solver processes directly reported to runsolver:
# pid: 78863
# total CPU time (s): 3600.43
# total CPU user time (s): 3595.29
# total CPU system time (s): 5.14707
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.4986 second user time and 40.0318 second system time
The end
Begin job on nodeC004 at 2025-07-03 13:40:43 IDJOB=4517865 IDBENCH=176189 IDSOLVER=3362 FILE ID=nodeC004/4517865-1751542843 RUNJOBID= nodeC004-1751542805-78678 SLURM_JOB_ID= 9598694 Free space on /tmp= 431676 MiB SOLVER NAME= Sat4j CP VeriPB 2025-06-06 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=14-t=2.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517865-1751542843/watcher-4517865-1751542843 -o /tmp/evaluation-result-4517865-1751542843/solver-4517865-1751542843 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751542805-78678 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517865-1751542843 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4517865-1751542843.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0eb4af5d9d6a7991e65a6bdba739f56a RANDOM SEED=437158689 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 : 2395.079 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 : 3491.871 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.212 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 : 1197.310 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 : 3662.247 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 : 3591.436 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.015 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.249 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: 119407024 kB MemAvailable: 120229584 kB Buffers: 2128 kB Cached: 1572380 kB SwapCached: 32 kB Active: 10330496 kB Inactive: 978588 kB Active(anon): 9741544 kB Inactive(anon): 10748 kB Active(file): 588952 kB Inactive(file): 967840 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 2020 kB Writeback: 0 kB AnonPages: 9736492 kB Mapped: 123492 kB Shmem: 17932 kB KReclaimable: 210788 kB Slab: 297796 kB SReclaimable: 210788 kB SUnreclaim: 87008 kB KernelStack: 5024 kB PageTables: 22748 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 12842236 kB VmallocTotal: 34359738367 kB VmallocUsed: 150280 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 9504768 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-03 14:42:18