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) | 220 | 3600.29 | 3449.58 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb |
| MD5SUM | 8940813d27fb075f4739eb458e093f9a |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 176 |
| Best CPU time to get the best result obtained on this benchmark | 3585.46 |
| 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 | 467 |
| Total number of constraints | 466 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 466 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 15 |
| Number of terms in the objective function | 467 |
| 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 | 467 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 467 |
| Number of bits of the biggest sum of numbers | 9 |
| 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.08 c version PB25.v20250606 0.00/0.09 c java.runtime.name OpenJDK Runtime Environment 0.00/0.09 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.09 c java.vm.version 22.0.1+8-16 0.00/0.09 c java.vm.vendor Oracle Corporation 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 22.0.1 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.09 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.11/0.10 c Number of processors 2 0.11/0.14 c Pseudo Boolean Optimization by upper bound 0.11/0.14 c --- Begin Solver configuration --- 0.11/0.14 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.11/0.14 c Learn all clauses as in MiniSAT 0.11/0.14 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.14 c Expensive reason simplification 0.11/0.14 c Glucose 2.1 dynamic restart strategy 0.11/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.11/0.14 c timeout=2147483s 0.11/0.14 c DB Simplification allowed=false 0.11/0.14 c Listener: none 0.11/0.14 c --- End Solver configuration --- 0.11/0.14 c solving HOME/instance-4489193-1751343390.opb 0.11/0.14 c reading problem ... 0.11/0.14 c using VERIPB proof format 0.11/0.15 c objective function found 0.11/0.20 c ... done. Wall clock time 0.054s. 0.11/0.20 c declared #vars 467 0.11/0.20 c #constraints 466 0.11/0.20 c constraints type 0.11/0.20 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 466 0.11/0.20 c 466 constraints processed. 0.30/0.22 c objective function length is 467 literals 0.30/0.23 c SATISFIABLE 0.30/0.23 c OPTIMIZING... 0.30/0.23 c Got one! Elapsed wall clock time (in seconds):0.089 0.30/0.23 o 223 0.49/0.33 c Got one! Elapsed wall clock time (in seconds):0.182 0.49/0.33 o 222 1.84/1.06 c Got one! Elapsed wall clock time (in seconds):0.916 1.84/1.06 o 221 2.63/1.44 c cleaning 2606 clauses out of 5222 with flag 4296/5222 4.22/2.21 c cleaning 4303 clauses out of 8616 with flag 16807/11222 4.95/2.89 c cleaning 5650 clauses out of 11314 with flag 31360/18223 5.93/3.74 c cleaning 6823 clauses out of 13664 with flag 47877/26223 7.13/4.72 c cleaning 7916 clauses out of 15842 with flag 66566/35224 8.05/5.68 c cleaning 8958 clauses out of 17925 with flag 87241/45223 9.30/6.82 c cleaning 9976 clauses out of 19968 with flag 110080/56224 10.62/8.13 c cleaning 10988 clauses out of 21990 with flag 135020/68222 12.08/9.56 c cleaning 11996 clauses out of 24002 with flag 162032/81222 13.56/10.99 c cleaning 12993 clauses out of 26006 with flag 191013/95222 15.22/12.53 c cleaning 14000 clauses out of 28014 with flag 222217/110223 16.84/14.14 c cleaning 14997 clauses out of 30013 with flag 255456/126222 18.70/15.90 c cleaning 15999 clauses out of 32017 with flag 290654/143223 20.57/17.76 c cleaning 17001 clauses out of 34017 with flag 327966/161222 22.77/19.81 c cleaning 17998 clauses out of 36017 with flag 367420/180223 24.94/21.95 c cleaning 19001 clauses out of 38018 with flag 408880/200222 27.23/24.22 c cleaning 20004 clauses out of 40018 with flag 452231/221223 29.43/26.49 c cleaning 20996 clauses out of 42014 with flag 497865/243223 32.01/28.91 c cleaning 21999 clauses out of 44017 with flag 545630/266222 34.72/31.52 c cleaning 22999 clauses out of 46018 with flag 595557/290222 37.78/34.40 c cleaning 23999 clauses out of 48019 with flag 647335/315222 40.68/37.38 c cleaning 25005 clauses out of 50022 with flag 702934/341224 44.36/40.75 c cleaning 26003 clauses out of 52016 with flag 759122/368223 47.76/44.15 c cleaning 26997 clauses out of 54012 with flag 817328/396222 51.41/47.78 c cleaning 28001 clauses out of 56015 with flag 877497/425222 55.42/51.65 c cleaning 28999 clauses out of 58015 with flag 939872/455223 59.72/55.85 c cleaning 29999 clauses out of 60016 with flag 1004102/486223 64.21/60.38 c cleaning 31000 clauses out of 62017 with flag 1072150/518223 68.88/64.99 c cleaning 31999 clauses out of 64016 with flag 1140554/551222 73.34/69.28 c cleaning 33001 clauses out of 66018 with flag 1210884/585223 78.26/73.99 c cleaning 33998 clauses out of 68016 with flag 1283646/620222 82.81/78.36 c cleaning 35000 clauses out of 70018 with flag 1358676/656222 87.62/83.04 c cleaning 36000 clauses out of 72019 with flag 1435919/693223 92.21/87.65 c cleaning 37002 clauses out of 74019 with flag 1514420/731223 97.38/92.72 c cleaning 37999 clauses out of 76017 with flag 1595277/770223 102.45/97.73 c cleaning 38999 clauses out of 78017 with flag 1677872/810222 107.45/102.61 c cleaning 40001 clauses out of 80018 with flag 1762417/851222 112.77/107.87 c cleaning 40998 clauses out of 82018 with flag 1849272/893223 118.25/113.12 c cleaning 41997 clauses out of 84020 with flag 1938314/936223 123.33/118.18 c cleaning 43000 clauses out of 86022 with flag 2029721/980222 129.33/123.79 c cleaning 43999 clauses out of 88023 with flag 2123234/1025223 134.91/129.25 c cleaning 45002 clauses out of 90023 with flag 2218977/1071222 140.84/135.08 c cleaning 46002 clauses out of 92021 with flag 2317155/1118222 147.08/141.16 c cleaning 46999 clauses out of 94019 with flag 2416785/1166222 153.64/147.55 c cleaning 47999 clauses out of 96020 with flag 2518362/1215222 159.87/153.79 c cleaning 49001 clauses out of 98021 with flag 2621741/1265222 166.93/160.76 c cleaning 50000 clauses out of 100020 with flag 2727025/1316222 174.39/167.83 c cleaning 50999 clauses out of 102020 with flag 2835039/1368222 181.17/174.57 c cleaning 51998 clauses out of 104022 with flag 2944389/1421223 188.87/182.18 c cleaning 53003 clauses out of 106024 with flag 3061672/1475223 196.59/189.74 c cleaning 54003 clauses out of 108021 with flag 3176112/1530223 204.33/197.25 c cleaning 55002 clauses out of 110017 with flag 3292050/1586222 211.81/204.61 c cleaning 56001 clauses out of 112015 with flag 3410578/1643222 219.52/212.37 c cleaning 56998 clauses out of 114014 with flag 3530882/1701222 227.60/220.33 c cleaning 58001 clauses out of 116016 with flag 3653517/1760222 235.30/228.00 c cleaning 58999 clauses out of 118016 with flag 3777673/1820223 243.68/236.18 c cleaning 59998 clauses out of 120016 with flag 3904586/1881222 252.42/244.83 c cleaning 60999 clauses out of 122018 with flag 4033557/1943222 260.90/253.04 c cleaning 62000 clauses out of 124020 with flag 4165222/2006223 269.69/260.87 c cleaning 63001 clauses out of 126020 with flag 4300433/2070223 278.34/269.35 c cleaning 63997 clauses out of 128018 with flag 4436110/2135222 287.34/278.29 c cleaning 64999 clauses out of 130021 with flag 4572723/2201222 296.64/287.30 c cleaning 66003 clauses out of 132023 with flag 4711048/2268223 305.32/295.94 c cleaning 66999 clauses out of 134020 with flag 4851470/2336223 315.45/305.75 c cleaning 68002 clauses out of 136021 with flag 4993962/2405223 325.32/315.46 c cleaning 68995 clauses out of 138018 with flag 5138977/2475222 335.27/325.38 c cleaning 69997 clauses out of 140024 with flag 5286244/2546223 345.21/335.17 c cleaning 71005 clauses out of 142027 with flag 5435527/2618223 356.08/345.68 c cleaning 71996 clauses out of 144022 with flag 5586829/2691223 366.97/356.31 c cleaning 73001 clauses out of 146025 with flag 5740372/2765222 377.86/367.00 c cleaning 74001 clauses out of 148025 with flag 5895169/2840223 390.03/378.86 c cleaning 75002 clauses out of 150024 with flag 6053524/2916223 401.61/390.21 c cleaning 75997 clauses out of 152021 with flag 6213807/2993222 412.26/400.66 c cleaning 77002 clauses out of 154025 with flag 6376109/3071223 423.43/411.61 c cleaning 78000 clauses out of 156022 with flag 6540260/3150222 434.30/422.38 c cleaning 79000 clauses out of 158022 with flag 6706714/3230222 445.89/433.71 c cleaning 80003 clauses out of 160023 with flag 6876551/3311223 456.77/444.49 c cleaning 80997 clauses out of 162020 with flag 7047499/3393223 468.28/455.77 c cleaning 81999 clauses out of 164023 with flag 7220631/3476223 479.93/467.29 c cleaning 82997 clauses out of 166023 with flag 7396267/3560222 491.83/478.93 c cleaning 84002 clauses out of 168026 with flag 7573216/3645222 504.37/491.33 c cleaning 84999 clauses out of 170026 with flag 7752230/3731224 516.73/503.57 c cleaning 86002 clauses out of 172026 with flag 7933543/3818223 529.28/515.99 c cleaning 87003 clauses out of 174026 with flag 8116743/3906225 542.03/528.54 c cleaning 88000 clauses out of 176021 with flag 8302361/3995223 556.11/542.11 c cleaning 89002 clauses out of 178021 with flag 8489945/4085223 569.87/555.75 c cleaning 89998 clauses out of 180019 with flag 8678907/4176223 584.38/569.94 c cleaning 91003 clauses out of 182021 with flag 8870037/4268223 599.14/583.78 c cleaning 91996 clauses out of 184018 with flag 9063446/4361223 613.59/597.70 c cleaning 93001 clauses out of 186021 with flag 9258305/4455222 627.81/611.74 c cleaning 93997 clauses out of 188021 with flag 9455826/4550223 642.01/625.80 c cleaning 94998 clauses out of 190023 with flag 9655500/4646222 656.30/640.06 c cleaning 95998 clauses out of 192026 with flag 9857070/4743223 671.10/654.32 c cleaning 96998 clauses out of 194028 with flag 10060354/4841223 686.25/669.14 c cleaning 98003 clauses out of 196029 with flag 10266521/4940222 701.21/683.86 c cleaning 98999 clauses out of 198026 with flag 10475321/5040222 717.66/699.63 c cleaning 100006 clauses out of 200028 with flag 10685943/5141223 734.76/716.39 c cleaning 100996 clauses out of 202021 with flag 10899375/5243222 751.20/731.73 c cleaning 102003 clauses out of 204025 with flag 11114562/5346222 768.14/748.35 c cleaning 103002 clauses out of 206023 with flag 11331765/5450223 783.93/763.87 c cleaning 104001 clauses out of 208020 with flag 11550273/5555222 787.56/767.41 c Got one! Elapsed wall clock time (in seconds):767.271 787.56/767.41 o 220 789.57/769.43 c cleaning 72075 clauses out of 144168 with flag 10826/5595371 790.67/770.50 c cleaning 39037 clauses out of 78093 with flag 23463/5601371 791.36/771.26 c cleaning 23016 clauses out of 46055 with flag 38091/5608370 792.19/771.99 c cleaning 15509 clauses out of 31040 with flag 54786/5616371 793.00/772.77 c cleaning 12255 clauses out of 24530 with flag 73570/5625370 793.89/773.62 c cleaning 11126 clauses out of 22275 with flag 94270/5635370 794.79/774.56 c cleaning 11065 clauses out of 22150 with flag 117030/5646371 795.89/775.60 c cleaning 11536 clauses out of 23086 with flag 142036/5658372 797.01/776.78 c cleaning 12268 clauses out of 24548 with flag 168990/5671370 798.31/778.03 c cleaning 13130 clauses out of 26281 with flag 198076/5685371 799.71/779.43 c cleaning 14062 clauses out of 28151 with flag 229143/5700371 801.20/780.94 c cleaning 15035 clauses out of 30088 with flag 262397/5716370 803.02/782.60 c cleaning 16015 clauses out of 32053 with flag 297773/5733370 804.76/784.37 c cleaning 17011 clauses out of 34038 with flag 335262/5751370 806.56/786.17 c cleaning 18004 clauses out of 36027 with flag 374719/5770370 808.57/788.17 c cleaning 19002 clauses out of 38023 with flag 416384/5790370 810.71/790.23 c cleaning 20002 clauses out of 40023 with flag 460127/5811372 812.91/792.45 c cleaning 21001 clauses out of 42019 with flag 505719/5833370 815.33/794.85 c cleaning 21999 clauses out of 44019 with flag 553423/5856371 817.85/797.34 c cleaning 23001 clauses out of 46019 with flag 603163/5880370 820.49/799.98 c cleaning 23998 clauses out of 48019 with flag 654841/5905371 823.35/802.73 c cleaning 25000 clauses out of 50022 with flag 708692/5931372 826.31/805.66 c cleaning 25999 clauses out of 52020 with flag 764628/5958370 829.57/808.84 c cleaning 26998 clauses out of 54022 with flag 822605/5986371 832.73/811.96 c cleaning 28003 clauses out of 56023 with flag 882757/6015370 836.09/815.26 c cleaning 29002 clauses out of 58021 with flag 944794/6045371 839.46/818.54 c cleaning 29998 clauses out of 60019 with flag 1008976/6076371 843.12/822.14 c cleaning 30997 clauses out of 62021 with flag 1075256/6108371 846.96/825.99 c cleaning 32002 clauses out of 64023 with flag 1143841/6141370 851.22/830.07 c cleaning 32996 clauses out of 66021 with flag 1214273/6175370 855.59/834.36 c cleaning 34006 clauses out of 68025 with flag 1287588/6210370 859.94/838.69 c cleaning 34999 clauses out of 70019 with flag 1362263/6246370 864.56/843.24 c cleaning 35998 clauses out of 72021 with flag 1439064/6283371 869.48/848.07 c cleaning 36997 clauses out of 74022 with flag 1517863/6321370 874.86/853.32 c cleaning 38003 clauses out of 76025 with flag 1598612/6360370 880.31/858.60 c cleaning 38999 clauses out of 78022 with flag 1681590/6400370 885.86/864.11 c cleaning 40004 clauses out of 80023 with flag 1766464/6441370 891.85/869.91 c cleaning 40999 clauses out of 82019 with flag 1853467/6483370 897.61/875.63 c cleaning 41996 clauses out of 84020 with flag 1942464/6526370 904.02/881.93 c cleaning 43000 clauses out of 86025 with flag 2034261/6570371 910.18/888.06 c cleaning 43996 clauses out of 88024 with flag 2127384/6615370 917.02/894.71 c cleaning 44998 clauses out of 90028 with flag 2222458/6661370 923.58/901.18 c cleaning 46007 clauses out of 92030 with flag 2320253/6708370 930.02/907.54 c cleaning 47001 clauses out of 94025 with flag 2419959/6756372 936.25/913.67 c cleaning 48002 clauses out of 96022 with flag 2521886/6805370 943.27/920.54 c cleaning 49000 clauses out of 98020 with flag 2625779/6855370 950.20/927.34 c cleaning 49997 clauses out of 100021 with flag 2732008/6906371 957.63/934.66 c cleaning 50998 clauses out of 102023 with flag 2839598/6958370 964.88/941.88 c cleaning 51997 clauses out of 104026 with flag 2948449/7011371 972.05/948.94 c cleaning 53003 clauses out of 106028 with flag 3060341/7065370 979.64/956.46 c cleaning 53998 clauses out of 108025 with flag 3174124/7120370 987.05/963.77 c cleaning 55005 clauses out of 110027 with flag 3289753/7176370 994.43/971.06 c cleaning 56004 clauses out of 112025 with flag 3407887/7233373 1001.80/978.33 c cleaning 56999 clauses out of 114018 with flag 3528461/7291370 1009.39/985.80 c cleaning 58003 clauses out of 116020 with flag 3651428/7350371 1017.78/994.11 c cleaning 58998 clauses out of 118016 with flag 3775891/7410370 1025.98/1002.11 c cleaning 60000 clauses out of 120020 with flag 3902274/7471372 1034.83/1010.88 c cleaning 61001 clauses out of 122019 with flag 4030819/7533371 1043.67/1019.56 c cleaning 61997 clauses out of 124017 with flag 4161460/7596370 1052.48/1028.28 c cleaning 63001 clauses out of 126020 with flag 4300573/7660370 1061.20/1036.76 c cleaning 64000 clauses out of 128020 with flag 4435709/7725371 1070.04/1045.43 c cleaning 65000 clauses out of 130019 with flag 4572977/7791370 1079.04/1054.33 c cleaning 65994 clauses out of 132019 with flag 4712408/7858370 1088.73/1063.87 c cleaning 67002 clauses out of 134026 with flag 4854038/7926371 1098.26/1073.28 c cleaning 68005 clauses out of 136025 with flag 4997986/7995372 1108.87/1083.75 c cleaning 68997 clauses out of 138018 with flag 5143769/8065370 1118.97/1093.75 c cleaning 69998 clauses out of 140021 with flag 5291813/8136370 1129.16/1103.89 c cleaning 71001 clauses out of 142023 with flag 5442229/8208370 1140.06/1114.56 c cleaning 71999 clauses out of 144023 with flag 5594290/8281371 1150.33/1124.67 c cleaning 72997 clauses out of 146023 with flag 5748346/8355370 1161.06/1135.29 c cleaning 73998 clauses out of 148026 with flag 5904518/8430370 1172.79/1146.79 c cleaning 75000 clauses out of 150028 with flag 6062879/8506370 1184.45/1158.21 c cleaning 76003 clauses out of 152029 with flag 6223546/8583371 1196.12/1169.63 c cleaning 77005 clauses out of 154026 with flag 6386899/8661371 1208.17/1181.51 c cleaning 78002 clauses out of 156020 with flag 6552267/8740370 1220.45/1193.55 c cleaning 78998 clauses out of 158018 with flag 6719594/8820370 1232.98/1205.80 c cleaning 79999 clauses out of 160020 with flag 6888692/8901370 1245.03/1217.62 c cleaning 80999 clauses out of 162021 with flag 7060064/8983370 1257.67/1230.18 c cleaning 82002 clauses out of 164022 with flag 7233241/9066370 1271.16/1243.40 c cleaning 82999 clauses out of 166020 with flag 7408704/9150370 1285.08/1256.30 c cleaning 84004 clauses out of 168022 with flag 7586356/9235371 1298.21/1269.14 c cleaning 85000 clauses out of 170017 with flag 7766334/9321370 1310.96/1281.78 c cleaning 86002 clauses out of 172017 with flag 7948265/9408370 1324.89/1295.42 c cleaning 86993 clauses out of 174015 with flag 8132179/9496370 1338.46/1308.68 c cleaning 88003 clauses out of 176023 with flag 8317860/9585371 1351.47/1321.38 c cleaning 88998 clauses out of 178019 with flag 8505701/9675370 1364.77/1334.34 c cleaning 89998 clauses out of 180022 with flag 8695852/9766371 1378.83/1347.97 c cleaning 91002 clauses out of 182024 with flag 8888566/9858371 1394.68/1362.81 c cleaning 92001 clauses out of 184021 with flag 9081668/9951370 1410.68/1378.38 c cleaning 93000 clauses out of 186020 with flag 9276666/10045370 1425.86/1393.21 c cleaning 94002 clauses out of 188021 with flag 9474157/10140371 1441.30/1408.29 c cleaning 95000 clauses out of 190018 with flag 9673194/10236370 1458.46/1424.28 c cleaning 95999 clauses out of 192018 with flag 9875070/10333370 1475.98/1441.34 c cleaning 97000 clauses out of 194020 with flag 10079363/10431371 1493.54/1458.53 c cleaning 98000 clauses out of 196020 with flag 10286800/10530371 1511.29/1475.15 c cleaning 98997 clauses out of 198020 with flag 10495667/10630371 1529.19/1492.65 c cleaning 100001 clauses out of 200022 with flag 10705795/10731370 1547.42/1510.49 c cleaning 100996 clauses out of 202021 with flag 10917844/10833370 1566.23/1528.08 c cleaning 102007 clauses out of 204025 with flag 11132394/10936370 1584.89/1546.29 c cleaning 102999 clauses out of 206018 with flag 11348798/11040370 1603.27/1564.22 c cleaning 104001 clauses out of 208019 with flag 11566417/11145370 1621.63/1582.13 c cleaning 104996 clauses out of 210018 with flag 11787412/11251370 1641.20/1600.17 c cleaning 106003 clauses out of 212022 with flag 12011364/11358370 1659.59/1618.08 c cleaning 107001 clauses out of 214020 with flag 12235201/11466371 1679.14/1637.12 c cleaning 108001 clauses out of 216019 with flag 12461489/11575371 1698.10/1654.84 c cleaning 108999 clauses out of 218017 with flag 12689968/11685370 1719.15/1675.41 c cleaning 110002 clauses out of 220019 with flag 12919410/11796371 1738.18/1694.01 c cleaning 111000 clauses out of 222017 with flag 13151513/11908371 1759.83/1715.20 c cleaning 111999 clauses out of 224017 with flag 13385997/12021371 1780.33/1734.30 c cleaning 112999 clauses out of 226019 with flag 13622815/12135372 1798.50/1752.21 c cleaning 114001 clauses out of 228019 with flag 13861855/12250371 1818.48/1771.74 c cleaning 114998 clauses out of 230017 with flag 14103647/12366370 1838.76/1790.89 c cleaning 116002 clauses out of 232019 with flag 14346269/12483370 1858.65/1810.21 c cleaning 116997 clauses out of 234018 with flag 14591257/12601371 1880.34/1830.58 c cleaning 118006 clauses out of 236020 with flag 14837773/12720370 1903.10/1851.80 c cleaning 118997 clauses out of 238014 with flag 15086012/12840370 1925.17/1872.48 c cleaning 120000 clauses out of 240019 with flag 15337182/12961372 1947.19/1893.02 c cleaning 121000 clauses out of 242018 with flag 15590293/13083371 1973.13/1917.47 c cleaning 121999 clauses out of 244017 with flag 15844582/13206370 1998.10/1940.93 c cleaning 122999 clauses out of 246019 with flag 16100943/13330371 2024.21/1965.62 c cleaning 124002 clauses out of 248020 with flag 16361436/13455371 2049.22/1989.16 c cleaning 124993 clauses out of 250017 with flag 16624081/13581370 2075.24/2013.68 c cleaning 126004 clauses out of 252025 with flag 16887752/13708371 2100.22/2037.17 c cleaning 127001 clauses out of 254021 with flag 17153759/13836371 2125.37/2060.85 c cleaning 128001 clauses out of 256020 with flag 17422310/13965371 2152.40/2086.47 c cleaning 128998 clauses out of 258019 with flag 17691424/14095371 2181.17/2113.69 c cleaning 129997 clauses out of 260020 with flag 17962612/14226370 2209.90/2139.67 c cleaning 131001 clauses out of 262023 with flag 18236962/14358370 2236.95/2165.26 c cleaning 132001 clauses out of 264022 with flag 18512936/14491370 2263.12/2188.87 c cleaning 133001 clauses out of 266022 with flag 18791025/14625371 2293.82/2216.86 c cleaning 133998 clauses out of 268020 with flag 19070334/14760370 2322.97/2243.09 c cleaning 135000 clauses out of 270022 with flag 19351393/14896370 2348.67/2267.06 c cleaning 135999 clauses out of 272022 with flag 19636474/15033370 2376.78/2292.36 c cleaning 137000 clauses out of 274023 with flag 19922309/15171370 2400.40/2314.46 c cleaning 138000 clauses out of 276023 with flag 20209871/15310370 2429.14/2341.64 c cleaning 139001 clauses out of 278024 with flag 20500338/15450371 2459.01/2369.83 c cleaning 140004 clauses out of 280022 with flag 20794411/15591370 2485.29/2394.54 c cleaning 140994 clauses out of 282019 with flag 21089966/15733371 2513.13/2421.96 c cleaning 142003 clauses out of 284024 with flag 21386793/15876370 2544.46/2451.79 c cleaning 142999 clauses out of 286021 with flag 21684505/16020370 2573.06/2478.60 c cleaning 143997 clauses out of 288022 with flag 21984753/16165370 2597.91/2501.86 c cleaning 145003 clauses out of 290026 with flag 22287543/16311371 2629.32/2531.52 c cleaning 145995 clauses out of 292022 with flag 22592374/16458370 2657.20/2558.89 c cleaning 147002 clauses out of 294027 with flag 22900959/16606370 2686.21/2586.17 c cleaning 148002 clauses out of 296026 with flag 23211012/16755371 2713.72/2613.08 c cleaning 148996 clauses out of 298024 with flag 23521847/16905371 2743.09/2641.13 c cleaning 149997 clauses out of 300028 with flag 23834580/17056371 2772.62/2670.33 c cleaning 151002 clauses out of 302031 with flag 24150350/17208371 2803.16/2699.51 c cleaning 152002 clauses out of 304029 with flag 24466807/17361371 2828.93/2724.87 c cleaning 153001 clauses out of 306026 with flag 24785641/17515370 2860.60/2755.25 c cleaning 154002 clauses out of 308026 with flag 25106732/17670371 2889.47/2782.49 c cleaning 154997 clauses out of 310023 with flag 25429795/17826370 2921.41/2812.49 c cleaning 156005 clauses out of 312027 with flag 25755955/17983371 2954.10/2843.97 c cleaning 157000 clauses out of 314022 with flag 26082924/18141371 2988.15/2875.18 c cleaning 157999 clauses out of 316022 with flag 26411249/18300371 3020.21/2905.48 c cleaning 159002 clauses out of 318022 with flag 26742173/18460370 3052.71/2936.37 c cleaning 159999 clauses out of 320021 with flag 27075946/18621371 3088.30/2968.65 c cleaning 160998 clauses out of 322021 with flag 27410711/18783370 3122.24/3000.86 c cleaning 162003 clauses out of 324024 with flag 27750969/18946371 3158.09/3033.65 c cleaning 162998 clauses out of 326020 with flag 28091380/19110370 3190.91/3064.65 c cleaning 163994 clauses out of 328022 with flag 28432615/19275370 3224.53/3096.60 c cleaning 165003 clauses out of 330028 with flag 28776902/19441370 3262.53/3132.40 c cleaning 166004 clauses out of 332027 with flag 29122008/19608372 3295.24/3163.43 c cleaning 167003 clauses out of 334022 with flag 29471344/19776371 3332.01/3197.23 c cleaning 168003 clauses out of 336019 with flag 29822581/19945371 3367.56/3230.71 c cleaning 169001 clauses out of 338016 with flag 30173541/20115371 3401.45/3262.94 c cleaning 169996 clauses out of 340015 with flag 30527444/20286371 3431.66/3290.89 c cleaning 170998 clauses out of 342019 with flag 30884899/20458371 3465.30/3322.64 c cleaning 172000 clauses out of 344020 with flag 31243944/20631370 3498.79/3353.80 c cleaning 172997 clauses out of 346021 with flag 31605693/20805371 3530.69/3384.02 c cleaning 174003 clauses out of 348023 with flag 31969140/20980370 3565.02/3416.18 c cleaning 174999 clauses out of 350020 with flag 32335267/21156370 3597.26/3446.60 c cleaning 175998 clauses out of 352021 with flag 32702841/21333370 3600.02/3449.42 c starts : 5 3600.02/3449.43 c conflicts : 21361297 3600.02/3449.43 c decisions : 25719471 3600.02/3449.43 c propagations : 247267313 3600.02/3449.43 c inspects : 15844001017 3600.02/3449.43 c shortcuts : 0 3600.02/3449.43 c learnt literals : 0 3600.02/3449.43 c learnt binary clauses : 0 3600.02/3449.43 c learnt ternary clauses : 0 3600.02/3449.43 c learnt constraints : 21361297 3600.02/3449.43 c ignored constraints : 0 3600.02/3449.43 c root simplifications : 0 3600.02/3449.43 c removed literals (reason simplification) : 127031 3600.02/3449.43 c reason swapping (by a shorter reason) : 0 3600.02/3449.43 c Calls to reduceDB : 274 3600.02/3449.43 c Number of update (reduction) of LBD : 376783 3600.02/3449.43 c Imported unit clauses : 0 3600.02/3449.43 c No decision after first conflict : false 3600.02/3449.44 c number of reductions to clauses (during analyze) : 0 3600.02/3449.44 c number of learned constraints concerned by reduction : 0 3600.02/3449.44 c number of learning phase by resolution : 0 3600.02/3449.44 c number of learning phase by cutting planes : 0 3600.02/3449.44 c number of rounding to 1 operations : 0 3600.02/3449.44 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.02/3449.44 c number of reductions of the coefficients by power 2 : 0 3600.02/3449.44 c number of right shift for reduction by power 2 : 0 3600.02/3449.44 c number of reductions of the coefficients by GCD over coefficients : 0 3600.02/3449.44 c number of ending skipping : 0 3600.02/3449.44 c number of internal skipping : 0 3600.02/3449.44 c number of derivation steps : 0 3600.02/3449.44 c number of skipped derivation steps : 0 3600.02/3449.44 c number of remaining unassigned : 0 3600.02/3449.44 c number of remaining assigned : 0 3600.02/3449.44 c number of falsified literals weakened from reason : 0 3600.02/3449.44 c number of falsified literals weakened from conflict : 0 3600.02/3449.44 c time for arithmetic operations : 0 3600.02/3449.44 c minimum degree of deleted constraints : null 3600.02/3449.44 c maximum degree of deleted constraints : null 3600.02/3449.44 c number of deleted constraints : 0 3600.02/3449.44 c speed (assignments/second) : 71688.03811188233 3600.02/3449.44 c non guided choices : 0 3600.02/3449.50 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 203950 3600.02/3449.50 s SATISFIABLE 3600.02/3449.50 c Found 4 solution(s) 3600.22/3449.50 v -x1 x2 x3 x4 x5 x6 x7 x8 -x9 -x10 x11 x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 x22 -x23 -x24 x25 x26 x27 -x28 x29 x30 x31 -x32 x33 x34 -x35 x36 -x37 x38 -x39 -x40 -x41 -x42 x43 -x44 x45 -x46 x47 -x48 -x49 x50 -x51 -x52 x53 x54 -x55 x56 x57 x58 x59 x60 x61 x62 -x63 x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 x73 x74 x75 x76 x77 x78 -x79 x80 x81 x82 -x83 x84 x85 -x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 -x105 x106 x107 x108 x109 x110 x111 x112 -x113 -x114 x115 x116 x117 x118 x119 x120 -x121 x122 x123 x124 x125 x126 x127 -x128 -x129 x130 x131 x132 x133 x134 -x135 x136 x137 x138 x139 x140 x141 x142 x143 -x144 -x145 x146 x147 x148 x149 x150 -x151 x152 x153 x154 x155 x156 -x157 -x158 -x159 x160 x161 x162 x163 x164 x165 x166 -x167 x168 x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 x179 -x180 x181 x182 -x183 -x184 x185 x186 x187 x188 x189 -x190 x191 x192 -x193 x194 -x195 -x196 x197 -x198 -x199 x200 -x201 x202 x203 x204 x205 -x206 x207 -x208 x209 x210 -x211 x212 x213 -x214 -x215 -x216 x217 x218 x219 -x220 x221 x222 x223 -x224 x225 -x226 x227 -x228 x229 -x230 -x231 x232 x233 -x234 -x235 x236 x237 x238 x239 x240 -x241 x242 -x243 x244 -x245 -x246 -x247 -x248 x249 x250 -x251 -x252 x253 -x254 -x255 x256 x257 -x258 -x259 -x260 x261 x262 x263 x264 -x265 x266 x267 -x268 x269 x270 -x271 -x272 x273 -x274 x275 -x276 x277 x278 x279 x280 x281 x282 -x283 x284 x285 -x286 -x287 x288 x289 x290 -x291 -x292 x293 x294 x295 -x296 -x297 -x298 x299 x300 x301 -x302 -x303 x304 x305 -x306 -x307 x308 x309 x310 x311 -x312 -x313 x314 -x315 -x316 x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 3600.22/3449.50 c objective function=220 3600.22/3449.50 c Total wall clock time (in seconds): 3449.361
OK 220
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: 63665 MiB (55427 MiB free)
memory of node 1: 64507 MiB (57106 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489193-1751343390/watcher-4489193-1751343390 -o /tmp/evaluation-result-4489193-1751343390/solver-4489193-1751343390 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751336155-49843 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4489193-1751343390 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4489193-1751343390.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=52039, runsolver pid=52036
[startup+0.10006 s]*
/proc/loadavg: 4.33 4.26 4.27 6/346 52057
/proc/meminfo: memFree=115199132/131250000 swapFree=33010416/33010684
[pid=52039] ppid=52036 vsize=18930384 memory=55428 CPUtime=0.11 cores=1,3
/proc/52039/stat : 52039 (java) S 52036 52039 49831 0 -1 4194304 6483 0 0 0 9 2 0 0 20 0 18 0 50016861 19384713216 13857 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
/proc/52039/statm: 4732596 13857 5335 1 0 547569 0
[pid=52039/tid=52041] ppid=52036 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=1,3
/proc/52039/task/52041/stat : 52041 (java) R 52036 52039 49831 0 -1 4194368 4994 0 0 0 5 1 0 0 20 0 18 0 50016863 19384713216 13857 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52050] ppid=52036 vsize=18930384 memory=237112656212 CPUtime=0 cores=1,3
/proc/52039/task/52050/stat : 52050 (Finalizer) S 52036 52039 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50016865 19384713216 13857 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52057] ppid=52036 vsize=18930384 memory=59585004336188 CPUtime=0 cores=1,3
/proc/52039/task/52057/stat : 52057 (Common-Cleaner) S 52036 52039 49831 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50016866 19384713216 13857 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55428 KiB
[startup+0.205967 s]*
/proc/loadavg: 4.33 4.26 4.27 6/346 52057
/proc/meminfo: memFree=115189464/131250000 swapFree=33010416/33010684
[pid=52039] ppid=52036 vsize=18930384 memory=64464 CPUtime=0.3 cores=1,3
/proc/52039/stat : 52039 (java) S 52036 52039 49831 0 -1 4194304 7165 0 0 0 27 3 0 0 20 0 18 0 50016861 19384713216 16116 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
/proc/52039/statm: 4732596 16116 5431 1 0 548070 0
[pid=52039/tid=52041] ppid=52036 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=1,3
/proc/52039/task/52041/stat : 52041 (java) R 52036 52039 49831 0 -1 4194368 5290 0 0 0 14 2 0 0 20 0 18 0 50016863 19384713216 16116 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52050] ppid=52036 vsize=18930384 memory=16163 CPUtime=0 cores=1,3
/proc/52039/task/52050/stat : 52050 (Finalizer) S 52036 52039 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50016865 19384713216 16116 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52057] ppid=52036 vsize=18930384 memory=58485492679654 CPUtime=0 cores=1,3
/proc/52039/task/52057/stat : 52057 (Common-Cleaner) S 52036 52039 49831 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50016866 19384713216 16116 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64464 KiB
[startup+0.305913 s]*
/proc/loadavg: 4.33 4.26 4.27 6/347 52058
/proc/meminfo: memFree=115155064/131250000 swapFree=33010416/33010684
[pid=52039] ppid=52036 vsize=18996948 memory=74992 CPUtime=0.49 cores=1,3
/proc/52039/stat : 52039 (java) S 52036 52039 49831 0 -1 4194304 8237 0 0 0 45 4 0 0 20 0 19 0 50016861 19452874752 18748 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
/proc/52039/statm: 4749237 18748 5463 1 0 548732 0
[pid=52039/tid=52041] ppid=52036 vsize=18996948 memory=-6000919481330330218 CPUtime=0.25 cores=1,3
/proc/52039/task/52041/stat : 52041 (java) R 52036 52039 49831 0 -1 4194368 5429 0 0 0 23 2 0 0 20 0 19 0 50016863 19452874752 18748 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52050] ppid=52036 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/52039/task/52050/stat : 52050 (Finalizer) S 52036 52039 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 50016865 19452874752 18748 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52057] ppid=52036 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/52039/task/52057/stat : 52057 (Common-Cleaner) S 52036 52039 49831 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 50016866 19452874752 18748 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52058] ppid=52036 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/52039/task/52058/stat : 52058 (Timer-0) S 52036 52039 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 50016884 19452874752 18748 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 74992 KiB
[startup+0.700248 s]
/proc/loadavg: 4.33 4.26 4.27 6/347 52058
/proc/meminfo: memFree=115057708/131250000 swapFree=33010416/33010684
[pid=52039] ppid=52036 vsize=19063512 memory=168748 CPUtime=1.25 cores=1,3
/proc/52039/stat : 52039 (java) S 52036 52039 49831 0 -1 4194304 12694 0 0 0 119 6 0 0 20 0 20 0 50016861 19521036288 42187 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
/proc/52039/statm: 4765878 42187 5527 1 0 551691 0
[pid=52039/tid=52041] ppid=52036 vsize=19063512 memory=18304 CPUtime=0.61 cores=1,3
/proc/52039/task/52041/stat : 52041 (java) R 52036 52039 49831 0 -1 4194368 5507 0 0 0 58 3 0 0 20 0 20 0 50016863 19521036288 42187 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52050] ppid=52036 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/52039/task/52050/stat : 52050 (Finalizer) S 52036 52039 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50016865 19521036288 42187 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52057] ppid=52036 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/52039/task/52057/stat : 52057 (Common-Cleaner) S 52036 52039 49831 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 50016866 19521036288 42187 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52058] ppid=52036 vsize=19063512 memory=4740 CPUtime=0 cores=1,3
/proc/52039/task/52058/stat : 52058 (Timer-0) S 52036 52039 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50016884 19521036288 42187 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 168748 KiB
[startup+1.50027 s]
/proc/loadavg: 4.33 4.26 4.27 6/348 52059
/proc/meminfo: memFree=114973400/131250000 swapFree=33010416/33010684
[pid=52039] ppid=52036 vsize=19063512 memory=188072 CPUtime=2.83 cores=1,3
/proc/52039/stat : 52039 (java) S 52036 52039 49831 0 -1 4194304 20481 0 0 0 275 8 0 0 20 0 20 0 50016861 19521036288 47018 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
/proc/52039/statm: 4765878 47018 5527 1 0 553244 0
[pid=52039/tid=52041] ppid=52036 vsize=19063512 memory=10496 CPUtime=1.36 cores=1,3
/proc/52039/task/52041/stat : 52041 (java) R 52036 52039 49831 0 -1 4194368 6367 0 0 0 132 4 0 0 20 0 20 0 50016863 19521036288 47018 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52050] ppid=52036 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/52039/task/52050/stat : 52050 (Finalizer) S 52036 52039 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50016865 19521036288 47018 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52057] ppid=52036 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/52039/task/52057/stat : 52057 (Common-Cleaner) S 52036 52039 49831 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 50016866 19521036288 47018 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52058] ppid=52036 vsize=19063512 memory=4740 CPUtime=0 cores=1,3
/proc/52039/task/52058/stat : 52058 (Timer-0) S 52036 52039 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50016884 19521036288 47018 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 188072 KiB
[startup+3.1058 s]
/proc/loadavg: 4.38 4.27 4.27 5/348 52059
/proc/meminfo: memFree=112832412/131250000 swapFree=33010416/33010684
[pid=52039] ppid=52036 vsize=19063512 memory=720276 CPUtime=5.34 cores=1,3
/proc/52039/stat : 52039 (java) S 52036 52039 49831 0 -1 4194304 22884 0 0 0 512 22 0 0 20 0 20 0 50016861 19521036288 180069 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
/proc/52039/statm: 4765878 180069 5527 1 0 659788 0
[pid=52039/tid=52041] ppid=52036 vsize=19063512 memory=10496 CPUtime=2.84 cores=1,3
/proc/52039/task/52041/stat : 52041 (java) R 52036 52039 49831 0 -1 4194368 7058 0 0 0 270 14 0 0 20 0 20 0 50016863 19521036288 180069 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52050] ppid=52036 vsize=19063512 memory=-6000919481330330218 CPUtime=0 cores=1,3
/proc/52039/task/52050/stat : 52050 (Finalizer) S 52036 52039 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50016865 19521036288 180069 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52057] ppid=52036 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/52039/task/52057/stat : 52057 (Common-Cleaner) S 52036 52039 49831 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 50016866 19521036288 180069 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52058] ppid=52036 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/52039/task/52058/stat : 52058 (Timer-0) S 52036 52039 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50016884 19521036288 180069 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
Current children cumulated CPU time: 5.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 720276 KiB
[startup+6.30022 s]
/proc/loadavg: 4.38 4.27 4.27 6/348 52059
/proc/meminfo: memFree=111805896/131250000 swapFree=33010416/33010684
[pid=52039] ppid=52036 vsize=19063512 memory=1513176 CPUtime=8.8 cores=1,3
/proc/52039/stat : 52039 (java) S 52036 52039 49831 0 -1 4194304 24401 0 0 0 837 43 0 0 20 0 20 0 50016861 19521036288 378294 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
/proc/52039/statm: 4765878 378294 5527 1 0 1025349 0
[pid=52039/tid=52041] ppid=52036 vsize=19063512 memory=0 CPUtime=5.87 cores=1,3
/proc/52039/task/52041/stat : 52041 (java) R 52036 52039 49831 0 -1 4194368 7386 0 0 0 555 32 0 0 20 0 20 0 50016863 19521036288 378294 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52050] ppid=52036 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/52039/task/52050/stat : 52050 (Finalizer) S 52036 52039 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50016865 19521036288 378294 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52057] ppid=52036 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/52039/task/52057/stat : 52057 (Common-Cleaner) S 52036 52039 49831 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 50016866 19521036288 378294 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52058] ppid=52036 vsize=19063512 memory=192260 CPUtime=0 cores=1,3
/proc/52039/task/52058/stat : 52058 (Timer-0) S 52036 52039 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50016884 19521036288 378294 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
Current children cumulated CPU time: 8.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1513176 KiB
[startup+12.7002 s]
/proc/loadavg: 4.32 4.26 4.27 5/348 52059
/proc/meminfo: memFree=108805188/131250000 swapFree=33010416/33010684
[pid=52039] ppid=52036 vsize=19063512 memory=3406428 CPUtime=15.41 cores=1,3
/proc/52039/stat : 52039 (java) S 52036 52039 49831 0 -1 4194304 26139 0 0 0 1451 90 0 0 20 0 20 0 50016861 19521036288 851607 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
/proc/52039/statm: 4765878 851607 5527 1 0 1284393 0
[pid=52039/tid=52041] ppid=52036 vsize=19063512 memory=192260 CPUtime=11.97 cores=1,3
/proc/52039/task/52041/stat : 52041 (java) R 52036 52039 49831 0 -1 4194368 8266 0 0 0 1122 75 0 0 20 0 20 0 50016863 19521036288 851607 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52050] ppid=52036 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/52039/task/52050/stat : 52050 (Finalizer) S 52036 52039 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50016865 19521036288 851607 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52057] ppid=52036 vsize=19063512 memory=3406428 CPUtime=0 cores=1,3
/proc/52039/task/52057/stat : 52057 (Common-Cleaner) S 52036 52039 49831 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 50016866 19521036288 851607 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52058] ppid=52036 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/52039/task/52058/stat : 52058 (Timer-0) S 52036 52039 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50016884 19521036288 851607 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
Current children cumulated CPU time: 15.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3406428 KiB
[startup+25.5002 s]
/proc/loadavg: 4.27 4.25 4.26 5/348 52060
/proc/meminfo: memFree=107060888/131250000 swapFree=33010416/33010684
[pid=52039] ppid=52036 vsize=19063512 memory=3519372 CPUtime=28.52 cores=1,3
/proc/52039/stat : 52039 (java) S 52036 52039 49831 0 -1 4194304 28182 0 0 0 2741 111 0 0 20 0 20 0 50016861 19521036288 879843 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
/proc/52039/statm: 4765878 879843 5527 1 0 1284397 0
[pid=52039/tid=52041] ppid=52036 vsize=19063512 memory=10496 CPUtime=24.41 cores=1,3
/proc/52039/task/52041/stat : 52041 (java) R 52036 52039 49831 0 -1 4194368 9898 0 0 0 2347 94 0 0 20 0 20 0 50016863 19521036288 879843 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52050] ppid=52036 vsize=19063512 memory=3406428 CPUtime=0 cores=1,3
/proc/52039/task/52050/stat : 52050 (Finalizer) S 52036 52039 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50016865 19521036288 879843 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52057] ppid=52036 vsize=19063512 memory=3104 CPUtime=0 cores=1,3
/proc/52039/task/52057/stat : 52057 (Common-Cleaner) S 52036 52039 49831 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 50016866 19521036288 879843 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52058] ppid=52036 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/52039/task/52058/stat : 52058 (Timer-0) S 52036 52039 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50016884 19521036288 879843 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
Current children cumulated CPU time: 28.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3519372 KiB
[startup+51.1059 s]
/proc/loadavg: 4.18 4.23 4.26 5/348 52060
/proc/meminfo: memFree=104242152/131250000 swapFree=33010416/33010684
[pid=52039] ppid=52036 vsize=19063512 memory=4344664 CPUtime=54.81 cores=1,3
/proc/52039/stat : 52039 (java) S 52036 52039 49831 0 -1 4194304 33836 0 0 0 5321 160 0 0 20 0 20 0 50016861 19521036288 1086166 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
/proc/52039/statm: 4765878 1086166 5559 1 0 1397195 0
[pid=52039/tid=52041] ppid=52036 vsize=19063512 memory=4344664 CPUtime=49.18 cores=1,3
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.28 4.40 4.43 5/346 52237
/proc/meminfo: memFree=1574436/131250000 swapFree=33010416/33010684
[pid=52039] ppid=52036 vsize=19063512 memory=4047532 CPUtime=3230.31 cores=1,3
/proc/52039/stat : 52039 (java) S 52036 52039 49831 0 -1 4194304 1131615 0 0 0 319536 3495 0 0 20 0 20 0 50016861 19521036288 1011883 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
/proc/52039/statm: 4765878 1011883 5559 1 0 1024884 0
[pid=52039/tid=52041] ppid=52036 vsize=19063512 memory=4047532 CPUtime=3014.93 cores=1,3
/proc/52039/task/52041/stat : 52041 (java) R 52036 52039 49831 0 -1 4194368 980843 0 0 0 298203 3290 0 0 20 0 20 0 50016863 19521036288 1011883 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52050] ppid=52036 vsize=19063512 memory=4047532 CPUtime=0 cores=1,3
/proc/52039/task/52050/stat : 52050 (Finalizer) S 52036 52039 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50016865 19521036288 1011883 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52057] ppid=52036 vsize=19063512 memory=4047532 CPUtime=0 cores=1,3
/proc/52039/task/52057/stat : 52057 (Common-Cleaner) S 52036 52039 49831 0 -1 4194368 1888 0 0 0 0 0 0 0 20 0 20 0 50016866 19521036288 1011883 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52058] ppid=52036 vsize=19063512 memory=16360 CPUtime=0 cores=1,3
/proc/52039/task/52058/stat : 52058 (Timer-0) S 52036 52039 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50016884 19521036288 1011883 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
Current children cumulated CPU time: 3230.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4047532 KiB
[startup+3162.3 s]
/proc/loadavg: 4.32 4.39 4.43 5/346 52240
/proc/meminfo: memFree=972324/131250000 swapFree=33010416/33010684
[pid=52039] ppid=52036 vsize=19063512 memory=4539336 CPUtime=3294.14 cores=1,3
/proc/52039/stat : 52039 (java) S 52036 52039 49831 0 -1 4194304 1258174 0 0 0 325843 3571 0 0 20 0 20 0 50016861 19521036288 1134834 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
/proc/52039/statm: 4765878 1134834 5559 1 0 1148076 0
[pid=52039/tid=52041] ppid=52036 vsize=19063512 memory=4047532 CPUtime=3072.95 cores=1,3
/proc/52039/task/52041/stat : 52041 (java) R 52036 52039 49831 0 -1 4194368 1104406 0 0 0 303935 3360 0 0 20 0 20 0 50016863 19521036288 1134834 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52050] ppid=52036 vsize=19063512 memory=4047532 CPUtime=0 cores=1,3
/proc/52039/task/52050/stat : 52050 (Finalizer) S 52036 52039 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50016865 19521036288 1134834 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52057] ppid=52036 vsize=19063512 memory=4539336 CPUtime=0 cores=1,3
/proc/52039/task/52057/stat : 52057 (Common-Cleaner) S 52036 52039 49831 0 -1 4194368 1945 0 0 0 0 0 0 0 20 0 20 0 50016866 19521036288 1134834 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52058] ppid=52036 vsize=19063512 memory=4047532 CPUtime=0 cores=1,3
/proc/52039/task/52058/stat : 52058 (Timer-0) S 52036 52039 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50016884 19521036288 1134834 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
Current children cumulated CPU time: 3294.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4539336 KiB
[startup+3222.3 s]
/proc/loadavg: 4.71 4.47 4.46 5/347 52245
/proc/meminfo: memFree=765572/131250000 swapFree=33010416/33010684
[pid=52039] ppid=52036 vsize=19063512 memory=4031028 CPUtime=3359.18 cores=1,3
/proc/52039/stat : 52039 (java) S 52036 52039 49831 0 -1 4194304 1415557 0 0 0 332281 3637 0 0 20 0 20 0 50016861 19521036288 1007757 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
/proc/52039/statm: 4765878 1007757 5559 1 0 1020708 0
[pid=52039/tid=52041] ppid=52036 vsize=19063512 memory=4047532 CPUtime=3130.63 cores=1,3
/proc/52039/task/52041/stat : 52041 (java) R 52036 52039 49831 0 -1 4194368 1256948 0 0 0 309644 3419 0 0 20 0 20 0 50016863 19521036288 1007757 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52050] ppid=52036 vsize=19063512 memory=4031028 CPUtime=0 cores=1,3
/proc/52039/task/52050/stat : 52050 (Finalizer) S 52036 52039 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50016865 19521036288 1007757 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52057] ppid=52036 vsize=19063512 memory=4031028 CPUtime=0 cores=1,3
/proc/52039/task/52057/stat : 52057 (Common-Cleaner) S 52036 52039 49831 0 -1 4194368 2000 0 0 0 0 0 0 0 20 0 20 0 50016866 19521036288 1007757 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52058] ppid=52036 vsize=19063512 memory=4031028 CPUtime=0 cores=1,3
/proc/52039/task/52058/stat : 52058 (Timer-0) S 52036 52039 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50016884 19521036288 1007757 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
Current children cumulated CPU time: 3359.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4031028 KiB
[startup+3282.3 s]
/proc/loadavg: 4.70 4.51 4.47 7/346 52251
/proc/meminfo: memFree=840276/131250000 swapFree=33010416/33010684
[pid=52039] ppid=52036 vsize=19063512 memory=4515172 CPUtime=3422.08 cores=1,3
/proc/52039/stat : 52039 (java) S 52036 52039 49831 0 -1 4194304 1474326 0 0 0 338503 3705 0 0 20 0 20 0 50016861 19521036288 1128793 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
/proc/52039/statm: 4765878 1128793 5559 1 0 1143900 0
[pid=52039/tid=52041] ppid=52036 vsize=19063512 memory=4515172 CPUtime=3188.38 cores=1,3
/proc/52039/task/52041/stat : 52041 (java) R 52036 52039 49831 0 -1 4194368 1315187 0 0 0 315354 3484 0 0 20 0 20 0 50016863 19521036288 1128793 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52050] ppid=52036 vsize=19063512 memory=4515172 CPUtime=0 cores=1,3
/proc/52039/task/52050/stat : 52050 (Finalizer) S 52036 52039 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50016865 19521036288 1128793 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52057] ppid=52036 vsize=19063512 memory=16360 CPUtime=0 cores=1,3
/proc/52039/task/52057/stat : 52057 (Common-Cleaner) S 52036 52039 49831 0 -1 4194368 2000 0 0 0 0 0 0 0 20 0 20 0 50016866 19521036288 1128793 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52058] ppid=52036 vsize=19063512 memory=4031028 CPUtime=0 cores=1,3
/proc/52039/task/52058/stat : 52058 (Timer-0) S 52036 52039 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50016884 19521036288 1128793 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
Current children cumulated CPU time: 3422.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4515172 KiB
[startup+3342.3 s]
/proc/loadavg: 3.91 4.33 4.41 4/299 52317
/proc/meminfo: memFree=51682428/131250000 swapFree=33010416/33010684
[pid=52039] ppid=52036 vsize=19063512 memory=6041252 CPUtime=3485.1 cores=1,3
/proc/52039/stat : 52039 (java) S 52036 52039 49831 0 -1 4194304 1702590 0 0 0 344697 3813 0 0 20 0 20 0 50016861 19521036288 1510313 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
/proc/52039/statm: 4765878 1510313 5559 1 0 1530180 0
[pid=52039/tid=52041] ppid=52036 vsize=19063512 memory=5748300 CPUtime=3246.56 cores=1,3
/proc/52039/task/52041/stat : 52041 (java) R 52036 52039 49831 0 -1 4194368 1533014 0 0 0 321068 3588 0 0 20 0 20 0 50016863 19521036288 1510313 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52050] ppid=52036 vsize=19063512 memory=6041252 CPUtime=0 cores=1,3
/proc/52039/task/52050/stat : 52050 (Finalizer) S 52036 52039 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50016865 19521036288 1510313 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52057] ppid=52036 vsize=19063512 memory=-6000919481330330218 CPUtime=0 cores=1,3
/proc/52039/task/52057/stat : 52057 (Common-Cleaner) S 52036 52039 49831 0 -1 4194368 2000 0 0 0 0 0 0 0 20 0 20 0 50016866 19521036288 1510313 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52058] ppid=52036 vsize=19063512 memory=16360 CPUtime=0 cores=1,3
/proc/52039/task/52058/stat : 52058 (Timer-0) S 52036 52039 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50016884 19521036288 1510313 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
Current children cumulated CPU time: 3485.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6041252 KiB
[startup+3402.3 s]
/proc/loadavg: 2.35 3.83 4.23 2/273 52357
/proc/meminfo: memFree=93429780/131250000 swapFree=33010416/33010684
[pid=52039] ppid=52036 vsize=19063512 memory=5998156 CPUtime=3549.3 cores=1,3
/proc/52039/stat : 52039 (java) S 52036 52039 49831 0 -1 4194304 1908995 0 0 0 351048 3882 0 0 20 0 20 0 50016861 19521036288 1499539 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
/proc/52039/statm: 4765878 1499539 5559 1 0 1513476 0
[pid=52039/tid=52041] ppid=52036 vsize=19063512 memory=10496 CPUtime=3304.66 cores=1,3
/proc/52039/task/52041/stat : 52041 (java) R 52036 52039 49831 0 -1 4194368 1733761 0 0 0 326813 3653 0 0 20 0 20 0 50016863 19521036288 1499539 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52050] ppid=52036 vsize=19063512 memory=6041252 CPUtime=0 cores=1,3
/proc/52039/task/52050/stat : 52050 (Finalizer) S 52036 52039 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50016865 19521036288 1499539 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52057] ppid=52036 vsize=19063512 memory=16360 CPUtime=0 cores=1,3
/proc/52039/task/52057/stat : 52057 (Common-Cleaner) S 52036 52039 49831 0 -1 4194368 2031 0 0 0 0 0 0 0 20 0 20 0 50016866 19521036288 1499539 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52058] ppid=52036 vsize=19063512 memory=5998156 CPUtime=0 cores=1,3
/proc/52039/task/52058/stat : 52058 (Timer-0) S 52036 52039 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50016884 19521036288 1499539 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
Current children cumulated CPU time: 3549.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5998156 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3449.4 s]
/proc/loadavg: 1.69 3.42 4.07 2/274 52360
/proc/meminfo: memFree=93091164/131250000 swapFree=33010416/33010684
[pid=52039] ppid=52036 vsize=19063512 memory=5948324 CPUtime=3600.02 cores=1,3
/proc/52039/stat : 52039 (java) S 52036 52039 49831 0 -1 4194304 1913183 0 0 0 356075 3927 0 0 20 0 20 0 50016861 19521036288 1487081 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
/proc/52039/statm: 4765878 1487081 5559 1 0 1500948 0
[pid=52039/tid=52041] ppid=52036 vsize=19063512 memory=-6000919481330330218 CPUtime=3349.9 cores=1,3
/proc/52039/task/52041/stat : 52041 (java) R 52036 52039 49831 0 -1 4194368 1736326 0 0 0 331295 3695 0 0 20 0 20 0 50016863 19521036288 1487081 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52050] ppid=52036 vsize=19063512 memory=26268 CPUtime=0 cores=1,3
/proc/52039/task/52050/stat : 52050 (Finalizer) S 52036 52039 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50016865 19521036288 1487081 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52057] ppid=52036 vsize=19063512 memory=6964 CPUtime=0 cores=1,3
/proc/52039/task/52057/stat : 52057 (Common-Cleaner) S 52036 52039 49831 0 -1 4194368 2062 0 0 0 0 0 0 0 20 0 20 0 50016866 19521036288 1487081 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52058] ppid=52036 vsize=19063512 memory=5728 CPUtime=0 cores=1,3
/proc/52039/task/52058/stat : 52058 (Timer-0) S 52036 52039 49831 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50016884 19521036288 1487081 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5948324 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3449.58 s]
# the end of solver process 52039 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3560.96 s, system=39.3297 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3449.5 s]
/proc/loadavg: 1.69 3.42 4.07 2/274 52360
/proc/meminfo: memFree=93091164/131250000 swapFree=33010416/33010684
[pid=52039] ppid=52036 vsize=19263204 memory=5948836 CPUtime=3600.22 cores=1,3
/proc/52039/stat : 52039 (java) S 52036 52039 49831 0 -1 4194304 1914619 0 0 0 356095 3927 0 0 20 0 21 0 50016861 19725520896 1487209 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
/proc/52039/statm: 4815801 1487209 5559 1 0 1501917 0
[pid=52039/tid=52041] ppid=52036 vsize=19263204 memory=5998156 CPUtime=3349.99 cores=1,3
/proc/52039/task/52041/stat : 52041 (java) R 52036 52039 49831 0 -1 4194368 1736447 0 0 0 331304 3695 0 0 20 0 21 0 50016863 19725520896 1487209 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52050] ppid=52036 vsize=19263204 memory=1920 CPUtime=0 cores=1,3
/proc/52039/task/52050/stat : 52050 (Finalizer) S 52036 52039 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 50016865 19725520896 1487209 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
[pid=52039/tid=52057] ppid=52036 vsize=19263204 memory=5948324 CPUtime=0 cores=1,3
/proc/52039/task/52057/stat : 52057 (Common-Cleaner) S 52036 52039 49831 0 -1 4194368 2062 0 0 0 0 0 0 0 20 0 21 0 50016866 19725520896 1487209 18446744073709551615 94128257941504 94128257945200 140735615628480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94128257953016 94128257953808 94128263876608 140735615637808 140735615637990 140735615637990 140735615643592 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 5948836 KiB
Child status: 143
Real time (s): 3449.58
CPU time (s): 3600.29
CPU user time (s): 3560.96
CPU system time (s): 39.3297
CPU usage (%): 104.369
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 9253832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.96
system time used= 39.3297
maximum resident set size= 9253832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1914764
page faults= 0
swaps= 0
block input operations= 40
block output operations= 73630096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136124
involuntary context switches= 21826
# summary of solver processes directly reported to runsolver:
# pid: 52039
# total CPU time (s): 3600.29
# total CPU user time (s): 3560.96
# total CPU system time (s): 39.3297
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.9885 second user time and 15.9782 second system time
The end
Begin job on nodeC018 at 2025-07-01 06:16:30 IDJOB=4489193 IDBENCH=147542 IDSOLVER=3364 FILE ID=nodeC018/4489193-1751343390 RUNJOBID= nodeC018-1751336155-49843 SLURM_JOB_ID= 9594383 Free space on /tmp= 432932 MiB SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489193-1751343390/watcher-4489193-1751343390 -o /tmp/evaluation-result-4489193-1751343390/solver-4489193-1751343390 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751336155-49843 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4489193-1751343390 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4489193-1751343390.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8940813d27fb075f4739eb458e093f9a RANDOM SEED=925250988 nodeC018 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.813 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.66 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.858 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.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.971 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.66 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 : 3599.132 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.66 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.827 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.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.827 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.66 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 : 3536.385 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.66 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 : 3446.055 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.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 115237668 kB MemAvailable: 118245852 kB Buffers: 2128 kB Cached: 3808800 kB SwapCached: 32 kB Active: 11821748 kB Inactive: 3487108 kB Active(anon): 11502624 kB Inactive(anon): 13500 kB Active(file): 319124 kB Inactive(file): 3473608 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 2554060 kB Writeback: 0 kB AnonPages: 11500844 kB Mapped: 123672 kB Shmem: 18044 kB KReclaimable: 108980 kB Slab: 277204 kB SReclaimable: 108980 kB SUnreclaim: 168224 kB KernelStack: 5308 kB PageTables: 26028 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 14713860 kB VmallocTotal: 34359738367 kB VmallocUsed: 151528 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 11278336 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: 201428 kB DirectMap2M: 7958528 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432932 MiB End job on nodeC018 at 2025-07-01 07:14:00