Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution VeriPB 2025-06-06 | SAT (TO) | 225 | 3600.34 | 3408.1 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb |
| MD5SUM | f4fbd70ee8b80515313bebcddc52f82a |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 181 |
| Best CPU time to get the best result obtained on this benchmark | 3600.01 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 476 |
| Total number of constraints | 476 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 476 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 476 |
| 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 | 476 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 476 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version PB25.v20250606 0.00/0.09 c java.runtime.name OpenJDK Runtime Environment 0.00/0.09 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.09 c java.vm.version 22.0.1+8-16 0.00/0.09 c java.vm.vendor Oracle Corporation 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 22.0.1 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 2104792832 0.00/0.09 c Max memory 16282288128 0.00/0.09 c Total memory 2113929216 0.00/0.10 c Number of processors 2 0.12/0.14 c Pseudo Boolean Optimization by upper bound 0.12/0.14 c --- Begin Solver configuration --- 0.12/0.14 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.12/0.14 c Learn all clauses as in MiniSAT 0.12/0.14 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.14 c Expensive reason simplification 0.12/0.14 c Glucose 2.1 dynamic restart strategy 0.12/0.14 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.12/0.14 c timeout=2147483s 0.12/0.14 c DB Simplification allowed=false 0.12/0.14 c Listener: none 0.12/0.14 c --- End Solver configuration --- 0.12/0.14 c solving HOME/instance-4489331-1751344746.opb 0.12/0.14 c reading problem ... 0.12/0.15 c using VERIPB proof format 0.12/0.15 c objective function found 0.12/0.20 c ... done. Wall clock time 0.061s. 0.12/0.20 c declared #vars 476 0.12/0.20 c #constraints 476 0.12/0.20 c constraints type 0.12/0.20 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 476 0.12/0.20 c 476 constraints processed. 0.29/0.21 c objective function length is 476 literals 0.29/0.23 c SATISFIABLE 0.29/0.23 c OPTIMIZING... 0.29/0.23 c Got one! Elapsed wall clock time (in seconds):0.096 0.29/0.23 o 230 0.47/0.38 c Got one! Elapsed wall clock time (in seconds):0.244 0.47/0.38 o 229 2.79/1.50 c cleaning 2632 clauses out of 5274 with flag 10178/5274 4.16/2.27 c cleaning 4316 clauses out of 8642 with flag 22333/11274 4.52/2.42 c Got one! Elapsed wall clock time (in seconds):2.286 4.52/2.42 o 228 5.06/2.85 c cleaning 5045 clauses out of 10101 with flag 8164/17049 5.71/3.49 c cleaning 5520 clauses out of 11056 with flag 20237/23049 6.24/3.98 c Got one! Elapsed wall clock time (in seconds):3.831 6.24/3.98 o 227 6.35/4.07 c cleaning 5695 clauses out of 11409 with flag 2076/28922 7.37/4.72 c cleaning 5852 clauses out of 11715 with flag 14995/34923 8.00/5.39 c cleaning 6424 clauses out of 12863 with flag 29431/41923 9.08/6.24 c cleaning 7211 clauses out of 14438 with flag 46436/49922 10.03/7.14 c cleaning 8105 clauses out of 16228 with flag 65175/58923 11.07/8.19 c cleaning 9053 clauses out of 18122 with flag 85881/68922 12.26/9.36 c cleaning 10030 clauses out of 20069 with flag 108457/79922 13.52/10.58 c cleaning 11015 clauses out of 22040 with flag 133413/91923 14.87/11.86 c cleaning 12003 clauses out of 24024 with flag 160340/104922 14.97/11.90 c Got one! Elapsed wall clock time (in seconds):11.767 14.97/11.90 o 226 15.37/12.39 c cleaning 8743 clauses out of 17507 with flag 10711/110408 16.02/12.94 c cleaning 7374 clauses out of 14764 with flag 23275/116408 16.77/13.62 c cleaning 7185 clauses out of 14391 with flag 37706/123409 17.50/14.36 c cleaning 7595 clauses out of 15206 with flag 54216/131409 18.31/15.17 c cleaning 8296 clauses out of 16610 with flag 73042/140408 19.30/16.12 c cleaning 9148 clauses out of 18315 with flag 93821/150409 20.40/17.20 c cleaning 10076 clauses out of 20166 with flag 116449/161408 21.56/18.36 c cleaning 11036 clauses out of 22091 with flag 141335/173409 22.76/19.56 c cleaning 12017 clauses out of 24054 with flag 167710/186408 24.05/20.86 c cleaning 13011 clauses out of 26037 with flag 196148/200408 25.78/22.44 c cleaning 14006 clauses out of 28027 with flag 226772/215409 27.26/23.99 c cleaning 15001 clauses out of 30020 with flag 259931/231408 29.32/25.83 c cleaning 16002 clauses out of 32019 with flag 294872/248408 31.32/27.73 c cleaning 17005 clauses out of 34017 with flag 332068/266408 33.21/29.64 c cleaning 17998 clauses out of 36013 with flag 371388/285409 35.40/31.74 c cleaning 19000 clauses out of 38015 with flag 412898/305409 37.49/33.83 c cleaning 19996 clauses out of 40014 with flag 456036/326408 39.89/36.14 c cleaning 21001 clauses out of 42018 with flag 501203/348408 42.64/38.70 c cleaning 21999 clauses out of 44017 with flag 549217/371408 45.38/41.34 c cleaning 22999 clauses out of 46019 with flag 599008/395409 47.98/43.92 c cleaning 24000 clauses out of 48020 with flag 650597/420409 51.07/46.91 c cleaning 25005 clauses out of 50019 with flag 704345/446408 54.23/49.92 c cleaning 26002 clauses out of 52015 with flag 760472/473409 57.42/52.95 c cleaning 27002 clauses out of 54013 with flag 818492/501409 60.42/55.90 c cleaning 27998 clauses out of 56010 with flag 878635/530408 63.75/59.24 c cleaning 29001 clauses out of 58012 with flag 940918/560408 67.47/62.83 c cleaning 30001 clauses out of 60011 with flag 1005532/591408 71.73/66.91 c cleaning 30998 clauses out of 62010 with flag 1072639/623408 76.00/71.07 c cleaning 31994 clauses out of 64012 with flag 1141435/656408 80.21/75.19 c cleaning 33004 clauses out of 66019 with flag 1212836/690409 84.77/79.52 c cleaning 33998 clauses out of 68014 with flag 1285695/725408 89.19/83.84 c cleaning 35002 clauses out of 70016 with flag 1360632/761408 93.48/88.17 c cleaning 35998 clauses out of 72014 with flag 1437661/798408 97.73/92.31 c cleaning 37002 clauses out of 74017 with flag 1516755/836409 102.26/96.78 c cleaning 38002 clauses out of 76015 with flag 1598050/875409 107.09/101.46 c cleaning 38994 clauses out of 78013 with flag 1681019/915409 112.21/106.46 c cleaning 40002 clauses out of 80018 with flag 1766458/956408 117.23/111.37 c cleaning 40999 clauses out of 82017 with flag 1854048/998409 122.47/116.48 c cleaning 41998 clauses out of 84017 with flag 1943023/1041408 128.65/122.57 c cleaning 43000 clauses out of 86019 with flag 2034561/1085408 134.27/128.04 c cleaning 44001 clauses out of 88020 with flag 2128449/1130409 141.03/134.63 c cleaning 44993 clauses out of 90018 with flag 2226720/1176408 147.71/141.15 c cleaning 46005 clauses out of 92026 with flag 2325607/1223409 154.20/147.55 c cleaning 47003 clauses out of 94021 with flag 2426248/1271409 161.24/154.42 c cleaning 48000 clauses out of 96018 with flag 2530530/1320409 168.23/161.28 c cleaning 49003 clauses out of 98017 with flag 2634141/1370408 175.04/167.82 c cleaning 50002 clauses out of 100015 with flag 2740697/1421409 182.65/175.17 c cleaning 50997 clauses out of 102012 with flag 2848846/1473408 189.20/181.60 c cleaning 51995 clauses out of 104015 with flag 2959352/1526408 195.35/187.79 c cleaning 52999 clauses out of 106020 with flag 3071954/1580408 201.63/193.98 c cleaning 54001 clauses out of 108021 with flag 3185369/1635408 208.66/200.74 c cleaning 55000 clauses out of 110020 with flag 3302119/1691408 215.74/207.71 c cleaning 55997 clauses out of 112020 with flag 3420393/1748408 222.94/214.89 c cleaning 57003 clauses out of 114023 with flag 3542099/1806408 230.39/222.23 c cleaning 58002 clauses out of 116022 with flag 3666219/1865410 238.18/229.83 c cleaning 58997 clauses out of 118019 with flag 3791221/1925409 245.54/237.03 c cleaning 60001 clauses out of 120022 with flag 3918294/1986409 253.80/245.03 c cleaning 61002 clauses out of 122020 with flag 4048095/2048408 262.70/253.24 c cleaning 61994 clauses out of 124018 with flag 4179596/2111408 270.25/260.72 c cleaning 62997 clauses out of 126025 with flag 4312312/2175409 279.04/269.38 c cleaning 64001 clauses out of 128028 with flag 4447524/2240409 288.29/278.50 c cleaning 65002 clauses out of 130026 with flag 4586258/2306408 296.95/287.08 c cleaning 66002 clauses out of 132025 with flag 4725936/2373409 304.93/294.90 c cleaning 67000 clauses out of 134023 with flag 4866505/2441409 313.45/303.16 c cleaning 68001 clauses out of 136023 with flag 5009187/2510409 322.20/311.62 c cleaning 69001 clauses out of 138022 with flag 5155096/2580409 330.84/320.20 c cleaning 70000 clauses out of 140020 with flag 5302951/2651408 339.90/328.96 c cleaning 71000 clauses out of 142021 with flag 5452510/2723409 349.11/337.97 c cleaning 71999 clauses out of 144020 with flag 5603844/2796408 358.23/346.96 c cleaning 73000 clauses out of 146022 with flag 5758543/2870409 367.70/355.99 c cleaning 74002 clauses out of 148022 with flag 5912731/2945409 376.76/364.94 c cleaning 74998 clauses out of 150020 with flag 6069515/3021409 387.50/375.10 c cleaning 76003 clauses out of 152022 with flag 6230867/3098409 397.19/384.74 c cleaning 76997 clauses out of 154018 with flag 6393404/3176408 406.87/394.23 c cleaning 77998 clauses out of 156021 with flag 6557491/3255408 416.75/403.97 c cleaning 78997 clauses out of 158023 with flag 6723020/3335408 429.17/416.07 c cleaning 80000 clauses out of 160026 with flag 6911443/3416408 443.75/430.48 c cleaning 81007 clauses out of 162026 with flag 7126427/3498408 453.49/440.17 c Got one! Elapsed wall clock time (in seconds):440.034 453.49/440.17 o 225 454.59/441.21 c cleaning 73746 clauses out of 147505 with flag 10381/3564894 455.86/442.41 c cleaning 39870 clauses out of 79758 with flag 22819/3570893 456.67/443.20 c cleaning 23436 clauses out of 46888 with flag 37309/3577893 457.37/443.99 c cleaning 15722 clauses out of 31453 with flag 53916/3585894 458.26/444.82 c cleaning 12358 clauses out of 24730 with flag 72551/3594893 459.17/445.74 c cleaning 11180 clauses out of 22372 with flag 93281/3604893 460.16/446.78 c cleaning 11090 clauses out of 22193 with flag 116106/3615894 461.43/447.98 c cleaning 11542 clauses out of 23103 with flag 141013/3627894 462.73/449.23 c cleaning 12273 clauses out of 24562 with flag 167961/3640895 464.02/450.57 c cleaning 13134 clauses out of 26288 with flag 197080/3654894 465.72/452.12 c cleaning 14065 clauses out of 28153 with flag 227961/3669893 467.21/453.66 c cleaning 15031 clauses out of 30088 with flag 260970/3685893 468.90/455.36 c cleaning 16019 clauses out of 32058 with flag 296132/3702894 471.01/457.31 c cleaning 17008 clauses out of 34038 with flag 333437/3720893 472.81/459.17 c cleaning 18006 clauses out of 36030 with flag 373094/3739893 475.12/461.35 c cleaning 19004 clauses out of 38025 with flag 414985/3759894 477.41/463.60 c cleaning 19997 clauses out of 40020 with flag 458712/3780893 479.71/465.91 c cleaning 21002 clauses out of 42024 with flag 504749/3802894 482.29/468.41 c cleaning 22000 clauses out of 44021 with flag 553060/3825893 484.67/470.89 c cleaning 23003 clauses out of 46021 with flag 603304/3849893 487.45/473.56 c cleaning 23999 clauses out of 48018 with flag 655745/3874893 490.47/476.40 c cleaning 24998 clauses out of 50019 with flag 710039/3900893 493.27/479.26 c cleaning 26002 clauses out of 52021 with flag 766147/3927893 496.57/482.41 c cleaning 26997 clauses out of 54019 with flag 824854/3955893 499.76/485.60 c cleaning 28001 clauses out of 56023 with flag 885255/3984894 503.20/489.06 c cleaning 29001 clauses out of 58021 with flag 948005/4014893 507.17/492.90 c cleaning 30001 clauses out of 60020 with flag 1012607/4045893 510.96/496.76 c cleaning 31001 clauses out of 62020 with flag 1079524/4077894 515.09/500.85 c cleaning 32001 clauses out of 64019 with flag 1148479/4110894 519.26/504.96 c cleaning 33002 clauses out of 66018 with flag 1219678/4144894 523.86/509.45 c cleaning 34002 clauses out of 68015 with flag 1293522/4179893 528.55/514.12 c cleaning 34998 clauses out of 70013 with flag 1368883/4215893 533.28/518.83 c cleaning 36001 clauses out of 72015 with flag 1445910/4252893 537.95/523.48 c cleaning 36996 clauses out of 74014 with flag 1525506/4290893 542.83/528.20 c cleaning 37997 clauses out of 76018 with flag 1606783/4329893 547.63/532.96 c cleaning 38999 clauses out of 78021 with flag 1690291/4369893 552.34/537.60 c cleaning 40000 clauses out of 80022 with flag 1776082/4410893 557.36/542.41 c cleaning 41001 clauses out of 82022 with flag 1864291/4452893 562.27/547.22 c cleaning 41999 clauses out of 84021 with flag 1954630/4495893 567.47/552.37 c cleaning 43004 clauses out of 86023 with flag 2046603/4539894 572.87/557.66 c cleaning 43995 clauses out of 88018 with flag 2141015/4584893 578.97/563.69 c cleaning 44998 clauses out of 90024 with flag 2237333/4630894 585.05/569.63 c cleaning 46003 clauses out of 92025 with flag 2335677/4677893 591.03/575.57 c cleaning 47002 clauses out of 94022 with flag 2435903/4725893 597.00/581.49 c cleaning 47998 clauses out of 96020 with flag 2538412/4774893 602.97/587.31 c cleaning 49001 clauses out of 98023 with flag 2643178/4824894 608.91/593.27 c cleaning 50004 clauses out of 100021 with flag 2750284/4875893 615.38/599.57 c cleaning 50997 clauses out of 102017 with flag 2859705/4927893 621.79/605.84 c cleaning 51997 clauses out of 104020 with flag 2970655/4980893 628.25/612.20 c cleaning 53000 clauses out of 106023 with flag 3084444/5034893 634.98/618.92 c cleaning 54000 clauses out of 108023 with flag 3200176/5089893 642.13/625.90 c cleaning 55006 clauses out of 110025 with flag 3318712/5145895 649.72/633.46 c cleaning 56001 clauses out of 112018 with flag 3438333/5202894 657.26/640.91 c cleaning 57000 clauses out of 114017 with flag 3560533/5260894 666.22/649.73 c cleaning 58002 clauses out of 116016 with flag 3684133/5319893 674.86/658.22 c cleaning 59000 clauses out of 118014 with flag 3809664/5379893 683.61/666.68 c cleaning 59999 clauses out of 120014 with flag 3937357/5440893 693.16/675.53 c cleaning 60996 clauses out of 122015 with flag 4066802/5502893 702.21/684.54 c cleaning 61997 clauses out of 124019 with flag 4198625/5565893 711.16/693.45 c cleaning 63001 clauses out of 126023 with flag 4332648/5629894 721.66/703.73 c cleaning 64004 clauses out of 128021 with flag 4471915/5694893 732.64/714.57 c cleaning 64999 clauses out of 130018 with flag 4610231/5760894 742.98/724.88 c cleaning 66001 clauses out of 132019 with flag 4750292/5827894 754.52/735.87 c cleaning 66996 clauses out of 134017 with flag 4892766/5895893 764.70/745.93 c cleaning 67999 clauses out of 136022 with flag 5037988/5964894 774.12/755.31 c cleaning 68999 clauses out of 138022 with flag 5184518/6034893 784.07/765.11 c cleaning 70001 clauses out of 140023 with flag 5334203/6105893 795.03/776.10 c cleaning 71000 clauses out of 142022 with flag 5484616/6177893 806.49/787.37 c cleaning 72000 clauses out of 144023 with flag 5637355/6250894 817.45/798.27 c cleaning 73001 clauses out of 146022 with flag 5791379/6324893 828.24/808.89 c cleaning 73997 clauses out of 148022 with flag 5948414/6399894 839.42/819.83 c cleaning 75007 clauses out of 150026 with flag 6107382/6475895 850.75/831.12 c cleaning 75998 clauses out of 152018 with flag 6268873/6552894 862.35/842.65 c cleaning 76998 clauses out of 154019 with flag 6432316/6630893 873.82/853.99 c cleaning 78000 clauses out of 156021 with flag 6598241/6709893 885.77/865.71 c cleaning 79003 clauses out of 158021 with flag 6766634/6789893 896.83/876.68 c cleaning 79998 clauses out of 160018 with flag 6938265/6870893 909.40/889.09 c cleaning 80999 clauses out of 162020 with flag 7111193/6952893 921.94/901.32 c cleaning 82001 clauses out of 164021 with flag 7285375/7035893 934.44/913.76 c cleaning 82999 clauses out of 166021 with flag 7460805/7119894 947.00/926.18 c cleaning 84002 clauses out of 168022 with flag 7638946/7204894 959.65/938.60 c cleaning 85000 clauses out of 170021 with flag 7819104/7290895 972.48/951.37 c cleaning 86000 clauses out of 172020 with flag 8001828/7377894 987.42/966.10 c cleaning 87000 clauses out of 174019 with flag 8186270/7465893 1003.07/981.69 c cleaning 87998 clauses out of 176019 with flag 8371990/7554893 1016.92/995.31 c cleaning 89000 clauses out of 178021 with flag 8559588/7644893 1030.24/1008.56 c cleaning 89998 clauses out of 180022 with flag 8749101/7735894 1044.92/1022.81 c cleaning 91004 clauses out of 182023 with flag 8941609/7827893 1058.68/1036.36 c cleaning 92000 clauses out of 184019 with flag 9136699/7920893 1072.56/1050.14 c cleaning 93002 clauses out of 186019 with flag 9334063/8014893 1087.14/1064.67 c cleaning 93998 clauses out of 188018 with flag 9531934/8109894 1102.31/1079.39 c cleaning 95000 clauses out of 190019 with flag 9732560/8205893 1118.16/1094.72 c cleaning 95995 clauses out of 192020 with flag 9934789/8302894 1134.09/1109.59 c cleaning 97007 clauses out of 194025 with flag 10140331/8400894 1150.42/1125.47 c cleaning 97999 clauses out of 196018 with flag 10349341/8499894 1167.86/1141.55 c cleaning 99003 clauses out of 198018 with flag 10560311/8599893 1183.51/1156.70 c cleaning 100000 clauses out of 200015 with flag 10773654/8700893 1199.84/1171.82 c cleaning 101000 clauses out of 202016 with flag 10990419/8802894 1216.15/1186.79 c cleaning 101999 clauses out of 204015 with flag 11208949/8905893 1233.11/1202.49 c cleaning 102994 clauses out of 206017 with flag 11429605/9009894 1249.85/1217.92 c cleaning 104000 clauses out of 208022 with flag 11652041/9114893 1266.63/1233.59 c cleaning 105001 clauses out of 210022 with flag 11876873/9220893 1284.86/1249.50 c cleaning 106001 clauses out of 212021 with flag 12105684/9327893 1302.54/1265.94 c cleaning 107001 clauses out of 214021 with flag 12334429/9435894 1320.73/1281.98 c cleaning 108000 clauses out of 216019 with flag 12565955/9544893 1339.22/1299.24 c cleaning 108999 clauses out of 218021 with flag 12798592/9654895 1361.35/1318.95 c cleaning 109996 clauses out of 220020 with flag 13041346/9765893 1380.74/1337.07 c cleaning 111007 clauses out of 222025 with flag 13279477/9877894 1401.59/1355.49 c cleaning 111999 clauses out of 224018 with flag 13520183/9990894 1420.42/1372.96 c cleaning 112995 clauses out of 226018 with flag 13762277/10104893 1444.13/1394.17 c cleaning 114003 clauses out of 228023 with flag 14002581/10219893 1466.05/1414.62 c cleaning 115000 clauses out of 230022 with flag 14243289/10335895 1491.22/1438.57 c cleaning 116004 clauses out of 232021 with flag 14486738/10452894 1514.57/1459.56 c cleaning 116999 clauses out of 234018 with flag 14732819/10570895 1539.15/1481.55 c cleaning 117997 clauses out of 236017 with flag 14981011/10689893 1561.33/1502.26 c cleaning 119002 clauses out of 238021 with flag 15234675/10809894 1580.75/1520.37 c cleaning 119997 clauses out of 240019 with flag 15490813/10930894 1603.82/1541.01 c cleaning 121001 clauses out of 242022 with flag 15749769/11052894 1628.79/1563.45 c cleaning 122001 clauses out of 244022 with flag 16010144/11175895 1652.01/1585.29 c cleaning 122998 clauses out of 246020 with flag 16270740/11299894 1676.86/1607.40 c cleaning 124001 clauses out of 248021 with flag 16535092/11424893 1699.81/1628.96 c cleaning 124999 clauses out of 250021 with flag 16801044/11550894 1722.34/1650.00 c cleaning 126000 clauses out of 252022 with flag 17068685/11677894 1743.82/1669.92 c cleaning 127001 clauses out of 254021 with flag 17338311/11805893 1766.22/1690.87 c cleaning 127996 clauses out of 256020 with flag 17611471/11934893 1788.78/1711.91 c cleaning 129004 clauses out of 258025 with flag 17885834/12064894 1808.31/1731.06 c cleaning 130000 clauses out of 260021 with flag 18165663/12195894 1830.78/1752.08 c cleaning 130998 clauses out of 262020 with flag 18443194/12327893 1854.27/1773.86 c cleaning 132000 clauses out of 264022 with flag 18720644/12460893 1876.72/1794.61 c cleaning 133000 clauses out of 266023 with flag 19003010/12594894 1899.75/1816.03 c cleaning 134001 clauses out of 268022 with flag 19289602/12729893 1924.12/1839.06 c cleaning 134997 clauses out of 270021 with flag 19578958/12865893 1947.76/1862.45 c cleaning 136002 clauses out of 272025 with flag 19866818/13002894 1976.60/1888.29 c cleaning 136999 clauses out of 274022 with flag 20157561/13140893 2003.77/1913.78 c cleaning 138002 clauses out of 276023 with flag 20449650/13279893 2030.15/1938.55 c cleaning 139002 clauses out of 278023 with flag 20741926/13419895 2058.15/1964.50 c cleaning 139993 clauses out of 280020 with flag 21035881/13560894 2085.74/1990.43 c cleaning 141004 clauses out of 282026 with flag 21332631/13702893 2116.10/2019.07 c cleaning 142000 clauses out of 284022 with flag 21632812/13845893 2148.24/2049.45 c cleaning 143001 clauses out of 286023 with flag 21932680/13989894 2171.41/2072.47 c cleaning 144001 clauses out of 288022 with flag 22236834/14134894 2199.39/2098.80 c cleaning 145000 clauses out of 290020 with flag 22544022/14280893 2227.67/2126.64 c cleaning 146002 clauses out of 292021 with flag 22853490/14427894 2254.20/2151.26 c cleaning 146996 clauses out of 294018 with flag 23165214/14575893 2279.40/2176.09 c cleaning 147997 clauses out of 296022 with flag 23482186/14724893 2304.87/2200.31 c cleaning 149000 clauses out of 298026 with flag 23798854/14874894 2336.08/2230.92 c cleaning 150002 clauses out of 300026 with flag 24119209/15025894 2362.56/2256.08 c cleaning 151004 clauses out of 302023 with flag 24445296/15177893 2389.87/2281.64 c cleaning 152000 clauses out of 304020 with flag 24770429/15330894 2414.88/2304.75 c cleaning 153002 clauses out of 306020 with flag 25097591/15484894 2440.57/2328.74 c cleaning 154000 clauses out of 308017 with flag 25428691/15639893 2465.93/2352.56 c cleaning 154999 clauses out of 310018 with flag 25758981/15795894 2497.86/2381.48 c cleaning 156000 clauses out of 312018 with flag 26092046/15952893 2529.43/2411.40 c cleaning 156998 clauses out of 314018 with flag 26422845/16110893 2562.40/2441.58 c cleaning 158003 clauses out of 316021 with flag 26757172/16269894 2591.77/2469.51 c cleaning 159000 clauses out of 318017 with flag 27095176/16429893 2624.30/2498.91 c cleaning 160004 clauses out of 320017 with flag 27435996/16590893 2658.79/2531.60 c cleaning 160997 clauses out of 322014 with flag 27774337/16752894 2691.64/2562.03 c cleaning 161999 clauses out of 324016 with flag 28113206/16915893 2726.73/2593.62 c cleaning 162997 clauses out of 326017 with flag 28458201/17079893 2760.93/2626.17 c cleaning 163998 clauses out of 328020 with flag 28807228/17244893 2798.62/2660.84 c cleaning 164999 clauses out of 330023 with flag 29162148/17410894 2837.51/2698.11 c cleaning 166003 clauses out of 332023 with flag 29519165/17577893 2872.95/2730.51 c cleaning 167000 clauses out of 334020 with flag 29876964/17745893 2914.01/2768.00 c cleaning 167997 clauses out of 336020 with flag 30235514/17914893 2948.83/2801.06 c cleaning 169001 clauses out of 338023 with flag 30597254/18084893 2989.32/2838.41 c cleaning 170001 clauses out of 340022 with flag 30961073/18255893 3026.74/2873.95 c cleaning 170997 clauses out of 342021 with flag 31328805/18427893 3069.03/2912.97 c cleaning 171996 clauses out of 344024 with flag 31695886/18600893 3104.26/2946.30 c cleaning 173005 clauses out of 346029 with flag 32065229/18774894 3141.19/2980.10 c cleaning 173998 clauses out of 348024 with flag 32438401/18949894 3180.82/3015.93 c cleaning 175004 clauses out of 350026 with flag 32814306/19125894 3216.30/3049.51 c cleaning 176002 clauses out of 352021 with flag 33187829/19302893 3255.86/3087.59 c cleaning 176999 clauses out of 354019 with flag 33563241/19480893 3291.12/3121.22 c cleaning 178003 clauses out of 356021 with flag 33941190/19659894 3328.73/3154.98 c cleaning 178994 clauses out of 358017 with flag 34320158/19839893 3363.77/3188.14 c cleaning 180001 clauses out of 360023 with flag 34698880/20020893 3407.55/3228.40 c cleaning 180996 clauses out of 362022 with flag 35078563/20202893 3449.30/3268.20 c cleaning 182004 clauses out of 364027 with flag 35459463/20385894 3494.46/3309.85 c cleaning 182997 clauses out of 366022 with flag 35843042/20569893 3537.28/3350.68 c cleaning 184003 clauses out of 368026 with flag 36230160/20754894 3579.35/3388.82 c cleaning 184995 clauses out of 370022 with flag 36623331/20940893 3600.00/3407.61 c starts : 3185 3600.00/3407.63 c conflicts : 21066162 3600.00/3407.63 c decisions : 29598514 3600.00/3407.63 c propagations : 418184001 3600.00/3407.63 c inspects : 14097833911 3600.00/3407.63 c shortcuts : 0 3600.00/3407.63 c learnt literals : 0 3600.00/3407.63 c learnt binary clauses : 0 3600.00/3407.63 c learnt ternary clauses : 0 3600.00/3407.63 c learnt constraints : 21066162 3600.00/3407.63 c ignored constraints : 0 3600.00/3407.63 c root simplifications : 0 3600.00/3407.63 c removed literals (reason simplification) : 582799 3600.00/3407.63 c reason swapping (by a shorter reason) : 0 3600.00/3407.63 c Calls to reduceDB : 273 3600.00/3407.63 c Number of update (reduction) of LBD : 583317 3600.00/3407.63 c Imported unit clauses : 0 3600.00/3407.63 c No decision after first conflict : false 3600.00/3407.63 c number of reductions to clauses (during analyze) : 0 3600.00/3407.63 c number of learned constraints concerned by reduction : 0 3600.00/3407.63 c number of learning phase by resolution : 0 3600.00/3407.63 c number of learning phase by cutting planes : 0 3600.00/3407.63 c number of rounding to 1 operations : 0 3600.00/3407.63 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.00/3407.63 c number of reductions of the coefficients by power 2 : 0 3600.00/3407.63 c number of right shift for reduction by power 2 : 0 3600.00/3407.63 c number of reductions of the coefficients by GCD over coefficients : 0 3600.00/3407.63 c number of ending skipping : 0 3600.00/3407.63 c number of internal skipping : 0 3600.00/3407.63 c number of derivation steps : 0 3600.00/3407.63 c number of skipped derivation steps : 0 3600.00/3407.63 c number of remaining unassigned : 0 3600.00/3407.63 c number of remaining assigned : 0 3600.00/3407.63 c number of falsified literals weakened from reason : 0 3600.00/3407.63 c number of falsified literals weakened from conflict : 0 3600.00/3407.63 c time for arithmetic operations : 0 3600.00/3407.63 c minimum degree of deleted constraints : null 3600.00/3407.63 c maximum degree of deleted constraints : null 3600.00/3407.63 c number of deleted constraints : 0 3600.00/3407.64 c speed (assignments/second) : 122727.8919929753 3600.00/3407.64 c non guided choices : 0 3600.21/3407.71 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 310296 3600.21/3407.71 s SATISFIABLE 3600.21/3407.71 c Found 6 solution(s) 3600.21/3407.71 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 3600.21/3407.71 c objective function=225 3600.21/3407.71 c Total wall clock time (in seconds): 3407.574
OK 225
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 (54358 MiB free)
memory of node 1: 64465 MiB (23368 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489331-1751344746/watcher-4489331-1751344746 -o /tmp/evaluation-result-4489331-1751344746/solver-4489331-1751344746 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751337414-48345 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4489331-1751344746 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4489331-1751344746.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=50147, runsolver pid=50144
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.52 4.44 4.34 5/345 50165
/proc/meminfo: memFree=79555488/131249996 swapFree=33006296/33010684
[pid=50147] ppid=50144 vsize=18930384 memory=55464 CPUtime=0.12 cores=0,2
/proc/50147/stat : 50147 (java) S 50144 50147 48335 0 -1 4194304 6494 0 0 0 10 2 0 0 20 0 18 0 50152086 19384713216 13866 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
/proc/50147/statm: 4732596 13866 5353 1 0 547572 0
[pid=50147/tid=50149] ppid=50144 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/50147/task/50149/stat : 50149 (java) R 50144 50147 48335 0 -1 4194368 5015 0 0 0 6 1 0 0 20 0 18 0 50152087 19384713216 13866 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50158] ppid=50144 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/50147/task/50158/stat : 50158 (Finalizer) S 50144 50147 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50152089 19384713216 13866 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50165] ppid=50144 vsize=18930384 memory=58485492697507 CPUtime=0 cores=0,2
/proc/50147/task/50165/stat : 50165 (Common-Cleaner) S 50144 50147 48335 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50152090 19384713216 13866 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55464 KiB
[startup+0.205956 s]*
/proc/loadavg: 4.52 4.44 4.34 7/345 50165
/proc/meminfo: memFree=79533940/131249996 swapFree=33006296/33010684
[pid=50147] ppid=50144 vsize=18930384 memory=63868 CPUtime=0.29 cores=0,2
/proc/50147/stat : 50147 (java) S 50144 50147 48335 0 -1 4194304 7036 0 0 0 26 3 0 0 20 0 18 0 50152086 19384713216 15967 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
/proc/50147/statm: 4732596 15967 5417 1 0 547927 0
[pid=50147/tid=50149] ppid=50144 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=0,2
/proc/50147/task/50149/stat : 50149 (java) R 50144 50147 48335 0 -1 4194368 5320 0 0 0 15 1 0 0 20 0 18 0 50152087 19384713216 15967 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50158] ppid=50144 vsize=18930384 memory=2630 CPUtime=0 cores=0,2
/proc/50147/task/50158/stat : 50158 (Finalizer) S 50144 50147 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50152089 19384713216 15967 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50165] ppid=50144 vsize=18930384 memory=57385981051877 CPUtime=0 cores=0,2
/proc/50147/task/50165/stat : 50165 (Common-Cleaner) S 50144 50147 48335 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50152090 19384713216 15967 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63868 KiB
[startup+0.305818 s]*
/proc/loadavg: 4.52 4.44 4.34 7/346 50166
/proc/meminfo: memFree=79523228/131249996 swapFree=33006296/33010684
[pid=50147] ppid=50144 vsize=18996948 memory=74968 CPUtime=0.47 cores=0,2
/proc/50147/stat : 50147 (java) S 50144 50147 48335 0 -1 4194304 8247 0 0 0 44 3 0 0 20 0 19 0 50152086 19452874752 18742 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
/proc/50147/statm: 4749237 18742 5449 1 0 548749 0
[pid=50147/tid=50149] ppid=50144 vsize=18996948 memory=-6000919489903422570 CPUtime=0.24 cores=0,2
/proc/50147/task/50149/stat : 50149 (java) R 50144 50147 48335 0 -1 4194368 5459 0 0 0 23 1 0 0 20 0 19 0 50152087 19452874752 18742 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50158] ppid=50144 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/50147/task/50158/stat : 50158 (Finalizer) S 50144 50147 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 50152089 19452874752 18742 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50165] ppid=50144 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/50147/task/50165/stat : 50165 (Common-Cleaner) S 50144 50147 48335 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 50152090 19452874752 18742 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50166] ppid=50144 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/50147/task/50166/stat : 50166 (Timer-0) S 50144 50147 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 50152109 19452874752 18742 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 74968 KiB
[startup+0.700221 s]
/proc/loadavg: 4.52 4.44 4.34 6/346 50166
/proc/meminfo: memFree=79457884/131249996 swapFree=33006296/33010684
[pid=50147] ppid=50144 vsize=19063512 memory=162892 CPUtime=1.23 cores=0,2
/proc/50147/stat : 50147 (java) S 50144 50147 48335 0 -1 4194304 10912 0 0 0 117 6 0 0 20 0 20 0 50152086 19521036288 40723 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
/proc/50147/statm: 4765878 40723 5481 1 0 550269 0
[pid=50147/tid=50149] ppid=50144 vsize=19063512 memory=14080 CPUtime=0.61 cores=0,2
/proc/50147/task/50149/stat : 50149 (java) R 50144 50147 48335 0 -1 4194368 5510 0 0 0 57 4 0 0 20 0 20 0 50152087 19521036288 40723 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50158] ppid=50144 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/50147/task/50158/stat : 50158 (Finalizer) S 50144 50147 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50152089 19521036288 40723 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50165] ppid=50144 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/50147/task/50165/stat : 50165 (Common-Cleaner) S 50144 50147 48335 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 50152090 19521036288 40723 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50166] ppid=50144 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/50147/task/50166/stat : 50166 (Timer-0) S 50144 50147 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50152109 19521036288 40723 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 162892 KiB
[startup+1.50024 s]
/proc/loadavg: 4.52 4.44 4.34 6/347 50167
/proc/meminfo: memFree=79391096/131249996 swapFree=33006296/33010684
[pid=50147] ppid=50144 vsize=19063512 memory=188404 CPUtime=2.79 cores=0,2
/proc/50147/stat : 50147 (java) S 50144 50147 48335 0 -1 4194304 20854 0 0 0 269 10 0 0 20 0 20 0 50152086 19521036288 47101 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
/proc/50147/statm: 4765878 47101 5513 1 0 552848 0
[pid=50147/tid=50149] ppid=50144 vsize=19063512 memory=10752 CPUtime=1.32 cores=0,2
/proc/50147/task/50149/stat : 50149 (java) R 50144 50147 48335 0 -1 4194368 6261 0 0 0 127 5 0 0 20 0 20 0 50152087 19521036288 47101 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50158] ppid=50144 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/50147/task/50158/stat : 50158 (Finalizer) S 50144 50147 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50152089 19521036288 47101 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50165] ppid=50144 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/50147/task/50165/stat : 50165 (Common-Cleaner) S 50144 50147 48335 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 50152090 19521036288 47101 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50166] ppid=50144 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/50147/task/50166/stat : 50166 (Timer-0) S 50144 50147 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50152109 19521036288 47101 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 188404 KiB
[startup+3.10563 s]
/proc/loadavg: 4.52 4.44 4.34 6/347 50167
/proc/meminfo: memFree=78867332/131249996 swapFree=33006296/33010684
[pid=50147] ppid=50144 vsize=19063512 memory=624904 CPUtime=5.41 cores=0,2
/proc/50147/stat : 50147 (java) S 50144 50147 48335 0 -1 4194304 23908 0 0 0 518 23 0 0 20 0 20 0 50152086 19521036288 156226 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
/proc/50147/statm: 4765878 156226 5513 1 0 671980 0
[pid=50147/tid=50149] ppid=50144 vsize=19063512 memory=10752 CPUtime=2.81 cores=0,2
/proc/50147/task/50149/stat : 50149 (java) R 50144 50147 48335 0 -1 4194368 7176 0 0 0 266 15 0 0 20 0 20 0 50152087 19521036288 156226 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50158] ppid=50144 vsize=19063512 memory=-6000919489903422570 CPUtime=0 cores=0,2
/proc/50147/task/50158/stat : 50158 (Finalizer) S 50144 50147 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50152089 19521036288 156226 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50165] ppid=50144 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/50147/task/50165/stat : 50165 (Common-Cleaner) S 50144 50147 48335 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 50152090 19521036288 156226 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50166] ppid=50144 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/50147/task/50166/stat : 50166 (Timer-0) S 50144 50147 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50152109 19521036288 156226 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
Current children cumulated CPU time: 5.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 624904 KiB
[startup+6.30022 s]
/proc/loadavg: 4.64 4.47 4.35 6/347 50167
/proc/meminfo: memFree=77897900/131249996 swapFree=33006296/33010684
[pid=50147] ppid=50144 vsize=19063512 memory=1383040 CPUtime=9.18 cores=0,2
/proc/50147/stat : 50147 (java) S 50144 50147 48335 0 -1 4194304 26561 0 0 0 873 45 0 0 20 0 20 0 50152086 19521036288 345760 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
/proc/50147/statm: 4765878 345760 5513 1 0 1056791 0
[pid=50147/tid=50149] ppid=50144 vsize=19063512 memory=0 CPUtime=5.84 cores=0,2
/proc/50147/task/50149/stat : 50149 (java) R 50144 50147 48335 0 -1 4194368 7506 0 0 0 552 32 0 0 20 0 20 0 50152087 19521036288 345760 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50158] ppid=50144 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/50147/task/50158/stat : 50158 (Finalizer) S 50144 50147 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50152089 19521036288 345760 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50165] ppid=50144 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/50147/task/50165/stat : 50165 (Common-Cleaner) S 50144 50147 48335 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 50152090 19521036288 345760 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50166] ppid=50144 vsize=19063512 memory=188740 CPUtime=0 cores=0,2
/proc/50147/task/50166/stat : 50166 (Timer-0) S 50144 50147 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50152109 19521036288 345760 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
Current children cumulated CPU time: 9.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1383040 KiB
[startup+12.7002 s]
/proc/loadavg: 4.59 4.46 4.35 5/347 50167
/proc/meminfo: memFree=76373972/131249996 swapFree=33006296/33010684
[pid=50147] ppid=50144 vsize=19063512 memory=2421816 CPUtime=15.82 cores=0,2
/proc/50147/stat : 50147 (java) S 50144 50147 48335 0 -1 4194304 27772 0 0 0 1507 75 0 0 20 0 20 0 50152086 19521036288 605454 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
/proc/50147/statm: 4765878 605454 5513 1 0 1294947 0
[pid=50147/tid=50149] ppid=50144 vsize=19063512 memory=188740 CPUtime=12.02 cores=0,2
/proc/50147/task/50149/stat : 50149 (java) R 50144 50147 48335 0 -1 4194368 7996 0 0 0 1142 60 0 0 20 0 20 0 50152087 19521036288 605454 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50158] ppid=50144 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/50147/task/50158/stat : 50158 (Finalizer) S 50144 50147 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50152089 19521036288 605454 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50165] ppid=50144 vsize=19063512 memory=2421816 CPUtime=0 cores=0,2
/proc/50147/task/50165/stat : 50165 (Common-Cleaner) S 50144 50147 48335 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 50152090 19521036288 605454 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50166] ppid=50144 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/50147/task/50166/stat : 50166 (Timer-0) S 50144 50147 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50152109 19521036288 605454 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
Current children cumulated CPU time: 15.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2421816 KiB
[startup+25.5002 s]
/proc/loadavg: 4.46 4.44 4.34 6/347 50168
/proc/meminfo: memFree=74640660/131249996 swapFree=33006296/33010684
[pid=50147] ppid=50144 vsize=19063512 memory=3507440 CPUtime=29.02 cores=0,2
/proc/50147/stat : 50147 (java) S 50144 50147 48335 0 -1 4194304 32914 0 0 0 2788 114 0 0 20 0 20 0 50152086 19521036288 876860 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
/proc/50147/statm: 4765878 876860 5513 1 0 1294956 0
[pid=50147/tid=50149] ppid=50144 vsize=19063512 memory=10752 CPUtime=24.37 cores=0,2
/proc/50147/task/50149/stat : 50149 (java) R 50144 50147 48335 0 -1 4194368 10205 0 0 0 2342 95 0 0 20 0 20 0 50152087 19521036288 876860 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50158] ppid=50144 vsize=19063512 memory=2421816 CPUtime=0 cores=0,2
/proc/50147/task/50158/stat : 50158 (Finalizer) S 50144 50147 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50152089 19521036288 876860 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50165] ppid=50144 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/50147/task/50165/stat : 50165 (Common-Cleaner) S 50144 50147 48335 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 50152090 19521036288 876860 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50166] ppid=50144 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/50147/task/50166/stat : 50166 (Timer-0) S 50144 50147 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50152109 19521036288 876860 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
Current children cumulated CPU time: 29.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3507440 KiB
[startup+51.1058 s]
/proc/loadavg: 4.50 4.45 4.35 6/348 50236
/proc/meminfo: memFree=110793240/131249996 swapFree=33006296/33010684
[pid=50147] ppid=50144 vsize=19063512 memory=3950060 CPUtime=55.44 cores=0,2
/proc/50147/stat : 50147 (java) S 50144 50147 48335 0 -1 4194304 39110 0 0 0 5385 159 0 0 20 0 20 0 50152086 19521036288 987515 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
/proc/50147/statm: 4765878 987515 5545 1 0 1294957 0
[pid=50147/tid=50149] ppid=50144 vsize=19063512 memory=14848 CPUtime=48.99 cores=0,2
################
# More data... #
################
/proc/50147/task/50158/stat : 50158 (Finalizer) S 50144 50147 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50152089 19521036288 1084321 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50165] ppid=50144 vsize=19063512 memory=5072 CPUtime=0 cores=0,2
/proc/50147/task/50165/stat : 50165 (Common-Cleaner) S 50144 50147 48335 0 -1 4194368 1019 0 0 0 0 0 0 0 20 0 20 0 50152090 19521036288 1084321 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50166] ppid=50144 vsize=19063512 memory=4337284 CPUtime=0 cores=0,2
/proc/50147/task/50166/stat : 50166 (Timer-0) S 50144 50147 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50152109 19521036288 1084321 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
Current children cumulated CPU time: 3208.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4337284 KiB
[startup+3102.3 s]
/proc/loadavg: 4.39 4.45 4.39 5/347 50407
/proc/meminfo: memFree=1494740/131249996 swapFree=33006296/33010684
[pid=50147] ppid=50144 vsize=19063512 memory=5671464 CPUtime=3270.33 cores=0,2
/proc/50147/stat : 50147 (java) S 50144 50147 48335 0 -1 4194304 2441334 0 0 0 323358 3675 0 0 20 0 20 0 50152086 19521036288 1417866 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
/proc/50147/statm: 4765878 1417866 5577 1 0 1432028 0
[pid=50147/tid=50149] ppid=50144 vsize=19063512 memory=4337156 CPUtime=3006.89 cores=0,2
/proc/50147/task/50149/stat : 50149 (java) R 50144 50147 48335 0 -1 4194368 2258215 0 0 0 297262 3427 0 0 20 0 20 0 50152087 19521036288 1417866 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50158] ppid=50144 vsize=19063512 memory=4337156 CPUtime=0 cores=0,2
/proc/50147/task/50158/stat : 50158 (Finalizer) S 50144 50147 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50152089 19521036288 1417866 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50165] ppid=50144 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/50147/task/50165/stat : 50165 (Common-Cleaner) S 50144 50147 48335 0 -1 4194368 1028 0 0 0 0 0 0 0 20 0 20 0 50152090 19521036288 1417866 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50166] ppid=50144 vsize=19063512 memory=5671464 CPUtime=0 cores=0,2
/proc/50147/task/50166/stat : 50166 (Timer-0) S 50144 50147 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50152109 19521036288 1417866 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
Current children cumulated CPU time: 3270.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5671464 KiB
[startup+3162.3 s]
/proc/loadavg: 4.30 4.41 4.38 6/348 50414
/proc/meminfo: memFree=1210640/131249996 swapFree=33006296/33010684
[pid=50147] ppid=50144 vsize=19063512 memory=4979668 CPUtime=3335.93 cores=0,2
/proc/50147/stat : 50147 (java) S 50144 50147 48335 0 -1 4194304 2446339 0 0 0 329866 3727 0 0 20 0 20 0 50152086 19521036288 1244917 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
/proc/50147/statm: 4765878 1244917 5577 1 0 1258734 0
[pid=50147/tid=50149] ppid=50144 vsize=19063512 memory=14848 CPUtime=3064.88 cores=0,2
/proc/50147/task/50149/stat : 50149 (java) R 50144 50147 48335 0 -1 4194368 2260369 0 0 0 303014 3474 0 0 20 0 20 0 50152087 19521036288 1244917 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50158] ppid=50144 vsize=19063512 memory=5004628 CPUtime=0 cores=0,2
/proc/50147/task/50158/stat : 50158 (Finalizer) S 50144 50147 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50152089 19521036288 1244917 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50165] ppid=50144 vsize=19063512 memory=4979668 CPUtime=0 cores=0,2
/proc/50147/task/50165/stat : 50165 (Common-Cleaner) S 50144 50147 48335 0 -1 4194368 1037 0 0 0 0 0 0 0 20 0 20 0 50152090 19521036288 1244917 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50166] ppid=50144 vsize=19063512 memory=-6000919489903422570 CPUtime=0 cores=0,2
/proc/50147/task/50166/stat : 50166 (Timer-0) S 50144 50147 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50152109 19521036288 1244917 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
Current children cumulated CPU time: 3335.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4979668 KiB
[startup+3222.3 s]
/proc/loadavg: 4.68 4.50 4.42 6/349 50417
/proc/meminfo: memFree=1204720/131249996 swapFree=33006296/33010684
[pid=50147] ppid=50144 vsize=19063512 memory=4421156 CPUtime=3401.47 cores=0,2
/proc/50147/stat : 50147 (java) S 50144 50147 48335 0 -1 4194304 2621040 0 0 0 336350 3797 0 0 20 0 20 0 50152086 19521036288 1105289 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
/proc/50147/statm: 4765878 1105289 5577 1 0 1118838 0
[pid=50147/tid=50149] ppid=50144 vsize=19063512 memory=4337284 CPUtime=3122.41 cores=0,2
/proc/50147/task/50149/stat : 50149 (java) R 50144 50147 48335 0 -1 4194368 2428139 0 0 0 308705 3536 0 0 20 0 20 0 50152087 19521036288 1105289 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50158] ppid=50144 vsize=19063512 memory=4421156 CPUtime=0 cores=0,2
/proc/50147/task/50158/stat : 50158 (Finalizer) S 50144 50147 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50152089 19521036288 1105289 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50165] ppid=50144 vsize=19063512 memory=4421156 CPUtime=0 cores=0,2
/proc/50147/task/50165/stat : 50165 (Common-Cleaner) S 50144 50147 48335 0 -1 4194368 1037 0 0 0 0 0 0 0 20 0 20 0 50152090 19521036288 1105289 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50166] ppid=50144 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/50147/task/50166/stat : 50166 (Timer-0) S 50144 50147 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50152109 19521036288 1105289 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
Current children cumulated CPU time: 3401.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4421156 KiB
[startup+3282.3 s]
/proc/loadavg: 4.44 4.46 4.40 8/330 50422
/proc/meminfo: memFree=5573376/131249996 swapFree=33006296/33010684
[pid=50147] ppid=50144 vsize=19063512 memory=5775344 CPUtime=3464.53 cores=0,2
/proc/50147/stat : 50147 (java) S 50144 50147 48335 0 -1 4194304 2738374 0 0 0 342573 3880 0 0 20 0 20 0 50152086 19521036288 1443836 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
/proc/50147/statm: 4765878 1443836 5577 1 0 1463358 0
[pid=50147/tid=50149] ppid=50144 vsize=19063512 memory=5193204 CPUtime=3180.65 cores=0,2
/proc/50147/task/50149/stat : 50149 (java) R 50144 50147 48335 0 -1 4194368 2540934 0 0 0 314452 3613 0 0 20 0 20 0 50152087 19521036288 1443836 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50158] ppid=50144 vsize=19063512 memory=4421156 CPUtime=0 cores=0,2
/proc/50147/task/50158/stat : 50158 (Finalizer) S 50144 50147 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50152089 19521036288 1443836 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50165] ppid=50144 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/50147/task/50165/stat : 50165 (Common-Cleaner) S 50144 50147 48335 0 -1 4194368 1046 0 0 0 0 0 0 0 20 0 20 0 50152090 19521036288 1443836 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50166] ppid=50144 vsize=19063512 memory=5775344 CPUtime=0 cores=0,2
/proc/50147/task/50166/stat : 50166 (Timer-0) S 50144 50147 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50152109 19521036288 1443836 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
Current children cumulated CPU time: 3464.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5775344 KiB
[startup+3342.3 s]
/proc/loadavg: 3.55 4.24 4.33 3/297 50488
/proc/meminfo: memFree=66957864/131249996 swapFree=33006296/33010684
[pid=50147] ppid=50144 vsize=19063512 memory=5229792 CPUtime=3529 cores=0,2
/proc/50147/stat : 50147 (java) S 50144 50147 48335 0 -1 4194304 2923768 0 0 0 348945 3955 0 0 20 0 20 0 50152086 19521036288 1307448 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
/proc/50147/statm: 4765878 1307448 5577 1 0 1321381 0
[pid=50147/tid=50149] ppid=50144 vsize=19063512 memory=5229792 CPUtime=3238.83 cores=0,2
/proc/50147/task/50149/stat : 50149 (java) R 50144 50147 48335 0 -1 4194368 2721595 0 0 0 320204 3679 0 0 20 0 20 0 50152087 19521036288 1307448 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50158] ppid=50144 vsize=19063512 memory=5229792 CPUtime=0 cores=0,2
/proc/50147/task/50158/stat : 50158 (Finalizer) S 50144 50147 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50152089 19521036288 1307448 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50165] ppid=50144 vsize=19063512 memory=5229792 CPUtime=0 cores=0,2
/proc/50147/task/50165/stat : 50165 (Common-Cleaner) S 50144 50147 48335 0 -1 4194368 1046 0 0 0 0 0 0 0 20 0 20 0 50152090 19521036288 1307448 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50166] ppid=50144 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/50147/task/50166/stat : 50166 (Timer-0) S 50144 50147 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50152109 19521036288 1307448 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
Current children cumulated CPU time: 3529 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5229792 KiB
[startup+3402.3 s]
/proc/loadavg: 2.77 3.89 4.21 4/297 50491
/proc/meminfo: memFree=66158820/131249996 swapFree=33006296/33010684
[pid=50147] ppid=50144 vsize=19063512 memory=4954724 CPUtime=3593.65 cores=0,2
/proc/50147/stat : 50147 (java) S 50144 50147 48335 0 -1 4194304 3093799 0 0 0 355351 4014 0 0 20 0 20 0 50152086 19521036288 1238681 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
/proc/50147/statm: 4765878 1238681 5577 1 0 1252477 0
[pid=50147/tid=50149] ppid=50144 vsize=19063512 memory=5229792 CPUtime=3297.22 cores=0,2
/proc/50147/task/50149/stat : 50149 (java) R 50144 50147 48335 0 -1 4194368 2888537 0 0 0 325989 3733 0 0 20 0 20 0 50152087 19521036288 1238681 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50158] ppid=50144 vsize=19063512 memory=5229792 CPUtime=0 cores=0,2
/proc/50147/task/50158/stat : 50158 (Finalizer) S 50144 50147 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50152089 19521036288 1238681 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50165] ppid=50144 vsize=19063512 memory=4954724 CPUtime=0 cores=0,2
/proc/50147/task/50165/stat : 50165 (Common-Cleaner) S 50144 50147 48335 0 -1 4194368 1055 0 0 0 0 0 0 0 20 0 20 0 50152090 19521036288 1238681 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50166] ppid=50144 vsize=19063512 memory=-6000919489903422570 CPUtime=0 cores=0,2
/proc/50147/task/50166/stat : 50166 (Timer-0) S 50144 50147 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50152109 19521036288 1238681 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
Current children cumulated CPU time: 3593.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4954724 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3407.6 s]
/proc/loadavg: 2.79 3.87 4.20 3/297 50491
/proc/meminfo: memFree=66047096/131249996 swapFree=33006296/33010684
[pid=50147] ppid=50144 vsize=19063512 memory=4954724 CPUtime=3600 cores=0,2
/proc/50147/stat : 50147 (java) S 50144 50147 48335 0 -1 4194304 3114284 0 0 0 355977 4023 0 0 20 0 20 0 50152086 19521036288 1238681 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
/proc/50147/statm: 4765878 1238681 5577 1 0 1252477 0
[pid=50147/tid=50149] ppid=50144 vsize=19063512 memory=2736 CPUtime=3302.5 cores=0,2
/proc/50147/task/50149/stat : 50149 (java) R 50144 50147 48335 0 -1 4194368 2909021 0 0 0 326508 3742 0 0 20 0 20 0 50152087 19521036288 1238681 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50158] ppid=50144 vsize=19063512 memory=17052 CPUtime=0 cores=0,2
/proc/50147/task/50158/stat : 50158 (Finalizer) S 50144 50147 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50152089 19521036288 1238681 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50165] ppid=50144 vsize=19063512 memory=9216 CPUtime=0 cores=0,2
/proc/50147/task/50165/stat : 50165 (Common-Cleaner) S 50144 50147 48335 0 -1 4194368 1055 0 0 0 0 0 0 0 20 0 20 0 50152090 19521036288 1238681 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
[pid=50147/tid=50166] ppid=50144 vsize=19063512 memory=9856 CPUtime=0 cores=0,2
/proc/50147/task/50166/stat : 50166 (Timer-0) S 50144 50147 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50152109 19521036288 1238681 18446744073709551615 94882227134464 94882227138160 140728719972336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94882227145976 94882227146768 94882237341696 140728719976752 140728719976934 140728719976934 140728719982536 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4954724 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3408.1 s]
# the end of solver process 50147 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3560 s, system=40.3338 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3408 s]*
/proc/loadavg: 2.79 3.87 4.20 2/279 50494
/proc/meminfo: memFree=71021296/131249996 swapFree=33006296/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3408.1
CPU time (s): 3600.34
CPU user time (s): 3560
CPU system time (s): 40.3338
CPU usage (%): 105.64
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 7013484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560
system time used= 40.3338
maximum resident set size= 7013484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3116041
page faults= 0
swaps= 0
block input operations= 40
block output operations= 73836064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145700
involuntary context switches= 34761
# summary of solver processes directly reported to runsolver:
# pid: 50147
# total CPU time (s): 3600.34
# total CPU user time (s): 3560
# total CPU system time (s): 40.3338
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.07472 second user time and 16.547 second system time
The end
Begin job on nodeC015 at 2025-07-01 06:39:06 IDJOB=4489331 IDBENCH=147545 IDSOLVER=3364 FILE ID=nodeC015/4489331-1751344746 RUNJOBID= nodeC015-1751337414-48345 SLURM_JOB_ID= 9594390 Free space on /tmp= 433016 MiB SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489331-1751344746/watcher-4489331-1751344746 -o /tmp/evaluation-result-4489331-1751344746/solver-4489331-1751344746 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751337414-48345 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4489331-1751344746 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4489331-1751344746.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f4fbd70ee8b80515313bebcddc52f82a RANDOM SEED=1031861725 nodeC015 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 : 3600.042 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.14 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.051 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.14 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 : 3601.460 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.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.088 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.14 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.078 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.14 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.071 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.14 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 : 3602.212 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.14 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 : 3592.305 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.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 79593164 kB MemAvailable: 105134352 kB Buffers: 1508 kB Cached: 26299960 kB SwapCached: 3876 kB Active: 24709056 kB Inactive: 26102452 kB Active(anon): 24475484 kB Inactive(anon): 49096 kB Active(file): 233572 kB Inactive(file): 26053356 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33006296 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 4031860 kB Writeback: 0 kB AnonPages: 24509712 kB Mapped: 119452 kB Shmem: 14144 kB KReclaimable: 187000 kB Slab: 405060 kB SReclaimable: 187000 kB SUnreclaim: 218060 kB KernelStack: 5296 kB PageTables: 51596 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 25644780 kB VmallocTotal: 34359738367 kB VmallocUsed: 151528 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 24035328 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: 205524 kB DirectMap2M: 11100160 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 433016 MiB End job on nodeC015 at 2025-07-01 07:35:54