Trace number 4435647

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
mixed-bag 2024-07-02? (TO) 3600.31 3609.22

DiagnosticValue
AM1LB0
LOWERBOUND133
NAM1S0
NCORES133
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-ex1010-pi.opb
MD5SUM0b4dbd7f90f2b82bb3725efac604f63c
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark235
Best CPU time to get the best result obtained on this benchmark71065.7
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables25200
Total number of constraints1468
Number of constraints which are clauses1468
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint9
Maximum length of a constraint172
Number of terms in the objective function 25200
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 25200
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 25200
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c with Papilo
0.00/0.00	c with SCIP
0.00/0.00	c [STEP] parsing instance
0.10/0.22	c [STEP] preprocessing with Papilo
0.21/0.28	c Papilo could not simplify the problem
0.21/0.28	c [STEP] solving with SCIP
299.52/300.39	c [STEP] preprocessing done, loading into solver
299.62/300.41	c [STEP] solving
299.62/300.41	c #variables 25201 #constraints 1468
299.62/300.41	c SMALL=int, LARGE=long long
299.62/300.41	c bounds - >= 0 @ 299.445
299.62/300.41	c stratification level: 0
388.22/389.26	c bounds - >= 1 @ 299.886
388.22/389.26	c bounds - >= 2 @ 299.89
388.22/389.26	c bounds - >= 3 @ 299.893
388.22/389.26	c bounds - >= 4 @ 299.897
388.22/389.26	c bounds - >= 5 @ 299.9
388.22/389.26	c bounds - >= 6 @ 299.904
388.22/389.26	c bounds - >= 7 @ 299.907
388.22/389.26	c bounds - >= 8 @ 299.911
388.22/389.26	c bounds - >= 9 @ 299.914
388.22/389.26	c bounds - >= 10 @ 299.919
388.22/389.26	c bounds - >= 11 @ 299.923
388.22/389.26	c bounds - >= 12 @ 299.928
388.22/389.26	c bounds - >= 13 @ 299.935
388.22/389.26	c bounds - >= 14 @ 299.939
388.22/389.26	c bounds - >= 15 @ 299.942
388.22/389.26	c bounds - >= 16 @ 299.945
388.22/389.26	c bounds - >= 17 @ 299.95
388.22/389.26	c bounds - >= 18 @ 299.954
388.22/389.26	c bounds - >= 19 @ 299.957
388.22/389.26	c bounds - >= 20 @ 299.962
388.22/389.26	c bounds - >= 21 @ 299.969
388.22/389.26	c bounds - >= 22 @ 299.972
388.22/389.26	c bounds - >= 23 @ 299.977
388.22/389.26	c bounds - >= 24 @ 299.983
388.22/389.26	c bounds - >= 25 @ 299.988
388.22/389.26	c bounds - >= 26 @ 299.994
388.22/389.26	c bounds - >= 27 @ 300
388.22/389.26	c bounds - >= 28 @ 300.005
388.22/389.26	c bounds - >= 29 @ 300.009
388.22/389.26	c bounds - >= 30 @ 300.013
388.22/389.26	c bounds - >= 31 @ 300.016
388.22/389.26	c bounds - >= 32 @ 300.022
388.22/389.26	c bounds - >= 33 @ 300.028
388.22/389.26	c bounds - >= 34 @ 300.034
388.22/389.26	c bounds - >= 35 @ 300.037
388.22/389.26	c bounds - >= 36 @ 300.042
388.22/389.26	c bounds - >= 37 @ 300.047
388.22/389.26	c bounds - >= 38 @ 300.051
388.22/389.26	c bounds - >= 39 @ 300.054
388.22/389.26	c bounds - >= 40 @ 300.059
388.22/389.26	c bounds - >= 41 @ 300.065
388.22/389.26	c bounds - >= 42 @ 300.073
388.22/389.26	c bounds - >= 43 @ 300.079
388.22/389.26	c bounds - >= 44 @ 300.083
388.22/389.26	c bounds - >= 45 @ 300.088
388.22/389.26	c bounds - >= 46 @ 300.095
388.22/389.26	c bounds - >= 47 @ 300.102
388.22/389.26	c bounds - >= 48 @ 300.109
388.22/389.26	c bounds - >= 49 @ 300.114
388.22/389.26	c bounds - >= 50 @ 300.12
388.22/389.26	c bounds - >= 51 @ 300.124
388.22/389.26	c bounds - >= 52 @ 300.128
388.22/389.26	c bounds - >= 53 @ 300.133
388.22/389.26	c bounds - >= 54 @ 300.138
388.22/389.26	c bounds - >= 55 @ 300.147
388.22/389.26	c bounds - >= 56 @ 300.153
388.22/389.26	c bounds - >= 57 @ 300.164
388.22/389.26	c bounds - >= 58 @ 300.171
388.22/389.26	c bounds - >= 59 @ 300.177
388.22/389.26	c bounds - >= 60 @ 300.183
388.22/389.26	c bounds - >= 61 @ 300.19
388.22/389.26	c bounds - >= 62 @ 300.198
388.22/389.26	c bounds - >= 63 @ 300.204
388.22/389.26	c bounds - >= 64 @ 300.208
388.22/389.26	c bounds - >= 65 @ 300.216
388.22/389.26	c bounds - >= 66 @ 300.222
388.22/389.26	c bounds - >= 67 @ 300.228
388.22/389.26	c bounds - >= 68 @ 300.238
388.22/389.26	c bounds - >= 69 @ 300.244
388.22/389.26	c bounds - >= 70 @ 300.25
388.22/389.26	c bounds - >= 71 @ 300.254
388.22/389.26	c bounds - >= 72 @ 300.26
388.22/389.26	c bounds - >= 73 @ 300.267
388.22/389.26	c bounds - >= 74 @ 300.275
388.22/389.26	c bounds - >= 75 @ 300.282
388.22/389.26	c bounds - >= 76 @ 300.29
388.22/389.26	c bounds - >= 77 @ 300.298
388.22/389.26	c bounds - >= 78 @ 300.302
388.22/389.26	c bounds - >= 79 @ 300.31
388.22/389.26	c bounds - >= 80 @ 300.316
388.22/389.26	c bounds - >= 81 @ 300.323
388.22/389.26	c bounds - >= 82 @ 300.33
388.22/389.26	c bounds - >= 83 @ 300.338
388.22/389.26	c bounds - >= 84 @ 300.345
388.22/389.26	c bounds - >= 85 @ 300.354
388.22/389.26	c bounds - >= 86 @ 300.359
388.22/389.26	c bounds - >= 87 @ 300.366
388.22/389.26	c bounds - >= 88 @ 300.374
388.22/389.26	c bounds - >= 89 @ 300.381
388.22/389.26	c bounds - >= 90 @ 300.386
388.22/389.26	c bounds - >= 91 @ 300.394
388.22/389.26	c bounds - >= 92 @ 300.403
388.22/389.26	c bounds - >= 93 @ 300.41
388.22/389.26	c bounds - >= 94 @ 300.419
388.22/389.26	c bounds - >= 95 @ 300.43
388.22/389.26	c bounds - >= 96 @ 300.437
388.22/389.26	c bounds - >= 97 @ 300.443
388.22/389.26	c bounds - >= 98 @ 300.455
388.22/389.26	c bounds - >= 99 @ 300.462
388.22/389.26	c bounds - >= 100 @ 300.469
388.22/389.26	c bounds - >= 101 @ 300.476
388.22/389.26	c bounds - >= 102 @ 300.48
388.22/389.26	c bounds - >= 103 @ 300.488
388.22/389.26	c bounds - >= 104 @ 300.493
388.22/389.26	c bounds - >= 105 @ 300.501
388.22/389.26	c bounds - >= 106 @ 300.508
388.22/389.26	c bounds - >= 107 @ 300.516
388.22/389.26	c bounds - >= 108 @ 300.524
388.22/389.26	c bounds - >= 109 @ 300.532
388.22/389.26	c bounds - >= 110 @ 300.54
388.22/389.26	c bounds - >= 111 @ 300.548
388.22/389.26	c bounds - >= 112 @ 300.558
388.22/389.26	c bounds - >= 113 @ 300.564
388.22/389.26	c bounds - >= 114 @ 300.574
388.22/389.26	c bounds - >= 115 @ 300.581
388.22/389.26	c bounds - >= 116 @ 300.589
388.22/389.26	c bounds - >= 117 @ 300.599
388.22/389.26	c bounds - >= 118 @ 300.609
388.22/389.26	c bounds - >= 119 @ 300.618
388.22/389.26	c bounds - >= 120 @ 300.625
388.22/389.26	c bounds - >= 121 @ 300.635
388.22/389.26	c bounds - >= 122 @ 300.644
388.22/389.26	c bounds - >= 123 @ 300.65
388.22/389.26	c bounds - >= 124 @ 300.656
388.22/389.26	c bounds - >= 125 @ 300.666
388.22/389.26	c bounds - >= 126 @ 300.672
388.22/389.26	c bounds - >= 127 @ 300.679
388.22/389.26	c bounds - >= 128 @ 300.689
388.22/389.26	c bounds - >= 129 @ 300.698
388.22/389.26	c bounds - >= 130 @ 300.703
388.22/389.26	c bounds - >= 131 @ 300.711
388.22/389.26	c bounds - >= 132 @ 300.717
388.22/389.26	c #Conflicts:       1000 | #Constraints:       2600
388.22/389.26	c #Conflicts:       2000 | #Constraints:       3600
388.22/389.26	c INPROCESSING
388.22/389.26	c GARBAGE COLLECT
388.22/389.26	c #Conflicts:       3000 | #Constraints:       3535
388.22/389.26	c #Conflicts:       4000 | #Constraints:       4535
388.22/389.26	c INPROCESSING
388.22/389.26	c GARBAGE COLLECT
388.22/389.26	c #Conflicts:       5000 | #Constraints:       3960
388.22/389.26	c #Conflicts:       6000 | #Constraints:       4960
388.22/389.26	c INPROCESSING
388.22/389.26	c GARBAGE COLLECT
388.22/389.26	c #Conflicts:       7000 | #Constraints:       3939
388.22/389.26	c #Conflicts:       8000 | #Constraints:       4939
388.22/389.26	c #Conflicts:       9000 | #Constraints:       5939
1588.41/1592.35	c INPROCESSING
1588.41/1592.35	c GARBAGE COLLECT
1588.41/1592.35	c #Conflicts:      10000 | #Constraints:       4634
1588.41/1592.35	c #Conflicts:      11000 | #Constraints:       5634
1588.41/1592.35	c #Conflicts:      12000 | #Constraints:       6634
1588.41/1592.35	c INPROCESSING
1588.41/1592.35	c GARBAGE COLLECT
1588.41/1592.35	c #Conflicts:      13000 | #Constraints:       5093
1588.41/1592.35	c #Conflicts:      14000 | #Constraints:       6093
1588.41/1592.35	c bounds - >= 133 @ 445.123
1588.41/1592.35	c #Conflicts:      15000 | #Constraints:       7094
1588.41/1592.35	c INPROCESSING
1588.41/1592.35	c GARBAGE COLLECT
1588.41/1592.35	c #Conflicts:      16000 | #Constraints:       5327
1588.41/1592.35	c #Conflicts:      17000 | #Constraints:       6327
1588.41/1592.35	c #Conflicts:      18000 | #Constraints:       7327
1588.41/1592.35	c INPROCESSING
1588.41/1592.35	c GARBAGE COLLECT
1588.41/1592.35	c #Conflicts:      19000 | #Constraints:       5341
1588.41/1592.35	c #Conflicts:      20000 | #Constraints:       6341
1588.41/1592.35	c #Conflicts:      21000 | #Constraints:       7341
1588.41/1592.35	c INPROCESSING
1588.41/1592.35	c GARBAGE COLLECT
1588.41/1592.35	c #Conflicts:      22000 | #Constraints:       5147
1588.41/1592.35	c #Conflicts:      23000 | #Constraints:       6147
1588.41/1592.35	c #Conflicts:      24000 | #Constraints:       7147
1588.41/1592.35	c #Conflicts:      25000 | #Constraints:       8147
1588.41/1592.35	c INPROCESSING
1588.41/1592.35	c GARBAGE COLLECT
1588.41/1592.35	c #Conflicts:      26000 | #Constraints:       5733
1588.41/1592.35	c #Conflicts:      27000 | #Constraints:       6733
1588.41/1592.35	c #Conflicts:      28000 | #Constraints:       7733
1588.41/1592.35	c #Conflicts:      29000 | #Constraints:       8733
1588.41/1592.35	c INPROCESSING
1588.41/1592.35	c GARBAGE COLLECT
1588.41/1592.35	c #Conflicts:      30000 | #Constraints:       6115
1588.41/1592.35	c #Conflicts:      31000 | #Constraints:       7115
1588.41/1592.35	c #Conflicts:      32000 | #Constraints:       8115
1588.41/1592.35	c #Conflicts:      33000 | #Constraints:       9115
1588.41/1592.35	c INPROCESSING
1588.41/1592.35	c GARBAGE COLLECT
1588.41/1592.35	c #Conflicts:      34000 | #Constraints:       6349
1588.41/1592.35	c #Conflicts:      35000 | #Constraints:       7349
1588.41/1592.35	c #Conflicts:      36000 | #Constraints:       8349
1588.41/1592.35	c #Conflicts:      37000 | #Constraints:       9349
1588.41/1592.35	c INPROCESSING
1588.41/1592.35	c GARBAGE COLLECT
1588.41/1592.35	c #Conflicts:      38000 | #Constraints:       6322
1588.41/1592.35	c #Conflicts:      39000 | #Constraints:       7322
1588.41/1592.35	c #Conflicts:      40000 | #Constraints:       8322
1588.41/1592.35	c #Conflicts:      41000 | #Constraints:       9322
1588.41/1592.35	c INPROCESSING
1588.41/1592.35	c GARBAGE COLLECT
1588.41/1592.35	c #Conflicts:      42000 | #Constraints:       6102
1588.41/1592.35	c #Conflicts:      43000 | #Constraints:       7102
1588.41/1592.35	c #Conflicts:      44000 | #Constraints:       8102
1588.41/1592.35	c #Conflicts:      45000 | #Constraints:       9102
1588.41/1592.35	c #Conflicts:      46000 | #Constraints:      10102
1588.41/1592.35	c INPROCESSING
1588.41/1592.35	c GARBAGE COLLECT
1588.41/1592.35	c #Conflicts:      47000 | #Constraints:       6699
1588.41/1592.35	c #Conflicts:      48000 | #Constraints:       7699
1588.41/1592.35	c #Conflicts:      49000 | #Constraints:       8699
1588.41/1592.35	c #Conflicts:      50000 | #Constraints:       9699
1588.41/1592.35	c #Conflicts:      51000 | #Constraints:      10699
1588.41/1592.35	c INPROCESSING
1588.41/1592.35	c GARBAGE COLLECT
1588.41/1592.35	c #Conflicts:      52000 | #Constraints:       7099
1588.41/1592.35	c #Conflicts:      53000 | #Constraints:       8099
1588.41/1592.35	c #Conflicts:      54000 | #Constraints:       9099
1588.41/1592.35	c #Conflicts:      55000 | #Constraints:      10099
1588.41/1592.35	c #Conflicts:      56000 | #Constraints:      11099
1588.41/1592.35	c INPROCESSING
1588.41/1592.35	c GARBAGE COLLECT
1588.41/1592.35	c #Conflicts:      57000 | #Constraints:       7304
1588.41/1592.35	c #Conflicts:      58000 | #Constraints:       8304
1588.41/1592.35	c #Conflicts:      59000 | #Constraints:       9304
1588.41/1592.35	c #Conflicts:      60000 | #Constraints:      10304
1588.41/1592.35	c #Conflicts:      61000 | #Constraints:      11304
1588.41/1592.35	c INPROCESSING
1588.41/1592.35	c GARBAGE COLLECT
1588.41/1592.35	c #Conflicts:      62000 | #Constraints:       7318
1588.41/1592.35	c #Conflicts:      63000 | #Constraints:       8318
1588.41/1592.35	c #Conflicts:      64000 | #Constraints:       9318
1588.41/1592.35	c #Conflicts:      65000 | #Constraints:      10318
1588.41/1592.35	c #Conflicts:      66000 | #Constraints:      11318
1588.41/1592.35	c INPROCESSING
1588.41/1592.35	c GARBAGE COLLECT
1588.41/1592.35	c #Conflicts:      67000 | #Constraints:       7112
1588.41/1592.35	c #Conflicts:      68000 | #Constraints:       8112
1588.41/1592.35	c #Conflicts:      69000 | #Constraints:       9112
1588.41/1592.35	c #Conflicts:      70000 | #Constraints:      10112
1588.41/1592.35	c #Conflicts:      71000 | #Constraints:      11112
1588.41/1592.35	c #Conflicts:      72000 | #Constraints:      12112
1588.41/1592.35	c INPROCESSING
1588.41/1592.35	c GARBAGE COLLECT
1588.41/1592.35	c #Conflicts:      73000 | #Constraints:       7722
1588.41/1592.35	c #Conflicts:      74000 | #Constraints:       8722
1588.41/1592.35	c #Conflicts:      75000 | #Constraints:       9722
1588.41/1592.35	c #Conflicts:      76000 | #Constraints:      10722
1588.41/1592.35	c #Conflicts:      77000 | #Constraints:      11722
2925.10/2932.37	c #Conflicts:      78000 | #Constraints:      12722
2925.10/2932.37	c INPROCESSING
2925.10/2932.37	c GARBAGE COLLECT
2925.10/2932.37	c #Conflicts:      79000 | #Constraints:       8116
2925.10/2932.37	c #Conflicts:      80000 | #Constraints:       9116
2925.10/2932.37	c #Conflicts:      81000 | #Constraints:      10116
2925.10/2932.37	c #Conflicts:      82000 | #Constraints:      11116
2925.10/2932.37	c #Conflicts:      83000 | #Constraints:      12116
2925.10/2932.37	c #Conflicts:      84000 | #Constraints:      13116
2925.10/2932.37	c INPROCESSING
2925.10/2932.37	c GARBAGE COLLECT
2925.10/2932.37	c #Conflicts:      85000 | #Constraints:       8311
2925.10/2932.37	c #Conflicts:      86000 | #Constraints:       9311
2925.10/2932.37	c #Conflicts:      87000 | #Constraints:      10311
2925.10/2932.37	c #Conflicts:      88000 | #Constraints:      11311
2925.10/2932.37	c #Conflicts:      89000 | #Constraints:      12311
2925.10/2932.37	c #Conflicts:      90000 | #Constraints:      13311
2925.10/2932.37	c INPROCESSING
2925.10/2932.37	c GARBAGE COLLECT
2925.10/2932.37	c #Conflicts:      91000 | #Constraints:       8319
2925.10/2932.37	c #Conflicts:      92000 | #Constraints:       9319
2925.10/2932.37	c #Conflicts:      93000 | #Constraints:      10319
2925.10/2932.37	c #Conflicts:      94000 | #Constraints:      11319
2925.10/2932.37	c #Conflicts:      95000 | #Constraints:      12319
2925.10/2932.37	c #Conflicts:      96000 | #Constraints:      13319
2925.10/2932.37	c INPROCESSING
2925.10/2932.37	c GARBAGE COLLECT
2925.10/2932.37	c #Conflicts:      97000 | #Constraints:       8133
2925.10/2932.37	c #Conflicts:      98000 | #Constraints:       9133
2925.10/2932.37	c #Conflicts:      99000 | #Constraints:      10133
2925.10/2932.37	c #Conflicts:     100000 | #Constraints:      11133
2925.10/2932.37	c #Conflicts:     101000 | #Constraints:      12133
2925.10/2932.37	c #Conflicts:     102000 | #Constraints:      13133
2925.10/2932.37	c #Conflicts:     103000 | #Constraints:      14133
2925.10/2932.37	c INPROCESSING
2925.10/2932.37	c GARBAGE COLLECT
2925.10/2932.37	c #Conflicts:     104000 | #Constraints:       8728
2925.10/2932.37	c #Conflicts:     105000 | #Constraints:       9728
2925.10/2932.37	c #Conflicts:     106000 | #Constraints:      10728
2925.10/2932.37	c #Conflicts:     107000 | #Constraints:      11728
2925.10/2932.37	c #Conflicts:     108000 | #Constraints:      12728
2925.10/2932.37	c #Conflicts:     109000 | #Constraints:      13728
2925.10/2932.37	c #Conflicts:     110000 | #Constraints:      14728
2925.10/2932.37	c INPROCESSING
2925.10/2932.37	c GARBAGE COLLECT
2925.10/2932.37	c #Conflicts:     111000 | #Constraints:       9125
2925.10/2932.37	c #Conflicts:     112000 | #Constraints:      10125
2925.10/2932.37	c #Conflicts:     113000 | #Constraints:      11125
2925.10/2932.37	c #Conflicts:     114000 | #Constraints:      12125
2925.10/2932.37	c #Conflicts:     115000 | #Constraints:      13125
2925.10/2932.37	c #Conflicts:     116000 | #Constraints:      14125
2925.10/2932.37	c #Conflicts:     117000 | #Constraints:      15125
2925.10/2932.37	c INPROCESSING
2925.10/2932.37	c GARBAGE COLLECT
2925.10/2932.37	c #Conflicts:     118000 | #Constraints:       9334
2925.10/2932.37	c #Conflicts:     119000 | #Constraints:      10334
2925.10/2932.37	c #Conflicts:     120000 | #Constraints:      11334
2925.10/2932.37	c #Conflicts:     121000 | #Constraints:      12334
2925.10/2932.37	c #Conflicts:     122000 | #Constraints:      13334
2925.10/2932.37	c #Conflicts:     123000 | #Constraints:      14334
2925.10/2932.37	c #Conflicts:     124000 | #Constraints:      15334
2925.10/2932.37	c INPROCESSING
2925.10/2932.37	c GARBAGE COLLECT
2925.10/2932.37	c #Conflicts:     125000 | #Constraints:       9315
2925.10/2932.37	c #Conflicts:     126000 | #Constraints:      10315
2925.10/2932.37	c #Conflicts:     127000 | #Constraints:      11315
2925.10/2932.37	c #Conflicts:     128000 | #Constraints:      12315
2925.10/2932.37	c #Conflicts:     129000 | #Constraints:      13315
2925.10/2932.37	c #Conflicts:     130000 | #Constraints:      14315
2925.10/2932.37	c #Conflicts:     131000 | #Constraints:      15315
2925.10/2932.37	c INPROCESSING
2925.10/2932.37	c GARBAGE COLLECT
2925.10/2932.37	c #Conflicts:     132000 | #Constraints:       9110
2925.10/2932.37	c #Conflicts:     133000 | #Constraints:      10110
2925.10/2932.37	c #Conflicts:     134000 | #Constraints:      11110
2925.10/2932.37	c #Conflicts:     135000 | #Constraints:      12110
2925.10/2932.37	c #Conflicts:     136000 | #Constraints:      13110
2925.10/2932.37	c #Conflicts:     137000 | #Constraints:      14110
2925.10/2932.37	c #Conflicts:     138000 | #Constraints:      15110
2925.10/2932.37	c #Conflicts:     139000 | #Constraints:      16110
2925.10/2932.37	c INPROCESSING
2925.10/2932.37	c GARBAGE COLLECT
2925.10/2932.37	c #Conflicts:     140000 | #Constraints:       9705
2925.10/2932.37	c #Conflicts:     141000 | #Constraints:      10705
2925.10/2932.37	c #Conflicts:     142000 | #Constraints:      11705
2925.10/2932.37	c #Conflicts:     143000 | #Constraints:      12705
2925.10/2932.37	c #Conflicts:     144000 | #Constraints:      13705
2925.10/2932.37	c #Conflicts:     145000 | #Constraints:      14705
2925.10/2932.37	c #Conflicts:     146000 | #Constraints:      15705
2925.10/2932.37	c #Conflicts:     147000 | #Constraints:      16705
2925.10/2932.37	c INPROCESSING
2925.10/2932.37	c GARBAGE COLLECT
2925.10/2932.37	c #Conflicts:     148000 | #Constraints:      10113
2925.10/2932.37	c #Conflicts:     149000 | #Constraints:      11113
3600.10/3609.01	c #Conflicts:     150000 | #Constraints:      12113
3600.10/3609.01	c #Conflicts:     151000 | #Constraints:      13113
3600.10/3609.01	c #Conflicts:     152000 | #Constraints:      14113
3600.10/3609.01	c #Conflicts:     153000 | #Constraints:      15113
3600.10/3609.01	c #Conflicts:     154000 | #Constraints:      16113
3600.10/3609.01	c #Conflicts:     155000 | #Constraints:      17113
3600.10/3609.01	c INPROCESSING
3600.10/3609.01	c GARBAGE COLLECT
3600.10/3609.01	c #Conflicts:     156000 | #Constraints:      10308
3600.10/3609.01	c #Conflicts:     157000 | #Constraints:      11308
3600.10/3609.01	c #Conflicts:     158000 | #Constraints:      12308
3600.10/3609.01	c #Conflicts:     159000 | #Constraints:      13308
3600.10/3609.01	c #Conflicts:     160000 | #Constraints:      14308
3600.10/3609.01	c #Conflicts:     161000 | #Constraints:      15308
3600.10/3609.01	c #Conflicts:     162000 | #Constraints:      16308
3600.10/3609.01	c #Conflicts:     163000 | #Constraints:      17308
3600.10/3609.01	c INPROCESSING
3600.10/3609.01	c GARBAGE COLLECT
3600.10/3609.01	c #Conflicts:     164000 | #Constraints:      10301
3600.10/3609.01	c #Conflicts:     165000 | #Constraints:      11301
3600.10/3609.01	c #Conflicts:     166000 | #Constraints:      12301
3600.10/3609.01	c #Conflicts:     167000 | #Constraints:      13301
3600.10/3609.01	c #Conflicts:     168000 | #Constraints:      14301
3600.10/3609.01	c #Conflicts:     169000 | #Constraints:      15301
3600.10/3609.01	c #Conflicts:     170000 | #Constraints:      16301
3600.10/3609.01	c #Conflicts:     171000 | #Constraints:      17301
3600.10/3609.01	c INPROCESSING
3600.10/3609.01	c GARBAGE COLLECT
3600.10/3609.01	c #Conflicts:     172000 | #Constraints:      10097
3600.10/3609.01	c #Conflicts:     173000 | #Constraints:      11097
3600.10/3609.01	c #Conflicts:     174000 | #Constraints:      12097
3600.10/3609.01	c #Conflicts:     175000 | #Constraints:      13097
3600.10/3609.01	c #Conflicts:     176000 | #Constraints:      14097
3600.10/3609.01	c #Conflicts:     177000 | #Constraints:      15097
3600.10/3609.01	c #Conflicts:     178000 | #Constraints:      16097
3600.10/3609.01	c #Conflicts:     179000 | #Constraints:      17097
3600.10/3609.01	c #Conflicts:     180000 | #Constraints:      18097
3600.10/3609.01	c INPROCESSING
3600.10/3609.01	c GARBAGE COLLECT
3600.10/3609.01	c #Conflicts:     181000 | #Constraints:      10700
3600.10/3609.01	c #Conflicts:     182000 | #Constraints:      11700
3600.10/3609.01	c #Conflicts:     183000 | #Constraints:      12700
3600.10/3609.01	c #Conflicts:     184000 | #Constraints:      13700
3600.10/3609.01	c #Conflicts:     185000 | #Constraints:      14700
3600.10/3609.01	c #Conflicts:     186000 | #Constraints:      15700
3600.10/3609.01	c Program interrupted by user.
3600.10/3609.01	c cpu time 3554.57 s
3600.10/3609.01	c deterministic time 492594282089 4.93e+11
3600.10/3609.01	c optimization time 91.9763 s
3600.10/3609.01	c total solve time 3163.15 s
3600.10/3609.01	c core-guided solve time 3163.15 s
3600.10/3609.01	c propagation time 2089.21 s
3600.10/3609.01	c conflict analysis time 806.07 s
3600.10/3609.01	c propagations 429031168
3600.10/3609.01	c resolve steps 436611
3600.10/3609.01	c decisions 55050432
3600.10/3609.01	c conflicts 186357
3600.10/3609.01	c restarts 508
3600.10/3609.01	c inprocessing phases 34
3600.10/3609.01	c input clauses 1469
3600.10/3609.01	c input cardinalities 133
3600.10/3609.01	c input general constraints 0
3600.10/3609.01	c input average constraint length 2171.61
3600.10/3609.01	c input average constraint degree 22.05
3600.10/3609.01	c learned clauses 8296
3600.10/3609.01	c learned cardinalities 2124
3600.10/3609.01	c learned general constraints 175936
3600.10/3609.01	c learned average constraint length 20788.34
3600.10/3609.01	c learned average constraint degree 2770717.63
3600.10/3609.01	c watched constraints 1031
3600.10/3609.01	c counting constraints 174905
3600.10/3609.01	c gcd simplifications 287
3600.10/3609.01	c detected cardinalities 1
3600.10/3609.01	c weakened non-implied lits 372325439
3600.10/3609.01	c weakened non-implying lits 2349
3600.10/3609.01	c original variables 25200
3600.10/3609.01	c clausal propagations 2520329
3600.10/3609.01	c cardinality propagations 49812
3600.10/3609.01	c watched propagations 18228
3600.10/3609.01	c counting propagations 419031536
3600.10/3609.01	c watch lookups 11101877673
3600.10/3609.01	c watch backjump lookups 11089240599
3600.10/3609.01	c watch checks 312668860
3600.10/3609.01	c propagation checks 462597089177
3600.10/3609.01	c constraint additions 6525080212
3600.10/3609.01	c trail pops 484243967
3600.10/3609.01	c formula constraints 1468
3600.10/3609.01	c learned constraints 186356
3600.10/3609.01	c bound constraints 134
3600.10/3609.01	c core-guided constraints 0
3600.10/3609.01	c encountered formula constraints 333841
3600.10/3609.01	c encountered learned constraints 289118
3600.10/3609.01	c encountered bound constraints 9
3600.10/3609.01	c encountered core-guided constraints 0
3600.10/3609.01	c LP total time 0 s
3600.10/3609.01	c LP solve time 0 s
3600.10/3609.01	c LP constraints added 0
3600.10/3609.01	c LP constraints removed 0
3600.10/3609.01	c LP pivots internal 0
3600.10/3609.01	c LP pivots root 0
3600.10/3609.01	c LP calls 0
3600.10/3609.01	c LP optimalities 0
3600.10/3609.01	c LP no pivot count 0
3600.10/3609.01	c LP infeasibilities 0
3600.10/3609.01	c LP valid Farkas constraints 0
3600.10/3609.01	c LP learned Farkas constraints 0
3600.10/3609.01	c LP basis resets 0
3600.10/3609.01	c LP cycling count 0
3600.10/3609.01	c LP singular count 0
3600.10/3609.01	c LP no primal count 0
3600.10/3609.01	c LP no farkas count 0
3600.10/3609.01	c LP other issue count 0
3600.10/3609.01	c LP Gomory cuts 0
3600.10/3609.01	c LP learned cuts 0
3600.10/3609.01	c LP deleted cuts 0
3600.10/3609.01	c LP encountered Gomory constraints 0
3600.10/3609.01	c LP encountered Farkas constraints 0
3600.10/3609.01	c LP encountered learned Farkas constraints 0
3600.10/3609.01	c CG auxiliary variables introduced 0
3600.10/3609.01	c CG solutions found 0
3600.10/3609.01	c CG cores constructed 133
3600.10/3609.01	c CG core cardinality constraints returned 0
3600.10/3609.01	c CG unit cores 0
3600.10/3609.01	c CG single cores 133
3600.10/3609.01	c CG blocks removed during cardinality reduction 0
3600.10/3609.01	c CG first core best 0
3600.10/3609.01	c CG decision core best 0
3600.10/3609.01	c CG core reduction tie 0
3600.10/3609.01	c CG core degree average 1.00
3600.10/3609.01	c CG core slack average 70.03
3600.10/3609.01	c CG exhausted 0
3600.10/3609.01	c CG exhaust time 0 s
3600.10/3609.01	c CG trimmed 0
3600.10/3609.01	c CG trim time 0.405108 s
3600.10/3609.01	c CG minimized 0
3600.10/3609.01	c CG minimize time 0 s
3600.10/3609.01	c CG am1 prop time 0.033481 s
3600.10/3609.01	c CG # am1s reformulated 0
3600.10/3609.01	c CG lower bound derived from am1s 0
3600.10/3609.01	c CG # clausal cores 133
3600.10/3609.01	c CG # cardinality cores 0
3600.10/3609.01	c CG # pb cores 0
3600.10/3609.01	c CG # pb reforms 0
3600.10/3609.01	c CG # cores discarded because of pb reform 0
3600.10/3609.01	d LOWERBOUND 133
3600.10/3609.01	d NCORES 133
3600.10/3609.01	d NPBCORES 0
3600.10/3609.01	d NPBREFORM 0
3600.10/3609.01	d NTRIMMED 0
3600.10/3609.01	d NEXHAUSTED 0
3600.10/3609.01	d NAM1S 0
3600.10/3609.01	d AM1LB 0
3600.10/3609.01	c [Papilo Statistics]
3600.10/3609.01	c prepro time 0.0604621s
3600.10/3609.01	c # tsx applied 0
3600.10/3609.01	c # tsx conflicts 0
3600.10/3609.01	c # bound changes 0
3600.10/3609.01	c # side changes 0
3600.10/3609.01	c # coef changes 0
3600.10/3609.01	c # rounds 1
3600.10/3609.01	c # deted vars 0
3600.10/3609.01	c # deted constrs 0
3600.10/3609.01	c # consecutive rounds of only bound changes 0
3600.10/3609.11	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: 64059 MiB (61806 MiB free)
  memory of node 1: 64510 MiB (63427 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435647-1721129880/watcher-4435647-1721129880 -o /tmp/evaluation-result-4435647-1721129880/solver-4435647-1721129880 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721129892-842642 --watchdog 3760 mixed-bag HOME/instance-4435647-1721129880.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=842689, runsolver pid=842686
Current StackSize limit: 8192 KiB


[startup+0.100931 s]*
/proc/loadavg: 1.02 1.39 2.56 5/242 842702
/proc/meminfo: memFree=128212320/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=82628 memory=16160 CPUtime=0.1 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 3593 0 0 0 9 1 0 0 20 0 1 0 165147596 84611072 4040 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 20657 4040 1630 3002 0 4947 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 82628 KiB
Current children cumulated memory: 16160 KiB

[startup+0.213721 s]*
/proc/loadavg: 1.02 1.39 2.56 6/242 842702
/proc/meminfo: memFree=128188268/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=92924 memory=26976 CPUtime=0.21 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4456448 6798 0 0 0 19 2 0 0 20 0 1 0 165147596 95154176 6744 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 23231 6744 1662 3002 0 7521 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 92924 KiB
Current children cumulated memory: 26976 KiB

[startup+0.312622 s]*
/proc/loadavg: 1.02 1.39 2.56 5/242 842702
/proc/meminfo: memFree=128155868/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=126236 memory=58320 CPUtime=0.31 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 13689 0 0 0 26 5 0 0 20 0 1 0 165147596 129265664 14580 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 31559 14580 3315 3002 0 15310 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 126236 KiB
Current children cumulated memory: 58320 KiB

[startup+0.700299 s]
/proc/loadavg: 1.02 1.39 2.56 5/242 842702
/proc/meminfo: memFree=128072336/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=192580 memory=122952 CPUtime=0.68 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 30337 0 0 0 58 10 0 0 20 0 1 0 165147596 197201920 30738 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 48145 30738 3747 3002 0 31896 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 192580 KiB
Current children cumulated memory: 122952 KiB

[startup+1.50029 s]
/proc/loadavg: 1.02 1.39 2.56 5/242 842702
/proc/meminfo: memFree=127933936/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=236804 memory=147152 CPUtime=1.47 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 38274 0 0 0 135 12 0 0 20 0 1 0 165147596 242487296 36788 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 59201 36788 3986 3002 0 42952 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 236804 KiB
Current children cumulated memory: 147152 KiB

[startup+3.11243 s]
/proc/loadavg: 1.02 1.39 2.56 5/237 842738
/proc/meminfo: memFree=127676864/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=236804 memory=147152 CPUtime=3.08 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 38274 0 0 0 296 12 0 0 20 0 1 0 165147596 242487296 36788 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 59201 36788 3986 3002 0 42952 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 236804 KiB
Current children cumulated memory: 147152 KiB

[startup+6.3003 s]
/proc/loadavg: 1.26 1.43 2.56 5/242 842750
/proc/meminfo: memFree=127327292/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=238840 memory=149060 CPUtime=6.26 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 38782 0 0 0 614 12 0 0 20 0 1 0 165147596 244572160 37265 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 59710 37265 4002 3002 0 43461 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 238840 KiB
Current children cumulated memory: 149060 KiB

[startup+12.7003 s]
/proc/loadavg: 1.48 1.48 2.57 5/242 842750
/proc/meminfo: memFree=125820356/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=252220 memory=160188 CPUtime=12.65 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 41513 0 0 0 1252 13 0 0 20 0 1 0 165147596 258273280 40047 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 63055 40047 4018 3002 0 46806 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 252220 KiB
Current children cumulated memory: 160188 KiB

[startup+25.5003 s]
/proc/loadavg: 2.04 1.60 2.60 5/242 842751
/proc/meminfo: memFree=123490188/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=309472 memory=213176 CPUtime=25.41 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 54813 0 0 0 2527 14 0 0 20 0 1 0 165147596 316899328 53294 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 77368 53294 4018 3002 0 61119 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 309472 KiB
Current children cumulated memory: 213176 KiB

[startup+51.1128 s]
/proc/loadavg: 2.77 1.81 2.64 5/242 842756
/proc/meminfo: memFree=122053064/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=328332 memory=231912 CPUtime=50.97 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 59498 0 0 0 5081 16 0 0 20 0 1 0 165147596 336211968 57978 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 82083 57978 4018 3002 0 65834 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 328332 KiB
Current children cumulated memory: 231912 KiB

[startup+102.3 s]
/proc/loadavg: 3.51 2.17 2.72 5/242 842765
/proc/meminfo: memFree=121792348/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=328768 memory=239124 CPUtime=102.01 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 59784 0 0 0 10185 16 0 0 20 0 1 0 165147596 336658432 59781 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 82192 59781 4018 3002 0 65943 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 328768 KiB
Current children cumulated memory: 239124 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 2.53 2.81 5/244 842781
/proc/meminfo: memFree=121515468/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=316800 memory=242432 CPUtime=161.86 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 62047 0 0 0 16168 18 0 0 20 0 1 0 165147596 324403200 60608 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 79200 60608 4028 3002 0 62951 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 316800 KiB
Current children cumulated memory: 242432 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.82 2.89 5/244 842791
/proc/meminfo: memFree=121417064/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=303336 memory=229864 CPUtime=221.71 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 63991 0 0 0 22153 18 0 0 20 0 1 0 165147596 310616064 57466 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 75834 57466 4028 3002 0 59585 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 303336 KiB
Current children cumulated memory: 229864 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 3.05 2.97 5/243 842801
/proc/meminfo: memFree=121265800/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=303336 memory=229864 CPUtime=281.56 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 64079 0 0 0 28137 19 0 0 20 0 1 0 165147596 310616064 57466 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 75834 57466 4028 3002 0 59585 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 303336 KiB
Current children cumulated memory: 229864 KiB

[startup+342.3 s]
/proc/loadavg: 4.26 3.29 3.06 6/244 842814
/proc/meminfo: memFree=123019632/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=1312348 memory=1039296 CPUtime=341.42 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 174497 0 0 0 33866 276 0 0 20 0 1 0 165147596 1343844352 259824 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 328087 259824 4171 3002 0 311838 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 1312348 KiB
Current children cumulated memory: 1039296 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.44 3.13 5/244 842827
/proc/meminfo: memFree=121948480/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=2316872 memory=1874388 CPUtime=401.29 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 308166 0 0 0 39752 377 0 0 20 0 1 0 165147596 2372476928 468597 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 579218 468597 4171 3002 0 562969 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 2316872 KiB
Current children cumulated memory: 1874388 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 3.55 3.19 5/244 842837
/proc/meminfo: memFree=121607244/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=2391900 memory=2036872 CPUtime=461.16 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 329862 0 0 0 45675 441 0 0 20 0 1 0 165147596 2449305600 509152 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 597975 509218 4171 3002 0 581726 0

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

/proc/842689/statm: 1544665 1455146 4171 3002 0 1528416 0
Current children cumulated CPU time: 2855.27 s
Current children cumulated vsize: 6178660 KiB
Current children cumulated memory: 5820584 KiB

[startup+2922.3 s]
/proc/loadavg: 4.18 4.17 4.08 5/243 844236
/proc/meminfo: memFree=113667468/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=6181524 memory=5825236 CPUtime=2915.12 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 936896 0 0 0 287882 3630 0 0 20 0 1 0 165147596 6329880576 1456309 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 1545381 1456309 4171 3002 0 1529132 0
Current children cumulated CPU time: 2915.12 s
Current children cumulated vsize: 6181524 KiB
Current children cumulated memory: 5825236 KiB

[startup+2982.3 s]
/proc/loadavg: 4.19 4.16 4.08 5/242 844246
/proc/meminfo: memFree=113412620/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=6181524 memory=5825236 CPUtime=2974.97 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 938428 0 0 0 293774 3723 0 0 20 0 1 0 165147596 6329880576 1456309 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 1545381 1456309 4171 3002 0 1529132 0
Current children cumulated CPU time: 2974.97 s
Current children cumulated vsize: 6181524 KiB
Current children cumulated memory: 5825236 KiB

[startup+3042.3 s]
/proc/loadavg: 4.18 4.16 4.09 5/244 844426
/proc/meminfo: memFree=113145308/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=7690604 memory=6091408 CPUtime=3034.82 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 962005 0 0 0 299683 3799 0 0 20 0 1 0 165147596 7875178496 1522852 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 1922651 1522852 4171 3002 0 1906402 0
Current children cumulated CPU time: 3034.82 s
Current children cumulated vsize: 7690604 KiB
Current children cumulated memory: 6091408 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.13 4.08 5/244 844437
/proc/meminfo: memFree=113103784/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=7690604 memory=6091408 CPUtime=3094.67 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 962621 0 0 0 305519 3948 0 0 20 0 1 0 165147596 7875178496 1522852 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 1922651 1522852 4171 3002 0 1906402 0
Current children cumulated CPU time: 3094.67 s
Current children cumulated vsize: 7690604 KiB
Current children cumulated memory: 6091408 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/243 844503
/proc/meminfo: memFree=112937420/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=7690604 memory=6101436 CPUtime=3154.52 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 968498 0 0 0 311439 4013 0 0 20 0 1 0 165147596 7875178496 1525359 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 1922651 1525359 4171 3002 0 1906402 0
Current children cumulated CPU time: 3154.52 s
Current children cumulated vsize: 7690604 KiB
Current children cumulated memory: 6101436 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/243 844513
/proc/meminfo: memFree=112894024/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=7690784 memory=6101488 CPUtime=3214.36 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 969686 0 0 0 317380 4056 0 0 20 0 1 0 165147596 7875362816 1525372 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 1922696 1525372 4171 3002 0 1906447 0
Current children cumulated CPU time: 3214.36 s
Current children cumulated vsize: 7690784 KiB
Current children cumulated memory: 6101488 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/243 844524
/proc/meminfo: memFree=112853460/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=7690784 memory=6101568 CPUtime=3274.21 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 970082 0 0 0 323271 4150 0 0 20 0 1 0 165147596 7875362816 1525392 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 1922696 1525392 4171 3002 0 1906447 0
Current children cumulated CPU time: 3274.21 s
Current children cumulated vsize: 7690784 KiB
Current children cumulated memory: 6101568 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/243 844534
/proc/meminfo: memFree=112849764/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=7691884 memory=6102868 CPUtime=3334.06 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 970902 0 0 0 329178 4228 0 0 20 0 1 0 165147596 7876489216 1525717 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 1922971 1525717 4171 3002 0 1906722 0
Current children cumulated CPU time: 3334.06 s
Current children cumulated vsize: 7691884 KiB
Current children cumulated memory: 6102868 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/242 844545
/proc/meminfo: memFree=112785828/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=7691884 memory=6102868 CPUtime=3393.9 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 971479 0 0 0 335112 4278 0 0 20 0 1 0 165147596 7876489216 1525717 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 1922971 1525717 4171 3002 0 1906722 0
Current children cumulated CPU time: 3393.9 s
Current children cumulated vsize: 7691884 KiB
Current children cumulated memory: 6102868 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/241 844557
/proc/meminfo: memFree=112649180/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=7691884 memory=6102952 CPUtime=3453.74 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 973558 0 0 0 341008 4366 0 0 20 0 1 0 165147596 7876489216 1525738 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 1922971 1525738 4171 3002 0 1906722 0
Current children cumulated CPU time: 3453.74 s
Current children cumulated vsize: 7691884 KiB
Current children cumulated memory: 6102952 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/241 844568
/proc/meminfo: memFree=112479472/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=7703532 memory=6269964 CPUtime=3513.6 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 990188 0 0 0 346890 4470 0 0 20 0 1 0 165147596 7888416768 1567491 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 1925883 1567491 4171 3002 0 1909634 0
Current children cumulated CPU time: 3513.6 s
Current children cumulated vsize: 7703532 KiB
Current children cumulated memory: 6269964 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/241 844578
/proc/meminfo: memFree=112389872/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=7703532 memory=6270016 CPUtime=3573.45 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 991563 0 0 0 352815 4530 0 0 20 0 1 0 165147596 7888416768 1567504 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 1925883 1567504 4171 3002 0 1909634 0
Current children cumulated CPU time: 3573.45 s
Current children cumulated vsize: 7703532 KiB
Current children cumulated memory: 6270016 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 4.10 4.10 4.09 5/241 844583
/proc/meminfo: memFree=112340272/131655788 swapFree=131071996/131071996
[pid=842689] ppid=842686 vsize=7703532 memory=6270016 CPUtime=3600.1 cores=5,7
/proc/842689/stat : 842689 (mixed-bag) R 842686 842689 842629 0 -1 4194304 991989 0 0 0 355457 4553 0 0 20 0 1 0 165147596 7888416768 1567504 134679101440 4194304 16487941 140724196524576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 49885184 140724196533271 140724196533348 140724196533348 140724196540363 0
/proc/842689/statm: 1925883 1567504 4171 3002 0 1909634 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 7703532 KiB
Current children cumulated memory: 6270016 KiB

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

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

# cumulated CPU time of all completed processes:  user=3554.58 s, system=45.7251 s

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

[startup+3609.21 s]
/proc/loadavg: 4.10 4.10 4.09 5/241 844583
/proc/meminfo: memFree=114408200/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3609.22
CPU time (s): 3600.31
CPU user time (s): 3554.58
CPU system time (s): 45.7251
CPU usage (%): 99.7531
Max. virtual memory (cumulated for all children) (KiB): 7703532
Max. memory (cumulated for all children) (KiB): 6270016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3554.58
system time used= 45.7251
maximum resident set size= 6270372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 992129
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 2688


# summary of solver processes directly reported to runsolver:
#   pid: 842689
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3554.58
#   total CPU system time (s): 45.7251

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.185 second user time and 34.9366 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-16 13:38:12
IDJOB=4435647
IDBENCH=155394
IDSOLVER=3066
FILE ID=nodeC009/4435647-1721129880
RUNJOBID= nodeC009-1721129892-842642
SLURM_JOB_ID= 7505696
Free space on /tmp= 723748 MiB

SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-ex1010-pi.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435647-1721129880/watcher-4435647-1721129880 -o /tmp/evaluation-result-4435647-1721129880/solver-4435647-1721129880 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721129892-842642 --watchdog 3760  mixed-bag HOME/instance-4435647-1721129880.opb

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

MD5SUM BENCH= 0b4dbd7f90f2b82bb3725efac604f63c
RANDOM SEED=938672012

nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.318
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.34
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	: 0xb00001f
cpu MHz		: 3349.451
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
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	: 0xb00001f
cpu MHz		: 1197.324
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.34
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	: 0xb00001f
cpu MHz		: 1197.316
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
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	: 0xb00001f
cpu MHz		: 1197.318
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.34
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	: 0xb00001f
cpu MHz		: 1197.362
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
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	: 0xb00001f
cpu MHz		: 1197.326
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.34
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	: 0xb00001f
cpu MHz		: 1197.316
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128245352 kB
MemAvailable:   129913660 kB
Buffers:          417140 kB
Cached:          2077196 kB
SwapCached:            0 kB
Active:           724828 kB
Inactive:        2125516 kB
Active(anon):       1356 kB
Inactive(anon):   392348 kB
Active(file):     723472 kB
Inactive(file):  1733168 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             72124 kB
Writeback:             0 kB
AnonPages:        356116 kB
Mapped:           115488 kB
Shmem:             37700 kB
KReclaimable:     103396 kB
Slab:             201672 kB
SReclaimable:     103396 kB
SUnreclaim:        98276 kB
KernelStack:        3680 kB
PageTables:         9368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     718140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52864 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187208 kB
DirectMap2M:    19640320 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723652 MiB
End job on nodeC009 at 2024-07-16 14:38:21