Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j CP VeriPB 2025-06-06 | SAT (TO) | -132992 | 3600.34 | 3640.27 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/ normalized-knapPI_3_200_10000_5_-93992.opb |
| MD5SUM | cd82cadc3025252f43f8d787a9347bc3 |
| 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 | -141992 |
| Best CPU time to get the best result obtained on this benchmark | 0.123928 |
| 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 | 1000 |
| Total number of constraints | 1 |
| 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 | 1 |
| Minimum length of a constraint | 1000 |
| Maximum length of a constraint | 1000 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 10984 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 6085234 |
| Number of bits of the sum of numbers in the objective function | 23 |
| Biggest number in a constraint | 48992 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 6085234 |
| Number of bits of the biggest sum of numbers | 23 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.13/0.16 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.13/0.16 c This is free software under the dual EPL/GNU LGPL licenses. 0.13/0.16 c See www.sat4j.org for details. 0.13/0.18 c version PB25.v20250606 0.13/0.20 c java.runtime.name OpenJDK Runtime Environment 0.13/0.20 c java.vm.name OpenJDK 64-Bit Server VM 0.13/0.20 c java.vm.version 22.0.1+8-16 0.13/0.20 c java.vm.vendor Oracle Corporation 0.13/0.20 c sun.arch.data.model 64 0.13/0.20 c java.version 22.0.1 0.13/0.20 c os.name Linux 0.13/0.20 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.13/0.20 c os.arch amd64 0.13/0.21 c Free memory 2104792832 0.13/0.21 c Max memory 16282288128 0.13/0.21 c Total memory 2113929216 0.13/0.23 c Number of processors 2 0.49/0.38 c Pseudo Boolean Optimization by upper bound 0.49/0.38 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.49/0.38 c - never skip resolution steps 0.49/0.38 c - Auto-division on coefficients is disabled 0.49/0.38 c - No postprocessing 0.49/0.38 c - Conflict is considered as is when resolving 0.49/0.38 c - Use constraints as they come during conflict analysis 0.49/0.38 c - Weaken first using unassigned literals 0.49/0.38 c - Bump strategy: ALWAYS_ONE 0.49/0.38 c - Bumper: EFFECTIVE 0.49/0.38 c --- Begin Solver configuration --- 0.49/0.38 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@768debd 0.49/0.38 c Learn all clauses as in MiniSAT 0.49/0.38 c LOGGER=java.util.logging.Logger@449b2d27 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.49/0.38 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.49/0.38 c No reason simplification 0.49/0.38 c Dynamic restart strategy considering the size of the coefficients 0.49/0.38 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@18ef96 0.49/0.38 c timeout=2147483s 0.49/0.38 c DB Simplification allowed=false 0.49/0.38 c Listener: none 0.49/0.38 c --- End Solver configuration --- 0.49/0.38 c solving HOME/instance-4518003-1751546502.opb 0.49/0.38 c reading problem ... 0.49/0.38 c using VERIPB proof format 0.49/0.39 c objective function found 0.66/0.50 c ... done. Wall clock time 0.118s. 0.66/0.50 c declared #vars 1000 0.66/0.50 c #constraints 1 0.66/0.50 c constraints type 0.66/0.50 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 1 0.66/0.50 c 1 constraints processed. 0.66/0.53 c objective function length is 1000 literals 0.86/0.59 c SATISFIABLE 0.86/0.59 c OPTIMIZING... 0.86/0.59 c Got one! Elapsed wall clock time (in seconds):0.207 0.86/0.59 o -55976 8.28/6.33 c Got one! Elapsed wall clock time (in seconds):5.947 8.28/6.33 o -57000 8.28/6.36 c Got one! Elapsed wall clock time (in seconds):5.98 8.28/6.36 o -57005 13.89/10.43 c Got one! Elapsed wall clock time (in seconds):10.039 13.89/10.43 o -57006 13.89/10.44 c Got one! Elapsed wall clock time (in seconds):10.058 13.89/10.44 o -57011 13.89/10.46 c Got one! Elapsed wall clock time (in seconds):10.078 13.89/10.46 o -57016 14.47/10.79 c Got one! Elapsed wall clock time (in seconds):10.412 14.47/10.79 o -57017 15.25/11.11 c Got one! Elapsed wall clock time (in seconds):10.735 15.25/11.11 o -57019 15.25/11.15 c Got one! Elapsed wall clock time (in seconds):10.775 15.25/11.15 o -57035 19.89/14.85 c Got one! Elapsed wall clock time (in seconds):14.469 19.89/14.85 o -57046 23.59/17.62 c Got one! Elapsed wall clock time (in seconds):17.237 23.59/17.62 o -57047 23.59/17.69 c Got one! Elapsed wall clock time (in seconds):17.307 23.59/17.69 o -57991 27.71/21.51 c Got one! Elapsed wall clock time (in seconds):21.134 27.71/21.51 o -58132 30.24/24.07 c Got one! Elapsed wall clock time (in seconds):23.695 30.24/24.07 o -58138 30.24/24.11 c Got one! Elapsed wall clock time (in seconds):23.728 30.24/24.11 o -58143 30.41/24.17 c Got one! Elapsed wall clock time (in seconds):23.795 30.41/24.17 o -58155 30.54/24.28 c Got one! Elapsed wall clock time (in seconds):23.905 30.54/24.28 o -58157 30.67/24.39 c Got one! Elapsed wall clock time (in seconds):24.011 30.67/24.39 o -58173 30.78/24.46 c Got one! Elapsed wall clock time (in seconds):24.081 30.78/24.46 o -58183 31.07/24.65 c Got one! Elapsed wall clock time (in seconds):24.27 31.07/24.65 o -58232 31.50/25.03 c Got one! Elapsed wall clock time (in seconds):24.645 31.50/25.03 o -58670 31.64/25.16 c Got one! Elapsed wall clock time (in seconds):24.783 31.64/25.16 o -59385 33.14/26.33 c Got one! Elapsed wall clock time (in seconds):25.951 33.14/26.33 o -60414 33.14/26.35 c Got one! Elapsed wall clock time (in seconds):25.968 33.14/26.35 o -60429 33.30/26.40 c Got one! Elapsed wall clock time (in seconds):26.019 33.30/26.40 o -60434 33.30/26.42 c Got one! Elapsed wall clock time (in seconds):26.044 33.30/26.42 o -60435 33.50/26.56 c Got one! Elapsed wall clock time (in seconds):26.185 33.50/26.56 o -61039 33.62/26.62 c Got one! Elapsed wall clock time (in seconds):26.239 33.62/26.62 o -61586 33.62/26.64 c Got one! Elapsed wall clock time (in seconds):26.258 33.62/26.64 o -61587 33.62/26.69 c Got one! Elapsed wall clock time (in seconds):26.313 33.62/26.69 o -61597 33.72/26.71 c Got one! Elapsed wall clock time (in seconds):26.334 33.72/26.71 o -61603 33.88/26.82 c Got one! Elapsed wall clock time (in seconds):26.443 33.88/26.82 o -61605 33.99/26.98 c Got one! Elapsed wall clock time (in seconds):26.602 33.99/26.98 o -62006 34.18/27.07 c Got one! Elapsed wall clock time (in seconds):26.688 34.18/27.07 o -62020 37.82/30.58 c Got one! Elapsed wall clock time (in seconds):30.197 37.82/30.58 o -62713 37.93/30.63 c Got one! Elapsed wall clock time (in seconds):30.25 37.93/30.63 o -62715 37.93/30.65 c Got one! Elapsed wall clock time (in seconds):30.268 37.93/30.65 o -62741 38.06/30.75 c Got one! Elapsed wall clock time (in seconds):30.37 38.06/30.75 o -62865 38.46/31.04 c Got one! Elapsed wall clock time (in seconds):30.658 38.46/31.04 o -63398 38.65/31.12 c Got one! Elapsed wall clock time (in seconds):30.741 38.65/31.12 o -63895 38.65/31.19 c Got one! Elapsed wall clock time (in seconds):30.812 38.65/31.19 o -64230 38.78/31.21 c Got one! Elapsed wall clock time (in seconds):30.834 38.78/31.21 o -65027 38.78/31.28 c Got one! Elapsed wall clock time (in seconds):30.905 38.78/31.28 o -65071 38.91/31.35 c Got one! Elapsed wall clock time (in seconds):30.968 38.91/31.35 o -65076 38.91/31.37 c Got one! Elapsed wall clock time (in seconds):30.992 38.91/31.37 o -65106 39.06/31.44 c Got one! Elapsed wall clock time (in seconds):31.058 39.06/31.44 o -66203 39.25/31.55 c Got one! Elapsed wall clock time (in seconds):31.168 39.25/31.55 o -67239 42.57/34.86 c Got one! Elapsed wall clock time (in seconds):34.476 42.57/34.86 o -67414 42.68/34.94 c Got one! Elapsed wall clock time (in seconds):34.564 42.68/34.94 o -67485 42.68/34.97 c Got one! Elapsed wall clock time (in seconds):34.59 42.68/34.97 o -67488 42.68/34.99 c Got one! Elapsed wall clock time (in seconds):34.615 42.68/34.99 o -67494 42.80/35.06 c Got one! Elapsed wall clock time (in seconds):34.685 42.80/35.06 o -68632 42.93/35.14 c Got one! Elapsed wall clock time (in seconds):34.763 42.93/35.14 o -68634 42.93/35.19 c Got one! Elapsed wall clock time (in seconds):34.814 42.93/35.19 o -68641 43.08/35.29 c Got one! Elapsed wall clock time (in seconds):34.91 43.08/35.29 o -68890 43.18/35.36 c Got one! Elapsed wall clock time (in seconds):34.984 43.18/35.36 o -69923 43.28/35.43 c Got one! Elapsed wall clock time (in seconds):35.055 43.28/35.43 o -69928 43.39/35.58 c Got one! Elapsed wall clock time (in seconds):35.196 43.39/35.58 o -70124 43.49/35.64 c Got one! Elapsed wall clock time (in seconds):35.258 43.49/35.64 o -70183 43.61/35.71 c Got one! Elapsed wall clock time (in seconds):35.332 43.61/35.71 o -71075 43.61/35.79 c Got one! Elapsed wall clock time (in seconds):35.412 43.61/35.79 o -71153 43.72/35.83 c Got one! Elapsed wall clock time (in seconds):35.45 43.72/35.83 o -71159 43.83/35.91 c Got one! Elapsed wall clock time (in seconds):35.53 43.83/35.91 o -72313 43.83/35.95 c Got one! Elapsed wall clock time (in seconds):35.571 43.83/35.95 o -72329 43.96/36.03 c Got one! Elapsed wall clock time (in seconds):35.653 43.96/36.03 o -72344 43.96/36.08 c Got one! Elapsed wall clock time (in seconds):35.705 43.96/36.08 o -72407 44.07/36.15 c Got one! Elapsed wall clock time (in seconds):35.771 44.07/36.15 o -72472 44.16/36.20 c Got one! Elapsed wall clock time (in seconds):35.819 44.16/36.20 o -73567 44.16/36.26 c Got one! Elapsed wall clock time (in seconds):35.88 44.16/36.26 o -73607 44.26/36.33 c Got one! Elapsed wall clock time (in seconds):35.946 44.26/36.33 o -73713 44.36/36.41 c Got one! Elapsed wall clock time (in seconds):36.035 44.36/36.41 o -74825 44.36/36.46 c Got one! Elapsed wall clock time (in seconds):36.083 44.36/36.46 o -74829 44.46/36.55 c Got one! Elapsed wall clock time (in seconds):36.174 44.46/36.55 o -74845 44.57/36.62 c Got one! Elapsed wall clock time (in seconds):36.246 44.57/36.63 o -74860 44.68/36.77 c Got one! Elapsed wall clock time (in seconds):36.387 44.68/36.77 o -74990 44.78/36.87 c Got one! Elapsed wall clock time (in seconds):36.488 44.78/36.87 o -76083 44.91/36.93 c Got one! Elapsed wall clock time (in seconds):36.55 44.91/36.93 o -76127 45.05/37.03 c Got one! Elapsed wall clock time (in seconds):36.651 45.05/37.03 o -76130 45.16/37.14 c Got one! Elapsed wall clock time (in seconds):36.757 45.16/37.14 o -76136 45.55/37.57 c Got one! Elapsed wall clock time (in seconds):37.189 45.55/37.57 o -76150 45.95/37.98 c Got one! Elapsed wall clock time (in seconds):37.601 45.95/37.98 o -77363 46.07/38.10 c Got one! Elapsed wall clock time (in seconds):37.716 46.07/38.10 o -77373 46.26/38.23 c Got one! Elapsed wall clock time (in seconds):37.851 46.26/38.23 o -78611 46.35/38.32 c Got one! Elapsed wall clock time (in seconds):37.941 46.35/38.32 o -78674 46.46/38.41 c Got one! Elapsed wall clock time (in seconds):38.031 46.46/38.41 o -78687 46.56/38.53 c Got one! Elapsed wall clock time (in seconds):38.149 46.56/38.53 o -79889 46.56/38.59 c Got one! Elapsed wall clock time (in seconds):38.215 46.56/38.59 o -79898 46.87/38.84 c Got one! Elapsed wall clock time (in seconds):38.459 46.87/38.84 o -79912 47.08/39.08 c Got one! Elapsed wall clock time (in seconds):38.7 47.08/39.08 o -79918 47.37/39.32 c Got one! Elapsed wall clock time (in seconds):38.945 47.37/39.32 o -79922 47.47/39.46 c Got one! Elapsed wall clock time (in seconds):39.077 47.47/39.46 o -79938 47.57/39.58 c Got one! Elapsed wall clock time (in seconds):39.205 47.57/39.58 o -81176 47.77/39.72 c Got one! Elapsed wall clock time (in seconds):39.336 47.77/39.72 o -81186 50.27/42.16 c Got one! Elapsed wall clock time (in seconds):41.777 50.27/42.16 o -82181 50.35/42.27 c Got one! Elapsed wall clock time (in seconds):41.887 50.35/42.27 o -82525 50.45/42.38 c Got one! Elapsed wall clock time (in seconds):41.996 50.45/42.38 o -83789 50.64/42.52 c Got one! Elapsed wall clock time (in seconds):42.139 50.64/42.52 o -83824 50.82/42.74 c Got one! Elapsed wall clock time (in seconds):42.364 50.82/42.74 o -84634 50.92/42.83 c Got one! Elapsed wall clock time (in seconds):42.449 50.92/42.83 o -85271 50.92/42.89 c Got one! Elapsed wall clock time (in seconds):42.508 50.92/42.89 o -86450 51.03/42.95 c Got one! Elapsed wall clock time (in seconds):42.568 51.03/42.95 o -86497 51.15/43.06 c Got one! Elapsed wall clock time (in seconds):42.684 51.15/43.06 o -86514 51.30/43.13 c Got one! Elapsed wall clock time (in seconds):42.753 51.30/43.13 o -86520 51.56/43.31 c Got one! Elapsed wall clock time (in seconds):42.931 51.56/43.31 o -86539 51.66/43.48 c Got one! Elapsed wall clock time (in seconds):43.104 51.66/43.48 o -87836 51.76/43.56 c Got one! Elapsed wall clock time (in seconds):43.181 51.76/43.56 o -87857 51.87/43.68 c Got one! Elapsed wall clock time (in seconds):43.304 51.87/43.68 o -87904 52.07/43.82 c Got one! Elapsed wall clock time (in seconds):43.436 52.07/43.82 o -87921 52.17/43.95 c Got one! Elapsed wall clock time (in seconds):43.571 52.17/43.95 o -87927 52.33/44.03 c Got one! Elapsed wall clock time (in seconds):43.648 52.33/44.03 o -87985 52.33/44.10 c Got one! Elapsed wall clock time (in seconds):43.72 52.33/44.10 o -87991 52.82/44.30 c Got one! Elapsed wall clock time (in seconds):43.922 52.82/44.30 o -89370 53.02/44.43 c Got one! Elapsed wall clock time (in seconds):44.055 53.02/44.43 o -90663 53.17/44.51 c Got one! Elapsed wall clock time (in seconds):44.129 53.17/44.51 o -90675 53.17/44.58 c Got one! Elapsed wall clock time (in seconds):44.203 53.17/44.58 o -90688 53.32/44.66 c Got one! Elapsed wall clock time (in seconds):44.282 53.32/44.66 o -90703 53.66/44.92 c Got one! Elapsed wall clock time (in seconds):44.54 53.66/44.92 o -90968 53.66/45.01 c Got one! Elapsed wall clock time (in seconds):44.626 53.66/45.01 o -92174 53.77/45.09 c Got one! Elapsed wall clock time (in seconds):44.714 53.77/45.09 o -93530 53.94/45.19 c Got one! Elapsed wall clock time (in seconds):44.806 53.94/45.19 o -93555 54.26/45.33 c Got one! Elapsed wall clock time (in seconds):44.947 54.26/45.33 o -93558 54.36/45.43 c Got one! Elapsed wall clock time (in seconds):45.047 54.36/45.43 o -94992 58.45/49.48 c Got one! Elapsed wall clock time (in seconds):49.099 58.45/49.48 o -95087 58.57/49.58 c Got one! Elapsed wall clock time (in seconds):49.202 58.57/49.58 o -96056 58.85/49.71 c Got one! Elapsed wall clock time (in seconds):49.334 58.85/49.71 o -96077 58.95/49.89 c Got one! Elapsed wall clock time (in seconds):49.513 58.95/49.89 o -96084 59.19/50.09 c Got one! Elapsed wall clock time (in seconds):49.714 59.19/50.09 o -96578 59.31/50.18 c Got one! Elapsed wall clock time (in seconds):49.797 59.31/50.18 o -97601 59.42/50.27 c Got one! Elapsed wall clock time (in seconds):49.892 59.42/50.27 o -97606 59.53/50.33 c Got one! Elapsed wall clock time (in seconds):49.955 59.53/50.33 o -97745 59.64/50.42 c Got one! Elapsed wall clock time (in seconds):50.045 59.64/50.42 o -99123 59.64/50.45 c Got one! Elapsed wall clock time (in seconds):50.067 59.64/50.45 o -99132 59.79/50.56 c Got one! Elapsed wall clock time (in seconds):50.177 59.79/50.56 o -99153 60.42/51.17 c Got one! Elapsed wall clock time (in seconds):50.788 60.42/51.17 o -100182 60.61/51.31 c Got one! Elapsed wall clock time (in seconds):50.93 60.61/51.31 o -100687 60.72/51.44 c Got one! Elapsed wall clock time (in seconds):51.056 60.72/51.44 o -100714 60.82/51.57 c Got one! Elapsed wall clock time (in seconds):51.194 60.82/51.57 o -102231 60.92/51.61 c Got one! Elapsed wall clock time (in seconds):51.226 60.92/51.61 o -102240 61.02/51.73 c Got one! Elapsed wall clock time (in seconds):51.354 61.02/51.73 o -102272 61.02/51.76 c Got one! Elapsed wall clock time (in seconds):51.384 61.02/51.76 o -102273 61.12/51.82 c Got one! Elapsed wall clock time (in seconds):51.44 61.12/51.82 o -102303 61.22/51.94 c Got one! Elapsed wall clock time (in seconds):51.563 61.22/51.94 o -102312 61.33/52.07 c Got one! Elapsed wall clock time (in seconds):51.693 61.33/52.07 o -102345 61.52/52.21 c Got one! Elapsed wall clock time (in seconds):51.826 61.52/52.21 o -102350 62.17/52.84 c Got one! Elapsed wall clock time (in seconds):52.461 62.17/52.84 o -103734 62.27/52.98 c Got one! Elapsed wall clock time (in seconds):52.598 62.27/52.98 o -103795 62.38/53.01 c Got one! Elapsed wall clock time (in seconds):52.635 62.38/53.01 o -103826 62.48/53.13 c Got one! Elapsed wall clock time (in seconds):52.753 62.48/53.13 o -103835 62.57/53.25 c Got one! Elapsed wall clock time (in seconds):52.868 62.57/53.25 o -103837 62.97/53.68 c Got one! Elapsed wall clock time (in seconds):53.298 62.97/53.68 o -104378 63.17/53.86 c Got one! Elapsed wall clock time (in seconds):53.479 63.17/53.86 o -104960 63.27/53.91 c Got one! Elapsed wall clock time (in seconds):53.535 63.27/53.91 o -105579 63.38/54.05 c Got one! Elapsed wall clock time (in seconds):53.672 63.38/54.05 o -106986 63.48/54.19 c Got one! Elapsed wall clock time (in seconds):53.806 63.48/54.19 o -107007 63.57/54.24 c Got one! Elapsed wall clock time (in seconds):53.857 63.57/54.24 o -107008 64.07/54.71 c Got one! Elapsed wall clock time (in seconds):54.332 64.07/54.71 o -107992 64.17/54.85 c Got one! Elapsed wall clock time (in seconds):54.47 64.17/54.85 o -108635 64.27/54.91 c Got one! Elapsed wall clock time (in seconds):54.535 64.27/54.91 o -108658 64.38/55.05 c Got one! Elapsed wall clock time (in seconds):54.669 64.38/55.05 o -110243 64.71/55.20 c Got one! Elapsed wall clock time (in seconds):54.818 64.71/55.20 o -110254 64.71/55.28 c Got one! Elapsed wall clock time (in seconds):54.899 64.71/55.28 o -110316 64.91/55.35 c Got one! Elapsed wall clock time (in seconds):54.974 64.91/55.35 o -110318 65.09/55.43 c Got one! Elapsed wall clock time (in seconds):55.049 65.09/55.43 o -110327 65.19/55.59 c Got one! Elapsed wall clock time (in seconds):55.208 65.19/55.59 o -111871 65.39/55.71 c Got one! Elapsed wall clock time (in seconds):55.33 65.39/55.71 o -111979 65.39/55.78 c Got one! Elapsed wall clock time (in seconds):55.403 65.39/55.78 o -111981 65.58/55.96 c Got one! Elapsed wall clock time (in seconds):55.583 65.58/55.96 o -111990 66.12/56.42 c Got one! Elapsed wall clock time (in seconds):56.039 66.12/56.42 o -111992 68.59/58.75 c Got one! Elapsed wall clock time (in seconds):58.372 68.59/58.75 o -113433 68.78/58.96 c Got one! Elapsed wall clock time (in seconds):58.582 68.78/58.96 o -114626 68.78/58.99 c Got one! Elapsed wall clock time (in seconds):58.611 68.78/58.99 o -114632 68.90/59.10 c Got one! Elapsed wall clock time (in seconds):58.722 68.90/59.10 o -114662 69.00/59.18 c Got one! Elapsed wall clock time (in seconds):58.805 69.00/59.18 o -114677 69.09/59.24 c Got one! Elapsed wall clock time (in seconds):58.862 69.09/59.24 o -114698 69.19/59.35 c Got one! Elapsed wall clock time (in seconds):58.97 69.19/59.35 o -114786 69.29/59.46 c Got one! Elapsed wall clock time (in seconds):59.082 69.29/59.46 o -114793 69.39/59.59 c Got one! Elapsed wall clock time (in seconds):59.215 69.39/59.59 o -116401 69.74/59.70 c Got one! Elapsed wall clock time (in seconds):59.321 69.74/59.70 o -116479 69.74/59.79 c Got one! Elapsed wall clock time (in seconds):59.412 69.74/59.79 o -116489 69.85/59.84 c Got one! Elapsed wall clock time (in seconds):59.458 69.85/59.84 o -118192 69.85/59.89 c Got one! Elapsed wall clock time (in seconds):59.509 69.85/59.89 o -118292 69.95/59.99 c Got one! Elapsed wall clock time (in seconds):59.607 69.95/59.99 o -118306 70.07/60.04 c Got one! Elapsed wall clock time (in seconds):59.656 70.07/60.04 o -118309 70.17/60.13 c Got one! Elapsed wall clock time (in seconds):59.754 70.17/60.13 o -120045 70.17/60.17 c Got one! Elapsed wall clock time (in seconds):59.79 70.17/60.17 o -120078 70.25/60.20 c Got one! Elapsed wall clock time (in seconds):59.825 70.25/60.20 o -120100 70.25/60.29 c Got one! Elapsed wall clock time (in seconds):59.909 70.25/60.29 o -120130 70.35/60.36 c Got one! Elapsed wall clock time (in seconds):59.982 70.35/60.36 o -121869 70.45/60.40 c Got one! Elapsed wall clock time (in seconds):60.022 70.45/60.40 o -121881 70.45/60.44 c Got one! Elapsed wall clock time (in seconds):60.058 70.45/60.44 o -121910 70.45/60.48 c Got one! Elapsed wall clock time (in seconds):60.097 70.45/60.48 o -121943 70.56/60.59 c Got one! Elapsed wall clock time (in seconds):60.215 70.56/60.59 o -123734 70.66/60.64 c Got one! Elapsed wall clock time (in seconds):60.262 70.66/60.64 o -123741 70.76/60.70 c Got one! Elapsed wall clock time (in seconds):60.323 70.76/60.70 o -123753 71.20/61.12 c Got one! Elapsed wall clock time (in seconds):60.741 71.20/61.12 o -123782 71.20/61.17 c Got one! Elapsed wall clock time (in seconds):60.793 71.20/61.17 o -123846 72.16/61.76 c Got one! Elapsed wall clock time (in seconds):61.377 72.16/61.76 o -124391 72.60/62.11 c Got one! Elapsed wall clock time (in seconds):61.732 72.60/62.11 o -124508 72.73/62.22 c Got one! Elapsed wall clock time (in seconds):61.84 72.73/62.22 o -126235 72.73/62.23 c Got one! Elapsed wall clock time (in seconds):61.853 72.73/62.23 o -126255 72.85/62.30 c Got one! Elapsed wall clock time (in seconds):61.925 72.85/62.30 o -126340 72.85/62.38 c Got one! Elapsed wall clock time (in seconds):62.003 72.85/62.38 o -126545 72.95/62.48 c Got one! Elapsed wall clock time (in seconds):62.098 72.95/62.48 o -128227 73.13/62.55 c Got one! Elapsed wall clock time (in seconds):62.167 73.13/62.55 o -128325 73.30/62.61 c Got one! Elapsed wall clock time (in seconds):62.233 73.30/62.61 o -128449 73.40/62.72 c Got one! Elapsed wall clock time (in seconds):62.339 73.40/62.72 o -130224 73.40/62.74 c Got one! Elapsed wall clock time (in seconds):62.359 73.40/62.74 o -130229 73.40/62.79 c Got one! Elapsed wall clock time (in seconds):62.415 73.40/62.79 o -130280 73.50/62.85 c Got one! Elapsed wall clock time (in seconds):62.475 73.50/62.85 o -130295 73.60/62.91 c Got one! Elapsed wall clock time (in seconds):62.535 73.60/62.91 o -132226 73.60/62.94 c Got one! Elapsed wall clock time (in seconds):62.558 73.60/62.94 o -132233 73.60/62.96 c Got one! Elapsed wall clock time (in seconds):62.579 73.60/62.96 o -132238 73.60/63.01 c Got one! Elapsed wall clock time (in seconds):62.628 73.60/63.01 o -132243 76.74/65.42 c Got one! Elapsed wall clock time (in seconds):65.037 76.74/65.42 o -132330 78.08/66.49 c Got one! Elapsed wall clock time (in seconds):66.113 78.08/66.49 o -132981 81.47/69.67 c Got one! Elapsed wall clock time (in seconds):69.288 81.47/69.67 o -132986 81.57/69.78 c Got one! Elapsed wall clock time (in seconds):69.404 81.57/69.78 o -132991 81.77/70.00 c Got one! Elapsed wall clock time (in seconds):69.619 81.77/70.00 o -132992 518.91/510.08 c cleaning 2783 clauses out of 5566 with flag 0/5566 1061.30/1071.29 c cleaning 4390 clauses out of 8779 with flag 0/11562 1838.67/1867.65 c cleaning 5696 clauses out of 11391 with flag 0/18564 2923.06/2972.49 c cleaning 6847 clauses out of 13696 with flag 0/26565 3600.03/3640.14 c starts : 226 3600.03/3640.16 c conflicts : 33036 3600.03/3640.17 c decisions : 183671 3600.03/3640.17 c propagations : 761540 3600.03/3640.17 c inspects : 177713657 3600.03/3640.17 c shortcuts : 0 3600.03/3640.17 c learnt literals : 0 3600.03/3640.17 c learnt binary clauses : 0 3600.03/3640.18 c learnt ternary clauses : 0 3600.03/3640.18 c learnt constraints : 33036 3600.03/3640.18 c ignored constraints : 0 3600.03/3640.18 c root simplifications : 0 3600.03/3640.18 c removed literals (reason simplification) : 0 3600.03/3640.18 c reason swapping (by a shorter reason) : 0 3600.03/3640.18 c Calls to reduceDB : 4 3600.03/3640.18 c Number of update (reduction) of LBD : 18731 3600.03/3640.18 c Imported unit clauses : 0 3600.03/3640.18 c No decision after first conflict : false 3600.03/3640.18 c number of reductions to clauses (during analyze) : 0 3600.03/3640.18 c number of learned constraints concerned by reduction : 0 3600.03/3640.18 c number of learning phase by resolution : 0 3600.03/3640.18 c number of learning phase by cutting planes : 0 3600.03/3640.18 c number of rounding to 1 operations : 0 3600.03/3640.18 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.03/3640.19 c number of reductions of the coefficients by power 2 : 0 3600.03/3640.19 c number of right shift for reduction by power 2 : 0 3600.03/3640.19 c number of reductions of the coefficients by GCD over coefficients : 0 3600.03/3640.19 c number of ending skipping : 0 3600.03/3640.19 c number of internal skipping : 0 3600.03/3640.19 c number of derivation steps : 400135 3600.03/3640.19 c number of skipped derivation steps : 0 3600.03/3640.19 c number of remaining unassigned : 68161 3600.03/3640.19 c number of remaining assigned : 259758061 3600.03/3640.19 c number of falsified literals weakened from reason : 0 3600.03/3640.19 c number of falsified literals weakened from conflict : 0 3600.03/3640.19 c time for arithmetic operations : 10604980379 3600.03/3640.19 c minimum degree of deleted constraints : 1 3600.03/3640.20 c maximum degree of deleted constraints : 964227409654420645571459281971316895006600326253597113526302934507645768314168360097772743905598440167912627463870280347154422885200099666072905391385695213951435856857181508629750093582524329491130319689898467176937710690221154589063336700557071180449287926864527086027895312533113007589770272991030190785462673100106341130520391928743807577956950736390050816 3600.03/3640.20 c number of deleted constraints : 19716 3600.03/3640.20 c speed (assignments/second) : 209.23610366987853 3600.03/3640.20 c non guided choices : 0 3600.21/3640.25 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 78 3600.21/3640.25 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 13242 3600.21/3640.25 s SATISFIABLE 3600.21/3640.25 c Found 218 solution(s) 3600.21/3640.25 v x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 x455 -x456 -x457 x458 x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 x543 -x544 -x545 x546 -x547 -x548 -x549 -x550 -x551 x552 -x553 -x554 -x555 -x556 x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 x802 -x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x990 -x991 x992 -x993 -x994 x995 x996 -x997 -x998 x999 -x1000 3600.21/3640.26 c objective function=-132992 3600.21/3640.26 c Total wall clock time (in seconds): 3639.877
OK -132992
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: 63837 MiB (53754 MiB free)
memory of node 1: 64465 MiB (62704 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518003-1751546502/watcher-4518003-1751546502 -o /tmp/evaluation-result-4518003-1751546502/solver-4518003-1751546502 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751542805-78681 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4518003-1751546502 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4518003-1751546502.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=79265, runsolver pid=79262
[startup+0.100073 s]*
/proc/loadavg: 4.27 4.23 4.17 7/327 79283
/proc/meminfo: memFree=119234608/131382116 swapFree=33009904/33010684
[pid=79265] ppid=79262 vsize=18930384 memory=48500 CPUtime=0.13 cores=5,7
/proc/79265/stat : 79265 (java) S 79262 79265 78032 0 -1 4194304 5840 0 0 0 10 3 0 0 20 0 18 0 70329351 19384713216 12125 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
/proc/79265/statm: 4732596 12125 5279 1 0 547042 0
[pid=79265/tid=79267] ppid=79262 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/79265/task/79267/stat : 79267 (java) R 79262 79265 78032 0 -1 4194368 4704 0 0 0 6 2 0 0 20 0 18 0 70329352 19384713216 12125 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79276] ppid=79262 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/79265/task/79276/stat : 79276 (Finalizer) S 79262 79265 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70329357 19384713216 12125 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79283] ppid=79262 vsize=18930384 memory=60693105881846 CPUtime=0 cores=5,7
/proc/79265/task/79283/stat : 79283 (Common-Cleaner) S 79262 79265 78032 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70329358 19384713216 12125 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48500 KiB
[startup+0.222983 s]*
/proc/loadavg: 4.27 4.23 4.17 8/327 79283
/proc/meminfo: memFree=119227488/131382116 swapFree=33009904/33010684
[pid=79265] ppid=79262 vsize=18930384 memory=55516 CPUtime=0.33 cores=5,7
/proc/79265/stat : 79265 (java) S 79262 79265 78032 0 -1 4194304 6544 0 0 0 28 5 0 0 20 0 18 0 70329351 19384713216 13879 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
/proc/79265/statm: 4732596 13879 5343 1 0 547604 0
[pid=79265/tid=79267] ppid=79262 vsize=18930384 memory=4026728732 CPUtime=0.2 cores=5,7
/proc/79265/task/79267/stat : 79267 (java) R 79262 79265 78032 0 -1 4194368 5047 0 0 0 17 3 0 0 20 0 18 0 70329352 19384713216 14412 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79276] ppid=79262 vsize=18930384 memory=14857 CPUtime=0 cores=5,7
/proc/79265/task/79276/stat : 79276 (Finalizer) S 79262 79265 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70329357 19384713216 14412 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79283] ppid=79262 vsize=18930384 memory=59593594242043 CPUtime=0 cores=5,7
/proc/79265/task/79283/stat : 79283 (Common-Cleaner) S 79262 79265 78032 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70329358 19384713216 14412 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55516 KiB
[startup+0.318695 s]*
/proc/loadavg: 4.27 4.23 4.17 8/327 79283
/proc/meminfo: memFree=119227488/131382116 swapFree=33009904/33010684
[pid=79265] ppid=79262 vsize=18930384 memory=58928 CPUtime=0.49 cores=5,7
/proc/79265/stat : 79265 (java) S 79262 79265 78032 0 -1 4194304 6827 0 0 0 44 5 0 0 20 0 18 0 70329351 19384713216 14732 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
/proc/79265/statm: 4732596 14732 5407 1 0 547829 0
[pid=79265/tid=79267] ppid=79262 vsize=18930384 memory=-6000919498459734888 CPUtime=0.29 cores=5,7
/proc/79265/task/79267/stat : 79267 (java) R 79262 79265 78032 0 -1 4194368 5234 0 0 0 26 3 0 0 20 0 18 0 70329352 19384713216 14732 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79276] ppid=79262 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/79265/task/79276/stat : 79276 (Finalizer) S 79262 79265 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70329357 19384713216 14732 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79283] ppid=79262 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/79265/task/79283/stat : 79283 (Common-Cleaner) S 79262 79265 78032 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70329358 19384713216 14732 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58928 KiB
[startup+0.700365 s]
/proc/loadavg: 4.27 4.23 4.17 7/327 79283
/proc/meminfo: memFree=119227488/131382116 swapFree=33009904/33010684
[pid=79265] ppid=79262 vsize=18996948 memory=67368 CPUtime=1.17 cores=5,7
/proc/79265/stat : 79265 (java) S 79262 79265 78032 0 -1 4194304 7378 0 0 0 111 6 0 0 20 0 19 0 70329351 19452874752 16842 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
/proc/79265/statm: 4749237 16842 5439 1 0 548422 0
[pid=79265/tid=79267] ppid=79262 vsize=18996948 memory=18432 CPUtime=0.62 cores=5,7
/proc/79265/task/79267/stat : 79267 (java) R 79262 79265 78032 0 -1 4194368 5507 0 0 0 58 4 0 0 20 0 19 0 70329352 19452874752 16842 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79276] ppid=79262 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/79265/task/79276/stat : 79276 (Finalizer) S 79262 79265 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70329357 19452874752 16842 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79283] ppid=79262 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/79265/task/79283/stat : 79283 (Common-Cleaner) S 79262 79265 78032 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70329358 19452874752 16842 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 67368 KiB
[startup+1.50027 s]
/proc/loadavg: 4.27 4.23 4.17 7/328 79284
/proc/meminfo: memFree=119204048/131382116 swapFree=33009904/33010684
[pid=79265] ppid=79262 vsize=18996948 memory=136860 CPUtime=2.62 cores=5,7
/proc/79265/stat : 79265 (java) S 79262 79265 78032 0 -1 4194304 19189 0 0 0 253 9 0 0 20 0 19 0 70329351 19452874752 34215 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
/proc/79265/statm: 4749237 34215 5439 1 0 553665 0
[pid=79265/tid=79267] ppid=79262 vsize=18996948 memory=3200 CPUtime=1.4 cores=5,7
/proc/79265/task/79267/stat : 79267 (java) R 79262 79265 78032 0 -1 4194368 5715 0 0 0 135 5 0 0 20 0 19 0 70329352 19452874752 34215 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79276] ppid=79262 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/79265/task/79276/stat : 79276 (Finalizer) S 79262 79265 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70329357 19452874752 34215 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79283] ppid=79262 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/79265/task/79283/stat : 79283 (Common-Cleaner) S 79262 79265 78032 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70329358 19452874752 34215 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79284] ppid=79262 vsize=18996948 memory=14080 CPUtime=0 cores=5,7
/proc/79265/task/79284/stat : 79284 (Timer-0) S 79262 79265 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70329408 19452874752 34215 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 136860 KiB
[startup+3.10583 s]
/proc/loadavg: 4.33 4.24 4.17 6/306 79315
/proc/meminfo: memFree=124113748/131382116 swapFree=33009904/33010684
[pid=79265] ppid=79262 vsize=19063512 memory=181460 CPUtime=4.98 cores=5,7
/proc/79265/stat : 79265 (java) S 79262 79265 78032 0 -1 4194304 22991 0 0 0 485 13 0 0 20 0 20 0 70329351 19521036288 45365 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
/proc/79265/statm: 4765878 45365 5471 1 0 555386 0
[pid=79265/tid=79267] ppid=79262 vsize=19063512 memory=11264 CPUtime=2.96 cores=5,7
/proc/79265/task/79267/stat : 79267 (java) R 79262 79265 78032 0 -1 4194368 6050 0 0 0 289 7 0 0 20 0 20 0 70329352 19521036288 45365 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79276] ppid=79262 vsize=19063512 memory=14080 CPUtime=0 cores=5,7
/proc/79265/task/79276/stat : 79276 (Finalizer) S 79262 79265 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70329357 19521036288 45365 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79283] ppid=79262 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/79265/task/79283/stat : 79283 (Common-Cleaner) S 79262 79265 78032 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 70329358 19521036288 45365 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79284] ppid=79262 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/79265/task/79284/stat : 79284 (Timer-0) S 79262 79265 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70329408 19521036288 45365 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
Current children cumulated CPU time: 4.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181460 KiB
[startup+6.30067 s]
/proc/loadavg: 4.33 4.24 4.17 6/328 79351
/proc/meminfo: memFree=123946956/131382116 swapFree=33009904/33010684
[pid=79265] ppid=79262 vsize=19063512 memory=299016 CPUtime=8.28 cores=5,7
/proc/79265/stat : 79265 (java) S 79262 79265 78032 0 -1 4194304 24698 0 0 0 810 18 0 0 20 0 20 0 70329351 19521036288 74754 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
/proc/79265/statm: 4765878 74754 5503 1 0 555403 0
[pid=79265/tid=79267] ppid=79262 vsize=19063512 memory=0 CPUtime=6.13 cores=5,7
/proc/79265/task/79267/stat : 79267 (java) R 79262 79265 78032 0 -1 4194368 6899 0 0 0 602 11 0 0 20 0 20 0 70329352 19521036288 74754 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79276] ppid=79262 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/79265/task/79276/stat : 79276 (Finalizer) S 79262 79265 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70329357 19521036288 74754 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79283] ppid=79262 vsize=19063512 memory=2321 CPUtime=0 cores=5,7
/proc/79265/task/79283/stat : 79283 (Common-Cleaner) S 79262 79265 78032 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 70329358 19521036288 74754 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79284] ppid=79262 vsize=19063512 memory=151324 CPUtime=0 cores=5,7
/proc/79265/task/79284/stat : 79284 (Timer-0) S 79262 79265 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70329408 19521036288 74754 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
Current children cumulated CPU time: 8.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 299016 KiB
[startup+12.7004 s]
/proc/loadavg: 4.54 4.29 4.19 5/330 79353
/proc/meminfo: memFree=123063004/131382116 swapFree=33009904/33010684
[pid=79265] ppid=79262 vsize=19063512 memory=1164112 CPUtime=17.63 cores=5,7
/proc/79265/stat : 79265 (java) S 79262 79265 78032 0 -1 4194304 34683 0 0 0 1724 39 0 0 20 0 20 0 70329351 19521036288 291028 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
/proc/79265/statm: 4765878 291028 5503 1 0 555638 0
[pid=79265/tid=79267] ppid=79262 vsize=19063512 memory=151324 CPUtime=12.51 cores=5,7
/proc/79265/task/79267/stat : 79267 (java) R 79262 79265 78032 0 -1 4194368 8730 0 0 0 1221 30 0 0 20 0 20 0 70329352 19521036288 291028 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79276] ppid=79262 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/79265/task/79276/stat : 79276 (Finalizer) S 79262 79265 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70329357 19521036288 291028 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79283] ppid=79262 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/79265/task/79283/stat : 79283 (Common-Cleaner) S 79262 79265 78032 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 70329358 19521036288 291028 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79284] ppid=79262 vsize=19063512 memory=1017936 CPUtime=0 cores=5,7
/proc/79265/task/79284/stat : 79284 (Timer-0) S 79262 79265 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70329408 19521036288 291028 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
Current children cumulated CPU time: 17.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1164112 KiB
[startup+25.5004 s]
/proc/loadavg: 4.56 4.30 4.19 5/330 79354
/proc/meminfo: memFree=122638204/131382116 swapFree=33009904/33010684
[pid=79265] ppid=79262 vsize=19063512 memory=1411804 CPUtime=32.33 cores=5,7
/proc/79265/stat : 79265 (java) S 79262 79265 78032 0 -1 4194304 45406 0 0 0 3185 48 0 0 20 0 20 0 70329351 19521036288 352951 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
/proc/79265/statm: 4765878 352951 5503 1 0 555654 0
[pid=79265/tid=79267] ppid=79262 vsize=19063512 memory=0 CPUtime=25.23 cores=5,7
/proc/79265/task/79267/stat : 79267 (java) R 79262 79265 78032 0 -1 4194368 10696 0 0 0 2487 36 0 0 20 0 20 0 70329352 19521036288 352951 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79276] ppid=79262 vsize=19063512 memory=1411548 CPUtime=0 cores=5,7
/proc/79265/task/79276/stat : 79276 (Finalizer) S 79262 79265 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70329357 19521036288 352951 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79283] ppid=79262 vsize=19063512 memory=1411548 CPUtime=0 cores=5,7
/proc/79265/task/79283/stat : 79283 (Common-Cleaner) S 79262 79265 78032 0 -1 4194368 74 0 0 0 0 0 0 0 20 0 20 0 70329358 19521036288 352951 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79284] ppid=79262 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/79265/task/79284/stat : 79284 (Timer-0) S 79262 79265 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70329408 19521036288 352951 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
Current children cumulated CPU time: 32.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1411804 KiB
[startup+51.1139 s]
/proc/loadavg: 4.50 4.31 4.20 5/330 79422
/proc/meminfo: memFree=126225448/131382116 swapFree=33009904/33010684
[pid=79265] ppid=79262 vsize=19063512 memory=1425216 CPUtime=60.42 cores=5,7
/proc/79265/stat : 79265 (java) S 79262 79265 78032 0 -1 4194304 46169 0 0 0 5988 54 0 0 20 0 20 0 70329351 19521036288 356304 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
/proc/79265/statm: 4765878 356304 5503 1 0 555702 0
[pid=79265/tid=79267] ppid=79262 vsize=19063512 memory=1420952 CPUtime=50.6 cores=5,7
/proc/79265/task/79267/stat : 79267 (java) R 79262 79265 78032 0 -1 4194368 10893 0 0 0 5021 39 0 0 20 0 20 0 70329352 19521036288 356304 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79276] ppid=79262 vsize=19063512 memory=1420952 CPUtime=0 cores=5,7
/proc/79265/task/79276/stat : 79276 (Finalizer) S 79262 79265 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70329357 19521036288 356304 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79283] ppid=79262 vsize=19063512 memory=1420824 CPUtime=0 cores=5,7
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.06 4.13 4.10 5/330 79597
/proc/meminfo: memFree=118019208/131382116 swapFree=33009904/33010684
[pid=79265] ppid=79262 vsize=19063512 memory=2619304 CPUtime=3231.78 cores=5,7
/proc/79265/stat : 79265 (java) S 79262 79265 78032 0 -1 4194304 148459 0 0 0 322752 426 0 0 20 0 20 0 70329351 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
/proc/79265/statm: 4765878 654826 5503 1 0 665206 0
[pid=79265/tid=79267] ppid=79262 vsize=19063512 memory=2619304 CPUtime=3151.17 cores=5,7
/proc/79265/task/79267/stat : 79267 (java) R 79262 79265 78032 0 -1 4194368 57033 0 0 0 314916 201 0 0 20 0 20 0 70329352 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79276] ppid=79262 vsize=19063512 memory=2619304 CPUtime=0 cores=5,7
/proc/79265/task/79276/stat : 79276 (Finalizer) S 79262 79265 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70329357 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79283] ppid=79262 vsize=19063512 memory=2619304 CPUtime=0 cores=5,7
/proc/79265/task/79283/stat : 79283 (Common-Cleaner) S 79262 79265 78032 0 -1 4194368 1418 0 0 0 0 0 0 0 20 0 20 0 70329358 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79284] ppid=79262 vsize=19063512 memory=2619304 CPUtime=0 cores=5,7
/proc/79265/task/79284/stat : 79284 (Timer-0) S 79262 79265 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70329408 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
Current children cumulated CPU time: 3231.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2619304 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/329 79599
/proc/meminfo: memFree=117923972/131382116 swapFree=33009904/33010684
[pid=79265] ppid=79262 vsize=19063512 memory=2619304 CPUtime=3293.82 cores=5,7
/proc/79265/stat : 79265 (java) S 79262 79265 78032 0 -1 4194304 151318 0 0 0 328949 433 0 0 20 0 20 0 70329351 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
/proc/79265/statm: 4765878 654826 5503 1 0 665206 0
[pid=79265/tid=79267] ppid=79262 vsize=19063512 memory=11264 CPUtime=3210.51 cores=5,7
/proc/79265/task/79267/stat : 79267 (java) R 79262 79265 78032 0 -1 4194368 58479 0 0 0 320846 205 0 0 20 0 20 0 70329352 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79276] ppid=79262 vsize=19063512 memory=2619304 CPUtime=0 cores=5,7
/proc/79265/task/79276/stat : 79276 (Finalizer) S 79262 79265 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70329357 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79283] ppid=79262 vsize=19063512 memory=56 CPUtime=0 cores=5,7
/proc/79265/task/79283/stat : 79283 (Common-Cleaner) S 79262 79265 78032 0 -1 4194368 1458 0 0 0 0 0 0 0 20 0 20 0 70329358 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79284] ppid=79262 vsize=19063512 memory=2619304 CPUtime=0 cores=5,7
/proc/79265/task/79284/stat : 79284 (Timer-0) S 79262 79265 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70329408 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
Current children cumulated CPU time: 3293.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2619304 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/329 79600
/proc/meminfo: memFree=117902016/131382116 swapFree=33009904/33010684
[pid=79265] ppid=79262 vsize=19063512 memory=2619304 CPUtime=3355.78 cores=5,7
/proc/79265/stat : 79265 (java) S 79262 79265 78032 0 -1 4194304 152520 0 0 0 335138 440 0 0 20 0 20 0 70329351 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
/proc/79265/statm: 4765878 654826 5503 1 0 665206 0
[pid=79265/tid=79267] ppid=79262 vsize=19063512 memory=2619304 CPUtime=3269.91 cores=5,7
/proc/79265/task/79267/stat : 79267 (java) R 79262 79265 78032 0 -1 4194368 58535 0 0 0 326782 209 0 0 20 0 20 0 70329352 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79276] ppid=79262 vsize=19063512 memory=5276 CPUtime=0 cores=5,7
/proc/79265/task/79276/stat : 79276 (Finalizer) S 79262 79265 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70329357 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79283] ppid=79262 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/79265/task/79283/stat : 79283 (Common-Cleaner) S 79262 79265 78032 0 -1 4194368 1458 0 0 0 0 0 0 0 20 0 20 0 70329358 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79284] ppid=79262 vsize=19063512 memory=18432 CPUtime=0 cores=5,7
/proc/79265/task/79284/stat : 79284 (Timer-0) S 79262 79265 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70329408 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
Current children cumulated CPU time: 3355.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2619304 KiB
[startup+3462.3 s]
/proc/loadavg: 4.24 4.16 4.11 5/330 79605
/proc/meminfo: memFree=117858156/131382116 swapFree=33009904/33010684
[pid=79265] ppid=79262 vsize=19063512 memory=2619304 CPUtime=3414.37 cores=5,7
/proc/79265/stat : 79265 (java) S 79262 79265 78032 0 -1 4194304 153275 0 0 0 340989 448 0 0 20 0 20 0 70329351 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
/proc/79265/statm: 4765878 654826 5503 1 0 665206 0
[pid=79265/tid=79267] ppid=79262 vsize=19063512 memory=2619304 CPUtime=3324.68 cores=5,7
/proc/79265/task/79267/stat : 79267 (java) R 79262 79265 78032 0 -1 4194368 59133 0 0 0 332255 213 0 0 20 0 20 0 70329352 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79276] ppid=79262 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/79265/task/79276/stat : 79276 (Finalizer) S 79262 79265 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70329357 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79283] ppid=79262 vsize=19063512 memory=18432 CPUtime=0 cores=5,7
/proc/79265/task/79283/stat : 79283 (Common-Cleaner) S 79262 79265 78032 0 -1 4194368 1458 0 0 0 0 0 0 0 20 0 20 0 70329358 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79284] ppid=79262 vsize=19063512 memory=18432 CPUtime=0 cores=5,7
/proc/79265/task/79284/stat : 79284 (Timer-0) S 79262 79265 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70329408 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
Current children cumulated CPU time: 3414.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2619304 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/331 79608
/proc/meminfo: memFree=117822328/131382116 swapFree=33009904/33010684
[pid=79265] ppid=79262 vsize=19063512 memory=2619304 CPUtime=3476.4 cores=5,7
/proc/79265/stat : 79265 (java) S 79262 79265 78032 0 -1 4194304 157148 0 0 0 347185 455 0 0 20 0 20 0 70329351 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
/proc/79265/statm: 4765878 654826 5503 1 0 665206 0
[pid=79265/tid=79267] ppid=79262 vsize=19063512 memory=2619304 CPUtime=3383.72 cores=5,7
/proc/79265/task/79267/stat : 79267 (java) R 79262 79265 78032 0 -1 4194368 60773 0 0 0 338156 216 0 0 20 0 20 0 70329352 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79276] ppid=79262 vsize=19063512 memory=5276 CPUtime=0 cores=5,7
/proc/79265/task/79276/stat : 79276 (Finalizer) S 79262 79265 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70329357 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79283] ppid=79262 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/79265/task/79283/stat : 79283 (Common-Cleaner) S 79262 79265 78032 0 -1 4194368 1511 0 0 0 0 0 0 0 20 0 20 0 70329358 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79284] ppid=79262 vsize=19063512 memory=2619304 CPUtime=0 cores=5,7
/proc/79265/task/79284/stat : 79284 (Timer-0) S 79262 79265 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70329408 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
Current children cumulated CPU time: 3476.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2619304 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/330 79610
/proc/meminfo: memFree=117710608/131382116 swapFree=33009904/33010684
[pid=79265] ppid=79262 vsize=19063512 memory=2619304 CPUtime=3540.39 cores=5,7
/proc/79265/stat : 79265 (java) S 79262 79265 78032 0 -1 4194304 160346 0 0 0 353576 463 0 0 20 0 20 0 70329351 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
/proc/79265/statm: 4765878 654826 5503 1 0 665206 0
[pid=79265/tid=79267] ppid=79262 vsize=19063512 memory=0 CPUtime=3442.85 cores=5,7
/proc/79265/task/79267/stat : 79267 (java) R 79262 79265 78032 0 -1 4194368 62078 0 0 0 344066 219 0 0 20 0 20 0 70329352 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79276] ppid=79262 vsize=19063512 memory=2619304 CPUtime=0 cores=5,7
/proc/79265/task/79276/stat : 79276 (Finalizer) S 79262 79265 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70329357 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79283] ppid=79262 vsize=19063512 memory=2619304 CPUtime=0 cores=5,7
/proc/79265/task/79283/stat : 79283 (Common-Cleaner) S 79262 79265 78032 0 -1 4194368 1563 0 0 0 0 0 0 0 20 0 20 0 70329358 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79284] ppid=79262 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/79265/task/79284/stat : 79284 (Timer-0) S 79262 79265 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70329408 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
Current children cumulated CPU time: 3540.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2619304 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3640.11 s]
/proc/loadavg: 3.69 4.03 4.07 3/280 79684
/proc/meminfo: memFree=122648572/131382116 swapFree=33009904/33010684
[pid=79265] ppid=79262 vsize=19063512 memory=2619304 CPUtime=3600.03 cores=5,7
/proc/79265/stat : 79265 (java) S 79262 79265 78032 0 -1 4194304 160456 0 0 0 359532 471 0 0 20 0 20 0 70329351 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
/proc/79265/statm: 4765878 654826 5503 1 0 665206 0
[pid=79265/tid=79267] ppid=79262 vsize=19063512 memory=2619304 CPUtime=3499.82 cores=5,7
/proc/79265/task/79267/stat : 79267 (java) R 79262 79265 78032 0 -1 4194368 62120 0 0 0 349760 222 0 0 20 0 20 0 70329352 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79276] ppid=79262 vsize=19063512 memory=2619304 CPUtime=0 cores=5,7
/proc/79265/task/79276/stat : 79276 (Finalizer) S 79262 79265 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70329357 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79283] ppid=79262 vsize=19063512 memory=2619304 CPUtime=0 cores=5,7
/proc/79265/task/79283/stat : 79283 (Common-Cleaner) S 79262 79265 78032 0 -1 4194368 1563 0 0 0 0 0 0 0 20 0 20 0 70329358 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79284] ppid=79262 vsize=19063512 memory=2619304 CPUtime=0 cores=5,7
/proc/79265/task/79284/stat : 79284 (Timer-0) S 79262 79265 78032 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70329408 19521036288 654826 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2619304 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3640.27 s]
# the end of solver process 79265 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.61 s, system=4.72679 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3640.2 s]
/proc/loadavg: 3.69 4.03 4.07 3/280 79684
/proc/meminfo: memFree=122648572/131382116 swapFree=33009904/33010684
[pid=79265] ppid=79262 vsize=19263204 memory=2619944 CPUtime=3600.21 cores=5,7
/proc/79265/stat : 79265 (java) S 79262 79265 78032 0 -1 4194304 161712 0 0 0 359550 471 0 0 20 0 21 0 70329351 19725520896 654986 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
/proc/79265/statm: 4815801 654986 5503 1 0 666125 0
[pid=79265/tid=79267] ppid=79262 vsize=19263204 memory=2884 CPUtime=3499.91 cores=5,7
/proc/79265/task/79267/stat : 79267 (java) R 79262 79265 78032 0 -1 4194368 62120 0 0 0 349769 222 0 0 20 0 21 0 70329352 19725520896 654986 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79276] ppid=79262 vsize=19263204 memory=21648 CPUtime=0 cores=5,7
/proc/79265/task/79276/stat : 79276 (Finalizer) S 79262 79265 78032 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70329357 19725520896 654986 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
[pid=79265/tid=79283] ppid=79262 vsize=19263204 memory=3200 CPUtime=0 cores=5,7
/proc/79265/task/79283/stat : 79283 (Common-Cleaner) S 79262 79265 78032 0 -1 4194368 1563 0 0 0 0 0 0 0 20 0 21 0 70329358 19725520896 654986 18446744073709551615 93935517503488 93935517507184 140726264490816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93935517515000 93935517515792 93935531020288 140726264494381 140726264494566 140726264494566 140726264500168 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2619944 KiB
Child status: 143
Real time (s): 3640.27
CPU time (s): 3600.34
CPU user time (s): 3595.61
CPU system time (s): 4.72679
CPU usage (%): 98.9029
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2620684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.61
system time used= 4.72679
maximum resident set size= 2620684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161914
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1949080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 122910
involuntary context switches= 22241
# summary of solver processes directly reported to runsolver:
# pid: 79265
# total CPU time (s): 3600.34
# total CPU user time (s): 3595.61
# total CPU system time (s): 4.72679
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3866 second user time and 36.7477 second system time
The end
Begin job on nodeC004 at 2025-07-03 14:41:42 IDJOB=4518003 IDBENCH=176273 IDSOLVER=3362 FILE ID=nodeC004/4518003-1751546502 RUNJOBID= nodeC004-1751542805-78681 SLURM_JOB_ID= 9598694 Free space on /tmp= 431676 MiB SOLVER NAME= Sat4j CP VeriPB 2025-06-06 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/normalized-knapPI_3_200_10000_5_-93992.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518003-1751546502/watcher-4518003-1751546502 -o /tmp/evaluation-result-4518003-1751546502/solver-4518003-1751546502 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751542805-78681 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4518003-1751546502 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4518003-1751546502.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= cd82cadc3025252f43f8d787a9347bc3 RANDOM SEED=345801056 nodeC004 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1795.837 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 2394.456 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.284 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3492.312 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3492.191 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.208 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.060 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.950 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 119253760 kB MemAvailable: 120860332 kB Buffers: 2128 kB Cached: 2356672 kB SwapCached: 32 kB Active: 9685196 kB Inactive: 1762576 kB Active(anon): 9096244 kB Inactive(anon): 10748 kB Active(file): 588952 kB Inactive(file): 1751828 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 4144 kB Writeback: 0 kB AnonPages: 9091656 kB Mapped: 123708 kB Shmem: 17932 kB KReclaimable: 210840 kB Slab: 297808 kB SReclaimable: 210840 kB SUnreclaim: 86968 kB KernelStack: 5024 kB PageTables: 21500 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 11709888 kB VmallocTotal: 34359738367 kB VmallocUsed: 150424 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 8855552 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: 197448 kB DirectMap2M: 10190848 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 431676 MiB End job on nodeC004 at 2025-07-03 15:42:22