| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution 2025-06-06 | MSAT (TO) | 3600.29 | 3601.84 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap103_wcsp.wbo |
| MD5SUM | ba857364af295ab8f3555d8567fc7cd2 |
| 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 | 8654841 |
| Best CPU time to get the best result obtained on this benchmark | 0.045898 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1300 |
| Total number of constraints | 2598 |
| Number of soft constraints | 2523 |
| Number of constraints which are clauses | 2523 |
| Number of constraints which are cardinality constraints (but not clauses) | 75 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 25 |
| Top cost | 61786724 |
| Min constraint cost | 1 |
| Max constraint cost | 61786724 |
| Sum of constraints costs | 77838680126 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 26 |
| Number of bits of the biggest sum of numbers | 5 |
| 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.07 c version PB25.v20250606 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.08 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.13/0.13 c Pseudo Boolean Optimization by upper bound 0.13/0.13 c --- Begin Solver configuration --- 0.13/0.13 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.13/0.13 c Learn all clauses as in MiniSAT 0.13/0.13 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.13/0.13 c Expensive reason simplification 0.13/0.13 c Glucose 2.1 dynamic restart strategy 0.13/0.13 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.13/0.13 c timeout=2147483s 0.13/0.13 c DB Simplification allowed=false 0.13/0.13 c Listener: none 0.13/0.13 c --- End Solver configuration --- 0.13/0.13 c solving HOME/instance-4526126-1751628244.wbo 0.13/0.13 c reading problem ... 0.13/0.20 c ... done. Wall clock time 0.068s. 0.13/0.20 c declared #vars 1300 0.13/0.20 c internal #vars 3823 0.13/0.20 c #constraints 2674 0.13/0.20 c constraints type 0.13/0.20 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1323 0.13/0.20 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 50 0.13/0.20 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 0.13/0.20 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1300 0.13/0.20 c 2674 constraints processed. 0.33/0.21 c objective function length is 2523 literals 0.33/0.24 c SATISFIABLE 0.33/0.24 c OPTIMIZING... 0.33/0.24 c Got one! Elapsed wall clock time (in seconds):0.112 0.33/0.24 o 8943592 1.75/1.03 c cleaning 2493 clauses out of 5000 with flag 12173/5000 2.50/1.69 c cleaning 4242 clauses out of 8507 with flag 26530/11000 3.39/2.45 c cleaning 5625 clauses out of 11265 with flag 42683/18000 4.47/3.32 c cleaning 6811 clauses out of 13641 with flag 63022/26001 5.38/4.17 c cleaning 7915 clauses out of 15829 with flag 91570/35000 6.38/5.11 c cleaning 8957 clauses out of 17914 with flag 123730/45000 7.38/6.18 c cleaning 9971 clauses out of 19957 with flag 161702/56000 8.57/7.36 c cleaning 10989 clauses out of 21986 with flag 202505/68000 9.87/8.67 c cleaning 11994 clauses out of 23997 with flag 250065/81000 11.40/10.12 c cleaning 12962 clauses out of 26003 with flag 295998/95000 12.99/11.70 c cleaning 14021 clauses out of 28041 with flag 344685/110000 14.81/13.51 c cleaning 15003 clauses out of 30020 with flag 402355/126000 16.73/15.49 c cleaning 15996 clauses out of 32017 with flag 462264/143000 18.84/17.55 c cleaning 17005 clauses out of 34021 with flag 526169/161000 21.04/19.72 c cleaning 18008 clauses out of 36016 with flag 611021/180000 23.14/21.85 c cleaning 19003 clauses out of 38009 with flag 695340/200001 25.64/24.35 c cleaning 19988 clauses out of 40006 with flag 780513/221001 28.34/27.02 c cleaning 21005 clauses out of 42018 with flag 873281/243001 31.03/29.78 c cleaning 21996 clauses out of 44012 with flag 976135/266000 33.93/32.67 c cleaning 23004 clauses out of 46018 with flag 1089051/290002 37.02/35.73 c cleaning 24007 clauses out of 48013 with flag 1198654/315001 40.32/39.08 c cleaning 24999 clauses out of 50006 with flag 1303024/341001 43.71/42.44 c cleaning 25995 clauses out of 52007 with flag 1420712/368001 47.20/45.97 c cleaning 26991 clauses out of 54012 with flag 1534749/396001 50.79/49.58 c cleaning 28003 clauses out of 56020 with flag 1665147/425000 54.51/53.27 c cleaning 29002 clauses out of 58018 with flag 1793075/455001 58.50/57.25 c cleaning 30000 clauses out of 60015 with flag 1950929/486000 62.60/61.35 c cleaning 31005 clauses out of 62017 with flag 2096604/518002 66.78/65.55 c cleaning 31992 clauses out of 64011 with flag 2238503/551001 71.20/69.99 c cleaning 33001 clauses out of 66018 with flag 2384089/585000 75.99/74.77 c cleaning 34003 clauses out of 68019 with flag 2532466/620002 80.88/79.61 c cleaning 35006 clauses out of 70016 with flag 2683510/656002 86.10/84.85 c cleaning 36003 clauses out of 72009 with flag 2844108/693001 91.59/90.37 c cleaning 36995 clauses out of 74005 with flag 3004960/731000 97.47/96.27 c cleaning 38000 clauses out of 76010 with flag 3176562/770000 102.96/101.76 c cleaning 38993 clauses out of 78010 with flag 3339814/810000 108.28/107.01 c cleaning 39995 clauses out of 80018 with flag 3517228/851001 113.76/112.56 c cleaning 41012 clauses out of 82025 with flag 3706272/893003 119.75/118.50 c cleaning 41995 clauses out of 84010 with flag 3870495/936000 125.56/124.38 c cleaning 42990 clauses out of 86015 with flag 4058084/980000 131.55/130.34 c cleaning 44002 clauses out of 88025 with flag 4234129/1025000 137.74/136.50 c cleaning 45011 clauses out of 90026 with flag 4420121/1071003 144.16/142.95 c cleaning 45990 clauses out of 92012 with flag 4618517/1118000 150.94/149.78 c cleaning 47009 clauses out of 94022 with flag 4822801/1166000 157.96/156.74 c cleaning 47992 clauses out of 96013 with flag 5009313/1215000 165.15/163.96 c cleaning 49001 clauses out of 98021 with flag 5216148/1265000 173.13/171.91 c cleaning 50007 clauses out of 100022 with flag 5413284/1316002 180.55/179.36 c cleaning 50988 clauses out of 102013 with flag 5644197/1368000 188.14/186.92 c cleaning 52006 clauses out of 104026 with flag 5868644/1421001 195.95/194.77 c cleaning 52997 clauses out of 106020 with flag 6104729/1475001 203.93/202.72 c cleaning 54011 clauses out of 108022 with flag 6344171/1530000 212.01/210.88 c cleaning 54980 clauses out of 110011 with flag 6584581/1586000 220.33/219.17 c cleaning 56009 clauses out of 112031 with flag 6834937/1643000 229.32/228.18 c cleaning 57010 clauses out of 114025 with flag 7073192/1701003 237.79/236.65 c cleaning 57999 clauses out of 116012 with flag 7309737/1760000 245.97/244.90 c cleaning 58997 clauses out of 118013 with flag 7564117/1820000 254.77/253.64 c cleaning 59983 clauses out of 120016 with flag 7805373/1881000 264.27/263.16 c cleaning 61009 clauses out of 122034 with flag 8097474/1943001 273.74/272.65 c cleaning 62008 clauses out of 124027 with flag 8417006/2006003 282.91/281.80 c cleaning 62997 clauses out of 126016 with flag 8677024/2070000 292.29/291.29 c cleaning 63997 clauses out of 128019 with flag 8927984/2135000 302.17/301.13 c cleaning 65008 clauses out of 130023 with flag 9229049/2201001 312.04/311.08 c cleaning 65998 clauses out of 132016 with flag 9496251/2268002 322.68/321.64 c cleaning 66999 clauses out of 134019 with flag 9747672/2336003 333.65/332.69 c cleaning 68008 clauses out of 136017 with flag 10064635/2405000 344.34/343.34 c cleaning 69000 clauses out of 138009 with flag 10382135/2475000 354.71/353.72 c cleaning 69975 clauses out of 140009 with flag 10666236/2546000 365.45/364.45 c cleaning 71006 clauses out of 142035 with flag 10977626/2618001 375.44/374.41 c cleaning 72009 clauses out of 144028 with flag 11295378/2691000 385.91/384.93 c cleaning 73002 clauses out of 146020 with flag 11592323/2765001 397.59/396.61 c cleaning 74007 clauses out of 148019 with flag 11925302/2840002 407.82/406.80 c cleaning 74994 clauses out of 150010 with flag 12242351/2916000 418.70/417.78 c cleaning 76006 clauses out of 152016 with flag 12586628/2993000 430.08/429.14 c cleaning 77000 clauses out of 154010 with flag 12927802/3071000 441.55/440.62 c cleaning 78002 clauses out of 156010 with flag 13270751/3150000 452.72/451.85 c cleaning 78985 clauses out of 158008 with flag 13625023/3230000 464.27/463.37 c cleaning 79993 clauses out of 160023 with flag 13994379/3311000 476.15/475.26 c cleaning 81008 clauses out of 162030 with flag 14361552/3393000 487.73/486.86 c cleaning 82002 clauses out of 164023 with flag 14730286/3476001 500.30/499.43 c cleaning 82996 clauses out of 166020 with flag 15112292/3560000 513.47/512.61 c cleaning 84006 clauses out of 168025 with flag 15495968/3645001 527.11/526.28 c cleaning 85001 clauses out of 170020 with flag 15866681/3731002 539.89/539.10 c cleaning 86001 clauses out of 172018 with flag 16252750/3818001 553.55/552.72 c cleaning 86993 clauses out of 174016 with flag 16627875/3906000 567.03/566.21 c cleaning 88008 clauses out of 176023 with flag 17009673/3995000 581.20/580.43 c cleaning 88996 clauses out of 178015 with flag 17390636/4085000 595.06/594.20 c cleaning 89997 clauses out of 180019 with flag 17810357/4176000 608.22/607.44 c cleaning 90997 clauses out of 182022 with flag 18202215/4268000 621.29/620.58 c cleaning 91992 clauses out of 184026 with flag 18621491/4361001 634.56/633.86 c cleaning 93011 clauses out of 186033 with flag 19047075/4455000 648.82/648.10 c cleaning 93991 clauses out of 188022 with flag 19443859/4550000 662.88/661.96 c cleaning 94995 clauses out of 190031 with flag 19866222/4646000 676.96/676.05 c cleaning 96006 clauses out of 192036 with flag 20269296/4743000 692.63/691.71 c cleaning 97011 clauses out of 194034 with flag 20729312/4841004 708.09/707.23 c cleaning 97994 clauses out of 196019 with flag 21178696/4940000 724.06/723.21 c cleaning 98991 clauses out of 198025 with flag 21652079/5040000 740.42/739.64 c cleaning 100014 clauses out of 200034 with flag 22097158/5141000 756.19/755.46 c cleaning 100996 clauses out of 202022 with flag 22559012/5243002 773.05/772.35 c cleaning 102002 clauses out of 204025 with flag 23007333/5346001 789.42/788.76 c cleaning 103011 clauses out of 206025 with flag 23407412/5450003 805.99/805.38 c cleaning 104003 clauses out of 208011 with flag 23838859/5555000 822.67/821.95 c cleaning 104994 clauses out of 210008 with flag 24284174/5661000 838.93/838.25 c cleaning 105993 clauses out of 212014 with flag 24743989/5768000 855.01/854.30 c cleaning 106995 clauses out of 214022 with flag 25227482/5876001 870.87/870.20 c cleaning 107997 clauses out of 216026 with flag 25702148/5985000 888.13/887.55 c cleaning 109013 clauses out of 218029 with flag 26165146/6095000 905.20/904.51 c cleaning 110006 clauses out of 220017 with flag 26617062/6206001 923.56/922.91 c cleaning 110997 clauses out of 222010 with flag 27057552/6318000 943.92/943.38 c cleaning 112002 clauses out of 224013 with flag 27524483/6431000 961.08/960.59 c cleaning 112989 clauses out of 226013 with flag 28012470/6545002 979.35/978.87 c cleaning 114013 clauses out of 228026 with flag 28511443/6660004 997.69/997.14 c cleaning 114989 clauses out of 230009 with flag 28975017/6776000 1015.45/1014.95 c cleaning 116007 clauses out of 232020 with flag 29441987/6893000 1033.62/1033.16 c cleaning 117002 clauses out of 234017 with flag 29925627/7011004 1053.17/1052.73 c cleaning 117996 clauses out of 236012 with flag 30439351/7130001 1071.93/1071.56 c cleaning 119008 clauses out of 238015 with flag 30949459/7250000 1090.57/1090.11 c cleaning 119992 clauses out of 240008 with flag 31475590/7371001 1108.82/1108.45 c cleaning 121001 clauses out of 242018 with flag 32014986/7493003 1127.89/1127.59 c cleaning 121998 clauses out of 244015 with flag 32527163/7616001 1147.35/1147.02 c cleaning 123004 clauses out of 246016 with flag 33074116/7740000 1166.70/1166.40 c cleaning 124001 clauses out of 248013 with flag 33590525/7865001 1187.05/1186.71 c cleaning 124989 clauses out of 250011 with flag 34148075/7991000 1205.32/1205.02 c cleaning 125986 clauses out of 252022 with flag 34692838/8118000 1224.97/1224.76 c cleaning 127017 clauses out of 254037 with flag 35214773/8246001 1244.83/1244.69 c cleaning 128004 clauses out of 256023 with flag 35781078/8375004 1263.89/1263.78 c cleaning 128989 clauses out of 258015 with flag 36334111/8505000 1285.44/1285.36 c cleaning 130008 clauses out of 260026 with flag 36880067/8636000 1308.59/1308.40 c cleaning 130993 clauses out of 262019 with flag 37413835/8768001 1328.84/1328.74 c cleaning 131999 clauses out of 264025 with flag 37958181/8901000 1349.70/1349.68 c cleaning 133001 clauses out of 266026 with flag 38575819/9035000 1369.65/1369.66 c cleaning 134002 clauses out of 268027 with flag 39169867/9170002 1392.12/1392.13 c cleaning 134997 clauses out of 270024 with flag 39771498/9306001 1414.17/1414.18 c cleaning 136014 clauses out of 272027 with flag 40355886/9443001 1435.82/1435.85 c cleaning 136993 clauses out of 274012 with flag 40969831/9581000 1456.43/1456.43 c cleaning 138005 clauses out of 276020 with flag 41606305/9720001 1477.30/1477.33 c cleaning 138985 clauses out of 278014 with flag 42218718/9860000 1500.05/1500.16 c cleaning 140009 clauses out of 280030 with flag 42827447/10001001 1523.60/1523.32 c cleaning 140999 clauses out of 282020 with flag 43451840/10143000 1546.85/1546.63 c cleaning 141999 clauses out of 284021 with flag 44077209/10286000 1570.00/1569.80 c cleaning 142995 clauses out of 286022 with flag 44706731/10430000 1594.25/1594.14 c cleaning 144004 clauses out of 288027 with flag 45311767/10575000 1620.40/1620.32 c cleaning 145000 clauses out of 290023 with flag 45930793/10721000 1644.04/1643.92 c cleaning 146005 clauses out of 292023 with flag 46565837/10868000 1668.00/1667.95 c cleaning 147005 clauses out of 294019 with flag 47172016/11016001 1694.05/1694.07 c cleaning 148005 clauses out of 296016 with flag 47797460/11165003 1719.88/1719.96 c cleaning 148999 clauses out of 298008 with flag 48429499/11315000 1748.23/1748.32 c cleaning 150005 clauses out of 300009 with flag 49060307/11466000 1774.87/1775.04 c cleaning 150983 clauses out of 302005 with flag 49701568/11618001 1800.32/1800.52 c cleaning 151995 clauses out of 304021 with flag 50331663/11771000 1821.81/1821.96 c cleaning 153009 clauses out of 306032 with flag 50982534/11925006 1847.15/1847.32 c cleaning 154003 clauses out of 308017 with flag 51614946/12080000 1874.40/1874.62 c cleaning 155002 clauses out of 310014 with flag 52293519/12236000 1905.13/1905.48 c cleaning 155976 clauses out of 312012 with flag 52966044/12393000 1932.17/1932.51 c cleaning 157000 clauses out of 314037 with flag 53598208/12551001 1958.12/1958.54 c cleaning 158005 clauses out of 316036 with flag 54221053/12710000 1983.97/1984.47 c cleaning 159004 clauses out of 318031 with flag 54845685/12870000 2013.12/2013.58 c cleaning 159999 clauses out of 320027 with flag 55461938/13031000 2038.97/2039.50 c cleaning 161007 clauses out of 322028 with flag 56085102/13193000 2063.02/2063.54 c cleaning 162004 clauses out of 324021 with flag 56744276/13356000 2089.96/2090.52 c cleaning 162994 clauses out of 326020 with flag 57435966/13520003 2119.00/2119.52 c cleaning 163996 clauses out of 328023 with flag 58117532/13685000 2145.84/2146.49 c cleaning 165001 clauses out of 330027 with flag 58837694/13851000 2170.40/2171.02 c cleaning 165993 clauses out of 332026 with flag 59568752/14018000 2197.53/2198.22 c cleaning 166999 clauses out of 334036 with flag 60273755/14186003 2222.29/2223.05 c cleaning 168011 clauses out of 336035 with flag 60961320/14355001 2246.14/2246.97 c cleaning 169006 clauses out of 338023 with flag 61672444/14525000 2271.98/2272.83 c cleaning 169988 clauses out of 340019 with flag 62387558/14696002 2298.74/2299.54 c cleaning 170977 clauses out of 342032 with flag 63089614/14868003 2332.67/2333.51 c cleaning 172021 clauses out of 344056 with flag 63821929/15041004 2360.71/2361.67 c cleaning 172999 clauses out of 346031 with flag 64584263/15215000 2391.16/2392.18 c cleaning 173986 clauses out of 348032 with flag 65316632/15390000 2420.92/2421.74 c cleaning 175000 clauses out of 350046 with flag 66060020/15566000 2449.96/2450.84 c cleaning 176004 clauses out of 352047 with flag 66785784/15743001 2477.60/2478.51 c cleaning 177018 clauses out of 354043 with flag 67543581/15921001 2506.94/2507.55 c cleaning 177996 clauses out of 356024 with flag 68260058/16100000 2535.49/2536.12 c cleaning 178999 clauses out of 358032 with flag 68973696/16280004 2565.72/2566.49 c cleaning 179997 clauses out of 360030 with flag 69688561/16461001 2596.05/2596.72 c cleaning 181000 clauses out of 362035 with flag 70448553/16643003 2625.89/2626.61 c cleaning 182010 clauses out of 364032 with flag 71210925/16826000 2657.12/2657.95 c cleaning 182986 clauses out of 366024 with flag 71991682/17010002 2687.94/2688.87 c cleaning 184005 clauses out of 368036 with flag 72732922/17195000 2721.95/2722.92 c cleaning 185014 clauses out of 370031 with flag 73439016/17381000 2753.17/2754.25 c cleaning 185994 clauses out of 372018 with flag 74219483/17568001 2783.39/2784.44 c cleaning 186995 clauses out of 374023 with flag 75047282/17756000 2813.83/2814.93 c cleaning 188006 clauses out of 376028 with flag 75848590/17945000 2848.15/2849.36 c cleaning 188997 clauses out of 378024 with flag 76673169/18135002 2881.07/2882.32 c cleaning 189998 clauses out of 380026 with flag 77493081/18326001 2912.80/2914.13 c cleaning 191004 clauses out of 382027 with flag 78297178/18518000 2944.90/2946.33 c cleaning 191998 clauses out of 384023 with flag 79098871/18711000 2978.22/2979.70 c cleaning 193003 clauses out of 386026 with flag 79883907/18905001 3010.15/3011.61 c cleaning 194008 clauses out of 388025 with flag 80678154/19100003 3042.08/3043.61 c cleaning 194978 clauses out of 390014 with flag 81498707/19296000 3074.52/3076.19 c cleaning 196014 clauses out of 392036 with flag 82399113/19493000 3106.45/3108.13 c cleaning 197009 clauses out of 394023 with flag 83259927/19691001 3141.48/3143.27 c cleaning 198001 clauses out of 396013 with flag 84082645/19890000 3176.90/3178.74 c cleaning 199002 clauses out of 398012 with flag 84901474/20090000 3213.10/3214.89 c cleaning 200002 clauses out of 400011 with flag 85736339/20291001 3248.63/3250.49 c cleaning 200996 clauses out of 402008 with flag 86586027/20493000 3285.65/3287.50 c cleaning 201996 clauses out of 404012 with flag 87432105/20696000 3319.35/3321.36 c cleaning 202994 clauses out of 406017 with flag 88309084/20900001 3353.25/3354.53 c cleaning 203981 clauses out of 408022 with flag 89203808/21105000 3388.88/3390.29 c cleaning 204987 clauses out of 410041 with flag 90078794/21311000 3422.90/3424.36 c cleaning 206012 clauses out of 412054 with flag 90985399/21518000 3460.32/3461.81 c cleaning 207017 clauses out of 414042 with flag 91861147/21726000 3501.83/3503.30 c cleaning 208008 clauses out of 416025 with flag 92693689/21935000 3541.65/3543.25 c cleaning 209007 clauses out of 418018 with flag 93502281/22145001 3582.37/3584.01 c cleaning 210000 clauses out of 420010 with flag 94336365/22356000 3600.03/3601.71 c starts : 3919 3600.03/3601.72 c conflicts : 22470287 3600.03/3601.72 c decisions : 104691400 3600.03/3601.72 c propagations : 10717684376 3600.03/3601.72 c inspects : 18343492137 3600.03/3601.72 c shortcuts : 0 3600.03/3601.72 c learnt literals : 0 3600.03/3601.72 c learnt binary clauses : 0 3600.03/3601.72 c learnt ternary clauses : 0 3600.03/3601.72 c learnt constraints : 22470287 3600.03/3601.72 c ignored constraints : 0 3600.03/3601.72 c root simplifications : 0 3600.03/3601.72 c removed literals (reason simplification) : 33316337 3600.03/3601.73 c reason swapping (by a shorter reason) : 0 3600.03/3601.73 c Calls to reduceDB : 207 3600.03/3601.73 c Number of update (reduction) of LBD : 11875805 3600.03/3601.73 c Imported unit clauses : 0 3600.03/3601.73 c No decision after first conflict : false 3600.03/3601.73 c number of reductions to clauses (during analyze) : 0 3600.03/3601.73 c number of learned constraints concerned by reduction : 0 3600.03/3601.73 c number of learning phase by resolution : 0 3600.03/3601.73 c number of learning phase by cutting planes : 0 3600.03/3601.73 c number of rounding to 1 operations : 0 3600.03/3601.73 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.03/3601.73 c number of reductions of the coefficients by power 2 : 0 3600.03/3601.73 c number of right shift for reduction by power 2 : 0 3600.03/3601.73 c number of reductions of the coefficients by GCD over coefficients : 0 3600.03/3601.73 c number of ending skipping : 0 3600.03/3601.73 c number of internal skipping : 0 3600.03/3601.73 c number of derivation steps : 0 3600.03/3601.73 c number of skipped derivation steps : 0 3600.03/3601.73 c number of remaining unassigned : 0 3600.03/3601.73 c number of remaining assigned : 0 3600.03/3601.73 c number of falsified literals weakened from reason : 0 3600.03/3601.73 c number of falsified literals weakened from conflict : 0 3600.03/3601.74 c time for arithmetic operations : 0 3600.03/3601.74 c minimum degree of deleted constraints : null 3600.03/3601.74 c maximum degree of deleted constraints : null 3600.03/3601.74 c number of deleted constraints : 0 3600.03/3601.75 c speed (assignments/second) : 2975878.893322512 3600.03/3601.75 c non guided choices : 42 3600.22/3601.81 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 324297 3600.22/3601.81 s SATISFIABLE 3600.22/3601.81 c Found 1 solution(s) 3600.22/3601.82 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 3600.22/3601.82 c objective function=8943592 3600.22/3601.82 c Total wall clock time (in seconds): 3601.695
OK 8943592
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 (61666 MiB free)
memory of node 1: 64465 MiB (61941 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526126-1751628244/watcher-4526126-1751628244 -o /tmp/evaluation-result-4526126-1751628244/solver-4526126-1751628244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751628188-90090 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4526126-1751628244.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=92418, runsolver pid=92415
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.23 4.11 4.10 6/338 92437
/proc/meminfo: memFree=126494936/131250000 swapFree=33010684/33010684
[pid=92418] ppid=92415 vsize=18930384 memory=57836 CPUtime=0.13 cores=5,7
/proc/92418/stat : 92418 (java) S 92415 92418 90077 0 -1 4194304 6590 0 0 0 10 3 0 0 20 0 18 0 78446946 19384713216 14459 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
/proc/92418/statm: 4732596 14459 5330 1 0 547639 0
[pid=92418/tid=92420] ppid=92415 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/92418/task/92420/stat : 92420 (java) R 92415 92418 90077 0 -1 4194368 5094 0 0 0 6 2 0 0 20 0 18 0 78446947 19384713216 14459 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92430] ppid=92415 vsize=18930384 memory=237112656212 CPUtime=0 cores=5,7
/proc/92418/task/92430/stat : 92430 (Finalizer) S 92415 92418 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78446949 19384713216 14459 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92437] ppid=92415 vsize=18930384 memory=60684515937227 CPUtime=0 cores=5,7
/proc/92418/task/92437/stat : 92437 (Common-Cleaner) S 92415 92418 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78446950 19384713216 14459 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57836 KiB
[startup+0.205731 s]*
/proc/loadavg: 4.23 4.11 4.10 8/338 92437
/proc/meminfo: memFree=126456096/131250000 swapFree=33010684/33010684
[pid=92418] ppid=92415 vsize=18930384 memory=68572 CPUtime=0.33 cores=5,7
/proc/92418/stat : 92418 (java) S 92415 92418 90077 0 -1 4194304 7145 0 0 0 29 4 0 0 20 0 18 0 78446946 19384713216 17143 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
/proc/92418/statm: 4732596 17143 5458 1 0 547999 0
[pid=92418/tid=92420] ppid=92415 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=5,7
/proc/92418/task/92420/stat : 92420 (java) R 92415 92418 90077 0 -1 4194368 5366 0 0 0 15 2 0 0 20 0 18 0 78446947 19384713216 17143 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92430] ppid=92415 vsize=18930384 memory=16124 CPUtime=0 cores=5,7
/proc/92418/task/92430/stat : 92430 (Finalizer) S 92415 92418 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78446949 19384713216 17143 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92437] ppid=92415 vsize=18930384 memory=59585004307431 CPUtime=0 cores=5,7
/proc/92418/task/92437/stat : 92437 (Common-Cleaner) S 92415 92418 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78446950 19384713216 17143 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68572 KiB
[startup+0.305681 s]*
/proc/loadavg: 4.23 4.11 4.10 7/339 92438
/proc/meminfo: memFree=126171772/131250000 swapFree=33010684/33010684
[pid=92418] ppid=92415 vsize=18996948 memory=73004 CPUtime=0.51 cores=5,7
/proc/92418/stat : 92418 (java) S 92415 92418 90077 0 -1 4194304 8098 0 0 0 47 4 0 0 20 0 19 0 78446946 19452874752 18251 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
/proc/92418/statm: 4749237 18251 5458 1 0 548753 0
[pid=92418/tid=92420] ppid=92415 vsize=18996948 memory=-6000919485658589798 CPUtime=0.25 cores=5,7
/proc/92418/task/92420/stat : 92420 (java) R 92415 92418 90077 0 -1 4194368 5409 0 0 0 23 2 0 0 20 0 19 0 78446947 19452874752 18251 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92430] ppid=92415 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/92418/task/92430/stat : 92430 (Finalizer) S 92415 92418 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78446949 19452874752 18251 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92437] ppid=92415 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/92418/task/92437/stat : 92437 (Common-Cleaner) S 92415 92418 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78446950 19452874752 18251 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92438] ppid=92415 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/92418/task/92438/stat : 92438 (Timer-0) S 92415 92418 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78446968 19452874752 18251 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 73004 KiB
[startup+0.700217 s]
/proc/loadavg: 4.23 4.11 4.10 7/339 92438
/proc/meminfo: memFree=126108380/131250000 swapFree=33010684/33010684
[pid=92418] ppid=92415 vsize=18996948 memory=84444 CPUtime=1.27 cores=5,7
/proc/92418/stat : 92418 (java) S 92415 92418 90077 0 -1 4194304 11423 0 0 0 122 5 0 0 20 0 19 0 78446946 19452874752 21111 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
/proc/92418/statm: 4749237 21111 5458 1 0 550471 0
[pid=92418/tid=92420] ppid=92415 vsize=18996948 memory=18816 CPUtime=0.63 cores=5,7
/proc/92418/task/92420/stat : 92420 (java) R 92415 92418 90077 0 -1 4194368 5473 0 0 0 60 3 0 0 20 0 19 0 78446947 19452874752 21111 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92430] ppid=92415 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/92418/task/92430/stat : 92430 (Finalizer) S 92415 92418 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78446949 19452874752 21111 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92437] ppid=92415 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/92418/task/92437/stat : 92437 (Common-Cleaner) S 92415 92418 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78446950 19452874752 21111 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92438] ppid=92415 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/92418/task/92438/stat : 92438 (Timer-0) S 92415 92418 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78446968 19452874752 21111 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 84444 KiB
[startup+1.50022 s]
/proc/loadavg: 4.23 4.11 4.10 8/339 92438
/proc/meminfo: memFree=126007108/131250000 swapFree=33010684/33010684
[pid=92418] ppid=92415 vsize=18996948 memory=92140 CPUtime=2.4 cores=5,7
/proc/92418/stat : 92418 (java) S 92415 92418 90077 0 -1 4194304 14537 0 0 0 235 5 0 0 20 0 19 0 78446946 19452874752 23035 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
/proc/92418/statm: 4749237 23035 5458 1 0 550753 0
[pid=92418/tid=92420] ppid=92415 vsize=18996948 memory=10752 CPUtime=1.42 cores=5,7
/proc/92418/task/92420/stat : 92420 (java) R 92415 92418 90077 0 -1 4194368 5650 0 0 0 139 3 0 0 20 0 19 0 78446947 19452874752 23035 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92430] ppid=92415 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/92418/task/92430/stat : 92430 (Finalizer) S 92415 92418 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78446949 19452874752 23035 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92437] ppid=92415 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/92418/task/92437/stat : 92437 (Common-Cleaner) S 92415 92418 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78446950 19452874752 23035 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92438] ppid=92415 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/92418/task/92438/stat : 92438 (Timer-0) S 92415 92418 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78446968 19452874752 23035 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
Current children cumulated CPU time: 2.4 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 92140 KiB
[startup+3.10545 s]
/proc/loadavg: 4.21 4.11 4.10 6/340 92439
/proc/meminfo: memFree=125899248/131250000 swapFree=33010684/33010684
[pid=92418] ppid=92415 vsize=18996948 memory=106940 CPUtime=4.1 cores=5,7
/proc/92418/stat : 92418 (java) S 92415 92418 90077 0 -1 4194304 15983 0 0 0 404 6 0 0 20 0 19 0 78446946 19452874752 26735 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
/proc/92418/statm: 4749237 26735 5458 1 0 550831 0
[pid=92418/tid=92420] ppid=92415 vsize=18996948 memory=10752 CPUtime=3.01 cores=5,7
/proc/92418/task/92420/stat : 92420 (java) R 92415 92418 90077 0 -1 4194368 6158 0 0 0 298 3 0 0 20 0 19 0 78446947 19452874752 26735 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92430] ppid=92415 vsize=18996948 memory=-6000919485658589798 CPUtime=0 cores=5,7
/proc/92418/task/92430/stat : 92430 (Finalizer) S 92415 92418 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78446949 19452874752 26735 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92437] ppid=92415 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/92418/task/92437/stat : 92437 (Common-Cleaner) S 92415 92418 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78446950 19452874752 26735 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92438] ppid=92415 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/92418/task/92438/stat : 92438 (Timer-0) S 92415 92418 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78446968 19452874752 26735 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
Current children cumulated CPU time: 4.1 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 106940 KiB
[startup+6.30022 s]
/proc/loadavg: 4.21 4.11 4.10 5/340 92439
/proc/meminfo: memFree=125723052/131250000 swapFree=33010684/33010684
[pid=92418] ppid=92415 vsize=18996948 memory=136636 CPUtime=7.58 cores=5,7
/proc/92418/stat : 92418 (java) S 92415 92418 90077 0 -1 4194304 19681 0 0 0 752 6 0 0 20 0 19 0 78446946 19452874752 34159 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
/proc/92418/statm: 4749237 34159 5490 1 0 551019 0
[pid=92418/tid=92420] ppid=92415 vsize=18996948 memory=0 CPUtime=6.2 cores=5,7
/proc/92418/task/92420/stat : 92420 (java) R 92415 92418 90077 0 -1 4194368 6853 0 0 0 616 4 0 0 20 0 19 0 78446947 19452874752 34159 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92430] ppid=92415 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/92418/task/92430/stat : 92430 (Finalizer) S 92415 92418 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78446949 19452874752 34159 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92437] ppid=92415 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/92418/task/92437/stat : 92437 (Common-Cleaner) S 92415 92418 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78446950 19452874752 34159 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92438] ppid=92415 vsize=18996948 memory=94188 CPUtime=0 cores=5,7
/proc/92418/task/92438/stat : 92438 (Timer-0) S 92415 92418 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78446968 19452874752 34159 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
Current children cumulated CPU time: 7.58 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 136636 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.11 4.10 5/342 92441
/proc/meminfo: memFree=125534592/131250000 swapFree=33010684/33010684
[pid=92418] ppid=92415 vsize=19063512 memory=180360 CPUtime=13.99 cores=5,7
/proc/92418/stat : 92418 (java) S 92415 92418 90077 0 -1 4194304 22074 0 0 0 1392 7 0 0 20 0 20 0 78446946 19521036288 45090 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
/proc/92418/statm: 4765878 45090 5554 1 0 551324 0
[pid=92418/tid=92420] ppid=92415 vsize=19063512 memory=94188 CPUtime=12.57 cores=5,7
/proc/92418/task/92420/stat : 92420 (java) R 92415 92418 90077 0 -1 4194368 7558 0 0 0 1253 4 0 0 20 0 20 0 78446947 19521036288 45090 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92430] ppid=92415 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/92418/task/92430/stat : 92430 (Finalizer) S 92415 92418 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78446949 19521036288 45090 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92437] ppid=92415 vsize=19063512 memory=180360 CPUtime=0 cores=5,7
/proc/92418/task/92437/stat : 92437 (Common-Cleaner) S 92415 92418 90077 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 78446950 19521036288 45090 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92438] ppid=92415 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/92418/task/92438/stat : 92438 (Timer-0) S 92415 92418 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78446968 19521036288 45090 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
Current children cumulated CPU time: 13.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180360 KiB
[startup+25.5002 s]
/proc/loadavg: 4.23 4.12 4.10 5/342 92441
/proc/meminfo: memFree=125292732/131250000 swapFree=33010684/33010684
[pid=92418] ppid=92415 vsize=19063512 memory=184568 CPUtime=26.84 cores=5,7
/proc/92418/stat : 92418 (java) S 92415 92418 90077 0 -1 4194304 24482 0 0 0 2677 7 0 0 20 0 20 0 78446946 19521036288 46142 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
/proc/92418/statm: 4765878 46142 5554 1 0 551324 0
[pid=92418/tid=92420] ppid=92415 vsize=19063512 memory=10752 CPUtime=25.33 cores=5,7
/proc/92418/task/92420/stat : 92420 (java) R 92415 92418 90077 0 -1 4194368 8240 0 0 0 2529 4 0 0 20 0 20 0 78446947 19521036288 46142 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92430] ppid=92415 vsize=19063512 memory=180360 CPUtime=0 cores=5,7
/proc/92418/task/92430/stat : 92430 (Finalizer) S 92415 92418 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78446949 19521036288 46142 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92437] ppid=92415 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/92418/task/92437/stat : 92437 (Common-Cleaner) S 92415 92418 90077 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 78446950 19521036288 46142 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92438] ppid=92415 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/92418/task/92438/stat : 92438 (Timer-0) S 92415 92418 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78446968 19521036288 46142 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
Current children cumulated CPU time: 26.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184568 KiB
[startup+51.1056 s]
/proc/loadavg: 4.15 4.11 4.09 5/343 92443
/proc/meminfo: memFree=124940136/131250000 swapFree=33010684/33010684
[pid=92418] ppid=92415 vsize=19063512 memory=190748 CPUtime=52.39 cores=5,7
/proc/92418/stat : 92418 (java) S 92415 92418 90077 0 -1 4194304 24559 0 0 0 5231 8 0 0 20 0 20 0 78446946 19521036288 47687 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
/proc/92418/statm: 4765878 47687 5554 1 0 551324 0
[pid=92418/tid=92420] ppid=92415 vsize=19063512 memory=190748 CPUtime=50.84 cores=5,7
/proc/92418/task/92420/stat : 92420 (java) R 92415 92418 90077 0 -1 4194368 8248 0 0 0 5080 4 0 0 20 0 20 0 78446947 19521036288 47687 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92430] ppid=92415 vsize=19063512 memory=190748 CPUtime=0 cores=5,7
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/341 92735
/proc/meminfo: memFree=116101160/131250000 swapFree=33010684/33010684
[pid=92418] ppid=92415 vsize=19063512 memory=2160308 CPUtime=3280.46 cores=5,7
/proc/92418/stat : 92418 (java) S 92415 92418 90077 0 -1 4194304 80907 0 0 0 327940 106 0 0 20 0 20 0 78446946 19521036288 540077 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
/proc/92418/statm: 4765878 540077 5554 1 0 553025 0
[pid=92418/tid=92420] ppid=92415 vsize=19063512 memory=14848 CPUtime=3271.03 cores=5,7
/proc/92418/task/92420/stat : 92420 (java) R 92415 92418 90077 0 -1 4194368 34283 0 0 0 327086 17 0 0 20 0 20 0 78446947 19521036288 540077 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92430] ppid=92415 vsize=19063512 memory=2160308 CPUtime=0 cores=5,7
/proc/92418/task/92430/stat : 92430 (Finalizer) S 92415 92418 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78446949 19521036288 540077 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92437] ppid=92415 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/92418/task/92437/stat : 92437 (Common-Cleaner) S 92415 92418 90077 0 -1 4194368 1247 0 0 0 0 0 0 0 20 0 20 0 78446950 19521036288 540077 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92438] ppid=92415 vsize=19063512 memory=2160308 CPUtime=0 cores=5,7
/proc/92418/task/92438/stat : 92438 (Timer-0) S 92415 92418 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78446968 19521036288 540077 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
Current children cumulated CPU time: 3280.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160308 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/340 92737
/proc/meminfo: memFree=116068504/131250000 swapFree=33010684/33010684
[pid=92418] ppid=92415 vsize=19063512 memory=2160308 CPUtime=3340.3 cores=5,7
/proc/92418/stat : 92418 (java) S 92415 92418 90077 0 -1 4194304 81991 0 0 0 333923 107 0 0 20 0 20 0 78446946 19521036288 540077 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
/proc/92418/statm: 4765878 540077 5554 1 0 553025 0
[pid=92418/tid=92420] ppid=92415 vsize=19063512 memory=2160308 CPUtime=3330.84 cores=5,7
/proc/92418/task/92420/stat : 92420 (java) R 92415 92418 90077 0 -1 4194368 35126 0 0 0 333067 17 0 0 20 0 20 0 78446947 19521036288 540077 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92430] ppid=92415 vsize=19063512 memory=18816 CPUtime=0 cores=5,7
/proc/92418/task/92430/stat : 92430 (Finalizer) S 92415 92418 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78446949 19521036288 540077 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92437] ppid=92415 vsize=19063512 memory=4760 CPUtime=0 cores=5,7
/proc/92418/task/92437/stat : 92437 (Common-Cleaner) S 92415 92418 90077 0 -1 4194368 1360 0 0 0 0 0 0 0 20 0 20 0 78446950 19521036288 540077 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92438] ppid=92415 vsize=19063512 memory=2160308 CPUtime=0 cores=5,7
/proc/92418/task/92438/stat : 92438 (Timer-0) S 92415 92418 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78446968 19521036288 540077 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
Current children cumulated CPU time: 3340.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160308 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/339 92739
/proc/meminfo: memFree=116060312/131250000 swapFree=33010684/33010684
[pid=92418] ppid=92415 vsize=19063512 memory=2166708 CPUtime=3400.95 cores=5,7
/proc/92418/stat : 92418 (java) S 92415 92418 90077 0 -1 4194304 87654 0 0 0 339986 109 0 0 20 0 20 0 78446946 19521036288 541677 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
/proc/92418/statm: 4765878 541677 5554 1 0 554635 0
[pid=92418/tid=92420] ppid=92415 vsize=19063512 memory=2160308 CPUtime=3390.54 cores=5,7
/proc/92418/task/92420/stat : 92420 (java) R 92415 92418 90077 0 -1 4194368 38536 0 0 0 339035 19 0 0 20 0 20 0 78446947 19521036288 541677 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92430] ppid=92415 vsize=19063512 memory=2166708 CPUtime=0 cores=5,7
/proc/92418/task/92430/stat : 92430 (Finalizer) S 92415 92418 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78446949 19521036288 541677 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92437] ppid=92415 vsize=19063512 memory=2166708 CPUtime=0 cores=5,7
/proc/92418/task/92437/stat : 92437 (Common-Cleaner) S 92415 92418 90077 0 -1 4194368 1360 0 0 0 0 0 0 0 20 0 20 0 78446950 19521036288 541677 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92438] ppid=92415 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/92418/task/92438/stat : 92438 (Timer-0) S 92415 92418 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78446968 19521036288 541677 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
Current children cumulated CPU time: 3400.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166708 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/339 92741
/proc/meminfo: memFree=115699984/131250000 swapFree=33010684/33010684
[pid=92418] ppid=92415 vsize=19063512 memory=2166708 CPUtime=3460.82 cores=5,7
/proc/92418/stat : 92418 (java) S 92415 92418 90077 0 -1 4194304 87988 0 0 0 345972 110 0 0 20 0 20 0 78446946 19521036288 541677 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
/proc/92418/statm: 4765878 541677 5554 1 0 554635 0
[pid=92418/tid=92420] ppid=92415 vsize=19063512 memory=2160308 CPUtime=3450.39 cores=5,7
/proc/92418/task/92420/stat : 92420 (java) R 92415 92418 90077 0 -1 4194368 38841 0 0 0 345020 19 0 0 20 0 20 0 78446947 19521036288 541677 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92430] ppid=92415 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/92418/task/92430/stat : 92430 (Finalizer) S 92415 92418 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78446949 19521036288 541677 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92437] ppid=92415 vsize=19063512 memory=18816 CPUtime=0 cores=5,7
/proc/92418/task/92437/stat : 92437 (Common-Cleaner) S 92415 92418 90077 0 -1 4194368 1360 0 0 0 0 0 0 0 20 0 20 0 78446950 19521036288 541677 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92438] ppid=92415 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/92418/task/92438/stat : 92438 (Timer-0) S 92415 92418 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78446968 19521036288 541677 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
Current children cumulated CPU time: 3460.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166708 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/339 92743
/proc/meminfo: memFree=115700120/131250000 swapFree=33010684/33010684
[pid=92418] ppid=92415 vsize=19063512 memory=2166708 CPUtime=3520.79 cores=5,7
/proc/92418/stat : 92418 (java) S 92415 92418 90077 0 -1 4194304 89961 0 0 0 351968 111 0 0 20 0 20 0 78446946 19521036288 541677 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
/proc/92418/statm: 4765878 541677 5554 1 0 554635 0
[pid=92418/tid=92420] ppid=92415 vsize=19063512 memory=18816 CPUtime=3510.15 cores=5,7
/proc/92418/task/92420/stat : 92420 (java) R 92415 92418 90077 0 -1 4194368 39524 0 0 0 350996 19 0 0 20 0 20 0 78446947 19521036288 541677 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92430] ppid=92415 vsize=19063512 memory=2166708 CPUtime=0 cores=5,7
/proc/92418/task/92430/stat : 92430 (Finalizer) S 92415 92418 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78446949 19521036288 541677 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92437] ppid=92415 vsize=19063512 memory=2166708 CPUtime=0 cores=5,7
/proc/92418/task/92437/stat : 92437 (Common-Cleaner) S 92415 92418 90077 0 -1 4194368 1430 0 0 0 0 0 0 0 20 0 20 0 78446950 19521036288 541677 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92438] ppid=92415 vsize=19063512 memory=-4050210904893604751 CPUtime=0 cores=5,7
/proc/92418/task/92438/stat : 92438 (Timer-0) S 92415 92418 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78446968 19521036288 541677 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
Current children cumulated CPU time: 3520.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166708 KiB
[startup+3582.3 s]
/proc/loadavg: 4.44 4.20 4.12 5/339 92748
/proc/meminfo: memFree=115633976/131250000 swapFree=33010684/33010684
[pid=92418] ppid=92415 vsize=19063512 memory=2166708 CPUtime=3580.66 cores=5,7
/proc/92418/stat : 92418 (java) S 92415 92418 90077 0 -1 4194304 90918 0 0 0 357954 112 0 0 20 0 20 0 78446946 19521036288 541677 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
/proc/92418/statm: 4765878 541677 5554 1 0 554635 0
[pid=92418/tid=92420] ppid=92415 vsize=19063512 memory=5632 CPUtime=3570.01 cores=5,7
/proc/92418/task/92420/stat : 92420 (java) R 92415 92418 90077 0 -1 4194368 40220 0 0 0 356982 19 0 0 20 0 20 0 78446947 19521036288 541677 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92430] ppid=92415 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/92418/task/92430/stat : 92430 (Finalizer) S 92415 92418 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78446949 19521036288 541677 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92437] ppid=92415 vsize=19063512 memory=18816 CPUtime=0 cores=5,7
/proc/92418/task/92437/stat : 92437 (Common-Cleaner) S 92415 92418 90077 0 -1 4194368 1511 0 0 0 0 0 0 0 20 0 20 0 78446950 19521036288 541677 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92438] ppid=92415 vsize=19063512 memory=2166708 CPUtime=0 cores=5,7
/proc/92418/task/92438/stat : 92438 (Timer-0) S 92415 92418 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78446968 19521036288 541677 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
Current children cumulated CPU time: 3580.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166708 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3601.7 s]
/proc/loadavg: 4.40 4.20 4.13 5/339 92820
/proc/meminfo: memFree=120683144/131250000 swapFree=33010684/33010684
[pid=92418] ppid=92415 vsize=19063512 memory=2166708 CPUtime=3600.03 cores=5,7
/proc/92418/stat : 92418 (java) S 92415 92418 90077 0 -1 4194304 91021 0 0 0 359890 113 0 0 20 0 20 0 78446946 19521036288 541677 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
/proc/92418/statm: 4765878 541677 5554 1 0 554635 0
[pid=92418/tid=92420] ppid=92415 vsize=19063512 memory=2166708 CPUtime=3589.36 cores=5,7
/proc/92418/task/92420/stat : 92420 (java) R 92415 92418 90077 0 -1 4194368 40314 0 0 0 358917 19 0 0 20 0 20 0 78446947 19521036288 541677 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92430] ppid=92415 vsize=19063512 memory=2166708 CPUtime=0 cores=5,7
/proc/92418/task/92430/stat : 92430 (Finalizer) S 92415 92418 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78446949 19521036288 541677 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92437] ppid=92415 vsize=19063512 memory=2764 CPUtime=0 cores=5,7
/proc/92418/task/92437/stat : 92437 (Common-Cleaner) S 92415 92418 90077 0 -1 4194368 1511 0 0 0 0 0 0 0 20 0 20 0 78446950 19521036288 541677 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92438] ppid=92415 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/92418/task/92438/stat : 92438 (Timer-0) S 92415 92418 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78446968 19521036288 541677 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166708 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3601.84 s]
# the end of solver process 92418 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3599.14 s, system=1.1479 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3601.8 s]
/proc/loadavg: 4.40 4.20 4.13 5/339 92820
/proc/meminfo: memFree=120683144/131250000 swapFree=33010684/33010684
[pid=92418] ppid=92415 vsize=19263204 memory=2167604 CPUtime=3600.22 cores=5,7
/proc/92418/stat : 92418 (java) S 92415 92418 90077 0 -1 4194304 93244 0 0 0 359909 113 0 0 20 0 21 0 78446946 19725520896 541901 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
/proc/92418/statm: 4815801 541901 5554 1 0 555613 0
[pid=92418/tid=92420] ppid=92415 vsize=19263204 memory=-6000919476934240870 CPUtime=3589.45 cores=5,7
/proc/92418/task/92420/stat : 92420 (java) R 92415 92418 90077 0 -1 4194368 40584 0 0 0 358926 19 0 0 20 0 21 0 78446947 19725520896 541901 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92430] ppid=92415 vsize=19263204 memory=5736 CPUtime=0 cores=5,7
/proc/92418/task/92430/stat : 92430 (Finalizer) S 92415 92418 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78446949 19725520896 541901 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
[pid=92418/tid=92437] ppid=92415 vsize=19263204 memory=23424 CPUtime=0 cores=5,7
/proc/92418/task/92437/stat : 92437 (Common-Cleaner) S 92415 92418 90077 0 -1 4194368 1511 0 0 0 0 0 0 0 20 0 21 0 78446950 19725520896 541901 18446744073709551615 94436908691456 94436908695152 140734856219648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94436908702968 94436908703760 94436922765312 140734856227199 140734856227300 140734856227300 140734856232904 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2167604 KiB
Child status: 143
Real time (s): 3601.84
CPU time (s): 3600.29
CPU user time (s): 3599.14
CPU system time (s): 1.1479
CPU usage (%): 99.957
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2167604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.14
system time used= 1.1479
maximum resident set size= 2167732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93513
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104915
involuntary context switches= 2846
# summary of solver processes directly reported to runsolver:
# pid: 92418
# total CPU time (s): 3600.29
# total CPU user time (s): 3599.14
# total CPU system time (s): 1.1479
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01964 second user time and 16.8392 second system time
The end
Begin job on nodeC028 at 2025-07-04 13:24:04 IDJOB=4526126 IDBENCH=143985 IDSOLVER=3380 FILE ID=nodeC028/4526126-1751628244 RUNJOBID= nodeC028-1751628188-90090 SLURM_JOB_ID= 9598960 Free space on /tmp= 431472 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/warehouse/normalized-cap103_wcsp.wbo COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526126-1751628244/watcher-4526126-1751628244 -o /tmp/evaluation-result-4526126-1751628244/solver-4526126-1751628244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751628188-90090 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4526126-1751628244.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ba857364af295ab8f3555d8567fc7cd2 RANDOM SEED=1050147658 nodeC028 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.091 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.088 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 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.280 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 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 : 3600.199 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.076 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 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.865 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.084 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.084 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 126615036 kB MemAvailable: 128588440 kB Buffers: 3280 kB Cached: 2773672 kB SwapCached: 0 kB Active: 1559620 kB Inactive: 2464416 kB Active(anon): 1265152 kB Inactive(anon): 0 kB Active(file): 294468 kB Inactive(file): 2464416 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 8852 kB Writeback: 8 kB AnonPages: 1250220 kB Mapped: 124280 kB Shmem: 18068 kB KReclaimable: 107520 kB Slab: 197296 kB SReclaimable: 107520 kB SUnreclaim: 89776 kB KernelStack: 5152 kB PageTables: 6092 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 7569996 kB VmallocTotal: 34359738367 kB VmallocUsed: 151384 kB VmallocChunk: 0 kB Percpu: 3904 kB HardwareCorrupted: 0 kB AnonHugePages: 1071104 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: 197332 kB DirectMap2M: 7962624 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431476 MiB End job on nodeC028 at 2025-07-04 14:24:06