Trace number 4436129

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
pb-oll-rs 2024-07-02OPT61 87.1963 87.3926

DiagnosticValue
AM1LB16
LOWERBOUND61
NAM1S8
NCORES17
NEXHAUSTED1
NPBCORES0
NPBREFORM0
NTRIMMED10

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_12x12_004.opb.metafix.opb
MD5SUMcff8e5e74b4a74649f8fb8cad033cc60
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark61
Best CPU time to get the best result obtained on this benchmark0.013316
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables144
Total number of constraints70
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint12
Number of terms in the objective function 144
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 144
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 8
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 144
Number of bits of the biggest sum of numbers8
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 [STEP] parsing instance
0.00/0.00	c [STEP] solving
0.00/0.00	c #variables 144 #constraints 133
0.00/0.00	c SMALL=int, LARGE=long long
0.00/0.00	c bounds - >= 2 @ 0.00068
0.00/0.00	c stratification level: 0
0.00/0.00	c bounds - >= 19 @ 0.001116
0.00/0.00	c bounds - >= 21 @ 0.001172
0.00/0.00	c bounds - >= 27 @ 0.001219
0.00/0.00	c bounds - >= 32 @ 0.001265
0.00/0.00	c bounds - >= 35 @ 0.001314
0.00/0.00	c bounds - >= 39 @ 0.00136
0.00/0.00	c bounds - >= 41 @ 0.001403
0.00/0.00	c bounds - >= 44 @ 0.001464
0.00/0.00	c bounds - >= 47 @ 0.001553
0.00/0.00	c bounds - >= 49 @ 0.001598
0.00/0.00	c bounds - >= 53 @ 0.001633
0.00/0.00	c bounds - >= 54 @ 0.002032
0.00/0.00	c finalizing WCE round: reformulating cores
30.02/30.11	c bounds 61 >= 18 @ 0.050474
30.02/30.11	c #Conflicts:       1000 | #Constraints:       1158
30.02/30.11	c #Conflicts:       2000 | #Constraints:       2160
30.02/30.11	c INPROCESSING
30.02/30.11	c GARBAGE COLLECT
30.02/30.11	c #Conflicts:       3000 | #Constraints:       2106
30.02/30.11	c #Conflicts:       4000 | #Constraints:       3108
30.02/30.11	c INPROCESSING
30.02/30.11	c GARBAGE COLLECT
30.02/30.11	c #Conflicts:       5000 | #Constraints:       2540
30.02/30.11	c #Conflicts:       6000 | #Constraints:       3542
30.02/30.11	c INPROCESSING
30.02/30.11	c GARBAGE COLLECT
30.02/30.11	c #Conflicts:       7000 | #Constraints:       2563
30.02/30.11	c #Conflicts:       8000 | #Constraints:       3565
30.02/30.11	c #Conflicts:       9000 | #Constraints:       4569
30.02/30.11	c INPROCESSING
30.02/30.11	c GARBAGE COLLECT
30.02/30.11	c #Conflicts:      10000 | #Constraints:       3281
30.02/30.11	c #Conflicts:      11000 | #Constraints:       4283
30.02/30.11	c bounds 61 >= 55 @ 1.37231
30.02/30.11	c bounds 61 >= 57 @ 1.37384
30.02/30.11	c bounds 61 >= 58 @ 1.37732
30.02/30.11	c #Conflicts:      12000 | #Constraints:       5320
30.02/30.11	c INPROCESSING
30.02/30.11	c GARBAGE COLLECT
30.02/30.11	c #Conflicts:      13000 | #Constraints:       3760
30.02/30.11	c #Conflicts:      14000 | #Constraints:       4760
30.02/30.11	c #Conflicts:      15000 | #Constraints:       5760
30.02/30.11	c INPROCESSING
30.02/30.11	c GARBAGE COLLECT
30.02/30.11	c #Conflicts:      16000 | #Constraints:       3984
30.02/30.11	c #Conflicts:      17000 | #Constraints:       4984
30.02/30.11	c #Conflicts:      18000 | #Constraints:       5984
30.02/30.11	c INPROCESSING
30.02/30.11	c GARBAGE COLLECT
30.02/30.11	c #Conflicts:      19000 | #Constraints:       4001
30.02/30.11	c #Conflicts:      20000 | #Constraints:       5001
30.02/30.11	c #Conflicts:      21000 | #Constraints:       6001
30.02/30.11	c INPROCESSING
30.02/30.11	c GARBAGE COLLECT
30.02/30.11	c #Conflicts:      22000 | #Constraints:       3808
30.02/30.11	c #Conflicts:      23000 | #Constraints:       4808
30.02/30.11	c #Conflicts:      24000 | #Constraints:       5808
30.02/30.11	c #Conflicts:      25000 | #Constraints:       6808
30.02/30.11	c INPROCESSING
30.02/30.11	c GARBAGE COLLECT
30.02/30.11	c #Conflicts:      26000 | #Constraints:       4417
30.02/30.11	c #Conflicts:      27000 | #Constraints:       5417
30.02/30.11	c #Conflicts:      28000 | #Constraints:       6417
30.02/30.11	c #Conflicts:      29000 | #Constraints:       7417
30.02/30.11	c INPROCESSING
30.02/30.11	c GARBAGE COLLECT
30.02/30.11	c #Conflicts:      30000 | #Constraints:       4819
30.02/30.11	c #Conflicts:      31000 | #Constraints:       5819
30.02/30.11	c #Conflicts:      32000 | #Constraints:       6819
30.02/30.11	c #Conflicts:      33000 | #Constraints:       7819
30.02/30.11	c INPROCESSING
30.02/30.11	c GARBAGE COLLECT
30.02/30.11	c #Conflicts:      34000 | #Constraints:       5024
30.02/30.11	c #Conflicts:      35000 | #Constraints:       6024
30.02/30.11	c #Conflicts:      36000 | #Constraints:       7024
30.02/30.11	c #Conflicts:      37000 | #Constraints:       8024
30.02/30.11	c INPROCESSING
30.02/30.11	c GARBAGE COLLECT
30.02/30.11	c #Conflicts:      38000 | #Constraints:       5025
30.02/30.11	c #Conflicts:      39000 | #Constraints:       6025
30.02/30.11	c #Conflicts:      40000 | #Constraints:       7025
30.02/30.11	c #Conflicts:      41000 | #Constraints:       8025
30.02/30.11	c INPROCESSING
30.02/30.11	c GARBAGE COLLECT
30.02/30.11	c #Conflicts:      42000 | #Constraints:       4821
30.02/30.11	c #Conflicts:      43000 | #Constraints:       5821
30.02/30.11	c #Conflicts:      44000 | #Constraints:       6821
30.02/30.11	c #Conflicts:      45000 | #Constraints:       7821
30.02/30.11	c #Conflicts:      46000 | #Constraints:       8821
30.02/30.11	c INPROCESSING
30.02/30.11	c GARBAGE COLLECT
30.02/30.11	c #Conflicts:      47000 | #Constraints:       5416
30.02/30.11	c #Conflicts:      48000 | #Constraints:       6416
30.02/30.11	c #Conflicts:      49000 | #Constraints:       7416
30.02/30.11	c #Conflicts:      50000 | #Constraints:       8416
30.02/30.11	c #Conflicts:      51000 | #Constraints:       9416
30.02/30.11	c INPROCESSING
30.02/30.11	c GARBAGE COLLECT
30.02/30.11	c #Conflicts:      52000 | #Constraints:       5816
30.02/30.11	c #Conflicts:      53000 | #Constraints:       6816
30.02/30.11	c #Conflicts:      54000 | #Constraints:       7816
30.02/30.11	c #Conflicts:      55000 | #Constraints:       8816
30.02/30.11	c #Conflicts:      56000 | #Constraints:       9816
30.02/30.11	c INPROCESSING
30.02/30.11	c GARBAGE COLLECT
30.02/30.11	c #Conflicts:      57000 | #Constraints:       6020
30.02/30.11	c #Conflicts:      58000 | #Constraints:       7020
30.02/30.11	c #Conflicts:      59000 | #Constraints:       8020
30.02/30.11	c #Conflicts:      60000 | #Constraints:       9020
30.02/30.11	c #Conflicts:      61000 | #Constraints:      10020
30.02/30.11	c INPROCESSING
30.02/30.11	c GARBAGE COLLECT
30.02/30.11	c #Conflicts:      62000 | #Constraints:       6027
30.02/30.11	c #Conflicts:      63000 | #Constraints:       7027
30.02/30.11	c #Conflicts:      64000 | #Constraints:       8027
30.02/30.11	c #Conflicts:      65000 | #Constraints:       9027
30.02/30.11	c #Conflicts:      66000 | #Constraints:      10027
69.44/69.63	c INPROCESSING
69.44/69.63	c GARBAGE COLLECT
69.44/69.63	c #Conflicts:      67000 | #Constraints:       5825
69.44/69.63	c #Conflicts:      68000 | #Constraints:       6825
69.44/69.63	c #Conflicts:      69000 | #Constraints:       7825
69.44/69.63	c #Conflicts:      70000 | #Constraints:       8825
69.44/69.63	c #Conflicts:      71000 | #Constraints:       9825
69.44/69.63	c #Conflicts:      72000 | #Constraints:      10825
69.44/69.63	c INPROCESSING
69.44/69.63	c GARBAGE COLLECT
69.44/69.63	c #Conflicts:      73000 | #Constraints:       6419
69.44/69.63	c #Conflicts:      74000 | #Constraints:       7419
69.44/69.63	c #Conflicts:      75000 | #Constraints:       8419
69.44/69.63	c bounds 61 >= 59 @ 37.6123
69.44/69.63	c #Conflicts:      76000 | #Constraints:       9447
69.44/69.63	c #Conflicts:      77000 | #Constraints:      10447
69.44/69.63	c #Conflicts:      78000 | #Constraints:      11447
69.44/69.63	c INPROCESSING
69.44/69.63	c GARBAGE COLLECT
69.44/69.63	c #Conflicts:      79000 | #Constraints:       6841
69.44/69.63	c #Conflicts:      80000 | #Constraints:       7841
69.44/69.63	c #Conflicts:      81000 | #Constraints:       8841
69.44/69.63	c #Conflicts:      82000 | #Constraints:       9841
69.44/69.63	c #Conflicts:      83000 | #Constraints:      10841
69.44/69.63	c #Conflicts:      84000 | #Constraints:      11841
69.44/69.63	c INPROCESSING
69.44/69.63	c GARBAGE COLLECT
69.44/69.63	c #Conflicts:      85000 | #Constraints:       7035
69.44/69.63	c #Conflicts:      86000 | #Constraints:       8035
69.44/69.63	c #Conflicts:      87000 | #Constraints:       9035
69.44/69.63	c #Conflicts:      88000 | #Constraints:      10035
69.44/69.63	c #Conflicts:      89000 | #Constraints:      11035
69.44/69.63	c #Conflicts:      90000 | #Constraints:      12035
69.44/69.63	c INPROCESSING
69.44/69.63	c GARBAGE COLLECT
69.44/69.63	c #Conflicts:      91000 | #Constraints:       7032
69.44/69.63	c #Conflicts:      92000 | #Constraints:       8032
69.44/69.63	c #Conflicts:      93000 | #Constraints:       9032
69.44/69.63	c #Conflicts:      94000 | #Constraints:      10032
69.44/69.63	c #Conflicts:      95000 | #Constraints:      11032
69.44/69.63	c #Conflicts:      96000 | #Constraints:      12032
69.44/69.63	c INPROCESSING
69.44/69.63	c GARBAGE COLLECT
69.44/69.63	c #Conflicts:      97000 | #Constraints:       6838
69.44/69.63	c #Conflicts:      98000 | #Constraints:       7838
69.44/69.63	c #Conflicts:      99000 | #Constraints:       8838
69.44/69.63	c #Conflicts:     100000 | #Constraints:       9838
69.44/69.63	c #Conflicts:     101000 | #Constraints:      10838
69.44/69.63	c #Conflicts:     102000 | #Constraints:      11838
69.44/69.63	c #Conflicts:     103000 | #Constraints:      12838
69.44/69.63	c INPROCESSING
69.44/69.63	c GARBAGE COLLECT
69.44/69.63	c #Conflicts:     104000 | #Constraints:       7440
69.44/69.63	c #Conflicts:     105000 | #Constraints:       8440
69.44/69.63	c #Conflicts:     106000 | #Constraints:       9440
69.44/69.63	c #Conflicts:     107000 | #Constraints:      10440
69.44/69.63	c #Conflicts:     108000 | #Constraints:      11440
69.44/69.63	c #Conflicts:     109000 | #Constraints:      12440
69.44/69.63	c #Conflicts:     110000 | #Constraints:      13440
69.44/69.63	c INPROCESSING
69.44/69.63	c GARBAGE COLLECT
69.44/69.63	c #Conflicts:     111000 | #Constraints:       7834
69.44/69.63	c #Conflicts:     112000 | #Constraints:       8834
69.44/69.63	c #Conflicts:     113000 | #Constraints:       9834
69.44/69.63	c #Conflicts:     114000 | #Constraints:      10834
69.44/69.63	c #Conflicts:     115000 | #Constraints:      11834
69.44/69.63	c #Conflicts:     116000 | #Constraints:      12834
69.44/69.63	c #Conflicts:     117000 | #Constraints:      13834
69.44/69.63	c INPROCESSING
69.44/69.63	c GARBAGE COLLECT
69.44/69.63	c #Conflicts:     118000 | #Constraints:       8030
69.44/69.63	c #Conflicts:     119000 | #Constraints:       9030
69.44/69.63	c #Conflicts:     120000 | #Constraints:      10030
69.44/69.63	c #Conflicts:     121000 | #Constraints:      11030
69.44/69.63	c #Conflicts:     122000 | #Constraints:      12030
69.44/69.63	c #Conflicts:     123000 | #Constraints:      13030
69.44/69.63	c #Conflicts:     124000 | #Constraints:      14030
69.44/69.63	c INPROCESSING
69.44/69.63	c GARBAGE COLLECT
69.44/69.63	c #Conflicts:     125000 | #Constraints:       8033
69.44/69.63	c #Conflicts:     126000 | #Constraints:       9033
69.44/69.63	c #Conflicts:     127000 | #Constraints:      10033
69.44/69.63	c #Conflicts:     128000 | #Constraints:      11033
69.44/69.63	c #Conflicts:     129000 | #Constraints:      12033
69.44/69.63	c #Conflicts:     130000 | #Constraints:      13033
69.44/69.63	c #Conflicts:     131000 | #Constraints:      14033
69.44/69.63	c INPROCESSING
69.44/69.63	c GARBAGE COLLECT
69.44/69.63	c #Conflicts:     132000 | #Constraints:       7838
69.44/69.63	c #Conflicts:     133000 | #Constraints:       8838
69.44/69.63	c #Conflicts:     134000 | #Constraints:       9838
69.44/69.63	c #Conflicts:     135000 | #Constraints:      10838
69.44/69.63	c #Conflicts:     136000 | #Constraints:      11838
69.44/69.63	c #Conflicts:     137000 | #Constraints:      12838
69.44/69.63	c #Conflicts:     138000 | #Constraints:      13838
87.09/87.39	c #Conflicts:     139000 | #Constraints:      14838
87.09/87.39	c INPROCESSING
87.09/87.39	c GARBAGE COLLECT
87.09/87.39	c #Conflicts:     140000 | #Constraints:       8438
87.09/87.39	c #Conflicts:     141000 | #Constraints:       9438
87.09/87.39	c #Conflicts:     142000 | #Constraints:      10438
87.09/87.39	c #Conflicts:     143000 | #Constraints:      11438
87.09/87.39	c #Conflicts:     144000 | #Constraints:      12438
87.09/87.39	c #Conflicts:     145000 | #Constraints:      13438
87.09/87.39	c #Conflicts:     146000 | #Constraints:      14438
87.09/87.39	c #Conflicts:     147000 | #Constraints:      15438
87.09/87.39	c INPROCESSING
87.09/87.39	c GARBAGE COLLECT
87.09/87.39	c #Conflicts:     148000 | #Constraints:       8840
87.09/87.39	c #Conflicts:     149000 | #Constraints:       9840
87.09/87.39	c #Conflicts:     150000 | #Constraints:      10840
87.09/87.39	c #Conflicts:     151000 | #Constraints:      11840
87.09/87.39	c #Conflicts:     152000 | #Constraints:      12840
87.09/87.39	c #Conflicts:     153000 | #Constraints:      13840
87.09/87.39	c #Conflicts:     154000 | #Constraints:      14840
87.09/87.39	c #Conflicts:     155000 | #Constraints:      15840
87.09/87.39	c INPROCESSING
87.09/87.39	c GARBAGE COLLECT
87.09/87.39	c #Conflicts:     156000 | #Constraints:       9036
87.09/87.39	c #Conflicts:     157000 | #Constraints:      10036
87.09/87.39	c #Conflicts:     158000 | #Constraints:      11036
87.09/87.39	c #Conflicts:     159000 | #Constraints:      12036
87.09/87.39	c #Conflicts:     160000 | #Constraints:      13036
87.09/87.39	c #Conflicts:     161000 | #Constraints:      14036
87.09/87.39	c #Conflicts:     162000 | #Constraints:      15036
87.09/87.39	c bounds 61 >= 60 @ 83.0249
87.09/87.39	c #Conflicts:     163000 | #Constraints:      16055
87.09/87.39	c INPROCESSING
87.09/87.39	c GARBAGE COLLECT
87.09/87.39	c #Conflicts:     164000 | #Constraints:       9050
87.09/87.39	c #Conflicts:     165000 | #Constraints:      10050
87.09/87.39	c #Conflicts:     166000 | #Constraints:      11050
87.09/87.39	c #Conflicts:     167000 | #Constraints:      12050
87.09/87.39	c #Conflicts:     168000 | #Constraints:      13050
87.09/87.39	c bounds 61 >= 61 @ 86.3055
87.09/87.39	d SOLVEDBY oll
87.09/87.39	c cpu time 86.3055 s
87.09/87.39	c deterministic time 10549394765 1.05e+10
87.09/87.39	c optimization time 1.37288 s
87.09/87.39	c total solve time 84.932 s
87.09/87.39	c core-guided solve time 84.932 s
87.09/87.39	c propagation time 65.8342 s
87.09/87.39	c conflict analysis time 19.066 s
87.09/87.39	c propagations 9203725
87.09/87.39	c resolve steps 1746079
87.09/87.39	c decisions 467960
87.09/87.39	c conflicts 168700
87.09/87.39	c restarts 458
87.09/87.39	c inprocessing phases 32
87.09/87.39	c input clauses 57
87.09/87.39	c input cardinalities 177
87.09/87.39	c input general constraints 36
87.09/87.39	c input average constraint length 16.72
87.09/87.39	c input average constraint degree 6.91
87.09/87.39	c learned clauses 67181
87.09/87.39	c learned cardinalities 193
87.09/87.39	c learned general constraints 101328
87.09/87.39	c learned average constraint length 55.49
87.09/87.39	c learned average constraint degree 7386.64
87.09/87.39	c watched constraints 70442
87.09/87.39	c counting constraints 30922
87.09/87.39	c gcd simplifications 5565
87.09/87.39	c detected cardinalities 6
87.09/87.39	c weakened non-implied lits 4644265
87.09/87.39	c weakened non-implying lits 11422
87.09/87.39	c original variables 144
87.09/87.39	c clausal propagations 354600
87.09/87.39	c cardinality propagations 2754513
87.09/87.39	c watched propagations 230187
87.09/87.39	c counting propagations 5725713
87.09/87.39	c watch lookups 3135299953
87.09/87.39	c watch backjump lookups 2948679810
87.09/87.39	c watch checks 2457092485
87.09/87.39	c propagation checks 1919476246
87.09/87.39	c constraint additions 69334235
87.09/87.39	c trail pops 9840350
87.09/87.39	c formula constraints 133
87.09/87.39	c learned constraints 168702
87.09/87.39	c bound constraints 22
87.09/87.39	c core-guided constraints 115
87.09/87.39	c encountered formula constraints 626900
87.09/87.39	c encountered learned constraints 1231728
87.09/87.39	c encountered bound constraints 2133
87.09/87.39	c encountered core-guided constraints 54018
87.09/87.39	c LP total time 0 s
87.09/87.39	c LP solve time 0 s
87.09/87.39	c LP constraints added 0
87.09/87.39	c LP constraints removed 0
87.09/87.39	c LP pivots internal 0
87.09/87.39	c LP pivots root 0
87.09/87.39	c LP calls 0
87.09/87.39	c LP optimalities 0
87.09/87.39	c LP no pivot count 0
87.09/87.39	c LP infeasibilities 0
87.09/87.39	c LP valid Farkas constraints 0
87.09/87.39	c LP learned Farkas constraints 0
87.09/87.39	c LP basis resets 0
87.09/87.39	c LP cycling count 0
87.09/87.39	c LP singular count 0
87.09/87.39	c LP no primal count 0
87.09/87.39	c LP no farkas count 0
87.09/87.39	c LP other issue count 0
87.09/87.39	c LP Gomory cuts 0
87.09/87.39	c LP learned cuts 0
87.09/87.39	c LP deleted cuts 0
87.09/87.39	c LP encountered Gomory constraints 0
87.09/87.39	c LP encountered Farkas constraints 0
87.09/87.39	c LP encountered learned Farkas constraints 0
87.09/87.39	c CG auxiliary variables introduced 48
87.09/87.39	c CG solutions found 1
87.09/87.39	c CG cores constructed 17
87.09/87.39	c CG core cardinality constraints returned 11
87.09/87.39	c CG unit cores 1
87.09/87.39	c CG single cores 15
87.09/87.39	c CG blocks removed during cardinality reduction 0
87.09/87.39	c CG first core best 0
87.09/87.39	c CG decision core best 0
87.09/87.39	c CG core reduction tie 1
87.09/87.39	c CG core degree average 2.56
87.09/87.39	c CG core slack average 6.31
87.09/87.39	c CG exhausted 1
87.09/87.39	c CG exhaust time 1.36781 s
87.09/87.39	c CG trimmed 10
87.09/87.39	c CG trim time 0.002759 s
87.09/87.39	c CG minimized 0
87.09/87.39	c CG minimize time 0 s
87.09/87.39	c CG am1 prop time 0.000518 s
87.09/87.39	c CG # am1s reformulated 8
87.09/87.39	c CG lower bound derived from am1s 16
87.09/87.39	c CG # clausal cores 5
87.09/87.39	c CG # cardinality cores 12
87.09/87.39	c CG # pb cores 0
87.09/87.39	c CG # pb reforms 0
87.09/87.39	c CG # cores discarded because of pb reform 0
87.09/87.39	d LOWERBOUND 61
87.09/87.39	d NCORES 17
87.09/87.39	d NPBCORES 0
87.09/87.39	d NPBREFORM 0
87.09/87.39	d NTRIMMED 10
87.09/87.39	d NEXHAUSTED 1
87.09/87.39	d NAM1S 8
87.09/87.39	d AM1LB 16
87.09/87.39	o 61
87.09/87.39	s OPTIMUM FOUND
87.09/87.39	v x1 -x2 x3 x4 x5 x6 -x7 x8 -x9 -x10 -x11 x12 x13 x14 -x15 -x16 -x17 x18 x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 x35 -x36 x37 -x38 x39 -x40 -x41 -x42 x43 x44 x45 x46 -x47 x48 -x49 -x50 -x51 -x52 x53 x54 -x55 x56 x57 -x58 x59 -x60 x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 x81 x82 -x83 x84 -x85 x86 -x87 x88 x89 -x90 -x91 x92 -x93 -x94 -x95 x96 -x97 -x98 x99 x100 -x101 -x102 -x103 x104 -x105 -x106 x107 x108 x109 -x110 -x111 -x112 x113 x114 x115 -x116 -x117 x118 -x119 -x120 -x121 x122 -x123 x124 x125 x126 x127 x128 -x129 x130 -x131 x132 -x133 x134 -x135 x136 x137 x138 -x139 -x140 -x141 -x142 -x143 -x144

