Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2025-06-06 | SAT (TO) | -14424 | 3600.34 | 3333.36 |
| Name | PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern45-23.opb |
| MD5SUM | af7e878fffd6da85a395ada1cd1e9cec |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -21362 |
| Best CPU time to get the best result obtained on this benchmark | 3600.05 |
| 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 | 0 |
| Total number of constraints | 0 |
| 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 | 0 |
| Minimum length of a constraint | -1 |
| Maximum length of a constraint | 0 |
| Number of terms in the objective function | 10776 |
| Biggest coefficient in the objective function | 6842 |
| Number of bits for the biggest coefficient in the objective function | 13 |
| Sum of the numbers in the objective function | 1529132 |
| Number of bits of the sum of numbers in the objective function | 21 |
| Biggest number in a constraint | 6842 |
| Number of bits of the biggest number in a constraint | 13 |
| Biggest sum of numbers in a constraint | 1529132 |
| Number of bits of the biggest sum of numbers | 21 |
| Number of products (including duplicates) | 10731 |
| Sum of products size (including duplicates) | 34701 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version PB25.v20250606 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.08 c os.arch amd64 0.00/0.09 c Free memory 2104792832 0.00/0.09 c Max memory 16282288128 0.00/0.09 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.12/0.14 c Pseudo Boolean Optimization by upper bound 0.12/0.14 c --- Begin Solver configuration --- 0.12/0.14 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.12/0.14 c Learn all clauses as in MiniSAT 0.12/0.14 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.14 c Expensive reason simplification 0.12/0.14 c Glucose 2.1 dynamic restart strategy 0.12/0.14 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.12/0.14 c timeout=2147483s 0.12/0.14 c DB Simplification allowed=false 0.12/0.14 c Listener: none 0.12/0.14 c --- End Solver configuration --- 0.12/0.14 c solving HOME/instance-4512216-1751522794.opb 0.12/0.14 c reading problem ... 0.12/0.14 c objective function found 2.24/1.29 c ... done. Wall clock time 1.142s. 2.24/1.29 c declared #vars 45 2.24/1.29 c internal #vars 10776 2.24/1.29 c #constraints 21462 2.24/1.29 c constraints type 2.24/1.29 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10731 2.24/1.29 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 10731 2.24/1.29 c 21462 constraints processed. 2.45/1.30 c objective function length is 10776 literals 2.45/1.36 c SATISFIABLE 2.45/1.36 c OPTIMIZING... 2.45/1.37 c Got one! Elapsed wall clock time (in seconds):1.226 2.45/1.37 o 0 2.64/1.42 c Got one! Elapsed wall clock time (in seconds):1.285 2.64/1.42 o -231 2.64/1.47 c Got one! Elapsed wall clock time (in seconds):1.336 2.64/1.47 o -462 2.84/1.53 c Got one! Elapsed wall clock time (in seconds):1.388 2.84/1.53 o -863 2.84/1.57 c Got one! Elapsed wall clock time (in seconds):1.435 2.84/1.57 o -1113 3.05/1.64 c Got one! Elapsed wall clock time (in seconds):1.499 3.05/1.64 o -1264 3.05/1.66 c Got one! Elapsed wall clock time (in seconds):1.524 3.05/1.66 o -1782 3.24/1.72 c Got one! Elapsed wall clock time (in seconds):1.578 3.24/1.72 o -1817 3.24/1.77 c Got one! Elapsed wall clock time (in seconds):1.629 3.24/1.77 o -1970 3.24/1.79 c Got one! Elapsed wall clock time (in seconds):1.653 3.24/1.79 o -2051 3.44/1.82 c Got one! Elapsed wall clock time (in seconds):1.679 3.44/1.82 o -2219 3.44/1.84 c Got one! Elapsed wall clock time (in seconds):1.704 3.44/1.84 o -2300 3.44/1.86 c Got one! Elapsed wall clock time (in seconds):1.722 3.44/1.86 o -2890 3.63/1.97 c Got one! Elapsed wall clock time (in seconds):1.831 3.63/1.97 o -2925 3.84/2.06 c Got one! Elapsed wall clock time (in seconds):1.918 3.84/2.06 o -3161 3.84/2.08 c Got one! Elapsed wall clock time (in seconds):1.937 3.84/2.08 o -3182 3.84/2.10 c Got one! Elapsed wall clock time (in seconds):1.962 3.84/2.10 o -3346 4.03/2.12 c Got one! Elapsed wall clock time (in seconds):1.98 4.03/2.12 o -3480 4.03/2.14 c Got one! Elapsed wall clock time (in seconds):2.005 4.03/2.14 o -4044 4.23/2.27 c Got one! Elapsed wall clock time (in seconds):2.136 4.23/2.28 o -4108 4.43/2.34 c Got one! Elapsed wall clock time (in seconds):2.197 4.43/2.34 o -4113 4.43/2.37 c Got one! Elapsed wall clock time (in seconds):2.229 4.43/2.37 o -4134 4.43/2.39 c Got one! Elapsed wall clock time (in seconds):2.247 4.43/2.39 o -4693 4.95/2.66 c Got one! Elapsed wall clock time (in seconds):2.52 4.95/2.66 o -4736 5.06/2.76 c Got one! Elapsed wall clock time (in seconds):2.619 5.06/2.76 o -4762 5.16/2.80 c Got one! Elapsed wall clock time (in seconds):2.666 5.16/2.80 o -4788 5.16/2.83 c Got one! Elapsed wall clock time (in seconds):2.692 5.16/2.83 o -5417 5.47/3.18 c Got one! Elapsed wall clock time (in seconds):3.043 5.47/3.18 o -5460 5.92/3.51 c Got one! Elapsed wall clock time (in seconds):3.366 5.92/3.51 o -5461 6.02/3.61 c Got one! Elapsed wall clock time (in seconds):3.47 6.02/3.61 o -5486 6.02/3.64 c Got one! Elapsed wall clock time (in seconds):3.501 6.02/3.64 o -5489 6.02/3.67 c Got one! Elapsed wall clock time (in seconds):3.533 6.02/3.67 o -6159 6.78/4.35 c Got one! Elapsed wall clock time (in seconds):4.212 6.78/4.35 o -6184 7.55/5.01 c Got one! Elapsed wall clock time (in seconds):4.872 7.55/5.01 o -6187 7.65/5.12 c Got one! Elapsed wall clock time (in seconds):4.977 7.65/5.12 o -6190 7.75/5.21 c Got one! Elapsed wall clock time (in seconds):5.068 7.75/5.21 o -6783 9.26/6.62 c Got one! Elapsed wall clock time (in seconds):6.479 9.26/6.62 o -6841 10.28/7.52 c Got one! Elapsed wall clock time (in seconds):7.385 10.28/7.52 o -6866 10.69/7.96 c Got one! Elapsed wall clock time (in seconds):7.824 10.69/7.96 o -6911 10.90/8.18 c Got one! Elapsed wall clock time (in seconds):8.04 10.90/8.18 o -6918 11.12/8.34 c Got one! Elapsed wall clock time (in seconds):8.202 11.12/8.34 o -6940 11.12/8.38 c Got one! Elapsed wall clock time (in seconds):8.242 11.12/8.38 o -6943 11.12/8.39 c Got one! Elapsed wall clock time (in seconds):8.253 11.12/8.39 o -6946 11.22/8.41 c Got one! Elapsed wall clock time (in seconds):8.272 11.22/8.41 o -7426 14.26/11.14 c Got one! Elapsed wall clock time (in seconds):11.004 14.26/11.14 o -7482 15.38/12.12 c cleaning 5850 clauses out of 11700 with flag 2025/11700 16.11/12.87 c Got one! Elapsed wall clock time (in seconds):12.729 16.11/12.87 o -7525 16.90/13.65 c Got one! Elapsed wall clock time (in seconds):13.508 16.90/13.65 o -7622 17.29/14.09 c Got one! Elapsed wall clock time (in seconds):13.952 17.29/14.09 o -7665 18.05/14.62 c Got one! Elapsed wall clock time (in seconds):14.48 18.05/14.62 o -7702 18.15/14.74 c Got one! Elapsed wall clock time (in seconds):14.599 18.15/14.74 o -8418 22.90/19.13 c cleaning 6824 clauses out of 13647 with flag 10001/19497 25.47/21.50 c Got one! Elapsed wall clock time (in seconds):21.364 25.47/21.50 o -8436 28.18/24.03 c Got one! Elapsed wall clock time (in seconds):23.888 28.18/24.03 o -8457 28.97/24.88 c cleaning 6698 clauses out of 13402 with flag 2006/26076 30.27/26.15 c Got one! Elapsed wall clock time (in seconds):26.012 30.27/26.15 o -8458 30.91/26.61 c Got one! Elapsed wall clock time (in seconds):26.474 30.91/26.61 o -8465 31.01/26.74 c Got one! Elapsed wall clock time (in seconds):26.596 31.01/26.74 o -8478 31.11/26.80 c Got one! Elapsed wall clock time (in seconds):26.661 31.11/26.80 o -8484 31.11/26.81 c Got one! Elapsed wall clock time (in seconds):26.671 31.11/26.81 o -8486 31.11/26.82 c Got one! Elapsed wall clock time (in seconds):26.683 31.11/26.82 o -8492 31.11/26.84 c Got one! Elapsed wall clock time (in seconds):26.7 31.11/26.84 o -8495 31.11/26.87 c Got one! Elapsed wall clock time (in seconds):26.731 31.11/26.87 o -8961 34.60/30.15 c cleaning 6374 clauses out of 12754 with flag 8001/32126 39.93/35.16 c cleaning 6189 clauses out of 12381 with flag 20003/38127 41.58/36.67 c Got one! Elapsed wall clock time (in seconds):36.533 41.58/36.67 o -8987 45.28/40.19 c cleaning 5972 clauses out of 11948 with flag 8004/43883 49.01/42.94 c Got one! Elapsed wall clock time (in seconds):42.796 49.01/42.94 o -9030 51.11/44.87 c cleaning 5539 clauses out of 11077 with flag 4003/48984 52.76/46.43 c Got one! Elapsed wall clock time (in seconds):46.289 52.76/46.43 o -9095 54.35/47.84 c Got one! Elapsed wall clock time (in seconds):47.699 54.35/47.84 o -9096 54.66/48.10 c Got one! Elapsed wall clock time (in seconds):47.964 54.66/48.10 o -9105 54.85/48.31 c Got one! Elapsed wall clock time (in seconds):48.171 54.85/48.31 o -9108 54.95/48.44 c Got one! Elapsed wall clock time (in seconds):48.299 54.95/48.44 o -9200 55.90/49.35 c Got one! Elapsed wall clock time (in seconds):49.207 55.90/49.35 o -9226 56.21/49.60 c Got one! Elapsed wall clock time (in seconds):49.461 56.21/49.60 o -9229 56.21/49.68 c Got one! Elapsed wall clock time (in seconds):49.537 56.21/49.68 o -9241 56.31/49.71 c Got one! Elapsed wall clock time (in seconds):49.567 56.31/49.71 o -9244 56.31/49.74 c Got one! Elapsed wall clock time (in seconds):49.6 56.31/49.74 o -9246 56.31/49.76 c Got one! Elapsed wall clock time (in seconds):49.619 56.31/49.76 o -9249 57.01/50.25 c Got one! Elapsed wall clock time (in seconds):50.108 57.01/50.25 o -9285 57.31/50.50 c Got one! Elapsed wall clock time (in seconds):50.361 57.31/50.50 o -9288 57.31/50.60 c Got one! Elapsed wall clock time (in seconds):50.456 57.31/50.60 o -9557 60.03/53.09 c cleaning 7179 clauses out of 14365 with flag 6001/57811 64.91/57.78 c cleaning 6594 clauses out of 13187 with flag 18003/63812 71.29/63.78 c cleaning 6795 clauses out of 13593 with flag 32003/70812 78.46/70.36 c Got one! Elapsed wall clock time (in seconds):70.221 78.46/70.36 o -9580 83.08/74.78 c cleaning 9764 clauses out of 19539 with flag 10004/83553 84.67/76.31 c Got one! Elapsed wall clock time (in seconds):76.169 84.67/76.31 o -9582 90.22/80.23 c Got one! Elapsed wall clock time (in seconds):80.088 90.22/80.23 o -9597 91.13/81.12 c cleaning 8273 clauses out of 16549 with flag 2024/90327 91.92/81.93 c Got one! Elapsed wall clock time (in seconds):81.791 91.92/81.93 o -9607 93.09/83.09 c Got one! Elapsed wall clock time (in seconds):82.95 93.09/83.09 o -9628 93.47/83.32 c Got one! Elapsed wall clock time (in seconds):83.18 93.47/83.32 o -9630 93.47/83.36 c Got one! Elapsed wall clock time (in seconds):83.223 93.47/83.36 o -9641 93.57/83.47 c Got one! Elapsed wall clock time (in seconds):83.334 93.57/83.47 o -9653 93.77/83.61 c Got one! Elapsed wall clock time (in seconds):83.469 93.77/83.61 o -9669 93.77/83.63 c Got one! Elapsed wall clock time (in seconds):83.49 93.77/83.63 o -9677 93.77/83.67 c Got one! Elapsed wall clock time (in seconds):83.533 93.77/83.67 o -9680 93.97/83.86 c Got one! Elapsed wall clock time (in seconds):83.725 93.97/83.86 o -9830 97.89/87.55 c cleaning 7559 clauses out of 15127 with flag 8005/97178 101.38/90.87 c Got one! Elapsed wall clock time (in seconds):90.733 101.38/90.87 o -9851 103.63/92.85 c cleaning 6574 clauses out of 13148 with flag 4004/102758 103.73/92.91 c Got one! Elapsed wall clock time (in seconds):92.773 103.73/92.91 o -9879 104.53/93.79 c Got one! Elapsed wall clock time (in seconds):93.653 104.53/93.79 o -9895 105.13/94.37 c Got one! Elapsed wall clock time (in seconds):94.235 105.13/94.37 o -9911 105.43/94.64 c Got one! Elapsed wall clock time (in seconds):94.504 105.43/94.64 o -9918 105.43/94.66 c Got one! Elapsed wall clock time (in seconds):94.522 105.43/94.66 o -9919 105.43/94.68 c Got one! Elapsed wall clock time (in seconds):94.539 105.43/94.68 o -9922 105.53/94.75 c Got one! Elapsed wall clock time (in seconds):94.609 105.53/94.75 o -9923 105.53/94.78 c Got one! Elapsed wall clock time (in seconds):94.641 105.53/94.78 o -9931 107.74/96.74 c Got one! Elapsed wall clock time (in seconds):96.597 107.74/96.74 o -9935 107.84/96.82 c Got one! Elapsed wall clock time (in seconds):96.677 107.84/96.82 o -9938 107.94/96.94 c Got one! Elapsed wall clock time (in seconds):96.801 107.94/96.94 o -9959 108.04/97.07 c Got one! Elapsed wall clock time (in seconds):96.929 108.04/97.07 o -10014 108.14/97.14 c Got one! Elapsed wall clock time (in seconds):97.002 108.14/97.14 o -10021 108.14/97.17 c Got one! Elapsed wall clock time (in seconds):97.031 108.14/97.17 o -10022 108.24/97.20 c Got one! Elapsed wall clock time (in seconds):97.062 108.24/97.20 o -10026 108.24/97.22 c Got one! Elapsed wall clock time (in seconds):97.079 108.24/97.22 o -10027 108.24/97.26 c Got one! Elapsed wall clock time (in seconds):97.117 108.24/97.26 o -10032 108.34/97.36 c Got one! Elapsed wall clock time (in seconds):97.218 108.34/97.36 o -10062 108.64/97.64 c Got one! Elapsed wall clock time (in seconds):97.499 108.64/97.64 o -10066 108.84/97.83 c Got one! Elapsed wall clock time (in seconds):97.693 108.84/97.83 o -10071 108.84/97.87 c Got one! Elapsed wall clock time (in seconds):97.727 108.84/97.87 o -10106 109.99/98.72 c Got one! Elapsed wall clock time (in seconds):98.578 109.99/98.72 o -10115 110.29/99.03 c Got one! Elapsed wall clock time (in seconds):98.891 110.29/99.03 o -10689 112.48/101.28 c cleaning 7892 clauses out of 15790 with flag 6003/111974 117.99/106.37 c cleaning 6945 clauses out of 13898 with flag 18003/117974 124.32/112.22 c cleaning 6974 clauses out of 13952 with flag 32001/124973 132.40/118.88 c cleaning 7489 clauses out of 14979 with flag 48003/132974 140.42/126.43 c cleaning 8243 clauses out of 16490 with flag 66003/141974 146.84/132.44 c Got one! Elapsed wall clock time (in seconds):132.301 146.84/132.44 o -10692 151.50/136.88 c cleaning 10125 clauses out of 20255 with flag 10004/153982 157.24/142.18 c cleaning 8062 clauses out of 16129 with flag 22002/159981 163.97/148.44 c cleaning 7532 clauses out of 15067 with flag 36002/166981 171.64/155.65 c cleaning 7766 clauses out of 15536 with flag 52004/174982 172.34/156.38 c Got one! Elapsed wall clock time (in seconds):156.241 172.34/156.38 o -10739 176.84/160.60 c cleaning 6810 clauses out of 13622 with flag 10005/180834 182.41/165.89 c cleaning 6405 clauses out of 12812 with flag 22005/186834 186.00/169.26 c Got one! Elapsed wall clock time (in seconds):169.12 186.00/169.26 o -10845 187.69/170.99 c cleaning 6124 clauses out of 12253 with flag 4029/192680 193.77/176.64 c Got one! Elapsed wall clock time (in seconds):176.502 193.77/176.64 o -10894 198.14/180.70 c Got one! Elapsed wall clock time (in seconds):180.563 198.14/180.70 o -10938 199.03/181.63 c cleaning 8588 clauses out of 17178 with flag 2020/203729 201.36/183.84 c Got one! Elapsed wall clock time (in seconds):183.701 201.36/183.84 o -10942 202.06/184.51 c Got one! Elapsed wall clock time (in seconds):184.37 202.06/184.51 o -11551 204.73/186.95 c cleaning 7267 clauses out of 14538 with flag 6003/209677 209.68/191.72 c cleaning 6631 clauses out of 13270 with flag 18001/215676 215.81/197.54 c cleaning 6817 clauses out of 13639 with flag 32001/222676 223.67/204.14 c cleaning 7409 clauses out of 14823 with flag 48003/230677 231.85/211.46 c cleaning 8203 clauses out of 16414 with flag 66003/239677 241.89/220.71 c cleaning 9105 clauses out of 18210 with flag 86001/249676 252.38/230.66 c cleaning 10052 clauses out of 20106 with flag 108003/260677 263.67/241.31 c cleaning 11027 clauses out of 22053 with flag 132001/272676 276.27/253.18 c cleaning 12014 clauses out of 24027 with flag 158003/285677 282.78/259.49 c Got one! Elapsed wall clock time (in seconds):259.347 282.78/259.49 o -11584 287.30/263.65 c cleaning 12017 clauses out of 24040 with flag 10002/297704 292.29/268.59 c cleaning 9006 clauses out of 18024 with flag 22004/303705 298.69/274.65 c cleaning 8007 clauses out of 16018 with flag 36004/310705 305.20/280.93 c cleaning 7999 clauses out of 16010 with flag 52002/318704 312.92/288.22 c cleaning 8504 clauses out of 17011 with flag 70002/327704 321.69/296.50 c cleaning 9254 clauses out of 18508 with flag 90004/337705 322.30/297.13 c Got one! Elapsed wall clock time (in seconds):296.991 322.30/297.13 o -11586 326.61/301.39 c cleaning 7451 clauses out of 14913 with flag 10003/343364 332.36/306.71 c cleaning 6727 clauses out of 13462 with flag 22003/349364 334.66/309.08 c Got one! Elapsed wall clock time (in seconds):308.942 334.66/309.08 o -11591 337.82/311.99 c cleaning 6302 clauses out of 12608 with flag 6006/355237 342.91/316.85 c Got one! Elapsed wall clock time (in seconds):316.716 342.91/316.86 o -11596 347.77/321.37 c Got one! Elapsed wall clock time (in seconds):321.231 347.77/321.37 o -11597 348.77/322.33 c cleaning 8553 clauses out of 17107 with flag 2059/366038 351.34/324.21 c Got one! Elapsed wall clock time (in seconds):324.072 351.34/324.21 o -11601 352.53/324.81 c Got one! Elapsed wall clock time (in seconds):324.67 352.53/324.81 o -11613 356.81/328.73 c cleaning 7458 clauses out of 14924 with flag 8006/372408 362.59/334.29 c cleaning 6730 clauses out of 13465 with flag 20004/378407 367.00/338.47 c Got one! Elapsed wall clock time (in seconds):338.33 367.00/338.47 o -11696 367.90/339.36 c cleaning 6086 clauses out of 12177 with flag 2007/383849 371.09/342.34 c Got one! Elapsed wall clock time (in seconds):342.204 371.09/342.34 o -11741 372.89/344.17 c cleaning 5615 clauses out of 11230 with flag 4015/388988 372.99/344.20 c Got one! Elapsed wall clock time (in seconds):344.062 372.99/344.20 o -11754 376.85/348.00 c Got one! Elapsed wall clock time (in seconds):347.859 376.85/348.00 o -11777 377.84/348.90 c cleaning 5401 clauses out of 10806 with flag 2033/394179 380.20/351.11 c Got one! Elapsed wall clock time (in seconds):350.969 380.20/351.11 o -11782 380.79/351.75 c Got one! Elapsed wall clock time (in seconds):351.616 380.79/351.75 o -11784 380.90/351.83 c Got one! Elapsed wall clock time (in seconds):351.686 380.90/351.83 o -11794 381.00/351.96 c Got one! Elapsed wall clock time (in seconds):351.824 381.00/351.96 o -11798 382.89/353.83 c Got one! Elapsed wall clock time (in seconds):353.689 382.89/353.83 o -12070 385.05/355.63 c cleaning 6243 clauses out of 12499 with flag 4001/401273 390.03/360.38 c cleaning 6124 clauses out of 12256 with flag 16001/407273 396.20/366.24 c cleaning 6562 clauses out of 13132 with flag 30001/414273 402.97/372.83 c cleaning 7282 clauses out of 14571 with flag 46003/422274 411.39/380.71 c cleaning 8140 clauses out of 16288 with flag 64001/431273 420.53/389.34 c cleaning 9075 clauses out of 18149 with flag 84003/441274 430.67/398.95 c cleaning 10035 clauses out of 20074 with flag 106003/452274 441.29/409.08 c cleaning 11017 clauses out of 22039 with flag 130003/464274 453.01/419.94 c cleaning 12011 clauses out of 24022 with flag 156003/477274 466.23/432.28 c cleaning 13005 clauses out of 26011 with flag 184003/491274 480.41/445.75 c cleaning 13998 clauses out of 28006 with flag 214003/506274 498.86/460.34 c cleaning 15004 clauses out of 30008 with flag 246003/522274 516.11/476.33 c cleaning 15999 clauses out of 32004 with flag 280003/539274 533.55/492.98 c cleaning 16999 clauses out of 34005 with flag 316003/557274 535.95/494.92 c Got one! Elapsed wall clock time (in seconds):494.777 535.95/494.92 o -12192 539.34/498.31 c cleaning 11395 clauses out of 22798 with flag 8002/563066 544.71/503.42 c cleaning 8699 clauses out of 17404 with flag 20004/569067 550.91/509.33 c cleaning 7849 clauses out of 15705 with flag 34004/576067 557.84/516.04 c cleaning 7924 clauses out of 15856 with flag 50004/584067 565.67/523.78 c cleaning 8462 clauses out of 16932 with flag 68004/593067 575.86/533.29 c cleaning 9232 clauses out of 18469 with flag 88002/603066 586.15/543.25 c cleaning 10116 clauses out of 20237 with flag 110002/614066 597.87/554.38 c cleaning 11059 clauses out of 22122 with flag 134004/626067 598.96/555.43 c Got one! Elapsed wall clock time (in seconds):555.294 598.96/555.43 o -12195 602.66/558.99 c cleaning 8120 clauses out of 16250 with flag 8288/631254 608.19/564.29 c cleaning 7059 clauses out of 14130 with flag 20557/637254 614.98/570.74 c cleaning 7029 clauses out of 14070 with flag 34809/644253 620.90/576.31 c Got one! Elapsed wall clock time (in seconds):576.17 620.90/576.31 o -12202 625.50/580.94 c cleaning 8877 clauses out of 17753 with flag 10321/654965 631.62/586.94 c cleaning 7436 clauses out of 14876 with flag 22863/660965 635.17/590.30 c Got one! Elapsed wall clock time (in seconds):590.161 635.17/590.30 o -12236 636.76/591.98 c cleaning 6350 clauses out of 12718 with flag 4003/666243 642.36/597.37 c cleaning 6182 clauses out of 12368 with flag 16003/672243 648.88/603.63 c cleaning 6589 clauses out of 13186 with flag 30003/679243 656.53/611.00 c cleaning 7298 clauses out of 14598 with flag 46005/687244 664.89/619.18 c cleaning 8147 clauses out of 16300 with flag 64005/696244 674.67/628.34 c cleaning 9074 clauses out of 18153 with flag 84005/706244 686.62/639.42 c cleaning 10038 clauses out of 20078 with flag 106003/717243 691.81/644.61 c Got one! Elapsed wall clock time (in seconds):644.474 691.81/644.61 o -12299 698.91/649.57 c cleaning 10407 clauses out of 20822 with flag 10006/728025 704.69/655.11 c cleaning 8206 clauses out of 16415 with flag 22006/734025 709.57/659.86 c Got one! Elapsed wall clock time (in seconds):659.718 709.57/659.86 o -12359 715.16/664.90 c cleaning 9108 clauses out of 18216 with flag 10005/744032 717.96/667.75 c Got one! Elapsed wall clock time (in seconds):667.612 717.96/667.75 o -12382 719.75/669.57 c cleaning 7147 clauses out of 14293 with flag 4029/749217 719.85/669.65 c Got one! Elapsed wall clock time (in seconds):669.509 719.85/669.65 o -12403 721.02/670.70 c Got one! Elapsed wall clock time (in seconds):670.559 721.02/670.70 o -12412 721.22/670.99 c Got one! Elapsed wall clock time (in seconds):670.85 721.22/670.99 o -12413 722.02/671.72 c Got one! Elapsed wall clock time (in seconds):671.584 722.02/671.72 o -12428 723.90/673.62 c Got one! Elapsed wall clock time (in seconds):673.477 723.90/673.62 o -12433 724.00/673.76 c Got one! Elapsed wall clock time (in seconds):673.625 724.00/673.76 o -12457 725.68/675.41 c Got one! Elapsed wall clock time (in seconds):675.269 725.68/675.41 o -12468 727.58/676.83 c cleaning 7155 clauses out of 14313 with flag 2007/756384 732.77/682.10 c cleaning 6578 clauses out of 13158 with flag 14007/762384 740.37/689.02 c cleaning 6788 clauses out of 13580 with flag 28007/769384 742.26/690.96 c Got one! Elapsed wall clock time (in seconds):690.821 742.26/690.96 o -12524 744.16/692.84 c Got one! Elapsed wall clock time (in seconds):692.705 744.16/692.84 o -12541 745.06/693.79 c cleaning 5957 clauses out of 11916 with flag 2007/774508 745.16/693.82 c Got one! Elapsed wall clock time (in seconds):693.681 745.16/693.82 o -12556 745.16/693.89 c Got one! Elapsed wall clock time (in seconds):693.755 745.16/693.89 o -12558 745.26/693.99 c Got one! Elapsed wall clock time (in seconds):693.855 745.26/693.99 o -12564 745.66/694.32 c Got one! Elapsed wall clock time (in seconds):694.182 745.66/694.32 o -12565 745.66/694.39 c Got one! Elapsed wall clock time (in seconds):694.256 745.66/694.39 o -12566 746.39/694.99 c Got one! Elapsed wall clock time (in seconds):694.852 746.39/694.99 o -12583 748.37/696.92 c Got one! Elapsed wall clock time (in seconds):696.784 748.37/696.92 o -12600 748.58/697.16 c Got one! Elapsed wall clock time (in seconds):697.016 748.58/697.16 o -12609 749.07/697.68 c Got one! Elapsed wall clock time (in seconds):697.544 749.07/697.68 o -12610 750.37/698.90 c Got one! Elapsed wall clock time (in seconds):698.761 750.37/698.90 o -12616 753.16/701.28 c cleaning 6573 clauses out of 13148 with flag 4007/781697 755.16/703.27 c Got one! Elapsed wall clock time (in seconds):703.132 755.16/703.27 o -12620 755.36/703.42 c Got one! Elapsed wall clock time (in seconds):703.277 755.36/703.42 o -12625 755.36/703.49 c Got one! Elapsed wall clock time (in seconds):703.347 755.36/703.49 o -12654 758.25/706.35 c cleaning 5957 clauses out of 11913 with flag 6048/787035 759.17/707.15 c Got one! Elapsed wall clock time (in seconds):707.007 759.17/707.15 o -12672 762.95/710.92 c cleaning 5839 clauses out of 11686 with flag 10003/792765 767.83/715.61 c cleaning 5919 clauses out of 11846 with flag 22001/798764 773.99/721.50 c cleaning 6459 clauses out of 12927 with flag 36001/805764 780.89/728.17 c cleaning 7228 clauses out of 14468 with flag 52001/813764 788.46/735.42 c cleaning 8118 clauses out of 16240 with flag 70001/822764 797.09/743.83 c cleaning 9059 clauses out of 18123 with flag 90003/832765 807.15/753.36 c cleaning 10032 clauses out of 20063 with flag 112001/843764 818.74/764.19 c cleaning 11014 clauses out of 22031 with flag 136001/855764 830.59/775.67 c cleaning 12005 clauses out of 24018 with flag 162003/868765 844.64/788.58 c cleaning 13006 clauses out of 26012 with flag 190001/882764 859.25/802.26 c cleaning 14000 clauses out of 28006 with flag 220001/897764 874.58/816.77 c cleaning 15003 clauses out of 30006 with flag 252001/913764 893.94/832.26 c cleaning 15997 clauses out of 32003 with flag 286001/930764 899.05/837.15 c Got one! Elapsed wall clock time (in seconds):837.009 899.05/837.15 o -12751 904.24/841.86 c cleaning 13120 clauses out of 26247 with flag 10002/941005 909.13/846.79 c cleaning 9560 clauses out of 19128 with flag 22004/947006 915.00/852.57 c cleaning 8281 clauses out of 16567 with flag 36002/954005 921.89/859.35 c cleaning 8140 clauses out of 16286 with flag 52002/962005 930.56/867.49 c cleaning 8574 clauses out of 17147 with flag 70004/971006 939.98/876.48 c cleaning 9284 clauses out of 18573 with flag 90004/981006 949.97/886.10 c cleaning 10143 clauses out of 20289 with flag 112004/992006 961.24/896.84 c cleaning 11073 clauses out of 22145 with flag 136002/1004005 974.02/908.97 c cleaning 12033 clauses out of 24072 with flag 162002/1017005 988.16/922.37 c cleaning 13015 clauses out of 26040 with flag 190004/1031006 995.54/929.48 c Got one! Elapsed wall clock time (in seconds):929.336 995.54/929.48 o -12753 1000.74/934.15 c cleaning 12703 clauses out of 25416 with flag 10005/1043397 1006.35/939.43 c cleaning 9353 clauses out of 18713 with flag 22005/1049397 1012.85/945.59 c cleaning 8176 clauses out of 16360 with flag 36005/1056397 1020.74/953.05 c cleaning 8090 clauses out of 16183 with flag 52003/1064396 1028.96/960.91 c cleaning 8543 clauses out of 17094 with flag 70005/1073397 1038.95/970.17 c cleaning 9273 clauses out of 18551 with flag 90005/1083397 1049.80/980.57 c cleaning 10139 clauses out of 20278 with flag 112005/1094397 1050.00/980.74 c Got one! Elapsed wall clock time (in seconds):980.603 1050.00/980.74 o -12760 1054.75/985.29 c cleaning 7658 clauses out of 15323 with flag 10004/1099581 1060.73/990.92 c cleaning 6830 clauses out of 13666 with flag 22006/1105582 1065.22/995.44 c Got one! Elapsed wall clock time (in seconds):995.3 1065.22/995.44 o -12780 1067.46/996.76 c cleaning 6398 clauses out of 12811 with flag 2005/1111557 1073.48/1002.04 c cleaning 6203 clauses out of 12413 with flag 14005/1117557 1074.68/1003.27 c Got one! Elapsed wall clock time (in seconds):1003.133 1074.68/1003.27 o -12824 1078.37/1006.99 c cleaning 5791 clauses out of 11589 with flag 8048/1122936 1078.48/1007.01 c Got one! Elapsed wall clock time (in seconds):1006.875 1078.48/1007.01 o -12835 1080.27/1008.83 c Got one! Elapsed wall clock time (in seconds):1008.688 1080.27/1008.83 o -12848 1080.37/1008.97 c Got one! Elapsed wall clock time (in seconds):1008.827 1080.37/1008.97 o -12854 1080.83/1009.20 c Got one! Elapsed wall clock time (in seconds):1009.06 1080.83/1009.20 o -12857 1080.83/1009.22 c Got one! Elapsed wall clock time (in seconds):1009.08 1080.83/1009.22 o -12868 1082.54/1010.95 c Got one! Elapsed wall clock time (in seconds):1010.809 1082.54/1010.95 o -12908 1085.23/1013.64 c cleaning 6382 clauses out of 12770 with flag 6005/1129908 1090.87/1019.16 c cleaning 6189 clauses out of 12389 with flag 18007/1135909 1097.13/1025.23 c cleaning 6598 clauses out of 13200 with flag 32007/1142909 1097.33/1025.44 c Got one! Elapsed wall clock time (in seconds):1025.301 1097.33/1025.44 o -13034 1102.19/1030.16 c cleaning 5919 clauses out of 11846 with flag 10006/1148153 1105.51/1033.27 c Got one! Elapsed wall clock time (in seconds):1033.129 1105.51/1033.27 o -13037 1107.41/1035.10 c cleaning 5563 clauses out of 11127 with flag 4007/1153353 1109.50/1037.23 c Got one! Elapsed wall clock time (in seconds):1037.095 1109.50/1037.23 o -13041 1109.60/1037.31 c Got one! Elapsed wall clock time (in seconds):1037.17 1109.60/1037.31 o -13045 1109.60/1037.38 c Got one! Elapsed wall clock time (in seconds):1037.245 1109.60/1037.38 o -13051 1109.70/1037.45 c Got one! Elapsed wall clock time (in seconds):1037.309 1109.70/1037.45 o -13065 1113.09/1040.59 c cleaning 5566 clauses out of 11137 with flag 6107/1158926 1113.70/1041.15 c Got one! Elapsed wall clock time (in seconds):1041.014 1113.70/1041.15 o -13340 1117.38/1044.88 c cleaning 5565 clauses out of 11134 with flag 10004/1164489 1122.00/1049.44 c cleaning 5785 clauses out of 11569 with flag 22004/1170489 1127.96/1055.27 c cleaning 6391 clauses out of 12783 with flag 36002/1177488 1135.08/1062.12 c cleaning 7196 clauses out of 14393 with flag 52004/1185489 1142.64/1069.52 c cleaning 8094 clauses out of 16196 with flag 70002/1194488 1152.31/1078.65 c cleaning 9051 clauses out of 18103 with flag 90004/1204489 1162.22/1088.20 c cleaning 10026 clauses out of 20052 with flag 112004/1215489 1173.37/1098.75 c cleaning 11013 clauses out of 22025 with flag 136002/1227488 1185.86/1110.43 c cleaning 12003 clauses out of 24013 with flag 162004/1240489 1199.38/1123.14 c cleaning 13003 clauses out of 26009 with flag 190002/1254488 1213.88/1136.87 c cleaning 14004 clauses out of 28007 with flag 220004/1269489 1229.17/1151.35 c cleaning 14999 clauses out of 30003 with flag 252004/1285489 1247.02/1167.94 c cleaning 16001 clauses out of 32004 with flag 286004/1302489 1248.61/1169.54 c Got one! Elapsed wall clock time (in seconds):1169.406 1248.61/1169.54 o -13423 1252.65/1173.21 c cleaning 10899 clauses out of 21800 with flag 8005/1308286 1257.54/1178.19 c cleaning 8447 clauses out of 16900 with flag 20003/1314285 1263.35/1183.93 c cleaning 7722 clauses out of 15453 with flag 34003/1321285 1270.90/1190.98 c cleaning 7864 clauses out of 15731 with flag 50003/1329285 1279.54/1199.19 c cleaning 8430 clauses out of 16868 with flag 68005/1338286 1290.22/1208.09 c cleaning 9215 clauses out of 18438 with flag 88005/1348286 1301.60/1218.60 c cleaning 10111 clauses out of 20223 with flag 110005/1359286 1314.00/1230.26 c cleaning 11054 clauses out of 22111 with flag 134003/1371285 1327.49/1242.83 c cleaning 12027 clauses out of 24058 with flag 160005/1384286 1342.11/1256.41 c cleaning 13014 clauses out of 26031 with flag 188005/1398286 1353.62/1267.42 c Got one! Elapsed wall clock time (in seconds):1267.28 1353.62/1267.42 o -13424 1358.91/1272.28 c cleaning 14739 clauses out of 29481 with flag 10004/1414750 1364.57/1277.66 c cleaning 10366 clauses out of 20742 with flag 22004/1420750 1371.13/1283.91 c cleaning 8687 clauses out of 17376 with flag 36004/1427750 1378.66/1291.21 c cleaning 8340 clauses out of 16689 with flag 52004/1435750 1388.14/1300.02 c cleaning 8669 clauses out of 17350 with flag 70006/1444751 1398.25/1309.72 c cleaning 9340 clauses out of 18680 with flag 90004/1454750 1409.77/1320.55 c cleaning 10170 clauses out of 20341 with flag 112006/1465751 1416.32/1326.71 c Got one! Elapsed wall clock time (in seconds):1326.572 1416.32/1326.71 o -13433 1420.81/1331.20 c cleaning 10681 clauses out of 21372 with flag 10005/1476952 1426.41/1336.77 c cleaning 8342 clauses out of 16691 with flag 22005/1482952 1432.91/1343.13 c cleaning 7670 clauses out of 15349 with flag 36005/1489952 1441.27/1350.91 c cleaning 7837 clauses out of 15680 with flag 52007/1497953 1447.46/1356.77 c Got one! Elapsed wall clock time (in seconds):1356.626 1447.46/1356.77 o -13438 1452.15/1361.43 c cleaning 9361 clauses out of 18726 with flag 10008/1508836 1452.64/1361.90 c Got one! Elapsed wall clock time (in seconds):1361.761 1452.64/1361.90 o -13442 1454.15/1363.36 c Got one! Elapsed wall clock time (in seconds):1363.219 1454.15/1363.36 o -13447 1455.35/1364.57 c Got one! Elapsed wall clock time (in seconds):1364.429 1455.35/1364.57 o -13459 1458.14/1367.37 c cleaning 7813 clauses out of 15631 with flag 6007/1515102 1459.41/1368.55 c Got one! Elapsed wall clock time (in seconds):1368.41 1459.41/1368.55 o -13467 1459.61/1368.69 c Got one! Elapsed wall clock time (in seconds):1368.549 1459.61/1368.69 o -13478 1460.20/1368.94 c Got one! Elapsed wall clock time (in seconds):1368.796 1460.20/1368.94 o -13486 1460.20/1368.97 c Got one! Elapsed wall clock time (in seconds):1368.833 1460.20/1368.97 o -13487 1462.45/1370.25 c Got one! Elapsed wall clock time (in seconds):1370.111 1462.45/1370.25 o -13491 1465.35/1373.11 c Got one! Elapsed wall clock time (in seconds):1372.967 1465.35/1373.11 o -13512 1466.25/1374.04 c cleaning 7340 clauses out of 14687 with flag 2036/1521971 1471.89/1379.68 c cleaning 6674 clauses out of 13348 with flag 14161/1527972 1472.49/1380.29 c Got one! Elapsed wall clock time (in seconds):1380.155 1472.49/1380.29 o -13530 1473.08/1380.71 c Got one! Elapsed wall clock time (in seconds):1380.57 1473.08/1380.71 o -13535 1477.87/1385.53 c cleaning 6325 clauses out of 12656 with flag 10082/1533954 1480.08/1387.69 c Got one! Elapsed wall clock time (in seconds):1387.548 1480.08/1387.69 o -13893 1482.17/1389.78 c cleaning 5772 clauses out of 11560 with flag 6001/1539183 1487.21/1394.53 c cleaning 5890 clauses out of 11789 with flag 18003/1545184 1493.02/1400.07 c cleaning 6450 clauses out of 12899 with flag 32003/1552184 1500.18/1406.81 c cleaning 7223 clauses out of 14449 with flag 48003/1560184 1508.03/1414.36 c cleaning 8111 clauses out of 16225 with flag 66001/1569183 1516.52/1422.51 c cleaning 9057 clauses out of 18114 with flag 86001/1579183 1526.62/1432.00 c cleaning 10027 clauses out of 20058 with flag 108003/1590184 1536.90/1441.89 c cleaning 11012 clauses out of 22031 with flag 132003/1602184 1549.25/1453.44 c cleaning 12008 clauses out of 24018 with flag 158001/1615183 1562.46/1465.88 c cleaning 13005 clauses out of 26010 with flag 186001/1629183 1576.13/1478.71 c cleaning 14001 clauses out of 28005 with flag 216001/1644183 1590.38/1492.22 c cleaning 14999 clauses out of 30005 with flag 248003/1660184 1605.57/1506.72 c cleaning 16003 clauses out of 32005 with flag 282001/1677183 1623.22/1523.20 c cleaning 16997 clauses out of 34002 with flag 318001/1695183 1642.23/1540.98 c cleaning 18000 clauses out of 36006 with flag 356003/1714184 1664.58/1559.66 c cleaning 18999 clauses out of 38006 with flag 396003/1734184 1685.49/1579.21 c cleaning 19995 clauses out of 40006 with flag 438001/1755183 1708.68/1600.68 c cleaning 21002 clauses out of 42011 with flag 482001/1777183 1732.48/1622.91 c cleaning 22004 clauses out of 44009 with flag 528001/1800183 1756.05/1645.26 c cleaning 23003 clauses out of 46005 with flag 576001/1824183 1780.96/1668.97 c cleaning 24001 clauses out of 48003 with flag 626003/1849184 1813.05/1694.37 c cleaning 24999 clauses out of 50001 with flag 678001/1875183 1842.16/1721.48 c cleaning 26000 clauses out of 52002 with flag 732001/1902183 1871.13/1748.20 c cleaning 26998 clauses out of 54003 with flag 788003/1930184 1901.30/1776.74 c cleaning 27998 clauses out of 56004 with flag 846001/1959183 1940.09/1807.72 c cleaning 29003 clauses out of 58007 with flag 906003/1989184 1973.79/1839.06 c cleaning 29999 clauses out of 60003 with flag 968001/2020183 2008.64/1871.79 c cleaning 30998 clauses out of 62005 with flag 1032003/2052184 2052.70/1906.36 c cleaning 32002 clauses out of 64006 with flag 1098001/2085183 2060.59/1913.92 c Got one! Elapsed wall clock time (in seconds):1913.778 2060.59/1913.92 o -13923 2065.61/1918.48 c cleaning 22231 clauses out of 44478 with flag 10002/2097657 2070.50/1923.31 c cleaning 14120 clauses out of 28248 with flag 22004/2103658 2076.26/1929.01 c cleaning 10560 clauses out of 21127 with flag 36002/2110657 2083.03/1935.76 c cleaning 9278 clauses out of 18568 with flag 52004/2118658 2091.70/1943.76 c cleaning 9138 clauses out of 18289 with flag 70002/2127657 2100.96/1952.60 c cleaning 9574 clauses out of 19151 with flag 90002/2137657 2111.70/1962.61 c cleaning 10286 clauses out of 20577 with flag 112002/2148657 2122.75/1973.37 c cleaning 11146 clauses out of 22291 with flag 136002/2160657 2134.76/1984.75 c cleaning 12070 clauses out of 24146 with flag 162004/2173658 2147.73/1997.03 c cleaning 13036 clauses out of 26076 with flag 190004/2187658 2161.60/2010.27 c cleaning 14016 clauses out of 28039 with flag 220002/2202657 2176.43/2024.45 c cleaning 15010 clauses out of 30023 with flag 252002/2218657 2197.57/2041.03 c cleaning 16004 clauses out of 32014 with flag 286004/2235658 2216.19/2058.28 c cleaning 17002 clauses out of 34009 with flag 322002/2253657 2231.25/2072.44 c Got one! Elapsed wall clock time (in seconds):2072.3 2231.25/2072.44 o -13925 2235.44/2076.66 c cleaning 18302 clauses out of 36618 with flag 10003/2273268 2240.53/2081.67 c cleaning 12153 clauses out of 24316 with flag 22003/2279268 2246.54/2087.58 c cleaning 9577 clauses out of 19165 with flag 36007/2286270 2253.54/2094.42 c cleaning 8792 clauses out of 17588 with flag 52007/2294270 2262.27/2102.61 c cleaning 8893 clauses out of 17794 with flag 70003/2303268 2271.64/2111.61 c cleaning 9443 clauses out of 18901 with flag 90003/2313268 2282.61/2121.97 c cleaning 10228 clauses out of 20459 with flag 112005/2324269 2293.94/2132.91 c cleaning 11112 clauses out of 22230 with flag 136003/2336268 2306.53/2144.95 c cleaning 12058 clauses out of 24119 with flag 162005/2349269 2320.76/2158.13 c cleaning 13028 clauses out of 26061 with flag 190005/2363269 2336.06/2172.56 c cleaning 14014 clauses out of 28032 with flag 220003/2378268 2351.76/2187.43 c cleaning 15006 clauses out of 30019 with flag 252005/2394269 2353.55/2189.29 c Got one! Elapsed wall clock time (in seconds):2189.146 2353.55/2189.29 o -13935 2359.00/2192.25 c cleaning 10081 clauses out of 20170 with flag 6281/2399426 2364.81/2197.75 c cleaning 8040 clauses out of 16088 with flag 18872/2405425 2371.75/2204.32 c cleaning 7523 clauses out of 15049 with flag 33470/2412426 2379.44/2211.73 c cleaning 7760 clauses out of 15525 with flag 49770/2420425 2387.67/2219.78 c cleaning 8380 clauses out of 16765 with flag 67771/2429425 2397.88/2229.31 c cleaning 9190 clauses out of 18385 with flag 88548/2439425 2403.01/2234.12 c Got one! Elapsed wall clock time (in seconds):2233.981 2403.01/2234.12 o -13942 2407.69/2238.83 c cleaning 9611 clauses out of 19227 with flag 10405/2449457 2413.48/2244.52 c cleaning 7808 clauses out of 15617 with flag 22724/2455458 2420.21/2251.19 c cleaning 7400 clauses out of 14808 with flag 37080/2462457 2428.85/2259.28 c cleaning 7699 clauses out of 15408 with flag 53757/2470457 2438.12/2268.13 c cleaning 8352 clauses out of 16709 with flag 72194/2479457 2446.52/2276.34 c Got one! Elapsed wall clock time (in seconds):2276.199 2446.52/2276.34 o -13946 2452.33/2281.66 c Got one! Elapsed wall clock time (in seconds):2281.523 2452.33/2281.66 o -14144 2453.13/2282.49 c cleaning 11162 clauses out of 22334 with flag 2003/2493434 2458.54/2287.68 c cleaning 8581 clauses out of 17172 with flag 14003/2499434 2464.93/2293.87 c cleaning 7790 clauses out of 15592 with flag 28005/2506435 2472.29/2301.05 c cleaning 7897 clauses out of 15802 with flag 44005/2514435 2481.19/2309.34 c cleaning 8450 clauses out of 16905 with flag 62005/2523435 2490.64/2318.37 c cleaning 9226 clauses out of 18455 with flag 82005/2533435 2501.20/2328.19 c cleaning 10113 clauses out of 20228 with flag 104003/2544434 2512.49/2339.07 c cleaning 11058 clauses out of 22115 with flag 128003/2556434 2525.11/2351.05 c cleaning 12028 clauses out of 24057 with flag 154003/2569434 2538.78/2364.04 c cleaning 13011 clauses out of 26030 with flag 182005/2583435 2554.78/2378.94 c cleaning 14005 clauses out of 28019 with flag 212005/2598435 2573.86/2394.66 c cleaning 15004 clauses out of 30014 with flag 244005/2614435 2592.43/2411.99 c cleaning 16005 clauses out of 32010 with flag 278005/2631435 2611.28/2429.85 c cleaning 17000 clauses out of 34004 with flag 314003/2649434 2631.77/2449.06 c cleaning 18001 clauses out of 36006 with flag 352007/2668436 2652.93/2469.03 c cleaning 18998 clauses out of 38004 with flag 392005/2688435 2665.19/2480.64 c Got one! Elapsed wall clock time (in seconds):2480.496 2665.19/2480.64 o -14253 2670.59/2485.58 c cleaning 17768 clauses out of 35545 with flag 10006/2704974 2676.40/2491.07 c cleaning 11884 clauses out of 23777 with flag 22006/2710974 2683.35/2497.68 c cleaning 9442 clauses out of 18893 with flag 36006/2717974 2691.18/2505.18 c cleaning 8723 clauses out of 17451 with flag 52006/2725974 2699.91/2513.65 c cleaning 8863 clauses out of 17727 with flag 70004/2734973 2710.00/2523.12 c cleaning 9430 clauses out of 18865 with flag 90006/2744974 2723.48/2534.11 c cleaning 10214 clauses out of 20434 with flag 112004/2755973 2735.19/2545.41 c cleaning 11106 clauses out of 22220 with flag 136004/2767973 2748.27/2557.90 c cleaning 12056 clauses out of 24115 with flag 162006/2780974 2763.61/2572.12 c cleaning 13028 clauses out of 26059 with flag 190006/2794974 2779.69/2587.24 c cleaning 14009 clauses out of 28030 with flag 220004/2809973 2796.88/2603.63 c cleaning 15008 clauses out of 30022 with flag 252006/2825974 2800.72/2607.34 c Got one! Elapsed wall clock time (in seconds):2607.206 2800.72/2607.35 o -14320 2802.42/2609.03 c cleaning 10381 clauses out of 20774 with flag 4005/2831734 2807.89/2614.41 c cleaning 8192 clauses out of 16393 with flag 16005/2837734 2814.39/2620.80 c cleaning 7597 clauses out of 15201 with flag 30005/2844734 2822.86/2628.70 c cleaning 7799 clauses out of 15605 with flag 46007/2852735 2832.07/2637.54 c cleaning 8398 clauses out of 16806 with flag 64007/2861735 2842.32/2647.02 c cleaning 9202 clauses out of 18407 with flag 84005/2871734 2853.11/2657.44 c cleaning 10099 clauses out of 20205 with flag 106005/2882734 2865.46/2669.15 c cleaning 11051 clauses out of 22106 with flag 130005/2894734 2865.66/2669.36 c Got one! Elapsed wall clock time (in seconds):2669.223 2865.66/2669.36 o -14326 2870.64/2674.14 c cleaning 8144 clauses out of 16299 with flag 10008/2899978 2876.63/2679.90 c cleaning 7073 clauses out of 14155 with flag 22008/2905978 2878.83/2682.17 c Got one! Elapsed wall clock time (in seconds):2682.03 2878.83/2682.17 o -14328 2882.14/2685.25 c cleaning 6266 clauses out of 12538 with flag 6158/2911434 2882.33/2685.41 c Got one! Elapsed wall clock time (in seconds):2685.266 2882.33/2685.41 o -14340 2887.41/2690.26 c cleaning 5709 clauses out of 11433 with flag 10015/2916595 2890.31/2693.16 c Got one! Elapsed wall clock time (in seconds):2693.021 2890.31/2693.16 o -14341 2890.60/2693.42 c Got one! Elapsed wall clock time (in seconds):2693.281 2890.60/2693.42 o -14351 2890.70/2693.51 c Got one! Elapsed wall clock time (in seconds):2693.375 2890.70/2693.51 o -14356 2890.70/2693.54 c Got one! Elapsed wall clock time (in seconds):2693.397 2890.70/2693.54 o -14359 2890.90/2693.70 c Got one! Elapsed wall clock time (in seconds):2693.559 2890.90/2693.70 o -14367 2891.10/2693.97 c Got one! Elapsed wall clock time (in seconds):2693.826 2891.10/2693.97 o -14368 2893.72/2696.23 c cleaning 5878 clauses out of 11759 with flag 4062/2922630 2894.63/2697.18 c Got one! Elapsed wall clock time (in seconds):2697.043 2894.63/2697.18 o -14372 2899.86/2701.40 c cleaning 5479 clauses out of 10958 with flag 8051/2927707 2900.27/2701.67 c Got one! Elapsed wall clock time (in seconds):2701.533 2900.27/2701.67 o -14402 2905.29/2706.29 c cleaning 5364 clauses out of 10741 with flag 10007/2932969 2910.92/2711.81 c cleaning 5689 clauses out of 11378 with flag 22009/2938970 2916.01/2716.82 c Got one! Elapsed wall clock time (in seconds):2716.676 2916.01/2716.82 o -14405 2916.81/2717.61 c Got one! Elapsed wall clock time (in seconds):2717.472 2916.81/2717.61 o -14416 2922.41/2722.72 c cleaning 8406 clauses out of 16811 with flag 10068/2950092 2928.42/2728.55 c cleaning 7201 clauses out of 14406 with flag 22141/2956093 2932.09/2732.03 c Got one! Elapsed wall clock time (in seconds):2731.889 2932.09/2732.03 o -14424 2933.49/2733.41 c cleaning 6422 clauses out of 12847 with flag 4001/2961735 2938.34/2738.06 c cleaning 6204 clauses out of 12425 with flag 16001/2967735 2944.15/2743.56 c cleaning 6610 clauses out of 13221 with flag 30001/2974735 2950.92/2749.95 c cleaning 7304 clauses out of 14612 with flag 46003/2982736 2958.77/2757.40 c cleaning 8151 clauses out of 16307 with flag 64001/2991735 2967.45/2765.80 c cleaning 9074 clauses out of 18156 with flag 84001/3001735 2977.48/2775.29 c cleaning 10040 clauses out of 20082 with flag 106001/3012735 2988.21/2785.65 c cleaning 11019 clauses out of 22043 with flag 130003/3024736 3000.53/2797.36 c cleaning 12008 clauses out of 24023 with flag 156001/3037735 3013.55/2809.62 c cleaning 13003 clauses out of 26016 with flag 184003/3051736 3027.69/2823.05 c cleaning 14003 clauses out of 28012 with flag 214001/3066735 3043.56/2838.13 c cleaning 15005 clauses out of 30010 with flag 246003/3082736 3060.47/2854.00 c cleaning 16003 clauses out of 32005 with flag 280003/3099736 3078.21/2870.85 c cleaning 16996 clauses out of 34002 with flag 316003/3117736 3100.32/2888.73 c cleaning 17999 clauses out of 36005 with flag 354001/3136735 3120.07/2907.23 c cleaning 19000 clauses out of 38006 with flag 394001/3156735 3141.60/2927.33 c cleaning 20000 clauses out of 40007 with flag 436003/3177736 3164.08/2948.29 c cleaning 20999 clauses out of 42008 with flag 480005/3199737 3186.95/2969.71 c cleaning 22001 clauses out of 44008 with flag 526003/3222736 3210.81/2992.36 c cleaning 22998 clauses out of 46007 with flag 574003/3246736 3240.72/3016.55 c cleaning 23999 clauses out of 48009 with flag 624003/3271736 3267.82/3041.85 c cleaning 25005 clauses out of 50010 with flag 676003/3297736 3296.64/3068.59 c cleaning 26003 clauses out of 52005 with flag 730003/3324736 3325.50/3095.63 c cleaning 26995 clauses out of 54002 with flag 786003/3352736 3362.32/3124.82 c cleaning 27999 clauses out of 56006 with flag 844001/3381735 3395.10/3155.36 c cleaning 29002 clauses out of 58007 with flag 904001/3411735 3427.79/3185.85 c cleaning 30003 clauses out of 60005 with flag 966001/3442735 3467.68/3217.92 c cleaning 31000 clauses out of 62002 with flag 1030001/3474735 3503.64/3250.19 c cleaning 31997 clauses out of 64002 with flag 1096001/3507735 3541.47/3285.44 c cleaning 32999 clauses out of 66005 with flag 1164001/3541735 3588.34/3322.21 c cleaning 33997 clauses out of 68006 with flag 1234001/3576735 3600.05/3333.21 c starts : 222 3600.05/3333.22 c conflicts : 3588171 3600.05/3333.22 c decisions : 3596541 3600.05/3333.22 c propagations : 1815918039 3600.05/3333.22 c inspects : 6918845949 3600.05/3333.23 c shortcuts : 0 3600.05/3333.23 c learnt literals : 0 3600.05/3333.23 c learnt binary clauses : 0 3600.05/3333.23 c learnt ternary clauses : 0 3600.05/3333.23 c learnt constraints : 3588171 3600.05/3333.23 c ignored constraints : 0 3600.05/3333.23 c root simplifications : 0 3600.05/3333.23 c removed literals (reason simplification) : 2856307807 3600.05/3333.23 c reason swapping (by a shorter reason) : 0 3600.05/3333.23 c Calls to reduceDB : 318 3600.05/3333.23 c Number of update (reduction) of LBD : 626 3600.05/3333.23 c Imported unit clauses : 0 3600.05/3333.24 c No decision after first conflict : false 3600.05/3333.24 c number of reductions to clauses (during analyze) : 0 3600.05/3333.24 c number of learned constraints concerned by reduction : 0 3600.05/3333.24 c number of learning phase by resolution : 0 3600.05/3333.24 c number of learning phase by cutting planes : 0 3600.05/3333.24 c number of rounding to 1 operations : 0 3600.05/3333.25 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.05/3333.25 c number of reductions of the coefficients by power 2 : 0 3600.05/3333.25 c number of right shift for reduction by power 2 : 0 3600.05/3333.25 c number of reductions of the coefficients by GCD over coefficients : 0 3600.05/3333.25 c number of ending skipping : 0 3600.05/3333.25 c number of internal skipping : 0 3600.05/3333.25 c number of derivation steps : 0 3600.05/3333.25 c number of skipped derivation steps : 0 3600.05/3333.25 c number of remaining unassigned : 0 3600.05/3333.25 c number of remaining assigned : 0 3600.05/3333.25 c number of falsified literals weakened from reason : 0 3600.05/3333.25 c number of falsified literals weakened from conflict : 0 3600.05/3333.25 c time for arithmetic operations : 0 3600.05/3333.25 c minimum degree of deleted constraints : null 3600.05/3333.25 c maximum degree of deleted constraints : null 3600.05/3333.26 c number of deleted constraints : 0 3600.05/3333.26 c speed (assignments/second) : 545003.5501861079 3600.05/3333.26 c non guided choices : 0 3600.05/3333.29 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 45445 3600.05/3333.29 s SATISFIABLE 3600.25/3333.31 c Found 221 solution(s) 3600.25/3333.31 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 3600.25/3333.31 c objective function=-14424 3600.25/3333.32 c Total wall clock time (in seconds): 3333.176
OK -14424
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (36010 MiB free)
memory of node 1: 64465 MiB (50940 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512216-1751522794/watcher-4512216-1751522794 -o /tmp/evaluation-result-4512216-1751522794/solver-4512216-1751522794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751521141-72933 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4512216-1751522794.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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=73402, runsolver pid=73399
[startup+0.100059 s]*
/proc/loadavg: 5.24 5.12 4.70 6/339 73420
/proc/meminfo: memFree=89011988/131249996 swapFree=33010160/33010684
[pid=73402] ppid=73399 vsize=18930384 memory=55568 CPUtime=0.12 cores=5,7
/proc/73402/stat : 73402 (java) S 73399 73402 72920 0 -1 4194304 6553 0 0 0 10 2 0 0 20 0 18 0 67958033 19384713216 13892 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
/proc/73402/statm: 4732596 13892 5338 1 0 547604 0
[pid=73402/tid=73404] ppid=73399 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/73402/task/73404/stat : 73404 (java) R 73399 73402 72920 0 -1 4194368 5042 0 0 0 6 1 0 0 20 0 18 0 67958034 19384713216 13892 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73413] ppid=73399 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/73402/task/73413/stat : 73413 (Finalizer) S 73399 73402 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67958036 19384713216 13892 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73420] ppid=73399 vsize=18930384 memory=61784027576291 CPUtime=0 cores=5,7
/proc/73402/task/73420/stat : 73420 (Common-Cleaner) S 73399 73402 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67958037 19384713216 13892 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55568 KiB
[startup+0.205867 s]*
/proc/loadavg: 5.24 5.12 4.70 7/339 73420
/proc/meminfo: memFree=89005876/131249996 swapFree=33010160/33010684
[pid=73402] ppid=73399 vsize=18930384 memory=61960 CPUtime=0.31 cores=5,7
/proc/73402/stat : 73402 (java) S 73399 73402 72920 0 -1 4194304 7026 0 0 0 29 2 0 0 20 0 18 0 67958033 19384713216 15490 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
/proc/73402/statm: 4732596 15490 5434 1 0 547916 0
[pid=73402/tid=73404] ppid=73399 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=5,7
/proc/73402/task/73404/stat : 73404 (java) R 73399 73402 72920 0 -1 4194368 5265 0 0 0 16 1 0 0 20 0 18 0 67958034 19384713216 15490 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73413] ppid=73399 vsize=18930384 memory=13937 CPUtime=0 cores=5,7
/proc/73402/task/73413/stat : 73413 (Finalizer) S 73399 73402 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67958036 19384713216 15490 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73420] ppid=73399 vsize=18930384 memory=60684515935208 CPUtime=0 cores=5,7
/proc/73402/task/73420/stat : 73420 (Common-Cleaner) S 73399 73402 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67958037 19384713216 15490 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61960 KiB
[startup+0.305768 s]*
/proc/loadavg: 5.24 5.12 4.70 6/339 73420
/proc/meminfo: memFree=88997684/131249996 swapFree=33010160/33010684
[pid=73402] ppid=73399 vsize=18930384 memory=69872 CPUtime=0.5 cores=5,7
/proc/73402/stat : 73402 (java) S 73399 73402 72920 0 -1 4194304 8138 0 0 0 47 3 0 0 20 0 18 0 67958033 19384713216 17468 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
/proc/73402/statm: 4732596 17468 5434 1 0 548341 0
[pid=73402/tid=73404] ppid=73399 vsize=18930384 memory=-6000919468344568168 CPUtime=0.27 cores=5,7
/proc/73402/task/73404/stat : 73404 (java) R 73399 73402 72920 0 -1 4194368 5276 0 0 0 26 1 0 0 20 0 18 0 67958034 19384713216 17468 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73413] ppid=73399 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/73402/task/73413/stat : 73413 (Finalizer) S 73399 73402 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67958036 19384713216 17468 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73420] ppid=73399 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/73402/task/73420/stat : 73420 (Common-Cleaner) S 73399 73402 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67958037 19384713216 17468 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 69872 KiB
[startup+0.700237 s]
/proc/loadavg: 5.24 5.12 4.70 6/339 73420
/proc/meminfo: memFree=88989492/131249996 swapFree=33010160/33010684
[pid=73402] ppid=73399 vsize=18930384 memory=104380 CPUtime=1.26 cores=5,7
/proc/73402/stat : 73402 (java) S 73399 73402 72920 0 -1 4194304 17058 0 0 0 121 5 0 0 20 0 18 0 67958033 19384713216 26095 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
/proc/73402/statm: 4732596 26095 5434 1 0 554094 0
[pid=73402/tid=73404] ppid=73399 vsize=18930384 memory=18432 CPUtime=0.66 cores=5,7
/proc/73402/task/73404/stat : 73404 (java) R 73399 73402 72920 0 -1 4194368 5284 0 0 0 64 2 0 0 20 0 18 0 67958034 19384713216 26095 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73413] ppid=73399 vsize=18930384 memory=11136 CPUtime=0 cores=5,7
/proc/73402/task/73413/stat : 73413 (Finalizer) S 73399 73402 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67958036 19384713216 26095 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73420] ppid=73399 vsize=18930384 memory=3200 CPUtime=0 cores=5,7
/proc/73402/task/73420/stat : 73420 (Common-Cleaner) S 73399 73402 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67958037 19384713216 26095 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 104380 KiB
[startup+1.50023 s]
/proc/loadavg: 5.22 5.12 4.70 6/339 73420
/proc/meminfo: memFree=88965568/131249996 swapFree=33010160/33010684
[pid=73402] ppid=73399 vsize=18996948 memory=134364 CPUtime=2.84 cores=5,7
/proc/73402/stat : 73402 (java) S 73399 73402 72920 0 -1 4194304 25440 0 0 0 278 6 0 0 20 0 19 0 67958033 19452874752 33591 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
/proc/73402/statm: 4749237 33591 5498 1 0 555153 0
[pid=73402/tid=73404] ppid=73399 vsize=18996948 memory=3200 CPUtime=1.41 cores=5,7
/proc/73402/task/73404/stat : 73404 (java) R 73399 73402 72920 0 -1 4194368 5840 0 0 0 139 2 0 0 20 0 19 0 67958034 19452874752 33591 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73413] ppid=73399 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/73402/task/73413/stat : 73413 (Finalizer) S 73399 73402 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67958036 19452874752 33591 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73420] ppid=73399 vsize=18996948 memory=11136 CPUtime=0 cores=5,7
/proc/73402/task/73420/stat : 73420 (Common-Cleaner) S 73399 73402 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 67958037 19452874752 33591 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 134364 KiB
[startup+3.10568 s]
/proc/loadavg: 5.22 5.12 4.70 5/341 73422
/proc/meminfo: memFree=88842804/131249996 swapFree=33010160/33010684
[pid=73402] ppid=73399 vsize=19063512 memory=236244 CPUtime=5.47 cores=5,7
/proc/73402/stat : 73402 (java) S 73399 73402 72920 0 -1 4194304 28152 0 0 0 538 9 0 0 20 0 20 0 67958033 19521036288 59061 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
/proc/73402/statm: 4765878 59061 5530 1 0 555475 0
[pid=73402/tid=73404] ppid=73399 vsize=19063512 memory=11136 CPUtime=2.91 cores=5,7
/proc/73402/task/73404/stat : 73404 (java) R 73399 73402 72920 0 -1 4194368 6559 0 0 0 288 3 0 0 20 0 20 0 67958034 19521036288 59061 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73413] ppid=73399 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/73402/task/73413/stat : 73413 (Finalizer) S 73399 73402 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67958036 19521036288 59061 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73420] ppid=73399 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/73402/task/73420/stat : 73420 (Common-Cleaner) S 73399 73402 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 67958037 19521036288 59061 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73421] ppid=73399 vsize=19063512 memory=3104 CPUtime=0 cores=5,7
/proc/73402/task/73421/stat : 73421 (Timer-0) S 73399 73402 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67958165 19521036288 59061 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
Current children cumulated CPU time: 5.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 236244 KiB
[startup+6.30017 s]
/proc/loadavg: 5.12 5.10 4.70 5/341 73422
/proc/meminfo: memFree=88535268/131249996 swapFree=33010160/33010684
[pid=73402] ppid=73399 vsize=19063512 memory=571892 CPUtime=8.96 cores=5,7
/proc/73402/stat : 73402 (java) S 73399 73402 72920 0 -1 4194304 29344 0 0 0 881 15 0 0 20 0 20 0 67958033 19521036288 142973 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
/proc/73402/statm: 4765878 142973 5530 1 0 981646 0
[pid=73402/tid=73404] ppid=73399 vsize=19063512 memory=0 CPUtime=5.82 cores=5,7
/proc/73402/task/73404/stat : 73404 (java) R 73399 73402 72920 0 -1 4194368 6747 0 0 0 578 4 0 0 20 0 20 0 67958034 19521036288 142973 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73413] ppid=73399 vsize=19063512 memory=4570474860524113270 CPUtime=0 cores=5,7
/proc/73402/task/73413/stat : 73413 (Finalizer) S 73399 73402 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67958036 19521036288 142973 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73420] ppid=73399 vsize=19063512 memory=-6000919468344568168 CPUtime=0 cores=5,7
/proc/73402/task/73420/stat : 73420 (Common-Cleaner) S 73399 73402 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 67958037 19521036288 142973 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73421] ppid=73399 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/73402/task/73421/stat : 73421 (Timer-0) S 73399 73402 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67958165 19521036288 142973 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
Current children cumulated CPU time: 8.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 571892 KiB
[startup+12.7002 s]
/proc/loadavg: 5.03 5.08 4.69 7/341 73422
/proc/meminfo: memFree=87870976/131249996 swapFree=33010160/33010684
[pid=73402] ppid=73399 vsize=19063512 memory=1323100 CPUtime=16.01 cores=5,7
/proc/73402/stat : 73402 (java) S 73399 73402 72920 0 -1 4194304 31408 0 0 0 1570 31 0 0 20 0 20 0 67958033 19521036288 330775 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
/proc/73402/statm: 4765878 330775 5530 1 0 1330509 0
[pid=73402/tid=73404] ppid=73399 vsize=19063512 memory=0 CPUtime=11.7 cores=5,7
/proc/73402/task/73404/stat : 73404 (java) R 73399 73402 72920 0 -1 4194368 7477 0 0 0 1162 8 0 0 20 0 20 0 67958034 19521036288 330775 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73413] ppid=73399 vsize=19063512 memory=1114864 CPUtime=0 cores=5,7
/proc/73402/task/73413/stat : 73413 (Finalizer) S 73399 73402 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67958036 19521036288 330775 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73420] ppid=73399 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/73402/task/73420/stat : 73420 (Common-Cleaner) S 73399 73402 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 67958037 19521036288 330775 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73421] ppid=73399 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/73402/task/73421/stat : 73421 (Timer-0) S 73399 73402 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67958165 19521036288 330775 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
Current children cumulated CPU time: 16.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1323100 KiB
[startup+25.5002 s]
/proc/loadavg: 4.87 5.05 4.68 5/341 73422
/proc/meminfo: memFree=86237016/131249996 swapFree=33010160/33010684
[pid=73402] ppid=73399 vsize=19063512 memory=2840752 CPUtime=29.67 cores=5,7
/proc/73402/stat : 73402 (java) S 73399 73402 72920 0 -1 4194304 36585 0 0 0 2906 61 0 0 20 0 20 0 67958033 19521036288 710188 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
/proc/73402/statm: 4765878 710188 5562 1 0 1531053 0
[pid=73402/tid=73404] ppid=73399 vsize=19063512 memory=-6000919468344568168 CPUtime=23.54 cores=5,7
/proc/73402/task/73404/stat : 73404 (java) R 73399 73402 72920 0 -1 4194368 9211 0 0 0 2338 16 0 0 20 0 20 0 67958034 19521036288 710188 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73413] ppid=73399 vsize=19063512 memory=3103 CPUtime=0 cores=5,7
/proc/73402/task/73413/stat : 73413 (Finalizer) S 73399 73402 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67958036 19521036288 710188 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73420] ppid=73399 vsize=19063512 memory=2130248 CPUtime=0 cores=5,7
/proc/73402/task/73420/stat : 73420 (Common-Cleaner) S 73399 73402 72920 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 67958037 19521036288 710188 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73421] ppid=73399 vsize=19063512 memory=1929540 CPUtime=0 cores=5,7
/proc/73402/task/73421/stat : 73421 (Timer-0) S 73399 73402 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67958165 19521036288 710188 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
Current children cumulated CPU time: 29.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2840752 KiB
[startup+51.1057 s]
/proc/loadavg: 4.72 4.99 4.68 5/341 73424
/proc/meminfo: memFree=83578464/131249996 swapFree=33010160/33010684
[pid=73402] ppid=73399 vsize=19063512 memory=5181760 CPUtime=57.92 cores=5,7
/proc/73402/stat : 73402 (java) S 73399 73402 72920 0 -1 4194304 57574 0 0 0 5684 108 0 0 20 0 20 0 67958033 19521036288 1295440 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
/proc/73402/statm: 4765878 1295440 5562 1 0 1778344 0
[pid=73402/tid=73404] ppid=73399 vsize=19063512 memory=4995240 CPUtime=47.24 cores=5,7
/proc/73402/task/73404/stat : 73404 (java) R 73399 73402 72920 0 -1 4194368 11153 0 0 0 4697 27 0 0 20 0 20 0 67958034 19521036288 1295440 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73413] ppid=73399 vsize=19063512 memory=-6000919468344568168 CPUtime=0 cores=5,7
/proc/73402/task/73413/stat : 73413 (Finalizer) S 73399 73402 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67958036 19521036288 1295440 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73420] ppid=73399 vsize=19063512 memory=3816704 CPUtime=0 cores=5,7
/proc/73402/task/73420/stat : 73420 (Common-Cleaner) S 73399 73402 72920 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 67958037 19521036288 1295440 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73421] ppid=73399 vsize=19063512 memory=2437196 CPUtime=0 cores=5,7
/proc/73402/task/73421/stat : 73421 (Timer-0) S 73399 73402 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67958165 19521036288 1295440 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
Current children cumulated CPU time: 57.92 s
################
# More data... #
################
[startup+2982.3 s]
/proc/loadavg: 4.15 4.19 4.29 6/340 73772
/proc/meminfo: memFree=93438628/131249996 swapFree=33010160/33010684
[pid=73402] ppid=73399 vsize=19063512 memory=15009892 CPUtime=3200.34 cores=5,7
/proc/73402/stat : 73402 (java) S 73399 73402 72920 0 -1 4194304 453170 0 0 0 319608 426 0 0 20 0 20 0 67958033 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
/proc/73402/statm: 4765878 3752473 5562 1 0 4087940 0
[pid=73402/tid=73404] ppid=73399 vsize=19063512 memory=15009892 CPUtime=2801.78 cores=5,7
/proc/73402/task/73404/stat : 73404 (java) R 73399 73402 72920 0 -1 4194368 170842 0 0 0 280046 132 0 0 20 0 20 0 67958034 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73413] ppid=73399 vsize=19063512 memory=15009892 CPUtime=0 cores=5,7
/proc/73402/task/73413/stat : 73413 (Finalizer) S 73399 73402 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67958036 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73420] ppid=73399 vsize=19063512 memory=-6000919468344568168 CPUtime=0 cores=5,7
/proc/73402/task/73420/stat : 73420 (Common-Cleaner) S 73399 73402 72920 0 -1 4194368 2060 0 0 0 0 0 0 0 20 0 20 0 67958037 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73421] ppid=73399 vsize=19063512 memory=15009892 CPUtime=0 cores=5,7
/proc/73402/task/73421/stat : 73421 (Timer-0) S 73399 73402 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67958165 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
Current children cumulated CPU time: 3200.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15009892 KiB
[startup+3042.3 s]
/proc/loadavg: 4.25 4.21 4.29 5/339 73775
/proc/meminfo: memFree=93425856/131249996 swapFree=33010160/33010684
[pid=73402] ppid=73399 vsize=19063512 memory=15009892 CPUtime=3268.32 cores=5,7
/proc/73402/stat : 73402 (java) S 73399 73402 72920 0 -1 4194304 467495 0 0 0 326402 430 0 0 20 0 20 0 67958033 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
/proc/73402/statm: 4765878 3752473 5562 1 0 4087940 0
[pid=73402/tid=73404] ppid=73399 vsize=19063512 memory=16580 CPUtime=2857.47 cores=5,7
/proc/73402/task/73404/stat : 73404 (java) R 73399 73402 72920 0 -1 4194368 176923 0 0 0 285615 132 0 0 20 0 20 0 67958034 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73413] ppid=73399 vsize=19063512 memory=16580 CPUtime=0 cores=5,7
/proc/73402/task/73413/stat : 73413 (Finalizer) S 73399 73402 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67958036 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73420] ppid=73399 vsize=19063512 memory=18432 CPUtime=0 cores=5,7
/proc/73402/task/73420/stat : 73420 (Common-Cleaner) S 73399 73402 72920 0 -1 4194368 2131 0 0 0 0 0 0 0 20 0 20 0 67958037 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73421] ppid=73399 vsize=19063512 memory=15009892 CPUtime=0 cores=5,7
/proc/73402/task/73421/stat : 73421 (Timer-0) S 73399 73402 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67958165 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
Current children cumulated CPU time: 3268.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15009892 KiB
[startup+3102.3 s]
/proc/loadavg: 4.19 4.20 4.28 5/339 73777
/proc/meminfo: memFree=93426568/131249996 swapFree=33010160/33010684
[pid=73402] ppid=73399 vsize=19063512 memory=15009892 CPUtime=3332.39 cores=5,7
/proc/73402/stat : 73402 (java) S 73399 73402 72920 0 -1 4194304 473908 0 0 0 332807 432 0 0 20 0 20 0 67958033 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
/proc/73402/statm: 4765878 3752473 5562 1 0 4087940 0
[pid=73402/tid=73404] ppid=73399 vsize=19063512 memory=15009892 CPUtime=2913.03 cores=5,7
/proc/73402/task/73404/stat : 73404 (java) R 73399 73402 72920 0 -1 4194368 179857 0 0 0 291171 132 0 0 20 0 20 0 67958034 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73413] ppid=73399 vsize=19063512 memory=-6000919468344568168 CPUtime=0 cores=5,7
/proc/73402/task/73413/stat : 73413 (Finalizer) S 73399 73402 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67958036 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73420] ppid=73399 vsize=19063512 memory=15009892 CPUtime=0 cores=5,7
/proc/73402/task/73420/stat : 73420 (Common-Cleaner) S 73399 73402 72920 0 -1 4194368 2200 0 0 0 0 0 0 0 20 0 20 0 67958037 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73421] ppid=73399 vsize=19063512 memory=15009892 CPUtime=0 cores=5,7
/proc/73402/task/73421/stat : 73421 (Timer-0) S 73399 73402 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67958165 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
Current children cumulated CPU time: 3332.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15009892 KiB
[startup+3162.3 s]
/proc/loadavg: 4.23 4.21 4.27 5/339 73779
/proc/meminfo: memFree=93425960/131249996 swapFree=33010160/33010684
[pid=73402] ppid=73399 vsize=19063512 memory=15009892 CPUtime=3402.56 cores=5,7
/proc/73402/stat : 73402 (java) S 73399 73402 72920 0 -1 4194304 486874 0 0 0 339821 435 0 0 20 0 20 0 67958033 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
/proc/73402/statm: 4765878 3752473 5562 1 0 4087940 0
[pid=73402/tid=73404] ppid=73399 vsize=19063512 memory=18432 CPUtime=2968.47 cores=5,7
/proc/73402/task/73404/stat : 73404 (java) R 73399 73402 72920 0 -1 4194368 185400 0 0 0 296714 133 0 0 20 0 20 0 67958034 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73413] ppid=73399 vsize=19063512 memory=17388 CPUtime=0 cores=5,7
/proc/73402/task/73413/stat : 73413 (Finalizer) S 73399 73402 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67958036 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73420] ppid=73399 vsize=19063512 memory=15009892 CPUtime=0 cores=5,7
/proc/73402/task/73420/stat : 73420 (Common-Cleaner) S 73399 73402 72920 0 -1 4194368 2291 0 0 0 0 0 0 0 20 0 20 0 67958037 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73421] ppid=73399 vsize=19063512 memory=15009892 CPUtime=0 cores=5,7
/proc/73402/task/73421/stat : 73421 (Timer-0) S 73399 73402 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67958165 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
Current children cumulated CPU time: 3402.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15009892 KiB
[startup+3222.3 s]
/proc/loadavg: 4.27 4.22 4.27 5/340 73782
/proc/meminfo: memFree=93401492/131249996 swapFree=33010160/33010684
[pid=73402] ppid=73399 vsize=19063512 memory=15009892 CPUtime=3473.85 cores=5,7
/proc/73402/stat : 73402 (java) S 73399 73402 72920 0 -1 4194304 500435 0 0 0 346946 439 0 0 20 0 20 0 67958033 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
/proc/73402/statm: 4765878 3752473 5562 1 0 4087940 0
[pid=73402/tid=73404] ppid=73399 vsize=19063512 memory=16580 CPUtime=3024.41 cores=5,7
/proc/73402/task/73404/stat : 73404 (java) R 73399 73402 72920 0 -1 4194368 192587 0 0 0 302308 133 0 0 20 0 20 0 67958034 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73413] ppid=73399 vsize=19063512 memory=15009892 CPUtime=0 cores=5,7
/proc/73402/task/73413/stat : 73413 (Finalizer) S 73399 73402 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67958036 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73420] ppid=73399 vsize=19063512 memory=-6000919468344568168 CPUtime=0 cores=5,7
/proc/73402/task/73420/stat : 73420 (Common-Cleaner) S 73399 73402 72920 0 -1 4194368 2291 0 0 0 0 0 0 0 20 0 20 0 67958037 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73421] ppid=73399 vsize=19063512 memory=15009892 CPUtime=0 cores=5,7
/proc/73402/task/73421/stat : 73421 (Timer-0) S 73399 73402 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67958165 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
Current children cumulated CPU time: 3473.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15009892 KiB
[startup+3282.3 s]
/proc/loadavg: 4.34 4.24 4.28 5/341 73800
/proc/meminfo: memFree=93407036/131249996 swapFree=33010160/33010684
[pid=73402] ppid=73399 vsize=19063512 memory=15009892 CPUtime=3538.38 cores=5,7
/proc/73402/stat : 73402 (java) S 73399 73402 72920 0 -1 4194304 508748 0 0 0 353397 441 0 0 20 0 20 0 67958033 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
/proc/73402/statm: 4765878 3752473 5562 1 0 4087940 0
[pid=73402/tid=73404] ppid=73399 vsize=19063512 memory=16580 CPUtime=3079.56 cores=5,7
/proc/73402/task/73404/stat : 73404 (java) R 73399 73402 72920 0 -1 4194368 195532 0 0 0 307823 133 0 0 20 0 20 0 67958034 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73413] ppid=73399 vsize=19063512 memory=18432 CPUtime=0 cores=5,7
/proc/73402/task/73413/stat : 73413 (Finalizer) S 73399 73402 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67958036 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73420] ppid=73399 vsize=19063512 memory=15009892 CPUtime=0 cores=5,7
/proc/73402/task/73420/stat : 73420 (Common-Cleaner) S 73399 73402 72920 0 -1 4194368 2325 0 0 0 0 0 0 0 20 0 20 0 67958037 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73421] ppid=73399 vsize=19063512 memory=16580 CPUtime=0 cores=5,7
/proc/73402/task/73421/stat : 73421 (Timer-0) S 73399 73402 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67958165 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
Current children cumulated CPU time: 3538.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15009892 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3333.2 s]
/proc/loadavg: 4.35 4.26 4.28 5/342 73804
/proc/meminfo: memFree=93452892/131249996 swapFree=33010160/33010684
[pid=73402] ppid=73399 vsize=19063512 memory=15009892 CPUtime=3600.05 cores=5,7
/proc/73402/stat : 73402 (java) S 73399 73402 72920 0 -1 4194304 522276 0 0 0 359561 444 0 0 20 0 20 0 67958033 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
/proc/73402/statm: 4765878 3752473 5562 1 0 4087941 0
[pid=73402/tid=73404] ppid=73399 vsize=19063512 memory=6852 CPUtime=3127.27 cores=5,7
/proc/73402/task/73404/stat : 73404 (java) R 73399 73402 72920 0 -1 4194368 201451 0 0 0 312593 134 0 0 20 0 20 0 67958034 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73413] ppid=73399 vsize=19063512 memory=2168840 CPUtime=0 cores=5,7
/proc/73402/task/73413/stat : 73413 (Finalizer) S 73399 73402 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67958036 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73420] ppid=73399 vsize=19063512 memory=6900 CPUtime=0 cores=5,7
/proc/73402/task/73420/stat : 73420 (Common-Cleaner) S 73399 73402 72920 0 -1 4194368 2382 0 0 0 0 0 0 0 20 0 20 0 67958037 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73421] ppid=73399 vsize=19063512 memory=2165072 CPUtime=0 cores=5,7
/proc/73402/task/73421/stat : 73421 (Timer-0) S 73399 73402 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67958165 19521036288 3752473 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15009892 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3333.36 s]
# the end of solver process 73402 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.85 s, system=4.49073 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3333.3 s]
/proc/loadavg: 4.35 4.26 4.28 5/342 73804
/proc/meminfo: memFree=93452892/131249996 swapFree=33010160/33010684
[pid=73402] ppid=73399 vsize=19263204 memory=15010660 CPUtime=3600.25 cores=5,7
/proc/73402/stat : 73402 (java) S 73399 73402 72920 0 -1 4194304 523264 0 0 0 359581 444 0 0 20 0 21 0 67958033 19725520896 3752665 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
/proc/73402/statm: 4815801 3752665 5594 1 0 4088884 0
[pid=73402/tid=73404] ppid=73399 vsize=19263204 memory=15009892 CPUtime=3127.37 cores=5,7
/proc/73402/task/73404/stat : 73404 (java) R 73399 73402 72920 0 -1 4194368 201533 0 0 0 312603 134 0 0 20 0 21 0 67958034 19725520896 3752665 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73413] ppid=73399 vsize=19263204 memory=16580 CPUtime=0 cores=5,7
/proc/73402/task/73413/stat : 73413 (Finalizer) S 73399 73402 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67958036 19725520896 3752665 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
[pid=73402/tid=73420] ppid=73399 vsize=19263204 memory=0 CPUtime=0 cores=5,7
/proc/73402/task/73420/stat : 73420 (Common-Cleaner) S 73399 73402 72920 0 -1 4194368 2382 0 0 0 0 0 0 0 20 0 21 0 67958037 19725520896 3752665 18446744073709551615 94031516008448 94031516012144 140728999374624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031516019960 94031516020752 94031540449280 140728999377281 140728999377382 140728999377382 140728999382984 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 15010660 KiB
Child status: 143
Real time (s): 3333.36
CPU time (s): 3600.34
CPU user time (s): 3595.85
CPU system time (s): 4.49073
CPU usage (%): 108.009
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 15010660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.85
system time used= 4.49073
maximum resident set size= 15010788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 523368
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125821
involuntary context switches= 36266
# summary of solver processes directly reported to runsolver:
# pid: 73402
# total CPU time (s): 3600.34
# total CPU user time (s): 3595.85
# total CPU system time (s): 4.49073
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.95327 second user time and 15.8794 second system time
The end
Begin job on nodeC032 at 2025-07-03 08:06:34 IDJOB=4512216 IDBENCH=160517 IDSOLVER=3363 FILE ID=nodeC032/4512216-1751522794 RUNJOBID= nodeC032-1751521141-72933 SLURM_JOB_ID= 9598644 Free space on /tmp= 430568 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-23.opb COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512216-1751522794/watcher-4512216-1751522794 -o /tmp/evaluation-result-4512216-1751522794/solver-4512216-1751522794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751521141-72933 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4512216-1751522794.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= af7e878fffd6da85a395ada1cd1e9cec RANDOM SEED=198963300 nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.842 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 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 : 3599.539 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.865 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 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.994 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 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 : 3664.904 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 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 : 3606.375 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 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.826 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 89038132 kB MemAvailable: 105377372 kB Buffers: 2728 kB Cached: 17018452 kB SwapCached: 20 kB Active: 24681824 kB Inactive: 16648972 kB Active(anon): 24324540 kB Inactive(anon): 3124 kB Active(file): 357284 kB Inactive(file): 16645848 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 760 kB Writeback: 8 kB AnonPages: 24312748 kB Mapped: 123808 kB Shmem: 18048 kB KReclaimable: 350692 kB Slab: 444688 kB SReclaimable: 350692 kB SUnreclaim: 93996 kB KernelStack: 5232 kB PageTables: 51300 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 25425984 kB VmallocTotal: 34359738367 kB VmallocUsed: 151480 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 23836672 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: 203476 kB DirectMap2M: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 430556 MiB End job on nodeC032 at 2025-07-03 09:02:08