| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution 2025-06-06 | MSAT (TO) | 3600.3 | 3602.44 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap104_wcsp.wbo |
| MD5SUM | 8ae6cf967e584e12cada7dd8fbc9b19b |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 9026651 |
| Best CPU time to get the best result obtained on this benchmark | 0.124763 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1300 |
| Total number of constraints | 2598 |
| Number of soft constraints | 2523 |
| Number of constraints which are clauses | 2523 |
| Number of constraints which are cardinality constraints (but not clauses) | 75 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 25 |
| Top cost | 63586724 |
| Min constraint cost | 1 |
| Max constraint cost | 63586724 |
| Sum of constraints costs | 80090480126 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 26 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version PB25.v20250606 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 2104792832 0.00/0.08 c Max memory 16282288128 0.00/0.08 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.13/0.12 c Pseudo Boolean Optimization by upper bound 0.13/0.12 c --- Begin Solver configuration --- 0.13/0.12 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.13/0.12 c Learn all clauses as in MiniSAT 0.13/0.12 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.13/0.12 c Expensive reason simplification 0.13/0.12 c Glucose 2.1 dynamic restart strategy 0.13/0.12 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.13/0.12 c timeout=2147483s 0.13/0.12 c DB Simplification allowed=false 0.13/0.12 c Listener: none 0.13/0.12 c --- End Solver configuration --- 0.13/0.12 c solving HOME/instance-4526144-1751628784.wbo 0.13/0.12 c reading problem ... 0.32/0.21 c ... done. Wall clock time 0.083s. 0.32/0.21 c declared #vars 1300 0.32/0.21 c internal #vars 3823 0.32/0.21 c #constraints 2674 0.32/0.21 c constraints type 0.32/0.21 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1323 0.32/0.21 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 50 0.32/0.21 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 0.32/0.21 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1300 0.32/0.21 c 2674 constraints processed. 0.32/0.22 c objective function length is 2523 literals 0.32/0.25 c SATISFIABLE 0.32/0.25 c OPTIMIZING... 0.32/0.25 c Got one! Elapsed wall clock time (in seconds):0.123 0.32/0.25 o 9340135 1.72/1.05 c cleaning 2492 clauses out of 5000 with flag 10700/5000 2.58/1.76 c cleaning 4246 clauses out of 8508 with flag 22865/11000 3.56/2.60 c cleaning 5624 clauses out of 11263 with flag 37292/18001 4.57/3.59 c cleaning 6813 clauses out of 13640 with flag 53847/26002 5.57/4.59 c cleaning 7905 clauses out of 15825 with flag 72180/35000 7.06/5.78 c cleaning 8958 clauses out of 17921 with flag 98738/45001 8.47/7.08 c cleaning 9981 clauses out of 19962 with flag 147528/56000 10.00/8.53 c cleaning 10988 clauses out of 21982 with flag 201324/68001 11.50/10.10 c cleaning 11985 clauses out of 23993 with flag 259611/81000 13.30/11.83 c cleaning 12957 clauses out of 26008 with flag 324002/95000 15.10/13.60 c cleaning 14013 clauses out of 28051 with flag 385512/110000 17.01/15.51 c cleaning 15016 clauses out of 30039 with flag 445485/126001 19.24/17.76 c cleaning 16011 clauses out of 32022 with flag 517596/143000 21.45/19.96 c cleaning 17006 clauses out of 34011 with flag 589133/161000 24.19/22.60 c cleaning 17985 clauses out of 36005 with flag 661877/180000 26.89/25.34 c cleaning 19003 clauses out of 38020 with flag 732708/200000 29.68/28.12 c cleaning 20004 clauses out of 40017 with flag 812808/221000 32.59/31.05 c cleaning 21003 clauses out of 42014 with flag 902627/243001 35.59/34.03 c cleaning 22000 clauses out of 44015 with flag 997226/266005 38.51/36.95 c cleaning 23005 clauses out of 46010 with flag 1107520/290000 41.51/39.99 c cleaning 23989 clauses out of 48005 with flag 1232410/315000 44.70/43.20 c cleaning 24984 clauses out of 50016 with flag 1345540/341000 47.99/46.43 c cleaning 26009 clauses out of 52032 with flag 1467113/368000 51.52/49.95 c cleaning 27004 clauses out of 54023 with flag 1603147/396000 55.22/53.66 c cleaning 28005 clauses out of 56023 with flag 1750966/425004 59.04/57.49 c cleaning 28997 clauses out of 58015 with flag 1887872/455001 63.03/61.48 c cleaning 30003 clauses out of 60017 with flag 2032397/486000 66.92/65.38 c cleaning 30997 clauses out of 62017 with flag 2195129/518003 71.15/69.52 c cleaning 32002 clauses out of 64019 with flag 2361514/551002 75.54/73.99 c cleaning 32998 clauses out of 66015 with flag 2528753/585000 80.16/78.54 c cleaning 34000 clauses out of 68017 with flag 2717407/620000 84.95/83.30 c cleaning 35001 clauses out of 70017 with flag 2909913/656000 89.57/87.95 c cleaning 36006 clauses out of 72016 with flag 3101594/693000 94.46/92.86 c cleaning 36967 clauses out of 74011 with flag 3321425/731001 99.05/97.44 c cleaning 38004 clauses out of 76043 with flag 3463943/770000 103.57/101.99 c cleaning 39013 clauses out of 78039 with flag 3614241/810000 108.36/106.70 c cleaning 39989 clauses out of 80029 with flag 3767632/851003 113.55/111.96 c cleaning 40992 clauses out of 82038 with flag 3986191/893001 118.76/117.12 c cleaning 42008 clauses out of 84045 with flag 4165643/936000 123.95/122.35 c cleaning 43019 clauses out of 86037 with flag 4319166/980000 129.34/127.75 c cleaning 44009 clauses out of 88018 with flag 4490126/1025000 134.95/133.36 c cleaning 44995 clauses out of 90009 with flag 4667464/1071000 140.54/138.90 c cleaning 46001 clauses out of 92014 with flag 4850118/1118000 146.53/144.93 c cleaning 46998 clauses out of 94013 with flag 5067861/1166000 152.42/150.83 c cleaning 47996 clauses out of 96016 with flag 5281648/1215001 158.34/156.71 c cleaning 48987 clauses out of 98020 with flag 5485203/1265001 164.63/163.04 c cleaning 50012 clauses out of 100032 with flag 5679503/1316000 170.81/169.26 c cleaning 51007 clauses out of 102020 with flag 5902945/1368000 177.30/175.73 c cleaning 51995 clauses out of 104014 with flag 6123726/1421001 184.18/182.53 c cleaning 53010 clauses out of 106019 with flag 6324926/1475001 190.87/189.23 c cleaning 53976 clauses out of 108008 with flag 6550974/1530000 197.85/196.21 c cleaning 55014 clauses out of 110032 with flag 6795627/1586000 205.13/203.58 c cleaning 56004 clauses out of 112018 with flag 7016311/1643000 211.92/210.36 c cleaning 56991 clauses out of 114014 with flag 7252649/1701000 218.61/217.09 c cleaning 57993 clauses out of 116023 with flag 7512749/1760000 225.96/224.34 c cleaning 58986 clauses out of 118030 with flag 7775471/1820000 233.34/231.71 c cleaning 59987 clauses out of 120044 with flag 8017557/1881000 240.82/239.29 c cleaning 61024 clauses out of 122061 with flag 8306595/1943004 248.40/246.87 c cleaning 61998 clauses out of 124033 with flag 8595352/2006000 256.38/254.82 c cleaning 63015 clauses out of 126035 with flag 8871318/2070000 264.77/263.24 c cleaning 64010 clauses out of 128021 with flag 9147032/2135001 273.52/271.92 c cleaning 64997 clauses out of 130011 with flag 9437763/2201001 282.30/280.78 c cleaning 65979 clauses out of 132013 with flag 9740328/2268000 290.37/288.87 c cleaning 67008 clauses out of 134034 with flag 10041046/2336000 298.56/297.00 c cleaning 67997 clauses out of 136026 with flag 10349960/2405000 306.93/305.45 c cleaning 69001 clauses out of 138029 with flag 10686316/2475000 315.89/314.36 c cleaning 70003 clauses out of 140029 with flag 11008779/2546001 324.27/322.79 c cleaning 71008 clauses out of 142025 with flag 11311830/2618000 333.05/331.58 c cleaning 72000 clauses out of 144017 with flag 11629404/2691000 342.33/340.85 c cleaning 72992 clauses out of 146017 with flag 11970141/2765000 352.70/351.27 c cleaning 74010 clauses out of 148026 with flag 12288400/2840001 362.58/361.12 c cleaning 74995 clauses out of 150015 with flag 12619270/2916000 373.63/372.18 c cleaning 76009 clauses out of 152023 with flag 12935794/2993003 385.10/383.62 c cleaning 77001 clauses out of 154012 with flag 13286276/3071001 396.17/394.75 c cleaning 77985 clauses out of 156010 with flag 13602390/3150000 407.15/405.80 c cleaning 79004 clauses out of 158026 with flag 13962505/3230001 418.43/417.08 c cleaning 80003 clauses out of 160021 with flag 14350307/3311000 428.51/427.13 c cleaning 80982 clauses out of 162018 with flag 14721061/3393000 440.17/438.73 c cleaning 82008 clauses out of 164036 with flag 15124907/3476000 452.55/451.18 c cleaning 82996 clauses out of 166028 with flag 15527140/3560000 466.21/464.83 c cleaning 84000 clauses out of 168032 with flag 15934291/3645000 478.48/477.12 c cleaning 84979 clauses out of 170032 with flag 16325773/3731000 491.75/490.40 c cleaning 86011 clauses out of 172053 with flag 16684987/3818000 504.33/503.02 c cleaning 87020 clauses out of 174043 with flag 17076595/3906001 518.05/516.57 c cleaning 88008 clauses out of 176022 with flag 17442633/3995000 531.63/530.16 c cleaning 88987 clauses out of 178016 with flag 17792202/4085002 545.99/544.52 c cleaning 90004 clauses out of 180027 with flag 18147586/4176000 560.16/558.78 c cleaning 90999 clauses out of 182024 with flag 18532574/4268001 573.83/572.43 c cleaning 91976 clauses out of 184024 with flag 18929952/4361000 587.26/585.83 c cleaning 93015 clauses out of 186048 with flag 19345441/4455000 601.72/600.34 c cleaning 94003 clauses out of 188033 with flag 19780116/4550000 616.29/614.99 c cleaning 94989 clauses out of 190030 with flag 20226657/4646000 631.36/630.07 c cleaning 96007 clauses out of 192041 with flag 20657132/4743000 649.42/648.16 c cleaning 97015 clauses out of 194034 with flag 21102585/4841000 666.86/665.52 c cleaning 98000 clauses out of 196019 with flag 21518065/4940000 682.93/681.68 c cleaning 98991 clauses out of 198019 with flag 21902778/5040000 699.89/698.65 c cleaning 100008 clauses out of 200028 with flag 22282608/5141000 714.05/712.87 c cleaning 101000 clauses out of 202021 with flag 22705169/5243001 728.92/727.74 c cleaning 102002 clauses out of 204020 with flag 23150414/5346000 743.89/742.75 c cleaning 102983 clauses out of 206018 with flag 23577539/5450000 757.96/756.76 c cleaning 104004 clauses out of 208035 with flag 24054940/5555000 772.63/771.42 c cleaning 105008 clauses out of 210031 with flag 24544026/5661000 788.09/786.96 c cleaning 106002 clauses out of 212023 with flag 24980377/5768000 802.46/801.33 c cleaning 106994 clauses out of 214021 with flag 25431160/5876000 816.93/815.84 c cleaning 107997 clauses out of 216027 with flag 25948160/5985000 833.79/832.75 c cleaning 108989 clauses out of 218030 with flag 26440583/6095000 849.23/848.14 c cleaning 110015 clauses out of 220041 with flag 26925952/6206000 866.20/865.18 c cleaning 111001 clauses out of 222026 with flag 27445636/6318000 882.45/881.40 c cleaning 111988 clauses out of 224025 with flag 27952687/6431000 899.62/898.66 c cleaning 113007 clauses out of 226037 with flag 28475204/6545000 915.98/915.01 c cleaning 114009 clauses out of 228031 with flag 29009045/6660001 933.54/932.60 c cleaning 114997 clauses out of 230021 with flag 29530136/6776000 951.89/951.08 c cleaning 116007 clauses out of 232026 with flag 30074317/6893002 971.62/970.78 c cleaning 116997 clauses out of 234017 with flag 30631743/7011000 991.68/990.89 c cleaning 118003 clauses out of 236020 with flag 31170135/7130000 1013.14/1012.38 c cleaning 118995 clauses out of 238019 with flag 31728597/7250002 1034.29/1033.57 c cleaning 120006 clauses out of 240023 with flag 32304731/7371001 1055.84/1055.13 c cleaning 120984 clauses out of 242016 with flag 32887724/7493000 1079.07/1078.45 c cleaning 122000 clauses out of 244032 with flag 33469255/7616000 1101.42/1100.88 c cleaning 123013 clauses out of 246035 with flag 33995477/7740003 1121.97/1121.40 c cleaning 124005 clauses out of 248022 with flag 34539106/7865003 1142.56/1141.90 c cleaning 124987 clauses out of 250014 with flag 35087771/7991000 1161.92/1161.32 c cleaning 126008 clauses out of 252027 with flag 35663768/8118000 1182.98/1182.44 c cleaning 127005 clauses out of 254020 with flag 36259856/8246001 1201.73/1201.25 c cleaning 127997 clauses out of 256014 with flag 36881868/8375000 1222.99/1222.52 c cleaning 128996 clauses out of 258017 with flag 37452452/8505000 1242.45/1241.94 c cleaning 130002 clauses out of 260021 with flag 38000120/8636000 1261.10/1260.65 c cleaning 131009 clauses out of 262019 with flag 38579283/8768000 1280.86/1280.44 c cleaning 131980 clauses out of 264010 with flag 39203717/8901000 1303.31/1302.92 c cleaning 133002 clauses out of 266030 with flag 39852324/9035000 1323.07/1322.70 c cleaning 133992 clauses out of 268029 with flag 40463738/9170001 1342.82/1342.54 c cleaning 135000 clauses out of 270036 with flag 41084298/9306000 1362.57/1361.90 c cleaning 136003 clauses out of 272037 with flag 41701059/9443001 1382.73/1382.14 c cleaning 136995 clauses out of 274033 with flag 42285375/9581000 1403.38/1402.85 c cleaning 138003 clauses out of 276038 with flag 42917317/9720000 1422.64/1422.16 c cleaning 139006 clauses out of 278035 with flag 43586582/9860000 1444.68/1444.21 c cleaning 140008 clauses out of 280031 with flag 44295293/10001002 1467.44/1467.03 c cleaning 141000 clauses out of 282021 with flag 44960617/10143000 1488.93/1488.53 c cleaning 142000 clauses out of 284021 with flag 45641738/10286000 1510.07/1509.75 c cleaning 143001 clauses out of 286021 with flag 46323651/10430000 1529.82/1529.50 c cleaning 144005 clauses out of 288020 with flag 47031673/10575000 1551.38/1551.16 c cleaning 145003 clauses out of 290015 with flag 47620461/10721000 1573.22/1573.06 c cleaning 145997 clauses out of 292013 with flag 48269019/10868001 1596.45/1596.36 c cleaning 146988 clauses out of 294015 with flag 48964235/11016000 1618.30/1618.26 c cleaning 147991 clauses out of 296027 with flag 49628880/11165000 1642.14/1642.12 c cleaning 149007 clauses out of 298036 with flag 50303456/11315000 1665.58/1665.69 c cleaning 150006 clauses out of 300029 with flag 50973687/11466000 1689.41/1689.46 c cleaning 150997 clauses out of 302023 with flag 51712938/11618000 1713.54/1713.62 c cleaning 152002 clauses out of 304026 with flag 52367706/11771000 1735.78/1735.93 c cleaning 152996 clauses out of 306025 with flag 53016060/11925001 1760.83/1761.09 c cleaning 154002 clauses out of 308029 with flag 53630875/12080001 1784.27/1784.55 c cleaning 154995 clauses out of 310026 with flag 54310422/12236000 1807.90/1808.28 c cleaning 156001 clauses out of 312032 with flag 55050403/12393001 1833.34/1833.70 c cleaning 157002 clauses out of 314030 with flag 55730294/12551000 1857.69/1858.12 c cleaning 158010 clauses out of 316028 with flag 56411487/12710000 1882.25/1882.63 c cleaning 158991 clauses out of 318018 with flag 57138524/12870000 1907.59/1908.01 c cleaning 159987 clauses out of 320027 with flag 57859188/13031000 1932.82/1933.34 c cleaning 160995 clauses out of 322040 with flag 58537908/13193000 1958.25/1958.89 c cleaning 162007 clauses out of 324045 with flag 59252802/13356000 1984.09/1984.71 c cleaning 163009 clauses out of 326038 with flag 59995691/13520000 2009.23/2009.97 c cleaning 164003 clauses out of 328029 with flag 60711969/13685000 2035.85/2036.64 c cleaning 164983 clauses out of 330026 with flag 61435561/13851000 2064.58/2065.47 c cleaning 166014 clauses out of 332045 with flag 62197126/14018002 2091.32/2092.28 c cleaning 167009 clauses out of 334029 with flag 62955597/14186000 2119.40/2120.27 c cleaning 167990 clauses out of 336020 with flag 63698145/14355000 2147.73/2148.66 c cleaning 169004 clauses out of 338030 with flag 64446346/14525000 2176.27/2177.29 c cleaning 169989 clauses out of 340026 with flag 65205580/14696000 2201.61/2202.68 c cleaning 171014 clauses out of 342037 with flag 66031864/14868000 2227.66/2228.76 c cleaning 172005 clauses out of 344024 with flag 66870374/15041001 2253.70/2254.89 c cleaning 172995 clauses out of 346020 with flag 67642450/15215002 2283.16/2284.29 c cleaning 173995 clauses out of 348023 with flag 68481703/15390000 2312.00/2313.19 c cleaning 175007 clauses out of 350028 with flag 69268965/15566000 2338.24/2339.50 c cleaning 176012 clauses out of 352023 with flag 70033487/15743002 2364.47/2365.70 c cleaning 176995 clauses out of 354011 with flag 70810378/15921002 2394.01/2395.37 c cleaning 177995 clauses out of 356014 with flag 71608094/16100000 2420.26/2421.60 c cleaning 178997 clauses out of 358019 with flag 72444139/16280000 2450.20/2451.60 c cleaning 180012 clauses out of 360023 with flag 73293436/16461001 2480.03/2481.40 c cleaning 181002 clauses out of 362011 with flag 74159115/16643001 2510.16/2511.67 c cleaning 181982 clauses out of 364008 with flag 75025640/16826000 2538.80/2540.39 c cleaning 183009 clauses out of 366027 with flag 75857796/17010001 2570.13/2571.79 c cleaning 184008 clauses out of 368019 with flag 76724234/17195002 2604.18/2605.26 c cleaning 184997 clauses out of 370010 with flag 77526832/17381001 2631.92/2633.09 c cleaning 186000 clauses out of 372012 with flag 78394622/17568000 2665.95/2667.12 c cleaning 187001 clauses out of 374012 with flag 79230441/17756000 2705.66/2706.95 c cleaning 187999 clauses out of 376011 with flag 80055781/17945000 2737.30/2738.63 c cleaning 188986 clauses out of 378012 with flag 80931512/18135000 2770.09/2771.47 c cleaning 189997 clauses out of 380026 with flag 81762379/18326000 2800.53/2801.98 c cleaning 190986 clauses out of 382029 with flag 82656873/18518000 2829.15/2830.65 c cleaning 191999 clauses out of 384043 with flag 83548975/18711000 2859.69/2861.29 c cleaning 192990 clauses out of 386044 with flag 84436804/18905000 2889.12/2890.70 c cleaning 194022 clauses out of 388054 with flag 85371917/19100000 2922.11/2923.67 c cleaning 195003 clauses out of 390032 with flag 86239693/19296000 2950.54/2952.17 c cleaning 196008 clauses out of 392029 with flag 87060114/19493000 2979.18/2980.84 c cleaning 197003 clauses out of 394024 with flag 87954164/19691003 3006.71/3008.46 c cleaning 197997 clauses out of 396021 with flag 88903171/19890003 3039.83/3041.69 c cleaning 198983 clauses out of 398021 with flag 89796348/20090000 3066.36/3068.28 c cleaning 199990 clauses out of 400039 with flag 90702657/20291001 3093.26/3095.00 c cleaning 201017 clauses out of 402048 with flag 91611083/20493000 3119.89/3121.70 c cleaning 201990 clauses out of 404031 with flag 92544391/20696000 3146.53/3148.40 c cleaning 203014 clauses out of 406042 with flag 93485136/20900001 3176.64/3178.68 c cleaning 203984 clauses out of 408027 with flag 94434300/21105000 3210.35/3212.45 c cleaning 204995 clauses out of 410046 with flag 95251339/21311003 3242.66/3244.80 c cleaning 206015 clauses out of 412048 with flag 96120922/21518000 3279.36/3281.57 c cleaning 207010 clauses out of 414034 with flag 97002405/21726001 3311.28/3313.53 c cleaning 208000 clauses out of 416024 with flag 97859924/21935001 3343.40/3345.77 c cleaning 209009 clauses out of 418023 with flag 98770342/22145000 3382.39/3384.84 c cleaning 209996 clauses out of 420014 with flag 99630489/22356000 3415.11/3417.70 c cleaning 210995 clauses out of 422018 with flag 100570172/22568000 3449.43/3451.47 c cleaning 212001 clauses out of 424023 with flag 101529834/22781000 3483.24/3485.37 c cleaning 213000 clauses out of 426022 with flag 102482272/22995000 3514.26/3516.44 c cleaning 213998 clauses out of 428022 with flag 103396597/23210000 3548.17/3550.44 c cleaning 214993 clauses out of 430028 with flag 104332514/23426004 3584.29/3586.59 c cleaning 216002 clauses out of 432031 with flag 105309308/23643000 3600.05/3602.31 c starts : 5096 3600.05/3602.32 c conflicts : 23762602 3600.05/3602.32 c decisions : 133186132 3600.05/3602.32 c propagations : 10600643688 3600.05/3602.32 c inspects : 19683442984 3600.05/3602.32 c shortcuts : 0 3600.05/3602.32 c learnt literals : 0 3600.05/3602.33 c learnt binary clauses : 0 3600.05/3602.33 c learnt ternary clauses : 0 3600.05/3602.33 c learnt constraints : 23762602 3600.05/3602.33 c ignored constraints : 0 3600.05/3602.33 c root simplifications : 0 3600.05/3602.33 c removed literals (reason simplification) : 44045456 3600.05/3602.33 c reason swapping (by a shorter reason) : 0 3600.05/3602.33 c Calls to reduceDB : 213 3600.05/3602.33 c Number of update (reduction) of LBD : 12020296 3600.05/3602.33 c Imported unit clauses : 0 3600.05/3602.33 c No decision after first conflict : false 3600.05/3602.33 c number of reductions to clauses (during analyze) : 0 3600.05/3602.33 c number of learned constraints concerned by reduction : 0 3600.05/3602.33 c number of learning phase by resolution : 0 3600.05/3602.33 c number of learning phase by cutting planes : 0 3600.05/3602.33 c number of rounding to 1 operations : 0 3600.05/3602.33 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.05/3602.33 c number of reductions of the coefficients by power 2 : 0 3600.05/3602.33 c number of right shift for reduction by power 2 : 0 3600.05/3602.33 c number of reductions of the coefficients by GCD over coefficients : 0 3600.05/3602.33 c number of ending skipping : 0 3600.05/3602.33 c number of internal skipping : 0 3600.05/3602.33 c number of derivation steps : 0 3600.05/3602.33 c number of skipped derivation steps : 0 3600.05/3602.33 c number of remaining unassigned : 0 3600.05/3602.33 c number of remaining assigned : 0 3600.05/3602.33 c number of falsified literals weakened from reason : 0 3600.05/3602.33 c number of falsified literals weakened from conflict : 0 3600.05/3602.33 c time for arithmetic operations : 0 3600.05/3602.34 c minimum degree of deleted constraints : null 3600.05/3602.34 c maximum degree of deleted constraints : null 3600.05/3602.34 c number of deleted constraints : 0 3600.05/3602.34 c speed (assignments/second) : 2942900.015213314 3600.05/3602.34 c non guided choices : 107 3600.25/3602.41 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 335631 3600.25/3602.41 s SATISFIABLE 3600.25/3602.41 c Found 1 solution(s) 3600.25/3602.42 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 -x1265 -x1266 -x1267 x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 3600.25/3602.42 c objective function=9340135 3600.25/3602.42 c Total wall clock time (in seconds): 3602.292
OK 9340135
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: 63708 MiB (59779 MiB free)
memory of node 1: 64465 MiB (59881 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526144-1751628784/watcher-4526144-1751628784 -o /tmp/evaluation-result-4526144-1751628784/solver-4526144-1751628784 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751628188-90087 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4526144-1751628784.wbo
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 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=92509, runsolver pid=92506
[startup+0.100059 s]*
/proc/loadavg: 4.08 4.09 4.09 5/337 92527
/proc/meminfo: memFree=122520688/131250000 swapFree=33010684/33010684
[pid=92509] ppid=92506 vsize=18930384 memory=58000 CPUtime=0.13 cores=0,2
/proc/92509/stat : 92509 (java) S 92506 92509 90077 0 -1 4194304 6605 0 0 0 12 1 0 0 20 0 18 0 78500924 19384713216 14500 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
/proc/92509/statm: 4732596 14500 5360 1 0 547642 0
[pid=92509/tid=92511] ppid=92506 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/92509/task/92511/stat : 92511 (java) D 92506 92509 90077 0 -1 4456512 5098 0 0 0 7 1 0 0 20 0 18 0 78500925 19384713216 14500 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92520] ppid=92506 vsize=18930384 memory=237112656212 CPUtime=0 cores=0,2
/proc/92509/task/92520/stat : 92520 (Finalizer) S 92506 92509 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78500927 19384713216 14500 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92527] ppid=92506 vsize=18930384 memory=60684515937227 CPUtime=0 cores=0,2
/proc/92509/task/92527/stat : 92527 (Common-Cleaner) S 92506 92509 90077 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78500927 19384713216 14500 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58000 KiB
[startup+0.205862 s]*
/proc/loadavg: 4.08 4.09 4.09 7/337 92527
/proc/meminfo: memFree=122511248/131250000 swapFree=33010684/33010684
[pid=92509] ppid=92506 vsize=18930384 memory=68368 CPUtime=0.32 cores=0,2
/proc/92509/stat : 92509 (java) S 92506 92509 90077 0 -1 4194304 7079 0 0 0 30 2 0 0 20 0 18 0 78500924 19384713216 17092 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
/proc/92509/statm: 4732596 17092 5456 1 0 547931 0
[pid=92509/tid=92511] ppid=92506 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=0,2
/proc/92509/task/92511/stat : 92511 (java) R 92506 92509 90077 0 -1 4194368 5306 0 0 0 15 1 0 0 20 0 18 0 78500925 19384713216 17092 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92520] ppid=92506 vsize=18930384 memory=16124 CPUtime=0 cores=0,2
/proc/92509/task/92520/stat : 92520 (Finalizer) S 92506 92509 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78500927 19384713216 17092 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92527] ppid=92506 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/92509/task/92527/stat : 92527 (Common-Cleaner) S 92506 92509 90077 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78500927 19384713216 17092 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68368 KiB
[startup+0.305755 s]*
/proc/loadavg: 4.08 4.09 4.09 6/338 92528
/proc/meminfo: memFree=122506396/131250000 swapFree=33010684/33010684
[pid=92509] ppid=92506 vsize=18996948 memory=72348 CPUtime=0.51 cores=0,2
/proc/92509/stat : 92509 (java) S 92506 92509 90077 0 -1 4194304 7740 0 0 0 49 2 0 0 20 0 19 0 78500924 19452874752 18087 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
/proc/92509/statm: 4749237 18087 5488 1 0 548556 0
[pid=92509/tid=92511] ppid=92506 vsize=18996948 memory=-6000919481380334182 CPUtime=0.27 cores=0,2
/proc/92509/task/92511/stat : 92511 (java) R 92506 92509 90077 0 -1 4194368 5414 0 0 0 25 2 0 0 20 0 19 0 78500925 19452874752 18087 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92520] ppid=92506 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/92509/task/92520/stat : 92520 (Finalizer) S 92506 92509 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78500927 19452874752 18087 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92527] ppid=92506 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/92509/task/92527/stat : 92527 (Common-Cleaner) S 92506 92509 90077 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 78500927 19452874752 18087 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92528] ppid=92506 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/92509/task/92528/stat : 92528 (Timer-0) S 92506 92509 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78500947 19452874752 18087 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 72348 KiB
[startup+0.700243 s]
/proc/loadavg: 4.08 4.09 4.09 6/338 92528
/proc/meminfo: memFree=122498080/131250000 swapFree=33010684/33010684
[pid=92509] ppid=92506 vsize=18996948 memory=87784 CPUtime=1.28 cores=0,2
/proc/92509/stat : 92509 (java) S 92506 92509 90077 0 -1 4194304 12027 0 0 0 125 3 0 0 20 0 19 0 78500924 19452874752 21946 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
/proc/92509/statm: 4749237 21946 5488 1 0 551321 0
[pid=92509/tid=92511] ppid=92506 vsize=18996948 memory=18816 CPUtime=0.64 cores=0,2
/proc/92509/task/92511/stat : 92511 (java) R 92506 92509 90077 0 -1 4194368 5468 0 0 0 62 2 0 0 20 0 19 0 78500925 19452874752 21946 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92520] ppid=92506 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/92509/task/92520/stat : 92520 (Finalizer) S 92506 92509 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78500927 19452874752 21946 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92527] ppid=92506 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/92509/task/92527/stat : 92527 (Common-Cleaner) S 92506 92509 90077 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 78500927 19452874752 21946 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92528] ppid=92506 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/92509/task/92528/stat : 92528 (Timer-0) S 92506 92509 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78500947 19452874752 21946 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 87784 KiB
[startup+1.50026 s]
/proc/loadavg: 4.08 4.09 4.09 5/338 92528
/proc/meminfo: memFree=122490456/131250000 swapFree=33010684/33010684
[pid=92509] ppid=92506 vsize=18996948 memory=94540 CPUtime=2.27 cores=0,2
/proc/92509/stat : 92509 (java) S 92506 92509 90077 0 -1 4194304 13454 0 0 0 223 4 0 0 20 0 19 0 78500924 19452874752 23635 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
/proc/92509/statm: 4749237 23635 5488 1 0 551355 0
[pid=92509/tid=92511] ppid=92506 vsize=18996948 memory=10752 CPUtime=1.43 cores=0,2
/proc/92509/task/92511/stat : 92511 (java) R 92506 92509 90077 0 -1 4194368 5634 0 0 0 141 2 0 0 20 0 19 0 78500925 19452874752 23635 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92520] ppid=92506 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/92509/task/92520/stat : 92520 (Finalizer) S 92506 92509 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78500927 19452874752 23635 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92527] ppid=92506 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/92509/task/92527/stat : 92527 (Common-Cleaner) S 92506 92509 90077 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 78500927 19452874752 23635 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92528] ppid=92506 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/92509/task/92528/stat : 92528 (Timer-0) S 92506 92509 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78500947 19452874752 23635 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
Current children cumulated CPU time: 2.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 94540 KiB
[startup+3.10568 s]
/proc/loadavg: 4.15 4.11 4.09 5/338 92528
/proc/meminfo: memFree=122472308/131250000 swapFree=33010684/33010684
[pid=92509] ppid=92506 vsize=18996948 memory=110016 CPUtime=4.17 cores=0,2
/proc/92509/stat : 92509 (java) S 92506 92509 90077 0 -1 4194304 17213 0 0 0 412 5 0 0 20 0 19 0 78500924 19452874752 27504 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
/proc/92509/statm: 4749237 27504 5488 1 0 551584 0
[pid=92509/tid=92511] ppid=92506 vsize=18996948 memory=10752 CPUtime=3.02 cores=0,2
/proc/92509/task/92511/stat : 92511 (java) R 92506 92509 90077 0 -1 4194368 6252 0 0 0 300 2 0 0 20 0 19 0 78500925 19452874752 27504 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92520] ppid=92506 vsize=18996948 memory=-6000919481380334182 CPUtime=0 cores=0,2
/proc/92509/task/92520/stat : 92520 (Finalizer) S 92506 92509 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78500927 19452874752 27504 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92527] ppid=92506 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/92509/task/92527/stat : 92527 (Common-Cleaner) S 92506 92509 90077 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 78500927 19452874752 27504 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92528] ppid=92506 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/92509/task/92528/stat : 92528 (Timer-0) S 92506 92509 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78500947 19452874752 27504 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
Current children cumulated CPU time: 4.17 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 110016 KiB
[startup+6.30025 s]
/proc/loadavg: 4.15 4.11 4.09 6/338 92528
/proc/meminfo: memFree=122443888/131250000 swapFree=33010684/33010684
[pid=92509] ppid=92506 vsize=18996948 memory=140076 CPUtime=7.77 cores=0,2
/proc/92509/stat : 92509 (java) S 92506 92509 90077 0 -1 4194304 22379 0 0 0 771 6 0 0 20 0 19 0 78500924 19452874752 35019 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
/proc/92509/statm: 4749237 35019 5520 1 0 551585 0
[pid=92509/tid=92511] ppid=92506 vsize=18996948 memory=0 CPUtime=6.2 cores=0,2
/proc/92509/task/92511/stat : 92511 (java) R 92506 92509 90077 0 -1 4194368 6988 0 0 0 617 3 0 0 20 0 19 0 78500925 19452874752 35019 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92520] ppid=92506 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/92509/task/92520/stat : 92520 (Finalizer) S 92506 92509 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78500927 19452874752 35019 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92527] ppid=92506 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/92509/task/92527/stat : 92527 (Common-Cleaner) S 92506 92509 90077 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 78500927 19452874752 35019 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92528] ppid=92506 vsize=18996948 memory=97496 CPUtime=0 cores=0,2
/proc/92509/task/92528/stat : 92528 (Timer-0) S 92506 92509 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78500947 19452874752 35019 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
Current children cumulated CPU time: 7.77 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 140076 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.10 4.09 5/339 92529
/proc/meminfo: memFree=122389068/131250000 swapFree=33010684/33010684
[pid=92509] ppid=92506 vsize=19063512 memory=189268 CPUtime=14.2 cores=0,2
/proc/92509/stat : 92509 (java) S 92506 92509 90077 0 -1 4194304 25778 0 0 0 1412 8 0 0 20 0 20 0 78500924 19521036288 47317 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
/proc/92509/statm: 4765878 47317 5552 1 0 551890 0
[pid=92509/tid=92511] ppid=92506 vsize=19063512 memory=97496 CPUtime=12.56 cores=0,2
/proc/92509/task/92511/stat : 92511 (java) R 92506 92509 90077 0 -1 4194368 7638 0 0 0 1252 4 0 0 20 0 20 0 78500925 19521036288 47317 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92520] ppid=92506 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/92509/task/92520/stat : 92520 (Finalizer) S 92506 92509 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78500927 19521036288 47317 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92527] ppid=92506 vsize=19063512 memory=189268 CPUtime=0 cores=0,2
/proc/92509/task/92527/stat : 92527 (Common-Cleaner) S 92506 92509 90077 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 78500927 19521036288 47317 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92528] ppid=92506 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/92509/task/92528/stat : 92528 (Timer-0) S 92506 92509 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78500947 19521036288 47317 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
Current children cumulated CPU time: 14.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 189268 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.09 5/339 92529
/proc/meminfo: memFree=122323548/131250000 swapFree=33010684/33010684
[pid=92509] ppid=92506 vsize=19063512 memory=257300 CPUtime=27.09 cores=0,2
/proc/92509/stat : 92509 (java) S 92506 92509 90077 0 -1 4194304 28260 0 0 0 2700 9 0 0 20 0 20 0 78500924 19521036288 64325 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
/proc/92509/statm: 4765878 64325 5552 1 0 551890 0
[pid=92509/tid=92511] ppid=92506 vsize=19063512 memory=10752 CPUtime=25.26 cores=0,2
/proc/92509/task/92511/stat : 92511 (java) R 92506 92509 90077 0 -1 4194368 8217 0 0 0 2522 4 0 0 20 0 20 0 78500925 19521036288 64325 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92520] ppid=92506 vsize=19063512 memory=189268 CPUtime=0 cores=0,2
/proc/92509/task/92520/stat : 92520 (Finalizer) S 92506 92509 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78500927 19521036288 64325 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92527] ppid=92506 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/92509/task/92527/stat : 92527 (Common-Cleaner) S 92506 92509 90077 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 78500927 19521036288 64325 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92528] ppid=92506 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/92509/task/92528/stat : 92528 (Timer-0) S 92506 92509 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78500947 19521036288 64325 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
Current children cumulated CPU time: 27.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 257300 KiB
[startup+51.1058 s]
/proc/loadavg: 4.23 4.12 4.10 5/339 92599
/proc/meminfo: memFree=123719012/131250000 swapFree=33010684/33010684
[pid=92509] ppid=92506 vsize=19063512 memory=372300 CPUtime=52.72 cores=0,2
/proc/92509/stat : 92509 (java) S 92506 92509 90077 0 -1 4194304 28510 0 0 0 5261 11 0 0 20 0 20 0 78500924 19521036288 93075 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
/proc/92509/statm: 4765878 93075 5552 1 0 551890 0
[pid=92509/tid=92511] ppid=92506 vsize=19063512 memory=372300 CPUtime=50.69 cores=0,2
/proc/92509/task/92511/stat : 92511 (java) R 92506 92509 90077 0 -1 4194368 8219 0 0 0 5065 4 0 0 20 0 20 0 78500925 19521036288 93075 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92520] ppid=92506 vsize=19063512 memory=323000 CPUtime=0 cores=0,2
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.17 4.16 4.12 5/341 93745
/proc/meminfo: memFree=120710896/131250000 swapFree=33010684/33010684
[pid=92509] ppid=92506 vsize=19063512 memory=2166984 CPUtime=3280.16 cores=0,2
/proc/92509/stat : 92509 (java) S 92506 92509 90077 0 -1 4194304 85380 0 0 0 327895 121 0 0 20 0 20 0 78500924 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
/proc/92509/statm: 4765878 541746 5552 1 0 554751 0
[pid=92509/tid=92511] ppid=92506 vsize=19063512 memory=-6000919481380334182 CPUtime=3270.41 cores=0,2
/proc/92509/task/92511/stat : 92511 (java) R 92506 92509 90077 0 -1 4194368 33993 0 0 0 327021 20 0 0 20 0 20 0 78500925 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92520] ppid=92506 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/92509/task/92520/stat : 92520 (Finalizer) S 92506 92509 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78500927 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92527] ppid=92506 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/92509/task/92527/stat : 92527 (Common-Cleaner) S 92506 92509 90077 0 -1 4194368 1302 0 0 0 0 0 0 0 20 0 20 0 78500927 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92528] ppid=92506 vsize=19063512 memory=2166984 CPUtime=0 cores=0,2
/proc/92509/task/92528/stat : 92528 (Timer-0) S 92506 92509 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78500947 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
Current children cumulated CPU time: 3280.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166984 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/341 93747
/proc/meminfo: memFree=120538748/131250000 swapFree=33010684/33010684
[pid=92509] ppid=92506 vsize=19063512 memory=2166984 CPUtime=3340 cores=0,2
/proc/92509/stat : 92509 (java) S 92506 92509 90077 0 -1 4194304 85953 0 0 0 333878 122 0 0 20 0 20 0 78500924 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
/proc/92509/statm: 4765878 541746 5552 1 0 554751 0
[pid=92509/tid=92511] ppid=92506 vsize=19063512 memory=2166984 CPUtime=3330.24 cores=0,2
/proc/92509/task/92511/stat : 92511 (java) R 92506 92509 90077 0 -1 4194368 34477 0 0 0 333004 20 0 0 20 0 20 0 78500925 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92520] ppid=92506 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/92509/task/92520/stat : 92520 (Finalizer) S 92506 92509 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78500927 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92527] ppid=92506 vsize=19063512 memory=164 CPUtime=0 cores=0,2
/proc/92509/task/92527/stat : 92527 (Common-Cleaner) S 92506 92509 90077 0 -1 4194368 1302 0 0 0 0 0 0 0 20 0 20 0 78500927 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92528] ppid=92506 vsize=19063512 memory=2166984 CPUtime=0 cores=0,2
/proc/92509/task/92528/stat : 92528 (Timer-0) S 92506 92509 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78500947 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
Current children cumulated CPU time: 3340 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166984 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.16 4.12 5/341 93749
/proc/meminfo: memFree=120468300/131250000 swapFree=33010684/33010684
[pid=92509] ppid=92506 vsize=19063512 memory=2166984 CPUtime=3399.84 cores=0,2
/proc/92509/stat : 92509 (java) S 92506 92509 90077 0 -1 4194304 87092 0 0 0 339862 122 0 0 20 0 20 0 78500924 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
/proc/92509/statm: 4765878 541746 5552 1 0 554751 0
[pid=92509/tid=92511] ppid=92506 vsize=19063512 memory=2166984 CPUtime=3390.07 cores=0,2
/proc/92509/task/92511/stat : 92511 (java) R 92506 92509 90077 0 -1 4194368 35361 0 0 0 338987 20 0 0 20 0 20 0 78500925 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92520] ppid=92506 vsize=19063512 memory=2166984 CPUtime=0 cores=0,2
/proc/92509/task/92520/stat : 92520 (Finalizer) S 92506 92509 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78500927 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92527] ppid=92506 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/92509/task/92527/stat : 92527 (Common-Cleaner) S 92506 92509 90077 0 -1 4194368 1380 0 0 0 0 0 0 0 20 0 20 0 78500927 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92528] ppid=92506 vsize=19063512 memory=2166984 CPUtime=0 cores=0,2
/proc/92509/task/92528/stat : 92528 (Timer-0) S 92506 92509 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78500947 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
Current children cumulated CPU time: 3399.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166984 KiB
[startup+3462.3 s]
/proc/loadavg: 4.27 4.18 4.13 5/341 93752
/proc/meminfo: memFree=120246180/131250000 swapFree=33010684/33010684
[pid=92509] ppid=92506 vsize=19063512 memory=2166984 CPUtime=3460.3 cores=0,2
/proc/92509/stat : 92509 (java) S 92506 92509 90077 0 -1 4194304 91419 0 0 0 345905 125 0 0 20 0 20 0 78500924 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
/proc/92509/statm: 4765878 541746 5552 1 0 554751 0
[pid=92509/tid=92511] ppid=92506 vsize=19063512 memory=4760 CPUtime=3449.74 cores=0,2
/proc/92509/task/92511/stat : 92511 (java) R 92506 92509 90077 0 -1 4194368 37805 0 0 0 344954 20 0 0 20 0 20 0 78500925 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92520] ppid=92506 vsize=19063512 memory=2166984 CPUtime=0 cores=0,2
/proc/92509/task/92520/stat : 92520 (Finalizer) S 92506 92509 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78500927 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92527] ppid=92506 vsize=19063512 memory=18816 CPUtime=0 cores=0,2
/proc/92509/task/92527/stat : 92527 (Common-Cleaner) S 92506 92509 90077 0 -1 4194368 1401 0 0 0 0 0 0 0 20 0 20 0 78500927 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92528] ppid=92506 vsize=19063512 memory=2166984 CPUtime=0 cores=0,2
/proc/92509/task/92528/stat : 92528 (Timer-0) S 92506 92509 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78500947 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
Current children cumulated CPU time: 3460.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166984 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/341 93754
/proc/meminfo: memFree=119944648/131250000 swapFree=33010684/33010684
[pid=92509] ppid=92506 vsize=19063512 memory=2166984 CPUtime=3520.15 cores=0,2
/proc/92509/stat : 92509 (java) S 92506 92509 90077 0 -1 4194304 91569 0 0 0 351889 126 0 0 20 0 20 0 78500924 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
/proc/92509/statm: 4765878 541746 5552 1 0 554751 0
[pid=92509/tid=92511] ppid=92506 vsize=19063512 memory=10752 CPUtime=3509.57 cores=0,2
/proc/92509/task/92511/stat : 92511 (java) R 92506 92509 90077 0 -1 4194368 37950 0 0 0 350937 20 0 0 20 0 20 0 78500925 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92520] ppid=92506 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/92509/task/92520/stat : 92520 (Finalizer) S 92506 92509 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78500927 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92527] ppid=92506 vsize=19063512 memory=2166984 CPUtime=0 cores=0,2
/proc/92509/task/92527/stat : 92527 (Common-Cleaner) S 92506 92509 90077 0 -1 4194368 1401 0 0 0 0 0 0 0 20 0 20 0 78500927 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92528] ppid=92506 vsize=19063512 memory=2166984 CPUtime=0 cores=0,2
/proc/92509/task/92528/stat : 92528 (Timer-0) S 92506 92509 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78500947 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
Current children cumulated CPU time: 3520.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166984 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.16 4.12 5/339 93756
/proc/meminfo: memFree=119863160/131250000 swapFree=33010684/33010684
[pid=92509] ppid=92506 vsize=19063512 memory=2166984 CPUtime=3580.1 cores=0,2
/proc/92509/stat : 92509 (java) S 92506 92509 90077 0 -1 4194304 92988 0 0 0 357882 128 0 0 20 0 20 0 78500924 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
/proc/92509/statm: 4765878 541746 5552 1 0 554754 0
[pid=92509/tid=92511] ppid=92506 vsize=19063512 memory=10752 CPUtime=3569.28 cores=0,2
/proc/92509/task/92511/stat : 92511 (java) R 92506 92509 90077 0 -1 4194368 38544 0 0 0 356908 20 0 0 20 0 20 0 78500925 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92520] ppid=92506 vsize=19063512 memory=2166984 CPUtime=0 cores=0,2
/proc/92509/task/92520/stat : 92520 (Finalizer) S 92506 92509 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78500927 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92527] ppid=92506 vsize=19063512 memory=2166984 CPUtime=0 cores=0,2
/proc/92509/task/92527/stat : 92527 (Common-Cleaner) S 92506 92509 90077 0 -1 4194368 1401 0 0 0 0 0 0 0 20 0 20 0 78500927 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92528] ppid=92506 vsize=19063512 memory=2166984 CPUtime=0 cores=0,2
/proc/92509/task/92528/stat : 92528 (Timer-0) S 92506 92509 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78500947 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
Current children cumulated CPU time: 3580.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166984 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3602.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/339 93756
/proc/meminfo: memFree=119863168/131250000 swapFree=33010684/33010684
[pid=92509] ppid=92506 vsize=19063512 memory=2166984 CPUtime=3600.05 cores=0,2
/proc/92509/stat : 92509 (java) S 92506 92509 90077 0 -1 4194304 93347 0 0 0 359877 128 0 0 20 0 20 0 78500924 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
/proc/92509/statm: 4765878 541746 5552 1 0 554754 0
[pid=92509/tid=92511] ppid=92506 vsize=19063512 memory=2166984 CPUtime=3589.22 cores=0,2
/proc/92509/task/92511/stat : 92511 (java) R 92506 92509 90077 0 -1 4194368 38901 0 0 0 358902 20 0 0 20 0 20 0 78500925 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92520] ppid=92506 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/92509/task/92520/stat : 92520 (Finalizer) S 92506 92509 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78500927 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92527] ppid=92506 vsize=19063512 memory=-4050210904893735567 CPUtime=0 cores=0,2
/proc/92509/task/92527/stat : 92527 (Common-Cleaner) S 92506 92509 90077 0 -1 4194368 1401 0 0 0 0 0 0 0 20 0 20 0 78500927 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92528] ppid=92506 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/92509/task/92528/stat : 92528 (Timer-0) S 92506 92509 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78500947 19521036288 541746 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166984 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3602.44 s]
# the end of solver process 92509 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3599 s, system=1.29696 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3602.4 s]
/proc/loadavg: 4.12 4.15 4.12 5/339 93756
/proc/meminfo: memFree=119863168/131250000 swapFree=33010684/33010684
[pid=92509] ppid=92506 vsize=19263204 memory=2168008 CPUtime=3600.25 cores=0,2
/proc/92509/stat : 92509 (java) S 92506 92509 90077 0 -1 4194304 95459 0 0 0 359897 128 0 0 20 0 21 0 78500924 19725520896 542002 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
/proc/92509/statm: 4815801 542002 5584 1 0 555696 0
[pid=92509/tid=92511] ppid=92506 vsize=19263204 memory=2166984 CPUtime=3589.32 cores=0,2
/proc/92509/task/92511/stat : 92511 (java) R 92506 92509 90077 0 -1 4194368 39061 0 0 0 358912 20 0 0 20 0 21 0 78500925 19725520896 542002 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92520] ppid=92506 vsize=19263204 memory=-6000919481380334182 CPUtime=0 cores=0,2
/proc/92509/task/92520/stat : 92520 (Finalizer) S 92506 92509 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78500927 19725520896 542002 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
[pid=92509/tid=92527] ppid=92506 vsize=19263204 memory=2166984 CPUtime=0 cores=0,2
/proc/92509/task/92527/stat : 92527 (Common-Cleaner) S 92506 92509 90077 0 -1 4194368 1401 0 0 0 0 0 0 0 20 0 21 0 78500927 19725520896 542002 18446744073709551615 93972204482560 93972204486256 140727756806816 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93972204494072 93972204494864 93972223143936 140727756810623 140727756810724 140727756810724 140727756816328 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2168008 KiB
Child status: 143
Real time (s): 3602.44
CPU time (s): 3600.3
CPU user time (s): 3599
CPU system time (s): 1.29696
CPU usage (%): 99.9407
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2168008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599
system time used= 1.29696
maximum resident set size= 2168136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95716
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104571
involuntary context switches= 6316
# summary of solver processes directly reported to runsolver:
# pid: 92509
# total CPU time (s): 3600.3
# total CPU user time (s): 3599
# total CPU system time (s): 1.29696
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.77517 second user time and 17.5189 second system time
The end
Begin job on nodeC028 at 2025-07-04 13:33:04 IDJOB=4526144 IDBENCH=143996 IDSOLVER=3380 FILE ID=nodeC028/4526144-1751628784 RUNJOBID= nodeC028-1751628188-90087 SLURM_JOB_ID= 9598960 Free space on /tmp= 431472 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/warehouse/normalized-cap104_wcsp.wbo COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526144-1751628784/watcher-4526144-1751628784 -o /tmp/evaluation-result-4526144-1751628784/solver-4526144-1751628784 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751628188-90087 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4526144-1751628784.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8ae6cf967e584e12cada7dd8fbc9b19b RANDOM SEED=726739831 nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.755 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.16 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.080 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.16 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.053 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.16 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 : 3493.152 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.16 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.081 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.16 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.076 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.16 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 : 3596.139 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.16 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 : 3601.108 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.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 122532912 kB MemAvailable: 124507068 kB Buffers: 3280 kB Cached: 2774428 kB SwapCached: 0 kB Active: 5646312 kB Inactive: 2465152 kB Active(anon): 5351844 kB Inactive(anon): 0 kB Active(file): 294468 kB Inactive(file): 2465152 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 1072 kB Writeback: 4 kB AnonPages: 5337068 kB Mapped: 124372 kB Shmem: 18068 kB KReclaimable: 107552 kB Slab: 197600 kB SReclaimable: 107552 kB SUnreclaim: 90048 kB KernelStack: 5148 kB PageTables: 14256 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 13274440 kB VmallocTotal: 34359738367 kB VmallocUsed: 151432 kB VmallocChunk: 0 kB Percpu: 3904 kB HardwareCorrupted: 0 kB AnonHugePages: 5109760 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: 197332 kB DirectMap2M: 7962624 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431472 MiB End job on nodeC028 at 2025-07-04 14:33:07