Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP-NaPS 1.00a1 | OPT | 18 | 1019.93 | 1023.55 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb |
| MD5SUM | beae51edba02eeda3c8007d8306fd545 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 18 |
| Best CPU time to get the best result obtained on this benchmark | 1.91149 |
| 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 | 4318 |
| Total number of constraints | 15120 |
| Number of constraints which are clauses | 15112 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 490 |
| Number of terms in the objective function | 490 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 490 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 28 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 518 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
5.52/5.69 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4497711-1751389821.opb 5.52/5.69 c Solving mode: optimization 5.52/5.69 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 5.52/5.69 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 5.52/5.69 c original problem has 4318 variables (4318 bin, 0 int, 0 impl, 0 cont) and 15120 constraints 5.52/5.69 c presolving: 5.52/5.69 c (round 1, fast) 434 del vars, 863 del conss, 0 add conss, 5 chg bounds, 6 chg sides, 7 chg coeffs, 0 upgd conss, 0 impls, 10851 clqs 5.52/5.69 c (round 2, medium) 440 del vars, 863 del conss, 0 add conss, 5 chg bounds, 6 chg sides, 7 chg coeffs, 0 upgd conss, 0 impls, 10839 clqs 5.52/5.69 c (round 3, fast) 440 del vars, 881 del conss, 0 add conss, 5 chg bounds, 6 chg sides, 7 chg coeffs, 0 upgd conss, 0 impls, 10839 clqs 5.52/5.69 c (round 4, exhaustive) 440 del vars, 882 del conss, 0 add conss, 5 chg bounds, 6 chg sides, 7 chg coeffs, 14238 upgd conss, 0 impls, 10839 clqs 5.52/5.69 c (round 5, exhaustive) 440 del vars, 14685 del conss, 3393 add conss, 5 chg bounds, 6 chg sides, 7 chg coeffs, 14238 upgd conss, 0 impls, 10839 clqs 5.52/5.69 c (round 6, exhaustive) 548 del vars, 14793 del conss, 3393 add conss, 5 chg bounds, 6 chg sides, 7 chg coeffs, 14238 upgd conss, 0 impls, 10623 clqs 5.52/5.69 c (0.2s) probing: 51/3770 (1.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 5.52/5.69 c (0.2s) probing aborted: 50/50 successive totally useless probings 5.52/5.69 c (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 5.52/5.69 c (0.2s) no symmetry present (symcode time: 0.00) 5.52/5.69 c presolving (7 rounds: 7 fast, 5 medium, 4 exhaustive): 5.52/5.69 c 548 deleted vars, 14793 deleted constraints, 3393 added constraints, 5 tightened bounds, 0 added holes, 6 changed sides, 7 changed coefficients 5.52/5.69 c 0 implications, 10623 cliques 5.52/5.69 c presolved problem has 3770 variables (3770 bin, 0 int, 0 impl, 0 cont) and 3720 constraints 5.52/5.69 c 1 constraints of type <knapsack> 5.52/5.69 c 429 constraints of type <setppc> 5.52/5.69 c 3285 constraints of type <and> 5.52/5.69 c 5 constraints of type <logicor> 5.52/5.69 c transformed objective value is always integral (scale: 1) 5.52/5.69 c Presolving Time: 0.15 5.52/5.69 c 5.52/5.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 5.52/5.69 c p 0.3s| 1 | 0 | 0 | - |shiftand| 0 |3770 |3783 |7004 | 0 | 0 | 62 | 0 | 5.000000e+00 | 2.400000e+01 | 380.00%| unknown 5.52/5.69 c 0.4s| 1 | 0 | 384 | - | 70M | 0 |3770 |3783 |7004 | 0 | 0 | 62 | 0 | 7.428571e+00 | 2.400000e+01 | 223.08%| unknown 5.52/5.69 c 1.0s| 1 | 0 | 450 | - | 80M | 0 |3770 |3986 |7038 | 34 | 1 | 65 | 0 | 8.750000e+00 | 2.400000e+01 | 174.29%| unknown 5.52/5.69 c 1.1s| 1 | 0 | 565 | - | 84M | 0 |3770 |3986 |7061 | 57 | 2 | 65 | 0 | 9.500000e+00 | 2.400000e+01 | 152.63%| unknown 5.52/5.69 c 1.2s| 1 | 0 | 900 | - | 88M | 0 |3770 |3986 |7100 | 96 | 3 | 65 | 0 | 1.000000e+01 | 2.400000e+01 | 140.00%| unknown 5.52/5.69 c 1.5s| 1 | 0 | 1029 | - | 98M | 0 |3770 |3988 |7157 | 153 | 4 | 67 | 0 | 1.000000e+01 | 2.400000e+01 | 140.00%| unknown 5.52/5.69 c 1.9s| 1 | 0 | 1225 | - | 109M | 0 |3770 |3990 |7213 | 209 | 5 | 69 | 0 | 1.000000e+01 | 2.400000e+01 | 140.00%| unknown 5.52/5.69 c 2.1s| 1 | 0 | 1793 | - | 113M | 0 |3770 |3990 |7263 | 259 | 6 | 69 | 0 | 1.058889e+01 | 2.400000e+01 | 126.65%| unknown 5.52/5.69 c 2.3s| 1 | 0 | 2718 | - | 114M | 0 |3770 |3990 |7335 | 331 | 7 | 69 | 0 | 1.095644e+01 | 2.400000e+01 | 119.05%| unknown 5.52/5.69 c 2.6s| 1 | 0 | 3243 | - | 115M | 0 |3770 |3994 |7458 | 454 | 8 | 73 | 0 | 1.125868e+01 | 2.400000e+01 | 113.17%| unknown 5.52/5.69 c 2.8s| 1 | 0 | 4093 | - | 122M | 0 |3770 |3999 |7625 | 621 | 9 | 78 | 0 | 1.132438e+01 | 2.400000e+01 | 111.93%| unknown 5.52/5.69 c 3.2s| 1 | 0 | 4913 | - | 127M | 0 |3770 |4009 |7789 | 785 | 10 | 88 | 0 | 1.148237e+01 | 2.400000e+01 | 109.02%| unknown 5.52/5.69 c 3.3s| 1 | 0 | 5466 | - | 128M | 0 |3770 |4019 |7899 | 900 | 11 | 98 | 0 | 1.153911e+01 | 2.400000e+01 | 107.99%| unknown 5.52/5.69 c 3.4s| 1 | 0 | 5975 | - | 128M | 0 |3770 |4020 |7986 | 987 | 12 | 99 | 0 | 1.158224e+01 | 2.400000e+01 | 107.21%| unknown 5.52/5.69 c 3.5s| 1 | 0 | 6438 | - | 129M | 0 |3770 |4021 |8070 |1071 | 13 | 100 | 0 | 1.159304e+01 | 2.400000e+01 | 107.02%| unknown 5.52/5.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 5.52/5.69 c 3.7s| 1 | 0 | 7388 | - | 130M | 0 |3770 |4024 |8166 |1167 | 14 | 103 | 0 | 1.160438e+01 | 2.400000e+01 | 106.82%| unknown 5.52/5.69 c 3.8s| 1 | 0 | 8052 | - | 131M | 0 |3770 |4034 |8223 |1224 | 15 | 113 | 0 | 1.163517e+01 | 2.400000e+01 | 106.27%| unknown 5.52/5.69 c 4.0s| 1 | 0 | 8834 | - | 132M | 0 |3770 |4039 |8287 |1288 | 16 | 118 | 0 | 1.165364e+01 | 2.400000e+01 | 105.94%| unknown 5.52/5.69 c 4.2s| 1 | 0 | 10038 | - | 133M | 0 |3770 |4040 |8313 |1387 | 17 | 119 | 0 | 1.167537e+01 | 2.400000e+01 | 105.56%| unknown 5.52/5.69 c 4.3s| 1 | 0 | 10549 | - | 134M | 0 |3770 |4043 |8426 |1500 | 18 | 122 | 0 | 1.168890e+01 | 2.400000e+01 | 105.32%| unknown 5.52/5.69 c 4.5s| 1 | 0 | 11336 | - | 136M | 0 |3770 |4046 |8524 |1598 | 19 | 125 | 0 | 1.170696e+01 | 2.400000e+01 | 105.01%| unknown 5.52/5.69 c 4.7s| 1 | 0 | 12244 | - | 137M | 0 |3770 |4048 |8633 |1707 | 20 | 127 | 0 | 1.171753e+01 | 2.400000e+01 | 104.82%| unknown 5.52/5.69 c 4.8s| 1 | 0 | 12821 | - | 137M | 0 |3770 |4051 |8728 |1802 | 21 | 130 | 0 | 1.172694e+01 | 2.400000e+01 | 104.66%| unknown 5.52/5.69 c 4.9s| 1 | 0 | 13224 | - | 137M | 0 |3770 |4061 |8802 |1876 | 22 | 140 | 0 | 1.173122e+01 | 2.400000e+01 | 104.58%| unknown 5.52/5.69 c 5.0s| 1 | 0 | 13411 | - | 138M | 0 |3770 |4071 |8675 |1917 | 23 | 150 | 0 | 1.173347e+01 | 2.400000e+01 | 104.54%| unknown 5.52/5.69 c 5.0s| 1 | 0 | 13437 | - | 138M | 0 |3770 |4080 |8684 |1926 | 24 | 160 | 0 | 1.173358e+01 | 2.400000e+01 | 104.54%| unknown 5.52/5.69 c 5.1s| 1 | 0 | 13492 | - | 138M | 0 |3770 |4090 |8688 |1930 | 25 | 170 | 0 | 1.173376e+01 | 2.400000e+01 | 104.54%| unknown 5.52/5.69 c 5.1s| 1 | 0 | 13513 | - | 138M | 0 |3770 |4092 |8698 |1940 | 26 | 172 | 0 | 1.173377e+01 | 2.400000e+01 | 104.54%| unknown 5.52/5.69 c 5.1s| 1 | 0 | 13524 | - | 138M | 0 |3770 |4094 |8705 |1947 | 27 | 174 | 0 | 1.173377e+01 | 2.400000e+01 | 104.54%| unknown 5.52/5.69 c 5.2s| 1 | 0 | 13536 | - | 138M | 0 |3770 |4101 |8707 |1949 | 28 | 181 | 0 | 1.173378e+01 | 2.400000e+01 | 104.54%| unknown 5.52/5.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 5.52/5.69 c 5.2s| 1 | 0 | 13538 | - | 138M | 0 |3770 |4111 |8500 |1950 | 29 | 191 | 0 | 1.173378e+01 | 2.400000e+01 | 104.54%| unknown 5.52/5.69 c 5.2s| 1 | 0 | 13556 | - | 138M | 0 |3770 |4121 |8501 |1951 | 30 | 201 | 0 | 1.173378e+01 | 2.400000e+01 | 104.54%| unknown 5.52/5.69 c 5.3s| 1 | 0 | 13861 | - | 138M | 0 |3770 |4129 |8509 |1959 | 31 | 209 | 0 | 1.173734e+01 | 2.400000e+01 | 104.48%| unknown 5.52/5.69 c 5.4s| 1 | 0 | 13992 | - | 138M | 0 |3770 |4132 |8526 |1976 | 32 | 212 | 0 | 1.173814e+01 | 2.400000e+01 | 104.46%| unknown 5.52/5.69 c 5.4s| 1 | 0 | 14091 | - | 139M | 0 |3770 |4142 |8556 |2006 | 33 | 222 | 0 | 1.173878e+01 | 2.400000e+01 | 104.45%| unknown 5.52/5.69 c 5.4s| 1 | 0 | 14094 | - | 139M | 0 |3770 |4147 |8559 |2009 | 34 | 232 | 0 | 1.173878e+01 | 2.400000e+01 | 104.45%| unknown 5.52/5.69 c 5.5s| 1 | 0 | 14100 | - | 139M | 0 |3770 |4150 |8395 |2010 | 35 | 235 | 0 | 1.173878e+01 | 2.400000e+01 | 104.45%| unknown 996.65/1000.27 c 5.5s| 1 | 0 | 14107 | - | 139M | 0 |3770 |4159 |8396 |2011 | 36 | 245 | 0 | 1.173878e+01 | 2.400000e+01 | 104.45%| unknown 996.65/1000.27 c 5.5s| 1 | 0 | 14112 | - | 139M | 0 |3770 |4164 |8398 |2013 | 37 | 250 | 0 | 1.173878e+01 | 2.400000e+01 | 104.45%| unknown 996.65/1000.27 c 5.6s| 1 | 0 | 14118 | - | 139M | 0 |3770 |4167 |8400 |2015 | 38 | 253 | 0 | 1.173878e+01 | 2.400000e+01 | 104.45%| unknown 996.65/1000.27 c 5.6s| 1 | 0 | 14304 | - | 139M | 0 |3770 |4176 |8403 |2018 | 39 | 262 | 0 | 1.174022e+01 | 2.400000e+01 | 104.43%| unknown 996.65/1000.27 c 5.7s| 1 | 0 | 14415 | - | 139M | 0 |3770 |4177 |8424 |2039 | 40 | 263 | 0 | 1.174089e+01 | 2.400000e+01 | 104.41%| unknown 996.65/1000.27 c 5.7s| 1 | 0 | 14453 | - | 139M | 0 |3770 |4177 |8394 |2047 | 41 | 264 | 0 | 1.174091e+01 | 2.400000e+01 | 104.41%| unknown 996.65/1000.27 c 5.7s| 1 | 0 | 14469 | - | 139M | 0 |3770 |4185 |8397 |2050 | 42 | 274 | 0 | 1.174091e+01 | 2.400000e+01 | 104.41%| unknown 996.65/1000.27 c 5.8s| 1 | 0 | 14489 | - | 139M | 0 |3770 |4190 |8438 |2091 | 43 | 279 | 0 | 1.174091e+01 | 2.400000e+01 | 104.41%| unknown 996.65/1000.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 996.65/1000.27 c 5.8s| 1 | 0 | 14490 | - | 140M | 0 |3770 |4191 |8439 |2092 | 44 | 280 | 0 | 1.174091e+01 | 2.400000e+01 | 104.41%| unknown 996.65/1000.27 c L 9.5s| 1 | 0 | 28089 | - | rens| 0 |3770 |4193 |8439 |2092 | 45 | 282 | 0 | 1.174091e+01 | 2.100000e+01 | 78.86%| unknown 996.65/1000.27 c 9.5s| 1 | 0 | 28089 | - | 140M | 0 |3770 |4193 |8439 |2092 | 45 | 282 | 0 | 1.174091e+01 | 2.100000e+01 | 78.86%| unknown 996.65/1000.27 c 9.5s| 1 | 0 | 28090 | - | 140M | 0 |3770 |4193 |8440 |2093 | 46 | 283 | 0 | 1.174091e+01 | 2.100000e+01 | 78.86%| unknown 996.65/1000.27 c 11.4s| 1 | 2 | 28090 | - | 140M | 0 |3770 |4197 |8440 |2093 | 47 | 287 | 14 | 1.175285e+01 | 2.100000e+01 | 78.68%| unknown 996.65/1000.27 c 246s| 100 | 101 |756232 |7492.3 | 240M | 19 |3770 |5880 | 10k| 19k| 2 |1983 | 626 | 1.229900e+01 | 2.100000e+01 | 70.75%| unknown 996.65/1000.27 c 496s| 200 | 201 | 1721k|8580.3 | 277M | 29 |3770 |6512 | 10k| 32k| 10 |2648 |1139 | 1.231332e+01 | 2.100000e+01 | 70.55%| unknown 996.65/1000.27 c L 504s| 201 | 202 | 1745k|8655.3 | rins| 29 |3770 |6512 | 10k| 32k| 5 |2648 |1153 | 1.231332e+01 | 2.000000e+01 | 62.43%| unknown 996.65/1000.27 c 903s| 300 | 301 | 3142k|10462.0 | 335M | 29 |3770 |6504 | 10k| 51k| 2 |2669 |2089 | 1.259159e+01 | 2.000000e+01 | 58.84%| unknown 996.65/1000.27 c 996.65/1000.27 c SCIP Status : solving was interrupted [time limit reached] 996.65/1000.27 c Solving Time (sec) : 1000.00 996.65/1000.27 c Solving Nodes : 325 996.65/1000.27 c Primal Bound : +2.00000000000000e+01 (14 solutions) 996.65/1000.27 c Dual Bound : +1.26529570813551e+01 996.65/1000.27 c Gap : 58.07 % 996.65/1000.27 c All original constraints are satisfied. 996.65/1000.27 c SCIP's best solution is verified feasible for the original problem. 996.65/1000.27 c ---------------------------------------------------------------------- 996.65/1000.27 c dual bound: 12.652957081355108 -> 13 996.65/1000.27 c primal bound: 20.0 -> 20 996.65/1000.27 c scip-goal-lb: 13 996.65/1000.27 c scip-goal-ub: 20 996.65/1000.27 c writing output to: HOME/tmp03963i9y.opb 996.65/1000.27 c appending fixed variable constraints 996.65/1000.27 c scip-fixed vars: 0.13% (5/3770) 996.65/1000.27 c ---------------------------------------------------------------------- 996.65/1000.27 c executing external solver: HOME/naps-1.03a6 996.65/1000.27 c ---------------------------------------------------------------------- 996.65/1000.27 c command: HOME/naps-1.03a6 -goal-lb=13 -goal-ub=19 HOME/tmp03963i9y.opb 996.65/1000.28 c NaPS 1.03a6. 996.65/1000.28 c Input file name: HOME/tmp03963i9y.opb 996.73/1000.39 c single stage optimization mode 1019.66/1023.39 o 19 1019.66/1023.39 o 18 1019.66/1023.39 c _____________________________________________________________________________ 1019.66/1023.39 c std/band forms : 5,0 1019.66/1023.39 c 2cl/3cl ITE-codings : 0,0 1019.66/1023.39 c BDD/srt/adr Max costs : 0,24715,0 1019.66/1023.39 c BDDraw/bin/mul/srt/adr: 0,0,0,5,0 1019.66/1023.39 c BDD nodes : 0 1019.66/1023.39 c Es1/CC detections : 0,0 1019.66/1023.39 c CC sort : 4 1019.66/1023.39 c SAT/UNSAT calls : 2,2 1019.66/1023.39 c regenrated variables : 0 1019.66/1023.39 c eliminated fixed lits : 40 1019.66/1023.39 c goal lit flips : 0 1019.66/1023.39 c goal stages : 1 1019.66/1023.39 c goal shrink : 0 1019.66/1023.39 c goal coeff separations: 0 1019.66/1023.39 c restarts : 5825 1019.66/1023.39 c conflicts : 185021 (8044 /sec) 1019.66/1023.39 c decisions : 505838 (21992 /sec) 1019.66/1023.39 c propagations : 161803459 (7034694 /sec) 1019.66/1023.39 c inspects : 0 (0 /sec) 1019.66/1023.39 c CPU time (solving tm) : 23 s (22.89 s, SAT 12.23 s, UNSAT 10.66 s) 1019.66/1023.39 c Time for Opt-base : 0.000398 s 1019.66/1023.39 c Steps for Opt-base : 0 1019.66/1023.39 c Time for BDD coding : 0 s 1019.66/1023.39 c Time for srt coding : 0.003953 s 1019.66/1023.39 c _____________________________________________________________________________ 1019.66/1023.39 s OPTIMUM FOUND 1019.66/1023.39 v x1 x362 x440 x515 x581 -x741 -x799 -x857 -x915 -x973 -x1031 -x1089 -x1147 x11 -x1205 -x14 -x1232 -x17 -x1259 -x20 -x1286 -x23 -x1313 -x26 -x1340 -x29 -x1367 -x1394 -x34 -x1421 -x37 -x1448 -x40 -x1475 -x1502 -x45 -x1529 -x48 -x1556 -x51 -x1583 -x54 -x1610 -x1637 -x59 -x1664 -x62 -x1691 x65 -x1718 -x68 -x1745 -x71 -x1772 -x74 -x1799 -x77 -x1826 -x1853 -x82 -x1880 -x85 -x1907 -x88 -x1934 -x1961 -x1963 -x1975 -x1977 -x1989 -x1991 -x2003 -x2005 -x2017 -x2019 -x2031 -x2033 -x2045 -x2047 -x2059 -x2061 -x2073 -x2075 -x2087 -x2089 -x2101 -x2103 -x2115 -x2117 -x2129 -x2131 -x2143 -x2145 -x2157 -x2159 -x2171 -x2173 -x2185 -x2187 -x2199 -x2201 -x2213 -x2215 -x2227 -x2229 -x2241 -x2243 -x2255 -x2257 -x2269 -x2271 -x2283 -x2285 -x2297 -x2309 -x2311 -x2323 -x2325 -x2337 -x2339 -x2351 -x2353 -x2365 -x2367 -x2379 -x2381 -x2393 -x2395 -x2407 -x2409 -x2421 -x2423 -x2435 -x2437 -x2449 -x2451 -x2463 -x2465 -x2477 -x2479 -x2491 -x2493 -x2505 -x2507 -x2519 -x2521 -x2533 -x2535 -x2547 -x2549 -x2561 -x2563 -x2575 -x2577 -x2589 -x2591 -x2603 -x2605 -x2617 -x2619 -x2631 -x2633 x2645 -x2647 -x2659 -x2661 -x2673 -x2675 -x2687 -x2689 -x2701 -x2703 -x2715 -x2717 -x2729 -x2731 -x2743 -x2748 -x2753 -x2758 -x2763 -x2768 -x2773 -x2778 -x2783 x2788 -x2793 -x2798 -x2803 -x2808 -x2813 -x2818 -x2823 -x2828 -x2833 -x2838 -x2843 -x2848 x2853 x2858 -x2863 -x2868 -x2873 -x2878 -x2883 -x2888 -x2893 -x2898 -x2903 -x2908 -x2913 -x2918 -x2923 -x2928 -x2933 -x2938 -x2943 -x2948 -x2953 -x2958 -x2963 -x2968 -x2973 -x2978 -x2983 -x2988 -x2993 -x2998 -x3003 -x3008 -x3013 -x3018 -x3023 -x3028 -x3033 -x3038 -x3043 -x3048 -x3053 -x3058 -x3063 -x3068 -x3073 -x3078 -x3083 -x3088 -x3093 -x3105 -x3117 -x3129 -x3141 -x3153 -x370 -x3165 -x3170 x375 x3175 x378 -x3180 -x3185 -x383 -x3190 -x3195 -x388 -x3200 -x3205 -x393 -x3210 x396 -x3215 -x399 -x3220 -x402 -x3225 -x405 -x3230 -x408 -x3235 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 x3292 -x3304 -x3316 -x3328 -x3340 -x448 -x3352 -x3357 -x3362 -x455 -x3367 -x458 -x3372 -x461 -x3377 -x464 -x3382 -x3387 -x3392 -x471 -x3397 -x3402 -x476 -x3407 -x479 -x3412 -x482 -x3417 -x3422 -x3427 -x3429 -x3431 x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3477 -x3489 -x3501 -x3513 -x3525 -x524 -x3537 -x527 -x3542 -x530 -x3547 -x3552 -x3557 -x537 -x3562 -x3567 -x3572 -x3577 -x3582 -x3587 -x3592 -x3597 -x3602 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3666 -x3693 -x3720 -x3747 -x3774 -x3801 -x3828 -x3840 -x3852 -x596 -x3864 -x599 -x3876 -x3888 -x604 -x3900 -x3912 -x609 -x3924 -x3936 x3948 -x616 -x3960 -x3972 -x3984 -x3996 -x625 -x4008 -x4020 -x630 -x4032 -x4044 -x635 -x4056 -x4068 -x4080 -x4082 -x4087 -x4089 -x4094 -x4096 -x4101 -x4103 -x4108 -x4110 -x4115 -x4117 -x4122 -x4124 -x4129 -x4131 -x4136 -x4141 -x4143 -x4148 -x4150 -x4155 -x4157 -x4162 -x4164 -x4169 -x4171 -x4176 -x4178 -x4183 -x4185 -x4190 -x4192 -x4197 -x4199 -x4204 -x4206 -x4211 -x4213 -x4218 -x4220 -x4225 -x4227 -x4232 -x4234 -x4239 -x4241 -x4246 -x4251 -x4253 -x4258 -x4260 -x4265 -x4267 -x4272 -x4277 -x4279 -x4284 -x4286 -x4291 -x4293 -x4298 -x4300 -x4305 -x4307 -x4312 -x4314 -x10 -x12 -x13 -x15 -x16 -x18 -x19 -x21 -x22 -x24 -x25 -x27 -x28 -x30 -x31 -x32 -x33 -x35 -x36 -x38 -x39 -x41 -x42 -x43 -x44 -x46 -x47 -x49 -x50 -x52 -x53 -x55 -x56 -x57 -x58 -x60 -x61 -x63 -x64 -x66 -x67 -x69 -x70 -x72 -x73 -x75 -x76 -x78 -x79 -x80 -x81 -x83 -x84 -x86 -x87 -x89 -x91 -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 -x151 -x150 -x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x162 -x163 -x165 -x164 -x166 -x168 -x167 -x169 -x171 -x170 -x172 -x174 -x173 -x175 -x177 -x176 -x178 -x180 -x179 -x181 -x183 -x182 -x184 -x186 -x185 -x187 -x189 -x188 -x190 -x192 -x191 -x193 -x195 -x194 -x196 -x198 -x197 -x199 -x201 -x200 -x202 -x204 -x203 -x205 -x207 -x206 -x208 -x210 -x209 -x211 -x213 -x212 -x214 -x216 -x215 -x217 -x219 -x218 -x220 -x222 -x221 -x223 -x225 -x224 -x226 -x228 -x227 -x229 -x231 -x230 -x232 -x234 -x233 -x235 x237 -x236 -x238 -x240 -x239 -x241 -x243 -x242 -x244 -x246 -x245 -x247 -x249 -x248 -x250 -x252 -x251 -x253 -x255 -x254 -x256 -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 -x270 -x269 x271 -x273 -x272 -x274 -x276 -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 x291 x290 x292 -x294 -x293 -x295 -x297 -x296 -x298 -x300 -x299 -x301 -x303 -x302 -x304 -x306 -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 -x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x351 -x350 -x352 -x354 -x353 -x355 -x357 -x356 -x358 -x360 -x359 -x361 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x369 -x371 -x372 -x373 x374 x376 -x377 -x379 -x380 -x381 -x382 -x384 -x385 -x386 -x387 -x389 -x390 -x391 -x392 -x394 -x395 -x397 -x398 -x400 -x401 -x403 -x404 -x406 -x407 -x409 -x411 -x410 -x412 -x414 -x413 -x415 -x417 -x416 -x418 -x420 -x419 -x421 -x423 -x422 -x424 -x426 -x425 -x427 -x429 -x428 -x430 -x432 -x431 -x433 -x435 -x434 -x436 -x438 -x437 -x439 -x363 -x364 -x365 -x366 -x367 -x368 -x447 -x449 -x450 -x451 -x452 -x453 -x454 -x456 -x457 -x459 -x460 -x462 -x463 -x465 -x466 -x467 -x468 -x469 -x470 -x472 -x473 -x474 -x475 -x477 -x478 -x480 -x481 -x483 -x484 -x485 -x487 -x486 -x488 -x490 -x489 x491 -x493 -x492 -x494 -x496 -x495 -x497 -x499 -x498 -x501 -x500 -x502 -x504 -x503 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x441 x442 -x443 -x444 -x445 -x446 x522 -x523 -x525 -x526 -x528 -x529 -x531 -x532 -x533 -x534 -x535 -x536 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x556 -x555 -x558 -x557 -x560 -x559 -x562 -x561 -x564 -x563 -x565 -x567 -x566 -x568 -x570 -x569 -x571 -x573 -x572 -x574 -x576 -x575 -x577 -x579 -x578 -x580 -x516 -x517 -x518 -x519 -x520 -x521 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x597 -x598 -x600 -x601 -x602 -x603 -x605 -x606 -x607 -x608 -x610 -x611 -x612 x613 x614 -x615 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x626 -x627 -x628 -x629 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x640 -x639 -x641 -x643 -x642 -x644 -x646 -x645 -x647 -x649 -x648 -x650 -x652 -x651 -x653 -x655 -x654 -x656 -x658 -x657 -x659 -x661 -x660 -x662 -x663 -x664 -x666 -x665 -x667 -x669 -x668 -x670 -x672 -x671 -x673 -x675 -x674 -x676 -x678 -x677 -x679 -x681 -x680 -x682 -x684 -x683 -x685 -x687 -x686 -x688 -x690 -x689 -x691 -x693 -x692 -x694 -x696 -x695 -x697 -x699 -x698 -x700 -x702 -x701 -x703 -x705 -x704 -x706 -x708 -x707 -x709 -x710 -x711 -x713 -x712 -x714 -x716 -x715 -x717 -x719 -x718 -x720 -x721 -x722 -x724 -x723 -x725 -x727 -x726 -x728 -x730 -x729 -x731 -x733 -x732 -x734 -x736 -x735 -x737 -x739 -x738 -x740 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 1019.66/1023.39 v -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 x1854 x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 x1962 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 x1971 -x1972 -x1973 -x1974 x1976 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1990 x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 x2004 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 x2018 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 x2032 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2046 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2060 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2074 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2088 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2102 x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2116 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 x2130 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2144 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2158 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2172 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2186 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 x2200 x2202 x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2214 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2228 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2242 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2256 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 x2270 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 x2284 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 x2310 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2324 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2338 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2352 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2366 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2380 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2394 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 x2408 x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2422 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2436 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2450 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2464 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 x2478 x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2492 x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2506 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2520 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2534 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 x2548 x2550 x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2562 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2576 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2590 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 x2604 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2618 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 x2632 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 x2646 x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 x2660 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2674 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2688 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 x2702 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 x2716 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2730 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2744 -x2745 -x2746 -x2747 -x2749 -x2750 -x2751 -x2752 -x2754 -x2755 -x2756 -x2757 x2759 -x2760 -x2761 -x2762 -x2764 -x2765 -x2766 -x2767 -x2769 -x2770 -x2771 -x2772 -x2774 -x2775 -x2776 -x2777 x2779 -x2780 x2781 -x2782 -x2784 -x2785 -x2786 -x2787 x2789 -x2790 -x2791 -x2792 -x2794 -x2795 -x2796 -x2797 -x2799 -x2800 -x2801 -x2802 x2804 x2805 -x2806 -x2807 -x2809 -x2810 -x2811 -x2812 -x2814 -x2815 -x2816 -x2817 -x2819 -x2820 -x2821 -x2822 -x2824 -x2825 -x2826 -x2827 -x2829 -x2830 -x2831 -x2832 -x2834 -x2835 -x2836 -x2837 -x2839 -x2840 -x2841 -x2842 -x2844 -x2845 -x2846 -x2847 -x2849 -x2850 -x2851 -x2852 x2854 x2855 -x2856 -x2857 x2859 -x2860 -x2861 -x2862 -x2864 -x2865 -x2866 -x2867 -x2869 -x2870 -x2871 -x2872 -x2874 -x2875 -x2876 -x2877 -x2879 -x2880 -x2881 -x2882 -x2884 -x2885 -x2886 -x2887 -x2889 -x2890 -x2891 -x2892 -x2894 -x2895 -x2896 -x2897 -x2899 -x2900 -x2901 -x2902 -x2904 -x2905 -x2906 -x2907 -x2909 -x2910 -x2911 -x2912 -x2914 -x2915 -x2916 -x2917 -x2919 -x2920 -x2921 -x2922 -x2924 -x2925 -x2926 -x2927 -x2929 -x2930 -x2931 -x2932 -x2934 -x2935 -x2936 -x2937 -x2939 -x2940 -x2941 -x2942 -x2944 -x2945 -x2946 -x2947 -x2949 -x2950 -x2951 -x2952 -x2954 -x2955 -x2956 -x2957 x2959 -x2960 -x2961 -x2962 -x2964 -x2965 -x2966 -x2967 -x2969 -x2970 -x2971 -x2972 -x2974 -x2975 -x2976 -x2977 -x2979 -x2980 -x2981 -x2982 -x2984 -x2985 -x2986 -x2987 -x2989 -x2990 -x2991 -x2992 -x2994 -x2995 -x2996 -x2997 -x2999 -x3000 -x3001 -x3002 -x3004 -x3005 -x3006 -x3007 -x3009 -x3010 -x3011 -x3012 -x3014 -x3015 -x3016 -x3017 -x3019 -x3020 -x3021 -x3022 x3024 -x3025 -x3026 -x3027 x3029 x3030 -x3031 -x3032 -x3034 -x3035 -x3036 -x3037 -x3039 -x3040 -x3041 -x3042 -x3044 -x3045 -x3046 -x3047 -x3049 -x3050 -x3051 -x3052 -x3054 -x3055 -x3056 -x3057 -x3059 -x3060 -x3061 -x3062 -x3064 -x3065 -x3066 -x3067 -x3069 -x3070 -x3071 -x3072 -x3074 -x3075 -x3076 -x3077 x3079 x3080 -x3081 -x3082 -x3084 -x3085 -x3086 -x3087 -x3089 -x3090 -x3091 -x3092 x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3166 -x3167 -x3168 -x3169 -x3171 -x3172 -x3173 -x3174 x3176 -x3177 -x3178 x3179 -x3181 -x3182 -x3183 -x3184 -x3186 -x3187 -x3188 -x3189 -x3191 -x3192 -x3193 -x3194 -x3196 -x3197 -x3198 -x3199 -x3201 -x3202 -x3203 -x3204 x3206 -x3207 x3208 -x3209 x3211 -x3212 x3213 -x3214 x3216 -x3217 x3218 -x3219 -x3221 -x3222 -x3223 -x3224 -x3226 -x3227 -x3228 -x3229 -x3231 -x3232 -x3233 -x3234 -x3236 -x3237 -x3238 -x3239 -x3241 -x3243 x3245 x3247 x3249 -x3251 x3253 x3255 x3257 x3259 x3261 x3263 -x3265 -x3267 x3269 x3271 x3273 x3275 x3277 -x3279 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 x3293 -x3294 x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 x3353 -x3354 -x3355 -x3356 -x3358 -x3359 -x3360 -x3361 x3363 -x3364 -x3365 -x3366 -x3368 -x3369 -x3370 -x3371 -x3373 -x3374 -x3375 -x3376 -x3378 -x3379 -x3380 -x3381 x3383 -x3384 -x3385 -x3386 -x3388 -x3389 -x3390 -x3391 x3393 -x3394 x3395 -x3396 -x3398 -x3399 -x3400 -x3401 -x3403 -x3404 -x3405 -x3406 -x3408 -x3409 -x3410 -x3411 -x3413 -x3414 -x3415 -x3416 -x3418 -x3419 -x3420 -x3421 -x3423 -x3424 -x3425 -x3426 -x3428 -x3430 x3432 x3434 -x3436 -x3438 -x3440 x3442 x3444 x3446 -x3448 -x3450 -x3452 x3454 -x3456 x3458 x3460 -x3462 -x3464 x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 x3502 x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3538 -x3539 -x3540 -x3541 x3543 -x3544 -x3545 -x3546 -x3548 -x3549 -x3550 -x3551 -x3553 -x3554 -x3555 -x3556 -x3558 -x3559 -x3560 -x3561 x3563 -x3564 -x3565 -x3566 -x3568 -x3569 -x3570 -x3571 -x3573 -x3574 -x3575 -x3576 -x3578 -x3579 -x3580 -x3581 -x3583 -x3584 -x3585 -x3586 -x3588 -x3589 -x3590 -x3591 -x3593 -x3594 -x3595 -x3596 x3598 x3599 -x3600 -x3601 -x3603 -x3604 -x3605 -x3606 x3608 x3610 x3612 x3614 -x3616 x3618 x3620 -x3622 -x3624 x3626 -x3628 -x3630 -x3632 x3634 -x3636 -x3638 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3853 -x3854 -x3855 -x3856 x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 1019.66/1023.39 v -x3920 -x3921 -x3922 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 x3949 -x3950 x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4081 -x4083 -x4084 -x4085 -x4086 x4088 x4090 -x4091 -x4092 -x4093 -x4095 -x4097 -x4098 -x4099 -x4100 -x4102 -x4104 -x4105 -x4106 -x4107 x4109 x4111 -x4112 -x4113 -x4114 x4116 -x4118 -x4119 -x4120 -x4121 x4123 -x4125 -x4126 -x4127 -x4128 -x4130 -x4132 -x4133 -x4134 -x4135 -x4137 -x4138 -x4139 -x4140 x4142 -x4144 -x4145 -x4146 -x4147 x4149 x4151 -x4152 -x4153 x4154 x4156 x4158 -x4159 -x4160 -x4161 -x4163 -x4165 -x4166 -x4167 -x4168 -x4170 -x4172 -x4173 -x4174 -x4175 -x4177 -x4179 -x4180 -x4181 -x4182 -x4184 -x4186 -x4187 -x4188 -x4189 x4191 -x4193 -x4194 -x4195 -x4196 -x4198 -x4200 -x4201 -x4202 -x4203 x4205 -x4207 -x4208 -x4209 -x4210 -x4212 -x4214 -x4215 -x4216 -x4217 -x4219 -x4221 -x4222 -x4223 -x4224 x4226 x4228 -x4229 -x4230 -x4231 -x4233 -x4235 -x4236 -x4237 -x4238 x4240 -x4242 -x4243 -x4244 -x4245 x4247 -x4248 x4249 -x4250 x4252 -x4254 -x4255 -x4256 -x4257 -x4259 -x4261 -x4262 -x4263 -x4264 -x4266 -x4268 -x4269 -x4270 -x4271 x4273 -x4274 x4275 -x4276 x4278 -x4280 -x4281 -x4282 -x4283 -x4285 -x4287 -x4288 -x4289 -x4290 -x4292 -x4294 -x4295 -x4296 -x4297 -x4299 -x4301 -x4302 -x4303 -x4304 -x4306 -x4308 -x4309 -x4310 -x4311 -x4313 -x4315 -x4316 -x4317 -x4318
OK 18
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 (54443 MiB free)
memory of node 1: 64465 MiB (61684 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497711-1751389821/watcher-4497711-1751389821 -o /tmp/evaluation-result-4497711-1751389821/solver-4497711-1751389821 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751386400-51592 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4497711-1751389821.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=53302, runsolver pid=53299
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.18 4.19 4.12 5/270 53307
/proc/meminfo: memFree=118907448/131250000 swapFree=33010684/33010684
[pid=53302] ppid=53299 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53302/stat : 53302 (scip-naps-1.00.) S 53299 53302 51580 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 54604611 4292608 768 18446744073709551615 94693682720768 94693683615301 140723463003296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94693683854352 94693683902096 94693703520256 140723463006625 140723463006722 140723463006722 140723463012324 0
/proc/53302/statm: 1048 768 704 219 0 110 0
[pid=53307] ppid=53302 vsize=127376 memory=27116 CPUtime=0.04 cores=1,3
/proc/53307/stat : 53307 (python3) R 53302 53302 51580 0 -1 4194304 3038 0 0 0 4 0 0 0 20 0 1 0 54604614 130433024 6779 18446744073709551615 94204283793408 94204283793785 140724311758112 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94204283805080 94204283805700 94204298801152 140724311763303 140724311763490 140724311763490 140724311769063 0
/proc/53307/statm: 31844 6779 4283 1 0 3946 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 131568 KiB
Current children cumulated memory: 30188 KiB
[startup+0.205724 s]*
/proc/loadavg: 4.18 4.19 4.12 5/270 53307
/proc/meminfo: memFree=118883684/131250000 swapFree=33010684/33010684
[pid=53302] ppid=53299 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53302/stat : 53302 (scip-naps-1.00.) S 53299 53302 51580 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 54604611 4292608 768 18446744073709551615 94693682720768 94693683615301 140723463003296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94693683854352 94693683902096 94693703520256 140723463006625 140723463006722 140723463006722 140723463012324 0
/proc/53302/statm: 1048 768 704 219 0 110 0
[pid=53307] ppid=53302 vsize=1221308 memory=74732 CPUtime=0.15 cores=1,3
/proc/53307/stat : 53307 (python3) R 53302 53302 51580 0 -1 4194304 11738 0 0 0 13 2 0 0 20 0 1 0 54604614 1250619392 18683 18446744073709551615 94204283793408 94204283793785 140724311758112 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94204283805080 94204283805700 94204298801152 140724311763303 140724311763490 140724311763490 140724311769063 0
/proc/53307/statm: 305327 18683 7803 1 0 276685 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 1225500 KiB
Current children cumulated memory: 77804 KiB
[startup+0.305784 s]*
/proc/loadavg: 4.18 4.19 4.12 5/270 53307
/proc/meminfo: memFree=118859492/131250000 swapFree=33010684/33010684
[pid=53302] ppid=53299 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53302/stat : 53302 (scip-naps-1.00.) S 53299 53302 51580 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 54604611 4292608 768 18446744073709551615 94693682720768 94693683615301 140723463003296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94693683854352 94693683902096 94693703520256 140723463006625 140723463006722 140723463006722 140723463012324 0
/proc/53302/statm: 1048 768 704 219 0 110 0
[pid=53307] ppid=53302 vsize=1244344 memory=95724 CPUtime=0.25 cores=1,3
/proc/53307/stat : 53307 (python3) R 53302 53302 51580 0 -1 4194304 16877 0 0 0 22 3 0 0 20 0 1 0 54604614 1274208256 23931 18446744073709551615 94204283793408 94204283793785 140724311758112 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94204283805080 94204283805700 94204298801152 140724311763303 140724311763490 140724311763490 140724311769063 0
/proc/53307/statm: 311086 23931 7931 1 0 282444 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 1248536 KiB
Current children cumulated memory: 98796 KiB
[startup+0.700199 s]
/proc/loadavg: 4.18 4.19 4.12 5/270 53307
/proc/meminfo: memFree=118843364/131250000 swapFree=33010684/33010684
[pid=53302] ppid=53299 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53302/stat : 53302 (scip-naps-1.00.) S 53299 53302 51580 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 54604611 4292608 768 18446744073709551615 94693682720768 94693683615301 140723463003296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94693683854352 94693683902096 94693703520256 140723463006625 140723463006722 140723463006722 140723463012324 0
/proc/53302/statm: 1048 768 704 219 0 110 0
[pid=53307] ppid=53302 vsize=1309360 memory=153920 CPUtime=0.64 cores=1,3
/proc/53307/stat : 53307 (python3) R 53302 53302 51580 0 -1 4194304 31789 0 0 0 59 5 0 0 20 0 1 0 54604614 1340784640 38480 18446744073709551615 94204283793408 94204283793785 140724311758112 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94204283805080 94204283805700 94204298801152 140724311763303 140724311763490 140724311763490 140724311769063 0
/proc/53307/statm: 327340 38480 8123 1 0 298698 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1313552 KiB
Current children cumulated memory: 156992 KiB
[startup+1.50019 s]
/proc/loadavg: 4.18 4.19 4.12 5/270 53307
/proc/meminfo: memFree=118803044/131250000 swapFree=33010684/33010684
[pid=53302] ppid=53299 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53302/stat : 53302 (scip-naps-1.00.) S 53299 53302 51580 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 54604611 4292608 768 18446744073709551615 94693682720768 94693683615301 140723463003296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94693683854352 94693683902096 94693703520256 140723463006625 140723463006722 140723463006722 140723463012324 0
/proc/53302/statm: 1048 768 704 219 0 110 0
[pid=53307] ppid=53302 vsize=1315152 memory=161088 CPUtime=1.43 cores=1,3
/proc/53307/stat : 53307 (python3) R 53302 53302 51580 0 -1 4194304 33627 0 0 0 138 5 0 0 20 0 1 0 54604614 1346715648 40272 18446744073709551615 94204283793408 94204283793785 140724311758112 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94204283805080 94204283805700 94204298801152 140724311763303 140724311763490 140724311763490 140724311769063 0
/proc/53307/statm: 328788 40272 8123 1 0 300146 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 1319344 KiB
Current children cumulated memory: 164160 KiB
[startup+3.10561 s]
/proc/loadavg: 4.18 4.19 4.12 5/270 53307
/proc/meminfo: memFree=118771036/131250000 swapFree=33010684/33010684
[pid=53302] ppid=53299 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53302/stat : 53302 (scip-naps-1.00.) S 53299 53302 51580 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 54604611 4292608 768 18446744073709551615 94693682720768 94693683615301 140723463003296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94693683854352 94693683902096 94693703520256 140723463006625 140723463006722 140723463006722 140723463012324 0
/proc/53302/statm: 1048 768 704 219 0 110 0
[pid=53307] ppid=53302 vsize=1333384 memory=175424 CPUtime=3.04 cores=1,3
/proc/53307/stat : 53307 (python3) R 53302 53302 51580 0 -1 4194304 37220 0 0 0 298 6 0 0 20 0 1 0 54604614 1365385216 43856 18446744073709551615 94204283793408 94204283793785 140724311758112 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94204283805080 94204283805700 94204298801152 140724311763303 140724311763490 140724311763490 140724311769063 0
/proc/53307/statm: 333346 43856 8123 1 0 304704 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 1337576 KiB
Current children cumulated memory: 178496 KiB
[startup+6.30012 s]
/proc/loadavg: 4.25 4.20 4.13 5/270 53307
/proc/meminfo: memFree=118755036/131250000 swapFree=33010684/33010684
[pid=53302] ppid=53299 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53302/stat : 53302 (scip-naps-1.00.) S 53299 53302 51580 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 54604611 4292608 768 18446744073709551615 94693682720768 94693683615301 140723463003296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94693683854352 94693683902096 94693703520256 140723463006625 140723463006722 140723463006722 140723463012324 0
/proc/53302/statm: 1048 768 704 219 0 110 0
[pid=53307] ppid=53302 vsize=1349444 memory=184256 CPUtime=6.22 cores=1,3
/proc/53307/stat : 53307 (python3) R 53302 53302 51580 0 -1 4194304 39437 0 0 0 616 6 0 0 20 0 1 0 54604614 1381830656 46064 18446744073709551615 94204283793408 94204283793785 140724311758112 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94204283805080 94204283805700 94204298801152 140724311763303 140724311763490 140724311763490 140724311769063 0
/proc/53307/statm: 337361 46064 8123 1 0 308719 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 1353636 KiB
Current children cumulated memory: 187328 KiB
[startup+12.7002 s]
/proc/loadavg: 4.23 4.20 4.12 5/270 53307
/proc/meminfo: memFree=118703616/131250000 swapFree=33010684/33010684
[pid=53302] ppid=53299 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53302/stat : 53302 (scip-naps-1.00.) S 53299 53302 51580 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 54604611 4292608 768 18446744073709551615 94693682720768 94693683615301 140723463003296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94693683854352 94693683902096 94693703520256 140723463006625 140723463006722 140723463006722 140723463012324 0
/proc/53302/statm: 1048 768 704 219 0 110 0
[pid=53307] ppid=53302 vsize=1380860 memory=215872 CPUtime=12.61 cores=1,3
/proc/53307/stat : 53307 (python3) R 53302 53302 51580 0 -1 4194304 47336 0 0 0 1253 8 0 0 20 0 1 0 54604614 1414000640 53968 18446744073709551615 94204283793408 94204283793785 140724311758112 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94204283805080 94204283805700 94204298801152 140724311763303 140724311763490 140724311763490 140724311769063 0
/proc/53307/statm: 345215 53968 8123 1 0 316573 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1385052 KiB
Current children cumulated memory: 218944 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.19 4.12 5/270 53308
/proc/meminfo: memFree=118692072/131250000 swapFree=33010684/33010684
[pid=53302] ppid=53299 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53302/stat : 53302 (scip-naps-1.00.) S 53299 53302 51580 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 54604611 4292608 768 18446744073709551615 94693682720768 94693683615301 140723463003296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94693683854352 94693683902096 94693703520256 140723463006625 140723463006722 140723463006722 140723463012324 0
/proc/53302/statm: 1048 768 704 219 0 110 0
[pid=53307] ppid=53302 vsize=1380860 memory=215872 CPUtime=25.37 cores=1,3
/proc/53307/stat : 53307 (python3) R 53302 53302 51580 0 -1 4194304 47342 0 0 0 2529 8 0 0 20 0 1 0 54604614 1414000640 53968 18446744073709551615 94204283793408 94204283793785 140724311758112 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94204283805080 94204283805700 94204298801152 140724311763303 140724311763490 140724311763490 140724311769063 0
/proc/53307/statm: 345215 53968 8123 1 0 316573 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1385052 KiB
Current children cumulated memory: 218944 KiB
[startup+51.1057 s]
/proc/loadavg: 4.26 4.21 4.13 5/270 53308
/proc/meminfo: memFree=118679940/131250000 swapFree=33010684/33010684
[pid=53302] ppid=53299 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53302/stat : 53302 (scip-naps-1.00.) S 53299 53302 51580 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 54604611 4292608 768 18446744073709551615 94693682720768 94693683615301 140723463003296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94693683854352 94693683902096 94693703520256 140723463006625 140723463006722 140723463006722 140723463012324 0
/proc/53302/statm: 1048 768 704 219 0 110 0
[pid=53307] ppid=53302 vsize=1380860 memory=216640 CPUtime=50.9 cores=1,3
/proc/53307/stat : 53307 (python3) R 53302 53302 51580 0 -1 4194304 47527 0 0 0 5082 8 0 0 20 0 1 0 54604614 1414000640 54160 18446744073709551615 94204283793408 94204283793785 140724311758112 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94204283805080 94204283805700 94204298801152 140724311763303 140724311763490 140724311763490 140724311769063 0
/proc/53307/statm: 345215 54160 8123 1 0 316573 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1385052 KiB
Current children cumulated memory: 219712 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.19 4.12 5/270 53310
/proc/meminfo: memFree=118667788/131250000 swapFree=33010684/33010684
[pid=53302] ppid=53299 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53302/stat : 53302 (scip-naps-1.00.) S 53299 53302 51580 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 54604611 4292608 768 18446744073709551615 94693682720768 94693683615301 140723463003296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94693683854352 94693683902096 94693703520256 140723463006625 140723463006722 140723463006722 140723463012324 0
/proc/53302/statm: 1048 768 704 219 0 110 0
[pid=53307] ppid=53302 vsize=1415804 memory=239040 CPUtime=101.95 cores=1,3
/proc/53307/stat : 53307 (python3) R 53302 53302 51580 0 -1 4194304 53140 0 0 0 10186 9 0 0 20 0 1 0 54604614 1449783296 59760 18446744073709551615 94204283793408 94204283793785 140724311758112 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94204283805080 94204283805700 94204298801152 140724311763303 140724311763490 140724311763490 140724311769063 0
/proc/53307/statm: 353951 59760 8123 1 0 325309 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1419996 KiB
Current children cumulated memory: 242112 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.17 4.12 5/269 53312
/proc/meminfo: memFree=118663264/131250000 swapFree=33010684/33010684
[pid=53302] ppid=53299 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53302/stat : 53302 (scip-naps-1.00.) S 53299 53302 51580 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 54604611 4292608 768 18446744073709551615 94693682720768 94693683615301 140723463003296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94693683854352 94693683902096 94693703520256 140723463006625 140723463006722 140723463006722 140723463012324 0
/proc/53302/statm: 1048 768 704 219 0 110 0
[pid=53307] ppid=53302 vsize=1428208 memory=243520 CPUtime=161.78 cores=1,3
/proc/53307/stat : 53307 (python3) R 53302 53302 51580 0 -1 4194304 54255 0 0 0 16169 9 0 0 20 0 1 0 54604614 1462484992 60880 18446744073709551615 94204283793408 94204283793785 140724311758112 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94204283805080 94204283805700 94204298801152 140724311763303 140724311763490 140724311763490 140724311769063 0
/proc/53307/statm: 357052 60880 8123 1 0 328410 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1432400 KiB
Current children cumulated memory: 246592 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/268 53365
/proc/meminfo: memFree=125544568/131250000 swapFree=33010684/33010684
[pid=53302] ppid=53299 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53302/stat : 53302 (scip-naps-1.00.) S 53299 53302 51580 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 54604611 4292608 768 18446744073709551615 94693682720768 94693683615301 140723463003296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94693683854352 94693683902096 94693703520256 140723463006625 140723463006722 140723463006722 140723463012324 0
/proc/53302/statm: 1048 768 704 219 0 110 0
[pid=53307] ppid=53302 vsize=1446512 memory=245440 CPUtime=221.6 cores=1,3
/proc/53307/stat : 53307 (python3) R 53302 53302 51580 0 -1 4194304 54724 0 0 0 22151 9 0 0 20 0 1 0 54604614 1481228288 61360 18446744073709551615 94204283793408 94204283793785 140724311758112 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94204283805080 94204283805700 94204298801152 140724311763303 140724311763490 140724311763490 140724311769063 0
/proc/53307/statm: 361628 61360 8123 1 0 332986 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 1450704 KiB
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/268 53448
/proc/meminfo: memFree=126318948/131250000 swapFree=33010684/33010684
[pid=53302] ppid=53299 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53302/stat : 53302 (scip-naps-1.00.) S 53299 53302 51580 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 54604611 4292608 768 18446744073709551615 94693682720768 94693683615301 140723463003296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94693683854352 94693683902096 94693703520256 140723463006625 140723463006722 140723463006722 140723463012324 0
/proc/53302/statm: 1048 768 704 219 0 110 0
[pid=53307] ppid=53302 vsize=1545112 memory=309876 CPUtime=879.18 cores=1,3
/proc/53307/stat : 53307 (python3) R 53302 53302 51580 0 -1 4194304 76506 0 0 0 87904 14 0 0 20 0 1 0 54604614 1582194688 77469 18446744073709551615 94204283793408 94204283793785 140724311758112 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94204283805080 94204283805700 94204298801152 140724311763303 140724311763490 140724311763490 140724311769063 0
/proc/53307/statm: 386278 77469 8123 1 0 357636 0
Current children cumulated CPU time: 879.18 s
Current children cumulated vsize: 1549304 KiB
Current children cumulated memory: 312948 KiB
[startup+942.3 s]
/proc/loadavg: 4.09 4.15 4.12 5/268 53453
/proc/meminfo: memFree=126293928/131250000 swapFree=33010684/33010684
[pid=53302] ppid=53299 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53302/stat : 53302 (scip-naps-1.00.) S 53299 53302 51580 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 54604611 4292608 768 18446744073709551615 94693682720768 94693683615301 140723463003296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94693683854352 94693683902096 94693703520256 140723463006625 140723463006722 140723463006722 140723463012324 0
/proc/53302/statm: 1048 768 704 219 0 110 0
[pid=53307] ppid=53302 vsize=1551256 memory=312308 CPUtime=938.96 cores=1,3
/proc/53307/stat : 53307 (python3) R 53302 53302 51580 0 -1 4194304 77126 0 0 0 93882 14 0 0 20 0 1 0 54604614 1588486144 78077 18446744073709551615 94204283793408 94204283793785 140724311758112 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94204283805080 94204283805700 94204298801152 140724311763303 140724311763490 140724311763490 140724311769063 0
/proc/53307/statm: 387814 78077 8123 1 0 359172 0
Current children cumulated CPU time: 938.96 s
Current children cumulated vsize: 1555448 KiB
Current children cumulated memory: 315380 KiB
[startup+1002.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/269 53456
/proc/meminfo: memFree=126261812/131250000 swapFree=33010684/33010684
[pid=53302] ppid=53299 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53302/stat : 53302 (scip-naps-1.00.) S 53299 53302 51580 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 54604611 4292608 768 18446744073709551615 94693682720768 94693683615301 140723463003296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94693683854352 94693683902096 94693703520256 140723463006625 140723463006722 140723463006722 140723463012324 0
/proc/53302/statm: 1048 768 704 219 0 110 0
[pid=53307] ppid=53302 vsize=1564260 memory=319476 CPUtime=996.73 cores=1,3
/proc/53307/stat : 53307 (python3) S 53302 53302 51580 0 -1 4194304 79066 0 0 0 99658 15 0 0 20 0 1 0 54604614 1601802240 79869 18446744073709551615 94204283793408 94204283793785 140724311758112 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94204283805080 94204283805700 94204298801152 140724311763303 140724311763490 140724311763490 140724311769063 0
/proc/53307/statm: 391065 79869 8187 1 0 362423 0
[pid=53456] ppid=53307 vsize=24716 memory=23244 CPUtime=2 cores=1,3
/proc/53456/stat : 53456 (naps-1.03a6) R 53307 53456 53456 0 -1 4194304 9095 0 0 0 198 2 0 0 20 0 1 0 54704639 25309184 5811 18446744073709551615 4198400 7047149 140722001417568 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 18292736 140722001422713 140722001422835 140722001422835 140722001428425 0
/proc/53456/statm: 6179 5811 640 696 0 5340 0
Current children cumulated CPU time: 998.73 s
Current children cumulated vsize: 1593168 KiB
Current children cumulated memory: 345792 KiB
[startup+1023.55 s]
# the end of solver process 53302 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1019.7 s, system=0.230272 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1011.2 s]
/proc/loadavg: 4.11 4.15 4.12 5/269 53457
/proc/meminfo: memFree=126261828/131250000 swapFree=33010684/33010684
[pid=53302] ppid=53299 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53302/stat : 53302 (scip-naps-1.00.) S 53299 53302 51580 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 54604611 4292608 768 18446744073709551615 94693682720768 94693683615301 140723463003296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94693683854352 94693683902096 94693703520256 140723463006625 140723463006722 140723463006722 140723463012324 0
/proc/53302/statm: 1048 768 704 219 0 110 0
[pid=53307] ppid=53302 vsize=1564260 memory=319476 CPUtime=996.73 cores=1,3
/proc/53307/stat : 53307 (python3) S 53302 53302 51580 0 -1 4194304 79066 0 0 0 99658 15 0 0 20 0 1 0 54604614 1601802240 79869 18446744073709551615 94204283793408 94204283793785 140724311758112 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94204283805080 94204283805700 94204298801152 140724311763303 140724311763490 140724311763490 140724311769063 0
/proc/53307/statm: 391065 79869 8187 1 0 362423 0
[pid=53456] ppid=53307 vsize=25836 memory=24160 CPUtime=10.87 cores=1,3
/proc/53456/stat : 53456 (naps-1.03a6) R 53307 53456 53456 0 -1 4194304 11386 0 0 0 1085 2 0 0 20 0 1 0 54704639 26456064 6040 18446744073709551615 4198400 7047149 140722001417568 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 18292736 140722001422713 140722001422835 140722001422835 140722001428425 0
/proc/53456/statm: 6459 6040 640 696 0 5620 0
Current children cumulated CPU time: 1007.6 s
Current children cumulated vsize: 1594288 KiB
Current children cumulated memory: 346708 KiB
[startup+1017.6 s]
/proc/loadavg: 4.10 4.14 4.12 5/269 53457
/proc/meminfo: memFree=126262160/131250000 swapFree=33010684/33010684
[pid=53302] ppid=53299 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53302/stat : 53302 (scip-naps-1.00.) S 53299 53302 51580 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 54604611 4292608 768 18446744073709551615 94693682720768 94693683615301 140723463003296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94693683854352 94693683902096 94693703520256 140723463006625 140723463006722 140723463006722 140723463012324 0
/proc/53302/statm: 1048 768 704 219 0 110 0
[pid=53307] ppid=53302 vsize=1564260 memory=319476 CPUtime=996.73 cores=1,3
/proc/53307/stat : 53307 (python3) S 53302 53302 51580 0 -1 4194304 79066 0 0 0 99658 15 0 0 20 0 1 0 54604614 1601802240 79869 18446744073709551615 94204283793408 94204283793785 140724311758112 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94204283805080 94204283805700 94204298801152 140724311763303 140724311763490 140724311763490 140724311769063 0
/proc/53307/statm: 391065 79869 8187 1 0 362423 0
[pid=53456] ppid=53307 vsize=28000 memory=26436 CPUtime=17.25 cores=1,3
/proc/53456/stat : 53456 (naps-1.03a6) R 53307 53456 53456 0 -1 4194304 14216 0 0 0 1722 3 0 0 20 0 1 0 54704639 28672000 6609 18446744073709551615 4198400 7047149 140722001417568 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 18292736 140722001422713 140722001422835 140722001422835 140722001428425 0
/proc/53456/statm: 7000 6609 640 696 0 6161 0
Current children cumulated CPU time: 1013.98 s
Current children cumulated vsize: 1596452 KiB
Current children cumulated memory: 348984 KiB
[startup+1020.8 s]
/proc/loadavg: 4.09 4.14 4.11 5/269 53457
/proc/meminfo: memFree=126258064/131250000 swapFree=33010684/33010684
[pid=53302] ppid=53299 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53302/stat : 53302 (scip-naps-1.00.) S 53299 53302 51580 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 54604611 4292608 768 18446744073709551615 94693682720768 94693683615301 140723463003296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94693683854352 94693683902096 94693703520256 140723463006625 140723463006722 140723463006722 140723463012324 0
/proc/53302/statm: 1048 768 704 219 0 110 0
[pid=53307] ppid=53302 vsize=1564260 memory=319476 CPUtime=996.73 cores=1,3
/proc/53307/stat : 53307 (python3) S 53302 53302 51580 0 -1 4194304 79066 0 0 0 99658 15 0 0 20 0 1 0 54604614 1601802240 79869 18446744073709551615 94204283793408 94204283793785 140724311758112 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94204283805080 94204283805700 94204298801152 140724311763303 140724311763490 140724311763490 140724311769063 0
/proc/53307/statm: 391065 79869 8187 1 0 362423 0
[pid=53456] ppid=53307 vsize=28612 memory=26676 CPUtime=20.44 cores=1,3
/proc/53456/stat : 53456 (naps-1.03a6) R 53307 53456 53456 0 -1 4194304 15105 0 0 0 2041 3 0 0 20 0 1 0 54704639 29298688 6669 18446744073709551615 4198400 7047149 140722001417568 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 18292736 140722001422713 140722001422835 140722001422835 140722001428425 0
/proc/53456/statm: 7153 6669 640 696 0 6314 0
Current children cumulated CPU time: 1017.17 s
Current children cumulated vsize: 1597064 KiB
Current children cumulated memory: 349224 KiB
[startup+1022.4 s]
/proc/loadavg: 4.09 4.14 4.11 5/269 53457
/proc/meminfo: memFree=126258064/131250000 swapFree=33010684/33010684
[pid=53302] ppid=53299 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53302/stat : 53302 (scip-naps-1.00.) S 53299 53302 51580 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 54604611 4292608 768 18446744073709551615 94693682720768 94693683615301 140723463003296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94693683854352 94693683902096 94693703520256 140723463006625 140723463006722 140723463006722 140723463012324 0
/proc/53302/statm: 1048 768 704 219 0 110 0
[pid=53307] ppid=53302 vsize=1564260 memory=319476 CPUtime=996.73 cores=1,3
/proc/53307/stat : 53307 (python3) S 53302 53302 51580 0 -1 4194304 79066 0 0 0 99658 15 0 0 20 0 1 0 54604614 1601802240 79869 18446744073709551615 94204283793408 94204283793785 140724311758112 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94204283805080 94204283805700 94204298801152 140724311763303 140724311763490 140724311763490 140724311769063 0
/proc/53307/statm: 391065 79869 8187 1 0 362423 0
[pid=53456] ppid=53307 vsize=29004 memory=27188 CPUtime=22.04 cores=1,3
/proc/53456/stat : 53456 (naps-1.03a6) R 53307 53456 53456 0 -1 4194304 15216 0 0 0 2201 3 0 0 20 0 1 0 54704639 29700096 6797 18446744073709551615 4198400 7047149 140722001417568 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 18292736 140722001422713 140722001422835 140722001422835 140722001428425 0
/proc/53456/statm: 7251 6797 640 696 0 6412 0
Current children cumulated CPU time: 1018.77 s
Current children cumulated vsize: 1597456 KiB
Current children cumulated memory: 349736 KiB
[startup+1023.2 s]
/proc/loadavg: 4.09 4.14 4.11 5/269 53457
/proc/meminfo: memFree=126258064/131250000 swapFree=33010684/33010684
[pid=53302] ppid=53299 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53302/stat : 53302 (scip-naps-1.00.) S 53299 53302 51580 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 54604611 4292608 768 18446744073709551615 94693682720768 94693683615301 140723463003296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94693683854352 94693683902096 94693703520256 140723463006625 140723463006722 140723463006722 140723463012324 0
/proc/53302/statm: 1048 768 704 219 0 110 0
[pid=53307] ppid=53302 vsize=1564260 memory=319476 CPUtime=996.73 cores=1,3
/proc/53307/stat : 53307 (python3) S 53302 53302 51580 0 -1 4194304 79066 0 0 0 99658 15 0 0 20 0 1 0 54604614 1601802240 79869 18446744073709551615 94204283793408 94204283793785 140724311758112 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94204283805080 94204283805700 94204298801152 140724311763303 140724311763490 140724311763490 140724311769063 0
/proc/53307/statm: 391065 79869 8187 1 0 362423 0
[pid=53456] ppid=53307 vsize=33796 memory=31980 CPUtime=22.83 cores=1,3
/proc/53456/stat : 53456 (naps-1.03a6) R 53307 53456 53456 0 -1 4194304 15911 0 0 0 2280 3 0 0 20 0 1 0 54704639 34607104 7995 18446744073709551615 4198400 7047149 140722001417568 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 18292736 140722001422713 140722001422835 140722001422835 140722001428425 0
/proc/53456/statm: 8449 7995 640 696 0 7610 0
Current children cumulated CPU time: 1019.56 s
Current children cumulated vsize: 1602248 KiB
Current children cumulated memory: 354528 KiB
[startup+1023.41 s]
/proc/loadavg: 4.09 4.14 4.11 5/269 53457
/proc/meminfo: memFree=126258064/131250000 swapFree=33010684/33010684
[pid=53302] ppid=53299 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53302/stat : 53302 (scip-naps-1.00.) S 53299 53302 51580 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 54604611 4292608 768 18446744073709551615 94693682720768 94693683615301 140723463003296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94693683854352 94693683902096 94693703520256 140723463006625 140723463006722 140723463006722 140723463012324 0
/proc/53302/statm: 1048 768 704 219 0 110 0
[pid=53307] ppid=53302 vsize=1564260 memory=319476 CPUtime=1019.77 cores=1,3
/proc/53307/stat : 53307 (python3) R 53302 53302 51580 0 -1 4194304 88868 15914 0 0 99658 16 2300 3 20 0 1 0 54604614 1601802240 79869 18446744073709551615 94204283793408 94204283793785 140724311758112 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94204283805080 94204283805700 94204298801152 140724311763303 140724311763490 140724311763490 140724311769063 0
/proc/53307/statm: 391065 79869 8187 1 0 362423 0
Current children cumulated CPU time: 1019.77 s
Current children cumulated vsize: 1568452 KiB
Current children cumulated memory: 322548 KiB
[startup+1023.5 s]
/proc/loadavg: 4.09 4.14 4.11 5/269 53457
/proc/meminfo: memFree=126258064/131250000 swapFree=33010684/33010684
[pid=53302] ppid=53299 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53302/stat : 53302 (scip-naps-1.00.) S 53299 53302 51580 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 54604611 4292608 768 18446744073709551615 94693682720768 94693683615301 140723463003296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94693683854352 94693683902096 94693703520256 140723463006625 140723463006722 140723463006722 140723463012324 0
/proc/53302/statm: 1048 768 704 219 0 110 0
[pid=53307] ppid=53302 vsize=1564260 memory=319476 CPUtime=1019.86 cores=1,3
/proc/53307/stat : 53307 (python3) R 53302 53302 51580 0 -1 4194304 102574 15914 0 0 99667 16 2300 3 20 0 1 0 54604614 1601802240 79869 18446744073709551615 94204283793408 94204283793785 140724311758112 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94204283805080 94204283805700 94204298801152 140724311763303 140724311763490 140724311763490 140724311769063 0
/proc/53307/statm: 391065 79869 8187 1 0 362423 0
Current children cumulated CPU time: 1019.86 s
Current children cumulated vsize: 1568452 KiB
Current children cumulated memory: 322548 KiB
Child status: 0
Real time (s): 1023.55
CPU time (s): 1019.93
CPU user time (s): 1019.7
CPU system time (s): 0.230272
CPU usage (%): 99.6472
Max. virtual memory (cumulated for all children) (KiB): 1604436
Max. memory (cumulated for all children) (KiB): 356932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1019.7
system time used= 0.230272
maximum resident set size= 319476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126428
page faults= 0
swaps= 0
block input operations= 0
block output operations= 864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 361
involuntary context switches= 1762
# summary of solver processes directly reported to runsolver:
# pid: 53302
# total CPU time (s): 1019.93
# total CPU user time (s): 1019.7
# total CPU system time (s): 0.230272
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.36034 second user time and 4.37407 second system time
The end
Begin job on nodeC028 at 2025-07-01 19:10:21 IDJOB=4497711 IDBENCH=148191 IDSOLVER=3368 FILE ID=nodeC028/4497711-1751389821 RUNJOBID= nodeC028-1751386400-51592 SLURM_JOB_ID= 9598246 Free space on /tmp= 433020 MiB SOLVER NAME= SCIP-NaPS 1.00a1 BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497711-1751389821/watcher-4497711-1751389821 -o /tmp/evaluation-result-4497711-1751389821/solver-4497711-1751389821 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751386400-51592 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4497711-1751389821.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545 RANDOM SEED=1813480013 nodeC028 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.982 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.048 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 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 : 3582.550 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 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 : 3590.972 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 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.034 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.086 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 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 : 3600.112 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 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 : 3600.460 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 118914320 kB MemAvailable: 118907088 kB Buffers: 3280 kB Cached: 799744 kB SwapCached: 0 kB Active: 11170236 kB Inactive: 491220 kB Active(anon): 10876500 kB Inactive(anon): 0 kB Active(file): 293736 kB Inactive(file): 491220 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 5944 kB Writeback: 0 kB AnonPages: 10861444 kB Mapped: 131384 kB Shmem: 18068 kB KReclaimable: 94100 kB Slab: 180528 kB SReclaimable: 94100 kB SUnreclaim: 86428 kB KernelStack: 4368 kB PageTables: 25396 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 15332004 kB VmallocTotal: 34359738367 kB VmallocUsed: 150616 kB VmallocChunk: 0 kB Percpu: 3712 kB HardwareCorrupted: 0 kB AnonHugePages: 7110656 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: 197332 kB DirectMap2M: 7962624 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433016 MiB End job on nodeC028 at 2025-07-01 19:27:25