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) | 58 | 3600.27 | 3566.62 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g15x15.opb |
| MD5SUM | 83e8c133f6310d52aedf789f310352e0 |
| 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 | 53 |
| Best CPU time to get the best result obtained on this benchmark | 26.7007 |
| 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 | 225 |
| Total number of constraints | 225 |
| Number of constraints which are clauses | 225 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 225 |
| 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 | 225 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 225 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.02/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.02/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.14 c See www.sat4j.org for details. 0.07/0.39 c version CUSTOM.v20240707 0.07/0.40 c java.runtime.name OpenJDK Runtime Environment 0.07/0.40 c java.vm.name OpenJDK 64-Bit Server VM 0.07/0.40 c java.vm.version 22.0.1+8-16 0.07/0.40 c java.vm.vendor Oracle Corporation 0.07/0.40 c sun.arch.data.model 64 0.07/0.40 c java.version 22.0.1 0.07/0.40 c os.name Linux 0.07/0.40 c os.version 4.18.0-301.1.el8.x86_64 0.07/0.40 c os.arch amd64 0.07/0.41 c Free memory 2106806208 0.07/0.41 c Max memory 16282288128 0.07/0.41 c Total memory 2113929216 0.07/0.41 c Number of processors 2 0.11/0.47 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.47 - never skip resolution steps 0.11/0.47 - Auto-division on coefficients is disabled 0.11/0.47 - No postprocessing 0.11/0.47 - Conflict is considered as is when resolving 0.11/0.47 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.11/0.47 - Weaken first using unassigned literals 0.11/0.47 - Bump strategy: ALWAYS_ONE 0.11/0.47 - Bumper: ASSIGNED 0.11/0.47 --- Begin Solver configuration --- 0.11/0.47 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.11/0.47 Learn all clauses as in MiniSAT 0.11/0.47 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.47 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.47 No reason simplification 0.11/0.47 Armin Biere (Picosat) restarts strategy 0.11/0.47 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.11/0.47 timeout=2147483s 0.11/0.47 DB Simplification allowed=false 0.11/0.47 Listener: none 0.11/0.47 --- End Solver configuration --- 0.11/0.47 c Pseudo Boolean Optimization by upper bound 0.11/0.47 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.47 c - never skip resolution steps 0.11/0.47 c - Auto-division on coefficients is disabled 0.11/0.47 c - No postprocessing 0.11/0.47 c - Conflict is considered as is when resolving 0.11/0.47 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.11/0.47 c - Weaken first using unassigned literals 0.11/0.47 c - Bump strategy: ALWAYS_ONE 0.11/0.47 c - Bumper: ASSIGNED 0.11/0.47 c --- Begin Solver configuration --- 0.11/0.47 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.11/0.47 c Learn all clauses as in MiniSAT 0.11/0.47 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.47 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.47 c No reason simplification 0.11/0.47 c Armin Biere (Picosat) restarts strategy 0.11/0.47 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.11/0.47 c timeout=2147483s 0.11/0.47 c DB Simplification allowed=false 0.11/0.47 c Listener: none 0.11/0.47 c --- End Solver configuration --- 0.11/0.47 c solving HOME/instance-4427399-1720994536.opb 0.11/0.47 c reading problem ... 0.11/0.47 c objective function found 0.28/0.51 c ... done. Wall clock time 0.038s. 0.28/0.51 c declared #vars 225 0.28/0.51 c #constraints 225 0.28/0.51 c constraints type 0.28/0.52 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 225 0.28/0.52 c 225 constraints processed. 0.28/0.52 c objective function length is 225 literals 0.28/0.53 c SATISFIABLE 0.28/0.53 c OPTIMIZING... 0.28/0.53 c Got one! Elapsed wall clock time (in seconds):0.056 0.28/0.53 o 75 0.28/0.55 c Got one! Elapsed wall clock time (in seconds):0.075 0.28/0.55 o 74 0.28/0.57 c Got one! Elapsed wall clock time (in seconds):0.096 0.28/0.57 o 73 0.28/0.60 c Got one! Elapsed wall clock time (in seconds):0.124 0.28/0.60 o 72 0.86/0.87 c Got one! Elapsed wall clock time (in seconds):0.393 0.86/0.87 o 71 1.45/1.10 c Got one! Elapsed wall clock time (in seconds):0.628 1.45/1.10 o 70 2.43/1.63 c Got one! Elapsed wall clock time (in seconds):1.155 2.43/1.63 o 69 3.60/2.25 c Got one! Elapsed wall clock time (in seconds):1.773 3.60/2.25 o 68 5.71/3.38 c Got one! Elapsed wall clock time (in seconds):2.909 5.71/3.38 o 67 9.71/7.09 c Got one! Elapsed wall clock time (in seconds):6.615 9.71/7.09 o 66 17.42/14.53 c Got one! Elapsed wall clock time (in seconds):14.054 17.42/14.53 o 65 26.50/23.02 c cleaning 3933 clauses out of 7880 with flag 0/7880 31.47/27.70 c Got one! Elapsed wall clock time (in seconds):27.223 31.47/27.70 o 64 43.23/39.34 c cleaning 4524 clauses out of 9060 with flag 0/12993 45.21/41.12 c Got one! Elapsed wall clock time (in seconds):40.645 45.21/41.12 o 63 55.41/51.28 c cleaning 4983 clauses out of 9970 with flag 0/18427 73.19/68.94 c cleaning 5492 clauses out of 10987 with flag 0/24427 79.18/74.89 c Got one! Elapsed wall clock time (in seconds):74.421 79.18/74.90 o 62 87.07/82.53 c cleaning 5500 clauses out of 11000 with flag 0/29932 104.18/99.37 c cleaning 5748 clauses out of 11503 with flag 0/35935 106.96/101.16 c Got one! Elapsed wall clock time (in seconds):100.691 106.96/101.16 o 61 117.09/111.03 c cleaning 5467 clauses out of 10944 with flag 0/41124 130.19/123.80 c cleaning 5734 clauses out of 11478 with flag 0/47125 151.16/144.56 c cleaning 6370 clauses out of 12746 with flag 0/54127 175.41/168.47 c cleaning 7180 clauses out of 14375 with flag 0/62126 202.04/194.67 c cleaning 8091 clauses out of 16194 with flag 0/71125 237.73/229.87 c cleaning 9047 clauses out of 18103 with flag 0/81125 246.86/238.80 c Got one! Elapsed wall clock time (in seconds):238.329 246.86/238.80 o 60 252.02/243.90 c cleaning 5822 clauses out of 14853 with flag 0/86922 272.27/263.94 c cleaning 5481 clauses out of 15032 with flag 0/92923 299.92/291.31 c cleaning 6069 clauses out of 16551 with flag 0/99923 324.12/315.17 c cleaning 7181 clauses out of 18483 with flag 0/107924 357.38/347.93 c cleaning 8046 clauses out of 20302 with flag 0/116924 390.43/380.66 c cleaning 8894 clauses out of 22254 with flag 0/126922 449.13/438.67 c cleaning 10336 clauses out of 24360 with flag 0/137922 515.02/503.96 c cleaning 11230 clauses out of 26025 with flag 0/149923 588.66/576.98 c cleaning 12340 clauses out of 27795 with flag 0/162923 665.13/652.81 c cleaning 12855 clauses out of 29455 with flag 0/176923 730.03/716.93 c cleaning 13557 clauses out of 31599 with flag 0/191922 800.29/786.46 c cleaning 14504 clauses out of 34044 with flag 0/207924 904.91/890.10 c cleaning 15134 clauses out of 36542 with flag 0/224926 1034.04/1018.32 c cleaning 15929 clauses out of 39405 with flag 0/242923 1124.77/1108.20 c Got one! Elapsed wall clock time (in seconds):1107.732 1124.77/1108.20 o 59 1176.19/1159.26 c cleaning 19120 clauses out of 44833 with flag 0/264280 1192.95/1175.85 c cleaning 5383 clauses out of 31713 with flag 0/270280 1218.46/1201.22 c cleaning 6399 clauses out of 33330 with flag 0/277280 1255.29/1237.88 c cleaning 7167 clauses out of 34931 with flag 0/285280 1302.34/1284.40 c cleaning 8315 clauses out of 36765 with flag 0/294281 1347.17/1328.92 c cleaning 9257 clauses out of 38451 with flag 0/304282 1412.68/1393.84 c cleaning 9788 clauses out of 40193 with flag 0/315281 1473.99/1454.58 c cleaning 10668 clauses out of 42405 with flag 0/327281 1510.87/1491.26 c Got one! Elapsed wall clock time (in seconds):1490.784 1510.87/1491.26 o 58 1552.63/1532.68 c cleaning 12990 clauses out of 46181 with flag 0/341725 1570.53/1550.34 c cleaning 5513 clauses out of 39191 with flag 0/347725 1615.03/1594.58 c cleaning 6664 clauses out of 40679 with flag 0/354726 1704.25/1683.37 c cleaning 7864 clauses out of 42015 with flag 0/362726 1782.00/1760.70 c cleaning 8708 clauses out of 43150 with flag 0/371725 1857.96/1836.49 c cleaning 9235 clauses out of 44442 with flag 0/381725 1938.33/1916.89 c cleaning 10139 clauses out of 46207 with flag 0/392725 1989.60/1967.69 c cleaning 10934 clauses out of 48070 with flag 0/404727 2055.49/2033.12 c cleaning 11832 clauses out of 50135 with flag 0/417726 2135.54/2112.59 c cleaning 12770 clauses out of 52302 with flag 0/431725 2250.04/2226.35 c cleaning 13862 clauses out of 54533 with flag 0/446726 2358.67/2334.46 c cleaning 15078 clauses out of 56672 with flag 0/462727 2468.39/2443.16 c cleaning 16079 clauses out of 58592 with flag 0/479725 2616.84/2590.29 c cleaning 15810 clauses out of 60513 with flag 0/497725 2797.12/2769.30 c cleaning 17601 clauses out of 63703 with flag 0/516725 2947.88/2918.96 c cleaning 18751 clauses out of 66103 with flag 0/536726 3193.36/3162.64 c cleaning 20226 clauses out of 68351 with flag 0/557725 3449.86/3417.74 c cleaning 20791 clauses out of 70127 with flag 0/579727 3600.06/3566.53 c starts : 182 3600.06/3566.53 c conflicts : 598733 3600.06/3566.53 c decisions : 1335646 3600.06/3566.53 c propagations : 10371840 3600.06/3566.53 c inspects : 3122012581 3600.06/3566.53 c shortcuts : 0 3600.06/3566.53 c learnt literals : 0 3600.06/3566.53 c learnt binary clauses : 0 3600.06/3566.53 c learnt ternary clauses : 0 3600.06/3566.53 c learnt constraints : 598733 3600.06/3566.53 c ignored constraints : 0 3600.06/3566.53 c root simplifications : 0 3600.06/3566.53 c removed literals (reason simplification) : 0 3600.06/3566.53 c reason swapping (by a shorter reason) : 0 3600.06/3566.53 c Calls to reduceDB : 52 3600.06/3566.53 c Number of update (reduction) of LBD : 0 3600.06/3566.53 c Imported unit clauses : 0 3600.06/3566.53 c No decision after first conflict : false 3600.06/3566.53 c number of reductions to clauses (during analyze) : 0 3600.06/3566.53 c number of learned constraints concerned by reduction : 0 3600.06/3566.53 c number of learning phase by resolution : 0 3600.06/3566.53 c number of learning phase by cutting planes : 0 3600.06/3566.53 c number of rounding to 1 operations : 2712016 3600.06/3566.53 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.06/3566.53 c number of reductions of the coefficients by power 2 : 0 3600.06/3566.53 c number of right shift for reduction by power 2 : 0 3600.06/3566.53 c number of reductions of the coefficients by GCD over coefficients : 0 3600.06/3566.53 c number of ending skipping : 0 3600.06/3566.53 c number of internal skipping : 0 3600.06/3566.53 c number of derivation steps : 3261298 3600.06/3566.53 c number of skipped derivation steps : 0 3600.06/3566.53 c number of remaining unassigned : 915687 3600.06/3566.53 c number of remaining assigned : 164830881 3600.06/3566.53 c number of falsified literals weakened from reason : 0 3600.06/3566.53 c number of falsified literals weakened from conflict : 0 3600.06/3566.53 c time for arithmetic operations : 8179784551 3600.06/3566.53 c minimum degree of deleted constraints : 4 3600.06/3566.53 c maximum degree of deleted constraints : 36750549483870 3600.06/3566.53 c number of deleted constraints : 530391 3600.06/3566.55 c speed (assignments/second) : 2908.5476707864213 3600.06/3566.55 c non guided choices : 0 3600.06/3566.59 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 45130 3600.06/3566.59 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 5126 3600.06/3566.59 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 18086 3600.06/3566.59 s SATISFIABLE 3600.06/3566.59 c Found 18 solution(s) 3600.06/3566.59 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 3600.06/3566.59 c objective function=58 3600.06/3566.59 c Total wall clock time (in seconds): 3566.122
OK 58
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (63034 MiB free)
memory of node 1: 64473 MiB (63615 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427399-1720994536/watcher-4427399-1720994536 -o /tmp/evaluation-result-4427399-1720994536/solver-4427399-1720994536 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1720994549-770944 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427399-1720994536.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=771056, runsolver pid=771053
[startup+0.100088 s]*
/proc/loadavg: 0.99 0.27 0.15 11/327 771076
/proc/meminfo: memFree=129622252/131524600 swapFree=131071996/131071996
[pid=771056] ppid=771053 vsize=18975008 memory=51452 CPUtime=0.02 cores=4,6
/proc/771056/stat : 771056 (java) S 771053 771056 770933 0 -1 1077936128 5992 0 0 0 1 1 0 0 20 0 18 0 151620311 19430408192 12863 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
/proc/771056/statm: 4743752 12863 4934 1 0 548350 0
[pid=771056/tid=771058] ppid=771053 vsize=18975008 memory=4026561586 CPUtime=0.02 cores=4,6
/proc/771056/task/771058/stat : 771058 (java) R 771053 771056 770933 0 -1 4194368 5233 0 0 0 1 1 0 0 20 0 18 0 151620311 19430408192 12863 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771067] ppid=771053 vsize=18975008 memory=237146210664 CPUtime=0 cores=4,6
/proc/771056/task/771067/stat : 771067 (Finalizer) S 771053 771056 770933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151620318 19430408192 12863 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771075] ppid=771053 vsize=18975008 memory=14408228826018639 CPUtime=0 cores=4,6
/proc/771056/task/771075/stat : 771075 (Common-Cleaner) S 771053 771056 770933 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151620319 19430408192 12863 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 18975008 KiB
Current children cumulated memory: 51452 KiB
[startup+0.205899 s]*
/proc/loadavg: 0.99 0.27 0.15 4/286 771083
/proc/meminfo: memFree=129689696/131524600 swapFree=131071996/131071996
[pid=771056] ppid=771053 vsize=18975048 memory=56588 CPUtime=0.07 cores=4,6
/proc/771056/stat : 771056 (java) S 771053 771056 770933 0 -1 1077936128 6642 0 0 0 6 1 0 0 20 0 18 0 151620311 19430449152 14147 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
/proc/771056/statm: 4743762 14147 5640 1 0 548843 0
[pid=771056/tid=771058] ppid=771053 vsize=18975048 memory=7872697190685737277 CPUtime=0.05 cores=4,6
/proc/771056/task/771058/stat : 771058 (java) D 771053 771056 770933 0 -1 1078198336 5555 0 0 0 4 1 0 0 20 0 18 0 151620311 19430449152 14147 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771067] ppid=771053 vsize=18975048 memory=219966341476 CPUtime=0 cores=4,6
/proc/771056/task/771067/stat : 771067 (Finalizer) S 771053 771056 770933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151620318 19430449152 14147 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771075] ppid=771053 vsize=18975048 memory=15262545065829177 CPUtime=0 cores=4,6
/proc/771056/task/771075/stat : 771075 (Common-Cleaner) S 771053 771056 770933 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151620319 19430449152 14147 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56588 KiB
[startup+0.305772 s]*
/proc/loadavg: 0.99 0.27 0.15 4/284 771085
/proc/meminfo: memFree=129665584/131524600 swapFree=131071996/131071996
[pid=771056] ppid=771053 vsize=18975048 memory=56588 CPUtime=0.07 cores=4,6
/proc/771056/stat : 771056 (java) S 771053 771056 770933 0 -1 1077936128 6642 0 0 0 6 1 0 0 20 0 18 0 151620311 19430449152 14147 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
/proc/771056/statm: 4743762 14147 5640 1 0 548843 0
[pid=771056/tid=771058] ppid=771053 vsize=18975048 memory=8764446273926488160 CPUtime=0.05 cores=4,6
/proc/771056/task/771058/stat : 771058 (java) D 771053 771056 770933 0 -1 1078198336 5555 0 0 0 4 1 0 0 20 0 18 0 151620311 19430449152 14147 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771067] ppid=771053 vsize=18975048 memory=-8887126449213317820 CPUtime=0 cores=4,6
/proc/771056/task/771067/stat : 771067 (Finalizer) S 771053 771056 770933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151620318 19430449152 14147 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771075] ppid=771053 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/771056/task/771075/stat : 771075 (Common-Cleaner) S 771053 771056 770933 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151620319 19430449152 14147 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56588 KiB
[startup+0.704433 s]
/proc/loadavg: 0.99 0.27 0.15 6/288 771111
/proc/meminfo: memFree=129610092/131524600 swapFree=131071996/131071996
[pid=771056] ppid=771053 vsize=19041612 memory=107580 CPUtime=0.65 cores=4,6
/proc/771056/stat : 771056 (java) S 771053 771056 770933 0 -1 1077936128 12163 0 0 0 61 4 0 0 20 0 19 0 151620311 19498610688 26895 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
/proc/771056/statm: 4760403 26895 5893 1 0 552661 0
[pid=771056/tid=771058] ppid=771053 vsize=19041612 memory=1936 CPUtime=0.35 cores=4,6
/proc/771056/task/771058/stat : 771058 (java) R 771053 771056 770933 0 -1 4194368 6213 0 0 0 33 2 0 0 20 0 19 0 151620311 19498610688 26895 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771067] ppid=771053 vsize=19041612 memory=12504 CPUtime=0 cores=4,6
/proc/771056/task/771067/stat : 771067 (Finalizer) S 771053 771056 770933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 151620318 19498610688 26895 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771075] ppid=771053 vsize=19041612 memory=1992 CPUtime=0 cores=4,6
/proc/771056/task/771075/stat : 771075 (Common-Cleaner) S 771053 771056 770933 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 151620319 19498610688 26895 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 107580 KiB
[startup+1.50044 s]
/proc/loadavg: 0.99 0.27 0.15 10/307 771183
/proc/meminfo: memFree=129402268/131524600 swapFree=131071996/131071996
[pid=771056] ppid=771053 vsize=19108176 memory=184500 CPUtime=2.22 cores=4,6
/proc/771056/stat : 771056 (java) S 771053 771056 770933 0 -1 1077936128 17714 0 0 0 216 6 0 0 20 0 20 0 151620311 19566772224 46125 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
/proc/771056/statm: 4777044 46125 5925 1 0 554245 0
[pid=771056/tid=771058] ppid=771053 vsize=19108176 memory=12504 CPUtime=1.07 cores=4,6
/proc/771056/task/771058/stat : 771058 (java) R 771053 771056 770933 0 -1 4194368 6474 0 0 0 104 3 0 0 20 0 20 0 151620311 19566772224 46125 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771067] ppid=771053 vsize=19108176 memory=1992 CPUtime=0 cores=4,6
/proc/771056/task/771067/stat : 771067 (Finalizer) S 771053 771056 770933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151620318 19566772224 46125 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771075] ppid=771053 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/771056/task/771075/stat : 771075 (Common-Cleaner) S 771053 771056 770933 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151620319 19566772224 46125 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771112] ppid=771053 vsize=19108176 memory=11476 CPUtime=0 cores=4,6
/proc/771056/task/771112/stat : 771112 (Timer-0) S 771053 771056 770933 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151620364 19566772224 46125 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
Current children cumulated CPU time: 2.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 184500 KiB
[startup+3.10644 s]
/proc/loadavg: 0.99 0.27 0.15 6/332 771215
/proc/meminfo: memFree=124433632/131524600 swapFree=131071996/131071996
[pid=771056] ppid=771053 vsize=19108176 memory=523348 CPUtime=5.39 cores=4,6
/proc/771056/stat : 771056 (java) S 771053 771056 770933 0 -1 1077936128 27547 0 0 0 525 14 0 0 20 0 20 0 151620311 19566772224 130837 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
/proc/771056/statm: 4777044 130837 5925 1 0 726111 0
[pid=771056/tid=771058] ppid=771053 vsize=19108176 memory=0 CPUtime=2.61 cores=4,6
/proc/771056/task/771058/stat : 771058 (java) R 771053 771056 770933 0 -1 4194368 7391 0 0 0 253 8 0 0 20 0 20 0 151620311 19566772224 130837 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771067] ppid=771053 vsize=19108176 memory=12504 CPUtime=0 cores=4,6
/proc/771056/task/771067/stat : 771067 (Finalizer) S 771053 771056 770933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151620318 19566772224 130837 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771075] ppid=771053 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/771056/task/771075/stat : 771075 (Common-Cleaner) S 771053 771056 770933 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151620319 19566772224 130837 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771112] ppid=771053 vsize=19108176 memory=19216 CPUtime=0 cores=4,6
/proc/771056/task/771112/stat : 771112 (Timer-0) S 771053 771056 770933 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151620364 19566772224 130837 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
Current children cumulated CPU time: 5.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 523348 KiB
[startup+6.30026 s]
/proc/loadavg: 1.39 0.37 0.18 5/332 771215
/proc/meminfo: memFree=122812580/131524600 swapFree=131071996/131071996
[pid=771056] ppid=771053 vsize=19108176 memory=908252 CPUtime=8.98 cores=4,6
/proc/771056/stat : 771056 (java) S 771053 771056 770933 0 -1 1077936128 28185 0 0 0 876 22 0 0 20 0 20 0 151620311 19566772224 227063 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
/proc/771056/statm: 4777044 227063 5925 1 0 726116 0
[pid=771056/tid=771058] ppid=771053 vsize=19108176 memory=0 CPUtime=5.73 cores=4,6
/proc/771056/task/771058/stat : 771058 (java) R 771053 771056 770933 0 -1 4194368 7817 0 0 0 559 14 0 0 20 0 20 0 151620311 19566772224 227063 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771067] ppid=771053 vsize=19108176 memory=12504 CPUtime=0 cores=4,6
/proc/771056/task/771067/stat : 771067 (Finalizer) S 771053 771056 770933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151620318 19566772224 227063 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771075] ppid=771053 vsize=19108176 memory=19216 CPUtime=0 cores=4,6
/proc/771056/task/771075/stat : 771075 (Common-Cleaner) S 771053 771056 770933 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151620319 19566772224 227063 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771112] ppid=771053 vsize=19108176 memory=38908 CPUtime=0 cores=4,6
/proc/771056/task/771112/stat : 771112 (Timer-0) S 771053 771056 770933 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151620364 19566772224 227063 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
Current children cumulated CPU time: 8.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 908252 KiB
[startup+12.7003 s]
/proc/loadavg: 1.60 0.43 0.20 6/333 771216
/proc/meminfo: memFree=121351120/131524600 swapFree=131071996/131071996
[pid=771056] ppid=771053 vsize=19108176 memory=1113988 CPUtime=15.59 cores=4,6
/proc/771056/stat : 771056 (java) S 771053 771056 770933 0 -1 1077936128 30717 0 0 0 1533 26 0 0 20 0 20 0 151620311 19566772224 278497 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
/proc/771056/statm: 4777044 278497 5925 1 0 726119 0
[pid=771056/tid=771058] ppid=771053 vsize=19108176 memory=0 CPUtime=11.99 cores=4,6
/proc/771056/task/771058/stat : 771058 (java) R 771053 771056 770933 0 -1 4194368 9229 0 0 0 1183 16 0 0 20 0 20 0 151620311 19566772224 278497 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771067] ppid=771053 vsize=19108176 memory=1113944 CPUtime=0 cores=4,6
/proc/771056/task/771067/stat : 771067 (Finalizer) S 771053 771056 770933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151620318 19566772224 278497 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771075] ppid=771053 vsize=19108176 memory=12504 CPUtime=0 cores=4,6
/proc/771056/task/771075/stat : 771075 (Common-Cleaner) S 771053 771056 770933 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151620319 19566772224 278497 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771112] ppid=771053 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/771056/task/771112/stat : 771112 (Timer-0) S 771053 771056 770933 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151620364 19566772224 278497 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
Current children cumulated CPU time: 15.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1113988 KiB
[startup+25.5003 s]
/proc/loadavg: 1.97 0.55 0.24 5/333 771219
/proc/meminfo: memFree=120293720/131524600 swapFree=131071996/131071996
[pid=771056] ppid=771053 vsize=19108176 memory=1810128 CPUtime=29.23 cores=4,6
/proc/771056/stat : 771056 (java) S 771053 771056 770933 0 -1 1077936128 42849 0 1 0 2882 41 0 0 20 0 20 0 151620311 19566772224 452532 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
/proc/771056/statm: 4777044 452532 5957 1 0 726171 0
[pid=771056/tid=771058] ppid=771053 vsize=19108176 memory=0 CPUtime=24.53 cores=4,6
/proc/771056/task/771058/stat : 771058 (java) R 771053 771056 770933 0 -1 4194368 12561 0 0 0 2426 27 0 0 20 0 20 0 151620311 19566772224 452532 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771067] ppid=771053 vsize=19108176 memory=1792064 CPUtime=0 cores=4,6
/proc/771056/task/771067/stat : 771067 (Finalizer) S 771053 771056 770933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151620318 19566772224 452532 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771075] ppid=771053 vsize=19108176 memory=1809864 CPUtime=0 cores=4,6
/proc/771056/task/771075/stat : 771075 (Common-Cleaner) S 771053 771056 770933 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 151620319 19566772224 452532 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771112] ppid=771053 vsize=19108176 memory=908252 CPUtime=0 cores=4,6
/proc/771056/task/771112/stat : 771112 (Timer-0) S 771053 771056 770933 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151620364 19566772224 452532 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
Current children cumulated CPU time: 29.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1810128 KiB
[startup+51.1059 s]
/proc/loadavg: 3.20 0.97 0.40 5/334 771224
/proc/meminfo: memFree=119338308/131524600 swapFree=131071996/131071996
[pid=771056] ppid=771053 vsize=19108176 memory=1824712 CPUtime=55.32 cores=4,6
/proc/771056/stat : 771056 (java) S 771053 771056 770933 0 -1 1077936128 50885 0 1 0 5488 44 0 0 20 0 20 0 151620311 19566772224 456178 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
/proc/771056/statm: 4777044 456178 5957 1 0 726171 0
[pid=771056/tid=771058] ppid=771053 vsize=19108176 memory=1824712 CPUtime=49.69 cores=4,6
/proc/771056/task/771058/stat : 771058 (java) R 771053 771056 770933 0 -1 4194368 15169 0 0 0 4941 28 0 0 20 0 20 0 151620311 19566772224 456178 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771067] ppid=771053 vsize=19108176 memory=1816452 CPUtime=0 cores=4,6
/proc/771056/task/771067/stat : 771067 (Finalizer) S 771053 771056 770933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151620318 19566772224 456178 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771075] ppid=771053 vsize=19108176 memory=1814328 CPUtime=0 cores=4,6
/proc/771056/task/771075/stat : 771075 (Common-Cleaner) S 771053 771056 770933 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 151620319 19566772224 456178 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
################
# More data... #
################
/proc/771056/task/771067/stat : 771067 (Finalizer) S 771053 771056 770933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151620318 19566772224 713330 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771075] ppid=771053 vsize=19108176 memory=2853320 CPUtime=0 cores=4,6
/proc/771056/task/771075/stat : 771075 (Common-Cleaner) S 771053 771056 770933 0 -1 1077936192 2268 0 0 0 0 0 0 0 20 0 20 0 151620319 19566772224 713330 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771112] ppid=771053 vsize=19108176 memory=2853320 CPUtime=0 cores=4,6
/proc/771056/task/771112/stat : 771112 (Timer-0) S 771053 771056 770933 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151620364 19566772224 713330 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
Current children cumulated CPU time: 3193.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2853320 KiB
[startup+3222.3 s]
/proc/loadavg: 4.56 4.57 4.58 6/332 773525
/proc/meminfo: memFree=116707184/131524600 swapFree=131071996/131071996
[pid=771056] ppid=771053 vsize=19108176 memory=2853320 CPUtime=3253.51 cores=4,6
/proc/771056/stat : 771056 (java) S 771053 771056 770933 0 -1 1077936128 234676 0 1 0 325120 231 0 0 20 0 20 0 151620311 19566772224 713330 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
/proc/771056/statm: 4777044 713330 5973 1 0 726879 0
[pid=771056/tid=771058] ppid=771053 vsize=19108176 memory=2853268 CPUtime=3168.28 cores=4,6
/proc/771056/task/771058/stat : 771058 (java) R 771053 771056 770933 0 -1 4194368 94722 0 0 0 316782 46 0 0 20 0 20 0 151620311 19566772224 713330 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 67 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771067] ppid=771053 vsize=19108176 memory=2853320 CPUtime=0 cores=4,6
/proc/771056/task/771067/stat : 771067 (Finalizer) S 771053 771056 770933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151620318 19566772224 713330 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771075] ppid=771053 vsize=19108176 memory=11476 CPUtime=0 cores=4,6
/proc/771056/task/771075/stat : 771075 (Common-Cleaner) S 771053 771056 770933 0 -1 1077936192 2317 0 0 0 0 0 0 0 20 0 20 0 151620319 19566772224 713330 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771112] ppid=771053 vsize=19108176 memory=11476 CPUtime=0 cores=4,6
/proc/771056/task/771112/stat : 771112 (Timer-0) S 771053 771056 770933 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151620364 19566772224 713330 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
Current children cumulated CPU time: 3253.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2853320 KiB
[startup+3282.3 s]
/proc/loadavg: 4.41 4.53 4.57 5/331 773535
/proc/meminfo: memFree=116706900/131524600 swapFree=131071996/131071996
[pid=771056] ppid=771053 vsize=19108176 memory=2853344 CPUtime=3313.85 cores=4,6
/proc/771056/stat : 771056 (java) S 771053 771056 770933 0 -1 1077936128 236282 0 1 0 331151 234 0 0 20 0 20 0 151620311 19566772224 713336 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
/proc/771056/statm: 4777044 713336 5973 1 0 726879 0
[pid=771056/tid=771058] ppid=771053 vsize=19108176 memory=2853320 CPUtime=3227.3 cores=4,6
/proc/771056/task/771058/stat : 771058 (java) R 771053 771056 770933 0 -1 4194368 95703 0 0 0 322683 47 0 0 20 0 20 0 151620311 19566772224 713336 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 67 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771067] ppid=771053 vsize=19108176 memory=1844 CPUtime=0 cores=4,6
/proc/771056/task/771067/stat : 771067 (Finalizer) S 771053 771056 770933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151620318 19566772224 713336 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771075] ppid=771053 vsize=19108176 memory=2853320 CPUtime=0 cores=4,6
/proc/771056/task/771075/stat : 771075 (Common-Cleaner) S 771053 771056 770933 0 -1 1077936192 2317 0 0 0 0 0 0 0 20 0 20 0 151620319 19566772224 713336 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771112] ppid=771053 vsize=19108176 memory=11476 CPUtime=0 cores=4,6
/proc/771056/task/771112/stat : 771112 (Timer-0) S 771053 771056 770933 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151620364 19566772224 713336 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
Current children cumulated CPU time: 3313.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2853344 KiB
[startup+3342.3 s]
/proc/loadavg: 4.25 4.46 4.54 5/331 773546
/proc/meminfo: memFree=116706584/131524600 swapFree=131071996/131071996
[pid=771056] ppid=771053 vsize=19108176 memory=2853344 CPUtime=3374.14 cores=4,6
/proc/771056/stat : 771056 (java) S 771053 771056 770933 0 -1 1077936128 236833 0 1 0 337177 237 0 0 20 0 20 0 151620311 19566772224 713336 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
/proc/771056/statm: 4777044 713336 5973 1 0 726879 0
[pid=771056/tid=771058] ppid=771053 vsize=19108176 memory=2853344 CPUtime=3286.49 cores=4,6
/proc/771056/task/771058/stat : 771058 (java) R 771053 771056 770933 0 -1 4194368 96086 0 0 0 328602 47 0 0 20 0 20 0 151620311 19566772224 713336 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 67 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771067] ppid=771053 vsize=19108176 memory=7680784192682366882 CPUtime=0 cores=4,6
/proc/771056/task/771067/stat : 771067 (Finalizer) S 771053 771056 770933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151620318 19566772224 713336 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771075] ppid=771053 vsize=19108176 memory=2853344 CPUtime=0 cores=4,6
/proc/771056/task/771075/stat : 771075 (Common-Cleaner) S 771053 771056 770933 0 -1 1077936192 2405 0 0 0 0 0 0 0 20 0 20 0 151620319 19566772224 713336 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771112] ppid=771053 vsize=19108176 memory=12504 CPUtime=0 cores=4,6
/proc/771056/task/771112/stat : 771112 (Timer-0) S 771053 771056 770933 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151620364 19566772224 713336 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
Current children cumulated CPU time: 3374.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2853344 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.42 4.52 6/332 773793
/proc/meminfo: memFree=113330188/131524600 swapFree=131071996/131071996
[pid=771056] ppid=771053 vsize=19108176 memory=2853344 CPUtime=3434.48 cores=4,6
/proc/771056/stat : 771056 (java) S 771053 771056 770933 0 -1 1077936128 238463 0 1 0 343208 240 0 0 20 0 20 0 151620311 19566772224 713336 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
/proc/771056/statm: 4777044 713336 5973 1 0 726879 0
[pid=771056/tid=771058] ppid=771053 vsize=19108176 memory=2853344 CPUtime=3345.78 cores=4,6
/proc/771056/task/771058/stat : 771058 (java) R 771053 771056 770933 0 -1 4194368 97119 0 0 0 334531 47 0 0 20 0 20 0 151620311 19566772224 713336 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 68 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771067] ppid=771053 vsize=19108176 memory=7680784192682366882 CPUtime=0 cores=4,6
/proc/771056/task/771067/stat : 771067 (Finalizer) S 771053 771056 770933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151620318 19566772224 713336 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771075] ppid=771053 vsize=19108176 memory=39072 CPUtime=0 cores=4,6
/proc/771056/task/771075/stat : 771075 (Common-Cleaner) S 771053 771056 770933 0 -1 1077936192 2405 0 0 0 0 0 0 0 20 0 20 0 151620319 19566772224 713336 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771112] ppid=771053 vsize=19108176 memory=2853344 CPUtime=0 cores=4,6
/proc/771056/task/771112/stat : 771112 (Timer-0) S 771053 771056 770933 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151620364 19566772224 713336 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
Current children cumulated CPU time: 3434.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2853344 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.37 4.50 5/332 773803
/proc/meminfo: memFree=112724684/131524600 swapFree=131071996/131071996
[pid=771056] ppid=771053 vsize=19108176 memory=2853344 CPUtime=3494.72 cores=4,6
/proc/771056/stat : 771056 (java) S 771053 771056 770933 0 -1 1077936128 239349 0 1 0 349229 243 0 0 20 0 20 0 151620311 19566772224 713336 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
/proc/771056/statm: 4777044 713336 5973 1 0 726879 0
[pid=771056/tid=771058] ppid=771053 vsize=19108176 memory=2853344 CPUtime=3405.19 cores=4,6
/proc/771056/task/771058/stat : 771058 (java) R 771053 771056 770933 0 -1 4194368 97839 0 0 0 340472 47 0 0 20 0 20 0 151620311 19566772224 713336 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 70 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771067] ppid=771053 vsize=19108176 memory=7680784192682366882 CPUtime=0 cores=4,6
/proc/771056/task/771067/stat : 771067 (Finalizer) S 771053 771056 770933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151620318 19566772224 713336 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771075] ppid=771053 vsize=19108176 memory=38908 CPUtime=0 cores=4,6
/proc/771056/task/771075/stat : 771075 (Common-Cleaner) S 771053 771056 770933 0 -1 1077936192 2453 0 0 0 0 0 0 0 20 0 20 0 151620319 19566772224 713336 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771112] ppid=771053 vsize=19108176 memory=2853344 CPUtime=0 cores=4,6
/proc/771056/task/771112/stat : 771112 (Timer-0) S 771053 771056 770933 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151620364 19566772224 713336 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
Current children cumulated CPU time: 3494.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2853344 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.33 4.47 5/337 773834
/proc/meminfo: memFree=112626584/131524600 swapFree=131071996/131071996
[pid=771056] ppid=771053 vsize=19108176 memory=2853372 CPUtime=3555.37 cores=4,6
/proc/771056/stat : 771056 (java) S 771053 771056 770933 0 -1 1077936128 241188 0 1 0 355292 245 0 0 20 0 20 0 151620311 19566772224 713343 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
/proc/771056/statm: 4777044 713343 5973 1 0 726879 0
[pid=771056/tid=771058] ppid=771053 vsize=19108176 memory=2853344 CPUtime=3464.18 cores=4,6
/proc/771056/task/771058/stat : 771058 (java) R 771053 771056 770933 0 -1 4194368 99000 0 0 0 346370 48 0 0 20 0 20 0 151620311 19566772224 713343 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 71 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771067] ppid=771053 vsize=19108176 memory=11476 CPUtime=0 cores=4,6
/proc/771056/task/771067/stat : 771067 (Finalizer) S 771053 771056 770933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151620318 19566772224 713343 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771075] ppid=771053 vsize=19108176 memory=-8960028468181377724 CPUtime=0 cores=4,6
/proc/771056/task/771075/stat : 771075 (Common-Cleaner) S 771053 771056 770933 0 -1 1077936192 2453 0 0 0 0 0 0 0 20 0 20 0 151620319 19566772224 713343 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771112] ppid=771053 vsize=19108176 memory=-9044459746194447340 CPUtime=0 cores=4,6
/proc/771056/task/771112/stat : 771112 (Timer-0) S 771053 771056 770933 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151620364 19566772224 713343 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
Current children cumulated CPU time: 3555.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2853372 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3566.5 s]
/proc/loadavg: 4.16 4.30 4.45 5/337 773842
/proc/meminfo: memFree=112433688/131524600 swapFree=131071996/131071996
[pid=771056] ppid=771053 vsize=19108176 memory=2853372 CPUtime=3600.06 cores=4,6
/proc/771056/stat : 771056 (java) S 771053 771056 770933 0 -1 1077936128 241677 0 1 0 359759 247 0 0 20 0 20 0 151620311 19566772224 713343 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
/proc/771056/statm: 4777044 713343 5973 1 0 726879 0
[pid=771056/tid=771058] ppid=771053 vsize=19108176 memory=2853372 CPUtime=3507.66 cores=4,6
/proc/771056/task/771058/stat : 771058 (java) R 771053 771056 770933 0 -1 4194368 99278 0 0 0 350718 48 0 0 20 0 20 0 151620311 19566772224 713343 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 71 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771067] ppid=771053 vsize=19108176 memory=2853372 CPUtime=0 cores=4,6
/proc/771056/task/771067/stat : 771067 (Finalizer) S 771053 771056 770933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151620318 19566772224 713343 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771075] ppid=771053 vsize=19108176 memory=-7520862560236102520 CPUtime=0 cores=4,6
/proc/771056/task/771075/stat : 771075 (Common-Cleaner) S 771053 771056 770933 0 -1 1077936192 2523 0 0 0 0 0 0 0 20 0 20 0 151620319 19566772224 713343 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
[pid=771056/tid=771112] ppid=771053 vsize=19108176 memory=4908 CPUtime=0 cores=4,6
/proc/771056/task/771112/stat : 771112 (Timer-0) S 771053 771056 770933 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151620364 19566772224 713343 134679101440 93888878231552 93888878235248 140728122082640 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93888878243064 93888878243856 93888908099584 140728122086384 140728122086497 140728122086497 140728122093512 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2853372 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3566.62 s]
# the end of solver process 771056 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.78 s, system=2.49026 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3566.61 s]*
/proc/loadavg: 4.16 4.30 4.45 6/320 773845
/proc/meminfo: memFree=115262184/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3566.62
CPU time (s): 3600.27
CPU user time (s): 3597.78
CPU system time (s): 2.49026
CPU usage (%): 100.944
Max. virtual memory (cumulated for all children) (KiB): 19112336
Max. memory (cumulated for all children) (KiB): 2853372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.78
system time used= 2.49026
maximum resident set size= 2854776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244459
page faults= 1
swaps= 0
block input operations= 152
block output operations= 4456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136975
involuntary context switches= 11089
# summary of solver processes directly reported to runsolver:
# pid: 771056
# total CPU time (s): 3600.27
# total CPU user time (s): 3597.78
# total CPU system time (s): 2.49026
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.49754 second user time and 18.4358 second system time
The end
Begin job on nodeC027 at 2024-07-15 00:02:29 IDJOB=4427399 IDBENCH=147228 IDSOLVER=3046 FILE ID=nodeC027/4427399-1720994536 RUNJOBID= nodeC027-1720994549-770944 SLURM_JOB_ID= 7505321 Free space on /tmp= 890080 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/sorensson/garden/normalized-g15x15.opb COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427399-1720994536/watcher-4427399-1720994536 -o /tmp/evaluation-result-4427399-1720994536/solver-4427399-1720994536 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1720994549-770944 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427399-1720994536.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 83e8c133f6310d52aedf789f310352e0 RANDOM SEED=1909944225 nodeC027.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3627.990 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3610.015 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3657.225 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3610.845 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.668 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3618.729 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.740 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3623.841 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129697840 kB MemAvailable: 129674292 kB Buffers: 335868 kB Cached: 487648 kB SwapCached: 0 kB Active: 507468 kB Inactive: 757540 kB Active(anon): 1528 kB Inactive(anon): 477680 kB Active(file): 505940 kB Inactive(file): 279860 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 3488 kB Writeback: 0 kB AnonPages: 439684 kB Mapped: 122192 kB Shmem: 37720 kB KReclaimable: 60952 kB Slab: 159632 kB SReclaimable: 60952 kB SUnreclaim: 98680 kB KernelStack: 4944 kB PageTables: 11008 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 7335764 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 57248 kB HardwareCorrupted: 0 kB AnonHugePages: 227328 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: 170708 kB DirectMap2M: 7991296 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 890064 MiB End job on nodeC027 at 2024-07-15 01:01:56