Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Partial RoundingSAT 2024 2024-07-12 | SAT (TO) | 5 | 3600.41 | 3557.99 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_1.opb |
| MD5SUM | 31fd86554dd2fe3e1cfc98032a9196a9 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 602.754 |
| 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 | 120 |
| Total number of constraints | 10 |
| 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 | 10 |
| Minimum length of a constraint | 55 |
| Maximum length of a constraint | 56 |
| Number of terms in the objective function | 80 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 2550 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1086 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 3768 |
| Number of bits of the biggest sum of numbers | 12 |
| 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.06 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version CUSTOM.v20240707 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 4.18.0-301.1.el8.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 2106806208 0.00/0.08 c Max memory 16282288128 0.00/0.08 c Total memory 2113929216 0.00/0.08 c Number of processors 2 0.14/0.14 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.14/0.14 - never skip resolution steps 0.14/0.14 - Auto-division on coefficients is disabled 0.14/0.14 - No postprocessing 0.14/0.14 - Conflict is considered as is when resolving 0.14/0.14 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.14/0.14 - Weaken first using unassigned literals 0.14/0.14 - Bump strategy: ALWAYS_ONE 0.14/0.14 - Bumper: ASSIGNED 0.14/0.14 --- Begin Solver configuration --- 0.14/0.14 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.14/0.14 Learn all clauses as in MiniSAT 0.14/0.14 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.14 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.14/0.14 No reason simplification 0.14/0.14 Armin Biere (Picosat) restarts strategy 0.14/0.14 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.14/0.14 timeout=2147483s 0.14/0.14 DB Simplification allowed=false 0.14/0.15 Listener: none 0.14/0.15 --- End Solver configuration --- 0.14/0.15 c Pseudo Boolean Optimization by upper bound 0.14/0.15 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.14/0.15 c - never skip resolution steps 0.14/0.15 c - Auto-division on coefficients is disabled 0.14/0.15 c - No postprocessing 0.14/0.15 c - Conflict is considered as is when resolving 0.14/0.15 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.14/0.15 c - Weaken first using unassigned literals 0.14/0.15 c - Bump strategy: ALWAYS_ONE 0.14/0.15 c - Bumper: ASSIGNED 0.14/0.15 c --- Begin Solver configuration --- 0.14/0.15 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.14/0.15 c Learn all clauses as in MiniSAT 0.14/0.15 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.15 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.14/0.15 c No reason simplification 0.14/0.15 c Armin Biere (Picosat) restarts strategy 0.14/0.15 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.14/0.15 c timeout=2147483s 0.14/0.15 c DB Simplification allowed=false 0.14/0.15 c Listener: none 0.14/0.15 c --- End Solver configuration --- 0.14/0.15 c solving HOME/instance-4427450-1720994538.opb 0.14/0.15 c reading problem ... 0.14/0.15 c objective function found 0.14/0.16 c ... done. Wall clock time 0.016s. 0.14/0.17 c declared #vars 120 0.14/0.17 c #constraints 10 0.14/0.17 c constraints type 0.14/0.17 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 10 0.14/0.17 c 10 constraints processed. 0.14/0.18 c objective function length is 80 literals 0.33/0.26 c SATISFIABLE 0.33/0.26 c OPTIMIZING... 0.33/0.26 c Got one! Elapsed wall clock time (in seconds):0.117 0.33/0.26 o 1882 0.54/0.34 c Got one! Elapsed wall clock time (in seconds):0.192 0.54/0.34 o 1761 0.71/0.48 c Got one! Elapsed wall clock time (in seconds):0.324 0.71/0.48 o 1756 0.90/0.54 c Got one! Elapsed wall clock time (in seconds):0.387 0.90/0.54 o 1460 1.09/0.64 c Got one! Elapsed wall clock time (in seconds):0.488 1.09/0.64 o 1343 1.28/0.78 c Got one! Elapsed wall clock time (in seconds):0.633 1.28/0.78 o 1330 1.48/0.86 c Got one! Elapsed wall clock time (in seconds):0.708 1.48/0.86 o 1306 1.68/0.98 c Got one! Elapsed wall clock time (in seconds):0.836 1.68/0.98 o 1174 2.07/1.17 c Got one! Elapsed wall clock time (in seconds):1.027 2.07/1.17 o 1148 3.06/1.68 c Got one! Elapsed wall clock time (in seconds):1.536 3.06/1.68 o 1145 3.26/1.78 c Got one! Elapsed wall clock time (in seconds):1.636 3.26/1.78 o 1139 3.86/2.01 c Got one! Elapsed wall clock time (in seconds):1.863 3.86/2.01 o 1117 4.26/2.26 c Got one! Elapsed wall clock time (in seconds):2.108 4.26/2.26 o 944 5.20/2.77 c Got one! Elapsed wall clock time (in seconds):2.621 5.20/2.77 o 838 6.31/3.77 c Got one! Elapsed wall clock time (in seconds):3.62 6.31/3.77 o 819 6.53/3.96 c Got one! Elapsed wall clock time (in seconds):3.814 6.53/3.96 o 816 6.82/4.28 c Got one! Elapsed wall clock time (in seconds):4.129 6.82/4.28 o 801 7.12/4.58 c Got one! Elapsed wall clock time (in seconds):4.438 7.12/4.59 o 784 7.63/5.03 c Got one! Elapsed wall clock time (in seconds):4.883 7.63/5.03 o 775 8.56/5.87 c Got one! Elapsed wall clock time (in seconds):5.724 8.56/5.87 o 720 10.27/7.52 c Got one! Elapsed wall clock time (in seconds):7.371 10.27/7.52 o 717 10.68/7.91 c Got one! Elapsed wall clock time (in seconds):7.754 10.68/7.91 o 702 11.17/8.44 c Got one! Elapsed wall clock time (in seconds):8.291 11.17/8.44 o 663 12.08/9.37 c Got one! Elapsed wall clock time (in seconds):9.221 12.08/9.37 o 520 13.38/10.61 c Got one! Elapsed wall clock time (in seconds):10.463 13.38/10.61 o 506 15.70/12.96 c Got one! Elapsed wall clock time (in seconds):12.809 15.70/12.96 o 500 19.74/17.00 c Got one! Elapsed wall clock time (in seconds):16.849 19.74/17.00 o 498 20.04/17.27 c Got one! Elapsed wall clock time (in seconds):17.12 20.04/17.27 o 497 21.16/18.35 c Got one! Elapsed wall clock time (in seconds):18.204 21.16/18.35 o 491 22.70/19.84 c Got one! Elapsed wall clock time (in seconds):19.69 22.70/19.84 o 482 24.86/21.96 c Got one! Elapsed wall clock time (in seconds):21.818 24.86/21.96 o 446 28.68/25.61 c Got one! Elapsed wall clock time (in seconds):25.46 28.68/25.61 o 445 34.89/31.87 c Got one! Elapsed wall clock time (in seconds):31.72 34.89/31.87 o 438 43.55/40.44 c Got one! Elapsed wall clock time (in seconds):40.29 43.55/40.44 o 436 43.76/40.65 c Got one! Elapsed wall clock time (in seconds):40.505 43.76/40.65 o 402 45.96/42.84 c Got one! Elapsed wall clock time (in seconds):42.69 45.96/42.84 o 376 47.97/44.89 c Got one! Elapsed wall clock time (in seconds):44.742 47.97/44.89 o 372 50.62/47.49 c Got one! Elapsed wall clock time (in seconds):47.344 50.62/47.49 o 263 56.27/53.04 c Got one! Elapsed wall clock time (in seconds):52.896 56.27/53.04 o 259 64.42/61.10 c Got one! Elapsed wall clock time (in seconds):60.955 64.42/61.10 o 253 71.44/67.99 c cleaning 8876 clauses out of 17761 with flag 0/17761 71.86/68.29 c Got one! Elapsed wall clock time (in seconds):68.143 71.86/68.29 o 221 77.32/73.61 c Got one! Elapsed wall clock time (in seconds):73.462 77.32/73.61 o 205 78.64/74.94 c Got one! Elapsed wall clock time (in seconds):74.79 78.64/74.94 o 202 81.65/77.92 c cleaning 7461 clauses out of 14930 with flag 0/23806 81.65/77.98 c Got one! Elapsed wall clock time (in seconds):77.835 81.65/77.98 o 200 82.76/79.04 c Got one! Elapsed wall clock time (in seconds):78.892 82.76/79.04 o 183 86.25/82.55 c Got one! Elapsed wall clock time (in seconds):82.399 86.25/82.55 o 182 90.24/86.50 c cleaning 6955 clauses out of 13918 with flag 0/30255 91.26/87.51 c Got one! Elapsed wall clock time (in seconds):87.362 91.26/87.51 o 181 91.46/87.71 c Got one! Elapsed wall clock time (in seconds):87.559 91.46/87.71 o 179 91.66/87.94 c Got one! Elapsed wall clock time (in seconds):87.797 91.66/87.94 o 177 91.95/88.26 c Got one! Elapsed wall clock time (in seconds):88.112 91.95/88.26 o 172 94.95/91.29 c Got one! Elapsed wall clock time (in seconds):91.147 94.95/91.29 o 165 97.08/93.38 c cleaning 6818 clauses out of 13647 with flag 0/36939 97.18/93.41 c Got one! Elapsed wall clock time (in seconds):93.259 97.18/93.41 o 159 98.88/95.16 c Got one! Elapsed wall clock time (in seconds):95.01 98.88/95.16 o 148 104.61/100.74 c cleaning 6211 clauses out of 12439 with flag 0/42549 105.31/101.46 c Got one! Elapsed wall clock time (in seconds):101.319 105.31/101.46 o 146 111.08/107.14 c cleaning 4882 clauses out of 11865 with flag 0/48186 112.17/108.22 c Got one! Elapsed wall clock time (in seconds):108.075 112.17/108.22 o 145 113.11/109.12 c Got one! Elapsed wall clock time (in seconds):108.971 113.11/109.12 o 104 115.71/111.73 c cleaning 5112 clauses out of 12544 with flag 0/53747 116.71/112.72 c Got one! Elapsed wall clock time (in seconds):112.575 116.71/112.72 o 98 118.32/114.31 c Got one! Elapsed wall clock time (in seconds):114.165 118.32/114.31 o 67 123.45/119.49 c cleaning 5481 clauses out of 13596 with flag 0/59911 123.77/119.76 c Got one! Elapsed wall clock time (in seconds):119.616 123.77/119.76 o 65 131.54/127.40 c cleaning 4783 clauses out of 13894 with flag 0/65690 131.84/127.74 c Got one! Elapsed wall clock time (in seconds):127.595 131.84/127.74 o 63 139.77/135.55 c cleaning 4867 clauses out of 14893 with flag 0/71472 143.49/139.21 c Got one! Elapsed wall clock time (in seconds):139.059 143.49/139.21 o 62 143.89/139.61 c Got one! Elapsed wall clock time (in seconds):139.465 143.89/139.61 o 58 146.22/141.95 c cleaning 5482 clauses out of 16234 with flag 0/77680 158.65/154.38 c cleaning 5941 clauses out of 16753 with flag 0/83681 173.29/168.76 c cleaning 6896 clauses out of 17812 with flag 0/90681 184.90/180.34 c Got one! Elapsed wall clock time (in seconds):180.193 184.90/180.34 o 47 198.54/193.74 c cleaning 9462 clauses out of 21227 with flag 0/100992 199.44/194.65 c Got one! Elapsed wall clock time (in seconds):194.508 199.44/194.65 o 41 204.97/200.04 c cleaning 4485 clauses out of 16885 with flag 0/106112 211.76/206.75 c cleaning 5005 clauses out of 18398 with flag 0/112110 215.63/210.57 c Got one! Elapsed wall clock time (in seconds):210.419 215.63/210.57 o 37 216.63/211.51 c Got one! Elapsed wall clock time (in seconds):211.361 216.63/211.51 o 27 218.86/213.75 c cleaning 5406 clauses out of 19339 with flag 0/118056 219.86/214.73 c Got one! Elapsed wall clock time (in seconds):214.583 219.86/214.73 o 25 229.14/223.94 c cleaning 5353 clauses out of 19707 with flag 0/123830 244.25/238.98 c cleaning 5904 clauses out of 20354 with flag 0/129830 247.17/241.86 c Got one! Elapsed wall clock time (in seconds):241.716 247.17/241.86 o 24 250.10/244.79 c cleaning 4638 clauses out of 19485 with flag 0/134865 255.65/250.29 c Got one! Elapsed wall clock time (in seconds):250.142 255.65/250.29 o 23 257.99/252.52 c cleaning 5260 clauses out of 20846 with flag 0/140864 266.27/260.79 c cleaning 4992 clauses out of 21583 with flag 0/146861 274.47/268.92 c cleaning 6006 clauses out of 23592 with flag 0/153862 293.27/287.87 c Got one! Elapsed wall clock time (in seconds):287.722 293.27/287.87 o 22 306.51/300.96 c cleaning 9272 clauses out of 27703 with flag 0/163979 314.52/308.85 c cleaning 5135 clauses out of 24431 with flag 0/169979 319.89/314.17 c Got one! Elapsed wall clock time (in seconds):314.026 319.89/314.17 o 21 322.52/316.73 c cleaning 5429 clauses out of 25186 with flag 0/175869 337.79/331.92 c cleaning 5933 clauses out of 25756 with flag 0/181868 362.82/356.84 c cleaning 6900 clauses out of 26824 with flag 0/188869 365.47/359.40 c Got one! Elapsed wall clock time (in seconds):359.253 365.47/359.40 o 20 370.50/364.46 c cleaning 4873 clauses out of 25318 with flag 0/194263 376.89/370.79 c cleaning 5297 clauses out of 26446 with flag 0/200264 410.29/404.12 c cleaning 6904 clauses out of 28150 with flag 0/207265 439.69/433.45 c cleaning 7890 clauses out of 29243 with flag 0/215262 442.58/436.39 c Got one! Elapsed wall clock time (in seconds):436.241 442.58/436.39 o 17 448.28/441.98 c cleaning 4569 clauses out of 26418 with flag 0/220327 456.34/449.89 c cleaning 4940 clauses out of 27850 with flag 0/226328 465.85/459.22 c cleaning 6420 clauses out of 29910 with flag 0/233328 503.17/496.32 c cleaning 7960 clauses out of 31489 with flag 0/241327 532.62/525.72 c cleaning 8842 clauses out of 32530 with flag 0/250328 542.12/535.23 c Got one! Elapsed wall clock time (in seconds):535.079 542.12/535.23 o 15 545.65/538.70 c cleaning 5309 clauses out of 29149 with flag 0/255789 553.84/546.85 c cleaning 5055 clauses out of 29840 with flag 0/261789 564.27/557.17 c cleaning 5907 clauses out of 31786 with flag 0/268790 576.34/569.14 c cleaning 6747 clauses out of 33877 with flag 0/276788 587.98/580.75 c cleaning 7652 clauses out of 36131 with flag 0/285789 602.60/595.25 c cleaning 8977 clauses out of 38478 with flag 0/295788 620.13/612.52 c Got one! Elapsed wall clock time (in seconds):612.371 620.13/612.52 o 14 635.36/627.55 c cleaning 13071 clauses out of 44129 with flag 0/310416 651.67/643.76 c cleaning 5717 clauses out of 37058 with flag 0/316416 667.85/659.86 c Got one! Elapsed wall clock time (in seconds):659.709 667.85/659.86 o 12 684.80/676.69 c cleaning 10279 clauses out of 42607 with flag 0/327682 693.02/684.72 c cleaning 5005 clauses out of 38328 with flag 0/333682 705.68/697.20 c cleaning 5860 clauses out of 40322 with flag 0/340681 733.34/724.71 c cleaning 7616 clauses out of 42462 with flag 0/348681 783.40/774.57 c cleaning 8802 clauses out of 43846 with flag 0/357681 783.81/774.95 c Got one! Elapsed wall clock time (in seconds):774.803 783.81/774.95 o 11 792.11/783.18 c cleaning 4887 clauses out of 40732 with flag 0/363369 800.48/791.42 c cleaning 5127 clauses out of 41846 with flag 0/369370 818.45/809.19 c cleaning 6546 clauses out of 43720 with flag 0/376371 867.10/857.58 c cleaning 7899 clauses out of 45172 with flag 0/384369 912.90/903.17 c cleaning 8765 clauses out of 46274 with flag 0/393370 975.25/965.26 c cleaning 9766 clauses out of 47509 with flag 0/403370 983.25/973.18 c Got one! Elapsed wall clock time (in seconds):973.037 983.25/973.18 o 9 985.15/975.05 c cleaning 4784 clauses out of 42797 with flag 0/408424 993.30/983.18 c cleaning 4984 clauses out of 44013 with flag 0/414424 1004.17/993.95 c cleaning 6559 clauses out of 46029 with flag 0/421424 1026.78/1016.40 c cleaning 7747 clauses out of 47469 with flag 0/429423 1075.18/1064.53 c cleaning 8876 clauses out of 48722 with flag 0/438423 1127.91/1116.39 c cleaning 9772 clauses out of 49847 with flag 0/448424 1165.29/1153.43 c cleaning 10501 clauses out of 51074 with flag 0/459423 1234.14/1222.13 c cleaning 11628 clauses out of 52573 with flag 0/471423 1304.51/1292.08 c cleaning 12614 clauses out of 53945 with flag 0/484423 1391.05/1378.08 c cleaning 13695 clauses out of 55332 with flag 0/498424 1485.87/1472.36 c cleaning 14627 clauses out of 56638 with flag 0/513425 1715.70/1701.69 c cleaning 15929 clauses out of 58010 with flag 0/529424 1831.57/1816.96 c cleaning 16561 clauses out of 59080 with flag 0/546423 2067.34/2052.72 c Got one! Elapsed wall clock time (in seconds):2052.57 2067.34/2052.72 o 8 2132.67/2117.83 c cleaning 22227 clauses out of 65426 with flag 0/569330 2140.70/2125.88 c cleaning 5022 clauses out of 49199 with flag 0/575330 2152.39/2136.78 c cleaning 5787 clauses out of 51177 with flag 0/582330 2164.80/2149.08 c cleaning 7005 clauses out of 53390 with flag 0/590330 2195.73/2179.87 c cleaning 8394 clauses out of 55385 with flag 0/599330 2226.30/2210.26 c cleaning 9231 clauses out of 56991 with flag 0/609330 2259.43/2243.21 c cleaning 9928 clauses out of 58760 with flag 0/620330 2306.18/2289.86 c cleaning 10795 clauses out of 60834 with flag 0/632332 2359.49/2342.98 c cleaning 11595 clauses out of 63041 with flag 0/645334 2391.32/2374.51 c cleaning 12807 clauses out of 65442 with flag 0/659330 2431.31/2414.46 c cleaning 13359 clauses out of 67636 with flag 0/674331 2501.65/2484.57 c cleaning 14733 clauses out of 70276 with flag 0/690330 2571.13/2553.43 c cleaning 14872 clauses out of 72543 with flag 0/707330 2641.24/2623.26 c cleaning 15964 clauses out of 75671 with flag 0/725330 2794.40/2775.99 c cleaning 18414 clauses out of 78707 with flag 0/744330 2911.80/2892.86 c cleaning 18285 clauses out of 80295 with flag 0/764332 3038.25/3015.91 c cleaning 19053 clauses out of 83009 with flag 0/785331 3041.36/3019.00 c Got one! Elapsed wall clock time (in seconds):3018.855 3041.36/3019.00 o 7 3044.28/3021.99 c cleaning 4594 clauses out of 69223 with flag 0/790598 3052.16/3029.72 c cleaning 4966 clauses out of 70628 with flag 0/796597 3063.58/3041.01 c cleaning 5798 clauses out of 72663 with flag 0/803598 3079.74/3056.11 c cleaning 6634 clauses out of 74866 with flag 0/811599 3097.46/3073.70 c cleaning 7542 clauses out of 77230 with flag 0/820597 3121.35/3097.59 c cleaning 8348 clauses out of 79689 with flag 0/830598 3150.89/3126.89 c cleaning 9161 clauses out of 82340 with flag 0/841597 3172.88/3147.67 c cleaning 10033 clauses out of 85179 with flag 0/853597 3209.78/3184.31 c cleaning 11543 clauses out of 88148 with flag 0/866599 3273.97/3247.16 c cleaning 12920 clauses out of 90605 with flag 0/880599 3372.89/3342.59 c cleaning 14305 clauses out of 92683 with flag 0/895597 3498.26/3462.12 c cleaning 15227 clauses out of 94378 with flag 0/911597 3501.16/3465.03 c Got one! Elapsed wall clock time (in seconds):3464.885 3501.16/3465.03 o 5 3508.74/3471.54 c cleaning 4868 clauses out of 84521 with flag 0/916967 3517.01/3479.79 c cleaning 4900 clauses out of 85655 with flag 0/922969 3529.33/3491.97 c cleaning 5993 clauses out of 87754 with flag 0/929968 3542.68/3505.13 c cleaning 6632 clauses out of 89760 with flag 0/937967 3563.00/3524.20 c cleaning 7595 clauses out of 92128 with flag 0/946967 3598.59/3556.30 c cleaning 9711 clauses out of 94533 with flag 0/956967 3600.08/3557.86 c starts : 262 3600.08/3557.87 c conflicts : 958438 3600.08/3557.87 c decisions : 1168767 3600.08/3557.87 c propagations : 5391691 3600.08/3557.87 c inspects : 2695790293 3600.08/3557.87 c shortcuts : 0 3600.08/3557.87 c learnt literals : 0 3600.08/3557.87 c learnt binary clauses : 0 3600.08/3557.87 c learnt ternary clauses : 0 3600.08/3557.87 c learnt constraints : 958437 3600.08/3557.87 c ignored constraints : 0 3600.08/3557.87 c root simplifications : 0 3600.08/3557.87 c removed literals (reason simplification) : 0 3600.08/3557.87 c reason swapping (by a shorter reason) : 0 3600.08/3557.87 c Calls to reduceDB : 104 3600.08/3557.87 c Number of update (reduction) of LBD : 0 3600.08/3557.87 c Imported unit clauses : 0 3600.08/3557.87 c No decision after first conflict : false 3600.08/3557.87 c number of reductions to clauses (during analyze) : 0 3600.08/3557.87 c number of learned constraints concerned by reduction : 0 3600.08/3557.87 c number of learning phase by resolution : 0 3600.08/3557.87 c number of learning phase by cutting planes : 0 3600.08/3557.87 c number of rounding to 1 operations : 4941630 3600.08/3557.88 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.08/3557.88 c number of reductions of the coefficients by power 2 : 0 3600.08/3557.88 c number of right shift for reduction by power 2 : 0 3600.08/3557.88 c number of reductions of the coefficients by GCD over coefficients : 0 3600.08/3557.88 c number of ending skipping : 0 3600.08/3557.88 c number of internal skipping : 0 3600.08/3557.88 c number of derivation steps : 3512896 3600.08/3557.88 c number of skipped derivation steps : 0 3600.08/3557.88 c number of remaining unassigned : 557599 3600.08/3557.88 c number of remaining assigned : 113078205 3600.08/3557.88 c number of falsified literals weakened from reason : 0 3600.08/3557.88 c number of falsified literals weakened from conflict : 0 3600.08/3557.88 c time for arithmetic operations : 4897046361 3600.08/3557.88 c minimum degree of deleted constraints : 4 3600.08/3557.89 c maximum degree of deleted constraints : 101202399 3600.08/3557.89 c number of deleted constraints : 872145 3600.08/3557.89 c speed (assignments/second) : 1515.4947986204609 3600.08/3557.89 c non guided choices : 1391 3600.33/3557.96 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 33338 3600.33/3557.97 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 52954 3600.33/3557.97 s SATISFIABLE 3600.33/3557.97 c Found 81 solution(s) 3600.33/3557.97 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 3600.33/3557.97 c objective function=5 3600.33/3557.97 c Total wall clock time (in seconds): 3557.824
OK 5
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: 63968 MiB (62125 MiB free)
memory of node 1: 64473 MiB (63408 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427450-1720994538/watcher-4427450-1720994538 -o /tmp/evaluation-result-4427450-1720994538/solver-4427450-1720994538 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1720994547-789564 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427450-1720994538.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=789754, runsolver pid=789751
Current StackSize limit: 8192 KiB
[startup+0.10411 s]*
/proc/loadavg: 0.12 0.09 0.09 10/334 789772
/proc/meminfo: memFree=128493120/131524600 swapFree=131071996/131071996
[pid=789754] ppid=789751 vsize=18993908 memory=64488 CPUtime=0.14 cores=5,7
/proc/789754/stat : 789754 (java) S 789751 789754 789551 0 -1 1077936128 7819 0 0 0 12 2 0 0 20 0 18 0 151616191 19449761792 16122 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
/proc/789754/statm: 4748477 16122 5938 1 0 549391 0
[pid=789754/tid=789756] ppid=789751 vsize=18993908 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/789754/task/789756/stat : 789756 (java) S 789751 789754 789551 0 -1 1077936192 6355 0 0 0 7 1 0 0 20 0 18 0 151616191 19449761792 16122 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789765] ppid=789751 vsize=18993908 memory=228556276070 CPUtime=0 cores=5,7
/proc/789754/task/789765/stat : 789765 (Finalizer) S 789751 789754 789551 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151616194 19449761792 16122 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789772] ppid=789751 vsize=18993908 memory=15819997461109392 CPUtime=0 cores=5,7
/proc/789754/task/789772/stat : 789772 (Common-Cleaner) S 789751 789754 789551 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 151616194 19449761792 16122 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 64488 KiB
[startup+0.206874 s]*
/proc/loadavg: 0.12 0.09 0.09 9/335 789773
/proc/meminfo: memFree=128482804/131524600 swapFree=131071996/131071996
[pid=789754] ppid=789751 vsize=19060472 memory=73732 CPUtime=0.33 cores=5,7
/proc/789754/stat : 789754 (java) S 789751 789754 789551 0 -1 1077936128 8524 0 0 0 31 2 0 0 20 0 19 0 151616191 19517923328 18433 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
/proc/789754/statm: 4765118 18433 6090 1 0 550108 0
[pid=789754/tid=789756] ppid=789751 vsize=19060472 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/789754/task/789756/stat : 789756 (java) R 789751 789754 789551 0 -1 4194368 6746 0 0 0 17 2 0 0 20 0 19 0 151616191 19517923328 18433 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789765] ppid=789751 vsize=19060472 memory=16956 CPUtime=0 cores=5,7
/proc/789754/task/789765/stat : 789765 (Finalizer) S 789751 789754 789551 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 151616194 19517923328 18433 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789772] ppid=789751 vsize=19060472 memory=15538522484377282 CPUtime=0 cores=5,7
/proc/789754/task/789772/stat : 789772 (Common-Cleaner) S 789751 789754 789551 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 151616194 19517923328 18433 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789773] ppid=789751 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/789754/task/789773/stat : 789773 (Timer-0) S 789751 789754 789551 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 151616209 19517923328 18433 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 73732 KiB
[startup+0.311875 s]*
/proc/loadavg: 0.12 0.09 0.09 10/335 789773
/proc/meminfo: memFree=128448700/131524600 swapFree=131071996/131071996
[pid=789754] ppid=789751 vsize=19060472 memory=109588 CPUtime=0.54 cores=5,7
/proc/789754/stat : 789754 (java) S 789751 789754 789551 0 -1 1077936128 10626 0 0 0 50 4 0 0 20 0 19 0 151616191 19517923328 27397 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
/proc/789754/statm: 4765118 27397 6090 1 0 551330 0
[pid=789754/tid=789756] ppid=789751 vsize=19060472 memory=-9104135925299323580 CPUtime=0.29 cores=5,7
/proc/789754/task/789756/stat : 789756 (java) R 789751 789754 789551 0 -1 4194368 6791 0 0 0 27 2 0 0 20 0 19 0 151616191 19517923328 27397 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789765] ppid=789751 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/789754/task/789765/stat : 789765 (Finalizer) S 789751 789754 789551 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 151616194 19517923328 27397 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789772] ppid=789751 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/789754/task/789772/stat : 789772 (Common-Cleaner) S 789751 789754 789551 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 151616194 19517923328 27397 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789773] ppid=789751 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/789754/task/789773/stat : 789773 (Timer-0) S 789751 789754 789551 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 151616209 19517923328 27397 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 109588 KiB
[startup+0.705032 s]
/proc/loadavg: 0.12 0.09 0.09 12/336 789774
/proc/meminfo: memFree=128385752/131524600 swapFree=131071996/131071996
[pid=789754] ppid=789751 vsize=19127036 memory=174120 CPUtime=1.28 cores=5,7
/proc/789754/stat : 789754 (java) S 789751 789754 789551 0 -1 1077936128 13198 0 0 0 123 5 0 0 20 0 20 0 151616191 19586084864 43530 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
/proc/789754/statm: 4781759 43530 6090 1 0 553089 0
[pid=789754/tid=789756] ppid=789751 vsize=19127036 memory=41944 CPUtime=0.61 cores=5,7
/proc/789754/task/789756/stat : 789756 (java) R 789751 789754 789551 0 -1 4194368 6828 0 0 0 58 3 0 0 20 0 20 0 151616191 19586084864 43530 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789765] ppid=789751 vsize=19127036 memory=13124 CPUtime=0 cores=5,7
/proc/789754/task/789765/stat : 789765 (Finalizer) S 789751 789754 789551 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151616194 19586084864 43530 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789772] ppid=789751 vsize=19127036 memory=2328 CPUtime=0 cores=5,7
/proc/789754/task/789772/stat : 789772 (Common-Cleaner) S 789751 789754 789551 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151616194 19586084864 43530 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789773] ppid=789751 vsize=19127036 memory=100 CPUtime=0 cores=5,7
/proc/789754/task/789773/stat : 789773 (Timer-0) S 789751 789754 789551 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151616209 19586084864 43530 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 174120 KiB
[startup+1.50089 s]
/proc/loadavg: 0.12 0.09 0.09 7/336 789774
/proc/meminfo: memFree=128326296/131524600 swapFree=131071996/131071996
[pid=789754] ppid=789751 vsize=19127036 memory=375764 CPUtime=2.86 cores=5,7
/proc/789754/stat : 789754 (java) S 789751 789754 789551 0 -1 1077936128 25407 0 0 0 275 11 0 0 20 0 20 0 151616191 19586084864 93941 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
/proc/789754/statm: 4781759 93941 6090 1 0 557833 0
[pid=789754/tid=789756] ppid=789751 vsize=19127036 memory=13124 CPUtime=1.38 cores=5,7
/proc/789754/task/789756/stat : 789756 (java) R 789751 789754 789551 0 -1 4194368 7494 0 0 0 131 7 0 0 20 0 20 0 151616191 19586084864 93941 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789765] ppid=789751 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/789754/task/789765/stat : 789765 (Finalizer) S 789751 789754 789551 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151616194 19586084864 93941 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789772] ppid=789751 vsize=19127036 memory=2328 CPUtime=0 cores=5,7
/proc/789754/task/789772/stat : 789772 (Common-Cleaner) S 789751 789754 789551 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151616194 19586084864 93941 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789773] ppid=789751 vsize=19127036 memory=100 CPUtime=0 cores=5,7
/proc/789754/task/789773/stat : 789773 (Timer-0) S 789751 789754 789551 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151616209 19586084864 93941 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 375764 KiB
[startup+3.10588 s]
/proc/loadavg: 0.91 0.25 0.14 5/336 789774
/proc/meminfo: memFree=127849916/131524600 swapFree=131071996/131071996
[pid=789754] ppid=789751 vsize=19127036 memory=689328 CPUtime=5.72 cores=5,7
/proc/789754/stat : 789754 (java) S 789751 789754 789551 0 -1 1077936128 29300 0 0 0 554 18 0 0 20 0 20 0 151616191 19586084864 172332 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
/proc/789754/statm: 4781759 172332 6122 1 0 559716 0
[pid=789754/tid=789756] ppid=789751 vsize=19127036 memory=0 CPUtime=2.95 cores=5,7
/proc/789754/task/789756/stat : 789756 (java) R 789751 789754 789551 0 -1 4194368 8416 0 0 0 282 13 0 0 20 0 20 0 151616191 19586084864 172332 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789765] ppid=789751 vsize=19127036 memory=-9104135925299323580 CPUtime=0 cores=5,7
/proc/789754/task/789765/stat : 789765 (Finalizer) S 789751 789754 789551 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151616194 19586084864 172332 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789772] ppid=789751 vsize=19127036 memory=13124 CPUtime=0 cores=5,7
/proc/789754/task/789772/stat : 789772 (Common-Cleaner) S 789751 789754 789551 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151616194 19586084864 172332 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789773] ppid=789751 vsize=19127036 memory=2328 CPUtime=0 cores=5,7
/proc/789754/task/789773/stat : 789773 (Timer-0) S 789751 789754 789551 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151616209 19586084864 172332 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
Current children cumulated CPU time: 5.72 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 689328 KiB
[startup+6.30089 s]
/proc/loadavg: 0.91 0.25 0.14 5/336 789774
/proc/meminfo: memFree=127506788/131524600 swapFree=131071996/131071996
[pid=789754] ppid=789751 vsize=19127036 memory=1126488 CPUtime=9.06 cores=5,7
/proc/789754/stat : 789754 (java) S 789751 789754 789551 0 -1 1077936128 30570 0 0 0 878 28 0 0 20 0 20 0 151616191 19586084864 281622 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
/proc/789754/statm: 4781759 281622 6122 1 0 559733 0
[pid=789754/tid=789756] ppid=789751 vsize=19127036 memory=2328 CPUtime=6.08 cores=5,7
/proc/789754/task/789756/stat : 789756 (java) R 789751 789754 789551 0 -1 4194368 8970 0 0 0 586 22 0 0 20 0 20 0 151616191 19586084864 281622 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789765] ppid=789751 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/789754/task/789765/stat : 789765 (Finalizer) S 789751 789754 789551 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151616194 19586084864 281622 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789772] ppid=789751 vsize=19127036 memory=13124 CPUtime=0 cores=5,7
/proc/789754/task/789772/stat : 789772 (Common-Cleaner) S 789751 789754 789551 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151616194 19586084864 281622 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789773] ppid=789751 vsize=19127036 memory=412028 CPUtime=0 cores=5,7
/proc/789754/task/789773/stat : 789773 (Timer-0) S 789751 789754 789551 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151616209 19586084864 281622 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
Current children cumulated CPU time: 9.06 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1126488 KiB
[startup+12.7003 s]
/proc/loadavg: 1.38 0.38 0.19 5/336 789776
/proc/meminfo: memFree=126644796/131524600 swapFree=131071996/131071996
[pid=789754] ppid=789751 vsize=19127036 memory=1842312 CPUtime=15.5 cores=5,7
/proc/789754/stat : 789754 (java) S 789751 789754 789551 0 -1 1077936128 31852 0 0 0 1508 42 0 0 20 0 20 0 151616191 19586084864 460578 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
/proc/789754/statm: 4781759 460578 6122 1 0 687147 0
[pid=789754/tid=789756] ppid=789751 vsize=19127036 memory=412028 CPUtime=12.36 cores=5,7
/proc/789754/task/789756/stat : 789756 (java) R 789751 789754 789551 0 -1 4194368 9871 0 0 0 1201 35 0 0 20 0 20 0 151616191 19586084864 460578 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789765] ppid=789751 vsize=19127036 memory=1842312 CPUtime=0 cores=5,7
/proc/789754/task/789765/stat : 789765 (Finalizer) S 789751 789754 789551 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151616194 19586084864 460578 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789772] ppid=789751 vsize=19127036 memory=12304 CPUtime=0 cores=5,7
/proc/789754/task/789772/stat : 789772 (Common-Cleaner) S 789751 789754 789551 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151616194 19586084864 460578 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789773] ppid=789751 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/789754/task/789773/stat : 789773 (Timer-0) S 789751 789754 789551 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151616209 19586084864 460578 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
Current children cumulated CPU time: 15.5 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1842312 KiB
[startup+25.5003 s]
/proc/loadavg: 1.79 0.50 0.23 5/336 789777
/proc/meminfo: memFree=126550020/131524600 swapFree=131071996/131071996
[pid=789754] ppid=789751 vsize=19127036 memory=1842668 CPUtime=28.58 cores=5,7
/proc/789754/stat : 789754 (java) S 789751 789754 789551 0 -1 1077936128 41521 0 0 0 2815 43 0 0 20 0 20 0 151616191 19586084864 460667 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
/proc/789754/statm: 4781759 460667 6122 1 0 687149 0
[pid=789754/tid=789756] ppid=789751 vsize=19127036 memory=1842312 CPUtime=24.98 cores=5,7
/proc/789754/task/789756/stat : 789756 (java) R 789751 789754 789551 0 -1 4194368 12317 0 0 0 2462 36 0 0 20 0 20 0 151616191 19586084864 460667 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789765] ppid=789751 vsize=19127036 memory=1842664 CPUtime=0 cores=5,7
/proc/789754/task/789765/stat : 789765 (Finalizer) S 789751 789754 789551 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151616194 19586084864 460667 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789772] ppid=789751 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/789754/task/789772/stat : 789772 (Common-Cleaner) S 789751 789754 789551 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151616194 19586084864 460667 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789773] ppid=789751 vsize=19127036 memory=13124 CPUtime=0 cores=5,7
/proc/789754/task/789773/stat : 789773 (Timer-0) S 789751 789754 789551 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151616209 19586084864 460667 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
Current children cumulated CPU time: 28.58 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1842668 KiB
[startup+51.1058 s]
/proc/loadavg: 2.68 0.81 0.34 5/336 789782
/proc/meminfo: memFree=126417188/131524600 swapFree=131071996/131071996
[pid=789754] ppid=789751 vsize=19127036 memory=1859176 CPUtime=54.37 cores=5,7
/proc/789754/stat : 789754 (java) S 789751 789754 789551 0 -1 1077936128 50501 0 0 0 5392 45 0 0 20 0 20 0 151616191 19586084864 464794 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
/proc/789754/statm: 4781759 464794 6122 1 0 687149 0
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.18 4.19 4.07 5/329 791875
/proc/meminfo: memFree=122944056/131524600 swapFree=131071996/131071996
[pid=789754] ppid=789751 vsize=19127036 memory=2696764 CPUtime=3249.01 cores=5,7
/proc/789754/stat : 789754 (java) S 789751 789754 789551 0 -1 1077936128 328101 0 0 0 324676 225 0 0 20 0 20 0 151616191 19586084864 674191 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
/proc/789754/statm: 4781759 674191 6141 1 0 687739 0
[pid=789754/tid=789756] ppid=789751 vsize=19127036 memory=2012 CPUtime=3168.17 cores=5,7
/proc/789754/task/789756/stat : 789756 (java) R 789751 789754 789551 0 -1 4194368 152322 0 0 0 316759 58 0 0 20 0 20 0 151616191 19586084864 674191 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789765] ppid=789751 vsize=19127036 memory=2696752 CPUtime=0 cores=5,7
/proc/789754/task/789765/stat : 789765 (Finalizer) S 789751 789754 789551 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151616194 19586084864 674191 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789772] ppid=789751 vsize=19127036 memory=12304 CPUtime=0 cores=5,7
/proc/789754/task/789772/stat : 789772 (Common-Cleaner) S 789751 789754 789551 0 -1 1077936192 3417 0 0 0 0 0 0 0 20 0 20 0 151616194 19586084864 674191 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789773] ppid=789751 vsize=19127036 memory=2696752 CPUtime=0 cores=5,7
/proc/789754/task/789773/stat : 789773 (Timer-0) S 789751 789754 789551 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151616209 19586084864 674191 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
Current children cumulated CPU time: 3249.01 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2696764 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.18 4.07 5/330 791888
/proc/meminfo: memFree=122941508/131524600 swapFree=131071996/131071996
[pid=789754] ppid=789751 vsize=19127036 memory=2696796 CPUtime=3310.34 cores=5,7
/proc/789754/stat : 789754 (java) S 789751 789754 789551 0 -1 1077936128 331603 0 0 0 330806 228 0 0 20 0 20 0 151616191 19586084864 674199 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
/proc/789754/statm: 4781759 674199 6141 1 0 687739 0
[pid=789754/tid=789756] ppid=789751 vsize=19127036 memory=12304 CPUtime=3227.3 cores=5,7
/proc/789754/task/789756/stat : 789756 (java) R 789751 789754 789551 0 -1 4194368 154314 0 0 0 322672 58 0 0 20 0 20 0 151616191 19586084864 674199 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789765] ppid=789751 vsize=19127036 memory=2696796 CPUtime=0 cores=5,7
/proc/789754/task/789765/stat : 789765 (Finalizer) S 789751 789754 789551 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151616194 19586084864 674199 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789772] ppid=789751 vsize=19127036 memory=12304 CPUtime=0 cores=5,7
/proc/789754/task/789772/stat : 789772 (Common-Cleaner) S 789751 789754 789551 0 -1 1077936192 3417 0 0 0 0 0 0 0 20 0 20 0 151616194 19586084864 674199 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789773] ppid=789751 vsize=19127036 memory=2696796 CPUtime=0 cores=5,7
/proc/789754/task/789773/stat : 789773 (Timer-0) S 789751 789754 789551 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151616209 19586084864 674199 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
Current children cumulated CPU time: 3310.34 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2696796 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.18 4.08 5/330 791899
/proc/meminfo: memFree=122937116/131524600 swapFree=131071996/131071996
[pid=789754] ppid=789751 vsize=19127036 memory=2696804 CPUtime=3372.69 cores=5,7
/proc/789754/stat : 789754 (java) S 789751 789754 789551 0 -1 1077936128 339263 0 0 0 337038 231 0 0 20 0 20 0 151616191 19586084864 674201 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
/proc/789754/statm: 4781759 674201 6141 1 0 687739 0
[pid=789754/tid=789756] ppid=789751 vsize=19127036 memory=17084 CPUtime=3286.5 cores=5,7
/proc/789754/task/789756/stat : 789756 (java) R 789751 789754 789551 0 -1 4194368 154839 0 0 0 328592 58 0 0 20 0 20 0 151616191 19586084864 674201 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789765] ppid=789751 vsize=19127036 memory=42056 CPUtime=0 cores=5,7
/proc/789754/task/789765/stat : 789765 (Finalizer) S 789751 789754 789551 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151616194 19586084864 674201 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789772] ppid=789751 vsize=19127036 memory=2696804 CPUtime=0 cores=5,7
/proc/789754/task/789772/stat : 789772 (Common-Cleaner) S 789751 789754 789551 0 -1 1077936192 3522 0 0 0 0 0 0 0 20 0 20 0 151616194 19586084864 674201 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789773] ppid=789751 vsize=19127036 memory=5152 CPUtime=0 cores=5,7
/proc/789754/task/789773/stat : 789773 (Timer-0) S 789751 789754 789551 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151616209 19586084864 674201 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
Current children cumulated CPU time: 3372.69 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2696804 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.17 4.09 5/332 792079
/proc/meminfo: memFree=122936752/131524600 swapFree=131071996/131071996
[pid=789754] ppid=789751 vsize=19127036 memory=2696804 CPUtime=3433.91 cores=5,7
/proc/789754/stat : 789754 (java) S 789751 789754 789551 0 -1 1077936128 340212 0 0 0 343157 234 0 0 20 0 20 0 151616191 19586084864 674201 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
/proc/789754/statm: 4781759 674201 6141 1 0 687739 0
[pid=789754/tid=789756] ppid=789751 vsize=19127036 memory=2696804 CPUtime=3345.63 cores=5,7
/proc/789754/task/789756/stat : 789756 (java) R 789751 789754 789551 0 -1 4194368 155615 0 0 0 334505 58 0 0 20 0 20 0 151616191 19586084864 674201 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789765] ppid=789751 vsize=19127036 memory=2696804 CPUtime=0 cores=5,7
/proc/789754/task/789765/stat : 789765 (Finalizer) S 789751 789754 789551 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151616194 19586084864 674201 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789772] ppid=789751 vsize=19127036 memory=12304 CPUtime=0 cores=5,7
/proc/789754/task/789772/stat : 789772 (Common-Cleaner) S 789751 789754 789551 0 -1 1077936192 3522 0 0 0 0 0 0 0 20 0 20 0 151616194 19586084864 674201 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789773] ppid=789751 vsize=19127036 memory=2696804 CPUtime=0 cores=5,7
/proc/789754/task/789773/stat : 789773 (Timer-0) S 789751 789754 789551 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151616209 19586084864 674201 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
Current children cumulated CPU time: 3433.91 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2696804 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.14 4.08 5/332 792089
/proc/meminfo: memFree=122936424/131524600 swapFree=131071996/131071996
[pid=789754] ppid=789751 vsize=19127036 memory=2696804 CPUtime=3498.45 cores=5,7
/proc/789754/stat : 789754 (java) S 789751 789754 789551 0 -1 1077936128 350974 0 0 0 349605 240 0 0 20 0 20 0 151616191 19586084864 674201 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
/proc/789754/statm: 4781759 674201 6141 1 0 687739 0
[pid=789754/tid=789756] ppid=789751 vsize=19127036 memory=12304 CPUtime=3404.84 cores=5,7
/proc/789754/task/789756/stat : 789756 (java) R 789751 789754 789551 0 -1 4194368 157525 0 0 0 340426 58 0 0 20 0 20 0 151616191 19586084864 674201 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789765] ppid=789751 vsize=19127036 memory=42056 CPUtime=0 cores=5,7
/proc/789754/task/789765/stat : 789765 (Finalizer) S 789751 789754 789551 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151616194 19586084864 674201 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789772] ppid=789751 vsize=19127036 memory=5628 CPUtime=0 cores=5,7
/proc/789754/task/789772/stat : 789772 (Common-Cleaner) S 789751 789754 789551 0 -1 1077936192 3578 0 0 0 0 0 0 0 20 0 20 0 151616194 19586084864 674201 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789773] ppid=789751 vsize=19127036 memory=2696804 CPUtime=0 cores=5,7
/proc/789754/task/789773/stat : 789773 (Timer-0) S 789751 789754 789551 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151616209 19586084864 674201 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
Current children cumulated CPU time: 3498.45 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2696804 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/331 792115
/proc/meminfo: memFree=122929472/131524600 swapFree=131071996/131071996
[pid=789754] ppid=789751 vsize=19127036 memory=2696804 CPUtime=3561.1 cores=5,7
/proc/789754/stat : 789754 (java) S 789751 789754 789551 0 -1 1077936128 351843 0 0 0 355866 244 0 0 20 0 20 0 151616191 19586084864 674201 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
/proc/789754/statm: 4781759 674201 6141 1 0 687756 0
[pid=789754/tid=789756] ppid=789751 vsize=19127036 memory=2696804 CPUtime=3463.55 cores=5,7
/proc/789754/task/789756/stat : 789756 (java) R 789751 789754 789551 0 -1 4194368 158226 0 0 0 346297 58 0 0 20 0 20 0 151616191 19586084864 674201 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789765] ppid=789751 vsize=19127036 memory=2328 CPUtime=0 cores=5,7
/proc/789754/task/789765/stat : 789765 (Finalizer) S 789751 789754 789551 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151616194 19586084864 674201 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789772] ppid=789751 vsize=19127036 memory=12304 CPUtime=0 cores=5,7
/proc/789754/task/789772/stat : 789772 (Common-Cleaner) S 789751 789754 789551 0 -1 1077936192 3579 0 0 0 0 0 0 0 20 0 20 0 151616194 19586084864 674201 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789773] ppid=789751 vsize=19127036 memory=12304 CPUtime=0 cores=5,7
/proc/789754/task/789773/stat : 789773 (Timer-0) S 789751 789754 789551 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151616209 19586084864 674201 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
Current children cumulated CPU time: 3561.1 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2696804 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3557.8 s]
/proc/loadavg: 4.23 4.17 4.10 5/330 792121
/proc/meminfo: memFree=122929504/131524600 swapFree=131071996/131071996
[pid=789754] ppid=789751 vsize=19127036 memory=2696908 CPUtime=3600.08 cores=5,7
/proc/789754/stat : 789754 (java) S 789751 789754 789551 0 -1 1077936128 362525 0 0 0 359761 247 0 0 20 0 20 0 151616191 19586084864 674227 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
/proc/789754/statm: 4781759 674227 6141 1 0 687756 0
[pid=789754/tid=789756] ppid=789751 vsize=19127036 memory=17084 CPUtime=3498.48 cores=5,7
/proc/789754/task/789756/stat : 789756 (java) R 789751 789754 789551 0 -1 4194368 161165 0 0 0 349789 59 0 0 20 0 20 0 151616191 19586084864 674227 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789765] ppid=789751 vsize=19127036 memory=2328 CPUtime=0 cores=5,7
/proc/789754/task/789765/stat : 789765 (Finalizer) S 789751 789754 789551 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151616194 19586084864 674227 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789772] ppid=789751 vsize=19127036 memory=-9104135925299323580 CPUtime=0 cores=5,7
/proc/789754/task/789772/stat : 789772 (Common-Cleaner) S 789751 789754 789551 0 -1 1077936192 3687 0 0 0 0 0 0 0 20 0 20 0 151616194 19586084864 674227 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789773] ppid=789751 vsize=19127036 memory=2012 CPUtime=0 cores=5,7
/proc/789754/task/789773/stat : 789773 (Timer-0) S 789751 789754 789551 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151616209 19586084864 674227 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2696908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3557.99 s]
# the end of solver process 789754 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.92 s, system=2.49258 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3557.94 s]
/proc/loadavg: 4.23 4.17 4.10 5/330 792121
/proc/meminfo: memFree=122929504/131524600 swapFree=131071996/131071996
[pid=789754] ppid=789751 vsize=19326728 memory=2697608 CPUtime=3600.33 cores=5,7
/proc/789754/stat : 789754 (java) S 789751 789754 789551 0 -1 1077936128 365138 0 0 0 359785 248 0 0 20 0 21 0 151616191 19790569472 674402 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
/proc/789754/statm: 4831682 674402 6140 1 0 688665 0
[pid=789754/tid=789756] ppid=789751 vsize=19326728 memory=2696900 CPUtime=3498.57 cores=5,7
/proc/789754/task/789756/stat : 789756 (java) R 789751 789754 789551 0 -1 4194368 161246 0 0 0 349798 59 0 0 20 0 21 0 151616191 19790569472 674402 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789765] ppid=789751 vsize=19326728 memory=2696804 CPUtime=0 cores=5,7
/proc/789754/task/789765/stat : 789765 (Finalizer) S 789751 789754 789551 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 151616194 19790569472 674402 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
[pid=789754/tid=789772] ppid=789751 vsize=19326728 memory=-9104135925299323580 CPUtime=0 cores=5,7
/proc/789754/task/789772/stat : 789772 (Common-Cleaner) S 789751 789754 789551 0 -1 1077936192 3687 0 0 0 0 0 0 0 20 0 21 0 151616194 19790569472 674402 134679101440 93900865634304 93900865638000 140736541575200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93900865645816 93900865646608 93900889927680 140736541582324 140736541582437 140736541582437 140736541589448 0
Current children cumulated CPU time: 3600.33 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 2697608 KiB
Child status: 143
Real time (s): 3557.99
CPU time (s): 3600.41
CPU user time (s): 3597.92
CPU system time (s): 2.49258
CPU usage (%): 101.192
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 2697608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.92
system time used= 2.49258
maximum resident set size= 2698708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365515
page faults= 0
swaps= 0
block input operations= 8
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 148544
involuntary context switches= 11866
# summary of solver processes directly reported to runsolver:
# pid: 789754
# total CPU time (s): 3600.41
# total CPU user time (s): 3597.92
# total CPU system time (s): 2.49258
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.23678 second user time and 17.5549 second system time
The end
Begin job on nodeC018 at 2024-07-15 00:02:30 IDJOB=4427450 IDBENCH=147580 IDSOLVER=3046 FILE ID=nodeC018/4427450-1720994538 RUNJOBID= nodeC018-1720994547-789564 SLURM_JOB_ID= 7505302 Free space on /tmp= 890080 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_1.opb COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427450-1720994538/watcher-4427450-1720994538 -o /tmp/evaluation-result-4427450-1720994538/solver-4427450-1720994538 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1720994547-789564 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427450-1720994538.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 31fd86554dd2fe3e1cfc98032a9196a9 RANDOM SEED=18983235 nodeC018.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.753 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.52 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 : 3656.030 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.30 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 : 3599.754 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.52 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 : 3656.053 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.753 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.52 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 : 3599.807 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.30 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 : 3599.754 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.52 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.796 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128547496 kB MemAvailable: 128530212 kB Buffers: 329672 kB Cached: 498336 kB SwapCached: 0 kB Active: 478840 kB Inactive: 1925108 kB Active(anon): 1540 kB Inactive(anon): 1612108 kB Active(file): 477300 kB Inactive(file): 313000 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 4764 kB Writeback: 32 kB AnonPages: 1574208 kB Mapped: 124692 kB Shmem: 37712 kB KReclaimable: 64480 kB Slab: 167040 kB SReclaimable: 64480 kB SUnreclaim: 102560 kB KernelStack: 5104 kB PageTables: 13012 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 7240088 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 57920 kB HardwareCorrupted: 0 kB AnonHugePages: 1198080 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 209620 kB DirectMap2M: 10049536 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 890076 MiB End job on nodeC018 at 2024-07-15 01:01:48