Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution VeriPB 2025-06-06 | SAT (TO) | -150 | 3520.79 | 3702.2 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_25.opb |
| MD5SUM | 152d32cf0a83f0185b516cc3fd8d397d |
| 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 | -150 |
| Best CPU time to get the best result obtained on this benchmark | 1.5126 |
| 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 | 300 |
| Total number of constraints | 9200 |
| Number of constraints which are clauses | 9200 |
| 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 | 3 |
| Number of terms in the objective function | 250 |
| 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 | 250 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 250 |
| 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.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version PB25.v20250606 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.09 c java.vm.version 22.0.1+8-16 0.00/0.09 c java.vm.vendor Oracle Corporation 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 22.0.1 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 2104792832 0.00/0.09 c Max memory 16282288128 0.00/0.09 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.12/0.13 c Pseudo Boolean Optimization by upper bound 0.12/0.13 c --- Begin Solver configuration --- 0.12/0.13 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.12/0.13 c Learn all clauses as in MiniSAT 0.12/0.13 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.13 c Expensive reason simplification 0.12/0.13 c Glucose 2.1 dynamic restart strategy 0.12/0.13 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.12/0.13 c timeout=2147483s 0.12/0.13 c DB Simplification allowed=false 0.12/0.13 c Listener: none 0.12/0.13 c --- End Solver configuration --- 0.12/0.13 c solving HOME/instance-4521363-1751582713.opb 0.12/0.13 c reading problem ... 0.12/0.13 c using VERIPB proof format 0.12/0.13 c objective function found 0.33/0.24 c ... done. Wall clock time 0.108s. 0.33/0.24 c declared #vars 300 0.33/0.24 c #constraints 9200 0.33/0.24 c constraints type 0.33/0.24 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 9200 0.33/0.24 c 9200 constraints processed. 0.33/0.26 c objective function length is 250 literals 0.33/0.28 c SATISFIABLE 0.33/0.28 c OPTIMIZING... 0.33/0.28 c Got one! Elapsed wall clock time (in seconds):0.153 0.33/0.28 o -134 0.33/0.30 c Got one! Elapsed wall clock time (in seconds):0.171 0.33/0.30 o -142 0.51/0.35 c Got one! Elapsed wall clock time (in seconds):0.219 0.51/0.35 o -144 0.89/0.51 c Got one! Elapsed wall clock time (in seconds):0.385 0.89/0.51 o -146 1.67/0.98 c Got one! Elapsed wall clock time (in seconds):0.85 1.67/0.98 o -148 3.04/1.60 c cleaning 3074 clauses out of 6156 with flag 6160/6156 4.43/2.30 c cleaning 4536 clauses out of 9081 with flag 18178/12155 5.40/2.95 c cleaning 5772 clauses out of 11545 with flag 32250/19155 6.24/3.79 c cleaning 6887 clauses out of 13773 with flag 48273/27155 7.26/4.73 c cleaning 7942 clauses out of 15886 with flag 66294/36155 8.36/5.81 c cleaning 8972 clauses out of 17944 with flag 86325/46155 9.64/7.03 c cleaning 9986 clauses out of 19973 with flag 108341/57156 11.12/8.54 c cleaning 10992 clauses out of 21985 with flag 132350/69154 12.73/10.19 c cleaning 11991 clauses out of 23994 with flag 158420/82155 14.43/11.87 c cleaning 13000 clauses out of 26002 with flag 186482/96154 16.34/13.76 c cleaning 13998 clauses out of 28003 with flag 216717/111155 18.52/15.79 c cleaning 14999 clauses out of 30004 with flag 248870/127154 21.03/18.24 c cleaning 15999 clauses out of 32006 with flag 283099/144155 23.65/20.82 c cleaning 16998 clauses out of 34007 with flag 319222/162155 26.85/24.08 c cleaning 18001 clauses out of 36008 with flag 357241/181154 29.85/27.03 c cleaning 19003 clauses out of 38008 with flag 397439/201155 33.43/30.66 c cleaning 20000 clauses out of 40005 with flag 439763/222155 37.70/35.04 c cleaning 21002 clauses out of 42004 with flag 484314/244154 40.40/37.71 c Got one! Elapsed wall clock time (in seconds):37.579 40.40/37.71 o -150 41.24/38.56 c cleaning 21070 clauses out of 42148 with flag 10228/265300 42.36/39.61 c cleaning 13537 clauses out of 27078 with flag 22519/271300 43.26/40.53 c cleaning 10263 clauses out of 20540 with flag 36642/278299 44.16/41.49 c cleaning 9135 clauses out of 18277 with flag 53019/286299 45.15/42.49 c cleaning 9065 clauses out of 18142 with flag 71387/295299 46.35/43.63 c cleaning 9534 clauses out of 19078 with flag 91859/305300 47.57/44.85 c cleaning 10271 clauses out of 20544 with flag 114491/316300 49.26/46.49 c cleaning 11133 clauses out of 22273 with flag 139495/328300 50.86/48.05 c cleaning 12066 clauses out of 24140 with flag 165958/341300 52.84/49.93 c cleaning 13033 clauses out of 26073 with flag 194834/355299 54.84/51.95 c cleaning 14019 clauses out of 28041 with flag 225605/370300 57.53/54.69 c cleaning 15003 clauses out of 30022 with flag 258739/386300 60.73/57.83 c cleaning 16009 clauses out of 32019 with flag 294234/403300 63.73/60.82 c cleaning 16999 clauses out of 34009 with flag 331861/421299 67.18/64.51 c cleaning 18004 clauses out of 36011 with flag 371953/440300 70.57/67.84 c cleaning 19003 clauses out of 38007 with flag 413620/460300 73.56/70.84 c cleaning 20001 clauses out of 40003 with flag 457049/481299 77.47/74.73 c cleaning 20998 clauses out of 42003 with flag 502441/503300 81.65/78.91 c cleaning 21997 clauses out of 44004 with flag 551070/526299 86.65/83.95 c cleaning 23003 clauses out of 46007 with flag 602125/550299 91.43/88.77 c cleaning 24001 clauses out of 48005 with flag 654035/575300 97.60/95.15 c cleaning 24996 clauses out of 50003 with flag 707864/601299 102.98/100.51 c cleaning 26001 clauses out of 52007 with flag 764486/628299 109.87/107.42 c cleaning 27002 clauses out of 54007 with flag 823883/656300 115.57/113.14 c cleaning 27999 clauses out of 56004 with flag 885984/685299 120.15/117.75 c cleaning 29002 clauses out of 58006 with flag 948761/715300 127.60/125.36 c cleaning 29999 clauses out of 60003 with flag 1015135/746299 137.25/135.07 c cleaning 30998 clauses out of 62005 with flag 1083241/778300 146.00/143.87 c cleaning 31997 clauses out of 64006 with flag 1154419/811299 153.31/151.16 c cleaning 32998 clauses out of 66010 with flag 1227388/845300 164.06/162.07 c cleaning 34004 clauses out of 68011 with flag 1303002/880299 174.55/172.51 c cleaning 34998 clauses out of 70007 with flag 1382303/916299 183.81/181.89 c cleaning 35999 clauses out of 72009 with flag 1463278/953299 195.76/197.33 c cleaning 36997 clauses out of 74011 with flag 1547931/991300 206.55/208.17 c cleaning 38007 clauses out of 76013 with flag 1635536/1030299 217.94/219.59 c cleaning 38997 clauses out of 78007 with flag 1722056/1070300 231.04/239.94 c cleaning 39998 clauses out of 80009 with flag 1810134/1111299 248.67/257.50 c cleaning 41002 clauses out of 82012 with flag 1900794/1153300 265.06/274.06 c cleaning 42000 clauses out of 84010 with flag 1993386/1196300 283.84/292.81 c cleaning 43005 clauses out of 86011 with flag 2088777/1240301 301.86/310.93 c cleaning 43998 clauses out of 88004 with flag 2188040/1285299 320.64/329.70 c cleaning 44998 clauses out of 90007 with flag 2288048/1331300 341.09/350.25 c cleaning 46002 clauses out of 92009 with flag 2395044/1378300 363.91/373.18 c cleaning 47001 clauses out of 94007 with flag 2504623/1426300 388.28/397.87 c cleaning 48001 clauses out of 96006 with flag 2616343/1475300 410.79/420.40 c cleaning 49000 clauses out of 98005 with flag 2731181/1525300 436.59/446.21 c cleaning 49996 clauses out of 100005 with flag 2851112/1576300 469.91/483.58 c cleaning 50999 clauses out of 102010 with flag 2967062/1628301 501.54/515.28 c cleaning 52002 clauses out of 104009 with flag 3086046/1681299 539.16/552.98 c cleaning 52997 clauses out of 106008 with flag 3208281/1735300 570.09/583.99 c cleaning 54002 clauses out of 108011 with flag 3328935/1790300 605.13/619.08 c cleaning 54998 clauses out of 110009 with flag 3455207/1846300 637.79/651.74 c cleaning 55999 clauses out of 112012 with flag 3583849/1903301 679.77/693.87 c cleaning 57000 clauses out of 114011 with flag 3718455/1961299 716.95/731.17 c cleaning 58002 clauses out of 116011 with flag 3854660/2020299 759.59/773.83 c cleaning 58998 clauses out of 118009 with flag 3992868/2080299 803.96/818.35 c cleaning 60001 clauses out of 120012 with flag 4131439/2141300 850.48/864.91 c cleaning 61001 clauses out of 122010 with flag 4273866/2203299 901.89/916.47 c cleaning 62000 clauses out of 124010 with flag 4418729/2266300 951.74/967.59 c cleaning 63002 clauses out of 126009 with flag 4567560/2330299 1000.81/1031.25 c cleaning 64003 clauses out of 128007 with flag 4718356/2395299 1053.30/1087.48 c cleaning 64997 clauses out of 130005 with flag 4873020/2461300 1114.11/1152.74 c cleaning 66002 clauses out of 132008 with flag 5035422/2528300 1173.78/1212.57 c cleaning 66994 clauses out of 134005 with flag 5196473/2596299 1240.19/1283.50 c cleaning 68000 clauses out of 136012 with flag 5359533/2665300 1303.38/1346.88 c cleaning 69004 clauses out of 138011 with flag 5526326/2735299 1370.76/1414.30 c cleaning 69997 clauses out of 140007 with flag 5701188/2806299 1426.77/1475.39 c cleaning 71003 clauses out of 142012 with flag 5875807/2878301 1498.59/1547.50 c cleaning 71999 clauses out of 144007 with flag 6052251/2951299 1572.17/1629.80 c cleaning 72999 clauses out of 146009 with flag 6236380/3025300 1640.15/1697.90 c cleaning 73999 clauses out of 148009 with flag 6424524/3100299 1733.15/1794.62 c cleaning 74999 clauses out of 150010 with flag 6610734/3176299 1813.96/1875.62 c cleaning 76001 clauses out of 152011 with flag 6798358/3253299 1888.42/1950.23 c cleaning 77005 clauses out of 154011 with flag 6987964/3331300 1984.84/2046.81 c cleaning 77998 clauses out of 156007 with flag 7183361/3410301 2074.16/2156.77 c cleaning 78995 clauses out of 158008 with flag 7386216/3490300 2165.15/2254.70 c cleaning 80001 clauses out of 160012 with flag 7596478/3571299 2273.57/2363.49 c cleaning 81002 clauses out of 162012 with flag 7806002/3653300 2401.53/2491.63 c cleaning 81999 clauses out of 164009 with flag 8042045/3736299 2522.75/2613.13 c cleaning 83003 clauses out of 166010 with flag 8282551/3820299 2630.82/2727.45 c cleaning 83998 clauses out of 168008 with flag 8511999/3905300 2749.26/2846.18 c cleaning 85002 clauses out of 170010 with flag 8749343/3991300 2866.50/2968.19 c cleaning 85996 clauses out of 172008 with flag 8982966/4078300 2988.05/3089.84 c cleaning 87000 clauses out of 174012 with flag 9228666/4166300 3141.90/3266.34 c cleaning 88000 clauses out of 176012 with flag 9486887/4255300 3277.03/3411.74 c cleaning 89002 clauses out of 178011 with flag 9743833/4345299 3419.00/3595.43 c cleaning 90001 clauses out of 180008 with flag 9997670/4436299 3520.61/3700.02 c starts : 9398 3520.61/3700.02 c conflicts : 4502212 3520.61/3700.03 c decisions : 4667774 3520.61/3700.03 c propagations : 211988817 3520.61/3700.03 c inspects : 43625942168 3520.61/3700.03 c shortcuts : 0 3520.61/3700.03 c learnt literals : 1 3520.61/3700.03 c learnt binary clauses : 16 3520.61/3700.03 c learnt ternary clauses : 120 3520.61/3700.03 c learnt constraints : 4502211 3520.61/3700.03 c ignored constraints : 0 3520.61/3700.03 c root simplifications : 0 3520.61/3700.03 c removed literals (reason simplification) : 192795357 3520.61/3700.03 c reason swapping (by a shorter reason) : 0 3520.61/3700.03 c Calls to reduceDB : 105 3520.61/3700.03 c Number of update (reduction) of LBD : 77893 3520.61/3700.03 c Imported unit clauses : 0 3520.61/3700.03 c No decision after first conflict : false 3520.61/3700.03 c number of reductions to clauses (during analyze) : 0 3520.61/3700.03 c number of learned constraints concerned by reduction : 0 3520.61/3700.03 c number of learning phase by resolution : 0 3520.61/3700.03 c number of learning phase by cutting planes : 0 3520.61/3700.03 c number of rounding to 1 operations : 0 3520.61/3700.03 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3520.61/3700.03 c number of reductions of the coefficients by power 2 : 0 3520.61/3700.03 c number of right shift for reduction by power 2 : 0 3520.61/3700.03 c number of reductions of the coefficients by GCD over coefficients : 0 3520.61/3700.03 c number of ending skipping : 0 3520.61/3700.03 c number of internal skipping : 0 3520.61/3700.03 c number of derivation steps : 0 3520.61/3700.03 c number of skipped derivation steps : 0 3520.61/3700.03 c number of remaining unassigned : 0 3520.61/3700.03 c number of remaining assigned : 0 3520.61/3700.03 c number of falsified literals weakened from reason : 0 3520.61/3700.03 c number of falsified literals weakened from conflict : 0 3520.61/3700.03 c time for arithmetic operations : 0 3520.61/3700.03 c minimum degree of deleted constraints : null 3520.61/3700.03 c maximum degree of deleted constraints : null 3520.61/3700.03 c number of deleted constraints : 0 3520.61/3700.03 c speed (assignments/second) : 57298.037952222265 3520.61/3700.03 c non guided choices : 8 3520.61/3700.08 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 155904 3520.61/3700.08 c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB : 16 3520.61/3700.08 s SATISFIABLE 3520.61/3700.08 c Found 6 solution(s) 3520.61/3700.09 v -x1 -x2 x3 x4 -x5 -x6 -x7 x8 x9 -x10 x11 -x12 x13 x14 -x15 x16 -x17 x18 x19 -x20 x21 -x22 x23 x24 -x25 x26 x27 -x28 -x29 -x30 x31 x32 -x33 x34 -x35 x36 x37 -x38 x39 -x40 x41 x42 -x43 x44 -x45 x46 x47 x48 x49 -x50 -x51 -x52 x53 x54 -x55 x56 -x57 x58 x59 -x60 x61 -x62 x63 x64 -x65 x66 -x67 x68 x69 -x70 x71 x72 x73 -x74 -x75 x76 -x77 x78 -x79 -x80 x81 -x82 x83 -x84 -x85 x86 -x87 x88 -x89 -x90 x91 x92 x93 -x94 -x95 x96 -x97 x98 -x99 -x100 x101 -x102 x103 -x104 -x105 x106 -x107 x108 -x109 -x110 -x111 -x112 x113 x114 -x115 x116 -x117 x118 x119 -x120 x121 -x122 x123 x124 -x125 x126 -x127 x128 x129 -x130 x131 x132 -x133 x134 -x135 x136 x137 -x138 x139 -x140 x141 x142 -x143 x144 -x145 x146 x147 x148 x149 -x150 x151 -x152 x153 x154 -x155 x156 -x157 x158 x159 -x160 x161 -x162 x163 x164 -x165 x166 -x167 x168 -x169 -x170 x171 -x172 x173 -x174 -x175 x176 -x177 x178 -x179 -x180 x181 -x182 x183 -x184 -x185 x186 -x187 x188 -x189 -x190 x191 -x192 x193 -x194 -x195 x196 -x197 x198 x199 -x200 x201 -x202 x203 x204 -x205 x206 -x207 x208 x209 x210 -x211 -x212 x213 -x214 x215 -x216 -x217 x218 -x219 x220 -x221 -x222 x223 x224 -x225 x226 -x227 x228 x229 -x230 x231 -x232 x233 x234 -x235 x236 -x237 x238 -x239 -x240 x241 -x242 x243 -x244 -x245 x246 -x247 x248 -x249 -x250 x251 -x252 x253 -x254 -x255 x256 -x257 x258 x259 -x260 x261 -x262 x263 x264 x265 -x266 -x267 x268 -x269 x270 -x271 -x272 x273 x274 -x275 x276 -x277 x278 x279 -x280 x281 -x282 x283 -x284 -x285 x286 -x287 x288 -x289 -x290 x291 -x292 x293 x294 x295 -x296 -x297 x298 x299 -x300 3520.61/3700.09 c objective function=-150 3520.61/3700.09 c Total wall clock time (in seconds): 3699.96
OK -150
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: 63665 MiB (58526 MiB free)
memory of node 1: 64507 MiB (42670 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521363-1751582713/watcher-4521363-1751582713 -o /tmp/evaluation-result-4521363-1751582713/solver-4521363-1751582713 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751579235-82801 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4521363-1751582713 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4521363-1751582713.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=83537, runsolver pid=83534
[startup+0.10006 s]*
/proc/loadavg: 4.41 4.51 4.79 5/344 83555
/proc/meminfo: memFree=103598268/131249996 swapFree=33010160/33010684
[pid=83537] ppid=83534 vsize=18930384 memory=57768 CPUtime=0.12 cores=4,6
/proc/83537/stat : 83537 (java) S 83534 83537 82790 0 -1 4194304 6572 0 0 0 11 1 0 0 20 0 18 0 73950857 19384713216 14442 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
/proc/83537/statm: 4732596 14442 5344 1 0 547620 0
[pid=83537/tid=83539] ppid=83534 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/83537/task/83539/stat : 83539 (java) R 83534 83537 82790 0 -1 4194368 5071 0 0 0 7 1 0 0 20 0 18 0 73950858 19384713216 14442 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83548] ppid=83534 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/83537/task/83548/stat : 83548 (Finalizer) S 83534 83537 82790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73950860 19384713216 14442 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83555] ppid=83534 vsize=18930384 memory=59585004335790 CPUtime=0 cores=4,6
/proc/83537/task/83555/stat : 83555 (Common-Cleaner) S 83534 83537 82790 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 73950861 19384713216 14442 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57768 KiB
[startup+0.205933 s]*
/proc/loadavg: 4.41 4.51 4.79 7/344 83555
/proc/meminfo: memFree=103597484/131249996 swapFree=33010160/33010684
[pid=83537] ppid=83534 vsize=18930384 memory=72192 CPUtime=0.33 cores=4,6
/proc/83537/stat : 83537 (java) S 83534 83537 82790 0 -1 4194304 7042 0 0 0 31 2 0 0 20 0 18 0 73950857 19384713216 18048 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
/proc/83537/statm: 4732596 18048 5408 1 0 547909 0
[pid=83537/tid=83539] ppid=83534 vsize=18930384 memory=4026794268 CPUtime=0.18 cores=4,6
/proc/83537/task/83539/stat : 83539 (java) R 83534 83537 82790 0 -1 4194368 5277 0 0 0 17 1 0 0 20 0 18 0 73950858 19384713216 18048 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83548] ppid=83534 vsize=18930384 memory=16912 CPUtime=0 cores=4,6
/proc/83537/task/83548/stat : 83548 (Finalizer) S 83534 83537 82790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73950860 19384713216 18048 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83555] ppid=83534 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/83537/task/83555/stat : 83555 (Common-Cleaner) S 83534 83537 82790 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 73950861 19384713216 18048 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 72192 KiB
[startup+0.305888 s]*
/proc/loadavg: 4.41 4.51 4.79 6/345 83556
/proc/meminfo: memFree=103572100/131249996 swapFree=33010160/33010684
[pid=83537] ppid=83534 vsize=18996948 memory=88520 CPUtime=0.51 cores=4,6
/proc/83537/stat : 83537 (java) S 83534 83537 82790 0 -1 4194304 8950 0 0 0 49 2 0 0 20 0 19 0 73950857 19452874752 22130 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
/proc/83537/statm: 4749237 22130 5472 1 0 549541 0
[pid=83537/tid=83539] ppid=83534 vsize=18996948 memory=-6000919489919936871 CPUtime=0.24 cores=4,6
/proc/83537/task/83539/stat : 83539 (java) R 83534 83537 82790 0 -1 4194368 5426 0 0 0 23 1 0 0 20 0 19 0 73950858 19452874752 22130 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83548] ppid=83534 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/83537/task/83548/stat : 83548 (Finalizer) S 83534 83537 82790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 73950860 19452874752 22130 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83555] ppid=83534 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/83537/task/83555/stat : 83555 (Common-Cleaner) S 83534 83537 82790 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 73950861 19452874752 22130 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83556] ppid=83534 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/83537/task/83556/stat : 83556 (Timer-0) S 83534 83537 82790 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 73950884 19452874752 22130 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 88520 KiB
[startup+0.700241 s]
/proc/loadavg: 4.41 4.51 4.79 6/345 83556
/proc/meminfo: memFree=103551936/131249996 swapFree=33010160/33010684
[pid=83537] ppid=83534 vsize=18996948 memory=139068 CPUtime=1.27 cores=4,6
/proc/83537/stat : 83537 (java) S 83534 83537 82790 0 -1 4194304 11028 0 0 0 123 4 0 0 20 0 19 0 73950857 19452874752 34767 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
/proc/83537/statm: 4749237 34767 5472 1 0 550747 0
[pid=83537/tid=83539] ppid=83534 vsize=18996948 memory=18048 CPUtime=0.58 cores=4,6
/proc/83537/task/83539/stat : 83539 (java) R 83534 83537 82790 0 -1 4194368 5463 0 0 0 56 2 0 0 20 0 19 0 73950858 19452874752 34767 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83548] ppid=83534 vsize=18996948 memory=11008 CPUtime=0 cores=4,6
/proc/83537/task/83548/stat : 83548 (Finalizer) S 83534 83537 82790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 73950860 19452874752 34767 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83555] ppid=83534 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/83537/task/83555/stat : 83555 (Common-Cleaner) S 83534 83537 82790 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 73950861 19452874752 34767 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83556] ppid=83534 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/83537/task/83556/stat : 83556 (Timer-0) S 83534 83537 82790 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 73950884 19452874752 34767 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 139068 KiB
[startup+1.50025 s]
/proc/loadavg: 4.41 4.51 4.79 6/346 83557
/proc/meminfo: memFree=103491380/131249996 swapFree=33010160/33010684
[pid=83537] ppid=83534 vsize=19063512 memory=175560 CPUtime=2.86 cores=4,6
/proc/83537/stat : 83537 (java) S 83534 83537 82790 0 -1 4194304 20330 0 0 0 280 6 0 0 20 0 20 0 73950857 19521036288 43890 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
/proc/83537/statm: 4765878 43890 5504 1 0 553762 0
[pid=83537/tid=83539] ppid=83534 vsize=19063512 memory=11008 CPUtime=1.36 cores=4,6
/proc/83537/task/83539/stat : 83539 (java) R 83534 83537 82790 0 -1 4194368 5797 0 0 0 133 3 0 0 20 0 20 0 73950858 19521036288 43890 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83548] ppid=83534 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/83537/task/83548/stat : 83548 (Finalizer) S 83534 83537 82790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73950860 19521036288 43890 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83555] ppid=83534 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/83537/task/83555/stat : 83555 (Common-Cleaner) S 83534 83537 82790 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 73950861 19521036288 43890 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83556] ppid=83534 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/83537/task/83556/stat : 83556 (Timer-0) S 83534 83537 82790 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73950884 19521036288 43890 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175560 KiB
[startup+3.10571 s]
/proc/loadavg: 4.41 4.51 4.79 5/346 83557
/proc/meminfo: memFree=103446728/131249996 swapFree=33010160/33010684
[pid=83537] ppid=83534 vsize=19063512 memory=180856 CPUtime=5.65 cores=4,6
/proc/83537/stat : 83537 (java) S 83534 83537 82790 0 -1 4194304 23544 0 0 0 557 8 0 0 20 0 20 0 73950857 19521036288 45214 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
/proc/83537/statm: 4765878 45214 5504 1 0 553813 0
[pid=83537/tid=83539] ppid=83534 vsize=19063512 memory=11008 CPUtime=2.91 cores=4,6
/proc/83537/task/83539/stat : 83539 (java) R 83534 83537 82790 0 -1 4194368 6868 0 0 0 288 3 0 0 20 0 20 0 73950858 19521036288 45214 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83548] ppid=83534 vsize=19063512 memory=-6000919489919936871 CPUtime=0 cores=4,6
/proc/83537/task/83548/stat : 83548 (Finalizer) S 83534 83537 82790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73950860 19521036288 45214 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83555] ppid=83534 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/83537/task/83555/stat : 83555 (Common-Cleaner) S 83534 83537 82790 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 73950861 19521036288 45214 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83556] ppid=83534 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/83537/task/83556/stat : 83556 (Timer-0) S 83534 83537 82790 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73950884 19521036288 45214 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
Current children cumulated CPU time: 5.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180856 KiB
[startup+6.30021 s]
/proc/loadavg: 4.38 4.50 4.79 5/346 83557
/proc/meminfo: memFree=103031220/131249996 swapFree=33010160/33010684
[pid=83537] ppid=83534 vsize=19063512 memory=304212 CPUtime=8.91 cores=4,6
/proc/83537/stat : 83537 (java) S 83534 83537 82790 0 -1 4194304 26305 0 0 0 879 12 0 0 20 0 20 0 73950857 19521036288 76053 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
/proc/83537/statm: 4765878 76053 5504 1 0 553816 0
[pid=83537/tid=83539] ppid=83534 vsize=19063512 memory=0 CPUtime=6.08 cores=4,6
/proc/83537/task/83539/stat : 83539 (java) R 83534 83537 82790 0 -1 4194368 7165 0 0 0 601 7 0 0 20 0 20 0 73950858 19521036288 76053 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83548] ppid=83534 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/83537/task/83548/stat : 83548 (Finalizer) S 83534 83537 82790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73950860 19521036288 76053 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83555] ppid=83534 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/83537/task/83555/stat : 83555 (Common-Cleaner) S 83534 83537 82790 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 73950861 19521036288 76053 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83556] ppid=83534 vsize=19063512 memory=175816 CPUtime=0 cores=4,6
/proc/83537/task/83556/stat : 83556 (Timer-0) S 83534 83537 82790 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73950884 19521036288 76053 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
Current children cumulated CPU time: 8.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 304212 KiB
[startup+12.7003 s]
/proc/loadavg: 4.35 4.49 4.79 5/347 83559
/proc/meminfo: memFree=102713188/131249996 swapFree=33010160/33010684
[pid=83537] ppid=83534 vsize=19063512 memory=533684 CPUtime=15.33 cores=4,6
/proc/83537/stat : 83537 (java) S 83534 83537 82790 0 -1 4194304 32221 0 0 0 1515 18 0 0 20 0 20 0 73950857 19521036288 133421 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
/proc/83537/statm: 4765878 133421 5504 1 0 553816 0
[pid=83537/tid=83539] ppid=83534 vsize=19063512 memory=175816 CPUtime=12.42 cores=4,6
/proc/83537/task/83539/stat : 83539 (java) R 83534 83537 82790 0 -1 4194368 8626 0 0 0 1229 13 0 0 20 0 20 0 73950858 19521036288 133421 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83548] ppid=83534 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/83537/task/83548/stat : 83548 (Finalizer) S 83534 83537 82790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73950860 19521036288 133421 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83555] ppid=83534 vsize=19063512 memory=533684 CPUtime=0 cores=4,6
/proc/83537/task/83555/stat : 83555 (Common-Cleaner) S 83534 83537 82790 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 73950861 19521036288 133421 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83556] ppid=83534 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/83537/task/83556/stat : 83556 (Timer-0) S 83534 83537 82790 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73950884 19521036288 133421 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
Current children cumulated CPU time: 15.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 533684 KiB
[startup+25.5002 s]
/proc/loadavg: 4.27 4.47 4.77 5/347 83559
/proc/meminfo: memFree=102297664/131249996 swapFree=33010160/33010684
[pid=83537] ppid=83534 vsize=19063512 memory=814428 CPUtime=28.35 cores=4,6
/proc/83537/stat : 83537 (java) S 83534 83537 82790 0 -1 4194304 38199 0 0 0 2806 29 0 0 20 0 20 0 73950857 19521036288 203607 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
/proc/83537/statm: 4765878 203607 5504 1 0 553816 0
[pid=83537/tid=83539] ppid=83534 vsize=19063512 memory=11008 CPUtime=25.16 cores=4,6
/proc/83537/task/83539/stat : 83539 (java) R 83534 83537 82790 0 -1 4194368 9908 0 0 0 2493 23 0 0 20 0 20 0 73950858 19521036288 203607 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83548] ppid=83534 vsize=19063512 memory=533684 CPUtime=0 cores=4,6
/proc/83537/task/83548/stat : 83548 (Finalizer) S 83534 83537 82790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73950860 19521036288 203607 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83555] ppid=83534 vsize=19063512 memory=2372 CPUtime=0 cores=4,6
/proc/83537/task/83555/stat : 83555 (Common-Cleaner) S 83534 83537 82790 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 73950861 19521036288 203607 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83556] ppid=83534 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/83537/task/83556/stat : 83556 (Timer-0) S 83534 83537 82790 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73950884 19521036288 203607 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
Current children cumulated CPU time: 28.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 814428 KiB
[startup+51.1058 s]
/proc/loadavg: 4.32 4.46 4.76 5/346 83559
/proc/meminfo: memFree=101431156/131249996 swapFree=33010160/33010684
[pid=83537] ppid=83534 vsize=19063512 memory=1319884 CPUtime=54.05 cores=4,6
/proc/83537/stat : 83537 (java) S 83534 83537 82790 0 -1 4194304 49771 0 0 0 5358 47 0 0 20 0 20 0 73950857 19521036288 329971 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
/proc/83537/statm: 4765878 329971 5504 1 0 553816 0
[pid=83537/tid=83539] ppid=83534 vsize=19063512 memory=1319884 CPUtime=50.51 cores=4,6
################
# More data... #
################
/proc/83537/task/83539/stat : 83539 (java) R 83534 83537 82790 0 -1 4194368 37653 0 0 0 319800 301 0 0 20 0 20 0 73950858 19521036288 472384 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83548] ppid=83534 vsize=19063512 memory=1889536 CPUtime=0 cores=4,6
/proc/83537/task/83548/stat : 83548 (Finalizer) S 83534 83537 82790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73950860 19521036288 472384 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83555] ppid=83534 vsize=19063512 memory=4715998479058103965 CPUtime=0 cores=4,6
/proc/83537/task/83555/stat : 83555 (Common-Cleaner) S 83534 83537 82790 0 -1 4194368 1754 0 0 0 0 0 0 0 20 0 20 0 73950861 19521036288 472384 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83556] ppid=83534 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/83537/task/83556/stat : 83556 (Timer-0) S 83534 83537 82790 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73950884 19521036288 472384 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
Current children cumulated CPU time: 3211.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1889536 KiB
[startup+3402.3 s]
/proc/loadavg: 4.97 4.71 4.47 6/347 83955
/proc/meminfo: memFree=61624380/131249996 swapFree=33010160/33010684
[pid=83537] ppid=83534 vsize=19063512 memory=1889536 CPUtime=3267.71 cores=4,6
/proc/83537/stat : 83537 (java) S 83534 83537 82790 0 -1 4194304 128348 0 0 0 326367 404 0 0 20 0 20 0 73950857 19521036288 472384 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
/proc/83537/statm: 4765878 472384 5536 1 0 554357 0
[pid=83537/tid=83539] ppid=83534 vsize=19063512 memory=18048 CPUtime=3257.64 cores=4,6
/proc/83537/task/83539/stat : 83539 (java) R 83534 83537 82790 0 -1 4194368 37947 0 0 0 325456 308 0 0 20 0 20 0 73950858 19521036288 472384 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83548] ppid=83534 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/83537/task/83548/stat : 83548 (Finalizer) S 83534 83537 82790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73950860 19521036288 472384 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83555] ppid=83534 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/83537/task/83555/stat : 83555 (Common-Cleaner) S 83534 83537 82790 0 -1 4194368 1873 0 0 0 0 0 0 0 20 0 20 0 73950861 19521036288 472384 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83556] ppid=83534 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/83537/task/83556/stat : 83556 (Timer-0) S 83534 83537 82790 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73950884 19521036288 472384 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
Current children cumulated CPU time: 3267.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1889536 KiB
[startup+3462.3 s]
/proc/loadavg: 5.02 4.77 4.50 5/348 83962
/proc/meminfo: memFree=52819256/131249996 swapFree=33010160/33010684
[pid=83537] ppid=83534 vsize=19063512 memory=1889536 CPUtime=3319.09 cores=4,6
/proc/83537/stat : 83537 (java) S 83534 83537 82790 0 -1 4194304 129160 0 0 0 331501 408 0 0 20 0 20 0 73950857 19521036288 472384 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
/proc/83537/statm: 4765878 472384 5536 1 0 554357 0
[pid=83537/tid=83539] ppid=83534 vsize=19063512 memory=14464 CPUtime=3308.99 cores=4,6
/proc/83537/task/83539/stat : 83539 (java) R 83534 83537 82790 0 -1 4194368 38727 0 0 0 330588 311 0 0 20 0 20 0 73950858 19521036288 472384 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83548] ppid=83534 vsize=19063512 memory=1889536 CPUtime=0 cores=4,6
/proc/83537/task/83548/stat : 83548 (Finalizer) S 83534 83537 82790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73950860 19521036288 472384 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83555] ppid=83534 vsize=19063512 memory=-6000919489919936871 CPUtime=0 cores=4,6
/proc/83537/task/83555/stat : 83555 (Common-Cleaner) S 83534 83537 82790 0 -1 4194368 1873 0 0 0 0 0 0 0 20 0 20 0 73950861 19521036288 472384 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83556] ppid=83534 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/83537/task/83556/stat : 83556 (Timer-0) S 83534 83537 82790 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73950884 19521036288 472384 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
Current children cumulated CPU time: 3319.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1889536 KiB
[startup+3522.3 s]
/proc/loadavg: 5.00 4.81 4.54 6/348 83964
/proc/meminfo: memFree=46304516/131249996 swapFree=33009904/33010684
[pid=83537] ppid=83534 vsize=19063512 memory=1908988 CPUtime=3369.76 cores=4,6
/proc/83537/stat : 83537 (java) S 83534 83537 82790 0 -1 4194304 140860 0 0 0 336561 415 0 0 20 0 20 0 73950857 19521036288 477247 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
/proc/83537/statm: 4765878 477247 5536 1 0 554357 0
[pid=83537/tid=83539] ppid=83534 vsize=19063512 memory=1908988 CPUtime=3358.86 cores=4,6
/proc/83537/task/83539/stat : 83539 (java) R 83534 83537 82790 0 -1 4194368 40212 0 0 0 335570 316 0 0 20 0 20 0 73950858 19521036288 477247 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83548] ppid=83534 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/83537/task/83548/stat : 83548 (Finalizer) S 83534 83537 82790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73950860 19521036288 477247 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83555] ppid=83534 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/83537/task/83555/stat : 83555 (Common-Cleaner) S 83534 83537 82790 0 -1 4194368 1873 0 0 0 0 0 0 0 20 0 20 0 73950861 19521036288 477247 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83556] ppid=83534 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/83537/task/83556/stat : 83556 (Timer-0) S 83534 83537 82790 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73950884 19521036288 477247 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
Current children cumulated CPU time: 3369.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1908988 KiB
[startup+3582.3 s]
/proc/loadavg: 5.31 4.94 4.60 4/347 83966
/proc/meminfo: memFree=41512008/131249996 swapFree=33009904/33010684
[pid=83537] ppid=83534 vsize=19063512 memory=1908988 CPUtime=3417.66 cores=4,6
/proc/83537/stat : 83537 (java) S 83534 83537 82790 0 -1 4194304 141664 0 0 0 341347 419 0 0 20 0 20 0 73950857 19521036288 477247 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
/proc/83537/statm: 4765878 477247 5536 1 0 554357 0
[pid=83537/tid=83539] ppid=83534 vsize=19063512 memory=10624 CPUtime=3406.75 cores=4,6
/proc/83537/task/83539/stat : 83539 (java) D 83534 83537 82790 0 -1 4194368 40885 0 0 0 340356 319 0 0 20 0 20 0 73950858 19521036288 477247 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83548] ppid=83534 vsize=19063512 memory=1908988 CPUtime=0 cores=4,6
/proc/83537/task/83548/stat : 83548 (Finalizer) S 83534 83537 82790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73950860 19521036288 477247 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83555] ppid=83534 vsize=19063512 memory=1908988 CPUtime=0 cores=4,6
/proc/83537/task/83555/stat : 83555 (Common-Cleaner) S 83534 83537 82790 0 -1 4194368 1974 0 0 0 0 0 0 0 20 0 20 0 73950861 19521036288 477247 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83556] ppid=83534 vsize=19063512 memory=1908988 CPUtime=0 cores=4,6
/proc/83537/task/83556/stat : 83556 (Timer-0) S 83534 83537 82790 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73950884 19521036288 477247 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
Current children cumulated CPU time: 3417.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1908988 KiB
[startup+3642.3 s]
/proc/loadavg: 5.05 4.92 4.61 7/346 83968
/proc/meminfo: memFree=38510460/131249996 swapFree=33009904/33010684
[pid=83537] ppid=83534 vsize=19063512 memory=1908988 CPUtime=3464.5 cores=4,6
/proc/83537/stat : 83537 (java) S 83534 83537 82790 0 -1 4194304 142788 0 0 0 346026 424 0 0 20 0 20 0 73950857 19521036288 477247 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
/proc/83537/statm: 4765878 477247 5536 1 0 554357 0
[pid=83537/tid=83539] ppid=83534 vsize=19063512 memory=18048 CPUtime=3453.56 cores=4,6
/proc/83537/task/83539/stat : 83539 (java) R 83534 83537 82790 0 -1 4194368 41813 0 0 0 345034 322 0 0 20 0 20 0 73950858 19521036288 477247 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83548] ppid=83534 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/83537/task/83548/stat : 83548 (Finalizer) S 83534 83537 82790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73950860 19521036288 477247 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83555] ppid=83534 vsize=19063512 memory=1908988 CPUtime=0 cores=4,6
/proc/83537/task/83555/stat : 83555 (Common-Cleaner) S 83534 83537 82790 0 -1 4194368 1974 0 0 0 0 0 0 0 20 0 20 0 73950861 19521036288 477247 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83556] ppid=83534 vsize=19063512 memory=18048 CPUtime=0 cores=4,6
/proc/83537/task/83556/stat : 83556 (Timer-0) S 83534 83537 82790 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73950884 19521036288 477247 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
Current children cumulated CPU time: 3464.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1908988 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 5.00 4.94 4.64 4/346 83973
/proc/meminfo: memFree=35457132/131249996 swapFree=33009904/33010684
[pid=83537] ppid=83534 vsize=19063512 memory=1927476 CPUtime=3520.61 cores=4,6
/proc/83537/stat : 83537 (java) S 83534 83537 82790 0 -1 4194304 144100 0 0 0 351633 428 0 0 20 0 20 0 73950857 19521036288 481869 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
/proc/83537/statm: 4765878 481869 5536 1 0 554357 0
[pid=83537/tid=83539] ppid=83534 vsize=19063512 memory=5760 CPUtime=3509.54 cores=4,6
/proc/83537/task/83539/stat : 83539 (java) R 83534 83537 82790 0 -1 4194368 41830 0 0 0 350629 325 0 0 20 0 20 0 73950858 19521036288 481869 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83548] ppid=83534 vsize=19063512 memory=2372 CPUtime=0 cores=4,6
/proc/83537/task/83548/stat : 83548 (Finalizer) S 83534 83537 82790 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73950860 19521036288 481869 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83555] ppid=83534 vsize=19063512 memory=-4050210904893734797 CPUtime=0 cores=4,6
/proc/83537/task/83555/stat : 83555 (Common-Cleaner) S 83534 83537 82790 0 -1 4194368 2066 0 0 0 0 0 0 0 20 0 20 0 73950861 19521036288 481869 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
[pid=83537/tid=83556] ppid=83534 vsize=19063512 memory=5284 CPUtime=0 cores=4,6
/proc/83537/task/83556/stat : 83556 (Timer-0) S 83534 83537 82790 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73950884 19521036288 481869 18446744073709551615 94105765720064 94105765723760 140729880225456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94105765731576 94105765732368 94105777733632 140729880234288 140729880234470 140729880234470 140729880240072 0
Current children cumulated CPU time: 3520.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1927476 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3702.2 s]
# the end of solver process 83537 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3516.49 s, system=4.30164 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3700.8 s]
/proc/loadavg: 5.00 4.94 4.64 3/328 83976
/proc/meminfo: memFree=37340564/131249996 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3701.6 s]
/proc/loadavg: 5.00 4.94 4.64 3/328 83976
/proc/meminfo: memFree=37292272/131249996 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3702 s]*
/proc/loadavg: 5.00 4.94 4.64 4/328 83976
/proc/meminfo: memFree=37259568/131249996 swapFree=33009904/33010684
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): 3702.2
CPU time (s): 3520.79
CPU user time (s): 3516.49
CPU system time (s): 4.30164
CPU usage (%): 95.0999
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1927476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3516.49
system time used= 4.30164
maximum resident set size= 1928500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147351
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3035960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109389
involuntary context switches= 10402
# summary of solver processes directly reported to runsolver:
# pid: 83537
# total CPU time (s): 3520.79
# total CPU user time (s): 3516.49
# total CPU system time (s): 4.30164
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.49642 second user time and 19.4709 second system time
The end
Begin job on nodeC030 at 2025-07-04 00:45:13 IDJOB=4521363 IDBENCH=178262 IDSOLVER=3364 FILE ID=nodeC030/4521363-1751582713 RUNJOBID= nodeC030-1751579235-82801 SLURM_JOB_ID= 9598815 Free space on /tmp= 432472 MiB SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/normalized-maxcut_opt_complete_5-partite_inlv_nvert_25.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521363-1751582713/watcher-4521363-1751582713 -o /tmp/evaluation-result-4521363-1751582713/solver-4521363-1751582713 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751579235-82801 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4521363-1751582713 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4521363-1751582713.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 152d32cf0a83f0185b516cc3fd8d397d RANDOM SEED=264989872 nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.288 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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.62 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 : 3600.322 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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.62 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 : 3598.799 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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.62 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 : 3648.931 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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.62 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.319 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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.62 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 : 3600.284 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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.62 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.363 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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.62 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 : 3600.212 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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 103626120 kB MemAvailable: 112194688 kB Buffers: 2128 kB Cached: 9354812 kB SwapCached: 4 kB Active: 17907044 kB Inactive: 9035444 kB Active(anon): 17591004 kB Inactive(anon): 12648 kB Active(file): 316040 kB Inactive(file): 9022796 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 96564 kB Writeback: 0 kB AnonPages: 17586832 kB Mapped: 123900 kB Shmem: 18028 kB KReclaimable: 137544 kB Slab: 231012 kB SReclaimable: 137544 kB SUnreclaim: 93468 kB KernelStack: 5328 kB PageTables: 38096 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 18169272 kB VmallocTotal: 34359738367 kB VmallocUsed: 151576 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 17240064 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 189140 kB DirectMap2M: 9019392 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432488 MiB End job on nodeC030 at 2025-07-04 01:46:55