Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2024 2024-07-07 | SAT (TO) | 220 | 3600.35 | 3513.73 |
| 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 | 3558.01 |
| 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version CUSTOM.v20240707 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 4.18.0-301.1.el8.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.12/0.10 c Number of processors 2 0.12/0.13 --- Begin Solver configuration --- 0.12/0.13 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3 0.12/0.13 Learn all clauses as in MiniSAT 0.12/0.13 LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.13 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.13 Expensive reason simplification 0.12/0.13 Glucose 2.1 dynamic restart strategy 0.12/0.13 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.13 timeout=2147483s 0.12/0.13 DB Simplification allowed=false 0.12/0.13 Listener: none 0.12/0.13 --- End Solver configuration --- 0.12/0.13 c Pseudo Boolean Optimization by upper bound 0.12/0.13 c --- Begin Solver configuration --- 0.12/0.13 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3 0.12/0.13 c Learn all clauses as in MiniSAT 0.12/0.13 c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.13 c Expensive reason simplification 0.12/0.13 c Glucose 2.1 dynamic restart strategy 0.12/0.13 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.13 c timeout=2147483s 0.12/0.13 c DB Simplification allowed=false 0.12/0.13 c Listener: none 0.12/0.13 c --- End Solver configuration --- 0.12/0.13 c solving HOME/instance-4440289-1721769320.opb 0.12/0.13 c reading problem ... 0.12/0.14 c using VERIPB proof format 0.12/0.14 c objective function found 0.12/0.18 c ... done. Wall clock time 0.045s. 0.12/0.18 c declared #vars 467 0.12/0.18 c #constraints 466 0.12/0.18 c constraints type 0.12/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 466 0.12/0.18 c 466 constraints processed. 0.12/0.19 c objective function length is 467 literals 0.12/0.21 c SATISFIABLE 0.12/0.21 c OPTIMIZING... 0.12/0.21 c Got one! Elapsed wall clock time (in seconds):0.066 0.12/0.21 o 223 0.50/0.31 c Got one! Elapsed wall clock time (in seconds):0.178 0.50/0.31 o 222 1.85/1.05 c Got one! Elapsed wall clock time (in seconds):0.912 1.85/1.05 o 221 2.65/1.45 c cleaning 2606 clauses out of 5222 with flag 4296/5222 4.23/2.30 c cleaning 4303 clauses out of 8616 with flag 16807/11222 5.47/3.05 c cleaning 5650 clauses out of 11314 with flag 31360/18223 6.24/3.80 c cleaning 6823 clauses out of 13664 with flag 47877/26223 7.41/4.78 c cleaning 7916 clauses out of 15842 with flag 66566/35224 8.43/5.72 c cleaning 8958 clauses out of 17925 with flag 87241/45223 9.51/6.79 c cleaning 9976 clauses out of 19968 with flag 110080/56224 10.71/7.96 c cleaning 10988 clauses out of 21990 with flag 135020/68222 12.16/9.32 c cleaning 11996 clauses out of 24002 with flag 162032/81222 13.63/10.71 c cleaning 12993 clauses out of 26006 with flag 191013/95222 15.19/12.21 c cleaning 14000 clauses out of 28014 with flag 222217/110223 16.85/13.87 c cleaning 14997 clauses out of 30013 with flag 255456/126222 18.79/15.62 c cleaning 15999 clauses out of 32017 with flag 290654/143223 20.72/17.49 c cleaning 17001 clauses out of 34017 with flag 327966/161222 22.92/19.55 c cleaning 17998 clauses out of 36017 with flag 367420/180223 25.20/21.70 c cleaning 19001 clauses out of 38018 with flag 408880/200222 27.39/23.95 c cleaning 20004 clauses out of 40018 with flag 452231/221223 29.77/26.25 c cleaning 20996 clauses out of 42014 with flag 497865/243223 32.07/28.53 c cleaning 21999 clauses out of 44017 with flag 545630/266222 34.70/31.48 c cleaning 22999 clauses out of 46018 with flag 595557/290222 37.78/34.33 c cleaning 23999 clauses out of 48019 with flag 647335/315222 41.00/37.41 c cleaning 25005 clauses out of 50022 with flag 702934/341224 44.19/40.55 c cleaning 26003 clauses out of 52016 with flag 759122/368223 47.83/44.05 c cleaning 26997 clauses out of 54012 with flag 817328/396222 51.56/47.65 c cleaning 28001 clauses out of 56015 with flag 877497/425222 55.42/51.47 c cleaning 28999 clauses out of 58015 with flag 939872/455223 59.48/55.58 c cleaning 29999 clauses out of 60016 with flag 1004102/486223 64.14/60.17 c cleaning 31000 clauses out of 62017 with flag 1072150/518223 68.94/66.81 c cleaning 31999 clauses out of 64016 with flag 1140554/551222 73.31/71.07 c cleaning 33001 clauses out of 66018 with flag 1210884/585223 78.04/75.70 c cleaning 33998 clauses out of 68016 with flag 1283646/620222 82.62/80.03 c cleaning 35000 clauses out of 70018 with flag 1358676/656222 87.17/84.53 c cleaning 36000 clauses out of 72019 with flag 1435919/693223 91.89/89.19 c cleaning 37002 clauses out of 74019 with flag 1514420/731223 96.79/94.57 c cleaning 37999 clauses out of 76017 with flag 1595277/770223 101.76/99.46 c cleaning 38999 clauses out of 78017 with flag 1677872/810222 106.63/104.27 c cleaning 40001 clauses out of 80018 with flag 1762417/851222 111.95/109.43 c cleaning 40998 clauses out of 82018 with flag 1849272/893223 117.63/114.73 c cleaning 41997 clauses out of 84020 with flag 1938314/936223 122.41/119.55 c cleaning 43000 clauses out of 86022 with flag 2029721/980222 127.70/125.35 c cleaning 43999 clauses out of 88023 with flag 2123234/1025223 133.08/130.68 c cleaning 45002 clauses out of 90023 with flag 2218977/1071222 139.46/136.65 c cleaning 46002 clauses out of 92021 with flag 2317155/1118222 145.65/142.63 c cleaning 46999 clauses out of 94019 with flag 2416785/1166222 151.90/148.80 c cleaning 47999 clauses out of 96020 with flag 2518362/1215222 158.07/155.64 c cleaning 49001 clauses out of 98021 with flag 2621741/1265222 165.38/162.74 c cleaning 50000 clauses out of 100020 with flag 2727025/1316222 172.34/169.55 c cleaning 50999 clauses out of 102020 with flag 2835039/1368222 178.90/176.13 c cleaning 51998 clauses out of 104022 with flag 2944389/1421223 186.74/183.87 c cleaning 53003 clauses out of 106024 with flag 3061672/1475223 194.47/192.14 c cleaning 54003 clauses out of 108021 with flag 3176112/1530223 201.85/199.48 c cleaning 55002 clauses out of 110017 with flag 3292050/1586222 209.29/206.78 c cleaning 56001 clauses out of 112015 with flag 3410578/1643222 217.05/214.49 c cleaning 56998 clauses out of 114014 with flag 3530882/1701222 224.87/222.76 c cleaning 58001 clauses out of 116016 with flag 3653517/1760222 232.79/230.47 c cleaning 58999 clauses out of 118016 with flag 3777673/1820223 240.89/238.41 c cleaning 59998 clauses out of 120016 with flag 3904586/1881222 249.68/247.90 c cleaning 60999 clauses out of 122018 with flag 4033557/1943222 258.11/256.09 c cleaning 62000 clauses out of 124020 with flag 4165222/2006223 265.74/263.51 c cleaning 63001 clauses out of 126020 with flag 4300433/2070223 274.99/272.00 c cleaning 63997 clauses out of 128018 with flag 4436110/2135222 283.98/281.44 c cleaning 64999 clauses out of 130021 with flag 4572723/2201222 293.43/290.51 c cleaning 66003 clauses out of 132023 with flag 4711048/2268223 301.87/298.91 c cleaning 66999 clauses out of 134020 with flag 4851470/2336223 312.26/309.16 c cleaning 68002 clauses out of 136021 with flag 4993962/2405223 321.69/318.56 c cleaning 68995 clauses out of 138018 with flag 5138977/2475222 331.59/328.36 c cleaning 69997 clauses out of 140024 with flag 5286244/2546223 341.49/338.36 c cleaning 71005 clauses out of 142027 with flag 5435527/2618223 352.08/348.64 c cleaning 71996 clauses out of 144022 with flag 5586829/2691223 362.75/359.11 c cleaning 73001 clauses out of 146025 with flag 5740372/2765222 373.51/369.95 c cleaning 74001 clauses out of 148025 with flag 5895169/2840223 385.49/381.64 c cleaning 75002 clauses out of 150024 with flag 6053524/2916223 396.76/392.74 c cleaning 75997 clauses out of 152021 with flag 6213807/2993222 407.29/403.57 c cleaning 77002 clauses out of 154025 with flag 6376109/3071223 418.36/414.41 c cleaning 78000 clauses out of 156022 with flag 6540260/3150222 429.04/424.93 c cleaning 79000 clauses out of 158022 with flag 6706714/3230222 440.39/436.41 c cleaning 80003 clauses out of 160023 with flag 6876551/3311223 451.06/446.98 c cleaning 80997 clauses out of 162020 with flag 7047499/3393223 462.30/457.95 c cleaning 81999 clauses out of 164023 with flag 7220631/3476223 473.70/469.56 c cleaning 82997 clauses out of 166023 with flag 7396267/3560222 485.72/481.29 c cleaning 84002 clauses out of 168026 with flag 7573216/3645222 498.07/494.33 c cleaning 84999 clauses out of 170026 with flag 7752230/3731224 510.29/506.40 c cleaning 86002 clauses out of 172026 with flag 7933543/3818223 522.51/518.53 c cleaning 87003 clauses out of 174026 with flag 8116743/3906225 535.39/532.10 c cleaning 88000 clauses out of 176021 with flag 8302361/3995223 549.03/545.40 c cleaning 89002 clauses out of 178021 with flag 8489945/4085223 562.82/559.26 c cleaning 89998 clauses out of 180019 with flag 8678907/4176223 576.98/573.20 c cleaning 91003 clauses out of 182021 with flag 8870037/4268223 590.76/587.24 c cleaning 91996 clauses out of 184018 with flag 9063446/4361223 605.48/601.02 c cleaning 93001 clauses out of 186021 with flag 9258305/4455222 619.59/615.12 c cleaning 93997 clauses out of 188021 with flag 9455826/4550223 633.81/629.09 c cleaning 94998 clauses out of 190023 with flag 9655500/4646222 648.37/643.34 c cleaning 95998 clauses out of 192026 with flag 9857070/4743223 663.13/657.89 c cleaning 96998 clauses out of 194028 with flag 10060354/4841223 678.27/672.57 c cleaning 98003 clauses out of 196029 with flag 10266521/4940222 693.37/687.74 c cleaning 98999 clauses out of 198026 with flag 10475321/5040222 709.13/703.05 c cleaning 100006 clauses out of 200028 with flag 10685943/5141223 726.71/720.44 c cleaning 100996 clauses out of 202021 with flag 10899375/5243222 742.43/735.74 c cleaning 102003 clauses out of 204025 with flag 11114562/5346222 759.08/752.62 c cleaning 103002 clauses out of 206023 with flag 11331765/5450223 774.40/767.79 c cleaning 104001 clauses out of 208020 with flag 11550273/5555222 777.95/771.52 c Got one! Elapsed wall clock time (in seconds):771.388 777.95/771.52 o 220 779.85/773.49 c cleaning 72075 clauses out of 144168 with flag 10826/5595371 780.95/774.54 c cleaning 39037 clauses out of 78093 with flag 23463/5601371 781.64/775.27 c cleaning 23016 clauses out of 46055 with flag 38091/5608370 782.46/775.98 c cleaning 15509 clauses out of 31040 with flag 54786/5616371 783.25/776.74 c cleaning 12255 clauses out of 24530 with flag 73570/5625370 784.16/777.62 c cleaning 11126 clauses out of 22275 with flag 94270/5635370 785.05/778.56 c cleaning 11065 clauses out of 22150 with flag 117030/5646371 786.04/779.57 c cleaning 11536 clauses out of 23086 with flag 142036/5658372 787.13/780.68 c cleaning 12268 clauses out of 24548 with flag 168990/5671370 788.42/781.91 c cleaning 13130 clauses out of 26281 with flag 198076/5685371 789.82/783.30 c cleaning 14062 clauses out of 28151 with flag 229143/5700371 791.21/784.77 c cleaning 15035 clauses out of 30088 with flag 262397/5716370 792.79/786.35 c cleaning 16015 clauses out of 32053 with flag 297773/5733370 794.52/788.09 c cleaning 17011 clauses out of 34038 with flag 335262/5751370 796.30/789.81 c cleaning 18004 clauses out of 36027 with flag 374719/5770370 798.18/791.71 c cleaning 19002 clauses out of 38023 with flag 416384/5790370 800.18/793.78 c cleaning 20002 clauses out of 40023 with flag 460127/5811372 802.37/795.95 c cleaning 21001 clauses out of 42019 with flag 505719/5833370 804.80/798.34 c cleaning 21999 clauses out of 44019 with flag 553423/5856371 807.18/801.15 c cleaning 23001 clauses out of 46019 with flag 603163/5880370 809.66/803.68 c cleaning 23998 clauses out of 48019 with flag 654841/5905371 812.40/806.34 c cleaning 25000 clauses out of 50022 with flag 708692/5931372 815.19/809.13 c cleaning 25999 clauses out of 52020 with flag 764628/5958370 818.30/812.27 c cleaning 26998 clauses out of 54022 with flag 822605/5986371 821.30/815.24 c cleaning 28003 clauses out of 56023 with flag 882757/6015370 824.53/818.43 c cleaning 29002 clauses out of 58021 with flag 944794/6045371 827.82/821.60 c cleaning 29998 clauses out of 60019 with flag 1008976/6076371 831.22/825.07 c cleaning 30997 clauses out of 62021 with flag 1075256/6108371 835.18/828.92 c cleaning 32002 clauses out of 64023 with flag 1143841/6141370 838.98/833.13 c cleaning 32996 clauses out of 66021 with flag 1214273/6175370 843.12/837.27 c cleaning 34006 clauses out of 68025 with flag 1287588/6210370 847.59/841.67 c cleaning 34999 clauses out of 70019 with flag 1362263/6246370 852.28/846.27 c cleaning 35998 clauses out of 72021 with flag 1439064/6283371 856.84/850.86 c cleaning 36997 clauses out of 74022 with flag 1517863/6321370 862.12/856.04 c cleaning 38003 clauses out of 76025 with flag 1598612/6360370 867.58/861.70 c cleaning 38999 clauses out of 78022 with flag 1681590/6400370 873.13/867.15 c cleaning 40004 clauses out of 80023 with flag 1766464/6441370 878.98/872.81 c cleaning 40999 clauses out of 82019 with flag 1853467/6483370 884.80/878.53 c cleaning 41996 clauses out of 84020 with flag 1942464/6526370 891.13/884.58 c cleaning 43000 clauses out of 86025 with flag 2034261/6570371 897.18/890.54 c cleaning 43996 clauses out of 88024 with flag 2127384/6615370 903.78/897.39 c cleaning 44998 clauses out of 90028 with flag 2222458/6661370 909.95/903.54 c cleaning 46007 clauses out of 92030 with flag 2320253/6708370 916.20/909.70 c cleaning 47001 clauses out of 94025 with flag 2419959/6756372 922.32/915.76 c cleaning 48002 clauses out of 96022 with flag 2521886/6805370 929.74/922.92 c cleaning 49000 clauses out of 98020 with flag 2625779/6855370 937.09/929.70 c cleaning 49997 clauses out of 100021 with flag 2732008/6906371 945.22/937.20 c cleaning 50998 clauses out of 102023 with flag 2839598/6958370 953.57/944.54 c cleaning 51997 clauses out of 104026 with flag 2948449/7011371 961.33/951.73 c cleaning 53003 clauses out of 106028 with flag 3060341/7065370 970.03/959.76 c cleaning 53998 clauses out of 108025 with flag 3174124/7120370 978.07/967.26 c cleaning 55005 clauses out of 110027 with flag 3289753/7176370 986.86/974.93 c cleaning 56004 clauses out of 112025 with flag 3407887/7233373 995.54/982.55 c cleaning 56999 clauses out of 114018 with flag 3528461/7291370 1003.74/990.46 c cleaning 58003 clauses out of 116020 with flag 3651428/7350371 1013.57/999.11 c cleaning 58998 clauses out of 118016 with flag 3775891/7410370 1022.72/1007.17 c cleaning 60000 clauses out of 120020 with flag 3902274/7471372 1032.98/1016.47 c cleaning 61001 clauses out of 122019 with flag 4030819/7533371 1042.59/1025.33 c cleaning 61997 clauses out of 124017 with flag 4161460/7596370 1052.88/1034.43 c cleaning 63001 clauses out of 126020 with flag 4300573/7660370 1062.03/1042.81 c cleaning 64000 clauses out of 128020 with flag 4435709/7725371 1072.13/1052.07 c cleaning 65000 clauses out of 130019 with flag 4572977/7791370 1082.69/1061.36 c cleaning 65994 clauses out of 132019 with flag 4712408/7858370 1092.98/1070.82 c cleaning 67002 clauses out of 134026 with flag 4854038/7926371 1103.79/1080.70 c cleaning 68005 clauses out of 136025 with flag 4997986/7995372 1115.08/1091.31 c cleaning 68997 clauses out of 138018 with flag 5143769/8065370 1125.82/1101.37 c cleaning 69998 clauses out of 140021 with flag 5291813/8136370 1137.69/1112.11 c cleaning 71001 clauses out of 142023 with flag 5442229/8208370 1149.79/1122.85 c cleaning 71999 clauses out of 144023 with flag 5594290/8281371 1161.48/1133.13 c cleaning 72997 clauses out of 146023 with flag 5748346/8355370 1173.17/1144.34 c cleaning 73998 clauses out of 148026 with flag 5904518/8430370 1185.52/1155.87 c cleaning 75000 clauses out of 150028 with flag 6062879/8506370 1198.50/1167.64 c cleaning 76003 clauses out of 152029 with flag 6223546/8583371 1211.08/1179.30 c cleaning 77005 clauses out of 154026 with flag 6386899/8661371 1222.80/1190.83 c cleaning 78002 clauses out of 156020 with flag 6552267/8740370 1236.52/1203.39 c cleaning 78998 clauses out of 158018 with flag 6719594/8820370 1250.40/1215.72 c cleaning 79999 clauses out of 160020 with flag 6888692/8901370 1263.34/1227.88 c cleaning 80999 clauses out of 162021 with flag 7060064/8983370 1276.10/1240.63 c cleaning 82002 clauses out of 164022 with flag 7233241/9066370 1289.26/1253.61 c cleaning 82999 clauses out of 166020 with flag 7408704/9150370 1302.44/1266.60 c cleaning 84004 clauses out of 168022 with flag 7586356/9235371 1315.27/1279.16 c cleaning 85000 clauses out of 170017 with flag 7766334/9321370 1328.32/1292.31 c cleaning 86002 clauses out of 172017 with flag 7948265/9408370 1341.58/1305.48 c cleaning 86993 clauses out of 174015 with flag 8132179/9496370 1354.88/1318.37 c cleaning 88003 clauses out of 176023 with flag 8317860/9585371 1368.34/1331.43 c cleaning 88998 clauses out of 178019 with flag 8505701/9675370 1381.43/1344.28 c cleaning 89998 clauses out of 180022 with flag 8695852/9766371 1395.27/1357.90 c cleaning 91002 clauses out of 182024 with flag 8888566/9858371 1410.39/1372.62 c cleaning 92001 clauses out of 184021 with flag 9081668/9951370 1425.95/1388.32 c cleaning 93000 clauses out of 186020 with flag 9276666/10045370 1441.92/1403.24 c cleaning 94002 clauses out of 188021 with flag 9474157/10140371 1456.96/1418.45 c cleaning 95000 clauses out of 190018 with flag 9673194/10236370 1472.99/1434.09 c cleaning 95999 clauses out of 192018 with flag 9875070/10333370 1490.12/1451.12 c cleaning 97000 clauses out of 194020 with flag 10079363/10431371 1507.40/1468.04 c cleaning 98000 clauses out of 196020 with flag 10286800/10530371 1523.83/1484.56 c cleaning 98997 clauses out of 198020 with flag 10495667/10630371 1542.15/1501.83 c cleaning 100001 clauses out of 200022 with flag 10705795/10731370 1560.01/1519.47 c cleaning 100996 clauses out of 202021 with flag 10917844/10833370 1577.46/1536.80 c cleaning 102007 clauses out of 204025 with flag 11132394/10936370 1595.83/1554.76 c cleaning 102999 clauses out of 206018 with flag 11348798/11040370 1614.58/1572.62 c cleaning 104001 clauses out of 208019 with flag 11566417/11145370 1632.20/1589.93 c cleaning 104996 clauses out of 210018 with flag 11787412/11251370 1650.23/1607.89 c cleaning 106003 clauses out of 212022 with flag 12011364/11358370 1667.99/1625.38 c cleaning 107001 clauses out of 214020 with flag 12235201/11466371 1688.18/1644.84 c cleaning 108001 clauses out of 216019 with flag 12461489/11575371 1705.59/1663.27 c cleaning 108999 clauses out of 218017 with flag 12689968/11685370 1726.39/1683.63 c cleaning 110002 clauses out of 220019 with flag 12919410/11796371 1744.89/1702.08 c cleaning 111000 clauses out of 222017 with flag 13151513/11908371 1765.40/1722.54 c cleaning 111999 clauses out of 224017 with flag 13385997/12021371 1785.72/1741.62 c cleaning 112999 clauses out of 226019 with flag 13622815/12135372 1803.69/1759.73 c cleaning 114001 clauses out of 228019 with flag 13861855/12250371 1823.35/1778.94 c cleaning 114998 clauses out of 230017 with flag 14103647/12366370 1843.78/1798.49 c cleaning 116002 clauses out of 232019 with flag 14346269/12483370 1863.27/1817.72 c cleaning 116997 clauses out of 234018 with flag 14591257/12601371 1883.27/1837.45 c cleaning 118006 clauses out of 236020 with flag 14837773/12720370 1905.65/1858.86 c cleaning 118997 clauses out of 238014 with flag 15086012/12840370 1926.26/1879.40 c cleaning 120000 clauses out of 240019 with flag 15337182/12961372 1946.91/1899.60 c cleaning 121000 clauses out of 242018 with flag 15590293/13083371 1971.87/1923.65 c cleaning 121999 clauses out of 244017 with flag 15844582/13206370 1995.09/1946.60 c cleaning 122999 clauses out of 246019 with flag 16100943/13330371 2020.66/1971.23 c cleaning 124002 clauses out of 248020 with flag 16361436/13455371 2044.15/1994.25 c cleaning 124993 clauses out of 250017 with flag 16624081/13581370 2069.65/2018.58 c cleaning 126004 clauses out of 252025 with flag 16887752/13708371 2093.34/2042.24 c cleaning 127001 clauses out of 254021 with flag 17153759/13836371 2117.36/2066.12 c cleaning 128001 clauses out of 256020 with flag 17422310/13965371 2144.40/2092.33 c cleaning 128998 clauses out of 258019 with flag 17691424/14095371 2171.53/2118.99 c cleaning 129997 clauses out of 260020 with flag 17962612/14226370 2198.12/2144.39 c cleaning 131001 clauses out of 262023 with flag 18236962/14358370 2224.09/2170.14 c cleaning 132001 clauses out of 264022 with flag 18512936/14491370 2248.39/2193.30 c cleaning 133001 clauses out of 266022 with flag 18791025/14625371 2276.22/2220.93 c cleaning 133998 clauses out of 268020 with flag 19070334/14760370 2303.21/2246.81 c cleaning 135000 clauses out of 270022 with flag 19351393/14896370 2327.11/2270.23 c cleaning 135999 clauses out of 272022 with flag 19636474/15033370 2353.42/2295.81 c cleaning 137000 clauses out of 274023 with flag 19922309/15171370 2375.31/2317.50 c cleaning 138000 clauses out of 276023 with flag 20209871/15310370 2403.42/2344.44 c cleaning 139001 clauses out of 278024 with flag 20500338/15450371 2431.29/2372.03 c cleaning 140004 clauses out of 280022 with flag 20794411/15591370 2456.89/2396.78 c cleaning 140994 clauses out of 282019 with flag 21089966/15733371 2484.53/2423.95 c cleaning 142003 clauses out of 284024 with flag 21386793/15876370 2515.38/2454.09 c cleaning 142999 clauses out of 286021 with flag 21684505/16020370 2542.15/2481.22 c cleaning 143997 clauses out of 288022 with flag 21984753/16165370 2566.72/2505.44 c cleaning 145003 clauses out of 290026 with flag 22287543/16311371 2597.65/2536.54 c cleaning 145995 clauses out of 292022 with flag 22592374/16458370 2626.53/2565.08 c cleaning 147002 clauses out of 294027 with flag 22900959/16606370 2657.02/2593.80 c cleaning 148002 clauses out of 296026 with flag 23211012/16755371 2685.70/2622.43 c cleaning 148996 clauses out of 298024 with flag 23521847/16905371 2714.13/2650.70 c cleaning 149997 clauses out of 300028 with flag 23834580/17056371 2744.83/2680.58 c cleaning 151002 clauses out of 302031 with flag 24150350/17208371 2773.81/2710.97 c cleaning 152002 clauses out of 304029 with flag 24466807/17361371 2800.86/2737.26 c cleaning 153001 clauses out of 306026 with flag 24785641/17515370 2831.39/2767.92 c cleaning 154002 clauses out of 308026 with flag 25106732/17670371 2859.70/2795.56 c cleaning 154997 clauses out of 310023 with flag 25429795/17826370 2889.98/2826.11 c cleaning 156005 clauses out of 312027 with flag 25755955/17983371 2925.11/2858.75 c cleaning 157000 clauses out of 314022 with flag 26082924/18141371 2957.62/2890.18 c cleaning 157999 clauses out of 316022 with flag 26411249/18300371 2990.24/2920.31 c cleaning 159002 clauses out of 318022 with flag 26742173/18460370 3022.37/2951.25 c cleaning 159999 clauses out of 320021 with flag 27075946/18621371 3055.09/2982.66 c cleaning 160998 clauses out of 322021 with flag 27410711/18783370 3087.49/3015.12 c cleaning 162003 clauses out of 324024 with flag 27750969/18946371 3121.75/3048.26 c cleaning 162998 clauses out of 326020 with flag 28091380/19110370 3154.92/3079.62 c cleaning 163994 clauses out of 328022 with flag 28432615/19275370 3187.60/3111.12 c cleaning 165003 clauses out of 330028 with flag 28776902/19441370 3225.38/3146.29 c cleaning 166004 clauses out of 332027 with flag 29122008/19608372 3259.28/3177.12 c cleaning 167003 clauses out of 334022 with flag 29471344/19776371 3293.15/3209.72 c cleaning 168003 clauses out of 336019 with flag 29822581/19945371 3329.88/3243.18 c cleaning 169001 clauses out of 338016 with flag 30173541/20115371 3363.62/3275.50 c cleaning 169996 clauses out of 340015 with flag 30527444/20286371 3392.64/3303.78 c cleaning 170998 clauses out of 342019 with flag 30884899/20458371 3425.89/3337.18 c cleaning 172000 clauses out of 344020 with flag 31243944/20631370 3460.61/3370.68 c cleaning 172997 clauses out of 346021 with flag 31605693/20805371 3494.65/3402.97 c cleaning 174003 clauses out of 348023 with flag 31969140/20980370 3530.51/3437.31 c cleaning 174999 clauses out of 350020 with flag 32335267/21156370 3564.49/3479.06 c cleaning 175998 clauses out of 352021 with flag 32702841/21333370 3596.94/3510.35 c cleaning 177000 clauses out of 354023 with flag 33072852/21511370 3600.02/3513.43 c starts : 5 3600.02/3513.43 c conflicts : 21541324 3600.02/3513.43 c decisions : 25946063 3600.02/3513.43 c propagations : 249852448 3600.02/3513.43 c inspects : 15979288318 3600.02/3513.43 c shortcuts : 0 3600.02/3513.43 c learnt literals : 0 3600.02/3513.43 c learnt binary clauses : 0 3600.02/3513.43 c learnt ternary clauses : 0 3600.02/3513.43 c learnt constraints : 21541324 3600.02/3513.43 c ignored constraints : 0 3600.02/3513.43 c root simplifications : 0 3600.02/3513.43 c removed literals (reason simplification) : 127496 3600.02/3513.43 c reason swapping (by a shorter reason) : 0 3600.02/3513.43 c Calls to reduceDB : 275 3600.02/3513.43 c Number of update (reduction) of LBD : 380419 3600.02/3513.43 c Imported unit clauses : 0 3600.02/3513.43 c No decision after first conflict : false 3600.02/3513.43 c number of reductions to clauses (during analyze) : 0 3600.02/3513.43 c number of learned constraints concerned by reduction : 0 3600.02/3513.43 c number of learning phase by resolution : 0 3600.02/3513.43 c number of learning phase by cutting planes : 0 3600.02/3513.43 c number of rounding to 1 operations : 0 3600.02/3513.43 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.02/3513.43 c number of reductions of the coefficients by power 2 : 0 3600.02/3513.43 c number of right shift for reduction by power 2 : 0 3600.02/3513.43 c number of reductions of the coefficients by GCD over coefficients : 0 3600.02/3513.43 c number of ending skipping : 0 3600.02/3513.43 c number of internal skipping : 0 3600.02/3513.43 c number of derivation steps : 0 3600.02/3513.43 c number of skipped derivation steps : 0 3600.02/3513.43 c number of remaining unassigned : 0 3600.02/3513.43 c number of remaining assigned : 0 3600.02/3513.43 c number of falsified literals weakened from reason : 0 3600.02/3513.43 c number of falsified literals weakened from conflict : 0 3600.02/3513.43 c time for arithmetic operations : 0 3600.02/3513.43 c minimum degree of deleted constraints : null 3600.02/3513.43 c maximum degree of deleted constraints : null 3600.02/3513.43 c number of deleted constraints : 0 3600.02/3513.43 c speed (assignments/second) : 71117.81189843274 3600.02/3513.43 c non guided choices : 0 3600.23/3513.51 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 206977 3600.23/3513.51 s SATISFIABLE 3600.23/3513.51 c Found 4 solution(s) 3600.23/3513.51 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.23/3513.52 c objective function=220 3600.23/3513.52 c Total wall clock time (in seconds): 3513.387
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: 63931 MiB (40121 MiB free)
memory of node 1: 64510 MiB (43842 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440289-1721769320/watcher-4440289-1721769320 -o /tmp/evaluation-result-4440289-1721769320/solver-4440289-1721769320 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721765707-124432 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440289-1721769320 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440289-1721769320.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=126550, runsolver pid=126547
[startup+0.100742 s]*
/proc/loadavg: 4.44 4.25 4.19 7/335 126568
/proc/meminfo: memFree=85945096/131524600 swapFree=131071216/131071996
[pid=126550] ppid=126547 vsize=18975048 memory=62236 CPUtime=0.12 cores=5,7
/proc/126550/stat : 126550 (java) S 126547 126550 124419 0 -1 1077936128 7154 0 0 0 10 2 0 0 20 0 18 0 13456193 19430449152 15559 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
/proc/126550/statm: 4743762 15559 5545 1 0 549294 0
[pid=126550/tid=126552] ppid=126547 vsize=18975048 memory=4026561586 CPUtime=0.07 cores=5,7
/proc/126550/task/126552/stat : 126552 (java) R 126547 126550 124419 0 -1 4194368 5706 0 0 0 6 1 0 0 20 0 18 0 13456193 19430449152 15559 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126561] ppid=126547 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/126550/task/126561/stat : 126561 (Finalizer) S 126547 126550 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13456197 19430449152 15559 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126568] ppid=126547 vsize=18975048 memory=16104770973501427 CPUtime=0 cores=5,7
/proc/126550/task/126568/stat : 126568 (Common-Cleaner) S 126547 126550 124419 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 13456197 19430449152 15559 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62236 KiB
[startup+0.214442 s]*
/proc/loadavg: 4.44 4.25 4.19 7/336 126569
/proc/meminfo: memFree=85931128/131524600 swapFree=131071216/131071996
[pid=126550] ppid=126547 vsize=19041612 memory=71980 CPUtime=0.33 cores=5,7
/proc/126550/stat : 126550 (java) S 126547 126550 124419 0 -1 1077936128 7790 0 0 0 30 3 0 0 20 0 19 0 13456193 19498610688 17995 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
/proc/126550/statm: 4760403 17995 5847 1 0 549983 0
[pid=126550/tid=126552] ppid=126547 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/126550/task/126552/stat : 126552 (java) R 126547 126550 124419 0 -1 4194368 6065 0 0 0 16 2 0 0 20 0 19 0 13456193 19498610688 17995 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126561] ppid=126547 vsize=19041612 memory=829208 CPUtime=0 cores=5,7
/proc/126550/task/126561/stat : 126561 (Finalizer) S 126547 126550 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13456197 19498610688 17995 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126568] ppid=126547 vsize=19041612 memory=14135541352367841 CPUtime=0 cores=5,7
/proc/126550/task/126568/stat : 126568 (Common-Cleaner) S 126547 126550 124419 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 13456197 19498610688 17995 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126569] ppid=126547 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/126550/task/126569/stat : 126569 (Timer-0) S 126547 126550 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13456213 19498610688 17995 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 71980 KiB
[startup+0.306441 s]*
/proc/loadavg: 4.44 4.25 4.19 9/336 126570
/proc/meminfo: memFree=85911128/131524600 swapFree=131071216/131071996
[pid=126550] ppid=126547 vsize=19041612 memory=88736 CPUtime=0.5 cores=5,7
/proc/126550/stat : 126550 (java) S 126547 126550 124419 0 -1 1077936128 9196 0 0 0 47 3 0 0 20 0 19 0 13456193 19498610688 22184 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
/proc/126550/statm: 4760403 22184 5847 1 0 550993 0
[pid=126550/tid=126552] ppid=126547 vsize=19041612 memory=-8672074048057680572 CPUtime=0.26 cores=5,7
/proc/126550/task/126552/stat : 126552 (java) R 126547 126550 124419 0 -1 4194368 6093 0 0 0 24 2 0 0 20 0 19 0 13456193 19498610688 22184 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126561] ppid=126547 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/126550/task/126561/stat : 126561 (Finalizer) S 126547 126550 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13456197 19498610688 22184 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126568] ppid=126547 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/126550/task/126568/stat : 126568 (Common-Cleaner) S 126547 126550 124419 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 13456197 19498610688 22184 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126569] ppid=126547 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/126550/task/126569/stat : 126569 (Timer-0) S 126547 126550 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13456213 19498610688 22184 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 88736 KiB
[startup+0.700255 s]
/proc/loadavg: 4.44 4.25 4.19 6/336 126570
/proc/meminfo: memFree=85850152/131524600 swapFree=131071216/131071996
[pid=126550] ppid=126547 vsize=19108176 memory=173292 CPUtime=1.24 cores=5,7
/proc/126550/stat : 126550 (java) S 126547 126550 124419 0 -1 1077936128 11584 0 0 0 119 5 0 0 20 0 20 0 13456193 19566772224 43323 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
/proc/126550/statm: 4777044 43323 5900 1 0 552746 0
[pid=126550/tid=126552] ppid=126547 vsize=19108176 memory=43816 CPUtime=0.6 cores=5,7
/proc/126550/task/126552/stat : 126552 (java) R 126547 126550 124419 0 -1 4194368 6134 0 0 0 56 4 0 0 20 0 20 0 13456193 19566772224 43323 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126561] ppid=126547 vsize=19108176 memory=12256 CPUtime=0 cores=5,7
/proc/126550/task/126561/stat : 126561 (Finalizer) S 126547 126550 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13456197 19566772224 43323 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126568] ppid=126547 vsize=19108176 memory=2236 CPUtime=0 cores=5,7
/proc/126550/task/126568/stat : 126568 (Common-Cleaner) S 126547 126550 124419 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13456197 19566772224 43323 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126569] ppid=126547 vsize=19108176 memory=25868 CPUtime=0 cores=5,7
/proc/126550/task/126569/stat : 126569 (Timer-0) S 126547 126550 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13456213 19566772224 43323 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 173292 KiB
[startup+1.50045 s]
/proc/loadavg: 4.44 4.25 4.19 6/337 126571
/proc/meminfo: memFree=85799688/131524600 swapFree=131071216/131071996
[pid=126550] ppid=126547 vsize=19108176 memory=192720 CPUtime=2.84 cores=5,7
/proc/126550/stat : 126550 (java) S 126547 126550 124419 0 -1 1077936128 14770 0 0 0 277 7 0 0 20 0 20 0 13456193 19566772224 48180 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
/proc/126550/statm: 4777044 48180 5900 1 0 554406 0
[pid=126550/tid=126552] ppid=126547 vsize=19108176 memory=12256 CPUtime=1.34 cores=5,7
/proc/126550/task/126552/stat : 126552 (java) R 126547 126550 124419 0 -1 4194368 6194 0 0 0 129 5 0 0 20 0 20 0 13456193 19566772224 48180 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126561] ppid=126547 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/126550/task/126561/stat : 126561 (Finalizer) S 126547 126550 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13456197 19566772224 48180 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126568] ppid=126547 vsize=19108176 memory=2236 CPUtime=0 cores=5,7
/proc/126550/task/126568/stat : 126568 (Common-Cleaner) S 126547 126550 124419 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13456197 19566772224 48180 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126569] ppid=126547 vsize=19108176 memory=25868 CPUtime=0 cores=5,7
/proc/126550/task/126569/stat : 126569 (Timer-0) S 126547 126550 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13456213 19566772224 48180 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 192720 KiB
[startup+3.10646 s]
/proc/loadavg: 4.44 4.25 4.19 6/337 126571
/proc/meminfo: memFree=85121596/131524600 swapFree=131071216/131071996
[pid=126550] ppid=126547 vsize=19108176 memory=771064 CPUtime=5.63 cores=5,7
/proc/126550/stat : 126550 (java) S 126547 126550 124419 0 -1 1077936128 16089 0 0 0 542 21 0 0 20 0 20 0 13456193 19566772224 192766 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
/proc/126550/statm: 4777044 192766 5900 1 0 736188 0
[pid=126550/tid=126552] ppid=126547 vsize=19108176 memory=0 CPUtime=2.84 cores=5,7
/proc/126550/task/126552/stat : 126552 (java) R 126547 126550 124419 0 -1 4194368 6458 0 0 0 268 16 0 0 20 0 20 0 13456193 19566772224 192766 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126561] ppid=126547 vsize=19108176 memory=-8672074048057680572 CPUtime=0 cores=5,7
/proc/126550/task/126561/stat : 126561 (Finalizer) S 126547 126550 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13456197 19566772224 192766 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126568] ppid=126547 vsize=19108176 memory=12256 CPUtime=0 cores=5,7
/proc/126550/task/126568/stat : 126568 (Common-Cleaner) S 126547 126550 124419 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13456197 19566772224 192766 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126569] ppid=126547 vsize=19108176 memory=2236 CPUtime=0 cores=5,7
/proc/126550/task/126569/stat : 126569 (Timer-0) S 126547 126550 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13456213 19566772224 192766 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
Current children cumulated CPU time: 5.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 771064 KiB
[startup+6.30028 s]
/proc/loadavg: 4.40 4.25 4.19 4/312 126600
/proc/meminfo: memFree=86586452/131524600 swapFree=131071216/131071996
[pid=126550] ppid=126547 vsize=19108176 memory=1584144 CPUtime=9.11 cores=5,7
/proc/126550/stat : 126550 (java) S 126547 126550 124419 0 -1 1077936128 16986 0 0 0 871 40 0 0 20 0 20 0 13456193 19566772224 396036 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
/proc/126550/statm: 4777044 396036 5916 1 0 890788 0
[pid=126550/tid=126552] ppid=126547 vsize=19108176 memory=2236 CPUtime=5.87 cores=5,7
/proc/126550/task/126552/stat : 126552 (java) R 126547 126550 124419 0 -1 4194368 6825 0 0 0 554 33 0 0 20 0 20 0 13456193 19566772224 396036 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126561] ppid=126547 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/126550/task/126561/stat : 126561 (Finalizer) S 126547 126550 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13456197 19566772224 396036 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126568] ppid=126547 vsize=19108176 memory=12256 CPUtime=0 cores=5,7
/proc/126550/task/126568/stat : 126568 (Common-Cleaner) S 126547 126550 124419 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13456197 19566772224 396036 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126569] ppid=126547 vsize=19108176 memory=196968 CPUtime=0 cores=5,7
/proc/126550/task/126569/stat : 126569 (Timer-0) S 126547 126550 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13456213 19566772224 396036 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
Current children cumulated CPU time: 9.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1584144 KiB
[startup+12.7003 s]
/proc/loadavg: 4.37 4.24 4.18 5/337 126641
/proc/meminfo: memFree=100191196/131524600 swapFree=131071216/131071996
[pid=126550] ppid=126547 vsize=19108176 memory=2300708 CPUtime=15.75 cores=5,7
/proc/126550/stat : 126550 (java) S 126547 126550 124419 0 -1 1077936128 20795 0 0 0 1511 64 0 0 20 0 20 0 13456193 19566772224 575177 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
/proc/126550/statm: 4777044 575177 5916 1 0 1051636 0
[pid=126550/tid=126552] ppid=126547 vsize=19108176 memory=12256 CPUtime=11.88 cores=5,7
/proc/126550/task/126552/stat : 126552 (java) R 126547 126550 124419 0 -1 4194368 8618 0 0 0 1134 54 0 0 20 0 20 0 13456193 19566772224 575177 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126561] ppid=126547 vsize=19108176 memory=196968 CPUtime=0 cores=5,7
/proc/126550/task/126561/stat : 126561 (Finalizer) S 126547 126550 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13456197 19566772224 575177 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126568] ppid=126547 vsize=19108176 memory=2300460 CPUtime=0 cores=5,7
/proc/126550/task/126568/stat : 126568 (Common-Cleaner) S 126547 126550 124419 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13456197 19566772224 575177 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126569] ppid=126547 vsize=19108176 memory=-8672074048057680572 CPUtime=0 cores=5,7
/proc/126550/task/126569/stat : 126569 (Timer-0) S 126547 126550 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13456213 19566772224 575177 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
Current children cumulated CPU time: 15.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2300708 KiB
[startup+25.5003 s]
/proc/loadavg: 4.44 4.26 4.19 5/334 126711
/proc/meminfo: memFree=115304180/131524600 swapFree=131071216/131071996
[pid=126550] ppid=126547 vsize=19108176 memory=3332676 CPUtime=28.99 cores=5,7
/proc/126550/stat : 126550 (java) S 126547 126550 124419 0 -1 1077936128 26092 0 0 0 2796 103 0 0 20 0 20 0 13456193 19566772224 833169 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
/proc/126550/statm: 4777044 833169 5916 1 0 1225020 0
[pid=126550/tid=126552] ppid=126547 vsize=19108176 memory=2300460 CPUtime=24.26 cores=5,7
/proc/126550/task/126552/stat : 126552 (java) R 126547 126550 124419 0 -1 4194368 10048 0 0 0 2337 89 0 0 20 0 20 0 13456193 19566772224 833169 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126561] ppid=126547 vsize=19108176 memory=3267140 CPUtime=0 cores=5,7
/proc/126550/task/126561/stat : 126561 (Finalizer) S 126547 126550 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13456197 19566772224 833169 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126568] ppid=126547 vsize=19108176 memory=2407 CPUtime=0 cores=5,7
/proc/126550/task/126568/stat : 126568 (Common-Cleaner) S 126547 126550 124419 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13456197 19566772224 833169 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126569] ppid=126547 vsize=19108176 memory=3211840 CPUtime=0 cores=5,7
/proc/126550/task/126569/stat : 126569 (Timer-0) S 126547 126550 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13456213 19566772224 833169 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
Current children cumulated CPU time: 28.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3332676 KiB
[startup+51.1064 s]
/proc/loadavg: 4.29 4.24 4.18 6/335 126717
/proc/meminfo: memFree=108689772/131524600 swapFree=131071216/131071996
[pid=126550] ppid=126547 vsize=19108176 memory=3858964 CPUtime=55.12 cores=5,7
/proc/126550/stat : 126550 (java) S 126547 126550 124419 0 -1 1077936128 32166 0 0 0 5363 149 0 0 20 0 20 0 13456193 19566772224 964741 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
/proc/126550/statm: 4777044 964741 5916 1 0 1423462 0
################
# More data... #
################
Current children cumulated memory: 4372000 KiB
[startup+3162.3 s]
/proc/loadavg: 4.58 4.48 4.47 4/337 128538
/proc/meminfo: memFree=557336/131524600 swapFree=131065036/131071996
[pid=126550] ppid=126547 vsize=19108176 memory=4213600 CPUtime=3242.49 cores=5,7
/proc/126550/stat : 126550 (java) S 126547 126550 124419 0 -1 1077936128 1316210 0 0 0 320434 3815 0 0 20 0 20 0 13456193 19566772224 1053400 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
/proc/126550/statm: 4777044 1053400 5946 1 0 1065573 0
[pid=126550/tid=126552] ppid=126547 vsize=19108176 memory=43816 CPUtime=3010.69 cores=5,7
/proc/126550/task/126552/stat : 126552 (java) R 126547 126550 124419 0 -1 4194368 878597 0 0 0 297497 3572 0 0 20 0 20 0 13456193 19566772224 1053400 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5385 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126561] ppid=126547 vsize=19108176 memory=4372000 CPUtime=0 cores=5,7
/proc/126550/task/126561/stat : 126561 (Finalizer) S 126547 126550 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13456197 19566772224 1053400 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126568] ppid=126547 vsize=19108176 memory=11464 CPUtime=0 cores=5,7
/proc/126550/task/126568/stat : 126568 (Common-Cleaner) S 126547 126550 124419 0 -1 1077936192 2136 0 0 0 0 0 0 0 20 0 20 0 13456197 19566772224 1053400 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126569] ppid=126547 vsize=19108176 memory=43816 CPUtime=0 cores=5,7
/proc/126550/task/126569/stat : 126569 (Timer-0) S 126547 126550 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13456213 19566772224 1053400 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
Current children cumulated CPU time: 3242.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4213600 KiB
[startup+3222.3 s]
/proc/loadavg: 4.50 4.48 4.47 5/339 128776
/proc/meminfo: memFree=590820/131524600 swapFree=131065036/131071996
[pid=126550] ppid=126547 vsize=19108176 memory=4213600 CPUtime=3306.92 cores=5,7
/proc/126550/stat : 126550 (java) S 126547 126550 124419 0 -1 1077936128 1317305 0 0 0 326821 3871 0 0 20 0 20 0 13456193 19566772224 1053400 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
/proc/126550/statm: 4777044 1053400 5946 1 0 1065573 0
[pid=126550/tid=126552] ppid=126547 vsize=19108176 memory=11464 CPUtime=3067.88 cores=5,7
/proc/126550/task/126552/stat : 126552 (java) R 126547 126550 124419 0 -1 4194368 879218 0 0 0 303165 3623 0 0 20 0 20 0 13456193 19566772224 1053400 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5488 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126561] ppid=126547 vsize=19108176 memory=43816 CPUtime=0 cores=5,7
/proc/126550/task/126561/stat : 126561 (Finalizer) S 126547 126550 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13456197 19566772224 1053400 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126568] ppid=126547 vsize=19108176 memory=4213600 CPUtime=0 cores=5,7
/proc/126550/task/126568/stat : 126568 (Common-Cleaner) S 126547 126550 124419 0 -1 1077936192 2136 0 0 0 0 0 0 0 20 0 20 0 13456197 19566772224 1053400 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126569] ppid=126547 vsize=19108176 memory=4213600 CPUtime=0 cores=5,7
/proc/126550/task/126569/stat : 126569 (Timer-0) S 126547 126550 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13456213 19566772224 1053400 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
Current children cumulated CPU time: 3306.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4213600 KiB
[startup+3282.3 s]
/proc/loadavg: 4.39 4.45 4.45 5/339 128787
/proc/meminfo: memFree=515856/131524600 swapFree=131065036/131071996
[pid=126550] ppid=126547 vsize=19108176 memory=4213604 CPUtime=3369.95 cores=5,7
/proc/126550/stat : 126550 (java) S 126547 126550 124419 0 -1 1077936128 1407377 0 0 0 333062 3933 0 0 20 0 20 0 13456193 19566772224 1053401 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
/proc/126550/statm: 4777044 1053401 5946 1 0 1065573 0
[pid=126550/tid=126552] ppid=126547 vsize=19108176 memory=4213604 CPUtime=3124.57 cores=5,7
/proc/126550/task/126552/stat : 126552 (java) S 126547 126550 124419 0 -1 1077936192 966644 0 0 0 308777 3680 0 0 20 0 20 0 13456193 19566772224 1053401 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5614 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126561] ppid=126547 vsize=19108176 memory=4213600 CPUtime=0 cores=5,7
/proc/126550/task/126561/stat : 126561 (Finalizer) S 126547 126550 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13456197 19566772224 1053401 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126568] ppid=126547 vsize=19108176 memory=4213600 CPUtime=0 cores=5,7
/proc/126550/task/126568/stat : 126568 (Common-Cleaner) S 126547 126550 124419 0 -1 1077936192 2136 0 0 0 0 0 0 0 20 0 20 0 13456197 19566772224 1053401 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126569] ppid=126547 vsize=19108176 memory=43816 CPUtime=0 cores=5,7
/proc/126550/task/126569/stat : 126569 (Timer-0) S 126547 126550 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13456213 19566772224 1053401 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
Current children cumulated CPU time: 3369.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4213604 KiB
[startup+3342.3 s]
/proc/loadavg: 4.52 4.50 4.47 5/344 129091
/proc/meminfo: memFree=838268/131524600 swapFree=131064524/131071996
[pid=126550] ppid=126547 vsize=19108176 memory=4755208 CPUtime=3432.41 cores=5,7
/proc/126550/stat : 126550 (java) S 126547 126550 124419 0 -1 1077936128 1557451 0 0 0 339228 4013 0 0 20 0 20 0 13456193 19566772224 1188802 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
/proc/126550/statm: 4777044 1188802 5946 1 0 1201293 0
[pid=126550/tid=126552] ppid=126547 vsize=19108176 memory=12256 CPUtime=3180.92 cores=5,7
/proc/126550/task/126552/stat : 126552 (java) R 126547 126550 124419 0 -1 4194368 1101482 0 0 0 314338 3754 0 0 20 0 20 0 13456193 19566772224 1188802 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 5772 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126561] ppid=126547 vsize=19108176 memory=164 CPUtime=0 cores=5,7
/proc/126550/task/126561/stat : 126561 (Finalizer) S 126547 126550 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13456197 19566772224 1188802 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126568] ppid=126547 vsize=19108176 memory=4747004 CPUtime=0 cores=5,7
/proc/126550/task/126568/stat : 126568 (Common-Cleaner) S 126547 126550 124419 0 -1 1077936192 2172 0 0 0 0 0 0 0 20 0 20 0 13456197 19566772224 1188802 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126569] ppid=126547 vsize=19108176 memory=11464 CPUtime=0 cores=5,7
/proc/126550/task/126569/stat : 126569 (Timer-0) S 126547 126550 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13456213 19566772224 1188802 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
Current children cumulated CPU time: 3432.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4755208 KiB
[startup+3402.3 s]
/proc/loadavg: 4.45 4.48 4.46 5/345 129104
/proc/meminfo: memFree=592148/131524600 swapFree=131064524/131071996
[pid=126550] ppid=126547 vsize=19108176 memory=4755324 CPUtime=3494.06 cores=5,7
/proc/126550/stat : 126550 (java) S 126547 126550 124419 0 -1 1077936128 1562907 0 0 0 345336 4070 0 0 20 0 20 0 13456193 19566772224 1188831 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
/proc/126550/statm: 4777044 1188831 5946 1 0 1201308 0
[pid=126550/tid=126552] ppid=126547 vsize=19108176 memory=4755208 CPUtime=3237.52 cores=5,7
/proc/126550/task/126552/stat : 126552 (java) R 126547 126550 124419 0 -1 4194368 1104227 0 0 0 319945 3807 0 0 20 0 20 0 13456193 19566772224 1188831 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5917 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126561] ppid=126547 vsize=19108176 memory=4747004 CPUtime=0 cores=5,7
/proc/126550/task/126561/stat : 126561 (Finalizer) S 126547 126550 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13456197 19566772224 1188831 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126568] ppid=126547 vsize=19108176 memory=43816 CPUtime=0 cores=5,7
/proc/126550/task/126568/stat : 126568 (Common-Cleaner) S 126547 126550 124419 0 -1 1077936192 2172 0 0 0 0 0 0 0 20 0 20 0 13456197 19566772224 1188831 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126569] ppid=126547 vsize=19108176 memory=4755208 CPUtime=0 cores=5,7
/proc/126550/task/126569/stat : 126569 (Timer-0) S 126547 126550 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13456213 19566772224 1188831 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
Current children cumulated CPU time: 3494.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4755324 KiB
[startup+3462.3 s]
/proc/loadavg: 4.68 4.54 4.48 4/344 129116
/proc/meminfo: memFree=1893128/131524600 swapFree=131064524/131071996
[pid=126550] ppid=126547 vsize=19108176 memory=4588724 CPUtime=3547.32 cores=5,7
/proc/126550/stat : 126550 (java) S 126547 126550 124419 0 -1 1077936128 1793956 0 0 0 350595 4137 0 0 20 0 20 0 13456193 19566772224 1147181 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
/proc/126550/statm: 4777044 1147181 5946 1 0 1159548 0
[pid=126550/tid=126552] ppid=126547 vsize=19108176 memory=4747004 CPUtime=3285.65 cores=5,7
/proc/126550/task/126552/stat : 126552 (java) R 126547 126550 124419 0 -1 4194368 1312721 0 0 0 324695 3870 0 0 20 0 20 0 13456193 19566772224 1147181 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 6953 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126561] ppid=126547 vsize=19108176 memory=43816 CPUtime=0 cores=5,7
/proc/126550/task/126561/stat : 126561 (Finalizer) S 126547 126550 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13456197 19566772224 1147181 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126568] ppid=126547 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/126550/task/126568/stat : 126568 (Common-Cleaner) S 126547 126550 124419 0 -1 1077936192 2172 0 0 0 0 0 0 0 20 0 20 0 13456197 19566772224 1147181 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126569] ppid=126547 vsize=19108176 memory=4588724 CPUtime=0 cores=5,7
/proc/126550/task/126569/stat : 126569 (Timer-0) S 126547 126550 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13456213 19566772224 1147181 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
Current children cumulated CPU time: 3547.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4588724 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3513.4 s]
/proc/loadavg: 4.44 4.50 4.47 5/344 129194
/proc/meminfo: memFree=28229760/131524600 swapFree=131064524/131071996
[pid=126550] ppid=126547 vsize=19108176 memory=4338648 CPUtime=3600.02 cores=5,7
/proc/126550/stat : 126550 (java) S 126547 126550 124419 0 -1 1077936128 1796661 0 0 0 355819 4183 0 0 20 0 20 0 13456193 19566772224 1084662 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
/proc/126550/statm: 4777044 1084662 5946 1 0 1096908 0
[pid=126550/tid=126552] ppid=126547 vsize=19108176 memory=968892 CPUtime=3334.55 cores=5,7
/proc/126550/task/126552/stat : 126552 (java) R 126547 126550 124419 0 -1 4194368 1314340 0 0 0 329542 3913 0 0 20 0 20 0 13456193 19566772224 1084662 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 7024 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126561] ppid=126547 vsize=19108176 memory=970602 CPUtime=0 cores=5,7
/proc/126550/task/126561/stat : 126561 (Finalizer) S 126547 126550 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13456197 19566772224 1084662 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126568] ppid=126547 vsize=19108176 memory=3474306326249993234 CPUtime=0 cores=5,7
/proc/126550/task/126568/stat : 126568 (Common-Cleaner) S 126547 126550 124419 0 -1 1077936192 2217 0 0 0 0 0 0 0 20 0 20 0 13456197 19566772224 1084662 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
[pid=126550/tid=126569] ppid=126547 vsize=19108176 memory=1984 CPUtime=0 cores=5,7
/proc/126550/task/126569/stat : 126569 (Timer-0) S 126547 126550 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13456213 19566772224 1084662 134679101440 94743958917120 94743958920816 140735159953760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94743958928632 94743958929424 94743985770496 140735159956395 140735159956577 140735159956577 140735159963592 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4338648 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3513.73 s]
# the end of solver process 126550 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3558.44 s, system=41.9054 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3513.6 s]*
/proc/loadavg: 4.44 4.50 4.47 5/326 129197
/proc/meminfo: memFree=32533800/131524600 swapFree=131064524/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3513.71 s]
/proc/loadavg: 4.44 4.50 4.47 5/326 129197
/proc/meminfo: memFree=32533800/131524600 swapFree=131064524/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3513.73
CPU time (s): 3600.35
CPU user time (s): 3558.44
CPU system time (s): 41.9054
CPU usage (%): 102.465
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 7626224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3558.44
system time used= 41.9054
maximum resident set size= 7626224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1798746
page faults= 0
swaps= 0
block input operations= 16
block output operations= 74194592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 146361
involuntary context switches= 22217
# summary of solver processes directly reported to runsolver:
# pid: 126550
# total CPU time (s): 3600.35
# total CPU user time (s): 3558.44
# total CPU system time (s): 41.9054
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.24528 second user time and 18.2074 second system time
The end
Begin job on nodeC034 at 2024-07-23 23:15:20 IDJOB=4440289 IDBENCH=147542 IDSOLVER=3079 FILE ID=nodeC034/4440289-1721769320 RUNJOBID= nodeC034-1721765707-124432 SLURM_JOB_ID= 7770676 Free space on /tmp= 890076 MiB SOLVER NAME= Sat4j Resolution 2024 2024-07-07 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 --file-size-limit 102400 -w /tmp/evaluation-result-4440289-1721769320/watcher-4440289-1721769320 -o /tmp/evaluation-result-4440289-1721769320/solver-4440289-1721769320 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721765707-124432 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440289-1721769320 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440289-1721769320.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8940813d27fb075f4739eb458e093f9a RANDOM SEED=2007171220 nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 3610.390 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 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 : 2151.220 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.84 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 : 3600.945 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 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 : 3666.329 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.84 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.963 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 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 : 3544.938 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.84 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 : 3601.431 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 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 : 3173.805 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 85980012 kB MemAvailable: 121705200 kB Buffers: 179212 kB Cached: 36301568 kB SwapCached: 120 kB Active: 1173868 kB Inactive: 43636652 kB Active(anon): 1556 kB Inactive(anon): 8365892 kB Active(file): 1172312 kB Inactive(file): 35270760 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 180560 kB Writeback: 137860 kB AnonPages: 8327088 kB Mapped: 123868 kB Shmem: 37600 kB KReclaimable: 243528 kB Slab: 358704 kB SReclaimable: 243528 kB SUnreclaim: 115176 kB KernelStack: 5104 kB PageTables: 26376 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 11013608 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17440 kB HardwareCorrupted: 0 kB AnonHugePages: 8077312 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 330452 kB DirectMap2M: 41385984 kB DirectMap1G: 94371840 kB Free space on /tmp at the end= 890080 MiB End job on nodeC034 at 2024-07-24 00:13:54