Trace number 4545290

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP-NaPS 1.00a2? (TO) 3600.47 3610.97

General information on the benchmark

NamePB25/normalized-PB25/DEC-LIN/wallon/
normalized-AverageAvoiding-20_c24.opb
MD5SUMfea607129b7127550b39e04c37b78aae
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark243.081
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables33526
Total number of constraints12724
Number of constraints which are clauses2302
Number of constraints which are cardinality constraints (but not clauses)1180
Number of constraints which are nor clauses,nor cardinality constraints9242
Minimum length of a constraint1
Maximum length of a constraint44
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 381
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1204
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

109.22/109.68	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4545290-1753228304.opb
109.22/109.68	c Solving mode: decision
109.22/109.68	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
109.22/109.68	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
109.22/109.68	c original problem has 33526 variables (33526 bin, 0 int, 0 impl, 0 cont) and 12724 constraints
109.22/109.68	c presolving:
109.22/109.68	c (round 1, fast)       1141 del vars, 1141 del conss, 1141 add conss, 1140 chg bounds, 3422 chg sides, 3423 chg coeffs, 0 upgd conss, 0 impls, 3466 clqs
109.22/109.68	c (round 2, fast)       1141 del vars, 2281 del conss, 1141 add conss, 1140 chg bounds, 3422 chg sides, 23952 chg coeffs, 0 upgd conss, 0 impls, 4606 clqs
109.22/109.68	c (round 3, exhaustive) 1141 del vars, 2282 del conss, 1141 add conss, 1140 chg bounds, 3422 chg sides, 23952 chg coeffs, 9302 upgd conss, 0 impls, 4606 clqs
109.22/109.68	c (round 4, medium)     2281 del vars, 2303 del conss, 3463 add conss, 1140 chg bounds, 11482 chg sides, 34294 chg coeffs, 9302 upgd conss, 0 impls, 4646 clqs
109.22/109.68	c (round 5, fast)       2281 del vars, 3443 del conss, 4603 add conss, 1140 chg bounds, 11482 chg sides, 34294 chg coeffs, 9302 upgd conss, 0 impls, 4646 clqs
109.22/109.68	c (round 6, exhaustive) 2281 del vars, 3503 del conss, 4623 add conss, 1140 chg bounds, 11482 chg sides, 34294 chg coeffs, 9302 upgd conss, 0 impls, 4646 clqs
109.22/109.68	c    (1.3s) probing: 79/31245 (0.3%) - 3 fixings, 0 aggregations, 0 implications, 0 bound changes
109.22/109.68	c    (1.3s) probing aborted: 50/50 successive totally useless probings
109.22/109.68	c    (1.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
109.22/109.68	c    (1.4s) no symmetry present (symcode time: 0.05)
109.22/109.68	c presolving (7 rounds: 7 fast, 4 medium, 3 exhaustive):
109.22/109.68	c  2284 deleted vars, 3503 deleted constraints, 4623 added constraints, 1140 tightened bounds, 0 added holes, 11482 changed sides, 34294 changed coefficients
109.22/109.68	c  0 implications, 4646 cliques
109.22/109.68	c presolved problem has 31242 variables (31242 bin, 0 int, 0 impl, 0 cont) and 13844 constraints
109.22/109.68	c    4659 constraints of type <knapsack>
109.22/109.68	c    4602 constraints of type <setppc>
109.22/109.68	c      20 constraints of type <and>
109.22/109.68	c    2281 constraints of type <linear>
109.22/109.68	c    2282 constraints of type <logicor>
109.22/109.68	c transformed objective value is always integral (scale: 1)
109.22/109.68	c Presolving Time: 1.34
109.22/109.68	c 
109.22/109.68	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
109.22/109.68	c   2.4s|     1 |     0 |  7557 |     - |   324M |   0 |  31k|  14k|  14k|   0 |  0 |  58 |   0 | 0.000000e+00 |      --      |    Inf | unknown
109.22/109.68	c   4.4s|     1 |     0 | 11487 |     - |   343M |   0 |  31k|  14k|  14k| 178 |  1 |  59 |   0 | 0.000000e+00 |      --      |    Inf | unknown
109.22/109.68	c   5.0s|     1 |     0 | 12085 |     - |   354M |   0 |  31k|  14k|  14k| 342 |  2 |  60 |   0 | 0.000000e+00 |      --      |    Inf | unknown
109.22/109.68	c   5.5s|     1 |     0 | 12531 |     - |   362M |   0 |  31k|  14k|  14k| 479 |  3 |  60 |   0 | 0.000000e+00 |      --      |    Inf | unknown
109.22/109.68	c   6.0s|     1 |     0 | 13062 |     - |   369M |   0 |  31k|  14k|  14k| 585 |  4 |  61 |   0 | 0.000000e+00 |      --      |    Inf | unknown
109.22/109.68	c   6.8s|     1 |     0 | 14095 |     - |   378M |   0 |  31k|  14k|  14k| 695 |  5 |  63 |   0 | 0.000000e+00 |      --      |    Inf | unknown
109.22/109.68	c   7.3s|     1 |     0 | 14669 |     - |   384M |   0 |  31k|  14k|  14k| 781 |  6 |  64 |   0 | 0.000000e+00 |      --      |    Inf | unknown
109.22/109.68	c   7.8s|     1 |     0 | 15209 |     - |   397M |   0 |  31k|  14k|  14k| 872 |  7 |  65 |   0 | 0.000000e+00 |      --      |    Inf | unknown
109.22/109.68	c   8.5s|     1 |     0 | 15545 |     - |   404M |   0 |  31k|  14k|  15k| 965 |  8 |  66 |   0 | 0.000000e+00 |      --      |    Inf | unknown
109.22/109.68	c   9.1s|     1 |     0 | 15891 |     - |   413M |   0 |  31k|  14k|  15k|1046 |  9 |  68 |   0 | 0.000000e+00 |      --      |    Inf | unknown
109.22/109.68	c  10.0s|     1 |     0 | 16469 |     - |   424M |   0 |  31k|  14k|  15k|1116 | 10 |  69 |   0 | 0.000000e+00 |      --      |    Inf | unknown
109.22/109.68	c  10.5s|     1 |     0 | 16926 |     - |   431M |   0 |  31k|  14k|  15k|1200 | 11 |  70 |   0 | 0.000000e+00 |      --      |    Inf | unknown
109.22/109.68	c  15.1s|     1 |     0 | 19768 |     - |   436M |   0 |  31k|  14k|  15k|1200 | 11 |  85 |  21 | 0.000000e+00 |      --      |    Inf | unknown
109.22/109.68	c  15.6s|     1 |     0 | 20410 |     - |   437M |   0 |  31k|  14k|  13k|1285 | 12 |  87 |  21 | 0.000000e+00 |      --      |    Inf | unknown
109.22/109.68	c  15.9s|     1 |     0 | 20954 |     - |   438M |   0 |  31k|  14k|  13k|1291 | 13 |  87 |  21 | 0.000000e+00 |      --      |    Inf | unknown
109.22/109.68	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
109.22/109.68	c  17.2s|     1 |     0 | 21586 |     - |   440M |   0 |  31k|  14k|  13k|1291 | 13 |  96 |  28 | 0.000000e+00 |      --      |    Inf | unknown
109.22/109.68	c  17.7s|     1 |     0 | 22504 |     - |   443M |   0 |  31k|  14k|  14k|1436 | 14 |  97 |  28 | 0.000000e+00 |      --      |    Inf | unknown
109.22/109.68	c  17.9s|     1 |     0 | 22845 |     - |   443M |   0 |  31k|  14k|  14k|1452 | 15 |  98 |  28 | 0.000000e+00 |      --      |    Inf | unknown
109.22/109.68	c  21.0s|     1 |     0 | 23146 |     - |   443M |   0 |  31k|  14k|  14k|1452 | 15 | 101 |  49 | 0.000000e+00 |      --      |    Inf | unknown
109.22/109.68	c  21.4s|     1 |     0 | 23830 |     - |   447M |   0 |  31k|  14k|  14k|1556 | 16 | 102 |  49 | 0.000000e+00 |      --      |    Inf | unknown
109.22/109.68	c  21.6s|     1 |     0 | 24258 |     - |   447M |   0 |  31k|  14k|  14k|1575 | 17 | 102 |  49 | 0.000000e+00 |      --      |    Inf | unknown
109.22/109.68	c  24.9s|     1 |     0 | 24712 |     - |   449M |   0 |  31k|  15k|  15k|1575 | 17 | 110 |  72 | 0.000000e+00 |      --      |    Inf | unknown
109.22/109.68	c  25.4s|     1 |     0 | 25323 |     - |   453M |   0 |  31k|  15k|  15k|1666 | 18 | 112 |  72 | 0.000000e+00 |      --      |    Inf | unknown
109.22/109.68	c  25.7s|     1 |     0 | 26055 |     - |   453M |   0 |  31k|  15k|  15k|1679 | 19 | 113 |  72 | 0.000000e+00 |      --      |    Inf | unknown
109.22/109.68	c  28.2s|     1 |     2 | 26265 |     - |   453M |   0 |  31k|  15k|  15k|1679 | 19 | 114 |  92 | 0.000000e+00 |      --      |    Inf | unknown
109.22/109.68	c  46.2s|   100 |    55 | 61542 | 401.2 |   465M |  39 |  31k|  15k|  13k|1803 |  1 | 388 |  92 | 0.000000e+00 |      --      |    Inf |   7.04%
109.22/109.68	c  53.3s|   200 |    49 | 71773 | 251.0 |   472M |  46 |  31k|  15k|  13k|1899 |  1 | 761 |  92 | 0.000000e+00 |      --      |    Inf |   7.04%
109.22/109.68	c  61.2s|   300 |    34 | 81158 | 198.4 |   479M |  55 |  31k|  16k|  13k|2040 |  0 | 920 |  92 | 0.000000e+00 |      --      |    Inf |  19.54%
109.22/109.68	c  69.8s|   400 |    45 | 94292 | 181.6 |   482M |  55 |  31k|  16k|  13k|2229 |  1 |1118 |  92 | 0.000000e+00 |      --      |    Inf |  32.04%
109.22/109.68	c  74.6s|   500 |    36 |107743 | 172.2 |   485M |  55 |  31k|  16k|   0 |2288 |  0 |1302 |  92 | 0.000000e+00 |      --      |    Inf |  32.82%
109.22/109.68	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
109.22/109.68	c  80.5s|   600 |    33 |118891 | 162.0 |   493M |  55 |  31k|  16k|  13k|2482 |  1 |1480 |  92 | 0.000000e+00 |      --      |    Inf |  32.82%
109.22/109.68	c  85.2s|   700 |    39 |131989 | 157.6 |   497M |  55 |  31k|  16k|  13k|2611 |  1 |1650 |  92 | 0.000000e+00 |      --      |    Inf |  32.82%
109.22/109.68	c  90.1s|   800 |    33 |142292 | 150.8 |   504M |  55 |  31k|  16k|  13k|2826 |  0 |1826 |  92 | 0.000000e+00 |      --      |    Inf |  32.83%
109.22/109.68	c  95.4s|   900 |    32 |156663 | 150.0 |   511M |  55 |  31k|  16k|   0 |2988 |  0 |1993 |  92 | 0.000000e+00 |      --      |    Inf |  32.97%
109.22/109.68	c  99.1s|  1000 |    37 |168170 | 146.5 |   515M |  55 |  31k|  16k|  13k|3069 |  1 |2211 |  92 | 0.000000e+00 |      --      |    Inf |  33.11%
109.22/109.68	c   105s|  1100 |    32 |181679 | 145.5 |   519M |  55 |  31k|  16k|  13k|3241 |  1 |2404 |  92 | 0.000000e+00 |      --      |    Inf |  33.17%
406.20/407.79	c   109s|  1200 |    34 |195981 | 145.3 |   523M |  55 |  31k|  16k|  13k|3385 |  1 |2520 |  92 | 0.000000e+00 |      --      |    Inf |  33.17%
406.20/407.79	c   115s|  1300 |    31 |208692 | 143.9 |   526M |  55 |  31k|  16k|   0 |3628 |  0 |2689 |  92 | 0.000000e+00 |      --      |    Inf |  33.17%
406.20/407.79	c   121s|  1400 |    30 |221081 | 142.4 |   531M |  55 |  31k|  17k|  13k|3748 |  1 |2895 |  92 | 0.000000e+00 |      --      |    Inf |  33.17%
406.20/407.79	c   127s|  1500 |    31 |235676 | 142.7 |   536M |  55 |  31k|  17k|  13k|3943 |  1 |3071 |  92 | 0.000000e+00 |      --      |    Inf |  33.17%
406.20/407.79	c   133s|  1600 |    35 |250377 | 142.9 |   542M |  55 |  31k|  17k|  13k|4170 |  2 |3280 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   138s|  1700 |    41 |259586 | 139.9 |   546M |  55 |  31k|  17k|  13k|4366 |  1 |3454 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   145s|  1800 |    37 |271460 | 138.8 |   550M |  55 |  31k|  17k|  13k|4518 |  1 |3645 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   150s|  1900 |    32 |281868 | 136.9 |   554M |  55 |  31k|  17k|   0 |4713 |  0 |3814 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   156s|  2000 |    33 |296065 | 137.2 |   558M |  55 |  31k|  17k|  13k|5008 |  1 |3987 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
406.20/407.79	c   160s|  2100 |    33 |309812 | 137.2 |   561M |  55 |  31k|  17k|   0 |5127 |  0 |4157 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   164s|  2200 |    32 |320927 | 136.0 |   563M |  55 |  31k|  17k|  13k|5214 |  1 |4311 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   171s|  2300 |    33 |339958 | 138.4 |   569M |  55 |  31k|  17k|  13k|5414 |  1 |4516 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   176s|  2400 |    36 |355596 | 139.1 |   573M |  55 |  31k|  17k|   0 |5498 |  0 |4683 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   181s|  2500 |    34 |368587 | 138.8 |   576M |  55 |  31k|  17k|   0 |5693 |  0 |4834 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   186s|  2600 |    34 |381750 | 138.5 |   580M |  55 |  31k|  17k|  13k|5921 |  2 |4997 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   192s|  2700 |    34 |396517 | 138.8 |   584M |  55 |  31k|  17k|   0 |6076 |  0 |5168 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   198s|  2800 |    35 |410730 | 138.9 |   588M |  55 |  31k|  17k|  13k|6364 |  1 |5302 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   203s|  2900 |    31 |423234 | 138.5 |   591M |  55 |  31k|  17k|  13k|6673 |  1 |5448 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   208s|  3000 |    56 |437662 | 138.7 |   593M |  55 |  31k|  17k|  13k|6877 |  1 |5640 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   212s|  3100 |    40 |450094 | 138.2 |   596M |  55 |  31k|  17k|  13k|7016 |  1 |5848 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   217s|  3200 |    38 |466708 | 139.1 |   601M |  55 |  31k|  17k|  13k|7277 |  1 |6049 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   222s|  3300 |    40 |484624 | 140.3 |   605M |  55 |  31k|  17k|   0 |7512 |  0 |6242 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   227s|  3400 |    39 |500295 | 140.8 |   610M |  55 |  31k|  17k|  13k|7645 |  1 |6467 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   232s|  3500 |    42 |515927 | 141.2 |   612M |  55 |  31k|  17k|   0 |7769 |  0 |6653 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
406.20/407.79	c   237s|  3600 |    40 |537447 | 143.3 |   615M |  55 |  31k|  17k|   0 |7872 |  0 |6823 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   243s|  3700 |    44 |560477 | 145.6 |   621M |  55 |  31k|  17k|  13k|8025 |  1 |6971 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   249s|  3800 |    47 |574995 | 145.6 |   626M |  59 |  31k|  17k|  13k|8283 |  0 |7086 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   254s|  3900 |    47 |596802 | 147.5 |   629M |  59 |  31k|  17k|  13k|8486 |  1 |7236 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   260s|  4000 |    47 |621776 | 150.0 |   632M |  59 |  31k|  17k|  13k|8673 |  1 |7381 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   266s|  4100 |    47 |648955 | 153.0 |   636M |  59 |  31k|  17k|  13k|8918 |  1 |7524 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   272s|  4200 |    49 |676385 | 155.9 |   639M |  59 |  31k|  17k|   0 |9092 |  0 |7692 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   277s|  4300 |    61 |695485 | 156.7 |   643M |  59 |  31k|  17k|  14k|9256 |  1 |7819 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   284s|  4400 |    49 |709488 | 156.3 |   646M |  59 |  31k|  17k|   0 |9546 |  0 |8012 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   289s|  4500 |    46 |732069 | 157.9 |   649M |  59 |  31k|  17k|  13k|9679 |  1 |8147 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   296s|  4600 |    49 |760226 | 160.6 |   651M |  59 |  31k|  17k|  13k|9867 |  1 |8346 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   302s|  4700 |    48 |789519 | 163.4 |   655M |  59 |  31k|  17k|  13k|9994 |  1 |8524 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   309s|  4800 |    44 |816114 | 165.5 |   660M |  59 |  31k|  17k|  13k|  10k|  1 |8677 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   316s|  4900 |    49 |842817 | 167.6 |   663M |  59 |  31k|  17k|  13k|  10k|  1 |8853 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   324s|  5000 |    59 |875212 | 170.7 |   667M |  59 |  31k|  17k|  13k|  10k|  0 |9031 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
406.20/407.79	c   330s|  5100 |    53 |901093 | 172.4 |   671M |  59 |  31k|  18k|  13k|  10k|  1 |9221 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   336s|  5200 |    53 |925506 | 173.8 |   675M |  59 |  31k|  18k|  13k|  10k|  1 |9462 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   343s|  5300 |    50 |951417 | 175.4 |   679M |  59 |  31k|  18k|  13k|  11k|  1 |9641 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   348s|  5400 |    47 |974529 | 176.5 |   686M |  59 |  31k|  18k|  13k|  11k|  1 |9816 |  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   355s|  5500 |    55 |  1001k| 178.2 |   689M |  59 |  31k|  18k|  13k|  11k|  1 |  10k|  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   361s|  5600 |    50 |  1027k| 179.5 |   692M |  59 |  31k|  18k|  13k|  11k|  2 |  10k|  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   368s|  5700 |    48 |  1053k| 181.1 |   698M |  59 |  31k|  18k|   0 |  12k|  0 |  10k|  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   374s|  5800 |    44 |  1079k| 182.3 |   702M |  59 |  31k|  18k|  13k|  12k|  1 |  10k|  92 | 0.000000e+00 |      --      |    Inf |  33.22%
406.20/407.79	c   380s|  5900 |    44 |  1098k| 182.5 |   705M |  59 |  31k|  18k|   0 |  12k|  0 |  10k|  92 | 0.000000e+00 |      --      |    Inf |  33.23%
406.20/407.79	c   385s|  6000 |    43 |  1119k| 183.0 |   707M |  59 |  31k|  18k|  13k|  12k|  1 |  10k|  92 | 0.000000e+00 |      --      |    Inf |  33.23%
406.20/407.79	c   391s|  6100 |    43 |  1144k| 184.1 |   709M |  59 |  31k|  18k|  13k|  12k|  1 |  11k|  92 | 0.000000e+00 |      --      |    Inf |  33.23%
406.20/407.79	c   396s|  6200 |    40 |  1161k| 183.9 |   712M |  59 |  31k|  18k|   0 |  12k|  0 |  11k|  92 | 0.000000e+00 |      --      |    Inf |  33.23%
406.20/407.79	c   401s|  6300 |    40 |  1182k| 184.2 |   714M |  59 |  31k|  18k|   0 |  12k|  0 |  11k|  92 | 0.000000e+00 |      --      |    Inf |  33.23%
406.20/407.79	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
406.20/407.79	c (run 1, node 6383) performing user restart
406.20/407.79	c 
498.48/500.33	c (restart) converted 145 cuts from the global cut pool into linear constraints
498.48/500.33	c 
498.48/500.33	c presolving:
498.48/500.33	c (round 1, fast)       20 del vars, 37 del conss, 1141 add conss, 0 chg bounds, 231 chg sides, 25491 chg coeffs, 0 upgd conss, 0 impls, 4696 clqs
498.48/500.33	c (round 2, fast)       20 del vars, 37 del conss, 1141 add conss, 0 chg bounds, 231 chg sides, 45676 chg coeffs, 0 upgd conss, 0 impls, 4696 clqs
498.48/500.33	c (round 3, medium)     20 del vars, 52 del conss, 1181 add conss, 0 chg bounds, 271 chg sides, 45987 chg coeffs, 0 upgd conss, 0 impls, 4834 clqs
498.48/500.33	c (round 4, exhaustive) 20 del vars, 1450 del conss, 1181 add conss, 0 chg bounds, 271 chg sides, 46096 chg coeffs, 0 upgd conss, 0 impls, 4834 clqs
498.48/500.33	c (round 5, exhaustive) 20 del vars, 1450 del conss, 1181 add conss, 0 chg bounds, 271 chg sides, 46173 chg coeffs, 1286 upgd conss, 0 impls, 4834 clqs
498.48/500.33	c (round 6, fast)       20 del vars, 2594 del conss, 1181 add conss, 0 chg bounds, 271 chg sides, 46323 chg coeffs, 1286 upgd conss, 0 impls, 4835 clqs
498.48/500.33	c (round 7, exhaustive) 20 del vars, 3176 del conss, 1182 add conss, 0 chg bounds, 278 chg sides, 47657 chg coeffs, 1286 upgd conss, 0 impls, 4844 clqs
498.48/500.33	c (round 8, exhaustive) 20 del vars, 3216 del conss, 1182 add conss, 0 chg bounds, 278 chg sides, 47670 chg coeffs, 1286 upgd conss, 0 impls, 4844 clqs
498.48/500.33	c presolving (9 rounds: 9 fast, 6 medium, 5 exhaustive):
498.48/500.33	c  20 deleted vars, 3216 deleted constraints, 1182 added constraints, 0 tightened bounds, 0 added holes, 278 changed sides, 48712 changed coefficients
498.48/500.33	c  0 implications, 4844 cliques
498.48/500.33	c presolved problem has 31222 variables (31222 bin, 0 int, 0 impl, 0 cont) and 16470 constraints
498.48/500.33	c    4770 constraints of type <knapsack>
498.48/500.33	c    4681 constraints of type <setppc>
498.48/500.33	c      13 constraints of type <and>
498.48/500.33	c    2379 constraints of type <linear>
498.48/500.33	c    4627 constraints of type <logicor>
498.48/500.33	c transformed objective value is always integral (scale: 1)
498.48/500.33	c Presolving Time: 1.88
498.48/500.33	c 
498.48/500.33	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
498.48/500.33	c   410s|     1 |     0 |  1216k|     - |   725M |   0 |  31k|  16k|  14k|   0 |  0 |  11k|  92 | 0.000000e+00 |      --      |    Inf | unknown
498.48/500.33	c   411s|     1 |     0 |  1217k|     - |   729M |   0 |  31k|  16k|  14k| 114 |  1 |  11k|  92 | 0.000000e+00 |      --      |    Inf | unknown
498.48/500.33	c   411s|     1 |     0 |  1217k|     - |   730M |   0 |  31k|  16k|  14k| 225 |  2 |  11k|  92 | 0.000000e+00 |      --      |    Inf | unknown
498.48/500.33	c   412s|     1 |     0 |  1217k|     - |   738M |   0 |  31k|  16k|  14k| 345 |  3 |  11k|  92 | 0.000000e+00 |      --      |    Inf | unknown
498.48/500.33	c   413s|     1 |     0 |  1218k|     - |   742M |   0 |  31k|  16k|  14k| 568 |  4 |  11k|  92 | 0.000000e+00 |      --      |    Inf | unknown
498.48/500.33	c   413s|     1 |     0 |  1218k|     - |   745M |   0 |  31k|  16k|  14k| 690 |  5 |  11k|  92 | 0.000000e+00 |      --      |    Inf | unknown
498.48/500.33	c   414s|     1 |     0 |  1219k|     - |   752M |   0 |  31k|  16k|  14k| 817 |  6 |  11k|  92 | 0.000000e+00 |      --      |    Inf | unknown
498.48/500.33	c   414s|     1 |     0 |  1219k|     - |   758M |   0 |  31k|  16k|  14k| 946 |  7 |  11k|  92 | 0.000000e+00 |      --      |    Inf | unknown
498.48/500.33	c   415s|     1 |     0 |  1220k|     - |   765M |   0 |  31k|  16k|  15k|1077 |  8 |  11k|  92 | 0.000000e+00 |      --      |    Inf | unknown
498.48/500.33	c   416s|     1 |     0 |  1221k|     - |   775M |   0 |  31k|  16k|  15k|1215 |  9 |  11k|  92 | 0.000000e+00 |      --      |    Inf | unknown
498.48/500.33	c   417s|     1 |     0 |  1222k|     - |   790M |   0 |  31k|  16k|  15k|1339 | 10 |  11k|  92 | 0.000000e+00 |      --      |    Inf | unknown
498.48/500.33	c   417s|     1 |     0 |  1222k|     - |   792M |   0 |  31k|  16k|  15k|1463 | 11 |  11k|  92 | 0.000000e+00 |      --      |    Inf | unknown
498.48/500.33	c   424s|     1 |     0 |  1227k|     - |   793M |   0 |  31k|  16k|  15k|1463 | 11 |  11k| 111 | 0.000000e+00 |      --      |    Inf | unknown
498.48/500.33	c   425s|     1 |     0 |  1228k|     - |   798M |   0 |  31k|  16k|  14k|1581 | 12 |  11k| 111 | 0.000000e+00 |      --      |    Inf | unknown
498.48/500.33	c   425s|     1 |     0 |  1228k|     - |   798M |   0 |  31k|  16k|  14k|1595 | 13 |  11k| 111 | 0.000000e+00 |      --      |    Inf | unknown
498.48/500.33	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
498.48/500.33	c   431s|     1 |     0 |  1228k|     - |   798M |   0 |  31k|  16k|  14k|1595 | 13 |  11k| 139 | 0.000000e+00 |      --      |    Inf | unknown
498.48/500.33	c   432s|     1 |     0 |  1229k|     - |   801M |   0 |  31k|  16k|  14k|1706 | 14 |  11k| 139 | 0.000000e+00 |      --      |    Inf | unknown
498.48/500.33	c   432s|     1 |     0 |  1229k|     - |   801M |   0 |  31k|  16k|  14k|1721 | 15 |  11k| 139 | 0.000000e+00 |      --      |    Inf | unknown
498.48/500.33	c   432s|     1 |     0 |  1229k|     - |   802M |   0 |  31k|  17k|  15k|1721 | 15 |  11k| 139 | 0.000000e+00 |      --      |    Inf | unknown
498.48/500.33	c   432s|     1 |     0 |  1230k|     - |   808M |   0 |  31k|  17k|  15k|1854 | 16 |  11k| 139 | 0.000000e+00 |      --      |    Inf | unknown
498.48/500.33	c   433s|     1 |     0 |  1230k|     - |   808M |   0 |  31k|  17k|  15k|1875 | 17 |  11k| 139 | 0.000000e+00 |      --      |    Inf | unknown
498.48/500.33	c   438s|     1 |     0 |  1231k|     - |   808M |   0 |  31k|  17k|  15k|1875 | 17 |  11k| 160 | 0.000000e+00 |      --      |    Inf | unknown
498.48/500.33	c   438s|     1 |     0 |  1231k|     - |   811M |   0 |  31k|  17k|  15k|1981 | 18 |  11k| 160 | 0.000000e+00 |      --      |    Inf | unknown
498.48/500.33	c   439s|     1 |     0 |  1231k|     - |   811M |   0 |  31k|  17k|  15k|2006 | 19 |  11k| 160 | 0.000000e+00 |      --      |    Inf | unknown
498.48/500.33	c   443s|     1 |     2 |  1231k|     - |   811M |   0 |  31k|  17k|  15k|2006 | 19 |  11k| 180 | 0.000000e+00 |      --      |    Inf | unknown
498.48/500.33	c   452s|   100 |    25 |  1262k| 188.3 |   812M |  34 |  31k|  17k|   0 |2146 |  0 |  11k| 180 | 0.000000e+00 |      --      |    Inf |  50.03%
498.48/500.33	c   460s|   200 |    58 |  1280k| 188.1 |   813M |  58 |  31k|  17k|  14k|2245 |  1 |  12k| 180 | 0.000000e+00 |      --      |    Inf |  50.03%
498.48/500.33	c   464s|   300 |    24 |  1295k| 187.6 |   815M |  68 |  31k|  18k|   0 |2337 |  0 |  12k| 180 | 0.000000e+00 |      --      |    Inf |  50.04%
498.48/500.33	c   471s|   400 |    29 |  1322k| 188.7 |   818M |  68 |  31k|  18k|   0 |2424 |  0 |  12k| 180 | 0.000000e+00 |      --      |    Inf |  51.60%
498.48/500.33	c   476s|   500 |    38 |  1339k| 188.5 |   819M |  68 |  31k|  18k|  14k|2594 |  0 |  12k| 180 | 0.000000e+00 |      --      |    Inf |  51.61%
498.48/500.33	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
498.48/500.33	c   484s|   600 |    38 |  1360k| 188.8 |   824M |  68 |  31k|  18k|  14k|2784 |  1 |  12k| 180 | 0.000000e+00 |      --      |    Inf |  51.61%
498.48/500.33	c   489s|   700 |    43 |  1383k| 189.4 |   825M |  68 |  31k|  18k|  14k|3008 |  1 |  13k| 180 | 0.000000e+00 |      --      |    Inf |  51.62%
498.48/500.33	c   496s|   800 |    27 |  1410k| 190.5 |   829M |  68 |  31k|  18k|   0 |3135 |  0 |  13k| 180 | 0.000000e+00 |      --      |    Inf |  51.62%
498.48/500.33	c 
498.48/500.33	c SCIP Status        : solving was interrupted [time limit reached]
498.48/500.33	c Solving Time (sec) : 500.00
498.48/500.33	c Solving Nodes      : 867 (total of 7250 nodes in 2 runs)
498.48/500.33	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
498.48/500.33	c Dual Bound         : +0.00000000000000e+00
498.48/500.33	c Gap                : infinite
498.48/500.33	c ----------------------------------------------------------------------
498.48/500.33	c dual bound: 0.0 -> 0
498.48/500.33	c primal bound: 1e+20 -> 100000000000000000000
498.48/500.33	c scip-goal-lb: 0
498.48/500.33	c scip-goal-ub: 100000000000000000000
498.48/500.33	c writing output to: HOME/tmpefmg4upq.opb
498.48/500.33	c appending fixed variable constraints
498.48/500.33	c scip-fixed vars: 3.75% (1171/31222)
498.48/500.33	c ----------------------------------------------------------------------
498.48/500.33	c executing external solver: HOME/naps-1.03a6
498.48/500.33	c ----------------------------------------------------------------------
498.48/500.33	c command: HOME/naps-1.03a6 HOME/tmpefmg4upq.opb
498.48/500.35	c NaPS 1.03a6.
498.48/500.35	c Input file name: HOME/tmpefmg4upq.opb
3600.08/3610.60	c
3600.08/3610.60	c *** TERMINATED *** by signal 15
3600.08/3610.60	c s UNKNOWN
3600.08/3610.60	c _____________________________________________________________________________
3600.08/3610.60	c std/band forms        : 8141,2281
3600.08/3610.60	c 2cl/3cl ITE-codings   : 2117180,2363970
3600.08/3610.60	c BDD/srt/adr Max costs : 1340,206,0
3600.08/3610.60	c BDDraw/bin/mul/srt/adr: 2301,0,6941,1180,0
3600.08/3610.60	c BDD nodes             : 5804288
3600.08/3610.60	c Es1/CC detections     : 0,0
3600.08/3610.60	c CC sort               : 1180
3600.08/3610.60	c SAT/UNSAT calls       : 0,0
3600.08/3610.60	c regenrated variables  : 0
3600.08/3610.60	c eliminated fixed lits : 2293
3600.08/3610.60	c goal lit flips        : 0
3600.08/3610.60	c goal stages           : 0
3600.08/3610.60	c goal shrink           : 0
3600.08/3610.60	c goal coeff separations: 0
3600.08/3610.60	c restarts              : 0
3600.08/3610.60	c conflicts             : 0              (0 /sec)
3600.08/3610.60	c decisions             : 0              (0 /sec)
3600.08/3610.60	c propagations          : 0              (0 /sec)
3600.08/3610.60	c inspects              : 0              (0 /sec)
3600.08/3610.60	c CPU time (solving tm) : 3097 s        (3066 s, SAT 0 s, UNSAT 0 s)
3600.08/3610.60	c Time for Opt-base     : 5.812 s
3600.08/3610.60	c Steps for Opt-base    : 20272020
3600.08/3610.60	c Time for BDD coding   : 28.05 s
3600.08/3610.60	c Time for srt coding   : 0.04518 s
3600.08/3610.60	c _____________________________________________________________________________
3600.08/3610.60	c received SIGTERM, forwarding to pbsolver...
3600.08/3610.61	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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: 63665 MiB (61875 MiB free)
  memory of node 1: 64507 MiB (53928 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545290-1753228304/watcher-4545290-1753228304 -o /tmp/evaluation-result-4545290-1753228304/solver-4545290-1753228304 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753222587-197771 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4545290-1753228304.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=200971, runsolver pid=200968
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 4.08 4.10 4.09 5/269 200976
/proc/meminfo: memFree=118583268/131250000 swapFree=33008868/33010684
[pid=200971] ppid=200968 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/200971/stat : 200971 (scip-naps-1.00a) S 200968 200971 197761 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 238510662 4292608 768 18446744073709551615 94205531328512 94205532223045 140730586348272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205532462096 94205532509840 94205541183488 140730586356123 140730586356222 140730586356222 140730586361826 0
/proc/200971/statm: 1048 768 704 219 0 110 0
[pid=200976] ppid=200971 vsize=1187636 memory=32288 CPUtime=0.06 cores=0,2
/proc/200976/stat : 200976 (python3) R 200971 200971 197761 0 -1 4194304 3837 0 0 0 6 0 0 0 20 0 1 0 238510664 1216139264 8072 18446744073709551615 94019862433792 94019862434169 140731101550656 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94019862445464 94019862446084 94019863076864 140731101555023 140731101555232 140731101555232 140731101560807 0
/proc/200976/statm: 296909 8072 4877 1 0 268931 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191828 KiB
Current children cumulated memory: 35360 KiB

[startup+0.205655 s]*
/proc/loadavg: 4.08 4.10 4.09 5/269 200976
/proc/meminfo: memFree=118551264/131250000 swapFree=33008868/33010684
[pid=200971] ppid=200968 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/200971/stat : 200971 (scip-naps-1.00a) S 200968 200971 197761 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 238510662 4292608 768 18446744073709551615 94205531328512 94205532223045 140730586348272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205532462096 94205532509840 94205541183488 140730586356123 140730586356222 140730586356222 140730586361826 0
/proc/200971/statm: 1048 768 704 219 0 110 0
[pid=200976] ppid=200971 vsize=1228868 memory=80544 CPUtime=0.18 cores=0,2
/proc/200976/stat : 200976 (python3) R 200971 200971 197761 0 -1 4194304 13389 0 0 0 15 3 0 0 20 0 1 0 238510664 1258360832 20136 18446744073709551615 94019862433792 94019862434169 140731101550656 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94019862445464 94019862446084 94019863076864 140731101555023 140731101555232 140731101555232 140731101560807 0
/proc/200976/statm: 307217 20136 7629 1 0 278575 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 1233060 KiB
Current children cumulated memory: 83616 KiB

[startup+0.305644 s]*
/proc/loadavg: 4.08 4.10 4.09 5/269 200976
/proc/meminfo: memFree=118486752/131250000 swapFree=33008868/33010684
[pid=200971] ppid=200968 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/200971/stat : 200971 (scip-naps-1.00a) S 200968 200971 197761 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 238510662 4292608 768 18446744073709551615 94205531328512 94205532223045 140730586348272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205532462096 94205532509840 94205541183488 140730586356123 140730586356222 140730586356222 140730586361826 0
/proc/200971/statm: 1048 768 704 219 0 110 0
[pid=200976] ppid=200971 vsize=1295172 memory=146592 CPUtime=0.27 cores=0,2
/proc/200976/stat : 200976 (python3) R 200971 200971 197761 0 -1 4194304 29742 0 0 0 22 5 0 0 20 0 1 0 238510664 1326256128 36648 18446744073709551615 94019862433792 94019862434169 140731101550656 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94019862445464 94019862446084 94019863076864 140731101555023 140731101555232 140731101555232 140731101560807 0
/proc/200976/statm: 323793 36648 7789 1 0 295151 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1299364 KiB
Current children cumulated memory: 149664 KiB

[startup+0.7002 s]
/proc/loadavg: 4.15 4.12 4.09 5/269 200976
/proc/meminfo: memFree=118406112/131250000 swapFree=33008868/33010684
[pid=200971] ppid=200968 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/200971/stat : 200971 (scip-naps-1.00a) S 200968 200971 197761 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 238510662 4292608 768 18446744073709551615 94205531328512 94205532223045 140730586348272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205532462096 94205532509840 94205541183488 140730586356123 140730586356222 140730586356222 140730586361826 0
/proc/200971/statm: 1048 768 704 219 0 110 0
[pid=200976] ppid=200971 vsize=1394624 memory=239904 CPUtime=0.65 cores=0,2
/proc/200976/stat : 200976 (python3) R 200971 200971 197761 0 -1 4194304 53011 0 0 0 56 9 0 0 20 0 1 0 238510664 1428094976 59976 18446744073709551615 94019862433792 94019862434169 140731101550656 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94019862445464 94019862446084 94019863076864 140731101555023 140731101555232 140731101555232 140731101560807 0
/proc/200976/statm: 348656 59976 7949 1 0 320014 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1398816 KiB
Current children cumulated memory: 242976 KiB

[startup+1.5002 s]
/proc/loadavg: 4.15 4.12 4.09 5/269 200976
/proc/meminfo: memFree=118389984/131250000 swapFree=33008868/33010684
[pid=200971] ppid=200968 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/200971/stat : 200971 (scip-naps-1.00a) S 200968 200971 197761 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 238510662 4292608 768 18446744073709551615 94205531328512 94205532223045 140730586348272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205532462096 94205532509840 94205541183488 140730586356123 140730586356222 140730586356222 140730586361826 0
/proc/200971/statm: 1048 768 704 219 0 110 0
[pid=200976] ppid=200971 vsize=1448464 memory=247712 CPUtime=1.46 cores=0,2
/proc/200976/stat : 200976 (python3) R 200971 200971 197761 0 -1 4194304 55070 0 0 0 136 10 0 0 20 0 1 0 238510664 1483227136 61928 18446744073709551615 94019862433792 94019862434169 140731101550656 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94019862445464 94019862446084 94019863076864 140731101555023 140731101555232 140731101555232 140731101560807 0
/proc/200976/statm: 362116 61928 7949 1 0 333474 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1452656 KiB
Current children cumulated memory: 250784 KiB

[startup+3.10509 s]
/proc/loadavg: 4.15 4.12 4.09 5/269 200976
/proc/meminfo: memFree=118273672/131250000 swapFree=33008868/33010684
[pid=200971] ppid=200968 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/200971/stat : 200971 (scip-naps-1.00a) S 200968 200971 197761 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 238510662 4292608 768 18446744073709551615 94205531328512 94205532223045 140730586348272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205532462096 94205532509840 94205541183488 140730586356123 140730586356222 140730586356222 140730586361826 0
/proc/200971/statm: 1048 768 704 219 0 110 0
[pid=200976] ppid=200971 vsize=1558192 memory=353660 CPUtime=3.06 cores=0,2
/proc/200976/stat : 200976 (python3) R 200971 200971 197761 0 -1 4194304 86925 0 0 0 290 16 0 0 20 0 1 0 238510664 1595588608 88415 18446744073709551615 94019862433792 94019862434169 140731101550656 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94019862445464 94019862446084 94019863076864 140731101555023 140731101555232 140731101555232 140731101560807 0
/proc/200976/statm: 389548 88415 8109 1 0 360906 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1562384 KiB
Current children cumulated memory: 356732 KiB

[startup+6.30019 s]
/proc/loadavg: 4.14 4.12 4.09 5/269 200976
/proc/meminfo: memFree=118267700/131250000 swapFree=33008868/33010684
[pid=200971] ppid=200968 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/200971/stat : 200971 (scip-naps-1.00a) S 200968 200971 197761 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 238510662 4292608 768 18446744073709551615 94205531328512 94205532223045 140730586348272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205532462096 94205532509840 94205541183488 140730586356123 140730586356222 140730586356222 140730586361826 0
/proc/200971/statm: 1048 768 704 219 0 110 0
[pid=200976] ppid=200971 vsize=1607872 memory=397624 CPUtime=6.25 cores=0,2
/proc/200976/stat : 200976 (python3) R 200971 200971 197761 0 -1 4194304 98107 0 0 0 607 18 0 0 20 0 1 0 238510664 1646460928 99406 18446744073709551615 94019862433792 94019862434169 140731101550656 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94019862445464 94019862446084 94019863076864 140731101555023 140731101555232 140731101555232 140731101560807 0
/proc/200976/statm: 401968 99406 8141 1 0 373326 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1612064 KiB
Current children cumulated memory: 400696 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 200976
/proc/meminfo: memFree=118115004/131250000 swapFree=33008868/33010684
[pid=200971] ppid=200968 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/200971/stat : 200971 (scip-naps-1.00a) S 200968 200971 197761 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 238510662 4292608 768 18446744073709551615 94205531328512 94205532223045 140730586348272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205532462096 94205532509840 94205541183488 140730586356123 140730586356222 140730586356222 140730586361826 0
/proc/200971/statm: 1048 768 704 219 0 110 0
[pid=200976] ppid=200971 vsize=1770652 memory=543704 CPUtime=12.62 cores=0,2
/proc/200976/stat : 200976 (python3) R 200971 200971 197761 0 -1 4194304 135434 0 0 0 1239 23 0 0 20 0 1 0 238510664 1813147648 135926 18446744073709551615 94019862433792 94019862434169 140731101550656 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94019862445464 94019862446084 94019863076864 140731101555023 140731101555232 140731101555232 140731101560807 0
/proc/200976/statm: 442663 135926 8141 1 0 414021 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1774844 KiB
Current children cumulated memory: 546776 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 200977
/proc/meminfo: memFree=118013328/131250000 swapFree=33008868/33010684
[pid=200971] ppid=200968 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/200971/stat : 200971 (scip-naps-1.00a) S 200968 200971 197761 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 238510662 4292608 768 18446744073709551615 94205531328512 94205532223045 140730586348272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205532462096 94205532509840 94205541183488 140730586356123 140730586356222 140730586356222 140730586361826 0
/proc/200971/statm: 1048 768 704 219 0 110 0
[pid=200976] ppid=200971 vsize=1765516 memory=540864 CPUtime=25.39 cores=0,2
/proc/200976/stat : 200976 (python3) R 200971 200971 197761 0 -1 4194304 136037 0 0 0 2515 24 0 0 20 0 1 0 238510664 1807888384 135216 18446744073709551615 94019862433792 94019862434169 140731101550656 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94019862445464 94019862446084 94019863076864 140731101555023 140731101555232 140731101555232 140731101560807 0
/proc/200976/statm: 441379 135216 8141 1 0 412737 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1769708 KiB
Current children cumulated memory: 543936 KiB

[startup+51.1056 s]
/proc/loadavg: 4.13 4.11 4.09 5/268 200977
/proc/meminfo: memFree=117947972/131250000 swapFree=33008868/33010684
[pid=200971] ppid=200968 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/200971/stat : 200971 (scip-naps-1.00a) S 200968 200971 197761 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 238510662 4292608 768 18446744073709551615 94205531328512 94205532223045 140730586348272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205532462096 94205532509840 94205541183488 140730586356123 140730586356222 140730586356222 140730586361826 0
/proc/200971/statm: 1048 768 704 219 0 110 0
[pid=200976] ppid=200971 vsize=1764248 memory=547568 CPUtime=50.9 cores=0,2
/proc/200976/stat : 200976 (python3) R 200971 200971 197761 0 -1 4194304 155755 0 0 0 5063 27 0 0 20 0 1 0 238510664 1806589952 136892 18446744073709551615 94019862433792 94019862434169 140731101550656 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94019862445464 94019862446084 94019863076864 140731101555023 140731101555232 140731101555232 140731101560807 0
/proc/200976/statm: 441062 136892 8141 1 0 412420 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1768440 KiB
Current children cumulated memory: 550640 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/270 200985
/proc/meminfo: memFree=117920800/131250000 swapFree=33008868/33010684
[pid=200971] ppid=200968 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/200971/stat : 200971 (scip-naps-1.00a) S 200968 200971 197761 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 238510662 4292608 768 18446744073709551615 94205531328512 94205532223045 140730586348272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205532462096 94205532509840 94205541183488 140730586356123 140730586356222 140730586356222 140730586361826 0
/proc/200971/statm: 1048 768 704 219 0 110 0
[pid=200976] ppid=200971 vsize=1795584 memory=578336 CPUtime=101.94 cores=0,2
/proc/200976/stat : 200976 (python3) R 200971 200971 197761 0 -1 4194304 188542 0 0 0 10161 33 0 0 20 0 1 0 238510664 1838678016 144584 18446744073709551615 94019862433792 94019862434169 140731101550656 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94019862445464 94019862446084 94019863076864 140731101555023 140731101555232 140731101555232 140731101560807 0
/proc/200976/statm: 448896 144584 8141 1 0 420254 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1799776 KiB
Current children cumulated memory: 581408 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/271 200988
/proc/meminfo: memFree=117662168/131250000 swapFree=33008868/33010684
[pid=200971] ppid=200968 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/200971/stat : 200971 (scip-naps-1.00a) S 200968 200971 197761 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 238510662 4292608 768 18446744073709551615 94205531328512 94205532223045 140730586348272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205532462096 94205532509840 94205541183488 140730586356123 140730586356222 140730586356222 140730586361826 0
/proc/200971/statm: 1048 768 704 219 0 110 0
[pid=200976] ppid=200971 vsize=2008076 memory=780960 CPUtime=161.75 cores=0,2
/proc/200976/stat : 200976 (python3) R 200971 200971 197761 0 -1 4194304 239547 0 0 0 16133 42 0 0 20 0 1 0 238510664 2056269824 195240 18446744073709551615 94019862433792 94019862434169 140731101550656 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94019862445464 94019862446084 94019863076864 140731101555023 140731101555232 140731101555232 140731101560807 0
/proc/200976/statm: 502019 195240 8141 1 0 473377 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 2012268 KiB
Current children cumulated memory: 784032 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/270 201038
/proc/meminfo: memFree=117683752/131250000 swapFree=33008868/33010684
[pid=200971] ppid=200968 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/200971/stat : 200971 (scip-naps-1.00a) S 200968 200971 197761 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 238510662 4292608 768 18446744073709551615 94205531328512 94205532223045 140730586348272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205532462096 94205532509840 94205541183488 140730586356123 140730586356222 140730586356222 140730586361826 0
/proc/200971/statm: 1048 768 704 219 0 110 0
[pid=200976] ppid=200971 vsize=2008076 memory=781600 CPUtime=221.51 cores=0,2
/proc/200976/stat : 200976 (python3) R 200971 200971 197761 0 -1 4194304 239778 0 0 0 22107 44 0 0 20 0 1 0 238510664 2056269824 195400 18446744073709551615 94019862433792 94019862434169 140731101550656 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94019862445464 94019862446084 94019863076864 140731101555023 140731101555232 140731101555232 140731101560807 0
/proc/200976/statm: 502019 195400 8141 1 0 473377 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 2012268 KiB

################
# More data... #
################


[startup+3282.3 s]
/proc/loadavg: 4.19 4.17 4.12 5/272 201399
/proc/meminfo: memFree=123016720/131250000 swapFree=33008868/33010684
[pid=200971] ppid=200968 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/200971/stat : 200971 (scip-naps-1.00a) S 200968 200971 197761 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 238510662 4292608 768 18446744073709551615 94205531328512 94205532223045 140730586348272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205532462096 94205532509840 94205541183488 140730586356123 140730586356222 140730586356222 140730586361826 0
/proc/200971/statm: 1048 768 704 219 0 110 0
[pid=200976] ppid=200971 vsize=2090628 memory=872264 CPUtime=498.52 cores=0,2
/proc/200976/stat : 200976 (python3) S 200971 200971 197761 0 -1 4194304 276826 0 0 0 49798 54 0 0 20 0 1 0 238510664 2140803072 218066 18446744073709551615 94019862433792 94019862434169 140731101550656 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94019862445464 94019862446084 94019863076864 140731101555023 140731101555232 140731101555232 140731101560807 0
/proc/200976/statm: 522657 218066 8173 1 0 494015 0
[pid=201049] ppid=200976 vsize=2097956 memory=1628752 CPUtime=2774.18 cores=0,2
/proc/201049/stat : 201049 (naps-1.03a6) R 200976 201049 201049 0 -1 4194304 557801 0 0 0 277037 381 0 0 20 0 1 0 238560697 2148306944 407188 18446744073709551615 4198400 7047149 140728810803008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20144128 140728810809743 140728810809841 140728810809841 140728810815433 0
/proc/201049/statm: 524489 407188 544 696 0 523650 0
Current children cumulated CPU time: 3272.7 s
Current children cumulated vsize: 4192776 KiB
Current children cumulated memory: 2504088 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/272 201401
/proc/meminfo: memFree=122804344/131250000 swapFree=33008868/33010684
[pid=200971] ppid=200968 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/200971/stat : 200971 (scip-naps-1.00a) S 200968 200971 197761 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 238510662 4292608 768 18446744073709551615 94205531328512 94205532223045 140730586348272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205532462096 94205532509840 94205541183488 140730586356123 140730586356222 140730586356222 140730586361826 0
/proc/200971/statm: 1048 768 704 219 0 110 0
[pid=200976] ppid=200971 vsize=2090628 memory=872264 CPUtime=498.52 cores=0,2
/proc/200976/stat : 200976 (python3) S 200971 200971 197761 0 -1 4194304 276826 0 0 0 49798 54 0 0 20 0 1 0 238510664 2140803072 218066 18446744073709551615 94019862433792 94019862434169 140731101550656 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94019862445464 94019862446084 94019863076864 140731101555023 140731101555232 140731101555232 140731101560807 0
/proc/200976/statm: 522657 218066 8173 1 0 494015 0
[pid=201049] ppid=200976 vsize=2097956 memory=1795036 CPUtime=2834.02 cores=0,2
/proc/201049/stat : 201049 (naps-1.03a6) R 200976 201049 201049 0 -1 4194304 559660 0 0 0 283014 388 0 0 20 0 1 0 238560697 2148306944 448759 18446744073709551615 4198400 7047149 140728810803008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20144128 140728810809743 140728810809841 140728810809841 140728810815433 0
/proc/201049/statm: 524489 448759 544 696 0 523650 0
Current children cumulated CPU time: 3332.54 s
Current children cumulated vsize: 4192776 KiB
Current children cumulated memory: 2670372 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/272 201403
/proc/meminfo: memFree=122783272/131250000 swapFree=33008868/33010684
[pid=200971] ppid=200968 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/200971/stat : 200971 (scip-naps-1.00a) S 200968 200971 197761 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 238510662 4292608 768 18446744073709551615 94205531328512 94205532223045 140730586348272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205532462096 94205532509840 94205541183488 140730586356123 140730586356222 140730586356222 140730586361826 0
/proc/200971/statm: 1048 768 704 219 0 110 0
[pid=200976] ppid=200971 vsize=2090628 memory=872264 CPUtime=498.52 cores=0,2
/proc/200976/stat : 200976 (python3) S 200971 200971 197761 0 -1 4194304 276826 0 0 0 49798 54 0 0 20 0 1 0 238510664 2140803072 218066 18446744073709551615 94019862433792 94019862434169 140731101550656 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94019862445464 94019862446084 94019863076864 140731101555023 140731101555232 140731101555232 140731101560807 0
/proc/200976/statm: 522657 218066 8173 1 0 494015 0
[pid=201049] ppid=200976 vsize=2025792 memory=1799228 CPUtime=2893.84 cores=0,2
/proc/201049/stat : 201049 (naps-1.03a6) R 200976 201049 201049 0 -1 4194304 559955 0 0 0 288996 388 0 0 20 0 1 0 238560697 2074411008 449807 18446744073709551615 4198400 7047149 140728810803008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20144128 140728810809743 140728810809841 140728810809841 140728810815433 0
/proc/201049/statm: 506448 449807 544 696 0 505609 0
Current children cumulated CPU time: 3392.36 s
Current children cumulated vsize: 4120612 KiB
Current children cumulated memory: 2674564 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/270 201405
/proc/meminfo: memFree=122769540/131250000 swapFree=33008868/33010684
[pid=200971] ppid=200968 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/200971/stat : 200971 (scip-naps-1.00a) S 200968 200971 197761 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 238510662 4292608 768 18446744073709551615 94205531328512 94205532223045 140730586348272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205532462096 94205532509840 94205541183488 140730586356123 140730586356222 140730586356222 140730586361826 0
/proc/200971/statm: 1048 768 704 219 0 110 0
[pid=200976] ppid=200971 vsize=2090628 memory=872264 CPUtime=498.52 cores=0,2
/proc/200976/stat : 200976 (python3) S 200971 200971 197761 0 -1 4194304 276826 0 0 0 49798 54 0 0 20 0 1 0 238510664 2140803072 218066 18446744073709551615 94019862433792 94019862434169 140731101550656 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94019862445464 94019862446084 94019863076864 140731101555023 140731101555232 140731101555232 140731101560807 0
/proc/200976/statm: 522657 218066 8173 1 0 494015 0
[pid=201049] ppid=200976 vsize=2550080 memory=1803336 CPUtime=2953.67 cores=0,2
/proc/201049/stat : 201049 (naps-1.03a6) R 200976 201049 201049 0 -1 4194304 560746 0 0 0 294978 389 0 0 20 0 1 0 238560697 2611281920 450834 18446744073709551615 4198400 7047149 140728810803008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20144128 140728810809743 140728810809841 140728810809841 140728810815433 0
/proc/201049/statm: 637520 450834 544 696 0 636681 0
Current children cumulated CPU time: 3452.19 s
Current children cumulated vsize: 4644900 KiB
Current children cumulated memory: 2678672 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/269 201407
/proc/meminfo: memFree=123062932/131250000 swapFree=33008868/33010684
[pid=200971] ppid=200968 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/200971/stat : 200971 (scip-naps-1.00a) S 200968 200971 197761 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 238510662 4292608 768 18446744073709551615 94205531328512 94205532223045 140730586348272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205532462096 94205532509840 94205541183488 140730586356123 140730586356222 140730586356222 140730586361826 0
/proc/200971/statm: 1048 768 704 219 0 110 0
[pid=200976] ppid=200971 vsize=2090628 memory=872264 CPUtime=498.52 cores=0,2
/proc/200976/stat : 200976 (python3) S 200971 200971 197761 0 -1 4194304 276826 0 0 0 49798 54 0 0 20 0 1 0 238510664 2140803072 218066 18446744073709551615 94019862433792 94019862434169 140731101550656 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94019862445464 94019862446084 94019863076864 140731101555023 140731101555232 140731101555232 140731101560807 0
/proc/200976/statm: 522657 218066 8173 1 0 494015 0
[pid=201049] ppid=200976 vsize=1985896 memory=1555964 CPUtime=3013.51 cores=0,2
/proc/201049/stat : 201049 (naps-1.03a6) R 200976 201049 201049 0 -1 4194304 563096 0 0 0 300957 394 0 0 20 0 1 0 238560697 2033557504 388991 18446744073709551615 4198400 7047149 140728810803008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20144128 140728810809743 140728810809841 140728810809841 140728810815433 0
/proc/201049/statm: 496474 388991 544 696 0 495635 0
Current children cumulated CPU time: 3512.03 s
Current children cumulated vsize: 4080716 KiB
Current children cumulated memory: 2431300 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/269 201408
/proc/meminfo: memFree=122975748/131250000 swapFree=33008868/33010684
[pid=200971] ppid=200968 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/200971/stat : 200971 (scip-naps-1.00a) S 200968 200971 197761 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 238510662 4292608 768 18446744073709551615 94205531328512 94205532223045 140730586348272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205532462096 94205532509840 94205541183488 140730586356123 140730586356222 140730586356222 140730586361826 0
/proc/200971/statm: 1048 768 704 219 0 110 0
[pid=200976] ppid=200971 vsize=2090628 memory=872264 CPUtime=498.52 cores=0,2
/proc/200976/stat : 200976 (python3) S 200971 200971 197761 0 -1 4194304 276826 0 0 0 49798 54 0 0 20 0 1 0 238510664 2140803072 218066 18446744073709551615 94019862433792 94019862434169 140731101550656 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94019862445464 94019862446084 94019863076864 140731101555023 140731101555232 140731101555232 140731101560807 0
/proc/200976/statm: 522657 218066 8173 1 0 494015 0
[pid=201049] ppid=200976 vsize=1985896 memory=1648112 CPUtime=3073.34 cores=0,2
/proc/201049/stat : 201049 (naps-1.03a6) R 200976 201049 201049 0 -1 4194304 566851 0 0 0 306927 407 0 0 20 0 1 0 238560697 2033557504 412028 18446744073709551615 4198400 7047149 140728810803008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20144128 140728810809743 140728810809841 140728810809841 140728810815433 0
/proc/201049/statm: 496474 412028 544 696 0 495635 0
Current children cumulated CPU time: 3571.86 s
Current children cumulated vsize: 4080716 KiB
Current children cumulated memory: 2523448 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.08 4.12 4.09 5/269 201459
/proc/meminfo: memFree=123015480/131250000 swapFree=33008868/33010684
[pid=200971] ppid=200968 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/200971/stat : 200971 (scip-naps-1.00a) S 200968 200971 197761 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 238510662 4292608 768 18446744073709551615 94205531328512 94205532223045 140730586348272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94205532462096 94205532509840 94205541183488 140730586356123 140730586356222 140730586356222 140730586361826 0
/proc/200971/statm: 1048 768 704 219 0 110 0
[pid=200976] ppid=200971 vsize=2090628 memory=872264 CPUtime=498.52 cores=0,2
/proc/200976/stat : 200976 (python3) S 200971 200971 197761 0 -1 4194304 276826 0 0 0 49798 54 0 0 20 0 1 0 238510664 2140803072 218066 18446744073709551615 94019862433792 94019862434169 140731101550656 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94019862445464 94019862446084 94019863076864 140731101555023 140731101555232 140731101555232 140731101560807 0
/proc/200976/statm: 522657 218066 8173 1 0 494015 0
[pid=201049] ppid=200976 vsize=1985896 memory=1648112 CPUtime=3101.56 cores=0,2
/proc/201049/stat : 201049 (naps-1.03a6) R 200976 201049 201049 0 -1 4194304 566882 0 0 0 309749 407 0 0 20 0 1 0 238560697 2033557504 412028 18446744073709551615 4198400 7047149 140728810803008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20144128 140728810809743 140728810809841 140728810809841 140728810815433 0
/proc/201049/statm: 496474 412028 544 696 0 495635 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 4080716 KiB
Current children cumulated memory: 2523448 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.61 s]
# the end of solver process 200971 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.002633 s, system=0.003446 s

[startup+3610.97 s]
# the end of solver process 200976 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3595.75 s, system=4.72326 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3610.81 s]
/proc/loadavg: 4.08 4.12 4.09 5/267 201459
/proc/meminfo: memFree=124640044/131250000 swapFree=33008868/33010684
[pid=200976] ppid=200968 vsize=2090628 memory=872264 CPUtime=3600.29 cores=0,2
/proc/200976/stat : 200976 (python3) R 200968 200971 197761 0 -1 4194304 322929 566883 0 0 49814 57 309749 409 20 0 1 0 238510664 2140803072 218066 18446744073709551615 94019862433792 94019862434169 140731101550656 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94019862445464 94019862446084 94019863076864 140731101555023 140731101555232 140731101555232 140731101560807 0
/proc/200976/statm: 522657 218066 8173 1 0 494015 0
Current cumulated CPU time of completed processes: 0.006079 s
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 2090628 KiB
Current children cumulated memory: 872264 KiB

[startup+3610.9 s]
/proc/loadavg: 4.08 4.12 4.09 5/267 201459
/proc/meminfo: memFree=124640044/131250000 swapFree=33008868/33010684
[pid=200976] ppid=200968 vsize=2029152 memory=854448 CPUtime=3600.38 cores=0,2
/proc/200976/stat : 200976 (python3) R 200968 200971 197761 0 -1 4194304 349484 566883 0 0 49822 58 309749 409 20 0 1 0 238510664 2077851648 213612 18446744073709551615 94019862433792 94019862434169 140731101550656 0 0 0 0 16781312 0 0 0 0 17 0 0 0 0 0 0 94019862445464 94019862446084 94019863076864 140731101555023 140731101555232 140731101555232 140731101560807 0
/proc/200976/statm: 507288 213612 8173 1 0 478646 0
Current cumulated CPU time of completed processes: 0.006079 s
Current children cumulated CPU time: 3600.38 s
Current children cumulated vsize: 2029152 KiB
Current children cumulated memory: 854448 KiB

Child status: 0

Real time (s): 3610.97
CPU time (s): 3600.47
CPU user time (s): 3595.75
CPU system time (s): 4.72326
CPU usage (%): 99.7094
Max. virtual memory (cumulated for all children) (KiB): 5469748
Max. memory (cumulated for all children) (KiB): 3162676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.75
system time used= 4.72326
maximum resident set size= 2287340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 919903
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 406
involuntary context switches= 4590


# summary of solver processes directly reported to runsolver:
#   pid: 200971,200976
#   total CPU time (s): 3600.47
#   total CPU user time (s): 3595.75
#   total CPU system time (s): 4.72326

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.37146 second user time and 17.303 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-23 01:51:44
IDJOB=4545290
IDBENCH=180787
IDSOLVER=3388
FILE ID=nodeC013/4545290-1753228304
RUNJOBID= nodeC013-1753222587-197771
SLURM_JOB_ID= 9687822
Free space on /tmp= 432952 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-AverageAvoiding-20_c24.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545290-1753228304/watcher-4545290-1753228304 -o /tmp/evaluation-result-4545290-1753228304/solver-4545290-1753228304 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753222587-197771 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4545290-1753228304.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= fea607129b7127550b39e04c37b78aae
RANDOM SEED=1949067118

nodeC013 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.290
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.67
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.826
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.67
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		: 3600.843
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.67
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		: 3471.379
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.859
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.820
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.67
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		: 3798.192
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.67
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		: 3598.892
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        118583268 kB
MemAvailable:   119725576 kB
Buffers:            1668 kB
Cached:          1882656 kB
SwapCached:           52 kB
Active:         10842172 kB
Inactive:        1024696 kB
Active(anon):    9999096 kB
Inactive(anon):     4872 kB
Active(file):     843076 kB
Inactive(file):  1019824 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008868 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7848 kB
Writeback:             0 kB
AnonPages:       9963544 kB
Mapped:           131188 kB
Shmem:             21424 kB
KReclaimable:     236896 kB
Slab:             334256 kB
SReclaimable:     236896 kB
SUnreclaim:        97360 kB
KernelStack:        4384 kB
PageTables:        23700 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   14407984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2697216 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432988 MiB
End job on nodeC013 at 2025-07-23 02:51:55