Verifier Data 

OK	61

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: 63968 MiB (62789 MiB free)
  memory of node 1: 64473 MiB (62819 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436129-1721165197/watcher-4436129-1721165197 -o /tmp/evaluation-result-4436129-1721165197/solver-4436129-1721165197 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721165209-878134 --watchdog 3760 pb-oll-rs HOME/instance-4436129-1721165197.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=878334, runsolver pid=878331

[startup+0.100081 s]*
/proc/loadavg: 3.09 3.89 4.08 5/256 878335
/proc/meminfo: memFree=128621568/131524600 swapFree=131071996/131071996
[pid=878334] ppid=878331 vsize=39452 memory=6852 CPUtime=0.09 cores=4,6
/proc/878334/stat : 878334 (pb-oll-rs) R 878331 878334 878123 0 -1 4194304 559 0 0 0 9 0 0 0 20 0 1 0 168685917 40398848 1713 134679101440 4194304 5384005 140736315718560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 17395712 140736315720727 140736315720804 140736315720804 140736315727819 0
/proc/878334/statm: 9863 1713 1377 291 0 1397 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39452 KiB
Current children cumulated memory: 6852 KiB

[startup+0.205228 s]*
/proc/loadavg: 3.09 3.89 4.08 5/256 878335
/proc/meminfo: memFree=128621036/131524600 swapFree=131071996/131071996
[pid=878334] ppid=878331 vsize=39588 memory=7380 CPUtime=0.2 cores=4,6
/proc/878334/stat : 878334 (pb-oll-rs) R 878331 878334 878123 0 -1 4194304 631 0 0 0 19 1 0 0 20 0 1 0 168685917 40538112 1845 134679101440 4194304 5384005 140736315718560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 17395712 140736315720727 140736315720804 140736315720804 140736315727819 0
/proc/878334/statm: 9897 1845 1377 291 0 1431 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39588 KiB
Current children cumulated memory: 7380 KiB

[startup+0.304675 s]*
/proc/loadavg: 3.09 3.89 4.08 5/256 878335
/proc/meminfo: memFree=128620224/131524600 swapFree=131071996/131071996
[pid=878334] ppid=878331 vsize=39720 memory=7876 CPUtime=0.29 cores=4,6
/proc/878334/stat : 878334 (pb-oll-rs) R 878331 878334 878123 0 -1 4194304 710 0 0 0 28 1 0 0 20 0 1 0 168685917 40673280 1969 134679101440 4194304 5384005 140736315718560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 17395712 140736315720727 140736315720804 140736315720804 140736315727819 0
/proc/878334/statm: 9930 1969 1439 291 0 1464 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 39720 KiB
Current children cumulated memory: 7876 KiB

[startup+0.700163 s]
/proc/loadavg: 3.09 3.89 4.08 5/256 878335
/proc/meminfo: memFree=128618404/131524600 swapFree=131071996/131071996
[pid=878334] ppid=878331 vsize=40240 memory=8920 CPUtime=0.69 cores=4,6
/proc/878334/stat : 878334 (pb-oll-rs) R 878331 878334 878123 0 -1 4194304 974 0 0 0 67 2 0 0 20 0 1 0 168685917 41205760 2230 134679101440 4194304 5384005 140736315718560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 17395712 140736315720727 140736315720804 140736315720804 140736315727819 0
/proc/878334/statm: 10060 2230 1439 291 0 1594 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40240 KiB
Current children cumulated memory: 8920 KiB

[startup+1.50016 s]
/proc/loadavg: 3.09 3.89 4.08 5/256 878335
/proc/meminfo: memFree=128613164/131524600 swapFree=131071996/131071996
[pid=878334] ppid=878331 vsize=40516 memory=11228 CPUtime=1.48 cores=4,6
/proc/878334/stat : 878334 (pb-oll-rs) R 878331 878334 878123 0 -1 4194304 1051 0 0 0 144 4 0 0 20 0 1 0 168685917 41488384 2807 134679101440 4194304 5384005 140736315718560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 17395712 140736315720727 140736315720804 140736315720804 140736315727819 0
/proc/878334/statm: 10129 2807 1439 291 0 1663 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40516 KiB
Current children cumulated memory: 11228 KiB

[startup+3.1051 s]
/proc/loadavg: 3.09 3.89 4.08 5/256 878335
/proc/meminfo: memFree=128607096/131524600 swapFree=131071996/131071996
[pid=878334] ppid=878331 vsize=41544 memory=12280 CPUtime=3.08 cores=4,6
/proc/878334/stat : 878334 (pb-oll-rs) R 878331 878334 878123 0 -1 4194304 1288 0 0 0 300 8 0 0 20 0 1 0 168685917 42541056 3070 134679101440 4194304 5384005 140736315718560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 17395712 140736315720727 140736315720804 140736315720804 140736315727819 0
/proc/878334/statm: 10386 3070 1439 291 0 1920 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 41544 KiB
Current children cumulated memory: 12280 KiB

[startup+6.30014 s]
/proc/loadavg: 3.16 3.89 4.08 5/256 878335
/proc/meminfo: memFree=128597780/131524600 swapFree=131071996/131071996
[pid=878334] ppid=878331 vsize=42216 memory=12828 CPUtime=6.28 cores=4,6
/proc/878334/stat : 878334 (pb-oll-rs) R 878331 878334 878123 0 -1 4194304 1421 0 0 0 615 13 0 0 20 0 1 0 168685917 43229184 3207 134679101440 4194304 5384005 140736315718560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 17395712 140736315720727 140736315720804 140736315720804 140736315727819 0
/proc/878334/statm: 10554 3207 1439 291 0 2088 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 42216 KiB
Current children cumulated memory: 12828 KiB

[startup+12.7002 s]
/proc/loadavg: 3.23 3.89 4.08 5/256 878336
/proc/meminfo: memFree=128584532/131524600 swapFree=131071996/131071996
[pid=878334] ppid=878331 vsize=43336 memory=14032 CPUtime=12.66 cores=4,6
/proc/878334/stat : 878334 (pb-oll-rs) R 878331 878334 878123 0 -1 4194304 1724 0 0 0 1245 21 0 0 20 0 1 0 168685917 44376064 3508 134679101440 4194304 5384005 140736315718560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 17395712 140736315720727 140736315720804 140736315720804 140736315727819 0
/proc/878334/statm: 10834 3508 1439 291 0 2368 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 43336 KiB
Current children cumulated memory: 14032 KiB

[startup+25.5002 s]
/proc/loadavg: 3.48 3.92 4.08 5/256 878338
/proc/meminfo: memFree=128565824/131524600 swapFree=131071996/131071996
[pid=878334] ppid=878331 vsize=47500 memory=17920 CPUtime=25.44 cores=4,6
/proc/878334/stat : 878334 (pb-oll-rs) R 878331 878334 878123 0 -1 4194304 2215 0 0 0 2511 33 0 0 20 0 1 0 168685917 48640000 4480 134679101440 4194304 5384005 140736315718560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 17395712 140736315720727 140736315720804 140736315720804 140736315727819 0
/proc/878334/statm: 11875 4480 1439 291 0 3409 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 47500 KiB
Current children cumulated memory: 17920 KiB

[startup+51.1053 s]
/proc/loadavg: 3.73 3.94 4.09 5/256 878342
/proc/meminfo: memFree=128540076/131524600 swapFree=131071996/131071996
[pid=878334] ppid=878331 vsize=48588 memory=19132 CPUtime=50.99 cores=4,6
/proc/878334/stat : 878334 (pb-oll-rs) R 878331 878334 878123 0 -1 4194304 2501 0 0 0 5042 57 0 0 20 0 1 0 168685917 49754112 4783 134679101440 4194304 5384005 140736315718560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 17395712 140736315720727 140736315720804 140736315720804 140736315727819 0
/proc/878334/statm: 12147 4783 1439 291 0 3681 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 48588 KiB
Current children cumulated memory: 19132 KiB

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

# cumulated CPU time of all completed processes:  user=86.3073 s, system=0.889006 s

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

[startup+51.2002 s]
/proc/loadavg: 3.73 3.94 4.09 5/256 878342
/proc/meminfo: memFree=128540076/131524600 swapFree=131071996/131071996
[pid=878334] ppid=878331 vsize=48588 memory=19132 CPUtime=51.08 cores=4,6
/proc/878334/stat : 878334 (pb-oll-rs) R 878331 878334 878123 0 -1 4194304 2503 0 0 0 5051 57 0 0 20 0 1 0 168685917 49754112 4783 134679101440 4194304 5384005 140736315718560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 17395712 140736315720727 140736315720804 140736315720804 140736315727819 0
/proc/878334/statm: 12147 4783 1439 291 0 3681 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 48588 KiB
Current children cumulated memory: 19132 KiB

[startup+64.0001 s]*
/proc/loadavg: 3.79 3.94 4.08 5/257 878346
/proc/meminfo: memFree=128526952/131524600 swapFree=131071996/131071996
[pid=878334] ppid=878331 vsize=49200 memory=19792 CPUtime=63.86 cores=4,6
/proc/878334/stat : 878334 (pb-oll-rs) R 878331 878334 878123 0 -1 4194304 2682 0 0 0 6315 71 0 0 20 0 1 0 168685917 50380800 4948 134679101440 4194304 5384005 140736315718560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 17395712 140736315720727 140736315720804 140736315720804 140736315727819 0
/proc/878334/statm: 12300 4948 1439 291 0 3834 0
Current children cumulated CPU time: 63.86 s
Current children cumulated vsize: 49200 KiB
Current children cumulated memory: 19792 KiB

[startup+76.8002 s]
/proc/loadavg: 3.82 3.95 4.08 5/258 878517
/proc/meminfo: memFree=128515228/131524600 swapFree=131071996/131071996
[pid=878334] ppid=878331 vsize=49328 memory=19972 CPUtime=76.62 cores=4,6
/proc/878334/stat : 878334 (pb-oll-rs) R 878331 878334 878123 0 -1 4194304 2735 0 0 0 7581 81 0 0 20 0 1 0 168685917 50511872 4993 134679101440 4194304 5384005 140736315718560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 17395712 140736315720727 140736315720804 140736315720804 140736315727819 0
/proc/878334/statm: 12332 4993 1439 291 0 3866 0
Current children cumulated CPU time: 76.62 s
Current children cumulated vsize: 49328 KiB
Current children cumulated memory: 19972 KiB

[startup+83.2001 s]
/proc/loadavg: 3.84 3.95 4.08 5/258 878518
/proc/meminfo: memFree=128514568/131524600 swapFree=131071996/131071996
[pid=878334] ppid=878331 vsize=49520 memory=20296 CPUtime=83 cores=4,6
/proc/878334/stat : 878334 (pb-oll-rs) R 878331 878334 878123 0 -1 4194304 2819 0 0 0 8215 85 0 0 20 0 1 0 168685917 50708480 5074 134679101440 4194304 5384005 140736315718560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 17395712 140736315720727 140736315720804 140736315720804 140736315727819 0
/proc/878334/statm: 12380 5074 1439 291 0 3914 0
Current children cumulated CPU time: 83 s
Current children cumulated vsize: 49520 KiB
Current children cumulated memory: 20296 KiB

[startup+84.8002 s]
/proc/loadavg: 3.93 3.96 4.09 5/258 878518
/proc/meminfo: memFree=128514580/131524600 swapFree=131071996/131071996
[pid=878334] ppid=878331 vsize=49584 memory=20380 CPUtime=84.6 cores=4,6
/proc/878334/stat : 878334 (pb-oll-rs) R 878331 878334 878123 0 -1 4194304 2843 0 0 0 8374 86 0 0 20 0 1 0 168685917 50774016 5095 134679101440 4194304 5384005 140736315718560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 17395712 140736315720727 140736315720804 140736315720804 140736315727819 0
/proc/878334/statm: 12396 5095 1439 291 0 3930 0
Current children cumulated CPU time: 84.6 s
Current children cumulated vsize: 49584 KiB
Current children cumulated memory: 20380 KiB

[startup+86.4002 s]
/proc/loadavg: 3.93 3.96 4.09 5/258 878518
/proc/meminfo: memFree=128514072/131524600 swapFree=131071996/131071996
[pid=878334] ppid=878331 vsize=49584 memory=20380 CPUtime=86.2 cores=4,6
/proc/878334/stat : 878334 (pb-oll-rs) R 878331 878334 878123 0 -1 4194304 2843 0 0 0 8532 88 0 0 20 0 1 0 168685917 50774016 5095 134679101440 4194304 5384005 140736315718560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 17395712 140736315720727 140736315720804 140736315720804 140736315727819 0
/proc/878334/statm: 12396 5095 1439 291 0 3930 0
Current children cumulated CPU time: 86.2 s
Current children cumulated vsize: 49584 KiB
Current children cumulated memory: 20380 KiB

[startup+86.8002 s]
/proc/loadavg: 3.93 3.96 4.09 5/258 878518
/proc/meminfo: memFree=128514072/131524600 swapFree=131071996/131071996
[pid=878334] ppid=878331 vsize=49584 memory=20380 CPUtime=86.6 cores=4,6
/proc/878334/stat : 878334 (pb-oll-rs) R 878331 878334 878123 0 -1 4194304 2843 0 0 0 8572 88 0 0 20 0 1 0 168685917 50774016 5095 134679101440 4194304 5384005 140736315718560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 17395712 140736315720727 140736315720804 140736315720804 140736315727819 0
/proc/878334/statm: 12396 5095 1439 291 0 3930 0
Current children cumulated CPU time: 86.6 s
Current children cumulated vsize: 49584 KiB
Current children cumulated memory: 20380 KiB

[startup+87.2002 s]
/proc/loadavg: 3.93 3.96 4.09 5/258 878520
/proc/meminfo: memFree=128512868/131524600 swapFree=131071996/131071996
[pid=878334] ppid=878331 vsize=49584 memory=20380 CPUtime=86.99 cores=4,6
/proc/878334/stat : 878334 (pb-oll-rs) R 878331 878334 878123 0 -1 4194304 2843 0 0 0 8611 88 0 0 20 0 1 0 168685917 50774016 5095 134679101440 4194304 5384005 140736315718560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 17395712 140736315720727 140736315720804 140736315720804 140736315727819 0
/proc/878334/statm: 12396 5095 1439 291 0 3930 0
Current children cumulated CPU time: 86.99 s
Current children cumulated vsize: 49584 KiB
Current children cumulated memory: 20380 KiB

[startup+87.3002 s]
/proc/loadavg: 3.93 3.96 4.09 5/258 878520
/proc/meminfo: memFree=128512868/131524600 swapFree=131071996/131071996
[pid=878334] ppid=878331 vsize=49584 memory=20380 CPUtime=87.09 cores=4,6
/proc/878334/stat : 878334 (pb-oll-rs) R 878331 878334 878123 0 -1 4194304 2843 0 0 0 8621 88 0 0 20 0 1 0 168685917 50774016 5095 134679101440 4194304 5384005 140736315718560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 17395712 140736315720727 140736315720804 140736315720804 140736315727819 0
/proc/878334/statm: 12396 5095 1439 291 0 3930 0
Current children cumulated CPU time: 87.09 s
Current children cumulated vsize: 49584 KiB
Current children cumulated memory: 20380 KiB

Child status: 0

Real time (s): 87.3926
CPU time (s): 87.1963
CPU user time (s): 86.3073
CPU system time (s): 0.889006
CPU usage (%): 99.7754
Max. virtual memory (cumulated for all children) (KiB): 49584
Max. memory (cumulated for all children) (KiB): 20380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 86.3073
system time used= 0.889006
maximum resident set size= 20392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2854
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= 6
involuntary context switches= 97


# summary of solver processes directly reported to runsolver:
#   pid: 878334
#   total CPU time (s): 87.1963
#   total CPU user time (s): 86.3073
#   total CPU system time (s): 0.889006

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.145219 second user time and 0.399294 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-16 23:26:50
IDJOB=4436129
IDBENCH=158427
IDSOLVER=3067
FILE ID=nodeC026/4436129-1721165197
RUNJOBID= nodeC026-1721165209-878134
SLURM_JOB_ID= 7505787
Free space on /tmp= 890076 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/dt-problems/normalized-lo_12x12_004.opb.metafix.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436129-1721165197/watcher-4436129-1721165197 -o /tmp/evaluation-result-4436129-1721165197/solver-4436129-1721165197 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721165209-878134 --watchdog 3760  pb-oll-rs HOME/instance-4436129-1721165197.opb

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

MD5SUM BENCH= cff8e5e74b4a74649f8fb8cad033cc60
RANDOM SEED=1001380814

nodeC026.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		: 3676.679
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.74
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		: 3687.560
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	: 7005.45
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		: 3648.580
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.74
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		: 3600.431
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	: 7005.45
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		: 3643.864
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.74
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		: 3687.611
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	: 7005.45
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		: 3630.414
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.74
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.055
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	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128623816 kB
MemAvailable:   129719180 kB
Buffers:          442004 kB
Cached:          1483780 kB
SwapCached:            0 kB
Active:           828456 kB
Inactive:        1461548 kB
Active(anon):       1548 kB
Inactive(anon):   400396 kB
Active(file):     826908 kB
Inactive(file):  1061152 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             10640 kB
Writeback:             0 kB
AnonPages:        361340 kB
Mapped:           108732 kB
Shmem:             37720 kB
KReclaimable:      94252 kB
Slab:             202168 kB
SReclaimable:      94252 kB
SUnreclaim:       107916 kB
KernelStack:        4128 kB
PageTables:        10168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     760816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            64128 kB
HardwareCorrupted:     0 kB
AnonHugePages:    217088 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:      232148 kB
DirectMap2M:    20512768 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 890072 MiB
End job on nodeC026 at 2024-07-16 23:28:18