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) | 6 | 3600.33 | 3691.36 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=13-t=7.opb |
| MD5SUM | bf082a5f314776883f0e32420df0edd0 |
| 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 | 6 |
| Best CPU time to get the best result obtained on this benchmark | 21.8846 |
| 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 | 351 |
| Total number of constraints | 12753 |
| Number of constraints which are clauses | 12740 |
| Number of constraints which are cardinality constraints (but not clauses) | 13 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 14 |
| Number of terms in the objective function | 13 |
| 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 | 13 |
| 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 | 15 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.09/0.20 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.09/0.20 c This is free software under the dual EPL/GNU LGPL licenses. 0.09/0.20 c See www.sat4j.org for details. 0.09/0.22 c version PB25.v20250606 0.25/0.25 c java.runtime.name OpenJDK Runtime Environment 0.25/0.25 c java.vm.name OpenJDK 64-Bit Server VM 0.25/0.25 c java.vm.version 22.0.1+8-16 0.25/0.25 c java.vm.vendor Oracle Corporation 0.25/0.25 c sun.arch.data.model 64 0.25/0.25 c java.version 22.0.1 0.25/0.25 c os.name Linux 0.25/0.25 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.25/0.25 c os.arch amd64 0.25/0.26 c Free memory 2104792832 0.25/0.26 c Max memory 16282288128 0.25/0.26 c Total memory 2113929216 0.25/0.27 c Number of processors 2 0.58/0.46 c Pseudo Boolean Optimization by upper bound 0.58/0.46 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.58/0.46 c - never skip resolution steps 0.58/0.46 c - Auto-division on coefficients is disabled 0.58/0.46 c - No postprocessing 0.58/0.46 c - Conflict is considered as is when resolving 0.58/0.46 c - Use constraints as they come during conflict analysis 0.58/0.46 c - Weaken first using unassigned literals 0.58/0.46 c - Bump strategy: ALWAYS_ONE 0.58/0.46 c - Bumper: EFFECTIVE 0.58/0.46 c --- Begin Solver configuration --- 0.58/0.46 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@768debd 0.58/0.46 c Learn all clauses as in MiniSAT 0.58/0.46 c LOGGER=java.util.logging.Logger@449b2d27 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.58/0.46 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.58/0.46 c No reason simplification 0.58/0.46 c Dynamic restart strategy considering the size of the coefficients 0.58/0.46 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@18ef96 0.58/0.46 c timeout=2147483s 0.58/0.46 c DB Simplification allowed=false 0.58/0.46 c Listener: none 0.58/0.46 c --- End Solver configuration --- 0.58/0.46 c solving HOME/instance-4517727-1751542805.opb 0.58/0.46 c reading problem ... 0.58/0.46 c using VERIPB proof format 0.58/0.47 c objective function found 1.30/0.82 c ... done. Wall clock time 0.351s. 1.30/0.82 c declared #vars 351 1.30/0.82 c #constraints 12753 1.30/0.82 c constraints type 1.30/0.82 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 13 1.30/0.82 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 12740 1.30/0.82 c 12753 constraints processed. 1.30/0.85 c objective function length is 13 literals 3.46/1.97 c cleaning 2497 clauses out of 5001 with flag 0/5001 5.24/2.86 c cleaning 4239 clauses out of 8503 with flag 0/11000 6.76/3.90 c cleaning 5627 clauses out of 11265 with flag 0/18001 7.32/4.43 c SATISFIABLE 7.32/4.43 c OPTIMIZING... 7.32/4.43 c Got one! Elapsed wall clock time (in seconds):3.973 7.32/4.43 o 11 8.84/5.25 c cleaning 5365 clauses out of 10755 with flag 0/23118 14.12/8.14 c cleaning 5683 clauses out of 11388 with flag 0/29116 14.31/8.20 c Got one! Elapsed wall clock time (in seconds):7.747 14.31/8.20 o 10 19.32/13.03 c cleaning 5739 clauses out of 11521 with flag 0/34932 20.48/13.90 c cleaning 5882 clauses out of 11784 with flag 0/40934 21.46/14.51 c Got one! Elapsed wall clock time (in seconds):14.057 21.46/14.51 o 9 22.03/14.95 c cleaning 5901 clauses out of 11812 with flag 0/46844 24.81/17.45 c cleaning 5947 clauses out of 11910 with flag 0/52843 26.21/18.81 c cleaning 6469 clauses out of 12963 with flag 0/59843 27.96/20.59 c cleaning 7236 clauses out of 14494 with flag 0/67843 30.36/22.95 c cleaning 8116 clauses out of 16258 with flag 0/76843 32.76/25.39 c cleaning 9063 clauses out of 18143 with flag 0/86844 36.77/29.31 c cleaning 10031 clauses out of 20079 with flag 0/97843 40.10/32.65 c cleaning 11017 clauses out of 22051 with flag 0/109846 44.91/37.48 c cleaning 12006 clauses out of 24031 with flag 0/122843 51.44/43.67 c cleaning 13002 clauses out of 26027 with flag 0/136845 56.54/48.40 c cleaning 14000 clauses out of 28023 with flag 0/151843 62.04/53.86 c cleaning 15003 clauses out of 30023 with flag 0/167843 69.16/60.72 c cleaning 16000 clauses out of 32021 with flag 0/184844 85.44/76.73 c cleaning 17003 clauses out of 34022 with flag 0/202845 99.13/90.24 c cleaning 18002 clauses out of 36017 with flag 0/221843 104.29/95.28 c Got one! Elapsed wall clock time (in seconds):94.815 104.29/95.28 o 8 109.44/100.39 c cleaning 16592 clauses out of 33239 with flag 0/237067 115.54/106.39 c cleaning 11306 clauses out of 22646 with flag 0/243066 125.07/115.63 c cleaning 9140 clauses out of 18340 with flag 0/250066 126.89/117.41 c Got one! Elapsed wall clock time (in seconds):116.952 126.89/117.41 o 7 128.54/118.88 c cleaning 7183 clauses out of 14385 with flag 0/255251 138.20/128.44 c cleaning 6585 clauses out of 13201 with flag 0/261250 151.27/141.38 c cleaning 6781 clauses out of 13616 with flag 0/268250 165.97/155.79 c cleaning 7406 clauses out of 14836 with flag 0/276251 175.92/165.35 c cleaning 8194 clauses out of 16429 with flag 0/285250 186.94/176.15 c cleaning 9114 clauses out of 18235 with flag 0/295250 198.01/186.93 c Got one! Elapsed wall clock time (in seconds):186.471 198.01/186.93 o 6 222.68/211.23 c cleaning 10722 clauses out of 21468 with flag 0/307597 232.60/220.83 c cleaning 8354 clauses out of 16746 with flag 0/313597 245.59/233.79 c cleaning 7661 clauses out of 15391 with flag 0/320596 261.66/249.14 c cleaning 7840 clauses out of 15731 with flag 0/328597 272.41/259.65 c cleaning 8420 clauses out of 16890 with flag 0/337596 295.26/282.18 c cleaning 9205 clauses out of 18470 with flag 0/347596 317.27/303.88 c cleaning 10115 clauses out of 20265 with flag 0/358596 338.52/324.89 c cleaning 11066 clauses out of 22150 with flag 0/370596 362.63/350.02 c cleaning 12027 clauses out of 24084 with flag 0/383596 395.68/386.26 c cleaning 13027 clauses out of 26057 with flag 0/397596 441.64/431.39 c cleaning 14015 clauses out of 28030 with flag 0/412596 462.30/451.60 c cleaning 14991 clauses out of 30015 with flag 0/428596 495.67/484.32 c cleaning 15988 clauses out of 32024 with flag 0/445596 543.23/531.05 c cleaning 17012 clauses out of 34036 with flag 0/463596 590.26/590.45 c cleaning 17992 clauses out of 36026 with flag 0/482598 666.65/665.60 c cleaning 19011 clauses out of 38033 with flag 0/502597 774.70/780.14 c cleaning 19986 clauses out of 40021 with flag 0/523596 892.90/896.69 c cleaning 21013 clauses out of 42035 with flag 0/545596 936.76/943.41 c cleaning 21986 clauses out of 44022 with flag 0/568596 1007.01/1013.01 c cleaning 22990 clauses out of 46036 with flag 0/592596 1068.36/1076.00 c cleaning 24015 clauses out of 48046 with flag 0/617596 1158.75/1165.87 c cleaning 24991 clauses out of 50032 with flag 0/643597 1255.66/1261.71 c cleaning 26011 clauses out of 52041 with flag 0/670597 1353.59/1358.11 c cleaning 27015 clauses out of 54032 with flag 0/698599 1443.71/1448.45 c cleaning 28004 clauses out of 56015 with flag 0/727597 1536.62/1546.99 c cleaning 29000 clauses out of 58012 with flag 0/757598 1633.17/1642.04 c cleaning 29997 clauses out of 60012 with flag 0/788598 1744.76/1769.80 c cleaning 31003 clauses out of 62013 with flag 0/820596 1832.59/1859.60 c cleaning 31990 clauses out of 64011 with flag 0/853597 1949.98/1974.39 c cleaning 32990 clauses out of 66020 with flag 0/887596 2058.33/2082.43 c cleaning 34012 clauses out of 68030 with flag 0/922596 2176.79/2199.12 c cleaning 34998 clauses out of 70019 with flag 0/958597 2298.89/2324.28 c cleaning 36003 clauses out of 72023 with flag 0/995599 2433.68/2457.51 c cleaning 36997 clauses out of 74018 with flag 0/1033597 2567.81/2609.32 c cleaning 37993 clauses out of 76020 with flag 0/1072596 2738.76/2778.23 c cleaning 39012 clauses out of 78028 with flag 0/1112597 2888.85/2938.45 c cleaning 40000 clauses out of 80015 with flag 0/1153596 3043.15/3104.21 c cleaning 40996 clauses out of 82015 with flag 0/1195596 3218.43/3283.55 c cleaning 41994 clauses out of 84020 with flag 0/1238597 3379.91/3443.25 c cleaning 42979 clauses out of 86025 with flag 0/1282596 3567.23/3654.03 c cleaning 43982 clauses out of 88046 with flag 0/1327596 3600.06/3691.22 c starts : 34 3600.06/3691.23 c conflicts : 1345619 3600.06/3691.23 c decisions : 1926304 3600.06/3691.23 c propagations : 27695376 3600.06/3691.23 c inspects : 3142350116 3600.06/3691.23 c shortcuts : 0 3600.06/3691.23 c learnt literals : 0 3600.06/3691.23 c learnt binary clauses : 0 3600.06/3691.23 c learnt ternary clauses : 0 3600.06/3691.23 c learnt constraints : 1345618 3600.06/3691.23 c ignored constraints : 0 3600.06/3691.23 c root simplifications : 0 3600.06/3691.23 c removed literals (reason simplification) : 0 3600.06/3691.23 c reason swapping (by a shorter reason) : 0 3600.06/3691.23 c Calls to reduceDB : 72 3600.06/3691.23 c Number of update (reduction) of LBD : 1497446 3600.06/3691.23 c Imported unit clauses : 0 3600.06/3691.24 c No decision after first conflict : false 3600.06/3691.24 c number of reductions to clauses (during analyze) : 0 3600.06/3691.24 c number of learned constraints concerned by reduction : 0 3600.06/3691.24 c number of learning phase by resolution : 0 3600.06/3691.24 c number of learning phase by cutting planes : 0 3600.06/3691.25 c number of rounding to 1 operations : 0 3600.06/3691.25 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.06/3691.25 c number of reductions of the coefficients by power 2 : 0 3600.06/3691.25 c number of right shift for reduction by power 2 : 0 3600.06/3691.25 c number of reductions of the coefficients by GCD over coefficients : 0 3600.06/3691.25 c number of ending skipping : 0 3600.06/3691.25 c number of internal skipping : 0 3600.06/3691.25 c number of derivation steps : 18328924 3600.06/3691.25 c number of skipped derivation steps : 0 3600.06/3691.25 c number of remaining unassigned : 74219 3600.06/3691.25 c number of remaining assigned : 737228265 3600.06/3691.25 c number of falsified literals weakened from reason : 0 3600.06/3691.25 c number of falsified literals weakened from conflict : 0 3600.06/3691.25 c time for arithmetic operations : 25638711622 3600.06/3691.25 c minimum degree of deleted constraints : 1 3600.06/3691.25 c maximum degree of deleted constraints : 11210609410342831574856141161117600 3600.06/3691.25 c number of deleted constraints : 1283532 3600.06/3691.25 c speed (assignments/second) : 7504.736902860568 3600.06/3691.25 c non guided choices : 1550 3600.27/3691.31 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 43061 3600.27/3691.31 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 1434 3600.27/3691.31 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 17591 3600.27/3691.31 s SATISFIABLE 3600.27/3691.31 c Found 6 solution(s) 3600.27/3691.31 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 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 3600.27/3691.31 c objective function=6 3600.27/3691.32 c Total wall clock time (in seconds): 3690.858
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 (63205 MiB free)
memory of node 1: 64465 MiB (62885 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517727-1751542805/watcher-4517727-1751542805 -o /tmp/evaluation-result-4517727-1751542805/solver-4517727-1751542805 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751542805-78681 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517727-1751542805 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4517727-1751542805.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=78735, runsolver pid=78721
Current StackSize limit: 8192 KiB
[startup+0.100074 s]*
/proc/loadavg: 0.05 0.82 2.26 7/319 78806
/proc/meminfo: memFree=129058492/131382116 swapFree=33009904/33010684
[pid=78735] ppid=78721 vsize=18930344 memory=45616 CPUtime=0.09 cores=5,7
/proc/78735/stat : 78735 (java) S 78721 78735 78032 0 -1 4194304 5373 0 85 0 6 3 0 0 20 0 18 0 69959722 19384672256 11404 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
/proc/78735/statm: 4732586 11404 4944 1 0 546700 0
[pid=78735/tid=78741] ppid=78721 vsize=18930344 memory=4026532124 CPUtime=0.06 cores=5,7
/proc/78735/task/78741/stat : 78741 (java) R 78721 78735 78032 0 -1 4194368 4482 0 85 0 4 2 0 0 20 0 18 0 69959725 19384672256 11404 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78785] ppid=78721 vsize=18930344 memory=14857 CPUtime=0 cores=5,7
/proc/78735/task/78785/stat : 78785 (Finalizer) S 78721 78735 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69959731 19384672256 11436 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78805] ppid=78721 vsize=18930344 memory=59593594242043 CPUtime=0 cores=5,7
/proc/78735/task/78805/stat : 78805 (Common-Cleaner) S 78721 78735 78032 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69959732 19384672256 11436 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 45616 KiB
[startup+0.214814 s]*
/proc/loadavg: 0.05 0.82 2.26 7/319 78806
/proc/meminfo: memFree=129046080/131382116 swapFree=33009904/33010684
[pid=78735] ppid=78721 vsize=18930384 memory=52104 CPUtime=0.25 cores=5,7
/proc/78735/stat : 78735 (java) S 78721 78735 78032 0 -1 4194304 6071 0 85 0 21 4 0 0 20 0 18 0 69959722 19384713216 13026 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
/proc/78735/statm: 4732596 13026 5360 1 0 547267 0
[pid=78735/tid=78741] ppid=78721 vsize=18930384 memory=4026728732 CPUtime=0.15 cores=5,7
/proc/78735/task/78741/stat : 78741 (java) R 78721 78735 78032 0 -1 4194368 4864 0 85 0 13 2 0 0 20 0 18 0 69959725 19384713216 13026 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78785] ppid=78721 vsize=18930384 memory=14857 CPUtime=0 cores=5,7
/proc/78735/task/78785/stat : 78785 (Finalizer) S 78721 78735 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69959731 19384713216 13026 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78805] ppid=78721 vsize=18930384 memory=59593594242043 CPUtime=0 cores=5,7
/proc/78735/task/78805/stat : 78805 (Common-Cleaner) S 78721 78735 78032 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69959732 19384713216 13026 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52104 KiB
[startup+0.314449 s]*
/proc/loadavg: 0.05 0.82 2.26 11/319 78806
/proc/meminfo: memFree=129031840/131382116 swapFree=33009904/33010684
[pid=78735] ppid=78721 vsize=18930384 memory=58080 CPUtime=0.41 cores=5,7
/proc/78735/stat : 78735 (java) S 78721 78735 78032 0 -1 4194304 6559 0 85 0 36 5 0 0 20 0 18 0 69959722 19384713216 14520 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
/proc/78735/statm: 4732596 14520 5360 1 0 547660 0
[pid=78735/tid=78741] ppid=78721 vsize=18930384 memory=-6000919498526516328 CPUtime=0.24 cores=5,7
/proc/78735/task/78741/stat : 78741 (java) R 78721 78735 78032 0 -1 4194368 5026 0 85 0 21 3 0 0 20 0 18 0 69959725 19384713216 14520 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78785] ppid=78721 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/78735/task/78785/stat : 78785 (Finalizer) S 78721 78735 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69959731 19384713216 14520 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78805] ppid=78721 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/78735/task/78805/stat : 78805 (Common-Cleaner) S 78721 78735 78032 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69959732 19384713216 14520 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58080 KiB
[startup+0.700293 s]
/proc/loadavg: 0.05 0.82 2.26 15/319 78806
/proc/meminfo: memFree=129012272/131382116 swapFree=33009904/33010684
[pid=78735] ppid=78721 vsize=18930384 memory=94036 CPUtime=1.1 cores=5,7
/proc/78735/stat : 78735 (java) S 78721 78735 78032 0 -1 4194304 8232 0 85 0 102 8 0 0 20 0 18 0 69959722 19384713216 23509 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
/proc/78735/statm: 4732596 23509 5456 1 0 548699 0
[pid=78735/tid=78741] ppid=78721 vsize=18930384 memory=18432 CPUtime=0.54 cores=5,7
/proc/78735/task/78741/stat : 78741 (java) R 78721 78735 78032 0 -1 4194368 5330 0 85 0 49 5 0 0 20 0 18 0 69959725 19384713216 23509 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78785] ppid=78721 vsize=18930384 memory=11264 CPUtime=0 cores=5,7
/proc/78735/task/78785/stat : 78785 (Finalizer) S 78721 78735 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69959731 19384713216 23509 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78805] ppid=78721 vsize=18930384 memory=3200 CPUtime=0 cores=5,7
/proc/78735/task/78805/stat : 78805 (Common-Cleaner) S 78721 78735 78032 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69959732 19384713216 23509 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 94036 KiB
[startup+1.50032 s]
/proc/loadavg: 0.05 0.82 2.26 13/323 78810
/proc/meminfo: memFree=128839488/131382116 swapFree=33009904/33010684
[pid=78735] ppid=78721 vsize=19063512 memory=162648 CPUtime=2.68 cores=5,7
/proc/78735/stat : 78735 (java) S 78721 78735 78032 0 -1 4194304 13518 0 85 0 255 13 0 0 20 0 20 0 69959722 19521036288 40662 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
/proc/78735/statm: 4765878 40662 5520 1 0 550540 0
[pid=78735/tid=78741] ppid=78721 vsize=19063512 memory=3200 CPUtime=1.18 cores=5,7
/proc/78735/task/78741/stat : 78741 (java) R 78721 78735 78032 0 -1 4194368 5881 0 85 0 111 7 0 0 20 0 20 0 69959725 19521036288 40662 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78785] ppid=78721 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/78735/task/78785/stat : 78785 (Finalizer) S 78721 78735 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69959731 19521036288 40662 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78805] ppid=78721 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/78735/task/78805/stat : 78805 (Common-Cleaner) S 78721 78735 78032 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 69959732 19521036288 40662 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78810] ppid=78721 vsize=19063512 memory=14080 CPUtime=0 cores=5,7
/proc/78735/task/78810/stat : 78810 (Timer-0) S 78721 78735 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69959809 19521036288 40662 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 162648 KiB
[startup+3.10571 s]
/proc/loadavg: 0.68 0.94 2.29 12/327 78814
/proc/meminfo: memFree=127433500/131382116 swapFree=33009904/33010684
[pid=78735] ppid=78721 vsize=19063512 memory=371904 CPUtime=5.83 cores=5,7
/proc/78735/stat : 78735 (java) S 78721 78735 78032 0 -1 4194304 24233 0 85 0 564 19 0 0 20 0 20 0 69959722 19521036288 92976 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
/proc/78735/statm: 4765878 92976 5520 1 0 555215 0
[pid=78735/tid=78741] ppid=78721 vsize=19063512 memory=14080 CPUtime=2.71 cores=5,7
/proc/78735/task/78741/stat : 78741 (java) R 78721 78735 78032 0 -1 4194368 7100 0 85 0 260 11 0 0 20 0 20 0 69959725 19521036288 92976 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78785] ppid=78721 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/78735/task/78785/stat : 78785 (Finalizer) S 78721 78735 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69959731 19521036288 92976 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78805] ppid=78721 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/78735/task/78805/stat : 78805 (Common-Cleaner) S 78721 78735 78032 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 69959732 19521036288 92976 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78810] ppid=78721 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/78735/task/78810/stat : 78810 (Timer-0) S 78721 78735 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69959809 19521036288 92976 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
Current children cumulated CPU time: 5.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 371904 KiB
[startup+6.30025 s]
/proc/loadavg: 0.68 0.94 2.29 8/327 78814
/proc/meminfo: memFree=124605052/131382116 swapFree=33009904/33010684
[pid=78735] ppid=78721 vsize=19063512 memory=756360 CPUtime=11.01 cores=5,7
/proc/78735/stat : 78735 (java) S 78721 78735 78032 0 -1 4194304 26630 0 85 0 1074 27 0 0 20 0 20 0 69959722 19521036288 189090 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
/proc/78735/statm: 4765878 189090 5520 1 0 555932 0
[pid=78735/tid=78741] ppid=78721 vsize=19063512 memory=0 CPUtime=5.82 cores=5,7
/proc/78735/task/78741/stat : 78741 (java) R 78721 78735 78032 0 -1 4194368 7995 0 85 0 565 17 0 0 20 0 20 0 69959725 19521036288 189090 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78785] ppid=78721 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/78735/task/78785/stat : 78785 (Finalizer) S 78721 78735 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69959731 19521036288 189090 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78805] ppid=78721 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/78735/task/78805/stat : 78805 (Common-Cleaner) S 78721 78735 78032 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 69959732 19521036288 189090 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78810] ppid=78721 vsize=19063512 memory=162904 CPUtime=0 cores=5,7
/proc/78735/task/78810/stat : 78810 (Timer-0) S 78721 78735 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69959809 19521036288 189090 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
Current children cumulated CPU time: 11.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 756360 KiB
[startup+12.7004 s]
/proc/loadavg: 1.19 1.04 2.32 7/327 78814
/proc/meminfo: memFree=122868212/131382116 swapFree=33009904/33010684
[pid=78735] ppid=78721 vsize=19063512 memory=1756080 CPUtime=18.96 cores=5,7
/proc/78735/stat : 78735 (java) S 78721 78735 78032 0 -1 4194304 32621 0 85 0 1845 51 0 0 20 0 20 0 69959722 19521036288 439020 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
/proc/78735/statm: 4765878 439020 5520 1 0 775281 0
[pid=78735/tid=78741] ppid=78721 vsize=19063512 memory=162904 CPUtime=11.9 cores=5,7
/proc/78735/task/78741/stat : 78741 (java) R 78721 78735 78032 0 -1 4194368 9657 0 85 0 1152 38 0 0 20 0 20 0 69959725 19521036288 439020 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78785] ppid=78721 vsize=19063512 memory=1334136 CPUtime=0 cores=5,7
/proc/78735/task/78785/stat : 78785 (Finalizer) S 78721 78735 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69959731 19521036288 439020 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78805] ppid=78721 vsize=19063512 memory=14080 CPUtime=0 cores=5,7
/proc/78735/task/78805/stat : 78805 (Common-Cleaner) S 78721 78735 78032 0 -1 4194368 39 0 0 0 0 0 0 0 20 0 20 0 69959732 19521036288 439020 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78810] ppid=78721 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/78735/task/78810/stat : 78810 (Timer-0) S 78721 78735 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69959809 19521036288 439020 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
Current children cumulated CPU time: 18.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1756080 KiB
[startup+25.5004 s]
/proc/loadavg: 1.81 1.19 2.34 8/327 78814
/proc/meminfo: memFree=121416200/131382116 swapFree=33009904/33010684
[pid=78735] ppid=78721 vsize=19063512 memory=2256596 CPUtime=32.96 cores=5,7
/proc/78735/stat : 78735 (java) S 78721 78735 78032 0 -1 4194304 38363 0 85 0 3229 67 0 0 20 0 20 0 69959722 19521036288 564149 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
/proc/78735/statm: 4765878 564149 5520 1 0 775448 0
[pid=78735/tid=78741] ppid=78721 vsize=19063512 memory=1334136 CPUtime=24.16 cores=5,7
/proc/78735/task/78741/stat : 78741 (java) R 78721 78735 78032 0 -1 4194368 10883 0 85 0 2365 51 0 0 20 0 20 0 69959725 19521036288 564149 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78785] ppid=78721 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/78735/task/78785/stat : 78785 (Finalizer) S 78721 78735 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69959731 19521036288 564149 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78805] ppid=78721 vsize=19063512 memory=14080 CPUtime=0 cores=5,7
/proc/78735/task/78805/stat : 78805 (Common-Cleaner) S 78721 78735 78032 0 -1 4194368 39 0 0 0 0 0 0 0 20 0 20 0 69959732 19521036288 564149 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78810] ppid=78721 vsize=19063512 memory=2256596 CPUtime=0 cores=5,7
/proc/78735/task/78810/stat : 78810 (Timer-0) S 78721 78735 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69959809 19521036288 564149 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
Current children cumulated CPU time: 32.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2256596 KiB
[startup+51.1138 s]
/proc/loadavg: 2.89 1.50 2.42 6/328 78883
/proc/meminfo: memFree=117307484/131382116 swapFree=33009904/33010684
[pid=78735] ppid=78721 vsize=19063512 memory=4898956 CPUtime=59.25 cores=5,7
/proc/78735/stat : 78735 (java) S 78721 78735 78032 0 -1 4194304 47356 0 85 0 5796 129 0 0 20 0 20 0 69959722 19521036288 1224739 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
/proc/78735/statm: 4765878 1224739 5520 1 0 1437639 0
[pid=78735/tid=78741] ppid=78721 vsize=19063512 memory=4898828 CPUtime=48.99 cores=5,7
/proc/78735/task/78741/stat : 78741 (java) R 78721 78735 78032 0 -1 4194368 13658 0 85 0 4791 108 0 0 20 0 20 0 69959725 19521036288 1224739 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78785] ppid=78721 vsize=19063512 memory=4898956 CPUtime=0 cores=5,7
/proc/78735/task/78785/stat : 78785 (Finalizer) S 78721 78735 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69959731 19521036288 1224739 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78805] ppid=78721 vsize=19063512 memory=1811376 CPUtime=0 cores=5,7
################
# More data... #
################
[startup+3342.3 s]
/proc/loadavg: 4.29 4.19 4.14 7/327 79064
/proc/meminfo: memFree=107842992/131382116 swapFree=33009904/33010684
[pid=78735] ppid=78721 vsize=19063512 memory=5700812 CPUtime=3277.88 cores=5,7
/proc/78735/stat : 78735 (java) S 78721 78735 78032 0 -1 4194304 222625 0 85 0 326887 901 0 0 20 0 20 0 69959722 19521036288 1425203 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
/proc/78735/statm: 4765878 1425203 5584 1 0 1438572 0
[pid=78735/tid=78741] ppid=78721 vsize=19063512 memory=5700812 CPUtime=3139.56 cores=5,7
/proc/78735/task/78741/stat : 78741 (java) R 78721 78735 78032 0 -1 4194368 118921 0 85 0 313307 649 0 0 20 0 20 0 69959725 19521036288 1425203 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78785] ppid=78721 vsize=19063512 memory=-6000919502821483624 CPUtime=0 cores=5,7
/proc/78735/task/78785/stat : 78785 (Finalizer) S 78721 78735 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69959731 19521036288 1425203 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78805] ppid=78721 vsize=19063512 memory=5700812 CPUtime=0 cores=5,7
/proc/78735/task/78805/stat : 78805 (Common-Cleaner) S 78721 78735 78032 0 -1 4194368 2348 0 0 0 0 0 0 0 20 0 20 0 69959732 19521036288 1425203 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78810] ppid=78721 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/78735/task/78810/stat : 78810 (Timer-0) S 78721 78735 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69959809 19521036288 1425203 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
Current children cumulated CPU time: 3277.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5700812 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.17 4.13 6/327 79066
/proc/meminfo: memFree=107833956/131382116 swapFree=33009904/33010684
[pid=78735] ppid=78721 vsize=19063512 memory=5700812 CPUtime=3338.52 cores=5,7
/proc/78735/stat : 78735 (java) S 78721 78735 78032 0 -1 4194304 225847 0 85 0 332942 910 0 0 20 0 20 0 69959722 19521036288 1425203 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
/proc/78735/statm: 4765878 1425203 5584 1 0 1438572 0
[pid=78735/tid=78741] ppid=78721 vsize=19063512 memory=5700812 CPUtime=3198.37 cores=5,7
/proc/78735/task/78741/stat : 78741 (java) R 78721 78735 78032 0 -1 4194368 121224 0 85 0 319183 654 0 0 20 0 20 0 69959725 19521036288 1425203 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78785] ppid=78721 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/78735/task/78785/stat : 78785 (Finalizer) S 78721 78735 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69959731 19521036288 1425203 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78805] ppid=78721 vsize=19063512 memory=-6000919502821483624 CPUtime=0 cores=5,7
/proc/78735/task/78805/stat : 78805 (Common-Cleaner) S 78721 78735 78032 0 -1 4194368 2436 0 0 0 0 0 0 0 20 0 20 0 69959732 19521036288 1425203 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78810] ppid=78721 vsize=19063512 memory=5700812 CPUtime=0 cores=5,7
/proc/78735/task/78810/stat : 78810 (Timer-0) S 78721 78735 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69959809 19521036288 1425203 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
Current children cumulated CPU time: 3338.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5700812 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.17 4.13 6/328 79069
/proc/meminfo: memFree=107803832/131382116 swapFree=33009904/33010684
[pid=78735] ppid=78721 vsize=19063512 memory=5700940 CPUtime=3399.23 cores=5,7
/proc/78735/stat : 78735 (java) S 78721 78735 78032 0 -1 4194304 226336 0 85 0 339004 919 0 0 20 0 20 0 69959722 19521036288 1425235 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
/proc/78735/statm: 4765878 1425235 5584 1 0 1438572 0
[pid=78735/tid=78741] ppid=78721 vsize=19063512 memory=5700812 CPUtime=3257.1 cores=5,7
/proc/78735/task/78741/stat : 78741 (java) R 78721 78735 78032 0 -1 4194368 121419 0 85 0 325050 660 0 0 20 0 20 0 69959725 19521036288 1425235 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78785] ppid=78721 vsize=19063512 memory=14080 CPUtime=0 cores=5,7
/proc/78735/task/78785/stat : 78785 (Finalizer) S 78721 78735 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69959731 19521036288 1425235 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78805] ppid=78721 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/78735/task/78805/stat : 78805 (Common-Cleaner) S 78721 78735 78032 0 -1 4194368 2492 0 0 0 0 0 0 0 20 0 20 0 69959732 19521036288 1425235 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78810] ppid=78721 vsize=19063512 memory=-6000919502821483624 CPUtime=0 cores=5,7
/proc/78735/task/78810/stat : 78810 (Timer-0) S 78721 78735 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69959809 19521036288 1425235 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
Current children cumulated CPU time: 3399.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5700940 KiB
[startup+3522.3 s]
/proc/loadavg: 4.26 4.21 4.15 6/328 79074
/proc/meminfo: memFree=107794588/131382116 swapFree=33009904/33010684
[pid=78735] ppid=78721 vsize=19063512 memory=5700940 CPUtime=3460.28 cores=5,7
/proc/78735/stat : 78735 (java) S 78721 78735 78032 0 -1 4194304 228258 0 85 0 345099 929 0 0 20 0 20 0 69959722 19521036288 1425235 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
/proc/78735/statm: 4765878 1425235 5584 1 0 1438572 0
[pid=78735/tid=78741] ppid=78721 vsize=19063512 memory=14080 CPUtime=3315.53 cores=5,7
/proc/78735/task/78741/stat : 78741 (java) R 78721 78735 78032 0 -1 4194368 122830 0 85 0 330888 665 0 0 20 0 20 0 69959725 19521036288 1425235 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78785] ppid=78721 vsize=19063512 memory=164 CPUtime=0 cores=5,7
/proc/78735/task/78785/stat : 78785 (Finalizer) S 78721 78735 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69959731 19521036288 1425235 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78805] ppid=78721 vsize=19063512 memory=5700940 CPUtime=0 cores=5,7
/proc/78735/task/78805/stat : 78805 (Common-Cleaner) S 78721 78735 78032 0 -1 4194368 2493 0 0 0 0 0 0 0 20 0 20 0 69959732 19521036288 1425235 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78810] ppid=78721 vsize=19063512 memory=2944 CPUtime=0 cores=5,7
/proc/78735/task/78810/stat : 78810 (Timer-0) S 78721 78735 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69959809 19521036288 1425235 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
Current children cumulated CPU time: 3460.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5700940 KiB
[startup+3582.3 s]
/proc/loadavg: 4.26 4.21 4.15 6/328 79076
/proc/meminfo: memFree=107764268/131382116 swapFree=33009904/33010684
[pid=78735] ppid=78721 vsize=19063512 memory=5700940 CPUtime=3507.68 cores=5,7
/proc/78735/stat : 78735 (java) S 78721 78735 78032 0 -1 4194304 231393 0 85 0 349829 939 0 0 20 0 20 0 69959722 19521036288 1425235 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
/proc/78735/statm: 4765878 1425235 5584 1 0 1438572 0
[pid=78735/tid=78741] ppid=78721 vsize=19063512 memory=5700940 CPUtime=3360.92 cores=5,7
/proc/78735/task/78741/stat : 78741 (java) R 78721 78735 78032 0 -1 4194368 124729 0 85 0 335421 671 0 0 20 0 20 0 69959725 19521036288 1425235 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78785] ppid=78721 vsize=19063512 memory=14080 CPUtime=0 cores=5,7
/proc/78735/task/78785/stat : 78785 (Finalizer) S 78721 78735 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69959731 19521036288 1425235 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78805] ppid=78721 vsize=19063512 memory=5700940 CPUtime=0 cores=5,7
/proc/78735/task/78805/stat : 78805 (Common-Cleaner) S 78721 78735 78032 0 -1 4194368 2627 0 0 0 0 0 0 0 20 0 20 0 69959732 19521036288 1425235 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78810] ppid=78721 vsize=19063512 memory=5700940 CPUtime=0 cores=5,7
/proc/78735/task/78810/stat : 78810 (Timer-0) S 78721 78735 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69959809 19521036288 1425235 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
Current children cumulated CPU time: 3507.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5700940 KiB
[startup+3642.3 s]
/proc/loadavg: 4.23 4.22 4.16 6/328 79078
/proc/meminfo: memFree=108408532/131382116 swapFree=33009904/33010684
[pid=78735] ppid=78721 vsize=19063512 memory=5034220 CPUtime=3555.45 cores=5,7
/proc/78735/stat : 78735 (java) S 78721 78735 78032 0 -1 4194304 237225 0 85 0 354597 948 0 0 20 0 20 0 69959722 19521036288 1258555 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
/proc/78735/statm: 4765878 1258555 5584 1 0 1271544 0
[pid=78735/tid=78741] ppid=78721 vsize=19063512 memory=5034220 CPUtime=3406.8 cores=5,7
/proc/78735/task/78741/stat : 78741 (java) R 78721 78735 78032 0 -1 4194368 127377 0 85 0 340005 675 0 0 20 0 20 0 69959725 19521036288 1258555 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78785] ppid=78721 vsize=19063512 memory=5034220 CPUtime=0 cores=5,7
/proc/78735/task/78785/stat : 78785 (Finalizer) S 78721 78735 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69959731 19521036288 1258555 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78805] ppid=78721 vsize=19063512 memory=5034220 CPUtime=0 cores=5,7
/proc/78735/task/78805/stat : 78805 (Common-Cleaner) S 78721 78735 78032 0 -1 4194368 2627 0 0 0 0 0 0 0 20 0 20 0 69959732 19521036288 1258555 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78810] ppid=78721 vsize=19063512 memory=18432 CPUtime=0 cores=5,7
/proc/78735/task/78810/stat : 78810 (Timer-0) S 78721 78735 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69959809 19521036288 1258555 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
Current children cumulated CPU time: 3555.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5034220 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3691.2 s]
/proc/loadavg: 4.21 4.21 4.16 5/306 79098
/proc/meminfo: memFree=112639772/131382116 swapFree=33009904/33010684
[pid=78735] ppid=78721 vsize=19063512 memory=5034220 CPUtime=3600.06 cores=5,7
/proc/78735/stat : 78735 (java) S 78721 78735 78032 0 -1 4194304 238280 0 85 0 359049 957 0 0 20 0 20 0 69959722 19521036288 1258555 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
/proc/78735/statm: 4765878 1258555 5584 1 0 1271544 0
[pid=78735/tid=78741] ppid=78721 vsize=19063512 memory=11264 CPUtime=3450.42 cores=5,7
/proc/78735/task/78741/stat : 78741 (java) R 78721 78735 78032 0 -1 4194368 128229 0 85 0 344362 680 0 0 20 0 20 0 69959725 19521036288 1258555 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78785] ppid=78721 vsize=19063512 memory=14080 CPUtime=0 cores=5,7
/proc/78735/task/78785/stat : 78785 (Finalizer) S 78721 78735 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69959731 19521036288 1258555 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78805] ppid=78721 vsize=19063512 memory=18432 CPUtime=0 cores=5,7
/proc/78735/task/78805/stat : 78805 (Common-Cleaner) S 78721 78735 78032 0 -1 4194368 2680 0 0 0 0 0 0 0 20 0 20 0 69959732 19521036288 1258555 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78810] ppid=78721 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/78735/task/78810/stat : 78810 (Timer-0) S 78721 78735 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69959809 19521036288 1258555 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5034220 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3691.36 s]
# the end of solver process 78735 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3590.72 s, system=9.61271 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3691.31 s]
/proc/loadavg: 4.21 4.21 4.16 5/306 79098
/proc/meminfo: memFree=112639772/131382116 swapFree=33009904/33010684
[pid=78735] ppid=78721 vsize=19263204 memory=5034860 CPUtime=3600.27 cores=5,7
/proc/78735/stat : 78735 (java) S 78721 78735 78032 0 -1 4194304 240704 0 85 0 359069 958 0 0 20 0 21 0 69959722 19725520896 1258715 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
/proc/78735/statm: 4815801 1258715 5584 1 0 1272481 0
[pid=78735/tid=78741] ppid=78721 vsize=19263204 memory=5034220 CPUtime=3450.51 cores=5,7
/proc/78735/task/78741/stat : 78741 (java) R 78721 78735 78032 0 -1 4194368 128482 0 85 0 344371 680 0 0 20 0 21 0 69959725 19725520896 1258715 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78785] ppid=78721 vsize=19263204 memory=14080 CPUtime=0 cores=5,7
/proc/78735/task/78785/stat : 78785 (Finalizer) S 78721 78735 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 69959731 19725520896 1258715 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
[pid=78735/tid=78805] ppid=78721 vsize=19263204 memory=5034220 CPUtime=0 cores=5,7
/proc/78735/task/78805/stat : 78805 (Common-Cleaner) S 78721 78735 78032 0 -1 4194368 2680 0 0 0 0 0 0 0 20 0 21 0 69959732 19725520896 1258715 18446744073709551615 94305466519552 94305466523248 140720360459024 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94305466531064 94305466531856 94305493905408 140720360466733 140720360466918 140720360466918 140720360472520 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 5034860 KiB
Child status: 143
Real time (s): 3691.36
CPU time (s): 3600.33
CPU user time (s): 3590.72
CPU system time (s): 9.61271
CPU usage (%): 97.5339
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 5701068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.72
system time used= 9.61271
maximum resident set size= 5701068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240975
page faults= 85
swaps= 0
block input operations= 0
block output operations= 2919608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136600
involuntary context switches= 17833
# summary of solver processes directly reported to runsolver:
# pid: 78735
# total CPU time (s): 3600.33
# total CPU user time (s): 3590.72
# total CPU system time (s): 9.61271
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.3402 second user time and 39.0524 second system time
The end
Begin job on nodeC004 at 2025-07-03 13:40:05 IDJOB=4517727 IDBENCH=176167 IDSOLVER=3362 FILE ID=nodeC004/4517727-1751542805 RUNJOBID= nodeC004-1751542805-78681 SLURM_JOB_ID= 9598694 Free space on /tmp= 431680 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=13-t=7.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517727-1751542805/watcher-4517727-1751542805 -o /tmp/evaluation-result-4517727-1751542805/solver-4517727-1751542805 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751542805-78681 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517727-1751542805 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4517727-1751542805.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bf082a5f314776883f0e32420df0edd0 RANDOM SEED=489439157 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.315 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.209 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.205 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.193 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.362 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.187 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 : 1196.737 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.213 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: 129117988 kB MemAvailable: 129877220 kB Buffers: 2128 kB Cached: 1509352 kB SwapCached: 32 kB Active: 663956 kB Inactive: 915360 kB Active(anon): 75020 kB Inactive(anon): 10748 kB Active(file): 588936 kB Inactive(file): 904612 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 3564 kB Writeback: 0 kB AnonPages: 70828 kB Mapped: 103260 kB Shmem: 17932 kB KReclaimable: 210624 kB Slab: 297236 kB SReclaimable: 210624 kB SUnreclaim: 86612 kB KernelStack: 3812 kB PageTables: 2568 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 340748 kB VmallocTotal: 34359738367 kB VmallocUsed: 149256 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-03 14:41:37