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) | 62 | 3600.34 | 3525.06 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_051.opb |
| MD5SUM | 203a71e4765d41abd7101b66eed46923 |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.064254 |
| 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 | 204 |
| Total number of constraints | 51 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 51 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 7 |
| Maximum length of a constraint | 7 |
| Number of terms in the objective function | 51 |
| Biggest coefficient in the objective function | 51 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 1326 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 51 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1326 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.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.14 Listener: none 0.14/0.14 --- End Solver configuration --- 0.14/0.14 c Pseudo Boolean Optimization by upper bound 0.14/0.14 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.14/0.14 c - never skip resolution steps 0.14/0.14 c - Auto-division on coefficients is disabled 0.14/0.14 c - No postprocessing 0.14/0.14 c - Conflict is considered as is when resolving 0.14/0.14 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.14/0.14 c - Weaken first using unassigned literals 0.14/0.14 c - Bump strategy: ALWAYS_ONE 0.14/0.14 c - Bumper: ASSIGNED 0.14/0.14 c --- Begin Solver configuration --- 0.14/0.14 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.14/0.14 c Learn all clauses as in MiniSAT 0.14/0.14 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.14 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.14/0.14 c No reason simplification 0.14/0.14 c Armin Biere (Picosat) restarts strategy 0.14/0.14 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.14/0.14 c timeout=2147483s 0.14/0.14 c DB Simplification allowed=false 0.14/0.14 c Listener: none 0.14/0.14 c --- End Solver configuration --- 0.14/0.14 c solving HOME/instance-4457857-1721868673.opb 0.14/0.14 c reading problem ... 0.14/0.15 c objective function found 0.14/0.16 c ... done. Wall clock time 0.015s. 0.14/0.16 c declared #vars 204 0.14/0.16 c #constraints 102 0.14/0.16 c constraints type 0.14/0.16 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 102 0.14/0.16 c 102 constraints processed. 0.14/0.17 c objective function length is 51 literals 0.35/0.27 c SATISFIABLE 0.35/0.28 c OPTIMIZING... 0.35/0.28 c Got one! Elapsed wall clock time (in seconds):0.13 0.35/0.28 o 620 0.52/0.34 c Got one! Elapsed wall clock time (in seconds):0.2 0.52/0.34 o 594 0.70/0.44 c Got one! Elapsed wall clock time (in seconds):0.294 0.70/0.44 o 556 0.70/0.49 c Got one! Elapsed wall clock time (in seconds):0.344 0.70/0.50 o 555 0.88/0.57 c Got one! Elapsed wall clock time (in seconds):0.421 0.88/0.57 o 548 1.06/0.67 c Got one! Elapsed wall clock time (in seconds):0.527 1.06/0.68 o 546 1.26/0.73 c Got one! Elapsed wall clock time (in seconds):0.581 1.26/0.73 o 543 1.46/0.81 c Got one! Elapsed wall clock time (in seconds):0.668 1.46/0.81 o 536 1.65/0.92 c Got one! Elapsed wall clock time (in seconds):0.774 1.65/0.92 o 531 2.04/1.13 c Got one! Elapsed wall clock time (in seconds):0.983 2.04/1.14 o 523 2.23/1.21 c Got one! Elapsed wall clock time (in seconds):1.062 2.23/1.21 o 520 2.43/1.32 c Got one! Elapsed wall clock time (in seconds):1.18 2.43/1.32 o 515 2.63/1.46 c Got one! Elapsed wall clock time (in seconds):1.315 2.63/1.46 o 514 3.01/1.69 c Got one! Elapsed wall clock time (in seconds):1.546 3.01/1.69 o 509 4.02/2.15 c Got one! Elapsed wall clock time (in seconds):2.012 4.02/2.15 o 505 4.15/2.30 c Got one! Elapsed wall clock time (in seconds):2.155 4.15/2.30 o 497 4.72/2.50 c Got one! Elapsed wall clock time (in seconds):2.357 4.72/2.50 o 484 5.05/2.85 c Got one! Elapsed wall clock time (in seconds):2.706 5.05/2.85 o 483 5.73/3.34 c Got one! Elapsed wall clock time (in seconds):3.201 5.73/3.34 o 473 6.24/3.88 c Got one! Elapsed wall clock time (in seconds):3.736 6.24/3.88 o 469 7.06/4.56 c Got one! Elapsed wall clock time (in seconds):4.419 7.06/4.56 o 468 7.27/4.72 c Got one! Elapsed wall clock time (in seconds):4.577 7.27/4.72 o 459 7.47/4.90 c Got one! Elapsed wall clock time (in seconds):4.761 7.47/4.90 o 457 7.68/5.18 c Got one! Elapsed wall clock time (in seconds):5.037 7.68/5.18 o 456 8.20/5.69 c Got one! Elapsed wall clock time (in seconds):5.548 8.20/5.69 o 454 9.02/6.42 c Got one! Elapsed wall clock time (in seconds):6.273 9.02/6.42 o 448 10.24/7.68 c Got one! Elapsed wall clock time (in seconds):7.535 10.24/7.68 o 447 12.32/9.66 c Got one! Elapsed wall clock time (in seconds):9.515 12.32/9.66 o 417 12.73/10.08 c Got one! Elapsed wall clock time (in seconds):9.942 12.73/10.08 o 410 13.42/10.72 c Got one! Elapsed wall clock time (in seconds):10.577 13.42/10.72 o 390 14.78/12.03 c Got one! Elapsed wall clock time (in seconds):11.883 14.78/12.03 o 389 16.57/13.82 c Got one! Elapsed wall clock time (in seconds):13.677 16.57/13.82 o 387 20.25/17.46 c Got one! Elapsed wall clock time (in seconds):17.317 20.25/17.46 o 384 20.76/17.92 c Got one! Elapsed wall clock time (in seconds):17.774 20.76/17.92 o 382 21.36/18.53 c Got one! Elapsed wall clock time (in seconds):18.384 21.36/18.53 o 376 22.30/19.41 c Got one! Elapsed wall clock time (in seconds):19.269 22.30/19.41 o 371 23.51/20.63 c Got one! Elapsed wall clock time (in seconds):20.487 23.51/20.63 o 370 25.35/22.48 c Got one! Elapsed wall clock time (in seconds):22.341 25.35/22.48 o 369 28.00/25.08 c Got one! Elapsed wall clock time (in seconds):24.938 28.00/25.08 o 364 32.60/29.53 c cleaning 8633 clauses out of 17274 with flag 0/17274 32.93/29.88 c Got one! Elapsed wall clock time (in seconds):29.734 32.93/29.88 o 361 35.47/32.34 c Got one! Elapsed wall clock time (in seconds):32.198 35.47/32.34 o 360 35.67/32.54 c Got one! Elapsed wall clock time (in seconds):32.395 35.67/32.54 o 357 35.97/32.88 c Got one! Elapsed wall clock time (in seconds):32.735 35.97/32.88 o 356 36.67/33.55 c Got one! Elapsed wall clock time (in seconds):33.404 36.67/33.55 o 347 37.69/34.57 c Got one! Elapsed wall clock time (in seconds):34.432 37.69/34.57 o 344 38.89/35.79 c Got one! Elapsed wall clock time (in seconds):35.647 38.89/35.79 o 339 41.32/38.12 c Got one! Elapsed wall clock time (in seconds):37.975 41.32/38.12 o 338 45.21/41.95 c Got one! Elapsed wall clock time (in seconds):41.81 45.21/41.95 o 335 47.84/44.45 c cleaning 9126 clauses out of 18255 with flag 0/26888 48.27/44.84 c Got one! Elapsed wall clock time (in seconds):44.696 48.27/44.84 o 322 51.77/48.33 c Got one! Elapsed wall clock time (in seconds):48.183 51.77/48.33 o 314 51.98/48.54 c Got one! Elapsed wall clock time (in seconds):48.395 51.98/48.54 o 311 52.28/48.88 c Got one! Elapsed wall clock time (in seconds):48.742 52.28/48.88 o 310 53.08/49.67 c Got one! Elapsed wall clock time (in seconds):49.525 53.08/49.67 o 303 54.28/50.84 c Got one! Elapsed wall clock time (in seconds):50.695 54.28/50.84 o 299 56.20/52.78 c cleaning 8531 clauses out of 17353 with flag 0/35112 56.30/52.82 c Got one! Elapsed wall clock time (in seconds):52.68 56.30/52.82 o 298 57.10/53.64 c Got one! Elapsed wall clock time (in seconds):53.496 57.10/53.64 o 297 60.14/56.60 c cleaning 4783 clauses out of 14670 with flag 0/40960 60.47/56.91 c Got one! Elapsed wall clock time (in seconds):56.768 60.47/56.91 o 293 61.10/57.58 c Got one! Elapsed wall clock time (in seconds):57.439 61.10/57.58 o 292 64.26/60.66 c cleaning 4147 clauses out of 15294 with flag 0/46367 65.39/61.74 c Got one! Elapsed wall clock time (in seconds):61.599 65.39/61.74 o 291 65.49/61.86 c Got one! Elapsed wall clock time (in seconds):61.721 65.49/61.86 o 290 65.79/62.16 c Got one! Elapsed wall clock time (in seconds):62.021 65.79/62.16 o 273 66.39/62.76 c Got one! Elapsed wall clock time (in seconds):62.62 66.39/62.76 o 271 67.32/63.63 c Got one! Elapsed wall clock time (in seconds):63.489 67.32/63.63 o 270 68.82/65.12 c Got one! Elapsed wall clock time (in seconds):64.974 68.82/65.12 o 268 70.86/67.13 c cleaning 4746 clauses out of 19138 with flag 0/54358 71.70/67.95 c Got one! Elapsed wall clock time (in seconds):67.805 71.70/67.95 o 247 73.62/69.89 c cleaning 3348 clauses out of 19665 with flag 0/59631 73.92/70.14 c Got one! Elapsed wall clock time (in seconds):69.995 73.92/70.14 o 241 77.40/73.59 c cleaning 4249 clauses out of 22161 with flag 0/65475 77.70/73.88 c Got one! Elapsed wall clock time (in seconds):73.736 77.70/73.88 o 239 82.89/78.93 c cleaning 4835 clauses out of 23690 with flag 0/71253 85.45/81.40 c Got one! Elapsed wall clock time (in seconds):81.258 85.45/81.40 o 238 86.06/82.06 c Got one! Elapsed wall clock time (in seconds):81.922 86.06/82.06 o 209 87.42/83.37 c cleaning 3493 clauses out of 24813 with flag 0/77211 87.52/83.46 c Got one! Elapsed wall clock time (in seconds):83.315 87.52/83.46 o 206 88.02/83.91 c Got one! Elapsed wall clock time (in seconds):83.767 88.02/83.91 o 205 89.88/85.71 c Got one! Elapsed wall clock time (in seconds):85.568 89.88/85.71 o 204 93.45/89.20 c Got one! Elapsed wall clock time (in seconds):89.061 93.45/89.20 o 202 98.28/93.99 c cleaning 6596 clauses out of 28494 with flag 0/84385 99.04/94.60 c Got one! Elapsed wall clock time (in seconds):94.459 99.04/94.60 o 196 101.80/97.31 c cleaning 3014 clauses out of 27743 with flag 0/90230 102.76/98.27 c Got one! Elapsed wall clock time (in seconds):98.128 102.76/98.27 o 195 105.72/101.15 c cleaning 3502 clauses out of 30495 with flag 0/95996 110.33/105.67 c Got one! Elapsed wall clock time (in seconds):105.53 110.33/105.67 o 194 112.02/107.37 c cleaning 4560 clauses out of 32647 with flag 0/101650 121.79/116.88 c cleaning 4815 clauses out of 34088 with flag 0/107651 126.93/121.82 c Got one! Elapsed wall clock time (in seconds):121.681 126.93/121.82 o 190 127.23/122.14 c Got one! Elapsed wall clock time (in seconds):121.998 127.23/122.14 o 188 127.53/122.47 c Got one! Elapsed wall clock time (in seconds):122.329 127.53/122.47 o 187 128.03/122.99 c Got one! Elapsed wall clock time (in seconds):122.85 128.03/122.99 o 184 129.00/123.80 c Got one! Elapsed wall clock time (in seconds):123.662 129.00/123.80 o 183 129.70/124.51 c Got one! Elapsed wall clock time (in seconds):124.365 129.70/124.51 o 182 132.07/126.81 c Got one! Elapsed wall clock time (in seconds):126.671 132.07/126.81 o 180 135.65/130.31 c Got one! Elapsed wall clock time (in seconds):130.168 135.65/130.31 o 178 142.68/137.21 c Got one! Elapsed wall clock time (in seconds):137.068 142.68/137.21 o 177 145.96/140.49 c cleaning 8869 clauses out of 43755 with flag 0/122133 149.53/143.95 c Got one! Elapsed wall clock time (in seconds):143.808 149.53/143.95 o 175 155.36/149.61 c cleaning 4591 clauses out of 40713 with flag 0/127960 160.37/154.58 c cleaning 3459 clauses out of 42122 with flag 0/133960 162.83/156.97 c Got one! Elapsed wall clock time (in seconds):156.824 162.83/156.97 o 174 173.20/167.14 c cleaning 6396 clauses out of 49079 with flag 0/144376 179.18/172.98 c cleaning 3870 clauses out of 48687 with flag 0/150380 180.38/174.12 c Got one! Elapsed wall clock time (in seconds):173.975 180.38/174.12 o 173 185.09/178.72 c cleaning 4484 clauses out of 50805 with flag 0/156368 190.22/183.79 c cleaning 3960 clauses out of 52322 with flag 0/162369 203.04/196.34 c cleaning 5538 clauses out of 55362 with flag 0/169369 206.00/199.14 c Got one! Elapsed wall clock time (in seconds):198.995 206.00/199.14 o 172 206.39/199.52 c Got one! Elapsed wall clock time (in seconds):199.381 206.39/199.52 o 170 207.09/200.21 c Got one! Elapsed wall clock time (in seconds):200.066 207.09/200.21 o 169 207.89/201.01 c Got one! Elapsed wall clock time (in seconds):200.864 207.89/201.01 o 168 209.76/202.80 c Got one! Elapsed wall clock time (in seconds):202.657 209.76/202.80 o 167 212.05/205.09 c Got one! Elapsed wall clock time (in seconds):204.952 212.05/205.09 o 166 214.14/207.16 c cleaning 4093 clauses out of 56487 with flag 0/176032 216.61/209.58 c Got one! Elapsed wall clock time (in seconds):209.441 216.61/209.58 o 161 221.97/214.71 c cleaning 4386 clauses out of 57706 with flag 0/181344 225.01/217.75 c Got one! Elapsed wall clock time (in seconds):217.61 225.01/217.75 o 158 235.76/228.37 c cleaning 4687 clauses out of 59125 with flag 0/187149 237.71/230.30 c Got one! Elapsed wall clock time (in seconds):230.153 237.71/230.30 o 156 245.38/237.89 c cleaning 3976 clauses out of 60205 with flag 0/192916 250.28/242.62 c Got one! Elapsed wall clock time (in seconds):242.476 250.28/242.62 o 152 266.79/258.86 c cleaning 6603 clauses out of 66584 with flag 0/203271 276.69/268.70 c cleaning 3188 clauses out of 65981 with flag 0/209271 278.14/270.10 c Got one! Elapsed wall clock time (in seconds):269.956 278.14/270.10 o 150 284.33/276.17 c cleaning 3384 clauses out of 68076 with flag 0/214554 295.60/287.26 c cleaning 4292 clauses out of 70692 with flag 0/220554 304.84/296.38 c cleaning 5917 clauses out of 73401 with flag 0/227555 309.73/301.16 c Got one! Elapsed wall clock time (in seconds):301.016 309.73/301.16 o 148 317.12/308.41 c cleaning 3337 clauses out of 72935 with flag 0/233006 327.30/318.45 c cleaning 4101 clauses out of 75598 with flag 0/239006 335.26/326.26 c cleaning 1925 clauses out of 78496 with flag 0/246005 349.42/340.12 c cleaning 3227 clauses out of 84572 with flag 0/254006 358.17/348.71 c Got one! Elapsed wall clock time (in seconds):348.572 358.17/348.72 o 146 358.49/349.03 c Got one! Elapsed wall clock time (in seconds):348.884 358.49/349.03 o 145 359.08/349.61 c Got one! Elapsed wall clock time (in seconds):349.468 359.08/349.61 o 144 359.68/350.24 c Got one! Elapsed wall clock time (in seconds):350.094 359.68/350.24 o 142 360.59/351.13 c Got one! Elapsed wall clock time (in seconds):350.992 360.59/351.13 o 140 362.12/352.67 c Got one! Elapsed wall clock time (in seconds):352.528 362.12/352.67 o 138 364.02/354.53 c Got one! Elapsed wall clock time (in seconds):354.39 364.02/354.53 o 137 368.31/358.75 c Got one! Elapsed wall clock time (in seconds):358.603 368.31/358.75 o 136 380.23/370.54 c Got one! Elapsed wall clock time (in seconds):370.401 380.23/370.54 o 135 385.15/375.50 c cleaning 7625 clauses out of 95030 with flag 0/267691 391.28/381.50 c Got one! Elapsed wall clock time (in seconds):381.356 391.28/381.50 o 132 403.03/393.18 c cleaning 3784 clauses out of 93252 with flag 0/273538 406.07/396.12 c Got one! Elapsed wall clock time (in seconds):395.981 406.07/396.12 o 130 410.77/400.70 c cleaning 3483 clauses out of 95295 with flag 0/279365 425.16/414.95 c cleaning 5116 clauses out of 97811 with flag 0/285364 437.02/426.65 c cleaning 5324 clauses out of 99695 with flag 0/292364 443.98/433.48 c cleaning 6079 clauses out of 102371 with flag 0/300364 462.65/451.72 c cleaning 7944 clauses out of 105293 with flag 0/309365 474.43/463.19 c cleaning 7667 clauses out of 107348 with flag 0/319364 487.57/475.90 c cleaning 8578 clauses out of 110681 with flag 0/330364 514.19/502.06 c cleaning 10168 clauses out of 114106 with flag 0/342367 517.86/505.68 c Got one! Elapsed wall clock time (in seconds):505.541 517.86/505.68 o 128 520.34/508.04 c cleaning 3178 clauses out of 109156 with flag 0/347585 535.26/522.66 c cleaning 5621 clauses out of 111979 with flag 0/353586 559.94/546.89 c cleaning 5166 clauses out of 113357 with flag 0/360585 581.55/568.12 c cleaning 4773 clauses out of 116191 with flag 0/368585 600.77/587.17 c cleaning 6081 clauses out of 120418 with flag 0/377585 623.19/609.31 c cleaning 8474 clauses out of 124337 with flag 0/387585 628.52/614.67 c Got one! Elapsed wall clock time (in seconds):614.526 628.52/614.67 o 127 629.12/615.29 c Got one! Elapsed wall clock time (in seconds):615.146 629.12/615.29 o 126 629.99/616.06 c Got one! Elapsed wall clock time (in seconds):615.918 629.99/616.06 o 123 636.15/622.14 c cleaning 5347 clauses out of 121908 with flag 0/393630 641.05/626.99 c Got one! Elapsed wall clock time (in seconds):626.845 641.05/626.99 o 120 644.41/630.26 c cleaning 4604 clauses out of 121801 with flag 0/398870 659.92/645.58 c cleaning 5824 clauses out of 123195 with flag 0/404868 672.23/657.68 c cleaning 6144 clauses out of 124371 with flag 0/411868 677.89/663.13 c Got one! Elapsed wall clock time (in seconds):662.987 677.89/663.13 o 118 680.87/666.06 c cleaning 3855 clauses out of 123491 with flag 0/417132 697.04/681.80 c cleaning 3023 clauses out of 125637 with flag 0/423133 738.18/722.70 c Got one! Elapsed wall clock time (in seconds):722.561 738.18/722.70 o 113 781.09/765.59 c cleaning 10000 clauses out of 133772 with flag 0/434291 795.99/780.39 c cleaning 5494 clauses out of 129772 with flag 0/440291 812.29/796.41 c cleaning 6534 clauses out of 131278 with flag 0/447291 814.23/798.34 c Got one! Elapsed wall clock time (in seconds):798.202 814.23/798.34 o 112 827.92/811.89 c cleaning 3605 clauses out of 130022 with flag 0/452569 846.40/830.15 c cleaning 5405 clauses out of 132418 with flag 0/458570 871.44/854.98 c cleaning 6771 clauses out of 134012 with flag 0/465569 898.73/881.80 c cleaning 7570 clauses out of 135241 with flag 0/473569 917.49/900.24 c cleaning 6506 clauses out of 136671 with flag 0/482569 937.25/919.78 c cleaning 6448 clauses out of 140165 with flag 0/492569 962.46/943.84 c cleaning 8559 clauses out of 144717 with flag 0/503569 984.33/965.43 c cleaning 7281 clauses out of 148158 with flag 0/515569 992.73/973.70 c Got one! Elapsed wall clock time (in seconds):973.553 992.73/973.70 o 109 1004.00/984.88 c cleaning 7635 clauses out of 151861 with flag 0/526553 1025.22/1005.79 c cleaning 4939 clauses out of 150225 with flag 0/532552 1055.15/1035.27 c cleaning 5674 clauses out of 152288 with flag 0/539554 1082.43/1062.22 c cleaning 7890 clauses out of 154614 with flag 0/547554 1100.92/1080.37 c cleaning 6403 clauses out of 155722 with flag 0/556552 1119.31/1098.42 c cleaning 8695 clauses out of 159319 with flag 0/566552 1147.57/1126.05 c cleaning 10154 clauses out of 161625 with flag 0/577553 1173.77/1151.61 c Got one! Elapsed wall clock time (in seconds):1151.47 1173.77/1151.61 o 105 1181.47/1159.18 c Got one! Elapsed wall clock time (in seconds):1159.038 1181.47/1159.18 o 104 1188.49/1166.19 c Got one! Elapsed wall clock time (in seconds):1166.047 1188.49/1166.19 o 101 1201.65/1179.02 c cleaning 13604 clauses out of 167374 with flag 0/593456 1203.70/1180.97 c Got one! Elapsed wall clock time (in seconds):1180.829 1203.70/1180.97 o 100 1211.78/1188.88 c Got one! Elapsed wall clock time (in seconds):1188.734 1211.78/1188.88 o 99 1216.77/1193.77 c cleaning 5539 clauses out of 159888 with flag 0/599574 1225.62/1202.33 c Got one! Elapsed wall clock time (in seconds):1202.185 1225.62/1202.33 o 98 1229.91/1206.53 c cleaning 4065 clauses out of 160118 with flag 0/605343 1260.80/1236.90 c cleaning 5573 clauses out of 162053 with flag 0/611343 1276.33/1252.27 c cleaning 6541 clauses out of 163480 with flag 0/618343 1288.63/1264.35 c Got one! Elapsed wall clock time (in seconds):1264.211 1288.63/1264.35 o 95 1314.02/1289.11 c cleaning 12311 clauses out of 169569 with flag 0/630973 1338.02/1312.57 c cleaning 5575 clauses out of 163257 with flag 0/636972 1362.97/1337.03 c cleaning 6563 clauses out of 164682 with flag 0/643972 1371.44/1345.45 c Got one! Elapsed wall clock time (in seconds):1345.304 1371.44/1345.45 o 92 1387.20/1360.96 c cleaning 5411 clauses out of 163772 with flag 0/649625 1405.94/1379.36 c cleaning 5123 clauses out of 164360 with flag 0/655624 1418.84/1392.09 c cleaning 3668 clauses out of 166237 with flag 0/662624 1448.88/1421.63 c cleaning 7472 clauses out of 170569 with flag 0/670624 1469.91/1442.41 c cleaning 8352 clauses out of 172097 with flag 0/679624 1474.45/1446.86 c Got one! Elapsed wall clock time (in seconds):1446.722 1474.45/1446.86 o 90 1493.75/1465.79 c cleaning 7639 clauses out of 174412 with flag 0/690291 1514.45/1486.01 c cleaning 5236 clauses out of 172773 with flag 0/696291 1530.90/1502.14 c cleaning 6625 clauses out of 174537 with flag 0/703291 1550.31/1521.05 c cleaning 7029 clauses out of 175912 with flag 0/711291 1567.22/1537.59 c Got one! Elapsed wall clock time (in seconds):1537.445 1567.22/1537.59 o 89 1588.97/1558.76 c cleaning 10511 clauses out of 181005 with flag 0/723413 1603.80/1573.21 c cleaning 4246 clauses out of 176494 with flag 0/729413 1631.30/1600.17 c cleaning 6623 clauses out of 179248 with flag 0/736413 1656.86/1625.25 c cleaning 7382 clauses out of 180627 with flag 0/744415 1698.14/1666.05 c cleaning 7193 clauses out of 182243 with flag 0/753413 1724.79/1692.33 c cleaning 9424 clauses out of 185050 with flag 0/763413 1766.98/1734.18 c cleaning 9156 clauses out of 186627 with flag 0/774414 1820.63/1786.98 c cleaning 11097 clauses out of 189470 with flag 0/786413 1848.60/1814.21 c cleaning 11897 clauses out of 191373 with flag 0/799413 1892.75/1856.68 c cleaning 13206 clauses out of 193476 with flag 0/813413 1934.82/1898.21 c cleaning 14250 clauses out of 195271 with flag 0/828414 1998.56/1960.84 c cleaning 15265 clauses out of 197020 with flag 0/844413 2041.77/2003.26 c cleaning 16171 clauses out of 198756 with flag 0/861414 2107.32/2067.74 c cleaning 16362 clauses out of 200584 with flag 0/879413 2111.98/2072.27 c Got one! Elapsed wall clock time (in seconds):2072.124 2111.98/2072.27 o 87 2112.98/2073.24 c Got one! Elapsed wall clock time (in seconds):2073.096 2112.98/2073.24 o 85 2115.25/2075.36 c Got one! Elapsed wall clock time (in seconds):2075.221 2115.25/2075.36 o 82 2116.85/2076.92 c Got one! Elapsed wall clock time (in seconds):2076.773 2116.85/2076.92 o 81 2122.77/2082.79 c cleaning 5707 clauses out of 190251 with flag 0/885442 2123.98/2083.83 c Got one! Elapsed wall clock time (in seconds):2083.689 2123.98/2083.83 o 73 2129.02/2088.70 c Got one! Elapsed wall clock time (in seconds):2088.56 2129.02/2088.70 o 72 2143.57/2102.92 c Got one! Elapsed wall clock time (in seconds):2102.776 2143.57/2102.92 o 71 2156.85/2115.82 c cleaning 6322 clauses out of 191220 with flag 0/892118 2163.44/2122.22 c Got one! Elapsed wall clock time (in seconds):2122.083 2163.44/2122.23 o 69 2187.14/2145.47 c cleaning 5024 clauses out of 190743 with flag 0/897963 2194.56/2152.77 c Got one! Elapsed wall clock time (in seconds):2152.626 2194.56/2152.77 o 68 2218.68/2176.53 c cleaning 4782 clauses out of 191485 with flag 0/903729 2244.16/2201.66 c Got one! Elapsed wall clock time (in seconds):2201.514 2244.16/2201.66 o 67 2250.81/2208.10 c cleaning 3479 clauses out of 192354 with flag 0/909380 2267.17/2224.23 c cleaning 2607 clauses out of 194874 with flag 0/915379 2308.71/2265.04 c cleaning 4146 clauses out of 199267 with flag 0/922379 2315.33/2271.58 c cleaning 1351 clauses out of 203121 with flag 0/930379 2336.82/2292.59 c cleaning 6556 clauses out of 210770 with flag 0/939379 2344.21/2299.86 c cleaning 3588 clauses out of 214214 with flag 0/949379 2345.09/2300.66 c Got one! Elapsed wall clock time (in seconds):2300.521 2345.09/2300.66 o 65 2371.65/2326.60 c cleaning 2942 clauses out of 215890 with flag 0/954643 2394.43/2349.00 c cleaning 5945 clauses out of 218948 with flag 0/960643 2411.33/2365.45 c cleaning 1774 clauses out of 220002 with flag 0/967642 2428.93/2382.72 c cleaning 6368 clauses out of 226228 with flag 0/975642 2441.67/2395.14 c cleaning 5827 clauses out of 228861 with flag 0/984643 2456.08/2409.11 c cleaning 9390 clauses out of 233033 with flag 0/994642 2467.70/2420.32 c cleaning 3855 clauses out of 234643 with flag 0/1005642 2488.11/2440.17 c cleaning 5555 clauses out of 242788 with flag 0/1017642 2555.79/2506.24 c cleaning 9354 clauses out of 250233 with flag 0/1030642 2596.85/2546.43 c cleaning 4665 clauses out of 254879 with flag 0/1044642 2637.80/2586.77 c cleaning 3622 clauses out of 265214 with flag 0/1059642 2667.16/2615.61 c Got one! Elapsed wall clock time (in seconds):2615.464 2667.16/2615.61 o 63 2697.97/2645.61 c cleaning 3621 clauses out of 274026 with flag 0/1072076 2727.89/2674.69 c cleaning 5472 clauses out of 276404 with flag 0/1078075 2760.34/2706.21 c cleaning 6700 clauses out of 277933 with flag 0/1085076 2783.07/2728.26 c cleaning 7598 clauses out of 279231 with flag 0/1093074 2802.34/2746.85 c cleaning 8775 clauses out of 280633 with flag 0/1102074 2826.70/2770.37 c cleaning 9553 clauses out of 281858 with flag 0/1112074 2841.32/2783.56 c cleaning 9570 clauses out of 283307 with flag 0/1123076 2871.37/2812.99 c cleaning 9373 clauses out of 285735 with flag 0/1135074 2919.18/2859.84 c cleaning 12336 clauses out of 289362 with flag 0/1148074 2996.81/2936.37 c cleaning 13572 clauses out of 291026 with flag 0/1162074 3034.95/2973.51 c cleaning 12649 clauses out of 292455 with flag 0/1177075 3035.95/2974.54 c Got one! Elapsed wall clock time (in seconds):2974.401 3035.95/2974.54 o 62 3056.86/2994.83 c cleaning 5390 clauses out of 285745 with flag 0/1183014 3086.33/3023.53 c cleaning 5097 clauses out of 286356 with flag 0/1189015 3104.79/3041.50 c cleaning 6508 clauses out of 288258 with flag 0/1196014 3132.64/3068.89 c cleaning 7536 clauses out of 289750 with flag 0/1204014 3166.96/3102.46 c cleaning 7798 clauses out of 291215 with flag 0/1213015 3206.09/3140.87 c cleaning 9088 clauses out of 293416 with flag 0/1223014 3278.86/3211.78 c cleaning 10487 clauses out of 295328 with flag 0/1234014 3355.11/3286.34 c cleaning 10123 clauses out of 296841 with flag 0/1246014 3400.57/3330.79 c cleaning 11262 clauses out of 299718 with flag 0/1259014 3437.02/3365.37 c cleaning 9477 clauses out of 302457 with flag 0/1273015 3514.08/3440.63 c cleaning 13772 clauses out of 307980 with flag 0/1288015 3600.06/3524.92 c starts : 333 3600.06/3524.93 c conflicts : 1302401 3600.06/3524.93 c decisions : 3804333 3600.06/3524.93 c propagations : 21035492 3600.06/3524.93 c inspects : 5726578548 3600.06/3524.93 c shortcuts : 0 3600.06/3524.93 c learnt literals : 0 3600.06/3524.93 c learnt binary clauses : 0 3600.06/3524.93 c learnt ternary clauses : 0 3600.06/3524.93 c learnt constraints : 1302401 3600.06/3524.93 c ignored constraints : 0 3600.06/3524.93 c root simplifications : 0 3600.06/3524.93 c removed literals (reason simplification) : 0 3600.06/3524.93 c reason swapping (by a shorter reason) : 0 3600.06/3524.93 c Calls to reduceDB : 150 3600.06/3524.93 c Number of update (reduction) of LBD : 7952 3600.06/3524.93 c Imported unit clauses : 0 3600.06/3524.93 c No decision after first conflict : false 3600.06/3524.93 c number of reductions to clauses (during analyze) : 0 3600.06/3524.93 c number of learned constraints concerned by reduction : 0 3600.06/3524.93 c number of learning phase by resolution : 0 3600.06/3524.93 c number of learning phase by cutting planes : 0 3600.06/3524.93 c number of rounding to 1 operations : 2825652 3600.06/3524.93 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.06/3524.93 c number of reductions of the coefficients by power 2 : 0 3600.06/3524.93 c number of right shift for reduction by power 2 : 0 3600.06/3524.93 c number of reductions of the coefficients by GCD over coefficients : 0 3600.06/3524.93 c number of ending skipping : 0 3600.06/3524.93 c number of internal skipping : 0 3600.06/3524.93 c number of derivation steps : 4321928 3600.06/3524.93 c number of skipped derivation steps : 0 3600.06/3524.93 c number of remaining unassigned : 157556 3600.06/3524.93 c number of remaining assigned : 109613776 3600.06/3524.93 c number of falsified literals weakened from reason : 0 3600.06/3524.93 c number of falsified literals weakened from conflict : 0 3600.06/3524.93 c time for arithmetic operations : 3332315654 3600.06/3524.93 c minimum degree of deleted constraints : 4 3600.06/3524.93 c maximum degree of deleted constraints : 5942206 3600.06/3524.93 c number of deleted constraints : 993807 3600.06/3524.93 c speed (assignments/second) : 5967.928560161327 3600.06/3524.93 c non guided choices : 5950 3600.27/3525.04 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 152420 3600.27/3525.04 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 14565 3600.27/3525.04 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 141609 3600.27/3525.04 s SATISFIABLE 3600.27/3525.04 c Found 143 solution(s) 3600.27/3525.04 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 3600.27/3525.04 c objective function=62 3600.27/3525.04 c Total wall clock time (in seconds): 3524.896
OK 62
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 (60618 MiB free)
memory of node 1: 64473 MiB (60447 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457857-1721868673/watcher-4457857-1721868673 -o /tmp/evaluation-result-4457857-1721868673/solver-4457857-1721868673 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721865097-264548 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4457857-1721868673.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=266969, runsolver pid=266966
Current StackSize limit: 8192 KiB
[startup+0.103982 s]*
/proc/loadavg: 4.79 4.39 4.24 6/332 266987
/proc/meminfo: memFree=123927484/131524600 swapFree=131056028/131071996
[pid=266969] ppid=266966 vsize=18975048 memory=65324 CPUtime=0.14 cores=4,6
/proc/266969/stat : 266969 (java) S 266966 266969 264537 0 -1 1077936128 7266 0 0 0 12 2 0 0 20 0 18 0 23390215 19430449152 16331 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
/proc/266969/statm: 4743762 16331 5671 1 0 549381 0
[pid=266969/tid=266971] ppid=266966 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/266969/task/266971/stat : 266971 (java) R 266966 266969 264537 0 -1 4194368 5784 0 0 0 7 1 0 0 20 0 18 0 23390216 19430449152 16331 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266980] ppid=266966 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/266969/task/266980/stat : 266980 (Finalizer) S 266966 266969 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23390218 19430449152 16331 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266987] ppid=266966 vsize=18975048 memory=14135545649324636 CPUtime=0 cores=4,6
/proc/266969/task/266987/stat : 266987 (Common-Cleaner) S 266966 266969 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 23390219 19430449152 16331 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65324 KiB
[startup+0.214007 s]*
/proc/loadavg: 4.79 4.39 4.24 7/333 266988
/proc/meminfo: memFree=123918260/131524600 swapFree=131056028/131071996
[pid=266969] ppid=266966 vsize=19041612 memory=75284 CPUtime=0.35 cores=4,6
/proc/266969/stat : 266969 (java) S 266966 266969 264537 0 -1 1077936128 7996 0 0 0 33 2 0 0 20 0 19 0 23390215 19498610688 18821 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
/proc/266969/statm: 4760403 18821 5892 1 0 550101 0
[pid=266969/tid=266971] ppid=266966 vsize=19041612 memory=4782652875487838339 CPUtime=0.2 cores=4,6
/proc/266969/task/266971/stat : 266971 (java) R 266966 266969 264537 0 -1 1077936192 6159 0 0 0 18 2 0 0 20 0 19 0 23390216 19498610688 18821 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266980] ppid=266966 vsize=19041612 memory=1991471 CPUtime=0 cores=4,6
/proc/266969/task/266980/stat : 266980 (Finalizer) S 266966 266969 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23390218 19498610688 18821 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266987] ppid=266966 vsize=19041612 memory=15823295995971300 CPUtime=0 cores=4,6
/proc/266969/task/266987/stat : 266987 (Common-Cleaner) S 266966 266969 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23390219 19498610688 18821 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266988] ppid=266966 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/266969/task/266988/stat : 266988 (Timer-0) S 266966 266969 264537 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 23390233 19498610688 18821 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 75284 KiB
[startup+0.307096 s]*
/proc/loadavg: 4.79 4.39 4.24 7/333 266988
/proc/meminfo: memFree=123894252/131524600 swapFree=131056028/131071996
[pid=266969] ppid=266966 vsize=19041612 memory=99044 CPUtime=0.52 cores=4,6
/proc/266969/stat : 266969 (java) S 266966 266969 264537 0 -1 1077936128 9635 0 0 0 49 3 0 0 20 0 19 0 23390215 19498610688 24761 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
/proc/266969/statm: 4760403 24761 5892 1 0 550967 0
[pid=266969/tid=266971] ppid=266966 vsize=19041612 memory=-8743564294028501692 CPUtime=0.27 cores=4,6
/proc/266969/task/266971/stat : 266971 (java) R 266966 266969 264537 0 -1 4194368 6178 0 0 0 25 2 0 0 20 0 19 0 23390216 19498610688 24761 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266980] ppid=266966 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/266969/task/266980/stat : 266980 (Finalizer) S 266966 266969 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23390218 19498610688 24761 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266987] ppid=266966 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/266969/task/266987/stat : 266987 (Common-Cleaner) S 266966 266969 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23390219 19498610688 24761 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266988] ppid=266966 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/266969/task/266988/stat : 266988 (Timer-0) S 266966 266969 264537 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 23390233 19498610688 24761 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 99044 KiB
[startup+0.703352 s]
/proc/loadavg: 4.79 4.39 4.24 6/334 266989
/proc/meminfo: memFree=123819596/131524600 swapFree=131056028/131071996
[pid=266969] ppid=266966 vsize=19108176 memory=177712 CPUtime=1.26 cores=4,6
/proc/266969/stat : 266969 (java) S 266966 266969 264537 0 -1 1077936128 13233 0 0 0 120 6 0 0 20 0 20 0 23390215 19566772224 44428 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
/proc/266969/statm: 4777044 44428 5907 1 0 553747 0
[pid=266969/tid=266971] ppid=266966 vsize=19108176 memory=76112 CPUtime=0.6 cores=4,6
/proc/266969/task/266971/stat : 266971 (java) R 266966 266969 264537 0 -1 4194368 6211 0 0 0 57 3 0 0 20 0 20 0 23390216 19566772224 44428 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266980] ppid=266966 vsize=19108176 memory=12936 CPUtime=0 cores=4,6
/proc/266969/task/266980/stat : 266980 (Finalizer) S 266966 266969 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23390218 19566772224 44428 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266987] ppid=266966 vsize=19108176 memory=2284 CPUtime=0 cores=4,6
/proc/266969/task/266987/stat : 266987 (Common-Cleaner) S 266966 266969 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23390219 19566772224 44428 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266988] ppid=266966 vsize=19108176 memory=25588 CPUtime=0 cores=4,6
/proc/266969/task/266988/stat : 266988 (Timer-0) S 266966 266969 264537 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 23390233 19566772224 44428 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177712 KiB
[startup+1.50709 s]
/proc/loadavg: 4.79 4.39 4.24 6/334 266989
/proc/meminfo: memFree=123772040/131524600 swapFree=131056028/131071996
[pid=266969] ppid=266966 vsize=19108176 memory=329868 CPUtime=2.82 cores=4,6
/proc/266969/stat : 266969 (java) S 266966 266969 264537 0 -1 1077936128 21707 0 0 0 273 9 0 0 20 0 20 0 23390215 19566772224 82467 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
/proc/266969/statm: 4777044 82467 5907 1 0 557289 0
[pid=266969/tid=266971] ppid=266966 vsize=19108176 memory=12936 CPUtime=1.37 cores=4,6
/proc/266969/task/266971/stat : 266971 (java) R 266966 266969 264537 0 -1 4194368 6666 0 0 0 131 6 0 0 20 0 20 0 23390216 19566772224 82467 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266980] ppid=266966 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/266969/task/266980/stat : 266980 (Finalizer) S 266966 266969 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23390218 19566772224 82467 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266987] ppid=266966 vsize=19108176 memory=2284 CPUtime=0 cores=4,6
/proc/266969/task/266987/stat : 266987 (Common-Cleaner) S 266966 266969 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23390219 19566772224 82467 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266988] ppid=266966 vsize=19108176 memory=25588 CPUtime=0 cores=4,6
/proc/266969/task/266988/stat : 266988 (Timer-0) S 266966 266969 264537 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 23390233 19566772224 82467 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 329868 KiB
[startup+3.10606 s]
/proc/loadavg: 4.79 4.39 4.24 6/334 266989
/proc/meminfo: memFree=122876496/131524600 swapFree=131056028/131071996
[pid=266969] ppid=266966 vsize=19108176 memory=1145860 CPUtime=5.52 cores=4,6
/proc/266969/stat : 266969 (java) S 266966 266969 264537 0 -1 1077936128 26906 0 0 0 526 26 0 0 20 0 20 0 23390215 19566772224 286465 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
/proc/266969/statm: 4777044 286465 5923 1 0 764102 0
[pid=266969/tid=266971] ppid=266966 vsize=19108176 memory=0 CPUtime=2.92 cores=4,6
/proc/266969/task/266971/stat : 266971 (java) R 266966 266969 264537 0 -1 4194368 7961 0 0 0 271 21 0 0 20 0 20 0 23390216 19566772224 286465 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266980] ppid=266966 vsize=19108176 memory=-8743564294028501692 CPUtime=0 cores=4,6
/proc/266969/task/266980/stat : 266980 (Finalizer) S 266966 266969 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23390218 19566772224 286465 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266987] ppid=266966 vsize=19108176 memory=12936 CPUtime=0 cores=4,6
/proc/266969/task/266987/stat : 266987 (Common-Cleaner) S 266966 266969 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23390219 19566772224 286465 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266988] ppid=266966 vsize=19108176 memory=2284 CPUtime=0 cores=4,6
/proc/266969/task/266988/stat : 266988 (Timer-0) S 266966 266969 264537 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 23390233 19566772224 286465 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
Current children cumulated CPU time: 5.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1145860 KiB
[startup+6.30028 s]
/proc/loadavg: 4.73 4.38 4.23 6/334 266991
/proc/meminfo: memFree=122308752/131524600 swapFree=131056028/131071996
[pid=266969] ppid=266966 vsize=19108176 memory=1535884 CPUtime=8.92 cores=4,6
/proc/266969/stat : 266969 (java) S 266966 266969 264537 0 -1 1077936128 27849 0 0 0 858 34 0 0 20 0 20 0 23390215 19566772224 383971 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
/proc/266969/statm: 4777044 383971 5923 1 0 764106 0
[pid=266969/tid=266971] ppid=266966 vsize=19108176 memory=2284 CPUtime=6.08 cores=4,6
/proc/266969/task/266971/stat : 266971 (java) R 266966 266969 264537 0 -1 4194368 8571 0 0 0 579 29 0 0 20 0 20 0 23390216 19566772224 383971 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266980] ppid=266966 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/266969/task/266980/stat : 266980 (Finalizer) S 266966 266969 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23390218 19566772224 383971 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266987] ppid=266966 vsize=19108176 memory=12936 CPUtime=0 cores=4,6
/proc/266969/task/266987/stat : 266987 (Common-Cleaner) S 266966 266969 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23390219 19566772224 383971 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266988] ppid=266966 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=4,6
/proc/266969/task/266988/stat : 266988 (Timer-0) S 266966 266969 264537 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 23390233 19566772224 383971 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
Current children cumulated CPU time: 8.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1535884 KiB
[startup+12.7002 s]
/proc/loadavg: 4.67 4.37 4.23 5/334 266991
/proc/meminfo: memFree=121986396/131524600 swapFree=131056028/131071996
[pid=266969] ppid=266966 vsize=19108176 memory=1851368 CPUtime=15.47 cores=4,6
/proc/266969/stat : 266969 (java) S 266966 266969 264537 0 -1 1077936128 28695 0 0 0 1507 40 0 0 20 0 20 0 23390215 19566772224 462842 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
/proc/266969/statm: 4777044 462842 5923 1 0 764111 0
[pid=266969/tid=266971] ppid=266966 vsize=19108176 memory=12936 CPUtime=12.35 cores=4,6
/proc/266969/task/266971/stat : 266971 (java) R 266966 266969 264537 0 -1 4194368 9192 0 0 0 1203 32 0 0 20 0 20 0 23390216 19566772224 462842 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266980] ppid=266966 vsize=19108176 memory=1845156 CPUtime=0 cores=4,6
/proc/266969/task/266980/stat : 266980 (Finalizer) S 266966 266969 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23390218 19566772224 462842 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266987] ppid=266966 vsize=19108176 memory=76112 CPUtime=0 cores=4,6
/proc/266969/task/266987/stat : 266987 (Common-Cleaner) S 266966 266969 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23390219 19566772224 462842 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266988] ppid=266966 vsize=19108176 memory=12936 CPUtime=0 cores=4,6
/proc/266969/task/266988/stat : 266988 (Timer-0) S 266966 266969 264537 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 23390233 19566772224 462842 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
Current children cumulated CPU time: 15.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1851368 KiB
[startup+25.5003 s]
/proc/loadavg: 4.52 4.35 4.23 5/334 266994
/proc/meminfo: memFree=121829572/131524600 swapFree=131056028/131071996
[pid=266969] ppid=266966 vsize=19108176 memory=1888480 CPUtime=28.49 cores=4,6
/proc/266969/stat : 266969 (java) S 266966 266969 264537 0 -1 1077936128 34361 0 0 0 2807 42 0 0 20 0 20 0 23390215 19566772224 472120 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
/proc/266969/statm: 4777044 472120 5923 1 0 764127 0
[pid=266969/tid=266971] ppid=266966 vsize=19108176 memory=6943526294502006880 CPUtime=24.9 cores=4,6
/proc/266969/task/266971/stat : 266971 (java) R 266966 266969 264537 0 -1 4194368 11762 0 0 0 2457 33 0 0 20 0 20 0 23390216 19566772224 472120 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266980] ppid=266966 vsize=19108176 memory=13520 CPUtime=0 cores=4,6
/proc/266969/task/266980/stat : 266980 (Finalizer) S 266966 266969 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23390218 19566772224 472120 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266987] ppid=266966 vsize=19108176 memory=3453 CPUtime=0 cores=4,6
/proc/266969/task/266987/stat : 266987 (Common-Cleaner) S 266966 266969 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23390219 19566772224 472120 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266988] ppid=266966 vsize=19108176 memory=12936 CPUtime=0 cores=4,6
/proc/266969/task/266988/stat : 266988 (Timer-0) S 266966 266969 264537 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 23390233 19566772224 472120 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
Current children cumulated CPU time: 28.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1888480 KiB
[startup+51.1059 s]
/proc/loadavg: 4.40 4.34 4.23 5/334 266997
/proc/meminfo: memFree=121761072/131524600 swapFree=131056028/131071996
[pid=266969] ppid=266966 vsize=19108176 memory=1911488 CPUtime=54.58 cores=4,6
/proc/266969/stat : 266969 (java) S 266966 266969 264537 0 -1 1077936128 45192 0 0 0 5413 45 0 0 20 0 20 0 23390215 19566772224 477872 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
/proc/266969/statm: 4777044 477872 5923 1 0 764159 0
################
# More data... #
################
/proc/meminfo: memFree=116301272/131524600 swapFree=131056028/131071996
[pid=266969] ppid=266966 vsize=19108176 memory=4547444 CPUtime=3289.68 cores=4,6
/proc/266969/stat : 266969 (java) S 266966 266969 264537 0 -1 1077936128 370569 0 0 0 328678 290 0 0 20 0 20 0 23390215 19566772224 1136861 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
/proc/266969/statm: 4777044 1136861 5970 1 0 1152449 0
[pid=266969/tid=266971] ppid=266966 vsize=19108176 memory=-8743564294028501692 CPUtime=3139.09 cores=4,6
/proc/266969/task/266971/stat : 266971 (java) R 266966 266969 264537 0 -1 4194368 189599 0 0 0 313810 99 0 0 20 0 20 0 23390216 19566772224 1136861 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266980] ppid=266966 vsize=19108176 memory=13520 CPUtime=0 cores=4,6
/proc/266969/task/266980/stat : 266980 (Finalizer) S 266966 266969 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23390218 19566772224 1136861 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266987] ppid=266966 vsize=19108176 memory=32540 CPUtime=0 cores=4,6
/proc/266969/task/266987/stat : 266987 (Common-Cleaner) S 266966 266969 264537 0 -1 1077936192 3203 0 0 0 0 0 0 0 20 0 20 0 23390219 19566772224 1136861 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266988] ppid=266966 vsize=19108176 memory=13520 CPUtime=0 cores=4,6
/proc/266969/task/266988/stat : 266988 (Timer-0) S 266966 266969 264537 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 23390233 19566772224 1136861 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
Current children cumulated CPU time: 3289.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4547444 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.18 4.18 5/333 268764
/proc/meminfo: memFree=116294636/131524600 swapFree=131056028/131071996
[pid=266969] ppid=266966 vsize=19108176 memory=4547516 CPUtime=3351.11 cores=4,6
/proc/266969/stat : 266969 (java) S 266966 266969 264537 0 -1 1077936128 372435 0 0 0 334817 294 0 0 20 0 20 0 23390215 19566772224 1136879 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
/proc/266969/statm: 4777044 1136879 5970 1 0 1152466 0
[pid=266969/tid=266971] ppid=266966 vsize=19108176 memory=4547512 CPUtime=3197.7 cores=4,6
/proc/266969/task/266971/stat : 266971 (java) R 266966 266969 264537 0 -1 4194368 191141 0 0 0 319671 99 0 0 20 0 20 0 23390216 19566772224 1136879 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266980] ppid=266966 vsize=19108176 memory=4547512 CPUtime=0 cores=4,6
/proc/266969/task/266980/stat : 266980 (Finalizer) S 266966 266969 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23390218 19566772224 1136879 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266987] ppid=266966 vsize=19108176 memory=4547512 CPUtime=0 cores=4,6
/proc/266969/task/266987/stat : 266987 (Common-Cleaner) S 266966 266969 264537 0 -1 1077936192 3289 0 0 0 0 0 0 0 20 0 20 0 23390219 19566772224 1136879 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266988] ppid=266966 vsize=19108176 memory=21128 CPUtime=0 cores=4,6
/proc/266969/task/266988/stat : 266988 (Timer-0) S 266966 266969 264537 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 23390233 19566772224 1136879 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
Current children cumulated CPU time: 3351.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4547516 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.17 4.18 6/333 268790
/proc/meminfo: memFree=116285724/131524600 swapFree=131056028/131071996
[pid=266969] ppid=266966 vsize=19108176 memory=4547516 CPUtime=3412.45 cores=4,6
/proc/266969/stat : 266969 (java) S 266966 266969 264537 0 -1 1077936128 377959 0 0 0 340948 297 0 0 20 0 20 0 23390215 19566772224 1136879 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
/proc/266969/statm: 4777044 1136879 5970 1 0 1152466 0
[pid=266969/tid=266971] ppid=266966 vsize=19108176 memory=4547516 CPUtime=3256.34 cores=4,6
/proc/266969/task/266971/stat : 266971 (java) R 266966 266969 264537 0 -1 4194368 194327 0 0 0 325534 100 0 0 20 0 20 0 23390216 19566772224 1136879 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 29 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266980] ppid=266966 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/266969/task/266980/stat : 266980 (Finalizer) S 266966 266969 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23390218 19566772224 1136879 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266987] ppid=266966 vsize=19108176 memory=11696 CPUtime=0 cores=4,6
/proc/266969/task/266987/stat : 266987 (Common-Cleaner) S 266966 266969 264537 0 -1 1077936192 3364 0 0 0 0 0 0 0 20 0 20 0 23390219 19566772224 1136879 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266988] ppid=266966 vsize=19108176 memory=4547516 CPUtime=0 cores=4,6
/proc/266969/task/266988/stat : 266988 (Timer-0) S 266966 266969 264537 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 23390233 19566772224 1136879 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
Current children cumulated CPU time: 3412.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4547516 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.17 4.17 6/333 268802
/proc/meminfo: memFree=116273508/131524600 swapFree=131056028/131071996
[pid=266969] ppid=266966 vsize=19108176 memory=4555000 CPUtime=3474.88 cores=4,6
/proc/266969/stat : 266969 (java) S 266966 266969 264537 0 -1 1077936128 393995 0 0 0 347186 302 0 0 20 0 20 0 23390215 19566772224 1138750 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
/proc/266969/statm: 4777044 1138750 5970 1 0 1152470 0
[pid=266969/tid=266971] ppid=266966 vsize=19108176 memory=4555000 CPUtime=3314.8 cores=4,6
/proc/266969/task/266971/stat : 266971 (java) S 266966 266969 264537 0 -1 1077936192 199318 0 0 0 331379 101 0 0 20 0 20 0 23390216 19566772224 1138750 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266980] ppid=266966 vsize=19108176 memory=4555000 CPUtime=0 cores=4,6
/proc/266969/task/266980/stat : 266980 (Finalizer) S 266966 266969 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23390218 19566772224 1138750 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266987] ppid=266966 vsize=19108176 memory=1832 CPUtime=0 cores=4,6
/proc/266969/task/266987/stat : 266987 (Common-Cleaner) S 266966 266969 264537 0 -1 1077936192 3458 0 0 0 0 0 0 0 20 0 20 0 23390219 19566772224 1138750 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266988] ppid=266966 vsize=19108176 memory=-8743564294028501692 CPUtime=0 cores=4,6
/proc/266969/task/266988/stat : 266988 (Timer-0) S 266966 266969 264537 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 23390233 19566772224 1138750 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
Current children cumulated CPU time: 3474.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4555000 KiB
[startup+3462.3 s]
/proc/loadavg: 4.30 4.20 4.18 5/333 268880
/proc/meminfo: memFree=118909792/131524600 swapFree=131056028/131071996
[pid=266969] ppid=266966 vsize=19108176 memory=4555020 CPUtime=3536.35 cores=4,6
/proc/266969/stat : 266969 (java) S 266966 266969 264537 0 -1 1077936128 395825 0 0 0 353330 305 0 0 20 0 20 0 23390215 19566772224 1138755 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
/proc/266969/statm: 4777044 1138755 5970 1 0 1152470 0
[pid=266969/tid=266971] ppid=266966 vsize=19108176 memory=4555000 CPUtime=3373.56 cores=4,6
/proc/266969/task/266971/stat : 266971 (java) R 266966 266969 264537 0 -1 4194368 200891 0 0 0 337254 102 0 0 20 0 20 0 23390216 19566772224 1138755 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266980] ppid=266966 vsize=19108176 memory=76160 CPUtime=0 cores=4,6
/proc/266969/task/266980/stat : 266980 (Finalizer) S 266966 266969 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23390218 19566772224 1138755 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266987] ppid=266966 vsize=19108176 memory=13520 CPUtime=0 cores=4,6
/proc/266969/task/266987/stat : 266987 (Common-Cleaner) S 266966 266969 264537 0 -1 1077936192 3458 0 0 0 0 0 0 0 20 0 20 0 23390219 19566772224 1138755 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266988] ppid=266966 vsize=19108176 memory=4555020 CPUtime=0 cores=4,6
/proc/266969/task/266988/stat : 266988 (Timer-0) S 266966 266969 264537 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 23390233 19566772224 1138755 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
Current children cumulated CPU time: 3536.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4555020 KiB
[startup+3522.3 s]
/proc/loadavg: 4.36 4.23 4.19 5/333 268890
/proc/meminfo: memFree=118047144/131524600 swapFree=131056028/131071996
[pid=266969] ppid=266966 vsize=19108176 memory=4555044 CPUtime=3597.48 cores=4,6
/proc/266969/stat : 266969 (java) S 266966 266969 264537 0 -1 1077936128 400491 0 0 0 359439 309 0 0 20 0 20 0 23390215 19566772224 1138761 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
/proc/266969/statm: 4777044 1138761 5970 1 0 1152470 0
[pid=266969/tid=266971] ppid=266966 vsize=19108176 memory=16120 CPUtime=3432.31 cores=4,6
/proc/266969/task/266971/stat : 266971 (java) R 266966 266969 264537 0 -1 4194368 203469 0 0 0 343128 103 0 0 20 0 20 0 23390216 19566772224 1138761 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 29 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266980] ppid=266966 vsize=19108176 memory=4555000 CPUtime=0 cores=4,6
/proc/266969/task/266980/stat : 266980 (Finalizer) S 266966 266969 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23390218 19566772224 1138761 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266987] ppid=266966 vsize=19108176 memory=13520 CPUtime=0 cores=4,6
/proc/266969/task/266987/stat : 266987 (Common-Cleaner) S 266966 266969 264537 0 -1 1077936192 3554 0 0 0 0 0 0 0 20 0 20 0 23390219 19566772224 1138761 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266988] ppid=266966 vsize=19108176 memory=4555044 CPUtime=0 cores=4,6
/proc/266969/task/266988/stat : 266988 (Timer-0) S 266966 266969 264537 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 23390233 19566772224 1138761 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
Current children cumulated CPU time: 3597.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4555044 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3524.9 s]
/proc/loadavg: 4.36 4.23 4.19 5/333 268892
/proc/meminfo: memFree=118047156/131524600 swapFree=131056028/131071996
[pid=266969] ppid=266966 vsize=19108176 memory=4555044 CPUtime=3600.06 cores=4,6
/proc/266969/stat : 266969 (java) S 266966 266969 264537 0 -1 1077936128 400491 0 0 0 359697 309 0 0 20 0 20 0 23390215 19566772224 1138761 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
/proc/266969/statm: 4777044 1138761 5970 1 0 1152470 0
[pid=266969/tid=266971] ppid=266966 vsize=19108176 memory=16120 CPUtime=3434.89 cores=4,6
/proc/266969/task/266971/stat : 266971 (java) R 266966 266969 264537 0 -1 4194368 203469 0 0 0 343386 103 0 0 20 0 20 0 23390216 19566772224 1138761 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 29 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266980] ppid=266966 vsize=19108176 memory=4555000 CPUtime=0 cores=4,6
/proc/266969/task/266980/stat : 266980 (Finalizer) S 266966 266969 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23390218 19566772224 1138761 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266987] ppid=266966 vsize=19108176 memory=13520 CPUtime=0 cores=4,6
/proc/266969/task/266987/stat : 266987 (Common-Cleaner) S 266966 266969 264537 0 -1 1077936192 3554 0 0 0 0 0 0 0 20 0 20 0 23390219 19566772224 1138761 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266988] ppid=266966 vsize=19108176 memory=4555044 CPUtime=0 cores=4,6
/proc/266969/task/266988/stat : 266988 (Timer-0) S 266966 266969 264537 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 23390233 19566772224 1138761 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4555044 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3525.06 s]
# the end of solver process 266969 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.23 s, system=3.11438 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3525.01 s]*
/proc/loadavg: 4.36 4.23 4.19 8/334 268895
/proc/meminfo: memFree=118023924/131524600 swapFree=131056028/131071996
[pid=266969] ppid=266966 vsize=19307868 memory=4555716 CPUtime=3600.27 cores=4,6
/proc/266969/stat : 266969 (java) S 266966 266969 264537 0 -1 1077936128 404091 0 0 0 359718 309 0 0 20 0 21 0 23390215 19771256832 1138929 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
/proc/266969/statm: 4826967 1138929 5969 1 0 1153405 0
[pid=266969/tid=266971] ppid=266966 vsize=19307868 memory=-8743846859926905532 CPUtime=3434.99 cores=4,6
/proc/266969/task/266971/stat : 266971 (java) R 266966 266969 264537 0 -1 4194368 203636 0 0 0 343396 103 0 0 20 0 21 0 23390216 19771256832 1138929 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 29 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266980] ppid=266966 vsize=19307868 memory=2556 CPUtime=0 cores=4,6
/proc/266969/task/266980/stat : 266980 (Finalizer) S 266966 266969 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 23390218 19771256832 1138929 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=266987] ppid=266966 vsize=19307868 memory=2728 CPUtime=0 cores=4,6
/proc/266969/task/266987/stat : 266987 (Common-Cleaner) S 266966 266969 264537 0 -1 1077936192 3554 0 0 0 0 0 0 0 20 0 21 0 23390219 19771256832 1138929 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
[pid=266969/tid=268894] ppid=266966 vsize=19307868 memory=4788 CPUtime=0.06 cores=4,6
/proc/266969/task/268894/stat : 268894 (Thread-0) R 266966 266969 264537 0 -1 4194368 480 0 0 0 6 0 0 0 20 0 21 0 23742707 19771256832 1138929 134679101440 94401524957184 94401524960880 140728046441536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94401524968696 94401524969488 94401541722112 140728046445552 140728046445665 140728046445665 140728046452680 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4555716 KiB
Child status: 143
Real time (s): 3525.06
CPU time (s): 3600.34
CPU user time (s): 3597.23
CPU system time (s): 3.11438
CPU usage (%): 102.136
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4555716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.23
system time used= 3.11438
maximum resident set size= 4556704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 404735
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 148795
involuntary context switches= 14685
# summary of solver processes directly reported to runsolver:
# pid: 266969
# total CPU time (s): 3600.34
# total CPU user time (s): 3597.23
# total CPU system time (s): 3.11438
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.83827 second user time and 18.6263 second system time
The end
Begin job on nodeC015 at 2024-07-25 02:51:13 IDJOB=4457857 IDBENCH=177049 IDSOLVER=3046 FILE ID=nodeC015/4457857-1721868673 RUNJOBID= nodeC015-1721865097-264548 SLURM_JOB_ID= 8089155 Free space on /tmp= 890080 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/linear/normalized-evencolouring_opt_linear_random6regular_nvert_051.opb COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457857-1721868673/watcher-4457857-1721868673 -o /tmp/evaluation-result-4457857-1721868673/solver-4457857-1721868673 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721865097-264548 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4457857-1721868673.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 203a71e4765d41abd7101b66eed46923 RANDOM SEED=54969686 nodeC015.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 : 3661.177 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.37 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 : 3685.157 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.17 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 : 3609.443 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.37 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 : 3599.831 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.17 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 : 3629.388 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.37 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 : 3685.240 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.17 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 : 3607.249 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.37 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.892 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.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123972248 kB MemAvailable: 124920572 kB Buffers: 276012 kB Cached: 1338244 kB SwapCached: 312 kB Active: 1125620 kB Inactive: 5492640 kB Active(anon): 4484 kB Inactive(anon): 5052072 kB Active(file): 1121136 kB Inactive(file): 440568 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056028 kB Dirty: 964 kB Writeback: 36 kB AnonPages: 5003204 kB Mapped: 114480 kB Shmem: 52524 kB KReclaimable: 448028 kB Slab: 571912 kB SReclaimable: 448028 kB SUnreclaim: 123884 kB KernelStack: 5080 kB PageTables: 19732 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 8327616 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16224 kB HardwareCorrupted: 0 kB AnonHugePages: 4749312 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: 367316 kB DirectMap2M: 43446272 kB DirectMap1G: 92274688 kB Free space on /tmp at the end= 890080 MiB End job on nodeC015 at 2024-07-25 03:49:59