Trace number 4454915

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.06 3609.54

DiagnosticValue
AM1LB0
LOWERBOUND20
NAM1S0
NCORES20
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0
SCIPUB80

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_13_shg.opb
MD5SUMa008918ff26f135f427f5632a2cbbc59
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 benchmark60
Best CPU time to get the best result obtained on this benchmark3558.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15312
Total number of constraints65280
Number of constraints which are clauses65280
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 constraint64
Maximum length of a constraint92
Number of terms in the objective function 15312
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 15312
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 15312
Number of bits of the biggest sum of numbers14
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
3.36/3.47	c [STEP] preprocessing with Papilo
4.05/4.19	c Papilo could not simplify the problem
4.05/4.19	c [STEP] solving with SCIP
304.44/305.28	c [STEP] preprocessing done, loading into solver
305.24/306.01	c [STEP] solving
305.24/306.01	c #variables 15313 #constraints 65280
305.24/306.01	c SMALL=int, LARGE=long long
305.24/306.02	d SCIPUB 80
305.24/306.02	c bounds - >= 0 @ 303.101
305.24/306.02	c stratification level: 0
820.52/822.67	c bounds - >= 1 @ 303.254
820.52/822.67	c bounds - >= 2 @ 303.258
820.52/822.67	c bounds - >= 3 @ 303.266
820.52/822.67	c bounds - >= 4 @ 303.268
820.52/822.67	c bounds - >= 5 @ 303.276
820.52/822.67	c bounds - >= 6 @ 303.28
820.52/822.67	c bounds - >= 7 @ 303.285
820.52/822.67	c bounds - >= 8 @ 303.289
820.52/822.67	c bounds - >= 9 @ 303.296
820.52/822.67	c bounds - >= 10 @ 303.302
820.52/822.67	c bounds - >= 11 @ 303.308
820.52/822.67	c bounds - >= 12 @ 303.314
820.52/822.67	c bounds - >= 13 @ 303.319
820.52/822.67	c bounds - >= 14 @ 303.332
820.52/822.67	c bounds - >= 15 @ 303.337
820.52/822.67	c bounds - >= 16 @ 303.341
820.52/822.67	c bounds - >= 17 @ 303.346
820.52/822.67	c bounds - >= 18 @ 303.348
820.52/822.67	c bounds - >= 19 @ 303.355
820.52/822.67	c bounds - >= 20 @ 303.36
820.52/822.67	c #Conflicts:       1000 | #Constraints:      66300
820.52/822.67	c #Conflicts:       2000 | #Constraints:      67300
820.52/822.67	c INPROCESSING
820.52/822.67	c GARBAGE COLLECT
820.52/822.67	c #Conflicts:       3000 | #Constraints:      67294
820.52/822.67	c #Conflicts:       4000 | #Constraints:      68294
820.52/822.67	c INPROCESSING
820.52/822.67	c GARBAGE COLLECT
820.52/822.67	c #Conflicts:       5000 | #Constraints:      67692
820.52/822.67	c #Conflicts:       6000 | #Constraints:      68692
820.52/822.67	c INPROCESSING
820.52/822.67	c GARBAGE COLLECT
820.52/822.67	c #Conflicts:       7000 | #Constraints:      67692
820.52/822.67	c #Conflicts:       8000 | #Constraints:      68692
820.52/822.67	c #Conflicts:       9000 | #Constraints:      69692
820.52/822.67	c INPROCESSING
820.52/822.67	c GARBAGE COLLECT
820.52/822.67	c #Conflicts:      10000 | #Constraints:      68394
820.52/822.67	c #Conflicts:      11000 | #Constraints:      69394
820.52/822.67	c #Conflicts:      12000 | #Constraints:      70394
820.52/822.67	c INPROCESSING
820.52/822.67	c GARBAGE COLLECT
820.52/822.67	c #Conflicts:      13000 | #Constraints:      68846
820.52/822.67	c #Conflicts:      14000 | #Constraints:      69846
820.52/822.67	c #Conflicts:      15000 | #Constraints:      70846
820.52/822.67	c INPROCESSING
820.52/822.67	c GARBAGE COLLECT
820.52/822.67	c #Conflicts:      16000 | #Constraints:      69075
820.52/822.67	c #Conflicts:      17000 | #Constraints:      70075
820.52/822.67	c #Conflicts:      18000 | #Constraints:      71075
820.52/822.67	c INPROCESSING
820.52/822.67	c GARBAGE COLLECT
820.52/822.67	c #Conflicts:      19000 | #Constraints:      69083
820.52/822.67	c #Conflicts:      20000 | #Constraints:      70083
820.52/822.67	c #Conflicts:      21000 | #Constraints:      71083
820.52/822.67	c INPROCESSING
820.52/822.67	c GARBAGE COLLECT
820.52/822.67	c #Conflicts:      22000 | #Constraints:      68895
820.52/822.67	c #Conflicts:      23000 | #Constraints:      69895
820.52/822.67	c #Conflicts:      24000 | #Constraints:      70895
820.52/822.67	c #Conflicts:      25000 | #Constraints:      71895
820.52/822.67	c INPROCESSING
820.52/822.67	c GARBAGE COLLECT
820.52/822.67	c #Conflicts:      26000 | #Constraints:      69497
820.52/822.67	c #Conflicts:      27000 | #Constraints:      70497
820.52/822.67	c #Conflicts:      28000 | #Constraints:      71497
820.52/822.67	c #Conflicts:      29000 | #Constraints:      72497
820.52/822.67	c INPROCESSING
820.52/822.67	c GARBAGE COLLECT
820.52/822.67	c #Conflicts:      30000 | #Constraints:      69901
820.52/822.67	c #Conflicts:      31000 | #Constraints:      70901
820.52/822.67	c #Conflicts:      32000 | #Constraints:      71901
820.52/822.67	c #Conflicts:      33000 | #Constraints:      72901
820.52/822.67	c INPROCESSING
820.52/822.67	c GARBAGE COLLECT
820.52/822.67	c #Conflicts:      34000 | #Constraints:      70103
820.52/822.67	c #Conflicts:      35000 | #Constraints:      71103
820.52/822.67	c #Conflicts:      36000 | #Constraints:      72103
820.52/822.67	c #Conflicts:      37000 | #Constraints:      73103
820.52/822.67	c INPROCESSING
820.52/822.67	c GARBAGE COLLECT
820.52/822.67	c #Conflicts:      38000 | #Constraints:      70104
820.52/822.67	c #Conflicts:      39000 | #Constraints:      71104
820.52/822.67	c #Conflicts:      40000 | #Constraints:      72104
820.52/822.67	c #Conflicts:      41000 | #Constraints:      73104
820.52/822.67	c INPROCESSING
820.52/822.67	c GARBAGE COLLECT
820.52/822.67	c #Conflicts:      42000 | #Constraints:      69904
820.52/822.67	c #Conflicts:      43000 | #Constraints:      70904
820.52/822.67	c #Conflicts:      44000 | #Constraints:      71904
820.52/822.67	c #Conflicts:      45000 | #Constraints:      72904
820.52/822.67	c #Conflicts:      46000 | #Constraints:      73904
820.52/822.67	c INPROCESSING
820.52/822.67	c GARBAGE COLLECT
820.52/822.67	c #Conflicts:      47000 | #Constraints:      70503
820.52/822.67	c #Conflicts:      48000 | #Constraints:      71503
820.52/822.67	c #Conflicts:      49000 | #Constraints:      72503
820.52/822.67	c #Conflicts:      50000 | #Constraints:      73503
820.52/822.67	c #Conflicts:      51000 | #Constraints:      74503
820.52/822.67	c INPROCESSING
820.52/822.67	c GARBAGE COLLECT
820.52/822.67	c #Conflicts:      52000 | #Constraints:      70901
820.52/822.67	c #Conflicts:      53000 | #Constraints:      71901
820.52/822.67	c #Conflicts:      54000 | #Constraints:      72901
820.52/822.67	c #Conflicts:      55000 | #Constraints:      73901
820.52/822.67	c #Conflicts:      56000 | #Constraints:      74901
820.52/822.67	c INPROCESSING
820.52/822.67	c GARBAGE COLLECT
820.52/822.67	c #Conflicts:      57000 | #Constraints:      71101
820.52/822.67	c #Conflicts:      58000 | #Constraints:      72101
820.52/822.67	c #Conflicts:      59000 | #Constraints:      73101
1730.93/1735.47	c #Conflicts:      60000 | #Constraints:      74101
1730.93/1735.47	c #Conflicts:      61000 | #Constraints:      75101
1730.93/1735.47	c INPROCESSING
1730.93/1735.47	c GARBAGE COLLECT
1730.93/1735.47	c #Conflicts:      62000 | #Constraints:      71101
1730.93/1735.47	c #Conflicts:      63000 | #Constraints:      72101
1730.93/1735.47	c #Conflicts:      64000 | #Constraints:      73101
1730.93/1735.47	c #Conflicts:      65000 | #Constraints:      74101
1730.93/1735.47	c #Conflicts:      66000 | #Constraints:      75101
1730.93/1735.47	c INPROCESSING
1730.93/1735.47	c GARBAGE COLLECT
1730.93/1735.47	c #Conflicts:      67000 | #Constraints:      70900
1730.93/1735.47	c #Conflicts:      68000 | #Constraints:      71900
1730.93/1735.47	c #Conflicts:      69000 | #Constraints:      72900
1730.93/1735.47	c #Conflicts:      70000 | #Constraints:      73900
1730.93/1735.47	c #Conflicts:      71000 | #Constraints:      74900
1730.93/1735.47	c #Conflicts:      72000 | #Constraints:      75900
1730.93/1735.47	c INPROCESSING
1730.93/1735.47	c GARBAGE COLLECT
1730.93/1735.47	c #Conflicts:      73000 | #Constraints:      71497
1730.93/1735.47	c #Conflicts:      74000 | #Constraints:      72497
1730.93/1735.47	c #Conflicts:      75000 | #Constraints:      73497
1730.93/1735.47	c #Conflicts:      76000 | #Constraints:      74497
1730.93/1735.47	c #Conflicts:      77000 | #Constraints:      75497
1730.93/1735.47	c #Conflicts:      78000 | #Constraints:      76497
1730.93/1735.47	c INPROCESSING
1730.93/1735.47	c GARBAGE COLLECT
1730.93/1735.47	c #Conflicts:      79000 | #Constraints:      71898
1730.93/1735.47	c #Conflicts:      80000 | #Constraints:      72898
1730.93/1735.47	c #Conflicts:      81000 | #Constraints:      73898
1730.93/1735.47	c #Conflicts:      82000 | #Constraints:      74898
1730.93/1735.47	c #Conflicts:      83000 | #Constraints:      75898
1730.93/1735.47	c #Conflicts:      84000 | #Constraints:      76898
1730.93/1735.47	c INPROCESSING
1730.93/1735.47	c GARBAGE COLLECT
1730.93/1735.47	c #Conflicts:      85000 | #Constraints:      72101
1730.93/1735.47	c #Conflicts:      86000 | #Constraints:      73101
1730.93/1735.47	c #Conflicts:      87000 | #Constraints:      74101
1730.93/1735.47	c #Conflicts:      88000 | #Constraints:      75101
1730.93/1735.47	c #Conflicts:      89000 | #Constraints:      76101
1730.93/1735.47	c #Conflicts:      90000 | #Constraints:      77101
1730.93/1735.47	c INPROCESSING
1730.93/1735.47	c GARBAGE COLLECT
1730.93/1735.47	c #Conflicts:      91000 | #Constraints:      72103
1730.93/1735.47	c #Conflicts:      92000 | #Constraints:      73103
1730.93/1735.47	c #Conflicts:      93000 | #Constraints:      74103
1730.93/1735.47	c #Conflicts:      94000 | #Constraints:      75103
1730.93/1735.47	c #Conflicts:      95000 | #Constraints:      76103
1730.93/1735.47	c #Conflicts:      96000 | #Constraints:      77103
1730.93/1735.47	c INPROCESSING
1730.93/1735.47	c GARBAGE COLLECT
1730.93/1735.47	c #Conflicts:      97000 | #Constraints:      71902
1730.93/1735.47	c #Conflicts:      98000 | #Constraints:      72902
1730.93/1735.47	c #Conflicts:      99000 | #Constraints:      73902
1730.93/1735.47	c #Conflicts:     100000 | #Constraints:      74902
1730.93/1735.47	c #Conflicts:     101000 | #Constraints:      75902
1730.93/1735.47	c #Conflicts:     102000 | #Constraints:      76902
1730.93/1735.47	c #Conflicts:     103000 | #Constraints:      77902
1730.93/1735.47	c INPROCESSING
1730.93/1735.47	c GARBAGE COLLECT
1730.93/1735.47	c #Conflicts:     104000 | #Constraints:      72505
1730.93/1735.47	c #Conflicts:     105000 | #Constraints:      73505
1730.93/1735.47	c #Conflicts:     106000 | #Constraints:      74505
1730.93/1735.47	c #Conflicts:     107000 | #Constraints:      75505
1730.93/1735.47	c #Conflicts:     108000 | #Constraints:      76505
1730.93/1735.47	c #Conflicts:     109000 | #Constraints:      77505
1730.93/1735.47	c #Conflicts:     110000 | #Constraints:      78505
1730.93/1735.47	c INPROCESSING
1730.93/1735.47	c GARBAGE COLLECT
1730.93/1735.47	c #Conflicts:     111000 | #Constraints:      72906
1730.93/1735.47	c #Conflicts:     112000 | #Constraints:      73906
1730.93/1735.47	c #Conflicts:     113000 | #Constraints:      74906
1730.93/1735.47	c #Conflicts:     114000 | #Constraints:      75906
1730.93/1735.47	c #Conflicts:     115000 | #Constraints:      76906
1730.93/1735.47	c #Conflicts:     116000 | #Constraints:      77906
1730.93/1735.47	c #Conflicts:     117000 | #Constraints:      78906
1730.93/1735.47	c INPROCESSING
1730.93/1735.47	c GARBAGE COLLECT
1730.93/1735.47	c #Conflicts:     118000 | #Constraints:      73103
1730.93/1735.47	c #Conflicts:     119000 | #Constraints:      74103
1730.93/1735.47	c #Conflicts:     120000 | #Constraints:      75103
1730.93/1735.47	c #Conflicts:     121000 | #Constraints:      76103
1730.93/1735.47	c #Conflicts:     122000 | #Constraints:      77103
1730.93/1735.47	c #Conflicts:     123000 | #Constraints:      78103
1730.93/1735.47	c #Conflicts:     124000 | #Constraints:      79103
1730.93/1735.47	c INPROCESSING
1730.93/1735.47	c GARBAGE COLLECT
1730.93/1735.47	c #Conflicts:     125000 | #Constraints:      73104
1730.93/1735.47	c #Conflicts:     126000 | #Constraints:      74104
1730.93/1735.47	c #Conflicts:     127000 | #Constraints:      75104
1730.93/1735.47	c #Conflicts:     128000 | #Constraints:      76104
1730.93/1735.47	c #Conflicts:     129000 | #Constraints:      77104
1730.93/1735.47	c #Conflicts:     130000 | #Constraints:      78104
1730.93/1735.47	c #Conflicts:     131000 | #Constraints:      79104
2785.69/2793.08	c INPROCESSING
2785.69/2793.08	c GARBAGE COLLECT
2785.69/2793.08	c #Conflicts:     132000 | #Constraints:      72903
2785.69/2793.08	c #Conflicts:     133000 | #Constraints:      73903
2785.69/2793.08	c #Conflicts:     134000 | #Constraints:      74903
2785.69/2793.08	c #Conflicts:     135000 | #Constraints:      75903
2785.69/2793.08	c #Conflicts:     136000 | #Constraints:      76903
2785.69/2793.08	c #Conflicts:     137000 | #Constraints:      77903
2785.69/2793.08	c #Conflicts:     138000 | #Constraints:      78903
2785.69/2793.08	c #Conflicts:     139000 | #Constraints:      79903
2785.69/2793.08	c INPROCESSING
2785.69/2793.08	c GARBAGE COLLECT
2785.69/2793.08	c #Conflicts:     140000 | #Constraints:      73501
2785.69/2793.08	c #Conflicts:     141000 | #Constraints:      74501
2785.69/2793.08	c #Conflicts:     142000 | #Constraints:      75501
2785.69/2793.08	c #Conflicts:     143000 | #Constraints:      76501
2785.69/2793.08	c #Conflicts:     144000 | #Constraints:      77501
2785.69/2793.08	c #Conflicts:     145000 | #Constraints:      78501
2785.69/2793.08	c #Conflicts:     146000 | #Constraints:      79501
2785.69/2793.08	c #Conflicts:     147000 | #Constraints:      80501
2785.69/2793.08	c INPROCESSING
2785.69/2793.08	c GARBAGE COLLECT
2785.69/2793.08	c #Conflicts:     148000 | #Constraints:      73906
2785.69/2793.08	c #Conflicts:     149000 | #Constraints:      74906
2785.69/2793.08	c #Conflicts:     150000 | #Constraints:      75906
2785.69/2793.08	c #Conflicts:     151000 | #Constraints:      76906
2785.69/2793.08	c #Conflicts:     152000 | #Constraints:      77906
2785.69/2793.08	c #Conflicts:     153000 | #Constraints:      78906
2785.69/2793.08	c #Conflicts:     154000 | #Constraints:      79906
2785.69/2793.08	c #Conflicts:     155000 | #Constraints:      80906
2785.69/2793.08	c INPROCESSING
2785.69/2793.08	c GARBAGE COLLECT
2785.69/2793.08	c #Conflicts:     156000 | #Constraints:      74106
2785.69/2793.08	c #Conflicts:     157000 | #Constraints:      75106
2785.69/2793.08	c #Conflicts:     158000 | #Constraints:      76106
2785.69/2793.08	c #Conflicts:     159000 | #Constraints:      77106
2785.69/2793.08	c #Conflicts:     160000 | #Constraints:      78106
2785.69/2793.08	c #Conflicts:     161000 | #Constraints:      79106
2785.69/2793.08	c #Conflicts:     162000 | #Constraints:      80106
2785.69/2793.08	c #Conflicts:     163000 | #Constraints:      81106
2785.69/2793.08	c INPROCESSING
2785.69/2793.08	c GARBAGE COLLECT
2785.69/2793.08	c #Conflicts:     164000 | #Constraints:      74111
2785.69/2793.08	c #Conflicts:     165000 | #Constraints:      75111
2785.69/2793.08	c #Conflicts:     166000 | #Constraints:      76111
2785.69/2793.08	c #Conflicts:     167000 | #Constraints:      77111
2785.69/2793.08	c #Conflicts:     168000 | #Constraints:      78111
2785.69/2793.08	c #Conflicts:     169000 | #Constraints:      79111
2785.69/2793.08	c #Conflicts:     170000 | #Constraints:      80111
2785.69/2793.08	c #Conflicts:     171000 | #Constraints:      81111
2785.69/2793.08	c INPROCESSING
2785.69/2793.08	c GARBAGE COLLECT
2785.69/2793.08	c #Conflicts:     172000 | #Constraints:      73911
2785.69/2793.08	c #Conflicts:     173000 | #Constraints:      74911
2785.69/2793.08	c #Conflicts:     174000 | #Constraints:      75911
2785.69/2793.08	c #Conflicts:     175000 | #Constraints:      76911
2785.69/2793.08	c #Conflicts:     176000 | #Constraints:      77911
2785.69/2793.08	c #Conflicts:     177000 | #Constraints:      78911
2785.69/2793.08	c #Conflicts:     178000 | #Constraints:      79911
2785.69/2793.08	c #Conflicts:     179000 | #Constraints:      80911
2785.69/2793.08	c #Conflicts:     180000 | #Constraints:      81911
2785.69/2793.08	c INPROCESSING
2785.69/2793.08	c GARBAGE COLLECT
2785.69/2793.08	c #Conflicts:     181000 | #Constraints:      74512
2785.69/2793.08	c #Conflicts:     182000 | #Constraints:      75512
2785.69/2793.08	c #Conflicts:     183000 | #Constraints:      76512
2785.69/2793.08	c #Conflicts:     184000 | #Constraints:      77512
2785.69/2793.08	c #Conflicts:     185000 | #Constraints:      78512
2785.69/2793.08	c #Conflicts:     186000 | #Constraints:      79512
2785.69/2793.08	c #Conflicts:     187000 | #Constraints:      80512
2785.69/2793.08	c #Conflicts:     188000 | #Constraints:      81512
2785.69/2793.08	c #Conflicts:     189000 | #Constraints:      82512
2785.69/2793.08	c INPROCESSING
2785.69/2793.08	c GARBAGE COLLECT
2785.69/2793.08	c #Conflicts:     190000 | #Constraints:      74910
2785.69/2793.08	c #Conflicts:     191000 | #Constraints:      75910
2785.69/2793.08	c #Conflicts:     192000 | #Constraints:      76910
2785.69/2793.08	c #Conflicts:     193000 | #Constraints:      77910
2785.69/2793.08	c #Conflicts:     194000 | #Constraints:      78910
2785.69/2793.08	c #Conflicts:     195000 | #Constraints:      79910
2785.69/2793.08	c #Conflicts:     196000 | #Constraints:      80910
2785.69/2793.08	c #Conflicts:     197000 | #Constraints:      81910
2785.69/2793.08	c #Conflicts:     198000 | #Constraints:      82910
2785.69/2793.08	c INPROCESSING
2785.69/2793.08	c GARBAGE COLLECT
2785.69/2793.08	c #Conflicts:     199000 | #Constraints:      75115
2785.69/2793.08	c #Conflicts:     200000 | #Constraints:      76115
2785.69/2793.08	c #Conflicts:     201000 | #Constraints:      77115
2785.69/2793.08	c #Conflicts:     202000 | #Constraints:      78115
2785.69/2793.08	c #Conflicts:     203000 | #Constraints:      79115
2785.69/2793.08	c #Conflicts:     204000 | #Constraints:      80115
3600.01/3609.50	c #Conflicts:     205000 | #Constraints:      81115
3600.01/3609.50	c #Conflicts:     206000 | #Constraints:      82115
3600.01/3609.50	c #Conflicts:     207000 | #Constraints:      83115
3600.01/3609.50	c INPROCESSING
3600.01/3609.50	c GARBAGE COLLECT
3600.01/3609.50	c #Conflicts:     208000 | #Constraints:      75111
3600.01/3609.50	c #Conflicts:     209000 | #Constraints:      76111
3600.01/3609.50	c #Conflicts:     210000 | #Constraints:      77111
3600.01/3609.50	c #Conflicts:     211000 | #Constraints:      78111
3600.01/3609.50	c #Conflicts:     212000 | #Constraints:      79111
3600.01/3609.50	c #Conflicts:     213000 | #Constraints:      80111
3600.01/3609.50	c #Conflicts:     214000 | #Constraints:      81111
3600.01/3609.50	c #Conflicts:     215000 | #Constraints:      82111
3600.01/3609.50	c #Conflicts:     216000 | #Constraints:      83111
3600.01/3609.50	c INPROCESSING
3600.01/3609.50	c GARBAGE COLLECT
3600.01/3609.50	c #Conflicts:     217000 | #Constraints:      74906
3600.01/3609.50	c #Conflicts:     218000 | #Constraints:      75906
3600.01/3609.50	c #Conflicts:     219000 | #Constraints:      76906
3600.01/3609.50	c #Conflicts:     220000 | #Constraints:      77906
3600.01/3609.50	c #Conflicts:     221000 | #Constraints:      78906
3600.01/3609.50	c #Conflicts:     222000 | #Constraints:      79906
3600.01/3609.50	c #Conflicts:     223000 | #Constraints:      80906
3600.01/3609.50	c #Conflicts:     224000 | #Constraints:      81906
3600.01/3609.50	c #Conflicts:     225000 | #Constraints:      82906
3600.01/3609.50	c #Conflicts:     226000 | #Constraints:      83906
3600.01/3609.50	c INPROCESSING
3600.01/3609.50	c GARBAGE COLLECT
3600.01/3609.50	c #Conflicts:     227000 | #Constraints:      75509
3600.01/3609.50	c #Conflicts:     228000 | #Constraints:      76509
3600.01/3609.50	c #Conflicts:     229000 | #Constraints:      77509
3600.01/3609.50	c #Conflicts:     230000 | #Constraints:      78509
3600.01/3609.50	c #Conflicts:     231000 | #Constraints:      79509
3600.01/3609.50	c #Conflicts:     232000 | #Constraints:      80509
3600.01/3609.50	c #Conflicts:     233000 | #Constraints:      81509
3600.01/3609.50	c #Conflicts:     234000 | #Constraints:      82509
3600.01/3609.50	c #Conflicts:     235000 | #Constraints:      83509
3600.01/3609.50	c #Conflicts:     236000 | #Constraints:      84509
3600.01/3609.50	c INPROCESSING
3600.01/3609.50	c GARBAGE COLLECT
3600.01/3609.50	c #Conflicts:     237000 | #Constraints:      75904
3600.01/3609.50	c #Conflicts:     238000 | #Constraints:      76904
3600.01/3609.50	c #Conflicts:     239000 | #Constraints:      77904
3600.01/3609.50	c #Conflicts:     240000 | #Constraints:      78904
3600.01/3609.50	c #Conflicts:     241000 | #Constraints:      79904
3600.01/3609.50	c #Conflicts:     242000 | #Constraints:      80904
3600.01/3609.50	c #Conflicts:     243000 | #Constraints:      81904
3600.01/3609.50	c #Conflicts:     244000 | #Constraints:      82904
3600.01/3609.50	c #Conflicts:     245000 | #Constraints:      83904
3600.01/3609.50	c #Conflicts:     246000 | #Constraints:      84904
3600.01/3609.50	c INPROCESSING
3600.01/3609.50	c GARBAGE COLLECT
3600.01/3609.50	c #Conflicts:     247000 | #Constraints:      76103
3600.01/3609.50	c #Conflicts:     248000 | #Constraints:      77103
3600.01/3609.50	c #Conflicts:     249000 | #Constraints:      78103
3600.01/3609.50	c #Conflicts:     250000 | #Constraints:      79103
3600.01/3609.50	c #Conflicts:     251000 | #Constraints:      80103
3600.01/3609.50	c #Conflicts:     252000 | #Constraints:      81103
3600.01/3609.50	c #Conflicts:     253000 | #Constraints:      82103
3600.01/3609.50	c #Conflicts:     254000 | #Constraints:      83103
3600.01/3609.50	c #Conflicts:     255000 | #Constraints:      84103
3600.01/3609.50	c Program interrupted by user.
3600.01/3609.50	c cpu time 3552.28 s
3600.01/3609.50	c deterministic time 170442470028 1.70e+11
3600.01/3609.50	c optimization time 130.729 s
3600.01/3609.50	c total solve time 3118.45 s
3600.01/3609.50	c core-guided solve time 3118.45 s
3600.01/3609.50	c propagation time 1969.39 s
3600.01/3609.50	c conflict analysis time 930.919 s
3600.01/3609.50	c propagations 228602232
3600.01/3609.50	c resolve steps 981305
3600.01/3609.50	c decisions 56599974
3600.01/3609.50	c conflicts 255108
3600.01/3609.50	c restarts 603
3600.01/3609.50	c inprocessing phases 41
3600.01/3609.50	c input clauses 65281
3600.01/3609.50	c input cardinalities 20
3600.01/3609.50	c input general constraints 0
3600.01/3609.50	c input average constraint length 86.22
3600.01/3609.50	c input average constraint degree 1.24
3600.01/3609.50	c learned clauses 8371
3600.01/3609.50	c learned cardinalities 46
3600.01/3609.50	c learned general constraints 246691
3600.01/3609.50	c learned average constraint length 13567.47
3600.01/3609.50	c learned average constraint degree 3597754.24
3600.01/3609.50	c watched constraints 4590
3600.01/3609.50	c counting constraints 242101
3600.01/3609.50	c gcd simplifications 1063
3600.01/3609.50	c detected cardinalities 0
3600.01/3609.50	c weakened non-implied lits 87799170
3600.01/3609.50	c weakened non-implying lits 10184
3600.01/3609.50	c original variables 15312
3600.01/3609.50	c clausal propagations 3457797
3600.01/3609.50	c cardinality propagations 4352
3600.01/3609.50	c watched propagations 375380
3600.01/3609.50	c counting propagations 224494500
3600.01/3609.50	c watch lookups 24063529364
3600.01/3609.50	c watch backjump lookups 24032061222
3600.01/3609.50	c watch checks 8352297333
3600.01/3609.50	c propagation checks 105161857219
3600.01/3609.50	c constraint additions 8262077829
3600.01/3609.50	c trail pops 285444854
3600.01/3609.50	c formula constraints 65280
3600.01/3609.50	c learned constraints 255108
3600.01/3609.50	c bound constraints 21
3600.01/3609.50	c core-guided constraints 0
3600.01/3609.50	c encountered formula constraints 666713
3600.01/3609.50	c encountered learned constraints 569631
3600.01/3609.50	c encountered bound constraints 69
3600.01/3609.50	c encountered core-guided constraints 0
3600.01/3609.50	c LP total time 0 s
3600.01/3609.50	c LP solve time 0 s
3600.01/3609.50	c LP constraints added 0
3600.01/3609.50	c LP constraints removed 0
3600.01/3609.50	c LP pivots internal 0
3600.01/3609.50	c LP pivots root 0
3600.01/3609.50	c LP calls 0
3600.01/3609.50	c LP optimalities 0
3600.01/3609.50	c LP no pivot count 0
3600.01/3609.50	c LP infeasibilities 0
3600.01/3609.50	c LP valid Farkas constraints 0
3600.01/3609.50	c LP learned Farkas constraints 0
3600.01/3609.50	c LP basis resets 0
3600.01/3609.50	c LP cycling count 0
3600.01/3609.50	c LP singular count 0
3600.01/3609.50	c LP no primal count 0
3600.01/3609.50	c LP no farkas count 0
3600.01/3609.50	c LP other issue count 0
3600.01/3609.50	c LP Gomory cuts 0
3600.01/3609.50	c LP learned cuts 0
3600.01/3609.50	c LP deleted cuts 0
3600.01/3609.50	c LP encountered Gomory constraints 0
3600.01/3609.50	c LP encountered Farkas constraints 0
3600.01/3609.50	c LP encountered learned Farkas constraints 0
3600.01/3609.50	c CG auxiliary variables introduced 0
3600.01/3609.50	c CG solutions found 0
3600.01/3609.50	c CG cores constructed 20
3600.01/3609.50	c CG core cardinality constraints returned 0
3600.01/3609.50	c CG unit cores 0
3600.01/3609.50	c CG single cores 20
3600.01/3609.50	c CG blocks removed during cardinality reduction 0
3600.01/3609.50	c CG first core best 0
3600.01/3609.50	c CG decision core best 0
3600.01/3609.50	c CG core reduction tie 0
3600.01/3609.50	c CG core degree average 1.00
3600.01/3609.50	c CG core slack average 76.65
3600.01/3609.50	c CG exhausted 0
3600.01/3609.50	c CG exhaust time 0 s
3600.01/3609.50	c CG trimmed 0
3600.01/3609.50	c CG trim time 0.001437 s
3600.01/3609.50	c CG minimized 0
3600.01/3609.50	c CG minimize time 0 s
3600.01/3609.50	c CG am1 prop time 0.025698 s
3600.01/3609.50	c CG # am1s reformulated 0
3600.01/3609.50	c CG lower bound derived from am1s 0
3600.01/3609.50	c CG # clausal cores 20
3600.01/3609.50	c CG # cardinality cores 0
3600.01/3609.50	c CG # pb cores 0
3600.01/3609.50	c CG # pb reforms 0
3600.01/3609.50	c CG # cores discarded because of pb reform 0
3600.01/3609.50	d LOWERBOUND 20
3600.01/3609.50	d NCORES 20
3600.01/3609.50	d NPBCORES 0
3600.01/3609.50	d NPBREFORM 0
3600.01/3609.50	d NTRIMMED 0
3600.01/3609.50	d NEXHAUSTED 0
3600.01/3609.50	d NAM1S 0
3600.01/3609.50	d AM1LB 0
3600.01/3609.50	c [Papilo Statistics]
3600.01/3609.50	c prepro time 0.716461s
3600.01/3609.50	c # tsx applied 0
3600.01/3609.50	c # tsx conflicts 0
3600.01/3609.50	c # bound changes 0
3600.01/3609.50	c # side changes 0
3600.01/3609.50	c # coef changes 0
3600.01/3609.50	c # rounds 1
3600.01/3609.50	c # deted vars 0
3600.01/3609.50	c # deted constrs 0
3600.01/3609.50	c # consecutive rounds of only bound changes 0
3600.01/3609.52	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 (61487 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-4454915-1721473275/watcher-4454915-1721473275 -o /tmp/evaluation-result-4454915-1721473275/solver-4454915-1721473275 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721465999-1079549 --watchdog 3760 mixed-bag HOME/instance-4454915-1721473275.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
solver pid=1085190, runsolver pid=1085187
Current StackSize limit: 8192 KiB


[startup+0.100704 s]*
/proc/loadavg: 4.05 4.14 4.14 5/258 1085191
/proc/meminfo: memFree=119380560/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=87764 memory=16524 CPUtime=0.08 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 3676 0 0 0 8 0 0 0 20 0 1 0 199489399 89870336 4131 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 21941 4131 1660 3002 0 6229 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 87764 KiB
Current children cumulated memory: 16524 KiB

[startup+0.205705 s]*
/proc/loadavg: 4.05 4.14 4.14 5/258 1085191
/proc/meminfo: memFree=119374476/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=95956 memory=22748 CPUtime=0.19 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 4224 0 0 0 18 1 0 0 20 0 1 0 199489399 98258944 5687 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 23989 5687 1660 3002 0 8277 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 95956 KiB
Current children cumulated memory: 22748 KiB

[startup+0.305718 s]*
/proc/loadavg: 4.05 4.14 4.14 5/258 1085191
/proc/meminfo: memFree=119368008/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=112340 memory=29048 CPUtime=0.28 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 4772 0 0 0 27 1 0 0 20 0 1 0 199489399 115036160 7262 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 28085 7262 1660 3002 0 12373 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 112340 KiB
Current children cumulated memory: 29048 KiB

[startup+0.70021 s]
/proc/loadavg: 4.05 4.14 4.14 5/258 1085191
/proc/meminfo: memFree=119355484/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=145108 memory=51892 CPUtime=0.66 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 5415 0 0 0 63 3 0 0 20 0 1 0 199489399 148590592 12973 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 36277 12973 1660 3002 0 20565 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 145108 KiB
Current children cumulated memory: 51892 KiB

[startup+1.50021 s]
/proc/loadavg: 4.05 4.14 4.14 5/258 1085191
/proc/meminfo: memFree=119327940/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=210644 memory=97804 CPUtime=1.46 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 6194 0 0 0 140 6 0 0 20 0 1 0 199489399 215699456 24451 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 52661 24451 1660 3002 0 36949 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 210644 KiB
Current children cumulated memory: 97804 KiB

[startup+3.10542 s]
/proc/loadavg: 4.05 4.14 4.14 5/256 1085205
/proc/meminfo: memFree=123503644/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=469712 memory=309156 CPUtime=3.06 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 8561 0 0 0 293 13 0 0 20 0 1 0 199489399 480985088 77289 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 117428 77289 1676 3002 0 101716 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 469712 KiB
Current children cumulated memory: 309156 KiB

[startup+6.30021 s]
/proc/loadavg: 4.04 4.14 4.14 5/258 1085238
/proc/meminfo: memFree=122087200/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=1480600 memory=1306344 CPUtime=6.25 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 203994 0 0 0 565 60 0 0 20 0 1 0 199489399 1516134400 326586 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 370150 326586 3857 3002 0 353899 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1480600 KiB
Current children cumulated memory: 1306344 KiB

[startup+12.7002 s]
/proc/loadavg: 4.04 4.13 4.14 5/258 1085238
/proc/meminfo: memFree=120454924/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=2594788 memory=2254848 CPUtime=12.63 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 322354 0 0 0 1154 109 0 0 20 0 1 0 199489399 2657062912 563712 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 648697 563712 3889 3002 0 632446 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2594788 KiB
Current children cumulated memory: 2254848 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.14 4.14 5/258 1085241
/proc/meminfo: memFree=115929256/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=5385108 memory=4809348 CPUtime=25.41 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 349562 0 0 0 2375 166 0 0 20 0 1 0 199489399 5514350592 1202337 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 1346277 1202337 3905 3002 0 1330026 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 5385108 KiB
Current children cumulated memory: 4809348 KiB

[startup+51.1056 s]
/proc/loadavg: 4.13 4.15 4.15 5/258 1085244
/proc/meminfo: memFree=116048936/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=5200476 memory=4680592 CPUtime=50.94 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 431896 0 0 0 4899 195 0 0 20 0 1 0 199489399 5325287424 1170148 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 1300119 1170148 4089 3002 0 1283868 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 5200476 KiB
Current children cumulated memory: 4680592 KiB

[startup+102.3 s]
/proc/loadavg: 4.32 4.19 4.16 5/258 1085253
/proc/meminfo: memFree=110932016/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=5200476 memory=4680656 CPUtime=102.01 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 432068 0 0 0 10004 197 0 0 20 0 1 0 199489399 5325287424 1170164 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 1300119 1170164 4105 3002 0 1283868 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 5200476 KiB
Current children cumulated memory: 4680656 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.17 4.15 5/256 1085264
/proc/meminfo: memFree=110919800/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=5200476 memory=4680656 CPUtime=161.87 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 432406 0 0 0 15987 200 0 0 20 0 1 0 199489399 5325287424 1170164 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 1300119 1170164 4105 3002 0 1283868 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 5200476 KiB
Current children cumulated memory: 4680656 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.15 4.15 5/256 1085276
/proc/meminfo: memFree=110191936/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=5200476 memory=4680656 CPUtime=221.73 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 432822 0 0 0 21970 203 0 0 20 0 1 0 199489399 5325287424 1170164 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 1300119 1170164 4105 3002 0 1283868 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 5200476 KiB
Current children cumulated memory: 4680656 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.13 4.14 5/255 1085286
/proc/meminfo: memFree=104576044/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=5200476 memory=4680656 CPUtime=281.6 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 433159 0 0 0 27954 206 0 0 20 0 1 0 199489399 5325287424 1170164 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 1300119 1170164 4105 3002 0 1283868 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 5200476 KiB
Current children cumulated memory: 4680656 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.14 4.14 5/254 1085296
/proc/meminfo: memFree=109835136/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=2365464 memory=2172148 CPUtime=341.45 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 439770 0 0 0 33789 356 0 0 20 0 1 0 199489399 2422235136 543037 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 591366 543037 4262 3002 0 575115 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 2365464 KiB
Current children cumulated memory: 2172148 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.14 4.14 5/252 1085321
/proc/meminfo: memFree=121268032/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=2714712 memory=2335244 CPUtime=401.29 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 440910 0 0 0 39618 511 0 0 20 0 1 0 199489399 2779865088 583811 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 678678 583811 4262 3002 0 662427 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 2714712 KiB
Current children cumulated memory: 2335244 KiB

[startup+462.3 s]
/proc/loadavg: 4.21 4.15 4.14 5/254 1085362
/proc/meminfo: memFree=120911920/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=2714712 memory=2421620 CPUtime=461.14 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 441083 0 0 0 45463 651 0 0 20 0 1 0 199489399 2779865088 605405 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 678678 605405 4262 3002 0 662427 0

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

Current children cumulated memory: 4947152 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/254 1086416
/proc/meminfo: memFree=113386808/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=6076084 memory=4992020 CPUtime=2914.65 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 793963 0 0 0 287347 4118 0 0 20 0 1 0 199489399 6221910016 1248005 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 1519021 1248005 4262 3002 0 1502770 0
Current children cumulated CPU time: 2914.65 s
Current children cumulated vsize: 6076084 KiB
Current children cumulated memory: 4992020 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/257 1086432
/proc/meminfo: memFree=113082944/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=6076084 memory=5037048 CPUtime=2974.48 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 796090 0 0 0 293304 4144 0 0 20 0 1 0 199489399 6221910016 1259262 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 1519021 1259262 4262 3002 0 1502770 0
Current children cumulated CPU time: 2974.48 s
Current children cumulated vsize: 6076084 KiB
Current children cumulated memory: 5037048 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 1086442
/proc/meminfo: memFree=112773896/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=6282436 memory=5258224 CPUtime=3034.33 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 829245 0 0 0 299224 4209 0 0 20 0 1 0 199489399 6433214464 1314556 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 1570609 1314556 4262 3002 0 1554358 0
Current children cumulated CPU time: 3034.33 s
Current children cumulated vsize: 6282436 KiB
Current children cumulated memory: 5258224 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 1086452
/proc/meminfo: memFree=112719408/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=6282436 memory=5301968 CPUtime=3094.17 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 831749 0 0 0 305168 4249 0 0 20 0 1 0 199489399 6433214464 1325492 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 1570609 1325492 4262 3002 0 1554358 0
Current children cumulated CPU time: 3094.17 s
Current children cumulated vsize: 6282436 KiB
Current children cumulated memory: 5301968 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/258 1086464
/proc/meminfo: memFree=112645540/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=6323908 memory=5375296 CPUtime=3154.02 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 841163 0 0 0 311110 4292 0 0 20 0 1 0 199489399 6475681792 1343824 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 1580977 1343824 4262 3002 0 1564726 0
Current children cumulated CPU time: 3154.02 s
Current children cumulated vsize: 6323908 KiB
Current children cumulated memory: 5375296 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/260 1086859
/proc/meminfo: memFree=112584404/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=6323908 memory=5418948 CPUtime=3213.86 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 843470 0 0 0 317048 4338 0 0 20 0 1 0 199489399 6475681792 1354737 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 1580977 1354737 4262 3002 0 1564726 0
Current children cumulated CPU time: 3213.86 s
Current children cumulated vsize: 6323908 KiB
Current children cumulated memory: 5418948 KiB

[startup+3282.3 s]
/proc/loadavg: 4.25 4.16 4.11 5/257 1086869
/proc/meminfo: memFree=112498604/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=6323908 memory=5462436 CPUtime=3273.69 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 846054 0 0 0 322966 4403 0 0 20 0 1 0 199489399 6475681792 1365609 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 1580977 1365609 4262 3002 0 1564726 0
Current children cumulated CPU time: 3273.69 s
Current children cumulated vsize: 6323908 KiB
Current children cumulated memory: 5462436 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/257 1086879
/proc/meminfo: memFree=112322572/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=6425220 memory=5623312 CPUtime=3333.53 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 864525 0 0 0 328884 4469 0 0 20 0 1 0 199489399 6579425280 1405828 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 1606305 1405828 4262 3002 0 1590054 0
Current children cumulated CPU time: 3333.53 s
Current children cumulated vsize: 6425220 KiB
Current children cumulated memory: 5623312 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/257 1086890
/proc/meminfo: memFree=112284556/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=6425220 memory=5665288 CPUtime=3393.36 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 866767 0 0 0 334796 4540 0 0 20 0 1 0 199489399 6579425280 1416322 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 1606305 1416322 4262 3002 0 1590054 0
Current children cumulated CPU time: 3393.36 s
Current children cumulated vsize: 6425220 KiB
Current children cumulated memory: 5665288 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/257 1087068
/proc/meminfo: memFree=112015368/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=6425220 memory=5700872 CPUtime=3453.21 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 869135 0 0 0 340711 4610 0 0 20 0 1 0 199489399 6579425280 1425218 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 1606305 1425218 4262 3002 0 1590054 0
Current children cumulated CPU time: 3453.21 s
Current children cumulated vsize: 6425220 KiB
Current children cumulated memory: 5700872 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/256 1087078
/proc/meminfo: memFree=111932228/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=6450892 memory=5783384 CPUtime=3513.05 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 875687 0 0 0 346636 4669 0 0 20 0 1 0 199489399 6605713408 1445846 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 1612723 1445846 4262 3002 0 1596472 0
Current children cumulated CPU time: 3513.05 s
Current children cumulated vsize: 6450892 KiB
Current children cumulated memory: 5783384 KiB

[startup+3582.3 s]
/proc/loadavg: 4.44 4.21 4.12 5/256 1087103
/proc/meminfo: memFree=111888088/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=6450892 memory=5826076 CPUtime=3572.89 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 878507 0 0 0 352550 4739 0 0 20 0 1 0 199489399 6605713408 1456519 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 1612723 1456519 4262 3002 0 1596472 0
Current children cumulated CPU time: 3572.89 s
Current children cumulated vsize: 6450892 KiB
Current children cumulated memory: 5826076 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.13 4.16 4.11 4/249 1087140
/proc/meminfo: memFree=118155488/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=6450892 memory=5847676 CPUtime=3600.01 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 879705 0 0 0 355227 4774 0 0 20 0 1 0 199489399 6605713408 1461919 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 1612723 1461919 4262 3002 0 1596472 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 6450892 KiB
Current children cumulated memory: 5847676 KiB

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

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

# cumulated CPU time of all completed processes:  user=3552.28 s, system=47.7796 s

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

[startup+3609.5 s]
/proc/loadavg: 4.13 4.16 4.11 4/249 1087140
/proc/meminfo: memFree=118155488/131524600 swapFree=131071996/131071996
[pid=1085190] ppid=1085187 vsize=6450892 memory=5847676 CPUtime=3600.01 cores=4,6
/proc/1085190/stat : 1085190 (mixed-bag) R 1085187 1085190 1079538 0 -1 4194304 879705 0 0 0 355227 4774 0 0 20 0 1 0 199489399 6605713408 1461919 134679101440 4194304 16488053 140735921260912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 35471360 140735921267733 140735921267810 140735921267810 140735921274827 0
/proc/1085190/statm: 1612723 1461919 4262 3002 0 1596472 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 6450892 KiB
Current children cumulated memory: 5847676 KiB

Child status: 0

Real time (s): 3609.54
CPU time (s): 3600.06
CPU user time (s): 3552.28
CPU system time (s): 47.7796
CPU usage (%): 99.7373
Max. virtual memory (cumulated for all children) (KiB): 6450892
Max. memory (cumulated for all children) (KiB): 5847676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3552.28
system time used= 47.7796
maximum resident set size= 5847676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 879728
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= 327
involuntary context switches= 3306


# summary of solver processes directly reported to runsolver:
#   pid: 1085190
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3552.28
#   total CPU system time (s): 47.7796

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.0138 second user time and 16.0173 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-07-20 13:01:28
IDJOB=4454915
IDBENCH=155399
IDSOLVER=3083
FILE ID=nodeC017/4454915-1721473275
RUNJOBID= nodeC017-1721465999-1079549
SLURM_JOB_ID= 7545717
Free space on /tmp= 889736 MiB

SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_13_shg.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454915-1721473275/watcher-4454915-1721473275 -o /tmp/evaluation-result-4454915-1721473275/solver-4454915-1721473275 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721465999-1079549 --watchdog 3760  mixed-bag HOME/instance-4454915-1721473275.opb

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

MD5SUM BENCH= a008918ff26f135f427f5632a2cbbc59
RANDOM SEED=1369402050

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		: 3682.716
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		: 3691.236
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		: 3599.963
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.928
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.715
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		: 3691.237
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		: 3684.610
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		: 3599.956
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:        119391980 kB
MemAvailable:   122281044 kB
Buffers:          610676 kB
Cached:          3099932 kB
SwapCached:            0 kB
Active:          1575728 kB
Inactive:        9873924 kB
Active(anon):       1544 kB
Inactive(anon):  7783404 kB
Active(file):    1574184 kB
Inactive(file):  2090520 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             81916 kB
Writeback:             0 kB
AnonPages:       7738720 kB
Mapped:           132940 kB
Shmem:             45912 kB
KReclaimable:     128016 kB
Slab:             244420 kB
SReclaimable:     128016 kB
SUnreclaim:       116404 kB
KernelStack:        4160 kB
PageTables:        25148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    8888652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72576 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4208640 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= 889956 MiB
End job on nodeC017 at 2024-07-20 14:01:38