Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution Default 2024-07-07 | OPT | 3 | 223.605 | 219.288 |
| 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.11/0.19 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.11/0.19 c This is free software under the dual EPL/GNU LGPL licenses. 0.11/0.19 c See www.sat4j.org for details. 0.11/0.20 c version CUSTOM.v20240707 0.27/0.23 c java.runtime.name OpenJDK Runtime Environment 0.27/0.23 c java.vm.name OpenJDK 64-Bit Server VM 0.27/0.23 c java.vm.version 22.0.1+8-16 0.27/0.23 c java.vm.vendor Oracle Corporation 0.27/0.23 c sun.arch.data.model 64 0.27/0.23 c java.version 22.0.1 0.27/0.23 c os.name Linux 0.27/0.23 c os.version 4.18.0-301.1.el8.x86_64 0.27/0.23 c os.arch amd64 0.27/0.24 c Free memory 2115194816 0.27/0.24 c Max memory 16282288128 0.27/0.24 c Total memory 2122317824 0.27/0.25 c Number of processors 2 0.45/0.35 --- Begin Solver configuration --- 0.45/0.35 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.45/0.35 Learn all clauses as in MiniSAT 0.45/0.35 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.45/0.35 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.45/0.35 No reason simplification 0.45/0.35 Glucose 2.1 dynamic restart strategy 0.45/0.35 Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.45/0.35 timeout=2147483s 0.45/0.35 DB Simplification allowed=false 0.45/0.35 Listener: none 0.45/0.35 --- End Solver configuration --- 0.45/0.35 c Pseudo Boolean Optimization by upper bound 0.45/0.35 c --- Begin Solver configuration --- 0.45/0.35 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.45/0.35 c Learn all clauses as in MiniSAT 0.45/0.35 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.45/0.35 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.45/0.35 c No reason simplification 0.45/0.35 c Glucose 2.1 dynamic restart strategy 0.45/0.35 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.45/0.35 c timeout=2147483s 0.45/0.35 c DB Simplification allowed=false 0.45/0.35 c Listener: none 0.45/0.35 c --- End Solver configuration --- 0.45/0.35 c solving HOME/instance-4459663-1721939462.opb 0.45/0.35 c reading problem ... 0.45/0.35 c objective function found 0.63/0.50 c ... done. Wall clock time 0.142s. 0.63/0.50 c declared #vars 243 0.63/0.50 c internal #vars 972 0.63/0.50 c #constraints 1486 0.63/0.50 c constraints type 0.63/0.50 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 757 0.63/0.50 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 729 0.63/0.50 c 1486 constraints processed. 0.81/0.54 c objective function length is 9 literals 2.11/1.28 c cleaning 2495 clauses out of 5001 with flag 10484/5001 3.10/1.79 c cleaning 4252 clauses out of 8506 with flag 23516/11001 3.57/2.03 c cleaning 5623 clauses out of 11253 with flag 37916/18000 3.91/2.30 c cleaning 6802 clauses out of 13631 with flag 55048/26001 4.51/2.67 c cleaning 7908 clauses out of 15828 with flag 74089/35000 4.69/2.77 c SATISFIABLE 4.69/2.77 c OPTIMIZING... 4.69/2.78 c Got one! Elapsed wall clock time (in seconds):2.417 4.69/2.78 o 7 4.91/2.82 c cleaning 6534 clauses out of 13086 with flag 2170/40166 5.29/3.05 c cleaning 6267 clauses out of 12553 with flag 14529/46167 5.88/3.32 c cleaning 6634 clauses out of 13285 with flag 29128/53166 6.20/3.56 c cleaning 7309 clauses out of 14651 with flag 45956/61166 6.60/3.82 c cleaning 8168 clauses out of 16342 with flag 65064/70166 6.91/4.13 c cleaning 9061 clauses out of 18175 with flag 86212/80167 7.10/4.37 c cleaning 10040 clauses out of 20114 with flag 110151/91167 7.50/4.70 c cleaning 11031 clauses out of 22074 with flag 136612/103167 7.81/5.09 c cleaning 11992 clauses out of 24042 with flag 165216/116166 8.27/5.49 c cleaning 13012 clauses out of 26051 with flag 194510/130167 8.94/6.04 c cleaning 13992 clauses out of 28038 with flag 227802/145166 9.62/6.77 c cleaning 14998 clauses out of 30046 with flag 265579/161166 10.42/7.50 c cleaning 16002 clauses out of 32048 with flag 303469/178166 11.04/8.18 c cleaning 17018 clauses out of 34046 with flag 345228/196166 11.73/8.81 c cleaning 18011 clauses out of 36028 with flag 388517/215166 12.53/9.68 c cleaning 19000 clauses out of 38017 with flag 436433/235166 13.73/10.84 c cleaning 19991 clauses out of 40017 with flag 486979/256166 14.78/11.75 c cleaning 20995 clauses out of 42026 with flag 537011/278167 15.70/12.48 c cleaning 22007 clauses out of 44032 with flag 587333/301168 16.92/13.53 c cleaning 22996 clauses out of 46023 with flag 644551/325166 18.05/14.65 c cleaning 24002 clauses out of 48027 with flag 698449/350166 19.25/15.82 c cleaning 25011 clauses out of 50025 with flag 754682/376166 20.24/16.82 c cleaning 25996 clauses out of 52014 with flag 812671/403166 21.34/18.00 c cleaning 27002 clauses out of 54018 with flag 872127/431166 22.77/19.30 c cleaning 27986 clauses out of 56017 with flag 935428/460167 24.27/20.85 c cleaning 29007 clauses out of 58030 with flag 999163/490166 25.77/22.39 c cleaning 29993 clauses out of 60023 with flag 1066851/521166 27.16/23.79 c cleaning 31010 clauses out of 62031 with flag 1138052/553167 27.87/24.49 c Got one! Elapsed wall clock time (in seconds):24.145 27.87/24.49 o 3 28.20/24.74 c cleaning 25558 clauses out of 51127 with flag 12184/573273 28.40/25.00 c cleaning 15775 clauses out of 31569 with flag 26817/579273 28.70/25.26 c cleaning 11394 clauses out of 22795 with flag 43451/586274 29.00/25.51 c cleaning 9689 clauses out of 19401 with flag 60473/594274 29.40/25.92 c cleaning 9344 clauses out of 18712 with flag 80642/603274 29.80/26.35 c cleaning 9684 clauses out of 19369 with flag 102220/613275 30.10/26.69 c cleaning 10336 clauses out of 20684 with flag 125709/624274 30.69/27.27 c cleaning 11166 clauses out of 22347 with flag 151146/636273 31.29/27.88 c cleaning 12079 clauses out of 24182 with flag 178278/649274 31.79/28.34 c cleaning 13044 clauses out of 26102 with flag 209713/663273 32.51/29.04 c cleaning 14020 clauses out of 28058 with flag 242947/678273 33.09/29.68 c cleaning 15014 clauses out of 30038 with flag 278315/694273 33.69/30.25 c cleaning 15998 clauses out of 32024 with flag 317814/711273 34.29/30.82 c cleaning 17005 clauses out of 34026 with flag 358986/729273 34.99/31.57 c cleaning 17995 clauses out of 36022 with flag 404938/748274 35.79/32.31 c cleaning 19005 clauses out of 38026 with flag 451230/768273 36.50/33.10 c cleaning 20005 clauses out of 40022 with flag 497416/789274 37.49/34.08 c cleaning 20999 clauses out of 42016 with flag 546241/811273 38.39/34.99 c cleaning 22007 clauses out of 44016 with flag 597814/834273 39.38/35.94 c cleaning 22996 clauses out of 46009 with flag 648059/858273 40.78/37.32 c cleaning 23999 clauses out of 48014 with flag 699895/883274 42.18/38.78 c cleaning 25000 clauses out of 50015 with flag 755097/909274 43.40/39.97 c cleaning 25990 clauses out of 52015 with flag 813312/936274 44.70/41.22 c cleaning 27005 clauses out of 54024 with flag 874438/964273 46.29/42.86 c cleaning 27993 clauses out of 56019 with flag 936721/993273 47.39/43.95 c cleaning 29008 clauses out of 58025 with flag 1002809/1023273 48.68/45.25 c cleaning 30000 clauses out of 60017 with flag 1072143/1054273 50.30/46.81 c cleaning 30999 clauses out of 62017 with flag 1139099/1086273 51.99/48.59 c cleaning 32005 clauses out of 64019 with flag 1212672/1119274 53.39/49.94 c cleaning 32998 clauses out of 66014 with flag 1293164/1153274 55.29/51.81 c cleaning 33999 clauses out of 68016 with flag 1372060/1188274 57.73/54.18 c cleaning 34999 clauses out of 70016 with flag 1449953/1224274 59.73/56.15 c cleaning 35999 clauses out of 72016 with flag 1526581/1261273 61.51/57.93 c cleaning 37008 clauses out of 74017 with flag 1606909/1299273 63.02/59.48 c cleaning 37987 clauses out of 76009 with flag 1692448/1338273 64.93/61.31 c cleaning 39007 clauses out of 78023 with flag 1779526/1378274 66.63/63.11 c cleaning 39998 clauses out of 80016 with flag 1864775/1419274 69.82/66.23 c cleaning 40999 clauses out of 82017 with flag 1954135/1461273 71.52/67.95 c cleaning 41988 clauses out of 84018 with flag 2048878/1504273 73.34/69.76 c cleaning 43010 clauses out of 86030 with flag 2143523/1548274 75.54/71.97 c cleaning 43994 clauses out of 88019 with flag 2239186/1593273 78.33/74.77 c cleaning 45002 clauses out of 90026 with flag 2337403/1639274 80.79/77.16 c cleaning 46009 clauses out of 92023 with flag 2445836/1686273 83.69/80.04 c cleaning 46995 clauses out of 94014 with flag 2549295/1734273 85.68/82.02 c cleaning 48001 clauses out of 96020 with flag 2653874/1783274 88.21/84.58 c cleaning 48995 clauses out of 98019 with flag 2765150/1833274 90.41/86.73 c cleaning 50001 clauses out of 100025 with flag 2877851/1884275 92.82/89.17 c cleaning 50989 clauses out of 102022 with flag 2995733/1936273 95.42/91.75 c cleaning 52011 clauses out of 104033 with flag 3114769/1989273 98.82/95.15 c cleaning 53004 clauses out of 106023 with flag 3237356/2043274 101.21/97.53 c cleaning 53999 clauses out of 108019 with flag 3357630/2098274 104.41/100.73 c cleaning 54996 clauses out of 110020 with flag 3482929/2154274 107.01/103.39 c cleaning 56001 clauses out of 112023 with flag 3612426/2211273 109.62/105.97 c cleaning 57003 clauses out of 114022 with flag 3738472/2269273 112.32/108.64 c cleaning 58000 clauses out of 116019 with flag 3869825/2328273 115.01/111.31 c cleaning 59000 clauses out of 118021 with flag 3999571/2388275 118.53/114.89 c cleaning 59999 clauses out of 120019 with flag 4134073/2449273 122.03/118.38 c cleaning 60999 clauses out of 122020 with flag 4274716/2511273 125.79/122.02 c cleaning 62001 clauses out of 124021 with flag 4412283/2574273 129.26/125.56 c cleaning 63001 clauses out of 126019 with flag 4551285/2638273 132.15/128.46 c cleaning 63992 clauses out of 128018 with flag 4689407/2703273 136.38/132.62 c cleaning 65004 clauses out of 130027 with flag 4832261/2769274 139.98/136.26 c cleaning 65995 clauses out of 132022 with flag 4982871/2836273 145.51/141.78 c cleaning 67001 clauses out of 134028 with flag 5136323/2904274 149.00/145.28 c cleaning 67998 clauses out of 136027 with flag 5288222/2973274 152.49/148.75 c cleaning 69002 clauses out of 138028 with flag 5442562/3043273 159.55/155.33 c cleaning 70005 clauses out of 140027 with flag 5612347/3114274 165.03/160.83 c cleaning 71000 clauses out of 142022 with flag 5775979/3186274 170.19/165.96 c cleaning 72004 clauses out of 144022 with flag 5941009/3259274 174.98/170.74 c cleaning 73004 clauses out of 146016 with flag 6102854/3333273 179.87/175.60 c cleaning 73998 clauses out of 148013 with flag 6263064/3408274 184.77/180.53 c cleaning 75002 clauses out of 150014 with flag 6431101/3484273 192.27/188.04 c cleaning 75998 clauses out of 152012 with flag 6602512/3561273 197.65/193.42 c cleaning 77005 clauses out of 154015 with flag 6772945/3639274 203.50/199.28 c cleaning 78000 clauses out of 156010 with flag 6945502/3718274 209.59/205.31 c cleaning 79000 clauses out of 158009 with flag 7123726/3798273 215.58/211.33 c cleaning 80002 clauses out of 160008 with flag 7297207/3879274 223.31/219.06 c cleaning 80998 clauses out of 162000 with flag 7472271/3961274 223.51/219.23 c starts : 6296 223.51/219.23 c conflicts : 3963955 223.51/219.23 c decisions : 4436027 223.51/219.23 c propagations : 82113899 223.51/219.23 c inspects : 2320673144 223.51/219.23 c shortcuts : 0 223.51/219.23 c learnt literals : 17 223.51/219.23 c learnt binary clauses : 27 223.51/219.23 c learnt ternary clauses : 60 223.51/219.23 c learnt constraints : 3963937 223.51/219.23 c ignored constraints : 0 223.51/219.23 c root simplifications : 0 223.51/219.23 c removed literals (reason simplification) : 0 223.51/219.23 c reason swapping (by a shorter reason) : 0 223.51/219.23 c Calls to reduceDB : 111 223.51/219.23 c Number of update (reduction) of LBD : 122988 223.51/219.23 c Imported unit clauses : 0 223.51/219.23 c No decision after first conflict : false 223.51/219.23 c number of reductions to clauses (during analyze) : 0 223.51/219.23 c number of learned constraints concerned by reduction : 0 223.51/219.23 c number of learning phase by resolution : 0 223.51/219.23 c number of learning phase by cutting planes : 0 223.51/219.23 c number of rounding to 1 operations : 0 223.51/219.23 c number of easy rounding to 1 operations (no literal elimination needed) : 0 223.51/219.23 c number of reductions of the coefficients by power 2 : 0 223.51/219.23 c number of right shift for reduction by power 2 : 0 223.51/219.23 c number of reductions of the coefficients by GCD over coefficients : 0 223.51/219.23 c number of ending skipping : 0 223.51/219.23 c number of internal skipping : 0 223.51/219.23 c number of derivation steps : 0 223.51/219.23 c number of skipped derivation steps : 0 223.51/219.23 c number of remaining unassigned : 0 223.51/219.23 c number of remaining assigned : 0 223.51/219.23 c number of falsified literals weakened from reason : 0 223.51/219.23 c number of falsified literals weakened from conflict : 0 223.51/219.23 c time for arithmetic operations : 0 223.51/219.23 c minimum degree of deleted constraints : null 223.51/219.23 c maximum degree of deleted constraints : null 223.51/219.23 c number of deleted constraints : 0 223.51/219.23 c speed (assignments/second) : 375487.6809672316 223.51/219.23 c non guided choices : 29291 223.51/219.23 s OPTIMUM FOUND 223.51/219.23 c Found 2 solution(s) 223.51/219.23 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 223.51/219.23 c objective function=3 223.51/219.23 c Total wall clock time (in seconds): 218.882
OK 3
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: 64059 MiB (62403 MiB free)
memory of node 1: 64510 MiB (62647 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459663-1721939462/watcher-4459663-1721939462 -o /tmp/evaluation-result-4459663-1721939462/solver-4459663-1721939462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721939462-298711 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4459663-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=298732, runsolver pid=298729
[startup+0.104047 s]*
/proc/loadavg: 0.12 0.09 0.18 4/253 298766
/proc/meminfo: memFree=127993120/131655788 swapFree=131060868/131071996
[pid=298732] ppid=298729 vsize=18993908 memory=57276 CPUtime=0.11 cores=5,7
/proc/298732/stat : 298732 (java) S 298729 298732 298698 0 -1 1077936128 6235 0 0 0 7 4 0 0 20 0 18 0 29935628 19449761792 14319 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
/proc/298732/statm: 4748477 14319 5674 1 0 550707 0
[pid=298732/tid=298734] ppid=298729 vsize=18993908 memory=4026532090 CPUtime=0.08 cores=5,7
/proc/298732/task/298734/stat : 298734 (java) R 298729 298732 298698 0 -1 4194368 5236 0 0 0 4 4 0 0 20 0 18 0 29935629 19449761792 14319 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298754] ppid=298729 vsize=18993908 memory=1967831 CPUtime=0 cores=5,7
/proc/298732/task/298754/stat : 298754 (Finalizer) S 298729 298732 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29935636 19449761792 14319 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298764] ppid=298729 vsize=18993908 memory=13571513378933845 CPUtime=0 cores=5,7
/proc/298732/task/298764/stat : 298764 (Common-Cleaner) S 298729 298732 298698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 29935637 19449761792 14319 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 57276 KiB
[startup+0.213946 s]*
/proc/loadavg: 0.12 0.09 0.18 5/264 298777
/proc/meminfo: memFree=127977428/131655788 swapFree=131060868/131071996
[pid=298732] ppid=298729 vsize=18993908 memory=59728 CPUtime=0.27 cores=5,7
/proc/298732/stat : 298732 (java) S 298729 298732 298698 0 -1 1077936128 6679 0 0 0 22 5 0 0 20 0 18 0 29935628 19449761792 14932 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
/proc/298732/statm: 4748477 14932 5898 1 0 551062 0
[pid=298732/tid=298734] ppid=298729 vsize=18993908 memory=4028547066 CPUtime=0.18 cores=5,7
/proc/298732/task/298734/stat : 298734 (java) S 298729 298732 298698 0 -1 1077936192 5583 0 0 0 14 4 0 0 20 0 18 0 29935629 19449761792 14932 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298754] ppid=298729 vsize=18993908 memory=1967831 CPUtime=0 cores=5,7
/proc/298732/task/298754/stat : 298754 (Finalizer) S 298729 298732 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29935636 19449761792 14932 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298764] ppid=298729 vsize=18993908 memory=13571513378933845 CPUtime=0 cores=5,7
/proc/298732/task/298764/stat : 298764 (Common-Cleaner) S 298729 298732 298698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 29935637 19449761792 14932 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 59728 KiB
[startup+0.322605 s]*
/proc/loadavg: 0.12 0.09 0.18 6/264 298777
/proc/meminfo: memFree=127964412/131655788 swapFree=131060868/131071996
[pid=298732] ppid=298729 vsize=18993908 memory=66704 CPUtime=0.45 cores=5,7
/proc/298732/stat : 298732 (java) S 298729 298732 298698 0 -1 1077936128 7226 0 0 0 40 5 0 0 20 0 18 0 29935628 19449761792 16676 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
/proc/298732/statm: 4748477 16676 6050 1 0 551516 0
[pid=298732/tid=298734] ppid=298729 vsize=18993908 memory=-8816187028402840252 CPUtime=0.27 cores=5,7
/proc/298732/task/298734/stat : 298734 (java) R 298729 298732 298698 0 -1 4194368 5767 0 0 0 23 4 0 0 20 0 18 0 29935629 19449761792 16676 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298754] ppid=298729 vsize=18993908 memory=0 CPUtime=0 cores=5,7
/proc/298732/task/298754/stat : 298754 (Finalizer) S 298729 298732 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29935636 19449761792 16676 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298764] ppid=298729 vsize=18993908 memory=0 CPUtime=0 cores=5,7
/proc/298732/task/298764/stat : 298764 (Common-Cleaner) S 298729 298732 298698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 29935637 19449761792 16676 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 66704 KiB
[startup+0.704584 s]
/proc/loadavg: 0.12 0.09 0.18 8/291 298822
/proc/meminfo: memFree=127900844/131655788 swapFree=131060868/131071996
[pid=298732] ppid=298729 vsize=19060844 memory=75744 CPUtime=1.13 cores=5,7
/proc/298732/stat : 298732 (java) S 298729 298732 298698 0 -1 1077936128 8926 0 0 0 106 7 0 0 20 0 19 0 29935628 19518304256 18870 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
/proc/298732/statm: 4765211 18870 6177 1 0 552757 0
[pid=298732/tid=298734] ppid=298729 vsize=19060844 memory=5640 CPUtime=0.59 cores=5,7
/proc/298732/task/298734/stat : 298734 (java) R 298729 298732 298698 0 -1 4194368 5975 0 0 0 54 5 0 0 20 0 19 0 29935629 19518304256 18936 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298754] ppid=298729 vsize=19060844 memory=12240 CPUtime=0 cores=5,7
/proc/298732/task/298754/stat : 298754 (Finalizer) S 298729 298732 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29935636 19518304256 18936 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298764] ppid=298729 vsize=19060844 memory=164 CPUtime=0 cores=5,7
/proc/298732/task/298764/stat : 298764 (Common-Cleaner) S 298729 298732 298698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 29935637 19518304256 18936 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 19060844 KiB
Current children cumulated memory: 75744 KiB
[startup+1.50658 s]
/proc/loadavg: 0.12 0.09 0.18 11/291 298855
/proc/meminfo: memFree=127892380/131655788 swapFree=131060868/131071996
[pid=298732] ppid=298729 vsize=19060472 memory=93120 CPUtime=2.71 cores=5,7
/proc/298732/stat : 298732 (java) S 298729 298732 298698 0 -1 1077936128 18127 0 0 0 263 8 0 0 20 0 19 0 29935628 19517923328 23280 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
/proc/298732/statm: 4765118 23280 6193 1 0 555420 0
[pid=298732/tid=298734] ppid=298729 vsize=19060472 memory=164 CPUtime=1.36 cores=5,7
/proc/298732/task/298734/stat : 298734 (java) R 298729 298732 298698 0 -1 4194368 7034 0 0 0 131 5 0 0 20 0 19 0 29935629 19517923328 23280 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298754] ppid=298729 vsize=19060472 memory=3756056159112307706 CPUtime=0 cores=5,7
/proc/298732/task/298754/stat : 298754 (Finalizer) S 298729 298732 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29935636 19517923328 23280 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298764] ppid=298729 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/298732/task/298764/stat : 298764 (Common-Cleaner) S 298729 298732 298698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 29935637 19517923328 23280 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298834] ppid=298729 vsize=19060472 memory=12240 CPUtime=0 cores=5,7
/proc/298732/task/298834/stat : 298834 (Timer-0) S 298729 298732 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29935682 19517923328 23280 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 93120 KiB
[startup+3.10558 s]
/proc/loadavg: 0.12 0.09 0.18 7/293 298993
/proc/meminfo: memFree=127787156/131655788 swapFree=131060868/131071996
[pid=298732] ppid=298729 vsize=19060472 memory=130408 CPUtime=5.49 cores=5,7
/proc/298732/stat : 298732 (java) S 298729 298732 298698 0 -1 1077936128 23109 0 0 0 539 10 0 0 20 0 19 0 29935628 19517923328 32602 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
/proc/298732/statm: 4765118 32602 6193 1 0 556970 0
[pid=298732/tid=298734] ppid=298729 vsize=19060472 memory=12240 CPUtime=2.94 cores=5,7
/proc/298732/task/298734/stat : 298734 (java) R 298729 298732 298698 0 -1 4194368 8098 0 0 0 288 6 0 0 20 0 19 0 29935629 19517923328 32602 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298754] ppid=298729 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/298732/task/298754/stat : 298754 (Finalizer) S 298729 298732 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29935636 19517923328 32602 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298764] ppid=298729 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/298732/task/298764/stat : 298764 (Common-Cleaner) S 298729 298732 298698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 29935637 19517923328 32602 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298834] ppid=298729 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/298732/task/298834/stat : 298834 (Timer-0) S 298729 298732 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29935682 19517923328 32602 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
Current children cumulated CPU time: 5.49 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 130408 KiB
[startup+6.30044 s]
/proc/loadavg: 0.75 0.22 0.22 6/316 299045
/proc/meminfo: memFree=127249472/131655788 swapFree=131060868/131071996
[pid=298732] ppid=298729 vsize=19127036 memory=197824 CPUtime=9.22 cores=5,7
/proc/298732/stat : 298732 (java) S 298729 298732 298698 0 -1 1077936128 24772 0 0 0 910 12 0 0 20 0 20 0 29935628 19586084864 49456 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
/proc/298732/statm: 4781759 49456 6193 1 0 557307 0
[pid=298732/tid=298734] ppid=298729 vsize=19127036 memory=0 CPUtime=6.09 cores=5,7
/proc/298732/task/298734/stat : 298734 (java) R 298729 298732 298698 0 -1 4194368 8161 0 0 0 602 7 0 0 20 0 20 0 29935629 19586084864 49456 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298754] ppid=298729 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/298732/task/298754/stat : 298754 (Finalizer) S 298729 298732 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935636 19586084864 49456 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298764] ppid=298729 vsize=19127036 memory=12240 CPUtime=0 cores=5,7
/proc/298732/task/298764/stat : 298764 (Common-Cleaner) S 298729 298732 298698 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 29935637 19586084864 49456 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298834] ppid=298729 vsize=19127036 memory=93120 CPUtime=0 cores=5,7
/proc/298732/task/298834/stat : 298834 (Timer-0) S 298729 298732 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29935682 19586084864 49456 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
Current children cumulated CPU time: 9.22 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 197824 KiB
[startup+12.7004 s]
/proc/loadavg: 1.17 0.32 0.25 7/317 299247
/proc/meminfo: memFree=126224240/131655788 swapFree=131060868/131071996
[pid=298732] ppid=298729 vsize=19127036 memory=212400 CPUtime=16.12 cores=5,7
/proc/298732/stat : 298732 (java) S 298729 298732 298698 0 -1 1077936128 30311 0 0 0 1598 14 0 0 20 0 20 0 29935628 19586084864 53100 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
/proc/298732/statm: 4781759 53100 6233 1 0 557758 0
[pid=298732/tid=298734] ppid=298729 vsize=19127036 memory=93120 CPUtime=12.36 cores=5,7
/proc/298732/task/298734/stat : 298734 (java) R 298729 298732 298698 0 -1 4194368 9587 0 0 0 1228 8 0 0 20 0 20 0 29935629 19586084864 53100 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298754] ppid=298729 vsize=19127036 memory=210644 CPUtime=0 cores=5,7
/proc/298732/task/298754/stat : 298754 (Finalizer) S 298729 298732 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935636 19586084864 53100 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298764] ppid=298729 vsize=19127036 memory=210472 CPUtime=0 cores=5,7
/proc/298732/task/298764/stat : 298764 (Common-Cleaner) S 298729 298732 298698 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 29935637 19586084864 53100 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298834] ppid=298729 vsize=19127036 memory=72596 CPUtime=0 cores=5,7
/proc/298732/task/298834/stat : 298834 (Timer-0) S 298729 298732 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29935682 19586084864 53100 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
Current children cumulated CPU time: 16.12 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 212400 KiB
[startup+25.5005 s]
/proc/loadavg: 2.02 0.55 0.33 5/318 299251
/proc/meminfo: memFree=121631512/131655788 swapFree=131060868/131071996
[pid=298732] ppid=298729 vsize=19127036 memory=368608 CPUtime=29 cores=5,7
/proc/298732/stat : 298732 (java) S 298729 298732 298698 0 -1 1077936128 35368 0 0 0 2880 20 0 0 20 0 20 0 29935628 19586084864 92152 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
/proc/298732/statm: 4781759 92152 6233 1 0 557758 0
[pid=298732/tid=298734] ppid=298729 vsize=19127036 memory=368552 CPUtime=24.76 cores=5,7
/proc/298732/task/298734/stat : 298734 (java) R 298729 298732 298698 0 -1 4194368 11195 0 0 0 2468 8 0 0 20 0 20 0 29935629 19586084864 92152 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298754] ppid=298729 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/298732/task/298754/stat : 298754 (Finalizer) S 298729 298732 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935636 19586084864 92152 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298764] ppid=298729 vsize=19127036 memory=2787 CPUtime=0 cores=5,7
/proc/298732/task/298764/stat : 298764 (Common-Cleaner) S 298729 298732 298698 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 29935637 19586084864 92152 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298834] ppid=298729 vsize=19127036 memory=12264 CPUtime=0 cores=5,7
/proc/298732/task/298834/stat : 298834 (Timer-0) S 298729 298732 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29935682 19586084864 92152 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
Current children cumulated CPU time: 29 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 368608 KiB
[startup+51.1132 s]
/proc/loadavg: 3.03 0.91 0.46 5/318 299256
/proc/meminfo: memFree=114986868/131655788 swapFree=131060868/131071996
[pid=298732] ppid=298729 vsize=19127036 memory=679224 CPUtime=54.61 cores=5,7
/proc/298732/stat : 298732 (java) S 298729 298732 298698 0 -1 1077936128 39391 0 0 0 5432 29 0 0 20 0 20 0 29935628 19586084864 169806 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
/proc/298732/statm: 4781759 169806 6233 1 0 664277 0
[pid=298732/tid=298734] ppid=298729 vsize=19127036 memory=12264 CPUtime=49.77 cores=5,7
/proc/298732/task/298734/stat : 298734 (java) R 298729 298732 298698 0 -1 4194368 12685 0 0 0 4967 10 0 0 20 0 20 0 29935629 19586084864 169806 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298754] ppid=298729 vsize=19127036 memory=609528 CPUtime=0 cores=5,7
/proc/298732/task/298754/stat : 298754 (Finalizer) S 298729 298732 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935636 19586084864 169806 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298764] ppid=298729 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/298732/task/298764/stat : 298764 (Common-Cleaner) S 298729 298732 298698 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 29935637 19586084864 169806 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
################
# More data... #
################
/proc/298732/task/298834/stat : 298834 (Timer-0) S 298729 298732 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29935682 19586084864 387988 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
Current children cumulated CPU time: 166.53 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1551952 KiB
[startup+219.288 s]
# the end of solver process 298732 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=222.92 s, system=0.685241 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+179.2 s]
/proc/loadavg: 4.25 2.15 0.98 6/316 299278
/proc/meminfo: memFree=104617268/131655788 swapFree=131060868/131071996
[pid=298732] ppid=298729 vsize=19127036 memory=1582788 CPUtime=183.47 cores=5,7
/proc/298732/stat : 298732 (java) S 298729 298732 298698 0 -1 1077936128 61783 0 0 0 18285 62 0 0 20 0 20 0 29935628 19586084864 395697 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
/proc/298732/statm: 4781759 395697 6233 1 0 667528 0
[pid=298732/tid=298734] ppid=298729 vsize=19127036 memory=1556152 CPUtime=175.43 cores=5,7
/proc/298732/task/298734/stat : 298734 (java) R 298729 298732 298698 0 -1 4194368 19586 0 0 0 17532 11 0 0 20 0 20 0 29935629 19586084864 395697 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298754] ppid=298729 vsize=19127036 memory=1556152 CPUtime=0 cores=5,7
/proc/298732/task/298754/stat : 298754 (Finalizer) S 298729 298732 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935636 19586084864 395697 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298764] ppid=298729 vsize=19127036 memory=1551952 CPUtime=0 cores=5,7
/proc/298732/task/298764/stat : 298764 (Common-Cleaner) S 298729 298732 298698 0 -1 1077936192 132 0 0 0 0 0 0 0 20 0 20 0 29935637 19586084864 395697 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298834] ppid=298729 vsize=19127036 memory=12264 CPUtime=0 cores=5,7
/proc/298732/task/298834/stat : 298834 (Timer-0) S 298729 298732 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29935682 19586084864 395697 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
Current children cumulated CPU time: 183.47 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1582788 KiB
[startup+204.8 s]
/proc/loadavg: 4.30 2.33 1.07 5/316 299283
/proc/meminfo: memFree=104293912/131655788 swapFree=131060868/131071996
[pid=298732] ppid=298729 vsize=19127036 memory=1597144 CPUtime=209.09 cores=5,7
/proc/298732/stat : 298732 (java) S 298729 298732 298698 0 -1 1077936128 62141 0 0 0 20844 65 0 0 20 0 20 0 29935628 19586084864 399286 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
/proc/298732/statm: 4781759 399286 6233 1 0 667528 0
[pid=298732/tid=298734] ppid=298729 vsize=19127036 memory=0 CPUtime=200.87 cores=5,7
/proc/298732/task/298734/stat : 298734 (java) R 298729 298732 298698 0 -1 4194368 19808 0 0 0 20076 11 0 0 20 0 20 0 29935629 19586084864 399286 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298754] ppid=298729 vsize=19127036 memory=72596 CPUtime=0 cores=5,7
/proc/298732/task/298754/stat : 298754 (Finalizer) S 298729 298732 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935636 19586084864 399286 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298764] ppid=298729 vsize=19127036 memory=12264 CPUtime=0 cores=5,7
/proc/298732/task/298764/stat : 298764 (Common-Cleaner) S 298729 298732 298698 0 -1 1077936192 175 0 0 0 0 0 0 0 20 0 20 0 29935637 19586084864 399286 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298834] ppid=298729 vsize=19127036 memory=814736 CPUtime=0 cores=5,7
/proc/298732/task/298834/stat : 298834 (Timer-0) S 298729 298732 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29935682 19586084864 399286 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
Current children cumulated CPU time: 209.09 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1597144 KiB
[startup+211.2 s]
/proc/loadavg: 4.35 2.37 1.09 6/316 299285
/proc/meminfo: memFree=103944312/131655788 swapFree=131060868/131071996
[pid=298732] ppid=298729 vsize=19127036 memory=1597144 CPUtime=215.48 cores=5,7
/proc/298732/stat : 298732 (java) S 298729 298732 298698 0 -1 1077936128 62167 0 0 0 21483 65 0 0 20 0 20 0 29935628 19586084864 399286 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
/proc/298732/statm: 4781759 399286 6233 1 0 667528 0
[pid=298732/tid=298734] ppid=298729 vsize=19127036 memory=1940 CPUtime=207.25 cores=5,7
/proc/298732/task/298734/stat : 298734 (java) R 298729 298732 298698 0 -1 4194368 19834 0 0 0 20714 11 0 0 20 0 20 0 29935629 19586084864 399286 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298754] ppid=298729 vsize=19127036 memory=100 CPUtime=0 cores=5,7
/proc/298732/task/298754/stat : 298754 (Finalizer) S 298729 298732 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935636 19586084864 399286 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298764] ppid=298729 vsize=19127036 memory=1597144 CPUtime=0 cores=5,7
/proc/298732/task/298764/stat : 298764 (Common-Cleaner) S 298729 298732 298698 0 -1 1077936192 175 0 0 0 0 0 0 0 20 0 20 0 29935637 19586084864 399286 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298834] ppid=298729 vsize=19127036 memory=100 CPUtime=0 cores=5,7
/proc/298732/task/298834/stat : 298834 (Timer-0) S 298729 298732 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29935682 19586084864 399286 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
Current children cumulated CPU time: 215.48 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1597144 KiB
[startup+214.4 s]
/proc/loadavg: 4.32 2.40 1.11 5/316 299285
/proc/meminfo: memFree=103933848/131655788 swapFree=131060868/131071996
[pid=298732] ppid=298729 vsize=19127036 memory=1607384 CPUtime=218.71 cores=5,7
/proc/298732/stat : 298732 (java) S 298729 298732 298698 0 -1 1077936128 62279 0 0 0 21806 65 0 0 20 0 20 0 29935628 19586084864 401846 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
/proc/298732/statm: 4781759 401846 6233 1 0 667528 0
[pid=298732/tid=298734] ppid=298729 vsize=19127036 memory=1597144 CPUtime=210.26 cores=5,7
/proc/298732/task/298734/stat : 298734 (java) R 298729 298732 298698 0 -1 4194368 19835 0 0 0 21015 11 0 0 20 0 20 0 29935629 19586084864 401846 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298754] ppid=298729 vsize=19127036 memory=1597144 CPUtime=0 cores=5,7
/proc/298732/task/298754/stat : 298754 (Finalizer) S 298729 298732 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935636 19586084864 401846 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298764] ppid=298729 vsize=19127036 memory=12264 CPUtime=0 cores=5,7
/proc/298732/task/298764/stat : 298764 (Common-Cleaner) S 298729 298732 298698 0 -1 1077936192 175 0 0 0 0 0 0 0 20 0 20 0 29935637 19586084864 401846 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298834] ppid=298729 vsize=19127036 memory=1607384 CPUtime=0 cores=5,7
/proc/298732/task/298834/stat : 298834 (Timer-0) S 298729 298732 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29935682 19586084864 401846 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
Current children cumulated CPU time: 218.71 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1607384 KiB
[startup+217.6 s]
/proc/loadavg: 4.32 2.40 1.11 5/316 299285
/proc/meminfo: memFree=103777112/131655788 swapFree=131060868/131071996
[pid=298732] ppid=298729 vsize=19127036 memory=1607384 CPUtime=221.9 cores=5,7
/proc/298732/stat : 298732 (java) S 298729 298732 298698 0 -1 1077936128 62434 0 0 0 22125 65 0 0 20 0 20 0 29935628 19586084864 401846 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
/proc/298732/statm: 4781759 401846 6233 1 0 667528 0
[pid=298732/tid=298734] ppid=298729 vsize=19127036 memory=12264 CPUtime=213.46 cores=5,7
/proc/298732/task/298734/stat : 298734 (java) R 298729 298732 298698 0 -1 4194368 19959 0 0 0 21334 12 0 0 20 0 20 0 29935629 19586084864 401846 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298754] ppid=298729 vsize=19127036 memory=1597144 CPUtime=0 cores=5,7
/proc/298732/task/298754/stat : 298754 (Finalizer) S 298729 298732 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935636 19586084864 401846 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298764] ppid=298729 vsize=19127036 memory=1607384 CPUtime=0 cores=5,7
/proc/298732/task/298764/stat : 298764 (Common-Cleaner) S 298729 298732 298698 0 -1 1077936192 175 0 0 0 0 0 0 0 20 0 20 0 29935637 19586084864 401846 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298834] ppid=298729 vsize=19127036 memory=2688 CPUtime=0 cores=5,7
/proc/298732/task/298834/stat : 298834 (Timer-0) S 298729 298732 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29935682 19586084864 401846 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
Current children cumulated CPU time: 221.9 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1607384 KiB
[startup+218.4 s]
/proc/loadavg: 4.32 2.40 1.11 5/316 299285
/proc/meminfo: memFree=103777112/131655788 swapFree=131060868/131071996
[pid=298732] ppid=298729 vsize=19127036 memory=1607384 CPUtime=222.7 cores=5,7
/proc/298732/stat : 298732 (java) S 298729 298732 298698 0 -1 1077936128 62435 0 0 0 22205 65 0 0 20 0 20 0 29935628 19586084864 401846 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
/proc/298732/statm: 4781759 401846 6233 1 0 667528 0
[pid=298732/tid=298734] ppid=298729 vsize=19127036 memory=1607384 CPUtime=214.26 cores=5,7
/proc/298732/task/298734/stat : 298734 (java) R 298729 298732 298698 0 -1 4194368 19960 0 0 0 21414 12 0 0 20 0 20 0 29935629 19586084864 401846 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298754] ppid=298729 vsize=19127036 memory=1607384 CPUtime=0 cores=5,7
/proc/298732/task/298754/stat : 298754 (Finalizer) S 298729 298732 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935636 19586084864 401846 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298764] ppid=298729 vsize=19127036 memory=12240 CPUtime=0 cores=5,7
/proc/298732/task/298764/stat : 298764 (Common-Cleaner) S 298729 298732 298698 0 -1 1077936192 175 0 0 0 0 0 0 0 20 0 20 0 29935637 19586084864 401846 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298834] ppid=298729 vsize=19127036 memory=1597144 CPUtime=0 cores=5,7
/proc/298732/task/298834/stat : 298834 (Timer-0) S 298729 298732 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29935682 19586084864 401846 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
Current children cumulated CPU time: 222.7 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1607384 KiB
[startup+218.8 s]
/proc/loadavg: 4.32 2.40 1.11 5/316 299285
/proc/meminfo: memFree=103777112/131655788 swapFree=131060868/131071996
[pid=298732] ppid=298729 vsize=19127036 memory=1607384 CPUtime=223.1 cores=5,7
/proc/298732/stat : 298732 (java) S 298729 298732 298698 0 -1 1077936128 62448 0 0 0 22245 65 0 0 20 0 20 0 29935628 19586084864 401846 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
/proc/298732/statm: 4781759 401846 6233 1 0 667528 0
[pid=298732/tid=298734] ppid=298729 vsize=19127036 memory=-8528519602204549820 CPUtime=214.66 cores=5,7
/proc/298732/task/298734/stat : 298734 (java) R 298729 298732 298698 0 -1 4194368 19973 0 0 0 21454 12 0 0 20 0 20 0 29935629 19586084864 401846 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298754] ppid=298729 vsize=19127036 memory=310 CPUtime=0 cores=5,7
/proc/298732/task/298754/stat : 298754 (Finalizer) S 298729 298732 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935636 19586084864 401846 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298764] ppid=298729 vsize=19127036 memory=21066 CPUtime=0 cores=5,7
/proc/298732/task/298764/stat : 298764 (Common-Cleaner) S 298729 298732 298698 0 -1 1077936192 175 0 0 0 0 0 0 0 20 0 20 0 29935637 19586084864 401846 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298834] ppid=298729 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/298732/task/298834/stat : 298834 (Timer-0) S 298729 298732 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29935682 19586084864 401846 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
Current children cumulated CPU time: 223.1 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1607384 KiB
[startup+219.2 s]
/proc/loadavg: 4.30 2.43 1.12 5/316 299285
/proc/meminfo: memFree=103777112/131655788 swapFree=131060868/131071996
[pid=298732] ppid=298729 vsize=19127036 memory=1607412 CPUtime=223.51 cores=5,7
/proc/298732/stat : 298732 (java) S 298729 298732 298698 0 -1 1077936128 62843 0 0 0 22285 66 0 0 20 0 20 0 29935628 19586084864 401853 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
/proc/298732/statm: 4781759 401853 6233 1 0 667539 0
[pid=298732/tid=298734] ppid=298729 vsize=19127036 memory=18484 CPUtime=215.06 cores=5,7
/proc/298732/task/298734/stat : 298734 (java) R 298729 298732 298698 0 -1 4194368 20254 0 0 0 21494 12 0 0 20 0 20 0 29935629 19586084864 401853 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298754] ppid=298729 vsize=19127036 memory=2232 CPUtime=0 cores=5,7
/proc/298732/task/298754/stat : 298754 (Finalizer) S 298729 298732 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935636 19586084864 401853 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298764] ppid=298729 vsize=19127036 memory=1896 CPUtime=0 cores=5,7
/proc/298732/task/298764/stat : 298764 (Common-Cleaner) S 298729 298732 298698 0 -1 1077936192 175 0 0 0 0 0 0 0 20 0 20 0 29935637 19586084864 401853 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
[pid=298732/tid=298834] ppid=298729 vsize=19127036 memory=19856 CPUtime=0 cores=5,7
/proc/298732/task/298834/stat : 298834 (Timer-0) S 298729 298732 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29935682 19586084864 401853 134679101440 94235345612800 94235345616496 140734460508224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94235345624312 94235345625104 94235352662016 140734460511242 140734460511332 140734460511332 140734460518344 0
Current children cumulated CPU time: 223.51 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1607412 KiB
Child status: 30
Real time (s): 219.288
CPU time (s): 223.605
CPU user time (s): 222.92
CPU system time (s): 0.685241
CPU usage (%): 101.969
Max. virtual memory (cumulated for all children) (KiB): 19127036
Max. memory (cumulated for all children) (KiB): 1607412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 222.92
system time used= 0.685241
maximum resident set size= 1609092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65592
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8461
involuntary context switches= 778
# summary of solver processes directly reported to runsolver:
# pid: 298732
# total CPU time (s): 223.605
# total CPU user time (s): 222.92
# total CPU system time (s): 0.685241
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.20257 second user time and 2.33394 second system time
The end
Begin job on nodeC005 at 2024-07-25 22:31:02 IDJOB=4459663 IDBENCH=148308 IDSOLVER=3058 FILE ID=nodeC005/4459663-1721939462 RUNJOBID= nodeC005-1721939462-298711 SLURM_JOB_ID= 8247259 Free space on /tmp= 723784 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 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 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459663-1721939462/watcher-4459663-1721939462 -o /tmp/evaluation-result-4459663-1721939462/solver-4459663-1721939462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721939462-298711 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4459663-1721939462.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 38d74c6946365bca81da903286cf8100 RANDOM SEED=1503976896 nodeC005.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.391 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.14 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.192 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.31 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.653 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.14 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.136 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.31 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.139 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.14 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.111 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.31 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.456 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.14 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.113 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.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128052844 kB MemAvailable: 130012600 kB Buffers: 324360 kB Cached: 2452296 kB SwapCached: 320 kB Active: 1726300 kB Inactive: 1308708 kB Active(anon): 1488 kB Inactive(anon): 309820 kB Active(file): 1724812 kB Inactive(file): 998888 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131060868 kB Dirty: 1020 kB Writeback: 0 kB AnonPages: 258200 kB Mapped: 98248 kB Shmem: 52956 kB KReclaimable: 152172 kB Slab: 259344 kB SReclaimable: 152172 kB SUnreclaim: 107172 kB KernelStack: 3608 kB PageTables: 9416 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 651500 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 12064 kB HardwareCorrupted: 0 kB AnonHugePages: 137216 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: 406344 kB DirectMap2M: 45635584 kB DirectMap1G: 90177536 kB Free space on /tmp at the end= 723776 MiB End job on nodeC005 at 2024-07-25 22:34:42