Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution 2025-06-06 | MSAT (TO) | 3600.31 | 3590.74 |
| Name | PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-66-100-0.wbo |
| MD5SUM | 35a8cd852ce9086466c166d9cb7fc9d5 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.10493 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1860 |
| Total number of constraints | 122 |
| Number of soft constraints | 42 |
| Number of constraints which are clauses | 62 |
| Number of constraints which are cardinality constraints (but not clauses) | 60 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 30 |
| Maximum length of a constraint | 31 |
| Top cost | 2134 |
| Min constraint cost | 1 |
| Max constraint cost | 96 |
| Sum of constraints costs | 2133 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 32 |
| Number of bits of the biggest sum of numbers | 6 |
| 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.09 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.14 c Pseudo Boolean Optimization by upper bound 0.12/0.14 c --- Begin Solver configuration --- 0.12/0.14 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.12/0.14 c Learn all clauses as in MiniSAT 0.12/0.14 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.14 c Expensive reason simplification 0.12/0.14 c Glucose 2.1 dynamic restart strategy 0.12/0.14 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.14 c timeout=2147483s 0.12/0.14 c DB Simplification allowed=false 0.12/0.14 c Listener: none 0.12/0.14 c --- End Solver configuration --- 0.12/0.14 c solving HOME/instance-4525127-1751620503.wbo 0.12/0.14 c reading problem ... 0.12/0.18 c ... done. Wall clock time 0.041s. 0.12/0.18 c declared #vars 1860 0.12/0.18 c internal #vars 1902 0.12/0.18 c #constraints 123 0.12/0.18 c constraints type 0.12/0.18 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 35 0.12/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 25 0.12/0.18 c org.sat4j.specs.Constr$1 => 1 0.12/0.18 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 62 0.12/0.18 c 123 constraints processed. 0.12/0.19 c objective function length is 42 literals 1.56/0.95 c cleaning 2497 clauses out of 5000 with flag 32597/5000 1.56/0.99 c SATISFIABLE 1.56/0.99 c OPTIMIZING... 1.56/0.99 c Got one! Elapsed wall clock time (in seconds):0.856 1.56/0.99 o 185 2.69/1.90 c cleaning 3945 clauses out of 7905 with flag 31563/10402 3.30/2.46 c Got one! Elapsed wall clock time (in seconds):2.321 3.30/2.46 o 69 4.02/2.92 c cleaning 4914 clauses out of 9838 with flag 12967/16280 4.92/3.89 c cleaning 5455 clauses out of 10923 with flag 58404/22279 5.02/3.91 c Got one! Elapsed wall clock time (in seconds):3.773 5.02/3.91 o 36 5.92/4.81 c cleaning 5312 clauses out of 10635 with flag 42622/27446 6.93/5.88 c cleaning 5658 clauses out of 11324 with flag 95854/33447 8.44/7.35 c cleaning 6330 clauses out of 12665 with flag 156628/40446 8.74/7.69 c Got one! Elapsed wall clock time (in seconds):7.555 8.74/7.69 o 35 9.96/8.77 c cleaning 6097 clauses out of 12201 with flag 35228/46312 10.76/9.52 c cleaning 6043 clauses out of 12104 with flag 85927/52312 11.75/10.57 c cleaning 6513 clauses out of 13062 with flag 135586/59313 13.25/12.07 c cleaning 7256 clauses out of 14549 with flag 192450/67313 15.18/13.92 c cleaning 8130 clauses out of 16294 with flag 258092/76314 17.48/16.22 c cleaning 9056 clauses out of 18162 with flag 334463/86312 20.07/18.88 c cleaning 10031 clauses out of 20106 with flag 415575/97312 20.68/19.46 c Got one! Elapsed wall clock time (in seconds):19.325 20.68/19.46 o 30 21.29/20.08 c cleaning 10204 clauses out of 20427 with flag 36276/107664 22.25/20.90 c cleaning 8080 clauses out of 16224 with flag 77889/113665 23.32/21.99 c cleaning 7542 clauses out of 15143 with flag 132777/120664 24.19/22.72 c Got one! Elapsed wall clock time (in seconds):22.588 24.19/22.72 o 16 24.29/22.80 c cleaning 6778 clauses out of 13584 with flag 6099/126647 24.98/23.50 c cleaning 6398 clauses out of 12807 with flag 44706/132648 25.77/24.30 c cleaning 6699 clauses out of 13410 with flag 89759/139649 26.37/24.93 c Got one! Elapsed wall clock time (in seconds):24.795 26.37/24.93 o 12 26.67/25.25 c Got one! Elapsed wall clock time (in seconds):25.116 26.67/25.25 o 7 27.07/25.60 c cleaning 9001 clauses out of 18007 with flag 11538/150945 28.00/26.54 c cleaning 7486 clauses out of 15003 with flag 53286/156942 28.90/27.47 c cleaning 7245 clauses out of 14517 with flag 107367/163942 29.90/28.48 c cleaning 7627 clauses out of 15272 with flag 165615/171942 31.30/29.88 c cleaning 8318 clauses out of 16647 with flag 231156/180944 31.50/30.08 c Got one! Elapsed wall clock time (in seconds):29.947 31.50/30.08 o 6 32.00/30.53 c cleaning 6789 clauses out of 13605 with flag 20445/186220 32.71/31.29 c cleaning 6398 clauses out of 12815 with flag 58531/192219 33.53/32.05 c cleaning 6697 clauses out of 13418 with flag 99868/199220 34.63/33.15 c cleaning 7346 clauses out of 14720 with flag 156109/207219 36.02/34.55 c cleaning 8174 clauses out of 16375 with flag 215391/216220 37.81/36.33 c cleaning 9090 clauses out of 18200 with flag 283196/226219 38.84/37.39 c Got one! Elapsed wall clock time (in seconds):37.257 38.84/37.39 o 5 39.43/37.90 c cleaning 10496 clauses out of 21004 with flag 34943/238113 40.03/38.50 c cleaning 8213 clauses out of 16507 with flag 72959/244112 41.49/39.94 c cleaning 7492 clauses out of 15295 with flag 147216/251113 41.79/40.27 c Got one! Elapsed wall clock time (in seconds):40.138 41.79/40.27 o 3 42.09/40.51 c cleaning 6774 clauses out of 13564 with flag 17911/256874 42.69/41.18 c cleaning 6386 clauses out of 12791 with flag 65569/262875 43.48/41.92 c cleaning 6697 clauses out of 13404 with flag 112322/269874 44.48/42.92 c cleaning 7349 clauses out of 14708 with flag 169642/277875 45.72/44.18 c cleaning 8175 clauses out of 16357 with flag 239132/286873 47.42/45.87 c cleaning 9088 clauses out of 18182 with flag 312733/296873 49.42/47.83 c cleaning 10041 clauses out of 20094 with flag 398641/307873 51.96/50.34 c cleaning 11020 clauses out of 22055 with flag 487241/319875 54.66/53.01 c cleaning 12012 clauses out of 24034 with flag 578807/332874 58.15/56.55 c cleaning 13009 clauses out of 26023 with flag 678972/346875 62.10/60.41 c cleaning 14001 clauses out of 28014 with flag 798188/361875 65.20/63.58 c cleaning 14983 clauses out of 30011 with flag 921463/377873 69.23/67.52 c cleaning 15992 clauses out of 32028 with flag 1039718/394873 73.42/71.78 c cleaning 16998 clauses out of 34037 with flag 1163536/412874 76.17/74.48 c cleaning 18011 clauses out of 36039 with flag 1283307/431874 80.56/78.86 c cleaning 18998 clauses out of 38027 with flag 1433274/451873 86.70/84.94 c cleaning 20006 clauses out of 40029 with flag 1585169/472873 93.05/91.25 c cleaning 21002 clauses out of 42023 with flag 1740263/494873 100.23/98.45 c cleaning 21996 clauses out of 44021 with flag 1919494/517873 104.48/102.61 c cleaning 22965 clauses out of 46026 with flag 2075077/541874 109.23/107.39 c cleaning 23822 clauses out of 48061 with flag 2310595/566874 116.66/114.42 c cleaning 24887 clauses out of 50238 with flag 2599136/592873 126.02/123.76 c cleaning 25936 clauses out of 52353 with flag 2821942/619875 131.79/129.48 c cleaning 27023 clauses out of 54416 with flag 3086348/647874 139.40/136.87 c cleaning 28021 clauses out of 56392 with flag 3377669/676873 145.78/143.29 c cleaning 29002 clauses out of 58371 with flag 3659746/706873 155.06/152.59 c cleaning 30003 clauses out of 60372 with flag 3953295/737876 165.94/163.34 c cleaning 30994 clauses out of 62366 with flag 4239959/769873 182.13/179.23 c cleaning 32000 clauses out of 64372 with flag 4517489/802873 194.61/191.78 c cleaning 33002 clauses out of 66373 with flag 4848669/836874 207.45/204.55 c cleaning 33999 clauses out of 68371 with flag 5140780/871874 221.02/218.12 c cleaning 35004 clauses out of 70372 with flag 5481922/907874 238.35/235.36 c cleaning 36000 clauses out of 72367 with flag 5775212/944873 254.21/251.24 c cleaning 37002 clauses out of 74369 with flag 6132010/982875 271.17/268.24 c cleaning 37994 clauses out of 76365 with flag 6502189/1021873 292.48/289.47 c cleaning 39001 clauses out of 78373 with flag 6887616/1061875 310.53/307.50 c cleaning 40002 clauses out of 80371 with flag 7192440/1102874 335.88/332.90 c cleaning 40997 clauses out of 82368 with flag 7563813/1144873 357.18/354.14 c cleaning 41993 clauses out of 84371 with flag 7891864/1187873 377.74/374.76 c cleaning 43006 clauses out of 86379 with flag 8256359/1231874 401.14/398.03 c cleaning 43991 clauses out of 88372 with flag 8617250/1276873 434.98/431.50 c cleaning 45004 clauses out of 90382 with flag 9032271/1322874 464.83/461.34 c cleaning 46008 clauses out of 92383 with flag 9480912/1369879 493.67/490.25 c cleaning 46998 clauses out of 94371 with flag 9970881/1417875 530.79/527.42 c cleaning 47999 clauses out of 96373 with flag 10449724/1466875 561.59/558.17 c cleaning 48999 clauses out of 98372 with flag 10910242/1516873 595.11/591.72 c cleaning 50000 clauses out of 100373 with flag 11337238/1567873 639.88/636.43 c cleaning 50998 clauses out of 102373 with flag 11864680/1619873 684.27/680.94 c cleaning 52001 clauses out of 104377 with flag 12335846/1672875 731.73/728.38 c cleaning 52999 clauses out of 106374 with flag 12834456/1726873 777.35/774.09 c cleaning 53996 clauses out of 108375 with flag 13299880/1781873 825.21/821.97 c cleaning 55002 clauses out of 110379 with flag 13844971/1837873 878.06/874.49 c cleaning 56002 clauses out of 112377 with flag 14496934/1894873 929.18/925.58 c cleaning 56996 clauses out of 114376 with flag 15151812/1952874 985.84/982.13 c cleaning 58002 clauses out of 116380 with flag 15767232/2011874 1040.11/1036.53 c cleaning 59005 clauses out of 118379 with flag 16419586/2071875 1090.59/1087.01 c cleaning 59997 clauses out of 120374 with flag 17074032/2132875 1140.77/1137.32 c cleaning 61004 clauses out of 122377 with flag 17746678/2194875 1200.67/1197.23 c cleaning 61997 clauses out of 124374 with flag 18460624/2257876 1260.61/1257.17 c cleaning 62995 clauses out of 126374 with flag 19231331/2321873 1318.87/1315.52 c cleaning 64001 clauses out of 128379 with flag 20011514/2386873 1391.95/1388.64 c cleaning 64996 clauses out of 130378 with flag 20826355/2452873 1472.47/1468.87 c cleaning 66007 clauses out of 132382 with flag 21682167/2519873 1562.30/1558.70 c cleaning 66999 clauses out of 134375 with flag 22529823/2587873 1655.22/1651.87 c cleaning 68009 clauses out of 136377 with flag 23391317/2656874 1722.09/1718.46 c cleaning 68961 clauses out of 138368 with flag 24266110/2726874 1813.31/1809.47 c cleaning 70197 clauses out of 140406 with flag 25046655/2797873 1898.69/1893.95 c cleaning 71064 clauses out of 142209 with flag 25905305/2869873 2056.93/2052.10 c cleaning 72071 clauses out of 144148 with flag 26846456/2942876 2242.24/2236.71 c cleaning 73037 clauses out of 146077 with flag 27748224/3016876 2480.11/2474.73 c cleaning 74017 clauses out of 148040 with flag 28703197/3091876 2663.68/2657.27 c cleaning 75007 clauses out of 150025 with flag 29710371/3167878 2861.06/2854.58 c cleaning 76006 clauses out of 152013 with flag 30677597/3244873 2948.57/2940.65 c cleaning 77002 clauses out of 154008 with flag 31674728/3322874 3277.24/3269.42 c cleaning 78001 clauses out of 156006 with flag 32717236/3401874 3408.99/3401.00 c cleaning 78997 clauses out of 158004 with flag 33800446/3481873 3581.56/3572.22 c cleaning 80004 clauses out of 160011 with flag 34924572/3562877 3600.04/3590.61 c starts : 18844 3600.04/3590.61 c conflicts : 3584290 3600.04/3590.61 c decisions : 13225925 3600.04/3590.61 c propagations : 73804336 3600.04/3590.61 c inspects : 17625177044 3600.04/3590.61 c shortcuts : 0 3600.04/3590.61 c learnt literals : 0 3600.04/3590.61 c learnt binary clauses : 0 3600.04/3590.61 c learnt ternary clauses : 0 3600.04/3590.61 c learnt constraints : 3584290 3600.04/3590.61 c ignored constraints : 0 3600.04/3590.61 c root simplifications : 0 3600.04/3590.61 c removed literals (reason simplification) : 12046353 3600.04/3590.61 c reason swapping (by a shorter reason) : 0 3600.04/3590.61 c Calls to reduceDB : 111 3600.04/3590.61 c Number of update (reduction) of LBD : 2350305 3600.04/3590.61 c Imported unit clauses : 0 3600.04/3590.61 c No decision after first conflict : false 3600.04/3590.61 c number of reductions to clauses (during analyze) : 0 3600.04/3590.61 c number of learned constraints concerned by reduction : 0 3600.04/3590.61 c number of learning phase by resolution : 0 3600.04/3590.61 c number of learning phase by cutting planes : 0 3600.04/3590.61 c number of rounding to 1 operations : 0 3600.04/3590.62 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.04/3590.62 c number of reductions of the coefficients by power 2 : 0 3600.04/3590.62 c number of right shift for reduction by power 2 : 0 3600.04/3590.62 c number of reductions of the coefficients by GCD over coefficients : 0 3600.04/3590.62 c number of ending skipping : 0 3600.04/3590.62 c number of internal skipping : 0 3600.04/3590.62 c number of derivation steps : 0 3600.04/3590.62 c number of skipped derivation steps : 0 3600.04/3590.63 c number of remaining unassigned : 0 3600.04/3590.63 c number of remaining assigned : 0 3600.04/3590.63 c number of falsified literals weakened from reason : 0 3600.04/3590.63 c number of falsified literals weakened from conflict : 0 3600.04/3590.63 c time for arithmetic operations : 0 3600.04/3590.63 c minimum degree of deleted constraints : null 3600.04/3590.64 c maximum degree of deleted constraints : null 3600.04/3590.64 c number of deleted constraints : 0 3600.04/3590.64 c speed (assignments/second) : 20555.774315314295 3600.04/3590.64 c non guided choices : 51896 3600.04/3590.70 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 101420 3600.24/3590.70 s SATISFIABLE 3600.24/3590.70 c Found 11 solution(s) 3600.24/3590.72 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 3600.24/3590.72 c objective function=3 3600.24/3590.72 c Total wall clock time (in seconds): 3590.585
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: 63708 MiB (53165 MiB free)
memory of node 1: 64465 MiB (43659 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525127-1751620503/watcher-4525127-1751620503 -o /tmp/evaluation-result-4525127-1751620503/solver-4525127-1751620503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751616933-86634 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4525127-1751620503.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 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=88654, runsolver pid=88651
[startup+0.100062 s]*
/proc/loadavg: 4.13 4.12 4.09 5/339 88672
/proc/meminfo: memFree=99118872/131249996 swapFree=33010160/33010684
[pid=88654] ppid=88651 vsize=18930384 memory=55708 CPUtime=0.12 cores=0,2
/proc/88654/stat : 88654 (java) S 88651 88654 86624 0 -1 4194304 6534 0 0 0 10 2 0 0 20 0 18 0 77728887 19384713216 13927 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
/proc/88654/statm: 4732596 13927 5368 1 0 547587 0
[pid=88654/tid=88656] ppid=88651 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/88654/task/88656/stat : 88656 (java) R 88651 88654 86624 0 -1 4194368 5033 0 0 0 6 1 0 0 20 0 18 0 77728889 19384713216 13927 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88665] ppid=88651 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/88654/task/88665/stat : 88665 (Finalizer) S 88651 88654 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77728891 19384713216 13927 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88672] ppid=88651 vsize=18930384 memory=61784027576291 CPUtime=0 cores=0,2
/proc/88654/task/88672/stat : 88672 (Common-Cleaner) S 88651 88654 86624 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 77728891 19384713216 13927 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55708 KiB
[startup+0.20581 s]*
/proc/loadavg: 4.13 4.12 4.09 8/340 88673
/proc/meminfo: memFree=99108664/131249996 swapFree=33010160/33010684
[pid=88654] ppid=88651 vsize=18996948 memory=64228 CPUtime=0.31 cores=0,2
/proc/88654/stat : 88654 (java) S 88651 88654 86624 0 -1 4194304 7191 0 0 0 29 2 0 0 20 0 19 0 77728887 19452874752 16057 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
/proc/88654/statm: 4749237 16057 5464 1 0 548350 0
[pid=88654/tid=88656] ppid=88651 vsize=18996948 memory=4026794268 CPUtime=0.16 cores=0,2
/proc/88654/task/88656/stat : 88656 (java) R 88651 88654 86624 0 -1 4194368 5367 0 0 0 15 1 0 0 20 0 19 0 77728889 19452874752 16057 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88665] ppid=88651 vsize=18996948 memory=13937 CPUtime=0 cores=0,2
/proc/88654/task/88665/stat : 88665 (Finalizer) S 88651 88654 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77728891 19452874752 16057 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88672] ppid=88651 vsize=18996948 memory=60684515935208 CPUtime=0 cores=0,2
/proc/88654/task/88672/stat : 88672 (Common-Cleaner) S 88651 88654 86624 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 77728891 19452874752 16057 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88673] ppid=88651 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/88654/task/88673/stat : 88673 (java) R 88651 88654 86624 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 19 0 77728907 19452874752 16057 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64228 KiB
[startup+0.305777 s]*
/proc/loadavg: 4.13 4.12 4.09 6/340 88673
/proc/meminfo: memFree=99103120/131249996 swapFree=33010160/33010684
[pid=88654] ppid=88651 vsize=18996948 memory=68360 CPUtime=0.5 cores=0,2
/proc/88654/stat : 88654 (java) S 88651 88654 86624 0 -1 4194304 9769 0 0 0 48 2 0 0 20 0 19 0 77728887 19452874752 17090 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
/proc/88654/statm: 4749237 17090 5464 1 0 549172 0
[pid=88654/tid=88656] ppid=88651 vsize=18996948 memory=-6000919502771217511 CPUtime=0.26 cores=0,2
/proc/88654/task/88656/stat : 88656 (java) R 88651 88654 86624 0 -1 4194368 5421 0 0 0 25 1 0 0 20 0 19 0 77728889 19452874752 17090 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88665] ppid=88651 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/88654/task/88665/stat : 88665 (Finalizer) S 88651 88654 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77728891 19452874752 17090 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88672] ppid=88651 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/88654/task/88672/stat : 88672 (Common-Cleaner) S 88651 88654 86624 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 77728891 19452874752 17090 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88673] ppid=88651 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/88654/task/88673/stat : 88673 (Timer-0) S 88651 88654 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77728907 19452874752 17090 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 68360 KiB
[startup+0.700224 s]
/proc/loadavg: 4.13 4.12 4.09 6/340 88673
/proc/meminfo: memFree=99097072/131249996 swapFree=33010160/33010684
[pid=88654] ppid=88651 vsize=18996948 memory=80484 CPUtime=1.26 cores=0,2
/proc/88654/stat : 88654 (java) S 88651 88654 86624 0 -1 4194304 11576 0 0 0 123 3 0 0 20 0 19 0 77728887 19452874752 20121 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
/proc/88654/statm: 4749237 20121 5496 1 0 550532 0
[pid=88654/tid=88656] ppid=88651 vsize=18996948 memory=18560 CPUtime=0.64 cores=0,2
/proc/88654/task/88656/stat : 88656 (java) R 88651 88654 86624 0 -1 4194368 5463 0 0 0 62 2 0 0 20 0 19 0 77728889 19452874752 20121 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88665] ppid=88651 vsize=18996948 memory=11136 CPUtime=0 cores=0,2
/proc/88654/task/88665/stat : 88665 (Finalizer) S 88651 88654 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77728891 19452874752 20121 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88672] ppid=88651 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/88654/task/88672/stat : 88672 (Common-Cleaner) S 88651 88654 86624 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 77728891 19452874752 20121 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88673] ppid=88651 vsize=18996948 memory=4496 CPUtime=0 cores=0,2
/proc/88654/task/88673/stat : 88673 (Timer-0) S 88651 88654 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77728907 19452874752 20121 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 80484 KiB
[startup+1.50025 s]
/proc/loadavg: 4.13 4.12 4.09 6/340 88673
/proc/meminfo: memFree=99086864/131249996 swapFree=33010160/33010684
[pid=88654] ppid=88651 vsize=18996948 memory=93396 CPUtime=2.28 cores=0,2
/proc/88654/stat : 88654 (java) S 88651 88654 86624 0 -1 4194304 13507 0 0 0 225 3 0 0 20 0 19 0 77728887 19452874752 23349 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
/proc/88654/statm: 4749237 23349 5496 1 0 550588 0
[pid=88654/tid=88656] ppid=88651 vsize=18996948 memory=0 CPUtime=1.43 cores=0,2
/proc/88654/task/88656/stat : 88656 (java) R 88651 88654 86624 0 -1 4194368 5629 0 0 0 141 2 0 0 20 0 19 0 77728889 19452874752 23349 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88665] ppid=88651 vsize=18996948 memory=11136 CPUtime=0 cores=0,2
/proc/88654/task/88665/stat : 88665 (Finalizer) S 88651 88654 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77728891 19452874752 23349 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88672] ppid=88651 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/88654/task/88672/stat : 88672 (Common-Cleaner) S 88651 88654 86624 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 77728891 19452874752 23349 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88673] ppid=88651 vsize=18996948 memory=4496 CPUtime=0 cores=0,2
/proc/88654/task/88673/stat : 88673 (Timer-0) S 88651 88654 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77728907 19452874752 23349 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 93396 KiB
[startup+3.10561 s]
/proc/loadavg: 4.12 4.12 4.09 5/340 88673
/proc/meminfo: memFree=99058492/131249996 swapFree=33010160/33010684
[pid=88654] ppid=88651 vsize=18996948 memory=115556 CPUtime=4.23 cores=0,2
/proc/88654/stat : 88654 (java) S 88651 88654 86624 0 -1 4194304 16674 0 0 0 419 4 0 0 20 0 19 0 77728887 19452874752 28889 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
/proc/88654/statm: 4749237 28889 5496 1 0 550970 0
[pid=88654/tid=88656] ppid=88651 vsize=18996948 memory=11136 CPUtime=3.03 cores=0,2
/proc/88654/task/88656/stat : 88656 (java) R 88651 88654 86624 0 -1 4194368 6446 0 0 0 301 2 0 0 20 0 19 0 77728889 19452874752 28889 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88665] ppid=88651 vsize=18996948 memory=-6000919502771217511 CPUtime=0 cores=0,2
/proc/88654/task/88665/stat : 88665 (Finalizer) S 88651 88654 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77728891 19452874752 28889 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88672] ppid=88651 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/88654/task/88672/stat : 88672 (Common-Cleaner) S 88651 88654 86624 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 77728891 19452874752 28889 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88673] ppid=88651 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/88654/task/88673/stat : 88673 (Timer-0) S 88651 88654 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77728907 19452874752 28889 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
Current children cumulated CPU time: 4.23 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 115556 KiB
[startup+6.30021 s]
/proc/loadavg: 4.12 4.12 4.09 5/340 88673
/proc/meminfo: memFree=99021880/131249996 swapFree=33010160/33010684
[pid=88654] ppid=88651 vsize=18996948 memory=154100 CPUtime=7.43 cores=0,2
/proc/88654/stat : 88654 (java) S 88651 88654 86624 0 -1 4194304 18494 0 0 0 738 5 0 0 20 0 19 0 77728887 19452874752 38525 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
/proc/88654/statm: 4749237 38525 5496 1 0 550972 0
[pid=88654/tid=88656] ppid=88651 vsize=18996948 memory=0 CPUtime=6.22 cores=0,2
/proc/88654/task/88656/stat : 88656 (java) R 88651 88654 86624 0 -1 4194368 7421 0 0 0 619 3 0 0 20 0 19 0 77728889 19452874752 38525 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88665] ppid=88651 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/88654/task/88665/stat : 88665 (Finalizer) S 88651 88654 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77728891 19452874752 38525 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88672] ppid=88651 vsize=18996948 memory=11136 CPUtime=0 cores=0,2
/proc/88654/task/88672/stat : 88672 (Common-Cleaner) S 88651 88654 86624 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 77728891 19452874752 38525 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88673] ppid=88651 vsize=18996948 memory=95444 CPUtime=0 cores=0,2
/proc/88654/task/88673/stat : 88673 (Timer-0) S 88651 88654 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77728907 19452874752 38525 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
Current children cumulated CPU time: 7.43 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 154100 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.13 4.10 5/340 88740
/proc/meminfo: memFree=108387680/131249996 swapFree=33010160/33010684
[pid=88654] ppid=88651 vsize=19063512 memory=181080 CPUtime=13.95 cores=0,2
/proc/88654/stat : 88654 (java) S 88651 88654 86624 0 -1 4194304 23460 0 0 0 1388 7 0 0 20 0 20 0 77728887 19521036288 45270 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
/proc/88654/statm: 4765878 45270 5496 1 0 551597 0
[pid=88654/tid=88656] ppid=88651 vsize=19063512 memory=95444 CPUtime=12.58 cores=0,2
/proc/88654/task/88656/stat : 88656 (java) R 88651 88654 86624 0 -1 4194368 8215 0 0 0 1254 4 0 0 20 0 20 0 77728889 19521036288 45270 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88665] ppid=88651 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/88654/task/88665/stat : 88665 (Finalizer) S 88651 88654 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77728891 19521036288 45270 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88672] ppid=88651 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/88654/task/88672/stat : 88672 (Common-Cleaner) S 88651 88654 86624 0 -1 4194368 68 0 0 0 0 0 0 0 20 0 20 0 77728891 19521036288 45270 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88673] ppid=88651 vsize=19063512 memory=-6000919502771217511 CPUtime=0 cores=0,2
/proc/88654/task/88673/stat : 88673 (Timer-0) S 88651 88654 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77728907 19521036288 45270 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
Current children cumulated CPU time: 13.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181080 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.13 4.09 5/342 88743
/proc/meminfo: memFree=108128024/131249996 swapFree=33010160/33010684
[pid=88654] ppid=88651 vsize=19063512 memory=279912 CPUtime=26.97 cores=0,2
/proc/88654/stat : 88654 (java) S 88651 88654 86624 0 -1 4194304 26745 0 0 0 2687 10 0 0 20 0 20 0 77728887 19521036288 69978 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
/proc/88654/statm: 4765878 69978 5528 1 0 551613 0
[pid=88654/tid=88656] ppid=88651 vsize=19063512 memory=0 CPUtime=25.23 cores=0,2
/proc/88654/task/88656/stat : 88656 (java) R 88651 88654 86624 0 -1 4194368 9247 0 0 0 2519 4 0 0 20 0 20 0 77728889 19521036288 69978 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88665] ppid=88651 vsize=19063512 memory=-6000919502771217511 CPUtime=0 cores=0,2
/proc/88654/task/88665/stat : 88665 (Finalizer) S 88651 88654 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77728891 19521036288 69978 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88672] ppid=88651 vsize=19063512 memory=16496 CPUtime=0 cores=0,2
/proc/88654/task/88672/stat : 88672 (Common-Cleaner) S 88651 88654 86624 0 -1 4194368 68 0 0 0 0 0 0 0 20 0 20 0 77728891 19521036288 69978 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88673] ppid=88651 vsize=19063512 memory=283152 CPUtime=0 cores=0,2
/proc/88654/task/88673/stat : 88673 (Timer-0) S 88651 88654 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77728907 19521036288 69978 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
Current children cumulated CPU time: 26.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 279912 KiB
[startup+51.1057 s]
/proc/loadavg: 4.29 4.17 4.11 5/342 88810
/proc/meminfo: memFree=109819884/131249996 swapFree=33010160/33010684
[pid=88654] ppid=88651 vsize=19063512 memory=576960 CPUtime=52.76 cores=0,2
/proc/88654/stat : 88654 (java) S 88651 88654 86624 0 -1 4194304 26969 0 0 0 5259 17 0 0 20 0 20 0 77728887 19521036288 144240 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
/proc/88654/statm: 4765878 144240 5528 1 0 551613 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.28 4.22 4.15 5/341 89136
/proc/meminfo: memFree=91887404/131249996 swapFree=33010160/33010684
[pid=88654] ppid=88651 vsize=19063512 memory=3437700 CPUtime=3290.28 cores=0,2
/proc/88654/stat : 88654 (java) S 88651 88654 86624 0 -1 4194304 91590 0 0 0 328864 164 0 0 20 0 20 0 77728887 19521036288 859425 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
/proc/88654/statm: 4765878 859425 5560 1 0 975253 0
[pid=88654/tid=88656] ppid=88651 vsize=19063512 memory=3437700 CPUtime=3264.08 cores=0,2
/proc/88654/task/88656/stat : 88656 (java) R 88651 88654 86624 0 -1 4194368 35389 0 0 0 326379 29 0 0 20 0 20 0 77728889 19521036288 859425 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88665] ppid=88651 vsize=19063512 memory=3256956 CPUtime=0 cores=0,2
/proc/88654/task/88665/stat : 88665 (Finalizer) S 88651 88654 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77728891 19521036288 859425 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88672] ppid=88651 vsize=19063512 memory=310551 CPUtime=0 cores=0,2
/proc/88654/task/88672/stat : 88672 (Common-Cleaner) S 88651 88654 86624 0 -1 4194368 849 0 0 0 0 0 0 0 20 0 20 0 77728891 19521036288 859425 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88673] ppid=88651 vsize=19063512 memory=3437700 CPUtime=0 cores=0,2
/proc/88654/task/88673/stat : 88673 (Timer-0) S 88651 88654 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77728907 19521036288 859425 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
Current children cumulated CPU time: 3290.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3437700 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.19 4.15 5/340 89139
/proc/meminfo: memFree=91506228/131249996 swapFree=33010160/33010684
[pid=88654] ppid=88651 vsize=19063512 memory=3437700 CPUtime=3350.33 cores=0,2
/proc/88654/stat : 88654 (java) S 88651 88654 86624 0 -1 4194304 92294 0 0 0 334867 166 0 0 20 0 20 0 77728887 19521036288 859425 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
/proc/88654/statm: 4765878 859425 5560 1 0 975253 0
[pid=88654/tid=88656] ppid=88651 vsize=19063512 memory=310551 CPUtime=3323.72 cores=0,2
/proc/88654/task/88656/stat : 88656 (java) R 88651 88654 86624 0 -1 4194368 35903 0 0 0 332343 29 0 0 20 0 20 0 77728889 19521036288 859425 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88665] ppid=88651 vsize=19063512 memory=3437700 CPUtime=0 cores=0,2
/proc/88654/task/88665/stat : 88665 (Finalizer) S 88651 88654 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77728891 19521036288 859425 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88672] ppid=88651 vsize=19063512 memory=3437700 CPUtime=0 cores=0,2
/proc/88654/task/88672/stat : 88672 (Common-Cleaner) S 88651 88654 86624 0 -1 4194368 849 0 0 0 0 0 0 0 20 0 20 0 77728891 19521036288 859425 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88673] ppid=88651 vsize=19063512 memory=16496 CPUtime=0 cores=0,2
/proc/88654/task/88673/stat : 88673 (Timer-0) S 88651 88654 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77728907 19521036288 859425 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
Current children cumulated CPU time: 3350.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3437700 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.17 4.14 5/340 89145
/proc/meminfo: memFree=91276792/131249996 swapFree=33010160/33010684
[pid=88654] ppid=88651 vsize=19063512 memory=3437700 CPUtime=3410.39 cores=0,2
/proc/88654/stat : 88654 (java) S 88651 88654 86624 0 -1 4194304 93490 0 0 0 340872 167 0 0 20 0 20 0 77728887 19521036288 859425 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
/proc/88654/statm: 4765878 859425 5560 1 0 975253 0
[pid=88654/tid=88656] ppid=88651 vsize=19063512 memory=3437700 CPUtime=3383.39 cores=0,2
/proc/88654/task/88656/stat : 88656 (java) R 88651 88654 86624 0 -1 4194368 36809 0 0 0 338310 29 0 0 20 0 20 0 77728889 19521036288 859425 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88665] ppid=88651 vsize=19063512 memory=3437700 CPUtime=0 cores=0,2
/proc/88654/task/88665/stat : 88665 (Finalizer) S 88651 88654 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77728891 19521036288 859425 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88672] ppid=88651 vsize=19063512 memory=3437700 CPUtime=0 cores=0,2
/proc/88654/task/88672/stat : 88672 (Common-Cleaner) S 88651 88654 86624 0 -1 4194368 882 0 0 0 0 0 0 0 20 0 20 0 77728891 19521036288 859425 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88673] ppid=88651 vsize=19063512 memory=16496 CPUtime=0 cores=0,2
/proc/88654/task/88673/stat : 88673 (Timer-0) S 88651 88654 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77728907 19521036288 859425 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
Current children cumulated CPU time: 3410.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3437700 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.18 4.15 5/341 89151
/proc/meminfo: memFree=91276444/131249996 swapFree=33010160/33010684
[pid=88654] ppid=88651 vsize=19063512 memory=3437700 CPUtime=3470.6 cores=0,2
/proc/88654/stat : 88654 (java) S 88651 88654 86624 0 -1 4194304 93986 0 0 0 346892 168 0 0 20 0 20 0 77728887 19521036288 859425 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
/proc/88654/statm: 4765878 859425 5560 1 0 975253 0
[pid=88654/tid=88656] ppid=88651 vsize=19063512 memory=3437700 CPUtime=3442.89 cores=0,2
/proc/88654/task/88656/stat : 88656 (java) R 88651 88654 86624 0 -1 4194368 37074 0 0 0 344259 30 0 0 20 0 20 0 77728889 19521036288 859425 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88665] ppid=88651 vsize=19063512 memory=3437700 CPUtime=0 cores=0,2
/proc/88654/task/88665/stat : 88665 (Finalizer) S 88651 88654 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77728891 19521036288 859425 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88672] ppid=88651 vsize=19063512 memory=3437700 CPUtime=0 cores=0,2
/proc/88654/task/88672/stat : 88672 (Common-Cleaner) S 88651 88654 86624 0 -1 4194368 908 0 0 0 0 0 0 0 20 0 20 0 77728891 19521036288 859425 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88673] ppid=88651 vsize=19063512 memory=3437700 CPUtime=0 cores=0,2
/proc/88654/task/88673/stat : 88673 (Timer-0) S 88651 88654 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77728907 19521036288 859425 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
Current children cumulated CPU time: 3470.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3437700 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.16 4.14 5/341 89153
/proc/meminfo: memFree=90989680/131249996 swapFree=33010160/33010684
[pid=88654] ppid=88651 vsize=19063512 memory=3696528 CPUtime=3531.77 cores=0,2
/proc/88654/stat : 88654 (java) S 88651 88654 86624 0 -1 4194304 95646 0 0 0 353001 176 0 0 20 0 20 0 77728887 19521036288 924132 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
/proc/88654/statm: 4765878 924132 5560 1 0 1121557 0
[pid=88654/tid=88656] ppid=88651 vsize=19063512 memory=18560 CPUtime=3502.52 cores=0,2
/proc/88654/task/88656/stat : 88656 (java) R 88651 88654 86624 0 -1 4194368 37334 0 0 0 350221 31 0 0 20 0 20 0 77728889 19521036288 924132 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88665] ppid=88651 vsize=19063512 memory=3680144 CPUtime=0 cores=0,2
/proc/88654/task/88665/stat : 88665 (Finalizer) S 88651 88654 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77728891 19521036288 924132 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88672] ppid=88651 vsize=19063512 memory=3692432 CPUtime=0 cores=0,2
/proc/88654/task/88672/stat : 88672 (Common-Cleaner) S 88651 88654 86624 0 -1 4194368 908 0 0 0 0 0 0 0 20 0 20 0 77728891 19521036288 924132 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88673] ppid=88651 vsize=19063512 memory=3692432 CPUtime=0 cores=0,2
/proc/88654/task/88673/stat : 88673 (Timer-0) S 88651 88654 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77728907 19521036288 924132 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
Current children cumulated CPU time: 3531.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3696528 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.16 4.14 5/341 89156
/proc/meminfo: memFree=90792692/131249996 swapFree=33010160/33010684
[pid=88654] ppid=88651 vsize=19063512 memory=3891096 CPUtime=3591.78 cores=0,2
/proc/88654/stat : 88654 (java) S 88651 88654 86624 0 -1 4194304 96899 0 0 0 358996 182 0 0 20 0 20 0 77728887 19521036288 972774 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
/proc/88654/statm: 4765878 972774 5560 1 0 1121557 0
[pid=88654/tid=88656] ppid=88651 vsize=19063512 memory=16496 CPUtime=3562.21 cores=0,2
/proc/88654/task/88656/stat : 88656 (java) R 88651 88654 86624 0 -1 4194368 38402 0 0 0 356187 34 0 0 20 0 20 0 77728889 19521036288 972774 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88665] ppid=88651 vsize=19063512 memory=7164210424380026217 CPUtime=0 cores=0,2
/proc/88654/task/88665/stat : 88665 (Finalizer) S 88651 88654 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77728891 19521036288 972774 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88672] ppid=88651 vsize=19063512 memory=3891096 CPUtime=0 cores=0,2
/proc/88654/task/88672/stat : 88672 (Common-Cleaner) S 88651 88654 86624 0 -1 4194368 909 0 0 0 0 0 0 0 20 0 20 0 77728891 19521036288 972774 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88673] ppid=88651 vsize=19063512 memory=3891096 CPUtime=0 cores=0,2
/proc/88654/task/88673/stat : 88673 (Timer-0) S 88651 88654 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77728907 19521036288 972774 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
Current children cumulated CPU time: 3591.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3891096 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3590.6 s]
/proc/loadavg: 4.26 4.19 4.15 6/341 89223
/proc/meminfo: memFree=103594256/131249996 swapFree=33010160/33010684
[pid=88654] ppid=88651 vsize=19063512 memory=3891096 CPUtime=3600.04 cores=0,2
/proc/88654/stat : 88654 (java) S 88651 88654 86624 0 -1 4194304 96950 0 0 0 359819 185 0 0 20 0 20 0 77728887 19521036288 972774 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
/proc/88654/statm: 4765878 972774 5560 1 0 1121557 0
[pid=88654/tid=88656] ppid=88651 vsize=19063512 memory=11136 CPUtime=3570.46 cores=0,2
/proc/88654/task/88656/stat : 88656 (java) R 88651 88654 86624 0 -1 4194368 38453 0 0 0 357009 37 0 0 20 0 20 0 77728889 19521036288 972774 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88665] ppid=88651 vsize=19063512 memory=3891096 CPUtime=0 cores=0,2
/proc/88654/task/88665/stat : 88665 (Finalizer) S 88651 88654 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77728891 19521036288 972774 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88672] ppid=88651 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/88654/task/88672/stat : 88672 (Common-Cleaner) S 88651 88654 86624 0 -1 4194368 909 0 0 0 0 0 0 0 20 0 20 0 77728891 19521036288 972774 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88673] ppid=88651 vsize=19063512 memory=3891096 CPUtime=0 cores=0,2
/proc/88654/task/88673/stat : 88673 (Timer-0) S 88651 88654 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77728907 19521036288 972774 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3891096 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3590.74 s]
# the end of solver process 88654 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.43 s, system=1.87302 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3590.71 s]
/proc/loadavg: 4.26 4.19 4.15 6/341 89223
/proc/meminfo: memFree=103594256/131249996 swapFree=33010160/33010684
[pid=88654] ppid=88651 vsize=19263204 memory=3891736 CPUtime=3600.24 cores=0,2
/proc/88654/stat : 88654 (java) S 88651 88654 86624 0 -1 4194304 98647 0 0 0 359839 185 0 0 20 0 21 0 77728887 19725520896 972934 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
/proc/88654/statm: 4815801 972934 5560 1 0 1122485 0
[pid=88654/tid=88656] ppid=88651 vsize=19263204 memory=3891096 CPUtime=3570.56 cores=0,2
/proc/88654/task/88656/stat : 88656 (java) R 88651 88654 86624 0 -1 4194368 38564 0 0 0 357019 37 0 0 20 0 21 0 77728889 19725520896 972934 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88665] ppid=88651 vsize=19263204 memory=3891096 CPUtime=0 cores=0,2
/proc/88654/task/88665/stat : 88665 (Finalizer) S 88651 88654 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77728891 19725520896 972934 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
[pid=88654/tid=88672] ppid=88651 vsize=19263204 memory=3891096 CPUtime=0 cores=0,2
/proc/88654/task/88672/stat : 88672 (Common-Cleaner) S 88651 88654 86624 0 -1 4194368 909 0 0 0 0 0 0 0 20 0 21 0 77728891 19725520896 972934 18446744073709551615 93881920831488 93881920835184 140728974707408 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93881920843000 93881920843792 93881928306688 140728974711167 140728974711268 140728974711268 140728974716872 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3891736 KiB
Child status: 143
Real time (s): 3590.74
CPU time (s): 3600.31
CPU user time (s): 3598.43
CPU system time (s): 1.87302
CPU usage (%): 100.266
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3891736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.43
system time used= 1.87302
maximum resident set size= 3891736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98853
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110092
involuntary context switches= 9676
# summary of solver processes directly reported to runsolver:
# pid: 88654
# total CPU time (s): 3600.31
# total CPU user time (s): 3598.43
# total CPU system time (s): 1.87302
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.57015 second user time and 17.5353 second system time
The end
Begin job on nodeC032 at 2025-07-04 11:15:03 IDJOB=4525127 IDBENCH=143461 IDSOLVER=3380 FILE ID=nodeC032/4525127-1751620503 RUNJOBID= nodeC032-1751616933-86634 SLURM_JOB_ID= 9598926 Free space on /tmp= 429048 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr--soft-66-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525127-1751620503/watcher-4525127-1751620503 -o /tmp/evaluation-result-4525127-1751620503/solver-4525127-1751620503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751616933-86634 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4525127-1751620503.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 35a8cd852ce9086466c166d9cb7fc9d5 RANDOM SEED=1458341241 nodeC032 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 : 3599.515 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 : 6999.69 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 : 3599.821 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 : 6999.69 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 : 3602.108 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 : 6999.69 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 : 3599.568 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 : 6999.69 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 : 3599.824 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 : 6999.69 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 : 3599.841 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 : 6999.69 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 : 3601.328 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 : 6999.69 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 : 3599.534 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 : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 99148232 kB MemAvailable: 117176524 kB Buffers: 2728 kB Cached: 18705916 kB SwapCached: 20 kB Active: 12921640 kB Inactive: 18336420 kB Active(anon): 12564340 kB Inactive(anon): 3124 kB Active(file): 357300 kB Inactive(file): 18333296 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 736 kB Writeback: 0 kB AnonPages: 12552500 kB Mapped: 124052 kB Shmem: 18048 kB KReclaimable: 353872 kB Slab: 448812 kB SReclaimable: 353872 kB SUnreclaim: 94940 kB KernelStack: 5200 kB PageTables: 28268 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 17764844 kB VmallocTotal: 34359738367 kB VmallocUsed: 151480 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 12314624 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: 203476 kB DirectMap2M: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 429048 MiB End job on nodeC032 at 2025-07-04 12:14:53