Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution VeriPB 2025-06-06 | SAT (TO) | 6 | 3600.36 | 3667.91 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=13-t=7.opb |
| MD5SUM | bf082a5f314776883f0e32420df0edd0 |
| 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 | 6 |
| Best CPU time to get the best result obtained on this benchmark | 21.8846 |
| 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 | 351 |
| Total number of constraints | 12753 |
| Number of constraints which are clauses | 12740 |
| Number of constraints which are cardinality constraints (but not clauses) | 13 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 14 |
| Number of terms in the objective function | 13 |
| 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 | 13 |
| 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 | 15 |
| 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.11 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.11 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.11 c See www.sat4j.org for details. 0.12/0.12 c version PB25.v20250606 0.12/0.13 c java.runtime.name OpenJDK Runtime Environment 0.12/0.13 c java.vm.name OpenJDK 64-Bit Server VM 0.12/0.13 c java.vm.version 22.0.1+8-16 0.12/0.13 c java.vm.vendor Oracle Corporation 0.12/0.13 c sun.arch.data.model 64 0.12/0.13 c java.version 22.0.1 0.12/0.13 c os.name Linux 0.12/0.13 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.12/0.13 c os.arch amd64 0.12/0.14 c Free memory 2106806208 0.12/0.14 c Max memory 16282288128 0.12/0.14 c Total memory 2113929216 0.12/0.14 c Number of processors 2 0.12/0.20 c Pseudo Boolean Optimization by upper bound 0.12/0.20 c --- Begin Solver configuration --- 0.12/0.20 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.12/0.20 c Learn all clauses as in MiniSAT 0.12/0.20 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.20 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.20 c Expensive reason simplification 0.12/0.20 c Glucose 2.1 dynamic restart strategy 0.12/0.20 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.20 c timeout=2147483s 0.12/0.20 c DB Simplification allowed=false 0.12/0.20 c Listener: none 0.12/0.20 c --- End Solver configuration --- 0.12/0.20 c solving HOME/instance-4517729-1751538893.opb 0.12/0.20 c reading problem ... 0.12/0.22 c using VERIPB proof format 0.12/0.22 c objective function found 0.65/0.46 c ... done. Wall clock time 0.253s. 0.65/0.46 c declared #vars 351 0.65/0.46 c #constraints 12753 0.65/0.46 c constraints type 0.65/0.46 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 13 0.65/0.46 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 12740 0.65/0.46 c 12753 constraints processed. 0.65/0.47 c objective function length is 13 literals 1.16/0.74 c SATISFIABLE 1.16/0.74 c OPTIMIZING... 1.16/0.74 c Got one! Elapsed wall clock time (in seconds):0.54 1.16/0.74 o 7 1.16/0.75 c Got one! Elapsed wall clock time (in seconds):0.551 1.16/0.75 o 6 2.34/1.39 c cleaning 2931 clauses out of 5864 with flag 28897/5864 3.13/1.74 c cleaning 4457 clauses out of 8932 with flag 61864/11863 3.73/2.02 c cleaning 5717 clauses out of 11475 with flag 117210/18863 4.12/2.29 c cleaning 6875 clauses out of 13759 with flag 180242/26864 4.91/2.61 c cleaning 7932 clauses out of 15883 with flag 248756/35863 5.50/2.91 c cleaning 8969 clauses out of 17952 with flag 304043/45864 5.94/3.26 c cleaning 9982 clauses out of 19983 with flag 391188/56864 6.40/3.65 c cleaning 10973 clauses out of 22000 with flag 485388/68863 6.91/4.11 c cleaning 12003 clauses out of 24028 with flag 592428/81864 7.39/4.60 c cleaning 12999 clauses out of 26024 with flag 706909/95863 7.90/5.13 c cleaning 14008 clauses out of 28025 with flag 828602/110863 8.51/5.70 c cleaning 15007 clauses out of 30018 with flag 937029/126864 9.47/6.62 c cleaning 15976 clauses out of 32010 with flag 1045763/143863 10.44/7.53 c cleaning 17007 clauses out of 34034 with flag 1159100/161863 11.14/8.21 c cleaning 18013 clauses out of 36027 with flag 1278385/180863 11.75/8.87 c cleaning 18986 clauses out of 38015 with flag 1420438/200864 12.54/9.65 c cleaning 19989 clauses out of 40031 with flag 1565353/221866 13.36/10.44 c cleaning 20994 clauses out of 42039 with flag 1707316/243863 14.15/11.25 c cleaning 22021 clauses out of 44045 with flag 1870568/266863 15.06/12.11 c cleaning 23004 clauses out of 46024 with flag 2050564/290863 15.97/13.08 c cleaning 23999 clauses out of 48020 with flag 2240334/315863 16.84/13.98 c cleaning 24999 clauses out of 50025 with flag 2445666/341867 17.84/14.99 c cleaning 25988 clauses out of 52022 with flag 2637731/368863 18.93/16.01 c cleaning 27007 clauses out of 54034 with flag 2853814/396863 20.03/17.07 c cleaning 28004 clauses out of 56027 with flag 3074197/425863 21.04/18.11 c cleaning 29011 clauses out of 58023 with flag 3281583/455863 22.22/19.28 c cleaning 30006 clauses out of 60013 with flag 3514484/486864 23.51/20.60 c cleaning 30991 clauses out of 62007 with flag 3779312/518864 24.92/21.90 c cleaning 31985 clauses out of 64015 with flag 4002927/551863 25.91/22.99 c cleaning 33011 clauses out of 66030 with flag 4202669/585863 27.51/24.52 c cleaning 34001 clauses out of 68019 with flag 4508392/620863 28.82/25.87 c cleaning 34987 clauses out of 70018 with flag 4790656/656863 30.22/27.29 c cleaning 36000 clauses out of 72031 with flag 5086673/693863 31.72/28.78 c cleaning 37005 clauses out of 74031 with flag 5337276/731863 33.21/30.23 c cleaning 38013 clauses out of 76026 with flag 5605432/770863 34.51/31.57 c cleaning 39002 clauses out of 78013 with flag 5807789/810863 36.12/33.14 c cleaning 39988 clauses out of 80011 with flag 6009700/851863 37.62/34.80 c cleaning 40999 clauses out of 82023 with flag 6218566/893863 39.22/36.49 c cleaning 41990 clauses out of 84024 with flag 6539588/936863 40.93/38.19 c cleaning 43012 clauses out of 86034 with flag 6839636/980863 42.61/39.85 c cleaning 43989 clauses out of 88022 with flag 7130061/1025863 44.41/41.68 c cleaning 44988 clauses out of 90033 with flag 7469686/1071863 46.40/43.66 c cleaning 45993 clauses out of 92046 with flag 7800755/1118864 48.40/45.64 c cleaning 47004 clauses out of 94054 with flag 8162227/1166865 50.49/47.71 c cleaning 48014 clauses out of 96048 with flag 8540967/1215863 52.59/49.80 c cleaning 48998 clauses out of 98034 with flag 8907629/1265863 54.69/51.99 c cleaning 50013 clauses out of 100036 with flag 9293366/1316863 56.98/54.21 c cleaning 50999 clauses out of 102023 with flag 9656632/1368863 59.17/56.41 c cleaning 52001 clauses out of 104027 with flag 10038350/1421866 61.57/58.82 c cleaning 53009 clauses out of 106024 with flag 10455847/1475864 63.88/61.17 c cleaning 53999 clauses out of 108015 with flag 10818746/1530864 66.26/63.59 c cleaning 54990 clauses out of 110015 with flag 11224740/1586863 69.00/66.40 c cleaning 55990 clauses out of 112026 with flag 11595238/1643864 71.61/69.03 c cleaning 56995 clauses out of 114036 with flag 12048503/1701864 74.29/71.73 c cleaning 57999 clauses out of 116040 with flag 12515399/1760863 77.19/74.63 c cleaning 59001 clauses out of 118042 with flag 13000590/1820864 79.97/77.41 c cleaning 60008 clauses out of 120040 with flag 13450028/1881863 82.77/80.28 c cleaning 61014 clauses out of 122034 with flag 13927815/1943865 85.96/83.40 c cleaning 61996 clauses out of 124018 with flag 14431792/2006863 88.25/85.76 c cleaning 63003 clauses out of 126022 with flag 14715024/2070863 91.54/88.69 c cleaning 63997 clauses out of 128019 with flag 15153744/2135863 94.94/92.02 c cleaning 65006 clauses out of 130023 with flag 15645760/2201864 98.08/95.38 c cleaning 65996 clauses out of 132017 with flag 16062083/2268864 101.06/98.38 c cleaning 66985 clauses out of 134020 with flag 16520614/2336863 104.46/101.76 c cleaning 67987 clauses out of 136035 with flag 16986363/2405863 107.95/105.22 c cleaning 69018 clauses out of 138048 with flag 17568900/2475863 111.44/108.75 c cleaning 70016 clauses out of 140031 with flag 18111500/2546864 115.23/112.52 c cleaning 70973 clauses out of 142014 with flag 18622386/2618863 118.84/116.17 c cleaning 72002 clauses out of 144041 with flag 19129145/2691863 124.02/121.32 c cleaning 73000 clauses out of 146040 with flag 19612172/2765864 128.17/125.67 c cleaning 74010 clauses out of 148039 with flag 20209394/2840863 132.16/129.62 c cleaning 75007 clauses out of 150030 with flag 20765155/2916864 136.16/133.69 c cleaning 76007 clauses out of 152022 with flag 21330154/2993863 140.34/137.88 c cleaning 76994 clauses out of 154017 with flag 21937482/3071865 145.04/142.50 c cleaning 77990 clauses out of 156021 with flag 22582600/3150863 149.33/146.82 c cleaning 79006 clauses out of 158031 with flag 23167503/3230863 153.82/151.32 c cleaning 80003 clauses out of 160025 with flag 23810926/3311863 158.41/155.93 c cleaning 81004 clauses out of 162022 with flag 24456811/3393863 163.50/161.17 c cleaning 81995 clauses out of 164018 with flag 25015650/3476863 168.96/166.61 c cleaning 83005 clauses out of 166023 with flag 25662300/3560863 173.96/171.62 c cleaning 83987 clauses out of 168018 with flag 26327955/3645863 178.74/176.42 c cleaning 84998 clauses out of 170033 with flag 26990031/3731865 183.98/181.61 c cleaning 85994 clauses out of 172034 with flag 27650240/3818864 189.21/186.99 c cleaning 86996 clauses out of 174040 with flag 28355714/3906864 194.60/192.37 c cleaning 88010 clauses out of 176044 with flag 28964493/3995864 200.30/198.10 c cleaning 89006 clauses out of 178033 with flag 29694013/4085863 207.23/204.96 c cleaning 89994 clauses out of 180029 with flag 30387095/4176865 213.12/210.88 c cleaning 90985 clauses out of 182033 with flag 31033994/4268863 219.03/216.74 c cleaning 92017 clauses out of 184048 with flag 31804993/4361863 225.88/223.61 c cleaning 93002 clauses out of 186031 with flag 32623446/4455863 232.07/229.80 c cleaning 94013 clauses out of 188031 with flag 33325254/4550865 239.61/237.35 c cleaning 94984 clauses out of 190016 with flag 34034810/4646863 246.19/243.92 c cleaning 96010 clauses out of 192033 with flag 34836438/4743864 253.04/250.85 c cleaning 97009 clauses out of 194022 with flag 35606983/4841863 259.83/257.62 c cleaning 98004 clauses out of 196015 with flag 36455168/4940865 265.89/263.66 c cleaning 98984 clauses out of 198009 with flag 37028164/5040863 272.78/270.53 c cleaning 100002 clauses out of 200025 with flag 37831343/5141863 281.75/279.62 c cleaning 101001 clauses out of 202023 with flag 38654353/5243863 290.21/287.92 c cleaning 102005 clauses out of 204025 with flag 39423125/5346866 297.40/295.11 c cleaning 102989 clauses out of 206018 with flag 40192460/5450864 305.84/303.53 c cleaning 103997 clauses out of 208028 with flag 40940105/5555863 314.23/316.79 c cleaning 104996 clauses out of 210032 with flag 41769173/5661864 321.98/324.41 c cleaning 105987 clauses out of 212035 with flag 42654805/5768863 330.24/332.67 c cleaning 107006 clauses out of 214048 with flag 43524669/5876863 338.72/341.15 c cleaning 107989 clauses out of 216042 with flag 44380028/5985863 347.92/350.46 c cleaning 109018 clauses out of 218053 with flag 45230733/6095863 356.21/358.78 c cleaning 109999 clauses out of 220035 with flag 46155303/6206863 364.86/367.36 c cleaning 111018 clauses out of 222038 with flag 47127581/6318865 372.13/374.53 c cleaning 112008 clauses out of 224019 with flag 47842937/6431864 379.62/382.15 c cleaning 113005 clauses out of 226010 with flag 48617694/6545863 388.84/391.30 c cleaning 113984 clauses out of 228006 with flag 49649612/6660864 397.73/400.17 c cleaning 114994 clauses out of 230022 with flag 50589319/6776864 406.50/409.07 c cleaning 115997 clauses out of 232028 with flag 51494954/6893864 415.95/418.45 c cleaning 116994 clauses out of 234031 with flag 52581725/7011864 426.28/428.78 c cleaning 118014 clauses out of 236037 with flag 53643485/7130864 434.87/437.33 c cleaning 119005 clauses out of 238025 with flag 54662137/7250866 443.66/446.11 c cleaning 120005 clauses out of 240018 with flag 55681519/7371864 453.17/455.61 c cleaning 121004 clauses out of 242012 with flag 56723661/7493863 461.85/464.30 c cleaning 121998 clauses out of 244008 with flag 57766981/7616863 470.80/473.34 c cleaning 122998 clauses out of 246010 with flag 58852456/7740863 480.27/482.77 c cleaning 123982 clauses out of 248012 with flag 59954848/7865863 498.74/501.20 c cleaning 124999 clauses out of 250031 with flag 61724463/7991864 509.02/511.53 c cleaning 126007 clauses out of 252031 with flag 62919262/8118863 518.88/521.38 c cleaning 126997 clauses out of 254024 with flag 64065554/8246863 529.68/536.83 c cleaning 127987 clauses out of 256027 with flag 65303804/8375863 539.56/546.63 c cleaning 129006 clauses out of 258040 with flag 66448330/8505863 549.05/556.15 c cleaning 130009 clauses out of 260034 with flag 67605313/8636863 560.04/567.20 c cleaning 131001 clauses out of 262026 with flag 68762400/8768864 569.67/576.77 c cleaning 131989 clauses out of 264024 with flag 69915278/8901863 580.61/587.65 c cleaning 132989 clauses out of 266035 with flag 71213852/9035863 591.60/598.70 c cleaning 134015 clauses out of 268046 with flag 72487120/9170863 603.72/610.83 c cleaning 135013 clauses out of 270032 with flag 73605803/9306864 614.22/621.35 c cleaning 135983 clauses out of 272018 with flag 74853796/9443863 625.05/632.12 c cleaning 137004 clauses out of 274036 with flag 76098251/9581864 635.61/642.79 c cleaning 137998 clauses out of 276031 with flag 77393571/9720863 647.07/654.18 c cleaning 138998 clauses out of 278034 with flag 78643020/9860864 658.61/665.73 c cleaning 139999 clauses out of 280035 with flag 79986654/10001863 668.87/675.90 c cleaning 141005 clauses out of 282036 with flag 81242332/10143863 680.01/687.09 c cleaning 142001 clauses out of 284032 with flag 82561259/10286864 691.80/698.94 c cleaning 143003 clauses out of 286030 with flag 83780569/10430863 702.54/709.62 c cleaning 143996 clauses out of 288028 with flag 85106740/10575864 715.18/722.33 c cleaning 145009 clauses out of 290031 with flag 86430955/10721863 728.16/735.30 c cleaning 145989 clauses out of 292023 with flag 87760412/10868864 739.13/746.23 c cleaning 147014 clauses out of 294033 with flag 89041505/11016863 751.12/758.24 c cleaning 148003 clauses out of 296020 with flag 90369161/11165864 763.09/770.22 c cleaning 148991 clauses out of 298016 with flag 91718390/11315863 774.88/782.10 c cleaning 150005 clauses out of 300025 with flag 93087603/11466863 787.10/794.22 c cleaning 150993 clauses out of 302020 with flag 94459074/11618863 799.41/806.52 c cleaning 151993 clauses out of 304028 with flag 95851756/11771864 811.51/818.67 c cleaning 153009 clauses out of 306034 with flag 97130943/11925863 825.22/832.37 c cleaning 153994 clauses out of 308025 with flag 98456871/12080863 839.49/846.61 c cleaning 154998 clauses out of 310031 with flag 99849744/12236863 853.49/860.63 c cleaning 156006 clauses out of 312033 with flag 101248142/12393863 866.39/873.50 c cleaning 156993 clauses out of 314028 with flag 102607668/12551864 879.53/886.62 c cleaning 158012 clauses out of 316036 with flag 103996338/12710865 894.23/901.32 c cleaning 158996 clauses out of 318023 with flag 105459613/12870864 907.71/914.84 c cleaning 160005 clauses out of 320028 with flag 106875966/13031865 922.25/929.35 c cleaning 161005 clauses out of 322021 with flag 108337505/13193863 936.93/946.43 c cleaning 161978 clauses out of 324016 with flag 109858936/13356863 952.57/962.05 c cleaning 163019 clauses out of 326038 with flag 111346523/13520863 969.29/980.90 c cleaning 163993 clauses out of 328019 with flag 112837843/13685863 983.70/995.20 c cleaning 164997 clauses out of 330027 with flag 114323625/13851864 999.39/1014.01 c cleaning 166007 clauses out of 332029 with flag 115832217/14018863 1013.52/1028.16 c cleaning 167004 clauses out of 334022 with flag 117348034/14186863 1029.32/1046.80 c cleaning 167993 clauses out of 336018 with flag 118819424/14355863 1044.41/1061.93 c cleaning 169010 clauses out of 338026 with flag 120386333/14525864 1059.75/1077.34 c cleaning 169999 clauses out of 340015 with flag 121984117/14696863 1074.39/1091.95 c cleaning 171000 clauses out of 342016 with flag 123536825/14868863 1090.47/1108.01 c cleaning 171995 clauses out of 344017 with flag 125025228/15041864 1108.50/1126.07 c cleaning 173003 clauses out of 346023 with flag 126665123/15215865 1126.70/1144.42 c cleaning 173998 clauses out of 348018 with flag 128227217/15390863 1143.21/1161.09 c cleaning 174995 clauses out of 350020 with flag 129943891/15566863 1158.63/1176.57 c cleaning 175998 clauses out of 352029 with flag 131544578/15743867 1174.70/1192.61 c cleaning 177007 clauses out of 354028 with flag 133176787/15921864 1192.55/1212.07 c cleaning 177996 clauses out of 356020 with flag 135053938/16100863 1211.64/1230.72 c cleaning 179000 clauses out of 358024 with flag 136768509/16280863 1227.35/1246.48 c cleaning 179997 clauses out of 360024 with flag 138381805/16461863 1243.99/1263.11 c cleaning 181001 clauses out of 362029 with flag 140066180/16643865 1261.64/1280.85 c cleaning 182006 clauses out of 364027 with flag 141819754/16826864 1279.09/1298.34 c cleaning 182986 clauses out of 366020 with flag 143395220/17010863 1297.26/1316.58 c cleaning 184009 clauses out of 368034 with flag 145126050/17195863 1314.37/1333.77 c cleaning 185007 clauses out of 370025 with flag 146815745/17381863 1332.92/1353.58 c cleaning 185984 clauses out of 372018 with flag 148333462/17568863 1351.53/1372.19 c cleaning 187007 clauses out of 374034 with flag 150054243/17756863 1369.65/1390.34 c cleaning 187995 clauses out of 376031 with flag 151823927/17945867 1388.15/1408.80 c cleaning 189009 clauses out of 378032 with flag 153645527/18135863 1407.28/1428.09 c cleaning 189990 clauses out of 380023 with flag 155332650/18326863 1425.63/1446.48 c cleaning 190998 clauses out of 382033 with flag 157133120/18518863 1445.78/1466.41 c cleaning 191999 clauses out of 384035 with flag 158897254/18711863 1465.05/1485.79 c cleaning 192989 clauses out of 386036 with flag 160645731/18905863 1484.72/1505.43 c cleaning 193991 clauses out of 388050 with flag 162433867/19100866 1504.11/1524.87 c cleaning 195008 clauses out of 390059 with flag 164289590/19296866 1526.26/1548.17 c cleaning 195999 clauses out of 392048 with flag 166125173/19493863 1546.00/1567.94 c cleaning 197015 clauses out of 394050 with flag 167886495/19691864 1566.02/1587.98 c cleaning 198005 clauses out of 396034 with flag 169822453/19890863 1588.64/1610.52 c cleaning 198993 clauses out of 398029 with flag 171561873/20090863 1612.09/1633.91 c cleaning 199993 clauses out of 400036 with flag 173342373/20291863 1633.88/1655.72 c cleaning 201018 clauses out of 402043 with flag 175197939/20493863 1656.03/1677.99 c cleaning 201993 clauses out of 404026 with flag 177046900/20696864 1678.22/1700.13 c cleaning 203009 clauses out of 406032 with flag 178997370/20900863 1702.44/1724.60 c cleaning 203999 clauses out of 408024 with flag 180785938/21105864 1725.45/1747.64 c cleaning 205003 clauses out of 410024 with flag 182684201/21311863 1749.60/1771.83 c cleaning 205996 clauses out of 412021 with flag 184556990/21518863 1773.17/1795.49 c cleaning 206994 clauses out of 414025 with flag 186488481/21726863 1797.81/1820.18 c cleaning 207992 clauses out of 416031 with flag 188386157/21935863 1821.18/1843.63 c cleaning 209008 clauses out of 418039 with flag 190193618/22145863 1847.93/1870.34 c cleaning 210013 clauses out of 420037 with flag 192158806/22356869 1873.64/1896.14 c cleaning 210984 clauses out of 422019 with flag 194005681/22568864 1898.33/1920.96 c cleaning 211985 clauses out of 424034 with flag 195885441/22781863 1924.02/1946.77 c cleaning 213017 clauses out of 426051 with flag 197908303/22995865 1950.49/1973.31 c cleaning 213998 clauses out of 428033 with flag 199993491/23210864 1977.44/2002.65 c cleaning 215011 clauses out of 430034 with flag 201930931/23426863 2005.41/2030.80 c cleaning 216003 clauses out of 432023 with flag 203857354/23643863 2032.27/2057.79 c cleaning 216977 clauses out of 434020 with flag 205756432/23861863 2058.72/2084.34 c cleaning 217998 clauses out of 436043 with flag 207805543/24080863 2085.70/2111.50 c cleaning 219014 clauses out of 438045 with flag 209760359/24300863 2113.89/2139.71 c cleaning 219988 clauses out of 440031 with flag 211677631/24521863 2141.58/2170.07 c cleaning 220996 clauses out of 442043 with flag 213767524/24743863 2169.37/2201.25 c cleaning 221996 clauses out of 444050 with flag 215856479/24966866 2200.00/2234.92 c cleaning 223018 clauses out of 446051 with flag 217930763/25190863 2230.62/2266.66 c cleaning 223990 clauses out of 448033 with flag 219955752/25415863 2257.10/2293.12 c cleaning 225010 clauses out of 450043 with flag 221924710/25641863 2287.30/2324.23 c cleaning 225987 clauses out of 452033 with flag 223984111/25868863 2315.15/2352.66 c cleaning 227013 clauses out of 454046 with flag 225947633/26096863 2345.39/2382.95 c cleaning 228001 clauses out of 456033 with flag 228199504/26325863 2374.43/2412.07 c cleaning 228987 clauses out of 458032 with flag 230135509/26555863 2404.41/2442.04 c cleaning 230014 clauses out of 460047 with flag 232194879/26786865 2433.54/2471.16 c cleaning 231009 clauses out of 462031 with flag 234256444/27018863 2465.14/2505.53 c cleaning 232006 clauses out of 464024 with flag 236524673/27251865 2498.94/2546.02 c cleaning 232990 clauses out of 466017 with flag 238646517/27485864 2530.47/2580.67 c cleaning 233989 clauses out of 468026 with flag 240784323/27720863 2562.48/2616.60 c cleaning 235009 clauses out of 470038 with flag 242979416/27956864 2594.04/2647.44 c cleaning 236001 clauses out of 472029 with flag 245195407/28193864 2625.36/2678.82 c cleaning 237009 clauses out of 474027 with flag 247362135/28431863 2659.03/2712.62 c cleaning 237992 clauses out of 476018 with flag 249549918/28670863 2691.30/2744.95 c cleaning 238984 clauses out of 478026 with flag 251831717/28910863 2725.79/2779.56 c cleaning 240015 clauses out of 480043 with flag 254017179/29151864 2759.32/2813.19 c cleaning 241008 clauses out of 482027 with flag 256271137/29393863 2792.41/2849.89 c cleaning 242006 clauses out of 484020 with flag 258468061/29636864 2825.72/2883.22 c cleaning 242985 clauses out of 486013 with flag 260689027/29880863 2856.88/2914.44 c cleaning 243996 clauses out of 488028 with flag 263074422/30125863 2889.96/2947.52 c cleaning 244990 clauses out of 490032 with flag 265276351/30371863 2922.20/2979.89 c cleaning 246012 clauses out of 492043 with flag 267421686/30618864 2957.01/3014.77 c cleaning 247003 clauses out of 494032 with flag 269750893/30866865 2992.01/3049.72 c cleaning 247976 clauses out of 496027 with flag 272111267/31115863 3025.76/3083.54 c cleaning 249013 clauses out of 498054 with flag 274474052/31365866 3059.77/3117.57 c cleaning 249997 clauses out of 500038 with flag 276641045/31616863 3096.62/3154.46 c cleaning 251006 clauses out of 502041 with flag 278727480/31868863 3133.30/3192.95 c cleaning 251992 clauses out of 504036 with flag 281089053/32121864 3169.84/3229.54 c cleaning 253010 clauses out of 506043 with flag 283333871/32375863 3204.36/3264.01 c cleaning 254007 clauses out of 508034 with flag 285692886/32630864 3239.31/3299.03 c cleaning 255003 clauses out of 510026 with flag 288033189/32886863 3276.50/3336.27 c cleaning 256004 clauses out of 512024 with flag 290341299/33143864 3315.12/3382.23 c cleaning 256995 clauses out of 514019 with flag 292720988/33401863 3350.64/3417.75 c cleaning 257993 clauses out of 516024 with flag 295158701/33660863 3388.90/3456.09 c cleaning 259013 clauses out of 518033 with flag 297523183/33920865 3428.19/3495.47 c cleaning 259983 clauses out of 520018 with flag 300020713/34181863 3469.07/3536.46 c cleaning 261007 clauses out of 522036 with flag 302439469/34443864 3505.68/3573.11 c cleaning 261994 clauses out of 524028 with flag 304772158/34706863 3542.79/3610.37 c cleaning 263000 clauses out of 526034 with flag 307185886/34970863 3579.93/3647.55 c cleaning 263992 clauses out of 528034 with flag 309525391/35235863 3600.08/3667.73 c starts : 84277 3600.08/3667.74 c conflicts : 35405763 3600.08/3667.74 c decisions : 151663467 3600.08/3667.74 c propagations : 1080419337 3600.08/3667.74 c inspects : 36792587832 3600.08/3667.74 c shortcuts : 0 3600.08/3667.74 c learnt literals : 0 3600.08/3667.74 c learnt binary clauses : 0 3600.08/3667.74 c learnt ternary clauses : 0 3600.08/3667.74 c learnt constraints : 35405763 3600.08/3667.74 c ignored constraints : 0 3600.08/3667.74 c root simplifications : 0 3600.08/3667.74 c removed literals (reason simplification) : 442228495 3600.08/3667.74 c reason swapping (by a shorter reason) : 0 3600.08/3667.74 c Calls to reduceDB : 261 3600.08/3667.74 c Number of update (reduction) of LBD : 24066953 3600.08/3667.74 c Imported unit clauses : 0 3600.08/3667.74 c No decision after first conflict : false 3600.08/3667.74 c number of reductions to clauses (during analyze) : 0 3600.08/3667.74 c number of learned constraints concerned by reduction : 0 3600.08/3667.74 c number of learning phase by resolution : 0 3600.08/3667.74 c number of learning phase by cutting planes : 0 3600.08/3667.74 c number of rounding to 1 operations : 0 3600.08/3667.74 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.08/3667.74 c number of reductions of the coefficients by power 2 : 0 3600.08/3667.74 c number of right shift for reduction by power 2 : 0 3600.08/3667.74 c number of reductions of the coefficients by GCD over coefficients : 0 3600.08/3667.74 c number of ending skipping : 0 3600.08/3667.74 c number of internal skipping : 0 3600.08/3667.74 c number of derivation steps : 0 3600.08/3667.74 c number of skipped derivation steps : 0 3600.08/3667.74 c number of remaining unassigned : 0 3600.08/3667.74 c number of remaining assigned : 0 3600.08/3667.74 c number of falsified literals weakened from reason : 0 3600.08/3667.74 c number of falsified literals weakened from conflict : 0 3600.08/3667.74 c time for arithmetic operations : 0 3600.08/3667.74 c minimum degree of deleted constraints : null 3600.08/3667.74 c maximum degree of deleted constraints : null 3600.08/3667.74 c number of deleted constraints : 0 3600.08/3667.74 c speed (assignments/second) : 294613.5916309859 3600.08/3667.74 c non guided choices : 956 3600.29/3667.81 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 433942 3600.29/3667.81 s SATISFIABLE 3600.29/3667.81 c Found 2 solution(s) 3600.29/3667.82 v x1 x2 -x3 -x4 -x5 x6 x7 -x8 x9 x10 x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 x30 x31 x32 x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 x61 x62 x63 -x64 -x65 -x66 x67 x68 -x69 -x70 -x71 -x72 x73 x74 x75 x76 x77 x78 -x79 -x80 -x81 -x82 -x83 x84 x85 x86 -x87 x88 x89 x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 3600.29/3667.82 c objective function=6 3600.29/3667.82 c Total wall clock time (in seconds): 3667.616
OK 6
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (60603 MiB free)
memory of node 1: 64507 MiB (58525 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517729-1751538893/watcher-4517729-1751538893 -o /tmp/evaluation-result-4517729-1751538893/solver-4517729-1751538893 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751535003-81002 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517729-1751538893 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4517729-1751538893.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=81810, runsolver pid=81807
[startup+0.100047 s]*
/proc/loadavg: 4.05 4.14 4.13 6/330 81828
/proc/meminfo: memFree=121954716/131382116 swapFree=33010684/33010684
[pid=81810] ppid=81807 vsize=18930384 memory=49632 CPUtime=0.12 cores=4,6
/proc/81810/stat : 81810 (java) S 81807 81810 80991 0 -1 4194304 6102 0 0 0 9 3 0 0 20 0 18 0 69568987 19384713216 12408 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
/proc/81810/statm: 4732596 12408 5336 1 0 547265 0
[pid=81810/tid=81812] ppid=81807 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/81810/task/81812/stat : 81812 (java) R 81807 81810 80991 0 -1 4194368 4902 0 0 0 6 2 0 0 20 0 18 0 69568988 19384713216 12408 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81821] ppid=81807 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/81810/task/81821/stat : 81821 (Finalizer) S 81807 81810 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69568993 19384713216 12408 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81828] ppid=81807 vsize=18930384 memory=59593594265959 CPUtime=0 cores=4,6
/proc/81810/task/81828/stat : 81828 (Common-Cleaner) S 81807 81810 80991 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 69568993 19384713216 12408 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49632 KiB
[startup+0.215961 s]*
/proc/loadavg: 4.05 4.14 4.13 6/330 81828
/proc/meminfo: memFree=121943752/131382116 swapFree=33010684/33010684
[pid=81810] ppid=81807 vsize=18930384 memory=56964 CPUtime=0.32 cores=4,6
/proc/81810/stat : 81810 (java) S 81807 81810 80991 0 -1 4194304 6821 0 0 0 29 3 0 0 20 0 18 0 69568987 19384713216 14241 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
/proc/81810/statm: 4732596 14241 5432 1 0 547824 0
[pid=81810/tid=81812] ppid=81807 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=4,6
/proc/81810/task/81812/stat : 81812 (java) R 81807 81810 80991 0 -1 4194368 5305 0 0 0 15 2 0 0 20 0 18 0 69568988 19384713216 14241 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81821] ppid=81807 vsize=18930384 memory=1641 CPUtime=0 cores=4,6
/proc/81810/task/81821/stat : 81821 (Finalizer) S 81807 81810 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69568993 19384713216 14241 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81828] ppid=81807 vsize=18930384 memory=58494082614266 CPUtime=0 cores=4,6
/proc/81810/task/81828/stat : 81828 (Common-Cleaner) S 81807 81810 80991 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 69568993 19384713216 14241 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 56964 KiB
[startup+0.317978 s]*
/proc/loadavg: 4.05 4.14 4.13 7/330 81828
/proc/meminfo: memFree=121939404/131382116 swapFree=33010684/33010684
[pid=81810] ppid=81807 vsize=18930384 memory=61900 CPUtime=0.48 cores=4,6
/proc/81810/stat : 81810 (java) S 81807 81810 80991 0 -1 4194304 7005 0 0 0 45 3 0 0 20 0 18 0 69568987 19384713216 15475 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
/proc/81810/statm: 4732596 15475 5432 1 0 547915 0
[pid=81810/tid=81812] ppid=81807 vsize=18930384 memory=-6000919477085170535 CPUtime=0.24 cores=4,6
/proc/81810/task/81812/stat : 81812 (java) R 81807 81810 80991 0 -1 4194368 5330 0 0 0 22 2 0 0 20 0 18 0 69568988 19384713216 15475 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81821] ppid=81807 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/81810/task/81821/stat : 81821 (Finalizer) S 81807 81810 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69568993 19384713216 15475 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81828] ppid=81807 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/81810/task/81828/stat : 81828 (Common-Cleaner) S 81807 81810 80991 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 69568993 19384713216 15475 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61900 KiB
[startup+0.700289 s]
/proc/loadavg: 4.05 4.14 4.13 7/331 81829
/proc/meminfo: memFree=121906700/131382116 swapFree=33010684/33010684
[pid=81810] ppid=81807 vsize=18997748 memory=110764 CPUtime=1.16 cores=4,6
/proc/81810/stat : 81810 (java) S 81807 81810 80991 0 -1 4194304 10923 0 0 0 110 6 0 0 20 0 19 0 69568987 19453693952 27691 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
/proc/81810/statm: 4749437 27691 5464 1 0 550954 0
[pid=81810/tid=81812] ppid=81807 vsize=18997748 memory=18432 CPUtime=0.5 cores=4,6
/proc/81810/task/81812/stat : 81812 (java) R 81807 81810 80991 0 -1 4194368 5494 0 0 0 47 3 0 0 20 0 19 0 69568988 19453693952 27691 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81821] ppid=81807 vsize=18997748 memory=11136 CPUtime=0 cores=4,6
/proc/81810/task/81821/stat : 81821 (Finalizer) S 81807 81810 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 69568993 19453693952 27691 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81828] ppid=81807 vsize=18997748 memory=3328 CPUtime=0 cores=4,6
/proc/81810/task/81828/stat : 81828 (Common-Cleaner) S 81807 81810 80991 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 69568993 19453693952 27691 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81829] ppid=81807 vsize=18997748 memory=4752 CPUtime=0 cores=4,6
/proc/81810/task/81829/stat : 81829 (Timer-0) S 81807 81810 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 69569035 19453693952 27691 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 18997748 KiB
Current children cumulated memory: 110764 KiB
[startup+1.50027 s]
/proc/loadavg: 4.05 4.14 4.13 6/331 81829
/proc/meminfo: memFree=121865424/131382116 swapFree=33010684/33010684
[pid=81810] ppid=81807 vsize=19063512 memory=178652 CPUtime=2.73 cores=4,6
/proc/81810/stat : 81810 (java) S 81807 81810 80991 0 -1 4194304 20790 0 0 0 264 9 0 0 20 0 20 0 69568987 19521036288 44663 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
/proc/81810/statm: 4765878 44663 5528 1 0 553815 0
[pid=81810/tid=81812] ppid=81807 vsize=19063512 memory=0 CPUtime=1.26 cores=4,6
/proc/81810/task/81812/stat : 81812 (java) R 81807 81810 80991 0 -1 4194368 6562 0 0 0 121 5 0 0 20 0 20 0 69568988 19521036288 44663 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81821] ppid=81807 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/81810/task/81821/stat : 81821 (Finalizer) S 81807 81810 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69568993 19521036288 44663 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81828] ppid=81807 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/81810/task/81828/stat : 81828 (Common-Cleaner) S 81807 81810 80991 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 69568993 19521036288 44663 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81829] ppid=81807 vsize=19063512 memory=4752 CPUtime=0 cores=4,6
/proc/81810/task/81829/stat : 81829 (Timer-0) S 81807 81810 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69569035 19521036288 44663 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178652 KiB
[startup+3.10558 s]
/proc/loadavg: 4.05 4.14 4.13 6/332 81830
/proc/meminfo: memFree=121857880/131382116 swapFree=33010684/33010684
[pid=81810] ppid=81807 vsize=19063512 memory=181704 CPUtime=5.84 cores=4,6
/proc/81810/stat : 81810 (java) S 81807 81810 80991 0 -1 4194304 23105 0 0 0 574 10 0 0 20 0 20 0 69568987 19521036288 45426 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
/proc/81810/statm: 4765878 45426 5528 1 0 553840 0
[pid=81810/tid=81812] ppid=81807 vsize=19063512 memory=11136 CPUtime=2.81 cores=4,6
/proc/81810/task/81812/stat : 81812 (java) R 81807 81810 80991 0 -1 4194368 7007 0 0 0 276 5 0 0 20 0 20 0 69568988 19521036288 45426 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81821] ppid=81807 vsize=19063512 memory=-6000919477085170535 CPUtime=0 cores=4,6
/proc/81810/task/81821/stat : 81821 (Finalizer) S 81807 81810 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69568993 19521036288 45426 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81828] ppid=81807 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/81810/task/81828/stat : 81828 (Common-Cleaner) S 81807 81810 80991 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 69568993 19521036288 45426 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81829] ppid=81807 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/81810/task/81829/stat : 81829 (Timer-0) S 81807 81810 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69569035 19521036288 45426 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
Current children cumulated CPU time: 5.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181704 KiB
[startup+6.30025 s]
/proc/loadavg: 4.05 4.14 4.13 5/332 81830
/proc/meminfo: memFree=121631192/131382116 swapFree=33010684/33010684
[pid=81810] ppid=81807 vsize=19063512 memory=413208 CPUtime=9.17 cores=4,6
/proc/81810/stat : 81810 (java) S 81807 81810 80991 0 -1 4194304 23670 0 0 0 900 17 0 0 20 0 20 0 69568987 19521036288 103302 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
/proc/81810/statm: 4765878 103302 5528 1 0 553843 0
[pid=81810/tid=81812] ppid=81807 vsize=19063512 memory=0 CPUtime=5.94 cores=4,6
/proc/81810/task/81812/stat : 81812 (java) R 81807 81810 80991 0 -1 4194368 7323 0 0 0 582 12 0 0 20 0 20 0 69568988 19521036288 103302 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81821] ppid=81807 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/81810/task/81821/stat : 81821 (Finalizer) S 81807 81810 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69568993 19521036288 103302 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81828] ppid=81807 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/81810/task/81828/stat : 81828 (Common-Cleaner) S 81807 81810 80991 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 69568993 19521036288 103302 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81829] ppid=81807 vsize=19063512 memory=178652 CPUtime=0 cores=4,6
/proc/81810/task/81829/stat : 81829 (Timer-0) S 81807 81810 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69569035 19521036288 103302 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
Current children cumulated CPU time: 9.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 413208 KiB
[startup+12.7004 s]
/proc/loadavg: 4.12 4.15 4.13 5/333 81832
/proc/meminfo: memFree=121284128/131382116 swapFree=33010684/33010684
[pid=81810] ppid=81807 vsize=19063512 memory=734772 CPUtime=15.66 cores=4,6
/proc/81810/stat : 81810 (java) S 81807 81810 80991 0 -1 4194304 28601 0 0 0 1539 27 0 0 20 0 20 0 69568987 19521036288 183693 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
/proc/81810/statm: 4765878 183693 5528 1 0 553843 0
[pid=81810/tid=81812] ppid=81807 vsize=19063512 memory=178652 CPUtime=12.26 cores=4,6
/proc/81810/task/81812/stat : 81812 (java) R 81807 81810 80991 0 -1 4194368 8959 0 0 0 1206 20 0 0 20 0 20 0 69568988 19521036288 183693 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81821] ppid=81807 vsize=19063512 memory=730676 CPUtime=0 cores=4,6
/proc/81810/task/81821/stat : 81821 (Finalizer) S 81807 81810 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69568993 19521036288 183693 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81828] ppid=81807 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/81810/task/81828/stat : 81828 (Common-Cleaner) S 81807 81810 80991 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 69568993 19521036288 183693 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81829] ppid=81807 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/81810/task/81829/stat : 81829 (Timer-0) S 81807 81810 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69569035 19521036288 183693 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
Current children cumulated CPU time: 15.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 734772 KiB
[startup+25.5005 s]
/proc/loadavg: 4.17 4.16 4.13 5/333 81832
/proc/meminfo: memFree=120694452/131382116 swapFree=33010684/33010684
[pid=81810] ppid=81807 vsize=19063512 memory=1318624 CPUtime=28.53 cores=4,6
/proc/81810/stat : 81810 (java) S 81807 81810 80991 0 -1 4194304 33447 0 0 0 2807 46 0 0 20 0 20 0 69568987 19521036288 329656 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
/proc/81810/statm: 4765878 329656 5560 1 0 553843 0
[pid=81810/tid=81812] ppid=81807 vsize=19063512 memory=0 CPUtime=24.88 cores=4,6
/proc/81810/task/81812/stat : 81812 (java) R 81807 81810 80991 0 -1 4194368 10669 0 0 0 2451 37 0 0 20 0 20 0 69568988 19521036288 329656 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81821] ppid=81807 vsize=19063512 memory=912956 CPUtime=0 cores=4,6
/proc/81810/task/81821/stat : 81821 (Finalizer) S 81807 81810 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69568993 19521036288 329656 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81828] ppid=81807 vsize=19063512 memory=802364 CPUtime=0 cores=4,6
/proc/81810/task/81828/stat : 81828 (Common-Cleaner) S 81807 81810 80991 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 69568993 19521036288 329656 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81829] ppid=81807 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/81810/task/81829/stat : 81829 (Timer-0) S 81807 81810 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69569035 19521036288 329656 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
Current children cumulated CPU time: 28.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1318624 KiB
[startup+51.1137 s]
/proc/loadavg: 4.18 4.16 4.13 5/333 81833
/proc/meminfo: memFree=120486708/131382116 swapFree=33010684/33010684
[pid=81810] ppid=81807 vsize=19063512 memory=1337064 CPUtime=53.9 cores=4,6
/proc/81810/stat : 81810 (java) S 81807 81810 80991 0 -1 4194304 37511 0 0 0 5332 58 0 0 20 0 20 0 69568987 19521036288 334266 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
/proc/81810/statm: 4765878 334266 5560 1 0 553843 0
[pid=81810/tid=81812] ppid=81807 vsize=19063512 memory=1324768 CPUtime=49.92 cores=4,6
/proc/81810/task/81812/stat : 81812 (java) R 81807 81810 80991 0 -1 4194368 12142 0 0 0 4944 48 0 0 20 0 20 0 69568988 19521036288 334266 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81821] ppid=81807 vsize=19063512 memory=0 CPUtime=0 cores=4,6
################
# More data... #
################
[startup+3342.3 s]
/proc/loadavg: 4.57 4.61 4.50 3/334 82420
/proc/meminfo: memFree=56195384/131382116 swapFree=33010684/33010684
[pid=81810] ppid=81807 vsize=19063512 memory=2176660 CPUtime=3278.46 cores=4,6
/proc/81810/stat : 81810 (java) S 81807 81810 80991 0 -1 4194304 117417 0 0 0 326823 1023 0 0 20 0 20 0 69568987 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
/proc/81810/statm: 4765878 544165 5560 1 0 557820 0
[pid=81810/tid=81812] ppid=81807 vsize=19063512 memory=2176660 CPUtime=3239.61 cores=4,6
/proc/81810/task/81812/stat : 81812 (java) D 81807 81810 80991 0 -1 4194368 46122 0 0 0 323120 841 0 0 20 0 20 0 69568988 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81821] ppid=81807 vsize=19063512 memory=2176660 CPUtime=0 cores=4,6
/proc/81810/task/81821/stat : 81821 (Finalizer) S 81807 81810 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69568993 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81828] ppid=81807 vsize=19063512 memory=2176660 CPUtime=0 cores=4,6
/proc/81810/task/81828/stat : 81828 (Common-Cleaner) S 81807 81810 80991 0 -1 4194368 1730 0 0 0 0 0 0 0 20 0 20 0 69568993 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81829] ppid=81807 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/81810/task/81829/stat : 81829 (Timer-0) S 81807 81810 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69569035 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
Current children cumulated CPU time: 3278.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176660 KiB
[startup+3402.3 s]
/proc/loadavg: 4.49 4.58 4.50 5/334 82422
/proc/meminfo: memFree=54858452/131382116 swapFree=33010684/33010684
[pid=81810] ppid=81807 vsize=19063512 memory=2176660 CPUtime=3335.22 cores=4,6
/proc/81810/stat : 81810 (java) S 81807 81810 80991 0 -1 4194304 117575 0 0 0 332486 1036 0 0 20 0 20 0 69568987 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
/proc/81810/statm: 4765878 544165 5560 1 0 557820 0
[pid=81810/tid=81812] ppid=81807 vsize=19063512 memory=2176660 CPUtime=3296.07 cores=4,6
/proc/81810/task/81812/stat : 81812 (java) R 81807 81810 80991 0 -1 4194368 46257 0 0 0 328757 850 0 0 20 0 20 0 69568988 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81821] ppid=81807 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/81810/task/81821/stat : 81821 (Finalizer) S 81807 81810 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69568993 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81828] ppid=81807 vsize=19063512 memory=2176660 CPUtime=0 cores=4,6
/proc/81810/task/81828/stat : 81828 (Common-Cleaner) S 81807 81810 80991 0 -1 4194368 1731 0 0 0 0 0 0 0 20 0 20 0 69568993 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81829] ppid=81807 vsize=19063512 memory=2176660 CPUtime=0 cores=4,6
/proc/81810/task/81829/stat : 81829 (Timer-0) S 81807 81810 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69569035 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
Current children cumulated CPU time: 3335.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176660 KiB
[startup+3462.3 s]
/proc/loadavg: 4.70 4.63 4.52 5/308 82468
/proc/meminfo: memFree=61485956/131382116 swapFree=33010684/33010684
[pid=81810] ppid=81807 vsize=19063512 memory=2176660 CPUtime=3395.18 cores=4,6
/proc/81810/stat : 81810 (java) S 81807 81810 80991 0 -1 4194304 119463 0 0 0 338464 1054 0 0 20 0 20 0 69568987 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
/proc/81810/statm: 4765878 544165 5560 1 0 557820 0
[pid=81810/tid=81812] ppid=81807 vsize=19063512 memory=18432 CPUtime=3355.63 cores=4,6
/proc/81810/task/81812/stat : 81812 (java) R 81807 81810 80991 0 -1 4194368 47682 0 0 0 334698 865 0 0 20 0 20 0 69568988 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81821] ppid=81807 vsize=19063512 memory=2176660 CPUtime=0 cores=4,6
/proc/81810/task/81821/stat : 81821 (Finalizer) S 81807 81810 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69568993 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81828] ppid=81807 vsize=19063512 memory=2176660 CPUtime=0 cores=4,6
/proc/81810/task/81828/stat : 81828 (Common-Cleaner) S 81807 81810 80991 0 -1 4194368 1731 0 0 0 0 0 0 0 20 0 20 0 69568993 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81829] ppid=81807 vsize=19063512 memory=2176660 CPUtime=0 cores=4,6
/proc/81810/task/81829/stat : 81829 (Timer-0) S 81807 81810 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69569035 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
Current children cumulated CPU time: 3395.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176660 KiB
[startup+3522.3 s]
/proc/loadavg: 4.38 4.57 4.51 5/307 82470
/proc/meminfo: memFree=60257548/131382116 swapFree=33010684/33010684
[pid=81810] ppid=81807 vsize=19063512 memory=2176660 CPUtime=3455 cores=4,6
/proc/81810/stat : 81810 (java) S 81807 81810 80991 0 -1 4194304 121069 0 0 0 344429 1071 0 0 20 0 20 0 69568987 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
/proc/81810/statm: 4765878 544165 5560 1 0 557820 0
[pid=81810/tid=81812] ppid=81807 vsize=19063512 memory=2176660 CPUtime=3414.94 cores=4,6
/proc/81810/task/81812/stat : 81812 (java) R 81807 81810 80991 0 -1 4194368 48514 0 0 0 340616 878 0 0 20 0 20 0 69568988 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81821] ppid=81807 vsize=19063512 memory=2176660 CPUtime=0 cores=4,6
/proc/81810/task/81821/stat : 81821 (Finalizer) S 81807 81810 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69568993 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81828] ppid=81807 vsize=19063512 memory=-6000919477085170535 CPUtime=0 cores=4,6
/proc/81810/task/81828/stat : 81828 (Common-Cleaner) S 81807 81810 80991 0 -1 4194368 1789 0 0 0 0 0 0 0 20 0 20 0 69568993 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81829] ppid=81807 vsize=19063512 memory=2176660 CPUtime=0 cores=4,6
/proc/81810/task/81829/stat : 81829 (Timer-0) S 81807 81810 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69569035 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
Current children cumulated CPU time: 3455 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176660 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.45 4.47 4/309 82474
/proc/meminfo: memFree=58758352/131382116 swapFree=33010684/33010684
[pid=81810] ppid=81807 vsize=19063512 memory=2176660 CPUtime=3514.89 cores=4,6
/proc/81810/stat : 81810 (java) S 81807 81810 80991 0 -1 4194304 122757 0 0 0 350404 1085 0 0 20 0 20 0 69568987 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
/proc/81810/statm: 4765878 544165 5560 1 0 557820 0
[pid=81810/tid=81812] ppid=81807 vsize=19063512 memory=3328 CPUtime=3474.39 cores=4,6
/proc/81810/task/81812/stat : 81812 (java) R 81807 81810 80991 0 -1 4194368 49030 0 0 0 346549 890 0 0 20 0 20 0 69568988 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81821] ppid=81807 vsize=19063512 memory=18432 CPUtime=0 cores=4,6
/proc/81810/task/81821/stat : 81821 (Finalizer) S 81807 81810 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69568993 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81828] ppid=81807 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/81810/task/81828/stat : 81828 (Common-Cleaner) S 81807 81810 80991 0 -1 4194368 1854 0 0 0 0 0 0 0 20 0 20 0 69568993 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81829] ppid=81807 vsize=19063512 memory=5276 CPUtime=0 cores=4,6
/proc/81810/task/81829/stat : 81829 (Timer-0) S 81807 81810 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69569035 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
Current children cumulated CPU time: 3514.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176660 KiB
[startup+3642.3 s]
/proc/loadavg: 3.69 4.27 4.41 3/309 82477
/proc/meminfo: memFree=57040832/131382116 swapFree=33010684/33010684
[pid=81810] ppid=81807 vsize=19063512 memory=2176660 CPUtime=3574.74 cores=4,6
/proc/81810/stat : 81810 (java) S 81807 81810 80991 0 -1 4194304 122837 0 0 0 356375 1099 0 0 20 0 20 0 69568987 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
/proc/81810/statm: 4765878 544165 5560 1 0 557820 0
[pid=81810/tid=81812] ppid=81807 vsize=19063512 memory=14336 CPUtime=3533.65 cores=4,6
/proc/81810/task/81812/stat : 81812 (java) R 81807 81810 80991 0 -1 4194368 49040 0 0 0 352464 901 0 0 20 0 20 0 69568988 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81821] ppid=81807 vsize=19063512 memory=18432 CPUtime=0 cores=4,6
/proc/81810/task/81821/stat : 81821 (Finalizer) S 81807 81810 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69568993 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81828] ppid=81807 vsize=19063512 memory=2176660 CPUtime=0 cores=4,6
/proc/81810/task/81828/stat : 81828 (Common-Cleaner) S 81807 81810 80991 0 -1 4194368 1855 0 0 0 0 0 0 0 20 0 20 0 69568993 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81829] ppid=81807 vsize=19063512 memory=2176660 CPUtime=0 cores=4,6
/proc/81810/task/81829/stat : 81829 (Timer-0) S 81807 81810 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69569035 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
Current children cumulated CPU time: 3574.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176660 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3667.7 s]
/proc/loadavg: 3.60 4.20 4.38 4/310 82479
/proc/meminfo: memFree=56676936/131382116 swapFree=33010684/33010684
[pid=81810] ppid=81807 vsize=19063512 memory=2176660 CPUtime=3600.08 cores=4,6
/proc/81810/stat : 81810 (java) S 81807 81810 80991 0 -1 4194304 122852 0 0 0 358903 1105 0 0 20 0 20 0 69568987 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
/proc/81810/statm: 4765878 544165 5560 1 0 557820 0
[pid=81810/tid=81812] ppid=81807 vsize=19063512 memory=14336 CPUtime=3558.9 cores=4,6
/proc/81810/task/81812/stat : 81812 (java) R 81807 81810 80991 0 -1 4194368 49044 0 0 0 354984 906 0 0 20 0 20 0 69568988 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81821] ppid=81807 vsize=19063512 memory=18432 CPUtime=0 cores=4,6
/proc/81810/task/81821/stat : 81821 (Finalizer) S 81807 81810 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69568993 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81828] ppid=81807 vsize=19063512 memory=2176660 CPUtime=0 cores=4,6
/proc/81810/task/81828/stat : 81828 (Common-Cleaner) S 81807 81810 80991 0 -1 4194368 1855 0 0 0 0 0 0 0 20 0 20 0 69568993 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81829] ppid=81807 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/81810/task/81829/stat : 81829 (Timer-0) S 81807 81810 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69569035 19521036288 544165 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176660 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3667.91 s]
# the end of solver process 81810 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3589.27 s, system=11.089 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3667.81 s]
/proc/loadavg: 3.60 4.20 4.38 4/310 82479
/proc/meminfo: memFree=56676936/131382116 swapFree=33010684/33010684
[pid=81810] ppid=81807 vsize=19263204 memory=2177428 CPUtime=3600.29 cores=4,6
/proc/81810/stat : 81810 (java) S 81807 81810 80991 0 -1 4194304 125627 0 0 0 358923 1106 0 0 20 0 21 0 69568987 19725520896 544357 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
/proc/81810/statm: 4815801 544357 5560 1 0 558741 0
[pid=81810/tid=81812] ppid=81807 vsize=19263204 memory=4752 CPUtime=3559 cores=4,6
/proc/81810/task/81812/stat : 81812 (java) R 81807 81810 80991 0 -1 4194368 49318 0 0 0 354994 906 0 0 20 0 21 0 69568988 19725520896 544357 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81821] ppid=81807 vsize=19263204 memory=2728 CPUtime=0 cores=4,6
/proc/81810/task/81821/stat : 81821 (Finalizer) S 81807 81810 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 69568993 19725520896 544357 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
[pid=81810/tid=81828] ppid=81807 vsize=19263204 memory=-6000919477085170535 CPUtime=0 cores=4,6
/proc/81810/task/81828/stat : 81828 (Common-Cleaner) S 81807 81810 80991 0 -1 4194368 1855 0 0 0 0 0 0 0 20 0 21 0 69568993 19725520896 544357 18446744073709551615 94551867453440 94551867457136 140720949938880 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94551867464952 94551867465744 94551896043520 140720949946672 140720949946854 140720949946854 140720949952456 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2177428 KiB
Child status: 143
Real time (s): 3667.91
CPU time (s): 3600.36
CPU user time (s): 3589.27
CPU system time (s): 11.089
CPU usage (%): 98.1583
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2183844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.27
system time used= 11.089
maximum resident set size= 2183844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125939
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13442264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119429
involuntary context switches= 11748
# summary of solver processes directly reported to runsolver:
# pid: 81810
# total CPU time (s): 3600.36
# total CPU user time (s): 3589.27
# total CPU system time (s): 11.089
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.0543 second user time and 38.2893 second system time
The end
Begin job on nodeC011 at 2025-07-03 12:34:53 IDJOB=4517729 IDBENCH=176167 IDSOLVER=3364 FILE ID=nodeC011/4517729-1751538893 RUNJOBID= nodeC011-1751535003-81002 SLURM_JOB_ID= 9598684 Free space on /tmp= 430540 MiB SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=13-t=7.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517729-1751538893/watcher-4517729-1751538893 -o /tmp/evaluation-result-4517729-1751538893/solver-4517729-1751538893 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751535003-81002 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517729-1751538893 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4517729-1751538893.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bf082a5f314776883f0e32420df0edd0 RANDOM SEED=2105382464 nodeC011 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 : 3591.873 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 : 6984.20 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 : 3594.719 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 : 6984.20 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.527 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 : 6984.20 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.292 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 : 6984.20 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 : 3492.088 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 : 6984.20 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 : 3661.654 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 : 6984.20 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.266 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 : 6984.20 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.732 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 121988264 kB MemAvailable: 125692404 kB Buffers: 3276 kB Cached: 4501620 kB SwapCached: 0 kB Active: 4494356 kB Inactive: 4062456 kB Active(anon): 4067828 kB Inactive(anon): 2104 kB Active(file): 426528 kB Inactive(file): 4060352 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 135064 kB Writeback: 0 kB AnonPages: 4055076 kB Mapped: 123484 kB Shmem: 17960 kB KReclaimable: 113392 kB Slab: 203924 kB SReclaimable: 113392 kB SUnreclaim: 90532 kB KernelStack: 5040 kB PageTables: 11616 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 7064484 kB VmallocTotal: 34359738367 kB VmallocUsed: 150424 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 3846144 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 191304 kB DirectMap2M: 8099840 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 430528 MiB End job on nodeC011 at 2025-07-03 13:36:01