Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2025-06-06 | SAT (TO) | 1 | 3600.31 | 3602.16 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_101.opb |
| MD5SUM | eeaa529b25ecff27552c4f6e24903559 |
| 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.085645 |
| 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 | 404 |
| Total number of constraints | 101 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 101 |
| 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 | 101 |
| Biggest coefficient in the objective function | 101 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 5151 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 101 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 5151 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.14/0.17 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.14/0.17 c This is free software under the dual EPL/GNU LGPL licenses. 0.14/0.17 c See www.sat4j.org for details. 0.14/0.18 c version PB25.v20250606 0.14/0.21 c java.runtime.name OpenJDK Runtime Environment 0.14/0.21 c java.vm.name OpenJDK 64-Bit Server VM 0.14/0.21 c java.vm.version 22.0.1+8-16 0.14/0.21 c java.vm.vendor Oracle Corporation 0.14/0.21 c sun.arch.data.model 64 0.14/0.21 c java.version 22.0.1 0.14/0.21 c os.name Linux 0.14/0.21 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.14/0.21 c os.arch amd64 0.14/0.22 c Free memory 2104792832 0.14/0.22 c Max memory 16282288128 0.14/0.22 c Total memory 2113929216 0.14/0.23 c Number of processors 2 0.33/0.32 c Pseudo Boolean Optimization by upper bound 0.33/0.32 c --- Begin Solver configuration --- 0.33/0.32 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.33/0.32 c Learn all clauses as in MiniSAT 0.33/0.32 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.33/0.32 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.33/0.32 c Expensive reason simplification 0.33/0.32 c Glucose 2.1 dynamic restart strategy 0.33/0.32 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.33/0.32 c timeout=2147483s 0.33/0.32 c DB Simplification allowed=false 0.33/0.32 c Listener: none 0.33/0.32 c --- End Solver configuration --- 0.47/0.33 c solving HOME/instance-4518464-1751546314.opb 0.47/0.33 c reading problem ... 0.47/0.33 c objective function found 0.47/0.39 c ... done. Wall clock time 0.054s. 0.47/0.39 c declared #vars 404 0.47/0.39 c #constraints 202 0.47/0.39 c constraints type 0.47/0.39 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 202 0.47/0.39 c 202 constraints processed. 0.47/0.42 c objective function length is 101 literals 0.83/0.53 c SATISFIABLE 0.83/0.53 c OPTIMIZING... 0.83/0.53 c Got one! Elapsed wall clock time (in seconds):0.205 0.83/0.53 o 3 1.77/1.10 c Got one! Elapsed wall clock time (in seconds):0.776 1.77/1.10 o 2 2.16/1.27 c Got one! Elapsed wall clock time (in seconds):0.942 2.16/1.27 o 1 2.35/1.38 c cleaning 3095 clauses out of 6202 with flag 5963/6202 2.73/1.59 c cleaning 4550 clauses out of 9107 with flag 40488/12202 3.07/1.80 c cleaning 5765 clauses out of 11556 with flag 84076/19201 3.60/2.03 c cleaning 6890 clauses out of 13791 with flag 129484/27201 3.80/2.28 c cleaning 7948 clauses out of 15903 with flag 185666/36203 4.23/2.57 c cleaning 8969 clauses out of 17954 with flag 257712/46202 4.74/3.10 c cleaning 9985 clauses out of 19984 with flag 357334/57201 5.43/3.72 c cleaning 10987 clauses out of 22000 with flag 480593/69202 5.93/4.23 c cleaning 11996 clauses out of 24012 with flag 581037/82201 6.76/4.72 c cleaning 13003 clauses out of 26016 with flag 661376/96201 7.36/5.30 c cleaning 14000 clauses out of 28015 with flag 754461/111203 7.76/5.78 c cleaning 15003 clauses out of 30013 with flag 851986/127201 8.34/6.23 c cleaning 15998 clauses out of 32010 with flag 946565/144201 8.90/6.73 c cleaning 16993 clauses out of 34012 with flag 1051091/162201 9.51/7.30 c cleaning 18004 clauses out of 36019 with flag 1177595/181201 10.01/7.89 c cleaning 18990 clauses out of 38018 with flag 1299245/201204 10.71/8.51 c cleaning 19999 clauses out of 40026 with flag 1429898/222202 11.40/9.25 c cleaning 20997 clauses out of 42026 with flag 1575680/244201 12.32/10.11 c cleaning 22005 clauses out of 44030 with flag 1738065/267202 13.21/11.02 c cleaning 22985 clauses out of 46024 with flag 1903786/291201 14.00/11.89 c cleaning 24006 clauses out of 48039 with flag 2052602/316201 15.10/12.97 c cleaning 25015 clauses out of 50036 with flag 2231820/342204 16.10/13.93 c cleaning 25997 clauses out of 52020 with flag 2405323/369203 17.10/14.94 c cleaning 27005 clauses out of 54022 with flag 2582644/397202 18.10/15.99 c cleaning 27993 clauses out of 56017 with flag 2756971/426202 19.80/17.63 c cleaning 29004 clauses out of 58023 with flag 2985282/456201 22.01/19.80 c cleaning 29997 clauses out of 60019 with flag 3277473/487201 24.11/21.97 c cleaning 30995 clauses out of 62022 with flag 3558218/519201 25.61/23.42 c cleaning 32000 clauses out of 64028 with flag 3782984/552202 27.22/25.07 c cleaning 33009 clauses out of 66030 with flag 3999499/586204 28.80/26.65 c cleaning 34004 clauses out of 68018 with flag 4221321/621201 30.31/28.17 c cleaning 34988 clauses out of 70014 with flag 4435737/657201 32.02/29.86 c cleaning 35993 clauses out of 72026 with flag 4675018/694201 33.71/31.59 c cleaning 36993 clauses out of 74033 with flag 4931443/732201 35.81/33.61 c cleaning 38009 clauses out of 76041 with flag 5221069/771202 37.61/35.41 c cleaning 39005 clauses out of 78031 with flag 5468114/811201 39.40/37.25 c cleaning 40002 clauses out of 80028 with flag 5746113/852203 41.51/39.37 c cleaning 40987 clauses out of 82024 with flag 6008439/894201 43.61/41.46 c cleaning 42011 clauses out of 84038 with flag 6293781/937202 45.71/43.55 c cleaning 42994 clauses out of 86026 with flag 6582087/981201 48.01/45.85 c cleaning 44004 clauses out of 88034 with flag 6891843/1026203 50.64/48.45 c cleaning 44995 clauses out of 90028 with flag 7219174/1072201 53.03/50.88 c cleaning 46007 clauses out of 92034 with flag 7561906/1119202 55.64/53.44 c cleaning 47001 clauses out of 94028 with flag 7888304/1167203 58.25/56.08 c cleaning 48000 clauses out of 96026 with flag 8234990/1216202 60.84/58.63 c cleaning 49001 clauses out of 98026 with flag 8580031/1266202 63.54/61.38 c cleaning 50014 clauses out of 100027 with flag 8951122/1317204 66.43/64.24 c cleaning 50995 clauses out of 102010 with flag 9314377/1369201 69.38/67.15 c cleaning 52002 clauses out of 104016 with flag 9676617/1422202 72.28/70.08 c cleaning 52986 clauses out of 106018 with flag 10056701/1476206 75.56/73.30 c cleaning 53996 clauses out of 108028 with flag 10435067/1531202 79.85/77.63 c cleaning 55007 clauses out of 110032 with flag 10847419/1587202 83.22/81.08 c cleaning 56004 clauses out of 112025 with flag 11264727/1644202 86.49/84.37 c cleaning 57005 clauses out of 114021 with flag 11655619/1702202 90.89/88.76 c cleaning 58001 clauses out of 116015 with flag 12058804/1761201 94.39/92.20 c cleaning 58988 clauses out of 118015 with flag 12474644/1821202 97.88/95.74 c cleaning 60000 clauses out of 120026 with flag 12891865/1882201 101.70/99.58 c cleaning 61002 clauses out of 122026 with flag 13316851/1944201 109.09/106.93 c cleaning 61999 clauses out of 124025 with flag 13895121/2007202 116.13/114.01 c cleaning 63005 clauses out of 126025 with flag 14524707/2071201 120.83/118.60 c cleaning 63991 clauses out of 128021 with flag 15044557/2136202 125.96/123.77 c cleaning 65001 clauses out of 130029 with flag 15559080/2202201 130.05/127.90 c cleaning 65994 clauses out of 132028 with flag 16018107/2269201 134.26/132.04 c cleaning 67001 clauses out of 134036 with flag 16512673/2337203 138.67/136.47 c cleaning 68004 clauses out of 136034 with flag 17006707/2406202 143.27/141.08 c cleaning 69003 clauses out of 138030 with flag 17498140/2476202 147.95/145.72 c cleaning 69990 clauses out of 140026 with flag 17993102/2547201 153.85/151.63 c cleaning 71012 clauses out of 142037 with flag 18502544/2619202 158.50/156.38 c cleaning 72002 clauses out of 144024 with flag 19021348/2692201 164.76/162.62 c cleaning 73005 clauses out of 146024 with flag 19569794/2766203 170.05/167.91 c cleaning 73995 clauses out of 148018 with flag 20100572/2841202 177.26/175.11 c cleaning 75004 clauses out of 150023 with flag 20628627/2917202 182.53/180.41 c cleaning 75999 clauses out of 152018 with flag 21166101/2994201 187.93/185.87 c cleaning 76989 clauses out of 154019 with flag 21720945/3072201 194.32/192.25 c cleaning 78010 clauses out of 156033 with flag 22366326/3151204 200.37/198.20 c cleaning 78998 clauses out of 158022 with flag 22937196/3231203 206.17/204.02 c cleaning 80006 clauses out of 160024 with flag 23525441/3312203 212.06/209.93 c cleaning 80997 clauses out of 162016 with flag 24109327/3394201 218.04/215.94 c cleaning 81996 clauses out of 164019 with flag 24711309/3477201 224.03/221.98 c cleaning 82995 clauses out of 166023 with flag 25320592/3561201 231.49/229.43 c cleaning 83995 clauses out of 168029 with flag 25947154/3646202 238.95/236.90 c cleaning 85003 clauses out of 170035 with flag 26556077/3732203 245.43/243.41 c cleaning 86005 clauses out of 172030 with flag 27169410/3819201 252.42/250.45 c cleaning 87004 clauses out of 174026 with flag 27820043/3907202 259.31/257.39 c cleaning 88004 clauses out of 176021 with flag 28465823/3996201 266.20/264.24 c cleaning 88995 clauses out of 178017 with flag 29143054/4086201 273.26/271.27 c cleaning 89980 clauses out of 180022 with flag 29810512/4177201 280.35/278.31 c cleaning 91007 clauses out of 182042 with flag 30475210/4269201 287.54/285.58 c cleaning 91999 clauses out of 184038 with flag 31168121/4362204 295.04/293.08 c cleaning 93004 clauses out of 186036 with flag 31859807/4456201 304.12/302.12 c cleaning 94003 clauses out of 188033 with flag 32628908/4551202 316.99/315.06 c cleaning 95001 clauses out of 190029 with flag 33495877/4647201 330.94/329.00 c cleaning 95997 clauses out of 192028 with flag 34381655/4744201 342.41/340.44 c cleaning 97012 clauses out of 194031 with flag 35242850/4842201 350.40/348.40 c cleaning 97998 clauses out of 196019 with flag 35955956/4941201 358.58/356.64 c cleaning 99000 clauses out of 198021 with flag 36708882/5041201 366.86/364.93 c cleaning 100007 clauses out of 200021 with flag 37467224/5142201 375.58/373.51 c cleaning 101001 clauses out of 202015 with flag 38276373/5244202 383.76/381.74 c cleaning 101999 clauses out of 204013 with flag 39040501/5347201 392.17/390.16 c cleaning 102987 clauses out of 206014 with flag 39822309/5451201 400.94/399.00 c cleaning 104001 clauses out of 208027 with flag 40596178/5556201 410.22/408.26 c cleaning 105002 clauses out of 210029 with flag 41405755/5662204 419.46/417.43 c cleaning 105994 clauses out of 212025 with flag 42205127/5769202 428.94/426.94 c cleaning 106999 clauses out of 214030 with flag 43045729/5877201 438.42/436.47 c cleaning 108005 clauses out of 216031 with flag 43865808/5986201 447.91/445.95 c cleaning 109004 clauses out of 218028 with flag 44733936/6096203 457.69/455.71 c cleaning 110006 clauses out of 220022 with flag 45568503/6207201 467.64/465.68 c cleaning 111000 clauses out of 222017 with flag 46423034/6319202 477.71/475.79 c cleaning 111994 clauses out of 224016 with flag 47264081/6432201 487.90/485.95 c cleaning 112991 clauses out of 226026 with flag 48137960/6546205 497.68/495.77 c cleaning 114011 clauses out of 228032 with flag 49014356/6661202 508.27/506.36 c cleaning 114991 clauses out of 230022 with flag 49897716/6777203 519.06/517.12 c cleaning 116006 clauses out of 232031 with flag 50811023/6894203 530.16/528.17 c cleaning 117004 clauses out of 234024 with flag 51716666/7012202 540.92/538.95 c cleaning 118001 clauses out of 236019 with flag 52598422/7131201 552.50/550.52 c cleaning 119004 clauses out of 238018 with flag 53522274/7251201 564.10/562.14 c cleaning 119995 clauses out of 240014 with flag 54454335/7372201 575.76/573.80 c cleaning 120998 clauses out of 242019 with flag 55381822/7494201 587.85/585.91 c cleaning 122003 clauses out of 244021 with flag 56306111/7617201 599.93/598.01 c cleaning 122990 clauses out of 246019 with flag 57237852/7741202 611.92/610.03 c cleaning 124004 clauses out of 248028 with flag 58204915/7866201 625.52/623.49 c cleaning 125001 clauses out of 250025 with flag 59170482/7992202 637.39/635.37 c cleaning 125999 clauses out of 252023 with flag 60151572/8119201 649.97/647.90 c cleaning 126992 clauses out of 254024 with flag 61142141/8247201 662.85/660.82 c cleaning 128010 clauses out of 256033 with flag 62109294/8376202 676.04/674.05 c cleaning 128998 clauses out of 258023 with flag 63117324/8506202 689.12/687.17 c cleaning 130005 clauses out of 260024 with flag 64130140/8637201 702.18/700.28 c cleaning 131004 clauses out of 262019 with flag 65147785/8769201 716.07/714.12 c cleaning 132002 clauses out of 264015 with flag 66185833/8902201 730.09/728.11 c cleaning 132990 clauses out of 266014 with flag 67204360/9036202 743.75/741.86 c cleaning 134006 clauses out of 268023 with flag 68220088/9171201 758.13/756.26 c cleaning 135001 clauses out of 270018 with flag 69279837/9307202 772.50/770.64 c cleaning 135992 clauses out of 272017 with flag 70368622/9444202 787.26/785.44 c cleaning 136997 clauses out of 274024 with flag 71427151/9582201 801.81/799.97 c cleaning 138005 clauses out of 276029 with flag 72486760/9721203 816.37/814.59 c cleaning 138993 clauses out of 278022 with flag 73548096/9861201 831.16/829.35 c cleaning 140010 clauses out of 280030 with flag 74678442/10002202 846.23/844.47 c cleaning 141001 clauses out of 282019 with flag 75822569/10144201 861.40/859.67 c cleaning 142002 clauses out of 284019 with flag 76967752/10287202 876.27/874.57 c cleaning 142996 clauses out of 286017 with flag 78111384/10431202 891.74/889.95 c cleaning 143990 clauses out of 288020 with flag 79309144/10576201 906.71/904.95 c cleaning 145004 clauses out of 290031 with flag 80482167/10722202 922.29/920.52 c cleaning 146000 clauses out of 292028 with flag 81608819/10869203 938.37/936.65 c cleaning 146997 clauses out of 294026 with flag 82764083/11017201 956.40/954.76 c cleaning 148000 clauses out of 296030 with flag 83965038/11166202 972.97/971.35 c cleaning 149000 clauses out of 298030 with flag 85158710/11316202 989.44/987.89 c cleaning 149998 clauses out of 300029 with flag 86347864/11467201 1005.79/1004.27 c cleaning 151016 clauses out of 302031 with flag 87564816/11619201 1023.26/1021.72 c cleaning 151997 clauses out of 304016 with flag 88828116/11772202 1039.92/1038.48 c cleaning 153006 clauses out of 306022 with flag 90041730/11926205 1057.16/1055.68 c cleaning 153993 clauses out of 308012 with flag 91317094/12081201 1074.65/1073.14 c cleaning 155002 clauses out of 310020 with flag 92553571/12237202 1095.11/1093.69 c cleaning 156002 clauses out of 312018 with flag 93941764/12394202 1113.06/1111.61 c cleaning 156996 clauses out of 314017 with flag 95222933/12552203 1131.03/1129.61 c cleaning 158003 clauses out of 316020 with flag 96504088/12711202 1149.59/1148.29 c cleaning 159000 clauses out of 318017 with flag 97834708/12871202 1167.98/1166.51 c cleaning 159999 clauses out of 320017 with flag 99127117/13032202 1186.35/1184.96 c cleaning 160996 clauses out of 322017 with flag 100404298/13194201 1205.22/1203.84 c cleaning 161997 clauses out of 324021 with flag 101727511/13357201 1223.88/1222.51 c cleaning 162996 clauses out of 326024 with flag 103038010/13521201 1242.85/1241.53 c cleaning 163997 clauses out of 328029 with flag 104335488/13686202 1262.13/1260.88 c cleaning 165008 clauses out of 330031 with flag 105664330/13852201 1281.99/1280.66 c cleaning 165995 clauses out of 332023 with flag 107067778/14019201 1301.66/1300.38 c cleaning 167003 clauses out of 334033 with flag 108445623/14187206 1320.93/1319.65 c cleaning 167993 clauses out of 336025 with flag 109793224/14356201 1341.17/1339.84 c cleaning 169006 clauses out of 338033 with flag 111211617/14526202 1360.93/1359.64 c cleaning 169995 clauses out of 340026 with flag 112602687/14697201 1381.41/1380.14 c cleaning 171011 clauses out of 342032 with flag 113996796/14869202 1402.46/1401.22 c cleaning 172001 clauses out of 344020 with flag 115397308/15042201 1423.13/1421.92 c cleaning 173006 clauses out of 346019 with flag 116842247/15216201 1445.09/1443.92 c cleaning 173997 clauses out of 348016 with flag 118237217/15391204 1467.32/1466.16 c cleaning 174995 clauses out of 350017 with flag 119640256/15567202 1488.76/1487.65 c cleaning 176004 clauses out of 352022 with flag 121068639/15744202 1510.31/1509.23 c cleaning 176996 clauses out of 354018 with flag 122485711/15922202 1532.17/1531.11 c cleaning 178000 clauses out of 356021 with flag 123908968/16101201 1555.12/1554.17 c cleaning 179002 clauses out of 358021 with flag 125394841/16281201 1578.15/1577.25 c cleaning 180005 clauses out of 360020 with flag 126854561/16462202 1601.30/1600.41 c cleaning 181004 clauses out of 362015 with flag 128335500/16644202 1623.64/1622.73 c cleaning 181997 clauses out of 364010 with flag 129824304/16827201 1646.51/1645.64 c cleaning 182994 clauses out of 366014 with flag 131328832/17011202 1669.67/1668.82 c cleaning 184002 clauses out of 368020 with flag 132841636/17196202 1692.94/1692.17 c cleaning 184994 clauses out of 370017 with flag 134383165/17382201 1716.49/1715.72 c cleaning 186000 clauses out of 372023 with flag 135911505/17569201 1739.45/1738.79 c cleaning 187001 clauses out of 374025 with flag 137485436/17757203 1763.50/1762.89 c cleaning 187999 clauses out of 376024 with flag 139013411/17946203 1788.27/1787.58 c cleaning 189003 clauses out of 378023 with flag 140585993/18136201 1813.43/1812.78 c cleaning 190005 clauses out of 380022 with flag 142131618/18327203 1838.48/1837.87 c cleaning 190993 clauses out of 382015 with flag 143703320/18519201 1863.65/1863.03 c cleaning 191996 clauses out of 384022 with flag 145280069/18712201 1889.78/1889.29 c cleaning 193006 clauses out of 386026 with flag 146876952/18906201 1915.23/1914.73 c cleaning 194006 clauses out of 388020 with flag 148464657/19101201 1941.16/1940.79 c cleaning 195000 clauses out of 390015 with flag 150058271/19297202 1968.00/1967.67 c cleaning 195997 clauses out of 392015 with flag 151700248/19494202 1993.64/1993.32 c cleaning 196998 clauses out of 394017 with flag 153339259/19692201 2021.20/2020.71 c cleaning 198000 clauses out of 396021 with flag 154965960/19891203 2047.96/2047.55 c cleaning 198998 clauses out of 398019 with flag 156602557/20091201 2075.31/2074.98 c cleaning 199998 clauses out of 400021 with flag 158307754/20292201 2101.95/2101.58 c cleaning 200999 clauses out of 402023 with flag 160029778/20494201 2130.42/2130.01 c cleaning 202001 clauses out of 404024 with flag 161695711/20697201 2158.36/2158.11 c cleaning 202999 clauses out of 406023 with flag 163400020/20901201 2187.39/2187.13 c cleaning 204000 clauses out of 408025 with flag 165091809/21106202 2215.72/2215.55 c cleaning 204993 clauses out of 410024 with flag 166753238/21312201 2244.45/2244.33 c cleaning 206006 clauses out of 412031 with flag 168456591/21519201 2275.40/2275.00 c cleaning 207003 clauses out of 414026 with flag 170140791/21727202 2303.86/2303.42 c cleaning 207999 clauses out of 416023 with flag 171868807/21936202 2333.41/2333.03 c cleaning 208998 clauses out of 418023 with flag 173612212/22146201 2363.05/2362.78 c cleaning 210000 clauses out of 420025 with flag 175369899/22357201 2392.31/2392.05 c cleaning 211002 clauses out of 422026 with flag 177129994/22569202 2423.75/2423.51 c cleaning 212003 clauses out of 424023 with flag 178922131/22782201 2453.89/2453.72 c cleaning 213001 clauses out of 426022 with flag 180739481/22996203 2483.83/2483.79 c cleaning 213991 clauses out of 428020 with flag 182551254/23211202 2514.65/2514.61 c cleaning 215004 clauses out of 430029 with flag 184432019/23427202 2546.18/2546.23 c cleaning 215995 clauses out of 432024 with flag 186294540/23644201 2576.94/2577.11 c cleaning 217003 clauses out of 434030 with flag 188125064/23862202 2608.18/2608.36 c cleaning 218005 clauses out of 436026 with flag 189966393/24081201 2640.36/2640.52 c cleaning 218996 clauses out of 438021 with flag 191857522/24301201 2673.61/2673.95 c cleaning 220005 clauses out of 440025 with flag 193756118/24522201 2705.96/2706.36 c cleaning 221002 clauses out of 442021 with flag 195619719/24744202 2737.70/2738.19 c cleaning 221998 clauses out of 444019 with flag 197458605/24967202 2769.81/2770.39 c cleaning 222997 clauses out of 446020 with flag 199360740/25191201 2803.33/2803.93 c cleaning 224001 clauses out of 448025 with flag 201295812/25416203 2837.26/2837.91 c cleaning 225001 clauses out of 450023 with flag 203193622/25642202 2871.40/2872.08 c cleaning 225994 clauses out of 452021 with flag 205065853/25869201 2904.93/2905.61 c cleaning 227010 clauses out of 454028 with flag 206987749/26097202 2939.29/2940.03 c cleaning 227995 clauses out of 456017 with flag 208916525/26326201 2974.81/2975.66 c cleaning 229005 clauses out of 458023 with flag 210857190/26556202 3009.65/3010.59 c cleaning 230003 clauses out of 460017 with flag 212815866/26787201 3044.27/3045.26 c cleaning 230994 clauses out of 462014 with flag 214709724/27019201 3079.79/3080.89 c cleaning 231996 clauses out of 464021 with flag 216716775/27252202 3116.30/3117.41 c cleaning 232999 clauses out of 466024 with flag 218672408/27486201 3153.84/3154.90 c cleaning 234009 clauses out of 468026 with flag 220650361/27721202 3190.09/3191.27 c cleaning 234996 clauses out of 470018 with flag 222693238/27957203 3227.52/3228.72 c cleaning 235999 clauses out of 472020 with flag 224762085/28194201 3263.26/3264.51 c cleaning 237003 clauses out of 474022 with flag 226764927/28432202 3300.17/3301.56 c cleaning 237997 clauses out of 476019 with flag 228806159/28671202 3337.80/3339.24 c cleaning 238999 clauses out of 478021 with flag 230871771/28911201 3375.90/3377.46 c cleaning 240005 clauses out of 480022 with flag 232903797/29152201 3413.44/3415.05 c cleaning 241000 clauses out of 482017 with flag 234959926/29394201 3451.96/3453.68 c cleaning 242000 clauses out of 484017 with flag 237004910/29637201 3490.39/3492.12 c cleaning 242997 clauses out of 486018 with flag 239071396/29881202 3528.38/3530.20 c cleaning 244004 clauses out of 488021 with flag 241156688/30126202 3566.90/3568.86 c cleaning 244997 clauses out of 490016 with flag 243271696/30372201 3600.03/3602.04 c starts : 60235 3600.03/3602.05 c conflicts : 30597837 3600.03/3602.05 c decisions : 43470198 3600.03/3602.05 c propagations : 703933801 3600.03/3602.05 c inspects : 62502891245 3600.03/3602.05 c shortcuts : 0 3600.03/3602.05 c learnt literals : 0 3600.03/3602.05 c learnt binary clauses : 0 3600.03/3602.05 c learnt ternary clauses : 0 3600.03/3602.06 c learnt constraints : 30597837 3600.03/3602.06 c ignored constraints : 0 3600.03/3602.06 c root simplifications : 0 3600.03/3602.06 c removed literals (reason simplification) : 55681611 3600.03/3602.06 c reason swapping (by a shorter reason) : 0 3600.03/3602.06 c Calls to reduceDB : 242 3600.03/3602.06 c Number of update (reduction) of LBD : 8821040 3600.03/3602.06 c Imported unit clauses : 0 3600.03/3602.06 c No decision after first conflict : false 3600.03/3602.06 c number of reductions to clauses (during analyze) : 0 3600.03/3602.06 c number of learned constraints concerned by reduction : 0 3600.03/3602.06 c number of learning phase by resolution : 0 3600.03/3602.06 c number of learning phase by cutting planes : 0 3600.03/3602.06 c number of rounding to 1 operations : 0 3600.03/3602.06 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.03/3602.07 c number of reductions of the coefficients by power 2 : 0 3600.03/3602.07 c number of right shift for reduction by power 2 : 0 3600.03/3602.07 c number of reductions of the coefficients by GCD over coefficients : 0 3600.03/3602.07 c number of ending skipping : 0 3600.03/3602.07 c number of internal skipping : 0 3600.03/3602.07 c number of derivation steps : 0 3600.03/3602.07 c number of skipped derivation steps : 0 3600.03/3602.07 c number of remaining unassigned : 0 3600.03/3602.07 c number of remaining assigned : 0 3600.03/3602.07 c number of falsified literals weakened from reason : 0 3600.03/3602.07 c number of falsified literals weakened from conflict : 0 3600.03/3602.07 c time for arithmetic operations : 0 3600.03/3602.07 c minimum degree of deleted constraints : null 3600.03/3602.07 c maximum degree of deleted constraints : null 3600.03/3602.07 c number of deleted constraints : 0 3600.03/3602.07 c speed (assignments/second) : 195447.85813149269 3600.03/3602.07 c non guided choices : 83929 3600.24/3602.14 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 470655 3600.24/3602.14 s SATISFIABLE 3600.24/3602.14 c Found 3 solution(s) 3600.24/3602.14 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 3600.24/3602.14 c objective function=1 3600.24/3602.14 c Total wall clock time (in seconds): 3601.817
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: 63837 MiB (62280 MiB free)
memory of node 1: 64465 MiB (63434 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518464-1751546314/watcher-4518464-1751546314 -o /tmp/evaluation-result-4518464-1751546314/solver-4518464-1751546314 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751539206-73505 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4518464-1751546314.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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=74683, runsolver pid=74680
[startup+0.100073 s]*
/proc/loadavg: 3.32 3.27 3.27 5/303 74701
/proc/meminfo: memFree=128725376/131382120 swapFree=33010416/33010684
[pid=74683] ppid=74680 vsize=18930384 memory=48748 CPUtime=0.14 cores=5,7
/proc/74683/stat : 74683 (java) S 74680 74683 73492 0 -1 4194304 5867 0 0 0 11 3 0 0 20 0 18 0 70310229 19384713216 12187 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
/proc/74683/statm: 4732596 12187 5337 1 0 547065 0
[pid=74683/tid=74685] ppid=74680 vsize=18930384 memory=4026531959 CPUtime=0.09 cores=5,7
/proc/74683/task/74685/stat : 74685 (java) R 74680 74683 73492 0 -1 4194368 4710 0 0 0 7 2 0 0 20 0 18 0 70310230 19384713216 12187 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74694] ppid=74680 vsize=18930384 memory=215637821677 CPUtime=0 cores=5,7
/proc/74683/task/74694/stat : 74694 (Finalizer) S 74680 74683 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70310235 19384713216 12187 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74701] ppid=74680 vsize=18930384 memory=19982 CPUtime=0 cores=5,7
/proc/74683/task/74701/stat : 74701 (Common-Cleaner) S 74680 74683 73492 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 70310236 19384713216 12187 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48748 KiB
[startup+0.228187 s]*
/proc/loadavg: 3.32 3.27 3.27 5/303 74701
/proc/meminfo: memFree=128718508/131382120 swapFree=33010416/33010684
[pid=74683] ppid=74680 vsize=18930384 memory=55468 CPUtime=0.33 cores=5,7
/proc/74683/stat : 74683 (java) S 74680 74683 73492 0 -1 4194304 6521 0 0 0 29 4 0 0 20 0 18 0 70310229 19384713216 13867 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
/proc/74683/statm: 4732596 13867 5337 1 0 547603 0
[pid=74683/tid=74685] ppid=74680 vsize=18930384 memory=4026778633 CPUtime=0.2 cores=5,7
/proc/74683/task/74685/stat : 74685 (java) R 74680 74683 73492 0 -1 4194368 5040 0 0 0 18 2 0 0 20 0 18 0 70310230 19384713216 13867 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74694] ppid=74680 vsize=18930384 memory=211342852430 CPUtime=0 cores=5,7
/proc/74683/task/74694/stat : 74694 (Finalizer) S 74680 74683 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70310235 19384713216 13867 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74701] ppid=74680 vsize=18930384 memory=59589299292739 CPUtime=0 cores=5,7
/proc/74683/task/74701/stat : 74701 (Common-Cleaner) S 74680 74683 73492 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 70310236 19384713216 13867 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55468 KiB
[startup+0.313939 s]*
/proc/loadavg: 3.32 3.27 3.27 6/303 74701
/proc/meminfo: memFree=128713908/131382120 swapFree=33010416/33010684
[pid=74683] ppid=74680 vsize=18930384 memory=58624 CPUtime=0.47 cores=5,7
/proc/74683/stat : 74683 (java) S 74680 74683 73492 0 -1 4194304 6763 0 0 0 43 4 0 0 20 0 18 0 70310229 19384713216 14656 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
/proc/74683/statm: 4732596 14656 5369 1 0 547770 0
[pid=74683/tid=74685] ppid=74680 vsize=18930384 memory=-6000919507015854184 CPUtime=0.28 cores=5,7
/proc/74683/task/74685/stat : 74685 (java) R 74680 74683 73492 0 -1 4194368 5197 0 0 0 26 2 0 0 20 0 18 0 70310230 19384713216 14656 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74694] ppid=74680 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/74683/task/74694/stat : 74694 (Finalizer) S 74680 74683 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70310235 19384713216 14656 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74701] ppid=74680 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/74683/task/74701/stat : 74701 (Common-Cleaner) S 74680 74683 73492 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 70310236 19384713216 14656 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58624 KiB
[startup+0.700307 s]
/proc/loadavg: 3.32 3.27 3.27 6/304 74702
/proc/meminfo: memFree=128704772/131382120 swapFree=33010416/33010684
[pid=74683] ppid=74680 vsize=18996948 memory=66940 CPUtime=1.17 cores=5,7
/proc/74683/stat : 74683 (java) S 74680 74683 73492 0 -1 4194304 8977 0 0 0 111 6 0 0 20 0 19 0 70310229 19452874752 16735 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
/proc/74683/statm: 4749237 16735 5497 1 0 549290 0
[pid=74683/tid=74685] ppid=74680 vsize=18996948 memory=17920 CPUtime=0.61 cores=5,7
/proc/74683/task/74685/stat : 74685 (java) R 74680 74683 73492 0 -1 4194368 5397 0 0 0 58 3 0 0 20 0 19 0 70310230 19452874752 16735 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74694] ppid=74680 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/74683/task/74694/stat : 74694 (Finalizer) S 74680 74683 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70310235 19452874752 16735 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74701] ppid=74680 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/74683/task/74701/stat : 74701 (Common-Cleaner) S 74680 74683 73492 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 70310236 19452874752 16735 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74702] ppid=74680 vsize=18996948 memory=4896 CPUtime=0 cores=5,7
/proc/74683/task/74702/stat : 74702 (Timer-0) S 74680 74683 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70310271 19452874752 16735 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66940 KiB
[startup+1.50028 s]
/proc/loadavg: 3.32 3.27 3.27 5/304 74702
/proc/meminfo: memFree=128693016/131382120 swapFree=33010416/33010684
[pid=74683] ppid=74680 vsize=18996948 memory=85568 CPUtime=2.73 cores=5,7
/proc/74683/stat : 74683 (java) S 74680 74683 73492 0 -1 4194304 18267 0 0 0 264 9 0 0 20 0 19 0 70310229 19452874752 21392 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
/proc/74683/statm: 4749237 21392 5497 1 0 551766 0
[pid=74683/tid=74685] ppid=74680 vsize=18996948 memory=11264 CPUtime=1.37 cores=5,7
/proc/74683/task/74685/stat : 74685 (java) R 74680 74683 73492 0 -1 4194368 6639 0 0 0 133 4 0 0 20 0 19 0 70310230 19452874752 21392 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74694] ppid=74680 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/74683/task/74694/stat : 74694 (Finalizer) S 74680 74683 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70310235 19452874752 21392 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74701] ppid=74680 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/74683/task/74701/stat : 74701 (Common-Cleaner) S 74680 74683 73492 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 70310236 19452874752 21392 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74702] ppid=74680 vsize=18996948 memory=211309297979 CPUtime=0 cores=5,7
/proc/74683/task/74702/stat : 74702 (Timer-0) S 74680 74683 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70310271 19452874752 21392 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 85568 KiB
[startup+3.11022 s]
/proc/loadavg: 3.32 3.27 3.27 4/304 74702
/proc/meminfo: memFree=128658284/131382120 swapFree=33010416/33010684
[pid=74683] ppid=74680 vsize=18996948 memory=110428 CPUtime=4.85 cores=5,7
/proc/74683/stat : 74683 (java) S 74680 74683 73492 0 -1 4194304 19044 0 0 0 475 10 0 0 20 0 19 0 70310229 19452874752 27607 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
/proc/74683/statm: 4749237 27607 5497 1 0 551775 0
[pid=74683/tid=74685] ppid=74680 vsize=18996948 memory=11264 CPUtime=2.98 cores=5,7
/proc/74683/task/74685/stat : 74685 (java) R 74680 74683 73492 0 -1 4194368 6939 0 0 0 293 5 0 0 20 0 19 0 70310230 19452874752 27607 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74694] ppid=74680 vsize=18996948 memory=-6000919507015854184 CPUtime=0 cores=5,7
/proc/74683/task/74694/stat : 74694 (Finalizer) S 74680 74683 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70310235 19452874752 27607 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74701] ppid=74680 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/74683/task/74701/stat : 74701 (Common-Cleaner) S 74680 74683 73492 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 70310236 19452874752 27607 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74702] ppid=74680 vsize=18996948 memory=164 CPUtime=0 cores=5,7
/proc/74683/task/74702/stat : 74702 (Timer-0) S 74680 74683 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70310271 19452874752 27607 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
Current children cumulated CPU time: 4.85 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 110428 KiB
[startup+6.30035 s]
/proc/loadavg: 3.29 3.27 3.27 4/304 74702
/proc/meminfo: memFree=128609384/131382120 swapFree=33010416/33010684
[pid=74683] ppid=74680 vsize=18996948 memory=152912 CPUtime=8.5 cores=5,7
/proc/74683/stat : 74683 (java) S 74680 74683 73492 0 -1 4194304 24272 0 0 0 838 12 0 0 20 0 19 0 70310229 19452874752 38228 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
/proc/74683/statm: 4749237 38228 5497 1 0 551780 0
[pid=74683/tid=74685] ppid=74680 vsize=18996948 memory=0 CPUtime=6.16 cores=5,7
/proc/74683/task/74685/stat : 74685 (java) R 74680 74683 73492 0 -1 4194368 7734 0 0 0 610 6 0 0 20 0 19 0 70310230 19452874752 38228 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74694] ppid=74680 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/74683/task/74694/stat : 74694 (Finalizer) S 74680 74683 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70310235 19452874752 38228 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74701] ppid=74680 vsize=18996948 memory=87616 CPUtime=0 cores=5,7
/proc/74683/task/74701/stat : 74701 (Common-Cleaner) S 74680 74683 73492 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 70310236 19452874752 38228 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74702] ppid=74680 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/74683/task/74702/stat : 74702 (Timer-0) S 74680 74683 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70310271 19452874752 38228 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
Current children cumulated CPU time: 8.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 152912 KiB
[startup+12.7004 s]
/proc/loadavg: 3.35 3.28 3.28 4/305 74703
/proc/meminfo: memFree=128539752/131382120 swapFree=33010416/33010684
[pid=74683] ppid=74680 vsize=19063512 memory=169808 CPUtime=14.9 cores=5,7
/proc/74683/stat : 74683 (java) S 74680 74683 73492 0 -1 4194304 26169 0 0 0 1477 13 0 0 20 0 20 0 70310229 19521036288 42452 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
/proc/74683/statm: 4765878 42452 5529 1 0 552069 0
[pid=74683/tid=74685] ppid=74680 vsize=19063512 memory=0 CPUtime=12.53 cores=5,7
/proc/74683/task/74685/stat : 74685 (java) R 74680 74683 73492 0 -1 4194368 8298 0 0 0 1247 6 0 0 20 0 20 0 70310230 19521036288 42452 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74694] ppid=74680 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/74683/task/74694/stat : 74694 (Finalizer) S 74680 74683 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70310235 19521036288 42452 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74701] ppid=74680 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/74683/task/74701/stat : 74701 (Common-Cleaner) S 74680 74683 73492 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 70310236 19521036288 42452 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74702] ppid=74680 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/74683/task/74702/stat : 74702 (Timer-0) S 74680 74683 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70310271 19521036288 42452 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
Current children cumulated CPU time: 14.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 169808 KiB
[startup+25.5004 s]
/proc/loadavg: 3.27 3.27 3.27 4/305 74703
/proc/meminfo: memFree=128498540/131382120 swapFree=33010416/33010684
[pid=74683] ppid=74680 vsize=19063512 memory=182284 CPUtime=27.7 cores=5,7
/proc/74683/stat : 74683 (java) S 74680 74683 73492 0 -1 4194304 28806 0 0 0 2756 14 0 0 20 0 20 0 70310229 19521036288 45571 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
/proc/74683/statm: 4765878 45571 5561 1 0 552069 0
[pid=74683/tid=74685] ppid=74680 vsize=19063512 memory=0 CPUtime=25.22 cores=5,7
/proc/74683/task/74685/stat : 74685 (java) R 74680 74683 73492 0 -1 4194368 9109 0 0 0 2516 6 0 0 20 0 20 0 70310230 19521036288 45571 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74694] ppid=74680 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/74683/task/74694/stat : 74694 (Finalizer) S 74680 74683 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70310235 19521036288 45571 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74701] ppid=74680 vsize=19063512 memory=211309297979 CPUtime=0 cores=5,7
/proc/74683/task/74701/stat : 74701 (Common-Cleaner) S 74680 74683 73492 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 70310236 19521036288 45571 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74702] ppid=74680 vsize=19063512 memory=-6000919507015854184 CPUtime=0 cores=5,7
/proc/74683/task/74702/stat : 74702 (Timer-0) S 74680 74683 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70310271 19521036288 45571 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
Current children cumulated CPU time: 27.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182284 KiB
[startup+51.1134 s]
/proc/loadavg: 3.18 3.25 3.26 4/305 74704
/proc/meminfo: memFree=128388200/131382120 swapFree=33010416/33010684
[pid=74683] ppid=74680 vsize=19063512 memory=274660 CPUtime=53.34 cores=5,7
/proc/74683/stat : 74683 (java) S 74680 74683 73492 0 -1 4194304 29520 0 0 0 5317 17 0 0 20 0 20 0 70310229 19521036288 68665 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
/proc/74683/statm: 4765878 68665 5561 1 0 552069 0
[pid=74683/tid=74685] ppid=74680 vsize=19063512 memory=11264 CPUtime=50.57 cores=5,7
/proc/74683/task/74685/stat : 74685 (java) R 74680 74683 73492 0 -1 4194368 9182 0 0 0 5051 6 0 0 20 0 20 0 70310230 19521036288 68665 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74694] ppid=74680 vsize=19063512 memory=245912 CPUtime=0 cores=5,7
/proc/74683/task/74694/stat : 74694 (Finalizer) S 74680 74683 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70310235 19521036288 68665 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74701] ppid=74680 vsize=19063512 memory=14464 CPUtime=0 cores=5,7
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 3.26 3.31 3.22 4/301 74868
/proc/meminfo: memFree=124028228/131382120 swapFree=33010416/33010684
[pid=74683] ppid=74680 vsize=19063512 memory=2160352 CPUtime=3281.02 cores=5,7
/proc/74683/stat : 74683 (java) S 74680 74683 73492 0 -1 4194304 83850 0 0 0 327902 200 0 0 20 0 20 0 70310229 19521036288 540088 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
/proc/74683/statm: 4765878 540088 5561 1 0 554440 0
[pid=74683/tid=74685] ppid=74680 vsize=19063512 memory=2160352 CPUtime=3269.08 cores=5,7
/proc/74683/task/74685/stat : 74685 (java) R 74680 74683 73492 0 -1 4194368 36610 0 0 0 326870 38 0 0 20 0 20 0 70310230 19521036288 540088 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74694] ppid=74680 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/74683/task/74694/stat : 74694 (Finalizer) S 74680 74683 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70310235 19521036288 540088 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74701] ppid=74680 vsize=19063512 memory=1792 CPUtime=0.01 cores=5,7
/proc/74683/task/74701/stat : 74701 (Common-Cleaner) S 74680 74683 73492 0 -1 4194368 1777 0 0 0 1 0 0 0 20 0 20 0 70310236 19521036288 540088 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74702] ppid=74680 vsize=19063512 memory=2160352 CPUtime=0 cores=5,7
/proc/74683/task/74702/stat : 74702 (Timer-0) S 74680 74683 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70310271 19521036288 540088 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
Current children cumulated CPU time: 3281.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160352 KiB
[startup+3342.3 s]
/proc/loadavg: 3.09 3.25 3.20 4/303 74874
/proc/meminfo: memFree=124001284/131382120 swapFree=33010416/33010684
[pid=74683] ppid=74680 vsize=19063512 memory=2160352 CPUtime=3340.89 cores=5,7
/proc/74683/stat : 74683 (java) S 74680 74683 73492 0 -1 4194304 84167 0 0 0 333885 204 0 0 20 0 20 0 70310229 19521036288 540088 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
/proc/74683/statm: 4765878 540088 5561 1 0 554444 0
[pid=74683/tid=74685] ppid=74680 vsize=19063512 memory=2160352 CPUtime=3328.9 cores=5,7
/proc/74683/task/74685/stat : 74685 (java) R 74680 74683 73492 0 -1 4194368 36818 0 0 0 332851 39 0 0 20 0 20 0 70310230 19521036288 540088 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74694] ppid=74680 vsize=19063512 memory=2160352 CPUtime=0 cores=5,7
/proc/74683/task/74694/stat : 74694 (Finalizer) S 74680 74683 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70310235 19521036288 540088 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74701] ppid=74680 vsize=19063512 memory=14464 CPUtime=0.01 cores=5,7
/proc/74683/task/74701/stat : 74701 (Common-Cleaner) S 74680 74683 73492 0 -1 4194368 1777 0 0 0 1 0 0 0 20 0 20 0 70310236 19521036288 540088 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74702] ppid=74680 vsize=19063512 memory=2160352 CPUtime=0 cores=5,7
/proc/74683/task/74702/stat : 74702 (Timer-0) S 74680 74683 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70310271 19521036288 540088 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
Current children cumulated CPU time: 3340.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160352 KiB
[startup+3402.3 s]
/proc/loadavg: 3.07 3.22 3.19 4/303 74876
/proc/meminfo: memFree=124001028/131382120 swapFree=33010416/33010684
[pid=74683] ppid=74680 vsize=19063512 memory=2160480 CPUtime=3400.75 cores=5,7
/proc/74683/stat : 74683 (java) S 74680 74683 73492 0 -1 4194304 85306 0 0 0 339869 206 0 0 20 0 20 0 70310229 19521036288 540120 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
/proc/74683/statm: 4765878 540120 5561 1 0 554451 0
[pid=74683/tid=74685] ppid=74680 vsize=19063512 memory=2160480 CPUtime=3388.51 cores=5,7
/proc/74683/task/74685/stat : 74685 (java) R 74680 74683 73492 0 -1 4194368 37225 0 0 0 338812 39 0 0 20 0 20 0 70310230 19521036288 540120 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74694] ppid=74680 vsize=19063512 memory=2160352 CPUtime=0 cores=5,7
/proc/74683/task/74694/stat : 74694 (Finalizer) S 74680 74683 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70310235 19521036288 540120 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74701] ppid=74680 vsize=19063512 memory=0 CPUtime=0.01 cores=5,7
/proc/74683/task/74701/stat : 74701 (Common-Cleaner) S 74680 74683 73492 0 -1 4194368 1777 0 0 0 1 0 0 0 20 0 20 0 70310236 19521036288 540120 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74702] ppid=74680 vsize=19063512 memory=2160480 CPUtime=0 cores=5,7
/proc/74683/task/74702/stat : 74702 (Timer-0) S 74680 74683 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70310271 19521036288 540120 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
Current children cumulated CPU time: 3400.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160480 KiB
[startup+3462.3 s]
/proc/loadavg: 3.04 3.19 3.18 3/278 74912
/proc/meminfo: memFree=126155212/131382120 swapFree=33010416/33010684
[pid=74683] ppid=74680 vsize=19063512 memory=2160480 CPUtime=3460.63 cores=5,7
/proc/74683/stat : 74683 (java) S 74680 74683 73492 0 -1 4194304 86057 0 0 0 345853 210 0 0 20 0 20 0 70310229 19521036288 540120 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
/proc/74683/statm: 4765878 540120 5561 1 0 554451 0
[pid=74683/tid=74685] ppid=74680 vsize=19063512 memory=2160352 CPUtime=3448.35 cores=5,7
/proc/74683/task/74685/stat : 74685 (java) R 74680 74683 73492 0 -1 4194368 37882 0 0 0 344794 41 0 0 20 0 20 0 70310230 19521036288 540120 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74694] ppid=74680 vsize=19063512 memory=2160480 CPUtime=0 cores=5,7
/proc/74683/task/74694/stat : 74694 (Finalizer) S 74680 74683 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70310235 19521036288 540120 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74701] ppid=74680 vsize=19063512 memory=2160480 CPUtime=0.01 cores=5,7
/proc/74683/task/74701/stat : 74701 (Common-Cleaner) S 74680 74683 73492 0 -1 4194368 1859 0 0 0 1 0 0 0 20 0 20 0 70310236 19521036288 540120 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74702] ppid=74680 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/74683/task/74702/stat : 74702 (Timer-0) S 74680 74683 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70310271 19521036288 540120 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
Current children cumulated CPU time: 3460.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160480 KiB
[startup+3522.3 s]
/proc/loadavg: 2.43 2.98 3.11 3/278 74914
/proc/meminfo: memFree=126126364/131382120 swapFree=33010416/33010684
[pid=74683] ppid=74680 vsize=19063512 memory=2160480 CPUtime=3520.5 cores=5,7
/proc/74683/stat : 74683 (java) S 74680 74683 73492 0 -1 4194304 86930 0 0 0 351838 212 0 0 20 0 20 0 70310229 19521036288 540120 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
/proc/74683/statm: 4765878 540120 5561 1 0 554451 0
[pid=74683/tid=74685] ppid=74680 vsize=19063512 memory=4252 CPUtime=3508.19 cores=5,7
/proc/74683/task/74685/stat : 74685 (java) R 74680 74683 73492 0 -1 4194368 38540 0 0 0 350777 42 0 0 20 0 20 0 70310230 19521036288 540120 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74694] ppid=74680 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/74683/task/74694/stat : 74694 (Finalizer) S 74680 74683 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70310235 19521036288 540120 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74701] ppid=74680 vsize=19063512 memory=2160480 CPUtime=0.01 cores=5,7
/proc/74683/task/74701/stat : 74701 (Common-Cleaner) S 74680 74683 73492 0 -1 4194368 1974 0 0 0 1 0 0 0 20 0 20 0 70310236 19521036288 540120 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74702] ppid=74680 vsize=19063512 memory=2160480 CPUtime=0 cores=5,7
/proc/74683/task/74702/stat : 74702 (Timer-0) S 74680 74683 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70310271 19521036288 540120 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
Current children cumulated CPU time: 3520.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160480 KiB
[startup+3582.3 s]
/proc/loadavg: 1.89 2.74 3.02 2/252 74949
/proc/meminfo: memFree=127213632/131382120 swapFree=33010416/33010684
[pid=74683] ppid=74680 vsize=19063512 memory=2160480 CPUtime=3580.36 cores=5,7
/proc/74683/stat : 74683 (java) S 74680 74683 73492 0 -1 4194304 87202 0 0 0 357822 214 0 0 20 0 20 0 70310229 19521036288 540120 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
/proc/74683/statm: 4765878 540120 5561 1 0 554451 0
[pid=74683/tid=74685] ppid=74680 vsize=19063512 memory=2160480 CPUtime=3568 cores=5,7
/proc/74683/task/74685/stat : 74685 (java) R 74680 74683 73492 0 -1 4194368 38807 0 0 0 356758 42 0 0 20 0 20 0 70310230 19521036288 540120 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74694] ppid=74680 vsize=19063512 memory=2160480 CPUtime=0 cores=5,7
/proc/74683/task/74694/stat : 74694 (Finalizer) S 74680 74683 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70310235 19521036288 540120 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74701] ppid=74680 vsize=19063512 memory=0 CPUtime=0.01 cores=5,7
/proc/74683/task/74701/stat : 74701 (Common-Cleaner) S 74680 74683 73492 0 -1 4194368 1974 0 0 0 1 0 0 0 20 0 20 0 70310236 19521036288 540120 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74702] ppid=74680 vsize=19063512 memory=14464 CPUtime=0 cores=5,7
/proc/74683/task/74702/stat : 74702 (Timer-0) S 74680 74683 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70310271 19521036288 540120 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
Current children cumulated CPU time: 3580.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160480 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3602 s]*
/proc/loadavg: 1.64 2.62 2.97 2/252 74949
/proc/meminfo: memFree=127213632/131382120 swapFree=33010416/33010684
[pid=74683] ppid=74680 vsize=19063512 memory=2160480 CPUtime=3600.03 cores=5,7
/proc/74683/stat : 74683 (java) S 74680 74683 73492 0 -1 4194304 87976 0 0 0 359788 215 0 0 20 0 20 0 70310229 19521036288 540120 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
/proc/74683/statm: 4765878 540120 5561 1 0 554451 0
[pid=74683/tid=74685] ppid=74680 vsize=19063512 memory=-6000919507015854184 CPUtime=3587.65 cores=5,7
/proc/74683/task/74685/stat : 74685 (java) R 74680 74683 73492 0 -1 4194368 38929 0 0 0 358723 42 0 0 20 0 20 0 70310230 19521036288 540120 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74694] ppid=74680 vsize=19063512 memory=6452091039019852864 CPUtime=0 cores=5,7
/proc/74683/task/74694/stat : 74694 (Finalizer) S 74680 74683 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70310235 19521036288 540120 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74701] ppid=74680 vsize=19063512 memory=6768 CPUtime=0.01 cores=5,7
/proc/74683/task/74701/stat : 74701 (Common-Cleaner) S 74680 74683 73492 0 -1 4194368 1974 0 0 0 1 0 0 0 20 0 20 0 70310236 19521036288 540120 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74702] ppid=74680 vsize=19063512 memory=2160480 CPUtime=0 cores=5,7
/proc/74683/task/74702/stat : 74702 (Timer-0) S 74680 74683 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70310271 19521036288 540120 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160480 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3602.16 s]
# the end of solver process 74683 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.14 s, system=2.17472 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3602.12 s]
/proc/loadavg: 1.64 2.62 2.97 2/252 74949
/proc/meminfo: memFree=127213632/131382120 swapFree=33010416/33010684
[pid=74683] ppid=74680 vsize=19263204 memory=2161248 CPUtime=3600.24 cores=5,7
/proc/74683/stat : 74683 (java) S 74680 74683 73492 0 -1 4194304 90005 0 0 0 359808 216 0 0 20 0 21 0 70310229 19725520896 540312 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
/proc/74683/statm: 4815801 540312 5561 1 0 555429 0
[pid=74683/tid=74685] ppid=74680 vsize=19263204 memory=2160480 CPUtime=3587.75 cores=5,7
/proc/74683/task/74685/stat : 74685 (java) R 74680 74683 73492 0 -1 4194368 39220 0 0 0 358733 42 0 0 20 0 21 0 70310230 19725520896 540312 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74694] ppid=74680 vsize=19263204 memory=2160480 CPUtime=0 cores=5,7
/proc/74683/task/74694/stat : 74694 (Finalizer) S 74680 74683 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70310235 19725520896 540312 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
[pid=74683/tid=74701] ppid=74680 vsize=19263204 memory=2160480 CPUtime=0.01 cores=5,7
/proc/74683/task/74701/stat : 74701 (Common-Cleaner) S 74680 74683 73492 0 -1 4194368 1974 0 0 0 1 0 0 0 20 0 21 0 70310236 19725520896 540312 18446744073709551615 94691045707776 94691045711472 140733609213632 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94691045719288 94691045720080 94691046899712 140733609220481 140733609220582 140733609220582 140733609226184 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2161248 KiB
Child status: 143
Real time (s): 3602.16
CPU time (s): 3600.31
CPU user time (s): 3598.14
CPU system time (s): 2.17472
CPU usage (%): 99.9487
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2161248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.14
system time used= 2.17472
maximum resident set size= 2161504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90337
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104142
involuntary context switches= 4166
# summary of solver processes directly reported to runsolver:
# pid: 74683
# total CPU time (s): 3600.31
# total CPU user time (s): 3598.14
# total CPU system time (s): 2.17472
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1213 second user time and 36.7533 second system time
The end
Begin job on nodeC002 at 2025-07-03 14:38:34 IDJOB=4518464 IDBENCH=177052 IDSOLVER=3363 FILE ID=nodeC002/4518464-1751546314 RUNJOBID= nodeC002-1751539206-73505 SLURM_JOB_ID= 9598696 Free space on /tmp= 432692 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/linear/normalized-evencolouring_opt_linear_random6regular_nvert_101.opb COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518464-1751546314/watcher-4518464-1751546314 -o /tmp/evaluation-result-4518464-1751546314/solver-4518464-1751546314 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751539206-73505 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4518464-1751546314.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= eeaa529b25ecff27552c4f6e24903559 RANDOM SEED=1920164947 nodeC002 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 : 3610.251 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.81 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.650 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.81 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.426 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.81 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.542 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.81 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 : 3610.143 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.81 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.544 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.81 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.244 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.81 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.071 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.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 128731992 kB MemAvailable: 129303992 kB Buffers: 2128 kB Cached: 1377640 kB SwapCached: 28 kB Active: 1020468 kB Inactive: 1074552 kB Active(anon): 726780 kB Inactive(anon): 6404 kB Active(file): 293688 kB Inactive(file): 1068148 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 684 kB Writeback: 44 kB AnonPages: 718356 kB Mapped: 123024 kB Shmem: 17932 kB KReclaimable: 99584 kB Slab: 183520 kB SReclaimable: 99584 kB SUnreclaim: 83936 kB KernelStack: 4640 kB PageTables: 4724 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 4810136 kB VmallocTotal: 34359738367 kB VmallocUsed: 149976 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 573440 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: 181064 kB DirectMap2M: 8110080 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432692 MiB End job on nodeC002 at 2025-07-03 15:38:37