Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Partial RoundingSAT 2024 2024-07-12 | SAT (TO) | 45 | 3601.03 | 3514.58 |
| Name | PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=307-P1=59-P2=149-P3=337-P4=409-P5=457-P6=79-P7=53-P8=347-P9=487-B.opb |
| MD5SUM | 38d74c6946365bca81da903286cf8100 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.301828 |
| 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 | 243 |
| Total number of constraints | 19 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 19 |
| Minimum length of a constraint | 9 |
| Maximum length of a constraint | 99 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 131072 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 523264 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 729 |
| Sum of products size (including duplicates) | 1458 |
| Number of different products | 729 |
| Sum of products size | 1458 |
0.12/0.17 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.12/0.17 c This is free software under the dual EPL/GNU LGPL licenses. 0.12/0.17 c See www.sat4j.org for details. 0.12/0.19 c version CUSTOM.v20240707 0.12/0.21 c java.runtime.name OpenJDK Runtime Environment 0.12/0.21 c java.vm.name OpenJDK 64-Bit Server VM 0.12/0.21 c java.vm.version 22.0.1+8-16 0.12/0.21 c java.vm.vendor Oracle Corporation 0.12/0.21 c sun.arch.data.model 64 0.12/0.21 c java.version 22.0.1 0.12/0.21 c os.name Linux 0.12/0.21 c os.version 4.18.0-301.1.el8.x86_64 0.12/0.21 c os.arch amd64 0.12/0.22 c Free memory 2115194816 0.12/0.22 c Max memory 16282288128 0.12/0.22 c Total memory 2122317824 0.30/0.23 c Number of processors 2 0.45/0.42 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.45/0.42 - never skip resolution steps 0.45/0.42 - Auto-division on coefficients is disabled 0.45/0.42 - No postprocessing 0.45/0.42 - Conflict is considered as is when resolving 0.45/0.42 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.45/0.42 - Weaken first using unassigned literals 0.45/0.42 - Bump strategy: ALWAYS_ONE 0.45/0.42 - Bumper: ASSIGNED 0.45/0.42 --- Begin Solver configuration --- 0.45/0.42 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.45/0.42 Learn all clauses as in MiniSAT 0.45/0.42 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.45/0.42 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.45/0.42 No reason simplification 0.45/0.42 Armin Biere (Picosat) restarts strategy 0.45/0.42 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.45/0.42 timeout=2147483s 0.45/0.42 DB Simplification allowed=false 0.45/0.42 Listener: none 0.45/0.42 --- End Solver configuration --- 0.45/0.42 c Pseudo Boolean Optimization by upper bound 0.45/0.42 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.45/0.42 c - never skip resolution steps 0.45/0.42 c - Auto-division on coefficients is disabled 0.45/0.42 c - No postprocessing 0.45/0.42 c - Conflict is considered as is when resolving 0.45/0.42 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.45/0.42 c - Weaken first using unassigned literals 0.45/0.42 c - Bump strategy: ALWAYS_ONE 0.45/0.42 c - Bumper: ASSIGNED 0.45/0.42 c --- Begin Solver configuration --- 0.45/0.42 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.45/0.42 c Learn all clauses as in MiniSAT 0.45/0.42 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.45/0.42 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.45/0.42 c No reason simplification 0.45/0.42 c Armin Biere (Picosat) restarts strategy 0.45/0.42 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.45/0.42 c timeout=2147483s 0.45/0.42 c DB Simplification allowed=false 0.45/0.42 c Listener: none 0.45/0.42 c --- End Solver configuration --- 0.45/0.42 c solving HOME/instance-4459661-1721939462.opb 0.45/0.42 c reading problem ... 0.45/0.42 c objective function found 1.00/0.63 c ... done. Wall clock time 0.214s. 1.00/0.63 c declared #vars 243 1.00/0.63 c internal #vars 972 1.00/0.63 c #constraints 1486 1.00/0.63 c constraints type 1.00/0.63 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 757 1.00/0.63 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 729 1.00/0.63 c 1486 constraints processed. 1.00/0.65 c objective function length is 9 literals 8.96/5.20 c cleaning 1528 clauses out of 5001 with flag 0/5001 12.47/7.52 c cleaning 1666 clauses out of 9472 with flag 0/11000 17.16/11.25 c cleaning 1800 clauses out of 14807 with flag 0/18001 25.76/18.37 c cleaning 2010 clauses out of 21006 with flag 0/26000 32.96/25.18 c cleaning 2677 clauses out of 27998 with flag 0/35002 37.55/29.24 c cleaning 2703 clauses out of 35319 with flag 0/45000 41.86/33.48 c cleaning 2417 clauses out of 43616 with flag 0/56000 52.84/44.27 c cleaning 4394 clauses out of 53199 with flag 0/68000 78.51/69.36 c cleaning 5511 clauses out of 61805 with flag 0/81000 90.52/81.15 c cleaning 4620 clauses out of 70295 with flag 0/95001 107.59/98.01 c cleaning 5353 clauses out of 80674 with flag 0/110000 121.04/111.02 c SATISFIABLE 121.04/111.02 c OPTIMIZING... 121.04/111.02 c Got one! Elapsed wall clock time (in seconds):110.603 121.04/111.02 o 275 132.89/122.38 c cleaning 7998 clauses out of 95176 with flag 0/129855 137.45/126.75 c cleaning 1616 clauses out of 93178 with flag 0/135855 142.79/131.84 c cleaning 2119 clauses out of 98562 with flag 0/142855 153.15/141.98 c cleaning 3529 clauses out of 104444 with flag 0/150856 156.78/145.45 c cleaning 2484 clauses out of 109915 with flag 0/159856 169.97/158.25 c cleaning 2797 clauses out of 117430 with flag 0/169855 176.81/164.76 c cleaning 3058 clauses out of 125633 with flag 0/180855 188.80/176.39 c cleaning 4460 clauses out of 134575 with flag 0/192855 204.92/191.92 c cleaning 5593 clauses out of 143115 with flag 0/205855 221.09/207.66 c cleaning 4999 clauses out of 151522 with flag 0/219855 244.17/230.03 c cleaning 4712 clauses out of 161523 with flag 0/234855 275.18/260.27 c cleaning 5138 clauses out of 172812 with flag 0/250856 293.64/278.23 c cleaning 5706 clauses out of 184673 with flag 0/267855 318.35/302.20 c cleaning 6220 clauses out of 196967 with flag 0/285855 325.73/309.42 c Got one! Elapsed wall clock time (in seconds):309.006 325.73/309.42 o 203 332.11/315.45 c cleaning 4802 clauses out of 203843 with flag 0/298951 338.43/321.58 c cleaning 1479 clauses out of 205040 with flag 0/304950 346.17/329.05 c cleaning 2179 clauses out of 210561 with flag 0/311950 358.07/340.56 c cleaning 2370 clauses out of 216383 with flag 0/319951 368.57/350.76 c cleaning 3461 clauses out of 223013 with flag 0/328951 400.87/382.12 c cleaning 4591 clauses out of 229552 with flag 0/338951 407.84/388.80 c cleaning 2217 clauses out of 235962 with flag 0/349952 440.84/420.90 c cleaning 4797 clauses out of 245743 with flag 0/361950 468.34/447.76 c cleaning 4466 clauses out of 253947 with flag 0/374951 507.57/486.05 c cleaning 5459 clauses out of 263481 with flag 0/388951 528.12/505.75 c cleaning 4696 clauses out of 273021 with flag 0/403950 552.43/529.26 c cleaning 6817 clauses out of 284325 with flag 0/419950 571.50/547.28 c cleaning 5728 clauses out of 294509 with flag 0/436951 615.95/590.02 c cleaning 4847 clauses out of 306780 with flag 0/454950 621.38/595.10 c cleaning 1279 clauses out of 320933 with flag 0/473950 623.56/597.29 c Got one! Elapsed wall clock time (in seconds):596.886 623.56/597.29 o 127 632.60/605.79 c cleaning 3504 clauses out of 330136 with flag 0/484432 639.45/612.09 c cleaning 1486 clauses out of 332633 with flag 0/490433 648.27/620.43 c cleaning 2095 clauses out of 338146 with flag 0/497432 664.10/635.61 c cleaning 3073 clauses out of 344052 with flag 0/505433 681.83/652.66 c cleaning 2791 clauses out of 349979 with flag 0/514433 693.10/663.34 c cleaning 2140 clauses out of 357189 with flag 0/524434 697.41/667.42 c cleaning 1615 clauses out of 366047 with flag 0/535432 711.11/680.80 c cleaning 5199 clauses out of 376433 with flag 0/547433 755.38/724.47 c cleaning 7151 clauses out of 384233 with flag 0/560432 780.86/749.46 c cleaning 6683 clauses out of 391082 with flag 0/574432 814.55/782.63 c cleaning 4725 clauses out of 399400 with flag 0/589433 824.99/792.47 c Got one! Elapsed wall clock time (in seconds):792.067 824.99/792.47 o 53 830.26/797.49 c cleaning 3903 clauses out of 409859 with flag 0/604617 835.67/802.58 c cleaning 1294 clauses out of 411956 with flag 0/610617 840.73/807.08 c cleaning 1228 clauses out of 417662 with flag 0/617617 851.83/817.65 c cleaning 2105 clauses out of 424435 with flag 0/625618 864.23/829.15 c cleaning 2701 clauses out of 431329 with flag 0/634617 879.40/843.47 c cleaning 3530 clauses out of 438630 with flag 0/644619 891.16/854.34 c cleaning 3287 clauses out of 446098 with flag 0/655617 905.80/868.20 c cleaning 4167 clauses out of 454812 with flag 0/667618 927.57/888.55 c cleaning 4384 clauses out of 463645 with flag 0/680618 944.54/905.28 c cleaning 4533 clauses out of 473260 with flag 0/694617 992.20/951.30 c cleaning 5789 clauses out of 483728 with flag 0/709618 1021.88/979.86 c cleaning 5878 clauses out of 493939 with flag 0/725618 1063.74/1019.85 c cleaning 6522 clauses out of 505060 with flag 0/742617 1145.89/1099.98 c cleaning 7512 clauses out of 516538 with flag 0/760617 1185.54/1138.70 c cleaning 6285 clauses out of 528026 with flag 0/779617 1202.37/1154.56 c Got one! Elapsed wall clock time (in seconds):1154.155 1202.37/1154.56 o 45 1211.36/1162.99 c cleaning 6480 clauses out of 541025 with flag 0/798901 1219.40/1170.91 c cleaning 2014 clauses out of 540544 with flag 0/804900 1229.43/1180.98 c cleaning 2433 clauses out of 545530 with flag 0/811900 1241.22/1192.67 c cleaning 2359 clauses out of 551097 with flag 0/819900 1264.83/1215.91 c cleaning 3947 clauses out of 557738 with flag 0/828900 1291.53/1241.56 c cleaning 3157 clauses out of 563791 with flag 0/838900 1305.57/1254.69 c cleaning 3793 clauses out of 571634 with flag 0/849900 1315.38/1263.89 c cleaning 3127 clauses out of 579841 with flag 0/861900 1327.70/1275.65 c cleaning 3339 clauses out of 589714 with flag 0/874900 1341.61/1288.97 c cleaning 3357 clauses out of 600376 with flag 0/888901 1365.66/1310.85 c cleaning 4727 clauses out of 612018 with flag 0/903900 1391.29/1334.42 c cleaning 4916 clauses out of 623292 with flag 0/919901 1419.40/1360.66 c cleaning 5091 clauses out of 635375 with flag 0/936900 1461.07/1401.04 c cleaning 7176 clauses out of 648285 with flag 0/954901 1519.69/1458.29 c cleaning 7865 clauses out of 660108 with flag 0/973900 1569.61/1506.40 c cleaning 6517 clauses out of 672244 with flag 0/993901 1729.37/1664.20 c cleaning 9856 clauses out of 686726 with flag 0/1014900 1791.15/1723.83 c cleaning 6251 clauses out of 698870 with flag 0/1036900 1900.80/1829.86 c cleaning 10856 clauses out of 715619 with flag 0/1059900 1982.52/1907.41 c cleaning 9086 clauses out of 728764 with flag 0/1083901 2084.61/2007.06 c cleaning 10767 clauses out of 744677 with flag 0/1108900 2217.02/2138.26 c cleaning 11171 clauses out of 759910 with flag 0/1134900 2332.27/2253.22 c cleaning 10850 clauses out of 775739 with flag 0/1161900 2459.90/2380.01 c cleaning 11171 clauses out of 792890 with flag 0/1189901 2680.96/2598.36 c cleaning 13640 clauses out of 810719 with flag 0/1218901 3006.65/2923.19 c cleaning 12349 clauses out of 827078 with flag 0/1248900 3246.95/3162.45 c cleaning 13954 clauses out of 845730 with flag 0/1279901 3523.79/3438.10 c cleaning 13168 clauses out of 863775 with flag 0/1311900 3600.02/3514.14 c starts : 195 3600.22/3514.18 c conflicts : 1328613 3600.22/3514.19 c decisions : 1679619 3600.22/3514.19 c propagations : 23333132 3600.22/3514.19 c inspects : 4259390153 3600.22/3514.19 c shortcuts : 0 3600.22/3514.19 c learnt literals : 0 3600.22/3514.19 c learnt binary clauses : 9 3600.22/3514.19 c learnt ternary clauses : 6 3600.22/3514.19 c learnt constraints : 1328612 3600.22/3514.19 c ignored constraints : 0 3600.22/3514.19 c root simplifications : 0 3600.22/3514.19 c removed literals (reason simplification) : 0 3600.22/3514.19 c reason swapping (by a shorter reason) : 0 3600.22/3514.19 c Calls to reduceDB : 94 3600.22/3514.19 c Number of update (reduction) of LBD : 183 3600.22/3514.19 c Imported unit clauses : 0 3600.22/3514.19 c No decision after first conflict : false 3600.22/3514.19 c number of reductions to clauses (during analyze) : 0 3600.22/3514.19 c number of learned constraints concerned by reduction : 0 3600.22/3514.19 c number of learning phase by resolution : 0 3600.22/3514.19 c number of learning phase by cutting planes : 0 3600.22/3514.19 c number of rounding to 1 operations : 6594294 3600.22/3514.19 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.22/3514.19 c number of reductions of the coefficients by power 2 : 0 3600.22/3514.19 c number of right shift for reduction by power 2 : 0 3600.32/3514.21 c number of reductions of the coefficients by GCD over coefficients : 0 3600.32/3514.21 c number of ending skipping : 0 3600.32/3514.21 c number of internal skipping : 0 3600.32/3514.21 c number of derivation steps : 8962307 3600.32/3514.21 c number of skipped derivation steps : 0 3600.32/3514.21 c number of remaining unassigned : 417289 3600.32/3514.21 c number of remaining assigned : 160023404 3600.32/3514.21 c number of falsified literals weakened from reason : 0 3600.32/3514.21 c number of falsified literals weakened from conflict : 0 3600.32/3514.21 c time for arithmetic operations : 13350314940 3600.32/3514.23 c minimum degree of deleted constraints : 4 3600.32/3514.23 c maximum degree of deleted constraints : 2721165949 3600.32/3514.23 c number of deleted constraints : 461293 3600.32/3514.23 c speed (assignments/second) : 6640.867244028646 3600.32/3514.23 c non guided choices : 7690 3600.90/3514.53 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 616991 3600.90/3514.53 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 1452 3600.90/3514.53 c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB : 8 3600.90/3514.53 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 248868 3600.90/3514.53 s SATISFIABLE 3600.90/3514.53 c Found 5 solution(s) 3600.90/3514.54 v x1 -x2 x3 x4 -x5 x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 x18 x19 -x20 x21 -x22 x23 -x24 -x25 -x26 x27 x28 x29 -x30 -x31 x32 x33 x34 x35 x36 x37 -x38 -x39 x40 x41 -x42 -x43 -x44 -x45 x46 x47 -x48 x49 -x50 -x51 x52 -x53 -x54 x55 -x56 -x57 x58 x59 x60 -x61 x62 -x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 -x84 x85 -x86 -x87 -x88 -x89 x90 x91 -x92 x93 x94 x95 x96 x97 x98 x99 x100 -x101 -x102 -x103 -x104 -x105 x106 x107 -x108 x109 x110 -x111 -x112 x113 x114 -x115 -x116 -x117 x118 x119 -x120 x121 x122 x123 x124 x125 -x126 x127 -x128 -x129 x130 -x131 -x132 -x133 x134 x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 x164 x165 -x166 x167 -x168 -x169 -x170 -x171 x172 x173 -x174 -x175 x176 -x177 -x178 -x179 x180 -x181 -x182 x183 x184 x185 x186 -x187 x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 x209 x210 x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 x228 x229 x230 x231 x232 x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 3600.90/3514.54 c objective function=45 3600.90/3514.54 c Total wall clock time (in seconds): 3514.128
OK 45
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: 64096 MiB (61363 MiB free)
memory of node 1: 64473 MiB (62248 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459661-1721939462/watcher-4459661-1721939462 -o /tmp/evaluation-result-4459661-1721939462/solver-4459661-1721939462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721939462-239225 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4459661-1721939462.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=239239, runsolver pid=239236
[startup+0.101151 s]*
/proc/loadavg: 0.10 0.10 0.19 3/244 239257
/proc/meminfo: memFree=126545040/131655788 swapFree=131056320/131071996
[pid=239239] ppid=239236 vsize=18975048 memory=54828 CPUtime=0.12 cores=5,7
/proc/239239/stat : 239239 (java) S 239236 239239 239212 0 -1 1077936128 6367 0 0 0 8 4 0 0 20 0 18 0 29935496 19430449152 13707 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
/proc/239239/statm: 4743762 13707 5494 1 0 550743 0
[pid=239239/tid=239241] ppid=239236 vsize=18975048 memory=4026532033 CPUtime=0.08 cores=5,7
/proc/239239/task/239241/stat : 239241 (java) R 239236 239239 239212 0 -1 4194368 5313 0 0 0 6 2 0 0 20 0 18 0 29935497 19430449152 13707 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239250] ppid=239236 vsize=18975048 memory=224227754321 CPUtime=0 cores=5,7
/proc/239239/task/239250/stat : 239250 (Finalizer) S 239236 239239 239212 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29935504 19430449152 13707 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239257] ppid=239236 vsize=18975048 memory=13569297160303616 CPUtime=0 cores=5,7
/proc/239239/task/239257/stat : 239257 (Common-Cleaner) S 239236 239239 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 29935504 19430449152 13707 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 54828 KiB
[startup+0.218484 s]*
/proc/loadavg: 0.10 0.10 0.19 5/244 239257
/proc/meminfo: memFree=126541696/131655788 swapFree=131056320/131071996
[pid=239239] ppid=239236 vsize=18975048 memory=58452 CPUtime=0.3 cores=5,7
/proc/239239/stat : 239239 (java) S 239236 239239 239212 0 -1 1077936128 7093 0 0 0 26 4 0 0 20 0 18 0 29935496 19430449152 14613 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
/proc/239239/statm: 4743762 14613 5663 1 0 551323 0
[pid=239239/tid=239241] ppid=239236 vsize=18975048 memory=4027931597 CPUtime=0.19 cores=5,7
/proc/239239/task/239241/stat : 239241 (java) R 239236 239239 239212 0 -1 4194368 5655 0 0 0 16 3 0 0 20 0 18 0 29935497 19430449152 14613 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239250] ppid=239236 vsize=18975048 memory=1276279 CPUtime=0 cores=5,7
/proc/239239/task/239250/stat : 239250 (Finalizer) S 239236 239239 239212 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29935504 19430449152 14613 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239257] ppid=239236 vsize=18975048 memory=16101472437798596 CPUtime=0 cores=5,7
/proc/239239/task/239257/stat : 239257 (Common-Cleaner) S 239236 239239 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 29935504 19430449152 14613 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58452 KiB
[startup+0.314299 s]*
/proc/loadavg: 0.10 0.10 0.19 5/250 239272
/proc/meminfo: memFree=126534596/131655788 swapFree=131056320/131071996
[pid=239239] ppid=239236 vsize=18975048 memory=63552 CPUtime=0.45 cores=5,7
/proc/239239/stat : 239239 (java) S 239236 239239 239212 0 -1 1077936128 7382 0 0 0 40 5 0 0 20 0 18 0 29935496 19430449152 15888 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
/proc/239239/statm: 4743762 15888 5672 1 0 551545 0
[pid=239239/tid=239241] ppid=239236 vsize=18975048 memory=-8599456789699470012 CPUtime=0.29 cores=5,7
/proc/239239/task/239241/stat : 239241 (java) R 239236 239239 239212 0 -1 4194368 5855 0 0 0 25 4 0 0 20 0 18 0 29935497 19430449152 15888 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239250] ppid=239236 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/239239/task/239250/stat : 239250 (Finalizer) S 239236 239239 239212 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29935504 19430449152 15888 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239257] ppid=239236 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/239239/task/239257/stat : 239257 (Common-Cleaner) S 239236 239239 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 29935504 19430449152 15888 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63552 KiB
[startup+0.702878 s]
/proc/loadavg: 0.10 0.10 0.19 9/290 239322
/proc/meminfo: memFree=126458460/131655788 swapFree=131056320/131071996
[pid=239239] ppid=239236 vsize=19041612 memory=79676 CPUtime=1.15 cores=5,7
/proc/239239/stat : 239239 (java) S 239236 239239 239212 0 -1 1077936128 8077 0 0 0 108 7 0 0 20 0 19 0 29935496 19498610688 19919 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
/proc/239239/statm: 4760403 19919 5900 1 0 552226 0
[pid=239239/tid=239241] ppid=239236 vsize=19041612 memory=61076 CPUtime=0.59 cores=5,7
/proc/239239/task/239241/stat : 239241 (java) R 239236 239239 239212 0 -1 1077936192 6183 0 0 0 54 5 0 0 20 0 19 0 29935497 19498610688 19919 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239250] ppid=239236 vsize=19041612 memory=12620 CPUtime=0 cores=5,7
/proc/239239/task/239250/stat : 239250 (Finalizer) S 239236 239239 239212 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29935504 19498610688 19919 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239257] ppid=239236 vsize=19041612 memory=2180 CPUtime=0 cores=5,7
/proc/239239/task/239257/stat : 239257 (Common-Cleaner) S 239236 239239 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 29935504 19498610688 19919 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 79676 KiB
[startup+1.50106 s]
/proc/loadavg: 0.10 0.10 0.19 12/315 239355
/proc/meminfo: memFree=126294292/131655788 swapFree=131056320/131071996
[pid=239239] ppid=239236 vsize=19108176 memory=176636 CPUtime=2.71 cores=5,7
/proc/239239/stat : 239239 (java) S 239236 239239 239212 0 -1 1077936128 16322 0 0 0 258 13 0 0 20 0 20 0 29935496 19566772224 44159 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
/proc/239239/statm: 4777044 44159 5932 1 0 555446 0
[pid=239239/tid=239241] ppid=239236 vsize=19108176 memory=0 CPUtime=1.3 cores=5,7
/proc/239239/task/239241/stat : 239241 (java) R 239236 239239 239212 0 -1 4194368 6485 0 0 0 123 7 0 0 20 0 20 0 29935497 19566772224 44159 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239250] ppid=239236 vsize=19108176 memory=12620 CPUtime=0 cores=5,7
/proc/239239/task/239250/stat : 239250 (Finalizer) S 239236 239239 239212 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935504 19566772224 44159 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239257] ppid=239236 vsize=19108176 memory=33 CPUtime=0 cores=5,7
/proc/239239/task/239257/stat : 239257 (Common-Cleaner) S 239236 239239 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 29935504 19566772224 44159 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239338] ppid=239236 vsize=19108176 memory=11536 CPUtime=0 cores=5,7
/proc/239239/task/239338/stat : 239338 (Timer-0) S 239236 239239 239212 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29935563 19566772224 44159 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 176636 KiB
[startup+3.11042 s]
/proc/loadavg: 0.10 0.10 0.19 12/320 239362
/proc/meminfo: memFree=122464340/131655788 swapFree=131056320/131071996
[pid=239239] ppid=239236 vsize=19108176 memory=669720 CPUtime=5.89 cores=5,7
/proc/239239/stat : 239239 (java) S 239236 239239 239212 0 -1 1077936128 20976 0 0 0 563 26 0 0 20 0 20 0 29935496 19566772224 167430 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
/proc/239239/statm: 4777044 167430 5932 1 0 557138 0
[pid=239239/tid=239241] ppid=239236 vsize=19108176 memory=12620 CPUtime=2.85 cores=5,7
/proc/239239/task/239241/stat : 239241 (java) R 239236 239239 239212 0 -1 4194368 7369 0 0 0 266 19 0 0 20 0 20 0 29935497 19566772224 167430 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239250] ppid=239236 vsize=19108176 memory=11536 CPUtime=0 cores=5,7
/proc/239239/task/239250/stat : 239250 (Finalizer) S 239236 239239 239212 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935504 19566772224 167430 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239257] ppid=239236 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/239239/task/239257/stat : 239257 (Common-Cleaner) S 239236 239239 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 29935504 19566772224 167430 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239338] ppid=239236 vsize=19108176 memory=5456 CPUtime=0 cores=5,7
/proc/239239/task/239338/stat : 239338 (Timer-0) S 239236 239239 239212 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29935563 19566772224 167430 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
Current children cumulated CPU time: 5.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 669720 KiB
[startup+6.30106 s]
/proc/loadavg: 0.73 0.23 0.23 6/321 239363
/proc/meminfo: memFree=120305152/131655788 swapFree=131056320/131071996
[pid=239239] ppid=239236 vsize=19108176 memory=1684832 CPUtime=10.75 cores=5,7
/proc/239239/stat : 239239 (java) S 239236 239239 239212 0 -1 1077936128 29330 0 0 0 1027 48 0 0 20 0 20 0 29935496 19566772224 421208 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
/proc/239239/statm: 4777044 421208 5932 1 0 689153 0
[pid=239239/tid=239241] ppid=239236 vsize=19108176 memory=0 CPUtime=5.96 cores=5,7
/proc/239239/task/239241/stat : 239241 (java) R 239236 239239 239212 0 -1 4194368 9092 0 0 0 558 38 0 0 20 0 20 0 29935497 19566772224 421208 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239250] ppid=239236 vsize=19108176 memory=5456 CPUtime=0 cores=5,7
/proc/239239/task/239250/stat : 239250 (Finalizer) S 239236 239239 239212 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935504 19566772224 421208 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239257] ppid=239236 vsize=19108176 memory=12620 CPUtime=0 cores=5,7
/proc/239239/task/239257/stat : 239257 (Common-Cleaner) S 239236 239239 239212 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 29935504 19566772224 421208 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239338] ppid=239236 vsize=19108176 memory=-7306100128266226780 CPUtime=0 cores=5,7
/proc/239239/task/239338/stat : 239338 (Timer-0) S 239236 239239 239212 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29935563 19566772224 421208 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
Current children cumulated CPU time: 10.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1684832 KiB
[startup+12.7011 s]
/proc/loadavg: 1.08 0.31 0.26 7/321 239364
/proc/meminfo: memFree=118071540/131655788 swapFree=131056320/131071996
[pid=239239] ppid=239236 vsize=19108176 memory=1863300 CPUtime=20.04 cores=5,7
/proc/239239/stat : 239239 (java) S 239236 239239 239212 0 -1 1077936128 32448 0 0 0 1951 53 0 0 20 0 20 0 29935496 19566772224 465825 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
/proc/239239/statm: 4777044 465825 5932 1 0 691110 0
[pid=239239/tid=239241] ppid=239236 vsize=19108176 memory=0 CPUtime=12.23 cores=5,7
/proc/239239/task/239241/stat : 239241 (java) R 239236 239239 239212 0 -1 4194368 9350 0 0 0 1181 42 0 0 20 0 20 0 29935497 19566772224 465825 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239250] ppid=239236 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/239239/task/239250/stat : 239250 (Finalizer) S 239236 239239 239212 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935504 19566772224 465825 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239257] ppid=239236 vsize=19108176 memory=61076 CPUtime=0 cores=5,7
/proc/239239/task/239257/stat : 239257 (Common-Cleaner) S 239236 239239 239212 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 29935504 19566772224 465825 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239338] ppid=239236 vsize=19108176 memory=164 CPUtime=0 cores=5,7
/proc/239239/task/239338/stat : 239338 (Timer-0) S 239236 239239 239212 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29935563 19566772224 465825 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
Current children cumulated CPU time: 20.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1863300 KiB
[startup+25.5005 s]
/proc/loadavg: 1.80 0.51 0.32 5/321 239433
/proc/meminfo: memFree=116723736/131655788 swapFree=131056320/131071996
[pid=239239] ppid=239236 vsize=19108176 memory=2412276 CPUtime=33.59 cores=5,7
/proc/239239/stat : 239239 (java) S 239236 239239 239212 0 -1 1077936128 42463 0 0 0 3291 68 0 0 20 0 20 0 29935496 19566772224 603069 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
/proc/239239/statm: 4777044 603069 5932 1 0 833146 0
[pid=239239/tid=239241] ppid=239236 vsize=19108176 memory=1854156 CPUtime=24.46 cores=5,7
/proc/239239/task/239241/stat : 239241 (java) R 239236 239239 239212 0 -1 4194368 11840 0 0 0 2392 54 0 0 20 0 20 0 29935497 19566772224 603069 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239250] ppid=239236 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/239239/task/239250/stat : 239250 (Finalizer) S 239236 239239 239212 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935504 19566772224 603069 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239257] ppid=239236 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/239239/task/239257/stat : 239257 (Common-Cleaner) S 239236 239239 239212 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 29935504 19566772224 603069 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239338] ppid=239236 vsize=19108176 memory=-8744416402705457852 CPUtime=0 cores=5,7
/proc/239239/task/239338/stat : 239338 (Timer-0) S 239236 239239 239212 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29935563 19566772224 603069 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
Current children cumulated CPU time: 33.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2412276 KiB
[startup+51.1137 s]
/proc/loadavg: 2.70 0.83 0.43 5/321 239437
/proc/meminfo: memFree=111327556/131655788 swapFree=131056320/131071996
[pid=239239] ppid=239236 vsize=19108176 memory=3601076 CPUtime=59.92 cores=5,7
/proc/239239/stat : 239239 (java) S 239236 239239 239212 0 -1 1077936128 50841 0 0 0 5898 94 0 0 20 0 20 0 29935496 19566772224 900269 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
/proc/239239/statm: 4777044 900269 5932 1 0 1326132 0
[pid=239239/tid=239241] ppid=239236 vsize=19108176 memory=3449360 CPUtime=48.62 cores=5,7
/proc/239239/task/239241/stat : 239241 (java) R 239236 239239 239212 0 -1 4194368 15422 0 0 0 4785 77 0 0 20 0 20 0 29935497 19566772224 900269 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239250] ppid=239236 vsize=19108176 memory=3449360 CPUtime=0 cores=5,7
/proc/239239/task/239250/stat : 239250 (Finalizer) S 239236 239239 239212 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935504 19566772224 900269 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239257] ppid=239236 vsize=19108176 memory=3443216 CPUtime=0 cores=5,7
/proc/239239/task/239257/stat : 239257 (Common-Cleaner) S 239236 239239 239212 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 29935504 19566772224 900269 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
################
# More data... #
################
Current children cumulated memory: 8606680 KiB
[startup+3222.3 s]
/proc/loadavg: 5.12 4.74 4.44 5/320 240588
/proc/meminfo: memFree=98261636/131655788 swapFree=131056320/131071996
[pid=239239] ppid=239236 vsize=19174740 memory=8606680 CPUtime=3307.26 cores=5,7
/proc/239239/stat : 239239 (java) S 239236 239239 239212 0 -1 1077936128 362646 0 0 0 330308 418 0 0 20 0 21 0 29935496 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
/proc/239239/statm: 4793685 2151670 6010 1 0 2177033 0
[pid=239239/tid=239241] ppid=239236 vsize=19174740 memory=8606676 CPUtime=3144.04 cores=5,7
/proc/239239/task/239241/stat : 239241 (java) R 239236 239239 239212 0 -1 4194368 181025 0 0 0 314218 186 0 0 20 0 21 0 29935497 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 23 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239250] ppid=239236 vsize=19174740 memory=8606680 CPUtime=0 cores=5,7
/proc/239239/task/239250/stat : 239250 (Finalizer) S 239236 239239 239212 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 29935504 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239257] ppid=239236 vsize=19174740 memory=11536 CPUtime=0 cores=5,7
/proc/239239/task/239257/stat : 239257 (Common-Cleaner) S 239236 239239 239212 0 -1 1077936192 2328 0 0 0 0 0 0 0 20 0 21 0 29935504 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239338] ppid=239236 vsize=19174740 memory=3364 CPUtime=0 cores=5,7
/proc/239239/task/239338/stat : 239338 (Timer-0) S 239236 239239 239212 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 29935563 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
Current children cumulated CPU time: 3307.26 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 8606680 KiB
[startup+3282.3 s]
/proc/loadavg: 4.69 4.68 4.44 5/320 241050
/proc/meminfo: memFree=102369476/131655788 swapFree=131056320/131071996
[pid=239239] ppid=239236 vsize=19174740 memory=8606680 CPUtime=3367.66 cores=5,7
/proc/239239/stat : 239239 (java) S 239236 239239 239212 0 -1 1077936128 370861 0 0 0 336343 423 0 0 20 0 21 0 29935496 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
/proc/239239/statm: 4793685 2151670 6010 1 0 2177033 0
[pid=239239/tid=239241] ppid=239236 vsize=19174740 memory=8606680 CPUtime=3203.4 cores=5,7
/proc/239239/task/239241/stat : 239241 (java) R 239236 239239 239212 0 -1 4194368 186351 0 0 0 320153 187 0 0 20 0 21 0 29935497 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 23 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239250] ppid=239236 vsize=19174740 memory=5456 CPUtime=0 cores=5,7
/proc/239239/task/239250/stat : 239250 (Finalizer) S 239236 239239 239212 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 29935504 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239257] ppid=239236 vsize=19174740 memory=8606680 CPUtime=0 cores=5,7
/proc/239239/task/239257/stat : 239257 (Common-Cleaner) S 239236 239239 239212 0 -1 1077936192 2425 0 0 0 0 0 0 0 20 0 21 0 29935504 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239338] ppid=239236 vsize=19174740 memory=8606680 CPUtime=0 cores=5,7
/proc/239239/task/239338/stat : 239338 (Timer-0) S 239236 239239 239212 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 29935563 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
Current children cumulated CPU time: 3367.66 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 8606680 KiB
[startup+3342.3 s]
/proc/loadavg: 4.50 4.63 4.44 5/320 241126
/proc/meminfo: memFree=101164328/131655788 swapFree=131056320/131071996
[pid=239239] ppid=239236 vsize=19174740 memory=8606680 CPUtime=3427.88 cores=5,7
/proc/239239/stat : 239239 (java) S 239236 239239 239212 0 -1 1077936128 376312 0 0 0 342360 428 0 0 20 0 21 0 29935496 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
/proc/239239/statm: 4793685 2151670 6010 1 0 2177033 0
[pid=239239/tid=239241] ppid=239236 vsize=19174740 memory=8606680 CPUtime=3262.73 cores=5,7
/proc/239239/task/239241/stat : 239241 (java) R 239236 239239 239212 0 -1 4194368 191149 0 0 0 326085 188 0 0 20 0 21 0 29935497 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 23 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239250] ppid=239236 vsize=19174740 memory=11536 CPUtime=0 cores=5,7
/proc/239239/task/239250/stat : 239250 (Finalizer) S 239236 239239 239212 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 29935504 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239257] ppid=239236 vsize=19174740 memory=11536 CPUtime=0 cores=5,7
/proc/239239/task/239257/stat : 239257 (Common-Cleaner) S 239236 239239 239212 0 -1 1077936192 2520 0 0 0 0 0 0 0 20 0 21 0 29935504 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239338] ppid=239236 vsize=19174740 memory=8606680 CPUtime=0 cores=5,7
/proc/239239/task/239338/stat : 239338 (Timer-0) S 239236 239239 239212 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 29935563 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
Current children cumulated CPU time: 3427.88 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 8606680 KiB
[startup+3402.3 s]
/proc/loadavg: 4.46 4.58 4.44 5/320 241137
/proc/meminfo: memFree=100689708/131655788 swapFree=131056320/131071996
[pid=239239] ppid=239236 vsize=19174740 memory=8606680 CPUtime=3488 cores=5,7
/proc/239239/stat : 239239 (java) S 239236 239239 239212 0 -1 1077936128 383616 0 0 0 348367 433 0 0 20 0 21 0 29935496 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
/proc/239239/statm: 4793685 2151670 6010 1 0 2177033 0
[pid=239239/tid=239241] ppid=239236 vsize=19174740 memory=39828 CPUtime=3322.18 cores=5,7
/proc/239239/task/239241/stat : 239241 (java) R 239236 239239 239212 0 -1 4194368 195879 0 0 0 332028 190 0 0 20 0 21 0 29935497 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239250] ppid=239236 vsize=19174740 memory=8606680 CPUtime=0 cores=5,7
/proc/239239/task/239250/stat : 239250 (Finalizer) S 239236 239239 239212 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 29935504 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239257] ppid=239236 vsize=19174740 memory=8606680 CPUtime=0 cores=5,7
/proc/239239/task/239257/stat : 239257 (Common-Cleaner) S 239236 239239 239212 0 -1 1077936192 2615 0 0 0 0 0 0 0 20 0 21 0 29935504 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239338] ppid=239236 vsize=19174740 memory=8606680 CPUtime=0 cores=5,7
/proc/239239/task/239338/stat : 239338 (Timer-0) S 239236 239239 239212 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 29935563 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
Current children cumulated CPU time: 3488 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 8606680 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.49 4.41 5/322 241318
/proc/meminfo: memFree=100676192/131655788 swapFree=131056320/131071996
[pid=239239] ppid=239236 vsize=19174740 memory=8606680 CPUtime=3548.16 cores=5,7
/proc/239239/stat : 239239 (java) S 239236 239239 239212 0 -1 1077936128 390536 0 0 0 354377 439 0 0 20 0 21 0 29935496 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
/proc/239239/statm: 4793685 2151670 6010 1 0 2177033 0
[pid=239239/tid=239241] ppid=239236 vsize=19174740 memory=39828 CPUtime=3381.43 cores=5,7
/proc/239239/task/239241/stat : 239241 (java) R 239236 239239 239212 0 -1 4194368 199756 0 0 0 337952 191 0 0 20 0 21 0 29935497 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239250] ppid=239236 vsize=19174740 memory=8606680 CPUtime=0 cores=5,7
/proc/239239/task/239250/stat : 239250 (Finalizer) S 239236 239239 239212 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 29935504 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239257] ppid=239236 vsize=19174740 memory=8606680 CPUtime=0 cores=5,7
/proc/239239/task/239257/stat : 239257 (Common-Cleaner) S 239236 239239 239212 0 -1 1077936192 2711 0 0 0 0 0 0 0 20 0 21 0 29935504 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239338] ppid=239236 vsize=19174740 memory=8606680 CPUtime=0 cores=5,7
/proc/239239/task/239338/stat : 239338 (Timer-0) S 239236 239239 239212 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 29935563 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
Current children cumulated CPU time: 3548.16 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 8606680 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3514 s]*
/proc/loadavg: 4.19 4.44 4.40 5/297 241362
/proc/meminfo: memFree=105087884/131655788 swapFree=131056320/131071996
[pid=239239] ppid=239236 vsize=19174740 memory=8606680 CPUtime=3600.02 cores=5,7
/proc/239239/stat : 239239 (java) S 239236 239239 239212 0 -1 1077936128 397526 0 0 0 359559 443 0 0 20 0 21 0 29935496 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
/proc/239239/statm: 4793685 2151670 6010 1 0 2177033 0
[pid=239239/tid=239241] ppid=239236 vsize=19174740 memory=-8886844974287266492 CPUtime=3432.68 cores=5,7
/proc/239239/task/239241/stat : 239241 (java) S 239236 239239 239212 0 -1 1077936192 203703 0 0 0 343076 192 0 0 20 0 21 0 29935497 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239250] ppid=239236 vsize=19174740 memory=7896390704833009307 CPUtime=0 cores=5,7
/proc/239239/task/239250/stat : 239250 (Finalizer) S 239236 239239 239212 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 29935504 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239257] ppid=239236 vsize=19174740 memory=4438216 CPUtime=0 cores=5,7
/proc/239239/task/239257/stat : 239257 (Common-Cleaner) S 239236 239239 239212 0 -1 1077936192 2808 0 0 0 0 0 0 0 20 0 21 0 29935504 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239338] ppid=239236 vsize=19174740 memory=2728 CPUtime=0 cores=5,7
/proc/239239/task/239338/stat : 239338 (Timer-0) S 239236 239239 239212 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 29935563 19634933760 2151670 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 8606680 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3514.58 s]
# the end of solver process 239239 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.55 s, system=4.47859 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3514.41 s]
/proc/loadavg: 4.19 4.44 4.40 5/297 241362
/proc/meminfo: memFree=105087884/131655788 swapFree=131056320/131071996
[pid=239239] ppid=239236 vsize=19374432 memory=8607472 CPUtime=3600.73 cores=5,7
/proc/239239/stat : 239239 (java) S 239236 239239 239212 0 -1 1077936128 401832 0 0 0 359629 444 0 0 20 0 22 0 29935496 19839418368 2151868 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
/proc/239239/statm: 4843608 2151868 6009 1 0 2178017 0
[pid=239239/tid=239241] ppid=239236 vsize=19374432 memory=-8744416402705457852 CPUtime=3432.95 cores=5,7
/proc/239239/task/239241/stat : 239241 (java) R 239236 239239 239212 0 -1 4194368 204202 0 0 0 343103 192 0 0 20 0 22 0 29935497 19839418368 2151868 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239250] ppid=239236 vsize=19374432 memory=16228 CPUtime=0 cores=5,7
/proc/239239/task/239250/stat : 239250 (Finalizer) S 239236 239239 239212 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 22 0 29935504 19839418368 2151868 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239257] ppid=239236 vsize=19374432 memory=11536 CPUtime=0 cores=5,7
/proc/239239/task/239257/stat : 239257 (Common-Cleaner) S 239236 239239 239212 0 -1 1077936192 2808 0 0 0 0 0 0 0 20 0 22 0 29935504 19839418368 2151868 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
Current children cumulated CPU time: 3600.73 s
Current children cumulated vsize: 19374432 KiB
Current children cumulated memory: 8607472 KiB
[startup+3514.5 s]
/proc/loadavg: 4.19 4.44 4.40 5/297 241362
/proc/meminfo: memFree=105087884/131655788 swapFree=131056320/131071996
[pid=239239] ppid=239236 vsize=19374432 memory=8607496 CPUtime=3600.9 cores=5,7
/proc/239239/stat : 239239 (java) S 239236 239239 239212 0 -1 1077936128 402064 0 0 0 359646 444 0 0 20 0 22 0 29935496 19839418368 2151874 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
/proc/239239/statm: 4843608 2151874 6009 1 0 2178017 0
[pid=239239/tid=239241] ppid=239236 vsize=19374432 memory=8606680 CPUtime=3433.03 cores=5,7
/proc/239239/task/239241/stat : 239241 (java) R 239236 239239 239212 0 -1 4194368 204204 0 0 0 343111 192 0 0 20 0 22 0 29935497 19839418368 2151874 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239250] ppid=239236 vsize=19374432 memory=8606680 CPUtime=0 cores=5,7
/proc/239239/task/239250/stat : 239250 (Finalizer) S 239236 239239 239212 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 22 0 29935504 19839418368 2151874 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
[pid=239239/tid=239257] ppid=239236 vsize=19374432 memory=11536 CPUtime=0 cores=5,7
/proc/239239/task/239257/stat : 239257 (Common-Cleaner) S 239236 239239 239212 0 -1 1077936192 2808 0 0 0 0 0 0 0 20 0 22 0 29935504 19839418368 2151874 134679101440 94774342209536 94774342213232 140737429465760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774342221048 94774342221840 94774362394624 140737429472239 140737429472352 140737429472352 140737429479368 0
Current children cumulated CPU time: 3600.9 s
Current children cumulated vsize: 19374432 KiB
Current children cumulated memory: 8607496 KiB
Child status: 143
Real time (s): 3514.58
CPU time (s): 3601.03
CPU user time (s): 3596.55
CPU system time (s): 4.47859
CPU usage (%): 102.46
Max. virtual memory (cumulated for all children) (KiB): 19374432
Max. memory (cumulated for all children) (KiB): 8607496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.55
system time used= 4.4786
maximum resident set size= 8608460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 402675
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129883
involuntary context switches= 8098
# summary of solver processes directly reported to runsolver:
# pid: 239239
# total CPU time (s): 3601.03
# total CPU user time (s): 3596.55
# total CPU system time (s): 4.47859
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3108 second user time and 37.0155 second system time
The end
Begin job on nodeC006 at 2024-07-25 22:31:02 IDJOB=4459661 IDBENCH=148308 IDSOLVER=3046 FILE ID=nodeC006/4459661-1721939462 RUNJOBID= nodeC006-1721939462-239225 SLURM_JOB_ID= 8247260 Free space on /tmp= 723784 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=307-P1=59-P2=149-P3=337-P4=409-P5=457-P6=79-P7=53-P8=347-P9=487-B.opb COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459661-1721939462/watcher-4459661-1721939462 -o /tmp/evaluation-result-4459661-1721939462/solver-4459661-1721939462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721939462-239225 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4459661-1721939462.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 38d74c6946365bca81da903286cf8100 RANDOM SEED=1503976896 nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.404 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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 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.247 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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 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.376 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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 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.473 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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 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.663 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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 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.101 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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 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.212 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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 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.097 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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 126579408 kB MemAvailable: 129807052 kB Buffers: 337384 kB Cached: 3499944 kB SwapCached: 244 kB Active: 2052368 kB Inactive: 2103524 kB Active(anon): 1632 kB Inactive(anon): 362176 kB Active(file): 2050736 kB Inactive(file): 1741348 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056320 kB Dirty: 760 kB Writeback: 0 kB AnonPages: 318480 kB Mapped: 92592 kB Shmem: 45244 kB KReclaimable: 497468 kB Slab: 608036 kB SReclaimable: 497468 kB SUnreclaim: 110568 kB KernelStack: 3664 kB PageTables: 9612 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 616288 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16576 kB HardwareCorrupted: 0 kB AnonHugePages: 204800 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 420680 kB DirectMap2M: 57155584 kB DirectMap1G: 78643200 kB Free space on /tmp at the end= 723776 MiB End job on nodeC006 at 2024-07-25 23:29:37