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) | 5962 | 3600.37 | 3589.07 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-9symml.opb |
| MD5SUM | 30811ed4729c90bd058f0c8aab264377 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 4517 |
| Best CPU time to get the best result obtained on this benchmark | 0.125111 |
| 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 | 651 |
| Total number of constraints | 1658 |
| Number of constraints which are clauses | 1656 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 42 |
| Number of terms in the objective function | 651 |
| Biggest coefficient in the objective function | 61 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 28138 |
| Number of bits of the sum of numbers in the objective function | 15 |
| Biggest number in a constraint | 61 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 28138 |
| Number of bits of the biggest sum of numbers | 15 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.06/0.11 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.06/0.11 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.11 c See www.sat4j.org for details. 0.06/0.12 c version PB25.v20250606 0.06/0.13 c java.runtime.name OpenJDK Runtime Environment 0.06/0.13 c java.vm.name OpenJDK 64-Bit Server VM 0.06/0.13 c java.vm.version 22.0.1+8-16 0.06/0.13 c java.vm.vendor Oracle Corporation 0.06/0.13 c sun.arch.data.model 64 0.06/0.13 c java.version 22.0.1 0.06/0.13 c os.name Linux 0.06/0.13 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.06/0.13 c os.arch amd64 0.06/0.13 c Free memory 2104792832 0.06/0.13 c Max memory 16282288128 0.06/0.13 c Total memory 2113929216 0.06/0.13 c Number of processors 2 0.06/0.17 c Pseudo Boolean Optimization by upper bound 0.06/0.17 c --- Begin Solver configuration --- 0.06/0.17 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.06/0.17 c Learn all clauses as in MiniSAT 0.06/0.17 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.17 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.06/0.17 c Expensive reason simplification 0.06/0.17 c Glucose 2.1 dynamic restart strategy 0.06/0.17 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.06/0.17 c timeout=2147483s 0.06/0.17 c DB Simplification allowed=false 0.06/0.17 c Listener: none 0.06/0.17 c --- End Solver configuration --- 0.06/0.17 c solving HOME/instance-4487721-1751338862.opb 0.06/0.17 c reading problem ... 0.06/0.17 c using VERIPB proof format 0.06/0.17 c objective function found 0.24/0.27 c ... done. Wall clock time 0.094s. 0.24/0.27 c declared #vars 651 0.24/0.27 c #constraints 1658 0.24/0.27 c constraints type 0.24/0.27 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 501 0.24/0.28 c org.sat4j.specs.Constr$1 => 65 0.24/0.28 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1078 0.24/0.28 c org.sat4j.pb.constraints.pb.UnitClausePB => 14 0.24/0.28 c 1658 constraints processed. 0.24/0.29 c objective function length is 651 literals 0.43/0.32 c SATISFIABLE 0.43/0.32 c OPTIMIZING... 0.43/0.32 c Got one! Elapsed wall clock time (in seconds):0.145 0.43/0.32 o 6056 0.43/0.32 c Got one! Elapsed wall clock time (in seconds):0.154 0.43/0.32 o 6033 0.43/0.34 c Got one! Elapsed wall clock time (in seconds):0.168 0.43/0.34 o 6010 0.43/0.35 c Got one! Elapsed wall clock time (in seconds):0.178 0.43/0.35 o 5987 1.97/1.18 c cleaning 2506 clauses out of 5024 with flag 10331/5024 3.16/1.74 c Got one! Elapsed wall clock time (in seconds):1.567 3.16/1.74 o 5981 3.16/1.77 c Got one! Elapsed wall clock time (in seconds):1.597 3.16/1.77 o 5971 3.16/1.77 c Got one! Elapsed wall clock time (in seconds):1.601 3.16/1.77 o 5962 4.14/2.24 c cleaning 6772 clauses out of 13559 with flag 10580/16065 4.76/2.69 c cleaning 6386 clauses out of 12786 with flag 22949/22064 5.40/3.20 c cleaning 6688 clauses out of 13400 with flag 37655/29064 5.91/3.74 c cleaning 7347 clauses out of 14712 with flag 54464/37064 6.56/4.34 c cleaning 8176 clauses out of 16365 with flag 73237/46064 7.28/5.09 c cleaning 9089 clauses out of 18189 with flag 94496/56064 8.08/5.89 c cleaning 10043 clauses out of 20100 with flag 117781/67064 8.90/6.69 c cleaning 11017 clauses out of 22059 with flag 142778/79066 9.82/7.57 c cleaning 12012 clauses out of 24041 with flag 169946/92065 10.82/8.52 c cleaning 13005 clauses out of 26029 with flag 198932/106065 11.85/9.56 c cleaning 14003 clauses out of 28024 with flag 230553/121065 13.03/10.65 c cleaning 14999 clauses out of 30020 with flag 264214/137064 14.25/11.81 c cleaning 15998 clauses out of 32021 with flag 300079/154064 15.60/13.11 c cleaning 17000 clauses out of 34023 with flag 338605/172064 16.91/14.45 c cleaning 18004 clauses out of 36023 with flag 378468/191064 18.34/15.88 c cleaning 18997 clauses out of 38020 with flag 420276/211065 19.84/17.33 c cleaning 20002 clauses out of 40022 with flag 464370/232064 21.36/18.87 c cleaning 21003 clauses out of 42020 with flag 511154/254064 23.10/20.54 c cleaning 22000 clauses out of 44018 with flag 559815/277065 24.84/22.28 c cleaning 22996 clauses out of 46017 with flag 610316/301064 26.64/24.01 c cleaning 23999 clauses out of 48021 with flag 663159/326064 28.57/25.92 c cleaning 24995 clauses out of 50022 with flag 718279/352064 30.50/27.89 c cleaning 25998 clauses out of 52027 with flag 775404/379064 32.64/29.98 c cleaning 27010 clauses out of 54029 with flag 834713/407064 34.78/32.08 c cleaning 28001 clauses out of 56019 with flag 895788/436064 37.10/34.39 c cleaning 28998 clauses out of 58018 with flag 959177/466064 39.54/36.75 c cleaning 30000 clauses out of 60021 with flag 1024828/497065 41.94/39.11 c cleaning 31000 clauses out of 62020 with flag 1091349/529064 44.46/41.60 c cleaning 31999 clauses out of 64020 with flag 1160062/562064 46.98/44.15 c cleaning 32999 clauses out of 66021 with flag 1231255/596064 49.61/46.79 c cleaning 34001 clauses out of 68022 with flag 1304156/631064 52.78/49.87 c cleaning 35000 clauses out of 70021 with flag 1379184/667064 55.84/52.84 c cleaning 36004 clauses out of 72021 with flag 1455634/704064 58.87/55.84 c cleaning 36993 clauses out of 74017 with flag 1534667/742064 62.21/59.17 c cleaning 37999 clauses out of 76025 with flag 1615421/781065 65.34/62.24 c cleaning 39001 clauses out of 78025 with flag 1699879/821064 68.67/65.54 c cleaning 39997 clauses out of 80024 with flag 1787413/862064 72.07/68.86 c cleaning 40996 clauses out of 82028 with flag 1876110/904065 75.72/72.43 c cleaning 42004 clauses out of 84032 with flag 1966419/947065 79.20/75.79 c cleaning 43004 clauses out of 86029 with flag 2060344/991066 82.88/79.32 c cleaning 44003 clauses out of 88025 with flag 2157719/1036066 86.34/82.76 c cleaning 44997 clauses out of 90020 with flag 2257513/1082064 89.97/86.30 c cleaning 46001 clauses out of 92023 with flag 2359218/1129064 93.86/90.18 c cleaning 47002 clauses out of 94023 with flag 2463216/1177065 97.72/93.94 c cleaning 48000 clauses out of 96021 with flag 2568884/1226065 101.74/97.87 c cleaning 48995 clauses out of 98020 with flag 2676697/1276064 105.99/102.03 c cleaning 50002 clauses out of 100026 with flag 2789665/1327065 110.25/106.21 c cleaning 51002 clauses out of 102025 with flag 2904356/1379066 114.88/110.70 c cleaning 51997 clauses out of 104021 with flag 3022299/1432064 119.56/115.37 c cleaning 53001 clauses out of 106025 with flag 3142184/1486065 124.30/120.07 c cleaning 54004 clauses out of 108024 with flag 3263897/1541065 129.29/124.93 c cleaning 55001 clauses out of 110019 with flag 3387803/1597064 134.12/129.70 c cleaning 55999 clauses out of 112020 with flag 3514521/1654066 138.97/134.56 c cleaning 56998 clauses out of 114020 with flag 3641982/1712065 143.99/139.49 c cleaning 57999 clauses out of 116021 with flag 3774103/1771064 148.85/144.24 c cleaning 59002 clauses out of 118023 with flag 3908116/1831065 154.13/149.44 c cleaning 59999 clauses out of 120021 with flag 4046385/1892065 159.07/154.32 c cleaning 60996 clauses out of 122022 with flag 4186613/1954065 164.58/159.79 c cleaning 61995 clauses out of 124026 with flag 4328487/2017065 170.30/165.30 c cleaning 63001 clauses out of 126031 with flag 4474496/2081065 175.67/170.64 c cleaning 63994 clauses out of 128029 with flag 4622225/2146064 181.36/176.29 c cleaning 65005 clauses out of 130035 with flag 4772776/2212064 187.30/182.14 c cleaning 66000 clauses out of 132030 with flag 4925725/2279064 193.35/188.15 c cleaning 67002 clauses out of 134031 with flag 5080167/2347065 199.62/194.38 c cleaning 68005 clauses out of 136029 with flag 5235115/2416065 205.56/200.26 c cleaning 68997 clauses out of 138023 with flag 5391939/2486064 211.99/206.53 c cleaning 70004 clauses out of 140027 with flag 5546340/2557065 218.35/212.70 c cleaning 71003 clauses out of 142023 with flag 5707128/2629065 224.47/219.41 c cleaning 72001 clauses out of 144021 with flag 5869744/2702066 230.50/225.48 c cleaning 72992 clauses out of 146019 with flag 6034960/2776065 237.16/232.06 c cleaning 74002 clauses out of 148026 with flag 6202384/2851064 243.02/237.89 c cleaning 75000 clauses out of 150025 with flag 6372621/2927065 249.31/244.03 c cleaning 75994 clauses out of 152025 with flag 6546190/3004065 256.78/251.87 c cleaning 77005 clauses out of 154030 with flag 6721786/3082064 263.75/258.79 c cleaning 78001 clauses out of 156026 with flag 6901496/3161065 271.17/266.06 c cleaning 78999 clauses out of 158025 with flag 7083788/3241065 278.55/273.31 c cleaning 79996 clauses out of 160025 with flag 7267169/3322064 285.14/280.39 c cleaning 81002 clauses out of 162029 with flag 7452525/3404064 292.26/287.47 c cleaning 82006 clauses out of 164028 with flag 7641222/3487065 300.54/295.65 c cleaning 83000 clauses out of 166023 with flag 7830707/3571066 307.75/302.71 c cleaning 83997 clauses out of 168021 with flag 8023962/3656064 315.47/310.81 c cleaning 84997 clauses out of 170025 with flag 8220459/3742065 323.34/318.63 c cleaning 85995 clauses out of 172027 with flag 8418342/3829064 331.29/326.44 c cleaning 87000 clauses out of 174033 with flag 8618754/3917065 339.89/334.65 c cleaning 88001 clauses out of 176033 with flag 8821331/4006065 347.82/342.96 c cleaning 89005 clauses out of 178031 with flag 9026370/4096064 355.20/350.24 c cleaning 90005 clauses out of 180028 with flag 9232818/4187066 363.60/358.50 c cleaning 90999 clauses out of 182021 with flag 9436141/4279064 371.27/366.13 c cleaning 91993 clauses out of 184024 with flag 9647522/4372066 380.06/375.27 c cleaning 92996 clauses out of 186029 with flag 9863364/4466064 388.66/383.76 c cleaning 94004 clauses out of 188034 with flag 10080399/4561065 397.20/392.23 c cleaning 94998 clauses out of 190029 with flag 10298722/4657064 405.77/400.66 c cleaning 95996 clauses out of 192031 with flag 10521252/4754064 414.86/410.03 c cleaning 97001 clauses out of 194036 with flag 10744521/4852065 423.76/419.01 c cleaning 98004 clauses out of 196034 with flag 10968449/4951064 431.42/426.69 c cleaning 99000 clauses out of 198031 with flag 11196075/5051065 439.65/434.71 c cleaning 100004 clauses out of 200030 with flag 11424278/5152064 448.22/443.35 c cleaning 100999 clauses out of 202027 with flag 11652584/5254065 456.67/451.73 c cleaning 101995 clauses out of 204027 with flag 11887359/5357064 465.75/461.00 c cleaning 102999 clauses out of 206032 with flag 12123836/5461064 475.27/470.55 c cleaning 103997 clauses out of 208033 with flag 12363534/5566064 485.27/480.60 c cleaning 104999 clauses out of 210037 with flag 12605160/5672065 495.10/490.39 c cleaning 106005 clauses out of 212037 with flag 12849597/5779064 505.35/500.61 c cleaning 107007 clauses out of 214034 with flag 13096333/5887066 516.41/511.52 c cleaning 108003 clauses out of 216025 with flag 13345385/5996064 526.03/521.36 c cleaning 108999 clauses out of 218022 with flag 13595196/6106064 534.98/530.23 c cleaning 109999 clauses out of 220024 with flag 13848322/6217065 544.54/539.70 c cleaning 111001 clauses out of 222025 with flag 14099888/6329065 554.01/549.20 c cleaning 111993 clauses out of 224024 with flag 14353991/6442065 564.93/560.01 c cleaning 112996 clauses out of 226030 with flag 14614233/6556064 576.21/572.12 c cleaning 114004 clauses out of 228034 with flag 14876699/6671064 586.65/582.40 c cleaning 115003 clauses out of 230030 with flag 15139872/6787064 597.36/593.05 c cleaning 116001 clauses out of 232028 with flag 15402306/6904065 607.89/603.64 c cleaning 116998 clauses out of 234026 with flag 15669204/7022064 619.00/614.64 c cleaning 117996 clauses out of 236028 with flag 15941523/7141064 630.14/625.90 c cleaning 118994 clauses out of 238032 with flag 16215940/7261064 642.64/638.38 c cleaning 120008 clauses out of 240038 with flag 16492469/7382064 654.42/650.05 c cleaning 120998 clauses out of 242030 with flag 16771401/7504064 665.27/660.77 c cleaning 122005 clauses out of 244033 with flag 17051375/7627065 677.04/672.39 c cleaning 123002 clauses out of 246027 with flag 17334936/7751064 689.44/684.99 c cleaning 124001 clauses out of 248026 with flag 17619771/7876065 701.87/697.56 c cleaning 125000 clauses out of 250024 with flag 17904043/8002064 713.83/708.96 c cleaning 125994 clauses out of 252024 with flag 18190727/8129064 726.04/721.23 c cleaning 126997 clauses out of 254031 with flag 18482505/8257065 738.60/733.97 c cleaning 128002 clauses out of 256033 with flag 18776310/8386064 751.01/746.26 c cleaning 129003 clauses out of 258032 with flag 19072128/8516065 764.28/759.69 c cleaning 129997 clauses out of 260028 with flag 19363106/8647064 777.67/773.14 c cleaning 130997 clauses out of 262032 with flag 19661441/8779065 789.36/784.53 c cleaning 132002 clauses out of 264034 with flag 19963118/8912064 803.81/799.36 c cleaning 132996 clauses out of 266033 with flag 20269076/9046065 816.85/812.47 c cleaning 133997 clauses out of 268036 with flag 20576535/9181064 829.92/825.35 c cleaning 135002 clauses out of 270040 with flag 20886536/9317065 844.75/840.33 c cleaning 135997 clauses out of 272037 with flag 21199582/9454064 859.64/855.04 c cleaning 137001 clauses out of 274041 with flag 21514747/9592065 874.45/870.64 c cleaning 138010 clauses out of 276039 with flag 21823579/9731064 890.48/886.56 c cleaning 139003 clauses out of 278030 with flag 22122459/9871065 905.29/901.48 c cleaning 140002 clauses out of 280026 with flag 22427304/10012064 919.86/916.19 c cleaning 140998 clauses out of 282024 with flag 22729277/10154064 935.62/931.48 c cleaning 141999 clauses out of 284027 with flag 23036662/10297065 950.81/946.75 c cleaning 142998 clauses out of 286027 with flag 23345463/10441064 967.34/963.12 c cleaning 144000 clauses out of 288030 with flag 23655263/10586065 980.26/975.83 c cleaning 145002 clauses out of 290030 with flag 23975021/10732065 993.50/989.23 c cleaning 145997 clauses out of 292027 with flag 24295981/10879064 1007.94/1003.40 c cleaning 147003 clauses out of 294032 with flag 24613638/11027066 1022.50/1018.06 c cleaning 147996 clauses out of 296027 with flag 24935276/11176064 1036.80/1032.12 c cleaning 148992 clauses out of 298032 with flag 25263462/11326065 1054.22/1049.85 c cleaning 150010 clauses out of 300039 with flag 25593496/11477064 1072.99/1068.07 c cleaning 150997 clauses out of 302030 with flag 25922214/11629065 1090.16/1085.00 c cleaning 152003 clauses out of 304033 with flag 26251398/11782065 1106.66/1101.85 c cleaning 153004 clauses out of 306030 with flag 26582899/11936065 1125.02/1120.45 c cleaning 154000 clauses out of 308026 with flag 26937392/12091065 1144.76/1139.93 c cleaning 154999 clauses out of 310026 with flag 27291631/12247065 1162.37/1158.25 c cleaning 155996 clauses out of 312026 with flag 27643277/12404064 1179.92/1175.88 c cleaning 157003 clauses out of 314030 with flag 27994297/12562064 1195.52/1191.28 c cleaning 157999 clauses out of 316027 with flag 28354126/12721064 1213.20/1209.05 c cleaning 159000 clauses out of 318029 with flag 28718281/12881065 1231.24/1227.12 c cleaning 159994 clauses out of 320029 with flag 29087949/13042065 1249.63/1245.91 c cleaning 160996 clauses out of 322034 with flag 29460928/13204064 1266.77/1262.94 c cleaning 162006 clauses out of 324038 with flag 29830563/13367064 1285.26/1281.66 c cleaning 163003 clauses out of 326032 with flag 30203939/13531064 1305.35/1301.15 c cleaning 163998 clauses out of 328030 with flag 30576024/13696065 1323.06/1318.89 c cleaning 164999 clauses out of 330031 with flag 30947759/13862064 1341.20/1336.86 c cleaning 166000 clauses out of 332033 with flag 31327458/14029065 1360.21/1356.27 c cleaning 166998 clauses out of 334032 with flag 31710670/14197064 1380.15/1376.37 c cleaning 168004 clauses out of 336034 with flag 32098506/14366064 1397.41/1393.67 c cleaning 168999 clauses out of 338030 with flag 32484634/14536064 1414.87/1410.93 c cleaning 169996 clauses out of 340032 with flag 32873806/14707065 1433.57/1429.67 c cleaning 170995 clauses out of 342035 with flag 33265093/14879064 1451.86/1448.30 c cleaning 172008 clauses out of 344041 with flag 33657629/15052065 1472.98/1469.13 c cleaning 173007 clauses out of 346033 with flag 34051578/15226065 1492.54/1488.22 c cleaning 173998 clauses out of 348026 with flag 34446222/15401065 1510.17/1505.92 c cleaning 175004 clauses out of 350027 with flag 34845716/15577064 1529.33/1524.97 c cleaning 175994 clauses out of 352023 with flag 35247517/15754064 1547.51/1542.97 c cleaning 176999 clauses out of 354029 with flag 35652782/15932064 1566.61/1562.26 c cleaning 178002 clauses out of 356030 with flag 36057467/16111064 1584.65/1580.01 c cleaning 179002 clauses out of 358029 with flag 36466565/16291065 1601.80/1597.13 c cleaning 179996 clauses out of 360026 with flag 36875377/16472064 1620.91/1616.69 c cleaning 181000 clauses out of 362032 with flag 37288070/16654066 1640.97/1637.07 c cleaning 182002 clauses out of 364031 with flag 37705394/16837065 1659.97/1656.26 c cleaning 182998 clauses out of 366028 with flag 38123856/17021064 1682.56/1679.17 c cleaning 184004 clauses out of 368031 with flag 38544103/17206065 1704.28/1700.01 c cleaning 185000 clauses out of 370026 with flag 38968020/17392064 1722.55/1718.35 c cleaning 186000 clauses out of 372026 with flag 39390617/17579064 1740.12/1736.07 c cleaning 186998 clauses out of 374026 with flag 39818603/17767064 1762.56/1758.34 c cleaning 188001 clauses out of 376028 with flag 40249946/17956064 1783.74/1779.46 c cleaning 188997 clauses out of 378028 with flag 40683957/18146065 1804.46/1800.03 c cleaning 189999 clauses out of 380031 with flag 41110738/18337065 1825.26/1820.43 c cleaning 191002 clauses out of 382031 with flag 41545441/18529064 1845.68/1840.88 c cleaning 192006 clauses out of 384029 with flag 41984005/18722064 1866.17/1861.22 c cleaning 192997 clauses out of 386024 with flag 42424013/18916065 1888.70/1883.75 c cleaning 193998 clauses out of 388027 with flag 42868611/19111065 1911.74/1906.58 c cleaning 195001 clauses out of 390029 with flag 43316271/19307065 1933.30/1927.85 c cleaning 195996 clauses out of 392027 with flag 43760766/19504064 1954.84/1949.09 c cleaning 197004 clauses out of 394032 with flag 44210847/19702065 1975.33/1969.25 c cleaning 197998 clauses out of 396029 with flag 44656669/19901066 2001.54/1995.40 c cleaning 199002 clauses out of 398029 with flag 45109818/20101064 2025.29/2019.90 c cleaning 199997 clauses out of 400027 with flag 45563368/20302064 2050.09/2044.25 c cleaning 200994 clauses out of 402030 with flag 46022066/20504064 2073.21/2067.95 c cleaning 202007 clauses out of 404036 with flag 46480701/20707064 2095.34/2090.06 c cleaning 202999 clauses out of 406029 with flag 46940756/20911064 2121.81/2116.94 c cleaning 203998 clauses out of 408031 with flag 47378751/21116065 2148.96/2144.17 c cleaning 204997 clauses out of 410032 with flag 47817367/21322064 2175.12/2169.69 c cleaning 206008 clauses out of 412036 with flag 48253179/21529065 2199.08/2193.74 c cleaning 207004 clauses out of 414028 with flag 48694911/21737065 2220.32/2215.03 c cleaning 207993 clauses out of 416024 with flag 49157855/21946065 2244.83/2239.51 c cleaning 209003 clauses out of 418032 with flag 49635238/22156066 2269.71/2264.76 c cleaning 209993 clauses out of 420027 with flag 50113569/22367064 2294.57/2289.58 c cleaning 211005 clauses out of 422034 with flag 50595281/22579064 2317.43/2311.84 c cleaning 212000 clauses out of 424029 with flag 51069300/22792064 2338.43/2332.55 c cleaning 213001 clauses out of 426030 with flag 51558983/23006065 2362.84/2356.75 c cleaning 214003 clauses out of 428030 with flag 52048243/23221066 2385.20/2379.13 c cleaning 214998 clauses out of 430026 with flag 52537460/23437065 2408.23/2402.76 c cleaning 215999 clauses out of 432028 with flag 53022045/23654065 2433.24/2428.01 c cleaning 216990 clauses out of 434028 with flag 53520485/23872064 2458.88/2452.62 c cleaning 218009 clauses out of 436039 with flag 54011308/24091065 2484.53/2478.52 c cleaning 218998 clauses out of 438029 with flag 54508045/24311064 2512.94/2507.18 c cleaning 220002 clauses out of 440031 with flag 55005384/24532064 2536.11/2531.95 c cleaning 221002 clauses out of 442029 with flag 55508719/24754064 2561.51/2557.36 c cleaning 221996 clauses out of 444027 with flag 56020313/24977064 2586.31/2581.05 c cleaning 223001 clauses out of 446032 with flag 56530966/25201065 2610.10/2605.20 c cleaning 223997 clauses out of 448030 with flag 57042266/25426064 2634.83/2629.63 c cleaning 225001 clauses out of 450033 with flag 57558366/25652064 2660.86/2655.40 c cleaning 226005 clauses out of 452033 with flag 58077919/25879065 2687.56/2681.47 c cleaning 226996 clauses out of 454027 with flag 58597661/26107064 2717.57/2711.40 c cleaning 227992 clauses out of 456031 with flag 59120017/26336064 2745.61/2739.01 c cleaning 229002 clauses out of 458039 with flag 59644158/26566064 2774.94/2767.33 c cleaning 229999 clauses out of 460037 with flag 60168738/26797064 2803.12/2795.48 c cleaning 231009 clauses out of 462039 with flag 60696617/27029065 2830.64/2822.75 c cleaning 232000 clauses out of 464030 with flag 61227443/27262065 2858.83/2851.04 c cleaning 232997 clauses out of 466029 with flag 61759445/27496064 2885.70/2877.24 c cleaning 234004 clauses out of 468033 with flag 62294118/27731065 2919.69/2911.29 c cleaning 234994 clauses out of 470030 with flag 62828540/27967066 2947.29/2938.81 c cleaning 236002 clauses out of 472035 with flag 63367875/28204065 2974.26/2965.35 c cleaning 236995 clauses out of 474032 with flag 63909589/28442064 3002.71/2994.19 c cleaning 238002 clauses out of 476037 with flag 64454852/28681064 3030.27/3021.52 c cleaning 238997 clauses out of 478036 with flag 65005170/28921065 3056.65/3047.43 c cleaning 240005 clauses out of 480038 with flag 65552740/29162064 3084.90/3075.34 c cleaning 241003 clauses out of 482033 with flag 66104589/29404064 3116.92/3107.21 c cleaning 242000 clauses out of 484031 with flag 66657857/29647065 3145.23/3135.42 c cleaning 242998 clauses out of 486030 with flag 67217314/29891064 3178.08/3167.21 c cleaning 243992 clauses out of 488032 with flag 67775512/30136064 3205.07/3194.10 c cleaning 245003 clauses out of 490040 with flag 68333177/30382064 3233.48/3222.53 c cleaning 246002 clauses out of 492038 with flag 68900937/30629065 3263.22/3252.32 c cleaning 246998 clauses out of 494037 with flag 69468665/30877066 3295.55/3284.65 c cleaning 248001 clauses out of 496038 with flag 70036539/31126065 3328.18/3316.67 c cleaning 249006 clauses out of 498037 with flag 70605232/31376065 3355.13/3343.69 c cleaning 249996 clauses out of 500030 with flag 71178142/31627064 3385.67/3374.11 c cleaning 251003 clauses out of 502034 with flag 71752190/31879064 3414.94/3406.86 c cleaning 251995 clauses out of 504031 with flag 72327359/32132064 3445.93/3436.58 c cleaning 253004 clauses out of 506036 with flag 72907557/32386064 3476.78/3467.03 c cleaning 254001 clauses out of 508034 with flag 73492383/32641066 3505.35/3495.33 c cleaning 254996 clauses out of 510031 with flag 74072652/32897064 3539.06/3528.63 c cleaning 255995 clauses out of 512035 with flag 74660672/33154064 3576.64/3565.25 c cleaning 257000 clauses out of 514040 with flag 75248424/33412064 3600.06/3588.31 c starts : 8 3600.06/3588.32 c conflicts : 33671064 3600.06/3588.32 c decisions : 53034010 3600.06/3588.32 c propagations : 626303296 3600.06/3588.32 c inspects : 11032534155 3600.06/3588.32 c shortcuts : 0 3600.06/3588.32 c learnt literals : 0 3600.06/3588.32 c learnt binary clauses : 0 3600.06/3588.32 c learnt ternary clauses : 0 3600.06/3588.32 c learnt constraints : 33671064 3600.06/3588.32 c ignored constraints : 0 3600.06/3588.32 c root simplifications : 0 3600.06/3588.32 c removed literals (reason simplification) : 266641548 3600.06/3588.32 c reason swapping (by a shorter reason) : 0 3600.06/3588.32 c Calls to reduceDB : 256 3600.06/3588.32 c Number of update (reduction) of LBD : 1876420 3600.06/3588.32 c Imported unit clauses : 0 3600.06/3588.32 c No decision after first conflict : false 3600.06/3588.32 c number of reductions to clauses (during analyze) : 0 3600.06/3588.32 c number of learned constraints concerned by reduction : 0 3600.06/3588.32 c number of learning phase by resolution : 0 3600.06/3588.32 c number of learning phase by cutting planes : 0 3600.06/3588.32 c number of rounding to 1 operations : 0 3600.06/3588.32 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.06/3588.32 c number of reductions of the coefficients by power 2 : 0 3600.06/3588.32 c number of right shift for reduction by power 2 : 0 3600.06/3588.32 c number of reductions of the coefficients by GCD over coefficients : 0 3600.06/3588.32 c number of ending skipping : 0 3600.06/3588.32 c number of internal skipping : 0 3600.06/3588.32 c number of derivation steps : 0 3600.06/3588.32 c number of skipped derivation steps : 0 3600.06/3588.32 c number of remaining unassigned : 0 3600.06/3588.32 c number of remaining assigned : 0 3600.06/3588.33 c number of falsified literals weakened from reason : 0 3600.06/3588.33 c number of falsified literals weakened from conflict : 0 3600.06/3588.33 c time for arithmetic operations : 0 3600.06/3588.33 c minimum degree of deleted constraints : null 3600.06/3588.33 c maximum degree of deleted constraints : null 3600.06/3588.33 c number of deleted constraints : 0 3600.06/3588.33 c speed (assignments/second) : 174554.06339821502 3600.06/3588.33 c non guided choices : 5 3600.06/3588.40 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 516040 3600.06/3588.40 s SATISFIABLE 3600.06/3588.40 c Found 7 solution(s) 3600.26/3588.40 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 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 3600.26/3588.41 c objective function=5962 3600.26/3588.41 c Total wall clock time (in seconds): 3588.243
OK 5962
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 (45633 MiB free)
memory of node 1: 64507 MiB (53800 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4487721-1751338862/watcher-4487721-1751338862 -o /tmp/evaluation-result-4487721-1751338862/solver-4487721-1751338862 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751335254-43897 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4487721-1751338862 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4487721-1751338862.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=44426, runsolver pid=44423
[startup+0.100061 s]*
/proc/loadavg: 4.28 4.22 4.13 6/323 44444
/proc/meminfo: memFree=101788500/131249996 swapFree=33010416/33010684
[pid=44426] ppid=44423 vsize=18930384 memory=48784 CPUtime=0.06 cores=0,2
/proc/44426/stat : 44426 (java) S 44423 44426 43887 0 -1 4194304 5886 0 0 0 4 2 0 0 20 0 18 0 49565815 19384713216 12196 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
/proc/44426/statm: 4732596 12196 5323 1 0 547074 0
[pid=44426/tid=44428] ppid=44423 vsize=18930384 memory=4026532124 CPUtime=0.03 cores=0,2
/proc/44426/task/44428/stat : 44428 (java) R 44423 44426 43887 0 -1 4194368 4745 0 0 0 2 1 0 0 20 0 18 0 49565821 19384713216 12196 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44437] ppid=44423 vsize=18930384 memory=16912 CPUtime=0 cores=0,2
/proc/44426/task/44437/stat : 44437 (Finalizer) S 44423 44426 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49565823 19384713216 12196 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44444] ppid=44423 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/44426/task/44444/stat : 44444 (Common-Cleaner) S 44423 44426 43887 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 49565823 19384713216 12196 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48784 KiB
[startup+0.205802 s]*
/proc/loadavg: 4.28 4.22 4.13 7/321 44449
/proc/meminfo: memFree=101775804/131249996 swapFree=33010416/33010684
[pid=44426] ppid=44423 vsize=18930384 memory=61648 CPUtime=0.24 cores=0,2
/proc/44426/stat : 44426 (java) S 44423 44426 43887 0 -1 4194304 6928 0 0 0 22 2 0 0 20 0 18 0 49565815 19384713216 15412 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
/proc/44426/statm: 4732596 15412 5451 1 0 547855 0
[pid=44426/tid=44428] ppid=44423 vsize=18930384 memory=3472328300254199928 CPUtime=0.13 cores=0,2
/proc/44426/task/44428/stat : 44428 (java) R 44423 44426 43887 0 -1 4194368 5271 0 0 0 12 1 0 0 20 0 18 0 49565821 19384713216 15412 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44437] ppid=44423 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/44426/task/44437/stat : 44437 (Finalizer) S 44423 44426 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49565823 19384713216 15412 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44444] ppid=44423 vsize=18930384 memory=59585004335790 CPUtime=0 cores=0,2
/proc/44426/task/44444/stat : 44444 (Common-Cleaner) S 44423 44426 43887 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 49565823 19384713216 15412 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61648 KiB
[startup+0.305681 s]*
/proc/loadavg: 4.28 4.22 4.13 6/322 44453
/proc/meminfo: memFree=101762384/131249996 swapFree=33010416/33010684
[pid=44426] ppid=44423 vsize=18996948 memory=72456 CPUtime=0.43 cores=0,2
/proc/44426/stat : 44426 (java) S 44423 44426 43887 0 -1 4194304 9161 0 0 0 40 3 0 0 20 0 19 0 49565815 19452874752 18114 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
/proc/44426/statm: 4749237 18114 5483 1 0 549752 0
[pid=44426/tid=44428] ppid=44423 vsize=18996948 memory=-6000919472639207787 CPUtime=0.19 cores=0,2
/proc/44426/task/44428/stat : 44428 (java) R 44423 44426 43887 0 -1 4194368 5432 0 0 0 18 1 0 0 20 0 19 0 49565821 19452874752 18114 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44437] ppid=44423 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/44426/task/44437/stat : 44437 (Finalizer) S 44423 44426 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49565823 19452874752 18114 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44444] ppid=44423 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/44426/task/44444/stat : 44444 (Common-Cleaner) S 44423 44426 43887 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 49565823 19452874752 18114 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44453] ppid=44423 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/44426/task/44453/stat : 44453 (java) S 44423 44426 43887 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 19 0 49565845 19452874752 18114 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 72456 KiB
[startup+0.700223 s]
/proc/loadavg: 4.28 4.22 4.13 6/325 44459
/proc/meminfo: memFree=101730688/131249996 swapFree=33010416/33010684
[pid=44426] ppid=44423 vsize=18996948 memory=157268 CPUtime=1.18 cores=0,2
/proc/44426/stat : 44426 (java) S 44423 44426 43887 0 -1 4194304 10255 0 0 0 113 5 0 0 20 0 19 0 49565815 19452874752 39317 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
/proc/44426/statm: 4749237 39317 5483 1 0 550146 0
[pid=44426/tid=44428] ppid=44423 vsize=18996948 memory=17792 CPUtime=0.53 cores=0,2
/proc/44426/task/44428/stat : 44428 (java) R 44423 44426 43887 0 -1 4194368 5507 0 0 0 50 3 0 0 20 0 19 0 49565821 19452874752 39317 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44437] ppid=44423 vsize=18996948 memory=11008 CPUtime=0 cores=0,2
/proc/44426/task/44437/stat : 44437 (Finalizer) S 44423 44426 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49565823 19452874752 39317 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44444] ppid=44423 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/44426/task/44444/stat : 44444 (Common-Cleaner) S 44423 44426 43887 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 49565823 19452874752 39317 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44453] ppid=44423 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/44426/task/44453/stat : 44453 (Timer-0) S 44423 44426 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49565845 19452874752 39317 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 157268 KiB
[startup+1.50024 s]
/proc/loadavg: 4.28 4.22 4.13 5/322 44472
/proc/meminfo: memFree=101649588/131249996 swapFree=33010416/33010684
[pid=44426] ppid=44423 vsize=19063512 memory=177912 CPUtime=2.76 cores=0,2
/proc/44426/stat : 44426 (java) S 44423 44426 43887 0 -1 4194304 19783 0 0 0 269 7 0 0 20 0 20 0 49565815 19521036288 44478 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
/proc/44426/statm: 4765878 44478 5515 1 0 553246 0
[pid=44426/tid=44428] ppid=44423 vsize=19063512 memory=11008 CPUtime=1.28 cores=0,2
/proc/44426/task/44428/stat : 44428 (java) R 44423 44426 43887 0 -1 4194368 5932 0 0 0 124 4 0 0 20 0 20 0 49565821 19521036288 44478 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44437] ppid=44423 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/44426/task/44437/stat : 44437 (Finalizer) S 44423 44426 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49565823 19521036288 44478 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44444] ppid=44423 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/44426/task/44444/stat : 44444 (Common-Cleaner) S 44423 44426 43887 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 49565823 19521036288 44478 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44453] ppid=44423 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/44426/task/44453/stat : 44453 (Timer-0) S 44423 44426 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49565845 19521036288 44478 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177912 KiB
[startup+3.10555 s]
/proc/loadavg: 4.33 4.23 4.13 3/298 44501
/proc/meminfo: memFree=103215484/131249996 swapFree=33010416/33010684
[pid=44426] ppid=44423 vsize=19063512 memory=767352 CPUtime=5.3 cores=0,2
/proc/44426/stat : 44426 (java) S 44423 44426 43887 0 -1 4194304 22558 0 0 0 509 21 0 0 20 0 20 0 49565815 19521036288 191838 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
/proc/44426/statm: 4765878 191838 5515 1 0 659770 0
[pid=44426/tid=44428] ppid=44423 vsize=19063512 memory=11008 CPUtime=2.83 cores=0,2
/proc/44426/task/44428/stat : 44428 (java) R 44423 44426 43887 0 -1 4194368 6910 0 0 0 267 16 0 0 20 0 20 0 49565821 19521036288 191838 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44437] ppid=44423 vsize=19063512 memory=-6000919494231746667 CPUtime=0 cores=0,2
/proc/44426/task/44437/stat : 44437 (Finalizer) S 44423 44426 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49565823 19521036288 191838 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44444] ppid=44423 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/44426/task/44444/stat : 44444 (Common-Cleaner) S 44423 44426 43887 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 49565823 19521036288 191838 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44453] ppid=44423 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/44426/task/44453/stat : 44453 (Timer-0) S 44423 44426 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49565845 19521036288 191838 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
Current children cumulated CPU time: 5.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 767352 KiB
[startup+6.3002 s]
/proc/loadavg: 4.33 4.23 4.13 7/346 44578
/proc/meminfo: memFree=125428012/131249996 swapFree=33010416/33010684
[pid=44426] ppid=44423 vsize=19063512 memory=994928 CPUtime=8.59 cores=0,2
/proc/44426/stat : 44426 (java) S 44423 44426 43887 0 -1 4194304 22984 0 0 0 828 31 0 0 20 0 20 0 49565815 19521036288 248732 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
/proc/44426/statm: 4765878 248732 5515 1 0 659774 0
[pid=44426/tid=44428] ppid=44423 vsize=19063512 memory=0 CPUtime=5.97 cores=0,2
/proc/44426/task/44428/stat : 44428 (java) R 44423 44426 43887 0 -1 4194368 7227 0 0 0 572 25 0 0 20 0 20 0 49565821 19521036288 248732 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44437] ppid=44423 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/44426/task/44437/stat : 44437 (Finalizer) S 44423 44426 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49565823 19521036288 248732 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44444] ppid=44423 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/44426/task/44444/stat : 44444 (Common-Cleaner) S 44423 44426 43887 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 49565823 19521036288 248732 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44453] ppid=44423 vsize=19063512 memory=179964 CPUtime=0 cores=0,2
/proc/44426/task/44453/stat : 44453 (Timer-0) S 44423 44426 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49565845 19521036288 248732 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
Current children cumulated CPU time: 8.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 994928 KiB
[startup+12.7002 s]
/proc/loadavg: 4.51 4.27 4.15 5/346 44578
/proc/meminfo: memFree=120722284/131249996 swapFree=33010416/33010684
[pid=44426] ppid=44423 vsize=19063512 memory=1564408 CPUtime=15.15 cores=0,2
/proc/44426/stat : 44426 (java) S 44423 44426 43887 0 -1 4194304 23950 0 0 0 1466 49 0 0 20 0 20 0 49565815 19521036288 391102 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
/proc/44426/statm: 4765878 391102 5515 1 0 659776 0
[pid=44426/tid=44428] ppid=44423 vsize=19063512 memory=179964 CPUtime=12.26 cores=0,2
/proc/44426/task/44428/stat : 44428 (java) R 44423 44426 43887 0 -1 4194368 7995 0 0 0 1185 41 0 0 20 0 20 0 49565821 19521036288 391102 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44437] ppid=44423 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/44426/task/44437/stat : 44437 (Finalizer) S 44423 44426 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49565823 19521036288 391102 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44444] ppid=44423 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/44426/task/44444/stat : 44444 (Common-Cleaner) S 44423 44426 43887 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 49565823 19521036288 391102 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44453] ppid=44423 vsize=19063512 memory=280458949031040 CPUtime=0 cores=0,2
/proc/44426/task/44453/stat : 44453 (Timer-0) S 44423 44426 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49565845 19521036288 391102 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
Current children cumulated CPU time: 15.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1564408 KiB
[startup+25.5002 s]
/proc/loadavg: 4.51 4.28 4.15 6/346 44578
/proc/meminfo: memFree=115358400/131249996 swapFree=33010416/33010684
[pid=44426] ppid=44423 vsize=19063512 memory=1675236 CPUtime=28.17 cores=0,2
/proc/44426/stat : 44426 (java) S 44423 44426 43887 0 -1 4194304 28351 0 0 0 2750 67 0 0 20 0 20 0 49565815 19521036288 418809 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
/proc/44426/statm: 4765878 418809 5547 1 0 659778 0
[pid=44426/tid=44428] ppid=44423 vsize=19063512 memory=280458949031040 CPUtime=24.8 cores=0,2
/proc/44426/task/44428/stat : 44428 (java) R 44423 44426 43887 0 -1 4194368 9871 0 0 0 2424 56 0 0 20 0 20 0 49565821 19521036288 418809 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44437] ppid=44423 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/44426/task/44437/stat : 44437 (Finalizer) S 44423 44426 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49565823 19521036288 418809 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44444] ppid=44423 vsize=19063512 memory=1646420 CPUtime=0 cores=0,2
/proc/44426/task/44444/stat : 44444 (Common-Cleaner) S 44423 44426 43887 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 49565823 19521036288 418809 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44453] ppid=44423 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/44426/task/44453/stat : 44453 (Timer-0) S 44423 44426 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49565845 19521036288 418809 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
Current children cumulated CPU time: 28.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1675236 KiB
[startup+51.1057 s]
/proc/loadavg: 4.54 4.31 4.16 5/346 44578
/proc/meminfo: memFree=109423820/131249996 swapFree=33010416/33010684
[pid=44426] ppid=44423 vsize=19063512 memory=1724444 CPUtime=54.09 cores=0,2
/proc/44426/stat : 44426 (java) S 44423 44426 43887 0 -1 4194304 31839 0 0 0 5310 99 0 0 20 0 20 0 49565815 19521036288 431111 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
/proc/44426/statm: 4765878 431111 5547 1 0 659778 0
[pid=44426/tid=44428] ppid=44423 vsize=19063512 memory=11008 CPUtime=49.9 cores=0,2
/proc/44426/task/44428/stat : 44428 (java) R 44423 44426 43887 0 -1 4194368 11724 0 0 0 4903 87 0 0 20 0 20 0 49565821 19521036288 431111 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
################
# More data... #
################
Current children cumulated memory: 3657800 KiB
[startup+3282.3 s]
/proc/loadavg: 4.45 4.33 4.44 5/348 44830
/proc/meminfo: memFree=54942504/131249996 swapFree=33010416/33010684
[pid=44426] ppid=44423 vsize=19063512 memory=3657800 CPUtime=3293.25 cores=0,2
/proc/44426/stat : 44426 (java) S 44423 44426 43887 0 -1 4194304 173296 0 0 0 326395 2930 0 0 20 0 20 0 49565815 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
/proc/44426/statm: 4765878 914450 5547 1 0 927494 0
[pid=44426/tid=44428] ppid=44423 vsize=19063512 memory=11008 CPUtime=3184.58 cores=0,2
/proc/44426/task/44428/stat : 44428 (java) R 44423 44426 43887 0 -1 4194368 75967 0 0 0 315658 2800 0 0 20 0 20 0 49565821 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44437] ppid=44423 vsize=19063512 memory=3657800 CPUtime=0 cores=0,2
/proc/44426/task/44437/stat : 44437 (Finalizer) S 44423 44426 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49565823 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44444] ppid=44423 vsize=19063512 memory=3657800 CPUtime=0 cores=0,2
/proc/44426/task/44444/stat : 44444 (Common-Cleaner) S 44423 44426 43887 0 -1 4194368 1875 0 0 0 0 0 0 0 20 0 20 0 49565823 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44453] ppid=44423 vsize=19063512 memory=17792 CPUtime=0 cores=0,2
/proc/44426/task/44453/stat : 44453 (Timer-0) S 44423 44426 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49565845 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
Current children cumulated CPU time: 3293.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3657800 KiB
[startup+3342.3 s]
/proc/loadavg: 4.36 4.32 4.43 5/348 44832
/proc/meminfo: memFree=53639012/131249996 swapFree=33010416/33010684
[pid=44426] ppid=44423 vsize=19063512 memory=3657800 CPUtime=3353.84 cores=0,2
/proc/44426/stat : 44426 (java) S 44423 44426 43887 0 -1 4194304 177037 0 0 0 332407 2977 0 0 20 0 20 0 49565815 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
/proc/44426/statm: 4765878 914450 5547 1 0 927494 0
[pid=44426/tid=44428] ppid=44423 vsize=19063512 memory=3657800 CPUtime=3242.73 cores=0,2
/proc/44426/task/44428/stat : 44428 (java) R 44423 44426 43887 0 -1 4194368 77491 0 0 0 321429 2844 0 0 20 0 20 0 49565821 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44437] ppid=44423 vsize=19063512 memory=3657800 CPUtime=0 cores=0,2
/proc/44426/task/44437/stat : 44437 (Finalizer) S 44423 44426 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49565823 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44444] ppid=44423 vsize=19063512 memory=3657800 CPUtime=0 cores=0,2
/proc/44426/task/44444/stat : 44444 (Common-Cleaner) S 44423 44426 43887 0 -1 4194368 1903 0 0 0 0 0 0 0 20 0 20 0 49565823 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44453] ppid=44423 vsize=19063512 memory=3657800 CPUtime=0 cores=0,2
/proc/44426/task/44453/stat : 44453 (Timer-0) S 44423 44426 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49565845 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
Current children cumulated CPU time: 3353.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3657800 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.27 4.40 5/348 44834
/proc/meminfo: memFree=52312804/131249996 swapFree=33010416/33010684
[pid=44426] ppid=44423 vsize=19063512 memory=3657800 CPUtime=3410.45 cores=0,2
/proc/44426/stat : 44426 (java) S 44423 44426 43887 0 -1 4194304 177325 0 0 0 338026 3019 0 0 20 0 20 0 49565815 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
/proc/44426/statm: 4765878 914450 5547 1 0 927494 0
[pid=44426/tid=44428] ppid=44423 vsize=19063512 memory=3657800 CPUtime=3297.86 cores=0,2
/proc/44426/task/44428/stat : 44428 (java) R 44423 44426 43887 0 -1 4194368 77631 0 0 0 326901 2885 0 0 20 0 20 0 49565821 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44437] ppid=44423 vsize=19063512 memory=17792 CPUtime=0 cores=0,2
/proc/44426/task/44437/stat : 44437 (Finalizer) S 44423 44426 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49565823 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44444] ppid=44423 vsize=19063512 memory=17792 CPUtime=0 cores=0,2
/proc/44426/task/44444/stat : 44444 (Common-Cleaner) S 44423 44426 43887 0 -1 4194368 1962 0 0 0 0 0 0 0 20 0 20 0 49565823 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44453] ppid=44423 vsize=19063512 memory=3657800 CPUtime=0 cores=0,2
/proc/44426/task/44453/stat : 44453 (Timer-0) S 44423 44426 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49565845 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
Current children cumulated CPU time: 3410.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3657800 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.25 4.39 5/347 44836
/proc/meminfo: memFree=51088352/131249996 swapFree=33010416/33010684
[pid=44426] ppid=44423 vsize=19063512 memory=3657800 CPUtime=3472.08 cores=0,2
/proc/44426/stat : 44426 (java) S 44423 44426 43887 0 -1 4194304 182350 0 0 0 344142 3066 0 0 20 0 20 0 49565815 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
/proc/44426/statm: 4765878 914450 5547 1 0 927494 0
[pid=44426/tid=44428] ppid=44423 vsize=19063512 memory=14464 CPUtime=3356.82 cores=0,2
/proc/44426/task/44428/stat : 44428 (java) R 44423 44426 43887 0 -1 4194368 80859 0 0 0 332752 2930 0 0 20 0 20 0 49565821 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44437] ppid=44423 vsize=19063512 memory=3657800 CPUtime=0 cores=0,2
/proc/44426/task/44437/stat : 44437 (Finalizer) S 44423 44426 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49565823 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44444] ppid=44423 vsize=19063512 memory=3657800 CPUtime=0 cores=0,2
/proc/44426/task/44444/stat : 44444 (Common-Cleaner) S 44423 44426 43887 0 -1 4194368 1962 0 0 0 0 0 0 0 20 0 20 0 49565823 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44453] ppid=44423 vsize=19063512 memory=2716 CPUtime=0 cores=0,2
/proc/44426/task/44453/stat : 44453 (Timer-0) S 44423 44426 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49565845 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
Current children cumulated CPU time: 3472.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3657800 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.22 4.36 5/347 44841
/proc/meminfo: memFree=49918068/131249996 swapFree=33010416/33010684
[pid=44426] ppid=44423 vsize=19063512 memory=3657800 CPUtime=3532.76 cores=0,2
/proc/44426/stat : 44426 (java) S 44423 44426 43887 0 -1 4194304 184505 0 0 0 350166 3110 0 0 20 0 20 0 49565815 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
/proc/44426/statm: 4765878 914450 5547 1 0 927494 0
[pid=44426/tid=44428] ppid=44423 vsize=19063512 memory=3657800 CPUtime=3415.8 cores=0,2
/proc/44426/task/44428/stat : 44428 (java) R 44423 44426 43887 0 -1 4194368 82283 0 0 0 338608 2972 0 0 20 0 20 0 49565821 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44437] ppid=44423 vsize=19063512 memory=3657800 CPUtime=0 cores=0,2
/proc/44426/task/44437/stat : 44437 (Finalizer) S 44423 44426 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49565823 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44444] ppid=44423 vsize=19063512 memory=-6000919494231746667 CPUtime=0 cores=0,2
/proc/44426/task/44444/stat : 44444 (Common-Cleaner) S 44423 44426 43887 0 -1 4194368 2026 0 0 0 0 0 0 0 20 0 20 0 49565823 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44453] ppid=44423 vsize=19063512 memory=2372 CPUtime=0 cores=0,2
/proc/44426/task/44453/stat : 44453 (Timer-0) S 44423 44426 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49565845 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
Current children cumulated CPU time: 3532.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3657800 KiB
[startup+3582.3 s]
/proc/loadavg: 4.45 4.32 4.39 5/347 44843
/proc/meminfo: memFree=48849188/131249996 swapFree=33010416/33010684
[pid=44426] ppid=44423 vsize=19063512 memory=3657800 CPUtime=3593.98 cores=0,2
/proc/44426/stat : 44426 (java) S 44423 44426 43887 0 -1 4194304 188471 0 0 0 356244 3154 0 0 20 0 20 0 49565815 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
/proc/44426/statm: 4765878 914450 5547 1 0 927494 0
[pid=44426/tid=44428] ppid=44423 vsize=19063512 memory=3657800 CPUtime=3474.9 cores=0,2
/proc/44426/task/44428/stat : 44428 (java) R 44423 44426 43887 0 -1 4194368 83639 0 0 0 344476 3014 0 0 20 0 20 0 49565821 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44437] ppid=44423 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/44426/task/44437/stat : 44437 (Finalizer) S 44423 44426 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49565823 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44444] ppid=44423 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/44426/task/44444/stat : 44444 (Common-Cleaner) S 44423 44426 43887 0 -1 4194368 2081 0 0 0 0 0 0 0 20 0 20 0 49565823 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44453] ppid=44423 vsize=19063512 memory=3657800 CPUtime=0 cores=0,2
/proc/44426/task/44453/stat : 44453 (Timer-0) S 44423 44426 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49565845 19521036288 914450 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
Current children cumulated CPU time: 3593.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3657800 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3588.3 s]
/proc/loadavg: 4.49 4.33 4.39 5/347 44843
/proc/meminfo: memFree=48715448/131249996 swapFree=33010416/33010684
[pid=44426] ppid=44423 vsize=19063512 memory=3658056 CPUtime=3600.06 cores=0,2
/proc/44426/stat : 44426 (java) S 44423 44426 43887 0 -1 4194304 188494 0 0 0 356847 3159 0 0 20 0 20 0 49565815 19521036288 914514 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
/proc/44426/statm: 4765878 914514 5547 1 0 927494 0
[pid=44426/tid=44428] ppid=44423 vsize=19063512 memory=14464 CPUtime=3480.79 cores=0,2
/proc/44426/task/44428/stat : 44428 (java) R 44423 44426 43887 0 -1 4194368 83640 0 0 0 345061 3018 0 0 20 0 20 0 49565821 19521036288 914514 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44437] ppid=44423 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/44426/task/44437/stat : 44437 (Finalizer) S 44423 44426 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49565823 19521036288 914514 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44444] ppid=44423 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/44426/task/44444/stat : 44444 (Common-Cleaner) S 44423 44426 43887 0 -1 4194368 2081 0 0 0 0 0 0 0 20 0 20 0 49565823 19521036288 914514 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
[pid=44426/tid=44453] ppid=44423 vsize=19063512 memory=3657800 CPUtime=0 cores=0,2
/proc/44426/task/44453/stat : 44453 (Timer-0) S 44423 44426 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49565845 19521036288 914514 18446744073709551615 94317126131712 94317126135408 140734455836448 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94317126143224 94317126144016 94317142282240 140734455843120 140734455843302 140734455843302 140734455848904 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3658056 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3589.07 s]
# the end of solver process 44426 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3568.69 s, system=31.6739 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3588.8 s]
/proc/loadavg: 4.49 4.33 4.39 5/329 44846
/proc/meminfo: memFree=52369724/131249996 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3589 s]*
/proc/loadavg: 4.49 4.33 4.39 4/329 44846
/proc/meminfo: memFree=52389292/131249996 swapFree=33010416/33010684
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): 3589.07
CPU time (s): 3600.37
CPU user time (s): 3568.69
CPU system time (s): 31.6739
CPU usage (%): 100.315
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3658824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.69
system time used= 31.6739
maximum resident set size= 3658824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189842
page faults= 0
swaps= 0
block input operations= 40
block output operations= 73932264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 162005
involuntary context switches= 19460
# summary of solver processes directly reported to runsolver:
# pid: 44426
# total CPU time (s): 3600.37
# total CPU user time (s): 3568.69
# total CPU system time (s): 31.6739
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45572 second user time and 17.4641 second system time
The end
Begin job on nodeC030 at 2025-07-01 05:01:02 IDJOB=4487721 IDBENCH=147219 IDSOLVER=3364 FILE ID=nodeC030/4487721-1751338862 RUNJOBID= nodeC030-1751335254-43897 SLURM_JOB_ID= 9594379 Free space on /tmp= 433032 MiB SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4487721-1751338862/watcher-4487721-1751338862 -o /tmp/evaluation-result-4487721-1751338862/solver-4487721-1751338862 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751335254-43897 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4487721-1751338862 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4487721-1751338862.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 30811ed4729c90bd058f0c8aab264377 RANDOM SEED=1978728542 nodeC030 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 : 3601.163 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 : 7000.62 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 : 3600.345 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 : 7000.62 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.377 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 : 7000.62 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 : 3600.067 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 : 7000.62 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 : 3600.351 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 : 7000.62 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 : 3600.327 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 : 7000.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.326 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 : 7000.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.542 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 : 7000.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 99626672 kB MemAvailable: 124140796 kB Buffers: 2564 kB Cached: 25286428 kB SwapCached: 16 kB Active: 6029512 kB Inactive: 24935600 kB Active(anon): 5689000 kB Inactive(anon): 4660 kB Active(file): 340512 kB Inactive(file): 24930940 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 225920 kB Writeback: 0 kB AnonPages: 5678676 kB Mapped: 123408 kB Shmem: 18048 kB KReclaimable: 163420 kB Slab: 259376 kB SReclaimable: 163420 kB SUnreclaim: 95956 kB KernelStack: 5328 kB PageTables: 14776 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 7090012 kB VmallocTotal: 34359738367 kB VmallocUsed: 151576 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 5449728 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: 189140 kB DirectMap2M: 9019392 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433032 MiB End job on nodeC030 at 2025-07-01 06:00:52