| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2025-06-06 | SAT (TO) | 303 | 3600.74 | 3468.91 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-max1024.r.opb |
| MD5SUM | 661b9222a6bc80fb313039094bf52923 |
| 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 | 245 |
| Best CPU time to get the best result obtained on this benchmark | 0.466145 |
| 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 | 1264 |
| Total number of constraints | 1090 |
| Number of constraints which are clauses | 1090 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 1264 |
| 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 | 1264 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1264 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.12/0.16 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.12/0.16 c This is free software under the dual EPL/GNU LGPL licenses. 0.12/0.16 c See www.sat4j.org for details. 0.12/0.18 c version PB25.v20250606 0.12/0.20 c java.runtime.name OpenJDK Runtime Environment 0.12/0.20 c java.vm.name OpenJDK 64-Bit Server VM 0.12/0.20 c java.vm.version 22.0.1+8-16 0.12/0.20 c java.vm.vendor Oracle Corporation 0.12/0.20 c sun.arch.data.model 64 0.12/0.20 c java.version 22.0.1 0.12/0.20 c os.name Linux 0.12/0.20 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.12/0.20 c os.arch amd64 0.12/0.22 c Free memory 2104792832 0.12/0.22 c Max memory 16282288128 0.12/0.22 c Total memory 2113929216 0.12/0.22 c Number of processors 2 0.45/0.33 c Pseudo Boolean Optimization by upper bound 0.45/0.33 c --- Begin Solver configuration --- 0.45/0.33 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.45/0.33 c Learn all clauses as in MiniSAT 0.45/0.33 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.45/0.33 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.45/0.33 c Expensive reason simplification 0.45/0.33 c Glucose 2.1 dynamic restart strategy 0.45/0.33 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.45/0.33 c timeout=2147483s 0.45/0.33 c DB Simplification allowed=false 0.45/0.33 c Listener: none 0.45/0.33 c --- End Solver configuration --- 0.45/0.33 c solving HOME/instance-4490940-1751367666.opb 0.45/0.33 c reading problem ... 0.45/0.34 c objective function found 0.62/0.50 c ... done. Wall clock time 0.164s. 0.62/0.50 c declared #vars 1264 0.62/0.50 c #constraints 1090 0.62/0.50 c constraints type 0.62/0.50 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 100 0.62/0.50 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 990 0.62/0.50 c 1090 constraints processed. 0.62/0.52 c objective function length is 1264 literals 0.80/0.55 c SATISFIABLE 0.80/0.55 c OPTIMIZING... 0.80/0.55 c Got one! Elapsed wall clock time (in seconds):0.217 0.80/0.55 o 303 2.91/1.63 c cleaning 2493 clauses out of 5000 with flag 10271/5000 3.55/2.04 c cleaning 4247 clauses out of 8507 with flag 22574/11000 4.35/2.51 c cleaning 5622 clauses out of 11260 with flag 37580/18000 4.81/2.96 c cleaning 6812 clauses out of 13639 with flag 54693/26001 5.58/3.66 c cleaning 7905 clauses out of 15827 with flag 74042/35001 6.45/4.32 c cleaning 8953 clauses out of 17921 with flag 96078/45000 8.09/5.93 c cleaning 9975 clauses out of 19968 with flag 119571/56000 9.10/6.82 c cleaning 10991 clauses out of 21993 with flag 144876/68000 9.97/7.65 c cleaning 11994 clauses out of 24002 with flag 173617/81000 10.99/8.57 c cleaning 13001 clauses out of 26009 with flag 203497/95001 11.88/9.46 c cleaning 13997 clauses out of 28007 with flag 235160/110000 12.88/10.49 c cleaning 14998 clauses out of 30011 with flag 271137/126001 14.46/11.70 c cleaning 15997 clauses out of 32012 with flag 308669/143000 15.62/12.80 c cleaning 17004 clauses out of 34015 with flag 346586/161000 16.93/14.08 c cleaning 17997 clauses out of 36012 with flag 388594/180001 19.04/16.00 c cleaning 18999 clauses out of 38015 with flag 433412/200001 21.04/18.05 c cleaning 20000 clauses out of 40016 with flag 480479/221001 22.59/19.59 c cleaning 20998 clauses out of 42015 with flag 528997/243000 24.19/21.12 c cleaning 22002 clauses out of 44017 with flag 579483/266000 25.72/22.67 c cleaning 22994 clauses out of 46015 with flag 630948/290000 27.89/24.60 c cleaning 24005 clauses out of 48021 with flag 687108/315000 29.49/26.28 c cleaning 25005 clauses out of 50017 with flag 743432/341001 32.92/29.42 c cleaning 25998 clauses out of 52011 with flag 802590/368000 34.92/31.48 c cleaning 27001 clauses out of 54013 with flag 862047/396000 37.22/33.65 c cleaning 28000 clauses out of 56012 with flag 924356/425000 39.78/36.05 c cleaning 29000 clauses out of 58013 with flag 986539/455001 42.16/38.28 c cleaning 29996 clauses out of 60012 with flag 1052857/486000 44.26/40.31 c cleaning 30997 clauses out of 62016 with flag 1121795/518000 46.62/42.62 c cleaning 32000 clauses out of 64020 with flag 1194070/551001 49.41/45.31 c cleaning 32995 clauses out of 66020 with flag 1268972/585001 53.28/49.10 c cleaning 34001 clauses out of 68024 with flag 1345365/620000 56.50/52.10 c cleaning 35003 clauses out of 70025 with flag 1425099/656002 59.19/54.78 c cleaning 36000 clauses out of 72021 with flag 1506623/693001 63.46/58.92 c cleaning 36998 clauses out of 74020 with flag 1585886/731000 66.79/62.16 c cleaning 38002 clauses out of 76022 with flag 1673077/770000 70.39/65.60 c cleaning 38997 clauses out of 78020 with flag 1761534/810000 73.67/68.74 c cleaning 39999 clauses out of 80024 with flag 1850047/851001 77.45/72.33 c cleaning 41004 clauses out of 82024 with flag 1938142/893000 81.45/76.15 c cleaning 42003 clauses out of 84022 with flag 2032335/936002 87.01/80.27 c cleaning 42997 clauses out of 86019 with flag 2128163/980002 91.03/84.01 c cleaning 44005 clauses out of 88022 with flag 2226519/1025002 95.14/88.00 c cleaning 44997 clauses out of 90015 with flag 2326426/1071000 100.68/93.26 c cleaning 46002 clauses out of 92018 with flag 2428586/1118000 104.74/97.04 c cleaning 47000 clauses out of 94017 with flag 2535443/1166001 109.67/101.75 c cleaning 48000 clauses out of 96019 with flag 2643606/1215003 113.96/105.88 c cleaning 48997 clauses out of 98016 with flag 2751357/1265000 118.60/110.23 c cleaning 50004 clauses out of 100020 with flag 2862127/1316001 124.05/115.39 c cleaning 51001 clauses out of 102016 with flag 2970992/1368001 129.71/120.89 c cleaning 51994 clauses out of 104014 with flag 3087856/1421000 134.74/125.74 c cleaning 53001 clauses out of 106022 with flag 3206819/1475002 139.27/130.12 c cleaning 54001 clauses out of 108019 with flag 3323355/1530000 143.76/134.50 c cleaning 54999 clauses out of 110019 with flag 3444957/1586001 148.61/139.20 c cleaning 55998 clauses out of 112019 with flag 3569919/1643000 153.75/144.33 c cleaning 56999 clauses out of 114022 with flag 3697268/1701001 158.81/149.33 c cleaning 57997 clauses out of 116023 with flag 3826193/1760001 163.52/154.01 c cleaning 59002 clauses out of 118025 with flag 3961904/1820000 168.30/158.84 c cleaning 60000 clauses out of 120023 with flag 4099643/1881000 172.99/163.55 c cleaning 60999 clauses out of 122023 with flag 4238325/1943000 178.17/168.76 c cleaning 62001 clauses out of 124026 with flag 4381390/2006002 183.06/173.67 c cleaning 63001 clauses out of 126025 with flag 4524454/2070002 188.57/179.17 c cleaning 63997 clauses out of 128022 with flag 4671574/2135000 194.14/184.73 c cleaning 65003 clauses out of 130025 with flag 4821641/2201000 200.89/190.67 c cleaning 65996 clauses out of 132022 with flag 4971483/2268000 208.83/196.83 c cleaning 67000 clauses out of 134027 with flag 5125242/2336001 214.98/202.82 c cleaning 68001 clauses out of 136026 with flag 5281911/2405000 222.09/209.68 c cleaning 69002 clauses out of 138025 with flag 5438122/2475000 228.81/216.15 c cleaning 69996 clauses out of 140024 with flag 5598624/2546001 236.14/223.34 c cleaning 71004 clauses out of 142028 with flag 5757366/2618001 243.43/230.24 c cleaning 72000 clauses out of 144024 with flag 5915964/2691001 250.78/237.33 c cleaning 72997 clauses out of 146024 with flag 6082950/2765001 258.93/245.30 c cleaning 73998 clauses out of 148027 with flag 6252928/2840001 267.50/253.42 c cleaning 75001 clauses out of 150028 with flag 6423390/2916000 275.59/261.33 c cleaning 75997 clauses out of 152028 with flag 6596281/2993001 285.22/269.55 c cleaning 77001 clauses out of 154030 with flag 6772778/3071000 293.56/277.65 c cleaning 78008 clauses out of 156029 with flag 6946991/3150000 303.77/287.45 c cleaning 79002 clauses out of 158021 with flag 7126322/3230000 312.14/295.52 c cleaning 80001 clauses out of 160019 with flag 7309426/3311000 320.98/304.20 c cleaning 80997 clauses out of 162019 with flag 7489910/3393001 331.00/313.78 c cleaning 81992 clauses out of 164021 with flag 7675474/3476000 340.25/322.54 c cleaning 82997 clauses out of 166030 with flag 7865309/3560001 349.01/331.09 c cleaning 84001 clauses out of 168032 with flag 8056319/3645000 358.06/339.69 c cleaning 85000 clauses out of 170031 with flag 8249322/3731000 367.07/348.44 c cleaning 86002 clauses out of 172032 with flag 8444229/3818001 378.25/359.25 c cleaning 87002 clauses out of 174029 with flag 8645830/3906000 387.15/367.95 c cleaning 88002 clauses out of 176028 with flag 8849231/3995001 396.60/376.98 c cleaning 88999 clauses out of 178025 with flag 9053917/4085000 405.99/385.90 c cleaning 89997 clauses out of 180026 with flag 9262299/4176000 416.15/395.97 c cleaning 91002 clauses out of 182029 with flag 9473552/4268000 427.51/404.88 c cleaning 92002 clauses out of 184027 with flag 9684670/4361000 437.36/414.59 c cleaning 93004 clauses out of 186026 with flag 9894635/4455001 446.82/423.58 c cleaning 94001 clauses out of 188022 with flag 10111297/4550001 456.52/433.04 c cleaning 95000 clauses out of 190021 with flag 10330364/4646001 466.18/442.25 c cleaning 95997 clauses out of 192020 with flag 10543490/4743000 476.34/452.17 c cleaning 97000 clauses out of 194023 with flag 10758015/4841000 488.01/463.25 c cleaning 97996 clauses out of 196024 with flag 10984620/4940001 498.03/473.10 c cleaning 99004 clauses out of 198028 with flag 11213535/5040001 509.64/483.92 c cleaning 100001 clauses out of 200023 with flag 11440345/5141000 519.82/493.93 c cleaning 101000 clauses out of 202023 with flag 11669621/5243001 531.48/505.10 c cleaning 101996 clauses out of 204022 with flag 11901422/5346000 542.90/515.96 c cleaning 102997 clauses out of 206026 with flag 12140364/5450000 553.49/526.21 c cleaning 104001 clauses out of 208029 with flag 12381173/5555000 565.48/537.74 c cleaning 105002 clauses out of 210029 with flag 12624120/5661001 577.03/549.08 c cleaning 106003 clauses out of 212026 with flag 12868341/5768000 587.53/559.18 c cleaning 106999 clauses out of 214024 with flag 13114153/5876001 599.79/570.84 c cleaning 107999 clauses out of 216024 with flag 13363409/5985000 611.57/582.34 c cleaning 108998 clauses out of 218025 with flag 13615426/6095000 626.88/595.26 c cleaning 110000 clauses out of 220027 with flag 13870019/6206000 638.89/607.04 c cleaning 111001 clauses out of 222027 with flag 14126752/6318000 653.48/621.02 c cleaning 112005 clauses out of 224027 with flag 14385611/6431001 667.25/634.23 c cleaning 112999 clauses out of 226022 with flag 14645766/6545001 679.26/645.98 c cleaning 114004 clauses out of 228023 with flag 14908300/6660001 692.69/658.89 c cleaning 114998 clauses out of 230018 with flag 15161322/6776000 704.71/670.66 c cleaning 116000 clauses out of 232020 with flag 15419017/6893000 717.18/682.78 c cleaning 117002 clauses out of 234021 with flag 15678626/7011001 731.21/696.24 c cleaning 117997 clauses out of 236019 with flag 15937746/7130001 743.70/708.43 c cleaning 119002 clauses out of 238023 with flag 16200434/7250002 758.76/723.02 c cleaning 120000 clauses out of 240019 with flag 16467677/7371000 772.72/736.48 c cleaning 121000 clauses out of 242019 with flag 16732290/7493000 788.77/752.22 c cleaning 122000 clauses out of 244019 with flag 16997813/7616000 804.10/766.99 c cleaning 122995 clauses out of 246020 with flag 17269127/7740001 821.66/783.96 c cleaning 123998 clauses out of 248024 with flag 17542129/7865000 837.87/799.49 c cleaning 125001 clauses out of 250027 with flag 17817795/7991001 854.55/813.33 c cleaning 126003 clauses out of 252026 with flag 18097885/8118001 870.52/828.63 c cleaning 126995 clauses out of 254022 with flag 18369052/8246000 886.37/844.02 c cleaning 128005 clauses out of 256029 with flag 18645283/8375002 902.15/859.69 c cleaning 129001 clauses out of 258023 with flag 18929459/8505001 919.07/876.11 c cleaning 129998 clauses out of 260021 with flag 19215083/8636000 934.57/891.24 c cleaning 131000 clauses out of 262024 with flag 19501917/8768001 951.49/907.29 c cleaning 131998 clauses out of 264024 with flag 19791016/8901001 969.75/925.28 c cleaning 133006 clauses out of 266025 with flag 20083159/9035000 988.79/943.64 c cleaning 133997 clauses out of 268019 with flag 20387282/9170000 1005.84/960.38 c cleaning 135000 clauses out of 270023 with flag 20693092/9306001 1022.49/976.37 c cleaning 135999 clauses out of 272022 with flag 21002050/9443000 1039.24/992.87 c cleaning 137000 clauses out of 274024 with flag 21312992/9581001 1057.73/1010.87 c cleaning 138001 clauses out of 276024 with flag 21622820/9720001 1074.69/1027.07 c cleaning 139003 clauses out of 278022 with flag 21935345/9860000 1091.40/1043.36 c cleaning 139996 clauses out of 280020 with flag 22254560/10001001 1112.67/1063.96 c cleaning 140997 clauses out of 282023 with flag 22572514/10143000 1129.51/1080.49 c cleaning 141994 clauses out of 284026 with flag 22897207/10286000 1149.05/1099.34 c cleaning 143003 clauses out of 286032 with flag 23225843/10430000 1170.21/1119.63 c cleaning 144004 clauses out of 288029 with flag 23545260/10575000 1191.22/1137.79 c cleaning 144999 clauses out of 290026 with flag 23873606/10721001 1211.02/1156.89 c cleaning 146001 clauses out of 292028 with flag 24206158/10868002 1231.83/1177.26 c cleaning 146999 clauses out of 294025 with flag 24540547/11016000 1250.38/1195.04 c cleaning 148003 clauses out of 296026 with flag 24876055/11165000 1267.38/1211.67 c cleaning 149004 clauses out of 298023 with flag 25215288/11315000 1285.06/1228.56 c cleaning 149999 clauses out of 300020 with flag 25542324/11466001 1303.47/1246.54 c cleaning 150998 clauses out of 302020 with flag 25869337/11618000 1323.21/1265.58 c cleaning 152000 clauses out of 304022 with flag 26197572/11771000 1342.87/1284.89 c cleaning 153000 clauses out of 306023 with flag 26528586/11925001 1365.16/1306.50 c cleaning 154002 clauses out of 308022 with flag 26860942/12080000 1387.35/1327.93 c cleaning 155000 clauses out of 310021 with flag 27196760/12236001 1409.72/1349.88 c cleaning 156001 clauses out of 312020 with flag 27538981/12393000 1429.30/1368.64 c cleaning 156996 clauses out of 314020 with flag 27889970/12551001 1446.28/1385.25 c cleaning 158000 clauses out of 316023 with flag 28249633/12710000 1464.73/1403.07 c cleaning 159003 clauses out of 318024 with flag 28607110/12870001 1486.01/1423.50 c cleaning 159993 clauses out of 320020 with flag 28965553/13031000 1505.85/1442.96 c cleaning 160999 clauses out of 322027 with flag 29329675/13193000 1530.51/1463.99 c cleaning 162003 clauses out of 324029 with flag 29694816/13356001 1552.85/1485.97 c cleaning 163001 clauses out of 326028 with flag 30059027/13520003 1573.15/1505.15 c cleaning 163999 clauses out of 328024 with flag 30425729/13685000 1592.90/1524.48 c cleaning 165003 clauses out of 330026 with flag 30790352/13851001 1615.42/1546.07 c cleaning 166000 clauses out of 332022 with flag 31162475/14018000 1637.26/1567.31 c cleaning 167003 clauses out of 334023 with flag 31536656/14186001 1657.11/1586.80 c cleaning 167998 clauses out of 336019 with flag 31912220/14355000 1678.96/1607.93 c cleaning 168998 clauses out of 338021 with flag 32291395/14525000 1698.90/1627.52 c cleaning 170001 clauses out of 340024 with flag 32670910/14696001 1718.44/1646.35 c cleaning 171002 clauses out of 342023 with flag 33056759/14868001 1739.02/1666.53 c cleaning 171995 clauses out of 344020 with flag 33442749/15041000 1760.40/1687.14 c cleaning 172999 clauses out of 346025 with flag 33830636/15215000 1782.67/1709.02 c cleaning 174006 clauses out of 348027 with flag 34218324/15390001 1804.90/1730.49 c cleaning 174996 clauses out of 350020 with flag 34608058/15566000 1826.31/1751.41 c cleaning 175999 clauses out of 352024 with flag 35002470/15743000 1849.40/1773.58 c cleaning 177001 clauses out of 354026 with flag 35398926/15921001 1869.18/1792.90 c cleaning 178001 clauses out of 356024 with flag 35785840/16100000 1892.26/1815.36 c cleaning 179000 clauses out of 358023 with flag 36173400/16280000 1914.61/1837.29 c cleaning 180002 clauses out of 360025 with flag 36569006/16461002 1941.10/1859.58 c cleaning 181000 clauses out of 362022 with flag 36961859/16643001 1963.51/1881.63 c cleaning 181998 clauses out of 364024 with flag 37363163/16826003 1988.53/1905.86 c cleaning 183001 clauses out of 366024 with flag 37766435/17010001 2010.01/1926.88 c cleaning 184002 clauses out of 368023 with flag 38166683/17195001 2034.04/1949.82 c cleaning 185003 clauses out of 370020 with flag 38581701/17381000 2057.35/1972.56 c cleaning 185998 clauses out of 372017 with flag 38990200/17568000 2079.36/1994.11 c cleaning 186998 clauses out of 374019 with flag 39412725/17756000 2102.65/2016.53 c cleaning 187996 clauses out of 376021 with flag 39834005/17945000 2125.91/2039.35 c cleaning 189001 clauses out of 378025 with flag 40257657/18135000 2149.68/2062.28 c cleaning 190003 clauses out of 380025 with flag 40685140/18326001 2173.35/2085.42 c cleaning 191002 clauses out of 382021 with flag 41112285/18518000 2198.83/2109.95 c cleaning 191993 clauses out of 384020 with flag 41539385/18711001 2225.15/2135.75 c cleaning 193000 clauses out of 386026 with flag 41971258/18905000 2248.86/2158.43 c cleaning 194000 clauses out of 388026 with flag 42404730/19100000 2273.01/2182.05 c cleaning 194997 clauses out of 390026 with flag 42843359/19296000 2299.10/2207.01 c cleaning 196002 clauses out of 392031 with flag 43283763/19493002 2323.41/2230.89 c cleaning 197001 clauses out of 394027 with flag 43719720/19691000 2353.86/2256.81 c cleaning 198000 clauses out of 396027 with flag 44162964/19890001 2378.38/2280.83 c cleaning 199001 clauses out of 398028 with flag 44610349/20090002 2406.96/2308.53 c cleaning 200003 clauses out of 400025 with flag 45052142/20291000 2434.51/2335.57 c cleaning 201002 clauses out of 402022 with flag 45473372/20493000 2460.72/2360.76 c cleaning 201998 clauses out of 404021 with flag 45911532/20696001 2493.88/2393.47 c cleaning 203004 clauses out of 406023 with flag 46351729/20900001 2526.90/2425.54 c cleaning 203995 clauses out of 408018 with flag 46793242/21105000 2571.95/2470.26 c cleaning 205005 clauses out of 410023 with flag 47247451/21311000 2612.85/2510.49 c cleaning 205998 clauses out of 412018 with flag 47686508/21518000 2652.28/2548.89 c cleaning 206998 clauses out of 414020 with flag 48127528/21726000 2698.34/2594.39 c cleaning 208004 clauses out of 416023 with flag 48574471/21935001 2743.33/2638.23 c cleaning 208992 clauses out of 418018 with flag 49034617/22145000 2786.08/2680.52 c cleaning 209995 clauses out of 420026 with flag 49499372/22356000 2817.28/2710.99 c cleaning 211004 clauses out of 422031 with flag 49964050/22568000 2859.37/2748.00 c cleaning 212004 clauses out of 424027 with flag 50445806/22781000 2894.89/2782.94 c cleaning 212996 clauses out of 426023 with flag 50930405/22995000 2934.12/2821.28 c cleaning 214004 clauses out of 428028 with flag 51413766/23210001 2966.42/2853.05 c cleaning 214998 clauses out of 430024 with flag 51894288/23426001 2998.23/2884.11 c cleaning 216002 clauses out of 432027 with flag 52390067/23643002 3034.85/2919.59 c cleaning 216994 clauses out of 434024 with flag 52877485/23861001 3069.94/2954.06 c cleaning 217999 clauses out of 436029 with flag 53372276/24080000 3107.30/2990.68 c cleaning 219004 clauses out of 438030 with flag 53866452/24300000 3146.00/3028.31 c cleaning 219999 clauses out of 440027 with flag 54358883/24521001 3180.17/3061.94 c cleaning 220997 clauses out of 442028 with flag 54855762/24743001 3213.51/3094.54 c cleaning 222007 clauses out of 444031 with flag 55357160/24966001 3250.27/3130.33 c cleaning 223003 clauses out of 446023 with flag 55860980/25190000 3282.71/3161.60 c cleaning 223997 clauses out of 448020 with flag 56362715/25415000 3313.89/3192.25 c cleaning 224997 clauses out of 450023 with flag 56862701/25641000 3350.40/3224.77 c cleaning 226000 clauses out of 452026 with flag 57368561/25868000 3388.26/3261.52 c cleaning 227002 clauses out of 454029 with flag 57868889/26096003 3424.05/3296.83 c cleaning 227997 clauses out of 456024 with flag 58384123/26325000 3456.78/3328.89 c cleaning 228996 clauses out of 458028 with flag 58899158/26555001 3497.77/3368.88 c cleaning 230011 clauses out of 460031 with flag 59412090/26786000 3541.69/3411.60 c cleaning 231002 clauses out of 462021 with flag 59916835/27018001 3575.59/3444.96 c cleaning 231997 clauses out of 464018 with flag 60421824/27251000 3600.01/3468.54 c starts : 2 3600.01/3468.57 c conflicts : 27465602 3600.01/3468.57 c decisions : 40421292 3600.01/3468.57 c propagations : 430315207 3600.01/3468.57 c inspects : 9598152507 3600.01/3468.57 c shortcuts : 0 3600.01/3468.58 c learnt literals : 0 3600.01/3468.58 c learnt binary clauses : 0 3600.01/3468.58 c learnt ternary clauses : 0 3600.01/3468.58 c learnt constraints : 27465602 3600.01/3468.58 c ignored constraints : 0 3600.01/3468.58 c root simplifications : 0 3600.01/3468.58 c removed literals (reason simplification) : 15838751 3600.01/3468.58 c reason swapping (by a shorter reason) : 0 3600.01/3468.58 c Calls to reduceDB : 229 3600.01/3468.58 c Number of update (reduction) of LBD : 2275696 3600.01/3468.58 c Imported unit clauses : 0 3600.01/3468.59 c No decision after first conflict : false 3600.01/3468.59 c number of reductions to clauses (during analyze) : 0 3600.01/3468.59 c number of learned constraints concerned by reduction : 0 3600.01/3468.59 c number of learning phase by resolution : 0 3600.01/3468.59 c number of learning phase by cutting planes : 0 3600.01/3468.59 c number of rounding to 1 operations : 0 3600.01/3468.59 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.01/3468.59 c number of reductions of the coefficients by power 2 : 0 3600.01/3468.59 c number of right shift for reduction by power 2 : 0 3600.01/3468.59 c number of reductions of the coefficients by GCD over coefficients : 0 3600.01/3468.59 c number of ending skipping : 0 3600.01/3468.59 c number of internal skipping : 0 3600.01/3468.59 c number of derivation steps : 0 3600.21/3468.60 c number of skipped derivation steps : 0 3600.21/3468.60 c number of remaining unassigned : 0 3600.21/3468.60 c number of remaining assigned : 0 3600.21/3468.60 c number of falsified literals weakened from reason : 0 3600.21/3468.60 c number of falsified literals weakened from conflict : 0 3600.21/3468.61 c time for arithmetic operations : 0 3600.21/3468.61 c minimum degree of deleted constraints : null 3600.21/3468.61 c maximum degree of deleted constraints : null 3600.21/3468.61 c number of deleted constraints : 0 3600.21/3468.62 c speed (assignments/second) : 124078.51444369346 3600.21/3468.62 c non guided choices : 0 3600.60/3468.81 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 446623 3600.60/3468.81 s SATISFIABLE 3600.60/3468.81 c Found 1 solution(s) 3600.60/3468.82 v -x1 x2 x3 x4 -x5 x6 -x7 x8 x9 x10 -x11 -x12 -x13 -x14 x15 x16 x17 x18 x19 -x20 -x21 x22 -x23 -x24 x25 -x26 x27 -x28 -x29 x30 x31 -x32 x33 -x34 x35 -x36 -x37 -x38 x39 -x40 -x41 x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 x52 -x53 x54 x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 x87 -x88 -x89 -x90 x91 -x92 -x93 x94 x95 x96 -x97 x98 x99 -x100 x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 x126 -x127 x128 x129 x130 -x131 -x132 x133 x134 x135 x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 x146 -x147 x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 x165 x166 -x167 -x168 -x169 x170 -x171 x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 x186 -x187 x188 -x189 x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 x213 -x214 x215 x216 -x217 -x218 x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 x229 x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 x242 -x243 -x244 -x245 x246 x247 -x248 -x249 -x250 x251 -x252 x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 x262 x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 x271 x272 x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 x329 x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 x339 x340 -x341 x342 -x343 x344 -x345 x346 -x347 -x348 -x349 -x350 x351 -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 -x652 -x653 x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 x710 -x711 -x712 -x713 -x714 x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 x750 x751 -x752 x753 x754 x755 -x756 -x757 x758 x759 x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 x777 x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 -x786 x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 x884 -x885 -x886 -x887 x888 -x889 -x890 x891 -x892 -x893 x894 -x895 -x896 x897 -x898 x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 x941 -x942 -x943 x944 x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 x957 x958 -x959 -x960 -x961 -x962 x963 -x964 x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 x975 x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 x1093 -x1094 x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 -x1108 x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 x1143 -x1144 -x1145 -x1146 x1147 x1148 -x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 x1263 -x1264 3600.60/3468.83 c objective function=303 3600.60/3468.83 c Total wall clock time (in seconds): 3468.496
OK 303
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (57887 MiB free)
memory of node 1: 64507 MiB (58406 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490940-1751367666/watcher-4490940-1751367666 -o /tmp/evaluation-result-4490940-1751367666/solver-4490940-1751367666 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751360462-51822 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4490940-1751367666.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=52766, runsolver pid=52763
[startup+0.100071 s]*
/proc/loadavg: 4.11 4.10 4.09 7/325 52785
/proc/meminfo: memFree=119064868/131382112 swapFree=33010684/33010684
[pid=52766] ppid=52763 vsize=18930384 memory=48068 CPUtime=0.12 cores=1,3
/proc/52766/stat : 52766 (java) S 52763 52766 51810 0 -1 4194304 5746 0 0 0 9 3 0 0 20 0 18 0 52446400 19384713216 12017 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
/proc/52766/statm: 4732596 12017 5299 1 0 546972 0
[pid=52766/tid=52768] ppid=52763 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=1,3
/proc/52766/task/52768/stat : 52768 (java) R 52763 52766 51810 0 -1 4194368 4656 0 0 0 6 2 0 0 20 0 18 0 52446402 19384713216 12017 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52777] ppid=52763 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/52766/task/52777/stat : 52777 (Finalizer) S 52763 52766 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52446407 19384713216 12017 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52784] ppid=52763 vsize=18930384 memory=59593594258114 CPUtime=0 cores=1,3
/proc/52766/task/52784/stat : 52784 (Common-Cleaner) S 52763 52766 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 52446408 19384713216 12017 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48068 KiB
[startup+0.21567 s]*
/proc/loadavg: 4.11 4.10 4.09 5/303 52787
/proc/meminfo: memFree=120268948/131382112 swapFree=33010684/33010684
[pid=52766] ppid=52763 vsize=18930384 memory=55376 CPUtime=0.3 cores=1,3
/proc/52766/stat : 52766 (java) S 52763 52766 51810 0 -1 4194304 6498 0 0 0 27 3 0 0 20 0 18 0 52446400 19384713216 13844 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
/proc/52766/statm: 4732596 13844 5331 1 0 547580 0
[pid=52766/tid=52768] ppid=52763 vsize=18930384 memory=4026663031 CPUtime=0.19 cores=1,3
/proc/52766/task/52768/stat : 52768 (java) R 52763 52766 51810 0 -1 4194368 5021 0 0 0 17 2 0 0 20 0 18 0 52446402 19384713216 13844 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52777] ppid=52763 vsize=18930384 memory=215637835243 CPUtime=0 cores=1,3
/proc/52766/task/52777/stat : 52777 (Finalizer) S 52763 52766 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52446407 19384713216 13844 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52784] ppid=52763 vsize=18930384 memory=18050 CPUtime=0 cores=1,3
/proc/52766/task/52784/stat : 52784 (Common-Cleaner) S 52763 52766 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 52446408 19384713216 13844 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55376 KiB
[startup+0.315869 s]*
/proc/loadavg: 4.11 4.10 4.09 7/303 52787
/proc/meminfo: memFree=120263844/131382112 swapFree=33010684/33010684
[pid=52766] ppid=52763 vsize=18930384 memory=58660 CPUtime=0.45 cores=1,3
/proc/52766/stat : 52766 (java) S 52763 52766 51810 0 -1 4194304 6760 0 0 0 41 4 0 0 20 0 18 0 52446400 19384713216 14665 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
/proc/52766/statm: 4732596 14665 5363 1 0 547769 0
[pid=52766/tid=52768] ppid=52763 vsize=18930384 memory=-3689348814740744593 CPUtime=0.27 cores=1,3
/proc/52766/task/52768/stat : 52768 (java) S 52763 52766 51810 0 -1 4194368 5187 0 0 0 25 2 0 0 20 0 18 0 52446402 19384713216 14665 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52777] ppid=52763 vsize=18930384 memory=-6000919494164441706 CPUtime=0 cores=1,3
/proc/52766/task/52777/stat : 52777 (Finalizer) S 52763 52766 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52446407 19384713216 14665 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52784] ppid=52763 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/52766/task/52784/stat : 52784 (Common-Cleaner) S 52763 52766 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 52446408 19384713216 14665 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58660 KiB
[startup+0.700338 s]
/proc/loadavg: 4.11 4.10 4.09 6/301 52795
/proc/meminfo: memFree=120255064/131382112 swapFree=33010684/33010684
[pid=52766] ppid=52763 vsize=18996948 memory=72272 CPUtime=1.14 cores=1,3
/proc/52766/stat : 52766 (java) S 52763 52766 51810 0 -1 4194304 8319 0 0 0 107 7 0 0 20 0 19 0 52446400 19452874752 18068 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
/proc/52766/statm: 4749237 18068 5491 1 0 548568 0
[pid=52766/tid=52768] ppid=52763 vsize=18996948 memory=17920 CPUtime=0.62 cores=1,3
/proc/52766/task/52768/stat : 52768 (java) R 52763 52766 51810 0 -1 4194368 5397 0 0 0 59 3 0 0 20 0 19 0 52446402 19452874752 18068 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52777] ppid=52763 vsize=18996948 memory=10624 CPUtime=0 cores=1,3
/proc/52766/task/52777/stat : 52777 (Finalizer) S 52763 52766 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52446407 19452874752 18068 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52784] ppid=52763 vsize=18996948 memory=2764 CPUtime=0 cores=1,3
/proc/52766/task/52784/stat : 52784 (Common-Cleaner) S 52763 52766 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 52446408 19452874752 18068 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 72272 KiB
[startup+1.5003 s]
/proc/loadavg: 4.18 4.11 4.10 6/303 52805
/proc/meminfo: memFree=120241900/131382112 swapFree=33010684/33010684
[pid=52766] ppid=52763 vsize=18996948 memory=104668 CPUtime=2.71 cores=1,3
/proc/52766/stat : 52766 (java) S 52763 52766 51810 0 -1 4194304 15818 0 0 0 260 11 0 0 20 0 19 0 52446400 19452874752 26167 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
/proc/52766/statm: 4749237 26167 5491 1 0 551470 0
[pid=52766/tid=52768] ppid=52763 vsize=18996948 memory=2764 CPUtime=1.41 cores=1,3
/proc/52766/task/52768/stat : 52768 (java) R 52763 52766 51810 0 -1 4194368 5598 0 0 0 138 3 0 0 20 0 19 0 52446402 19452874752 26167 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52777] ppid=52763 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/52766/task/52777/stat : 52777 (Finalizer) S 52763 52766 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52446407 19452874752 26167 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52784] ppid=52763 vsize=18996948 memory=10624 CPUtime=0 cores=1,3
/proc/52766/task/52784/stat : 52784 (Common-Cleaner) S 52763 52766 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 52446408 19452874752 26167 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52796] ppid=52763 vsize=18996948 memory=14560 CPUtime=0 cores=1,3
/proc/52766/task/52796/stat : 52796 (Timer-0) S 52763 52766 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 52446453 19452874752 26167 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 104668 KiB
[startup+3.1132 s]
/proc/loadavg: 4.18 4.11 4.10 5/305 52869
/proc/meminfo: memFree=121763244/131382112 swapFree=33010684/33010684
[pid=52766] ppid=52763 vsize=19063512 memory=211640 CPUtime=5.02 cores=1,3
/proc/52766/stat : 52766 (java) S 52763 52766 51810 0 -1 4194304 19121 0 0 0 488 14 0 0 20 0 20 0 52446400 19521036288 52910 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
/proc/52766/statm: 4765878 52910 5523 1 0 552089 0
[pid=52766/tid=52768] ppid=52763 vsize=19063512 memory=10624 CPUtime=2.96 cores=1,3
/proc/52766/task/52768/stat : 52768 (java) R 52763 52766 51810 0 -1 4194368 6714 0 0 0 291 5 0 0 20 0 20 0 52446402 19521036288 52910 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52777] ppid=52763 vsize=19063512 memory=14560 CPUtime=0 cores=1,3
/proc/52766/task/52777/stat : 52777 (Finalizer) S 52763 52766 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446407 19521036288 52910 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52784] ppid=52763 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/52766/task/52784/stat : 52784 (Common-Cleaner) S 52763 52766 51810 0 -1 4194368 34 0 0 0 0 0 0 0 20 0 20 0 52446408 19521036288 52910 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52796] ppid=52763 vsize=19063512 memory=2764 CPUtime=0 cores=1,3
/proc/52766/task/52796/stat : 52796 (Timer-0) S 52763 52766 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52446453 19521036288 52910 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
Current children cumulated CPU time: 5.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 211640 KiB
[startup+6.30039 s]
/proc/loadavg: 4.17 4.11 4.09 8/324 52983
/proc/meminfo: memFree=121464576/131382112 swapFree=33010684/33010684
[pid=52766] ppid=52763 vsize=19063512 memory=333484 CPUtime=8.49 cores=1,3
/proc/52766/stat : 52766 (java) S 52763 52766 51810 0 -1 4194304 19262 0 0 0 830 19 0 0 20 0 20 0 52446400 19521036288 83371 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
/proc/52766/statm: 4765878 83371 5523 1 0 552089 0
[pid=52766/tid=52768] ppid=52763 vsize=19063512 memory=0 CPUtime=5.81 cores=1,3
/proc/52766/task/52768/stat : 52768 (java) R 52763 52766 51810 0 -1 4194368 6714 0 0 0 575 6 0 0 20 0 20 0 52446402 19521036288 83371 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52777] ppid=52763 vsize=19063512 memory=2764 CPUtime=0 cores=1,3
/proc/52766/task/52777/stat : 52777 (Finalizer) S 52763 52766 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446407 19521036288 83371 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52784] ppid=52763 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/52766/task/52784/stat : 52784 (Common-Cleaner) S 52763 52766 51810 0 -1 4194368 34 0 0 0 0 0 0 0 20 0 20 0 52446408 19521036288 83371 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52796] ppid=52763 vsize=19063512 memory=109860 CPUtime=0 cores=1,3
/proc/52766/task/52796/stat : 52796 (Timer-0) S 52763 52766 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52446453 19521036288 83371 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
Current children cumulated CPU time: 8.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 333484 KiB
[startup+12.7004 s]
/proc/loadavg: 4.24 4.13 4.10 5/325 52984
/proc/meminfo: memFree=120534280/131382112 swapFree=33010684/33010684
[pid=52766] ppid=52763 vsize=19063512 memory=901840 CPUtime=15.52 cores=1,3
/proc/52766/stat : 52766 (java) S 52763 52766 51810 0 -1 4194304 23124 0 0 0 1521 31 0 0 20 0 20 0 52446400 19521036288 225460 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
/proc/52766/statm: 4765878 225460 5523 1 0 1078477 0
[pid=52766/tid=52768] ppid=52763 vsize=19063512 memory=109860 CPUtime=11.72 cores=1,3
/proc/52766/task/52768/stat : 52768 (java) R 52763 52766 51810 0 -1 4194368 7331 0 0 0 1163 9 0 0 20 0 20 0 52446402 19521036288 225460 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52777] ppid=52763 vsize=19063512 memory=901840 CPUtime=0 cores=1,3
/proc/52766/task/52777/stat : 52777 (Finalizer) S 52763 52766 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446407 19521036288 225460 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52784] ppid=52763 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/52766/task/52784/stat : 52784 (Common-Cleaner) S 52763 52766 51810 0 -1 4194368 34 0 0 0 0 0 0 0 20 0 20 0 52446408 19521036288 225460 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52796] ppid=52763 vsize=19063512 memory=721564 CPUtime=0 cores=1,3
/proc/52766/task/52796/stat : 52796 (Timer-0) S 52763 52766 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52446453 19521036288 225460 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
Current children cumulated CPU time: 15.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 901840 KiB
[startup+25.5004 s]
/proc/loadavg: 4.27 4.14 4.10 5/326 52986
/proc/meminfo: memFree=119107172/131382112 swapFree=33010684/33010684
[pid=52766] ppid=52763 vsize=19063512 memory=1584352 CPUtime=28.79 cores=1,3
/proc/52766/stat : 52766 (java) S 52763 52766 51810 0 -1 4194304 25191 0 0 0 2834 45 0 0 20 0 20 0 52446400 19521036288 396088 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
/proc/52766/statm: 4765878 396088 5523 1 0 1333325 0
[pid=52766/tid=52768] ppid=52763 vsize=19063512 memory=901840 CPUtime=23.87 cores=1,3
/proc/52766/task/52768/stat : 52768 (java) R 52763 52766 51810 0 -1 4194368 7792 0 0 0 2373 14 0 0 20 0 20 0 52446402 19521036288 396088 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52777] ppid=52763 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/52766/task/52777/stat : 52777 (Finalizer) S 52763 52766 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446407 19521036288 396088 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52784] ppid=52763 vsize=19063512 memory=-6000919494164441706 CPUtime=0 cores=1,3
/proc/52766/task/52784/stat : 52784 (Common-Cleaner) S 52763 52766 51810 0 -1 4194368 34 0 0 0 0 0 0 0 20 0 20 0 52446408 19521036288 396088 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52796] ppid=52763 vsize=19063512 memory=1086228 CPUtime=0 cores=1,3
/proc/52766/task/52796/stat : 52796 (Timer-0) S 52763 52766 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52446453 19521036288 396088 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
Current children cumulated CPU time: 28.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1584352 KiB
[startup+51.1134 s]
/proc/loadavg: 4.16 4.12 4.10 5/326 52986
/proc/meminfo: memFree=117504440/131382112 swapFree=33010684/33010684
[pid=52766] ppid=52763 vsize=19063512 memory=2393428 CPUtime=55.37 cores=1,3
/proc/52766/stat : 52766 (java) S 52763 52766 51810 0 -1 4194304 27938 0 0 0 5472 65 0 0 20 0 20 0 52446400 19521036288 598357 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
/proc/52766/statm: 4765878 598357 5523 1 0 1333325 0
[pid=52766/tid=52768] ppid=52763 vsize=19063512 memory=2393428 CPUtime=48.32 cores=1,3
/proc/52766/task/52768/stat : 52768 (java) R 52763 52766 51810 0 -1 4194368 8896 0 0 0 4818 14 0 0 20 0 20 0 52446402 19521036288 598357 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52777] ppid=52763 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/52766/task/52777/stat : 52777 (Finalizer) S 52763 52766 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446407 19521036288 598357 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52784] ppid=52763 vsize=19063512 memory=2258256 CPUtime=0 cores=1,3
/proc/52766/task/52784/stat : 52784 (Common-Cleaner) S 52763 52766 51810 0 -1 4194368 34 0 0 0 0 0 0 0 20 0 20 0 52446408 19521036288 598357 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/326 53332
/proc/meminfo: memFree=91490452/131382112 swapFree=33010684/33010684
[pid=52766] ppid=52763 vsize=19063512 memory=14616468 CPUtime=3283.41 cores=1,3
/proc/52766/stat : 52766 (java) S 52763 52766 51810 0 -1 4194304 333643 0 0 0 327808 533 0 0 20 0 20 0 52446400 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
/proc/52766/statm: 4765878 3654117 5555 1 0 4087563 0
[pid=52766/tid=52768] ppid=52763 vsize=19063512 memory=14614368 CPUtime=3051.22 cores=1,3
/proc/52766/task/52768/stat : 52768 (java) R 52763 52766 51810 0 -1 4194368 140064 0 0 0 305028 94 0 0 20 0 20 0 52446402 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52777] ppid=52763 vsize=19063512 memory=14560 CPUtime=0 cores=1,3
/proc/52766/task/52777/stat : 52777 (Finalizer) S 52763 52766 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446407 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52784] ppid=52763 vsize=19063512 memory=22004 CPUtime=0 cores=1,3
/proc/52766/task/52784/stat : 52784 (Common-Cleaner) S 52763 52766 51810 0 -1 4194368 2062 0 0 0 0 0 0 0 20 0 20 0 52446408 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52796] ppid=52763 vsize=19063512 memory=14616468 CPUtime=0 cores=1,3
/proc/52766/task/52796/stat : 52796 (Timer-0) S 52763 52766 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52446453 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
Current children cumulated CPU time: 3283.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14616468 KiB
[startup+3222.3 s]
/proc/loadavg: 4.31 4.20 4.19 5/326 53334
/proc/meminfo: memFree=91437252/131382112 swapFree=33010684/33010684
[pid=52766] ppid=52763 vsize=19063512 memory=14616468 CPUtime=3348 cores=1,3
/proc/52766/stat : 52766 (java) S 52763 52766 51810 0 -1 4194304 363433 0 0 0 334260 540 0 0 20 0 20 0 52446400 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
/proc/52766/statm: 4765878 3654117 5555 1 0 4087564 0
[pid=52766/tid=52768] ppid=52763 vsize=19063512 memory=14614368 CPUtime=3109.29 cores=1,3
/proc/52766/task/52768/stat : 52768 (java) R 52763 52766 51810 0 -1 4194368 147934 0 0 0 310835 94 0 0 20 0 20 0 52446402 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52777] ppid=52763 vsize=19063512 memory=14616468 CPUtime=0 cores=1,3
/proc/52766/task/52777/stat : 52777 (Finalizer) S 52763 52766 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446407 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52784] ppid=52763 vsize=19063512 memory=14614368 CPUtime=0 cores=1,3
/proc/52766/task/52784/stat : 52784 (Common-Cleaner) S 52763 52766 51810 0 -1 4194368 2062 0 0 0 0 0 0 0 20 0 20 0 52446408 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52796] ppid=52763 vsize=19063512 memory=14616468 CPUtime=0 cores=1,3
/proc/52766/task/52796/stat : 52796 (Timer-0) S 52763 52766 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52446453 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
Current children cumulated CPU time: 3348 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14616468 KiB
[startup+3282.3 s]
/proc/loadavg: 4.21 4.19 4.18 5/326 53336
/proc/meminfo: memFree=91437000/131382112 swapFree=33010684/33010684
[pid=52766] ppid=52763 vsize=19063512 memory=14616468 CPUtime=3409.56 cores=1,3
/proc/52766/stat : 52766 (java) S 52763 52766 51810 0 -1 4194304 371831 0 0 0 340411 545 0 0 20 0 20 0 52446400 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
/proc/52766/statm: 4765878 3654117 5555 1 0 4087564 0
[pid=52766/tid=52768] ppid=52763 vsize=19063512 memory=4764 CPUtime=3167.49 cores=1,3
/proc/52766/task/52768/stat : 52768 (java) R 52763 52766 51810 0 -1 4194368 152114 0 0 0 316653 96 0 0 20 0 20 0 52446402 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52777] ppid=52763 vsize=19063512 memory=14560 CPUtime=0 cores=1,3
/proc/52766/task/52777/stat : 52777 (Finalizer) S 52763 52766 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446407 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52784] ppid=52763 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/52766/task/52784/stat : 52784 (Common-Cleaner) S 52763 52766 51810 0 -1 4194368 2081 0 0 0 0 0 0 0 20 0 20 0 52446408 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52796] ppid=52763 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/52766/task/52796/stat : 52796 (Timer-0) S 52763 52766 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52446453 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
Current children cumulated CPU time: 3409.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14616468 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.20 4.18 6/326 53338
/proc/meminfo: memFree=91437016/131382112 swapFree=33010684/33010684
[pid=52766] ppid=52763 vsize=19063512 memory=14616468 CPUtime=3470.58 cores=1,3
/proc/52766/stat : 52766 (java) S 52763 52766 51810 0 -1 4194304 379733 0 0 0 346508 550 0 0 20 0 20 0 52446400 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
/proc/52766/statm: 4765878 3654117 5555 1 0 4087564 0
[pid=52766/tid=52768] ppid=52763 vsize=19063512 memory=17920 CPUtime=3226.11 cores=1,3
/proc/52766/task/52768/stat : 52768 (java) R 52763 52766 51810 0 -1 4194368 155559 0 0 0 322515 96 0 0 20 0 20 0 52446402 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52777] ppid=52763 vsize=19063512 memory=14616468 CPUtime=0 cores=1,3
/proc/52766/task/52777/stat : 52777 (Finalizer) S 52763 52766 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446407 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52784] ppid=52763 vsize=19063512 memory=14616468 CPUtime=0 cores=1,3
/proc/52766/task/52784/stat : 52784 (Common-Cleaner) S 52763 52766 51810 0 -1 4194368 2124 0 0 0 0 0 0 0 20 0 20 0 52446408 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52796] ppid=52763 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/52766/task/52796/stat : 52796 (Timer-0) S 52763 52766 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52446453 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
Current children cumulated CPU time: 3470.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14616468 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.21 4.18 5/326 53340
/proc/meminfo: memFree=91437016/131382112 swapFree=33010684/33010684
[pid=52766] ppid=52763 vsize=19063512 memory=14616468 CPUtime=3532.5 cores=1,3
/proc/52766/stat : 52766 (java) S 52763 52766 51810 0 -1 4194304 384428 0 0 0 352696 554 0 0 20 0 20 0 52446400 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
/proc/52766/statm: 4765878 3654117 5555 1 0 4087564 0
[pid=52766/tid=52768] ppid=52763 vsize=19063512 memory=14616468 CPUtime=3283.76 cores=1,3
/proc/52766/task/52768/stat : 52768 (java) R 52763 52766 51810 0 -1 4194368 158625 0 0 0 328280 96 0 0 20 0 20 0 52446402 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52777] ppid=52763 vsize=19063512 memory=14616468 CPUtime=0 cores=1,3
/proc/52766/task/52777/stat : 52777 (Finalizer) S 52763 52766 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446407 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52784] ppid=52763 vsize=19063512 memory=14616468 CPUtime=0 cores=1,3
/proc/52766/task/52784/stat : 52784 (Common-Cleaner) S 52763 52766 51810 0 -1 4194368 2207 0 0 0 0 0 0 0 20 0 20 0 52446408 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52796] ppid=52763 vsize=19063512 memory=14616468 CPUtime=0 cores=1,3
/proc/52766/task/52796/stat : 52796 (Timer-0) S 52763 52766 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52446453 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
Current children cumulated CPU time: 3532.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14616468 KiB
[startup+3462.3 s]
/proc/loadavg: 4.53 4.28 4.21 5/325 53341
/proc/meminfo: memFree=91359216/131382112 swapFree=33010684/33010684
[pid=52766] ppid=52763 vsize=19063512 memory=14616468 CPUtime=3593.81 cores=1,3
/proc/52766/stat : 52766 (java) S 52763 52766 51810 0 -1 4194304 389143 0 0 0 358824 557 0 0 20 0 20 0 52446400 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
/proc/52766/statm: 4765878 3654117 5555 1 0 4087564 0
[pid=52766/tid=52768] ppid=52763 vsize=19063512 memory=14616468 CPUtime=3342.18 cores=1,3
/proc/52766/task/52768/stat : 52768 (java) R 52763 52766 51810 0 -1 4194368 161954 0 0 0 334121 97 0 0 20 0 20 0 52446402 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52777] ppid=52763 vsize=19063512 memory=17920 CPUtime=0 cores=1,3
/proc/52766/task/52777/stat : 52777 (Finalizer) S 52763 52766 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446407 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52784] ppid=52763 vsize=19063512 memory=14616468 CPUtime=0 cores=1,3
/proc/52766/task/52784/stat : 52784 (Common-Cleaner) S 52763 52766 51810 0 -1 4194368 2307 0 0 0 0 0 0 0 20 0 20 0 52446408 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52796] ppid=52763 vsize=19063512 memory=14616468 CPUtime=0 cores=1,3
/proc/52766/task/52796/stat : 52796 (Timer-0) S 52763 52766 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52446453 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
Current children cumulated CPU time: 3593.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14616468 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3468.5 s]
/proc/loadavg: 4.57 4.29 4.21 5/325 53343
/proc/meminfo: memFree=91362080/131382112 swapFree=33010684/33010684
[pid=52766] ppid=52763 vsize=19063512 memory=14616468 CPUtime=3600.01 cores=1,3
/proc/52766/stat : 52766 (java) S 52763 52766 51810 0 -1 4194304 389410 0 0 0 359443 558 0 0 20 0 20 0 52446400 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
/proc/52766/statm: 4765878 3654117 5555 1 0 4087564 0
[pid=52766/tid=52768] ppid=52763 vsize=19063512 memory=14616468 CPUtime=3348.37 cores=1,3
/proc/52766/task/52768/stat : 52768 (java) R 52763 52766 51810 0 -1 4194368 162221 0 0 0 334740 97 0 0 20 0 20 0 52446402 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52777] ppid=52763 vsize=19063512 memory=17920 CPUtime=0 cores=1,3
/proc/52766/task/52777/stat : 52777 (Finalizer) S 52763 52766 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446407 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52784] ppid=52763 vsize=19063512 memory=14616468 CPUtime=0 cores=1,3
/proc/52766/task/52784/stat : 52784 (Common-Cleaner) S 52763 52766 51810 0 -1 4194368 2307 0 0 0 0 0 0 0 20 0 20 0 52446408 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52796] ppid=52763 vsize=19063512 memory=14616468 CPUtime=0 cores=1,3
/proc/52766/task/52796/stat : 52796 (Timer-0) S 52763 52766 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52446453 19521036288 3654117 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14616468 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3468.9 s]
# the end of solver process 52766 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.08 s, system=5.6606 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3468.8 s]
/proc/loadavg: 4.57 4.29 4.21 5/325 53343
/proc/meminfo: memFree=91362080/131382112 swapFree=33010684/33010684
[pid=52766] ppid=52763 vsize=19263204 memory=14617236 CPUtime=3600.6 cores=1,3
/proc/52766/stat : 52766 (java) S 52763 52766 51810 0 -1 4194304 392042 0 0 0 359501 559 0 0 20 0 21 0 52446400 19725520896 3654309 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
/proc/52766/statm: 4815801 3654309 5555 1 0 4088510 0
[pid=52766/tid=52768] ppid=52763 vsize=19263204 memory=14560 CPUtime=3348.66 cores=1,3
/proc/52766/task/52768/stat : 52768 (java) R 52763 52766 51810 0 -1 4194368 162511 0 0 0 334769 97 0 0 20 0 21 0 52446402 19725520896 3654309 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52777] ppid=52763 vsize=19263204 memory=14616468 CPUtime=0 cores=1,3
/proc/52766/task/52777/stat : 52777 (Finalizer) S 52763 52766 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 52446407 19725520896 3654309 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
[pid=52766/tid=52784] ppid=52763 vsize=19263204 memory=14616468 CPUtime=0 cores=1,3
/proc/52766/task/52784/stat : 52784 (Common-Cleaner) S 52763 52766 51810 0 -1 4194368 2307 0 0 0 0 0 0 0 20 0 21 0 52446408 19725520896 3654309 18446744073709551615 93937672966144 93937672969840 140726505663456 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93937672977656 93937672978448 93937700020224 140726505671041 140726505671142 140726505671142 140726505676744 0
Current children cumulated CPU time: 3600.6 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 14617236 KiB
Child status: 143
Real time (s): 3468.91
CPU time (s): 3600.74
CPU user time (s): 3595.08
CPU system time (s): 5.6606
CPU usage (%): 103.8
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 14617236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.08
system time used= 5.6606
maximum resident set size= 14617364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 392397
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117292
involuntary context switches= 10481
# summary of solver processes directly reported to runsolver:
# pid: 52766
# total CPU time (s): 3600.74
# total CPU user time (s): 3595.08
# total CPU system time (s): 5.6606
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3958 second user time and 35.1222 second system time
The end
Begin job on nodeC009 at 2025-07-01 13:01:06 IDJOB=4490940 IDBENCH=147636 IDSOLVER=3363 FILE ID=nodeC009/4490940-1751367666 RUNJOBID= nodeC009-1751360462-51822 SLURM_JOB_ID= 9598165 Free space on /tmp= 432648 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-max1024.r.opb COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490940-1751367666/watcher-4490940-1751367666 -o /tmp/evaluation-result-4490940-1751367666/solver-4490940-1751367666 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751360462-51822 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4490940-1751367666.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 661b9222a6bc80fb313039094bf52923 RANDOM SEED=918762252 nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3662.571 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.625 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.209 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.234 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3662.595 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3662.813 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.172 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.345 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 119084840 kB MemAvailable: 125784676 kB Buffers: 3280 kB Cached: 7471440 kB SwapCached: 0 kB Active: 4496952 kB Inactive: 7171824 kB Active(anon): 4211048 kB Inactive(anon): 968 kB Active(file): 285904 kB Inactive(file): 7170856 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 1032 kB Writeback: 0 kB AnonPages: 4197124 kB Mapped: 123212 kB Shmem: 17960 kB KReclaimable: 165020 kB Slab: 249268 kB SReclaimable: 165020 kB SUnreclaim: 84248 kB KernelStack: 4960 kB PageTables: 11868 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 8839932 kB VmallocTotal: 34359738367 kB VmallocUsed: 150328 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 3997696 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: 172872 kB DirectMap2M: 9166848 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432652 MiB End job on nodeC009 at 2025-07-01 13:58:55