Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution VeriPB 2025-06-06 | SAT (TO) | 1 | 3561.3 | 3702.85 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_071.opb |
| MD5SUM | ed60cb87c21a2ab9c662251f6e4b174f |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.022653 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 284 |
| Total number of constraints | 71 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 71 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 7 |
| Maximum length of a constraint | 7 |
| Number of terms in the objective function | 71 |
| Biggest coefficient in the objective function | 71 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 2556 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 71 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 2556 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.10/0.19 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.10/0.19 c This is free software under the dual EPL/GNU LGPL licenses. 0.10/0.19 c See www.sat4j.org for details. 0.10/0.21 c version PB25.v20250606 0.28/0.24 c java.runtime.name OpenJDK Runtime Environment 0.28/0.24 c java.vm.name OpenJDK 64-Bit Server VM 0.28/0.24 c java.vm.version 22.0.1+8-16 0.28/0.24 c java.vm.vendor Oracle Corporation 0.28/0.24 c sun.arch.data.model 64 0.28/0.24 c java.version 22.0.1 0.28/0.24 c os.name Linux 0.28/0.24 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.28/0.24 c os.arch amd64 0.28/0.25 c Free memory 2104792832 0.28/0.25 c Max memory 16282288128 0.28/0.25 c Total memory 2113929216 0.28/0.26 c Number of processors 2 0.46/0.37 c Pseudo Boolean Optimization by upper bound 0.46/0.37 c --- Begin Solver configuration --- 0.46/0.37 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.46/0.37 c Learn all clauses as in MiniSAT 0.46/0.37 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.46/0.37 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.46/0.37 c Expensive reason simplification 0.46/0.37 c Glucose 2.1 dynamic restart strategy 0.46/0.37 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.46/0.37 c timeout=2147483s 0.46/0.37 c DB Simplification allowed=false 0.46/0.37 c Listener: none 0.46/0.37 c --- End Solver configuration --- 0.46/0.37 c solving HOME/instance-4518373-1751547548.opb 0.46/0.37 c reading problem ... 0.46/0.38 c using VERIPB proof format 0.46/0.39 c objective function found 0.62/0.45 c ... done. Wall clock time 0.069s. 0.62/0.45 c declared #vars 284 0.62/0.45 c #constraints 142 0.62/0.45 c constraints type 0.62/0.45 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 142 0.62/0.45 c 142 constraints processed. 0.62/0.47 c objective function length is 71 literals 0.97/0.69 c SATISFIABLE 0.97/0.69 c OPTIMIZING... 0.97/0.69 c Got one! Elapsed wall clock time (in seconds):0.317 0.97/0.69 o 20 1.12/0.74 c Got one! Elapsed wall clock time (in seconds):0.371 1.12/0.74 o 5 2.10/1.27 c Got one! Elapsed wall clock time (in seconds):0.902 2.10/1.28 o 2 2.10/1.29 c Got one! Elapsed wall clock time (in seconds):0.92 2.10/1.29 o 1 2.89/1.68 c cleaning 2970 clauses out of 5953 with flag 21270/5953 3.88/2.14 c cleaning 4488 clauses out of 8982 with flag 56805/11952 4.67/2.58 c cleaning 5744 clauses out of 11494 with flag 99381/18952 5.47/2.98 c cleaning 6873 clauses out of 13753 with flag 152541/26955 6.26/3.37 c cleaning 7935 clauses out of 15878 with flag 209924/35953 6.92/3.72 c cleaning 8963 clauses out of 17942 with flag 265554/45952 7.46/4.15 c cleaning 9986 clauses out of 19979 with flag 331516/56952 7.95/4.65 c cleaning 10993 clauses out of 21993 with flag 401059/68952 8.55/5.25 c cleaning 11996 clauses out of 24001 with flag 489232/81953 9.38/6.04 c cleaning 12994 clauses out of 26004 with flag 580913/95952 9.98/6.65 c cleaning 13999 clauses out of 28010 with flag 678317/110952 10.58/7.30 c cleaning 14995 clauses out of 30012 with flag 779398/126953 11.46/8.04 c cleaning 15991 clauses out of 32017 with flag 883461/143953 12.53/9.03 c cleaning 17002 clauses out of 34025 with flag 1004518/161952 13.53/10.03 c cleaning 18000 clauses out of 36024 with flag 1130073/180953 14.46/11.08 c cleaning 19009 clauses out of 38024 with flag 1279666/200953 15.56/12.15 c cleaning 19994 clauses out of 40014 with flag 1439928/221952 16.56/13.17 c cleaning 21008 clauses out of 42024 with flag 1573305/243956 17.64/14.29 c cleaning 21994 clauses out of 44012 with flag 1714836/266952 19.13/15.77 c cleaning 22997 clauses out of 46020 with flag 1866829/290954 20.73/17.30 c cleaning 24005 clauses out of 48022 with flag 2048194/315953 22.13/18.70 c cleaning 25000 clauses out of 50018 with flag 2224660/341954 23.44/20.07 c cleaning 25996 clauses out of 52017 with flag 2406863/368953 25.22/21.86 c cleaning 27004 clauses out of 54020 with flag 2594147/396952 26.72/23.31 c cleaning 27987 clauses out of 56016 with flag 2779204/425952 28.21/24.87 c cleaning 29007 clauses out of 58031 with flag 2971471/455954 29.91/26.56 c cleaning 30000 clauses out of 60024 with flag 3168870/486954 31.72/28.37 c cleaning 31005 clauses out of 62025 with flag 3363303/518955 33.71/30.34 c cleaning 32000 clauses out of 64018 with flag 3585649/551953 36.00/32.68 c cleaning 32996 clauses out of 66017 with flag 3817801/585952 38.70/35.32 c cleaning 34000 clauses out of 68021 with flag 4063632/620952 41.41/38.02 c cleaning 35002 clauses out of 70021 with flag 4302012/656952 43.79/40.42 c cleaning 36002 clauses out of 72019 with flag 4558321/693952 48.13/45.07 c cleaning 37003 clauses out of 74018 with flag 4831748/731953 51.23/48.14 c cleaning 37999 clauses out of 76015 with flag 5134455/770953 53.71/50.69 c cleaning 38989 clauses out of 78015 with flag 5391084/810952 56.22/53.17 c cleaning 40006 clauses out of 80028 with flag 5655159/851954 58.90/55.87 c cleaning 41000 clauses out of 82021 with flag 5955905/893953 62.21/59.19 c cleaning 42000 clauses out of 84020 with flag 6269721/936952 65.20/62.14 c cleaning 43001 clauses out of 86020 with flag 6562222/980952 68.28/65.26 c cleaning 44002 clauses out of 88022 with flag 6857346/1025955 71.77/68.70 c cleaning 44998 clauses out of 90017 with flag 7182019/1071952 75.18/72.11 c cleaning 46002 clauses out of 92019 with flag 7507852/1118952 78.39/75.58 c cleaning 47001 clauses out of 94017 with flag 7823129/1166952 81.88/79.05 c cleaning 47999 clauses out of 96017 with flag 8152323/1215953 85.26/82.46 c cleaning 48999 clauses out of 98017 with flag 8497076/1265952 89.14/86.31 c cleaning 49998 clauses out of 100018 with flag 8864974/1316952 92.73/89.98 c cleaning 51001 clauses out of 102022 with flag 9229927/1368954 96.62/93.82 c cleaning 52001 clauses out of 104021 with flag 9598089/1421954 100.42/97.69 c cleaning 53001 clauses out of 106019 with flag 9975541/1475953 104.61/101.82 c cleaning 53988 clauses out of 108017 with flag 10344664/1530952 109.48/106.99 c cleaning 55011 clauses out of 110031 with flag 10715741/1586954 114.04/111.50 c cleaning 56001 clauses out of 112018 with flag 11109746/1643952 119.30/116.83 c cleaning 56994 clauses out of 114017 with flag 11498989/1701952 123.79/121.38 c cleaning 58004 clauses out of 116026 with flag 11899991/1760955 129.77/127.34 c cleaning 58999 clauses out of 118019 with flag 12303094/1820952 134.65/132.23 c cleaning 60005 clauses out of 120020 with flag 12702380/1881952 140.51/142.41 c cleaning 61002 clauses out of 122016 with flag 13124266/1943953 145.90/147.88 c cleaning 61994 clauses out of 124013 with flag 13573577/2006952 151.27/153.20 c cleaning 62995 clauses out of 126019 with flag 14003582/2070952 156.80/158.71 c cleaning 64006 clauses out of 128024 with flag 14457444/2135952 162.39/164.32 c cleaning 64992 clauses out of 130018 with flag 14903083/2201952 168.58/170.77 c cleaning 66008 clauses out of 132028 with flag 15367564/2268954 175.71/177.82 c cleaning 67000 clauses out of 134019 with flag 15860896/2336953 181.64/183.76 c cleaning 67995 clauses out of 136018 with flag 16336187/2405952 188.32/190.44 c cleaning 69000 clauses out of 138024 with flag 16831016/2475953 194.66/196.77 c cleaning 70002 clauses out of 140026 with flag 17326818/2546955 201.30/203.57 c cleaning 71000 clauses out of 142024 with flag 17826437/2618955 207.80/210.06 c cleaning 72000 clauses out of 144021 with flag 18336330/2691952 214.89/217.19 c cleaning 73004 clauses out of 146021 with flag 18839237/2765952 225.09/227.31 c cleaning 73994 clauses out of 148017 with flag 19422692/2840952 232.27/234.64 c cleaning 75006 clauses out of 150026 with flag 19929343/2916955 241.27/243.68 c cleaning 75995 clauses out of 152017 with flag 20452889/2993952 249.03/251.31 c cleaning 77000 clauses out of 154022 with flag 21008867/3071952 258.11/260.41 c cleaning 78005 clauses out of 156023 with flag 21576934/3150953 266.05/268.52 c cleaning 78993 clauses out of 158018 with flag 22127164/3230953 275.60/278.11 c cleaning 80003 clauses out of 160024 with flag 22707348/3311952 283.63/286.17 c cleaning 81002 clauses out of 162021 with flag 23296993/3393952 292.89/295.64 c cleaning 81999 clauses out of 164020 with flag 23900389/3476953 302.18/305.00 c cleaning 83006 clauses out of 166021 with flag 24537984/3560953 311.43/314.17 c cleaning 83998 clauses out of 168014 with flag 25187907/3645952 323.00/325.91 c cleaning 85000 clauses out of 170016 with flag 25811676/3731952 331.85/334.75 c cleaning 86001 clauses out of 172016 with flag 26407428/3818952 341.44/344.38 c cleaning 86991 clauses out of 174015 with flag 27011825/3906952 352.91/362.94 c cleaning 88008 clauses out of 176026 with flag 27630527/3995954 363.08/373.15 c cleaning 89001 clauses out of 178017 with flag 28271788/4085953 372.60/382.69 c cleaning 90000 clauses out of 180016 with flag 28916858/4176953 382.38/392.64 c cleaning 90993 clauses out of 182016 with flag 29571228/4268953 393.96/404.20 c cleaning 92005 clauses out of 184025 with flag 30236358/4361955 404.67/415.00 c cleaning 92990 clauses out of 186017 with flag 30883392/4455952 415.51/425.99 c cleaning 94002 clauses out of 188027 with flag 31546376/4550952 427.05/437.51 c cleaning 95000 clauses out of 190026 with flag 32219467/4646953 437.55/448.08 c cleaning 96006 clauses out of 192026 with flag 32882498/4743953 449.26/459.84 c cleaning 96993 clauses out of 194019 with flag 33598962/4841952 461.65/472.23 c cleaning 98001 clauses out of 196027 with flag 34305387/4940953 472.89/483.41 c cleaning 99000 clauses out of 198026 with flag 35035249/5040953 485.45/499.99 c cleaning 100001 clauses out of 200025 with flag 35753639/5141952 497.07/511.55 c cleaning 101006 clauses out of 202025 with flag 36461767/5243953 508.60/523.17 c cleaning 102000 clauses out of 204019 with flag 37192521/5346953 521.00/535.50 c cleaning 102997 clauses out of 206018 with flag 37950835/5450952 533.37/547.91 c cleaning 104003 clauses out of 208021 with flag 38705659/5555952 547.33/562.08 c cleaning 104995 clauses out of 210018 with flag 39447443/5661952 560.42/575.09 c cleaning 106000 clauses out of 212023 with flag 40231758/5768952 573.23/587.98 c cleaning 107008 clauses out of 214024 with flag 41026222/5876953 586.85/601.58 c cleaning 107995 clauses out of 216015 with flag 41811235/5985952 601.98/621.96 c cleaning 108997 clauses out of 218020 with flag 42616670/6095952 616.01/635.95 c cleaning 110003 clauses out of 220026 with flag 43416593/6206955 630.62/650.72 c cleaning 111000 clauses out of 222022 with flag 44226667/6318954 645.77/665.85 c cleaning 112000 clauses out of 224020 with flag 45047813/6431952 661.30/681.40 c cleaning 112992 clauses out of 226020 with flag 45908337/6545952 675.93/696.02 c cleaning 113998 clauses out of 228028 with flag 46744133/6660952 691.62/714.12 c cleaning 115000 clauses out of 230032 with flag 47621043/6776954 707.50/730.07 c cleaning 115996 clauses out of 232032 with flag 48460893/6893954 726.99/749.63 c cleaning 117002 clauses out of 234035 with flag 49337304/7011953 744.89/767.60 c cleaning 117990 clauses out of 236034 with flag 50229928/7130954 762.42/785.32 c cleaning 119002 clauses out of 238043 with flag 51104288/7250953 777.54/800.40 c cleaning 120011 clauses out of 240041 with flag 51969570/7371953 797.91/821.44 c cleaning 121011 clauses out of 242029 with flag 52882973/7493952 816.13/839.77 c cleaning 121990 clauses out of 244018 with flag 53778696/7616952 834.89/858.54 c cleaning 123005 clauses out of 246029 with flag 54707312/7740953 854.73/880.92 c cleaning 123999 clauses out of 248023 with flag 55644595/7865952 872.31/898.54 c cleaning 125001 clauses out of 250024 with flag 56543765/7991952 891.26/917.61 c cleaning 126005 clauses out of 252026 with flag 57484341/8118955 908.46/934.97 c cleaning 126999 clauses out of 254018 with flag 58413014/8246952 928.22/954.79 c cleaning 127996 clauses out of 256019 with flag 59432164/8375952 949.37/979.26 c cleaning 129006 clauses out of 258024 with flag 60367540/8505953 967.43/997.31 c cleaning 130000 clauses out of 260020 with flag 61303800/8636955 985.28/1015.11 c cleaning 131006 clauses out of 262017 with flag 62253589/8768952 1003.76/1033.72 c cleaning 132002 clauses out of 264015 with flag 63221130/8901956 1022.75/1052.79 c cleaning 132996 clauses out of 266011 with flag 64186712/9035954 1043.58/1073.75 c cleaning 133999 clauses out of 268014 with flag 65213646/9170953 1063.12/1099.18 c cleaning 135000 clauses out of 270016 with flag 66230737/9306954 1083.73/1119.76 c cleaning 136003 clauses out of 272015 with flag 67214047/9443953 1105.35/1141.55 c cleaning 136996 clauses out of 274011 with flag 68212595/9581952 1126.77/1163.10 c cleaning 137991 clauses out of 276015 with flag 69243514/9720952 1149.16/1185.65 c cleaning 139003 clauses out of 278024 with flag 70280735/9860952 1171.34/1207.88 c cleaning 140005 clauses out of 280022 with flag 71300364/10001953 1193.15/1237.74 c cleaning 140999 clauses out of 282017 with flag 72357086/10143953 1215.48/1271.65 c cleaning 142000 clauses out of 284017 with flag 73408687/10286952 1237.93/1294.18 c cleaning 143001 clauses out of 286017 with flag 74443232/10430952 1259.84/1316.06 c cleaning 144007 clauses out of 288019 with flag 75527784/10575955 1286.09/1342.56 c cleaning 144996 clauses out of 290010 with flag 76671344/10721953 1312.03/1372.38 c cleaning 145997 clauses out of 292015 with flag 77742518/10868954 1336.82/1397.37 c cleaning 147001 clauses out of 294016 with flag 78847701/11016952 1360.43/1421.16 c cleaning 148000 clauses out of 296015 with flag 79967097/11165952 1385.12/1445.93 c cleaning 148997 clauses out of 298015 with flag 81130909/11315952 1408.57/1469.46 c cleaning 150009 clauses out of 300018 with flag 82261676/11466952 1431.86/1492.84 c cleaning 150989 clauses out of 302010 with flag 83400071/11618953 1456.28/1517.40 c cleaning 152006 clauses out of 304022 with flag 84542395/11771954 1480.22/1541.54 c cleaning 152999 clauses out of 306014 with flag 85682944/11925952 1502.75/1564.11 c cleaning 153995 clauses out of 308015 with flag 86859861/12080952 1527.68/1589.02 c cleaning 155005 clauses out of 310020 with flag 88036669/12236952 1553.49/1614.91 c cleaning 155981 clauses out of 312016 with flag 89197743/12393953 1578.22/1639.73 c cleaning 157012 clauses out of 314034 with flag 90357450/12551952 1604.03/1665.62 c cleaning 158005 clauses out of 316024 with flag 91558930/12710954 1632.13/1693.93 c cleaning 159000 clauses out of 318018 with flag 92768353/12870953 1657.30/1719.05 c cleaning 159994 clauses out of 320017 with flag 93967190/13031952 1685.72/1749.24 c cleaning 161007 clauses out of 322023 with flag 95246036/13193952 1710.85/1774.43 c cleaning 162002 clauses out of 324018 with flag 96444638/13356954 1736.95/1800.64 c cleaning 162993 clauses out of 326016 with flag 97674551/13520954 1764.99/1828.70 c cleaning 163998 clauses out of 328022 with flag 98945783/13685953 1803.77/1878.68 c cleaning 165007 clauses out of 330023 with flag 100568367/13851952 1833.53/1908.42 c cleaning 165994 clauses out of 332016 with flag 101843771/14018952 1862.98/1937.99 c cleaning 167008 clauses out of 334023 with flag 103114425/14186953 1891.46/1966.52 c cleaning 168002 clauses out of 336014 with flag 104370685/14355952 1921.58/2004.21 c cleaning 168997 clauses out of 338013 with flag 105636097/14525953 1951.58/2034.33 c cleaning 170001 clauses out of 340016 with flag 106917431/14696953 1983.31/2066.21 c cleaning 170999 clauses out of 342014 with flag 108215168/14868952 2012.20/2095.29 c cleaning 171999 clauses out of 344015 with flag 109526526/15041952 2044.70/2129.60 c cleaning 173002 clauses out of 346018 with flag 110817110/15215954 2075.88/2160.96 c cleaning 174000 clauses out of 348015 with flag 112140973/15390953 2108.11/2193.36 c cleaning 175001 clauses out of 350014 with flag 113483555/15566952 2139.04/2224.38 c cleaning 175996 clauses out of 352013 with flag 114882514/15743952 2172.02/2257.46 c cleaning 176999 clauses out of 354018 with flag 116203338/15921953 2206.85/2297.72 c cleaning 177992 clauses out of 356018 with flag 117546900/16100952 2238.09/2329.07 c cleaning 178999 clauses out of 358026 with flag 118869370/16280952 2270.79/2361.86 c cleaning 180006 clauses out of 360027 with flag 120266444/16461952 2303.58/2394.83 c cleaning 181002 clauses out of 362021 with flag 121671922/16643952 2335.96/2427.36 c cleaning 182002 clauses out of 364019 with flag 123055295/16826952 2369.78/2461.27 c cleaning 182997 clauses out of 366018 with flag 124484661/17010953 2405.45/2496.96 c cleaning 184001 clauses out of 368020 with flag 125906237/17195952 2439.91/2531.40 c cleaning 185004 clauses out of 370021 with flag 127393758/17381954 2472.79/2564.46 c cleaning 185996 clauses out of 372016 with flag 128809254/17568953 2506.71/2598.42 c cleaning 187001 clauses out of 374020 with flag 130251718/17756953 2540.39/2632.41 c cleaning 187996 clauses out of 376018 with flag 131684755/17945952 2576.22/2670.15 c cleaning 189001 clauses out of 378023 with flag 133154925/18135953 2613.21/2712.89 c cleaning 190003 clauses out of 380022 with flag 134603676/18326953 2651.74/2751.44 c cleaning 191001 clauses out of 382018 with flag 136072583/18518952 2688.96/2796.60 c cleaning 192004 clauses out of 384019 with flag 137567956/18711954 2727.07/2834.97 c cleaning 192999 clauses out of 386013 with flag 139044497/18905952 2765.51/2880.95 c cleaning 193998 clauses out of 388015 with flag 140602080/19100953 2803.43/2919.00 c cleaning 195002 clauses out of 390016 with flag 142074054/19296952 2844.33/2960.09 c cleaning 195995 clauses out of 392014 with flag 143582810/19493952 2883.54/2999.38 c cleaning 196996 clauses out of 394019 with flag 145126928/19691952 2925.66/3041.41 c cleaning 198012 clauses out of 396024 with flag 146698743/19890953 2966.78/3086.62 c cleaning 198995 clauses out of 398012 with flag 148228699/20090953 3004.53/3124.47 c cleaning 200001 clauses out of 400018 with flag 149781783/20291954 3041.82/3161.81 c cleaning 201003 clauses out of 402018 with flag 151393176/20493955 3080.75/3200.86 c cleaning 201996 clauses out of 404012 with flag 152998711/20696952 3122.95/3252.23 c cleaning 203001 clauses out of 406016 with flag 154581520/20900952 3164.55/3293.95 c cleaning 204002 clauses out of 408017 with flag 156249924/21105954 3206.21/3335.65 c cleaning 204998 clauses out of 410014 with flag 157941766/21311953 3248.52/3378.15 c cleaning 205991 clauses out of 412016 with flag 159563941/21518953 3292.57/3422.25 c cleaning 206999 clauses out of 414026 with flag 161205491/21726954 3334.79/3470.87 c cleaning 208000 clauses out of 416026 with flag 162868729/21935953 3379.81/3515.94 c cleaning 209002 clauses out of 418027 with flag 164529202/22145954 3424.44/3560.87 c cleaning 210000 clauses out of 420023 with flag 166189628/22356952 3477.54/3614.10 c cleaning 210999 clauses out of 422023 with flag 167979725/22568952 3522.19/3661.35 c cleaning 212005 clauses out of 424025 with flag 169650323/22781953 3560.74/3700.05 c starts : 26168 3560.74/3700.06 c conflicts : 22971425 3560.74/3700.06 c decisions : 28375445 3560.74/3700.06 c propagations : 421797833 3560.74/3700.06 c inspects : 52539010457 3560.74/3700.06 c shortcuts : 0 3560.74/3700.06 c learnt literals : 0 3560.74/3700.06 c learnt binary clauses : 0 3560.74/3700.06 c learnt ternary clauses : 0 3560.74/3700.06 c learnt constraints : 22971425 3560.74/3700.06 c ignored constraints : 0 3560.74/3700.06 c root simplifications : 0 3560.74/3700.06 c removed literals (reason simplification) : 40438209 3560.74/3700.06 c reason swapping (by a shorter reason) : 0 3560.74/3700.07 c Calls to reduceDB : 209 3560.74/3700.08 c Number of update (reduction) of LBD : 6431061 3560.74/3700.08 c Imported unit clauses : 0 3560.74/3700.08 c No decision after first conflict : false 3560.74/3700.08 c number of reductions to clauses (during analyze) : 0 3560.74/3700.08 c number of learned constraints concerned by reduction : 0 3560.74/3700.08 c number of learning phase by resolution : 0 3560.74/3700.08 c number of learning phase by cutting planes : 0 3560.74/3700.08 c number of rounding to 1 operations : 0 3560.74/3700.08 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3560.74/3700.08 c number of reductions of the coefficients by power 2 : 0 3560.74/3700.08 c number of right shift for reduction by power 2 : 0 3560.74/3700.08 c number of reductions of the coefficients by GCD over coefficients : 0 3560.74/3700.08 c number of ending skipping : 0 3560.74/3700.08 c number of internal skipping : 0 3560.74/3700.08 c number of derivation steps : 0 3560.74/3700.08 c number of skipped derivation steps : 0 3560.74/3700.09 c number of remaining unassigned : 0 3560.74/3700.09 c number of remaining assigned : 0 3560.74/3700.09 c number of falsified literals weakened from reason : 0 3560.74/3700.09 c number of falsified literals weakened from conflict : 0 3560.74/3700.09 c time for arithmetic operations : 0 3560.74/3700.10 c minimum degree of deleted constraints : null 3560.74/3700.10 c maximum degree of deleted constraints : null 3560.74/3700.10 c number of deleted constraints : 0 3560.74/3700.10 c speed (assignments/second) : 114011.61664870079 3560.74/3700.10 c non guided choices : 31442 3561.10/3700.27 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 401492 3561.10/3700.27 s SATISFIABLE 3561.10/3700.27 c Found 4 solution(s) 3561.10/3700.28 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 3561.10/3700.28 c objective function=1 3561.10/3700.28 c Total wall clock time (in seconds): 3699.904
OK 1
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: 63794 MiB (62987 MiB free)
memory of node 1: 64507 MiB (62192 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518373-1751547548/watcher-4518373-1751547548 -o /tmp/evaluation-result-4518373-1751547548/solver-4518373-1751547548 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751547548-78255 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4518373-1751547548 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4518373-1751547548.opb
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=78303, runsolver pid=78294
Current StackSize limit: 8192 KiB
[startup+0.100075 s]*
/proc/loadavg: 0.83 1.02 1.07 11/319 78380
/proc/meminfo: memFree=128084528/131382120 swapFree=33010416/33010684
[pid=78303] ppid=78294 vsize=18930384 memory=46680 CPUtime=0.1 cores=5,7
/proc/78303/stat : 78303 (java) S 78294 78303 78242 0 -1 4194304 5545 0 0 0 6 4 0 0 20 0 18 0 70434199 19384713216 11670 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
/proc/78303/statm: 4732596 11670 5126 1 0 546769 0
[pid=78303/tid=78319] ppid=78294 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=5,7
/proc/78303/task/78319/stat : 78319 (java) R 78294 78303 78242 0 -1 4194368 4615 0 0 0 4 3 0 0 20 0 18 0 70434202 19384713216 11670 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78355] ppid=78294 vsize=18930320 memory=12896 CPUtime=0 cores=5,7
/proc/78303/task/78355/stat : 78355 (Finalizer) S 78294 78303 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70434207 19384647680 11670 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78376] ppid=78294 vsize=18930384 memory=57394570986489 CPUtime=0 cores=5,7
/proc/78303/task/78376/stat : 78376 (Common-Cleaner) S 78294 78303 78242 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 70434208 19384713216 11670 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 46680 KiB
[startup+0.221355 s]*
/proc/loadavg: 0.83 1.02 1.07 12/319 78380
/proc/meminfo: memFree=128065968/131382120 swapFree=33010416/33010684
[pid=78303] ppid=78294 vsize=18930384 memory=52304 CPUtime=0.28 cores=5,7
/proc/78303/stat : 78303 (java) S 78294 78303 78242 0 -1 4194304 6202 0 0 0 23 5 0 0 20 0 18 0 70434199 19384713216 13076 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
/proc/78303/statm: 4732596 13076 5350 1 0 547306 0
[pid=78303/tid=78319] ppid=78294 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=5,7
/proc/78303/task/78319/stat : 78319 (java) R 78294 78303 78242 0 -1 4194368 4974 0 0 0 14 3 0 0 20 0 18 0 70434202 19384713216 13076 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78355] ppid=78294 vsize=18930384 memory=12896 CPUtime=0 cores=5,7
/proc/78303/task/78355/stat : 78355 (Finalizer) S 78294 78303 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70434207 19384713216 13076 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78376] ppid=78294 vsize=18930384 memory=57394570986489 CPUtime=0 cores=5,7
/proc/78303/task/78376/stat : 78376 (Common-Cleaner) S 78294 78303 78242 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 70434208 19384713216 13076 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52304 KiB
[startup+0.313239 s]*
/proc/loadavg: 0.83 1.02 1.07 8/319 78380
/proc/meminfo: memFree=128048668/131382120 swapFree=33010416/33010684
[pid=78303] ppid=78294 vsize=18930384 memory=58304 CPUtime=0.46 cores=5,7
/proc/78303/stat : 78303 (java) S 78294 78303 78242 0 -1 4194304 6709 0 0 0 39 7 0 0 20 0 18 0 70434199 19384713216 14576 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
/proc/78303/statm: 4732596 14576 5350 1 0 547737 0
[pid=78303/tid=78319] ppid=78294 vsize=18930384 memory=-6000919481229534312 CPUtime=0.26 cores=5,7
/proc/78303/task/78319/stat : 78319 (java) R 78294 78303 78242 0 -1 4194368 5148 0 0 0 22 4 0 0 20 0 18 0 70434202 19384713216 14576 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78355] ppid=78294 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/78303/task/78355/stat : 78355 (Finalizer) S 78294 78303 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70434207 19384713216 14576 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78376] ppid=78294 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/78303/task/78376/stat : 78376 (Common-Cleaner) S 78294 78303 78242 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 70434208 19384713216 14576 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58304 KiB
[startup+0.700401 s]
/proc/loadavg: 0.83 1.02 1.07 14/322 78383
/proc/meminfo: memFree=128038964/131382120 swapFree=33010416/33010684
[pid=78303] ppid=78294 vsize=18996948 memory=68968 CPUtime=1.12 cores=5,7
/proc/78303/stat : 78303 (java) S 78294 78303 78242 0 -1 4194304 8150 0 0 0 103 9 0 0 20 0 19 0 70434199 19452874752 17242 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
/proc/78303/statm: 4749237 17242 5478 1 0 548830 0
[pid=78303/tid=78319] ppid=78294 vsize=18996948 memory=18432 CPUtime=0.57 cores=5,7
/proc/78303/task/78319/stat : 78319 (java) R 78294 78303 78242 0 -1 4194368 5435 0 0 0 52 5 0 0 20 0 19 0 70434202 19452874752 17242 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78355] ppid=78294 vsize=18996948 memory=11136 CPUtime=0 cores=5,7
/proc/78303/task/78355/stat : 78355 (Finalizer) S 78294 78303 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70434207 19452874752 17242 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78376] ppid=78294 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/78303/task/78376/stat : 78376 (Common-Cleaner) S 78294 78303 78242 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 70434208 19452874752 17242 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78383] ppid=78294 vsize=18996948 memory=4752 CPUtime=0 cores=5,7
/proc/78303/task/78383/stat : 78383 (Timer-0) S 78294 78303 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70434248 19452874752 17242 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 68968 KiB
[startup+1.50032 s]
/proc/loadavg: 0.83 1.02 1.07 10/323 78384
/proc/meminfo: memFree=127919680/131382120 swapFree=33010416/33010684
[pid=78303] ppid=78294 vsize=18996948 memory=159624 CPUtime=2.69 cores=5,7
/proc/78303/stat : 78303 (java) S 78294 78303 78242 0 -1 4194304 17711 0 0 0 255 14 0 0 20 0 19 0 70434199 19452874752 39906 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
/proc/78303/statm: 4749237 39906 5478 1 0 553012 0
[pid=78303/tid=78319] ppid=78294 vsize=18996948 memory=0 CPUtime=1.29 cores=5,7
/proc/78303/task/78319/stat : 78319 (java) R 78294 78303 78242 0 -1 4194368 6032 0 0 0 121 8 0 0 20 0 19 0 70434202 19452874752 39906 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78355] ppid=78294 vsize=18996948 memory=11136 CPUtime=0 cores=5,7
/proc/78303/task/78355/stat : 78355 (Finalizer) S 78294 78303 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70434207 19452874752 39906 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78376] ppid=78294 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/78303/task/78376/stat : 78376 (Common-Cleaner) S 78294 78303 78242 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 70434208 19452874752 39906 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78383] ppid=78294 vsize=18996948 memory=4752 CPUtime=0 cores=5,7
/proc/78303/task/78383/stat : 78383 (Timer-0) S 78294 78303 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70434248 19452874752 39906 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 159624 KiB
[startup+3.10608 s]
/proc/loadavg: 0.83 1.02 1.07 9/327 78388
/proc/meminfo: memFree=127508136/131382120 swapFree=33010416/33010684
[pid=78303] ppid=78294 vsize=19063512 memory=205124 CPUtime=5.87 cores=5,7
/proc/78303/stat : 78303 (java) S 78294 78303 78242 0 -1 4194304 22663 0 0 0 568 19 0 0 20 0 20 0 70434199 19521036288 51281 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
/proc/78303/statm: 4765878 51281 5510 1 0 554366 0
[pid=78303/tid=78319] ppid=78294 vsize=19063512 memory=11136 CPUtime=2.83 cores=5,7
/proc/78303/task/78319/stat : 78319 (java) R 78294 78303 78242 0 -1 4194368 6986 0 0 0 272 11 0 0 20 0 20 0 70434202 19521036288 51281 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78355] ppid=78294 vsize=19063512 memory=-6000919489819468904 CPUtime=0 cores=5,7
/proc/78303/task/78355/stat : 78355 (Finalizer) S 78294 78303 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434207 19521036288 51281 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78376] ppid=78294 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/78303/task/78376/stat : 78376 (Common-Cleaner) S 78294 78303 78242 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 51281 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78383] ppid=78294 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/78303/task/78383/stat : 78383 (Timer-0) S 78294 78303 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434248 19521036288 51281 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
Current children cumulated CPU time: 5.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 205124 KiB
[startup+6.30046 s]
/proc/loadavg: 1.16 1.09 1.09 5/327 78388
/proc/meminfo: memFree=126212912/131382120 swapFree=33010416/33010684
[pid=78303] ppid=78294 vsize=19063512 memory=684948 CPUtime=9.66 cores=5,7
/proc/78303/stat : 78303 (java) S 78294 78303 78242 0 -1 4194304 23389 0 0 0 935 31 0 0 20 0 20 0 70434199 19521036288 171237 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
/proc/78303/statm: 4765878 171237 5510 1 0 554384 0
[pid=78303/tid=78319] ppid=78294 vsize=19063512 memory=0 CPUtime=5.96 cores=5,7
/proc/78303/task/78319/stat : 78319 (java) R 78294 78303 78242 0 -1 4194368 7524 0 0 0 574 22 0 0 20 0 20 0 70434202 19521036288 171237 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78355] ppid=78294 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/78303/task/78355/stat : 78355 (Finalizer) S 78294 78303 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434207 19521036288 171237 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78376] ppid=78294 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/78303/task/78376/stat : 78376 (Common-Cleaner) S 78294 78303 78242 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 171237 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78383] ppid=78294 vsize=19063512 memory=173100 CPUtime=0 cores=5,7
/proc/78303/task/78383/stat : 78383 (Timer-0) S 78294 78303 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434248 19521036288 171237 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
Current children cumulated CPU time: 9.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 684948 KiB
[startup+12.7005 s]
/proc/loadavg: 1.39 1.14 1.11 5/330 78391
/proc/meminfo: memFree=124236952/131382120 swapFree=33010416/33010684
[pid=78303] ppid=78294 vsize=19063512 memory=1309632 CPUtime=16.14 cores=5,7
/proc/78303/stat : 78303 (java) S 78294 78303 78242 0 -1 4194304 26584 0 0 0 1566 48 0 0 20 0 20 0 70434199 19521036288 327408 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
/proc/78303/statm: 4765878 327408 5510 1 0 554384 0
[pid=78303/tid=78319] ppid=78294 vsize=19063512 memory=173100 CPUtime=12.24 cores=5,7
/proc/78303/task/78319/stat : 78319 (java) R 78294 78303 78242 0 -1 4194368 8800 0 0 0 1185 39 0 0 20 0 20 0 70434202 19521036288 327408 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78355] ppid=78294 vsize=19063512 memory=1309632 CPUtime=0 cores=5,7
/proc/78303/task/78355/stat : 78355 (Finalizer) S 78294 78303 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434207 19521036288 327408 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78376] ppid=78294 vsize=19063512 memory=1309632 CPUtime=0 cores=5,7
/proc/78303/task/78376/stat : 78376 (Common-Cleaner) S 78294 78303 78242 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 327408 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78383] ppid=78294 vsize=19063512 memory=14304 CPUtime=0 cores=5,7
/proc/78303/task/78383/stat : 78383 (Timer-0) S 78294 78303 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434248 19521036288 327408 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
Current children cumulated CPU time: 16.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1309632 KiB
[startup+25.5005 s]
/proc/loadavg: 1.97 1.28 1.15 5/330 78391
/proc/meminfo: memFree=122582176/131382120 swapFree=33010416/33010684
[pid=78303] ppid=78294 vsize=19063512 memory=1324000 CPUtime=28.92 cores=5,7
/proc/78303/stat : 78303 (java) S 78294 78303 78242 0 -1 4194304 29583 0 0 0 2836 56 0 0 20 0 20 0 70434199 19521036288 331000 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
/proc/78303/statm: 4765878 331000 5510 1 0 554384 0
[pid=78303/tid=78319] ppid=78294 vsize=19063512 memory=1309632 CPUtime=24.9 cores=5,7
/proc/78303/task/78319/stat : 78319 (java) R 78294 78303 78242 0 -1 4194368 10006 0 0 0 2445 45 0 0 20 0 20 0 70434202 19521036288 331000 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78355] ppid=78294 vsize=19063512 memory=1311692 CPUtime=0 cores=5,7
/proc/78303/task/78355/stat : 78355 (Finalizer) S 78294 78303 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434207 19521036288 331000 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78376] ppid=78294 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/78303/task/78376/stat : 78376 (Common-Cleaner) S 78294 78303 78242 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 331000 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78383] ppid=78294 vsize=19063512 memory=1324000 CPUtime=0 cores=5,7
/proc/78303/task/78383/stat : 78383 (Timer-0) S 78294 78303 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434248 19521036288 331000 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
Current children cumulated CPU time: 28.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1324000 KiB
[startup+51.1136 s]
/proc/loadavg: 2.79 1.53 1.24 5/331 78393
/proc/meminfo: memFree=122217360/131382120 swapFree=33010416/33010684
[pid=78303] ppid=78294 vsize=19063512 memory=1330284 CPUtime=54.22 cores=5,7
/proc/78303/stat : 78303 (java) S 78294 78303 78242 0 -1 4194304 32218 0 0 0 5351 71 0 0 20 0 20 0 70434199 19521036288 332571 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
/proc/78303/statm: 4765878 332571 5542 1 0 554384 0
[pid=78303/tid=78319] ppid=78294 vsize=19063512 memory=1324128 CPUtime=49.94 cores=5,7
/proc/78303/task/78319/stat : 78319 (java) R 78294 78303 78242 0 -1 4194368 11438 0 0 0 4935 59 0 0 20 0 20 0 70434202 19521036288 332571 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78355] ppid=78294 vsize=19063512 memory=1324128 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/78303/task/78319/stat : 78319 (java) R 78294 78303 78242 0 -1 4194368 45268 0 0 0 316518 873 0 0 20 0 20 0 70434202 19521036288 547837 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78355] ppid=78294 vsize=19063512 memory=2191348 CPUtime=0 cores=5,7
/proc/78303/task/78355/stat : 78355 (Finalizer) S 78294 78303 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434207 19521036288 547837 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78376] ppid=78294 vsize=19063512 memory=2191348 CPUtime=0 cores=5,7
/proc/78303/task/78376/stat : 78376 (Common-Cleaner) S 78294 78303 78242 0 -1 4194368 1489 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 547837 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78383] ppid=78294 vsize=19063512 memory=2191348 CPUtime=0 cores=5,7
/proc/78303/task/78383/stat : 78383 (Timer-0) S 78294 78303 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434248 19521036288 547837 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
Current children cumulated CPU time: 3212.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2191348 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.17 4.10 5/335 78594
/proc/meminfo: memFree=100703764/131382120 swapFree=33010416/33010684
[pid=78303] ppid=78294 vsize=19063512 memory=2191348 CPUtime=3272.72 cores=5,7
/proc/78303/stat : 78303 (java) S 78294 78303 78242 0 -1 4194304 101917 0 0 0 326168 1104 0 0 20 0 20 0 70434199 19521036288 547837 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
/proc/78303/statm: 4765878 547837 5574 1 0 559749 0
[pid=78303/tid=78319] ppid=78294 vsize=19063512 memory=2191348 CPUtime=3233 cores=5,7
/proc/78303/task/78319/stat : 78319 (java) R 78294 78303 78242 0 -1 4194368 45673 0 0 0 322413 887 0 0 20 0 20 0 70434202 19521036288 547837 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78355] ppid=78294 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/78303/task/78355/stat : 78355 (Finalizer) S 78294 78303 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434207 19521036288 547837 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78376] ppid=78294 vsize=19063512 memory=2191348 CPUtime=0 cores=5,7
/proc/78303/task/78376/stat : 78376 (Common-Cleaner) S 78294 78303 78242 0 -1 4194368 1489 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 547837 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78383] ppid=78294 vsize=19063512 memory=-6000919489819468904 CPUtime=0 cores=5,7
/proc/78303/task/78383/stat : 78383 (Timer-0) S 78294 78303 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434248 19521036288 547837 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
Current children cumulated CPU time: 3272.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2191348 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.18 4.10 5/334 78596
/proc/meminfo: memFree=100448388/131382120 swapFree=33010416/33010684
[pid=78303] ppid=78294 vsize=19063512 memory=2191348 CPUtime=3326.4 cores=5,7
/proc/78303/stat : 78303 (java) S 78294 78303 78242 0 -1 4194304 103415 0 0 0 331520 1120 0 0 20 0 20 0 70434199 19521036288 547837 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
/proc/78303/statm: 4765878 547837 5574 1 0 559760 0
[pid=78303/tid=78319] ppid=78294 vsize=19063512 memory=2191348 CPUtime=3286.24 cores=5,7
/proc/78303/task/78319/stat : 78319 (java) R 78294 78303 78242 0 -1 4194368 46893 0 0 0 327724 900 0 0 20 0 20 0 70434202 19521036288 547837 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78355] ppid=78294 vsize=19063512 memory=2191348 CPUtime=0 cores=5,7
/proc/78303/task/78355/stat : 78355 (Finalizer) S 78294 78303 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434207 19521036288 547837 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78376] ppid=78294 vsize=19063512 memory=2191348 CPUtime=0 cores=5,7
/proc/78303/task/78376/stat : 78376 (Common-Cleaner) S 78294 78303 78242 0 -1 4194368 1490 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 547837 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78383] ppid=78294 vsize=19063512 memory=-6000919489819468904 CPUtime=0 cores=5,7
/proc/78303/task/78383/stat : 78383 (Timer-0) S 78294 78303 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434248 19521036288 547837 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
Current children cumulated CPU time: 3326.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2191348 KiB
[startup+3522.3 s]
/proc/loadavg: 4.27 4.19 4.11 5/333 78598
/proc/meminfo: memFree=100172928/131382120 swapFree=33010416/33010684
[pid=78303] ppid=78294 vsize=19063512 memory=2191476 CPUtime=3386.2 cores=5,7
/proc/78303/stat : 78303 (java) S 78294 78303 78242 0 -1 4194304 105283 0 0 0 337485 1135 0 0 20 0 20 0 70434199 19521036288 547869 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
/proc/78303/statm: 4765878 547869 5574 1 0 559760 0
[pid=78303/tid=78319] ppid=78294 vsize=19063512 memory=-6000919489819468904 CPUtime=3345.25 cores=5,7
/proc/78303/task/78319/stat : 78319 (java) R 78294 78303 78242 0 -1 4194368 48124 0 0 0 333613 912 0 0 20 0 20 0 70434202 19521036288 547869 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78355] ppid=78294 vsize=19063512 memory=2191476 CPUtime=0 cores=5,7
/proc/78303/task/78355/stat : 78355 (Finalizer) S 78294 78303 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434207 19521036288 547869 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78376] ppid=78294 vsize=19063512 memory=2191476 CPUtime=0 cores=5,7
/proc/78303/task/78376/stat : 78376 (Common-Cleaner) S 78294 78303 78242 0 -1 4194368 1544 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 547869 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78383] ppid=78294 vsize=19063512 memory=14304 CPUtime=0 cores=5,7
/proc/78303/task/78383/stat : 78383 (Timer-0) S 78294 78303 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434248 19521036288 547869 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
Current children cumulated CPU time: 3386.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2191476 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.19 4.11 5/333 78600
/proc/meminfo: memFree=99904744/131382120 swapFree=33010416/33010684
[pid=78303] ppid=78294 vsize=19063512 memory=2191476 CPUtime=3445.91 cores=5,7
/proc/78303/stat : 78303 (java) S 78294 78303 78242 0 -1 4194304 105433 0 0 0 343441 1150 0 0 20 0 20 0 70434199 19521036288 547869 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
/proc/78303/statm: 4765878 547869 5574 1 0 559760 0
[pid=78303/tid=78319] ppid=78294 vsize=19063512 memory=2191476 CPUtime=3404.21 cores=5,7
/proc/78303/task/78319/stat : 78319 (java) R 78294 78303 78242 0 -1 4194368 48132 0 0 0 339497 924 0 0 20 0 20 0 70434202 19521036288 547869 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78355] ppid=78294 vsize=19063512 memory=2191476 CPUtime=0 cores=5,7
/proc/78303/task/78355/stat : 78355 (Finalizer) S 78294 78303 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434207 19521036288 547869 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78376] ppid=78294 vsize=19063512 memory=14304 CPUtime=0 cores=5,7
/proc/78303/task/78376/stat : 78376 (Common-Cleaner) S 78294 78303 78242 0 -1 4194368 1599 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 547869 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78383] ppid=78294 vsize=19063512 memory=2191476 CPUtime=0 cores=5,7
/proc/78303/task/78383/stat : 78383 (Timer-0) S 78294 78303 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434248 19521036288 547869 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
Current children cumulated CPU time: 3445.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2191476 KiB
[startup+3642.3 s]
/proc/loadavg: 4.08 4.15 4.10 5/328 78602
/proc/meminfo: memFree=99676004/131382120 swapFree=33010416/33010684
[pid=78303] ppid=78294 vsize=19063512 memory=2191476 CPUtime=3503.24 cores=5,7
/proc/78303/stat : 78303 (java) S 78294 78303 78242 0 -1 4194304 105480 0 0 0 349161 1163 0 0 20 0 20 0 70434199 19521036288 547869 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
/proc/78303/statm: 4765878 547869 5574 1 0 559760 0
[pid=78303/tid=78319] ppid=78294 vsize=19063512 memory=2191476 CPUtime=3461.02 cores=5,7
/proc/78303/task/78319/stat : 78319 (java) R 78294 78303 78242 0 -1 4194368 48135 0 0 0 345168 934 0 0 20 0 20 0 70434202 19521036288 547869 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78355] ppid=78294 vsize=19063512 memory=2191476 CPUtime=0 cores=5,7
/proc/78303/task/78355/stat : 78355 (Finalizer) S 78294 78303 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434207 19521036288 547869 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78376] ppid=78294 vsize=19063512 memory=14304 CPUtime=0 cores=5,7
/proc/78303/task/78376/stat : 78376 (Common-Cleaner) S 78294 78303 78242 0 -1 4194368 1599 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 547869 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78383] ppid=78294 vsize=19063512 memory=2172188 CPUtime=0 cores=5,7
/proc/78303/task/78383/stat : 78383 (Timer-0) S 78294 78303 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434248 19521036288 547869 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
Current children cumulated CPU time: 3503.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2191476 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 4.18 4.17 4.10 6/331 78607
/proc/meminfo: memFree=99401572/131382120 swapFree=33010416/33010684
[pid=78303] ppid=78294 vsize=19063512 memory=2191476 CPUtime=3560.74 cores=5,7
/proc/78303/stat : 78303 (java) S 78294 78303 78242 0 -1 4194304 106164 0 0 0 354896 1178 0 0 20 0 20 0 70434199 19521036288 547869 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
/proc/78303/statm: 4765878 547869 5574 1 0 559760 0
[pid=78303/tid=78319] ppid=78294 vsize=19063512 memory=-6000919481229534312 CPUtime=3518.06 cores=5,7
/proc/78303/task/78319/stat : 78319 (java) R 78294 78303 78242 0 -1 4194368 48790 0 0 0 350861 945 0 0 20 0 20 0 70434202 19521036288 547869 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78355] ppid=78294 vsize=19063512 memory=6452091047492216896 CPUtime=0 cores=5,7
/proc/78303/task/78355/stat : 78355 (Finalizer) S 78294 78303 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434207 19521036288 547869 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78376] ppid=78294 vsize=19063512 memory=2191476 CPUtime=0 cores=5,7
/proc/78303/task/78376/stat : 78376 (Common-Cleaner) S 78294 78303 78242 0 -1 4194368 1599 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 547869 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
[pid=78303/tid=78383] ppid=78294 vsize=19063512 memory=2129328 CPUtime=0 cores=5,7
/proc/78303/task/78383/stat : 78383 (Timer-0) S 78294 78303 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434248 19521036288 547869 18446744073709551615 94738051088384 94738051092080 140731589095248 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94738051099896 94738051100688 94738052087808 140731589097776 140731589097958 140731589097958 140731589103560 0
Current children cumulated CPU time: 3560.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2191476 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3702.85 s]
# the end of solver process 78303 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3549.49 s, system=11.8098 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3700.8 s]
/proc/loadavg: 4.18 4.17 4.10 2/258 78618
/proc/meminfo: memFree=107512792/131382120 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3701.6 s]
/proc/loadavg: 4.18 4.17 4.10 1/258 78618
/proc/meminfo: memFree=107543800/131382120 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3702 s]*
/proc/loadavg: 4.18 4.17 4.10 2/258 78618
/proc/meminfo: memFree=107543552/131382120 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3702.85
CPU time (s): 3561.3
CPU user time (s): 3549.49
CPU system time (s): 11.8098
CPU usage (%): 96.1774
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2192372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3549.49
system time used= 11.8098
maximum resident set size= 2192372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108473
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13892976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123119
involuntary context switches= 12819
# summary of solver processes directly reported to runsolver:
# pid: 78303
# total CPU time (s): 3561.3
# total CPU user time (s): 3549.49
# total CPU system time (s): 11.8098
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.9075 second user time and 38.8831 second system time
The end
Begin job on nodeC006 at 2025-07-03 14:59:08 IDJOB=4518373 IDBENCH=177029 IDSOLVER=3364 FILE ID=nodeC006/4518373-1751547548 RUNJOBID= nodeC006-1751547548-78255 SLURM_JOB_ID= 9598718 Free space on /tmp= 432164 MiB SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/linear/normalized-evencolouring_opt_linear_random6regular_nvert_071.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518373-1751547548/watcher-4518373-1751547548 -o /tmp/evaluation-result-4518373-1751547548/solver-4518373-1751547548 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751547548-78255 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4518373-1751547548 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4518373-1751547548.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ed60cb87c21a2ab9c662251f6e4b174f RANDOM SEED=1117943236 nodeC006 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 : 0xb00001f cpu MHz : 1197.127 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.133 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.413 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.172 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.123 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.120 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.151 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.141 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 128162060 kB MemAvailable: 129897112 kB Buffers: 2128 kB Cached: 2500752 kB SwapCached: 12 kB Active: 533584 kB Inactive: 2035956 kB Active(anon): 73532 kB Inactive(anon): 11076 kB Active(file): 460052 kB Inactive(file): 2024880 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 2684 kB Writeback: 0 kB AnonPages: 69864 kB Mapped: 103652 kB Shmem: 17948 kB KReclaimable: 179112 kB Slab: 265416 kB SReclaimable: 179112 kB SUnreclaim: 86304 kB KernelStack: 3904 kB PageTables: 2932 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 333304 kB VmallocTotal: 34359738367 kB VmallocUsed: 149256 kB VmallocChunk: 0 kB Percpu: 3776 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: 191304 kB DirectMap2M: 10196992 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 432160 MiB End job on nodeC006 at 2025-07-03 16:00:51