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) | 3 | 3600.2 | 3605.6 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=11-t=8.opb |
| MD5SUM | b554296dd2e7a57b28932c2f35f0c1cd |
| 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 | 3 |
| Best CPU time to get the best result obtained on this benchmark | 4.93097 |
| 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 | 275 |
| Total number of constraints | 6523 |
| Number of constraints which are clauses | 6512 |
| Number of constraints which are cardinality constraints (but not clauses) | 11 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 12 |
| Number of terms in the objective function | 11 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 11 |
| Number of bits of the sum of numbers in the objective function | 4 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 13 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version PB25.v20250606 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.08 c os.arch amd64 0.00/0.09 c Free memory 2104792832 0.00/0.09 c Max memory 16282288128 0.00/0.09 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.12/0.14 c Pseudo Boolean Optimization by upper bound 0.12/0.14 c --- Begin Solver configuration --- 0.12/0.14 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.12/0.14 c Learn all clauses as in MiniSAT 0.12/0.14 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.14 c Expensive reason simplification 0.12/0.14 c Glucose 2.1 dynamic restart strategy 0.12/0.14 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.12/0.14 c timeout=2147483s 0.12/0.14 c DB Simplification allowed=false 0.12/0.14 c Listener: none 0.12/0.14 c --- End Solver configuration --- 0.12/0.14 c solving HOME/instance-4517636-1751529834.opb 0.12/0.14 c reading problem ... 0.12/0.14 c objective function found 0.31/0.26 c ... done. Wall clock time 0.109s. 0.31/0.26 c declared #vars 275 0.31/0.26 c #constraints 6523 0.31/0.26 c constraints type 0.31/0.26 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 11 0.31/0.26 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6512 0.31/0.26 c 6523 constraints processed. 0.31/0.27 c objective function length is 11 literals 0.50/0.35 c SATISFIABLE 0.50/0.35 c OPTIMIZING... 0.50/0.35 c Got one! Elapsed wall clock time (in seconds):0.208 0.50/0.35 o 6 0.50/0.35 c Got one! Elapsed wall clock time (in seconds):0.216 0.50/0.35 o 3 1.07/0.68 c cleaning 2785 clauses out of 5577 with flag 28926/5577 1.65/0.93 c cleaning 4389 clauses out of 8791 with flag 57593/11576 2.12/1.22 c cleaning 5700 clauses out of 11403 with flag 98420/18577 2.43/1.54 c cleaning 6838 clauses out of 13702 with flag 157975/26576 2.91/1.94 c cleaning 7927 clauses out of 15864 with flag 218710/35576 3.39/2.37 c cleaning 8962 clauses out of 17937 with flag 290664/45576 3.88/2.87 c cleaning 9982 clauses out of 19975 with flag 368878/56576 4.39/3.35 c cleaning 10993 clauses out of 21994 with flag 451534/68577 5.12/3.96 c cleaning 11991 clauses out of 24000 with flag 540112/81576 5.75/4.54 c cleaning 13002 clauses out of 26011 with flag 648402/95578 6.45/5.27 c cleaning 13999 clauses out of 28009 with flag 758888/110578 7.35/6.13 c cleaning 14999 clauses out of 30008 with flag 875986/126576 8.38/7.10 c cleaning 16002 clauses out of 32010 with flag 994306/143577 8.99/7.71 c cleaning 16989 clauses out of 34009 with flag 1122590/161578 10.09/8.80 c cleaning 18005 clauses out of 36019 with flag 1268880/180577 11.30/10.08 c cleaning 19006 clauses out of 38014 with flag 1416599/200577 12.40/11.17 c cleaning 19990 clauses out of 40009 with flag 1581928/221578 13.59/12.39 c cleaning 21006 clauses out of 42018 with flag 1760036/243577 14.99/13.75 c cleaning 22004 clauses out of 44013 with flag 1931728/266578 16.09/14.84 c cleaning 22995 clauses out of 46007 with flag 2108558/290576 17.09/15.89 c cleaning 24004 clauses out of 48013 with flag 2292746/315577 18.88/17.66 c cleaning 24998 clauses out of 50008 with flag 2489370/341576 20.68/19.42 c cleaning 25997 clauses out of 52010 with flag 2689107/368576 23.17/21.90 c cleaning 27004 clauses out of 54013 with flag 2912024/396576 24.99/23.73 c cleaning 27992 clauses out of 56009 with flag 3142232/425576 27.39/26.15 c cleaning 28999 clauses out of 58017 with flag 3377171/455576 30.47/29.27 c cleaning 30006 clauses out of 60018 with flag 3618951/486576 33.07/31.83 c cleaning 30990 clauses out of 62012 with flag 3862485/518576 35.96/34.75 c cleaning 32003 clauses out of 64022 with flag 4106820/551576 38.65/37.49 c cleaning 33007 clauses out of 66020 with flag 4376091/585577 42.54/41.35 c cleaning 34001 clauses out of 68012 with flag 4670749/620576 46.27/45.07 c cleaning 35004 clauses out of 70011 with flag 4942959/656576 49.06/47.88 c cleaning 35998 clauses out of 72008 with flag 5232767/693577 52.45/51.29 c cleaning 37001 clauses out of 74010 with flag 5505976/731577 56.74/55.51 c cleaning 38002 clauses out of 76009 with flag 5800182/770577 58.94/57.79 c cleaning 38994 clauses out of 78008 with flag 6074537/810578 63.47/62.23 c cleaning 40000 clauses out of 80014 with flag 6391549/851578 68.77/67.50 c cleaning 40997 clauses out of 82012 with flag 6737954/893576 75.65/74.43 c cleaning 42004 clauses out of 84016 with flag 7104652/936577 81.14/79.90 c cleaning 43001 clauses out of 86012 with flag 7443854/980577 85.33/84.11 c cleaning 43995 clauses out of 88010 with flag 7806194/1025576 88.27/87.07 c cleaning 45008 clauses out of 90016 with flag 8194582/1071577 91.06/89.81 c cleaning 45998 clauses out of 92009 with flag 8587641/1118578 93.75/92.50 c cleaning 46999 clauses out of 94009 with flag 8997831/1166576 96.54/95.31 c cleaning 47997 clauses out of 96012 with flag 9440624/1215578 99.14/97.96 c cleaning 48997 clauses out of 98015 with flag 9880167/1265578 103.33/102.19 c cleaning 50004 clauses out of 100017 with flag 10277547/1316577 106.07/104.84 c cleaning 50990 clauses out of 102012 with flag 10743577/1368576 108.87/107.68 c cleaning 52000 clauses out of 104022 with flag 11193777/1421576 112.27/111.10 c cleaning 53007 clauses out of 106024 with flag 11612656/1475578 115.36/114.12 c cleaning 54003 clauses out of 108017 with flag 12033014/1530578 118.35/117.19 c cleaning 55005 clauses out of 110013 with flag 12489179/1586577 121.64/120.46 c cleaning 55994 clauses out of 112008 with flag 12949857/1643577 124.76/123.57 c cleaning 56999 clauses out of 114014 with flag 13412264/1701577 127.85/126.69 c cleaning 57997 clauses out of 116014 with flag 13885219/1760576 131.65/130.44 c cleaning 58998 clauses out of 118018 with flag 14351452/1820577 134.54/133.36 c cleaning 59991 clauses out of 120020 with flag 14784363/1881577 137.74/136.56 c cleaning 61006 clauses out of 122030 with flag 15261163/1943578 141.46/140.20 c cleaning 62005 clauses out of 124022 with flag 15747731/2006576 144.55/143.39 c cleaning 62994 clauses out of 126017 with flag 16248707/2070576 147.54/146.38 c cleaning 64000 clauses out of 128023 with flag 16751977/2135576 151.24/150.02 c cleaning 64999 clauses out of 130023 with flag 17277689/2201576 154.83/153.63 c cleaning 65999 clauses out of 132024 with flag 17816975/2268576 158.16/156.99 c cleaning 67007 clauses out of 134028 with flag 18332569/2336579 161.66/160.45 c cleaning 68003 clauses out of 136019 with flag 18844120/2405577 165.95/164.76 c cleaning 68998 clauses out of 138015 with flag 19406409/2475576 169.64/168.41 c cleaning 69994 clauses out of 140017 with flag 19926804/2546576 175.42/174.20 c cleaning 71006 clauses out of 142023 with flag 20541353/2618576 179.44/178.27 c cleaning 72002 clauses out of 144019 with flag 21100964/2691578 183.44/182.25 c cleaning 72998 clauses out of 146016 with flag 21655329/2765577 187.13/185.99 c cleaning 73989 clauses out of 148017 with flag 22230502/2840576 191.33/190.12 c cleaning 75007 clauses out of 150028 with flag 22801506/2916576 195.45/194.23 c cleaning 76008 clauses out of 152022 with flag 23375592/2993577 199.74/198.58 c cleaning 77003 clauses out of 154014 with flag 23975889/3071577 204.03/202.86 c cleaning 77998 clauses out of 156012 with flag 24550378/3150578 208.33/207.13 c cleaning 78999 clauses out of 158012 with flag 25133345/3230576 212.66/211.40 c cleaning 79998 clauses out of 160014 with flag 25760836/3311577 217.25/216.04 c cleaning 80995 clauses out of 162016 with flag 26397723/3393577 222.13/220.90 c cleaning 82000 clauses out of 164020 with flag 27032070/3476576 226.62/225.49 c cleaning 83004 clauses out of 166021 with flag 27643697/3560577 231.91/230.75 c cleaning 83995 clauses out of 168017 with flag 28301408/3645577 236.95/235.74 c cleaning 85004 clauses out of 170023 with flag 28922057/3731578 242.24/241.02 c cleaning 85999 clauses out of 172017 with flag 29586300/3818576 247.52/246.36 c cleaning 86999 clauses out of 174018 with flag 30243100/3906576 252.61/251.47 c cleaning 87997 clauses out of 176020 with flag 30875180/3995577 257.69/256.57 c cleaning 89003 clauses out of 178022 with flag 31622538/4085576 263.92/262.78 c cleaning 90000 clauses out of 180019 with flag 32319128/4176576 270.01/268.83 c cleaning 90996 clauses out of 182020 with flag 32928932/4268577 275.80/274.65 c cleaning 92007 clauses out of 184023 with flag 33601049/4361576 281.38/280.25 c cleaning 92999 clauses out of 186018 with flag 34225009/4455578 287.27/286.15 c cleaning 94005 clauses out of 188017 with flag 34853408/4550576 292.85/291.72 c cleaning 94997 clauses out of 190014 with flag 35501584/4646578 298.54/297.45 c cleaning 95995 clauses out of 192016 with flag 36211868/4743577 304.77/303.60 c cleaning 97001 clauses out of 194022 with flag 36952465/4841578 310.86/309.72 c cleaning 97991 clauses out of 196019 with flag 37724387/4940576 317.05/316.00 c cleaning 99011 clauses out of 198030 with flag 38528082/5040578 323.14/322.06 c cleaning 100004 clauses out of 200019 with flag 39234713/5141578 329.92/328.84 c cleaning 101006 clauses out of 202014 with flag 39958923/5243577 336.60/335.52 c cleaning 102004 clauses out of 204009 with flag 40678123/5346578 343.20/342.15 c cleaning 102998 clauses out of 206004 with flag 41423160/5450577 349.65/348.52 c cleaning 103991 clauses out of 208005 with flag 42128238/5555576 356.14/355.08 c cleaning 105002 clauses out of 210015 with flag 42836741/5661577 362.82/361.79 c cleaning 105997 clauses out of 212013 with flag 43591066/5768577 369.80/368.73 c cleaning 106985 clauses out of 214016 with flag 44363653/5876577 377.19/376.12 c cleaning 108000 clauses out of 216031 with flag 45153277/5985577 384.57/383.51 c cleaning 109005 clauses out of 218030 with flag 45987873/6095576 391.70/390.64 c cleaning 110008 clauses out of 220025 with flag 46812962/6206576 398.68/397.67 c cleaning 110995 clauses out of 222017 with flag 47565755/6318576 406.27/405.28 c cleaning 112005 clauses out of 224022 with flag 48438515/6431576 414.25/413.28 c cleaning 112993 clauses out of 226017 with flag 49270927/6545576 421.74/420.72 c cleaning 114001 clauses out of 228025 with flag 50116080/6660577 429.52/428.50 c cleaning 115002 clauses out of 230023 with flag 50918780/6776576 437.50/436.52 c cleaning 116005 clauses out of 232023 with flag 51774360/6893578 445.58/444.61 c cleaning 117003 clauses out of 234017 with flag 52633439/7011577 454.02/453.05 c cleaning 117997 clauses out of 236013 with flag 53420491/7130576 462.59/461.60 c cleaning 119003 clauses out of 238016 with flag 54285894/7250576 470.48/469.55 c cleaning 119995 clauses out of 240013 with flag 55068359/7371576 478.77/477.88 c cleaning 121008 clauses out of 242019 with flag 55966430/7493577 487.24/486.30 c cleaning 121997 clauses out of 244013 with flag 56771217/7616579 495.93/495.02 c cleaning 123001 clauses out of 246014 with flag 57611442/7740577 504.40/503.53 c cleaning 123998 clauses out of 248012 with flag 58517322/7865576 513.28/512.41 c cleaning 125006 clauses out of 250015 with flag 59435107/7991577 522.16/521.36 c cleaning 126002 clauses out of 252011 with flag 60336626/8118579 531.73/531.00 c cleaning 126995 clauses out of 254006 with flag 61177333/8246576 540.92/540.17 c cleaning 127994 clauses out of 256011 with flag 62085449/8375576 550.10/549.33 c cleaning 128996 clauses out of 258017 with flag 63033371/8505576 559.66/558.93 c cleaning 130004 clauses out of 260021 with flag 63964149/8636576 570.14/569.43 c cleaning 131001 clauses out of 262018 with flag 64840442/8768577 580.02/579.35 c cleaning 132002 clauses out of 264017 with flag 65803144/8901577 589.60/588.92 c cleaning 132991 clauses out of 266014 with flag 66784107/9035576 600.68/600.01 c cleaning 134009 clauses out of 268024 with flag 67807292/9170577 611.45/610.84 c cleaning 135002 clauses out of 270014 with flag 68687520/9306576 621.73/621.15 c cleaning 135996 clauses out of 272014 with flag 69607929/9443578 632.20/631.66 c cleaning 136998 clauses out of 274016 with flag 70538262/9581576 643.17/642.50 c cleaning 137996 clauses out of 276020 with flag 71537718/9720578 653.75/653.10 c cleaning 139010 clauses out of 278023 with flag 72479956/9860577 664.11/663.59 c cleaning 139997 clauses out of 280012 with flag 73441777/10001576 674.99/674.40 c cleaning 141003 clauses out of 282015 with flag 74398634/10143576 686.46/685.96 c cleaning 142006 clauses out of 284012 with flag 75289935/10286576 696.83/696.39 c cleaning 142995 clauses out of 286008 with flag 76263725/10430578 708.61/708.14 c cleaning 143994 clauses out of 288011 with flag 77332119/10575576 719.09/718.64 c cleaning 145001 clauses out of 290017 with flag 78275904/10721576 731.56/731.16 c cleaning 145999 clauses out of 292017 with flag 79294501/10868577 743.43/743.05 c cleaning 147002 clauses out of 294017 with flag 80292152/11016576 755.80/755.45 c cleaning 147999 clauses out of 296016 with flag 81324721/11165577 767.97/767.69 c cleaning 149006 clauses out of 298017 with flag 82302905/11315577 780.12/779.78 c cleaning 149994 clauses out of 300011 with flag 83409785/11466577 792.69/792.32 c cleaning 151002 clauses out of 302017 with flag 84503619/11618577 804.96/804.63 c cleaning 152002 clauses out of 304016 with flag 85595874/11771578 817.44/817.11 c cleaning 152996 clauses out of 306013 with flag 86671083/11925577 830.21/830.00 c cleaning 153996 clauses out of 308017 with flag 87629874/12080577 842.28/842.03 c cleaning 155008 clauses out of 310022 with flag 88723894/12236578 854.75/854.56 c cleaning 156003 clauses out of 312012 with flag 89809513/12393576 867.41/867.28 c cleaning 157001 clauses out of 314009 with flag 90935233/12551576 880.20/880.01 c cleaning 157997 clauses out of 316009 with flag 92053392/12710577 893.76/893.65 c cleaning 159003 clauses out of 318014 with flag 93152224/12870579 907.82/907.74 c cleaning 159992 clauses out of 320008 with flag 94405442/13031576 920.99/920.90 c cleaning 161007 clauses out of 322018 with flag 95513898/13193578 935.71/935.64 c cleaning 161987 clauses out of 324009 with flag 96571224/13356576 948.59/948.53 c cleaning 162997 clauses out of 326022 with flag 97684032/13520576 962.05/962.00 c cleaning 164007 clauses out of 328025 with flag 98896629/13685576 976.52/976.58 c cleaning 165008 clauses out of 330018 with flag 99977179/13851576 989.99/990.08 c cleaning 165984 clauses out of 332011 with flag 101214075/14018577 1004.35/1004.43 c cleaning 167008 clauses out of 334026 with flag 102392464/14186576 1018.92/1019.03 c cleaning 167998 clauses out of 336019 with flag 103634802/14355577 1032.78/1032.98 c cleaning 169008 clauses out of 338021 with flag 104834806/14525577 1048.14/1048.38 c cleaning 170000 clauses out of 340012 with flag 106046168/14696576 1063.79/1064.07 c cleaning 170999 clauses out of 342013 with flag 107273676/14868577 1080.04/1080.38 c cleaning 171994 clauses out of 344014 with flag 108469817/15041577 1096.00/1096.38 c cleaning 173004 clauses out of 346019 with flag 109708916/15215576 1113.05/1113.46 c cleaning 174001 clauses out of 348015 with flag 111147274/15390576 1129.20/1129.64 c cleaning 175000 clauses out of 350014 with flag 112316175/15566576 1144.67/1145.13 c cleaning 176001 clauses out of 352014 with flag 113552921/15743576 1160.52/1161.04 c cleaning 177001 clauses out of 354013 with flag 114813485/15921576 1175.87/1176.45 c cleaning 177990 clauses out of 356012 with flag 116073861/16100576 1192.32/1192.92 c cleaning 179004 clauses out of 358023 with flag 117406197/16280577 1208.08/1208.79 c cleaning 180001 clauses out of 360018 with flag 118627442/16461576 1225.03/1225.79 c cleaning 181006 clauses out of 362020 with flag 119949125/16643579 1242.31/1242.98 c cleaning 181998 clauses out of 364012 with flag 121123053/16826577 1259.48/1260.10 c cleaning 182995 clauses out of 366015 with flag 122505596/17010578 1277.73/1278.42 c cleaning 184010 clauses out of 368019 with flag 123848221/17195577 1294.39/1295.15 c cleaning 184997 clauses out of 370008 with flag 125190941/17381576 1312.06/1312.81 c cleaning 185999 clauses out of 372011 with flag 126517390/17568576 1330.01/1330.83 c cleaning 187001 clauses out of 374015 with flag 127890210/17756579 1348.46/1349.39 c cleaning 188000 clauses out of 376012 with flag 129287543/17945577 1367.22/1368.19 c cleaning 188995 clauses out of 378011 with flag 130661797/18135576 1384.17/1385.11 c cleaning 190009 clauses out of 380018 with flag 132053795/18326578 1402.41/1403.41 c cleaning 190996 clauses out of 382009 with flag 133347994/18518578 1421.16/1422.26 c cleaning 191988 clauses out of 384013 with flag 134619295/18711578 1439.42/1440.41 c cleaning 193008 clauses out of 386023 with flag 135973501/18905576 1457.79/1458.82 c cleaning 193986 clauses out of 388015 with flag 137224599/19100576 1475.15/1476.27 c cleaning 195012 clauses out of 390030 with flag 138534346/19296577 1493.40/1494.53 c cleaning 196008 clauses out of 392017 with flag 139889863/19493576 1513.35/1514.54 c cleaning 197002 clauses out of 394009 with flag 141269167/19691576 1532.61/1533.80 c cleaning 197997 clauses out of 396007 with flag 142757057/19890576 1552.07/1553.33 c cleaning 199003 clauses out of 398011 with flag 144160788/20090577 1571.72/1573.02 c cleaning 199993 clauses out of 400007 with flag 145595639/20291576 1592.46/1593.80 c cleaning 201005 clauses out of 402015 with flag 146978349/20493577 1613.32/1614.76 c cleaning 201999 clauses out of 404009 with flag 148388081/20696576 1635.96/1637.44 c cleaning 202995 clauses out of 406011 with flag 150004054/20900577 1656.71/1658.28 c cleaning 203999 clauses out of 408016 with flag 151418528/21105577 1676.96/1678.51 c cleaning 205000 clauses out of 410018 with flag 152854345/21311578 1698.51/1699.66 c cleaning 206005 clauses out of 412017 with flag 154444095/21518577 1719.15/1720.38 c cleaning 207004 clauses out of 414012 with flag 155937506/21726577 1739.70/1740.98 c cleaning 207998 clauses out of 416008 with flag 157337420/21935577 1760.46/1761.72 c cleaning 208994 clauses out of 418010 with flag 158893732/22145577 1784.29/1785.65 c cleaning 210005 clauses out of 420016 with flag 160643007/22356577 1805.54/1806.97 c cleaning 211000 clauses out of 422011 with flag 162128107/22568577 1827.69/1829.12 c cleaning 211986 clauses out of 424010 with flag 163662532/22781576 1849.64/1851.16 c cleaning 213006 clauses out of 426026 with flag 165134909/22995578 1871.68/1873.24 c cleaning 214003 clauses out of 428019 with flag 166727402/23210577 1897.65/1899.26 c cleaning 215004 clauses out of 430016 with flag 168364598/23426577 1920.79/1922.40 c cleaning 215991 clauses out of 432012 with flag 169998659/23643577 1944.63/1946.39 c cleaning 217003 clauses out of 434020 with flag 171653214/23861576 1969.28/1971.05 c cleaning 218002 clauses out of 436017 with flag 173356502/24080576 1991.12/1992.96 c cleaning 219007 clauses out of 438017 with flag 174865682/24300578 2013.57/2015.41 c cleaning 220002 clauses out of 440008 with flag 176308894/24521576 2038.60/2040.54 c cleaning 220994 clauses out of 442007 with flag 177930492/24743577 2062.35/2064.30 c cleaning 222000 clauses out of 444012 with flag 179394075/24966576 2085.20/2087.27 c cleaning 222999 clauses out of 446013 with flag 180973315/25190577 2106.96/2109.07 c cleaning 223988 clauses out of 448015 with flag 182492889/25415578 2129.80/2131.99 c cleaning 224995 clauses out of 450026 with flag 184109180/25641577 2152.97/2155.14 c cleaning 226006 clauses out of 452031 with flag 185657157/25868577 2175.48/2177.66 c cleaning 227008 clauses out of 454024 with flag 187185401/26096576 2197.34/2199.59 c cleaning 227999 clauses out of 456016 with flag 188761846/26325576 2219.00/2221.21 c cleaning 229006 clauses out of 458019 with flag 190211033/26555578 2240.85/2243.13 c cleaning 230000 clauses out of 460012 with flag 191667844/26786577 2263.00/2265.35 c cleaning 230999 clauses out of 462012 with flag 193212959/27018577 2285.36/2287.75 c cleaning 231995 clauses out of 464012 with flag 194717757/27251576 2309.29/2311.79 c cleaning 233002 clauses out of 466017 with flag 196275772/27485576 2333.22/2335.73 c cleaning 233999 clauses out of 468015 with flag 197811428/27720576 2359.06/2361.60 c cleaning 235005 clauses out of 470016 with flag 199534767/27956576 2385.38/2388.05 c cleaning 236003 clauses out of 472011 with flag 201121875/28193576 2410.32/2413.01 c cleaning 236999 clauses out of 474008 with flag 202790783/28431576 2435.54/2438.30 c cleaning 237995 clauses out of 476011 with flag 204533778/28670578 2461.19/2464.01 c cleaning 238998 clauses out of 478014 with flag 206225279/28910576 2485.74/2488.60 c cleaning 239997 clauses out of 480016 with flag 207984725/29151576 2510.28/2513.27 c cleaning 241004 clauses out of 482020 with flag 209587029/29393577 2537.83/2540.82 c cleaning 242002 clauses out of 484015 with flag 211379062/29636576 2562.68/2565.75 c cleaning 243002 clauses out of 486013 with flag 213023243/29880576 2588.22/2591.32 c cleaning 243999 clauses out of 488012 with flag 214752930/30125577 2616.07/2619.27 c cleaning 245000 clauses out of 490013 with flag 216561160/30371577 2648.07/2651.30 c cleaning 246005 clauses out of 492013 with flag 218549874/30618577 2673.21/2676.59 c cleaning 246990 clauses out of 494007 with flag 220157847/30866576 2703.62/2707.08 c cleaning 248006 clauses out of 496017 with flag 222011849/31115576 2729.85/2733.38 c cleaning 248996 clauses out of 498011 with flag 223741220/31365576 2762.35/2765.96 c cleaning 250006 clauses out of 500017 with flag 225802215/31616578 2790.21/2793.84 c cleaning 251001 clauses out of 502009 with flag 227544738/31868576 2820.36/2824.10 c cleaning 251999 clauses out of 504008 with flag 229458587/32121576 2847.79/2851.51 c cleaning 252996 clauses out of 506009 with flag 231201763/32375576 2874.23/2878.01 c cleaning 254003 clauses out of 508016 with flag 232887089/32630579 2901.84/2905.75 c cleaning 254998 clauses out of 510011 with flag 234640562/32886577 2929.96/2933.96 c cleaning 256000 clauses out of 512012 with flag 236430117/33143576 2957.49/2961.51 c cleaning 257001 clauses out of 514013 with flag 238080369/33401577 2989.90/2994.02 c cleaning 258005 clauses out of 516013 with flag 240155513/33660578 3017.22/3021.42 c cleaning 259000 clauses out of 518006 with flag 242011322/33920576 3047.34/3051.65 c cleaning 259985 clauses out of 520006 with flag 244004438/34181576 3076.08/3080.49 c cleaning 261008 clauses out of 522022 with flag 245764208/34443577 3108.31/3112.79 c cleaning 262005 clauses out of 524013 with flag 247744920/34706576 3140.83/3145.25 c cleaning 263002 clauses out of 526009 with flag 249656431/34970577 3173.66/3178.15 c cleaning 264001 clauses out of 528008 with flag 251639562/35235578 3205.30/3209.80 c cleaning 264991 clauses out of 530006 with flag 253704220/35501577 3238.10/3242.71 c cleaning 266004 clauses out of 532014 with flag 255715575/35768576 3268.62/3273.37 c cleaning 266990 clauses out of 534010 with flag 257726423/36036576 3301.83/3306.66 c cleaning 268004 clauses out of 536020 with flag 259846072/36305576 3334.74/3339.68 c cleaning 269004 clauses out of 538017 with flag 261845540/36575577 3365.55/3370.55 c cleaning 269997 clauses out of 540017 with flag 263782971/36846581 3400.45/3405.55 c cleaning 270992 clauses out of 542017 with flag 266119640/37118578 3431.77/3436.97 c cleaning 272001 clauses out of 544023 with flag 267911118/37391576 3467.87/3473.13 c cleaning 272999 clauses out of 546022 with flag 269913965/37665576 3505.37/3510.70 c cleaning 274010 clauses out of 548024 with flag 272299396/37940577 3538.57/3544.02 c cleaning 275004 clauses out of 550013 with flag 274269092/38216576 3577.68/3583.19 c cleaning 276005 clauses out of 552014 with flag 276674728/38493581 3600.02/3605.51 c starts : 63991 3600.02/3605.51 c conflicts : 38710651 3600.02/3605.51 c decisions : 82429492 3600.02/3605.51 c propagations : 792634581 3600.02/3605.51 c inspects : 46981399810 3600.02/3605.51 c shortcuts : 0 3600.02/3605.51 c learnt literals : 0 3600.02/3605.51 c learnt binary clauses : 0 3600.02/3605.51 c learnt ternary clauses : 0 3600.02/3605.51 c learnt constraints : 38710651 3600.02/3605.51 c ignored constraints : 0 3600.02/3605.51 c root simplifications : 0 3600.02/3605.51 c removed literals (reason simplification) : 968648839 3600.02/3605.51 c reason swapping (by a shorter reason) : 0 3600.02/3605.51 c Calls to reduceDB : 273 3600.02/3605.51 c Number of update (reduction) of LBD : 18276852 3600.02/3605.51 c Imported unit clauses : 0 3600.02/3605.51 c No decision after first conflict : false 3600.02/3605.51 c number of reductions to clauses (during analyze) : 0 3600.02/3605.51 c number of learned constraints concerned by reduction : 0 3600.02/3605.51 c number of learning phase by resolution : 0 3600.02/3605.51 c number of learning phase by cutting planes : 0 3600.02/3605.51 c number of rounding to 1 operations : 0 3600.02/3605.51 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.02/3605.51 c number of reductions of the coefficients by power 2 : 0 3600.02/3605.51 c number of right shift for reduction by power 2 : 0 3600.02/3605.51 c number of reductions of the coefficients by GCD over coefficients : 0 3600.02/3605.51 c number of ending skipping : 0 3600.02/3605.51 c number of internal skipping : 0 3600.02/3605.51 c number of derivation steps : 0 3600.02/3605.51 c number of skipped derivation steps : 0 3600.02/3605.51 c number of remaining unassigned : 0 3600.02/3605.52 c number of remaining assigned : 0 3600.02/3605.52 c number of falsified literals weakened from reason : 0 3600.02/3605.52 c number of falsified literals weakened from conflict : 0 3600.02/3605.52 c time for arithmetic operations : 0 3600.02/3605.52 c minimum degree of deleted constraints : null 3600.02/3605.52 c maximum degree of deleted constraints : null 3600.02/3605.52 c number of deleted constraints : 0 3600.02/3605.52 c speed (assignments/second) : 219856.19851765805 3600.02/3605.52 c non guided choices : 1420 3600.02/3605.58 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 493079 3600.02/3605.58 s SATISFIABLE 3600.02/3605.58 c Found 2 solution(s) 3600.02/3605.58 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 3600.02/3605.58 c objective function=3 3600.02/3605.58 c Total wall clock time (in seconds): 3605.444
OK 3
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (53796 MiB free)
memory of node 1: 64465 MiB (53400 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517636-1751529834/watcher-4517636-1751529834 -o /tmp/evaluation-result-4517636-1751529834/solver-4517636-1751529834 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751521141-72933 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4517636-1751529834.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=74450, runsolver pid=74447
[startup+0.100061 s]*
/proc/loadavg: 4.29 4.23 4.19 5/339 74468
/proc/meminfo: memFree=109745908/131249996 swapFree=33010160/33010684
[pid=74450] ppid=74447 vsize=18930384 memory=57660 CPUtime=0.12 cores=5,7
/proc/74450/stat : 74450 (java) S 74447 74450 72920 0 -1 4194304 6554 0 0 0 10 2 0 0 20 0 18 0 68662051 19384713216 14415 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
/proc/74450/statm: 4732596 14415 5332 1 0 547604 0
[pid=74450/tid=74452] ppid=74447 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/74450/task/74452/stat : 74452 (java) R 74447 74450 72920 0 -1 4194368 5059 0 0 0 6 1 0 0 20 0 18 0 68662053 19384713216 14415 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74461] ppid=74447 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/74450/task/74461/stat : 74461 (Finalizer) S 74447 74450 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68662055 19384713216 14415 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74468] ppid=74447 vsize=18930384 memory=61784027576291 CPUtime=0 cores=5,7
/proc/74450/task/74468/stat : 74468 (Common-Cleaner) S 74447 74450 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 68662055 19384713216 14415 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57660 KiB
[startup+0.205764 s]*
/proc/loadavg: 4.29 4.23 4.19 7/339 74468
/proc/meminfo: memFree=109741812/131249996 swapFree=33010160/33010684
[pid=74450] ppid=74447 vsize=18930384 memory=63980 CPUtime=0.31 cores=5,7
/proc/74450/stat : 74450 (java) S 74447 74450 72920 0 -1 4194304 7017 0 0 0 28 3 0 0 20 0 18 0 68662051 19384713216 15995 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
/proc/74450/statm: 4732596 15995 5428 1 0 547905 0
[pid=74450/tid=74452] ppid=74447 vsize=18930384 memory=4026728732 CPUtime=0.16 cores=5,7
/proc/74450/task/74452/stat : 74452 (java) R 74447 74450 72920 0 -1 4194368 5276 0 0 0 15 1 0 0 20 0 18 0 68662053 19384713216 15995 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74461] ppid=74447 vsize=18930384 memory=13937 CPUtime=0 cores=5,7
/proc/74450/task/74461/stat : 74461 (Finalizer) S 74447 74450 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68662055 19384713216 15995 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74468] ppid=74447 vsize=18930384 memory=60684515935208 CPUtime=0 cores=5,7
/proc/74450/task/74468/stat : 74468 (Common-Cleaner) S 74447 74450 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 68662055 19384713216 15995 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63980 KiB
[startup+0.305763 s]*
/proc/loadavg: 4.29 4.23 4.19 7/340 74469
/proc/meminfo: memFree=109725492/131249996 swapFree=33010160/33010684
[pid=74450] ppid=74447 vsize=18996948 memory=81728 CPUtime=0.5 cores=5,7
/proc/74450/stat : 74450 (java) S 74447 74450 72920 0 -1 4194304 8819 0 0 0 47 3 0 0 20 0 19 0 68662051 19452874752 20432 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
/proc/74450/statm: 4749237 20432 5460 1 0 549443 0
[pid=74450/tid=74452] ppid=74447 vsize=18996948 memory=-6000919477018323048 CPUtime=0.24 cores=5,7
/proc/74450/task/74452/stat : 74452 (java) R 74447 74450 72920 0 -1 4194368 5377 0 0 0 22 2 0 0 20 0 19 0 68662053 19452874752 20432 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74461] ppid=74447 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/74450/task/74461/stat : 74461 (Finalizer) S 74447 74450 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68662055 19452874752 20432 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74468] ppid=74447 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/74450/task/74468/stat : 74468 (Common-Cleaner) S 74447 74450 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 68662055 19452874752 20432 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74469] ppid=74447 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/74450/task/74469/stat : 74469 (Timer-0) S 74447 74450 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68662080 19452874752 20432 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 81728 KiB
[startup+0.700241 s]
/proc/loadavg: 4.29 4.23 4.19 6/340 74469
/proc/meminfo: memFree=109721700/131249996 swapFree=33010160/33010684
[pid=74450] ppid=74447 vsize=18996948 memory=95504 CPUtime=1.26 cores=5,7
/proc/74450/stat : 74450 (java) S 74447 74450 72920 0 -1 4194304 11445 0 0 0 122 4 0 0 20 0 19 0 68662051 19452874752 23876 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
/proc/74450/statm: 4749237 23876 5460 1 0 551209 0
[pid=74450/tid=74452] ppid=74447 vsize=18996948 memory=18432 CPUtime=0.59 cores=5,7
/proc/74450/task/74452/stat : 74452 (java) R 74447 74450 72920 0 -1 4194368 5441 0 0 0 57 2 0 0 20 0 19 0 68662053 19452874752 23876 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74461] ppid=74447 vsize=18996948 memory=11136 CPUtime=0 cores=5,7
/proc/74450/task/74461/stat : 74461 (Finalizer) S 74447 74450 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68662055 19452874752 23876 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74468] ppid=74447 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/74450/task/74468/stat : 74468 (Common-Cleaner) S 74447 74450 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 68662055 19452874752 23876 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74469] ppid=74447 vsize=18996948 memory=4496 CPUtime=0 cores=5,7
/proc/74450/task/74469/stat : 74469 (Timer-0) S 74447 74450 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68662080 19452874752 23876 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 95504 KiB
[startup+1.50023 s]
/proc/loadavg: 4.29 4.23 4.19 6/340 74469
/proc/meminfo: memFree=109709224/131249996 swapFree=33010160/33010684
[pid=74450] ppid=74447 vsize=18996948 memory=104604 CPUtime=2.43 cores=5,7
/proc/74450/stat : 74450 (java) S 74447 74450 72920 0 -1 4194304 12636 0 0 0 238 5 0 0 20 0 19 0 68662051 19452874752 26151 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
/proc/74450/statm: 4749237 26151 5460 1 0 551331 0
[pid=74450/tid=74452] ppid=74447 vsize=18996948 memory=11136 CPUtime=1.39 cores=5,7
/proc/74450/task/74452/stat : 74452 (java) R 74447 74450 72920 0 -1 4194368 5794 0 0 0 136 3 0 0 20 0 19 0 68662053 19452874752 26151 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74461] ppid=74447 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/74450/task/74461/stat : 74461 (Finalizer) S 74447 74450 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68662055 19452874752 26151 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74468] ppid=74447 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/74450/task/74468/stat : 74468 (Common-Cleaner) S 74447 74450 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 68662055 19452874752 26151 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74469] ppid=74447 vsize=18996948 memory=4496 CPUtime=0 cores=5,7
/proc/74450/task/74469/stat : 74469 (Timer-0) S 74447 74450 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68662080 19452874752 26151 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 104604 KiB
[startup+3.10562 s]
/proc/loadavg: 4.43 4.26 4.20 5/340 74469
/proc/meminfo: memFree=109692848/131249996 swapFree=33010160/33010684
[pid=74450] ppid=74447 vsize=18996948 memory=117112 CPUtime=4.19 cores=5,7
/proc/74450/stat : 74450 (java) S 74447 74450 72920 0 -1 4194304 15919 0 0 0 414 5 0 0 20 0 19 0 68662051 19452874752 29278 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
/proc/74450/statm: 4749237 29278 5460 1 0 551334 0
[pid=74450/tid=74452] ppid=74447 vsize=18996948 memory=11136 CPUtime=2.98 cores=5,7
/proc/74450/task/74452/stat : 74452 (java) R 74447 74450 72920 0 -1 4194368 6078 0 0 0 295 3 0 0 20 0 19 0 68662053 19452874752 29278 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74461] ppid=74447 vsize=18996948 memory=-6000919477018323048 CPUtime=0 cores=5,7
/proc/74450/task/74461/stat : 74461 (Finalizer) S 74447 74450 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68662055 19452874752 29278 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74468] ppid=74447 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/74450/task/74468/stat : 74468 (Common-Cleaner) S 74447 74450 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 68662055 19452874752 29278 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74469] ppid=74447 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/74450/task/74469/stat : 74469 (Timer-0) S 74447 74450 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68662080 19452874752 29278 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
Current children cumulated CPU time: 4.19 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 117112 KiB
[startup+6.30023 s]
/proc/loadavg: 4.43 4.26 4.20 5/340 74469
/proc/meminfo: memFree=109672640/131249996 swapFree=33010160/33010684
[pid=74450] ppid=74447 vsize=18996948 memory=137756 CPUtime=7.57 cores=5,7
/proc/74450/stat : 74450 (java) S 74447 74450 72920 0 -1 4194304 20718 0 0 0 751 6 0 0 20 0 19 0 68662051 19452874752 34439 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
/proc/74450/statm: 4749237 34439 5460 1 0 551352 0
[pid=74450/tid=74452] ppid=74447 vsize=18996948 memory=0 CPUtime=6.16 cores=5,7
/proc/74450/task/74452/stat : 74452 (java) R 74447 74450 72920 0 -1 4194368 6633 0 0 0 613 3 0 0 20 0 19 0 68662053 19452874752 34439 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74461] ppid=74447 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/74450/task/74461/stat : 74461 (Finalizer) S 74447 74450 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68662055 19452874752 34439 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74468] ppid=74447 vsize=18996948 memory=11136 CPUtime=0 cores=5,7
/proc/74450/task/74468/stat : 74468 (Common-Cleaner) S 74447 74450 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 68662055 19452874752 34439 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74469] ppid=74447 vsize=18996948 memory=104732 CPUtime=0 cores=5,7
/proc/74450/task/74469/stat : 74469 (Timer-0) S 74447 74450 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68662080 19452874752 34439 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
Current children cumulated CPU time: 7.57 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 137756 KiB
[startup+12.7002 s]
/proc/loadavg: 4.36 4.25 4.20 5/341 74470
/proc/meminfo: memFree=109631428/131249996 swapFree=33010160/33010684
[pid=74450] ppid=74447 vsize=19063512 memory=177300 CPUtime=13.99 cores=5,7
/proc/74450/stat : 74450 (java) S 74447 74450 72920 0 -1 4194304 23119 0 0 0 1392 7 0 0 20 0 20 0 68662051 19521036288 44325 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
/proc/74450/statm: 4765878 44325 5524 1 0 551641 0
[pid=74450/tid=74452] ppid=74447 vsize=19063512 memory=104732 CPUtime=12.53 cores=5,7
/proc/74450/task/74452/stat : 74452 (java) R 74447 74450 72920 0 -1 4194368 7152 0 0 0 1249 4 0 0 20 0 20 0 68662053 19521036288 44325 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74461] ppid=74447 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/74450/task/74461/stat : 74461 (Finalizer) S 74447 74450 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68662055 19521036288 44325 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74468] ppid=74447 vsize=19063512 memory=177300 CPUtime=0 cores=5,7
/proc/74450/task/74468/stat : 74468 (Common-Cleaner) S 74447 74450 72920 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 68662055 19521036288 44325 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74469] ppid=74447 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/74450/task/74469/stat : 74469 (Timer-0) S 74447 74450 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68662080 19521036288 44325 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
Current children cumulated CPU time: 13.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177300 KiB
[startup+25.5002 s]
/proc/loadavg: 4.31 4.24 4.20 5/341 74470
/proc/meminfo: memFree=109619244/131249996 swapFree=33010160/33010684
[pid=74450] ppid=74447 vsize=19063512 memory=187596 CPUtime=26.78 cores=5,7
/proc/74450/stat : 74450 (java) S 74447 74450 72920 0 -1 4194304 24761 0 0 0 2670 8 0 0 20 0 20 0 68662051 19521036288 46899 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
/proc/74450/statm: 4765878 46899 5524 1 0 551641 0
[pid=74450/tid=74452] ppid=74447 vsize=19063512 memory=11136 CPUtime=25.28 cores=5,7
/proc/74450/task/74452/stat : 74452 (java) R 74447 74450 72920 0 -1 4194368 7630 0 0 0 2524 4 0 0 20 0 20 0 68662053 19521036288 46899 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74461] ppid=74447 vsize=19063512 memory=177300 CPUtime=0 cores=5,7
/proc/74450/task/74461/stat : 74461 (Finalizer) S 74447 74450 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68662055 19521036288 46899 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74468] ppid=74447 vsize=19063512 memory=3104 CPUtime=0 cores=5,7
/proc/74450/task/74468/stat : 74468 (Common-Cleaner) S 74447 74450 72920 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 68662055 19521036288 46899 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74469] ppid=74447 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/74450/task/74469/stat : 74469 (Timer-0) S 74447 74450 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68662080 19521036288 46899 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
Current children cumulated CPU time: 26.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 187596 KiB
[startup+51.1057 s]
/proc/loadavg: 4.34 4.26 4.20 5/341 74470
/proc/meminfo: memFree=109561908/131249996 swapFree=33010160/33010684
[pid=74450] ppid=74447 vsize=19063512 memory=214524 CPUtime=52.36 cores=5,7
/proc/74450/stat : 74450 (java) S 74447 74450 72920 0 -1 4194304 24898 0 0 0 5227 9 0 0 20 0 20 0 68662051 19521036288 53631 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
/proc/74450/statm: 4765878 53631 5556 1 0 551641 0
[pid=74450/tid=74452] ppid=74447 vsize=19063512 memory=16580 CPUtime=50.79 cores=5,7
/proc/74450/task/74452/stat : 74452 (java) R 74447 74450 72920 0 -1 4194368 7650 0 0 0 5075 4 0 0 20 0 20 0 68662053 19521036288 53631 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74461] ppid=74447 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/meminfo: memFree=109012532/131249996 swapFree=33010160/33010684
[pid=74450] ppid=74447 vsize=19063512 memory=2159920 CPUtime=3277.59 cores=5,7
/proc/74450/stat : 74450 (java) S 74447 74450 72920 0 -1 4194304 77521 0 0 0 327655 104 0 0 20 0 20 0 68662051 19521036288 539980 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
/proc/74450/statm: 4765878 539980 5556 1 0 555273 0
[pid=74450/tid=74452] ppid=74447 vsize=19063512 memory=2159920 CPUtime=3271.4 cores=5,7
/proc/74450/task/74452/stat : 74452 (java) R 74447 74450 72920 0 -1 4194368 34714 0 0 0 327119 21 0 0 20 0 20 0 68662053 19521036288 539980 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74461] ppid=74447 vsize=19063512 memory=2159920 CPUtime=0 cores=5,7
/proc/74450/task/74461/stat : 74461 (Finalizer) S 74447 74450 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68662055 19521036288 539980 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74468] ppid=74447 vsize=19063512 memory=2159920 CPUtime=0 cores=5,7
/proc/74450/task/74468/stat : 74468 (Common-Cleaner) S 74447 74450 72920 0 -1 4194368 789 0 0 0 0 0 0 0 20 0 20 0 68662055 19521036288 539980 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74469] ppid=74447 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/74450/task/74469/stat : 74469 (Timer-0) S 74447 74450 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68662080 19521036288 539980 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
Current children cumulated CPU time: 3277.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2159920 KiB
[startup+3342.3 s]
/proc/loadavg: 2.10 2.11 2.47 3/289 74833
/proc/meminfo: memFree=109012880/131249996 swapFree=33010160/33010684
[pid=74450] ppid=74447 vsize=19063512 memory=2159920 CPUtime=3337.43 cores=5,7
/proc/74450/stat : 74450 (java) S 74447 74450 72920 0 -1 4194304 78045 0 0 0 333637 106 0 0 20 0 20 0 68662051 19521036288 539980 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
/proc/74450/statm: 4765878 539980 5556 1 0 555273 0
[pid=74450/tid=74452] ppid=74447 vsize=19063512 memory=2159920 CPUtime=3331.21 cores=5,7
/proc/74450/task/74452/stat : 74452 (java) R 74447 74450 72920 0 -1 4194368 35182 0 0 0 333100 21 0 0 20 0 20 0 68662053 19521036288 539980 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74461] ppid=74447 vsize=19063512 memory=2159920 CPUtime=0 cores=5,7
/proc/74450/task/74461/stat : 74461 (Finalizer) S 74447 74450 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68662055 19521036288 539980 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74468] ppid=74447 vsize=19063512 memory=2159920 CPUtime=0 cores=5,7
/proc/74450/task/74468/stat : 74468 (Common-Cleaner) S 74447 74450 72920 0 -1 4194368 801 0 0 0 0 0 0 0 20 0 20 0 68662055 19521036288 539980 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74469] ppid=74447 vsize=19063512 memory=16580 CPUtime=0 cores=5,7
/proc/74450/task/74469/stat : 74469 (Timer-0) S 74447 74450 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68662080 19521036288 539980 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
Current children cumulated CPU time: 3337.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2159920 KiB
[startup+3402.3 s]
/proc/loadavg: 2.08 2.10 2.45 3/290 74836
/proc/meminfo: memFree=109013068/131249996 swapFree=33010160/33010684
[pid=74450] ppid=74447 vsize=19063512 memory=2159920 CPUtime=3397.26 cores=5,7
/proc/74450/stat : 74450 (java) S 74447 74450 72920 0 -1 4194304 78203 0 0 0 339620 106 0 0 20 0 20 0 68662051 19521036288 539980 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
/proc/74450/statm: 4765878 539980 5556 1 0 555273 0
[pid=74450/tid=74452] ppid=74447 vsize=19063512 memory=2159920 CPUtime=3391.03 cores=5,7
/proc/74450/task/74452/stat : 74452 (java) R 74447 74450 72920 0 -1 4194368 35313 0 0 0 339082 21 0 0 20 0 20 0 68662053 19521036288 539980 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74461] ppid=74447 vsize=19063512 memory=2159920 CPUtime=0 cores=5,7
/proc/74450/task/74461/stat : 74461 (Finalizer) S 74447 74450 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68662055 19521036288 539980 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74468] ppid=74447 vsize=19063512 memory=2159920 CPUtime=0 cores=5,7
/proc/74450/task/74468/stat : 74468 (Common-Cleaner) S 74447 74450 72920 0 -1 4194368 801 0 0 0 0 0 0 0 20 0 20 0 68662055 19521036288 539980 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74469] ppid=74447 vsize=19063512 memory=16580 CPUtime=0 cores=5,7
/proc/74450/task/74469/stat : 74469 (Timer-0) S 74447 74450 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68662080 19521036288 539980 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
Current children cumulated CPU time: 3397.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2159920 KiB
[startup+3462.3 s]
/proc/loadavg: 2.09 2.10 2.42 3/290 74849
/proc/meminfo: memFree=109013020/131249996 swapFree=33010160/33010684
[pid=74450] ppid=74447 vsize=19063512 memory=2159920 CPUtime=3457.09 cores=5,7
/proc/74450/stat : 74450 (java) S 74447 74450 72920 0 -1 4194304 79136 0 0 0 345602 107 0 0 20 0 20 0 68662051 19521036288 539980 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
/proc/74450/statm: 4765878 539980 5556 1 0 555274 0
[pid=74450/tid=74452] ppid=74447 vsize=19063512 memory=16580 CPUtime=3450.85 cores=5,7
/proc/74450/task/74452/stat : 74452 (java) R 74447 74450 72920 0 -1 4194368 36207 0 0 0 345064 21 0 0 20 0 20 0 68662053 19521036288 539980 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74461] ppid=74447 vsize=19063512 memory=4496 CPUtime=0 cores=5,7
/proc/74450/task/74461/stat : 74461 (Finalizer) S 74447 74450 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68662055 19521036288 539980 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74468] ppid=74447 vsize=19063512 memory=2159920 CPUtime=0 cores=5,7
/proc/74450/task/74468/stat : 74468 (Common-Cleaner) S 74447 74450 72920 0 -1 4194368 801 0 0 0 0 0 0 0 20 0 20 0 68662055 19521036288 539980 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74469] ppid=74447 vsize=19063512 memory=2159920 CPUtime=0 cores=5,7
/proc/74450/task/74469/stat : 74469 (Timer-0) S 74447 74450 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68662080 19521036288 539980 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
Current children cumulated CPU time: 3457.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2159920 KiB
[startup+3522.3 s]
/proc/loadavg: 2.08 2.09 2.40 3/290 74852
/proc/meminfo: memFree=109013560/131249996 swapFree=33010160/33010684
[pid=74450] ppid=74447 vsize=19063512 memory=2159920 CPUtime=3516.93 cores=5,7
/proc/74450/stat : 74450 (java) S 74447 74450 72920 0 -1 4194304 80303 0 0 0 351585 108 0 0 20 0 20 0 68662051 19521036288 539980 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
/proc/74450/statm: 4765878 539980 5556 1 0 555292 0
[pid=74450/tid=74452] ppid=74447 vsize=19063512 memory=2159920 CPUtime=3510.66 cores=5,7
/proc/74450/task/74452/stat : 74452 (java) R 74447 74450 72920 0 -1 4194368 37154 0 0 0 351045 21 0 0 20 0 20 0 68662053 19521036288 539980 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74461] ppid=74447 vsize=19063512 memory=18432 CPUtime=0 cores=5,7
/proc/74450/task/74461/stat : 74461 (Finalizer) S 74447 74450 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68662055 19521036288 539980 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74468] ppid=74447 vsize=19063512 memory=2159920 CPUtime=0 cores=5,7
/proc/74450/task/74468/stat : 74468 (Common-Cleaner) S 74447 74450 72920 0 -1 4194368 813 0 0 0 0 0 0 0 20 0 20 0 68662055 19521036288 539980 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74469] ppid=74447 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/74450/task/74469/stat : 74469 (Timer-0) S 74447 74450 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68662080 19521036288 539980 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
Current children cumulated CPU time: 3516.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2159920 KiB
[startup+3582.3 s]
/proc/loadavg: 2.15 2.10 2.38 3/291 74859
/proc/meminfo: memFree=109013692/131249996 swapFree=33010160/33010684
[pid=74450] ppid=74447 vsize=19063512 memory=2162116 CPUtime=3576.88 cores=5,7
/proc/74450/stat : 74450 (java) S 74447 74450 72920 0 -1 4194304 81160 0 0 0 357579 109 0 0 20 0 20 0 68662051 19521036288 540529 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
/proc/74450/statm: 4765878 540529 5556 1 0 555294 0
[pid=74450/tid=74452] ppid=74447 vsize=19063512 memory=16580 CPUtime=3570.39 cores=5,7
/proc/74450/task/74452/stat : 74452 (java) R 74447 74450 72920 0 -1 4194368 37285 0 0 0 357017 22 0 0 20 0 20 0 68662053 19521036288 540529 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74461] ppid=74447 vsize=19063512 memory=2162116 CPUtime=0 cores=5,7
/proc/74450/task/74461/stat : 74461 (Finalizer) S 74447 74450 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68662055 19521036288 540529 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74468] ppid=74447 vsize=19063512 memory=16580 CPUtime=0 cores=5,7
/proc/74450/task/74468/stat : 74468 (Common-Cleaner) S 74447 74450 72920 0 -1 4194368 825 0 0 0 0 0 0 0 20 0 20 0 68662055 19521036288 540529 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74469] ppid=74447 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/74450/task/74469/stat : 74469 (Timer-0) S 74447 74450 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68662080 19521036288 540529 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
Current children cumulated CPU time: 3576.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2162116 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3605.5 s]
/proc/loadavg: 2.10 2.09 2.37 3/291 74859
/proc/meminfo: memFree=109013692/131249996 swapFree=33010160/33010684
[pid=74450] ppid=74447 vsize=19063512 memory=2162116 CPUtime=3600.02 cores=5,7
/proc/74450/stat : 74450 (java) S 74447 74450 72920 0 -1 4194304 81170 0 0 0 359892 110 0 0 20 0 20 0 68662051 19521036288 540529 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
/proc/74450/statm: 4765878 540529 5556 1 0 555294 0
[pid=74450/tid=74452] ppid=74447 vsize=19063512 memory=16580 CPUtime=3593.51 cores=5,7
/proc/74450/task/74452/stat : 74452 (java) R 74447 74450 72920 0 -1 4194368 37288 0 0 0 359329 22 0 0 20 0 20 0 68662053 19521036288 540529 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74461] ppid=74447 vsize=19063512 memory=2162116 CPUtime=0 cores=5,7
/proc/74450/task/74461/stat : 74461 (Finalizer) S 74447 74450 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68662055 19521036288 540529 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74468] ppid=74447 vsize=19063512 memory=2162116 CPUtime=0 cores=5,7
/proc/74450/task/74468/stat : 74468 (Common-Cleaner) S 74447 74450 72920 0 -1 4194368 825 0 0 0 0 0 0 0 20 0 20 0 68662055 19521036288 540529 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74469] ppid=74447 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=5,7
/proc/74450/task/74469/stat : 74469 (Timer-0) S 74447 74450 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68662080 19521036288 540529 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2162116 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3605.6 s]
# the end of solver process 74450 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3599.08 s, system=1.11566 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3605.5 s]
/proc/loadavg: 2.10 2.09 2.37 3/291 74859
/proc/meminfo: memFree=109013692/131249996 swapFree=33010160/33010684
[pid=74450] ppid=74447 vsize=19063512 memory=2162116 CPUtime=3600.02 cores=5,7
/proc/74450/stat : 74450 (java) S 74447 74450 72920 0 -1 4194304 81170 0 0 0 359892 110 0 0 20 0 20 0 68662051 19521036288 540529 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
/proc/74450/statm: 4765878 540529 5556 1 0 555294 0
[pid=74450/tid=74452] ppid=74447 vsize=19063512 memory=16580 CPUtime=3593.51 cores=5,7
/proc/74450/task/74452/stat : 74452 (java) R 74447 74450 72920 0 -1 4194368 37288 0 0 0 359329 22 0 0 20 0 20 0 68662053 19521036288 540529 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74461] ppid=74447 vsize=19063512 memory=2162116 CPUtime=0 cores=5,7
/proc/74450/task/74461/stat : 74461 (Finalizer) S 74447 74450 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68662055 19521036288 540529 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74468] ppid=74447 vsize=19063512 memory=2162116 CPUtime=0 cores=5,7
/proc/74450/task/74468/stat : 74468 (Common-Cleaner) S 74447 74450 72920 0 -1 4194368 825 0 0 0 0 0 0 0 20 0 20 0 68662055 19521036288 540529 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
[pid=74450/tid=74469] ppid=74447 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=5,7
/proc/74450/task/74469/stat : 74469 (Timer-0) S 74447 74450 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68662080 19521036288 540529 18446744073709551615 94086318845952 94086318849648 140726517008080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94086318857464 94086318858256 94086340882432 140726517016961 140726517017062 140726517017062 140726517022664 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2162116 KiB
Child status: 143
Real time (s): 3605.6
CPU time (s): 3600.2
CPU user time (s): 3599.08
CPU system time (s): 1.11566
CPU usage (%): 99.8502
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2162116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.08
system time used= 1.11566
maximum resident set size= 2163140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82727
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103303
involuntary context switches= 20383
# summary of solver processes directly reported to runsolver:
# pid: 74450
# total CPU time (s): 3600.2
# total CPU user time (s): 3599.08
# total CPU system time (s): 1.11566
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.23957 second user time and 16.3408 second system time
The end
Begin job on nodeC032 at 2025-07-03 10:03:54 IDJOB=4517636 IDBENCH=176156 IDSOLVER=3363 FILE ID=nodeC032/4517636-1751529834 RUNJOBID= nodeC032-1751521141-72933 SLURM_JOB_ID= 9598644 Free space on /tmp= 430564 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=11-t=8.opb COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517636-1751529834/watcher-4517636-1751529834 -o /tmp/evaluation-result-4517636-1751529834/solver-4517636-1751529834 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751521141-72933 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4517636-1751529834.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b554296dd2e7a57b28932c2f35f0c1cd RANDOM SEED=1885494989 nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.825 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.843 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3602.220 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3602.397 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.867 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3598.824 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.246 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.844 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 109769840 kB MemAvailable: 126114984 kB Buffers: 2728 kB Cached: 17024264 kB SwapCached: 20 kB Active: 3954424 kB Inactive: 16654784 kB Active(anon): 3597140 kB Inactive(anon): 3124 kB Active(file): 357284 kB Inactive(file): 16651660 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 700 kB Writeback: 36 kB AnonPages: 3585256 kB Mapped: 123848 kB Shmem: 18048 kB KReclaimable: 350880 kB Slab: 444412 kB SReclaimable: 350880 kB SUnreclaim: 93532 kB KernelStack: 5184 kB PageTables: 10688 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 7095144 kB VmallocTotal: 34359738367 kB VmallocUsed: 151480 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 3328000 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 203476 kB DirectMap2M: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 430568 MiB End job on nodeC032 at 2025-07-03 11:04:00