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.33 | 3581.97 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-45-40--soft-0-100-0.wbo |
| MD5SUM | 4eb60eb64b2e57ece37ce881f5113a6c |
| Bench Category | SOFT-LIN (WBO, only soft 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.218199 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1800 |
| Total number of constraints | 85 |
| Number of soft constraints | 85 |
| Number of constraints which are clauses | 45 |
| Number of constraints which are cardinality constraints (but not clauses) | 40 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 40 |
| Maximum length of a constraint | 45 |
| Top cost | 4848 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 4847 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 46 |
| 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.07/0.11 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.07/0.11 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.11 c See www.sat4j.org for details. 0.07/0.17 c version PB25.v20250606 0.07/0.18 c java.runtime.name OpenJDK Runtime Environment 0.07/0.18 c java.vm.name OpenJDK 64-Bit Server VM 0.07/0.18 c java.vm.version 22.0.1+8-16 0.07/0.18 c java.vm.vendor Oracle Corporation 0.07/0.18 c sun.arch.data.model 64 0.07/0.18 c java.version 22.0.1 0.07/0.18 c os.name Linux 0.07/0.18 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.07/0.18 c os.arch amd64 0.07/0.18 c Free memory 2104792832 0.07/0.18 c Max memory 16282288128 0.07/0.18 c Total memory 2113929216 0.07/0.18 c Number of processors 2 0.14/0.23 c Pseudo Boolean Optimization by upper bound 0.14/0.23 c --- Begin Solver configuration --- 0.14/0.23 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.14/0.23 c Learn all clauses as in MiniSAT 0.14/0.23 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.23 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.14/0.23 c Expensive reason simplification 0.14/0.23 c Glucose 2.1 dynamic restart strategy 0.14/0.23 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.14/0.23 c timeout=2147483s 0.14/0.23 c DB Simplification allowed=false 0.14/0.23 c Listener: none 0.14/0.23 c --- End Solver configuration --- 0.14/0.23 c solving HOME/instance-4524641-1751615822.wbo 0.14/0.23 c reading problem ... 0.14/0.27 c ... done. Wall clock time 0.04s. 0.14/0.27 c declared #vars 1800 0.14/0.27 c internal #vars 1885 0.14/0.27 c #constraints 86 0.14/0.27 c constraints type 0.14/0.27 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 40 0.14/0.27 c org.sat4j.specs.Constr$1 => 1 0.14/0.27 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 45 0.14/0.27 c 86 constraints processed. 0.14/0.28 c objective function length is 85 literals 0.91/0.66 c SATISFIABLE 0.91/0.66 c OPTIMIZING... 0.91/0.66 c Got one! Elapsed wall clock time (in seconds):0.43 0.91/0.66 o 157 1.09/0.73 c Got one! Elapsed wall clock time (in seconds):0.501 1.09/0.73 o 41 2.03/1.29 c cleaning 3107 clauses out of 6225 with flag 22198/6225 3.08/2.01 c cleaning 4547 clauses out of 9115 with flag 64139/12222 4.19/3.04 c cleaning 5775 clauses out of 11568 with flag 120122/19222 5.47/4.20 c cleaning 6884 clauses out of 13793 with flag 182469/27222 7.20/5.82 c cleaning 7942 clauses out of 15910 with flag 252325/36223 9.31/7.89 c cleaning 8970 clauses out of 17968 with flag 330532/46223 11.80/10.35 c cleaning 9991 clauses out of 19998 with flag 425427/57223 14.45/12.99 c cleaning 10987 clauses out of 22006 with flag 514995/69222 17.50/15.94 c cleaning 11999 clauses out of 24020 with flag 622728/82223 21.36/19.73 c cleaning 12998 clauses out of 26021 with flag 736825/96223 25.34/23.64 c cleaning 13996 clauses out of 28023 with flag 862088/111223 26.43/24.71 c Got one! Elapsed wall clock time (in seconds):24.477 26.43/24.71 o 33 26.43/24.73 c Got one! Elapsed wall clock time (in seconds):24.504 26.43/24.73 o 26 26.56/24.82 c cleaning 10009 clauses out of 20030 with flag 7773/117226 27.18/25.44 c cleaning 7999 clauses out of 16019 with flag 57381/123224 28.16/26.37 c cleaning 7501 clauses out of 15021 with flag 116022/130225 29.31/27.46 c cleaning 7749 clauses out of 15524 with flag 183916/138229 30.76/28.86 c cleaning 8374 clauses out of 16773 with flag 254629/147227 32.53/30.56 c cleaning 9184 clauses out of 18396 with flag 339195/157224 34.22/32.24 c cleaning 10096 clauses out of 20213 with flag 422975/168225 36.39/34.33 c cleaning 11050 clauses out of 22116 with flag 516395/180224 38.89/36.89 c cleaning 12025 clauses out of 24069 with flag 620148/193227 40.46/38.38 c Got one! Elapsed wall clock time (in seconds):38.151 40.46/38.38 o 8 41.06/38.99 c cleaning 12573 clauses out of 25164 with flag 33676/206347 41.85/39.72 c cleaning 9286 clauses out of 18591 with flag 75569/212347 43.05/40.99 c cleaning 8141 clauses out of 16305 with flag 128646/219347 44.60/42.47 c cleaning 8069 clauses out of 16162 with flag 183710/227345 46.20/44.10 c cleaning 8535 clauses out of 17093 with flag 244334/236345 48.47/46.26 c cleaning 9268 clauses out of 18559 with flag 307851/246346 51.37/49.13 c cleaning 10131 clauses out of 20291 with flag 382917/257346 55.16/52.99 c cleaning 11072 clauses out of 22160 with flag 465074/269346 55.26/53.01 c Got one! Elapsed wall clock time (in seconds):52.784 55.26/53.01 o 4 56.04/53.70 c cleaning 8064 clauses out of 16152 with flag 35779/274410 56.64/54.32 c cleaning 7030 clauses out of 14086 with flag 77809/280408 56.84/54.58 c Got one! Elapsed wall clock time (in seconds):54.35 56.84/54.58 o 3 57.14/54.83 c cleaning 6186 clauses out of 12392 with flag 12233/285744 57.73/55.44 c cleaning 6082 clauses out of 12204 with flag 53100/291742 58.78/56.37 c cleaning 6561 clauses out of 13121 with flag 96532/298741 59.77/57.38 c cleaning 7273 clauses out of 14561 with flag 148141/306742 61.16/58.74 c cleaning 8142 clauses out of 16290 with flag 215035/315744 63.16/60.79 c cleaning 9065 clauses out of 18148 with flag 289217/325744 65.59/63.10 c cleaning 10030 clauses out of 20081 with flag 365200/336742 67.48/65.06 c cleaning 11006 clauses out of 22050 with flag 442107/348741 70.24/67.72 c cleaning 12004 clauses out of 24044 with flag 529899/361741 73.12/70.67 c cleaning 12998 clauses out of 26042 with flag 634030/375743 76.69/74.10 c cleaning 14004 clauses out of 28042 with flag 747953/390741 80.47/77.80 c cleaning 14997 clauses out of 30038 with flag 870159/406741 83.46/80.87 c cleaning 16004 clauses out of 32044 with flag 989390/423744 87.15/84.52 c cleaning 17004 clauses out of 34039 with flag 1105551/441743 90.25/87.53 c cleaning 18009 clauses out of 36035 with flag 1228010/460743 93.52/90.74 c cleaning 18998 clauses out of 38024 with flag 1349774/480741 97.39/94.53 c cleaning 19999 clauses out of 40026 with flag 1470817/501741 100.58/97.77 c cleaning 20982 clauses out of 42027 with flag 1614579/523741 104.25/101.30 c cleaning 21995 clauses out of 44045 with flag 1769630/546741 107.44/104.49 c cleaning 23001 clauses out of 46050 with flag 1924844/570741 112.33/109.35 c cleaning 23982 clauses out of 48049 with flag 2073970/595741 117.53/114.44 c cleaning 25023 clauses out of 50067 with flag 2237232/621741 122.67/119.19 c cleaning 26017 clauses out of 52046 with flag 2409782/648743 128.46/124.81 c cleaning 27003 clauses out of 54027 with flag 2607343/676741 137.05/133.45 c cleaning 28002 clauses out of 56024 with flag 2824024/705741 145.80/142.05 c cleaning 29006 clauses out of 58026 with flag 3073350/735745 160.57/156.87 c cleaning 29997 clauses out of 60016 with flag 3316115/766741 171.94/168.03 c cleaning 30999 clauses out of 62019 with flag 3582168/798741 185.38/181.39 c cleaning 32001 clauses out of 64023 with flag 3854434/831744 193.67/189.62 c cleaning 32993 clauses out of 66020 with flag 4069349/865742 201.70/197.56 c cleaning 34005 clauses out of 68026 with flag 4283221/900741 209.65/205.33 c cleaning 34999 clauses out of 70021 with flag 4499341/936741 219.32/214.50 c cleaning 35997 clauses out of 72024 with flag 4749003/973743 227.93/223.09 c cleaning 36995 clauses out of 74025 with flag 4995908/1011741 248.99/243.95 c cleaning 38002 clauses out of 76030 with flag 5305768/1050741 274.14/269.12 c cleaning 38997 clauses out of 78030 with flag 5598417/1090743 294.07/288.98 c cleaning 39998 clauses out of 80031 with flag 5902737/1131741 316.59/311.31 c cleaning 41000 clauses out of 82033 with flag 6235497/1173741 329.44/324.04 c cleaning 42006 clauses out of 84033 with flag 6522855/1216741 344.36/338.87 c cleaning 43007 clauses out of 86028 with flag 6782581/1260742 361.38/355.72 c cleaning 44002 clauses out of 88020 with flag 7044059/1305741 375.78/370.02 c cleaning 44998 clauses out of 90018 with flag 7313510/1351741 391.34/385.02 c cleaning 45986 clauses out of 92021 with flag 7595327/1398742 407.18/400.88 c cleaning 47009 clauses out of 94036 with flag 7893334/1446743 423.74/417.44 c cleaning 48001 clauses out of 96026 with flag 8183235/1495742 440.35/433.94 c cleaning 48996 clauses out of 98026 with flag 8492472/1545743 459.15/452.69 c cleaning 50000 clauses out of 100030 with flag 8795733/1596743 477.73/471.09 c cleaning 51010 clauses out of 102029 with flag 9113082/1648742 496.36/489.56 c cleaning 52008 clauses out of 104019 with flag 9454277/1701742 512.59/505.60 c cleaning 52996 clauses out of 106011 with flag 9798092/1755742 535.10/528.05 c cleaning 54003 clauses out of 108016 with flag 10133914/1810743 555.40/548.21 c cleaning 54999 clauses out of 110011 with flag 10477704/1866741 574.60/567.37 c cleaning 55994 clauses out of 112013 with flag 10826717/1923742 595.42/588.01 c cleaning 57000 clauses out of 114018 with flag 11183311/1981741 619.82/612.34 c cleaning 57997 clauses out of 116018 with flag 11546697/2040741 643.16/635.58 c cleaning 59006 clauses out of 118021 with flag 11925736/2100741 668.24/660.01 c cleaning 60002 clauses out of 120015 with flag 12301432/2161741 689.57/681.35 c cleaning 60985 clauses out of 122013 with flag 12698772/2223741 713.67/705.23 c cleaning 62010 clauses out of 124029 with flag 13096921/2286742 738.01/729.49 c cleaning 63000 clauses out of 126018 with flag 13510605/2350741 762.52/753.84 c cleaning 63996 clauses out of 128018 with flag 13923886/2415741 790.21/781.45 c cleaning 65003 clauses out of 130025 with flag 14335922/2481744 818.29/809.48 c cleaning 65997 clauses out of 132019 with flag 14767769/2548741 846.18/837.25 c cleaning 67001 clauses out of 134022 with flag 15202294/2616741 875.46/866.42 c cleaning 68004 clauses out of 136021 with flag 15641944/2685741 906.43/897.34 c cleaning 69000 clauses out of 138017 with flag 16088890/2755741 939.13/929.98 c cleaning 70002 clauses out of 140017 with flag 16547025/2826741 972.31/963.07 c cleaning 71002 clauses out of 142016 with flag 17004949/2898742 1005.69/996.39 c cleaning 71991 clauses out of 144016 with flag 17472097/2971744 1041.79/1032.34 c cleaning 73001 clauses out of 146022 with flag 17946142/3045741 1075.97/1066.47 c cleaning 74001 clauses out of 148021 with flag 18426855/3120741 1108.97/1099.32 c cleaning 75002 clauses out of 150023 with flag 18916134/3196744 1142.77/1133.07 c cleaning 75991 clauses out of 152018 with flag 19425078/3273741 1181.19/1171.36 c cleaning 77000 clauses out of 154027 with flag 19929815/3351741 1220.28/1209.68 c cleaning 78000 clauses out of 156027 with flag 20430293/3430741 1255.42/1244.61 c cleaning 79000 clauses out of 158027 with flag 20954263/3510741 1293.88/1283.06 c cleaning 80003 clauses out of 160028 with flag 21477202/3591742 1332.05/1320.94 c cleaning 81007 clauses out of 162025 with flag 22017478/3673742 1375.41/1364.21 c cleaning 82006 clauses out of 164017 with flag 22558702/3756741 1417.41/1406.02 c cleaning 82990 clauses out of 166011 with flag 23107450/3840741 1458.16/1446.55 c cleaning 84000 clauses out of 168021 with flag 23674142/3925741 1504.84/1493.11 c cleaning 85002 clauses out of 170024 with flag 24247392/4011744 1547.26/1535.39 c cleaning 86009 clauses out of 172020 with flag 24819583/4098742 1593.71/1581.77 c cleaning 86999 clauses out of 174012 with flag 25394952/4186743 1643.41/1631.20 c cleaning 87990 clauses out of 176012 with flag 25983920/4275742 1694.15/1681.75 c cleaning 89002 clauses out of 178021 with flag 26581797/4365741 1743.84/1731.16 c cleaning 90000 clauses out of 180020 with flag 27193852/4456742 1799.51/1786.71 c cleaning 90998 clauses out of 182019 with flag 27802877/4548741 1855.40/1841.77 c cleaning 91992 clauses out of 184023 with flag 28423003/4641743 1907.25/1893.45 c cleaning 93010 clauses out of 186030 with flag 29058594/4735742 1962.84/1948.95 c cleaning 94001 clauses out of 188019 with flag 29695344/4830741 2013.91/2000.00 c cleaning 95008 clauses out of 190018 with flag 30344480/4926741 2068.46/2054.14 c cleaning 95995 clauses out of 192011 with flag 30996816/5023742 2123.27/2108.84 c cleaning 97001 clauses out of 194015 with flag 31656591/5121741 2181.73/2167.24 c cleaning 98003 clauses out of 196015 with flag 32332529/5220742 2244.41/2229.64 c cleaning 98987 clauses out of 198011 with flag 33007500/5320741 2309.06/2294.15 c cleaning 100001 clauses out of 200025 with flag 33684362/5421742 2375.78/2360.53 c cleaning 101002 clauses out of 202023 with flag 34389371/5523741 2435.51/2420.12 c cleaning 102008 clauses out of 204025 with flag 35103900/5626745 2498.64/2483.26 c cleaning 102987 clauses out of 206013 with flag 35814982/5730741 2564.10/2548.48 c cleaning 104006 clauses out of 208026 with flag 36532977/5835741 2635.61/2619.95 c cleaning 105000 clauses out of 210020 with flag 37258948/5941741 2703.78/2687.82 c cleaning 106001 clauses out of 212020 with flag 37993202/6048741 2775.04/2759.03 c cleaning 106992 clauses out of 214022 with flag 38734895/6156744 2847.91/2831.68 c cleaning 108007 clauses out of 216028 with flag 39491263/6265742 2921.07/2904.79 c cleaning 109010 clauses out of 218022 with flag 40257758/6375743 2997.82/2981.21 c cleaning 109987 clauses out of 220010 with flag 41023857/6486741 3070.48/3053.19 c cleaning 111007 clauses out of 222026 with flag 41806344/6598744 3148.12/3130.76 c cleaning 111984 clauses out of 224016 with flag 42589128/6711741 3222.81/3205.45 c cleaning 113007 clauses out of 226034 with flag 43385603/6825743 3303.01/3285.69 c cleaning 114006 clauses out of 228025 with flag 44191190/6940741 3387.24/3369.57 c cleaning 115000 clauses out of 230019 with flag 44999264/7056741 3469.22/3451.34 c cleaning 115998 clauses out of 232019 with flag 45824397/7173741 3552.25/3534.23 c cleaning 117000 clauses out of 234022 with flag 46659030/7291742 3600.02/3581.82 c starts : 57512 3600.02/3581.83 c conflicts : 7370102 3600.02/3581.83 c decisions : 70222058 3600.02/3581.83 c propagations : 309847837 3600.02/3581.83 c inspects : 31951231240 3600.02/3581.83 c shortcuts : 0 3600.02/3581.83 c learnt literals : 0 3600.02/3581.83 c learnt binary clauses : 0 3600.02/3581.83 c learnt ternary clauses : 0 3600.02/3581.84 c learnt constraints : 7370102 3600.02/3581.84 c ignored constraints : 0 3600.02/3581.84 c root simplifications : 0 3600.02/3581.84 c removed literals (reason simplification) : 2160989 3600.02/3581.84 c reason swapping (by a shorter reason) : 0 3600.02/3581.84 c Calls to reduceDB : 144 3600.02/3581.84 c Number of update (reduction) of LBD : 3095365 3600.02/3581.84 c Imported unit clauses : 0 3600.02/3581.84 c No decision after first conflict : false 3600.02/3581.84 c number of reductions to clauses (during analyze) : 0 3600.02/3581.84 c number of learned constraints concerned by reduction : 0 3600.02/3581.84 c number of learning phase by resolution : 0 3600.02/3581.84 c number of learning phase by cutting planes : 0 3600.02/3581.84 c number of rounding to 1 operations : 0 3600.02/3581.84 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.02/3581.84 c number of reductions of the coefficients by power 2 : 0 3600.02/3581.84 c number of right shift for reduction by power 2 : 0 3600.02/3581.84 c number of reductions of the coefficients by GCD over coefficients : 0 3600.02/3581.84 c number of ending skipping : 0 3600.02/3581.84 c number of internal skipping : 0 3600.02/3581.84 c number of derivation steps : 0 3600.02/3581.84 c number of skipped derivation steps : 0 3600.02/3581.84 c number of remaining unassigned : 0 3600.02/3581.84 c number of remaining assigned : 0 3600.02/3581.84 c number of falsified literals weakened from reason : 0 3600.02/3581.84 c number of falsified literals weakened from conflict : 0 3600.02/3581.84 c time for arithmetic operations : 0 3600.02/3581.85 c minimum degree of deleted constraints : null 3600.02/3581.85 c maximum degree of deleted constraints : null 3600.02/3581.85 c number of deleted constraints : 0 3600.02/3581.86 c speed (assignments/second) : 86512.02549281626 3600.02/3581.86 c non guided choices : 107187 3600.22/3581.92 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 195382 3600.22/3581.92 s SATISFIABLE 3600.22/3581.92 c Found 7 solution(s) 3600.22/3581.93 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 3600.22/3581.94 c objective function=3 3600.22/3581.94 c Total wall clock time (in seconds): 3581.709
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 (62311 MiB free)
memory of node 1: 64465 MiB (55969 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524641-1751615822/watcher-4524641-1751615822 -o /tmp/evaluation-result-4524641-1751615822/solver-4524641-1751615822 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751615822-99728 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4524641-1751615822.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=99779, runsolver pid=99770
[startup+0.100058 s]*
/proc/loadavg: 1.17 1.11 1.60 6/333 99856
/proc/meminfo: memFree=121058868/131249992 swapFree=33010160/33010684
[pid=99779] ppid=99770 vsize=18930384 memory=50940 CPUtime=0.07 cores=0,2
/proc/99779/stat : 99779 (java) S 99770 99779 98938 0 -1 4194304 5948 0 66 0 5 2 0 0 20 0 18 0 77261026 19384713216 12735 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
/proc/99779/statm: 4732596 12735 5290 1 0 547138 0
[pid=99779/tid=99789] ppid=99770 vsize=18930384 memory=4026532124 CPUtime=0.04 cores=0,2
/proc/99779/task/99789/stat : 99789 (java) D 99770 99779 98938 0 -1 4194368 4828 0 66 0 3 1 0 0 20 0 18 0 77261029 19384713216 12735 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99820] ppid=99770 vsize=18930384 memory=17913 CPUtime=0 cores=0,2
/proc/99779/task/99820/stat : 99820 (Finalizer) S 99770 99779 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77261031 19384713216 12735 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99836] ppid=99770 vsize=18930384 memory=56286469424100 CPUtime=0 cores=0,2
/proc/99779/task/99836/stat : 99836 (Common-Cleaner) S 99770 99779 98938 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77261032 19384713216 12735 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50940 KiB
[startup+0.205462 s]*
/proc/loadavg: 1.17 1.11 1.60 8/333 99856
/proc/meminfo: memFree=121032768/131249992 swapFree=33010160/33010684
[pid=99779] ppid=99770 vsize=18930384 memory=59480 CPUtime=0.14 cores=0,2
/proc/99779/stat : 99779 (java) S 99770 99779 98938 0 -1 4194304 6535 0 66 0 12 2 0 0 20 0 18 0 77261026 19384713216 14870 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
/proc/99779/statm: 4732596 14870 5290 1 0 547677 0
[pid=99779/tid=99789] ppid=99770 vsize=18930384 memory=4026794268 CPUtime=0.08 cores=0,2
/proc/99779/task/99789/stat : 99789 (java) R 99770 99779 98938 0 -1 4194368 5083 0 66 0 7 1 0 0 20 0 18 0 77261029 19384713216 14870 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99820] ppid=99770 vsize=18930384 memory=17913 CPUtime=0 cores=0,2
/proc/99779/task/99820/stat : 99820 (Finalizer) S 99770 99779 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77261031 19384713216 14870 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99836] ppid=99770 vsize=18930384 memory=56286469424100 CPUtime=0 cores=0,2
/proc/99779/task/99836/stat : 99836 (Common-Cleaner) S 99770 99779 98938 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77261032 19384713216 14870 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59480 KiB
[startup+0.305552 s]*
/proc/loadavg: 1.17 1.11 1.60 14/336 99859
/proc/meminfo: memFree=121018088/131249992 swapFree=33010160/33010684
[pid=99779] ppid=99770 vsize=18996948 memory=65880 CPUtime=0.33 cores=0,2
/proc/99779/stat : 99779 (java) S 99770 99779 98938 0 -1 4194304 6959 0 66 0 30 3 0 0 20 0 19 0 77261026 19452874752 16470 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
/proc/99779/statm: 4749237 16470 5450 1 0 548278 0
[pid=99779/tid=99789] ppid=99770 vsize=18996948 memory=-6000919498442629990 CPUtime=0.16 cores=0,2
/proc/99779/task/99789/stat : 99789 (java) R 99770 99779 98938 0 -1 4194368 5338 0 66 0 15 1 0 0 20 0 19 0 77261029 19452874752 16470 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99820] ppid=99770 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/99779/task/99820/stat : 99820 (Finalizer) S 99770 99779 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77261031 19452874752 16470 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99836] ppid=99770 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/99779/task/99836/stat : 99836 (Common-Cleaner) S 99770 99779 98938 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77261032 19452874752 16470 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99859] ppid=99770 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/99779/task/99859/stat : 99859 (Timer-0) S 99770 99779 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77261055 19452874752 16470 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 65880 KiB
[startup+0.700188 s]
/proc/loadavg: 1.17 1.11 1.60 10/337 99860
/proc/meminfo: memFree=120979912/131249992 swapFree=33010160/33010684
[pid=99779] ppid=99770 vsize=18996948 memory=89436 CPUtime=1.09 cores=0,2
/proc/99779/stat : 99779 (java) S 99770 99779 98938 0 -1 4194304 11071 0 66 0 105 4 0 0 20 0 19 0 77261026 19452874752 22359 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
/proc/99779/statm: 4749237 22359 5482 1 0 551034 0
[pid=99779/tid=99789] ppid=99770 vsize=18996948 memory=18048 CPUtime=0.54 cores=0,2
/proc/99779/task/99789/stat : 99789 (java) R 99770 99779 98938 0 -1 4194368 5380 0 66 0 52 2 0 0 20 0 19 0 77261029 19452874752 22359 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99820] ppid=99770 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/99779/task/99820/stat : 99820 (Finalizer) S 99770 99779 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77261031 19452874752 22359 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99836] ppid=99770 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/99779/task/99836/stat : 99836 (Common-Cleaner) S 99770 99779 98938 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77261032 19452874752 22359 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99859] ppid=99770 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/99779/task/99859/stat : 99859 (Timer-0) S 99770 99779 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77261055 19452874752 22359 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 89436 KiB
[startup+1.50018 s]
/proc/loadavg: 1.17 1.11 1.60 9/337 99860
/proc/meminfo: memFree=120908992/131249992 swapFree=33010160/33010684
[pid=99779] ppid=99770 vsize=18996948 memory=120724 CPUtime=2.37 cores=0,2
/proc/99779/stat : 99779 (java) S 99770 99779 98938 0 -1 4194304 15777 0 66 0 232 5 0 0 20 0 19 0 77261026 19452874752 30181 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
/proc/99779/statm: 4749237 30181 5482 1 0 552635 0
[pid=99779/tid=99789] ppid=99770 vsize=18996948 memory=10752 CPUtime=1.32 cores=0,2
/proc/99779/task/99789/stat : 99789 (java) R 99770 99779 98938 0 -1 4194368 6394 0 66 0 130 2 0 0 20 0 19 0 77261029 19452874752 30181 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99820] ppid=99770 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/99779/task/99820/stat : 99820 (Finalizer) S 99770 99779 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77261031 19452874752 30181 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99836] ppid=99770 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/99779/task/99836/stat : 99836 (Common-Cleaner) S 99770 99779 98938 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77261032 19452874752 30181 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99859] ppid=99770 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/99779/task/99859/stat : 99859 (Timer-0) S 99770 99779 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77261055 19452874752 30181 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
Current children cumulated CPU time: 2.37 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 120724 KiB
[startup+3.10507 s]
/proc/loadavg: 1.17 1.11 1.60 8/339 99862
/proc/meminfo: memFree=120661904/131249992 swapFree=33010160/33010684
[pid=99779] ppid=99770 vsize=19063512 memory=211460 CPUtime=4.36 cores=0,2
/proc/99779/stat : 99779 (java) S 99770 99779 98938 0 -1 4194304 20787 0 66 0 428 8 0 0 20 0 20 0 77261026 19521036288 52865 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
/proc/99779/statm: 4765878 52865 5482 1 0 552932 0
[pid=99779/tid=99789] ppid=99770 vsize=19063512 memory=10752 CPUtime=2.89 cores=0,2
/proc/99779/task/99789/stat : 99789 (java) R 99770 99779 98938 0 -1 4194368 6749 0 66 0 286 3 0 0 20 0 20 0 77261029 19521036288 52865 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99820] ppid=99770 vsize=19063512 memory=-6000919507032564582 CPUtime=0 cores=0,2
/proc/99779/task/99820/stat : 99820 (Finalizer) S 99770 99779 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77261031 19521036288 52865 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99836] ppid=99770 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/99779/task/99836/stat : 99836 (Common-Cleaner) S 99770 99779 98938 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 52865 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99859] ppid=99770 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/99779/task/99859/stat : 99859 (Timer-0) S 99770 99779 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77261055 19521036288 52865 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
Current children cumulated CPU time: 4.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 211460 KiB
[startup+6.30017 s]
/proc/loadavg: 1.39 1.16 1.62 6/339 99862
/proc/meminfo: memFree=120473420/131249992 swapFree=33010160/33010684
[pid=99779] ppid=99770 vsize=19063512 memory=281516 CPUtime=7.7 cores=0,2
/proc/99779/stat : 99779 (java) S 99770 99779 98938 0 -1 4194304 20990 0 66 0 761 9 0 0 20 0 20 0 77261026 19521036288 70379 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
/proc/99779/statm: 4765878 70379 5482 1 0 552933 0
[pid=99779/tid=99789] ppid=99770 vsize=19063512 memory=0 CPUtime=6.01 cores=0,2
/proc/99779/task/99789/stat : 99789 (java) R 99770 99779 98938 0 -1 4194368 6755 0 66 0 598 3 0 0 20 0 20 0 77261029 19521036288 70379 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99820] ppid=99770 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/99779/task/99820/stat : 99820 (Finalizer) S 99770 99779 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77261031 19521036288 70379 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99836] ppid=99770 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/99779/task/99836/stat : 99836 (Common-Cleaner) S 99770 99779 98938 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 70379 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99859] ppid=99770 vsize=19063512 memory=14692 CPUtime=0 cores=0,2
/proc/99779/task/99859/stat : 99859 (Timer-0) S 99770 99779 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77261055 19521036288 70379 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
Current children cumulated CPU time: 7.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 281516 KiB
[startup+12.7002 s]
/proc/loadavg: 1.76 1.24 1.64 7/340 99864
/proc/meminfo: memFree=120120036/131249992 swapFree=33010160/33010684
[pid=99779] ppid=99770 vsize=19063512 memory=435464 CPUtime=14.25 cores=0,2
/proc/99779/stat : 99779 (java) S 99770 99779 98938 0 -1 4194304 23169 0 66 0 1413 12 0 0 20 0 20 0 77261026 19521036288 108866 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
/proc/99779/statm: 4765878 108866 5482 1 0 552933 0
[pid=99779/tid=99789] ppid=99770 vsize=19063512 memory=10752 CPUtime=12.25 cores=0,2
/proc/99779/task/99789/stat : 99789 (java) R 99770 99779 98938 0 -1 4194368 7545 0 66 0 1222 3 0 0 20 0 20 0 77261029 19521036288 108866 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99820] ppid=99770 vsize=19063512 memory=435464 CPUtime=0 cores=0,2
/proc/99779/task/99820/stat : 99820 (Finalizer) S 99770 99779 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77261031 19521036288 108866 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99836] ppid=99770 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/99779/task/99836/stat : 99836 (Common-Cleaner) S 99770 99779 98938 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 108866 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99859] ppid=99770 vsize=19063512 memory=-6000919507032564582 CPUtime=0 cores=0,2
/proc/99779/task/99859/stat : 99859 (Timer-0) S 99770 99779 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77261055 19521036288 108866 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
Current children cumulated CPU time: 14.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 435464 KiB
[startup+25.5002 s]
/proc/loadavg: 2.33 1.39 1.68 6/341 99865
/proc/meminfo: memFree=119315448/131249992 swapFree=33010160/33010684
[pid=99779] ppid=99770 vsize=19063512 memory=805780 CPUtime=27.31 cores=0,2
/proc/99779/stat : 99779 (java) S 99770 99779 98938 0 -1 4194304 27515 0 66 0 2711 20 0 0 20 0 20 0 77261026 19521036288 201445 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
/proc/99779/statm: 4765878 201445 5514 1 0 659451 0
[pid=99779/tid=99789] ppid=99770 vsize=19063512 memory=435464 CPUtime=24.79 cores=0,2
/proc/99779/task/99789/stat : 99789 (java) R 99770 99779 98938 0 -1 4194368 8648 0 66 0 2473 6 0 0 20 0 20 0 77261029 19521036288 201445 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99820] ppid=99770 vsize=19063512 memory=14692 CPUtime=0 cores=0,2
/proc/99779/task/99820/stat : 99820 (Finalizer) S 99770 99779 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77261031 19521036288 201445 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99836] ppid=99770 vsize=19063512 memory=-6000919507032564582 CPUtime=0 cores=0,2
/proc/99779/task/99836/stat : 99836 (Common-Cleaner) S 99770 99779 98938 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 201445 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99859] ppid=99770 vsize=19063512 memory=281516 CPUtime=0 cores=0,2
/proc/99779/task/99859/stat : 99859 (Timer-0) S 99770 99779 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77261055 19521036288 201445 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
Current children cumulated CPU time: 27.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 805780 KiB
[startup+51.1052 s]
/proc/loadavg: 2.98 1.62 1.75 6/341 99865
/proc/meminfo: memFree=117837744/131249992 swapFree=33010160/33010684
[pid=99779] ppid=99770 vsize=19063512 memory=1300324 CPUtime=53.37 cores=0,2
/proc/99779/stat : 99779 (java) S 99770 99779 98938 0 -1 4194304 30829 0 66 0 5307 30 0 0 20 0 20 0 77261026 19521036288 325081 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
/proc/99779/statm: 4765878 325081 5514 1 0 659468 0
[pid=99779/tid=99789] ppid=99770 vsize=19063512 memory=1300324 CPUtime=49.92 cores=0,2
/proc/99779/task/99789/stat : 99789 (java) R 99770 99779 98938 0 -1 4194368 9572 0 66 0 4986 6 0 0 20 0 20 0 77261029 19521036288 325081 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99820] ppid=99770 vsize=19063512 memory=1199864 CPUtime=0 cores=0,2
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.04 6/341 100029
/proc/meminfo: memFree=96476300/131249992 swapFree=33010160/33010684
[pid=99779] ppid=99770 vsize=19063512 memory=9632392 CPUtime=3239.85 cores=0,2
/proc/99779/stat : 99779 (java) S 99770 99779 98938 0 -1 4194304 202233 0 66 0 323656 329 0 0 20 0 20 0 77261026 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
/proc/99779/statm: 4765878 2408098 5514 1 0 3308522 0
[pid=99779/tid=99789] ppid=99770 vsize=19063512 memory=9632392 CPUtime=3192.4 cores=0,2
/proc/99779/task/99789/stat : 99789 (java) R 99770 99779 98938 0 -1 4194368 109990 0 66 0 319154 86 0 0 20 0 20 0 77261029 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99820] ppid=99770 vsize=19063512 memory=9566836 CPUtime=0 cores=0,2
/proc/99779/task/99820/stat : 99820 (Finalizer) S 99770 99779 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77261031 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99836] ppid=99770 vsize=19063512 memory=9632392 CPUtime=0 cores=0,2
/proc/99779/task/99836/stat : 99836 (Common-Cleaner) S 99770 99779 98938 0 -1 4194368 1370 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99859] ppid=99770 vsize=19063512 memory=9632392 CPUtime=0 cores=0,2
/proc/99779/task/99859/stat : 99859 (Timer-0) S 99770 99779 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77261055 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
Current children cumulated CPU time: 3239.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9632392 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.04 6/341 100032
/proc/meminfo: memFree=95735176/131249992 swapFree=33010160/33010684
[pid=99779] ppid=99770 vsize=19063512 memory=9632392 CPUtime=3299.72 cores=0,2
/proc/99779/stat : 99779 (java) S 99770 99779 98938 0 -1 4194304 204753 0 66 0 329640 332 0 0 20 0 20 0 77261026 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
/proc/99779/statm: 4765878 2408098 5514 1 0 3308524 0
[pid=99779/tid=99789] ppid=99770 vsize=19063512 memory=9632392 CPUtime=3252.23 cores=0,2
/proc/99779/task/99789/stat : 99789 (java) R 99770 99779 98938 0 -1 4194368 112393 0 66 0 325136 87 0 0 20 0 20 0 77261029 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99820] ppid=99770 vsize=19063512 memory=9632392 CPUtime=0 cores=0,2
/proc/99779/task/99820/stat : 99820 (Finalizer) S 99770 99779 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77261031 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99836] ppid=99770 vsize=19063512 memory=9233012 CPUtime=0 cores=0,2
/proc/99779/task/99836/stat : 99836 (Common-Cleaner) S 99770 99779 98938 0 -1 4194368 1404 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99859] ppid=99770 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/99779/task/99859/stat : 99859 (Timer-0) S 99770 99779 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77261055 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
Current children cumulated CPU time: 3299.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9632392 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.13 4.05 6/341 100035
/proc/meminfo: memFree=95112464/131249992 swapFree=33010160/33010684
[pid=99779] ppid=99770 vsize=19063512 memory=9632392 CPUtime=3359.66 cores=0,2
/proc/99779/stat : 99779 (java) S 99770 99779 98938 0 -1 4194304 208598 0 66 0 335632 334 0 0 20 0 20 0 77261026 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
/proc/99779/statm: 4765878 2408098 5514 1 0 3308526 0
[pid=99779/tid=99789] ppid=99770 vsize=19063512 memory=9632392 CPUtime=3311.97 cores=0,2
/proc/99779/task/99789/stat : 99789 (java) R 99770 99779 98938 0 -1 4194368 115020 0 66 0 331110 87 0 0 20 0 20 0 77261029 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99820] ppid=99770 vsize=19063512 memory=9632392 CPUtime=0 cores=0,2
/proc/99779/task/99820/stat : 99820 (Finalizer) S 99770 99779 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77261031 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99836] ppid=99770 vsize=19063512 memory=14692 CPUtime=0 cores=0,2
/proc/99779/task/99836/stat : 99836 (Common-Cleaner) S 99770 99779 98938 0 -1 4194368 1445 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99859] ppid=99770 vsize=19063512 memory=18048 CPUtime=0 cores=0,2
/proc/99779/task/99859/stat : 99859 (Timer-0) S 99770 99779 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77261055 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
Current children cumulated CPU time: 3359.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9632392 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.10 4.04 6/342 100042
/proc/meminfo: memFree=95105448/131249992 swapFree=33010160/33010684
[pid=99779] ppid=99770 vsize=19063512 memory=9632392 CPUtime=3419.96 cores=0,2
/proc/99779/stat : 99779 (java) S 99770 99779 98938 0 -1 4194304 213132 0 66 0 341659 337 0 0 20 0 20 0 77261026 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
/proc/99779/statm: 4765878 2408098 5514 1 0 3308526 0
[pid=99779/tid=99789] ppid=99770 vsize=19063512 memory=14692 CPUtime=3371.37 cores=0,2
/proc/99779/task/99789/stat : 99789 (java) R 99770 99779 98938 0 -1 4194368 117917 0 66 0 337049 88 0 0 20 0 20 0 77261029 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99820] ppid=99770 vsize=19063512 memory=18048 CPUtime=0 cores=0,2
/proc/99779/task/99820/stat : 99820 (Finalizer) S 99770 99779 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77261031 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99836] ppid=99770 vsize=19063512 memory=9632392 CPUtime=0 cores=0,2
/proc/99779/task/99836/stat : 99836 (Common-Cleaner) S 99770 99779 98938 0 -1 4194368 1513 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99859] ppid=99770 vsize=19063512 memory=9632392 CPUtime=0 cores=0,2
/proc/99779/task/99859/stat : 99859 (Timer-0) S 99770 99779 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77261055 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
Current children cumulated CPU time: 3419.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9632392 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.05 6/342 100044
/proc/meminfo: memFree=94925044/131249992 swapFree=33010160/33010684
[pid=99779] ppid=99770 vsize=19063512 memory=9632392 CPUtime=3480.19 cores=0,2
/proc/99779/stat : 99779 (java) S 99770 99779 98938 0 -1 4194304 216655 0 66 0 347680 339 0 0 20 0 20 0 77261026 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
/proc/99779/statm: 4765878 2408098 5514 1 0 3308526 0
[pid=99779/tid=99789] ppid=99770 vsize=19063512 memory=9632392 CPUtime=3430.82 cores=0,2
/proc/99779/task/99789/stat : 99789 (java) R 99770 99779 98938 0 -1 4194368 119997 0 66 0 342993 89 0 0 20 0 20 0 77261029 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99820] ppid=99770 vsize=19063512 memory=9632392 CPUtime=0 cores=0,2
/proc/99779/task/99820/stat : 99820 (Finalizer) S 99770 99779 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77261031 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99836] ppid=99770 vsize=19063512 memory=9632392 CPUtime=0 cores=0,2
/proc/99779/task/99836/stat : 99836 (Common-Cleaner) S 99770 99779 98938 0 -1 4194368 1629 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99859] ppid=99770 vsize=19063512 memory=9632392 CPUtime=0 cores=0,2
/proc/99779/task/99859/stat : 99859 (Timer-0) S 99770 99779 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77261055 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
Current children cumulated CPU time: 3480.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9632392 KiB
[startup+3522.3 s]
/proc/loadavg: 4.68 4.24 4.09 6/342 100046
/proc/meminfo: memFree=94924320/131249992 swapFree=33010160/33010684
[pid=99779] ppid=99770 vsize=19063512 memory=9632392 CPUtime=3540.38 cores=0,2
/proc/99779/stat : 99779 (java) S 99770 99779 98938 0 -1 4194304 220294 0 66 0 353697 341 0 0 20 0 20 0 77261026 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
/proc/99779/statm: 4765878 2408098 5514 1 0 3308530 0
[pid=99779/tid=99789] ppid=99770 vsize=19063512 memory=9632392 CPUtime=3490.33 cores=0,2
/proc/99779/task/99789/stat : 99789 (java) R 99770 99779 98938 0 -1 4194368 122253 0 66 0 348943 90 0 0 20 0 20 0 77261029 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99820] ppid=99770 vsize=19063512 memory=9632392 CPUtime=0 cores=0,2
/proc/99779/task/99820/stat : 99820 (Finalizer) S 99770 99779 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77261031 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99836] ppid=99770 vsize=19063512 memory=9632392 CPUtime=0 cores=0,2
/proc/99779/task/99836/stat : 99836 (Common-Cleaner) S 99770 99779 98938 0 -1 4194368 1629 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99859] ppid=99770 vsize=19063512 memory=9632392 CPUtime=0 cores=0,2
/proc/99779/task/99859/stat : 99859 (Timer-0) S 99770 99779 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77261055 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
Current children cumulated CPU time: 3540.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9632392 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3581.8 s]
/proc/loadavg: 4.49 4.28 4.12 5/316 100082
/proc/meminfo: memFree=107211452/131249992 swapFree=33010160/33010684
[pid=99779] ppid=99770 vsize=19063512 memory=9632392 CPUtime=3600.02 cores=0,2
/proc/99779/stat : 99779 (java) S 99770 99779 98938 0 -1 4194304 222941 0 66 0 359659 343 0 0 20 0 20 0 77261026 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
/proc/99779/statm: 4765878 2408098 5514 1 0 3308530 0
[pid=99779/tid=99789] ppid=99770 vsize=19063512 memory=-6000919507032564582 CPUtime=3549.36 cores=0,2
/proc/99779/task/99789/stat : 99789 (java) R 99770 99779 98938 0 -1 4194368 123513 0 66 0 354846 90 0 0 20 0 20 0 77261029 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99820] ppid=99770 vsize=19063512 memory=-6000919507032564582 CPUtime=0 cores=0,2
/proc/99779/task/99820/stat : 99820 (Finalizer) S 99770 99779 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77261031 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99836] ppid=99770 vsize=19063512 memory=12288 CPUtime=0 cores=0,2
/proc/99779/task/99836/stat : 99836 (Common-Cleaner) S 99770 99779 98938 0 -1 4194368 1670 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99859] ppid=99770 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/99779/task/99859/stat : 99859 (Timer-0) S 99770 99779 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77261055 19521036288 2408098 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9632392 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3581.97 s]
# the end of solver process 99779 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.86 s, system=3.46872 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3581.9 s]
/proc/loadavg: 4.49 4.28 4.12 5/316 100082
/proc/meminfo: memFree=107211452/131249992 swapFree=33010160/33010684
[pid=99779] ppid=99770 vsize=19263204 memory=9633288 CPUtime=3600.22 cores=0,2
/proc/99779/stat : 99779 (java) S 99770 99779 98938 0 -1 4194304 225197 0 66 0 359679 343 0 0 20 0 21 0 77261026 19725520896 2408322 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
/proc/99779/statm: 4815801 2408322 5546 1 0 3309512 0
[pid=99779/tid=99789] ppid=99770 vsize=19263204 memory=14692 CPUtime=3549.46 cores=0,2
/proc/99779/task/99789/stat : 99789 (java) R 99770 99779 98938 0 -1 4194368 123646 0 66 0 354856 90 0 0 20 0 21 0 77261029 19725520896 2408322 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99820] ppid=99770 vsize=19263204 memory=18048 CPUtime=0 cores=0,2
/proc/99779/task/99820/stat : 99820 (Finalizer) S 99770 99779 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77261031 19725520896 2408322 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
[pid=99779/tid=99836] ppid=99770 vsize=19263204 memory=3200 CPUtime=0 cores=0,2
/proc/99779/task/99836/stat : 99836 (Common-Cleaner) S 99770 99779 98938 0 -1 4194368 1670 0 0 0 0 0 0 0 20 0 21 0 77261032 19725520896 2408322 18446744073709551615 94615635562496 94615635566192 140729033370592 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94615635574008 94615635574800 94615640629248 140729033378175 140729033378276 140729033378276 140729033383880 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 9633288 KiB
Child status: 143
Real time (s): 3581.97
CPU time (s): 3600.33
CPU user time (s): 3596.86
CPU system time (s): 3.46872
CPU usage (%): 100.513
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 9633288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.86
system time used= 3.46873
maximum resident set size= 9633416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225517
page faults= 66
swaps= 0
block input operations= 80
block output operations= 5216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111363
involuntary context switches= 7846
# summary of solver processes directly reported to runsolver:
# pid: 99779
# total CPU time (s): 3600.33
# total CPU user time (s): 3596.86
# total CPU system time (s): 3.46872
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.4028 second user time and 13.7712 second system time
The end
Begin job on nodeC025 at 2025-07-04 09:57:03 IDJOB=4524641 IDBENCH=143150 IDSOLVER=3380 FILE ID=nodeC025/4524641-1751615822 RUNJOBID= nodeC025-1751615822-99728 SLURM_JOB_ID= 9598901 Free space on /tmp= 432980 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-45-40--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524641-1751615822/watcher-4524641-1751615822 -o /tmp/evaluation-result-4524641-1751615822/solver-4524641-1751615822 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751615822-99728 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4524641-1751615822.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4eb60eb64b2e57ece37ce881f5113a6c RANDOM SEED=75104551 nodeC025 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.306 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.67 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 : 3472.143 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.67 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 : 3599.848 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.67 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 : 3148.123 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.67 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.745 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.67 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 : 2218.328 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.67 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 : 3599.856 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.67 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 : 2996.301 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.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249992 kB MemFree: 121122264 kB MemAvailable: 129656864 kB Buffers: 2128 kB Cached: 9282752 kB SwapCached: 200 kB Active: 404056 kB Inactive: 8948436 kB Active(anon): 68312 kB Inactive(anon): 17156 kB Active(file): 335744 kB Inactive(file): 8931280 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 1948 kB Writeback: 0 kB AnonPages: 70496 kB Mapped: 103244 kB Shmem: 17856 kB KReclaimable: 213628 kB Slab: 303892 kB SReclaimable: 213628 kB SUnreclaim: 90264 kB KernelStack: 4084 kB PageTables: 2580 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 330100 kB VmallocTotal: 34359738367 kB VmallocUsed: 150392 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 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: 207572 kB DirectMap2M: 9000960 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432976 MiB End job on nodeC025 at 2025-07-04 10:56:45