Trace number 4498995

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 NameAnswerobjective functionCPU timeWall clock time
SCIP-NaPS 1.00a1? (TO) 3600.23 3611.47

General information on the benchmark

NamePB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx97.opb
MD5SUMb17790bf3951ca85a67cd8038da17b4d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8655.85
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8424
Total number of constraints9089
Number of constraints which are clauses8415
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints576
Minimum length of a constraint2
Maximum length of a constraint576
Number of terms in the objective function 9
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 9
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1199
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 

198.23/198.96	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4498995-1751392833.opb
198.23/198.96	c Solving mode: optimization
198.23/198.96	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
198.23/198.96	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
198.23/198.96	c original problem has 8424 variables (8424 bin, 0 int, 0 impl, 0 cont) and 9089 constraints
198.23/198.96	c presolving:
198.23/198.96	c (round 1, fast)       9 del vars, 1 del conss, 0 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2293 clqs
198.23/198.96	c (round 2, fast)       9 del vars, 8416 del conss, 0 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2293 clqs
198.23/198.96	c (round 3, exhaustive) 9 del vars, 8416 del conss, 0 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 2293 clqs
198.23/198.96	c    (0.2s) probing: 51/8415 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
198.23/198.96	c    (0.2s) probing aborted: 50/50 successive totally useless probings
198.23/198.96	c    (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
198.23/198.96	c    (3.2s) symmetry computation finished: 651 generators found (max: 1500, log10 of symmetry group size: 220.0) (symcode time: 2.93)
198.23/198.96	c dynamic symmetry handling statistics:
198.23/198.96	c    orbitopal reduction:       no components
198.23/198.96	c    orbital reduction:         no components
198.23/198.96	c    lexicographic reduction:   no permutations
198.23/198.96	c handled 1 out of 1 symmetry components
198.23/198.96	c (round 4, exhaustive) 594 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1886 clqs
198.23/198.96	c (round 5, medium)     831 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1864 clqs
198.23/198.96	c (round 6, medium)     900 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1842 clqs
198.23/198.96	c (round 7, medium)     991 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1793 clqs
198.23/198.96	c (round 8, medium)     1078 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1789 clqs
198.23/198.96	c (round 9, medium)     1117 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1784 clqs
198.23/198.96	c (round 10, medium)     1133 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1784 clqs
198.23/198.96	c (round 11, medium)     1139 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1784 clqs
198.23/198.96	c    (4.4s) probing: 1000/8415 (11.9%) - 0 fixings, 0 aggregations, 40992 implications, 0 bound changes
198.23/198.96	c    (4.6s) probing: 1247/8415 (14.8%) - 0 fixings, 0 aggregations, 50374 implications, 0 bound changes
198.23/198.96	c    (4.6s) probing aborted: 1000/1000 successive useless probings
198.23/198.96	c presolving (12 rounds: 12 fast, 10 medium, 3 exhaustive):
198.23/198.96	c  1139 deleted vars, 8416 deleted constraints, 575 added constraints, 9 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
198.23/198.96	c  0 implications, 52158 cliques
198.23/198.96	c presolved problem has 7285 variables (7285 bin, 0 int, 0 impl, 0 cont) and 1248 constraints
198.23/198.96	c     576 constraints of type <knapsack>
198.23/198.96	c      97 constraints of type <setppc>
198.23/198.96	c     575 constraints of type <orbitope>
198.23/198.96	c transformed objective value is always integral (scale: 1)
198.23/198.96	c Presolving Time: 4.63
198.23/198.96	c 
198.23/198.96	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
198.23/198.96	c   5.2s|     1 |     0 |  1350 |     - |   183M |   0 |7285 |1304 | 673 |   0 |  0 |  55 |   0 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c   5.8s|     1 |     0 |  2774 |     - |   188M |   0 |7285 |1305 | 697 |  24 |  1 |  56 |   0 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c   5.9s|     1 |     0 |  3073 |     - |   190M |   0 |7285 |1306 | 724 |  51 |  2 |  57 |   0 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c   6.1s|     1 |     0 |  3693 |     - |   195M |   0 |7285 |1306 | 755 |  82 |  3 |  57 |   0 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c   6.3s|     1 |     0 |  4137 |     - |   199M |   0 |7285 |1306 | 784 | 111 |  4 |  57 |   0 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c   6.6s|     1 |     0 |  5787 |     - |   201M |   0 |7285 |1306 | 816 | 143 |  5 |  57 |   0 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c   6.8s|     1 |     0 |  6215 |     - |   204M |   0 |7285 |1307 | 843 | 170 |  6 |  58 |   0 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c   7.2s|     1 |     0 |  8080 |     - |   207M |   0 |7285 |1309 | 875 | 202 |  7 |  60 |   0 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c   7.5s|     1 |     0 |  9394 |     - |   212M |   0 |7285 |1319 | 905 | 232 |  8 |  70 |   0 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c   7.8s|     1 |     0 | 10428 |     - |   217M |   0 |7285 |1321 | 932 | 259 |  9 |  72 |   0 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c   8.2s|     1 |     0 | 12314 |     - |   218M |   0 |7285 |1322 | 965 | 292 | 10 |  73 |   0 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c   8.8s|     1 |     0 | 15406 |     - |   221M |   0 |7285 |1322 | 981 | 327 | 11 |  73 |   0 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c   9.7s|     1 |     2 | 18439 |     - |   221M |   0 |7285 |1340 | 981 | 327 | 11 |  91 |  11 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c  31.1s|   100 |    91 |129393 |1151.4 |   242M |  26 |7285 |1865 | 757 | 519 |  1 | 626 |  11 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c  41.7s|   200 |   163 |201196 | 933.6 |   254M |  44 |7285 |2161 | 786 | 786 |  1 | 929 |  11 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
198.23/198.96	c  50.2s|   300 |   203 |261425 | 822.8 |   258M |  50 |7285 |2358 | 781 | 994 |  0 |1149 |  11 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c  59.0s|   400 |   225 |317060 | 756.0 |   264M |  60 |7285 |2573 | 783 |1121 |  1 |1411 |  11 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c  68.4s|   500 |   223 |377422 | 725.5 |   270M |  60 |7285 |2754 | 786 |1190 |  0 |1707 |  11 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c  81.7s|   600 |   243 |461556 | 744.8 |   274M |  60 |7285 |2787 | 793 |1492 |  1 |1959 |  11 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c  92.0s|   700 |   257 |527288 | 732.3 |   277M |  60 |7285 |2778 | 790 |1724 |  0 |2207 |  11 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c   104s|   800 |   246 |602017 | 734.2 |   279M |  60 |7285 |2900 | 790 |1862 |  1 |2561 |  11 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c   114s|   900 |   245 |663397 | 720.8 |   281M |  60 |7285 |2996 | 785 |1949 |  0 |2835 |  11 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c   121s|  1000 |   236 |711277 | 696.6 |   283M |  60 |7285 |2860 | 760 |2057 |  1 |3143 |  11 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c   128s|  1100 |   259 |758171 | 675.9 |   284M |  60 |7285 |2878 | 773 |2209 |  1 |3439 |  11 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c   139s|  1200 |   266 |834511 | 683.2 |   285M |  60 |7285 |2775 | 784 |2452 |  1 |3695 |  11 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c   147s|  1300 |   269 |883739 | 668.5 |   286M |  60 |7285 |2852 | 787 |2630 |  0 |3918 |  11 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c   158s|  1400 |   288 |957611 | 673.5 |   287M |  60 |7285 |2727 | 794 |2822 |  2 |4163 |  11 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c   169s|  1500 |   288 |  1024k| 673.3 |   288M |  60 |7285 |2812 | 789 |2971 |  1 |4446 |  11 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c   177s|  1600 |   303 |  1077k| 664.5 |   289M |  60 |7285 |2670 | 757 |3157 |  1 |4630 |  11 | 9.000000e+00 |      --      |    Inf | unknown
198.23/198.96	c   189s|  1700 |   328 |  1154k| 670.5 |   290M |  60 |7285 |2616 | 785 |3298 |  1 |4845 |  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
848.21/851.02	c   199s|  1800 |   355 |  1214k| 666.5 |   291M |  60 |7285 |2660 | 780 |3466 |  1 |5011 |  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   209s|  1900 |   375 |  1282k| 667.1 |   292M |  60 |7285 |2705 | 787 |3554 |  1 |5216 |  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   219s|  2000 |   399 |  1344k| 665.1 |   293M |  60 |7285 |2704 | 780 |3772 |  0 |5405 |  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   232s|  2100 |   415 |  1415k| 667.1 |   293M |  60 |7285 |2729 | 780 |3999 |  1 |5646 |  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   242s|  2200 |   458 |  1469k| 661.4 |   294M |  60 |7285 |2796 | 751 |4191 |  1 |5829 |  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   253s|  2300 |   501 |  1533k| 660.1 |   296M |  60 |7285 |2609 | 776 |4452 |  1 |6047 |  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   264s|  2400 |   554 |  1598k| 659.9 |   297M |  60 |7285 |2595 | 759 |4582 |  1 |6367 |  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   277s|  2500 |   594 |  1681k| 666.6 |   297M |  60 |7285 |2611 | 794 |4865 |  0 |6578 |  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   290s|  2600 |   631 |  1748k| 666.8 |   298M |  60 |7285 |2661 | 778 |5098 |  1 |6862 |  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   303s|  2700 |   657 |  1824k| 670.2 |   299M |  60 |7285 |2596 |   0 |5316 |  0 |7028 |  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   314s|  2800 |   698 |  1895k| 671.6 |   300M |  60 |7285 |2564 | 781 |5500 |  0 |7190 |  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   329s|  2900 |   736 |  1988k| 680.5 |   301M |  60 |7285 |2644 | 790 |5809 |  1 |7394 |  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   342s|  3000 |   750 |  2079k| 688.2 |   301M |  60 |7285 |2648 | 769 |5983 |  1 |7524 |  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   353s|  3100 |   765 |  2136k| 684.3 |   302M |  60 |7285 |2775 | 776 |6212 |  0 |7749 |  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   366s|  3200 |   801 |  2204k| 684.5 |   304M |  60 |7285 |2852 | 790 |6427 |  0 |8015 |  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
848.21/851.02	c   378s|  3300 |   835 |  2272k| 684.1 |   305M |  60 |7285 |2883 | 774 |6599 |  1 |8243 |  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   387s|  3400 |   870 |  2322k| 678.9 |   306M |  60 |7285 |2990 | 798 |6740 |  1 |8493 |  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   398s|  3500 |   906 |  2383k| 676.7 |   307M |  60 |7285 |3057 | 780 |6858 |  1 |8715 |  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   408s|  3600 |   950 |  2441k| 674.0 |   308M |  60 |7285 |3093 | 767 |7046 |  1 |8959 |  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   418s|  3700 |   984 |  2495k| 670.4 |   309M |  60 |7285 |3060 | 791 |7210 |  2 |9150 |  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   430s|  3800 |  1028 |  2561k| 670.1 |   311M |  60 |7285 |3040 | 772 |7426 |  1 |9433 |  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   442s|  3900 |  1064 |  2638k| 672.8 |   312M |  60 |7285 |3113 | 767 |7665 |  1 |9604 |  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   454s|  4000 |  1104 |  2719k| 676.1 |   313M |  60 |7285 |3169 | 788 |7873 |  0 |9857 |  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   469s|  4100 |  1126 |  2812k| 682.4 |   314M |  60 |7285 |3130 | 755 |8101 |  1 |  10k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   480s|  4200 |  1164 |  2881k| 682.5 |   315M |  60 |7285 |3199 | 777 |8264 |  1 |  10k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   492s|  4300 |  1196 |  2960k| 685.1 |   316M |  60 |7285 |3076 | 789 |8432 |  1 |  10k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   504s|  4400 |  1216 |  3033k| 686.0 |   316M |  60 |7285 |3088 | 803 |8620 |  1 |  10k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   519s|  4500 |  1272 |  3128k| 692.0 |   317M |  60 |7285 |3131 | 772 |8917 |  2 |  10k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   530s|  4600 |  1318 |  3192k| 690.9 |   317M |  60 |7285 |2769 | 789 |9159 |  0 |  11k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   540s|  4700 |  1362 |  3252k| 688.9 |   318M |  60 |7285 |2822 | 780 |9330 |  1 |  11k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
848.21/851.02	c   552s|  4800 |  1401 |  3317k| 688.1 |   318M |  60 |7285 |2888 | 778 |9484 |  1 |  11k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   564s|  4900 |  1433 |  3385k| 687.9 |   319M |  60 |7285 |2897 | 776 |9691 |  0 |  12k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   581s|  5000 |  1491 |  3482k| 693.5 |   320M |  60 |7285 |2763 | 767 |9921 |  1 |  12k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   595s|  5100 |  1525 |  3557k| 694.6 |   320M |  60 |7285 |2740 | 774 |  10k|  1 |  12k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   608s|  5200 |  1547 |  3629k| 695.2 |   321M |  60 |7285 |2572 | 767 |  10k|  1 |  12k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   617s|  5300 |  1573 |  3674k| 690.6 |   322M |  60 |7285 |2516 |   0 |  10k|  0 |  13k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   629s|  5400 |  1608 |  3738k| 689.6 |   323M |  60 |7285 |2542 | 780 |  10k|  1 |  13k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   642s|  5500 |  1641 |  3811k| 690.4 |   323M |  60 |7285 |2491 | 762 |  10k|  1 |  13k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   657s|  5600 |  1673 |  3900k| 693.9 |   325M |  60 |7285 |2484 | 774 |  11k|  0 |  14k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   672s|  5700 |  1727 |  3989k| 697.3 |   325M |  60 |7285 |2472 | 732 |  11k|  1 |  14k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   682s|  5800 |  1817 |  4057k| 697.0 |   326M |  60 |7285 |2605 | 747 |  11k|  1 |  14k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   695s|  5900 |  1865 |  4137k| 698.8 |   326M |  60 |7285 |2703 | 773 |  11k|  1 |  14k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   714s|  6000 |  1916 |  4260k| 707.7 |   327M |  60 |7285 |2749 | 765 |  12k|  1 |  14k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   730s|  6100 |  1950 |  4364k| 713.1 |   328M |  60 |7285 |2751 | 794 |  12k|  0 |  15k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   745s|  6200 |  1996 |  4457k| 716.5 |   329M |  60 |7285 |2756 | 770 |  12k|  0 |  15k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
848.21/851.02	c   755s|  6300 |  2036 |  4520k| 715.2 |   330M |  60 |7285 |2764 | 761 |  12k|  0 |  15k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   772s|  6400 |  2076 |  4611k| 718.2 |   331M |  60 |7285 |2916 | 795 |  13k|  0 |  15k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   785s|  6500 |  2122 |  4681k| 718.0 |   332M |  60 |7285 |2679 | 778 |  13k|  1 |  16k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   799s|  6600 |  2168 |  4755k| 718.3 |   332M |  60 |7285 |2696 | 771 |  13k|  1 |  16k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   814s|  6700 |  2186 |  4844k| 720.9 |   333M |  60 |7285 |2790 | 787 |  13k|  1 |  16k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   826s|  6800 |  2227 |  4907k| 719.5 |   334M |  60 |7285 |2930 | 775 |  13k|  1 |  17k|  11 | 9.000000e+00 |      --      |    Inf | unknown
848.21/851.02	c   840s|  6900 |  2264 |  4987k| 720.7 |   335M |  60 |7285 |3044 | 768 |  14k|  0 |  17k|  11 | 9.000000e+00 |      --      |    Inf | unknown
996.92/1000.21	c   851s|  7000 |  2310 |  5044k| 718.6 |   337M |  60 |7285 |3115 | 770 |  14k|  1 |  17k|  11 | 9.000000e+00 |      --      |    Inf | unknown
996.92/1000.21	c   863s|  7100 |  2363 |  5111k| 717.8 |   338M |  60 |7285 |3065 | 795 |  14k|  2 |  17k|  11 | 9.000000e+00 |      --      |    Inf | unknown
996.92/1000.21	c   874s|  7200 |  2394 |  5167k| 715.6 |   339M |  60 |7285 |3170 | 762 |  14k|  1 |  18k|  11 | 9.000000e+00 |      --      |    Inf | unknown
996.92/1000.21	c   886s|  7300 |  2428 |  5241k| 716.0 |   339M |  60 |7285 |3093 | 747 |  14k|  1 |  18k|  11 | 9.000000e+00 |      --      |    Inf | unknown
996.92/1000.21	c   898s|  7400 |  2473 |  5305k| 715.0 |   340M |  60 |7285 |3152 | 772 |  15k|  1 |  18k|  11 | 9.000000e+00 |      --      |    Inf | unknown
996.92/1000.21	c   910s|  7500 |  2494 |  5368k| 713.8 |   340M |  60 |7285 |3068 | 784 |  15k|  1 |  18k|  11 | 9.000000e+00 |      --      |    Inf | unknown
996.92/1000.21	c   922s|  7600 |  2535 |  5430k| 712.6 |   341M |  60 |7285 |2759 | 756 |  15k|  0 |  19k|  11 | 9.000000e+00 |      --      |    Inf | unknown
996.92/1000.21	c   938s|  7700 |  2541 |  5520k| 715.0 |   341M |  60 |7285 |2777 | 775 |  15k|  2 |  19k|  11 | 9.000000e+00 |      --      |    Inf | unknown
996.92/1000.21	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
996.92/1000.21	c   952s|  7800 |  2609 |  5593k| 715.3 |   342M |  60 |7285 |2738 |   0 |  16k|  0 |  19k|  11 | 9.000000e+00 |      --      |    Inf | unknown
996.92/1000.21	c   964s|  7900 |  2653 |  5662k| 714.9 |   343M |  60 |7285 |2791 | 776 |  16k|  1 |  20k|  11 | 9.000000e+00 |      --      |    Inf | unknown
996.92/1000.21	c   976s|  8000 |  2684 |  5728k| 714.2 |   343M |  60 |7285 |2746 | 771 |  16k|  1 |  20k|  11 | 9.000000e+00 |      --      |    Inf | unknown
996.92/1000.21	c   989s|  8100 |  2715 |  5797k| 714.0 |   343M |  60 |7285 |2801 | 769 |  16k|  1 |  20k|  11 | 9.000000e+00 |      --      |    Inf | unknown
996.92/1000.21	c 
996.92/1000.21	c SCIP Status        : solving was interrupted [time limit reached]
996.92/1000.21	c Solving Time (sec) : 1000.00
996.92/1000.21	c Solving Nodes      : 8181
996.92/1000.21	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
996.92/1000.21	c Dual Bound         : +9.00000000000000e+00
996.92/1000.21	c Gap                : infinite
996.92/1000.21	c ----------------------------------------------------------------------
996.92/1000.21	c dual bound: 9.0 -> 9
996.92/1000.21	c primal bound: 1e+20 -> 100000000000000000000
996.92/1000.21	c scip-goal-lb: 9
996.92/1000.21	c scip-goal-ub: 100000000000000000000
996.92/1000.21	c writing output to: HOME/tmpzx8x7tj2.opb
996.92/1000.21	c appending fixed variable constraints
996.92/1000.21	c scip-fixed vars: 15.63% (1139/7285)
996.92/1000.21	c ----------------------------------------------------------------------
996.92/1000.21	c executing external solver: HOME/naps-1.03a6
996.92/1000.21	c ----------------------------------------------------------------------
996.92/1000.21	c command: HOME/naps-1.03a6 -goal-lb=9 -goal-ub=99999999999999999999 HOME/tmpzx8x7tj2.opb
996.92/1000.22	c NaPS 1.03a6.
996.92/1000.22	c Input file name: HOME/tmpzx8x7tj2.opb
1000.61/1003.93	c single stage optimization mode
3600.04/3611.30	c
3600.04/3611.30	c *** TERMINATED *** by signal 15
3600.04/3611.30	c _____________________________________________________________________________
3600.04/3611.30	c std/band forms        : 673,0
3600.04/3611.30	c 2cl/3cl ITE-codings   : 631305,0
3600.04/3611.30	c BDD/srt/adr Max costs : 1655,25796,0
3600.04/3611.30	c BDDraw/bin/mul/srt/adr: 576,0,0,97,0
3600.04/3611.30	c BDD nodes             : 953856
3600.04/3611.30	c Es1/CC detections     : 0,0
3600.04/3611.30	c CC sort               : 97
3600.04/3611.30	c SAT/UNSAT calls       : 0,0
3600.04/3611.30	c regenrated variables  : 0
3600.04/3611.30	c eliminated fixed lits : 1166
3600.04/3611.30	c goal lit flips        : 0
3600.04/3611.30	c goal stages           : 1
3600.04/3611.30	c goal shrink           : 0
3600.04/3611.30	c goal coeff separations: 0
3600.04/3611.30	c restarts              : 0
3600.04/3611.30	c conflicts             : 0              (0 /sec)
3600.04/3611.30	c decisions             : 0              (0 /sec)
3600.04/3611.30	c propagations          : 0              (0 /sec)
3600.04/3611.30	c inspects              : 0              (0 /sec)
3600.04/3611.30	c CPU time (solving tm) : 2601 s        (2597 s, SAT 0 s, UNSAT 0 s)
3600.04/3611.30	c Time for Opt-base     : 0.001938 s
3600.04/3611.30	c Steps for Opt-base    : 0
3600.04/3611.30	c Time for BDD coding   : 2.549 s
3600.04/3611.30	c Time for srt coding   : 0.02452 s
3600.04/3611.30	c _____________________________________________________________________________
3600.04/3611.30	s UNKNOWN
3600.16/3611.42	c received SIGTERM, forwarding to pbsolver...
3600.16/3611.42	c failed to send SIGTERM to pbsolver: [Errno 3] No such process

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: 63708 MiB (39885 MiB free)
  memory of node 1: 64465 MiB (51557 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498995-1751392833/watcher-4498995-1751392833 -o /tmp/evaluation-result-4498995-1751392833/solver-4498995-1751392833 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751386400-51591 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4498995-1751392833.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=54135, runsolver pid=54132
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.07 4.14 4.12 5/270 54140
/proc/meminfo: memFree=93655928/131250000 swapFree=33010684/33010684
[pid=54135] ppid=54132 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/54135/stat : 54135 (scip-naps-1.00.) S 54132 54135 51580 0 -1 4194304 256 341 0 0 0 0 0 0 20 0 1 0 54905873 4292608 736 18446744073709551615 94129302380544 94129303275077 140732537362464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94129303514128 94129303561872 94129321754624 140732537366945 140732537367042 140732537367042 140732537372644 0
/proc/54135/statm: 1048 736 672 219 0 110 0
[pid=54140] ppid=54135 vsize=1185784 memory=30480 CPUtime=0.05 cores=4,6
/proc/54140/stat : 54140 (python3) R 54135 54135 51580 0 -1 4194304 3438 0 0 0 4 1 0 0 20 0 1 0 54905875 1214242816 7620 18446744073709551615 94769154535424 94769154535801 140736844340240 0 0 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0 94769154547096 94769154547716 94769173397504 140736844343655 140736844343842 140736844343842 140736844349415 0
/proc/54140/statm: 296446 7620 4804 1 0 268514 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 1189976 KiB
Current children cumulated memory: 33424 KiB

[startup+0.205831 s]*
/proc/loadavg: 4.07 4.14 4.12 5/270 54140
/proc/meminfo: memFree=93655928/131250000 swapFree=33010684/33010684
[pid=54135] ppid=54132 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/54135/stat : 54135 (scip-naps-1.00.) S 54132 54135 51580 0 -1 4194304 256 341 0 0 0 0 0 0 20 0 1 0 54905873 4292608 736 18446744073709551615 94129302380544 94129303275077 140732537362464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94129303514128 94129303561872 94129321754624 140732537366945 140732537367042 140732537367042 140732537372644 0
/proc/54135/statm: 1048 736 672 219 0 110 0
[pid=54140] ppid=54135 vsize=1225356 memory=78352 CPUtime=0.15 cores=4,6
/proc/54140/stat : 54140 (python3) R 54135 54135 51580 0 -1 4194304 12707 0 0 0 12 3 0 0 20 0 1 0 54905875 1254764544 19588 18446744073709551615 94769154535424 94769154535801 140736844340240 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94769154547096 94769154547716 94769173397504 140736844343655 140736844343842 140736844343842 140736844349415 0
/proc/54140/statm: 306339 19588 7780 1 0 277697 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 1229548 KiB
Current children cumulated memory: 81296 KiB

[startup+0.305869 s]*
/proc/loadavg: 4.07 4.14 4.12 5/270 54140
/proc/meminfo: memFree=93655928/131250000 swapFree=33010684/33010684
[pid=54135] ppid=54132 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/54135/stat : 54135 (scip-naps-1.00.) S 54132 54135 51580 0 -1 4194304 256 341 0 0 0 0 0 0 20 0 1 0 54905873 4292608 736 18446744073709551615 94129302380544 94129303275077 140732537362464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94129303514128 94129303561872 94129321754624 140732537366945 140732537367042 140732537367042 140732537372644 0
/proc/54135/statm: 1048 736 672 219 0 110 0
[pid=54140] ppid=54135 vsize=1249400 memory=100752 CPUtime=0.25 cores=4,6
/proc/54140/stat : 54140 (python3) R 54135 54135 51580 0 -1 4194304 18186 0 0 0 21 4 0 0 20 0 1 0 54905875 1279385600 25188 18446744073709551615 94769154535424 94769154535801 140736844340240 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94769154547096 94769154547716 94769173397504 140736844343655 140736844343842 140736844343842 140736844349415 0
/proc/54140/statm: 312350 25188 7908 1 0 283708 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 1253592 KiB
Current children cumulated memory: 103696 KiB

[startup+0.700135 s]
/proc/loadavg: 4.07 4.14 4.12 5/270 54140
/proc/meminfo: memFree=93651896/131250000 swapFree=33010684/33010684
[pid=54135] ppid=54132 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/54135/stat : 54135 (scip-naps-1.00.) S 54132 54135 51580 0 -1 4194304 256 341 0 0 0 0 0 0 20 0 1 0 54905873 4292608 736 18446744073709551615 94129302380544 94129303275077 140732537362464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94129303514128 94129303561872 94129321754624 140732537366945 140732537367042 140732537367042 140732537372644 0
/proc/54135/statm: 1048 736 672 219 0 110 0
[pid=54140] ppid=54135 vsize=1295196 memory=133320 CPUtime=0.64 cores=4,6
/proc/54140/stat : 54140 (python3) R 54135 54135 51580 0 -1 4194304 25841 0 0 0 59 5 0 0 20 0 1 0 54905875 1326280704 33330 18446744073709551615 94769154535424 94769154535801 140736844340240 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94769154547096 94769154547716 94769173397504 140736844343655 140736844343842 140736844343842 140736844349415 0
/proc/54140/statm: 323799 33330 8004 1 0 295157 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1299388 KiB
Current children cumulated memory: 136264 KiB

[startup+1.50014 s]
/proc/loadavg: 4.07 4.14 4.12 5/270 54140
/proc/meminfo: memFree=93639800/131250000 swapFree=33010684/33010684
[pid=54135] ppid=54132 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/54135/stat : 54135 (scip-naps-1.00.) S 54132 54135 51580 0 -1 4194304 256 341 0 0 0 0 0 0 20 0 1 0 54905873 4292608 736 18446744073709551615 94129302380544 94129303275077 140732537362464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94129303514128 94129303561872 94129321754624 140732537366945 140732537367042 140732537367042 140732537372644 0
/proc/54135/statm: 1048 736 672 219 0 110 0
[pid=54140] ppid=54135 vsize=1302332 memory=140232 CPUtime=1.44 cores=4,6
/proc/54140/stat : 54140 (python3) R 54135 54135 51580 0 -1 4194304 27569 0 0 0 139 5 0 0 20 0 1 0 54905875 1333587968 35058 18446744073709551615 94769154535424 94769154535801 140736844340240 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94769154547096 94769154547716 94769173397504 140736844343655 140736844343842 140736844343842 140736844349415 0
/proc/54140/statm: 325583 35058 8004 1 0 296941 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 1306524 KiB
Current children cumulated memory: 143176 KiB

[startup+3.10541 s]
/proc/loadavg: 4.15 4.15 4.12 5/270 54140
/proc/meminfo: memFree=93632116/131250000 swapFree=33010684/33010684
[pid=54135] ppid=54132 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/54135/stat : 54135 (scip-naps-1.00.) S 54132 54135 51580 0 -1 4194304 256 341 0 0 0 0 0 0 20 0 1 0 54905873 4292608 736 18446744073709551615 94129302380544 94129303275077 140732537362464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94129303514128 94129303561872 94129321754624 140732537366945 140732537367042 140732537367042 140732537372644 0
/proc/54135/statm: 1048 736 672 219 0 110 0
[pid=54140] ppid=54135 vsize=1310484 memory=148296 CPUtime=3.04 cores=4,6
/proc/54140/stat : 54140 (python3) R 54135 54135 51580 0 -1 4194304 29574 0 0 0 299 5 0 0 20 0 1 0 54905875 1341935616 37074 18446744073709551615 94769154535424 94769154535801 140736844340240 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94769154547096 94769154547716 94769173397504 140736844343655 140736844343842 140736844343842 140736844349415 0
/proc/54140/statm: 327621 37074 8004 1 0 298979 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 1314676 KiB
Current children cumulated memory: 151240 KiB

[startup+6.30021 s]
/proc/loadavg: 4.15 4.15 4.12 5/270 54140
/proc/meminfo: memFree=93495532/131250000 swapFree=33010684/33010684
[pid=54135] ppid=54132 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/54135/stat : 54135 (scip-naps-1.00.) S 54132 54135 51580 0 -1 4194304 256 341 0 0 0 0 0 0 20 0 1 0 54905873 4292608 736 18446744073709551615 94129302380544 94129303275077 140732537362464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94129303514128 94129303561872 94129321754624 140732537366945 140732537367042 140732537367042 140732537372644 0
/proc/54135/statm: 1048 736 672 219 0 110 0
[pid=54140] ppid=54135 vsize=1431104 memory=266488 CPUtime=6.23 cores=4,6
/proc/54140/stat : 54140 (python3) R 54135 54135 51580 0 -1 4194304 61070 0 0 0 613 10 0 0 20 0 1 0 54905875 1465450496 66622 18446744073709551615 94769154535424 94769154535801 140736844340240 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94769154547096 94769154547716 94769173397504 140736844343655 140736844343842 140736844343842 140736844349415 0
/proc/54140/statm: 357776 66622 8132 1 0 329134 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 1435296 KiB
Current children cumulated memory: 269432 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.15 4.12 5/270 54140
/proc/meminfo: memFree=93463780/131250000 swapFree=33010684/33010684
[pid=54135] ppid=54132 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/54135/stat : 54135 (scip-naps-1.00.) S 54132 54135 51580 0 -1 4194304 256 341 0 0 0 0 0 0 20 0 1 0 54905873 4292608 736 18446744073709551615 94129302380544 94129303275077 140732537362464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94129303514128 94129303561872 94129321754624 140732537366945 140732537367042 140732537367042 140732537372644 0
/proc/54135/statm: 1048 736 672 219 0 110 0
[pid=54140] ppid=54135 vsize=1465100 memory=301884 CPUtime=12.61 cores=4,6
/proc/54140/stat : 54140 (python3) R 54135 54135 51580 0 -1 4194304 79958 0 0 0 1248 13 0 0 20 0 1 0 54905875 1500262400 75471 18446744073709551615 94769154535424 94769154535801 140736844340240 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94769154547096 94769154547716 94769173397504 140736844343655 140736844343842 140736844343842 140736844349415 0
/proc/54140/statm: 366275 75471 8132 1 0 337633 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1469292 KiB
Current children cumulated memory: 304828 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.14 4.12 5/270 54141
/proc/meminfo: memFree=93484332/131250000 swapFree=33010684/33010684
[pid=54135] ppid=54132 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/54135/stat : 54135 (scip-naps-1.00.) S 54132 54135 51580 0 -1 4194304 256 341 0 0 0 0 0 0 20 0 1 0 54905873 4292608 736 18446744073709551615 94129302380544 94129303275077 140732537362464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94129303514128 94129303561872 94129321754624 140732537366945 140732537367042 140732537367042 140732537372644 0
/proc/54135/statm: 1048 736 672 219 0 110 0
[pid=54140] ppid=54135 vsize=1475948 memory=312820 CPUtime=25.37 cores=4,6
/proc/54140/stat : 54140 (python3) R 54135 54135 51580 0 -1 4194304 91900 0 0 0 2522 15 0 0 20 0 1 0 54905875 1511370752 78205 18446744073709551615 94769154535424 94769154535801 140736844340240 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94769154547096 94769154547716 94769173397504 140736844343655 140736844343842 140736844343842 140736844349415 0
/proc/54140/statm: 368987 78205 8132 1 0 340345 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1480140 KiB
Current children cumulated memory: 315764 KiB

[startup+51.1056 s]
/proc/loadavg: 4.14 4.15 4.12 5/270 54152
/proc/meminfo: memFree=93478536/131250000 swapFree=33010684/33010684
[pid=54135] ppid=54132 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/54135/stat : 54135 (scip-naps-1.00.) S 54132 54135 51580 0 -1 4194304 256 341 0 0 0 0 0 0 20 0 1 0 54905873 4292608 736 18446744073709551615 94129302380544 94129303275077 140732537362464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94129303514128 94129303561872 94129321754624 140732537366945 140732537367042 140732537367042 140732537372644 0
/proc/54135/statm: 1048 736 672 219 0 110 0
[pid=54140] ppid=54135 vsize=1475948 memory=312820 CPUtime=50.9 cores=4,6
/proc/54140/stat : 54140 (python3) R 54135 54135 51580 0 -1 4194304 91922 0 0 0 5075 15 0 0 20 0 1 0 54905875 1511370752 78205 18446744073709551615 94769154535424 94769154535801 140736844340240 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94769154547096 94769154547716 94769173397504 140736844343655 140736844343842 140736844343842 140736844349415 0
/proc/54140/statm: 368987 78205 8132 1 0 340345 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1480140 KiB
Current children cumulated memory: 315764 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.17 4.13 5/269 54252
/proc/meminfo: memFree=95855212/131250000 swapFree=33010684/33010684
[pid=54135] ppid=54132 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/54135/stat : 54135 (scip-naps-1.00.) S 54132 54135 51580 0 -1 4194304 256 341 0 0 0 0 0 0 20 0 1 0 54905873 4292608 736 18446744073709551615 94129302380544 94129303275077 140732537362464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94129303514128 94129303561872 94129321754624 140732537366945 140732537367042 140732537367042 140732537372644 0
/proc/54135/statm: 1048 736 672 219 0 110 0
[pid=54140] ppid=54135 vsize=1489240 memory=325748 CPUtime=101.94 cores=4,6
/proc/54140/stat : 54140 (python3) R 54135 54135 51580 0 -1 4194304 95174 0 0 0 10177 17 0 0 20 0 1 0 54905875 1524981760 81437 18446744073709551615 94769154535424 94769154535801 140736844340240 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94769154547096 94769154547716 94769173397504 140736844343655 140736844343842 140736844343842 140736844349415 0
/proc/54140/statm: 372310 81437 8132 1 0 343668 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1493432 KiB
Current children cumulated memory: 328692 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.16 4.13 5/269 54255
/proc/meminfo: memFree=93749816/131250000 swapFree=33010684/33010684
[pid=54135] ppid=54132 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/54135/stat : 54135 (scip-naps-1.00.) S 54132 54135 51580 0 -1 4194304 256 341 0 0 0 0 0 0 20 0 1 0 54905873 4292608 736 18446744073709551615 94129302380544 94129303275077 140732537362464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94129303514128 94129303561872 94129321754624 140732537366945 140732537367042 140732537367042 140732537372644 0
/proc/54135/statm: 1048 736 672 219 0 110 0
[pid=54140] ppid=54135 vsize=1497544 memory=334196 CPUtime=161.75 cores=4,6
/proc/54140/stat : 54140 (python3) R 54135 54135 51580 0 -1 4194304 97265 0 0 0 16157 18 0 0 20 0 1 0 54905875 1533485056 83549 18446744073709551615 94769154535424 94769154535801 140736844340240 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94769154547096 94769154547716 94769173397504 140736844343655 140736844343842 140736844343842 140736844349415 0
/proc/54140/statm: 374386 83549 8132 1 0 345744 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1501736 KiB
Current children cumulated memory: 337140 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.16 4.13 5/268 54257
/proc/meminfo: memFree=93746260/131250000 swapFree=33010684/33010684
[pid=54135] ppid=54132 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/54135/stat : 54135 (scip-naps-1.00.) S 54132 54135 51580 0 -1 4194304 256 341 0 0 0 0 0 0 20 0 1 0 54905873 4292608 736 18446744073709551615 94129302380544 94129303275077 140732537362464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94129303514128 94129303561872 94129321754624 140732537366945 140732537367042 140732537367042 140732537372644 0
/proc/54135/statm: 1048 736 672 219 0 110 0
[pid=54140] ppid=54135 vsize=1503080 memory=339828 CPUtime=221.56 cores=4,6
/proc/54140/stat : 54140 (python3) R 54135 54135 51580 0 -1 4194304 98682 0 0 0 22138 18 0 0 20 0 1 0 54905875 1539153920 84957 18446744073709551615 94769154535424 94769154535801 140736844340240 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94769154547096 94769154547716 94769173397504 140736844343655 140736844343842 140736844343842 140736844349415 0
/proc/54140/statm: 375770 84957 8132 1 0 347128 0
Current children cumulated CPU time: 221.56 s

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

/proc/54135/stat : 54135 (scip-naps-1.00.) S 54132 54135 51580 0 -1 4194304 256 341 0 0 0 0 0 0 20 0 1 0 54905873 4292608 736 18446744073709551615 94129302380544 94129303275077 140732537362464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94129303514128 94129303561872 94129321754624 140732537366945 140732537367042 140732537367042 140732537372644 0
/proc/54135/statm: 1048 736 672 219 0 110 0
[pid=54140] ppid=54135 vsize=1629816 memory=468428 CPUtime=996.95 cores=4,6
/proc/54140/stat : 54140 (python3) S 54135 54135 51580 0 -1 4194304 139127 0 0 0 99668 27 0 0 20 0 1 0 54905875 1668931584 117107 18446744073709551615 94769154535424 94769154535801 140736844340240 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 94769154547096 94769154547716 94769173397504 140736844343655 140736844343842 140736844343842 140736844349415 0
/proc/54140/statm: 407454 117107 8292 1 0 378812 0
[pid=54393] ppid=54140 vsize=750616 memory=677756 CPUtime=2215.29 cores=4,6
/proc/54393/stat : 54393 (naps-1.03a6) R 54140 54393 54393 0 -1 4194304 134960 0 0 0 221319 210 0 0 20 0 1 0 55005895 768630784 169439 18446744073709551615 4198400 7047149 140722450614880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 21094400 140722450618728 140722450618867 140722450618867 140722450624457 0
/proc/54393/statm: 187654 169439 640 696 0 186815 0
Current children cumulated CPU time: 3212.24 s
Current children cumulated vsize: 2384624 KiB
Current children cumulated memory: 1149128 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/270 54651
/proc/meminfo: memFree=127031756/131250000 swapFree=33010684/33010684
[pid=54135] ppid=54132 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/54135/stat : 54135 (scip-naps-1.00.) S 54132 54135 51580 0 -1 4194304 256 341 0 0 0 0 0 0 20 0 1 0 54905873 4292608 736 18446744073709551615 94129302380544 94129303275077 140732537362464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94129303514128 94129303561872 94129321754624 140732537366945 140732537367042 140732537367042 140732537372644 0
/proc/54135/statm: 1048 736 672 219 0 110 0
[pid=54140] ppid=54135 vsize=1629816 memory=468428 CPUtime=996.95 cores=4,6
/proc/54140/stat : 54140 (python3) S 54135 54135 51580 0 -1 4194304 139127 0 0 0 99668 27 0 0 20 0 1 0 54905875 1668931584 117107 18446744073709551615 94769154535424 94769154535801 140736844340240 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 94769154547096 94769154547716 94769173397504 140736844343655 140736844343842 140736844343842 140736844349415 0
/proc/54140/statm: 407454 117107 8292 1 0 378812 0
[pid=54393] ppid=54140 vsize=750264 memory=677404 CPUtime=2275.1 cores=4,6
/proc/54393/stat : 54393 (naps-1.03a6) R 54140 54393 54393 0 -1 4194304 135585 0 0 0 227299 211 0 0 20 0 1 0 55005895 768270336 169351 18446744073709551615 4198400 7047149 140722450614880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 21094400 140722450618728 140722450618867 140722450618867 140722450624457 0
/proc/54393/statm: 187566 169351 640 696 0 186727 0
Current children cumulated CPU time: 3272.05 s
Current children cumulated vsize: 2384272 KiB
Current children cumulated memory: 1148776 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/270 54653
/proc/meminfo: memFree=127027752/131250000 swapFree=33010684/33010684
[pid=54135] ppid=54132 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/54135/stat : 54135 (scip-naps-1.00.) S 54132 54135 51580 0 -1 4194304 256 341 0 0 0 0 0 0 20 0 1 0 54905873 4292608 736 18446744073709551615 94129302380544 94129303275077 140732537362464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94129303514128 94129303561872 94129321754624 140732537366945 140732537367042 140732537367042 140732537372644 0
/proc/54135/statm: 1048 736 672 219 0 110 0
[pid=54140] ppid=54135 vsize=1629816 memory=468428 CPUtime=996.95 cores=4,6
/proc/54140/stat : 54140 (python3) S 54135 54135 51580 0 -1 4194304 139127 0 0 0 99668 27 0 0 20 0 1 0 54905875 1668931584 117107 18446744073709551615 94769154535424 94769154535801 140736844340240 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 94769154547096 94769154547716 94769173397504 140736844343655 140736844343842 140736844343842 140736844349415 0
/proc/54140/statm: 407454 117107 8292 1 0 378812 0
[pid=54393] ppid=54140 vsize=750772 memory=677912 CPUtime=2334.92 cores=4,6
/proc/54393/stat : 54393 (naps-1.03a6) R 54140 54393 54393 0 -1 4194304 136295 0 0 0 233279 213 0 0 20 0 1 0 55005895 768790528 169478 18446744073709551615 4198400 7047149 140722450614880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 21094400 140722450618728 140722450618867 140722450618867 140722450624457 0
/proc/54393/statm: 187693 169478 640 696 0 186854 0
Current children cumulated CPU time: 3331.87 s
Current children cumulated vsize: 2384780 KiB
Current children cumulated memory: 1149284 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/271 54658
/proc/meminfo: memFree=126976040/131250000 swapFree=33010684/33010684
[pid=54135] ppid=54132 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/54135/stat : 54135 (scip-naps-1.00.) S 54132 54135 51580 0 -1 4194304 256 341 0 0 0 0 0 0 20 0 1 0 54905873 4292608 736 18446744073709551615 94129302380544 94129303275077 140732537362464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94129303514128 94129303561872 94129321754624 140732537366945 140732537367042 140732537367042 140732537372644 0
/proc/54135/statm: 1048 736 672 219 0 110 0
[pid=54140] ppid=54135 vsize=1629816 memory=468428 CPUtime=996.95 cores=4,6
/proc/54140/stat : 54140 (python3) S 54135 54135 51580 0 -1 4194304 139127 0 0 0 99668 27 0 0 20 0 1 0 54905875 1668931584 117107 18446744073709551615 94769154535424 94769154535801 140736844340240 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 94769154547096 94769154547716 94769173397504 140736844343655 140736844343842 140736844343842 140736844349415 0
/proc/54140/statm: 407454 117107 8292 1 0 378812 0
[pid=54393] ppid=54140 vsize=751304 memory=678444 CPUtime=2394.73 cores=4,6
/proc/54393/stat : 54393 (naps-1.03a6) R 54140 54393 54393 0 -1 4194304 136625 0 0 0 239258 215 0 0 20 0 1 0 55005895 769335296 169611 18446744073709551615 4198400 7047149 140722450614880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 21094400 140722450618728 140722450618867 140722450618867 140722450624457 0
/proc/54393/statm: 187826 169611 640 696 0 186987 0
Current children cumulated CPU time: 3391.68 s
Current children cumulated vsize: 2385312 KiB
Current children cumulated memory: 1149816 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 54660
/proc/meminfo: memFree=127003884/131250000 swapFree=33010684/33010684
[pid=54135] ppid=54132 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/54135/stat : 54135 (scip-naps-1.00.) S 54132 54135 51580 0 -1 4194304 256 341 0 0 0 0 0 0 20 0 1 0 54905873 4292608 736 18446744073709551615 94129302380544 94129303275077 140732537362464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94129303514128 94129303561872 94129321754624 140732537366945 140732537367042 140732537367042 140732537372644 0
/proc/54135/statm: 1048 736 672 219 0 110 0
[pid=54140] ppid=54135 vsize=1629816 memory=468428 CPUtime=996.95 cores=4,6
/proc/54140/stat : 54140 (python3) S 54135 54135 51580 0 -1 4194304 139127 0 0 0 99668 27 0 0 20 0 1 0 54905875 1668931584 117107 18446744073709551615 94769154535424 94769154535801 140736844340240 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 94769154547096 94769154547716 94769173397504 140736844343655 140736844343842 140736844343842 140736844349415 0
/proc/54140/statm: 407454 117107 8292 1 0 378812 0
[pid=54393] ppid=54140 vsize=751396 memory=678536 CPUtime=2454.55 cores=4,6
/proc/54393/stat : 54393 (naps-1.03a6) R 54140 54393 54393 0 -1 4194304 136966 0 0 0 245237 218 0 0 20 0 1 0 55005895 769429504 169634 18446744073709551615 4198400 7047149 140722450614880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 21094400 140722450618728 140722450618867 140722450618867 140722450624457 0
/proc/54393/statm: 187849 169634 640 696 0 187010 0
Current children cumulated CPU time: 3451.5 s
Current children cumulated vsize: 2385404 KiB
Current children cumulated memory: 1149908 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/271 54662
/proc/meminfo: memFree=126993864/131250000 swapFree=33010684/33010684
[pid=54135] ppid=54132 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/54135/stat : 54135 (scip-naps-1.00.) S 54132 54135 51580 0 -1 4194304 256 341 0 0 0 0 0 0 20 0 1 0 54905873 4292608 736 18446744073709551615 94129302380544 94129303275077 140732537362464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94129303514128 94129303561872 94129321754624 140732537366945 140732537367042 140732537367042 140732537372644 0
/proc/54135/statm: 1048 736 672 219 0 110 0
[pid=54140] ppid=54135 vsize=1629816 memory=468428 CPUtime=996.95 cores=4,6
/proc/54140/stat : 54140 (python3) S 54135 54135 51580 0 -1 4194304 139127 0 0 0 99668 27 0 0 20 0 1 0 54905875 1668931584 117107 18446744073709551615 94769154535424 94769154535801 140736844340240 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 94769154547096 94769154547716 94769173397504 140736844343655 140736844343842 140736844343842 140736844349415 0
/proc/54140/statm: 407454 117107 8292 1 0 378812 0
[pid=54393] ppid=54140 vsize=751352 memory=678492 CPUtime=2514.36 cores=4,6
/proc/54393/stat : 54393 (naps-1.03a6) R 54140 54393 54393 0 -1 4194304 137809 0 0 0 251217 219 0 0 20 0 1 0 55005895 769384448 169623 18446744073709551615 4198400 7047149 140722450614880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 21094400 140722450618728 140722450618867 140722450618867 140722450624457 0
/proc/54393/statm: 187838 169623 640 696 0 186999 0
Current children cumulated CPU time: 3511.31 s
Current children cumulated vsize: 2385360 KiB
Current children cumulated memory: 1149864 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/271 54667
/proc/meminfo: memFree=126960424/131250000 swapFree=33010684/33010684
[pid=54135] ppid=54132 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/54135/stat : 54135 (scip-naps-1.00.) S 54132 54135 51580 0 -1 4194304 256 341 0 0 0 0 0 0 20 0 1 0 54905873 4292608 736 18446744073709551615 94129302380544 94129303275077 140732537362464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94129303514128 94129303561872 94129321754624 140732537366945 140732537367042 140732537367042 140732537372644 0
/proc/54135/statm: 1048 736 672 219 0 110 0
[pid=54140] ppid=54135 vsize=1629816 memory=468428 CPUtime=996.95 cores=4,6
/proc/54140/stat : 54140 (python3) S 54135 54135 51580 0 -1 4194304 139127 0 0 0 99668 27 0 0 20 0 1 0 54905875 1668931584 117107 18446744073709551615 94769154535424 94769154535801 140736844340240 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 94769154547096 94769154547716 94769173397504 140736844343655 140736844343842 140736844343842 140736844349415 0
/proc/54140/statm: 407454 117107 8292 1 0 378812 0
[pid=54393] ppid=54140 vsize=752228 memory=679368 CPUtime=2574.18 cores=4,6
/proc/54393/stat : 54393 (naps-1.03a6) R 54140 54393 54393 0 -1 4194304 138370 0 0 0 257197 221 0 0 20 0 1 0 55005895 770281472 169842 18446744073709551615 4198400 7047149 140722450614880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 21094400 140722450618728 140722450618867 140722450618867 140722450624457 0
/proc/54393/statm: 188057 169842 640 696 0 187218 0
Current children cumulated CPU time: 3571.13 s
Current children cumulated vsize: 2386236 KiB
Current children cumulated memory: 1150740 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/271 54669
/proc/meminfo: memFree=126920476/131250000 swapFree=33010684/33010684
[pid=54135] ppid=54132 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/54135/stat : 54135 (scip-naps-1.00.) S 54132 54135 51580 0 -1 4194304 256 341 0 0 0 0 0 0 20 0 1 0 54905873 4292608 736 18446744073709551615 94129302380544 94129303275077 140732537362464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94129303514128 94129303561872 94129321754624 140732537366945 140732537367042 140732537367042 140732537372644 0
/proc/54135/statm: 1048 736 672 219 0 110 0
[pid=54140] ppid=54135 vsize=1629816 memory=468428 CPUtime=996.95 cores=4,6
/proc/54140/stat : 54140 (python3) S 54135 54135 51580 0 -1 4194304 139127 0 0 0 99668 27 0 0 20 0 1 0 54905875 1668931584 117107 18446744073709551615 94769154535424 94769154535801 140736844340240 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 94769154547096 94769154547716 94769173397504 140736844343655 140736844343842 140736844343842 140736844349415 0
/proc/54140/statm: 407454 117107 8292 1 0 378812 0
[pid=54393] ppid=54140 vsize=751232 memory=678372 CPUtime=2603.09 cores=4,6
/proc/54393/stat : 54393 (naps-1.03a6) R 54140 54393 54393 0 -1 4194304 138664 0 0 0 260086 223 0 0 20 0 1 0 55005895 769261568 169593 18446744073709551615 4198400 7047149 140722450614880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 21094400 140722450618728 140722450618867 140722450618867 140722450624457 0
/proc/54393/statm: 187808 169593 640 696 0 186969 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2385240 KiB
Current children cumulated memory: 1149744 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002299 s, system=0.003069 s

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

# cumulated CPU time of all completed processes:  user=3597.67 s, system=2.56198 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+3611.42 s]*
/proc/loadavg: 4.06 4.08 4.09 5/269 54669
/proc/meminfo: memFree=127598044/131250000 swapFree=33010684/33010684
[pid=54140] ppid=54132 vsize=1623040 memory=458148 CPUtime=3600.15 cores=4,6
/proc/54140/stat : 54140 (python3) R 54132 54135 51580 0 -1 4194304 179127 138665 0 0 99677 29 260086 223 20 0 1 0 54905875 1661992960 114537 18446744073709551615 94769154535424 94769154535801 140736844340240 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94769154547096 94769154547716 94769173397504 140736844343655 140736844343842 140736844343842 140736844349415 0
/proc/54140/statm: 405760 114537 8292 1 0 377118 0
Current cumulated CPU time of completed processes: 0.005368 s
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 1623040 KiB
Current children cumulated memory: 458148 KiB

Child status: 0

Real time (s): 3611.47
CPU time (s): 3600.23
CPU user time (s): 3597.67
CPU system time (s): 2.56198
CPU usage (%): 99.6889
Max. virtual memory (cumulated for all children) (KiB): 2685484
Max. memory (cumulated for all children) (KiB): 1433948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.67
system time used= 2.56198
maximum resident set size= 963600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 325134
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 414
involuntary context switches= 3288


# summary of solver processes directly reported to runsolver:
#   pid: 54135,54140
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3597.67
#   total CPU system time (s): 2.56198

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.70333 second user time and 17.4389 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-07-01 20:00:34
IDJOB=4498995
IDBENCH=148768
IDSOLVER=3368
FILE ID=nodeC028/4498995-1751392833
RUNJOBID= nodeC028-1751386400-51591
SLURM_JOB_ID= 9598246
Free space on /tmp= 432904 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498995-1751392833/watcher-4498995-1751392833 -o /tmp/evaluation-result-4498995-1751392833/solver-4498995-1751392833 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751386400-51591 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4498995-1751392833.opb

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

MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=1672974386

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		: 3600.077
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.406
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		: 3600.897
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		: 3587.881
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.174
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.076
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.079
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		: 3700.000
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:        93637356 kB
MemAvailable:   93765304 kB
Buffers:            3280 kB
Cached:           934616 kB
SwapCached:            0 kB
Active:         36143732 kB
Inactive:         626088 kB
Active(anon):   35849996 kB
Inactive(anon):        0 kB
Active(file):     293736 kB
Inactive(file):   626088 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6168 kB
Writeback:             0 kB
AnonPages:      35832792 kB
Mapped:           130852 kB
Shmem:             18068 kB
KReclaimable:      94728 kB
Slab:             181016 kB
SReclaimable:      94728 kB
SUnreclaim:        86288 kB
KernelStack:        4384 kB
PageTables:        74440 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   41630548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3712 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11692032 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= 433036 MiB
End job on nodeC028 at 2025-07-01 21:00:45