Trace number 4454905

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-19? (TO) 3600.19 3612.05

DiagnosticValue
AM1LB0
LOWERBOUND133
NAM1S0
NCORES133
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0
SCIPUB253

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.00/0.08	c [STEP] preprocessing with Papilo
0.09/0.10	c Papilo could not simplify the problem
0.09/0.10	c [STEP] solving with SCIP
299.06/300.19	c [STEP] preprocessing done, loading into solver
299.15/300.21	c [STEP] solving
299.15/300.21	c #variables 25201 #constraints 1468
299.15/300.21	c SMALL=int, LARGE=long long
299.15/300.21	d SCIPUB 253
299.15/300.21	c bounds - >= 0 @ 298.994
299.15/300.21	c stratification level: 0
389.76/391.13	c bounds - >= 1 @ 299.421
389.76/391.13	c bounds - >= 2 @ 299.425
389.76/391.13	c bounds - >= 3 @ 299.429
389.76/391.13	c bounds - >= 4 @ 299.432
389.76/391.13	c bounds - >= 5 @ 299.436
389.76/391.13	c bounds - >= 6 @ 299.439
389.76/391.13	c bounds - >= 7 @ 299.442
389.76/391.13	c bounds - >= 8 @ 299.448
389.76/391.13	c bounds - >= 9 @ 299.454
389.76/391.13	c bounds - >= 10 @ 299.457
389.76/391.13	c bounds - >= 11 @ 299.46
389.76/391.13	c bounds - >= 12 @ 299.463
389.76/391.13	c bounds - >= 13 @ 299.466
389.76/391.13	c bounds - >= 14 @ 299.471
389.76/391.13	c bounds - >= 15 @ 299.476
389.76/391.13	c bounds - >= 16 @ 299.482
389.76/391.13	c bounds - >= 17 @ 299.487
389.76/391.13	c bounds - >= 18 @ 299.491
389.76/391.13	c bounds - >= 19 @ 299.494
389.76/391.13	c bounds - >= 20 @ 299.496
389.76/391.13	c bounds - >= 21 @ 299.5
389.76/391.13	c bounds - >= 22 @ 299.503
389.76/391.13	c bounds - >= 23 @ 299.51
389.76/391.13	c bounds - >= 24 @ 299.514
389.76/391.13	c bounds - >= 25 @ 299.518
389.76/391.13	c bounds - >= 26 @ 299.523
389.76/391.13	c bounds - >= 27 @ 299.528
389.76/391.13	c bounds - >= 28 @ 299.533
389.76/391.13	c bounds - >= 29 @ 299.539
389.76/391.13	c bounds - >= 30 @ 299.545
389.76/391.13	c bounds - >= 31 @ 299.551
389.76/391.13	c bounds - >= 32 @ 299.557
389.76/391.13	c bounds - >= 33 @ 299.561
389.76/391.13	c bounds - >= 34 @ 299.569
389.76/391.13	c bounds - >= 35 @ 299.575
389.76/391.13	c bounds - >= 36 @ 299.582
389.76/391.13	c bounds - >= 37 @ 299.587
389.76/391.13	c bounds - >= 38 @ 299.592
389.76/391.13	c bounds - >= 39 @ 299.598
389.76/391.13	c bounds - >= 40 @ 299.604
389.76/391.13	c bounds - >= 41 @ 299.609
389.76/391.13	c bounds - >= 42 @ 299.617
389.76/391.13	c bounds - >= 43 @ 299.622
389.76/391.13	c bounds - >= 44 @ 299.63
389.76/391.13	c bounds - >= 45 @ 299.636
389.76/391.13	c bounds - >= 46 @ 299.642
389.76/391.13	c bounds - >= 47 @ 299.648
389.76/391.13	c bounds - >= 48 @ 299.651
389.76/391.13	c bounds - >= 49 @ 299.657
389.76/391.13	c bounds - >= 50 @ 299.663
389.76/391.13	c bounds - >= 51 @ 299.67
389.76/391.13	c bounds - >= 52 @ 299.675
389.76/391.13	c bounds - >= 53 @ 299.682
389.76/391.13	c bounds - >= 54 @ 299.689
389.76/391.13	c bounds - >= 55 @ 299.696
389.76/391.13	c bounds - >= 56 @ 299.704
389.76/391.13	c bounds - >= 57 @ 299.709
389.76/391.13	c bounds - >= 58 @ 299.713
389.76/391.13	c bounds - >= 59 @ 299.717
389.76/391.13	c bounds - >= 60 @ 299.721
389.76/391.13	c bounds - >= 61 @ 299.726
389.76/391.13	c bounds - >= 62 @ 299.731
389.76/391.13	c bounds - >= 63 @ 299.738
389.76/391.13	c bounds - >= 64 @ 299.746
389.76/391.13	c bounds - >= 65 @ 299.75
389.76/391.13	c bounds - >= 66 @ 299.757
389.76/391.13	c bounds - >= 67 @ 299.766
389.76/391.13	c bounds - >= 68 @ 299.773
389.76/391.13	c bounds - >= 69 @ 299.779
389.76/391.13	c bounds - >= 70 @ 299.785
389.76/391.13	c bounds - >= 71 @ 299.793
389.76/391.13	c bounds - >= 72 @ 299.8
389.76/391.13	c bounds - >= 73 @ 299.81
389.76/391.13	c bounds - >= 74 @ 299.817
389.76/391.13	c bounds - >= 75 @ 299.825
389.76/391.13	c bounds - >= 76 @ 299.831
389.76/391.13	c bounds - >= 77 @ 299.84
389.76/391.13	c bounds - >= 78 @ 299.848
389.76/391.13	c bounds - >= 79 @ 299.854
389.76/391.13	c bounds - >= 80 @ 299.859
389.76/391.13	c bounds - >= 81 @ 299.863
389.76/391.13	c bounds - >= 82 @ 299.871
389.76/391.13	c bounds - >= 83 @ 299.877
389.76/391.13	c bounds - >= 84 @ 299.88
389.76/391.13	c bounds - >= 85 @ 299.885
389.76/391.13	c bounds - >= 86 @ 299.891
389.76/391.13	c bounds - >= 87 @ 299.901
389.76/391.13	c bounds - >= 88 @ 299.91
389.76/391.13	c bounds - >= 89 @ 299.918
389.76/391.13	c bounds - >= 90 @ 299.924
389.76/391.13	c bounds - >= 91 @ 299.932
389.76/391.13	c bounds - >= 92 @ 299.937
389.76/391.13	c bounds - >= 93 @ 299.942
389.76/391.13	c bounds - >= 94 @ 299.949
389.76/391.13	c bounds - >= 95 @ 299.958
389.76/391.13	c bounds - >= 96 @ 299.966
389.76/391.13	c bounds - >= 97 @ 299.974
389.76/391.13	c bounds - >= 98 @ 299.982
389.76/391.13	c bounds - >= 99 @ 299.988
389.76/391.13	c bounds - >= 100 @ 299.993
389.76/391.13	c bounds - >= 101 @ 300
389.76/391.13	c bounds - >= 102 @ 300.011
389.76/391.13	c bounds - >= 103 @ 300.018
389.76/391.13	c bounds - >= 104 @ 300.032
389.76/391.13	c bounds - >= 105 @ 300.04
389.76/391.13	c bounds - >= 106 @ 300.045
389.76/391.13	c bounds - >= 107 @ 300.05
389.76/391.13	c bounds - >= 108 @ 300.057
389.76/391.13	c bounds - >= 109 @ 300.067
389.76/391.13	c bounds - >= 110 @ 300.075
389.76/391.13	c bounds - >= 111 @ 300.081
389.76/391.13	c bounds - >= 112 @ 300.094
389.76/391.13	c bounds - >= 113 @ 300.101
389.76/391.13	c bounds - >= 114 @ 300.107
389.76/391.13	c bounds - >= 115 @ 300.116
389.76/391.13	c bounds - >= 116 @ 300.122
389.76/391.13	c bounds - >= 117 @ 300.132
389.76/391.13	c bounds - >= 118 @ 300.137
389.76/391.13	c bounds - >= 119 @ 300.146
389.76/391.13	c bounds - >= 120 @ 300.154
389.76/391.13	c bounds - >= 121 @ 300.163
389.76/391.13	c bounds - >= 122 @ 300.171
389.76/391.13	c bounds - >= 123 @ 300.175
389.76/391.13	c bounds - >= 124 @ 300.184
389.76/391.13	c bounds - >= 125 @ 300.194
389.76/391.13	c bounds - >= 126 @ 300.202
389.76/391.13	c bounds - >= 127 @ 300.208
389.76/391.13	c bounds - >= 128 @ 300.216
389.76/391.13	c bounds - >= 129 @ 300.223
389.76/391.13	c bounds - >= 130 @ 300.23
389.76/391.13	c bounds - >= 131 @ 300.239
389.76/391.13	c bounds - >= 132 @ 300.246
389.76/391.13	c #Conflicts:       1000 | #Constraints:       2600
389.76/391.13	c #Conflicts:       2000 | #Constraints:       3600
389.76/391.13	c INPROCESSING
389.76/391.13	c GARBAGE COLLECT
389.76/391.13	c #Conflicts:       3000 | #Constraints:       3535
389.76/391.13	c #Conflicts:       4000 | #Constraints:       4535
389.76/391.13	c INPROCESSING
389.76/391.13	c GARBAGE COLLECT
389.76/391.13	c #Conflicts:       5000 | #Constraints:       3960
389.76/391.13	c #Conflicts:       6000 | #Constraints:       4960
389.76/391.13	c INPROCESSING
389.76/391.13	c GARBAGE COLLECT
389.76/391.13	c #Conflicts:       7000 | #Constraints:       3939
389.76/391.13	c #Conflicts:       8000 | #Constraints:       4939
389.76/391.13	c #Conflicts:       9000 | #Constraints:       5939
1561.68/1566.95	c INPROCESSING
1561.68/1566.95	c GARBAGE COLLECT
1561.68/1566.95	c #Conflicts:      10000 | #Constraints:       4634
1561.68/1566.95	c #Conflicts:      11000 | #Constraints:       5634
1561.68/1566.95	c #Conflicts:      12000 | #Constraints:       6634
1561.68/1566.95	c INPROCESSING
1561.68/1566.95	c GARBAGE COLLECT
1561.68/1566.95	c #Conflicts:      13000 | #Constraints:       5093
1561.68/1566.95	c #Conflicts:      14000 | #Constraints:       6093
1561.68/1566.95	c bounds - >= 133 @ 447.229
1561.68/1566.95	c #Conflicts:      15000 | #Constraints:       7094
1561.68/1566.95	c INPROCESSING
1561.68/1566.95	c GARBAGE COLLECT
1561.68/1566.95	c #Conflicts:      16000 | #Constraints:       5327
1561.68/1566.95	c #Conflicts:      17000 | #Constraints:       6327
1561.68/1566.95	c #Conflicts:      18000 | #Constraints:       7327
1561.68/1566.95	c INPROCESSING
1561.68/1566.95	c GARBAGE COLLECT
1561.68/1566.95	c #Conflicts:      19000 | #Constraints:       5341
1561.68/1566.95	c #Conflicts:      20000 | #Constraints:       6341
1561.68/1566.95	c #Conflicts:      21000 | #Constraints:       7341
1561.68/1566.95	c INPROCESSING
1561.68/1566.95	c GARBAGE COLLECT
1561.68/1566.95	c #Conflicts:      22000 | #Constraints:       5147
1561.68/1566.95	c #Conflicts:      23000 | #Constraints:       6147
1561.68/1566.95	c #Conflicts:      24000 | #Constraints:       7147
1561.68/1566.95	c #Conflicts:      25000 | #Constraints:       8147
1561.68/1566.95	c INPROCESSING
1561.68/1566.95	c GARBAGE COLLECT
1561.68/1566.95	c #Conflicts:      26000 | #Constraints:       5733
1561.68/1566.95	c #Conflicts:      27000 | #Constraints:       6733
1561.68/1566.95	c #Conflicts:      28000 | #Constraints:       7733
1561.68/1566.95	c #Conflicts:      29000 | #Constraints:       8733
1561.68/1566.95	c INPROCESSING
1561.68/1566.95	c GARBAGE COLLECT
1561.68/1566.95	c #Conflicts:      30000 | #Constraints:       6115
1561.68/1566.95	c #Conflicts:      31000 | #Constraints:       7115
1561.68/1566.95	c #Conflicts:      32000 | #Constraints:       8115
1561.68/1566.95	c #Conflicts:      33000 | #Constraints:       9115
1561.68/1566.95	c INPROCESSING
1561.68/1566.95	c GARBAGE COLLECT
1561.68/1566.95	c #Conflicts:      34000 | #Constraints:       6349
1561.68/1566.95	c #Conflicts:      35000 | #Constraints:       7349
1561.68/1566.95	c #Conflicts:      36000 | #Constraints:       8349
1561.68/1566.95	c #Conflicts:      37000 | #Constraints:       9349
1561.68/1566.95	c INPROCESSING
1561.68/1566.95	c GARBAGE COLLECT
1561.68/1566.95	c #Conflicts:      38000 | #Constraints:       6322
1561.68/1566.95	c #Conflicts:      39000 | #Constraints:       7322
1561.68/1566.95	c #Conflicts:      40000 | #Constraints:       8322
1561.68/1566.95	c #Conflicts:      41000 | #Constraints:       9322
1561.68/1566.95	c INPROCESSING
1561.68/1566.95	c GARBAGE COLLECT
1561.68/1566.95	c #Conflicts:      42000 | #Constraints:       6102
1561.68/1566.95	c #Conflicts:      43000 | #Constraints:       7102
1561.68/1566.95	c #Conflicts:      44000 | #Constraints:       8102
1561.68/1566.95	c #Conflicts:      45000 | #Constraints:       9102
1561.68/1566.95	c #Conflicts:      46000 | #Constraints:      10102
1561.68/1566.95	c INPROCESSING
1561.68/1566.95	c GARBAGE COLLECT
1561.68/1566.95	c #Conflicts:      47000 | #Constraints:       6699
1561.68/1566.95	c #Conflicts:      48000 | #Constraints:       7699
1561.68/1566.95	c #Conflicts:      49000 | #Constraints:       8699
1561.68/1566.95	c #Conflicts:      50000 | #Constraints:       9699
1561.68/1566.95	c #Conflicts:      51000 | #Constraints:      10699
1561.68/1566.95	c INPROCESSING
1561.68/1566.95	c GARBAGE COLLECT
1561.68/1566.95	c #Conflicts:      52000 | #Constraints:       7099
1561.68/1566.95	c #Conflicts:      53000 | #Constraints:       8099
1561.68/1566.95	c #Conflicts:      54000 | #Constraints:       9099
1561.68/1566.95	c #Conflicts:      55000 | #Constraints:      10099
1561.68/1566.95	c #Conflicts:      56000 | #Constraints:      11099
1561.68/1566.95	c INPROCESSING
1561.68/1566.95	c GARBAGE COLLECT
1561.68/1566.95	c #Conflicts:      57000 | #Constraints:       7304
1561.68/1566.95	c #Conflicts:      58000 | #Constraints:       8304
1561.68/1566.95	c #Conflicts:      59000 | #Constraints:       9304
1561.68/1566.95	c #Conflicts:      60000 | #Constraints:      10304
1561.68/1566.95	c #Conflicts:      61000 | #Constraints:      11304
1561.68/1566.95	c INPROCESSING
1561.68/1566.95	c GARBAGE COLLECT
1561.68/1566.95	c #Conflicts:      62000 | #Constraints:       7318
1561.68/1566.95	c #Conflicts:      63000 | #Constraints:       8318
1561.68/1566.95	c #Conflicts:      64000 | #Constraints:       9318
1561.68/1566.95	c #Conflicts:      65000 | #Constraints:      10318
1561.68/1566.95	c #Conflicts:      66000 | #Constraints:      11318
1561.68/1566.95	c INPROCESSING
1561.68/1566.95	c GARBAGE COLLECT
1561.68/1566.95	c #Conflicts:      67000 | #Constraints:       7112
1561.68/1566.95	c #Conflicts:      68000 | #Constraints:       8112
1561.68/1566.95	c #Conflicts:      69000 | #Constraints:       9112
1561.68/1566.95	c #Conflicts:      70000 | #Constraints:      10112
1561.68/1566.95	c #Conflicts:      71000 | #Constraints:      11112
1561.68/1566.95	c #Conflicts:      72000 | #Constraints:      12112
1561.68/1566.95	c INPROCESSING
1561.68/1566.95	c GARBAGE COLLECT
1561.68/1566.95	c #Conflicts:      73000 | #Constraints:       7722
1561.68/1566.95	c #Conflicts:      74000 | #Constraints:       8722
1561.68/1566.95	c #Conflicts:      75000 | #Constraints:       9722
1561.68/1566.95	c #Conflicts:      76000 | #Constraints:      10722
1561.68/1566.95	c #Conflicts:      77000 | #Constraints:      11722
2869.22/2878.71	c #Conflicts:      78000 | #Constraints:      12722
2869.22/2878.71	c INPROCESSING
2869.22/2878.71	c GARBAGE COLLECT
2869.22/2878.71	c #Conflicts:      79000 | #Constraints:       8116
2869.22/2878.71	c #Conflicts:      80000 | #Constraints:       9116
2869.22/2878.71	c #Conflicts:      81000 | #Constraints:      10116
2869.22/2878.71	c #Conflicts:      82000 | #Constraints:      11116
2869.22/2878.71	c #Conflicts:      83000 | #Constraints:      12116
2869.22/2878.71	c #Conflicts:      84000 | #Constraints:      13116
2869.22/2878.71	c INPROCESSING
2869.22/2878.71	c GARBAGE COLLECT
2869.22/2878.71	c #Conflicts:      85000 | #Constraints:       8311
2869.22/2878.71	c #Conflicts:      86000 | #Constraints:       9311
2869.22/2878.71	c #Conflicts:      87000 | #Constraints:      10311
2869.22/2878.71	c #Conflicts:      88000 | #Constraints:      11311
2869.22/2878.71	c #Conflicts:      89000 | #Constraints:      12311
2869.22/2878.71	c #Conflicts:      90000 | #Constraints:      13311
2869.22/2878.71	c INPROCESSING
2869.22/2878.71	c GARBAGE COLLECT
2869.22/2878.71	c #Conflicts:      91000 | #Constraints:       8319
2869.22/2878.71	c #Conflicts:      92000 | #Constraints:       9319
2869.22/2878.71	c #Conflicts:      93000 | #Constraints:      10319
2869.22/2878.71	c #Conflicts:      94000 | #Constraints:      11319
2869.22/2878.71	c #Conflicts:      95000 | #Constraints:      12319
2869.22/2878.71	c #Conflicts:      96000 | #Constraints:      13319
2869.22/2878.71	c INPROCESSING
2869.22/2878.71	c GARBAGE COLLECT
2869.22/2878.71	c #Conflicts:      97000 | #Constraints:       8133
2869.22/2878.71	c #Conflicts:      98000 | #Constraints:       9133
2869.22/2878.71	c #Conflicts:      99000 | #Constraints:      10133
2869.22/2878.71	c #Conflicts:     100000 | #Constraints:      11133
2869.22/2878.71	c #Conflicts:     101000 | #Constraints:      12133
2869.22/2878.71	c #Conflicts:     102000 | #Constraints:      13133
2869.22/2878.71	c #Conflicts:     103000 | #Constraints:      14133
2869.22/2878.71	c INPROCESSING
2869.22/2878.71	c GARBAGE COLLECT
2869.22/2878.71	c #Conflicts:     104000 | #Constraints:       8728
2869.22/2878.71	c #Conflicts:     105000 | #Constraints:       9728
2869.22/2878.71	c #Conflicts:     106000 | #Constraints:      10728
2869.22/2878.71	c #Conflicts:     107000 | #Constraints:      11728
2869.22/2878.71	c #Conflicts:     108000 | #Constraints:      12728
2869.22/2878.71	c #Conflicts:     109000 | #Constraints:      13728
2869.22/2878.71	c #Conflicts:     110000 | #Constraints:      14728
2869.22/2878.71	c INPROCESSING
2869.22/2878.71	c GARBAGE COLLECT
2869.22/2878.71	c #Conflicts:     111000 | #Constraints:       9125
2869.22/2878.71	c #Conflicts:     112000 | #Constraints:      10125
2869.22/2878.71	c #Conflicts:     113000 | #Constraints:      11125
2869.22/2878.71	c #Conflicts:     114000 | #Constraints:      12125
2869.22/2878.71	c #Conflicts:     115000 | #Constraints:      13125
2869.22/2878.71	c #Conflicts:     116000 | #Constraints:      14125
2869.22/2878.71	c #Conflicts:     117000 | #Constraints:      15125
2869.22/2878.71	c INPROCESSING
2869.22/2878.71	c GARBAGE COLLECT
2869.22/2878.71	c #Conflicts:     118000 | #Constraints:       9334
2869.22/2878.71	c #Conflicts:     119000 | #Constraints:      10334
2869.22/2878.71	c #Conflicts:     120000 | #Constraints:      11334
2869.22/2878.71	c #Conflicts:     121000 | #Constraints:      12334
2869.22/2878.71	c #Conflicts:     122000 | #Constraints:      13334
2869.22/2878.71	c #Conflicts:     123000 | #Constraints:      14334
2869.22/2878.71	c #Conflicts:     124000 | #Constraints:      15334
2869.22/2878.71	c INPROCESSING
2869.22/2878.71	c GARBAGE COLLECT
2869.22/2878.71	c #Conflicts:     125000 | #Constraints:       9315
2869.22/2878.71	c #Conflicts:     126000 | #Constraints:      10315
2869.22/2878.71	c #Conflicts:     127000 | #Constraints:      11315
2869.22/2878.71	c #Conflicts:     128000 | #Constraints:      12315
2869.22/2878.71	c #Conflicts:     129000 | #Constraints:      13315
2869.22/2878.71	c #Conflicts:     130000 | #Constraints:      14315
2869.22/2878.71	c #Conflicts:     131000 | #Constraints:      15315
2869.22/2878.71	c INPROCESSING
2869.22/2878.71	c GARBAGE COLLECT
2869.22/2878.71	c #Conflicts:     132000 | #Constraints:       9110
2869.22/2878.71	c #Conflicts:     133000 | #Constraints:      10110
2869.22/2878.71	c #Conflicts:     134000 | #Constraints:      11110
2869.22/2878.71	c #Conflicts:     135000 | #Constraints:      12110
2869.22/2878.71	c #Conflicts:     136000 | #Constraints:      13110
2869.22/2878.71	c #Conflicts:     137000 | #Constraints:      14110
2869.22/2878.71	c #Conflicts:     138000 | #Constraints:      15110
2869.22/2878.71	c #Conflicts:     139000 | #Constraints:      16110
2869.22/2878.71	c INPROCESSING
2869.22/2878.71	c GARBAGE COLLECT
2869.22/2878.71	c #Conflicts:     140000 | #Constraints:       9705
2869.22/2878.71	c #Conflicts:     141000 | #Constraints:      10705
2869.22/2878.71	c #Conflicts:     142000 | #Constraints:      11705
2869.22/2878.71	c #Conflicts:     143000 | #Constraints:      12705
2869.22/2878.71	c #Conflicts:     144000 | #Constraints:      13705
2869.22/2878.71	c #Conflicts:     145000 | #Constraints:      14705
2869.22/2878.71	c #Conflicts:     146000 | #Constraints:      15705
2869.22/2878.71	c #Conflicts:     147000 | #Constraints:      16705
2869.22/2878.71	c INPROCESSING
2869.22/2878.71	c GARBAGE COLLECT
2869.22/2878.71	c #Conflicts:     148000 | #Constraints:      10113
2869.22/2878.71	c #Conflicts:     149000 | #Constraints:      11113
3600.03/3611.90	c #Conflicts:     150000 | #Constraints:      12113
3600.03/3611.90	c #Conflicts:     151000 | #Constraints:      13113
3600.03/3611.90	c #Conflicts:     152000 | #Constraints:      14113
3600.03/3611.90	c #Conflicts:     153000 | #Constraints:      15113
3600.03/3611.90	c #Conflicts:     154000 | #Constraints:      16113
3600.03/3611.90	c #Conflicts:     155000 | #Constraints:      17113
3600.03/3611.90	c INPROCESSING
3600.03/3611.90	c GARBAGE COLLECT
3600.03/3611.90	c #Conflicts:     156000 | #Constraints:      10308
3600.03/3611.90	c #Conflicts:     157000 | #Constraints:      11308
3600.03/3611.90	c #Conflicts:     158000 | #Constraints:      12308
3600.03/3611.90	c #Conflicts:     159000 | #Constraints:      13308
3600.03/3611.90	c #Conflicts:     160000 | #Constraints:      14308
3600.03/3611.90	c #Conflicts:     161000 | #Constraints:      15308
3600.03/3611.90	c #Conflicts:     162000 | #Constraints:      16308
3600.03/3611.90	c #Conflicts:     163000 | #Constraints:      17308
3600.03/3611.90	c INPROCESSING
3600.03/3611.90	c GARBAGE COLLECT
3600.03/3611.90	c #Conflicts:     164000 | #Constraints:      10301
3600.03/3611.90	c #Conflicts:     165000 | #Constraints:      11301
3600.03/3611.90	c #Conflicts:     166000 | #Constraints:      12301
3600.03/3611.90	c #Conflicts:     167000 | #Constraints:      13301
3600.03/3611.90	c #Conflicts:     168000 | #Constraints:      14301
3600.03/3611.90	c #Conflicts:     169000 | #Constraints:      15301
3600.03/3611.90	c #Conflicts:     170000 | #Constraints:      16301
3600.03/3611.90	c #Conflicts:     171000 | #Constraints:      17301
3600.03/3611.90	c INPROCESSING
3600.03/3611.90	c GARBAGE COLLECT
3600.03/3611.90	c #Conflicts:     172000 | #Constraints:      10097
3600.03/3611.90	c #Conflicts:     173000 | #Constraints:      11097
3600.03/3611.90	c #Conflicts:     174000 | #Constraints:      12097
3600.03/3611.90	c #Conflicts:     175000 | #Constraints:      13097
3600.03/3611.90	c #Conflicts:     176000 | #Constraints:      14097
3600.03/3611.90	c #Conflicts:     177000 | #Constraints:      15097
3600.03/3611.90	c #Conflicts:     178000 | #Constraints:      16097
3600.03/3611.90	c #Conflicts:     179000 | #Constraints:      17097
3600.03/3611.90	c #Conflicts:     180000 | #Constraints:      18097
3600.03/3611.90	c INPROCESSING
3600.03/3611.90	c GARBAGE COLLECT
3600.03/3611.90	c #Conflicts:     181000 | #Constraints:      10700
3600.03/3611.90	c #Conflicts:     182000 | #Constraints:      11700
3600.03/3611.90	c #Conflicts:     183000 | #Constraints:      12700
3600.03/3611.90	c #Conflicts:     184000 | #Constraints:      13700
3600.03/3611.90	c #Conflicts:     185000 | #Constraints:      14700
3600.03/3611.90	c #Conflicts:     186000 | #Constraints:      15700
3600.03/3611.90	c #Conflicts:     187000 | #Constraints:      16700
3600.03/3611.90	c #Conflicts:     188000 | #Constraints:      17700
3600.03/3611.90	c #Conflicts:     189000 | #Constraints:      18700
3600.03/3611.90	c INPROCESSING
3600.03/3611.90	c GARBAGE COLLECT
3600.03/3611.90	c Program interrupted by user.
3600.03/3611.90	c cpu time 3556.6 s
3600.03/3611.90	c deterministic time 506019225409 5.06e+11
3600.03/3611.90	c optimization time 6.17476 s
3600.03/3611.90	c total solve time 3251.44 s
3600.03/3611.90	c core-guided solve time 3251.44 s
3600.03/3611.90	c propagation time 2072.82 s
3600.03/3611.90	c conflict analysis time 814.879 s
3600.03/3611.90	c propagations 436285592
3600.03/3611.90	c resolve steps 444541
3600.03/3611.90	c decisions 55494274
3600.03/3611.90	c conflicts 189450
3600.03/3611.90	c restarts 508
3600.03/3611.90	c inprocessing phases 35
3600.03/3611.90	c input clauses 1469
3600.03/3611.90	c input cardinalities 133
3600.03/3611.90	c input general constraints 0
3600.03/3611.90	c input average constraint length 2171.61
3600.03/3611.90	c input average constraint degree 22.05
3600.03/3611.90	c learned clauses 8451
3600.03/3611.90	c learned cardinalities 2136
3600.03/3611.90	c learned general constraints 178862
3600.03/3611.90	c learned average constraint length 20786.05
3600.03/3611.90	c learned average constraint degree 2748567.43
3600.03/3611.90	c watched constraints 1071
3600.03/3611.90	c counting constraints 177791
3600.03/3611.90	c gcd simplifications 291
3600.03/3611.90	c detected cardinalities 1
3600.03/3611.90	c weakened non-implied lits 379107071
3600.03/3611.90	c weakened non-implying lits 2413
3600.03/3611.90	c original variables 25200
3600.03/3611.90	c clausal propagations 2557875
3600.03/3611.90	c cardinality propagations 49821
3600.03/3611.90	c watched propagations 18248
3600.03/3611.90	c counting propagations 426138166
3600.03/3611.90	c watch lookups 11309415513
3600.03/3611.90	c watch backjump lookups 11296385690
3600.03/3611.90	c watch checks 316083541
3600.03/3611.90	c propagation checks 475470554871
3600.03/3611.90	c constraint additions 6643059292
3600.03/3611.90	c trail pops 491946635
3600.03/3611.90	c formula constraints 1468
3600.03/3611.90	c learned constraints 189449
3600.03/3611.90	c bound constraints 134
3600.03/3611.90	c core-guided constraints 0
3600.03/3611.90	c encountered formula constraints 339669
3600.03/3611.90	c encountered learned constraints 294313
3600.03/3611.90	c encountered bound constraints 9
3600.03/3611.90	c encountered core-guided constraints 0
3600.03/3611.90	c LP total time 0 s
3600.03/3611.90	c LP solve time 0 s
3600.03/3611.90	c LP constraints added 0
3600.03/3611.90	c LP constraints removed 0
3600.03/3611.90	c LP pivots internal 0
3600.03/3611.90	c LP pivots root 0
3600.03/3611.90	c LP calls 0
3600.03/3611.90	c LP optimalities 0
3600.03/3611.90	c LP no pivot count 0
3600.03/3611.90	c LP infeasibilities 0
3600.03/3611.90	c LP valid Farkas constraints 0
3600.03/3611.90	c LP learned Farkas constraints 0
3600.03/3611.90	c LP basis resets 0
3600.03/3611.90	c LP cycling count 0
3600.03/3611.90	c LP singular count 0
3600.03/3611.90	c LP no primal count 0
3600.03/3611.90	c LP no farkas count 0
3600.03/3611.90	c LP other issue count 0
3600.03/3611.90	c LP Gomory cuts 0
3600.03/3611.90	c LP learned cuts 0
3600.03/3611.90	c LP deleted cuts 0
3600.03/3611.90	c LP encountered Gomory constraints 0
3600.03/3611.90	c LP encountered Farkas constraints 0
3600.03/3611.90	c LP encountered learned Farkas constraints 0
3600.03/3611.90	c CG auxiliary variables introduced 0
3600.03/3611.90	c CG solutions found 0
3600.03/3611.90	c CG cores constructed 133
3600.03/3611.90	c CG core cardinality constraints returned 0
3600.03/3611.90	c CG unit cores 0
3600.03/3611.90	c CG single cores 133
3600.03/3611.90	c CG blocks removed during cardinality reduction 0
3600.03/3611.90	c CG first core best 0
3600.03/3611.90	c CG decision core best 0
3600.03/3611.90	c CG core reduction tie 0
3600.03/3611.90	c CG core degree average 1.00
3600.03/3611.90	c CG core slack average 70.03
3600.03/3611.90	c CG exhausted 0
3600.03/3611.90	c CG exhaust time 0 s
3600.03/3611.90	c CG trimmed 0
3600.03/3611.90	c CG trim time 0.39427 s
3600.03/3611.90	c CG minimized 0
3600.03/3611.90	c CG minimize time 0 s
3600.03/3611.90	c CG am1 prop time 0.030752 s
3600.03/3611.90	c CG # am1s reformulated 0
3600.03/3611.90	c CG lower bound derived from am1s 0
3600.03/3611.90	c CG # clausal cores 133
3600.03/3611.90	c CG # cardinality cores 0
3600.03/3611.90	c CG # pb cores 0
3600.03/3611.90	c CG # pb reforms 0
3600.03/3611.90	c CG # cores discarded because of pb reform 0
3600.03/3611.90	d LOWERBOUND 133
3600.03/3611.90	d NCORES 133
3600.03/3611.90	d NPBCORES 0
3600.03/3611.90	d NPBREFORM 0
3600.03/3611.90	d NTRIMMED 0
3600.03/3611.90	d NEXHAUSTED 0
3600.03/3611.90	d NAM1S 0
3600.03/3611.90	d AM1LB 0
3600.03/3611.90	c [Papilo Statistics]
3600.03/3611.90	c prepro time 0.0275096s
3600.03/3611.90	c # tsx applied 0
3600.03/3611.90	c # tsx conflicts 0
3600.03/3611.90	c # bound changes 0
3600.03/3611.90	c # side changes 0
3600.03/3611.90	c # coef changes 0
3600.03/3611.90	c # rounds 1
3600.03/3611.90	c # deted vars 0
3600.03/3611.90	c # deted constrs 0
3600.03/3611.90	c # consecutive rounds of only bound changes 0
3600.13/3612.00	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: 63931 MiB (58929 MiB free)
  memory of node 1: 64510 MiB (55105 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454905-1721473263/watcher-4454905-1721473263 -o /tmp/evaluation-result-4454905-1721473263/solver-4454905-1721473263 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721465999-1079548 --watchdog 3760 mixed-bag HOME/instance-4454905-1721473263.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Current StackSize limit: 8192 KiB

solver pid=1085096, runsolver pid=1085093

[startup+0.100566 s]*
/proc/loadavg: 4.06 4.15 4.15 5/258 1085097
/proc/meminfo: memFree=116745264/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=107444 memory=32540 CPUtime=0.09 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 7628 0 0 0 8 1 0 0 20 0 1 0 199488160 110022656 8135 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 26861 8135 1760 3002 0 10610 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 107444 KiB
Current children cumulated memory: 32540 KiB

[startup+0.212553 s]*
/proc/loadavg: 4.06 4.15 4.15 5/258 1085097
/proc/meminfo: memFree=116676120/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=180280 memory=109340 CPUtime=0.19 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 25101 0 0 0 16 3 0 0 20 0 1 0 199488160 184606720 27335 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 45070 27335 3774 3002 0 28819 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 180280 KiB
Current children cumulated memory: 109340 KiB

[startup+0.305516 s]*
/proc/loadavg: 4.06 4.15 4.15 5/258 1085097
/proc/meminfo: memFree=116663108/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=192588 memory=122500 CPUtime=0.29 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 29176 0 0 0 25 4 0 0 20 0 1 0 199488160 197210112 30625 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 48147 30625 3774 3002 0 31896 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 192588 KiB
Current children cumulated memory: 122500 KiB

[startup+0.700226 s]
/proc/loadavg: 4.06 4.15 4.15 5/258 1085097
/proc/meminfo: memFree=116664012/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=235548 memory=145660 CPUtime=0.67 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 36844 0 0 0 62 5 0 0 20 0 1 0 199488160 241201152 36415 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 58887 36415 4013 3002 0 42636 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 235548 KiB
Current children cumulated memory: 145660 KiB

[startup+1.50021 s]
/proc/loadavg: 4.06 4.15 4.15 5/258 1085097
/proc/meminfo: memFree=116639784/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=236812 memory=146704 CPUtime=1.47 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 37113 0 0 0 142 5 0 0 20 0 1 0 199488160 242495488 36676 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 59203 36676 4013 3002 0 42952 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 236812 KiB
Current children cumulated memory: 146704 KiB

[startup+3.10552 s]
/proc/loadavg: 4.06 4.14 4.15 5/258 1085097
/proc/meminfo: memFree=116639620/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=237260 memory=146704 CPUtime=3.07 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 37170 0 0 0 302 5 0 0 20 0 1 0 199488160 242954240 36676 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 59315 36676 4013 3002 0 43064 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 237260 KiB
Current children cumulated memory: 146704 KiB

[startup+6.3002 s]
/proc/loadavg: 4.06 4.14 4.15 5/258 1085097
/proc/meminfo: memFree=116637208/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=239292 memory=149140 CPUtime=6.26 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 37746 0 0 0 620 6 0 0 20 0 1 0 199488160 245035008 37285 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 59823 37285 4029 3002 0 43572 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 239292 KiB
Current children cumulated memory: 149140 KiB

[startup+12.7002 s]
/proc/loadavg: 4.05 4.14 4.14 6/255 1085174
/proc/meminfo: memFree=119441384/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=252228 memory=160012 CPUtime=12.63 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 40424 0 0 0 1257 6 0 0 20 0 1 0 199488160 258281472 40003 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 63057 40003 4045 3002 0 46806 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 252228 KiB
Current children cumulated memory: 160012 KiB

[startup+25.5002 s]
/proc/loadavg: 4.04 4.13 4.14 5/258 1085238
/proc/meminfo: memFree=119663700/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=311056 memory=214896 CPUtime=25.39 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 54151 0 0 0 2530 9 0 0 20 0 1 0 199488160 318521344 53724 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 77764 53724 4045 3002 0 61513 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 311056 KiB
Current children cumulated memory: 214896 KiB

[startup+51.1056 s]
/proc/loadavg: 4.17 4.16 4.15 5/258 1085243
/proc/meminfo: memFree=116050132/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=327828 memory=231264 CPUtime=50.91 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 58250 0 0 0 5080 11 0 0 20 0 1 0 199488160 335695872 57816 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 81957 57816 4045 3002 0 65706 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 327828 KiB
Current children cumulated memory: 231264 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/258 1085251
/proc/meminfo: memFree=110780224/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=328264 memory=232056 CPUtime=101.93 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 58487 0 0 0 10181 12 0 0 20 0 1 0 199488160 336142336 58014 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 82066 58014 4045 3002 0 65815 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 328264 KiB
Current children cumulated memory: 232056 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.17 4.16 5/257 1085261
/proc/meminfo: memFree=110923864/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=316296 memory=223844 CPUtime=161.73 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 61069 0 0 0 16158 15 0 0 20 0 1 0 199488160 323887104 55961 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 79074 55961 4075 3002 0 62823 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 316296 KiB
Current children cumulated memory: 223844 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.16 4.15 5/256 1085274
/proc/meminfo: memFree=110191952/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=302832 memory=211788 CPUtime=221.52 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 63085 0 0 0 22136 16 0 0 20 0 1 0 199488160 310099968 52947 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 75708 52947 4075 3002 0 59457 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 302832 KiB
Current children cumulated memory: 211788 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.14 4.14 5/255 1085284
/proc/meminfo: memFree=104576120/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=302832 memory=211788 CPUtime=281.31 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 63089 0 0 0 28114 17 0 0 20 0 1 0 199488160 310099968 52947 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 75708 52947 4075 3002 0 59457 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 302832 KiB
Current children cumulated memory: 211788 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.14 5/254 1085294
/proc/meminfo: memFree=108062116/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=1305644 memory=996632 CPUtime=341.11 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 171033 0 0 0 33837 274 0 0 20 0 1 0 199488160 1336979456 249158 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 326411 249158 4202 3002 0 310160 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 1305644 KiB
Current children cumulated memory: 996632 KiB

[startup+402.3 s]
/proc/loadavg: 4.21 4.15 4.14 5/252 1085319
/proc/meminfo: memFree=121354416/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=2316872 memory=1870064 CPUtime=400.92 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 308168 0 0 0 39723 369 0 0 20 0 1 0 199488160 2372476928 467516 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 579218 467516 4202 3002 0 562967 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 2316872 KiB
Current children cumulated memory: 1870064 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.12 4.13 5/254 1085360
/proc/meminfo: memFree=121112752/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=2355540 memory=1966984 CPUtime=460.72 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 320847 0 0 0 45639 433 0 0 20 0 1 0 199488160 2412072960 491746 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 588885 491746 4202 3002 0 572634 0

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

Current children cumulated memory: 5827856 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 1086415
/proc/meminfo: memFree=113401792/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=6181972 memory=5827856 CPUtime=2912.68 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 953383 0 0 0 287730 3538 0 0 20 0 1 0 199488160 6330339328 1456964 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 1545493 1456964 4202 3002 0 1529242 0
Current children cumulated CPU time: 2912.68 s
Current children cumulated vsize: 6181972 KiB
Current children cumulated memory: 5827856 KiB

[startup+2982.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/257 1086431
/proc/meminfo: memFree=113090700/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=7690276 memory=6093224 CPUtime=2972.48 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 976237 0 0 0 293639 3609 0 0 20 0 1 0 199488160 7874842624 1523306 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 1922569 1523306 4202 3002 0 1906318 0
Current children cumulated CPU time: 2972.48 s
Current children cumulated vsize: 7690276 KiB
Current children cumulated memory: 6093224 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 1086441
/proc/meminfo: memFree=112788712/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=7690276 memory=6093284 CPUtime=3032.29 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 977909 0 0 0 299483 3746 0 0 20 0 1 0 199488160 7874842624 1523321 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 1922569 1523321 4202 3002 0 1906318 0
Current children cumulated CPU time: 3032.29 s
Current children cumulated vsize: 7690276 KiB
Current children cumulated memory: 6093284 KiB

[startup+3102.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/257 1086451
/proc/meminfo: memFree=112726984/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=7690412 memory=6103492 CPUtime=3092.08 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 983350 0 0 0 305395 3813 0 0 20 0 1 0 199488160 7874981888 1525873 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 1922603 1525873 4202 3002 0 1906352 0
Current children cumulated CPU time: 3092.08 s
Current children cumulated vsize: 7690412 KiB
Current children cumulated memory: 6103492 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 1086461
/proc/meminfo: memFree=112666792/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=7690592 memory=6103544 CPUtime=3151.89 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 985324 0 0 0 311334 3855 0 0 20 0 1 0 199488160 7875166208 1525886 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 1922648 1525886 4202 3002 0 1906397 0
Current children cumulated CPU time: 3151.89 s
Current children cumulated vsize: 7690592 KiB
Current children cumulated memory: 6103544 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/258 1086474
/proc/meminfo: memFree=112609052/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=7690592 memory=6103620 CPUtime=3211.69 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 987467 0 0 0 317227 3942 0 0 20 0 1 0 199488160 7875166208 1525905 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 1922648 1525905 4202 3002 0 1906397 0
Current children cumulated CPU time: 3211.69 s
Current children cumulated vsize: 7690592 KiB
Current children cumulated memory: 6103620 KiB

[startup+3282.3 s]
/proc/loadavg: 4.32 4.17 4.11 5/257 1086868
/proc/meminfo: memFree=112505696/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=7692384 memory=6105544 CPUtime=3271.5 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 989999 0 0 0 323131 4019 0 0 20 0 1 0 199488160 7877001216 1526386 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 1923096 1526386 4202 3002 0 1906845 0
Current children cumulated CPU time: 3271.5 s
Current children cumulated vsize: 7692384 KiB
Current children cumulated memory: 6105544 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/257 1086878
/proc/meminfo: memFree=112336868/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=7692384 memory=6105544 CPUtime=3331.3 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 991927 0 0 0 329062 4068 0 0 20 0 1 0 199488160 7877001216 1526386 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 1923096 1526386 4202 3002 0 1906845 0
Current children cumulated CPU time: 3331.3 s
Current children cumulated vsize: 7692384 KiB
Current children cumulated memory: 6105544 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/257 1086889
/proc/meminfo: memFree=112294192/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=7692384 memory=6105600 CPUtime=3391.1 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 994518 0 0 0 334959 4151 0 0 20 0 1 0 199488160 7877001216 1526400 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 1923096 1526400 4202 3002 0 1906845 0
Current children cumulated CPU time: 3391.1 s
Current children cumulated vsize: 7692384 KiB
Current children cumulated memory: 6105600 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/257 1087067
/proc/meminfo: memFree=112022568/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=7703216 memory=6272056 CPUtime=3450.9 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 1010662 0 0 0 340855 4235 0 0 20 0 1 0 199488160 7888093184 1568014 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 1925804 1568014 4202 3002 0 1909553 0
Current children cumulated CPU time: 3450.9 s
Current children cumulated vsize: 7703216 KiB
Current children cumulated memory: 6272056 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/256 1087077
/proc/meminfo: memFree=111939364/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=7703216 memory=6272056 CPUtime=3510.71 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 1012334 0 0 0 346785 4286 0 0 20 0 1 0 199488160 7888093184 1568014 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 1925804 1568014 4202 3002 0 1909553 0
Current children cumulated CPU time: 3510.71 s
Current children cumulated vsize: 7703216 KiB
Current children cumulated memory: 6272056 KiB

[startup+3582.3 s]
/proc/loadavg: 4.48 4.20 4.12 5/256 1087091
/proc/meminfo: memFree=111895616/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=7703984 memory=6272788 CPUtime=3570.52 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 1015061 0 0 0 352719 4333 0 0 20 0 1 0 199488160 7888879616 1568197 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 1925996 1568197 4202 3002 0 1909745 0
Current children cumulated CPU time: 3570.52 s
Current children cumulated vsize: 7703984 KiB
Current children cumulated memory: 6272788 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.9 s]
/proc/loadavg: 4.34 4.20 4.12 5/256 1087107
/proc/meminfo: memFree=111871888/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=7704672 memory=6274752 CPUtime=3600.03 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 1016676 0 0 0 355660 4343 0 0 20 0 1 0 199488160 7889584128 1568688 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 1926168 1568688 4202 3002 0 1909917 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 7704672 KiB
Current children cumulated memory: 6274752 KiB

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

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

# cumulated CPU time of all completed processes:  user=3556.61 s, system=43.5757 s

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

[startup+3612 s]*
/proc/loadavg: 4.34 4.20 4.12 5/256 1087107
/proc/meminfo: memFree=113816808/131524600 swapFree=131071996/131071996
[pid=1085096] ppid=1085093 vsize=7680360 memory=4211384 CPUtime=3600.13 cores=0,2
/proc/1085096/stat : 1085096 (mixed-bag) R 1085093 1085096 1079538 0 -1 4194304 1016688 0 0 0 355661 4352 0 0 20 0 1 0 199488160 7864688640 1052846 134679101440 4194304 16488053 140729278602304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 40419328 140729278608405 140729278608482 140729278608482 140729278615499 0
/proc/1085096/statm: 1920090 1052846 4315 3002 0 1903839 0
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 7680360 KiB
Current children cumulated memory: 4211384 KiB

Child status: 0

Real time (s): 3612.05
CPU time (s): 3600.19
CPU user time (s): 3556.61
CPU system time (s): 43.5757
CPU usage (%): 99.6715
Max. virtual memory (cumulated for all children) (KiB): 7704672
Max. memory (cumulated for all children) (KiB): 6274752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3556.61
system time used= 43.5757
maximum resident set size= 6274752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1016699
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= 238
involuntary context switches= 25249


# summary of solver processes directly reported to runsolver:
#   pid: 1085096
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3556.61
#   total CPU system time (s): 43.5757

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.12376 second user time and 17.0865 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-07-20 13:01:16
IDJOB=4454905
IDBENCH=155394
IDSOLVER=3083
FILE ID=nodeC017/4454905-1721473263
RUNJOBID= nodeC017-1721465999-1079548
SLURM_JOB_ID= 7545717
Free space on /tmp= 889764 MiB

SOLVER NAME= mixed-bag 2024-07-19
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-4454905-1721473263/watcher-4454905-1721473263 -o /tmp/evaluation-result-4454905-1721473263/solver-4454905-1721473263 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721465999-1079548 --watchdog 3760  mixed-bag HOME/instance-4454905-1721473263.opb

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

MD5SUM BENCH= 0b4dbd7f90f2b82bb3725efac604f63c
RANDOM SEED=2022697243

nodeC017.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	: 0xb00002a
cpu MHz		: 3667.345
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.46
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		: 3682.544
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 invpcid_single pti ibrs ibpb stibp 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	: 7006.99
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		: 3661.081
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.903
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 invpcid_single pti ibrs ibpb stibp 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	: 7006.99
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		: 3667.534
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.46
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		: 3682.622
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 invpcid_single pti ibrs ibpb stibp 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	: 7006.99
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		: 3607.778
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        116771652 kB
MemAvailable:   119628732 kB
Buffers:          610652 kB
Cached:          3068472 kB
SwapCached:            0 kB
Active:          1591336 kB
Inactive:       12473916 kB
Active(anon):       1552 kB
Inactive(anon): 10430516 kB
Active(file):    1589784 kB
Inactive(file):  2043400 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             17364 kB
Writeback:             0 kB
AnonPages:      10385204 kB
Mapped:           133776 kB
Shmem:             45912 kB
KReclaimable:     127084 kB
Slab:             243152 kB
SReclaimable:     127084 kB
SUnreclaim:       116068 kB
KernelStack:        4140 kB
PageTables:        30328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   11730736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72576 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6973440 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:      305876 kB
DirectMap2M:    43507712 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 889936 MiB
End job on nodeC017 at 2024-07-20 14:01:28